Introduction

One of thermodynamics’ most fundamental and ubiquitous interactions is the exchange of quantities between a system of interest and an environment. Example quantities include energy, particles, and electric charge. As the quantities are conserved globally, we call them ‘charges.’ (We call even the local quantities ‘charges’ for convenience, even though the quantities are not conserved locally). Such exchanges happen, for example, in electrochemical batteries, in a cooling cup of coffee, and when a few spins flip to align with a magnetic field. Given such exchanges’ pervasiveness, studying their quantum facets is essential for (i) developing the field of quantum thermodynamics1,2 and (ii) discovering nonclassical features of quantum many-body thermalization in condensed matter; atomic, molecular and optical (AMO) physics; high-energy physics; and chemistry. One important quantum phenomenon is operators’ failure to commute with each other: Noncommutation underlies uncertainty relations, measurement disturbance, and more. Therefore, studying exchanges of noncommuting charges is crucial for understanding quantum thermodynamics. As a result, noncommuting charges have been enjoying a heyday3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29 in quantum-information-theoretic (QIT) thermodynamics.

Lifting the assumption that exchanged charges commute3,4,5,13,14,27,30,31 has led to discoveries of truly quantum thermodynamics. Example discoveries include a generalization of the microcanonical state5, resource theories3,4,5,6,7,8,32, a generalization of the majorization preorder9, a reduction of entropy production by charges’ noncommutation10, and reference-frame designs11,12. These discoveries and others have turned noncommuting thermodynamic charges into a growing subfield.

Most of the discoveries have, until recently, belonged to QIT thermodynamics. However, given their fundamental and nonclassical nature, exchanges of thermodynamic noncommuting charges call for bridges to experiments and to many-body physics. Building these bridges requires Hamiltonians that transport noncommuting observables locally while conserving them globally: as stated in the quantum-thermodynamics review1, ‘an abstract view of dynamics, minimal in the details of Hamiltonians, is often employed in quantum information’ and so in QIT thermodynamics. In contrast, experiments, simulations, and many-body theory require microscopic Hamiltonians.

Before the present work, it was unknown (i) whether Hamiltonians that transport noncommuting observables locally, while conserving them globally, exist; (ii) how such Hamiltonians look, if they exist; (iii) how to construct such Hamiltonians for given noncommuting charges; and (iv) for which charges such Hamiltonians can be constructed. We answer these questions, enabling the system-and-environment exchange of noncommuting charges to progress from its QIT-thermodynamic birthplace to many-body physics and experiments. Example predictions that merit experimental exploration include (i) the emergence of the quantum equilibrium state in refs. 3,4,5, (ii) the decrease in entropy production by noncommuting charges10, (iii) applications of the entropy decrease to quantum engines33, (iv) the conjecture that noncommuting charges hinder thermalization14, and (v) the conjecture’s application to quantum memories. We open the door to experiments by prescribing how to construct the needed Hamiltonians. Our construction also enables the generalization, to noncommuting charges, of many-body–thermalization tools in condensed matter, AMO physics, and high-energy. Examples include the eigenstate thermalization hypothesis, out-of-time-ordered correlators, and random unitary circuits (e.g., refs. 34,35,36,37,38,39,40,41,42).

This paper introduces a prescription for constructing Hamiltonians that overtly move noncommuting charges between subsystems while conserving the charges globally. The charges form a finite-dimensional semisimple complex Lie algebra. The Hamiltonians can couple arbitrarily many subsystems together and can be integrable or nonintegrable. The prescription also produces a convenient basis for the algebra—a basis of charges explicitly transported locally, and conserved globally, by the Hamiltonian. The prescription is general, being independent of any physical platforms. Consequently, the Hamiltonians can be realized with diverse physical systems, such as superconducting circuits, ultracold atoms, and trapped ions.

In a special case, the charges form the Lie algebra \({\mathfrak{su}}(D)\), N identical subsystems form the global system, and each subsystem corresponds to the Hilbert space \({{\mathbb{C}}}^{D}\). In this example the Schur-Weyl duality describes the Hamiltonians’ forms43,44: Let the global system (formed from the system of interest and the environment) be many copies of the system of interest. The Hamiltonians are the linear combinations of the permutations of the copies. (Hamiltonians have also been engineered to have SU(D) symmetry without regard to whether noncommuting charges are transported45,46). Our results are more general than the Schur-Weyl duality and elucidate the dynamics’ physical interpretation. First, our prescription governs a much wider class of algebras: all finite-dimensional, semisimple Lie algebras in which the Killing form induces a metric. Many physically significant algebras satisfy these assumptions—for example, the simple Lie algebras, which include \({\mathfrak{su}}(D)\). Second, our results are not restricted to systems whose Hilbert spaces are \({{\mathbb{C}}}^{D}\). Finally, the Hamiltonian form specified by the Schur-Weyl duality—a linear combination of permutations—is an abstract construct. How to implement an arbitrary linear combination of permutations is not obvious. In contrast, our Hamiltonians have a clear physical interpretation, manifestly transporting noncommuting charges between subsystems. To our knowledge, no other class of Hamiltonians that transport charges locally and conserve them globally, comparably general to our class, is known.

