Zero-Uncertainty States with Quantum Memory

• The paper establishes that zero-uncertainty states, defined by orthogonal conditional operators on a quantum memory, enforce perfect predictability and, in full-algebra regimes, maximal entanglement.
• It introduces an operator-algebraic framework using observable algebras and Artin-Wedderburn decomposition to extend traditional nondegenerate measurements to include degenerate (coarse-grained) PVMs.
• The analysis highlights two failure mechanisms—using proper subalgebras and enlarged memory dimensions—that allow zero uncertainty without guaranteeing global maximal entanglement.

Searching arXiv for the primary paper and closely related foundational work. {"query":"(Ran, 24 Mar 2026) Zero-Uncertainty States Relative to Observable Algebras (Zhu, 2020) Zero Uncertainty States in the Presence of Quantum Memory Berta uncertainty quantum memory", "max_results": 10} I found the following relevant arXiv papers:

• "Zero-Uncertainty States Relative to Observable Algebras" (Ran, 24 Mar 2026)
• "Zero Uncertainty States in the Presence of Quantum Memory" (Zhu, 2020)
• "Experimental investigation of the uncertainty principle in the presence of quantum memory" (Prevedel et al., 2010)
• "Position-Momentum Uncertainty Relations in the Presence of Quantum Memory" (Furrer et al., 2013)
• "Quantum discord and classical correlation can tighten the uncertainty principle in the presence of quantum memory" (Pati et al., 2012)

Zero-uncertainty states with quantum memory are bipartite states $\rho_{AB}$ for which measurement outcomes on subsystem $A$ become perfectly predictable to an observer holding subsystem $B$. In the finite-dimensional setting, this perfect predictability is equivalent to vanishing conditional entropy for the measured observable and, operationally, to perfect distinguishability of the corresponding conditional operators on the memory system. The operator-algebraic treatment developed in "Zero-Uncertainty States Relative to Observable Algebras" extends the earlier nondegenerate theory to degenerate projective-valued measurements (PVMs), makes observable subalgebras explicit, and isolates the precise mechanisms by which zero uncertainty either rigidly enforces purity and maximal entanglement or fails to do so (Ran, 24 Mar 2026, Zhu, 2020).

1. Definition and operational content

For a finite-dimensional Hilbert space $H_A$, a PVM on $H_A$ is a finite family of mutually orthogonal projections $K=\{P_\alpha\}\subset B(H_A)$ with $\sum_\alpha P_\alpha=I_A$. Degeneracy means that the projections $P_\alpha$ can have rank $>1$, so the measurement is coarse-grained onto subspaces rather than rank-one eigenspaces. For a bipartite state $\rho\in B(H_A\otimes H_B)$, the conditional operators on Bob’s space are

$A$0

The state $A$1 is a zero-uncertainty state for $A$2 if the family $A$3 is perfectly distinguishable, which in finite dimensions is equivalent to orthogonality of supports,

$A$4

or, equivalently,

$A$5

For a family $A$6 of PVMs, $A$7 is a common ZUS if it is a ZUS for every $A$8 (Ran, 24 Mar 2026).

The information-theoretic interpretation is expressed through the post-measurement classical-quantum state

$A$9

with $B$0. The classical conditional entropy $B$1 vanishes exactly when the ensemble $B$2 is perfectly distinguishable, so zero uncertainty for $B$3 relative to memory $B$4 means $B$5. In the earlier nondegenerate formulation, a ZUS with respect to a set of observables $B$6 is equivalently a state for which, for every $B$7, there exists a POVM on $B$8 allowing deterministic prediction of Alice’s outcome; in the pure-state case, perfect distinguishability for a single basis is equivalent to that basis diagonalizing $B$9 (Zhu, 2020).

2. Observable algebras and the operator-algebraic formulation

The central structural object is the observable algebra generated by a family of PVMs,

$H_A$0

the smallest unital $H_A$1-subalgebra containing all spectral projections. If

$H_A$2

then the measurements probe only a proper subalgebra. The missing part of $H_A$3 encodes degrees of freedom that are never tested, physically corresponding to hidden sectors unresolved by coarse-grained measurements. Any finite-dimensional unital $H_A$4-subalgebra $H_A$5 admits an Artin-Wedderburn decomposition

$H_A$6

after a unitary identification

$H_A$7

Here $H_A$8 is the visible irreducible action, while $H_A$9 is invisible to $H_A$0 (Ran, 24 Mar 2026).

