Non-Zero Quantum Discord in Bipartite States

• Non-zero quantum discord is a measure of quantumness in bipartite systems, capturing correlations beyond entanglement via differences in mutual information.
• It is defined through the non-commutativity or non-normality of block components in the density matrix, ensuring robustness under decoherence.
• Experimental examples, including Werner states and X-states, demonstrate its practical utility in quantum computation, communication, and noise-resilient protocols.

Non-zero quantum discord quantifies nonclassical correlations in bipartite quantum systems that go beyond entanglement, encompassing a broad class of quantum correlations detectable even in separable or unentangled states. Formally, the quantum discord of a bipartite density operator $\rho_{AB}$ is given by the difference between two distinct quantum analogs of mutual information: the total (quantum) mutual information and the maximum classical correlation that can be extracted by local measurements. Non-zero discord appears generically in mixed states and plays a crucial role in quantum information processing, being robust to decoherence and operationally present in protocols where entanglement vanishes.

1. Formalism and Core Criteria for Non-Zero Discord

Quantum discord for a state $\rho_{AB}$ is defined (with measurement on $B$) as

$$\delta(\rho_{AB}) = \inf_{\{\Pi_k^B\}} \Bigl[ H\bigl(A\mid\{\Pi_k^B\}\bigr) \Bigr] - \bigl(H(\rho_{AB}) - H(\rho_B)\bigr),$$

in terms of the von Neumann entropy $H(\cdot)$ and the conditional entropy after a local projective measurement $\{\Pi_k^B\}$ on $B$ (Huang et al., 2011). A state has zero discord if there exists a complete projective measurement on $B$ that leaves $\rho_{AB}$ invariant. Absence of such a basis implies strictly positive discord.

A necessary and sufficient criterion for non-zero quantum discord, applicable to arbitrary dimensions, is encapsulated by the structure of the density operator. Writing $\rho_{AB}$ in block form in a product basis as

$\rho_{AB} = \bigl[\rho^{(i_A j_A)}\bigr]_{i,j},$

with each block $\rho^{(i_A j_A)}$ an $M\times M$ matrix, $\rho_{AB}$ has zero discord (with respect to $B$) if and only if all blocks are normal matrices

$$\left[\rho^{(i_A j_A)}, (\rho^{(i_A j_A)})^\dagger\right]=0,$$

and all blocks commute: $$\left[ \rho^{(i_A j_A)},\, \rho^{(i'_A j'_A)} \right]=0.$$ Violation (non-normality or lack of mutual commutativity) ensures non-zero discord (Huang et al., 2011). This criterion is operationally powerful and leads to a geometric interpretation of the set of zero-discord states as a lower-dimensional manifold embedded in the convex set of all states (Nguyen et al., 2013).

2. Structural and Topological Features of the Non-Zero Discord Set

The set of zero-discord (classical–quantum or quantum–classical) states for two qubits forms a 9-dimensional, simply-connected submanifold $\mathcal{C}$ within the 15-dimensional real vector space of Hermitian, trace-one, positive semidefinite $4\times4$ density matrices. Non-zero discord corresponds to the open, full-measure complement $\mathcal{M}\setminus \mathcal{C}$ (Nguyen et al., 2013). Physical evolutions can only intersect $\mathcal{C}$ either asymptotically or by transient (isolated) crossings; "sudden death" or finite intervals of zero discord are non-generic due to the high codimension (6) of $\mathcal{C}$. Thus, non-zero discord is generically robust under perturbation and decoherence, appearing stably except at discrete parameter sets or measure-zero configurations.

3. Examples in Canonical State Families

The appearance and characterization of non-zero discord is well illustrated in typical quantum state families:

• Werner States: For generalized $n$-qubit Werner states,

$$\rho_W^{(n)} = p|\mathrm{GHZ}\rangle\langle \mathrm{GHZ}| + \frac{1-p}{N} I_N,$$

discord is strictly positive for any $p>0$, even when separable ($p\leq 1/(1+2^{n-1})$). Only for $p=0$ does the discord vanish (Ramkarthik et al., 2022). Discord persists in the absence of entanglement as captured by logarithmic negativity.

• Two-Qubit X-States: For X-states (density matrices nonzero only along diagonal and antidiagonal), discord can be calculated analytically, and vanishes only for highly constrained parameter values. Any non-zero anti-diagonal coherence implies positive discord, which occurs generically for X-states outside a measure-zero subset (Ali et al., 2010, Huang et al., 2011).
• Non-X States and Beyond: For more general two-qubit families, including those not of X-form (with arbitrary Bloch–correlation tensors), the tangent-space rank and algebraic conditions on the correlation tensor $T_{ij}$ and Bloch vectors determine the existence and orientation of non-zero discord (Zhou et al., 2020, Mukherjee et al., 2019).

