⚛️ quantum physics

Non-local Magic: closed-form solution and equivalence with magic of purification

This paper establishes that non-local magic for bipartite states admits an exact closed-form solution based on the Schmidt spectrum and is equivalent to the minimum magic of purification, thereby providing both an efficient analytical characterization and a unified resource-theoretic interpretation.

Original authors: Michele Viscardi, Lorenzo Leone, Alioscia Hamma

Published 2026-09-04

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Michele Viscardi, Lorenzo Leone, Alioscia Hamma

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 authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the landscape of quantum computing, there exists a peculiar class of states that behave in a way that is both powerful and surprisingly simple. These are known as stabilizer states. They can generate complex entanglement, linking particles together across vast distances, yet they remain predictable enough that a standard classical computer can simulate their behavior with ease. Because they are so easy to handle, they form the backbone of many error-correction schemes, acting as a reliable scaffold for building quantum machines. However, to achieve true, universal quantum computing—the kind capable of solving problems that are currently impossible—scientists need something more. They need a resource that pushes these states beyond their predictable limits, introducing a specific type of complexity that classical computers cannot mimic. This extra ingredient is often called "magic," representing the non-stabilizer nature of a quantum state. While entanglement describes how particles are linked, magic describes the specific, hard-to-simulate complexity that allows a quantum computer to perform universal calculations.

The challenge for physicists has long been to measure this magic accurately, especially when it is shared between two different parts of a system. A quantum state might contain a huge amount of magic, but if that magic is simply a result of how the two parties have chosen to look at their own local systems, it can be removed by changing their perspective. The truly valuable magic is the kind that cannot be erased by any local adjustment; it is the magic that is intrinsic to the connection between the two parts. This is known as non-local magic. Until now, calculating this quantity was a daunting task, requiring a search through an unimaginably vast number of possibilities to find the best way to align the two sides. It was a problem that seemed to demand a brute-force approach, making it difficult to understand the true nature of this resource in complex systems.

A team of researchers has now solved this problem for a specific and important measure of magic, revealing a surprisingly simple path to the answer. They discovered that for a particular type of quantum state, the amount of non-local magic depends entirely on the distribution of energy levels shared between the two parties, a spectrum known as the Schmidt spectrum. Instead of needing to test billions of different local adjustments, the researchers found that the answer can be calculated directly from this spectrum using a straightforward formula. The complexity of the calculation drops from an impossible search to a manageable task that scales with the size of the system in a predictable way. This breakthrough means that scientists can now determine the irreducible magic of a quantum state just by looking at the pattern of its entanglement, without needing to perform the difficult optimization that was previously required.

The work goes further by connecting this concept to a different way of thinking about mixed quantum states, which are systems that are not perfectly defined but exist in a blend of possibilities. The researchers introduced a new idea called the "magic of purification." Imagine trying to understand a blurry, mixed-up quantum state by imagining it as part of a larger, perfectly clear system. The magic of purification is the smallest amount of magic required to create that larger, perfect system. The team proved that the non-local magic of a pure state is exactly the same as the minimum magic of purification needed to create the mixed state that results from looking at just one part of the system. This finding bridges two different ways of viewing quantum resources: the view from the perspective of entangled pairs and the view from the perspective of mixed states. It shows that the magic inherent in the connection between two parties is the same as the magic required to explain the state of one party when the other is hidden.

This connection has profound implications for how we understand quantum operations and causality. The researchers showed that the presence of non-local magic is directly linked to the ability of a quantum system to perform "graded" signaling. In a system without this magic, any influence one part has on the other is all-or-nothing; it is either a complete, sharp projection or it does not happen at all. This is the behavior of standard stabilizer resources. However, to achieve a more subtle, continuous form of influence—where a system can signal with varying degrees of strength or probability—non-local magic is strictly required. The study demonstrates that this subtle, graded control is a resource that costs magic to produce. If a quantum filter or operation tries to distinguish between states in a way that is not a sharp, binary choice, it inevitably requires a non-zero amount of non-local magic.

The results provide a clear, analytical tool for characterizing quantum complexity. By reducing the problem to a calculation based on the spectrum of the state, the researchers have made non-local magic accessible for experimental verification. Scientists can now estimate this resource by measuring the entanglement spectrum, a task that is already within reach of current technology. The work establishes that non-local magic is not just an abstract mathematical concept but a tangible quantity that defines the limits of what quantum operations can achieve. It identifies the precise point where a system moves from being a simple, predictable stabilizer system to one capable of the nuanced, graded causal influences that are essential for advanced quantum information processing. The findings confirm that the structure of the entanglement spectrum dictates the fundamental capabilities of the quantum system, offering a new lens through which to view the resources required for the next generation of quantum technologies.

Technical Summary: Non-local Magic: Closed-form Solution and Equivalence with Magic of Purification

Problem Statement
Non-local magic quantifies the component of non-stabilizerness in a bipartite quantum state that cannot be removed by local unitary transformations. While conceptually defined as the minimization of a magic monotone over local unitaries, its evaluation is generally intractable, requiring optimization over exponentially large unitary groups. Furthermore, a general resource-theoretic interpretation of this minimization, particularly in relation to mixed states, has remained unclear. Specifically, it was an open question whether non-local magic could be understood directly as a notion of magic for the corresponding mixed reduced density operator.

