Combining moment matrices, symmetric extension, and Lovász theta: $\Phi_{\text{E8}}$ is entangled

This paper resolves an open problem in entanglement theory by proving the 14-qubit state $\Phi_{\text{E8}}$ is entangled through a novel method combining symmetric extension and moment matrices to generate an explicit entanglement witness.

The Gist

The Big Picture: Solving a 5-Year-Old Puzzle

Imagine you have a very complex, 14-piece quantum puzzle called $\Phi_{E8}$. In the world of quantum physics, pieces can be "separable" (like two separate puzzle boxes sitting next to each other) or "entangled" (like two boxes that are magically glued together so that what happens to one instantly affects the other).

Back in 2021, scientists Yu and colleagues created this 14-piece puzzle and issued a challenge: "Prove that these pieces are glued together (entangled) using a specific tool called an 'entanglement witness'."

For five years, no one could solve it. Standard tools failed. The puzzle looked like it might be separable, but deep down, everyone suspected it was entangled because of a related mathematical mystery about "perfectly balanced" quantum states.

This paper, by Stempin, Anglès Munné, Llorens, and Huber, finally solves the puzzle. They didn't just guess; they built a mathematical "trap" that proves the pieces must be glued together.

The Detective's Toolkit: Three Methods in One

To solve this, the authors combined three different detective techniques into one super-tool. Here is how they worked together:

1. The "Symmetric Extension" (The Copy Machine)

Imagine you have a suspect (the state $\Phi_{E8}$) and you want to know if they are innocent (separable) or guilty (entangled).

• The Theory: If the suspect is innocent, you should be able to make perfect, identical copies of them. If you have three copies of an innocent person, they should all look exactly the same and behave perfectly in sync.
• The Trap: The authors tried to make a "three-copy" version of the quantum state. If the state were innocent, this three-copy version would exist and follow strict rules.

2. The "Moment Matrix" (The Fingerprint Scanner)

Once they tried to build that three-copy version, they created a giant spreadsheet called a Moment Matrix.

• Think of this matrix as a massive fingerprint scanner. It records every possible relationship between the different parts of the quantum state.
• If the state were innocent, this fingerprint scanner would produce a valid, positive, and consistent pattern.
• The authors filled this spreadsheet with the known rules of the $\Phi_{E8}$ state.

3. The "Lovász Theta" & Graph Theory (The Map of Rules)

This is where the paper gets clever. They realized that the rules governing the quantum state look exactly like the rules for a specific type of map called a graph (a network of dots and lines).

• They mapped the quantum state onto a graph where dots represent different quantum properties.
• They used a famous mathematical number called the Lovász Theta number. Think of this number as a "capacity limit" for a graph. It tells you the maximum amount of "stuff" (or probability) that can fit into the graph without breaking the rules.
• The authors showed that the quantum state was trying to fit more into the graph than the Lovász limit allows.

The "Aha!" Moment: The Impossible Equation

The authors set up a mathematical equation (a Semidefinite Program) that asked: "Can we fill this spreadsheet (Moment Matrix) with numbers that satisfy all the rules of the three-copy state and the graph limits?"

They ran the numbers through a computer.

• The Result: The computer screamed "NO!"
• The Proof: It is mathematically impossible to fill that spreadsheet without breaking the rules.
• The Logic: Since the spreadsheet must exist if the state were innocent (separable), and since it cannot exist, the state cannot be innocent. Therefore, $\Phi_{E8}$ is entangled.

They didn't just get a "maybe" from the computer; they used a special technique to round the numbers to exact fractions, creating a perfect, unbreakable mathematical certificate that proves the state is entangled.

Why This Matters (According to the Paper)

The paper claims three main victories:

1. Solved the Mystery: They finally provided the "entanglement witness" that Yu et al. asked for in 2021, proving $\Phi_{E8}$ is entangled.
2. Unified the Fields: They showed that quantum entanglement detection, graph theory (the Lovász number), and error-correcting codes (used in quantum computing) are all speaking the same language.
3. A New Scalable Method: They demonstrated that by combining these methods, they can solve problems that are too big for standard computers. They used "symmetry" (the fact that the puzzle looks the same from many angles) to shrink a massive problem down to a manageable size.

Summary