This paper begins with our setup, detailed in the below section. The section ‘Pedagogical explanation’ introduces the Hamiltonian-construction prescription pedagogically. We also review mathematical background and illustrate the prescription with an example familiar in quantum information, the Lie algebra \({\mathfrak{su}}(2)\). The section ‘Prescription for constructing the Hamiltonians’ synopsizes the prescription, crystallizing the main result, and presents two properties of the prescription. A richer example provides intuition in the section ‘su(3) example’: Hamiltonians that transport and conserve charges in the Lie algebra \({\mathfrak{su}}(3)\). The section ‘Discussion’ concludes with potential realizations of our Hamiltonians in condensed matter, AMO, and high-energy and nuclear physics.

Results

Setup

Consider a global closed quantum many-body system, as in recent thermalization experiments47,48,49,50,51,52,53,54,55,56,57,58. As in conventional statistical mechanics, the global system is an ensemble of N identical subsystems. (We use the term ‘ensemble’ in the traditional sense of statistical physics: a collection of many identical copies of a system of interest. Such ensembles are often invoked to determine equilibrium probability distributions59, p. 62). A few of the subsystems form the system of interest; and the rest, an effective environment. Each subsystem corresponds to a Hilbert space \({{{\mathcal{H}}}}\) of finite dimensionality d.

We will construct global Hamiltonians, Htot, that conserve extensive charges defined as follows. Let Qα denote a Hermitian operator defined on \({{{\mathcal{H}}}}\). We denote by \({Q}_{\alpha }^{(j)}\) the observable defined on the jth subsystem’s \({{{\mathcal{H}}}}\). Each global observable

$${Q}_{\alpha }^{{{{\rm{tot}}}}}:=\mathop{\sum }\limits_{j=1}^{N}{Q}_{\alpha }^{(j)}\equiv \mathop{\sum }\limits_{j=1}^{N}{{\mathbb{1}}}^{\otimes (j-1)}\otimes {Q}_{\alpha }^{(j)}\otimes {{\mathbb{1}}}^{\otimes (N-j)}$$
(1)

will be conserved by design:

$$[{H}^{{{{\rm{tot}}}}},{Q}_{\alpha }^{{{{\rm{tot}}}}}]=0.$$
(2)

Although the local \({Q}_{\alpha }^{(j)}\) are not conserved, we will sometimes call them, and the Qα, ‘charges’ for convenience. One might know, initially, of only \(c^{\prime}\) charges’ existence.

These \(c^{\prime}\)Qα’s generate a complex Lie algebra \({{{\mathcal{A}}}}\), which we assume to be finite-dimensional. \({{{\mathcal{A}}}}\) consists of all the charges (as well as non-Hermitian operators, which we ignore). Lie algebras describe many conserved physical quantities: particle number, angular momentum, electric charge, color charge, weak isospin, and our space-time’s metric44,60,61. We focus on non-Abelian Lie algebras, motivated by quantum thermodynamics that highlights noncommutation: the commutator exemplifies the Lie bracket, [Qα, Qβ].

We assume four more properties of the algebra, to facilitate our proofs. \({{{\mathcal{A}}}}\) is finite-dimensional and semisimple. Representing an observable, \({{{\mathcal{A}}}}\) is over the complex numbers. Also, on \({{{\mathcal{A}}}}\) is defined a Killing form (reviewed below) that induces a metric. Many physically significant algebras satisfy these assumptions—for example, the simple Lie algebras (see the Supplementary Note 1 and refs. 44,60,61).

Pedagogical explanation

This section describes the prescription for constructing Hamiltonians Htot that conserve noncommuting charges globally [Eq. (2)] while transporting them locally:

$$\left[{H}^{{{{\rm{tot}}}}},{Q}_{\alpha }^{(j)}\right]\,\ne \,0$$
(3)

for some site j. (In every such commutator throughout this paper, one argument implicitly contains tensor factors of \({\mathbb{1}}\), so that both arguments operate on the same Hilbert space.) We construct two-body interaction terms, then combine them into many-body terms. This explanation provides a pedagogical introduction; the prescription is synopsized in the section ‘Prescription for constructing the Hamiltonians’. Here, we illustrate each step with an algebra familiar in quantum information, \({\mathfrak{su}}(2)\), which describes spin-1/2 angular momentum.

Table 1 lists the simple Lie algebras. Every Cartesian product of simple Lie algebras yields a semisimple Lie algebra \({{{\mathcal{A}}}}\). Such an algebra generates a semisimple Lie group \({{{\mathcal{G}}}}\). For example, if \({{{\mathcal{A}}}}\) consists of angular momentum, \({{{\mathcal{A}}}}={\mathfrak{su}}(D)\). The corresponding \({{{\mathcal{G}}}}\) consists of rotations: \({{{\mathcal{G}}}}=\,{{\mbox{SU}}}\,(D)\).

Table 1 Simple Lie algebras: c denotes an algebra’s dimension, and r denotes the rank.

An algebra has two relevant properties, a dimension and a rank (Table 1). The dimension, c, equals the number of generators in a basis for the algebra.(We chose the notation c to evoke the c introduced in14. There, c was defined as the number of charges. As explained in the section ‘Setup’ under Results, those charges would form a Lie algebra. Infinitely many charges would therefore exist, the c in14 would equal infinity, and results in14 would be impractical. We therefore define c as the Lie algebra’s finite dimension.) For example, \({\mathfrak{su}}\)(2) has the Pauli-operator basis {σx, σy, σz} and so has a dimension c = 3. The rank, r, has a significance that we will encounter shortly.

