Multipartite Markov Gap in Quantum & Holographic Systems

• Multipartite Markov gap is defined as the difference between reflected entropy and mutual information, serving as a diagnostic of non-Markovian quantum correlations.
• It generalizes to higher-party systems by employing reflected multi-entropy, yielding geometric interpretations such as entanglement-wedge cuts in holography.
• Applications include detecting irreducible tripartite structures in quantum many-body systems and probing topological phase transitions in holographic semimetals.

The multipartite Markov gap is a family of entropic diagnostics that quantify the failure of a multipartite quantum state to behave as a quantum Markov chain. In its basic form, it is defined as the difference between reflected entropy and mutual information; for pure tripartite states this difference reduces to a conditional mutual information, making the quantity a computable witness of irreducible tripartite structure. More recent work has extended the construction to higher-party settings through reflected multi-entropy and related multipartite entropic combinations, especially in holography, where the gap acquires a geometric interpretation in terms of entanglement-wedge cuts and recoverability obstructions. The same phrase also appears in a distinct, non-entanglement context in spectral compression of lumpable Markov chains, so the term is currently field-dependent rather than uniquely standardized (Berthiere, 2024, Iizuka et al., 21 Jul 2025, Kiriukhin, 12 Apr 2026).

1. Core definition and tripartite identity

For a bipartite mixed state $\rho_{AB}$, the basic Markov gap is

$h(A:B)=S_R(A:B)-I(A:B),$

where $I(A:B)=S(A)+S(B)-S(AB)$ is the mutual information and $S_R(A:B)$ is the reflected entropy obtained from the canonical purification. By strong subadditivity, $h(A:B)\ge 0$, and $h(A:B)=0$ if and only if $\rho_{AB}$ is a quantum Markov chain; equivalently, $\rho_{AB}$ saturates strong subadditivity. The same construction admits the canonical-purification identity

$h(A:B)=I(A':B'|AB),$

so the gap is literally a conditional mutual information in the purified four-party state, and it lower bounds the relative-entropy distance to the set of quantum Markov states (Mori, 2 Jun 2025).

In the tripartite setting used in nonequilibrium many-body physics, one considers three contiguous regions $A$, $h(A:B)=S_R(A:B)-I(A:B),$0, and $h(A:B)=S_R(A:B)-I(A:B),$1 and defines

$h(A:B)=S_R(A:B)-I(A:B),$2

When $h(A:B)=S_R(A:B)-I(A:B),$3 is pure, this quantity coincides with

$h(A:B)=S_R(A:B)-I(A:B),$4

since $h(A:B)=S_R(A:B)-I(A:B),$5. Positivity of $h(A:B)=S_R(A:B)-I(A:B),$6 signals that the tripartite correlations cannot be reduced to a classical-Markov chain or to purely bipartite entanglement. In the formulation given for the XX chain, there is no decomposition

$h(A:B)=S_R(A:B)-I(A:B),$7

that is consistent with the marginals unless $h(A:B)=S_R(A:B)-I(A:B),$8. The same source also emphasizes a limitation: this witness does not detect GHZ-type three-party entanglement (Berthiere, 2024).

Quantity	Definition	Special reduction
Bipartite Markov gap	$h(A:B)=S_R(A:B)-I(A:B),$9	$I(A:B)=S(A)+S(B)-S(AB)$0 iff quantum Markov chain
Tripartite Markov gap	$I(A:B)=S(A)+S(B)-S(AB)$1	For pure $I(A:B)=S(A)+S(B)-S(AB)$2, $I(A:B)=S(A)+S(B)-S(AB)$3
Multipartite Markov gap	$I(A:B)=S(A)+S(B)-S(AB)$4	For $I(A:B)=S(A)+S(B)-S(AB)$5, reduces to $I(A:B)=S(A)+S(B)-S(AB)$6

2. Multipartite generalizations

A higher-party construction was proposed by replacing reflected entropy with a reflected multi-entropy. For a pure state on $I(A:B)=S(A)+S(B)-S(AB)$7, one first traces out one subsystem, canonically purifies the resulting $I(A:B)=S(A)+S(B)-S(AB)$8-party mixed state, and then computes the reflected multi-entropy $I(A:B)=S(A)+S(B)-S(AB)$9. The multipartite mutual-information analogue is

$S_R(A:B)$0

which leads to

$S_R(A:B)$1

In holographic states, this quantity is nonnegative. It vanishes when the entanglement wedge splits so that the multiway cut is trivial, or equivalently when the reflected multi-entropy saturates its lower bound. A coarse-graining inequality was also established,

$S_R(A:B)$2

so merging regions cannot increase reconstructability (Iizuka et al., 21 Jul 2025).

Parallel multipartite extensions were introduced through three symmetric quantities:

$S_R(A:B)$3

