Search

In traditional priority queues, we assume that every customer upon arrival has a fixed, class-dependent priority, and that a customer may not commence service if a customer with a higher priority is present in the queue. However, in situations where a performance target in terms of the tails of the class-dependent waiting time distributions has to be met, such models of priority queueing may not be satisfactory. In fact, there could be situations where high priority classes easily meet their performance target for the maximum waiting time, while lower classes do not. Here, we are interested in the stationary distribution at the times of commencement of service of this maximum priority process. Until now, there has been no explicit expression for this distribution. We construct a mapping of the maximum priority process to a tandem fluid queue, which enables us to find expressions for this stationary distribution. We derive the results for the stationary distribution of the maximum priority process at the times of the commencement of service., Comment: The Eleventh International Conference on Matrix-Analytic Methods in Stochastic Models (MAM11), 2022, Seoul, Republic of Korea

Microwave control of trapped ions can provide an implementation of high-fidelity two-qubit gates free from errors induced by photon scattering. Furthermore, microwave conductors may be embedded into a scalable trap structure, providing the chip-level integration of control that is desirable for scaling. Recent developments have demonstrated how amplitude modulation of the gate drive can permit a two-qubit entangling operation to become robust against motional mode noise and other experimental imperfections. Here, we discuss a method for the numerical optimization of the microwave pulse envelope to produce gate pulses with improved resilience, faster operation and higher energy efficiency., Comment: 3 figures

We provide an algorithm that factorizes one-dimensional quantum walks into a protocol of two basic operations: A fixed conditional shift that transports particles between cells and suitable coin operators that act locally in each cell. This allows to tailor quantum walk protocols to any experimental setup by rephrasing it on the cell structure determined by the experimental limitations. We give the example of a walk defined on a qutrit chain compiled to run an a qubit chain., Comment: 4 pages

We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step operators in terms of five integer indices. On the basis of these indices it can be decided whether the half-step operator can be obtained from a continuous Hamiltonian driving, or not. The half-step operator determines two Floquet operators, obtained by starting the driving at zero or at half period, respectively. These are called timeframes and are chiral symmetric quantum walks. Conversely, we show under which conditions two chiral symmetric walks determine a common half-step operator. Moreover, we clarify the connection between the classification of half-step operators and the corresponding quantum walks. Within this theory we prove bulk-edge correspondence and show that a second timeframe allows to distinguish between symmetry protected edge states at $+1$ and $-1$ which is not possible for a single timeframe., Comment: 27 pages, 2 figures, v2: updated to the journal version

Microwave trapped-ion quantum logic gates avoid spontaneous emission as a fundamental source of decoherence. However, microwave two-qubit gates are still slower than laser-induced gates and hence more sensitive to fluctuations and noise of the motional mode frequency. We propose and implement amplitude-shaped gate drives to obtain resilience to such frequency changes without increasing the pulse energy per gate operation. We demonstrate the resilience by noise injection during a two-qubit entangling gate with $^9$Be$^+$ ion qubits. In absence of injected noise, amplitude modulation gives an operation infidelity in the $10^{-3}$ range., Comment: 4 figures

This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantum walks are encoded by matrix Schur functions built out of the walk. This main result of the paper reduces the calculation of these topological indices to a linear algebra problem: calculating symmetry indices of finite-dimensional unitaries obtained by evaluating such matrix Schur functions at the symmetry protected points $\pm1$. The Schur representation fully covers the complete set of symmetry indices for 1D quantum walks with a group of symmetries realizing any of the symmetry types of the tenfold way. The main advantage of the Schur approach is its validity in the absence of translation invariance, which allows us to go beyond standard Fourier methods, leading to the complete classification of non-translation invariant phases for typical examples., Comment: 33 pages, 1 figure

Describing a particle in an external electromagnetic field is a basic task of quantum mechanics. The standard scheme for this is known as "minimal coupling", and consists of replacing the momentum operators in the Hamiltonian by modified ones with an added vector potential. In lattice systems it is not so clear how to do this, because there is no continuous translation symmetry, and hence there are no momenta. Moreover, when time is also discrete, as in quantum walk systems, there is no Hamiltonian, only a unitary step operator. We present a unified framework of gauge theory for such discrete systems, keeping a close analogy to the continuum case. In particular, we show how to implement minimal coupling in a way that automatically guarantees unitary dynamics. The scheme works in any lattice dimension, for any number of internal degree of freedom, for walks that allow jumps to a finite neighborhood rather than to nearest neighbours, is naturally gauge invariant, and prepares possible extensions to non-abelian gauge groups., Comment: 16 pages, 6 figures