A representation of \({{{\mathcal{A}}}}\) is a Lie-bracket-preserving map from \({{{\mathcal{A}}}}\) to a set of linear transformations. The adjoint representation maps from \({{{\mathcal{A}}}}\) to linear transformations defined on \({{{\mathcal{A}}}}\). If \(x\in {{{\mathcal{A}}}}\), the adjoint representation ad(x) acts on \(y\in {{{\mathcal{A}}}}\) as ad(x)(y) : = [x, y]. The adjoint representation features in the Killing form, which we review now. The definition of \({{{\mathcal{A}}}}\) involves a vector space V defined over a field F. A map V × V → F is a form. The Killing form is the symmetric bilinear form

$$(x,y):={{{\rm{Tr}}}}({{{\rm{ad}}}}(x){{{\rm{ad}}}}(y)).$$
(4)

We say that x and y are Killing-orthogonal if (x, y) = 0. We say that subalgebras \({{{{\mathcal{A}}}}}_{1}\) and \({{{{\mathcal{A}}}}}_{2}\) are Killing-orthogonal if, for all \(x\in {{{{\mathcal{A}}}}}_{1}\) and \(y\in {{{{\mathcal{A}}}}}_{2}\), (x, y) = 0. We will use the Killing form to construct the preferred basis of charges for \({{{\mathcal{A}}}}\).

Our construction begins with another basis: every finite-dimensional semisimple complex Lie algebra \({{{\mathcal{A}}}}\) has a Cartan–Weyl basis. In fact, \({{{\mathcal{A}}}}\) has infinitely many. Convention may distinguish one Cartan-Weyl basis. We use the conventional \({\mathfrak{su}}(2)\) basis for concreteness. We use this basis, in our example, for concreteness. In general, one selects an arbitrary Cartan-Weyl basis. The basis contains generators of two types: Hermitian operators and ladder operators.

The number of Hermitian operators is the algebra’s rank, r. These operators commute with each other. If r > 1, we rescale the operators to endow them with unit Hilbert-Schmidt norms:

$${{{\rm{Tr}}}}({Q}_{\alpha }^{{\dagger} }{Q}_{\alpha })=1.$$
(5)

We include these operators, Qα=1,2, …, r, in our preferred basis. In the \({\mathfrak{su}}\)(2) example, r = 1; and Q1 = σz, whose eigenstates \(\left|\pm z\right\rangle\) correspond to the eigenvalues ±1. The Qα’s generate a subalgebra, a Cartan subalgebra.

The Cartan-Weyl basis contains, as well as Hermitian operators, ladder operators. They form pairs L±β, for \(\beta =1,2,\ldots ,\frac{c-r}{2}\): Since the Cartan-Weyl basis has c elements, and r of them are Hermitian, there are c − r ladder operators. Each β corresponds to two ladder operators, one raising (+β) and one lowering (−β). Hence β runs from 1 to \(\frac{c-r}{2}\). Each L±β raises or lowers at least one Qα. In the \({\mathfrak{su}}\)(2) example, the ladder operators \({\sigma }_{\pm z}=\frac{1}{2}({\sigma }_{x}\pm i{\sigma }_{y})\) raise and lower σz: \({L}_{\pm z}\left|\mp z\right\rangle =\left|\pm z\right\rangle\). In other algebras, an L±β can raise and/or lower multiple Qα’s. Examples include \({\mathfrak{su}}(3)\) (explained in the section ‘su(3) example’).

From each ladder-operator pair, we construct an interaction that couples subsystems j and \(j^{\prime}\). Let \({J}_{\beta }^{(j,j^{\prime} )}\) denote a hopping frequency. An interaction that transports all the charges between j and \(j^{\prime}\), while conserving each charge globally, has the form

$${H}^{(j,j^{\prime} )}\propto \mathop{\sum }\limits_{\beta =1}^{(c-r)/2}{J}_{\beta }^{(j,j^{\prime} )}\left({L}_{+\beta }^{(j)}{L}_{-\beta }^{(j^{\prime} )}+{L}_{-\beta }^{(j)}{L}_{+\beta }^{(j^{\prime} )}\right).$$
(6)

We assemble the other terms in \({H}^{(j,j^{\prime} )}\) from other Cartan-Weyl bases, constructed as follows. Let U denote a general element of the group \({{{\mathcal{G}}}}\). We conjugate, with U, each element of our first Cartan-Weyl basis: For α = 1, 2, …, r and \(\beta =1,2,\ldots ,\frac{c-r}{2}\),

$${Q}_{\alpha }\,\mapsto \,{U}^{{\dagger} }{Q}_{\alpha }U={Q}_{\alpha +r},\quad \,{{\mbox{and}}}\,$$
(7)
$${L}_{\pm \beta }\,\mapsto \,{U}^{{\dagger} }{L}_{\pm \beta }U={L}_{\pm \left(\beta +\frac{c-r}{2}\right)}.$$
(8)

We include the new Qα’s (for which α = r + 1, r + 2, …, 2r) in our preferred basis for the algebra.

