⚛️ quantum physics

The most entangled states of four and seven qubits

This paper proves that pure states of four and seven qubits cannot be maximally entangled across all balanced bipartitions, instead determining the specific states that maximize average entanglement (or minimize average purity) and establishing sharp bounds for various entropy measures using a combination of analytic and computer-assisted methods.

Original author: Antony Lewis

Published 2026-11-05

📖 6 min read🧠 Deep dive

CC BY 4.0

Original author: Antony Lewis

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the author. For technical accuracy, refer to the original paper. Read full disclaimer

In the quantum world, particles can become linked in a way that defies our everyday experience, a phenomenon known as entanglement. When two particles are entangled, the state of one instantly influences the other, no matter how far apart they are. Scientists often ask how much of this connection can be shared among many particles at once. Imagine trying to distribute a limited resource, like a single rope, among several pairs of people; if you tie the rope tightly between one pair, it cannot be equally tight between another. In quantum physics, this is a fundamental rule: a state of particles cannot be maximally entangled across every possible way of dividing the group. This limitation creates a trade-off. Researchers have long sought the "perfect" state, one that is as entangled as possible across all divisions simultaneously, but such a state does not exist for certain numbers of particles.

For a long time, the specific limits of this trade-off for groups of four and seven particles remained a mystery. While scientists knew that a perfect state was impossible for these sizes, they did not know exactly how entangled the particles could get on average. This question is not just a theoretical puzzle; it touches on the very nature of information and how we might one day build quantum computers that are immune to errors. The ability to create states with the highest possible average entanglement is crucial for designing robust quantum codes. A new study has finally solved this problem, determining the precise maximum amount of entanglement possible for four and seven particles and identifying the unique configurations that achieve these limits.

The researchers focused on two specific group sizes: four particles and seven. For the group of four, they tackled a question that had been open for years: what is the highest average entanglement possible when splitting the group into two pairs? They proved that the best possible average is a specific value, roughly 1.79 units of entanglement. This maximum is achieved by a very specific arrangement of the particles, a configuration that had been proposed by earlier scientists but never rigorously confirmed as the absolute best. The study showed that any other arrangement would result in less entanglement on average. Furthermore, they demonstrated that this optimal state is unique; if you find a state that reaches this maximum, it is essentially the same as this specific configuration, just rotated or viewed from a different angle.

The situation becomes more complex with seven particles. Here, the challenge is to divide the group into a set of three and a set of four. There are thirty-five different ways to make this split. The researchers wanted to find the state that minimizes the "purity" of these splits, which is a measure of how mixed or random the information is on one side of the split. A lower purity means higher entanglement. They discovered that the minimum possible average purity is a precise fraction, approximately 0.132. Remarkably, this minimum is achieved by only one unique type of state, which they named the icosahedral state because its mathematical structure mirrors the geometry of a twenty-sided shape. This state is distinct from any previously known quantum states, such as those used in standard error-correcting codes.

However, the story for seven particles has a twist. While the icosahedral state is the best for minimizing purity, it is not the best for maximizing the average entanglement entropy, which is a different but related way of measuring the connection. The researchers found that a slightly different configuration, also belonging to the same family of icosahedral states but with a different internal setting, achieves the highest possible average entropy. This means that for seven particles, the state that is "most entangled" depends entirely on which specific measurement you use. One state wins the purity contest, while a neighbor in the same family wins the entropy contest. This distinction was not obvious before, and it highlights that "most entangled" is not a single, simple concept but depends on the lens through which it is viewed.

To reach these conclusions, the team used a combination of deep mathematical reasoning and powerful computer assistance. They did not simply guess or simulate random states; instead, they constructed rigorous proofs that act like certificates of truth. For the four-particle case, they derived an exact mathematical identity that showed the gap between any state and the maximum, proving that no other state could do better. For the seven-particle case, where the math is far more intricate, they used computer algorithms to verify complex identities involving multiple copies of the quantum state. These checks were performed with exact arithmetic and strict error bounds, ensuring that the results are not just numerical approximations but mathematically certain facts. They also proved that these optimal states are stable, meaning that if you start with a state very close to the maximum, it will remain close to it, a crucial property for any practical application.

