Complete Complementarity Relations (CCRs)

• Complete Complementarity Relations (CCRs) are exact identities that link predictability, coherence, and entanglement to fully account for local and nonlocal quantum information.
• They extend traditional duality and uncertainty frameworks by introducing an additional term, ensuring saturated three-term decompositions governed by system dimensions and operational constraints.
• CCRs have broad applications ranging from interferometry and quantum erasure to relativistic and field theoretic settings, guiding both experimental validations and theoretical insights.

Complete complementarity relations (CCRs) denote a class of exact or operationally closed relations that complete standard complementarity trade-offs by adding the term required to account for all relevant local and nonlocal information. In one major line of work, CCRs are triality identities for pure states, such as $P_k^2+V_k^2+C^2=1$ for a pure two-qubit state in a fixed local basis, together with Hilbert–Schmidt and entropic forms such as $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$ and $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$ (Blasone et al., 2024, Bittencourt et al., 2022). In another major line, complementarity is defined operationally from the statistics set $S_{X,Y}$ of two observables and then used as the right-hand side of uncertainty relations, yielding RAC-based, geometric, and variation-of-information indicators (Saha et al., 2018). Taken together, these constructions present CCRs as exact or postulated balances between predictability, coherence or visibility, entanglement or mixedness, and operational incompatibility.

1. Conceptual scope and representative forms

The modern CCR literature uses “complete” to indicate that the relation is saturated by including the term that is absent from an “incomplete” wave–particle or uncertainty inequality. In the pure bipartite qubit setting, the Jakob–Bergou relation reads $P_k^2+V_k^2+C^2=1$, where $P_k$ is predictability, $V_k$ is local coherence or visibility, and $C$ is concurrence; for globally mixed states the relation becomes $P_k^2+V_k^2+C^2\le 1$ (Blasone et al., 2024). In the density-matrix-based framework, the corresponding complete relations use basis-dependent predictability and coherence together with linear entropy, von Neumann entropy, or a nonlocal coherence term (Basso et al., 2020).

CCR family	Representative relation	Setting
Jakob–Bergou triality	$P_k^2+V_k^2+C^2=1$	Pure two-qubit states
Hilbert–Schmidt CCR	$$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$0	Pure bipartite states
Entropic CCR	$$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$1	Pure bipartite states
Operational CCR / UR	$$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$2	Clean-extremal observables

The split between predictability and coherence is basis dependent. By contrast, concurrence is invariant under local unitaries, and in the entropic and Hilbert–Schmidt formulations the third term is fixed by the reduced-state spectrum (Blasone et al., 2024). This suggests a common structural feature: CCRs replace a two-term trade-off by a saturated three-term decomposition whose constant is fixed by the local Hilbert-space dimension or by an operational compatibility constraint.

2. Algebraic structure in pure and mixed finite-dimensional systems

For a pure two-qubit state $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$3, the standard local quantities are $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$4, $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$5, $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$6, $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$7, and $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$8. These satisfy $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$9 for $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$0 (Blasone et al., 2024). The same paper gives the Hilbert–Schmidt form $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$1 and the entropic form $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$2, thereby making explicit the dimension-dependent normalization.

A closely related formulation rewrites complementarity through uncertainty decomposition. For a $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$3-path interferometer, the total quantum uncertainty $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$4 equals the Wigner–Yanase coherence $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$5, the total classical uncertainty is $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$6, and one has the exact identity $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$7, with $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$8 (Basso et al., 2020). The same work establishes $$P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A$$9, $S_{X,Y}$0, and $S_{X,Y}$1 when $S_{X,Y}$2 is the reduced state of a pure bipartite system (Basso et al., 2020).

The general status of the third term was clarified further by the theorem that for any complete complementarity relation involving predictability and visibility measures that satisfy the criteria established in the literature, the corresponding quantum-correlation term is an entanglement monotone, with the mixed-state extension given by the convex roof (Basso et al., 2020). In concrete cases, the entropic CCR gives $S_{X,Y}$3, the Hilbert–Schmidt CCR gives $S_{X,Y}$4, and in the two-qubit, two-path setting one recovers $S_{X,Y}$5, with $S_{X,Y}$6 (Basso et al., 2020).

