Orthogonal Pairs and Mutually Unbiased Bases

Journal of Mathematical Sciences. 2016. Vol. 216. No. 1. P. 23–40.

Bondal A. I., Zhdanovskiy I.

The goal of our article is a study of related mathematical and physical objects: orthogonal pairs in sl(n) and mutually unbiased bases in ℂn. 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 ℂn. Two orthonormal bases {ei}i = 1 n, {fj}j = 1 nare mutually unbiased if and only if(Formula presented.)for any i, j = 1,…, n. The notions of mutually unbiased bases in ℂnand 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 ℂnare 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 ℂ6, thus solving a long-standing problem. Bibliography: 24 titles.

Keywords: Modulus Space, Cartan Subalgebra, Path Algebra, Minimal Projector, Unbiased Basis