We provide a classification of translation invariant one-dimensional quantum walks with respect to continuous deformations preserving unitarity, locality, translation invariance, a gap condition, and some symmetry of the tenfold way. The classification largely matches the one recently obtained (arXiv:1611.04439) for a similar setting leaving out translation invariance. However, the translation invariant case has some finer distinctions, because some walks may be connected only by breaking translation invariance along the way, retaining only invariance by an even number of sites. Similarly, if walks are considered equivalent when they differ only by adding a trivial walk, i.e., one that allows no jumps between cells, then the classification collapses also to the general one. The indices of the general classification can be computed in practice only for walks closely related to some translation invariant ones. We prove a completed collection of simple formulas in terms of winding numbers of band structures covering all symmetry types. Furthermore, we determine the strength of the locality conditions, and show that the continuity of the band structure, which is a minimal requirement for topological classifications in terms of winding numbers to make sense, implies the compactness of the commutator of the walk with a half-space projection, a condition which was also the basis of the general theory. In order to apply the theory to the joining of large but finite bulk pieces, one needs to determine the asymptotic behaviour of a stationary Schr\"odinger equation. We show exponential behaviour, and give a practical method for computing the decay constants., Comment: 27 pages, 5 figures

We give a topological classification of quantum walks on an infinite 1D lattice, which obey one of the discrete symmetry groups of the tenfold way, have a gap around some eigenvalues at symmetry protected points, and satisfy a mild locality condition. No translation invariance is assumed. The classification is parameterized by three indices, taking values in a group, which is either trivial, the group of integers, or the group of integers modulo 2, depending on the type of symmetry. The classification is complete in the sense that two walks have the same indices if and only if they can be connected by a norm continuous path along which all the mentioned properties remain valid. Of the three indices, two are related to the asymptotic behaviour far to the right and far to the left, respectively. These are also stable under compact perturbations. The third index is sensitive to those compact perturbations which cannot be contracted to a trivial one. The results apply to the Hamiltonian case as well. In this case all compact perturbations can be contracted, so the third index is not defined. Our classification extends the one known in the translation invariant case, where the asymptotic right and left indices add up to zero, and the third one vanishes, leaving effectively only one independent index. When two translationally invariant bulks with distinct indices are joined, the left and right asymptotic indices of the joined walk are thereby fixed, and there must be eigenvalues at $1$ or $-1$ (bulk-boundary correspondence). Their location is governed by the third index. We also discuss how the theory applies to finite lattices, with suitable homogeneity assumptions., Comment: 36 pages, 7 figures

We provide an explanation of recent experimental results of Xue et al., where full revivals in a time-dependent quantum walk model with a periodically changing coin are found. Using methods originally developed for "electric" walks with a space-dependent, rather than a time-dependent coin, we provide a full explanation of the observations of Xue et al. We extend the analysis from periodic time-dependence to quasi-periodic behaviour with periods incommensurate to the step size. Spectral analysis, one of the principal tools for the study of electric walks, fails for time-dependent systems, but we find qualitative propagation behaviour of the time-dependent system in close analogy to the electric case., Comment: 6 pages, 3 figures

We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase classification by integer or binary indices extends the classification known for translation invariant systems in terms of their band structure. However, our theory requires no translation invariance whatsoever, and the indices we define in this general setting are invariant under arbitrary symmetric local perturbations, even those that cannot be continuously contracted to the identity. More precisely we define two indices for every walk, characterizing the behavior far to the right and far to the left, respectively. Their sum is a lower bound on the number of eigenstates at +1 and -1. For a translation invariant system the indices add up to zero, so one of them already characterizes the phase. By joining two bulk phases with different indices we get a walk in which the right and left indices no longer cancel, so the theory predicts bound states at +1 or -1. This is a rigorous statement of bulk-edge correspondence. The results also apply to the Hamiltonian case with a single gap at zero., Comment: 10 pages, 4 figures. Interactive material and Mathematica-Notebooks at http://qig.itp.uni-hannover.de/bulkedge - expressed more clearly how the perturbations differ, elaborate more on example

A recent post by Tim Maudlin to this archive (arXiv:1408.1828) was entitled "Reply to Werner". However, it was not clear to what text this was supposed to be a reply. Here I briefly provide this context, and show that Maudlin's post is as ill-conceived as the original paper (arXiv:1408.1826)., Comment: 5 pages, LaTex; background material not intended for journal publication

Although the theoretical behavior of one-dimensional random walks in random environments is well understood, the numerical evaluation of various characteristics of such processes has received relatively little attention. This paper develops new theory and methodology for the computation of the drift of the random walk for various dependent random environments, including $k$-dependent and moving average environments., Comment: 21 pages, 7 figures

