Imaginarity-generating power of unitaries: A resource-theoretic approach

This paper introduces and rigorously characterizes the imaginarity-generating power (IGP) of unitary dynamics as a resource monotone within a dynamical resource theory framework, deriving exact expressions for arbitrary dimensions and demonstrating that typical high-dimensional quantum operations are highly effective at generating imaginarity from real states.

The Gist

Imagine the quantum world as a vast, complex kitchen. In this kitchen, the "ingredients" are quantum states, and the "recipes" are the operations (unitaries) we perform on them. For a long time, scientists have been studying specific ingredients like "entanglement" (ingredients that are mysteriously linked) or "coherence" (ingredients that are in a superposition of states).

This paper introduces a new, fundamental ingredient called Imaginarity.

What is "Imaginarity"?

In our daily lives, we deal with real numbers (1, 2, 3). But in the quantum kitchen, the recipe book is written in complex numbers. Complex numbers have a "real" part and an "imaginary" part (involving the square root of -1).

Think of Imaginarity as the "spice" that comes from that imaginary part.

• Real States: These are quantum states that can be described using only real numbers. They are like a dish made with only salt and pepper.
• Imaginary States: These states need that special "imaginary spice" to be described. They are the full, complex dish.

The paper asks: How good is a specific quantum "chef" (a unitary operation) at turning a plain, real dish into a complex, imaginary one?

The Main Concept: "Imaginarity-Generating Power" (IGP)

The authors invented a way to measure a chef's skill at adding this imaginary spice. They call it the Imaginarity-Generating Power (IGP).

• The Test: You give the chef a plate of "real" food (a quantum state with no imaginary parts).
• The Action: The chef applies their specific recipe (the unitary operation).
• The Result: You measure how much "imaginary spice" ended up in the dish.
• The Score: The IGP is the average amount of spice the chef can add, no matter which real dish you start with.

Key Findings (The "Taste Tests")

1. The "Zero-Spice" Chefs
Some chefs are terrible at adding imaginary spice. If a chef's recipe is purely "real" (mathematically, a real orthogonal matrix), they can never turn a real dish into an imaginary one. Their IGP score is zero. They are like a chef who only knows how to stir; they can't add new flavors.

2. The "Master Chefs"
The paper identifies the specific recipes that are the best at generating imaginary spice. These are special unitary operations that mix the ingredients in a way that maximizes the imaginary component. If you use these "Master Chef" recipes, you get the maximum possible amount of imaginarity.

3. The "Average Chef" in a Big Kitchen
Here is the most surprising part. The authors looked at what happens when you pick a recipe completely at random from a giant library of possibilities (specifically in high-dimensional systems, which are like huge, complex kitchens).

They found that almost every random recipe is a "Master Chef."

• In small kitchens (low dimensions), some random recipes might be bad at adding spice.
• But in large kitchens (high dimensions), if you pick a random recipe, it is almost guaranteed to be incredibly good at generating imaginarity. The "bad" recipes become so rare that they are practically non-existent.
• The Analogy: Imagine walking into a massive library of random music playlists. In a small library, you might find a few boring ones. But in a library with millions of songs, almost every random playlist you pick will be a hit. Similarly, in large quantum systems, "typical" dynamics are naturally excellent at creating this quantum resource.

How to Measure It (The Experiment)

The paper doesn't just do math; it suggests a way to actually test this in a lab.

• The Setup: Create a special "entangled pair" of particles (like two coins that are perfectly linked).
• The Action: Apply the same recipe (unitary) to both coins simultaneously.
• The Measurement: Check how much the "link" between the coins has changed.
• The Result: This change tells you exactly how much imaginary spice the recipe added. It's like tasting the dish to see if the secret ingredient was added.

Why Does This Matter?

The paper argues that Imaginarity isn't just a mathematical quirk; it's a real resource, just like energy or information.

• Quantum mechanics needs complex numbers to work properly.
• Understanding which operations generate this "imaginary" resource helps us understand the limits of quantum computers.
• It tells us that in large quantum systems, the "imaginary" nature of reality is not something we have to work hard to create; it's the natural, default state of things.

Summary

This paper defines a new way to measure how well quantum operations create "imaginary" features. It proves that:

1. Some operations create none (they are "free" or "boring").
2. Some create the maximum amount (they are "resourceful").
3. In large, complex quantum systems, almost every random operation is a "resourceful" one, naturally generating high levels of imaginarity with very little fluctuation.

It's a study of how the "imaginary" part of our universe is generated by the laws of physics, and how we can measure that generation.

Technical Summary

1. Problem Statement

Quantum mechanics is fundamentally formulated over complex Hilbert spaces, where complex phases are essential for interference and non-classical phenomena. While "imaginarity" (the presence of complex numbers in quantum states) has recently been established as a resource in static quantum resource theories (QRTs), its dynamical generation remains largely unexplored.

The central problem addressed in this work is: How effectively can a unitary operator generate imaginarity from initially "free" (real) quantum states?
Existing literature focuses on quantifying imaginarity in states or the "entangangling power" and "coherence-generating power" of operations. However, a rigorous framework to quantify the ability of unitary dynamics to create imaginarity, specifically within the Dynamical Resource Theory (DRT) framework, was missing. The authors aim to define, quantify, and characterize this capability, known as Imaginarity-Generating Power (IGP).

2. Methodology

The authors employ the framework of Dynamical Resource Theories (DRTs), where resources are attributed to quantum operations (channels) rather than just states.

• Resource Theory Setup:
  • Free States ($\mathcal{F}_R$): All density matrices with real entries in a fixed computational basis.
  • Free Operations: Real Completely Positive Trace-Preserving (CPTP) maps (those with real Kraus operators).
  • Free Superoperations: Maps that transform real channels into real channels (real superchannels).
