Finding and building algebraic structures in finite-dimensional Hilbert spaces for quantum computation and quantum information

Abstract

In this dissertation, we investigate algebraic structures in finite-dimensional Hilbert spaces, as concerns quantum computation and quantum information, as well as these structures' applications to lattices. On the quantum computation side, we develop an algebraic framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. We further construct an explicit model and prove that it satisfies these axioms. Subsequently, we develop a graphical calculus for multi-qudit computations with generalized Clifford algebras, using the algebraic framework developed. We build our graphical calculus out of a fixed set of graphical primitives defined by algebraic expressions constructed out of elements of a given generalized Clifford algebra, a graphical primitive corresponding to the ground state, and also graphical primitives corresponding to projections onto the ground state of each qudit. We establish many algebraic identities, including a novel algebraic proof of a Yang-Baxter equation. We also derive a new identity for the braid elements, which is key to our proofs. We then use the Yang-Baxter equation proof to resolve an open question of Cobanera and Ortiz. We demonstrate that in many cases, the verification of involved vector identities can be reduced to the combinatorial application of two basic vector identities. In addition, we show how to explicitly compute various vector states in an efficient manner using algebraic methods. On the quantum information side, we introduce a new decomposition of quantum channels acting on group algebras, which we term Kraus-like operator decompositions (Kraus-like decompositions for short). An important motivation for this new decomposition is a general nonexistence result that we show for Kraus operator decompositions for quantum channels in this setting. We show that the notion of convex Kraus-like operator decompositions (in which the coefficients in the sum decomposition are nonnegative and satisfy a sum rule) that are induced by the irreducible characters of a finite group is equivalent to the notion of a conditionally negative-definite length when the length is a class function. For a general finite group G, we prove a stability condition which shows that if the semigroup associated with a length has a convex Kraus-like operator decomposition for all t>0 small enough, then it has a convex Kraus-like operator decomposition for all time t>0. Using the stability condition, we show that for a general finite group, conditional negativity of the length function is equivalent to a set of semidefinite linear constraints on the length function. By a result of Schoenberg, our result implies that in the group algebra setting, a semigroup P_t induced by a length function which is a class function is a quantum channel for all t greater than or equal to 0 if and only if it possesses a convex Kraus-like operator decomposition for all t>0. Finally, motivated by the importance of lattice problems in quantum cryptography, we extend the algebraic framework for multi-qudit representations of generalized Clifford algebras to d-dimensional lattices mod P. We show that under suitable number-theoretic conditions, the subalgebra induced by a lattice has trivial center. Under the trivial center constraint, we construct for pairs of lattice vectors satisfying an algebraic constraint a unitary operator based on the product of generalized Clifford algebra generators associated to each lattice vector.