arXiv subjects

Reinhard F. Werner

Publications and source records attributed to Reinhard F. Werner.

At least 19 recordsLinked to original sources

arXiv2025

Wiener's Tauberian theorem in classical and quantum harmonic analysis

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.

math.FA↗

arXiv2025

Relativistic Quantum Fields Are Universal Entanglement Embezzlers

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.

quant-ph↗

arXiv2025

Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras

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.

math-ph↗

arXiv2024

Pure state entanglement and von Neumann algebras

We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras. Our central result is the extension of Nielsen's Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions, to arbitrary factors. As a consequence, we find that in bipartite system modeled by commuting factors in Haag duality, a) all states have infinite single-shot entanglement if and only if the local factors are not of type I, b) type III factors are characterized by LOCC transitions of arbitrary precision between any two pure states, and c) the latter holds even without classical communication for type III$_{1}$ factors. In the case of semifinite factors, the usual construction of pure state entanglement monotones carries over. Together with recent work on embezzlement of entanglement, this gives a one-to-one correspondence between the classification of factors into types and subtypes and operational entanglement properties. In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $σ$-finite measure spaces.

quant-ph↗

arXiv2024

Implementation of Continuous-Variable Quantum Key Distribution with Composable and One-Sided-Device-Independent Security Against Coherent Attacks

Secret communication over public channels is one of the central pillars of a modern information society. Using quantum key distribution 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 quantum key distribution requires composable security against coherent attacks for a finite number of distributed quantum states as well as robustness against implementation side-channels. Here, we present an implementation of continuous-variable quantum key distribution satisfying these requirements. Our implementation is based on the distribution of continuous-variable Einstein-Podolsky-Rosen entangled light. It is one-sided device independent, which means the security of the generated key is independent of any memory-free attacks on the remote detector. Since continuous-variable encoding is compatible with conventional optical communication technology, our work is a crucial step towards practical implementations of quantum key distribution with state-of-the-art security based solely on telecom components.

quant-ph↗

arXiv2024

Exponential tail estimates for quantum lattice dynamics

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.

quant-ph↗

arXiv2023

Covariant catalysis requires correlations and good quantum reference frames degrade little

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.

quant-ph↗

arXiv2023

The Schmidt rank for the commuting operator framework

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.

quant-ph↗

arXiv2023

Quantum-Classical Hybrid Systems and their Quasifree Transformations

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.

quant-ph↗

arXiv2023

Convergence of Dynamics on Inductive Systems of Banach Spaces

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.

math-ph↗

arXiv2023

Quantum Correlations in the Minimal Scenario

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.

quant-ph↗

arXiv2022

Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space

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.

math-ph↗

arXiv2020

Wigner distributions for n arbitrary observables

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.

quant-ph↗

arXiv2020

Properties of the Wigner distribution for n arbitrary operators

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.

quant-ph↗

arXiv2019

Creating anomalous Floquet Chern insulators with magnetic quantum walks

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.

quant-ph↗

arXiv2019

Uncertainty from Heisenberg to Today

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.

physics.hist-ph↗

arXiv2018

Eigenvalue Measurement of Topologically Protected Edge states in Split-Step Quantum Walks

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.

quant-ph↗

arXiv2018

Sharp uncertainty relations for number and angle

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.

quant-ph↗