-
Dark Subspaces and Invariant Measures of Quantum Trajectories
Authors:
Tristan Benoist,
Clément Pellegrini,
Anna Szczepanek
Abstract:
Quantum trajectories are Markov processes describing the evolution of a quantum system subject to indirect measurements. They can be viewed as place dependent iterated function systems or the result of products of dependent and non identically distributed random matrices. In this article, we establish a complete classification of their invariant measures. The classification is done in two steps. F…
▽ More
Quantum trajectories are Markov processes describing the evolution of a quantum system subject to indirect measurements. They can be viewed as place dependent iterated function systems or the result of products of dependent and non identically distributed random matrices. In this article, we establish a complete classification of their invariant measures. The classification is done in two steps. First, we prove a Markov process on some linear subspaces called dark subspaces, defined in (Maassen, Kümmerer 2006), admits a unique invariant measure. Second, we study the process inside the dark subspaces. Using a notion of minimal family of isometries from a reference space to dark subspaces, we prove a set of measures indexed by orbits of a unitary group is the set of ergodic measures of quantum trajectories.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
Generalized unistochastic matrices
Authors:
Ion Nechita,
Zikun Ouyang,
Anna Szczepanek
Abstract:
We study a class of bistochastic matrices generalizing unistochastic matrices. Given a complex bipartite unitary operator, we construct a bistochastic matrix having as entries the normalized squares of Frobenius norm of the blocks. We show that the closure of the set of generalized unistochastic matrices is the whole Birkhoff polytope. We characterize the points on the edges of the Birkhoff polyto…
▽ More
We study a class of bistochastic matrices generalizing unistochastic matrices. Given a complex bipartite unitary operator, we construct a bistochastic matrix having as entries the normalized squares of Frobenius norm of the blocks. We show that the closure of the set of generalized unistochastic matrices is the whole Birkhoff polytope. We characterize the points on the edges of the Birkhoff polytope that belong to a given level of our family of sets, proving that the different (non-convex) levels have a rich inclusion structure. We also study the corresponding generalization of orthostochastic matrices. Finally, we introduce and study the natural probability measures induced on our sets by the Haar measure of the unitary group. These probability measures interpolate between the natural measure on the set of unistochastic matrices and the Dirac measure supported on the van der Waerden matrix.
△ Less
Submitted 13 November, 2023; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Eight types of qutrit dynamics generated by unitary evolution combined with 2+1 projective measurement
Authors:
Anna Szczepanek
Abstract:
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 r…
▽ More
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 this classification as the partition of the numerical range of the unitary operator that governs the evolution of the system. As a result, one can easily determine which of the eight possible chain types can be generated with the help of any given unitary.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Ergodicity of Kusuoka measures on quantum trajectories
Authors:
Anna Szczepanek
Abstract:
In 1989 Kusuoka started the study of probability measures on the shift space that are defined with the help of products of matrices. In particular, he derived a sufficient condition for the ergodicity of such measures, which have since been referred to as Kusuoka measures. We observe that repeated measurements of a unitarily evolving quantum system generate a Kusuoka measure on the space of sequen…
▽ More
In 1989 Kusuoka started the study of probability measures on the shift space that are defined with the help of products of matrices. In particular, he derived a sufficient condition for the ergodicity of such measures, which have since been referred to as Kusuoka measures. We observe that repeated measurements of a unitarily evolving quantum system generate a Kusuoka measure on the space of sequences of measurement outcomes. We show that if the measurement consists of scaled projections, then Kusuoka's sufficient ergodicity condition can be significantly simplified. We then prove that this condition is also necessary for ergodicity if the measurement consists of uniformly scaled rank-1 projections (i.e., it is a rank-1 POVM), or of exactly two projections, one of which is rank-1. For the latter class of measurements we also show that the Kusuoka measure is reversible in the sense that every string of outcomes has the same probability of being emitted by the system as its reverse.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Orthogonal Projections on Hyperplanes Intertwined With Unitaries
Authors:
Wojciech Słomczyński,
Anna Szczepanek
Abstract:
Fix a point in a finite-dimensional complex vector space and consider the sequence of iterates of this point under the composition of a unitary map with the orthogonal projection on the hyperplane orthogonal to the starting point. We prove that, generically, the series of the squared norms of these iterates sums to the dimension of the underlying space. This leads us to construct a (device-depende…
▽ More
Fix a point in a finite-dimensional complex vector space and consider the sequence of iterates of this point under the composition of a unitary map with the orthogonal projection on the hyperplane orthogonal to the starting point. We prove that, generically, the series of the squared norms of these iterates sums to the dimension of the underlying space. This leads us to construct a (device-dependent) dimension witness for quantum systems which involves the probabilities of obtaining certain strings of outcomes in a sequential yes-no measurement. The exact formula for this series in non-generic cases is provided as well as its analogue in the real case.
△ Less
Submitted 7 August, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Quantum dynamical entropy, chaotic unitaries and complex Hadamard matrices
Authors:
Wojciech Słomczyński,
Anna Szczepanek
Abstract:
We introduce two information-theoretical invariants for the projective unitary group acting on a finite-dimensional complex Hilbert space: PVM- and POVM-dynamical (quantum) entropies. They quantify the randomness of the successive quantum measurement results in the case where the evolution of the system between each two consecutive measurements is described by a given unitary operator. We study th…
▽ More
We introduce two information-theoretical invariants for the projective unitary group acting on a finite-dimensional complex Hilbert space: PVM- and POVM-dynamical (quantum) entropies. They quantify the randomness of the successive quantum measurement results in the case where the evolution of the system between each two consecutive measurements is described by a given unitary operator. We study the class of chaotic unitaries, i.e., the ones of maximal entropy or, equivalently, such that they can be represented by suitably rescaled complex Hadamard matrices in some orthonormal bases. We provide necessary conditions for a unitary operator to be chaotic, which become also sufficient for qubits and qutrits. These conditions are expressed in terms of the relation between the trace and the determinant of the operator. We also compute the volume of the set of chaotic unitaries in dimensions two and three, and the average PVM-dynamical entropy over the unitary group in dimension two. We prove that this mean value behaves as the logarithm of the dimension of the Hilbert space, which implies that the probability that the dynamical entropy of a unitary is almost as large as possible approaches unity as the dimension tends to infinity.
△ Less
Submitted 16 January, 2018; v1 submitted 10 December, 2016;
originally announced December 2016.
