---
title: Geometric Quantum Discord (GQD)
url: https://www.emergentmind.com/topics/geometric-quantum-discord-gqd
type: topic
---

# Geometric Quantum Discord (GQD)

Geometric quantum discord (GQD) is a distance-based quantifier of non-classical correlations in a bipartite or multipartite quantum state, defined by measuring how far the state lies from an appropriate set of zero-discord, or classical, states. In its original finite-dimensional form, GQD replaces the optimization over local measurements appearing in entropic quantum discord by an optimization over distances in state space, typically to the set of classical-quantum states [1010.1920]. Subsequent work showed that this geometric idea is not tied to a unique metric: Hilbert–Schmidt, trace, and Bures constructions lead to distinct discord functionals with different monotonicity, operational, and computational properties [1302.7034], [1304.3334].

## 1. Classical-quantum geometry and the basic definition

For a bipartite state \(\rho\), the zero-discord states with respect to measurements on subsystem \(A\) are classical-quantum states of the form
\[
\chi=\sum_k p_k\,|k\rangle\langle k|\otimes \rho_k,
\]
or, equivalently,
\[
\rho_c=\sum_k p_k\,\Pi_k^a\otimes \rho_k^b,
\]
with \(\{\Pi_k^a\}\) orthogonal projectors on the measured subsystem and \(\rho_k^b\) arbitrary states of the unmeasured subsystem [1302.7034], [1010.1920]. In the Bures formulation these are denoted \(A\)-classical states and written as
\[
\sigma_{A\text{-cl}}=\sum_i q_i\,|\alpha_i\rangle\langle\alpha_i|\otimes \rho_{B|i},
\]
emphasizing the asymmetry inherited from the choice of measured subsystem [1304.3334].

The Hilbert–Schmidt version introduced in the early literature is
\[
D_G(\rho)=\min_{\chi\in\Omega_0}\|\rho-\chi\|_2^2,
\qquad
\|X\|_2=\sqrt{\operatorname{tr}(X^\dagger X)},
\]
so that GQD is the minimum squared Hilbert–Schmidt distance to the zero-discord set [1302.7034]. Equivalent measurement-based forms were also derived:
\[
D_A^g(\rho)=\min_{\{\Pi_k^A\}}
\left\|
\rho-\sum_k(\Pi_k^A\otimes I)\rho(\Pi_k^A\otimes I)
\right\|^2,
\]
which makes explicit that GQD can be understood as the minimal disturbance induced by an optimal local projective measurement [1412.4910].

This geometric reformulation was motivated by the computational difficulty of entropic discord. In the formulation \(QD(\rho)=I(\rho)-C(\rho)\), the classical correlation term requires an optimization over local measurements, and exact formulas are available only for restricted state families. GQD replaces that information-theoretic optimization by a distance minimization to the nearest zero-discord state, which is often more tractable analytically and numerically [1412.4910].

## 2. Hilbert–Schmidt GQD and analytically solvable families

For two-qubit states, the Hilbert–Schmidt GQD admits the well-known closed form
\[
D(\rho)=\frac14\left(\|x\|^2+\|T\|^2-k_{\max}\right),
\]
where \(x_i=\operatorname{tr}[\rho(\sigma_i\otimes I)]\), \(T=(t_{ij})\) with \(t_{ij}=\operatorname{tr}[\rho(\sigma_i\otimes\sigma_j)]\), and \(k_{\max}\) is the largest eigenvalue of \(x x^t+TT^t\) [1406.1964], [1202.0104]. In Bloch-operator language for a general \(m\times n\) bipartite system, the problem can be written as an optimization over the coefficient matrix \(C=[c_{ij}]\),
\[
D(\rho)=\operatorname{tr}(CC^t)-\max_A \operatorname{tr}(A C C^t A^t),
\]
which underlies several general bounds and exact results [1010.1920].

