For one qubit systems, we present a short, elementary argument characterizing unital quantum operators in terms of their action on Bloch vectors. We then show how our approach generalizes to multi-qubit systems, obtaining inequalities that govern when a ``diagonal'' superoperator on the Bloch region is a quantum operator. These inequalities are the n-qubit analogue of the Algoet-Fujiwara conditions. Our work is facilitated by an analysis of operator-sum decompositions in which negative summands are allowed.
We show that a quantum control procedure on a two-level system including dissipation gives rise to a semi-group corresponding to the Lie algebra semi-direct sum gl(3,R)+R^3. The physical evolution may be modelled by the action of this semi-group on a 3-vector as it moves inside the Bloch sphere, in the Bloch ball.
We determine the set of the Bloch vectors for N-level systems, generalizing the familiar Bloch ball in 2-level systems. An origin of the structural difference from the Bloch ball in 2-level systems is clarified.
Geometric intuition is a crucial tool to obtain deeper insight into many concepts of physics. A paradigmatic example of its power is the Bloch ball, the geometrical representation for the state space of the simplest possible quantum system, a two-level system (or qubit). However, already for a three-level system (qutrit) the state space has eight dimensions, so that its complexity exceeds the grasp of our three-dimensional space of experience. This is unfortunate, given that the geometric object describing the state space of a qutrit has a much richer structure and is in many ways more represe…
1-qubit quantum states form a space called the three-dimensional Bloch ball. To compute Holevo capacity, Voronoi diagrams in the Bloch ball with respect to the quantum divergence have been used as a powerful tool. These diagrams basically treat mixed quantum states corresponding to points in the interior of the Bloch ball. Due to the existence of logarithm in the quantum divergence, the diagrams are not defined on pure quantum states corresponding to points on the two-dimensional sphere. This paper first defines the Voronoi diagrams for pure quantum states on the Bloch sphere by the Fubini-Stu…
Quantum entanglement is notorious for being a very fragile resource. Significant efforts have been put into the study of entanglement degradation in the presence of a realistic noisy environment. Here, we present a theoretical and an experimental study of the decoherence properties of entangled pairs of qubits. The entanglement dynamics of maximally entangled qubit pairs is shown to be related in a simple way to the noise representation in the Bloch sphere picture. We derive the entanglement level in the case when both qubits are transmitted through any arbitrary unital Pauli channel, and comp…
We consider a very natural generalization of quantum theory by letting the dimension of the Bloch ball be not necessarily three. We analyze bipartite state spaces where each of the components has a d-dimensional Euclidean ball as state space. In addition to this we impose two very natural assumptions: the continuity and reversibility of dynamics, and the possibility of characterizing bipartite states by local measurements. We classify all these bipartite state spaces and prove that, except for the quantum two-qubit state space, none of them contains entangled states. Equivalently, in any of th…
The relative entropy description of Holevo-Schumacher-Westmoreland (HSW) classical channel capacity is applied to single qubit channels. A simple formula for the relative entropy of qubit density matrices in the Bloch sphere representation is derived. This formula is combined with the King-Ruskai-Szarek-Werner qubit channel ellipsoid picture to analyze several unital and non-unital qubit channels in detail. An alternate proof that the optimal HSW signalling states for single qubit unital channels are those states with the minimum channel output entropy is presented. The derivation is based on …
Three unit spheres were used to represent the two-qubit pure states. The three spheres are named the base sphere, entanglement sphere, and fiber sphere. The base sphere and entanglement sphere represent the reduced density matrix of the base qubit and the non-local entanglement measure, concurrence, while the fiber sphere represents the fiber qubit via a simple rotation under a local single-qubit unitary operation; however, in an entangled bipartite state, the fiber sphere has no information on the reduced density matrix of the fiber qubit. When the bipartite state becomes separable, the base …
Using the convex optimization method and Helstrom family of ensembles introduced in Ref. [1], we have discussed optimal ambiguous discrimination in qubit systems. We have analyzed the problem of the optimal discrimination of N known quantum states and have obtained maximum success probability and optimal measurement for N known quantum states with equiprobable prior probabilities and equidistant from center of the Bloch ball, not all of which are on the one half of the Bloch ball and all of the conjugate states are pure. An exact solution has also been given for arbitrary three known quantum s…
We experimentally investigate a discrete time quantum walk in a system of coupled fiber loops and observe typical phenomena known from the wave propagation in periodic structures as ballistic spreading or an oscillation between two internal quantum states similar to Zitterbewegung (trembling motion). If a position-dependent phase gradient is applied we find localization and Bloch oscillations of the field for moderate as well as Landau-Zener tunneling for strong phase gradients.
This paper studies the quantum dynamics of a charged particle in a 2D square lattice, under the influence of electric and magnetic fields, the former being aligned with one of the lattice axes and the latter perpendicular to the lattice plane. While in free space these dynamics consist of uniform motions in the direction orthogonal to the electric field vector, we find that, in a lattice, this directed drift takes place only for specific initial conditions and for electric field magnitudes smaller than a critical value. Otherwise, the quantum wave--packet spreads ballistically in both directio…
Quantum theory and relativity are the pillar theories on which our understanding of physics is based. Poincaré invariance is a fundamental physical principle stating that the experimental results must be the same in all inertial reference frames in Minkowski spacetime. It is a basic condition imposed on quantum theory in order to construct quantum field theories, hence, it plays a fundamental role in the standard model of particle physics too. As is well known, Minkowski spacetime follows from clear physical principles, like the relativity principle and the invariance of the speed of light. He…
For both unitary and open qubit dynamics, we compare asymmetry monotone-based bounds on the minimal time required for an initial qubit state to evolve to a final qubit state from which it is probabilistically distinguishable with fixed minimal error probability (i.e., the minimal error distinguishability time). For the case of unitary dynamics generated by a time-independent Hamiltonian, we derive a necessary and sufficient condition on two asymmetry monotones that guarantees that an arbitrary state of a two-level quantum system or a separable state of $N$ two-level quantum systems will unitar…
The computational efficiency of quantum mechanics can be defined in terms of the qubit circuit model, which is characterized by a few simple properties: each computational gate is a reversible transformation in a connected matrix group; single wires carry quantum bits, i.e. states of a three-dimensional Bloch ball; states on two or more wires are uniquely determined by local measurement statistics and their correlations. In this paper, we ask whether other types of computation are possible if we relax one of those characteristics (and keep all others), namely, if we allow wires to be described…
The article considers a two-level open quantum system, whose evolution is governed by the Gorini--Kossakowski--Lindblad--Sudarshan master equation with Hamiltonian and dissipation superoperator depending, correspondingly, on piecewise constant coherent and incoherent controls with constrained magnitudes. Additional constraints on controls' variations are also considered. The system is analyzed using Bloch parametrization of the system's density matrix. We adapt the section method for obtaining outer parallelepipedal and pointwise estimations of reachable and controllability sets in the Bloch b…
We examine stochastic maps in the context of quantum optics. Making use of the master equation, the damping basis, and the Bloch picture we calculate a non-unital, completely positive, trace-preserving map with unequal damping eigenvalues. This results in what we call the squeezed vacuum channel. A geometrical picture of the effect of stochastic noise on the set of pure state qubit density operators is provided. Finally, we study the capacity of the squeezed vacuum channel to transmit quantum information and to distribute EPR states.
Physical constraints such as positivity endow the set of quantum states with a rich geometry if the system dimension is greater than two. To shed some light on the complicated structure of the set of quantum states, we consider a stratification with strata given by unitary orbit manifolds, which can be identified with flag manifolds. The results are applied to study the geometry of the coherence vector for n-level quantum systems. It is shown that the unitary orbits can be naturally identified with spheres in R^{n^2-1} only for n=2. In higher dimensions the coherence vector only defines a non-…
Quantum walks are processes that model dynamics in coherent systems. Their experimental implementations proved key to unveil novel phenomena in Floquet topological insulators. Here we realize a photonic quantum walk in the presence of a synthetic gauge field, which mimics the action of an electric field on a charged particle. By tuning the energy gaps between the two quasi-energy bands, we investigate intriguing system dynamics characterized by the interplay between Bloch oscillations and Landau-Zener transitions. When both gaps at quasi-energy values 0 and $π$ are vanishingly small, the Floqu…
Milz and Strunz recently reported substantial evidence to further support the previously conjectured separability probability of $\frac{8}{33}$ for two-qubit systems ($ρ$) endowed with Hilbert-Schmidt measure. Additionally, they found that along the radius ($r$) of the Bloch ball representing either of the two single-qubit subsystems, this value appeared constant (but jumping to unity at the locus of the pure states, $r=1$). Further, they also observed (personal communication) such separability probability $r$-invariance, when using, more broadly, random induced measure ($K=3,4,5,\ldots$), wit…
We classify the Markov chains that can be generated on the set of quantum states by a unitarily evolving 3-dim quantum system (qutrit) that is repeatedly measured with a projective measurement (PVM) consisting of one rank-2 projection and one rank-1 projection. The dynamics of such a system can be visualized as taking place on the union of a Bloch ball and a single point, which correspond to the respective projections. The classification is given in terms of the eigenvalues of the 2x2 matrix that describes the dynamics arising on the Bloch ball, i.e., on the 2-dim subsystem. We also express th…
We advocate the step change in properties of discrete $d$-level quantum systems, between $d=2$ and $d\geq 3$. Qubit systems, or multipartite systems containing qubit subsystem, are exceptional in their relative simplicity. One faces a step in complexity in valuating measures of quantum correlations for qutrits and then other higher dimensional qudits. There is a growing number of arguments leading to such conclusion: recently found no-go theorem for generalization of the Peres-Horodecki's PPT criterion \cite{sko}, change in geometry of state spaces of qubit and higher degree qudits (the so cal…
Exploring Imaginary Coordinates: Disparity in the Shape of Quantum State Space in Even and Odd Dimensions
Technische Universität Wien（维也纳工业大学）；BCAM - Basque Center for Applied Mathematics（巴斯克应用数学中心）；University of Gdańsk（格但斯克大学）；Universitat Autònoma de Barcelona（巴塞罗那自治大学）；University of the Basque Country UPV/EHU（巴斯克大学）；IKERBASQUE Basque Foundation for Science（伊克尔巴斯克科学基金会）
Fundamental limits on state preparation for an open qubit
Lomonosov Moscow State University（莫斯科国立罗蒙诺索夫大学）；Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）；National Research University Higher School of Economics（国立高等经济大学）
Cooperative control and geometric amplification in dissipative quantum systems
Max Planck Institute for the Physics of Complex Systems（马克斯·普朗克复杂系统物理研究所）；Università di Parma（帕尔马大学）；INFN, Sezione di Milano Bicocca, Gruppo Collegato di Parma（意大利国家核物理研究所，米兰比科卡分部，帕尔马协作组）；Laboratoire Collisions Agrégats Réactivité, IRSAMC, Université de Toulouse, CNRS, UPS（碰撞与聚集反应实验室，IRSAMC，图卢兹大学，法国国家科学研究中心，图卢兹第三大学）
The channel induced by a complex system interacting strongly with a qubit is calculated exactly under the assumption of randomness of its eigenvectors. The resulting channel is represented as an isotropic time dependent oscillation of the Bloch ball, leading to non-Markovian behavior, even in the limit of infinite environments. Two contributions are identified: one due to the density of states and the other due to correlations in the spectrum. Prototype examples, one for chaotic and the other for regular dynamics are explored.
It is known that mixed quantum states are highly entropic states of imperfect knowledge (i.e., incomplete information) about a quantum system, while pure quantum states are states of perfect knowledge (i.e., complete information) with vanishing von Neumann entropy. In this paper, we propose an information geometric theoretical construct to describe and, to a certain extent, understand the complex behavior of evolutions of quantum systems in pure and mixed states. The comparative analysis is probabilistic in nature, it uses a complexity measure that relies on a temporal averaging procedure alon…
In quantum superdense coding, two parties previously sharing entanglement can communicate a two bit message by sending a single qubit. We study this feature in the broader framework of general probabilistic theories. We consider a particular class of theories in which the local state space of the communicating parties corresponds to Euclidean hyperballs of dimension n (the case n = 3 corresponds to the Bloch ball of quantum theory). We show that a single n-ball can encode at most one bit of information, independently of n. We introduce a bipartite extension of such theories for which there exi…
The set of all qubit states that can be steered to by measurements on a correlated qubit is predicted to form an ellipsoid---called the quantum steering ellipsoid---in the Bloch ball. This ellipsoid provides a simple visual characterisation of the initial 2-qubit state, and various aspects of entanglement are reflected in its geometric properties. We experimentally verify these properties via measurements on many different polarisation-entangled photonic qubit states. Moreover, for pure 3-qubit states, the volumes of the two quantum steering ellipsoids generated by measurements on the first qu…
We study dynamics of the measurement process in quantum dot systems, where a particular state out of coherent superposition is observed. The ballistic point-contact placed near one of the dots is taken as a noninvasive detector. We demonstrate that the measurement process is fully described by the Bloch-type equations applied to the whole system. These equations clearly reproduce the collapse of the density-matrix into the statistical mixture in the course of the measurement process. The corresponding dephasing width is uniquely defined. We show that the continuous observation of one of the st…
