Maximally Mixed Invariant State (MMIS)

• MMIS is a mixed quantum state defined by projecting onto invariant sectors of many-body Hilbert spaces, offering a canonical description under symmetry constraints.
• It exhibits unique entanglement and correlation features, including exact bipartite measures and area law bounds that distinguish it from generic mixed states.
• The state admits efficient tensor network and MPO approximations, enabling scalable simulations and facilitating its physical realization via symmetric quantum channels and local Hamiltonians.

A maximally mixed invariant state (MMIS) is a mixed quantum state constructed by projecting onto the subspace of a many-body Hilbert space invariant under a specified symmetry group, or, more generally, by projecting onto the ground space or an invariant sector of a local Hamiltonian and normalizing. The MMIS exhibits distinct structural, entropic, and correlation properties compared to generic mixed states, including entanglement, area law bounds, and tensor network approximability. MMISs arise both as unique steady states of symmetric quantum channels and as canonical mixed states in the study of quantum many-body entanglement under symmetry or local Hamiltonian constraints.

1. Definitions and Classes of MMIS

Let $H = \sum_i h_i$ be a local Hamiltonian on $n$ sites (each site of local Hilbert space dimension $d$) with ground space projector $\Pi_{\text{gs}}$ and ground-state degeneracy $r = \dim \mathrm{Eig}(H,0)$. The maximally mixed ground state is

$\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$

$\Omega$ is invariant under $H$ and all $h_i$, satisfying $[H, \Omega]=0$ and $n$0. As $n$1, $n$2 is the zero-temperature limit of the Gibbs state, i.e., $n$3, with $n$4 (Arad et al., 2023).

For a compact symmetry group $n$5 acting onsite, let $n$6 denote $n$7 qudits each carrying a $n$8-dimensional irreducible representation (irrep) $n$9 of $d$0. The total Hilbert space decomposes as $d$1, with $d$2 labelling irreps, $d$3 their dimensions, and $d$4 their multiplicities. Projecting onto the $d$5-invariant (trivial irrep) sector yields (Moharramipour et al., 2024)

$d$6

where $d$7 is the projector onto $d$8. Analogous definitions hold for MMISs invariant under translation (using the projector onto the translation-invariant subspace) (Lessa et al., 14 May 2026).

For two-qubit systems, a density matrix is "locally maximally mixed" (LMM) if each single-qubit reduced density matrix is maximally mixed: $d$9, $\Pi_{\text{gs}}$0 (Candelori et al., 2023). For $\Pi_{\text{gs}}$1-party systems, a $\Pi_{\text{gs}}$2-uniform mixed state is one for which every reduction to any subset of $\Pi_{\text{gs}}$3 parties is maximally mixed (Klobus et al., 2019).

2. Entanglement and Correlation Properties

MMISs depart from the intuition that mixedness equals classicality: under symmetries or as ground space projectors, they can display strong nonclassical and entangled features.

Exact bipartite entanglement in symmetry sectors (group-invariant MMIS): For non-Abelian $\Pi_{\text{gs}}$4, the entanglement of formation ($\Pi_{\text{gs}}$5) and distillation ($\Pi_{\text{gs}}$6) of $\Pi_{\text{gs}}$7 are exactly computable and coincide for any bipartition. For region $\Pi_{\text{gs}}$8 versus $\Pi_{\text{gs}}$9,

$r = \dim \mathrm{Eig}(H,0)$0

where $r = \dim \mathrm{Eig}(H,0)$1 is proportional to $r = \dim \mathrm{Eig}(H,0)$2, the multiplicities of $r = \dim \mathrm{Eig}(H,0)$3 and its conjugate $r = \dim \mathrm{Eig}(H,0)$4 in $r = \dim \mathrm{Eig}(H,0)$5 and $r = \dim \mathrm{Eig}(H,0)$6 (Moharramipour et al., 2024). For Abelian $r = \dim \mathrm{Eig}(H,0)$7 (all $r = \dim \mathrm{Eig}(H,0)$8), MMIS is separable; for non-Abelian $r = \dim \mathrm{Eig}(H,0)$9, it is entangled. For compact semisimple Lie groups, $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$0 for a bipartition $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$1 (Moharramipour et al., 2024).

Long-range entanglement from dimensional constraints (translation-invariant MMIS): For the translation-invariant MMIS $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$2 on a 1D ring,

• The dimension of the translation-invariant subspace grows as $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$3.
• SRE (short-range entangled) decompositions can only span $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$4 states, so $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$5 cannot be expressed as a convex combination of SRE pure states.
• The conditional mutual information $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$6 scales as $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$7 in the $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$8 limit for partitions $\Omega \equiv \frac{\Pi_{\text{gs}}}{r}.$9 with $\Omega$0 (Lessa et al., 14 May 2026).
• Rényi-$\Omega$1 operator-space entanglement satisfies $\Omega$2, while $\Omega$3 scales with the volume of the region.

