Avoiding Exponentially Large Groups with Open Quantum System Technology

arXiv:2610.01932 · quant-ph, math-ph, math.MP · Submitted 2026-10-01 · Read on arXiv

Listen

Radio episode about this paper

Transcript

Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.

Kai: Today's paper: "Avoiding Exponentially Large Groups with Open Quantum System Technology".

Mira: The gist One interaction Hamiltonian suffices! In our most economical construction, a single Hamiltonian, together with repeated preparation and trace-out of a one-qubit environment,

Kai: First, who's behind it and why it matters.

Paper summary: Kai: So, wrapping up this discussion on "Avoiding Exponentially Large Groups with Open Quantum System Technology," the main point is that they found a way to achieve state preparation using just a single Hamiltonian combined with repeated use of an environment >

Mira: They showed that if you find two Hamiltonians that together are bracket generating, you can act transitively on the entire state space >

Lev: From what I see on the paper, the implication is that even for larger spin groups they discuss later, like those in section four a variational quantum eigensolver could potentially avoid barren plateaus in favorable cases because of how the energy expectation formula behaves > <ref:2610.01932#pg1>

Kai: It sounds like this research is really pushing us to identify these small Lie algebras derived from local Pauli strings when we're looking at resource sets for interacting Hamiltonians >

Mira: The authors are inviting people to look at the concrete examples they give, like amplitude damping, as a way to start identifying what kind of small groups you can actually use with real hardware >

Conclusion: Kai: So we've been looking at this paper, "Avoiding Exponentially Large Groups with Open Quantum System Technology." What's the core message here?

Mira: The main point is that you can actually prepare any quantum state using just one Hamiltonian if you open it up to an environment >

Lev: From a practical standpoint, that sounds like it cuts down the complexity of what we need to build on a real machine.

Kai: Exactly, Lev. They're saying instead of needing these massive groups we talked about before, you can use partial tracing and environment interactions repeatedly to get the state you want >

Mira: It shifts the focus from finding some impossibly large symmetry group to just finding one single interaction Hamiltonian that works with open systems >

Lev: But what does that actually mean for running an experiment? Are we talking about simpler circuit designs or something more complex in terms of noise management?

Kai: It suggests that the real power isn't just in the initial Hamiltonian, but how you leverage those environment interactions to make it work on a scale where it’s feasible >

Mira: They also show this works for channels—meaning one Hamiltonian can generate any channel you need, which is a big deal for controlling noise >

Lev: So the caveat I see is that they establish these approximations and lower bounds on how long those preparations take, which tells us what's still too expensive or slow >

Kai: Right. It’s not magic; it’s about finding the right small Lie group derived from local Pauli strings for a given resource set of interactions >

Mira: And that means we need to start thinking about those specific Pauli strings and how they map onto the physical system we're trying to control >

Lev: That leads us right into how these approximations translate into actual error correction protocols, which is what we’ll look at next on the show.

JIHONG CAI, ADVITH GOVINDARAJAN, MARIUS JUNGE

quant-ph, math-ph, math.MP

Submitted: 2026-10-01

Updated: 2026-10-01

License: http://creativecommons.org/licenses/by/4.0/

Importance score: 92/100

The gist: The gist One interaction Hamiltonian suffices! In our most economical construction, a single Hamiltonian, together with repeated preparation and trace-out of a one-qubit environment, is enough to

Key concepts

Open Quantum Systems
This framework models quantum systems interacting with an environment, allowing for the use of partial trace and state preparation in the environment. It's a powerful tool to approximate complex unitary operations using simpler, local interactions.
State Magic Condition
A Hamiltonian is considered 'magic' if its associated Lie algebra structure allows it to generate a specific set of transformations on quantum states. The paper defines this condition mathematically to link the Hamiltonian directly to achieving state transitivity.
Channel Universality
This concept means that a single interaction (Hamiltonian) can generate every possible quantum channel between input and output states. This is achieved by showing that any channel can be represented using a specific structure derived from the Hamiltonian's group.
Lie Group Approximation
The method identifies a small Lie group G within a larger system to approximate state preparation. This allows researchers to use the properties of this smaller, manageable group to achieve universal operations on the space of densities.

Terminology

Summary

The gist One interaction Hamiltonian suffices! In our most economical construction, a single Hamiltonian, together with repeated preparation and trace-out of a one-qubit environment, is enough to obtain universal state preparation.

Approximation via Open Quantum Systems

The paper proposes a novel approach to state preparation by embracing the full power of open quantum systems by identifying a small Lie group G in (n + 3) qubits, where every state can be approximated starting from any fixed input state by repeatedly using partial trace and state preparation in the environment alongside group operations <ref:2610.01932#pg6>. This method allows for the identification of a single (open system magic) interaction Hamiltonian whose unitary group can be combined with open system quantum technology to achieve transitivity on the space of all densities <ref:2610.01932#pg8>. Moreover, all channels on n qubits can be approximated by using a larger environment, achieving channel universality <ref:2610.01932#pg9>. The interesting small groups identified are derived from Lie algebras of local Pauli strings and lead to a new landscape of cheap and expensive states, densities, and channels <ref:2610.01932#pg9>.