We constrain U such that each new Qα is Killing-orthogonal to (i) each other new charge Qβ and (ii) each original charge Qγ:

$$({Q}_{\alpha },{Q}_{\beta })=({Q}_{\alpha },{Q}_{\gamma })=0$$
(9)

for all α, β = r + 1, r + 2, …, 2r and all γ = 1, 2, …, r. This orthogonality restricts U, though not completely. The new Qα’s generate a Cartan subalgebra Killing-orthogonal to the original Cartan subalgebra. The new ladder operators contribute to the interaction:

$${H}^{(j,j^{\prime} )}\propto \mathop{\sum }\limits_{\beta =1}^{c-r}{J}_{\beta }^{(j,j^{\prime} )}\left({L}_{+\beta }^{(j)}{L}_{-\beta }^{(j^{\prime} )}+{{{\rm{h}}}}.{{{\rm{c}}}}.\right).$$
(10)

In the \({\mathfrak{su}}\)(2) example, U can be represented by \(\left[\begin{array}{ll}a&-{b}^{* }\\ b&{a}^{* }\end{array}\right]\ ,\) wherein \(a,b\in {\mathbb{C}}\) and a2 + b2 = 1. The prescription restricts U only via the Killing-orthogonality of UσzU to U. We enforce only this restriction in the Supplementary Note 2. Here, we choose a U for pedagogical simplicitly: \(U=({\mathbb{1}}+i{\sigma }_{y})/\sqrt{2}\), such that Qα+r = Q2 = σx. The new ladder operators, \({\sigma }_{\pm x}:=\left(\frac{{\mathbb{1}}+i{\sigma }_{y}}{\sqrt{2}}\right){\sigma }_{\pm z}\left(\frac{{\mathbb{1}}+i{\sigma }_{y}}{\sqrt{2}}\right)\), create and annihilate quanta of the x-component of the angular momentum. The interaction becomes

$${H}^{(j,j^{\prime} )}\propto \mathop{\sum}\limits_{\beta =z,x}{J}_{\beta }^{(j,j^{\prime} )}\left({\sigma }_{+\beta }^{(j)}{\sigma }_{-\beta }^{(j^{\prime} )}+{{{\rm{h}}}}.{{{\rm{c}}}}.\right).$$
(11)

We repeat the foregoing steps: write out the form of a general \(U\in {{{\mathcal{G}}}}\). Conjugate each element of the original Cartan-Weyl basis with U. Constrain U such that the new Qα’s are orthogonal to each other and to the older Qα’s. Include the new Qα’s in our preferred basis for the algebra. Form a term, in \({H}^{(j,j^{\prime} )}\), from the new ladder operators L±β.

Each Cartan-Weyl basis contributes r elements Qα to the preferred basis. The basis contains c elements, so we form c/r mutually orthogonal Cartan-Weyl bases. c/r equals an integer for the finite-dimensional semisimple complex Lie algebras, according to Proposition 1 in the section ‘Prescription for constructing the Hamiltonians’. Table 1 confirms the claim for the simple Lie algebras. Our algebra’s finite dimensionality ensures that our prescription halts. The two-body interaction is now

$${H}^{(j,j^{\prime} )}=\mathop{\sum }\limits_{\beta =1}^{\frac{c-r}{2}\cdot \frac{c}{r}}{J}_{\beta }^{(j,j^{\prime} )}\left({L}_{+\beta }^{(j)}{L}_{-\beta }^{(j^{\prime} )}+{{{\rm{h}}}}.{{{\rm{c}}}}.\right).$$
(12)

Why is the preferred basis {Qα} preferable? First, the basis endows the Hamiltonian with a simple physical interpretation: \({H}^{(j,j^{\prime} )}\) transports all these charges locally while conserving them globally. Second, the basis is (Killing-)orthogonal.

In the \({\mathfrak{su}}\)(2) example, c/r = 3/1 = 3. Hence we construct three Cartan-Weyl bases, using two SU(2) elements. If the first unitary was \(({\mathbb{1}}+i{\sigma }_{y})/\sqrt{2}\), the second unitary is \(({\mathbb{1}}-i{\sigma }_{x}+i{\sigma }_{y}+i{\sigma }_{z})/2\), to within a global phase. Consequently, Q3 = σy, the preferred basis for \({{{\mathcal{A}}}}\) is {σz, σx, σy}, and

$${H}^{(j,j^{\prime} )}=\mathop{\sum}\limits_{\beta =x,y,z}{J}_{\beta }^{(j,j^{\prime} )}\left({\sigma }_{+\beta }^{(j)}{\sigma }_{-\beta }^{(j^{\prime} )}+{{{\rm{h}}}}.{{{\rm{c}}}}.\right).$$
(13)

Next, we constrain the interaction to conserve every global charge:

$$[{H}^{(j,j^{\prime} )},{Q}_{\alpha }^{{{{\rm{tot}}}}}]=0\quad \forall \alpha =1,2,\ldots ,c.$$
(14)

The commutation relations (14) constrain the hopping frequencies \({J}_{\alpha }^{(j,j^{\prime} )}\). The frequencies must equal each other in the \({\mathfrak{su}}(2)\) example: \({J}_{\alpha }^{(j,j^{\prime} )}\equiv {J}^{(j,j^{\prime} )}\) for all α. The Hamiltonian simplifies to19