Khrushchev's formula is the cornerstone of the so called Khrushchev theory, a body of results which has revolutionized the theory of orthogonal polynomials on the unit circle. This formula can be understood as a factorization of the Schur function for an orthogonal polynomial modification of a measure on the unit circle. No such formula is known in the case of matrix-valued measures. This constitutes the main obstacle to generalize Khrushchev theory to the matrix-valued setting which we overcome in this paper. It was recently discovered that orthogonal polynomials on the unit circle and their matrix-valued versions play a significant role in the study of quantum walks, the quantum mechanical analogue of random walks. In particular, Schur functions turn out to be the mathematical tool which best codify the return properties of a discrete time quantum system, a topic in which Khrushchev's formula has profound and surprising implications. We will show that this connection between Schur functions and quantum walks is behind a simple proof of Khrushchev's formula via `quantum' diagrammatic techniques for CMV matrices. This does not merely give a quantum meaning to a known mathematical result, since the diagrammatic proof also works for matrix-valued measures. Actually, this path counting approach is so fruitful that it provides different matrix generalizations of Khrushchev's formula, some of them new even in the case of scalar measures. Furthermore, the path counting approach allows us to identify the properties of CMV matrices which are responsible for Khrushchev's formula. On the one hand, this helps to formalize and unify the diagrammatic proofs using simple operator theory tools. On the other hand, this is the origin of our main result which extends Khrushchev's formula beyond the CMV case, as a factorization rule for Schur functions related to general unitary operators., Comment: 41 pages

In this comment on the work of F. Buscemi, M.J.W. Hall, M. Ozawa and M.M. Wilde [PRL 112, 050401, 2014, arXiv:1310.6603], we point out a misrepresentation of measures of error and disturbance introduced in our recent work [PRL 111, 160405, 2013, arXiv:1306.1565] as being "purely formal, with no operational counterparts". We also exhibit an tension in the authors' message, in that their main result is an error-disturbance relation for state-independent measures, but its importance is declared to be limited to discrete variables. In contrast, we point out the separate roles played by such relations for either state-dependent or state-independent measures of error and disturbance.

In this comment on the paper by F. Kaneda, S.-Y. Baek, M. Ozawa and K. Edamatsu [Phys. Rev. Lett. 112, 020402, 2014, arXiv:1308.5868], we point out that the claim of having refuted Heisenberg's error-disturbance relation is unfounded since it is based on the choice of unsuitable and operationally problematical quantifications of measurement error and disturbance. As we have shown elsewhere [PRL 111, 160405, 2013], for appropriate choices of operational measures of error and disturbance, Heisenberg's heuristic relation can be turned into a precise inequality which is a rigorous consequence of quantum mechanics., Comment: In this version an ambiguous formulation has been rephrased to clarify that the authors of the Brisbane experiment (Ref. [9]) have not adopted Ozawa's erroneous attribution to Heisenberg of a wrong "error-disturbance relation"

In a recent publication [PRL 111, 160405 (2013)] we proved a version of Heisenberg's error-disturbance tradeoff. This result was in apparent contradiction to claims by Ozawa of having refuted these ideas of Heisenberg. In a direct reaction [arXiv:1308.3540] Ozawa has called our work groundless, and has claimed to have found both a counterexample and an error in our proof. Here we answer to these allegations. We also comment on the submission [arXiv:1307.3604] by Rozema et al, in which our approach is unfavourably compared to that of Ozawa.

Knowledge of the electron sampling depth and related saturation effects is important for quantitative analysis of X-ray absorption spectroscopy data, yet for oxides with the perovskite structure no quantitative values are so far available. Here we study absorption saturation in films of two of the most-studied perovskites, LCMO and YBCO, at the L2,3 edge of Mn and Cu, respectively. By measuring the electron-yield intensity as a function of photon incidence angle and film thickness, the sampling depth d, photon attenuation length, lambda, and the ratio lambda/d have been independently determined between 50 and 300 K. The extracted sampling depth dLCMO=3 nm for LCMO at high temperatures in its polaronic insulator state (150-300K) is not much larger than values reported for pure transition metals (d Co or Ni=2-2.5nm) at room temperature, but it is smaller than dYBCO=3.9 nm for metallic YBCO that is in turn smaller than the value reported for Fe3O4 (d=4.5 nm) The measured dLCMO increases to 4.5 nm when LCMO is in the metallic state at low temperatures. These results indicate that a universal rule of thumb for the sampling depth in oxides cannot be assumed, and that it can be measurably influenced by electronic phase transitions that derive from strong correlations., Comment: 19 pages, 7 figures