State Magic Conditions

The paper investigates conditions for state magic by defining a Hamiltonian H as magic if lieR(iS ∪ iH) = su(A) for a resource set S <ref:2610.01932#pg6>. The key idea is to replace the T-gates and magic Hamiltonian by open quantum system technology <ref:2610.01932#pg7>. A general transitivity criterion is established where U(A) = UCV (G), and e tLa⊗1⊗…⊗1 ∈ CV (G) with [a, a∗] ≠ 0 already implies that CV (G) is state-transitive <ref:2610.01932#pg8>. Sufficient conditions for state transitivity include su(A) ⊆ i HamCV (G) and La1 ∈ LinCV (G) where a1 = a ⊗ I ⊗(n−1), with a ∈ M2(C) an arbitrary non-normal operator <ref:2610.01932#pg10>.

Magic Hamiltonian Construction

The paper constructs two main constructions: a polynomial-dimensional Lie group generated by local Pauli strings and a single open-system magic Hamiltonian <ref:2610.01932#pg6>. The latter is defined as H state magic if CV (G˜) is state transitive, where G˜ = G(S ∪ H) <ref:2610.01932#pg6>. The theorem establishing the equivalence between a Hamiltonian lift of a jump operator and its block-matrix form provides conditions for H to be in LinCV (G). A quintessential example of a state magic Hamiltonian is given by Example 3.10 (Amplitude damping), where H = 1/2(YE ⊗ XA − XE ⊗ YA) or H = 1/2(XE ⊗ XA + YE ⊗ YA).

Cost and Complexity Analysis

The paper establishes lower bounds for the approximation length Lε(ρG, V) to show that certain states or densities may be considered expensive in this new model. For density preparation, a lower bound for the length is c(ε) 2 2n/n 3(1+ln n) for model 2) and c(ε) 2 n/n 3(1+ln n) for the single magic Hamiltonian h. The covering number N(G, ε) is bounded by (1 + aε) d, and the approximation length Lchε(G, V, W) is bounded by min c(ε) 2 4n/dn ln(1 + a), 2 4n/6 ln V.

Channel Universality

The framework is extended to channel magic, where a single Hamiltonian H can generate a channel class which contains all channels D(A) → D(A). Theorem 7.4 proves that if g(α, β) = su(F A), then any channel Φ: D(A) → D(A) can be written as Φ(ρ) = trF (Ψ(0⟩F ⟨0F ⊗ ρ)), Ψ ∈ CF A V (GH). This implies that one Hamiltonian suffices to generate all channels on A.

Conclusion

The paper concludes that with just a single Hamiltonian we can act transitively on the entire state space, if we find two Hamiltonians which together are bracket generating. The results show few state preparation in the environment can make a huge difference. The concrete examples presented in this paper should be viewed as an invitation to identify small Lie algebras for given resource of interacting Hamiltonian. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25]. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25] >. Even for the larger Spin groups from section 4, the variational quantum eigensolver (VQE) could in favorable cases avoid Barren plateaus thanks to the formula E Varθ(v⟩⟨v ⊗ ρ, 1 ⊗ O) = Pg(v⟩⟨v ⊗ ρ), Pg(1 ⊗ O) dim(g) in [DGMK+23, LTW+25]

Improvements for AI systems

  1. Improved state preparation via single Hamiltonian control: The system can achieve universal state preparation using only a single Hamiltonian H, together with repeated preparation and trace-out of a one-qubit environment.

  2. Channel universality synthesis: The AI system can approximate every channel on n qubits by utilizing a structure where the operations are generated by the group derived from a small resource set and an interaction Hamiltonian, achieving channel universality.

  3. Variational quantum eigensolver (VQE) optimization: The VQE algorithm can be adapted to use a one-parameter set of Hamiltonians, which is suitable for optimizing under the Bohr measure instead of the Haar measure, potentially avoiding Barren plateaus.

Abstract

We propose a novel approach to state preparation by embracing the full power of open quantum systems. Instead of working with the whole unitary group in n qubits, we identify a small Lie group G in (n+3) qubits. The dimension of its Lie algebra is poly(n). Every state can be approximated starting from any fixed input state by repeatedly using partial trace and state preparation in the environment alongside group operations. Moreover, we also identify a single (open system magic) interaction Hamiltonian whose unitary group can be combined with open system quantum technology mentioned above to achieve transitivity on the space of all densities. Similarly, we show that all channels on n qubits can be approximated by using a larger environment, achieving channel universality. The interesting small groups we identify are derived from Lie algebras of local Pauli strings and lead to a new landscape of cheap and expensive states, densities, and channels.

Related papers