[Paper Review] Quantum Symmetries and Cartan Decompositions in Arbitrary Dimensions

Domenico D’Alessandro, Francesca Albertini|ArXiv.org|Apr 6, 2005

Algebraic structures and combinatorial models4 citations

TL;DR

This paper establishes a one-to-one correspondence between Cartan decompositions of the unitary group and discrete quantum symmetries, introducing a novel 'odd-even type' decomposition for multipartite quantum systems of arbitrary dimension. By combining Cartan decompositions from individual subsystems—specifically using AI or AII types—it constructs a global decomposition that generalizes the Concurrence Canonical Decomposition (CCD) to qudits, with the overall type (AI or AII) determined by the parity of AII decompositions applied.

ABSTRACT

We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application, we describe a new and general method to obtain Cartan decompositions of the unitary group of evolutions of multipartite systems from Cartan decompositions on the single subsystems. The resulting decomposition, which we call of the odd-even type, contains, as a special case, the concurrence canonical decomposition (CCD) presented in the context of entanglement theory. The CCD is therefore extended from the case of a multipartite system of n qubits to the case where the component subsystems have arbitrary dimension.

Motivation & Objective

• To establish a systematic link between Cartan decompositions of unitary groups and discrete quantum symmetries.
• To generalize the Concurrence Canonical Decomposition (CCD) from qubits to arbitrary-dimensional subsystems (qudits).
• To develop a method for constructing global Cartan decompositions of multipartite systems from local decompositions on individual subsystems.
• To determine the type (AI or AII) of the resulting global decomposition based on the number and type of local decompositions used.

Proposed method

• Utilizes Cartan decompositions of the Lie algebra su(n) to define corresponding quantum symmetries, termed 'Cartan symmetries', which are involutions satisfying θ² = id.
• Constructs a global decomposition of the unitary group U(∏ni) by combining local Cartan decompositions on N subsystems of dimensions ni.
• Defines the 'odd-even type' decomposition by classifying basis elements of the Lie algebra as odd or even based on the number of Pauli matrices (σ) in their tensor product structure.
• Applies the decomposition to the Jordan algebra of Hermitian matrices under the anticommutator operation, enabling a factorization of unitary evolution into symmetric and antisymmetric Hamiltonian components.
• Uses dimension counting of the subalgebra K to classify the global decomposition as AI or AII type, based on the number of AII-type local decompositions.
• Employs induction to prove that the global decomposition is of type AII if and only if an odd number of subsystems are assigned AII-type local decompositions.

Experimental results

Research questions

• RQ1 How are Cartan decompositions of the unitary group related to discrete quantum symmetries, particularly those that are involutions?
• RQ2 Can the Concurrence Canonical Decomposition (CCD) be generalized beyond qubits to systems of arbitrary dimension?
• RQ3 What determines the type (AI or AII) of a global Cartan decomposition constructed from local decompositions on multipartite systems?
• RQ4 How can the dynamics of a composite quantum system be decomposed into local and non-local (entangling) components using this framework?
• RQ5 What is the role of the parity of AII-type local decompositions in determining the global Cartan type?

Key findings

• The odd-even decomposition generalizes the Concurrence Canonical Decomposition (CCD) to arbitrary-dimensional subsystems, extending its applicability beyond qubits.
• A one-to-one correspondence is established between Cartan decompositions of u(n) and a subclass of quantum symmetries—specifically, those that are involutions and preserve the Lie algebra structure.
• The global decomposition is of type AII if and only if an odd number of subsystems are assigned AII-type local Cartan decompositions; otherwise, it is of type AI.
• The dimension of the subalgebra K in the global decomposition is given by the formula (n₁n₂(n₁n₂ + 1))/2 when the first N−1 subsystems form a system of dimension n₁ and the last has dimension n₂, confirming the AII type when r is odd.
• The method enables a systematic decomposition of unitary evolution into parts governed by symmetric and antisymmetric Hamiltonians relative to a Cartan symmetry, facilitating analysis of entanglement and time-optimality.
• The result generalizes prior findings in entanglement theory, showing that the CCD's type (AI for even qubit count, AII for odd) is a special case of the odd-even decomposition with all subsystems being qubits and assigned AII-type decompositions.