The first sums reflected-entropy-minus-mutual-information terms over the three one-vs-rest bipartitions, the second replaces reflected entropy with odd entanglement entropy, and the third is a purely von Neumann-entropy cyclic combination. All three are nonnegative, permutation-symmetric, and reduce to the bipartite gap in the appropriate limit. In the same framework, a genuine reflected multi-entropy $S_R(A:B)$4 was proposed to vanish on states lacking full $S_R(A:B)$5-party entanglement; for $S_R(A:B)$6 and in the $S_R(A:B)$7 Rényi case it matches twice the genuine Rényi-2 multi-entropy. This refinement was introduced precisely because the multipartite Markov gap can remain nonzero on states that do not possess full $S_R(A:B)$8-party structure (Mori, 2 Jun 2025, Iizuka et al., 21 Jul 2025).

3. Holographic meaning and recoverability

In holography, the Markov gap is computed from minimal bulk surfaces. For two boundary regions $S_R(A:B)$9 and $h(A:B)\ge 0$0, reflected entropy is related to the entanglement wedge cross section, while mutual information is constructed from Ryu–Takayanagi surfaces. In the multipartite proposal, the ordinary reflected entropy is replaced by reflected multi-entropy, and its bulk dual is a minimal entanglement-wedge multiway cut anchored on the RT surface of the union $h(A:B)\ge 0$1. The resulting gap is the leftover area after subtracting the single-region RT contribution, and it measures a geometric obstruction to collapsing the multiway cut to the union of individual RT surfaces (Iizuka et al., 21 Jul 2025).

This geometric formulation is also an information-theoretic statement about recoverability. In the bipartite or purified-tripartite limit one may write

$h(A:B)\ge 0$2

with $h(A:B)\ge 0$3 the auxiliary purifying copy. Vanishing gap implies exact recovery of the state from $h(A:B)\ge 0$4 by a recovery channel acting on $h(A:B)\ge 0$5 alone, via the Petz or rotated-Petz theorems. A nonzero gap lower-bounds the fidelity deficit in approximate recovery through

$h(A:B)\ge 0$6

Numerical studies on four-qubit toy states in the $h(A:B)\ge 0$7 Rényi approximation reported a threshold gap $h(A:B)\ge 0$8 below which the recovery fidelity rises to unity. In the holographic nodal-line setup, a symmetrized tripartite version

$h(A:B)\ge 0$9

was proposed, although for the strip/complement configuration used there it reduces to $h(A:B)=0$0 (Iizuka et al., 21 Jul 2025, Chen et al., 2 Feb 2026).

4. Static and dynamical realizations in quantum many-body systems

A static realization appears in two-dimensional chiral topological liquids. Using the vertex-state and conformal-interface construction, the Markov gap

$h(A:B)=0$1

was found to be universal in the three-vertex state:

$h(A:B)=0$2

The same $h(A:B)=0$3 persists for arbitrary $h(A:B)=0$4-vertex states in rational conformal field theories and for adjacent pairs of regions. Area-law terms, corner contributions, and the topological pieces appear in both $h(A:B)=0$5 and $h(A:B)=0$6 and cancel in the difference, leaving only the universal $h(A:B)=0$7 term. For the free real-fermion CFT with $h(A:B)=0$8, Gaussian correlation-matrix numerics for $h(A:B)=0$9 gave $\rho_{AB}$0, matching $\rho_{AB}$1 (Liu et al., 2023).

A dynamical realization was developed for global quenches in the XX spin chain from the “triplet-generator” initial state

$\rho_{AB}$2

In the free-fermion formulation, one computes $\rho_{AB}$3 from correlation matrices and obtains

$\rho_{AB}$4

In the hydrodynamic limit, the quasiparticle picture predicts an initial latency

$\rho_{AB}$5

with $\rho_{AB}$6 for $\rho_{AB}$7, followed by a sharp rise once triplets can be simultaneously shared by $\rho_{AB}$8, $\rho_{AB}$9, and $\rho_{AB}$0. For unequal subsystems there is a second rise at

$\rho_{AB}$1

The gap then reaches a maximum—the “entanglement barrier”—and decays algebraically, roughly as $\rho_{AB}$2. For equal subsystems, finite-size curves of $\rho_{AB}$3 collapse onto a universal hydrodynamic curve that is zero for $\rho_{AB}$4, rises steeply near $\rho_{AB}$5, peaks at $\rho_{AB}$6, and decays as $\rho_{AB}$7. Free-fermion numerics for subsystem sizes from $\rho_{AB}$8 to $\rho_{AB}$9 reproduced the predicted delay, plateau, barrier, and tail (Berthiere, 2024).

5. Topological semimetals and anisotropic infrared scaling