The authors took a 14-qubit quantum state that had stumped experts for years. They tried to build a "perfect copy" of it. When they analyzed the blueprint of that copy using a giant spreadsheet and a graph-theory map, they found a contradiction. The blueprint was impossible to build. Therefore, the original object must be a "glued-together" entangled state. They proved it with a rigorous mathematical certificate.

Technical Summary

Technical Summary: Combining Moment Matrices, Symmetric Extension, and Lovász Theta

Problem Statement
This paper addresses an open problem in entanglement theory posed by Yu et al. (Nature Communications 12, 1012, 2021): determining whether the 14-qubit state $\Phi_{E8}$ is entangled across the bipartition $A_1 \dots A_7 | B_1 \dots B_7$. While it is known indirectly that $\Phi_{E8}$ must be entangled—because its separability is equivalent to the existence of an absolutely maximally entangled (AME) state for seven qubits, which has been proven non-existent—the direct detection of this entanglement via an operational entanglement witness remained unsolved. Standard criteria, including the positive partial transpose (PPT) test and the symmetric extension hierarchy up to six copies, failed to detect entanglement in this specific state.

Methodology
The authors propose a novel approach that unifies three distinct numerical methods:

1. Symmetric Extension: Inspired by the hierarchy developed by Doherty, Parrilo, and Spedalieri, the authors assume $\Phi_{E8}$ is separable. If separable, it admits a symmetric extension to a three-copy state $\Phi^{(3)}_{E8} = \sum_i p_i \mu_i \otimes \mu_i \otimes \mu_i$.
2. Moment Matrices: Using Rains' Lemma regarding the partial transposition of swap operators, the authors map the three-copy extension to a positive semidefinite operator. From this, they construct a "moment matrix" $\Gamma$ whose entries are expectation values of Pauli strings. The feasibility of this matrix is linked to the separability of the original state.
3. Symmetry Reduction and SDP: The resulting semidefinite program (SDP) involves a matrix of size $O(4^7) \times O(4^7)$, which is computationally prohibitive. To overcome this, the authors employ symmetry reduction based on the Terwilliger algebra. They average the moment matrix over the wreath product group $S_3 \wr S_7$ (permuting tensor factors and non-identity Pauli matrices), reducing the problem to a block-diagonal form with significantly fewer variables.

Key Contributions and Results

• Proof of Entanglement: By solving the symmetry-reduced SDP and its dual, the authors demonstrate that the primal SDP is infeasible. This infeasibility is proven rigorously via an exact rational certificate (using the quadratic number field $\mathbb{Q}(\sqrt{3})$), confirming that no such moment matrix exists. Consequently, the assumption that $\Phi_{E8}$ is separable is false, proving $\Phi_{E8}$ is entangled.
• Explicit Entanglement Witness: The dual solution yields an explicit entanglement witness operator. The authors construct a witness $W'_{\Phi_{E8}}$ based on the Lovász theta number of the Pauli anti-commutativity graph. Specifically, they show that the relaxation of the Lovász theta number, $\vartheta_{\text{sym}}(G_{4+}) \approx 126.8876$, is sufficient to detect entanglement, as $\text{tr}(W'_{\Phi_{E8}} \Phi_{E8}) < 0$.
• Graph Theory Connection: The paper establishes a direct link between the entanglement of $\Phi_{E8}$ and the Lovász theta number $\vartheta(G)$ of the anti-commutativity graph of Pauli strings. The problem is reformulated as showing that a specific point does not exist within the Lovász theta body $\text{TH}(G_{4+})$.
• Relation to Quantum Codes: The methodology is shown to be a variant of SDP bounds used in quantum coding theory (specifically relating to the work of Munné, Nemec, and Huber). The authors clarify that their construction bridges the gap between coding bounds and entanglement detection via symmetric extension.

Significance
The paper claims to solve a specific, long-standing open problem by providing the first operational entanglement witness for $\Phi_{E8}$. Its primary significance lies in the methodological unification: it demonstrates how combining symmetric extension with moment matrices allows for the truncation of constraints that would otherwise be intractable in density-matrix-based approaches. Furthermore, the work highlights the utility of the Lovász theta number and graph invariants in entanglement theory, offering a scalable and flexible framework for future applications in detecting entanglement in symmetric states and potentially non-symmetric ones. The authors note that while additional constraints (such as PPT or purity conditions) could further strengthen the method, they were not required to solve the specific problem of $\Phi_{E8}$.