Source author record

Reinhard F. Werner

Reinhard F. Werner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

27works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2018arXiv

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.

preprint2016arXiv

Entanglement Distillation using the Exchange Interaction

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.

preprint2016arXiv

Measurement Uncertainty for Finite Quantum Observables

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.

preprint2016arXiv

Uncertainty relations for general phase spaces

We describe a setup for obtaining uncertainty relations for arbitrary pairs of observables related by Fourier transform. The physical examples discussed here are standard position and momentum, number and angle, finite qudit systems, and strings of qubits for quantum information applications. The uncertainty relations allow an arbitrary choice of metric for the distance of outcomes, and the choice of an exponent distinguishing e.g., absolute or root mean square deviations. The emphasis of the article is on developing a unified treatment, in which one observable takes values in an arbitrary locally compact abelian group and the other in the dual group. In all cases the phase space symmetry implies the equality of measurement uncertainty bounds and preparation uncertainty bounds, and there is a straightforward method for determining the optimal bounds.

preprint2015arXiv

Optimality of entropic uncertainty relations

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.

preprint2015arXiv

Schwartz operators

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.

preprint2015arXiv

Uncertainty Relations for Angular Momentum

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.

preprint2014arXiv

Continuous Variable Quantum Key Distribution: Finite-Key Analysis of Composable Security against Coherent Attacks

We provide a security analysis for continuous variable quantum key distribution protocols based on the transmission of squeezed vacuum states measured via homodyne detection. We employ a version of the entropic uncertainty relation for smooth entropies to give a lower bound on the number of secret bits which can be extracted from a finite number of runs of the protocol. This bound is valid under general coherent attacks, and gives rise to keys which are composably secure. For comparison, we also give a lower bound valid under the assumption of collective attacks. For both scenarios, we find positive key rates using experimental parameters reachable today.

preprint2013arXiv

Electric quantum walks with individual atoms

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π.

preprint2013arXiv

Gaussian Entanglement for Quantum Key Distribution from a Single-Mode Squeezing Source

We report the suitability of an Einstein-Podolsky-Rosen (EPR) entanglement source for gaussian continuous-variable quantum key distribution at 1550 nm. Our source is based on a single continuous-wave squeezed vacuum mode combined with a vacuum mode at a balanced beam splitter. Extending a recent security proof, we characterize the source by quantifying the extractable length of a composable secure key from a finite number of samples under the assumption of collective attacks. We show that distances in the order of 10 km are achievable with this source for a reasonable sample size despite the fact that the entanglement was generated including a vacuum mode. Our security analysis applies to all states having an asymmetry in the field quadrature variances, including those generated by superposition of two squeezed modes with different squeezing strengths.

preprint2013arXiv

Proof of Heisenberg's error-disturbance relation

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.

preprint2012arXiv

Asymptotic behavior of quantum walks with spatio-temporal coin fluctuations

Quantum walks subject to decoherence generically suffer the loss of their genuine quantum feature, a quadratically faster spreading compared to classical random walks. This intuitive statement has been verified analytically for certain models and is also supported by numerical studies of a variety of examples. In this paper we analyze the long-time behavior of a particular class of decoherent quantum walks, which, to the best of our knowledge, was only studied at the level of numerical simulations before. We consider a local coin operation which is randomly and independently chosen for each time step and each lattice site and prove that, under rather mild conditions, this leads to classical behavior: With the same scaling as needed for a classical diffusion the position distribution converges to a Gaussian, which is independent of the initial state. Our method is based on non-degenerate perturbation theory and yields an explicit expression for the covariance matrix of the asymptotic Gaussian in terms of the randomness parameters.

preprint2012arXiv

Characterization of informational completeness for covariant phase space observables

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.

preprint2012arXiv

How long can it take for a quantum channel to forget everything?

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$.

preprint2012arXiv

Observation of one-way Einstein-Podolsky-Rosen steering

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.

preprint2011arXiv

Asymptotic evolution of quantum walks with random coin

We study the asymptotic position distribution of general quantum walks on a lattice, including walks with a random coin, which is chosen from step to step by a general Markov chain. In the unitary (i.e., non-random) case, we allow any unitary operator, which commutes with translations, and couples only sites at a finite distance from each other. For example, a single step of the walk could be composed of any finite succession of different shift and coin operations in the usual sense, with any lattice dimension and coin dimension. We find ballistic scaling, and establish a direct method for computing the asymptotic distribution of position divided by time, namely as the distribution of the discrete time analog of the group velocity. In the random case, we let a Markov chain (control process) pick in each step one of finitely many unitary walks, in the sense described above. In ballistic order we find a non-random drift, which depends only on the mean of the control process and not on the initial state. In diffusive scaling the limiting distribution is asymptotically Gaussian, with a covariance matrix (diffusion matrix) depending on momentum. The diffusion matrix depends not only on the mean but also on the transition rates of the control process. In the non-random limit, i.e., when the coins chosen are all very close, or the transition rates of the control process are small, leading to long intervals of ballistic evolution, the diffusion matrix diverges. Our method is based on spatial Fourier transforms, and the first and second order perturbation theory of the eigenvalue 1 of the transition operator for each value of the momentum.

preprint2011arXiv

Bound Molecules in an Interacting Quantum Walk

We investigate a system of two atoms in an optical lattice, performing a quantum walk by state-dependent shift operations and a coin operation acting on the internal states. The atoms interact, e.g., by cold collisions, whenever they are in the same potential well of the lattice. Under such conditions they typically develop a bound state, so that the two atoms effectively perform a quantum walk together, rarely moving further from each other than a few lattice sites. The theoretical analysis is based on a theory of quantum walks with a point defect, applied to the difference variable. We also discuss the feasibility of an experimental realization in existing quantum walk experiments.

