-
Exponential tail estimates for quantum lattice dynamics
Authors:
Christopher Cedzich,
Alain Joye,
Albert H. Werner,
Reinhard F. Werner
Abstract:
We consider the quantum dynamics of a particle on a lattice for large times. Assuming translation invariance, and either discrete or continuous time parameter, the distribution of the ballistically scaled position $Q(t)/t$ converges weakly to a distribution that is compactly supported in velocity space, essentially the distribution of group velocity in the initial state. We show that the total pro…
▽ More
We consider the quantum dynamics of a particle on a lattice for large times. Assuming translation invariance, and either discrete or continuous time parameter, the distribution of the ballistically scaled position $Q(t)/t$ converges weakly to a distribution that is compactly supported in velocity space, essentially the distribution of group velocity in the initial state. We show that the total probability of velocities strictly outside the support of the asymptotic measure goes to zero exponentially with $t$, and we provide a simple method to estimate the exponential rate uniformly in the initial state. Near the boundary of the allowed region the rate function goes to zero like the power 3/2 of the distance to the boundary. The method is illustrated in several examples.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras
Authors:
Lauritz van Luijk,
Alexander Stottmeister,
Reinhard F. Werner,
Henrik Wilming
Abstract:
We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras. Given a shared entangled resource state, this task asks to produce arbitrary entangled states using local operations without communication while perturbing the resource arbitrarily little. We quantify the performance of a given resource state by the worst-case error. States for w…
▽ More
We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras. Given a shared entangled resource state, this task asks to produce arbitrary entangled states using local operations without communication while perturbing the resource arbitrarily little. We quantify the performance of a given resource state by the worst-case error. States for which the latter vanishes are 'embezzling states' as they allow to embezzle arbitrary entangled states with arbitrarily small error. The best and worst performance among all states defines two algebraic invariants for von Neumann algebras. The first invariant takes only two values. Either it vanishes and embezzling states exist, which can only happen in type III, or no state allows for nontrivial embezzlement. In the case of factors not of finite type I, the second invariant equals the diameter of the state space. This provides a quantitative operational interpretation of Connes' classification of type III factors within quantum information theory. Type III$_1$ factors are 'universal embezzlers' where every state is embezzling. Our findings have implications for relativistic quantum field theory, where type III algebras naturally appear. For instance, they explain the maximal violation of Bell inequalities in the vacuum. Our results follow from a one-to-one correspondence between embezzling states and invariant probability measures on the flow of weights. We also establish that universally embezzling ITPFI factors are of type III$_1$ by elementary arguments.
△ Less
Submitted 4 June, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
Embezzling entanglement from quantum fields
Authors:
Lauritz van Luijk,
Alexander Stottmeister,
Reinhard F. Werner,
Henrik Wilming
Abstract:
Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system (the "embezzler") via local quantum operations while hardly perturbing the latter. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras. Our result imp…
▽ More
Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system (the "embezzler") via local quantum operations while hardly perturbing the latter. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras. Our result implies that relativistic quantum fields are universal embezzlers: Any entangled state of any dimension can be embezzled from them with arbitrary precision. This provides an operational characterization of the infinite amount of entanglement present in the vacuum state of relativistic quantum field theories.
△ Less
Submitted 4 June, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
The Schmidt rank for the commuting operator framework
Authors:
Lauritz van Luijk,
René Schwonnek,
Alexander Stottmeister,
Reinhard F. Werner
Abstract:
In quantum information theory, the Schmidt rank is a fundamental measure for the entanglement dimension of a pure bipartite state. Its natural definition uses the Schmidt decomposition of vectors on bipartite Hilbert spaces, which does not exist (or at least is not canonically given) if the observable algebras of the local systems are allowed to be general C*-algebras. In this work, we generalize…
▽ More
In quantum information theory, the Schmidt rank is a fundamental measure for the entanglement dimension of a pure bipartite state. Its natural definition uses the Schmidt decomposition of vectors on bipartite Hilbert spaces, which does not exist (or at least is not canonically given) if the observable algebras of the local systems are allowed to be general C*-algebras. In this work, we generalize the Schmidt rank to the commuting operator framework where the joint system is not necessarily described by the minimal tensor product but by a general bipartite algebra. We give algebraic and operational definitions for the Schmidt rank and show their equivalence. We analyze bipartite states and compute the Schmidt rank in several examples: The vacuum in quantum field theory, Araki-Woods-Powers states, as well as ground states and translation invariant states on spin chains which are viewed as bipartite systems for the left and right half chains. We conclude with a list of open problems for the commuting operator framework.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Convergence of Dynamics on Inductive Systems of Banach Spaces
Authors:
Lauritz van Luijk,
Alexander Stottmeister,
Reinhard F. Werner
Abstract:
Many features of physical systems, both qualitative and quantitative, become sharply defined or tractable only in some limiting situation. Examples are phase transitions in the thermodynamic limit, the emergence of classical mechanics from quantum theory at large action, and continuum quantum field theory arising from renormalization group fixed points. It would seem that few methods can be useful…
▽ More
Many features of physical systems, both qualitative and quantitative, become sharply defined or tractable only in some limiting situation. Examples are phase transitions in the thermodynamic limit, the emergence of classical mechanics from quantum theory at large action, and continuum quantum field theory arising from renormalization group fixed points. It would seem that few methods can be useful in such diverse applications. However, we here present a flexible modeling tool for the limit of theories: soft inductive limits constituting a generalization of inductive limits of Banach spaces. In this context, general criteria for the convergence of dynamics will be formulated, and these criteria will be shown to apply in the situations mentioned and more.
△ Less
Submitted 6 July, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Covariant catalysis requires correlations and good quantum reference frames degrade little
Authors:
Lauritz van Luijk,
Reinhard F. Werner,
Henrik Wilming
Abstract:
Catalysts are quantum systems that open up dynamical pathways between quantum states which are otherwise inaccessible under a given set of operational restrictions while, at the same time, they do not change their quantum state. We here consider the restrictions imposed by symmetries and conservation laws, where any quantum channel has to be covariant with respect to the unitary representation of…
▽ More
Catalysts are quantum systems that open up dynamical pathways between quantum states which are otherwise inaccessible under a given set of operational restrictions while, at the same time, they do not change their quantum state. We here consider the restrictions imposed by symmetries and conservation laws, where any quantum channel has to be covariant with respect to the unitary representation of a symmetry group, and present two results. First, for an exact catalyst to be useful, it has to build up correlations to either the system of interest or the degrees of freedom dilating the given process to covariant unitary dynamics. This explains why catalysts in pure states are useless. Second, if a quantum system ("reference frame") is used to simulate to high precision unitary dynamics (which possibly violates the conservation law) on another system via a global, covariant quantum channel, then this channel can be chosen so that the reference frame is approximately catalytic. In other words, a reference frame that simulates unitary dynamics to high precision degrades only very little.
△ Less
Submitted 25 October, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Quantum-Classical Hybrid Systems and their Quasifree Transformations
Authors:
Lars Dammeier,
Reinhard F. Werner
Abstract:
We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This allows a unified treatment of a large variety of quantum operations involving measurements or dependence on classical parameters. The basic variables are given by…
▽ More
We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This allows a unified treatment of a large variety of quantum operations involving measurements or dependence on classical parameters. The basic variables are given by canonical operators with scalar commutators. Some variables may commute with all others and hence generate a classical subsystem. We systematically study the class of "quasifree" operations, which are characterized equivalently either by an intertwining condition for phase-space translations or by the requirement that, in the Heisenberg picture, Weyl operators are mapped to multiples of Weyl operators. This includes the well-known Gaussian operations, evolutions with quadratic Hamiltonians, and "linear Bosonic channels", but allows for much more general kinds of noise. For example, all states are quasifree. We sketch the analysis of quasifree preparation, measurement, repeated observation, cloning, teleportation, dense coding, the setup for the classical limit, and some aspects of irreversible dynamics, together with the precise salient tradeoffs of uncertainty, error, and disturbance. Although the spaces of observables and states are infinite dimensional for every non-trivial system that we consider, we treat the technicalities related to this in a uniform and conclusive way, providing a calculus that is both easy to use and fully rigorous.
△ Less
Submitted 19 July, 2023; v1 submitted 9 August, 2022;
originally announced August 2022.
-
Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space
Authors:
Wolfram Bauer,
Lauritz van Luijk,
Alexander Stottmeister,
Reinhard F. Werner
Abstract:
We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols. Our criterion applies, in particular, to symbols with Lipschitz continuous derivatives, which is the natural class of Hamiltonian functions for classical mechanics. For this we extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces. Finally, we apply…
▽ More
We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols. Our criterion applies, in particular, to symbols with Lipschitz continuous derivatives, which is the natural class of Hamiltonian functions for classical mechanics. For this we extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces. Finally, we apply our result to prove self-adjointness for a class of (operator-valued) quadratic forms on the space of Schwartz functions in the Schrödinger representation.
△ Less
Submitted 5 October, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Numerical optimization of amplitude-modulated pulses in microwave-driven entanglement generation
Authors:
M. Duwe,
G. Zarantonello,
N. Pulido-Mateo,
H. Mendpara,
L. Krinner,
A. Bautista-Salvador,
N. V. Vitanov,
K. Hammerer,
R. F. Werner,
C. Ospelkaus
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Quantum Correlations in the Minimal Scenario
Authors:
Thinh P. Le,
Chiara Meroni,
Bernd Sturmfels,
Reinhard F. Werner,
Timo Ziegler
Abstract:
In the minimal scenario of quantum correlations, two parties can choose from two observables with two possible outcomes each. Probabilities are specified by four marginals and four correlations. The resulting four-dimensional convex body of correlations, denoted $\mathcal{Q}$, is fundamental for quantum information theory. We review and systematize what is known about $\Qm$, and add many details,…
▽ More
In the minimal scenario of quantum correlations, two parties can choose from two observables with two possible outcomes each. Probabilities are specified by four marginals and four correlations. The resulting four-dimensional convex body of correlations, denoted $\mathcal{Q}$, is fundamental for quantum information theory. We review and systematize what is known about $\Qm$, and add many details, visualizations, and complete proofs. In particular, we provide a detailed description of the boundary, which consists of three-dimensional faces isomorphic to elliptopes and sextic algebraic manifolds of exposed extreme points. These patches are separated by cubic surfaces of non-exposed extreme points. We provide a trigonometric parametrization of all extreme points, along with their exposing Tsirelson inequalities and quantum models. All non-classical extreme points (exposed or not) are self-testing, i.e., realized by an essentially unique quantum model.
Two principles, which are specific to the minimal scenario, allow a quick and complete overview: The first is the pushout transformation, i.e., the application of the sine function to each coordinate. This transforms the classical correlation polytope exactly into the correlation body $\mathcal{Q}$, also identifying the boundary structures. The second principle, self-duality, is an isomorphism between $\Qm$ and its polar dual, i.e., the set of affine inequalities satisfied by all quantum correlations (``Tsirelson inequalities''). The same isomorphism links the polytope of classical correlations contained in $\Qm$ to the polytope of no-signalling correlations, which contains $\Qm$.
We also discuss the sets of correlations achieved with fixed Hilbert space dimension, fixed state or fixed observables, and establish a new non-linear inequality for $\Qm$ involving the determinant of the correlation matrix.
△ Less
Submitted 8 March, 2023; v1 submitted 11 November, 2021;
originally announced November 2021.
-
An algorithm to factorize quantum walks into shift and coin operations
Authors:
C. Cedzich,
T. Geib,
R. F. Werner
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Chiral Floquet systems and quantum walks at half period
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
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 ope…
▽ More
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.
△ Less
Submitted 29 September, 2022; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Robust and resource-efficient microwave near-field entangling $^9$Be$^+$ gate
Authors:
G. Zarantonello,
H. Hahn,
J. Morgner,
M. Schulte,
A. Bautista-Salvador,
R. F. Werner,
K. Hammerer,
C. Ospelkaus
Abstract:
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 e…
▽ More
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.
△ Less
Submitted 10 November, 2019;
originally announced November 2019.
-
Uncertainty from Heisenberg to Today
Authors:
Reinhard F. Werner,
Terry Farrelly
Abstract:
We explore the different meanings of "quantum uncertainty" contained in Heisenberg's seminal paper from 1927, and also some of the precise definitions that were explored later. We recount the controversy about "Anschaulichkeit", visualizability of the theory, which Heisenberg claims to resolve. Moreover, we consider Heisenberg's programme of operational analysis of concepts, in which he sees himse…
▽ More
We explore the different meanings of "quantum uncertainty" contained in Heisenberg's seminal paper from 1927, and also some of the precise definitions that were explored later. We recount the controversy about "Anschaulichkeit", visualizability of the theory, which Heisenberg claims to resolve. Moreover, we consider Heisenberg's programme of operational analysis of concepts, in which he sees himself as following Einstein. Heisenberg's work is marked by the tensions between semiclassical arguments and the emerging modern quantum theory, between intuition and rigour, and between shaky arguments and overarching claims. Nevertheless, the main message can be taken into the new quantum theory, and can be brought into the form of general theorems. They come in two kinds, not distinguished by Heisenberg. These are, on one hand, constraints on preparations, like the usual textbook uncertainty relation, and, on the other, constraints on joint measurability, including trade-offs between accuracy and disturbance.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Quantum walks: Schur functions meet symmetry protected topological phases
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
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 quantu…
▽ More
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.
△ Less
Submitted 16 April, 2021; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Eigenvalue Measurement of Topologically Protected Edge states in Split-Step Quantum Walks
Authors:
Thomas Nitsche,
Tobias Geib,
Christoph Stahl,
Lennart Lorz,
Christopher Cedzich,
Sonja Barkhofen,
Reinhard F. Werner,
Christine Silberhorn
Abstract:
We study topological phenomena of quantum walks by implementing a novel protocol that extends the range of accessible properties to the eigenvalues of the walk operator. To this end, we experimentally realise for the first time a split-step quantum walk with decoupling, which allows for investigating the effect of a bulk-boundary while realising only a single bulk configuration. We approximate the…
▽ More
We study topological phenomena of quantum walks by implementing a novel protocol that extends the range of accessible properties to the eigenvalues of the walk operator. To this end, we experimentally realise for the first time a split-step quantum walk with decoupling, which allows for investigating the effect of a bulk-boundary while realising only a single bulk configuration. We approximate the symmetry protected edge states with high similarities and read out the phase relative to a reference for all modes. In this way we observe eigenvalues which are distinguished by the presence or absence of sign flips between steps. Furthermore, the results show that investigating a bulk-boundary with a single bulk is experimentally feasible when decoupling the walk beforehand.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
Quantum walks in external gauge fields
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
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 ar…
▽ More
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.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
Creating anomalous Floquet Chern insulators with magnetic quantum walks
Authors:
Muhammad Sajid,
János K. Asbóth,
Dieter Meschede,
Reinhard F. Werner,
Andrea Alberti
Abstract:
We propose a realistic scheme to construct anomalous Floquet Chern topological insulators using spin-1/2 particles carrying out a discrete-time quantum walk in a two-dimensional lattice. By Floquet engineering the quantum-walk protocol, an Aharonov-Bohm geometric phase is imprinted onto closed-loop paths in the lattice, thus realizing an abelian gauge field---the analog of a magnetic flux threadin…
▽ More
We propose a realistic scheme to construct anomalous Floquet Chern topological insulators using spin-1/2 particles carrying out a discrete-time quantum walk in a two-dimensional lattice. By Floquet engineering the quantum-walk protocol, an Aharonov-Bohm geometric phase is imprinted onto closed-loop paths in the lattice, thus realizing an abelian gauge field---the analog of a magnetic flux threading a two-dimensional electron gas. We show that in the strong field regime, when the flux per plaquette is a sizable fraction of the flux quantum, magnetic quantum walks give rise to nearly flat energy bands featuring nonvanishing Chern numbers. Furthermore, we find that because of the nonperturbative nature of the periodic driving, a second topological number---the so-called RLBL invariant---is necessary to fully characterize the anomalous Floquet topological phases of magnetic quantum walks and to compute the number of topologically protected edge modes expected at the boundaries between different phases. In the second part of this article, we discuss an implementation of this scheme using neutral atoms in two-dimensional spin-dependent optical lattices, which enables the generation of arbitrary magnetic-field landscapes, including those with sharp boundaries. The robust atom transport, which is observed along boundaries separating regions of different field strength, reveals the topological character of the Floquet Chern bands.
△ Less
Submitted 11 June, 2019; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain
Authors:
C. Cedzich,
T. Geib,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
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 inv…
▽ More
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ödinger equation. We show exponential behaviour, and give a practical method for computing the decay constants.
△ Less
Submitted 21 September, 2018; v1 submitted 12 April, 2018;
originally announced April 2018.
-
Properties of the Wigner distribution for n arbitrary operators
Authors:
René Schwonnek,
Reinhard F. Werner
Abstract:
We study a generalization of the Wigner function to arbitrary tuples of hermitian operators, which is a distribution uniquely characterized by the property that the marginals for all linear combinations of the given operators agree with the quantum mechanical distributions. Its role as a joint quasi-probability distribution is underlined by the property that its support always lies in the set of e…
▽ More
We study a generalization of the Wigner function to arbitrary tuples of hermitian operators, which is a distribution uniquely characterized by the property that the marginals for all linear combinations of the given operators agree with the quantum mechanical distributions. Its role as a joint quasi-probability distribution is underlined by the property that its support always lies in the set of expectation value tuples of the operators. We characterize the set of singularities and positivity, and provide some basic examples.
△ Less
Submitted 8 July, 2020; v1 submitted 22 February, 2018;
originally announced February 2018.
-
Wigner distributions for n arbitrary observables
Authors:
René Schwonnek,
Reinhard F. Werner
Abstract:
We study a generalization of the Wigner function to arbitrary tuples of hermitian operators. We show that for any collection of hermitian operators A1...An , and any quantum state there is a unique joint distribution on R^n, with the property that the marginals of all linear combinations of the operators coincide with their quantum counterpart. In other words, we consider the inverse Radon transfo…
▽ More
We study a generalization of the Wigner function to arbitrary tuples of hermitian operators. We show that for any collection of hermitian operators A1...An , and any quantum state there is a unique joint distribution on R^n, with the property that the marginals of all linear combinations of the operators coincide with their quantum counterpart. In other words, we consider the inverse Radon transform of the exact quantum probability distributions of all linear combinations. We call it the Wigner distribution, because for position and momentum this property defines the standard Wigner function. We discuss the application to finite dimensional systems, establish many basic properties and illustrate these by examples. The properties include the support, the location of singularities, positivity, the behavior under symmetry groups, and informational completeness.
△ Less
Submitted 8 July, 2020; v1 submitted 22 February, 2018;
originally announced February 2018.
-
Unbounded generators of dynamical semigroups
Authors:
Inken Siemon,
Alexander S. Holevo,
Reinhard F. Werner
Abstract:
Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the sta…
▽ More
Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the standard form in the unbounded case, emphasizing intuition, and collecting and even proving the basic results around it. We also give a cautionary example showing that the standard form must not be read too naively. Further examples are given of semigroups, which appear to be probability preserving to first order, but are not for finite times. Based on these, we construct examples of generators which are not of standard form.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
State-independent Uncertainty Relations and Entanglement Detection in Noisy Systems
Authors:
René Schwonnek,
Lars Dammeier,
Reinhard F. Werner
Abstract:
Quantifying quantum mechanical uncertainty is vital for the increasing number of experiments that reach the uncertainty limited regime. We present a method for computing tight variance uncertainty relations, i.e., the optimal state-independent lower bound for the sum of the variances for any set of two or more measurements. The bounds come with a guaranteed error estimate, so results of pre-assign…
▽ More
Quantifying quantum mechanical uncertainty is vital for the increasing number of experiments that reach the uncertainty limited regime. We present a method for computing tight variance uncertainty relations, i.e., the optimal state-independent lower bound for the sum of the variances for any set of two or more measurements. The bounds come with a guaranteed error estimate, so results of pre-assigned accuracy can be obtained straightforwardly. Our method also works for POVM measurements. Therefore, it can be used for detecting entanglement in noisy environments, even in cases where conventional spin squeezing criteria fail because of detector noise.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
The topological classification of one-dimensional symmetric quantum walks
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
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 g…
▽ More
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.
△ Less
Submitted 7 September, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Sharp uncertainty relations for number and angle
Authors:
Paul Busch,
Jukka Kiukas,
Reinhard F. Werner
Abstract:
We study uncertainty relations for pairs of conjugate variables like number and angle, of which one takes integer values and the other takes values on the unit circle. The translation symmetry of the problem in either variable implies that measurement uncertainty and preparation uncertainty coincide quantitatively, and the bounds depend only on the choice of two metrics used to quantify the differ…
▽ More
We study uncertainty relations for pairs of conjugate variables like number and angle, of which one takes integer values and the other takes values on the unit circle. The translation symmetry of the problem in either variable implies that measurement uncertainty and preparation uncertainty coincide quantitatively, and the bounds depend only on the choice of two metrics used to quantify the difference of number and angle outputs, respectively. For each type of observable we discuss two natural choices of metric, and discuss the resulting optimal bounds with both numerical and analytic methods. We also develop some simple and explicit (albeit not sharp) lower bounds, using an apparently new method for obtaining certified lower bounds to ground state problems.
△ Less
Submitted 30 March, 2018; v1 submitted 2 April, 2016;
originally announced April 2016.
-
Measurement Uncertainty for Finite Quantum Observables
Authors:
René Schwonnek,
David Reeb,
Reinhard F. Werner
Abstract:
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification o…
▽ More
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result $x$ rather than y, for any pair (x,y). This induces a notion of optimal transport cost for a pair of probability distributions, and we include an appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a "true value" is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.
△ Less
Submitted 1 April, 2016;
originally announced April 2016.
-
Uncertainty relations for general phase spaces
Authors:
Reinhard F. Werner
Abstract:
We describe a setup for obtaining uncertainty relations for arbitrary pairs of observables related by Fourier transform. The physical examples discussed here are standard position and momentum, number and angle, finite qudit systems, and strings of qubits for quantum information applications. The uncertainty relations allow an arbitrary choice of metric for the distance of outcomes, and the choice…
▽ More
We describe a setup for obtaining uncertainty relations for arbitrary pairs of observables related by Fourier transform. The physical examples discussed here are standard position and momentum, number and angle, finite qudit systems, and strings of qubits for quantum information applications. The uncertainty relations allow an arbitrary choice of metric for the distance of outcomes, and the choice of an exponent distinguishing e.g., absolute or root mean square deviations. The emphasis of the article is on developing a unified treatment, in which one observable takes values in an arbitrary locally compact abelian group and the other in the dual group. In all cases the phase space symmetry implies the equality of measurement uncertainty bounds and preparation uncertainty bounds, and there is a straightforward method for determining the optimal bounds.
△ Less
Submitted 15 January, 2016;
originally announced January 2016.
-
Revivals in Quantum Walks with quasi-periodically time-dependent coin
Authors:
C. Cedzich,
R. F. Werner
Abstract:
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-dep…
▽ More
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.
△ Less
Submitted 7 April, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Optimality of entropic uncertainty relations
Authors:
Kais Abdelkhalek,
René Schwonnek,
Hans Maassen,
Fabian Furrer,
Jörg Duhme,
Philippe Raynal,
Berthold-Georg Englert,
Reinhard F. Werner
Abstract:
The entropic uncertainty relation proven by Maassen and Uffink for arbitrary pairs of two observables is known to be non-optimal. Here, we call an uncertainty relation optimal, if the lower bound can be attained for any value of either of the corresponding uncertainties. In this work we establish optimal uncertainty relations by characterising the optimal lower bound in scenarios similar to the Ma…
▽ More
The entropic uncertainty relation proven by Maassen and Uffink for arbitrary pairs of two observables is known to be non-optimal. Here, we call an uncertainty relation optimal, if the lower bound can be attained for any value of either of the corresponding uncertainties. In this work we establish optimal uncertainty relations by characterising the optimal lower bound in scenarios similar to the Maassen-Uffink type. We disprove a conjecture by Englert et al. and generalise various previous results. However, we are still far from a complete understanding and, based on numerical investigation and analytical results in small dimension, we present a number of conjectures.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Entanglement Distillation using the Exchange Interaction
Authors:
Adrian Auer,
René Schwonnek,
Christian Schoder,
Lars Dammeier,
Reinhard F. Werner,
Guido Burkard
Abstract:
A key ingredient of quantum repeaters is entanglement distillation, i.e., the generation of high-fidelity entangled qubits from a larger set of pairs with lower fidelity. Here, we present entanglement distillation protocols based on qubit couplings that originate from exchange interaction. First, we make use of asymmetric bilateral two-qubit operations generated from anisotropic exchange interacti…
▽ More
A key ingredient of quantum repeaters is entanglement distillation, i.e., the generation of high-fidelity entangled qubits from a larger set of pairs with lower fidelity. Here, we present entanglement distillation protocols based on qubit couplings that originate from exchange interaction. First, we make use of asymmetric bilateral two-qubit operations generated from anisotropic exchange interaction and show how to distill entanglement using two input pairs. We furthermore consider the case of three input pairs coupled through isotropic exchange. Here, we characterize a set of protocols which are optimizing the tradeoff between the fidelity increase and the probability of a successful run.
△ Less
Submitted 26 September, 2016; v1 submitted 3 August, 2015;
originally announced August 2015.
-
Uncertainty Relations for Angular Momentum
Authors:
Lars Dammeier,
René Schwonnek,
Reinhard F. Werner
Abstract:
In this work we study various notions of uncertainty for angular momentum in the spin-s representation of SU(2). We characterize the "uncertainty regions'' given by all vectors, whose components are specified by the variances of the three angular momentum components. A basic feature of this set is a lower bound for the sum of the three variances. We give a method for obtaining optimal lower bounds…
▽ More
In this work we study various notions of uncertainty for angular momentum in the spin-s representation of SU(2). We characterize the "uncertainty regions'' given by all vectors, whose components are specified by the variances of the three angular momentum components. A basic feature of this set is a lower bound for the sum of the three variances. We give a method for obtaining optimal lower bounds for uncertainty regions for general operator triples, and evaluate these for small s. Further lower bounds are derived by generalizing the technique by which Robertson obtained his state-dependent lower bound. These are optimal for large s, since they are saturated by states taken from the Holstein-Primakoff approximation. We show that, for all s, all variances are consistent with the so-called vector model, i.e., they can also be realized by a classical probability measure on a sphere of radius sqrt(s(s+1)). Entropic uncertainty relations can be discussed similarly, but are minimized by different states than those minimizing the variances for small s. For large s the Maassen-Uffink bound becomes sharp and we explicitly describe the extremalizing states. Measurement uncertainty, as recently discussed by Busch, Lahti and Werner for position and momentum, is introduced and a generalized observable (POVM) which minimizes the worst case measurement uncertainty of all angular momentum components is explicitly determined, along with the minimal uncertainty. The output vectors for the optimal measurement all have the same length r(s), where r(s)/s goes to 1 as s tends to infinity.
△ Less
Submitted 2 October, 2015; v1 submitted 30 April, 2015;
originally announced May 2015.
-
Schwartz operators
Authors:
Michael Keyl,
Jukka Kiukas,
Reinhard F. Werner
Abstract:
In this paper we introduce Schwartz operators as a non-commutative analog of Schwartz functions and provide a detailed discussion of their properties. We equip them in particular with a number of different (but equivalent) families of seminorms which turns the space of Schwartz operators into a Frechet space. The study of the topological dual leads to non-commutative tempered distributions which a…
▽ More
In this paper we introduce Schwartz operators as a non-commutative analog of Schwartz functions and provide a detailed discussion of their properties. We equip them in particular with a number of different (but equivalent) families of seminorms which turns the space of Schwartz operators into a Frechet space. The study of the topological dual leads to non-commutative tempered distributions which are discussed in detail as well. We show in particular that the latter can be identified with a certain class of quadratic forms, therefore making operations like products with bounded (and also some unbounded) operators and quantum harmonic analysis available to objects which are otherwise too singular for being a Hilbert space operator. Finally we show how the new methods can be applied by studying operator moment problems and convergence properties of fluctuation operators.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Bulk-edge correspondence of one-dimensional quantum walks
Authors:
C. Cedzich,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
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 requir…
▽ More
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.
△ Less
Submitted 10 February, 2016; v1 submitted 9 February, 2015;
originally announced February 2015.
-
What Maudlin replied to
Authors:
R. F. Werner
Abstract:
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).
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).
△ Less
Submitted 8 November, 2014;
originally announced November 2014.
-
Implementation of Quantum Key Distribution with Composable Security Against Coherent Attacks using Einstein-Podolsky-Rosen Entanglement
Authors:
Tobias Gehring,
Vitus Händchen,
Jörg Duhme,
Fabian Furrer,
Torsten Franz,
Christoph Pacher,
Reinhard F. Werner,
Roman Schnabel
Abstract:
Secret communication over public channels is one of the central pillars of a modern information society. Using quantum key distribution (QKD) this is achieved without relying on the hardness of mathematical problems which might be compromised by improved algorithms or by future quantum computers. State-of-the-art QKD requires composable security against coherent attacks for a finite number of samp…
▽ More
Secret communication over public channels is one of the central pillars of a modern information society. Using quantum key distribution (QKD) this is achieved without relying on the hardness of mathematical problems which might be compromised by improved algorithms or by future quantum computers. State-of-the-art QKD requires composable security against coherent attacks for a finite number of samples. Here, we present the first implementation of QKD satisfying this requirement and additionally achieving security which is independent of any possible flaws in the implementation of the receiver. By distributing strongly Einstein-Podolsky-Rosen entangled continuous variable (CV) light in a table-top arrangement, we generated secret keys using a highly efficient error reconciliation algorithm. Since CV encoding is compatible with conventional optical communication technology, we consider our work to be a major promotion for commercialized QKD providing composable security against the most general channel attacks.
△ Less
Submitted 10 February, 2015; v1 submitted 24 June, 2014;
originally announced June 2014.
-
Comment on "Noise and Disturbance in Quantum Measurements: An Information-Theoretic Approach"
Authors:
P. Busch,
P. Lahti,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Comment on "Experimental Test of Error-Disturbance Uncertainty Relations by Weak Measurement"
Authors:
P. Busch,
P. Lahti,
R. F. Werner
Abstract:
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 11…
▽ More
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.
△ Less
Submitted 15 March, 2014; v1 submitted 3 March, 2014;
originally announced March 2014.
-
Measurement Uncertainty: Reply to Critics
Authors:
P. Busch,
P. Lahti,
R. F. Werner
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 13 February, 2014;
originally announced February 2014.
-
Quantum root-mean-square error and measurement uncertainty relations
Authors:
Paul Busch,
Pekka Lahti,
Reinhard F Werner
Abstract:
Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here we resolve the conflict by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. We discuss two approaches to adapting the classic notion of root-mean-square error to quantum measurements. One is based on the concept of noise operator; its n…
▽ More
Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here we resolve the conflict by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. We discuss two approaches to adapting the classic notion of root-mean-square error to quantum measurements. One is based on the concept of noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for {\em state-dependent} errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for {\em state-independent} errors have been proven.
△ Less
Submitted 10 October, 2014; v1 submitted 16 December, 2013;
originally announced December 2013.
-
Measurement uncertainty relations
Authors:
Paul Busch,
Pekka Lahti,
Reinhard F Werner
Abstract:
Measurement uncertainty relations are quantitative bounds on the errors in an approximate joint measurement of two observables. They can be seen as a generalization of the error/disturbance tradeoff first discussed heuristically by Heisenberg. Here we prove such relations for the case of two canonically conjugate observables like position and momentum, and establish a close connection with the mor…
▽ More
Measurement uncertainty relations are quantitative bounds on the errors in an approximate joint measurement of two observables. They can be seen as a generalization of the error/disturbance tradeoff first discussed heuristically by Heisenberg. Here we prove such relations for the case of two canonically conjugate observables like position and momentum, and establish a close connection with the more familiar preparation uncertainty relations constraining the sharpness of the distributions of the two observables in the same state. Both sets of relations are generalized to means of order $α$ rather than the usual quadratic means, and we show that the optimal constants are the same for preparation and for measurement uncertainty. The constants are determined numerically and compared with some bounds in the literature. In both cases the near-saturation of the inequalities entails that the state (resp. observable) is uniformly close to a minimizing one.
△ Less
Submitted 30 April, 2014; v1 submitted 16 December, 2013;
originally announced December 2013.
-
Heisenberg uncertainty for qubit measurements
Authors:
Paul Busch,
Pekka Lahti,
Reinhard F Werner
Abstract:
Reports on experiments recently performed in Vienna [Erhard et al, Nature Phys. 8, 185 (2012)] and Toronto [Rozema et al, Phys. Rev. Lett. 109, 100404 (2012)] include claims of a violation of Heisenberg's error-disturbance relation. In contrast, we have presented and proven a Heisenberg-type relation for joint measurements of position and momentum [Phys. Rev. Lett. 111, 160405 (2013)]. To resolve…
▽ More
Reports on experiments recently performed in Vienna [Erhard et al, Nature Phys. 8, 185 (2012)] and Toronto [Rozema et al, Phys. Rev. Lett. 109, 100404 (2012)] include claims of a violation of Heisenberg's error-disturbance relation. In contrast, we have presented and proven a Heisenberg-type relation for joint measurements of position and momentum [Phys. Rev. Lett. 111, 160405 (2013)]. To resolve the apparent conflict, we formulate here a new general trade-off relation for errors in qubit measurements, using the same concepts as we did in the position-momentum case. We show that the combined errors in an approximate joint measurement of a pair of +/-1 valued observables A,B are tightly bounded from below by a quantity that measures the degree of incompatibility of A and B. The claim of a violation of Heisenberg is shown to fail as it is based on unsuitable measures of error and disturbance. Finally we show how the experiments mentioned may directly be used to test our error inequality.
△ Less
Submitted 17 January, 2014; v1 submitted 4 November, 2013;
originally announced November 2013.
-
Proof of Heisenberg's error-disturbance relation
Authors:
Paul Busch,
Pekka Lahti,
Reinhard F. Werner
Abstract:
While the slogan "no measurement without disturbance" has established itself under the name Heisenberg effect in the consciousness of the scientifically interested public, a precise statement of this fundamental feature of the quantum world has remained elusive, and serious attempts at rigorous formulations of it as a consequence of quantum theory have led to seemingly conflicting preliminary resu…
▽ More
While the slogan "no measurement without disturbance" has established itself under the name Heisenberg effect in the consciousness of the scientifically interested public, a precise statement of this fundamental feature of the quantum world has remained elusive, and serious attempts at rigorous formulations of it as a consequence of quantum theory have led to seemingly conflicting preliminary results. Here we show that despite recent claims to the contrary [Rozema et al, Phys. Rev. Lett. 109, 100404 (2012)], Heisenberg-type inequalities can be proven that describe a trade-off between the precision of a position measurement and the necessary resulting disturbance of momentum (and vice versa). More generally, these inequalities are instances of an uncertainty relation for the imprecisions of any joint measurement of position and momentum. Measures of error and disturbance are here defined as figures of merit characteristic of measuring devices. As such they are state independent, each giving worst-case estimates across all states, in contrast to previous work that is concerned with the relationship between error and disturbance in an individual state.
△ Less
Submitted 24 September, 2013; v1 submitted 6 June, 2013;
originally announced June 2013.
-
Electric quantum walks with individual atoms
Authors:
Maximilian Genske,
Wolfgang Alt,
Andreas Steffen,
Albert H. Werner,
Reinhard F. Werner,
Dieter Meschede,
Andrea Alberti
Abstract:
We report on the experimental realization of electric quantum walks, which mimic the effect of an electric field on a charged particle in a lattice. Starting from a textbook implementation of discrete-time quantum walks, we introduce an extra operation in each step to implement the effect of the field. The recorded dynamics of such a quantum particle exhibits features closely related to Bloch osci…
▽ More
We report on the experimental realization of electric quantum walks, which mimic the effect of an electric field on a charged particle in a lattice. Starting from a textbook implementation of discrete-time quantum walks, we introduce an extra operation in each step to implement the effect of the field. The recorded dynamics of such a quantum particle exhibits features closely related to Bloch oscillations and interband tunneling. In particular, we explore the regime of strong fields, demonstrating contrasting quantum behaviors: quantum resonances vs. dynamical localization depending on whether the accumulated Bloch phase is a rational or irrational fraction of 2π.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Propagation and spectral properties of quantum walks in electric fields
Authors:
C. Cedzich,
T. Rybár,
A. H. Werner,
A. Alberti,
M. Genske,
R. F. Werner
Abstract:
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 $Φ$, e.g., on whether $Φ/(2π)$ is rational or irration…
▽ More
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 $Φ$, e.g., on whether $Φ/(2π)$ 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.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Observation of one-way Einstein-Podolsky-Rosen steering
Authors:
Vitus Händchen,
Tobias Eberle,
Sebastian Steinlechner,
Aiko Samblowski,
Torsten Franz,
Reinhard F. Werner,
Roman Schnabel
Abstract:
The distinctive non-classical features of quantum physics were first discussed in the seminal paper by A. Einstein, B. Podolsky and N. Rosen (EPR) in 1935. In his immediate response E. Schrödinger introduced the notion of entanglement, now seen as the essential resource in quantum information as well as in quantum metrology. Furthermore he showed that at the core of the EPR argument is a phenomeno…
▽ More
The distinctive non-classical features of quantum physics were first discussed in the seminal paper by A. Einstein, B. Podolsky and N. Rosen (EPR) in 1935. In his immediate response E. Schrödinger introduced the notion of entanglement, now seen as the essential resource in quantum information as well as in quantum metrology. Furthermore he showed that at the core of the EPR argument is a phenomenon which he called steering. In contrast to entanglement and violations of Bell's inequalities, steering implies a direction between the parties involved. Recent theoretical works have precisely defined this property. Here we present an experimental realization of two entangled Gaussian modes of light by which in fact one party can steer the other but not conversely. The generated one-way steering gives a new insight into quantum physics and may open a new field of applications in quantum information.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
Quantum Walks with Non-Orthogonal Position States
Authors:
R. Matjeschk,
A. Ahlbrecht,
M. Enderlein,
Ch. Cedzich,
A. H. Werner,
M. Keyl,
T. Schaetz,
R. F. Werner
Abstract:
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 too…
▽ More
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.
△ Less
Submitted 15 November, 2012; v1 submitted 1 June, 2012;
originally announced June 2012.
-
How long can it take for a quantum channel to forget everything?
Authors:
Andre Ahlbrecht,
Florian Richter,
Reinhard F. Werner
Abstract:
We investigate quantum channels, which after a finite number $k$ of repeated applications erase all input information, i.e., channels whose $k$-th power (but no smaller power) is a completely depolarizing channel. We show that on a system with Hilbert space dimension $d$, the order is bounded by $k\leq d^2-1$, and give an explicit construction scheme for such channels. We also consider strictly fo…
▽ More
We investigate quantum channels, which after a finite number $k$ of repeated applications erase all input information, i.e., channels whose $k$-th power (but no smaller power) is a completely depolarizing channel. We show that on a system with Hilbert space dimension $d$, the order is bounded by $k\leq d^2-1$, and give an explicit construction scheme for such channels. We also consider strictly forgetful memory channels, i.e., channels with an additional input and output in every step, which after exactly $k$ steps retain no information about the initial memory state. We establish an explicit representation for such channels showing that the same bound applies for the memory depth $k$ in terms of the memory dimension $d$.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
Characterization of informational completeness for covariant phase space observables
Authors:
Jukka Kiukas,
Pekka Lahti,
Jussi Schultz,
Reinhard F. Werner
Abstract:
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The se…
▽ More
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The second is a version of informational completeness for the Hilbert-Schmidt class, equivalent to the zero set being of measure zero, and the third, known as regularity, is equivalent to the zero set being empty. We give examples demonstrating that all three conditions are distinct. The three conditions are the special cases for $p=1,2,\infty$ of a more general notion of $p$-regularity defined as the norm density of the span of translates of the operator in the Schatten-$p$ class. We show that the relation between zero sets and $p$-regularity can be mapped completely to the corresponding relation for functions in classical harmonic analysis.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Recurrence for discrete time unitary evolutions
Authors:
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We consider quantum dynamical systems specified by a unitary operator U and an initial state vector φ. 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…
▽ More
We consider quantum dynamical systems specified by a unitary operator U and an initial state vector φ. 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 φ. 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.
△ Less
Submitted 29 June, 2012; v1 submitted 17 February, 2012;
originally announced February 2012.
-
Asymptotic behavior of quantum walks with spatio-temporal coin fluctuations
Authors:
Andre Ahlbrecht,
Christopher Cedzich,
Robert Matjeschk,
Volkher B. Scholz,
Albert H. Werner,
Reinhard F. Werner
Abstract:
Quantum walks subject to decoherence generically suffer the loss of their genuine quantum feature, a quadratically faster spreading compared to classical random walks. This intuitive statement has been verified analytically for certain models and is also supported by numerical studies of a variety of examples. In this paper we analyze the long-time behavior of a particular class of decoherent quan…
▽ More
Quantum walks subject to decoherence generically suffer the loss of their genuine quantum feature, a quadratically faster spreading compared to classical random walks. This intuitive statement has been verified analytically for certain models and is also supported by numerical studies of a variety of examples. In this paper we analyze the long-time behavior of a particular class of decoherent quantum walks, which, to the best of our knowledge, was only studied at the level of numerical simulations before. We consider a local coin operation which is randomly and independently chosen for each time step and each lattice site and prove that, under rather mild conditions, this leads to classical behavior: With the same scaling as needed for a classical diffusion the position distribution converges to a Gaussian, which is independent of the initial state. Our method is based on non-degenerate perturbation theory and yields an explicit expression for the covariance matrix of the asymptotic Gaussian in terms of the randomness parameters.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.