Methodology
The authors focus on the log-stabilizer fidelity ( $D_{stab}$ ), a magic monotone based on the maximal fidelity with a pure stabilizer state. The methodology proceeds in three main stages:

Analytical Derivation: The authors derive an exact closed-form expression for the non-local log-stabilizer fidelity ( $D_{NL}^{stab}$ ) of an arbitrary bipartite pure state. This derivation relies on the quantized structure of stabilizer entanglement, specifically that any pure stabilizer state is locally Clifford equivalent to a fixed number of Bell pairs and unentangled degrees of freedom.
Resource Theory Construction: The paper introduces the magic of purification ( $M_p$ ), defined as the minimum pure-state magic over all purifications of a mixed state. This is contrasted with the standard convex-roof extension (magic of formation, $M_f$ ). The authors analyze the free states induced by this construction, identifying them as normalized projectors onto stabilizer codes ( $STAB_0$ ).
Equivalence Proof: Using Uhlmann's theorem and properties of the Schmidt spectrum, the authors prove that the non-local magic of a bipartite pure state is equivalent to the minimum magic of purification attainable along the unitary orbit of its reduced density operator.
Operational Interpretation: Through the Choi–Jamiołkowski isomorphism, the authors connect non-local magic to the structure of quantum filters, distinguishing between "sharp" (projective) and "unsharp" (graded) signaling.

Key Contributions and Results

Closed-Form Solution for Non-local Magic:
The primary result is an exact analytical formula for the non-local log-stabilizer fidelity of a bipartite pure state $|\psi\rangle$ with Schmidt coefficients $\theta_i^\downarrow$ (in descending order):
$D_{NL}^{stab}(|\psi\rangle) = -\log \max_{k \le n} 2^{-k} \left( \sum_{i=1}^{2^k} \theta_i^\downarrow \right)^2$
This result demonstrates that the optimization over local unitaries and stabilizer states reduces to a finite maximization over possible Bell-pair sectors (dyadic ranks). The computational complexity is reduced from doubly exponential to $O(2^n)$ , depending solely on the Schmidt spectrum.
Magic of Purification and $STAB_0$ :
The authors define the magic of purification, $M_p(\rho) = \min_{|\psi\rangle: \text{tr}_E|\psi\rangle=\rho} M(|\psi\rangle)$ . They show that this construction induces a resource theory where the free states are $STAB_0$ (normalized projectors onto stabilizer codes), a subset of the convex hull of pure stabilizer states ( $STAB_1$ ).
For the log-stabilizer fidelity, the magic of purification admits a distance-based formulation:
$D_{stab}^{pur}(\rho) = -\log \max_{\sigma \in STAB_0} F(\rho, \sigma)$
where $F$ is the Uhlmann fidelity.
Equivalence Theorem:
The paper establishes a fundamental equivalence between non-local magic and mixed-state magic. For any density operator $\rho_A$ and its purification $|\rho\rangle_{AB}$ :
$D_{NL}^{stab}(|\rho\rangle_{AB}) = \min_{U_A \in \mathcal{U}_A} D_{stab}^{pur}(U_A \rho_A U_A^\dagger)$
This proves that non-local magic is exactly the minimum purification magic compatible with the spectrum of the reduced state.
Relation to Magic of Formation:
The authors prove that for any pure-state magic monotone obeying strong monotonicity, the magic of formation ( $M_f$ ) is bounded from above by the magic of purification ( $M_p$ ): $M_f(\rho) \le M_p(\rho)$ .
Operational Significance (Graded Signaling):
Through the Choi–Jamiołkowski correspondence, the paper links non-local magic to quantum filtering. Stabilizer Choi states correspond to "sharp" filters (projective measurements) where the effect operator is a projector. "Unsharp" filters, which allow for graded causal influence (eigenvalues strictly between 0 and 1), require non-flat entanglement spectra and thus possess non-zero non-local magic.

Significance and Claims
The paper claims to provide both an efficient analytical characterization and a mixed-state resource-theoretic interpretation of non-local magic. By establishing the equivalence between the non-local magic of a pure state and the minimum purification magic of its reduced state, the work bridges the gap between the entanglement spectrum of pure states and the resource theory of magic for mixed states.

The authors emphasize that the log-stabilizer fidelity provides an exactly solvable instance where this connection is explicit. The results suggest that non-local magic is not merely a spectral measure of irreducible non-stabilizerness but is intrinsically linked to the minimum magic required to purify a mixed state consistent with its spectrum. The paper notes that while the closed-form solution is derived for log-stabilizer fidelity, the extension to other monotones (such as Stabilizer Rényi Entropies) remains an open question. Additionally, the paper highlights that the derived closed-form characterization was independently obtained in a closely related study during the manuscript's completion.

Technical Summary: Non-local Magic: Closed-form Solution and Equivalence with Magic of Purification

More like this