In strongly coupled holographic nodal-line semimetals, the Markov gap was used as a nonlocal probe of topological phase transitions. For two equal-width strips of width $h(A:B)=I(A':B'|AB),$0 separated by the same distance $h(A:B)=I(A':B'|AB),$1, the large-$h(A:B)=I(A':B'|AB),$2 behavior is

$h(A:B)=I(A':B'|AB),$3

with anisotropic exponents determined by the IR Lifshitz scaling exponent $h(A:B)=I(A':B'|AB),$4:

$h(A:B)=I(A':B'|AB),$5

Across the transition controlled by $h(A:B)=I(A':B'|AB),$6, the model exhibits three IR geometries with $h(A:B)=I(A':B'|AB),$7 in the topologically nontrivial phase, $h(A:B)=I(A':B'|AB),$8 at the critical point $h(A:B)=I(A':B'|AB),$9, and $A$0 in the trivial phase. Accordingly, $A$1 changes from about $A$2 to $A$3, while $A$4 changes from about $A$5 to $A$6. Since $A$7 in all phases as $A$8, the phases remain short-range entangled; the order parameter is instead the decay exponent, or equivalently the large-$A$9 value of $h(A:B)=S_R(A:B)-I(A:B),$00, which develops a sharp kink at the critical point (Chen et al., 2 Feb 2026).

In the zero-temperature holographic Weyl semimetal, the tripartite Markov gap was likewise computed for strip regions. In the nontrivial and trivial phases, both $h(A:B)=S_R(A:B)-I(A:B),$01 and $h(A:B)=S_R(A:B)-I(A:B),$02 decay as $h(A:B)=S_R(A:B)-I(A:B),$03 at large $h(A:B)=S_R(A:B)-I(A:B),$04. At the critical Lifshitz solution, the exponents become direction-dependent:

$h(A:B)=S_R(A:B)-I(A:B),$05

with $h(A:B)=S_R(A:B)-I(A:B),$06, giving numerical exponents $h(A:B)=S_R(A:B)-I(A:B),$07 and $h(A:B)=S_R(A:B)-I(A:B),$08. At fixed large $h(A:B)=S_R(A:B)-I(A:B),$09, $h(A:B)=S_R(A:B)-I(A:B),$10 develops a peak near the critical value $h(A:B)=S_R(A:B)-I(A:B),$11, whereas $h(A:B)=S_R(A:B)-I(A:B),$12 shows a dip. The angular dependence $h(A:B)=S_R(A:B)-I(A:B),$13 further resolves anisotropy: the residual coefficient for the Markov gap is $h(A:B)=S_R(A:B)-I(A:B),$14 in the nontrivial phase and $h(A:B)=S_R(A:B)-I(A:B),$15 in the trivial phase, while the sharpness exponent is of order $h(A:B)=S_R(A:B)-I(A:B),$16 versus $h(A:B)=S_R(A:B)-I(A:B),$17. In this setting, $h(A:B)=S_R(A:B)-I(A:B),$18 was interpreted as a signal of genuine tripartite entanglement not reducible to a convex mixture of bipartite “triangle states” (Chen et al., 4 Jun 2026).

6. Limits of detection and terminological divergence

The multipartite Markov gap is not a universal detector of all forms of multipartite entanglement. In the XX-chain formulation, positive $h(A:B)=S_R(A:B)-I(A:B),$19 witnesses irreducible tripartite entanglement but does not detect GHZ-type three-party entanglement (Berthiere, 2024). In the higher-party reflected-multi-entropy framework, the analogous limitation is structural: $h(A:B)=S_R(A:B)-I(A:B),$20 can already be nonzero on a $h(A:B)=S_R(A:B)-I(A:B),$21-party entangled state, which is why the genuine reflected multi-entropy was introduced. The four-qubit examples in that work sharpen the distinction: GHZ states give vanishing multipartite gaps and vanishing genuine gaps, whereas W states give strictly positive values for both (Iizuka et al., 21 Jul 2025).

A separate terminological divergence occurs in finite-state reversible Markov chains. In a six-state lumpable model with $h(A:B)=S_R(A:B)-I(A:B),$22, the phrase “multipartite Markov gap” was used for the strict inequality between a relaxed determinant benchmark

$h(A:B)=S_R(A:B)-I(A:B),$23

and a partition-constrained benchmark

$h(A:B)=S_R(A:B)-I(A:B),$24

For the explicit model analyzed there,

$h(A:B)=S_R(A:B)-I(A:B),$25

so

$h(A:B)=S_R(A:B)-I(A:B),$26

This usage concerns spectral compression by partition-indicator frames rather than entanglement, and its “gap” refers to a strict mismatch between relaxed orthonormal frames and genuine partitions. The coexistence of this stochastic-process meaning with the entanglement-theoretic meaning indicates that “multipartite Markov gap” currently names a family of field-specific constructions rather than a single universally fixed object (Kiriukhin, 12 Apr 2026).