3. Operational complementarity and uncertainty relations

An independent operational program formulates complementarity directly in terms of observable statistics. In that framework, preparations $S_{X,Y}$7 and measurements $S_{X,Y}$8 define outcome probabilities $S_{X,Y}$9, and for two observables $P_k^2+V_k^2+C^2=1$0 the allowed statistics form a convex set $P_k^2+V_k^2+C^2=1$1 (Saha et al., 2018). Complementarity is defined operationally as joint non-measurability: $P_k^2+V_k^2+C^2=1$2 are complementary if their outcome statistics cannot be obtained as classical post-processings independent of the preparation. The paper also distinguishes full complementarity and single-outcome complementarity, and it proves in quantum theory that complementarity implies information exclusion, while single-outcome complementarity implies traditional preparation uncertainty (Saha et al., 2018).

The quantitative step is to define uncertainty measures $P_k^2+V_k^2+C^2=1$3 and statistics-based independence measures $P_k^2+V_k^2+C^2=1$4, and then to obtain complementarity from independence for clean and extremal observables. The general uncertainty–complementarity form is

$P_k^2+V_k^2+C^2=1$5

with $P_k^2+V_k^2+C^2=1$6 nondecreasing (Saha et al., 2018). Three explicit indicator families are introduced. The RAC-based exclusion relation gives $P_k^2+V_k^2+C^2=1$7 for clean-extremal observables. The geometric rescaling indicator for quantum binary observables satisfies the exact relation $P_k^2+V_k^2+C^2=1$8, together with the reverse relation $P_k^2+V_k^2+C^2=1$9. Under diagonal-reflection symmetry of $P_k$0, the CHSH value obeys $P_k$1, and combining this with $P_k$2 yields $P_k$3, the Tsirelson bound (Saha et al., 2018).

The same framework connects CCRs to information-theoretic principles. The Information Content Principle leads, under symmetry assumptions, to the entropic bound $P_k$4, which implies the linear uncertainty relation $P_k$5 (Saha et al., 2018). This suggests that the operational form of complementarity can function as the right-hand side of uncertainty relations without reference to nonoperational features of the quantum formalism.

4. Open systems, mixed states, decoherence, and realism

In system–environment dynamics, CCRs become bookkeeping identities for information flow. For a subsystem $P_k$6 of a globally pure state, the Hilbert–Schmidt relation $P_k$7 interprets $P_k$8 not merely as mixedness, but as a correlation measure of $P_k$9 with the rest of the world (Basso et al., 2020). Channel-specific decompositions sharpen this statement. For memoryless amplitude damping,

$V_k$0

whereas for phase damping,

$V_k$1

and for phase flip, bit-phase flip, and depolarizing channels the paper reports $V_k$2 (Basso et al., 2020). These identities exhibit explicit redistribution of entanglement into correlated coherence across system–environment partitions.

The information-theoretic reformulation connects CCRs to EPR realism and to mixed-state extensions. With $V_k$3 the dephasing map in the eigenbasis of an observable $V_k$4, the irreality is $V_k$5 and the reality is $V_k$6. The paper identifies $V_k$7 and $V_k$8, so the entropic CCR becomes $V_k$9 (Basso et al., 2021). For tripartite pure states $C$0, the Koashi–Winter relation yields

$C$1

hence $C$2, with $C$3 (Basso et al., 2021). The same paper derives the mixed bipartite two-qudit identity

$C$4

showing that the CCR structure survives beyond pure states when mutual information and conditional information are included (Basso et al., 2021).

5. Relativistic, curved-spacetime, and field-theoretic generalizations

Lorentz and gravitational settings change the distribution of predictability, coherence, and entanglement, but not the completed relation itself. For massive spin-$C$5 systems, Lorentz boosts act through momentum-dependent Wigner rotations, so spin and momentum can become entangled even when the initial state is a product state. Nonetheless, for a globally pure state the transformed subsystem still satisfies

$C$6

because the global evolution is unitary and preserves purity (Basso et al., 2020). The individual terms are frame dependent; the sum is not.