4. Physical Mechanisms and Experimental Realizations

Non-zero quantum discord has been experimentally and theoretically realized in a diverse set of systems and scenarios:

• Classical Interference: Post-selected classical second-order interference can create separable states with strictly positive discord, as in the generation and measurement of a bipartite optical state with $D=0.311$ via classical pulses (Choi et al., 2016).
• Dynamical Casimir Effect: Radiation generated by a superconducting waveguide with a SQUID boundary can produce two-mode Gaussian states with $D>0$ under less demanding conditions than for entanglement. There exists a window where $D>0$ even while logarithmic negativity vanishes, providing continuous-variable states useful for quantum cryptography (Sabín et al., 2015).
• Graph-Laplacian States: Combinatorial structures of weighted directed graphs give rise to graph Laplacian quantum states with non-zero discord unless the associated block-matrix normality, commutativity, and degree conditions are all satisfied—a single unpaired edge typically suffices for $D>0$ (Dutta et al., 2017).
• Device-Independent Witnesses: Non-zero discord can be detected ("witnessed") using only two local two-outcome measurements per party, even for unknown states in arbitrary dimension, via correlator-based nonlinear witnesses that are robust to device imperfection (Wang et al., 2023).

5. Relation to Entanglement and Operational Significance

Non-zero quantum discord quantifies quantum correlations strictly broader than entanglement. States with $D>0$ but vanishing entanglement (e.g., separable Werner states for $p\leq 1/3$, random phase–mixed optical states, thermalized nuclear spin dimers) are abundant (Ali et al., 2010, Doustimotlagh, 2014, Ramkarthik et al., 2022). Discord captures nonclassical correlations that are not harnessed by entanglement measures and is a resource in:

• Quantum Computation: Separable discordant states enable computational speedup in deterministically-mixed-input quantum computation (DQC1) (Dakic et al., 2010).
• Quantum Game Theory: In quantized strategic games such as Prisoner's Dilemma and Chicken Game, presence of positive discord—even when entanglement vanishes—equips players with quantum Nash equilibria superior to classical ones (Nawaz et al., 2010).
• Metrology and Communication: Discordant-but-separable states enhance quantum illumination, remote state preparation, and continuous-variable quantum key distribution (Sabín et al., 2015, Mukherjee et al., 2020).

6. Geometric and Algebraic Quantification

Beyond entropic definitions, geometric measures such as Hilbert–Schmidt distance to the nearest zero-discord state yield analytic formulas for two-qubit and higher-dimensional systems (Dakic et al., 2010, Vinjanampathy et al., 2011). Geometric discord is strictly positive unless the state is within the zero-discord manifold. Algebraic criteria for non-zero discord involve the rank of the correlation tensor $T$ and the incompatibility of local Bloch vectors with classical forms; both-way positive discord is ensured if $\mathrm{rank}(T)>1$ (Mukherjee et al., 2019).

7. Extensions, Generalizations, and Future Perspectives

Extensions of quantum discord to weak measurements ("super quantum discord") reveal that any non-product correlated state has non-zero discord under generalized measurement paradigms; only the product state has truly zero super discord (Li et al., 2013). Non-zero quantum discord is extremely generic—almost all mixed states possess it. It is structurally robust, experimentally accessible, and underpins a variety of quantum information protocols that function outside the paradigm of entanglement-based quantum advantage.

The manifold of non-zero discord states is open and dense in the space of all bipartite states. Only the maximally mixed state is absolutely stable under arbitrary global unitaries; all other states can be transformed into non-zero-discord configurations (Mukherjee et al., 2020). Operationally, this enables the activation of quantum resources from classically correlated initial states via suitable global evolutions, with immediate applications in remote state preparation and beyond.

---

Summary Table: Structural Criteria for Non-Zero Discord

Family / Framework	Necessary & Sufficient Condition for $D>0$	Reference
General bipartite state	At least one block is non-normal or at least two blocks do not commute	(Huang et al., 2011)
Werner state ($N$ qubits)	$p>0$ ($p=0$ iff $D=0$)	(Ramkarthik et al., 2022)
Two-qubit X-state	Nonzero antidiagonal coherence or off-block commutators	(Ali et al., 2010)
General two-qubit state	$\mathrm{rank}(T)>1$ or Bloch vectors do not satisfy zero-discord algebraic constraints	(Mukherjee et al., 2019)
Graph-Laplacian states	Block-matrix graph conditions (commutativity, normality, degree constraints) fail	(Dutta et al., 2017)
Global unitary transformation	Except $I/4$, any two-qubit state can be made $D>0$ by suitable global unitary	(Mukherjee et al., 2020)

Non-zero discord is thus a ubiquitous, structurally rich indicator of quantumness in correlations, with precise algebraic, geometric, and operational signatures spanning the full landscape of bipartite quantum theory.