BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

R. F. Werner

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

ResearcherUnclaimed source record
quant-phmath-phmath.MPcond-mat.othermath.CAmath.FAcond-matfunct-anInformation Theorymath.CVmath.ITmath.OA

Catalog footprint

What is connected

28works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

28 published item(s)

preprint2021arXiv

Numerical optimization of amplitude-modulated pulses in microwave-driven entanglement generation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantum walks: Schur functions meet symmetry protected topological phases

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A quantum dynamical approach to matrix Khrushchev's formulas

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Bulk-edge correspondence of one-dimensional quantum walks

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Revivals in Quantum Walks with quasi-periodically time-dependent coin

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Comment on "Experimental Test of Error-Disturbance Uncertainty Relations by Weak Measurement"

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Comment on "Noise and Disturbance in Quantum Measurements: An Information-Theoretic Approach"

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Measurement Uncertainty: Reply to Critics

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Propagation and spectral properties of quantum walks in electric fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum Walks with Non-Orthogonal Position States

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Recurrence for discrete time unitary evolutions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Extremal Quantum Correlations and Cryptographic Security

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

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Full Counting Statistics of Stationary Particle Beams

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

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Index theory of one dimensional quantum walks and cellular automata

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

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Connes' embedding problem and Tsirelson's problem

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

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A short impossibility proof of Quantum Bit Commitment

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

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Maximal violation of Bell inequalities by position measurements

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

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Separability and Entanglement-Breaking in Infinite Dimensions

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

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

The uncertainty relation for joint measurement of position and momentum

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

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Counterexample to an additivity conjecture for output purity of quantum channels

A conjecture arising naturally in the investigation of additivity of classical information capacity of quantum channels states that the maximal purity of outputs from a quantum channel, as measured by the p-norm, should be multiplicative with respect to the tensor product of channels. We disprove this conjecture for p>4.79. The same example (with p=infinity) also disproves a conjecture for the multiplicativity of the injective norm of Hilbert space tensor products.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Quantum Lost and Found

We consider the problem of correcting the errors incurred from sending classical or quantum information through a noisy quantum environment by schemes using classical information obtained from a measurement on the environment. We give a conditions for quantum or classical information (prepared in a specified input basis B) to be corrigible based on a measurement M. Based on these criteria we give examples of noisy channels such that (1) no information can be corrected by such a scheme (2) for some basis B there is a correcting measurement M (3) for all bases B there is an M (4) there is a measurement M which allows perfect correction for all bases B. The last case is equivalent to the possibility of correcting quantum information, and turns out to be equivalent to the channel allowing a representation as a convex combination of isometric channels. Such channels are doubly stochastic but not conversely.

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

Quantum error-correcting codes associated with graphs

We present a construction scheme for quantum error correcting codes. The basic ingredients are a graph and a finite abelian group, from which the code can explicitly be obtained. We prove necessary and sufficient conditions for the graph such that the resulting code corrects a certain number of errors. This allows a simple verification of the 1-error correcting property of fivefold codes in any dimension. As new examples we construct a large class of codes saturating the singleton bound, as well as a tenfold code detecting 3 errors.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

Optimal Cloning of Pure States, Judging Single Clones

We consider quantum devices for turning a finite number N of d-level quantum systems in the same unknown pure state σinto M>N systems of the same kind, in an approximation of the M-fold tensor product of the state σ. In a previous paper it was shown that this problem has a unique optimal solution, when the quality of the output is judged by arbitrary measurements, involving also the correlations between the clones. We show in this paper, that if the quality judgement is based solely on measurements of single output clones, there is again a unique optimal cloning device, which coincides with the one found previously.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

Ground states of the infinite q-deformed Heisenberg ferromagnet

We set up a general structure for the analysis of ``frustration-free ground states'', or ``zero-energy states'', i.e., states minimizing each term in a lattice interaction individually. The nesting of the finite volume ground state spaces is described by a generalized inductive limit of observable algebras. The limit space of this inductive system has a state space which is canonically isomorphic (as a compact convex set) to the set of zero-energy states. We show that for Heisenberg ferromagnets, and for generalized valence bond solid states, the limit space is an abelian C*-algebra, and all zero-energy states are translationally invariant or periodic. For the $q$-deformed spin-$1/2$ Heisenberg ferromagnet in one dimension (i.e., the XXZ-chain with S$_q$U(2)-invariant boundary conditions) the limit space is an extension of the non-commutative algebra of compact operators by two points, corresponding to the ``all spins up'' and the ``all spins down'' states, respectively. These are the only translationally invariant zero-energy states. The remaining ones are parametrized by the density matrices on a Hilbert space, and converge weakly to the ``all up'' (resp.\ ``all down'') state for shifts to $-\infty$ (resp.\ $+\infty$).

0 citations0 reviewsNo code linkedOpen access
preprint1993arXiv

Coherent States of the q--Canonical Commutation Relations

For the $q$-deformed canonical commutation relations $a(f)a^\dagger(g) = (1-q)\,\langle f,g\rangle{\bf1}+q\,a^\dagger(g)a(f)$ for $f,g$ in some Hilbert space ${\cal H}$ we consider representations generated from a vector $Ω$ satisfying $a(f)Ω=\langle f,ϕ\rangleΩ$, where $ϕ\in{\cal H}$. We show that such a representation exists if and only if $\Vertϕ\Vert\leq1$. Moreover, for $\Vertϕ\Vert<1$ these representations are unitarily equivalent to the Fock representation (obtained for $ϕ=0$). On the other hand representations obtained for different unit vectors $ϕ$ are disjoint. We show that the universal C*-algebra for the relations has a largest proper, closed, two-sided ideal. The quotient by this ideal is a natural $q$-analogue of the Cuntz algebra (obtained for $q=0$). We discuss the Conjecture that, for $d<\infty$, this analogue should, in fact, be equal to the Cuntz algebra itself. In the limiting cases $q=\pm1$ we determine all irreducible representations of the relations, and characterize those which can be obtained via coherent states.

0 citations0 reviewsNo code linkedOpen access