Witnesses of non-Gaussian features as lower bounds of stellar rank

This study demonstrates that experimentally accessible witnesses of non-Gaussian features based on statistical moments provide rigorous lower bounds on stellar rank through a consistent hierarchy of thresholds, bridging the gap between abstract hierarchical measures and scalable experimental certification of quantum states.

The Gist

The Big Picture: Building a Quantum House

Imagine you are trying to build a high-tech quantum computer. To make it work properly, you can't just use standard, "off-the-shelf" materials. You need special, custom-built quantum ingredients called non-Gaussian states.

Think of Gaussian states like a smooth, perfectly round ball of dough. They are easy to make and easy to understand. But to make a quantum computer powerful enough to solve hard problems, you need to sculpt that dough into a complex, jagged mountain shape. That "jagged mountain" is a non-Gaussian state.

The problem is: How do you know if you actually made a mountain, or if you just made a slightly bumpy ball?

The Two Ways to Measure Quality

The scientists in this paper tackled two different ways of measuring these quantum shapes:

1. The "Stellar Rank" (The Gold Standard):
   Imagine you want to know exactly how complex your sculpture is. You could count every single detail. In quantum physics, this is called the Stellar Rank. It tells you exactly how many "extra ingredients" (photons) were added to the basic dough to create the shape.

   • The Catch: Calculating the Stellar Rank is like trying to count every grain of sand on a beach. It is theoretically perfect, but practically impossible to do in a real lab without destroying the state.

2. The "Witness" (The Quick Test):
   Instead of counting every grain of sand, you use a metal detector. You don't know exactly how much gold is buried, but if the detector beeps, you know there is at least some gold. In the paper, these are called Witnesses. They are simple measurements (like checking the average height or the width of the shape) that are easy to do in a lab.

   • The Catch: Until now, these tests didn't tell you the exact Stellar Rank. They just said, "Yes, it's weird," or "No, it's normal."

The Breakthrough: Connecting the Dots

The authors of this paper found a way to link the Quick Test (Witness) to the Gold Standard (Stellar Rank).

They discovered that for every specific type of "Quick Test," there is a Threshold (a cut-off line).

• The Analogy: Imagine a speed limit sign on a highway.
  • If you drive at 60 mph, you are in the "Gaussian" zone (boring, standard).
  • If you drive at 100 mph, you are in the "Non-Gaussian" zone (fast, special).
  • The authors calculated specific speed limits for different "lanes" of complexity.

They showed that if your measurement (the Witness) is below a certain number, you are guaranteed to be in a higher "complexity lane."

What They Actually Did

The team ran complex computer simulations to calculate these thresholds for four different types of quantum "sculptures":