• Quantification Measure:
  • The authors utilize the $l_2$-norm of imaginarity (based on the Hilbert-Schmidt norm) defined as:
    $$I_B(\rho) = \frac{1}{4} \|\rho - \rho^T\|_2^2$$
  • They prove this measure is a valid monotone under real unital operations and, crucially, under all real operations when restricted to pure states.
• Definition of IGP:
  • The IGP of a unitary $U$ is defined as the average imaginarity produced when $U$ acts on an ensemble of real states with a fixed purity $P$:
    $$\bar{I}_B(U)_P = \langle I_B(U \rho_R U^\dagger) \rangle_{\rho_R \in \Sigma_P}$$
  • The calculation involves averaging over the orthogonal group (Haar measure) for a fixed eigen-spectrum and then over the spectrum itself.
• Analytical Tools:
  • Weingarten Calculus: Used to compute Haar averages of products of unitary matrix elements over the unitary group $U(d)$.
  • Lévy's Lemma: Used to analyze the concentration of measure for Haar-random unitaries in high dimensions.

3. Key Contributions

A. Exact Analytical Expression for IGP

The authors derive a closed-form expression for the purity-constrained IGP of an arbitrary unitary $U$ in dimension $d$:
$$\bar{I}_B(U)_P = \frac{d^2 - |\text{Tr}(U^\dagger U^*)|^2}{2d(d+2)} \left( \frac{dP - 1}{d - 1} \right)$$

• Key Insight: For pure real input states ($P=1$), the IGP depends solely on the intrinsic property $|\text{Tr}(U^\dagger U^*)|^2$ of the unitary, independent of the input state distribution.
• Simplified Form for Pure States:
  $$\bar{I}_B(U) = \frac{d^2 - |\text{Tr}(U^\dagger U^*)|^2}{2d(d+2)}$$

B. Experimental Protocol

The paper proposes a feasible experimental scheme to detect IGP. Since $|\text{Tr}(U^\dagger U^*)|^2 = d^2 |\langle \phi^+ | U \otimes U | \phi^+ \rangle|^2$ (where $|\phi^+\rangle$ is a maximally entangled state), the IGP can be estimated by:

1. Preparing a maximally entangled state $|\phi^+\rangle$.
2. Applying $U \otimes U$ locally.
3. Measuring the fidelity of the output state with respect to $|\phi^+\rangle$.

C. Validation as a Resource Monotone

The authors prove that IGP satisfies the essential axioms of a valid resource monotone in the DRT of imaginarity:

1. Positivity & Faithfulness: $\bar{I}_B(U) \geq 0$, and equals 0 if and only if $U$ is a real orthogonal matrix (a free operation).
2. Invariance: Invariant under pre- and post-processing by real orthogonal matrices.
3. Monotonicity: Does not increase on average under free superoperations (mapping unitaries to ensembles of unitaries).

D. Characterization of Maximal IGP

The paper identifies the class of unitaries that maximize IGP. The maximum value is $\frac{d}{2(d+2)}$.

• Maximizing Unitaries: Those of the form $U = O_1 D O_2$, where $O_{1,2}$ are real orthogonal matrices and $D = \text{diag}(e^{i\theta_1}, \dots, e^{i\theta_d})$ satisfies $\sum e^{2i\theta_k} = 0$.
• Example: Generalized Pauli-Z operators with specific phase conditions.

E. Statistical Behavior of Typical Unitaries

Using the Haar measure, the authors analyze "typical" unitaries:

• Average IGP: For Haar-random unitaries, the average IGP is $\frac{dP-1}{2(d+1)}$.
• Concentration: In the large dimension limit ($d \to \infty$), the normalized IGP of a random unitary concentrates near its maximal value with probability approaching 1.
• Fluctuations: The variance of the normalized IGP scales as $O(d^{-4})$, indicating that high-dimensional quantum dynamics are almost universally effective at generating imaginarity.

4. Results

• Formula Derivation: The exact formula (Eq. 7) links the resource-generating capability directly to the trace of $U^\dagger U^*$, a quantity related to the "complexity" of the unitary's phases.
• Maximal Bound: The theoretical upper bound for IGP is derived, and specific unitary structures achieving this bound are characterized.
• High-Dimensionality: The study reveals a "typicality" phenomenon: as system dimension increases, almost all unitary dynamics become near-optimal generators of imaginarity. This suggests that in high-dimensional quantum systems, the generation of complex phases is a generic feature rather than a rare one.
• Experimental Feasibility: The proposed protocol demonstrates that IGP is not just a theoretical construct but can be measured using standard quantum fidelity estimation techniques on entangled states.

5. Significance

• Foundational: It solidifies the role of complex numbers as a dynamical resource, moving beyond static state characterization to the study of quantum processes.
• Quantum Computing: The results have implications for quantum circuit design and complexity. Since unitary gates are the building blocks of algorithms, understanding their "imaginarity-generating power" helps identify gates that are essential for accessing states or dynamics impossible in real-valued quantum mechanics.
• Resource Theory Extension: It successfully extends the resource theory of imaginarity into the dynamical regime, providing a template for analyzing other resources (like magic states or non-stabilizerness) in terms of their generation by operations.
• Experimental Relevance: By providing a direct link between IGP and entanglement fidelity, the work bridges the gap between abstract resource theory and experimental verification in platforms like photonics and superconducting qubits.

In conclusion, this paper establishes Imaginarity-Generating Power as a rigorous, measurable, and fundamental metric for quantum dynamics, proving that high-dimensional quantum evolution is inherently and typically powerful in generating the complex structures that define quantum advantage.