Orthogonal Pairs and Mutually Unbiased Bases

Abstract

The goal of our article is a study of related mathematical and physical objects: orthogonal pairs in sl(n) and mutually unbiased bases in ℂⁿ. An orthogonal pair in a simple Lie algebra is a pair of Cartan subalgebras that are orthogonal with respect to the Killing form. The description of orthogonal pairs in a given Lie algebra is an important step in the classification of orthogonal decompositions, i.e., decompositions of the Lie algebra into a direct sum of Cartan subalgebras pairwise orthogonal with respect to the Killing form. One of the important notions of quantum mechanics, quantum information theory, and quantum teleportation is the notion of mutually unbiased bases in the Hilbert space ℂⁿ. Two orthonormal bases {e_i}_i = 1ⁿ, {f_j}_j = 1ⁿare mutually unbiased if and only if\( {\left|\left\langle {e}_i\left|{f}_j\right.\right\rangle \right|}^2=\frac{1}{n} \)for any i, j = 1,…, n. The notions of mutually unbiased bases in ℂⁿand orthogonal pairs in sl(n) are closely related. The problem of classification of orthogonal pairs in sl(n) and the closely related problem of classification of mutually unbiased bases in ℂⁿare still open even for the case n = 6. In this article, we give a sketch of our proof that there is a complex four-dimensional family of orthogonal pairs in sl(6). This proof requires a lot of algebraic geometry and representation theory. Further, we give an application of the result on the algebraic geometric family to the study of mutually unbiased bases. We show the existence of a real four-dimensional family of mutually unbiased bases in ℂ⁶, thus solving a long-standing problem. Bibliography: 24 titles.