Informational completeness of qubit measurements and IC preservability of qubit channels: Characterization and Quantification

This paper introduces and characterizes a faithful measure for the informational completeness of qubit measurements, demonstrates that symmetric informationally complete measurements maximize this property, and defines a corresponding "IC preservability" metric for quantum channels that reveals a fundamental connection to the channel's absolute output coherence.

The Gist

Imagine you are trying to figure out the exact shape of a mysterious, invisible object. To do this, you can't just look at it from one angle; you need to take measurements from many different directions to build a complete picture. In the quantum world, this "object" is a quantum state, and the "measurements" are tools scientists use to learn about it.

This paper is about two main things:

1. How "good" a measurement tool is at revealing the full picture of a quantum state.
2. How well a "quantum channel" (think of it as a noisy tunnel or a filter that the state passes through) preserves that ability to see the full picture.

Here is a breakdown of their findings using simple analogies.

1. The Perfect Camera: SIC Measurements

In the quantum world, there is a special type of measurement called a SIC measurement (Symmetric Informationally Complete).

• The Analogy: Imagine you are trying to describe a 3D object. You could take a photo from the front, back, left, and right. But a SIC measurement is like a magical camera that takes four perfectly balanced photos from angles that are equally spaced (like the corners of a pyramid).
• The Finding: The authors created a "score" to measure how good a camera is at capturing the full shape of the object. They calculated the score for these magical SIC cameras and found they are the best possible for simple quantum systems (called "qubits"). No other minimal set of measurements can do better than this specific, perfectly balanced setup.

2. The Noisy Tunnel: Quantum Channels

Now, imagine you send your quantum object through a tunnel (a quantum channel) before you try to measure it. Sometimes, the tunnel is clean, but often it's "noisy" or "foggy," which might blur the object or hide parts of it.

• The Problem: If the tunnel is too foggy, your perfect camera (the SIC measurement) might no longer be able to see the whole object. The measurement becomes "informationally incomplete"—it's like trying to solve a puzzle with missing pieces.
• The New Score (IC-Preservability): The authors invented a new score called IC-preservability. This measures how well a tunnel keeps the "clarity" of the measurement.
  • A high score means the tunnel is a "clear glass" tunnel; it lets the measurement see everything perfectly.
  • A score of zero means the tunnel is a "black hole" for information; it destroys the ability to distinguish between different states completely.

3. The Connection to "Quantum Coherence"

The paper makes a fascinating link between "seeing the whole picture" (Informational Completeness) and a concept called Quantum Coherence.

• The Analogy: Think of Coherence as the "vibrancy" or "sparkle" of the object. If an object is "incoherent," it's dull and gray. If it's "coherent," it has a distinct, colorful pattern.
• The Discovery: The authors found a direct mathematical relationship between the two scores. They proved that the ability of a tunnel to keep your measurements clear (IC-preservability) is always less than or equal to the amount of "sparkle" (coherence) the tunnel guarantees to produce in the output.
  • In other words: If a tunnel is good at preserving your ability to see the full shape of the object, it must also be good at keeping the object "sparkly" (coherent). You can't have one without the other.

4. The Mathematical "Fingerprint"

To calculate these scores without doing complex experiments, the authors looked at the "fingerprint" of the tunnel. Every quantum tunnel has three numbers associated with it (called singular values) that describe how much it stretches, shrinks, or twists the quantum state.

• They showed that you can predict the "clarity score" (IC-preservability) just by looking at the smallest of these three numbers.
• They also showed that the "sparkle score" (Absolute Coherence Output) is bounded by the middle and largest of these numbers.

Summary

The paper provides a new "ruler" to measure:

1. How well a quantum measurement can identify a state (finding that the "SIC" method is the gold standard).
2. How well a quantum process protects that ability.
3. How these two concepts are fundamentally tied to the "vibrancy" (coherence) of the quantum system.

Essentially, they proved that if you want to keep your quantum measurements sharp and useful, you must ensure the process handling them maintains a certain level of quantum "sparkle."

Technical Summary

Technical Summary: Informational Completeness of Qubit Measurements and IC Preservability of Qubit Channels