$${H}^{(j,j^{\prime} )}={J}^{(j,j^{\prime} )}{\overrightarrow{\sigma }}^{(j)}\cdot {\overrightarrow{\sigma }}^{(j^{\prime} )}.$$
(15)

This Heisenberg model is known to have SU(2) symmetry and so to conserve each global spin component \({\sigma }_{\alpha }^{{{{\rm{tot}}}}}:=\mathop{\sum }\nolimits_{j = 1}^{N}{\sigma }_{\alpha }^{(j)}\). But the Hamiltonian is typically written in the dot-product form (15), as

$${H}^{(j,j^{\prime} )}\propto \mathop{\sum}\limits_{\alpha =x,y,z}{\sigma }_{\alpha }^{(j)}{\sigma }_{\alpha }^{(j^{\prime} )}.$$
(16)

or in the z-biased form \({H}^{(j,j^{\prime} )}\propto 2({\sigma }_{+z}^{(j)}{\sigma }_{-z}^{(j^{\prime} )}+{\sigma }_{-z}^{(j)}{\sigma }_{+z}^{(j^{\prime} )})+{\sigma }_{z}^{(j)}{\sigma }_{z}^{(j^{\prime} )}\). None of these three forms reveals that the Heisenberg model transports noncommuting charges between subsystems. Our expression (13) and our prescription do. In relativistic field theories, making the action manifestly Lorentz-invariant is worthwhile; analogously, making the Hamiltonian manifestly transport noncommuting charges locally, while conserving them globally, is worthwhile. Furthermore, our prescription constructs Hamiltonians that overtly transport noncommuting charges locally and conserve the charges globally not only in this simple \({\mathfrak{su}}(2)\) example, but also for all finite-dimensional semisimple complex Lie algebras on which the Killing form induces a metric—including algebras for which this prescription does not produce the Heisenberg Hamiltonian. Supplementary Note 3 discusses a generalization of the simple form (15).

We have constructed a two-body interaction \({H}^{(j,j^{\prime} )}\) that couples subsystems j and \(j^{\prime}\). We construct k-body terms \({H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(k)}\right)}\) by multiplying two-body terms (12) together, constraining the couplings such that \([{H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(k)}\right)},{Q}_{\alpha }^{{{{\rm{tot}}}}}]=0\), and subtracting off any fewer-body terms that appear in the product. Section II C details the formalism. In the \({\mathfrak{su}}(2)\) example, a three-body interaction has the form (see Supplementary Note 2)

$${H}^{(j,j^{\prime} ,j^{\prime\prime} )}\propto {H}^{(j,j^{\prime} )}{H}^{(j^{\prime} ,j^{\prime\prime} )}{H}^{(j^{\prime\prime} ,j)}$$
(17)
$$\begin{array}{ll}&\propto {J}^{(j,j^{\prime} ,j^{\prime\prime} )}\left[({\sigma }_{x}{\sigma }_{y}{\sigma }_{z}+{\sigma }_{y}{\sigma }_{z}{\sigma }_{x}+{\sigma }_{z}{\sigma }_{x}{\sigma }_{y})\right.\\ &\left.-({\sigma }_{z}{\sigma }_{y}{\sigma }_{x}+{\sigma }_{x}{\sigma }_{z}{\sigma }_{y}+{\sigma }_{y}{\sigma }_{x}{\sigma }_{z})\right].\end{array}$$
(18)

wherein \({J}^{(j,j^{\prime} ,j^{\prime\prime} )}\in {\mathbb{R}}\).

The Hamiltonian we constructed may be integrable. For example, the one-dimensional (1D) nearest-neighbor Heisenberg model is integrable62. Integrable Hamiltonians have featured in studies of noncommuting charges in thermodynamics21. But one might wish for the system to thermalize as much as possible, as is promoted by nonintegrability37,63. Geometrically nonlocal couplings, many-body interactions, and multidimensional lattices tend to break integrability. Hence one can add terms \({H}^{(j,j^{\prime} )}\) and \({H}^{(j,j^{\prime} ,\ldots ,{j}^{(k)})}\) to the global Hamiltonian Htot, and keep growing the lattice’s dimensionality, until Htot becomes nonintegrable. Nonintegrability may be diagnosed with, e.g., energy-gap statistics37. In the \({\mathfrak{su}}(2)\) example, one can break integrability by creating next-nearest-neighbor couplings or by making the global system two-dimensional19.

Prescription for constructing the Hamiltonians