For Bell-diagonal two-qubit states,
\[
\rho=\frac14\left[I\otimes I+\vec c\cdot(\vec\sigma\otimes\vec\sigma)\right],
\]
the Hilbert–Schmidt discord simplifies to
\[
\mathcal D_G(\rho)=\frac14\left(c_1^2+c_2^2+c_3^2-\max\{c_1^2,c_2^2,c_3^2\}\right),
\]
and the physically allowed region is the tetrahedron in \((c_1,c_2,c_3)\)-space, with the zero-discord Bell-diagonal states lying on the coordinate axes [1303.4827]. This yields a geometric picture in which level sets of constant discord are three intersecting cylinders truncated by the tetrahedron [1303.4827].

Several later works pushed exact Hilbert–Schmidt formulas beyond the original two-qubit setting. A rigorous lower bound stronger than the earlier Luo–Fu bound was derived for arbitrary finite-dimensional bipartite states in terms of the coherence vector \(\vec x\), correlation matrix \(T\), and the eigenvalues of
\[
G=\vec x\,\vec x^t+\frac{2}{n}TT^t,
\]
with the bound becoming exact for \(2\times d\) systems measured on the qubit side [1010.1920]. More recently, an explicit exact analytical value for the GQD of an arbitrary two-qudit state was obtained via the Bloch vector of the measured subsystem, the correlation matrix, and the spectrum of
\[
G(\rho)=\frac{1}{d_1}|r_2\rangle\langle r_2|+\frac14 T_\rho T_\rho^\dagger,
\]
with the important conclusion that a previously known lower bound is in fact the exact value for every two-qudit state [2403.09342].

Further exact or closed formulas were found for structured state families. For two-qubit \(X\) states, both geometric discord and geometric global quantum discord were derived analytically, with the latter satisfying \(D^G(\rho_X)\ge D(\rho_X)\) for all \(X\) states [1406.1964]. For the multiqubit family
\[
\rho=\frac{1}{2^N}\left(I+\sum_{j=1}^3 c_j\,\sigma_j^{\otimes N}\right),
\]
the multipartite geometric discord takes the exact form
\[
D_G^{(N)}(\rho)=\frac{1}{2^N}\left(c_1^2+c_2^2+c_3^2-c^2\right),
\qquad
c=\max\{|c_1|,|c_2|,|c_3|\},
\]
showing an explicit \(2^{-N}\) scaling for fixed correlation coefficients [2104.12344].

## 3. Metric choices, consistency, and the criticism of the Hilbert–Schmidt geometry

A central development in the subject was the realization that the Hilbert–Schmidt version is not a good measure of quantum correlations, because it may increase or change under local reversible operations on the unmeasured subsystem [1302.7034]. For the local ancilla map
\[
\Gamma_b^\sigma:X\mapsto X\otimes \sigma,
\]
one has
\[
D_G(\Gamma_b^\sigma[\rho])=D_G(\rho)\,\operatorname{tr}(\sigma^2),
\]
so simply attaching or removing a mixed local ancilla on the unmeasured side changes the discord value by the ancilla purity factor [1302.7034]. This pathology was traced to the noncontractivity of the Hilbert–Schmidt norm under trace-preserving completely positive maps [1302.7034].

This motivated alternative geometric discords based on better-behaved distances. In the Schatten-\(p\) family,
\[
D_p(\rho)=\min_{\rho_c\in\Omega_0}\|\rho-\rho_c\|_p^p,
\]
the multiplicativity
\[
\|\Gamma_b^\sigma[X]\|_p=\|X\|_p\,\|\sigma\|_p
\]
implies
\[
D_p(\Gamma_b^\sigma[\rho])=D_p(\rho)\,\|\sigma\|_p^p.
\]
Because \(\|\sigma\|_1=\operatorname{tr}(\sigma)=1\), the trace norm is the only Schatten norm for which the value is invariant under this class of local reversible operations, making the \(1\)-norm geometric discord the only consistent Schatten-\(p\) version in that framework [1302.7034]. The trace-distance discord is therefore defined as
\[
D_1(\rho)=\min_{\rho_c\in\Omega_0}\|\rho-\rho_c\|_1,
\qquad
\|X\|_1=\operatorname{tr}\sqrt{X^\dagger X},
\]
and satisfies the contractivity property
\[
D_1(\rho)\ge D_1(\varepsilon_b(\rho))
\]
for any trace-preserving local operation \(\varepsilon_b\) on the unmeasured subsystem [1302.7034].