preprint2011arXiv

Exact Energy-Time Uncertainty Relation for Arrival Time by Absorption

We prove an uncertainty relation for energy and arrival time, where the arrival of a particle at a detector is modeled by an absorbing term added to the Hamiltonian. In this well-known scheme the probability for the particle's arrival at the counter is identified with the loss of normalization for an initial wave packet. Under the sole assumption that the absorbing term vanishes on the initial wave function, we show that $ΔT ΔE \geq \sqrt p \hbar/2$ and $<T> ΔE\geq 1.37\sqrt p\hbar$, where $<T>e$ denotes the mean arrival time, and $p$ is the probability for the particle to be eventually absorbed. Nearly minimal uncertainty can be achieved in a two-level system, and we propose a trapped ion experiment to realize this situation.

preprint2011arXiv

Strong Einstein-Podolsky-Rosen entanglement from a single squeezed light source

Einstein-Podolsky-Rosen (EPR) entanglement is a criterion that is more demanding than just certifying entanglement. We theoretically and experimentally analyze the low resource generation of bi-partite continuous variable entanglement, as realized by mixing a squeezed mode with a vacuum mode at a balanced beam splitter, i.e. the generation of so-called vacuum-class entanglement. We find that in order to observe EPR entanglement the total optical loss must be smaller than 33.3 %. However, arbitrary strong EPR entanglement is generally possible with this scheme. We realize continuous wave squeezed light at 1550 nm with up to 9.9 dB of non-classical noise reduction, which is the highest value at a telecom wavelength so far. Using two phase controlled balanced homodyne detectors we observe an EPR co-variance product of 0.502 \pm 0.006 < 1, where 1 is the critical value. We discuss the feasibility of strong Gaussian entanglement and its application for quantum key distribution in a short-distance fiber network.

preprint2010arXiv

The fractal structure of cellular automata on Abelian groups

It is well-known that the spacetime diagrams of some cellular automata have a fractal structure: for instance Pascal's triangle modulo 2 generates a Sierpinski triangle. Explaining the fractal structure of the spacetime diagrams of cellular automata is a much explored topic, but virtually all of the results revolve around a special class of automata, whose typical features include irreversibility, an alphabet with a ring structure, a global evolution that is a ring homomorphism, and a property known as (weakly) p-Fermat. The class of automata that we study in this article has none of these properties. Their cell structure is weaker, as it does not come with a multiplication, and they are far from being p-Fermat, even weakly. However, they do produce fractal spacetime diagrams, and we explain why and how.

preprint2010arXiv

Time Asymptotics and Entanglement Generation of Clifford Quantum Cellular Automata

We consider Clifford Quantum Cellular Automata (CQCAs) and their time evolution. CQCAs are an especially simple type of Quantum Cellular Automata, yet they show complex asymptotics and can even be a basic ingredient for universal quantum computation. In this work we study the time evolution of different classes of CQCAs. We distinguish between periodic CQCAs, fractal CQCAs and CQCAs with gliders. We then identify invariant states and study convergence properties of classes of states, like quasifree and stabilizer states. Finally we consider the generation of entanglement analytically and numerically for stabilizer and quasifree states.

preprint2009arXiv

Monodromy analysis of the computational power of the Ising topological quantum computer

We show that all quantum gates which could be implemented by braiding of Ising anyons in the Ising topological quantum computer preserve the n-qubit Pauli group. Analyzing the structure of the Pauli group's centralizer, also known as the Clifford group, for n\geq 3 qubits, we prove that the image of the braid group is a non-trivial subgroup of the Clifford group and therefore not all Clifford gates could be implemented by braiding. We show explicitly the Clifford gates which cannot be realized by braiding estimating in this way the ultimate computational power of the Ising topological quantum computer.

preprint2007arXiv

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. In this paper we give a strengthened and explicit proof of this result. We extend its scope to a much larger variety of protocols, which may have an arbitrary number of rounds, in which both classical and quantum information is exchanged, and which may include aborts and resets. Moreover, we do not consider the receiver to be bound to a fixed "honest" strategy, so that "anonymous state protocols", which were recently suggested as a possible way to beat the known no-go results are also covered. We show that any concealing protocol allows the sender to find a cheating strategy, which is universal in the sense that it works against any strategy of the receiver. Moreover, if the concealing property holds only approximately, the cheat goes undetected with a high probability, which we explicitly estimate. The proof uses an explicit formalization of general two party protocols, which is applicable to more general situations, and a new estimate about the continuity of the Stinespring dilation of a general quantum channel. The result also provides a natural characterization of protocols that fall outside the standard setting of unlimited available technology, and thus may allow secure bit commitment. We present a new such protocol whose security, perhaps surprisingly, relies on decoherence in the receiver's lab.

preprint1997arXiv

Pure states on O_d

We study representations of the Cuntz algebras O_d and their associated decompositions. In the case that these representations are irreducible, their restrictions to the gauge-invariant subalgebra UHF_d have an interesting cyclic structure. If S_i, 1 \leq i \leq d, are representatives of the Cuntz relations on a Hilbert space H, special attention is given to the subspaces which are invariant under S_i^*. The applications include wavelet multiresolutions corresponding to wavelets of compact support (to appear in the later paper \cite{BEJ97}), and finitely correlated states on one-dimensional quantum spin chains.