Local indistinguishability: For fixed $\Omega$4, any $\Omega$5-site reduced density matrix of $\Omega$6 converges to the local maximally mixed state in the $\Omega$7 limit (errors $\Omega$8 for Lie groups), despite global long-range entanglement (Moharramipour et al., 2024).

Higher-order k-uniform MMIS and nonclassicality: A $\Omega$9-uniform mixed state has all $H$0-party marginals maximally mixed, generating multipartite entanglement and, for $H$1, vanishing all lower-order correlation tensors. Optimal constructions via commuting Pauli generators or orthogonal arrays can achieve the maximal known purity for given $H$2; these states display genuine multipartite entanglement and Bell inequality violation (Klobus et al., 2019).

Summary of correlation and entanglement scaling:

MMIS Class	Entanglement Scaling	Local Reductions	Operator-Space Entropy
Symmetry sector	$H$3 [non-Abelian]	Maximally mixed for $H$4	$H$5 volume, $H$6
Translation MMIS	$H$7	Maximally mixed for $H$8	$H$9
$h_i$0-uniform MMIS	See (Klobus et al., 2019), maximal GME	All $h_i$1-party marginals maximally mixed	-

3. Area Laws and Bounds on Mutual Information

In gapped 1D local Hamiltonians ($h_i$2, constant spectral gap $h_i$3), for MMIS $h_i$4:

• For contiguous $h_i$5 and $h_i$6, the $h_i$7-smoothed max-mutual information obeys

$h_i$8

• The ordinary mutual information satisfies

$h_i$9

These bounds are independent of the ground state degeneracy and rely on the construction of a "good" approximate ground-state projector (AGSP), i.e., an operator $[H, \Omega]=0$0 with controlled growth of Schmidt rank and decay outside the ground space (Arad et al., 2023).

For 2D frustration-free, locally gapped Hamiltonians, with good AGSPs whose Schmidt rank grows as $[H, \Omega]=0$1, one obtains

$[H, \Omega]=0$2

thus demonstrating a polylogarithmic correction to a strict area law (Arad et al., 2023).

4. Tensor Network and MPO Approximations

For any fixed $[H, \Omega]=0$3, there exists a Hermitian Matrix Product Operator (MPO) $[H, \Omega]=0$4 with bond dimension $[H, \Omega]=0$5 such that

$[H, \Omega]=0$6

and $[H, \Omega]=0$7 approximates $[H, \Omega]=0$8, the dimension of the ground space, to small relative error. The construction uses an AGSP written as a low-degree polynomial filter (Chebyshev-type) in $[H, \Omega]=0$9, implemented as an MPO with bond dimension $n$00 (Arad et al., 2023). For 1D gapped Hamiltonians, this guarantees a tensor network description of the MMIS scalable to large sizes and arbitrary trace-norm accuracy.

5. Invariant Theory and Classification in Low-Dimensional Cases

For two-qubit "locally maximally mixed" states, the complete set of rational local unitary invariants is given by the three elementary polynomial invariants:

• $n$01
• $n$02
• $n$03

Here $n$04 is the $n$05 real correlation matrix in the Bloch representation. The field of invariants is purely transcendental $n$06, and the geometric quotient under LU is $n$07 (Candelori et al., 2023). Orbit classification is thereby reduced to computing this triple, with explicit correspondence for families such as Werner states and Bell-state mixtures.

6. Mixed-State Phase Signatures and Spontaneous Symmetry Breaking

MMISs in symmetry-protected or symmetry-enforced sectors can exhibit "strong-to-weak" spontaneous symmetry breaking (SW-SSB), in which the ensemble of pure-state components displays broken "strong" product symmetry (e.g., $n$08 for translations) but only the "weak" diagonal is preserved in the whole MMIS. Nonlinear correlators such as variance-normalized Rényi-2 order parameters remain $n$09 at large size, reflecting global order invisible to local probes. Meanwhile, all linear correlators vanish exponentially or algebraically, confirming the absence of conventional long-range order (Lessa et al., 14 May 2026, Moharramipour et al., 2024).

7. Preparation and Physical Realization

MMISs naturally arise as unique steady states of strongly symmetric quantum channels. For instance, the translation-invariant MMIS on a ring is stabilized by a Lindblad master equation employing a collective jump operator that commutes with translations; numerically, relaxation to the MMIS occurs at an exponential rate (Lessa et al., 14 May 2026). In the context of Hamiltonian ground spaces, cold-atom or trapped-ion platforms with configurable local terms and global symmetries offer routes to physical preparation of such states.

---

MMISs unify and generalize several strands in the quantum many-body literature: as ground space projectors, group-invariant mixed states, translation-invariant maximally mixed states, and $n$10-uniform mixed states, they allow precise entanglement calculation, admit efficient tensor network representation, and display robust forms of long-range entanglement and mixed-state ordering determined by underlying symmetries and dimension constraints (Arad et al., 2023, Moharramipour et al., 2024, Lessa et al., 14 May 2026, Candelori et al., 2023, Klobus et al., 2019).