To encode the memory-assisted structure, fix an orthonormal basis on $H_A$1 and define

$H_A$2

with $H_A$3, and normalize

$H_A$4

For each spectral projection $H_A$5, the ZUS conditions imply that $H_A$6 is a projection and $H_A$7 is a PVM on $H_A$8. Writing $H_A$9 for the transpose image of $K=\{P_\alpha\}\subset B(H_A)$0, the restriction

$K=\{P_\alpha\}\subset B(H_A)$1

satisfies a central equivalence: $K=\{P_\alpha\}\subset B(H_A)$2 Thus the zero-uncertainty condition is reformulated as multiplicativity on the observable algebra together with a commutant constraint on the memory state (Ran, 24 Mar 2026).

3. Rigidity in the equal-dimension full-algebra regime

The strongest rigidity occurs when the generated observable algebra is the full matrix algebra and the two local Hilbert spaces have equal dimension. If $K=\{P_\alpha\}\subset B(H_A)$3, $K=\{P_\alpha\}\subset B(H_A)$4 is a common ZUS for a family $K=\{P_\alpha\}\subset B(H_A)$5, and

$K=\{P_\alpha\}\subset B(H_A)$6

then $K=\{P_\alpha\}\subset B(H_A)$7 is pure. The proof uses the multiplicative domain

$K=\{P_\alpha\}\subset B(H_A)$8

which becomes all of $K=\{P_\alpha\}\subset B(H_A)$9 when the ZUS conditions force projections in a generating family to map to projections. Hence $\sum_\alpha P_\alpha=I_A$0 is a unital $\sum_\alpha P_\alpha=I_A$1-homomorphism on the full algebra. In finite dimensions this implies that $\sum_\alpha P_\alpha=I_A$2 is a $\sum_\alpha P_\alpha=I_A$3-isomorphism onto $\sum_\alpha P_\alpha=I_A$4, so by Skolem-Noether there exists a unitary $\sum_\alpha P_\alpha=I_A$5 such that

$\sum_\alpha P_\alpha=I_A$6

Therefore $\sum_\alpha P_\alpha=I_A$7 has Kraus rank $\sum_\alpha P_\alpha=I_A$8, the Choi-Jamiołkowski operator has rank $\sum_\alpha P_\alpha=I_A$9, and $P_\alpha$0 has rank $P_\alpha$1 (Ran, 24 Mar 2026).

Under the same assumptions, purity implies maximal entanglement. Orthogonality of the conditional operators across each generating PVM yields commutation of $P_\alpha$2 with all spectral projections, and because the family generates $P_\alpha$3, one obtains

$P_\alpha$4

Since $P_\alpha$5, this forces

$P_\alpha$6

For a pure bipartite state, $P_\alpha$7 is equivalent to maximal entanglement, so up to local unitaries

$P_\alpha$8

This reproduces, in operator-algebraic form, the earlier generic equivalence between zero uncertainty and maximal entanglement established for irreducible sets of nondegenerate observables (Ran, 24 Mar 2026, Zhu, 2020).

4. Failure of rigidity: proper subalgebras and enlarged memory

The full-algebra equal-dimension theorem is not universal. The 2026 analysis identifies two distinct failure mechanisms. The first is the use of a proper observable subalgebra $P_\alpha$9. In that case there exist pure states that are common ZUS for all PVMs contained in $>1$0 but are not globally maximally entangled. Using the decomposition

$>1$1

one may choose a block $>1$2 and construct

$>1$3

where $>1$4 is maximally entangled on the visible factor and $>1$5 is a product state on the multiplicity part. Then the conditional operators for any PVM $>1$6 take the form

$>1$7

which are pairwise orthogonal, while

$>1$8

is not maximally mixed on $>1$9 (Ran, 24 Mar 2026).

The second mechanism is larger memory dimension. If $\rho\in B(H_A\otimes H_B)$0, $\rho\in B(H_A\otimes H_B)$1, and $\rho\in B(H_A\otimes H_B)$2 is a common ZUS for a family generating $\rho\in B(H_A\otimes H_B)$3, then there exist a finite-dimensional $\rho\in B(H_A\otimes H_B)$4, a unitary $\rho\in B(H_A\otimes H_B)$5, and a density operator $\rho\in B(H_A\otimes H_B)$6 such that

$\rho\in B(H_A\otimes H_B)$7

Equivalently, up to local isometries,

$\rho\in B(H_A\otimes H_B)$8