For Bell-diagonal states the trace-distance discord has the simple formula
\[
D_1=\operatorname{int}[|c_1|,|c_2|,|c_3|],
\]
the intermediate value among the absolute correlation coefficients, and coincides on that family with the negativity of quantumness [1302.7034]. A hierarchy established in this setting is
\[
D_1^2\ge 2D_G\ge \mathcal Q^2,\mathcal N^2,
\]
where \(\mathcal Q\) is entropic discord and \(\mathcal N\) is entanglement negativity [1302.7034].

The Bures-distance construction pursues the same consistency goal from a different direction. The Bures distance
\[
d_B(\rho,\sigma)=\sqrt{2\left(1-\sqrt{F(\rho,\sigma)}\right)}
\]
is contractive under completely positive trace-preserving maps, Riemannian, and linked to the quantum Fisher information [1304.3334]. The corresponding Bures geometric discord is
\[
D_A(\rho)=d_B(\rho,\mathcal C_A)^2
=
2\left(1-\sqrt{F_A(\rho)}\right),
\qquad
F_A(\rho)=\max_{\sigma_{A\text{-cl}}\in\mathcal C_A}F(\rho,\sigma_{A\text{-cl}}),
\]
and vanishes on exactly the same \(A\)-classical states as standard discord [1304.3334]. This suggests that “geometric quantum discord” is not a single quantity but a family of metric-dependent correlation measures sharing the same zero set while differing in contractivity, ordering, and operational meaning.

## 4. Pure states, higher dimensions, multipartite systems, and Gaussian extensions

For pure states, several GQD variants collapse to especially transparent forms. In the Bures case, if
\[
|\Psi\rangle=\sum_i \sqrt{\mu_i}\,|\varphi_i\rangle\otimes|\chi_i\rangle
\]
is in Schmidt form and \(\mu_{\max}\) is the largest Schmidt coefficient, then
\[
D_A(|\Psi\rangle\langle\Psi|)
=
D(|\Psi\rangle\langle\Psi|)
=
E(|\Psi\rangle\langle\Psi|)
=
2\left(1-\sqrt{\mu_{\max}}\right),
\]
so the Bures-GQD coincides with the geometric measure of entanglement for pure states [1304.3334]. In the Hilbert–Schmidt framework used in a recent holographic analysis, the pure-state formula becomes
\[
Q^{(2)}(A:B)=1-\sum_k \lambda_k^4
=
1-e^{-S_2(\rho_A)},
\]
with \(\lambda_k\) the Schmidt coefficients and \(S_2\) the second Rényi entropy [2305.04952].

Multipartite generalizations proceed in more than one way. One line defines discord with respect to a specific subsystem in an \(N\)-partite system and yields a generic tensor formula
\[
D_k(\rho_{12\cdots N})
=
\|\mathcal C\|^2-\max_{A^{(k)}}\|\mathcal C\times_k A^{(k)}\|^2,
\]
where \(\mathcal C\) is the correlation tensor in local operator bases [1202.0104]. Another line defines total quantum correlations by sequential optimal local measurements on all parties, leading to
\[
Q(\rho_{12\cdots N})
=
\|\mathcal C\|^2-
\left\|
\mathcal C\times_1\widetilde A^{(1)}\times_2\widetilde A^{(2)}\times\cdots\times_N\widetilde A^{(N)}
\right\|^2,
\]
with explicit computable formulas for \(N\)-qubit states [1202.0104]. A different multipartite extension, geometric global quantum discord, reduces for two-qubit \(X\) states to a closed formula and coincides with total quantum correlations in the sense of Hassan and Joag [1406.1964].