Here, we synopsize the prescription elaborated on in the section ‘Pedagogical explanation’. Then, we present two results pertinent to the prescription. We construct, as follows, Hamiltonians that transport noncommuting charges locally and conserve the charges globally:

  1. 1.

    Identify an arbitrary Cartan-Weyl basis for the algebra, \({{{\mathcal{A}}}}\).

  2. 2.

    The Cartan-Weyl basis contains r Hermitian operators that commute with each other. Scale each such operator such that it has a unit Hilbert-Schmidt norm [Eq. (5)]. Label the results Qα=1,2, …, r. Include them in the preferred basis for the algebra.

  3. 3.

    The other Cartan-Weyl-basis elements are ladder operators that form raising-and-lowering pairs: L±β, for β = 1, 2, …c − r. From each pair, form one term in the two-body interaction, \({H}^{(j,j^{\prime} )}\) [Eq. (6)].

  4. 4.

    Write out the form of the most general element \(U\in {{{\mathcal{G}}}}\) of the Lie group \({{{\mathcal{G}}}}\) generated by \({{{\mathcal{A}}}}\). Conjugate each charge Qα and each ladder operator L±β with U [Eq. (7)]. The new charges and new ladder operators, together, form another Cartan–Weyl basis.

  5. 5.

    Constrain U such that every new charge Qα is Killing-orthogonal to (i) each other new charge and (ii) each charge already in the basis [Eq. (9)].

  6. 6.

    Include each new Qα in the basis for \({{{\mathcal{A}}}}\).

  7. 7.

    From each new pair L±β of ladder operators, form a term in the two-body interaction \({H}^{(j,j^{\prime} )}\) [Eq. (10)].

  8. 8.

    Repeat steps 4-7 until having identified c/r Cartan-Weyl bases, wherein c denotes the algebra’s dimension. Each Cartan-Weyl basis contributes r elements Qα to the preferred basis for \({{{\mathcal{A}}}}\). The basis is complete, containing \(r\cdot \frac{c}{r}=c\) elements.

  9. 9.

    Constrain the two-body interaction to conserve each global charge [Eq. (14)], for all α = 1, 2, …, c. Solve for the frequencies \({J}_{\beta }^{(j,j^{\prime} )}\) that satisfy this constraint.

  10. 10.

    If a k-body interaction is desired, for any k > 2: Perform the following substeps for  = 3, 4, …, k: Multiply together unconstrained two-body interactions (12) cyclically:

    $${H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(\ell )}\right)}={H}^{(j,j^{\prime} )}{H}^{(j^{\prime} ,j^{\prime\prime} )}\ldots {H}^{\left({j}^{(\ell -1)},{j}^{(\ell )}\right)} \times {H}^{({j}^{(\ell )},j)}.$$
    (19)

    Constrain the couplings so that \([{H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(\ell )}\right)},{Q}_{\alpha }^{{{{\rm{tot}}}}}]=0\) for all α. If \({H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(\ell )}\right)}\) contains fewer-body terms that conserve all the \({Q}_{\alpha }^{{{{\rm{tot}}}}}\), subtract those terms off.

  11. 11.

    Sum the accumulated interactions \({H}^{\left(j,j^{\prime} ,\ldots ,{j}^{(k)}\right)}\) over the subsystems \(j,j^{\prime} ,\ldots\) to form Htot.

  12. 12.

    If Htot is to be nonintegrable, add longer-range interactions and/or large-kk-body interactions until breaking integrability, as signaled by, e.g., energy-gap statistics.

Having synopsized our prescription, we present two properties of it. The first property ensures that the prescription runs for an integer number of iterations (step 8).

Proposition 1

Consider any finite-dimensional semisimple complex Lie algebra. The algebra’s dimension, c, and rank, r, form an integer ratio: \(c/r\in {{\mathbb{Z}}}_{ \,{ > }\,0}\).

We prove this proposition in the Supplementary Note 4. The second property characterizes the prescription’s output.

Theorem 1

The charges Q1, Q2, …, Qc produced by the prescription form a basis for the algebra \({{{\mathcal{A}}}}\).

Proof

The charges are Killing-orthogonal by construction: (Qα, Qβ) = 0 for all α, β. The Killing form induces a metric on \({{{\mathcal{A}}}}\) by assumption. Therefore, the Qα are linearly independent according to this metric.

The prescription produces c charges (step 8). c denotes the algebra’s dimension, the number of elements in each basis for \({{{\mathcal{A}}}}\). Hence every linearly independent set of c\({{{\mathcal{A}}}}\) elements forms a basis for \({{{\mathcal{A}}}}\). Hence the Qα form a basis.

\(\boldsymbol{\mathfrak{su}}(\mathbf{3})\) example

Section II B illustrated the Hamiltonian-construction prescription with the algebra \({\mathfrak{su}}(2)\). The \({\mathfrak{su}}(2)\) example offered simplicity but lacks other algebras’ richness: In other algebras, each Cartan–Weyl basis contains multiple Hermitian operators and multiple ladder-operator pairs. We demonstrate how our prescription accommodates this richness, by constructing a two-body Hamiltonian that transports \({\mathfrak{su}}(3)\) elements locally while conserving them globally. Such Hamiltonians may be engineered for superconducting qutrits, as sketched in Discussion. However, this \({\mathfrak{su}}(3)\) example only illustrates our more general prescription, which works for all finite-dimensional semisimple complex Lie algebras on which the Killing form induces a metric.

Each basis for \({\mathfrak{su}}(3)\) contains c = 8 elements. The most famous basis consists of the Gell-mann matrices, λk=1,2, …, 864. The λk generalize the Pauli matrices in certain ways, being traceless and Killing-orthogonal. From the Gell-mann matrices is constructed the conventional Cartan-Weyl basis65, reviewed in the Supplementary Note 5. The r = 2 Hermitian elements are Gell-mann matrices:

$${Q}_{1}={\lambda }_{3},\quad \,{{\mbox{and}}}\,\quad {Q}_{2}={\lambda }_{8}.$$
(20)