1. Cubic States: Like a cube-shaped wave.
2. GKP States: A specific pattern used for error correction (like a safety net).
3. Cat States: A famous quantum shape that exists in two places at once (like Schrödinger's cat).
4. Fock States: Specific counts of light particles.

For each of these, they created a Ladder of Complexity.

• Rung 0: Basic Gaussian dough.
• Rung 1: A little bit of complexity added.
• Rung 10: Highly complex.

They calculated the "height" of the Witness measurement required to prove you are standing on Rung 1, Rung 2, Rung 3, etc.

The Key Finding: "At Least"

The most important result is that these tests provide a Lower Bound.

• Translation: If you measure your state and the number is low enough, you can say with 100% certainty: "My state is at least this complex."
• It might be even more complex, but you know for sure it isn't less complex.

For example, if you use the "Cat State" test and get a result below a specific threshold, you know you have created a state that is at least 3 steps up the complexity ladder. You don't need to do the impossible math to prove it; the test proves it for you.

Why This Matters

This is a huge deal for experimental physics for three reasons:

1. Simplicity: You don't need to rebuild the whole quantum state to check it. You just need a few quick measurements.
2. Scalability: As quantum computers get bigger, doing full checks becomes impossible. These "Witnesses" are like checking the engine oil instead of taking the engine apart.
3. Certification: It gives engineers a reliable way to say, "Yes, this part of the quantum computer is working as intended," without needing a supercomputer to calculate the answer.

Summary

The authors built a translation dictionary. They took the hard-to-measure "Stellar Rank" (the exact complexity score) and wrote down the rules for how the easy-to-measure "Witnesses" (quick tests) relate to it. Now, when scientists run a quick test in the lab, they can look at a table and immediately know, "Okay, this state is definitely complex enough to be useful for quantum computing."

Technical Summary

Here is a detailed technical summary of the paper "Witnesses of non-Gaussian features as lower bounds of stellar rank" by Provazník et al.

1. Problem Statement

Quantum non-Gaussian states are essential resources for universal continuous-variable (CV) quantum computation, error correction, and high-precision metrology. However, their reliable preparation and certification remain significant experimental challenges.

• The Theoretical Standard: Stellar rank is a rigorous, hierarchical measure of non-Gaussianity. For pure states, it corresponds to the number of zeros in the Husimi Q-function or the minimal number of photon additions required to generate the state from Gaussian resources. For mixed states, it is defined via a convex-roof construction.
• The Experimental Bottleneck: While stellar rank provides a clear theoretical hierarchy, it is extremely difficult to determine experimentally as it typically requires full quantum state tomography.
• The Practical Alternative: Witnesses of non-Gaussian features (based on statistical moments like expectation values and variances of observables) are experimentally accessible. However, they traditionally lack a direct, quantitative connection to the discrete hierarchy of stellar rank.
• The Gap: There is a need to bridge the gap between abstract hierarchical measures (stellar rank) and experimentally accessible quantifiers (witnesses) to enable scalable certification of non-Gaussian resources.

2. Methodology

The authors establish a quantitative connection between stellar rank and statistical moment-based witnesses through the following theoretical and numerical framework:

• Definition of Stellar Rank Sets ($\mathcal{C}_m$): The set $\mathcal{C}_m$ contains all quantum states with a stellar rank of at most $m$. These sets form a nested hierarchy ($\mathcal{C}_m \subset \mathcal{C}_n$ for $m < n$).
• Witness Optimization: The authors define thresholds for witnesses based on the minimal values achievable by states within a specific stellar rank set $\mathcal{C}_m$.
  • Expectation Value Witness ($W_m$): The infimum of the expectation value of a Hermitian operator $\hat{W}$ over all states in $\mathcal{C}_m$.
  • Variance Witness ($V_m$): The infimum of the variance of an observable $\hat{Q}$ over all states in $\mathcal{C}_m$.
• Mathematical Reduction:
  • The optimization is reduced to finding the minimal eigenvalue of transformed operators projected onto a finite-dimensional Hilbert space spanned by the first $m+1$ Fock states ($\hat{\Pi}_m$).
  • This allows the problem to be solved by optimizing over Gaussian unitary parameters (displacement, squeezing, phase shifts) rather than searching the infinite-dimensional state space.
• Normalization: To facilitate comparison, the thresholds are normalized against the Gaussian limit ($m=0$). This yields dimensionless quantities:
  • $\zeta_m = W_m / W_0$ (Normalized expectation value)
  • $\xi_m = V_m / V_0$ (Normalized non-linear squeezing)
• Certification Logic: Based on the Poincaré separation theorem, if a measured witness value falls below the threshold $\zeta_m$ (or $\xi_m$), the state is certified to have a stellar rank of at least $m+1$.

3. Key Contributions

1. Quantitative Link: The paper establishes that statistical moment-based witnesses provide certifiable lower bounds on stellar rank.
2. Consistent Hierarchy: It demonstrates that these witnesses form a monotonic hierarchy of thresholds consistent with the ordering of stellar rank.
3. Operational Framework: It provides a practical protocol for experimentalists to certify the "depth" of non-Gaussianity without full state reconstruction.
4. Numerical Tables: The authors provide calculated threshold values for four distinct operator families relevant to current quantum optics experiments.

4. Numerical Results

The authors calculated thresholds for stellar ranks $m \le 10$ for four specific operator families (summarized in Tables II and III of the paper):

• (a) Cubic Non-linear Squeezing: A variance-based witness targeting ideal cubic phase states. Thresholds decrease monotonically with $m$.
• (b) GKP State Nullifiers: Expectation-value based witnesses for Gottesman-Kitaev-Preskill states. Thresholds are naturally normalized by construction.
• (c) Cat State Nullifiers: Targeting even and odd coherent cat states. The results show that coherent cat states with amplitude $\alpha \approx 2$ approach theoretical minimums very quickly, suggesting they are practically indistinguishable from low stellar rank approximations.
• (d) Fock State Nullifiers: Targeting specific Fock states $|k\rangle$. These show distinct steps in thresholds corresponding to the target Fock number, with thresholds becoming zero once $m \ge k$ (as the target state is contained within the set).

Key Finding: The thresholds for all families form non-increasing sequences $\{W_m\}$ and $\{V_m\}$. Measuring a value below a specific threshold $\zeta_m$ or $\xi_m$ guarantees the state possesses a stellar rank $\ge m+1$.

5. Significance and Impact

• Scalable Certification: This work enables the verification of complex quantum resources using only low-order moment measurements, avoiding the exponential overhead of full quantum state tomography.
• Noise Tolerance: The method is robust and suitable for noisy experimental environments where full reconstruction is infeasible.
• Resource Identification: It allows researchers to identify and quantify non-Gaussian resources in larger, experimentally relevant systems, bridging the gap between abstract theoretical measures and concrete experimental data.
• Standardization: By linking diverse witnesses (GKP, Cat, Cubic) to a single metric (stellar rank), the paper offers a unified framework for comparing the non-Gaussian capabilities of different quantum states and protocols.

In conclusion, the paper transforms stellar rank from a purely theoretical concept into an experimentally verifiable metric, providing a rigorous tool for the certification of non-Gaussian resources in continuous-variable quantum technologies.