Searcharxiv⌕ Search

arXiv subjects

Reinhard F. Werner

Publications and source records attributed to Reinhard F. Werner.

54 records · Page 3Linked to original sources

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.

quant-ph↗

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.

quant-ph↗

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.

cs.DM↗

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.

quant-ph↗

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.

math-ph↗

Implementation of Clifford gates in the Ising-anyon topological quantum computer

We give a general proof for the existence and realizability of Clifford gates in the Ising topological quantum computer. We show that all quantum gates that can be implemented by braiding of Ising anyons are Clifford gates. We find that the braiding gates for two qubits exhaust the entire two-qubit Clifford group. Analyzing the structure of the Clifford group for n \geq 3 qubits we prove that the the image of the braid group is a non-trivial subgroup of the Clifford group so that not all Clifford gates could be implemented by braiding in the Ising topological quantum computation scheme. We also point out which Clifford gates cannot in general be realized by braiding.

quant-ph↗

On the structure of Clifford quantum cellular automata

We study reversible quantum cellular automata with the restriction that these are also Clifford operations. This means that tensor products of Pauli operators (or discrete Weyl operators) are mapped to tensor products of Pauli operators. Therefore Clifford quantum cellular automata are induced by symplectic cellular automata in phase space. We characterize these symplectic cellular automata and find that all possible local rules must be, up to some global shift, reflection invariant with respect to the origin. In the one dimensional case we also find that every uniquely determined and translationally invariant stabilizer state can be prepared from a product state by a single Clifford cellular automaton timestep, thereby characterizing these class of stabilizer states, and we show that all 1D Clifford quantum cellular automata are generated by a few elementary operations. We also show that the correspondence between translationally invariant stabilizer states and translationally invariant Clifford operations holds for periodic boundary conditions.

quant-ph↗

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.

quant-ph↗

A Continuity Theorem for Stinespring's Dilation

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C*-algebras are close in cb-norm iff we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.

quant-ph↗

Permutation and Its Partial Transpose

Permutation and its partial transpose play important roles in quantum information theory. The Werner state is recognized as a rational solution of the Yang--Baxter equation, and the isotropic state with an adjustable parameter is found to form a braid representation. The set of permutation's partial transposes is an algebra called the "PPT" algebra which guides the construction of multipartite symmetric states. The virtual knot theory having permutation as a virtual crossing provides a topological language describing quantum computation having permutation as a swap gate. In this paper, permutation's partial transpose is identified with an idempotent of the Temperley--Lieb algebra. The algebra generated by permutation and its partial transpose is found to be the Brauer algebra. The linear combinations of identity, permutation and its partial transpose can form various projectors describing tangles; braid representations; virtual braid representations underlying common solutions of the braid relation and Yang--Baxter equations; and virtual Temperley--Lieb algebra which is articulated from the graphical viewpoint. They lead to our drawing a picture called the "ABPK" diagram describing knot theory in terms of its corresponding algebra, braid group and polynomial invariant. The paper also identifies nontrivial unitary braid representations with universal quantum gates, and derives a Hamiltonian to determine the evolution of a universal quantum gate, and further computes the Markov trace in terms of a universal quantum gate for a link invariant to detect linking numbers.

quant-ph↗

The Information-Disturbance Tradeoff and the Continuity of Stinespring's Representation

Stinespring's dilation theorem is the basic structure theorem for quantum channels: it states that any quantum channel arises from a unitary evolution on a larger system. Here we prove a continuity theorem for Stinespring's dilation: if two quantum channels are close in cb-norm, then it is always possible to find unitary implementations which are close in operator norm, with dimension-independent bounds. This result generalizes Uhlmann's theorem from states to channels and allows to derive a formulation of the information-disturbance tradeoff in terms of quantum channels, as well as a continuity estimate for the no-broadcasting theorem. We briefly discuss further implications for quantum cryptography, thermalization processes, and the black hole information loss puzzle.

quant-ph↗

Quantum Channels with Memory

We present a general model for quantum channels with memory, and show that it is sufficiently general to encompass all causal automata: any quantum process in which outputs up to some time t do not depend on inputs at times t' > t can be decomposed into a concatenated memory channel. We then examine and present different physical setups in which channels with memory may be operated for the transfer of (private) classical and quantum information. These include setups in which either the receiver or a malicious third party have control of the initializing memory. We introduce classical and quantum channel capacities for these settings, and give several examples to show that they may or may not coincide. Entropic upper bounds on the various channel capacities are given. For forgetful quantum channels, in which the effect of the initializing memory dies out as time increases, coding theorems are presented to show that these bounds may be saturated. Forgetful quantum channels are shown to be open and dense in the set of quantum memory channels.

quant-ph↗

Distillability and positivity of partial transposes in general quantum field systems

Criteria for distillability, and the property of having a positive partial transpose, are introduced for states of general bipartite quantum systems. The framework is sufficiently general to include systems with an infinite number of degrees of freedom, including quantum fields. We show that a large number of states in relativistic quantum field theory, including the vacuum state and thermal equilibrium states, are distillable over subsystems separated by arbitrary spacelike distances. These results apply to any quantum field model. It will also be shown that these results can be generalized to quantum fields in curved spacetime, leading to the conclusion that there is a large number of quantum field states which are distillable over subsystems separated by an event horizon.

quant-ph↗

Bell inequalities and Entanglement

We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.

quant-ph↗

Distillability via protocols respecting the positivity of partial transpose

We show that all quantum states that do not have a positive partial transpose are distillable via channels, which preserve the positivity of the partial transpose. The question whether NPT bound entanglement exist is therefore closely related to the connection between the set of separable superoperators and PPT-preserving maps.

quant-ph↗

Bell's inequalities for states with positive partial transpose

We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems are positive, the inequalities are satisfied. This is supporting evidence for a recent conjecture by Peres that positivity of partial transposes could be equivalent to existence of local classical models.

quant-ph↗

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.

funct-an↗