Q1 and Q2 belong in the preferred basis of charges for \({\mathfrak{su}}(3)\). For pedagogical clarity, we will identify all the charges before addressing the ladder operators.

A general element U SU(3) contains eight real parameters. In the Euler parameterization66,

$$\begin{array}{ll}U={e}^{i{\lambda }_{3}{\phi }_{1}/2}{e}^{i{\lambda }_{2}{\phi }_{2}/2}{e}^{i{\lambda }_{3}{\phi }_{3}/2}{e}^{i{\lambda }_{5}{\phi }_{4}/2}\\ \qquad\times\, {e}^{i{\lambda }_{3}{\phi }_{5}/2}{e}^{i{\lambda }_{2}{\phi }_{6}/2}{e}^{i{\lambda }_{3}{\phi }_{7}/2}{e}^{i{\lambda }_{8}{\phi }_{8}/2}\ .\end{array}$$
(21)

The parameters ϕ1, ϕ3, ϕ5, ϕ7 [0, 2π); ϕ2, ϕ4, ϕ6 [0, π]; and \({\phi }_{8}\in [0,2\sqrt{3}\pi )\). We now constrain U, identifying the instances Ui that map the first charges to \({Q}_{3}={U}_{{{{\rm{i}}}}}^{{\dagger} }{Q}_{1}{U}_{{{{\rm{i}}}}}\) and \({Q}_{4}={U}_{{{{\rm{ii}}}}}^{{\dagger} }{Q}_{2}{U}_{{{{\rm{ii}}}}}\) that are Killing-orthogonal to each other and to the original charges. Supplementary Note 5 contains the details. We label with a superscript (i) the parameters used to fix Ui: \({\phi }_{1}^{({{{\rm{i}}}})}\), \({\phi }_{3}^{({{{\rm{i}}}})}\), \({\phi }_{7}^{({{{\rm{i}}}})}\), \({\phi }_{8}^{({{{\rm{i}}}})}\), and n(i). For convenience, we package several parameters together: \({a}^{({{{\rm{i}}}})}:=\frac{1}{2}\left({\phi }_{3}^{({{{\rm{i}}}})}-{\phi }_{7}^{({{{\rm{i}}}})}-\sqrt{3}{\phi }_{8}^{({{{\rm{i}}}})}+\pi {n}^{({{{\rm{i}}}})}+\frac{\pi }{2}\right)\), and \({b}^{({{{\rm{i}}}})}:={a}^{({{{\rm{i}}}})}+{\phi }_{7}^{({{{\rm{i}}}})}\). In terms of these parameters, the new charges have the forms (see Supplementary Note 5)

$$\begin{array}{ll}{Q}_{3}=\frac{1}{\sqrt{3}}\left[{(-1)}^{{n}^{({{{\rm{i}}}})}+1}\sin ({a}^{({{{\rm{i}}}})}-{b}^{({{{\rm{i}}}})}){\lambda }_{1}\right.\\ \qquad\quad-\,{(-1)}^{{n}^{({{{\rm{i}}}})}}\cos ({a}^{({{{\rm{i}}}})}-{b}^{({{{\rm{i}}}})}){\lambda }_{2}-\sin ({a}^{({{{\rm{i}}}})}){\lambda }_{4}\\ \qquad\quad\left.-\,\cos ({a}^{({{{\rm{i}}}})}){\lambda }_{5}+\sin ({b}^{({{{\rm{i}}}})}){\lambda }_{6}+\cos ({b}^{({{{\rm{i}}}})}){\lambda }_{7}\right]\ \ \,{{\mbox{and}}}\,\end{array}$$
(22)
$$\begin{array}{ll}{Q}_{4}=\frac{{(-1)}^{{n}^{({{{\rm{i}}}})}}}{\sqrt{3}}\left[{(-1)}^{{n}^{({{{\rm{i}}}})}+1}\cos ({a}^{({{{\rm{i}}}})}-{b}^{({{{\rm{i}}}})}){\lambda }_{1}\right.\\ \qquad\quad+\,{(-1)}^{{n}^{({{{\rm{i}}}})}}\sin ({a}^{({{{\rm{i}}}})}-{b}^{({{{\rm{i}}}})}){\lambda }_{2}+\cos ({a}^{({{{\rm{i}}}})}){\lambda }_{4}\\ \qquad\quad\left.-\,\sin ({a}^{({{{\rm{i}}}})}){\lambda }_{5}+\cos ({b}^{({{{\rm{i}}}})}){\lambda }_{6}-\sin ({b}^{({{{\rm{i}}}})}){\lambda }_{7}\right].\end{array}$$
(23)

Q3 has the same form as Q5 and Q7, which satisfy the same Killing-orthogonality conditions. Similarly, Q4 has the same form as Q6 and Q8. The later charges’ parameters a() and b() are more restricted, however (see Supplementary Note 5). We have identified our preferred basis of charges.

Let us construct the ladder operators and Hamiltonian. Each Cartan–Weyl basis contains c − r = 8 − 2 = 6 ladder operators. The conventional Cartan–Weyl basis contains ladder operators formed from Gell-man matrices:

$$\begin{array}{ll}&{L}_{\pm 1}:=\frac{1}{2}({\lambda }_{1}\pm i{\lambda }_{2}),\quad {L}_{\pm 2}:=\frac{1}{2}({\lambda }_{4}\pm i{\lambda }_{5}),\\ &\,{{\mbox{and}}}\,\ \ {L}_{\pm 3}:=\frac{1}{2}({\lambda }_{6}\pm i{\lambda }_{7}).\end{array}$$
(24)

Transforming these operators with unitaries Uii,iii,iv yields L±4 through L±12, whose forms appear in the Supplementary Note 5. From each ladder operator, we form one term in the two-body Hamiltonian (6).

Finally, we determine the hopping frequencies \({J}_{\alpha }^{(j,j^{\prime} )}\), demanding that \([{H}^{(j,j^{\prime} )},{Q}_{\alpha }^{{{{\rm{tot}}}}}]=0\) for all α. For all possible values of the a(), b(), and n(), if all the frequencies are nonzero, then all the frequencies equal each other. We set \({J}_{\alpha }^{(j,j^{\prime} )}\equiv \frac{4}{3}\ {J}^{(j,j^{\prime} )}\), such that

$${H}^{(j,j^{\prime} )}={J}^{(j,j^{\prime} )}\mathop{\sum }\limits_{\alpha =1}^{8}{\lambda }_{\alpha }^{(j)}{\lambda }_{\alpha }^{(j^{\prime} )}\propto \mathop{\sum }\limits_{\alpha =1}^{8}{Q}_{\alpha }^{(j)}{Q}_{\alpha }^{(j^{\prime} )}.$$
(25)

The Hamiltonian collapses to a simple form analogous to the \({\mathfrak{su}}(2)\) example’s Eq. (16) (see Supplementary Note 3).

Discussion

We have presented a prescription for constructing Hamiltonians that transport noncommuting charges locally while conserving the charges globally. The Hamiltonians can couple arbitrarily many subsystems together and can be integrable or nonintegrable. The prescription produces, as well as Hamiltonians, preferred bases of charges that are (i) overtly transported locally and conserved globally and (ii) Killing-form-orthogonal. This construction works whenever the charges form a finite-dimensional semisimple complex Lie algebra on which the Killing form induces a metric. Whether there exists any Hamiltonians that transport charges locally, while conserving the charges globally, outside of those found by our prescription, is an interesting open question for theoretical exploration.

This work provides a systematic means of bridging noncommuting thermodynamic charges from abstract quantum information theory to condensed matter, AMO physics, and high-energy and nuclear physics. The mathematical results that have accrued3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25 can now be tested experimentally, via our construction. This paper’s introduction highlights example results in that merit testing. Such experiments’ benefits include the simulation of quantum systems larger than what classical computers can simulate, the uncovering of behaviors not predicted by theory, and the grounding of abstract QIT thermodynamics in physical reality.

In addition to harnessing controlled platforms to study noncommuting charges’ quantum thermodynamics, one may leverage that quantum thermodynamics to illuminate high-energy and nuclear physics. Such physics includes non-Abelian gauge theories, such as quantum chromodynamics. How to define and measure such theories’ thermalization is unclear67. One might gain insights by using our dynamics as a bridge from quantum thermodynamics to non-Abelian field theories.

As mentioned above, the Heisenberg model (13) can be implemented with ultracold atoms and trapped ions68,69,70,71,72,73. Reference19 details how to harness these setups to study noncommuting thermodynamic charges. We introduce a more complex example here: We illustrate, with superconducting qubits, how today’s experimental platforms can implement the \({\mathfrak{su}}(3)\) instance of our general prescription.

Superconducting circuits can serve as qudits with Hilbert-space dimensionalities d ≥ 274. Qutrits have been realized with transmons, slightly anharmonic oscillators75. The lowest two energy levels often serve as a qubit, but the second energy gap nearly equals the first. Hence the third level can be addressed relatively easily76. Superconducting qutrits offer a tabletop platform for transporting and conserving \({\mathfrak{su}}(3)\) charges as in the section ‘su(3) example’.

Experiments with ≤5 qutrits have been run77,78, Furthermore, many of the tools used to control and measure superconducting qubits can be applied to qutrits76,79,80,81,82,83,84,85,86,87,88. A noncommuting-charges-in-thermodynamics experiment may begin with preparing the qutrits in an approximate microcanonical subspace, a generalization of the microcanonical subspace that accommodates noncommuting charges14. Such a state preparation may be achieved with weak measurements19, which have been performed on superconducting qudits through cavity quantum electrodynamics89.

\({T}_{2}^{* }\) relaxation times of ~39 μs, for the lowest energy gap, and ~14 μs, for the second-lowest gap, have been achieved78. Meanwhile, two-qutrit gates can be realized in ~10 − 102 ns78,90,91. Some constant number of such gates may implement one three-level gate that simulates a term in our Hamiltonian. If the number is order-10, information should be able to traverse an 8-qutrit system ~10 times before the qutrits decohere detrimentally. According to numerics in Yunger et al.14, a small subsystem nears thermalization once information has had time to traverse the global system a number of times linear in N. Therefore, realizations of our Hamiltonians are expected to thermalize the system internally. The states of small subsystems, such as qutrit pairs, can be read out via quantum state tomography76,79,80,81,82. Hence superconducting qutrits, and other platforms, can import noncommuting charges from quantum thermodynamics to many-body physics, by simulating the Hamiltonians constructed here.