---
title: Complete Complementarity Relations (CCRs)
url: https://www.emergentmind.com/topics/complete-complementarity-relations-ccrs
type: topic
---

# Complete Complementarity Relations (CCRs)

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\) [2402.09195][2205.01601]. 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 [1809.03475]. 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\) [2402.09195]. 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 [2007.05053].

| 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\) | Pure bipartite states |
| Entropic CCR | \(P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A\) | Pure bipartite states |
| Operational CCR / UR | \(U_{X,Y}(P)\ge f^{\uparrow}(C_{X,Y})\) | 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 [2402.09195]. 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 \(|\psi\rangle=a|00\rangle+b|01\rangle+c|10\rangle+d|11\rangle\), the standard local quantities are \(P_1=||c|^2+|d|^2-(|a|^2+|b|^2)|\), \(P_2=||b|^2+|d|^2-(|a|^2+|c|^2)|\), \(V_1=2|ac^*+bd^*|\), \(V_2=2|ab^*+cd^*|\), and \(C=2|ad-bc|\). These satisfy \(P_k^2+V_k^2+C^2=1\) for \(k=1,2\) [2402.09195]. The same paper gives the Hilbert–Schmidt form \(P_{hs}(\rho_A)+C_{hs}(\rho_A)+C^{nl}_{hs}(\rho_A|B)=(d_A-1)/d_A\) and the entropic form \(P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A\), thereby making explicit the dimension-dependent normalization.

A closely related formulation rewrites complementarity through uncertainty decomposition. For a \(d\)-path interferometer, the total quantum uncertainty \(U_q:=\sum_j Q(\rho,\Pi_j)\) equals the Wigner–Yanase coherence \(C_{wy}(\rho)\), the total classical uncertainty is \(U_c:=\sum_j C(\rho,\Pi_j)\), and one has the exact identity \(U_q+U_c+P_\ell=(d-1)/d\), with \(P_\ell(\rho):=S_\ell^{\max}-S_\ell(\rho_{\mathrm{diag}})\) [2007.05053]. The same work establishes \(C_{l_1}(\rho)+W_{l_1}(\rho)+P_{l_1}(\rho)=d-1\), \(P_\ell(\rho)+C_{hs}(\rho)+S_\ell(\rho)=(d-1)/d\), and \(C_{re}(\rho)+S_{vn}(\rho)+P_{vn}(\rho)=\ln d\) when \(\rho\) is the reduced state of a pure bipartite system [2007.05053].

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 [2012.14471]. In concrete cases, the entropic CCR gives \(E=S(\rho_A)\), the Hilbert–Schmidt CCR gives \(E=1-\mathrm{Tr}(\rho_A^2)\), and in the two-qubit, two-path setting one recovers \(P^2+V^2+\tau=1\), with \(\tau=C^2\) [2012.14471].

## 3. Operational complementarity and uncertainty relations

An independent operational program formulates complementarity directly in terms of observable statistics. In that framework, preparations \(P\in\mathcal P\) and measurements \(M\in\mathcal M\) define outcome probabilities \(q_M(k|P)\), and for two observables \(X,Y\) the allowed statistics form a convex set \(S_{X,Y}\subset \Delta_n\times\Delta_n\) [1809.03475]. Complementarity is defined operationally as joint non-measurability: \(X,Y\) 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 [1809.03475].

The quantitative step is to define uncertainty measures \(U\) and statistics-based independence measures \(\mathrm{Ind}(S_{X,Y})\), and then to obtain complementarity from independence for clean and extremal observables. The general uncertainty–complementarity form is
\[
U_{X,Y}(P)\ge f^{\uparrow}(C_{X,Y}),
\]
with \(f^{\uparrow}\) nondecreasing [1809.03475]. Three explicit indicator families are introduced. The RAC-based exclusion relation gives \(E(S_{X,Y})\ge C_{X,Y}^2/(4d)\) for clean-extremal observables. The geometric rescaling indicator for quantum binary observables satisfies the exact relation \(C_r^2+(1-U)^2=1\), together with the reverse relation \(2C_r\ge U\). Under diagonal-reflection symmetry of \(S_{X,Y}\), the CHSH value obeys \(\mathcal I=2+2(C_r-U)\), and combining this with \(C_r^2+(1-U)^2=1\) yields \(\mathcal I\le 2\sqrt 2\), the Tsirelson bound [1809.03475].

