Showing 1–50 of 135 results for author: Werner, R F

Wiener's Tauberian theorem in classical and quantum harmonic analysis

Authors: Robert Fulsche, Franz Luef, Reinhard F. Werner

Abstract: We investigate Wiener's Tauberian theorem from the perspective of limit functions, which results in several new versions of the Tauberian theorem. Based on this, we formulate and prove analogous Tauberian theorems for operators in the sense of quantum harmonic analysis. Using these results, we characterize the class of slowly oscillating operators and show that this class is strictly larger than t… ▽ More We investigate Wiener's Tauberian theorem from the perspective of limit functions, which results in several new versions of the Tauberian theorem. Based on this, we formulate and prove analogous Tauberian theorems for operators in the sense of quantum harmonic analysis. Using these results, we characterize the class of slowly oscillating operators and show that this class is strictly larger than the class of compact operators. Finally, we discuss uniform versions of Wiener's Tauberian theorem and its operator analogue and provide an application of this in operator theory. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 36 pages, comments welcome

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.

Comments: See arXiv:2401.07292 for an overview article; 68 pages + 1 table + 1 figure; comments welcome; v3: resolved open problems

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.

Comments: Overview paper accompanying the technical manuscript arXiv:2401.07299

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.

Comments: 44 pages, 3 figures

Journal ref: Commun. Math. Phys. 405, 152 (2024)

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.

Comments: Comments welcome

Journal ref: Annales Henri Poincaré (2024)

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.

Comments: 12+1 pages. Accepted for Publication at Quantum - the open journal for quantum science

Journal ref: Quantum 7, 1166 (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.

Comments: 63 pages, 6 figures

Journal ref: Quantum 7, 1068 (2023)

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.

Comments: 17 pages

Journal ref: Journal of Functional Analysis, Volume 284, Issue 4, 2023

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.

Comments: 3 figures

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.

Comments: published version, expanded proofs and corrected typos

Journal ref: Quantum 7, 947 (2023)

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.

Comments: 4 pages

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.

Comments: 27 pages, 2 figures, v2: updated to the journal version

Journal ref: Annales Henri Poincaré (2021) 22: 375

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.

Comments: 4 figures

Journal ref: Phys. Rev. Lett. 123, 260503 (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.

Comments: 36 pages, 1 figure

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.

Comments: 33 pages, 1 figure

Journal ref: Comm. Math. Phys. 389:31-74 (2022)

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.

Comments: 15 pages, 8 figures

Journal ref: New J. Phys. 21, 043031 (2019)

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, kee** 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.

Comments: 16 pages, 6 figures

Journal ref: Journal of Mathematical Physics, Vol.60, Issue 1, 2019

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.

Comments: 20 pages, 11 figures, 2 animations

Journal ref: Phys. Rev. B 99, 214303 (2019)

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.

Comments: 27 pages, 5 figures

Journal ref: Quantum 2, 95 (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.

Comments: merged with arXiv:1802.08342

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.

Comments: 18 pages, 12 figures, updated version merged with arXiv:1802.08343

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.

Comments: 19 pages, for the proceedings of "40 years of the GKLS equation", Torun 2016

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.

Comments: 5+2 pages, 11 figures

Journal ref: Phys. Rev. Lett. 119, 170404 (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.

Comments: 36 pages, 7 figures

Journal ref: Annales Henri Poincare (2018) 19: 325

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.

Comments: 12 pages, 4 figures, close to published version

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.

Comments: 22 pages, 10 figures

Journal ref: Mathematics 4(2), 38 (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 develo** 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.

Comments: For the proceedings of QCMC 2014

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.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. A 93, 032329 (2016)

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.

Comments: 24 pages, 10 figures

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.

Comments: 8 pages, 5 figures, v2: corrected typo in Eq. (7)

Journal ref: Applied Physics B 122(3), 51 (2016)

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.

Comments: 30 pages, 22 figures, 1 cut-out paper model, video abstract available on https://youtu.be/h01pHekcwFA

Journal ref: New J. Phys. 17 (2015) 093046

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.

Comments: 49 pages, no figures

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.

Comments: 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

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 49, Number 21 (2016)

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.

Comments: 5 pages, LaTex; background material not intended for journal publication

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.

Comments: 7 pages, 3 figures

Journal ref: Nature Communications 6, 8795 (2015)

A quantum dynamical approach to matrix Khrushchev's formulas

Authors: C. Cedzich, F. A. Grünbaum, L. Velázquez, A. H. Werner, R. F. Werner

Abstract: 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 constitu… ▽ More 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. △ Less

Submitted 28 October, 2016; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: 41 pages

MSC Class: 42C05; 47A56

Journal ref: Comm. Pure Appl. Math., 69(5):909-957, 2016

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.

Comments: 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"

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.

Comments: This second version has been substantially edited to ensure a balanced comparison of the two proposed quantum generalizations of the Gauss rms error concept. The limitations of the noise-operator based measure are highlighted more sharply with additional examples

MSC Class: 81P05; 81P15

Journal ref: Rev. Mod. Phys. 86, 1261 (2014)

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.

Comments: This version 2 contains minor corrections and reformulations

MSC Class: 81P05; 81P15; 81Q10

Journal ref: Journal of Mathematical Physics 55, 042111 (2014)

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.

Comments: Version 3 contains further clarifications in our argument refuting the alleged violation of Heisenberg's error-disturbance relation. Some new material added on the connection between preparation uncertainty and approximation error relations

Journal ref: Physical Review A 89, 012129 (2014)

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.

Comments: Version 2 contains a more explicit description of the significance of the error-disturbance relation, formulated here for figures of merit of measuring devices, and its contrast with approaches that use state-dependent measures of error and disturbance

Journal ref: Physical Review Letters 111, 160405 (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.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Lett. 110, 190601 (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.

Comments: 7 pages, 4 figures

Journal ref: Phys. Rev. Lett. 111, 160601 (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.

Comments: 4 pages, 4 figures

Journal ref: Nature Photonics 6, 598-601 (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.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Lett. 109, 240503 (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.

Comments: 11 pages

Journal ref: J. Math. Phys. 53, 102103 (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.

Comments: 27 pages, 5 figures, typos corrected