The visible sector is maximally entangled on a $\rho\in B(H_A\otimes H_B)$9 subsystem, but the extra memory factor is unconstrained. This is the operator-algebraic analogue of the “subsystem maximal entanglement plus ancilla” structure already present in the nondegenerate theory (Ran, 24 Mar 2026, Zhu, 2020).

More generally, if

$A$00

and $A$01 is a unital $A$02-homomorphism with $A$03, then there exist finite-dimensional spaces $A$04 and a unitary

$A$05

such that

$A$06

$A$07

$A$08

with $A$09 on $A$10. Zero uncertainty therefore determines only the visible matrix factors; multiplicity spaces and commuting memory states encode the unconstrained degrees of freedom (Ran, 24 Mar 2026).

5. Entropic uncertainty, irreducibility, and prior formulations

The operator-algebraic results are closely tied to memory-assisted entropic uncertainty relations. For two projective measurements $A$11 and $A$12 on $A$13,

$A$14

where $A$15. If both conditional entropies vanish, then

$A$16

For mutually unbiased bases in dimension $A$17, $A$18, so

$A$19

For pure states, $A$20, and $A$21 only for maximal entanglement. This entropic argument matches the full-algebra rigidity theorem in the equal-dimension case (Ran, 24 Mar 2026).

The earlier classification for nondegenerate observables is organized by the transition graph $A$22 of the measurement bases. If the basis set is irreducible, then a bipartite state is a ZUS if and only if $A$23 and the state is maximally entangled. If the basis set is reducible, then ZUS decompose into direct sums of component maximally entangled states with orthogonal supports on $A$24, and the minimum entanglement required is $A$25, where $A$26 is the smallest component rank (Zhu, 2020). The 2026 framework subsumes this by replacing transition-graph irreducibility with the observable algebra $A$27 and by explicitly incorporating degenerate PVMs and commutants (Ran, 24 Mar 2026).

The entropic perspective also admits refinements. A strengthened lower bound includes an additional nonnegative term depending on the quantum discord and the classical correlations of $A$28,

$A$29

so whenever $A$30, the lower bound is strictly tighter than the Berta-type bound. This further constrains the possibility of zero uncertainty for mixed or non-maximally entangled states (Pati et al., 2012). Experimentally, entanglement-assisted reduction of conditional uncertainty was realized with entangled photon pairs, an optical delay line serving as a quantum memory, and fast feed-forward; for complementary qubit observables the observed conditional uncertainties approached the ideal zero-uncertainty limit for Bell states (Prevedel et al., 2010).

6. Examples, tests, and scope

A representative degenerate example is the qutrit maximally entangled state

$A$31

with binary PVMs

$A$32

and

$A$33

For maximally entangled $A$34,

$A$35

so the assemblages are

$A$36

For each setting,

$A$37

and Bob can identify Alice’s coarse-grained outcome with zero error once the setting is revealed. This is perfect coarse-grained steering in a degenerate-measurement setting (Ran, 24 Mar 2026).

The same paper gives explicit proper-subalgebra and larger-memory examples. If

$A$38

then for any PVM $A$39,

$A$40

so the conditional operators are orthogonal although $A$41 is not maximally mixed on $A$42. If instead

$A$43

with full observable algebra on $A$44, then for any PVM $A$45,

$A$46

so common ZUS holds while the global state is pure only when $A$47 is pure. These examples display the two failure mechanisms in concrete form (Ran, 24 Mar 2026).

The operator-algebraic criteria also yield a practical test for whether $A$48 is an $A$49-ZUS. First compute the conditional operators $A$50 for generating PVMs and verify

$A$51

Then compute

$A$52

restrict $A$53, and check that $A$54 is a unital $A$55-homomorphism on generators and that

$A$56

Finally, diagonalize the representation to obtain the normal form

$A$57

which identifies the visible blocks and the unconstrained multiplicity data (Ran, 24 Mar 2026).

The present framework is finite-dimensional and uses finite-dimensional $A$58-algebra machinery, including Artin-Wedderburn decomposition, Stinespring dilation, and multiplicative-domain methods. Infinite-dimensional or continuous-variable extensions are not addressed, and a complete classification of all $A$59-ZUS at the level of global states $A$60, beyond the visible data $A$61, remains open. This suggests that the principal conceptual advance is not merely the extension from rank-one to degenerate measurements, but the identification of observable algebras and their commutants as the precise locus where rigidity, multiplicity, and physical coarse-graining meet (Ran, 24 Mar 2026).