The study also explored how these results change when using different types of entanglement measures. They found that for four particles, the best state remains the same for a wide range of measurement types, but there is a specific point where the best state suddenly switches to a different configuration. This switch happens at a precise threshold, revealing a sharp boundary in the landscape of quantum possibilities. The researchers also showed that these findings apply not just to pure quantum states but also to mixed states, which are more common in real-world experiments. By establishing these sharp limits, the work provides a definitive map of the quantum landscape for these system sizes, showing exactly how far entanglement can stretch before it must break.

This work resolves long-standing questions about the fundamental limits of quantum entanglement for small systems. It confirms that while a perfect, universally entangled state is impossible for four and seven particles, there are specific, unique states that come as close as physics allows. The discovery of the icosahedral state for seven particles and the proof of its uniqueness, alongside the identification of the separate entropy maximizer, adds a new layer of complexity to our understanding of quantum mechanics. These results are not merely theoretical curiosities; they define the boundaries within which future quantum technologies must operate, offering a clear target for engineers and scientists striving to build the next generation of quantum devices. The certainty of these findings, backed by both analytic proofs and rigorous computer verification, provides a solid foundation for further exploration into the nature of quantum information.

Technical Summary: The Most Entangled States of Four and Seven Qubits

Problem Statement
The paper addresses the fundamental limitation of multipartite entanglement: a pure quantum state cannot be maximally entangled across every possible balanced bipartition of its qubits. Such states, known as Absolutely Maximally Entangled (AME) states, exist for 2, 3, 5, and 6 qubits but are proven non-existent for 4, 7, and 8 or more qubits. Consequently, for these sizes, one must determine the maximum possible average entanglement across all balanced cuts.

The specific objectives are:

Four Qubits: To resolve the conjecture by Higuchi and Sudbery regarding the maximum mean von Neumann entropy across the three $2|2$ balanced cuts.
Seven Qubits: To determine the sharp lower bound for the mean purity and the sharp upper bound for the mean von Neumann entropy across the 35 balanced $3|4$ cuts.
Generalization: To extend these results to Rényi and Tsallis entropies of various orders and to mixed states via convex roofs.

Methodology
The proofs rely on bounding the moments of the marginal spectra (reduced density matrices) using positivity constraints on multiple copies of the state. The core technique involves constructing "certificates"—identities expressing the gap between a candidate bound and the objective function as a sum of squared norms of linear images of $m$ copies of the state, some of which are spin-flipped ( $\tilde{\psi} = \sigma_y^{\otimes n} \bar{\psi}$ ).

Moment Hierarchies: The author utilizes a hierarchy of constraints based on the number of copies ( $m$ $m$ ) of the state.
- For four qubits, the proof is primarily analytic. It uses a two-copy identity to bound the sum of purities ( $P \ge 1$ ) and a three-copy "sextic identity" to bound the third moments ( $T$ ).
- For seven qubits, the problem is more complex. Two-copy and three-copy bounds are insufficient to reach the sharp minimum purity. The author proves that five copies are required. The proofs for seven qubits are computer-assisted, utilizing exact rational arithmetic and rigorous floating-point error bounds to verify the existence of positive definite coefficient matrices for the five-copy identities.
Majorants: To convert moment bounds into entropy bounds, the author constructs polynomial majorants (specifically cubic for four qubits and degree-five joint majorants for seven qubits) that touch the entropy function at the eigenvalues of the candidate optimal states.
Symmetry and Reconstruction: The equality cases are identified by analyzing the vanishing terms of the certificates. For seven qubits, this leads to a one-parameter family of states defined by icosahedral geometry.

Key Contributions and Results

1. Four Qubits (Higuchi–Sudbery Conjecture)