The same framework connects CCRs to information-theoretic principles. The Information Content Principle leads, under symmetry assumptions, to the entropic bound \(h((r_1+s_1)/2)+h((r_2+s_2)/2)\ge 1\), which implies the linear uncertainty relation \(C_r-U\le 0.56\) [1809.03475]. 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 \(A\) of a globally pure state, the Hilbert–Schmidt relation \(P_{hs}(\rho_A)+C_{hs}(\rho_A)+S_\ell(\rho_A)=(d_A-1)/d_A\) interprets \(S_\ell(\rho_A)=1-\mathrm{Tr}(\rho_A^2)\) not merely as mixedness, but as a correlation measure of \(A\) with the rest of the world [2009.09769]. Channel-specific decompositions sharpen this statement. For memoryless amplitude damping,
\[
S_\ell(\rho_A)=C^c_{hs}(\rho_{AB})+C^c_{hs}(\rho_{AE_A})+C^c_{hs}(\rho_{AE_B}),
\]
whereas for phase damping,
\[
S_\ell(\rho_A)=C_{hs}(\rho_{ABE_AE_B})-C_{hs}(\rho_{E_AE_B}),
\]
and for phase flip, bit-phase flip, and depolarizing channels the paper reports \(C^c_{hs}(\rho_{AE_A})=(3/2)S_\ell(\rho_A)\) [2009.09769]. 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 \(\Phi_O\) the dephasing map in the eigenbasis of an observable \(O\), the irreality is \(J_O(\rho_A)=S(\Phi_O(\rho_A))-S(\rho_A)\) and the reality is \(R_O(\rho_A)=\log_2 d_A-J_O(\rho_A)\). The paper identifies \(J_O(\rho_A)=C_{re}(\rho_A)\) and \(R_O(\rho_A)=P_{un}(\rho_A)+S(\rho_A)\), so the entropic CCR becomes \(R_O(\rho_A)+C_{re}(\rho_A)=\log_2 d_A\) [2104.14692]. For tripartite pure states \(|\psi_{ABE}\rangle\), the Koashi–Winter relation yields
\[
E_f(A:E)+J_B^A(A:B)=S(\rho_A),
\]
hence \(E_f(A:E)=\log_2 d_A-I(\rho_A)-J_B^A(A:B)\), with \(I(\rho_A)=\log_2 d_A-S(\rho_A)\) [2104.14692]. The same paper derives the mixed bipartite two-qudit identity
\[
\log_2(d_A d_B)=I_{A:B}(\rho_{AB})+S(\rho_{AB})+\sum_{k=A,B}\big[P_{un}(\rho_k)+C_{re}(\rho_k)\big],
\]
showing that the CCR structure survives beyond pure states when mutual information and conditional information are included [2104.14692].

## 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-\(1/2\) 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
\[
P_l(\rho_{A_1}^\Lambda)+C_{hs}(\rho_{A_1}^\Lambda)+S_l(\rho_{A_1}^\Lambda)=\frac{d_{A_1}-1}{d_{A_1}},
\]
because the global evolution is unitary and preserves purity [2007.14480]. 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 \(r_s\) [2011.00736]. 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 \(P_A^2+V_A^2+C^2=1\) and \(P_B^2+V_B^2+C^2=1\) hold exactly [2402.09195]. 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 [2402.09195]. 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_{l_1}(\rho_A)+C_{l_1}(\rho_A)+W_{l_1}(\rho_A)=d_A-1,
\]
\[
P_{hs}(\rho_A)+C_{wy}(\rho_A)+W_{wy}(\rho_A)=\frac{d_A-1}{d_A},
\]
\[
P_{hs}(\rho_A)+C_{hs}(\rho_A)+S_l(\rho_A)=\frac{d_A-1}{d_A},
\]
and
\[
P_{vn}(\rho_A)+C_{re}(\rho_A)+S_{vn}(\rho_A)=\log_2 d_A
\]
[2011.00723]. 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 \(B'\) is a qubit and the full optical system \(ABB'\) is initially pure. The main relation is
\[
P_{hs}(\rho_{B'})+C_{hs}(\rho_{B'})+S_{ln}(\rho_{B'})=\frac{1}{2},
\]
and after Bell-basis erasure on \(AB\), \(S_{ln}(\rho_{B'})=0\) so the relation reduces to \(P_{hs}(\rho_{B'})+C_{hs}(\rho_{B'})=1/2\) [2212.09915]. For \(T_H=1\) and \(T_V=0\), the pre-erasure values are \(P_{hs}=0\), \(C_{hs}=0\), \(S_{ln}=1/2\); after post-selection on \(|\Psi^\pm\rangle_{AB}\), one obtains \((|0\rangle\pm i|1\rangle)/\sqrt 2\), so \(P_{hs}=0\) and \(C_{hs}=1/2\) [2212.09915].

CCR methods have also entered oscillation physics, multipath interferometry, and qudit networking. In two-flavor neutrino oscillations, the entropy-based pure-state relation \(C_{re}(\rho_A)+P_{vn}(\rho_A)+S_{vn}(\rho_A)=1\) is saturated, while in the wave-packet case the mixed-state relation reduces to \(1=QD(\rho_{e\mu})+P_{vn}(\rho_A)\) because \(C_{re}(\rho_A)=0\), and the non-local advantage of quantum coherence obeys \(N(\rho_{e\mu})=2+QD(\rho_{e\mu})\) [2205.01601]. In an \(N\)-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 [2509.05571]. For partially entangled qudits in entanglement swapping, the \(l_1\)-CCR
\[
C_{l_1}(\rho_A)+P_{l_1}(\rho_A)+E_{l_1}(|\Psi_{AB}\rangle)=d_A-1
\]
is used to show that the average distributed entanglement is bounded by the input entanglements, with the exact qubit equality \(E_{\mathrm{avg}}=E_{l_1}(\psi)E_{l_1}(\phi)\) and the qutrit identity \(E_{\mathrm{avg}}=\tfrac{1}{2}E_{l_1}(\psi)E_{l_1}(\phi)\) [2508.00813].

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.

Source: https://www.emergentmind.com/topics/complete-complementarity-relations-ccrs