The curved-spacetime extension replaces a single boost by a succession of infinitesimal local Lorentz transformations along the worldline. In Schwarzschild spacetime, the same CCR remains valid pointwise. For geodetic circular orbits, the spin state of one particle oscillates between a separable and an entangled state. For non-geodetic circular orbits, the frequency of these oscillations gets bigger as the orbit gets nearer to the Schwarzschild radius $C$7 (Basso et al., 2020). This suggests that CCRs provide a frame- and trajectory-compatible way to track quantum features in relativistic transport.

Tree-level QED furnishes a complementary field-theoretic arena. In Bhabha scattering, the momentum-filtered outgoing helicity state at fixed scattering angle is a pure two-qubit state, so $C$8 and $C$9 hold exactly (Blasone et al., 2024). The same study proves that in fermion-only tree-level QED processes any maximally entangled incoming spin state is mapped to a maximally entangled outgoing spin state for any scattering angle and energy, whereas in processes with photons maximal entanglement is not preserved in general (Blasone et al., 2024). The article also identifies entanglophilus, entanglophobus, and mixed initial-state families, showing that CCRs can diagnose whether scattering enhances, suppresses, or angle-selectively modifies entanglement.

6. Experimental realizations and specialized application domains

Several platforms implement CCRs directly. Density-matrix-based relations have been tested on IBM quantum hardware using one-qubit depolarized superpositions and random states of one, two, and three qubits. The experimentally validated identities include

$P_k^2+V_k^2+C^2\le 1$0

$P_k^2+V_k^2+C^2\le 1$1

$P_k^2+V_k^2+C^2\le 1$2

and

$P_k^2+V_k^2+C^2\le 1$3

(Pozzobom et al., 2020). The corresponding incomplete relations were respected for all sampled states, while the complete sums tracked the dimension-dependent constants.

In the generalized-entangled quantum eraser, the path degree of freedom $P_k^2+V_k^2+C^2\le 1$4 is a qubit and the full optical system $P_k^2+V_k^2+C^2\le 1$5 is initially pure. The main relation is

$P_k^2+V_k^2+C^2\le 1$6

and after Bell-basis erasure on $P_k^2+V_k^2+C^2\le 1$7, $P_k^2+V_k^2+C^2\le 1$8 so the relation reduces to $P_k^2+V_k^2+C^2\le 1$9 (Chrysosthemos et al., 2022). For $P_k^2+V_k^2+C^2=1$0 and $P_k^2+V_k^2+C^2=1$1, the pre-erasure values are $P_k^2+V_k^2+C^2=1$2, $P_k^2+V_k^2+C^2=1$3, $P_k^2+V_k^2+C^2=1$4; after post-selection on $P_k^2+V_k^2+C^2=1$5, one obtains $P_k^2+V_k^2+C^2=1$6, so $P_k^2+V_k^2+C^2=1$7 and $P_k^2+V_k^2+C^2=1$8 (Chrysosthemos et al., 2022).

CCR methods have also entered oscillation physics, multipath interferometry, and qudit networking. In two-flavor neutrino oscillations, the entropy-based pure-state relation $P_k^2+V_k^2+C^2=1$9 is saturated, while in the wave-packet case the mixed-state relation reduces to $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$00 because $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$01, and the non-local advantage of quantum coherence obeys $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$02 (Bittencourt et al., 2022). In an $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$03-path interferometer with detectors and quantum memory, the derived duality and triality relations become complete for the two-path case, including exact two-path identities involving visibility, path distinguishability, mixedness, and entanglement (Sun et al., 6 Sep 2025). For partially entangled qudits in entanglement swapping, the $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$04-CCR

$$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$05

is used to show that the average distributed entanglement is bounded by the input entanglements, with the exact qubit equality $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$06 and the qutrit identity $$P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A$$07 (Starke et al., 1 Aug 2025).

Across these settings, CCRs no longer function merely as refinements of wave–particle duality. They serve as exact finite-dimensional identities, operational uncertainty relations, correlation diagnostics in open dynamics, and transport laws for coherence and entanglement in relativistic, scattering, interferometric, and oscillation problems. This suggests that the term now denotes a broad but technically coherent research program centered on saturated trade-offs between local structure and nonlocal information.