Continuous-variable Gaussian systems require further restriction because Gaussian local measurements preserve Gaussianity. The Gaussian geometric discord is defined as
\[
D_G(\rho_{AB}^{\mathcal G})
=
\inf_{\Pi_B^{\mathcal G}}
\|
\rho_{AB}^{\mathcal G}-\Pi_B^{\mathcal G}(\rho_{AB}^{\mathcal G})
\|_2^2,
\]
with the optimization restricted to Gaussian POVMs on one subsystem [1110.2532]. For two-mode squeezed thermal states, characterized by \(d=\pm c\) in standard-form covariance matrices, the optimal Gaussian POVM is a noisy heterodyne measurement and the discord becomes
\[
D_G(\Sigma_{AB}^{\rm sts})
=
\frac{1}{ab-c^2}
-
\frac{9}{\left(\sqrt{4ab-3c^2}+\sqrt{ab}\right)^2}
\]
[1110.2532]. A crucial result in this setting is that, without an energy bound, there is no universal positive lower bound on Gaussian geometric discord at fixed entropic discord; one can have arbitrarily small geometric discord and arbitrarily large entropic discord [1110.2532]. This sharpens the distinction between geometric and entropic quantifiers in infinite-dimensional systems.

## 5. Operational interpretations and applications

The Bures formulation has a particularly direct operational meaning. For mixed states, the maximal fidelity \(F_A(\rho)\) to the set of \(A\)-classical states is equal to the optimal success probability of an ambiguous quantum state discrimination task associated with an ensemble \(\{\rho_i,\eta_i\}\) extracted from \(\rho\) [1304.3334]. In this picture, the closer \(\rho\) is to the classical set, the easier it is to discriminate the associated conditional states. The closest zero-discord states are obtained from the corresponding optimal measurements, and for qubit-measured systems the fidelity can be computed from the eigenvalues of a \(2n_B\times 2n_B\) Hermitian matrix \(\Lambda(\vec u)=\sqrt{\rho}\,\sigma_{\vec u}\otimes I\,\sqrt{\rho}\) [1308.5005].

This machinery was applied to the DQC1 output state. If the eigenvalues of the unitary \(U_n\) are \(e^{i\omega_k}\), then
\[
F_A[\rho_{n+1}^{U,\alpha}]
=
\frac12\max_\phi
\left\{
1+\frac1N\sum_{k=1}^N \sqrt{1-\alpha^2\sin^2(\omega_k-\phi)}
\right\},
\]
and the geometric discord is largest when the eigenvalues of \(U_n\) are uniformly distributed on the unit circle modulo symmetry with respect to the origin [1308.5005].

Another operational branch uses the modified \(\rho^{1/2}\)-based geometric discord,
\[
D_G=
\min_{\{\Pi_k^A\}}
\left\|
\rho^{1/2}-\sum_k(\Pi_k^A\otimes I^B)\rho^{1/2}(\Pi_k^A\otimes I^B)
\right\|_2^2,
\]
which behaves better under local operations on the unmeasured subsystem and, for all \(2\times D\) systems, is equivalent up to a constant factor to local quantum uncertainty [2107.14265]. In a lossy N00N-state phase-estimation problem, this quantity satisfies
\[
D_G=\frac{2|t|^{2N}}{1+|t|^{2N}},
\qquad
F_Q=N^2\frac{2|t|^{2N}}{1+|t|^{2N}},
\]
hence
\[
F_Q^{\text{loss}}=D_G\times F_Q^{\text{lossless}},
\]
so the discord exactly measures the fraction of ideal quantum Fisher information surviving the loss channel [2107.14265].