We study one-dimensional quantum walks in a homogeneous electric field. The field is given by a phase which depends linearly on position and is applied after each step. The long time propagation properties of this system, such as revivals, ballistic expansion and Anderson localization, depend very sensitively on the value of the electric field $\Phi$, e.g., on whether $\Phi/(2\pi)$ is rational or irrational. We relate these properties to the continued fraction expansion of the field. When the field is given only with finite accuracy, the beginning of the expansion allows analogous conclusions about the behavior on finite time scales., Comment: 7 pages, 4 figures

Quantum walks have by now been realized in a large variety of different physical settings. In some of these, particularly with trapped ions, the walk is implemented in phase space, where the corresponding position states are not orthogonal. We develop a general description of such a quantum walk and show how to map it into a standard one with orthogonal states, thereby making available all the tools developed for the latter. This enables a variety of experiments, which can be implemented with smaller step sizes and more steps. Tuning the non-orthogonality allows for an easy preparation of extended states such as momentum eigenstates, which travel at a well-defined speed with low dispersion. We introduce a method to adjust their velocity by momentum shifts, which allows to investigate intriguing effects such as the analog of Bloch oscillations., Comment: 5 pages, 4 figures

We consider quantum dynamical systems specified by a unitary operator U and an initial state vector \phi. In each step the unitary is followed by a projective measurement checking whether the system has returned to the initial state. We call the system recurrent if this eventually happens with probability one. We show that recurrence is equivalent to the absence of an absolutely continuous part from the spectral measure of U with respect to \phi. We also show that in the recurrent case the expected first return time is an integer or infinite, for which we give a topological interpretation. A key role in our theory is played by the first arrival amplitudes, which turn out to be the (complex conjugated) Taylor coefficients of the Schur function of the spectral measure. On the one hand, this provides a direct dynamical interpretation of these coefficients; on the other hand it links our definition of first return times to a large body of mathematical literature., Comment: 27 pages, 5 figures, typos corrected

The resistance $R$ vs perpendicular external magnetic field $H$ was measured for superconducting Nb thin--film microbridges with and without microholes [antidots (ADs)]. Well below the transition temperature, integral $R(H)$ measurements of the resistive transition to the normal state on the plain bridge show two distinct regions, which can be identified as bulk and edge superconductivity, respectively. The latter case appears when bulk superconductivity becomes suppressed at the upper critical field $H_{c2}$ and below the critical field of edge superconductivity $H_{c3}\approx 1.7\, H_{c2}$. The presence of additional edges in the AD bridge leads to a different shape of the $R(H)$ curves. We used low-temperature scanning laser microscopy (LTSLM) to visualize the current distribution in the plain and AD bridge upon sweeping $H$. While the plain bridge shows a dominant LTSLM signal at its edges for $H > H_{c2}$ the AD bridge also gives a signal from the inner parts of the bridge due to the additional edge states around the ADs. LTSLM reveals an asymmetry in the current distribution between left and right edges, which confirms theoretical predictions. Furthermore, the experimental results are in good agreement with our numerical simulations (based on the time-dependent Ginzburg--Landau model) yielding the spatial distribution of the order parameter and current density for different bias currents and $H$ values., Comment: 10 pages, 10 figures

We report on imaging of the nonuniform superconducting states in a Pb thin film bridge on top of a ferromagnetic BaFe_{12}O_{19} single crystal with a single straight domain wall along the center of the bridge by low-temperature scanning laser microscopy. We have visualized domain wall superconductivity (DWS) close to the critical temperature of Pb, when the Pb film above the domain wall acts as a superconducting path for the current. The evolution of the DWS signal with temperature and the external-field-driven transition from DWS to reverse domain superconductivity was visualized., Comment: 4 pages, 3 figures

We studied experimentally the effect of a stripe-like domain structure in a ferromagnetic BaFe_{12}O_{19} substrate on the magnetoresistance of a superconducting Pb microbridge. The system was designed in such a way that the bridge is oriented perpendicular to the domain walls. It is demonstrated that depending on the ratio between the amplitude of the nonuniform magnetic field B_0, induced by the ferromagnet, and the upper critical field H_{c2} of the superconducting material, the regions of the reverse-domain superconductivity in the H-T plane can be isolated or can overlap (H is the external magnetic field, T is temperature). The latter case corresponds to the condition B_0/H_{c2}<1 and results in the formation of superconductivity above the magnetic domains of both polarities. We discovered the regime of edge-assisted reverse-domain superconductivity, corresponding to localized superconductivity near the edges of the bridge above the compensated magnetic domains. Direct verification of the formation of inhomogeneous superconducting states and external-field-controlled switching between normal state and inhomogeneous superconductivity were obtained by low-temperature scanning laser microscopy., Comment: 11 pages, 12 figures

