Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 354 / 2 / b

Let ${\gamma }_1$ and ${\gamma }_2$ be the individual Ryu–Takayanagi surfaces for $D_1$ and $D_2$. Their disconnected union ${\gamma }_1\cup {\gamma }_2$ is homologous to $D_1\cup D_2$ and is therefore an admissible competitor in the minimization that defines ${\gamma }_{12}$. Minimality givesDividing by $4G$ provesand hence the leading holographic mutual information obeysThis is the geometric realization of the nonnegativity of quantum mutual information.

There are two competing extremal-surface topologies. The disconnected candidate ${\gamma }_1\cup {\gamma }_2$ has area independent of the separation $L$ and gives $I_c=0$. A connected surface joining the two boundary circles can have smaller area when the gap is small; as $L\to 0$, short-distance entanglement across the nearby boundaries makes $I_c$ positive and divergent.

Increasing $L$ makes the connected candidate less favorable. At a critical separation $L=C(R_1,R_2)$ its area equals the disconnected area, and beyond that point the disconnected candidate is minimal. This entanglement-wedge phase transition gives

Write $S_{\mathrm{conn}}(L)$ for the connected candidate andfor the $L$-independent disconnected candidate. The physical entropy is the lower envelopeNear $L=C$, the connected branch rises to meet the horizontal disconnected branch. The entropy is continuous but generically has a kink there: its derivative jumps from the positive slope of $S_{\mathrm{conn}}$ to zero. Correspondingly, $I_c=S_{\mathrm{disc}}-S(D_1\cup D_2)$ falls to zero and remains zero.