Theorem: The mean von Neumann entropy of the three $2|2$ cuts for any pure four-qubit state is bounded by $E(\psi) \le 1 + \frac{1}{2}\log_2 3 \approx 1.792$ bits.
Optimiser: Equality holds if and only if the state is local-unitarily (LU) equivalent to the Higuchi–Sudbery state $M_4$ or its complex conjugate.
Uniqueness: While many states minimize the mean purity (including the cluster state), only $M_4$ and its conjugate maximize the mean entropy. The cluster state achieves a lower average entropy ( $5/3 \approx 1.667$ ) because it perfects two cuts at the expense of the third, whereas $M_4$ balances all three.
Analytic Proof: The paper provides a fully analytic proof using the sextic identity and cubic majorants, avoiding numerical search.

2. Seven Qubits

Purity Minimum: The mean purity of the 35 $3|4$ cuts is bounded by $\pi_3 \ge 121/917 \approx 0.131952$ . The unique optimiser (up to LU and permutations) is an explicit icosahedral state $\Psi_{ico}$ .
Entropy Maximum: The mean entropy is bounded by $E_3 \le 2.965356029\dots$ bits. The unique optimiser is a different member of the same icosahedral family, denoted $\psi_{x^*}$ , where $x^* \approx 0.0698$ .
Distinct Optimisers: Unlike the four-qubit case, the state that minimizes mean purity ( $\Psi_{ico}$ ) is distinct from the state that maximizes mean entropy ( $\psi_{x^*}$ ). This demonstrates that "most entangled" is measure-dependent even when restricted to balanced cuts.
Five-Copy Necessity: The paper establishes that five copies are necessary to derive the sharp purity bound; lower-copy hierarchies (2, 3, 4) fail to reach the true minimum.

3. Rényi and Tsallis Entropies

Four Qubits: The paper proves the Gour–Wallach conjecture for Rényi entropies. The maximiser changes from $M_4$ to cluster states at a critical order $q^* \approx 1.588$ . For Tsallis entropies, $M_4$ is the unique maximiser for $0 < q < 2$ , while cluster states dominate for $q > 2$ .
Mixed States: The bounds are extended to mixed states via convex roofs. The maximum is attained only by pure states in the identified orbits; mixed states cannot achieve the ceiling.

4. Stability and Rigidity

Quantitative Stability: The paper provides quantitative stability estimates, showing that states with entropy within $\epsilon$ of the maximum are within a distance $O(\sqrt{\epsilon})$ of the optimal LU orbits.
One-Cut Rigidity: For four qubits, if a state has the optimal purity ( $P=1$ ) and one cut has the optimal spectrum, the entire state is fixed to the $M_4$ orbit.

Significance and Claims
The paper claims to provide the first complete, rigorous characterization of the most entangled states for four and seven qubits, resolving long-standing conjectures (Higuchi–Sudbery, Gour–Wallach).

Methodological Advance: It demonstrates the power of the "multicopy" hierarchy with spin-flipped copies, showing that for seven qubits, the problem requires five copies to be solved exactly, a level of complexity not previously analytically accessible.
Geometric Insight: The emergence of icosahedral geometry in the seven-qubit optimisers provides a concrete link between quantum entanglement constraints and discrete geometric structures.
Verification: The results are supported by a combination of analytic proofs (for four qubits) and computer-assisted proofs with rigorous error bounds (for seven qubits). The four-qubit results have been formally verified in Lean 4.
Limitations: The author notes that the method relies on the pseudoreality of $SU(2)$ (spin-flip symmetry) and does not directly extend to qudits ( $d \ge 3$ ) where the defining representation is inequivalent to its conjugate.

The paper concludes that while "most entangled" is a robust concept for AME sizes, for sizes where AME states do not exist, the definition of maximal entanglement is sensitive to the specific entropy measure (von Neumann vs. Rényi/Tsallis) and the specific balance between different cuts.

Technical Summary: The Most Entangled States of Four and Seven Qubits

More like this