We investigate a fundamental property of device independent security in quantum cryptography by characterizing probability distributions which are necessarily independent of the measurement results of any eavesdropper. We show that probability distributions that are secure in this sense are exactly the extremal quantum probability distributions. This allows us to give a characterization of security in algebraic terms. We apply the method to common examples for two-party as well as multi-party setups and present a scheme for verifying security of probability distributions with two parties, two measurement settings, and two outcomes., Comment: 7 pages, 2 figures, revised version, accepted for publication in Phys. Rev. Lett

YBa$_2$Cu$_3$O$_7$ 24$^\circ$ (30$^\circ$) bicrystal grain boundary junctions (GBJs), shunted with 60\,nm (20\,nm) thick Au, were fabricated by focused ion beam milling with widths $80\,{\rm nm} \le w \le 7.8\,\mu$m. At 4.2\,K we find critical current densities $j_c$ in the $10^5\,{\rm A/cm^2}$ range %\dkc{\#1} (without a clear dependence on $w$) and an increase in resistance times junction area $\rho$ with an approximate scaling $\rho\propto w^{1/2}$. For the narrowest GBJs $j_c\rho\approx 100\,\mu$V, which is promising for the realization of sensitive nanoSQUIDs for the detection of small spin systems. We demonstrate that our fabrication process allows the realization of sensitive nanoscale dc SQUIDs; for a SQUID with $w\approx 100$\,nm wide GBJs we find an rms magnetic flux noise spectral density of $S_\Phi^{1/2}\approx 4\,\mu\Phi_0/{\rm Hz}^{1/2}$ in the white noise limit. We also derive an expression for the spin sensitivity $S_\mu^{1/2}$, which depends on $S_\Phi^{1/2}$, on the location and orientation of the magnetic moment of a magnetic particle to be detected by the SQUID, and on the SQUID geometry. For the not optimized SQUIDs presented here, we estimate $S_\mu^{1/2}=390\,\mu_B/\sqrt{\rm{Hz}}$, which could be further improved by at least an order of magnitude.

Heteroepitaxially grown bilayers of ferromagnetic La$_{0.7}$Ca$_{0.3}$MnO$_3$ (LCMO) on top of superconducting YBa$_2$Cu$_3$O$_7$ (YBCO) thin films were investigated by focusing on electric transport properties as well as on magnetism and orbital occupation at the interface. Transport measurements on YBCO single layers and on YBCO/LCMO bilayers, with different YBCO thickness $d_Y$ and constant LCMO thickness $d_L=50$\,nm, show a significant reduction of the superconducting transition temperature $T_c$ only for $d_Y<10$\,nm,with only a slightly stronger $T_c$ suppression in the bilayers, as compared to the single layers. X-ray magnetic circular dichroism (XMCD) measurements confirm recently published data of an induced magnetic moment on the interfacial Cu by the ferromagnetically ordered Mn ions, with antiparallel alignment between Cu and Mn moments. However, we observe a significantely larger Cu moment than previously reported, indicating stronger coupling between Cu and Mn at the interface. This in turn could result in an interface with lower transparency, and hence smaller spin diffusion length, that would explain our electric transport data, i.e.smaller $T_c$ suppression. Moreover, linear dichroism measurements did not show any evidence for orbital reconstruction at the interface, indicating that a large change in orbital occupancies through hybridization is not necessary to induce a measurable ferromagnetic moment on the Cu atoms., Comment: 8 Figures

We present a general scheme for treating particle beams as many particle systems. This includes the full counting statistics and the requirements of Bose/Fermi symmetry. In the stationary limit, i.e., for longer and longer beams, the total particle number diverges, and a description in Fock space is no longer possible. We therefore extend the formalism to include stationary beams. These beams exhibit a well-defined "local" counting statistics, by which we mean the full counting statistics of all clicks falling into any given finite interval. We treat in detail a model of a source, creating particles in a fixed state, which then evolve under the free time evolution, and we determine the resulting stationary beam in the far field. In comparison to the one-particle picture we obtain a correction due to Bose/Fermi statistics, which depends on the emission rate. We also consider plane waves as stationary many particle states, and determine the distribution of intervals between successive clicks in such a beam., Comment: 12 pages, 2 figures. This is an extended version of the previous submission

We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C*-algebras. Connes' embedding problem asks whether any separable II$_1$ factor is a subfactor of the ultrapower of the hyperfinite II$_1$ factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely, a positve answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.

We show that it is possible to find maximal violations of the CHSH-Bell inequality using only position measurements on a pair of entangled non-relativistic free particles. The device settings required in the CHSH inequality are done by choosing one of two times at which position is measured. For different assignments of the "+" outcome to positions, namely to an interval, to a half line, or to a periodic set, we determine violations of the inequalities, and states where they are attained. These results have consequences for the hidden variable theories of Bohm and Nelson, in which the two-time correlations between distant particle trajectories have a joint distribution, and hence cannot violate any Bell inequality., Comment: 13 pages, 4 figures

We investigate the interplay of particle number, N, and structural properties of selected clusters with N=12 up to N=562 by employing Gupta potentials parameterized for Aluminum and extensive Monte-Carlo simulations. Our analysis focuses on closed shell structures with extra atoms. The latter can put the cluster under a significant stress and we argue that typically such a strained system exhibits a reduced energy barrier for (surface) diffusion of cluster atoms. Consequently, also its surface melting temperature, T_S, is reduced, so that T_S separates from and actually falls well below the bulk value. The proposed mechanism may be responsible for the suppression of the surface melting temperature observed in a recent experiments., Comment: 9 pages, 7 figures, 1 table, REVTeX 4; submitted to Phys.Rev.B

If a one-dimensional quantum lattice system is subject to one step of a reversible discrete-time dynamics, it is intuitive that as much "quantum information" as moves into any given block of cells from the left, has to exit that block to the right. For two types of such systems - namely quantum walks and cellular automata - we make this intuition precise by defining an index, a quantity that measures the "net flow of quantum information" through the system. The index supplies a complete characterization of two properties of the discrete dynamics. First, two systems S_1, S_2 can be pieced together, in the sense that there is a system S which locally acts like S_1 in one region and like S_2 in some other region, if and only if S_1 and S_2 have the same index. Second, the index labels connected components of such systems: equality of the index is necessary and sufficient for the existence of a continuous deformation of S_1 into S_2. In the case of quantum walks, the index is integer-valued, whereas for cellular automata, it takes values in the group of positive rationals. In both cases, the map S -> ind S is a group homomorphism if composition of the discrete dynamics is taken as the group law of the quantum systems. Systems with trivial index are precisely those which can be realized by partitioned unitaries, and the prototypes of systems with non-trivial index are shifts., Comment: 38 pages. v2: added examples, terminology clarified

We propose a quantum key distribution protocol based on a quantum retrodiction protocol, known as the Mean King problem. The protocol uses a two way quantum channel. We show security against coherent attacks in a transmission error free scenario, even if Eve is allowed to attack both transmissions. This establishes a connection between retrodiction and key distribution., Comment: 5 pages, 1 figure

We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel, so there seems to be a trade-off between speedup and intensity. In this paper we prove that this trade-off is never in favor of faster signals: the probability for a signal to reach its destination before some deadline is always reduced by the tunnel, for arbitrary incoming states, arbitrary positive and compactly supported tunnel potentials, and arbitrary detectors. More specifically, we show this for several different ways to define ``the same incoming state'' and ''the same detector'' when comparing the settings with and without tunnel potential. The arrival time measurements are expressed in the time-covariant approach, but we also allow the detection to be a localization measurement at a later time., Comment: 12 pages, 2 figures

Bit commitment protocols, whose security is based on the laws of quantum mechanics alone, are generally held to be impossible on the basis of a concealment-bindingness tradeoff. A strengthened and explicit impossibility proof has been given in: G. M. D'Ariano, D. Kretschmann, D. Schlingemann, and R. F. Werner, Phys. Rev. A 76, 032328 (2007), in the Heisenberg picture and in a C*-algebraic framework, considering all conceivable protocols in which both classical and quantum information are exchanged. In the present paper we provide a new impossibility proof in the Schrodinger picture, greatly simplifying the classification of protocols and strategies using the mathematical formulation in terms of quantum combs, with each single-party strategy represented by a conditional comb. We prove that assuming a stronger notion of concealment--worst-case over the classical information histories--allows Alice's cheat to pass also the worst-case Bob's test. The present approach allows us to restate the concealment-bindingness tradeoff in terms of the continuity of dilations of probabilistic quantum combs with respect to the comb-discriminability distance., Comment: 15 pages, revtex4

The situation of two independent observers conducting measurements on a joint quantum system is usually modelled using a Hilbert space of tensor product form, each factor associated to one observer. Correspondingly, the operators describing the observables are then acting non-trivially only on one of the tensor factors. However, the same situation can also be modelled by just using one joint Hilbert space, and requiring that all operators associated to different observers commute, i.e. are jointly measurable without causing disturbance. The problem of Tsirelson is now to decide the question whether all quantum correlation functions between two independent observers derived from commuting observables can also be expressed using observables defined on a Hilbert space of tensor product form. Tsirelson showed already that the distinction is irrelevant in the case that the ambient Hilbert space is of finite dimension. We show here that the problem is equivalent to the question whether all quantum correlation functions can be approximated by correlation function derived from finite-dimensional systems. We also discuss some physical examples which fulfill this requirement.

Cerium-doped manganite thin films were grown epitaxially by pulsed laser deposition at $720 ^\circ$C and oxygen pressure $p_{O_2}=1-25 $Pa and were subjected to different annealing steps. According to x-ray diffraction (XRD) data, the formation of CeO$_2$ as a secondary phase could be avoided for $p_{O_2}\ge 8 $Pa. However, transmission electron microscopy shows the presence of CeO$_2$ nanoclusters, even in those films which appear to be single phase in XRD. With O$_2$ annealing, the metal-to-insulator transition temperature increases, while the saturation magnetization decreases and stays well below the theoretical value for electron-doped La$_{0.7}$Ce$_{0.3}$MnO$_3$ with mixed Mn$^{3+}$/Mn$^{2+}$ valences. The same trend is observed with decreasing film thickness from 100 to 20 nm, indicating a higher oxygen content for thinner films. Hall measurements on a film which shows a metal-to-insulator transition clearly reveal holes as dominating charge carriers. Combining data from x-ray photoemission spectroscopy, for determination of the oxygen content, and x-ray absorption spectroscopy (XAS), for determination of the hole concentration and cation valences, we find that with increasing oxygen content the hole concentration increases and Mn valences are shifted from 2+ to 4+. The dominating Mn valences in the films are Mn$^{3+}$ and Mn$^{4+}$, and only a small amount of Mn$^{2+}$ ions can be observed by XAS. Mn$^{2+}$ and Ce$^{4+}$ XAS signals obtained in surface-sensitive total electron yield mode are strongly reduced in the bulk-sensitive fluorescence mode, which indicates hole-doping in the bulk for those films which do show a metal-to-insulator transition., Comment: 8 pages, 10 figures

How can we quantify the entanglement in a quantum state, if only the expectation value of a single observable is given? This question is of great interest for the analysis of entanglement in experiments, since in many multiparticle experiments the state is not completely known. We present several results concerning this problem by considering the estimation of entanglement measures via Legendre transforms. First, we present a simple algorithm for the estimation of the concurrence and extensions thereof. Second, we derive an analytical approach to estimate the geometric measure of entanglement, if the diagonal elements of the quantum state in a certain basis are known. Finally, we compare our bounds with exact values and other estimation methods for entanglement measures., Comment: 9 pages, 4 figures, v2: final version

We consider quantum spin chains and their translationally invariant pure states. We prove Haag duality for quasilocal observables localized in semi-infinite intervals when the von Neumann algebras generated by observables localized in these intervals are not type I.

The mean king problem is a quantum mechanical retrodiction problem, in which Alice has to name the outcome of an ideal measurement on a d-dimensional quantum system, made in one of (d+1) orthonormal bases, unknown to Alice at the time of the measurement. Alice has to make this retrodiction on the basis of the classical outcomes of a suitable control measurement including an entangled copy. We show that the existence of a strategy for Alice is equivalent to the existence of an overall joint probability distribution for (d+1) random variables, whose marginal pair distributions are fixed as the transition probability matrices of the given bases. In particular, for d=2 the problem is decided by John Bell's classic inequality for three dichotomic variables. For mutually unbiased bases in any dimension Alice has a strategy, but for randomly chosen bases the probability for that goes rapidly to zero with increasing d., Comment: 5 pages, 1 figure

We present a method to estimate entanglement measures in experiments. We show how a lower bound on a generic entanglement measure can be derived from the measured expectation values of any finite collection of entanglement witnesses. Hence witness measurements are given a quantitative meaning without the need of further experimental data. We apply our results to a recent multi-photon experiment [M. Bourennane et al., Phys. Rev. Lett. 92, 087902 (2004)], giving bounds on the entanglement of formation and the geometric measure of entanglement in this experiment., Comment: 4 pages, 1 figure, v2: final version

In a recent paper ([1]=quant-ph/0606035) it is shown how the optimal recovery operation in an error correction scheme can be considered as a semidefinite program. As a possible future improvement it is noted that still better error correction might be obtained by optimizing the encoding as well. In this note we present the result of such an improvement, specifically for the four-bit correction of an amplitude damping channel considered in [1]. We get a strict improvement for almost all values of the damping parameter. The method (and the computer code) is taken from our earlier study of such correction schemes (quant-ph/0307138)., Comment: 2 pages, 1 figure

We consider an infinite spin chain as a bipartite system consisting of the left and right half-chain and analyze entanglement properties of pure states with respect to this splitting. In this context we show that the amount of entanglement contained in a given state is deeply related to the von Neumann type of the observable algebras associated to the half-chains. Only the type I case belongs to the usual entanglement theory which deals with density operators on tensor product Hilbert spaces, and only in this situation separable normal states exist. In all other cases the corresponding state is infinitely entangled in the sense that one copy of the system in such a state is sufficient to distill an infinite amount of maximally entangled qubit pairs. We apply this results to the critical XY model and show that its unique ground state provides a particular example for this type of entanglement., Comment: LaTeX2e, 34 pages, 1 figure (pstricks)

We discuss the role of classical control in the context of reversible quantum cellular automata. Employing the structure theorem for quantum cellular automata, we give a general construction scheme to turn an arbitrary cellular automaton with external classical control into an autonomous one, thereby proving the computational equivalence of these two models. We use this technique to construct a universally programmable cellular automaton on a one-dimensional lattice with single cell dimension 12., Comment: 4 pages, 4 figures, minor changes in introduction, fixed typos, accepted for publication in Physical Review Letters

In quantum mechanics the statistics of the outcomes of a measuring apparatus is described by a positive operator valued measure (POVM). A quantum channel transforms POVM's into POVM's, generally irreversibly, thus loosing some of the information retrieved from the measurement. This poses the problem of which POVM's are "undisturbed", namely they are not irreversibly connected to another POVM. We will call such POVM clean. In a sense, the clean POVM's would be "perfect", since they would not have any additional "extrinsical" noise. Quite unexpectedly, it turns out that such cleanness property is largely unrelated to the convex structure of POVM's, and there are clean POVM's that are not extremal and vice-versa. In this paper we solve the cleannes classification problem for number n of outcomes n<=d (d dimension of the Hilbert space), and we provide a a set of either necessary or sufficient conditions for n>d, along with an iff condition for the case of informationally complete POVM's for n=d^2., Comment: Minor changes. amsart 21 pages. Accepted for publication on J. Math. Phys

In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional entanglement-breaking channels having no such representation., Comment: 12 pages

This article is a snap-shot of a web site, which has been collecting open problems in quantum information for several years, and documenting the progress made on these problems. By posting it we make the complete collection available in one printout. We also hope to draw more attention to this project, inviting every researcher in the field to raise to the challenges, but also to suggest new problems., Comment: All updates will appear on http://www.imaph.tu-bs.de/qi/problems/

We consider the optimal cloning of quantum coherent states with single-clone and joint fidelity as figures of merit. Both optimal fidelities are attained for phase space translation covariant cloners. Remarkably, the joint fidelity is maximized by a Gaussian cloner, whereas the single-clone fidelity can be enhanced by non-Gaussian operations: a symmetric non-Gaussian 1-to-2 cloner can achieve a single-clone fidelity of approximately 0.6826, perceivably higher than the optimal fidelity of 2/3 in a Gaussian setting. This optimal cloner can be realized by means of an optical parametric amplifier supplemented with a particular source of non-Gaussian bimodal states. Finally, we show that the single-clone fidelity of the optimal 1-to-infinity cloner, corresponding to a measure-and-prepare scheme, cannot exceed 1/2. This value is achieved by a Gaussian scheme and cannot be surpassed even with supplemental bound entangled states., Comment: 4 pages, 2 figures, revtex; changed title, extended list of authors, included optical implementation of optimal cloner

We prove an uncertainty relation, which imposes a bound on any joint measurement of position and momentum. It is of the form $(\Delta P)(\Delta Q)\geq C\hbar$, where the `uncertainties' quantify the difference between the marginals of the joint measurement and the corresponding ideal observable. Applied to an approximate position measurement followed by a momentum measurement, the uncertainties become the precision $\Delta Q$ of the position measurement, and the perturbation $\Delta P$ of the conjugate variable introduced by such a measurement. We also determine the best constant $C$, which is attained for a unique phase space covariant measurement., Comment: 17 pages, 4 figures; for Festschrift A.S. Holevo

We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector., Comment: 20 pages, revtex4, 10 figures