Further applications are dynamical and thermodynamic. In two-spin-\(\tfrac12\) dimers in multiple quantum NMR, Hilbert–Schmidt GQD, entropic discord, and measurement-induced non-locality can all be evaluated analytically on an \(X\)-state family, and they show very similar dependence on inverse temperature and evolution time [1412.4910]. In holographic settings, the pure-state Hilbert–Schmidt GQD of the thermofield double state becomes
\[
Q^{(2)}(L:R)=1-\frac{Z(2\beta)}{Z(\beta)^2},
\]
so nonzero GQD signals non-factorization of the thermal partition function and is tied in that work to the presence of the Einstein–Rosen bridge [2305.04952]. A more recent application to private-state-based quantum key distribution derives a lower bound on the distillable secret key rate in terms of the GQD of \((\sigma_0+\sigma_1)/2\) and \((\sigma_2+\sigma_3)/2\), showing that secret key can still be generated even when the relevant shield states are separable or PPT entangled [2509.04927].

## 6. Dynamics, ordering relations, and unresolved issues

Because GQD is metric-dependent, its dynamical behavior is likewise geometry-dependent. In structured bosonic reservoirs, both trace-distance and Bures-distance discords can be preserved well, and may even be improved and generated by a noisy common reservoir [1402.0301]. For Bell-diagonal states under independent phase-flip channels, Hilbert–Schmidt GQD evolves as
\[
\mathcal D_G(p)=\frac14\left[c_1^2(p)+c_2^2(p)+c_3^2-\max\{c_1^2(p),c_2^2(p),c_3^2\}\right],
\]
with \(c_1(p)=(1-p)^2c_1(0)\), \(c_2(p)=(1-p)^2c_2(0)\), and \(c_3(p)=c_3\), producing a nonanalytic sudden-change point when the maximizing coefficient switches branches [1303.4827]. In that same Bell-diagonal setting, if one requires the Hilbert–Schmidt GQD to remain constant for a finite period under the phase-flip channel, the initial state must be separable [1303.4827].

Multipartite open-system studies reach a different conclusion about robustness. For three-qubit and six-qubit Werner–GHZ states under amplitude damping, phase damping, depolarizing, and flipping channels, multipartite geometric discord is more fragile than global entropic discord, and depolarizing noise is the most destructive channel among those considered [1205.3133]. In another multiqubit family, local phase noise acting on a single qubit produces sudden changes of multipartite geometric discord at
\[
t_0=-\frac{2}{\tau}\ln\frac{\max\{|c_1|,|c_2|\}}{|c_3|},
\]
when \(\max\{|c_1|,|c_2|\}\ge |c_3|\neq 0\), reflecting a switch in the dominant coefficient in the optimization formula [2104.12344].

Ordering relations between geometric and entropic measures are only partly stable. For Bell-diagonal states one has the hierarchy \(D_1^2\ge 2D_G\ge \mathcal Q^2,\mathcal N^2\), but monotonic ordering between \(D_1\), \(D_G\), and entropic discord is preserved only on highly symmetric families such as \(SU(2)\)-symmetric states with \(c_1=c_2=c_3\); it breaks down on less symmetric \(U(1)\)-symmetric families with \(c_1=c_2\neq c_3\) [1302.7034]. In Gaussian systems, fixed entropic discord does not control Hilbert–Schmidt geometric discord without an energy constraint [1110.2532]. This suggests that discord orderings are geometry-sensitive rather than universal.

Two persistent misconceptions are therefore corrected by the literature. First, GQD is not a single canonical quantity; Hilbert–Schmidt, trace, Bures, and \(\rho^{1/2}\)-based versions define distinct measures with distinct mathematical properties [1302.7034], [1304.3334], [2107.14265]. Second, computational simplicity does not by itself justify a metric choice. The Hilbert–Schmidt geometry delivers many closed formulas and useful visualizations, but its noncontractivity under local operations on the unmeasured subsystem remains a decisive limitation for interpreting it as a bona fide measure of quantum correlations [1302.7034]. The subsequent development of trace-distance and Bures-distance discords, together with exact formulas for arbitrary two-qudit states and operational links to discrimination, metrology, and non-factorization, has turned GQD from a convenient surrogate for entropic discord into a technically diverse framework for quantifying nonclassical correlations across finite-dimensional, Gaussian, and multipartite quantum systems [2403.09342], [1308.5005], [2305.04952].

Source: https://www.emergentmind.com/topics/geometric-quantum-discord-gqd