Problem Statement
Informationally complete (IC) measurements are fundamental to quantum information processing, particularly for tasks like quantum state and process tomography, as their outcome statistics uniquely determine an unknown quantum state. While the existence and utility of IC measurements (specifically Symmetric Informationally Complete POVMs or SIC-POVMs) are well-established, the literature lacks a rigorous framework to quantify the degree of informational completeness for arbitrary measurements. Furthermore, when quantum channels act on measurements (in the Heisenberg picture), they can degrade or destroy this informational completeness. There is a need to quantify a channel's ability to preserve this property (IC preservability) and to understand its relationship with other quantum resources, specifically quantum coherence.

Methodology
The authors restrict their analysis primarily to qubit systems (two-dimensional Hilbert spaces) and employ the following methodological framework:

1. Faithful Measure for IC: The authors introduce a measure $D(A)$ for the informational completeness of a measurement $A$. Defined as the infimum of the ratio between the sum of absolute differences in outcome probabilities and the trace distance between two distinct states, this measure quantifies the minimum distinguishability power of the measurement.
2. IC Preservability: A measure $\tilde{D}(\Lambda)$ is defined for a quantum channel $\Lambda$. It represents the supremum of the IC measure $D$ over all possible input measurements after the channel acts on them in the Heisenberg picture ($\Lambda^\dagger(A)$).
3. Absolute Coherence Output: To establish a conceptual link, the authors define the "absolute coherence output" $C(\Lambda)$ of a channel. This is the minimum amount of coherence (measured via trace distance to the set of incoherent states) that can be guaranteed in the output of the channel for a suitably chosen input state, minimized over all possible incoherent bases.
4. Mathematical Tools: The analysis utilizes the Bloch sphere representation for qubits, where channels are parametrized by a $3 \times 3$ matrix $M_\Lambda$ and a translation vector $t_\Lambda$. The singular value decomposition of $M_\Lambda$ (yielding signed singular values $\lambda_1, \lambda_2, \lambda_3$) is central to deriving bounds.

Key Contributions and Results

• Quantification of Measurement IC:

  • The authors prove that the measure $D(A)$ is faithful (zero if and only if the measurement is informationally incomplete) and unitary invariant.
  • Theorem 1: For a qubit SIC-POVM, the informational completeness is explicitly calculated as $D(A) = 1/\sqrt{6}$.
  • Theorem 2: For any four-outcome (minimal) qubit measurement, $D(A) \leq 1/\sqrt{6}$. The bound is saturated if and only if the measurement is a SIC-POVM. This confirms that SICs are optimal among minimal IC measurements for qubits.

• Characterization of IC Preservability:

  • The measure $\tilde{D}(\Lambda)$ is shown to be non-negative, faithful, and monotonic under post-processing and statistical morphisms.
  • Theorem 3: The IC preservability of a qubit channel is bounded by its signed singular values ($\lambda_i$) and translation vector ($t$). Specifically:
    $$\frac{\max(0, |\lambda_{\min}| - |t|)}{\sqrt{6}} \leq \tilde{D}(\Lambda) \leq |\lambda_{\min}|$$
    where $|\lambda_{\min}|$ is the smallest magnitude among the singular values.

• Relation to Quantum Coherence:

  • The authors establish a direct conceptual link between IC preservability and the absolute coherence output.
  • Theorem 4: The absolute coherence output $C(\Lambda)$ of a qubit channel is lower-bounded by its IC preservability power: $\tilde{D}(\Lambda) \leq C(\Lambda)$.
  • Theorem 5 & Proposition 4: The absolute coherence output is bounded by the singular values of the channel ($|\lambda_2| \leq C(\Lambda) \leq |\lambda_1|$). For unital channels (where $t=0$), the absolute coherence output simplifies exactly to the middle singular value magnitude, $C(\Lambda) = |\lambda_2|$.

Significance
The paper provides a quantitative framework for studying both the informational completeness of quantum measurements and the ability of quantum channels to preserve it. By introducing faithful measures, the authors move beyond the binary classification of measurements as "complete" or "incomplete."

The primary conceptual contribution is the demonstration of a relationship between informational completeness and quantum coherence. By showing that a channel's ability to preserve informational completeness is bounded by its ability to generate coherence (specifically, the absolute coherence output), the work suggests that coherence is a necessary resource for maintaining the informational richness of quantum measurements. The authors note that while the majority of results are derived for qubit systems, the framework offers a foundation for generalizing these concepts to higher-dimensional systems and investigating their utility in specific quantum information-theoretic tasks.