---
title: Python's Lunch Conjecture in Holography
url: https://www.emergentmind.com/topics/python-s-lunch-conjecture-plc
type: topic
---

# Python's Lunch Conjecture in Holography

Python’s Lunch Conjecture (PLC) is a conjectural relation in holography between the **restricted computational complexity** of reconstructing bulk information and the geometry of certain nonminimal extremal or quantum extremal surfaces. In its standard form, for a boundary region \(\mathcal R\) whose entanglement wedge contains a constriction or appetizer \(X^c_{\mathcal R}\) and a deeper bulge \(X^b_{\mathcal R}\), the reconstruction cost is expected to scale as
\[
\mathcal C(\mathcal R)\sim \exp\!\left(\frac{S_{\mathrm{gen}}(X^b_{\mathcal R})-S_{\mathrm{gen}}(X^c_{\mathcal R})}{2}\right),
\]
with the exponent interpreted as the amount of post-selection that must be overcome when reconstructing the wedge beyond the outermost extremal surface [1912.00228]. The conjecture was formulated to give a geometric account of the Harlow–Hayden hardness of decoding Hawking radiation and has since been elaborated through Petz-map reconstruction, explicit AdS and JT geometries, cryptographic tests, and tensor-network model building [2003.03406].

## 1. Origin in decoding Hawking radiation and restricted complexity

The original motivation for PLC is the distinction between **information-theoretic reconstructability** and **efficient reconstructability** in black hole evaporation. After the Page time, the Hawking radiation contains the information needed to purify late modes and, in the entanglement-wedge sense, encodes interior data. The conjectural difficulty is not whether reconstruction exists, but whether it can be carried out efficiently when operations are restricted to a single side, such as the radiation system alone [1912.00228].

This distinction is central. In the unrestricted setting, one may use gates acting across both sides of the black hole–radiation system, and the relevant complexity can remain comparable to wormhole volume or action. In the restricted setting, one is allowed to act only on the radiation or only on one boundary subregion. PLC asserts that these two notions of complexity can differ exponentially. The proposed geometric reason is a specific obstruction in the Einstein–Rosen bridge: instead of a monotone throat, the bridge contains a **min-max-min** structure, with a narrow bottleneck, a wider interior bulge, and then another narrowing. That bulge is the “python’s lunch” [1912.00228].

In the strong form used in later work, operators in the simple or outer wedge are reconstructible with polynomial complexity, whereas operators behind the appetizer are exponentially complex to reconstruct. In semiclassical regimes, the generalized-entropy gap is typically of order \(\mathcal O(1/G_N)\), so the conjectured reconstruction cost is exponentially large in \(1/G_N\) [2407.14589].

## 2. Geometric formulation

The conjecture is naturally stated in the language of RT/HRT and quantum extremal surfaces. For a boundary region \(A\), the generalized entropy of an extremal surface \(\gamma\) is
\[
S_{\mathrm{gen}}(\gamma)=\frac{A[\gamma]}{4G_N}+S_{\Sigma[\gamma]},
\]
and the entanglement wedge is determined by the minimal such surface [2411.10527]. In the classical time-reflection-symmetric setting, one often distinguishes three surfaces associated with a boundary region \(\mathcal R\): the globally minimal RT surface \(X_{\mathcal R}\), the **constriction** \(X^c_{\mathcal R}\), which is the outermost locally minimal surface, and the **bulge** \(X^b_{\mathcal R}\), an index-1 extremal surface lying deeper in the wedge [2401.06678].

In the QES language used in covariant treatments, the outer locally minimal nonminimal surface is often called the **appetizer** or **throat**, while the deeper nonminimal extremal surface is the **bulge**. The lunch is the region between the minimal QES and the appetizer, with the bulge controlling the complexity barrier beyond the appetizer [2411.10527]. In this formulation, PLC is the claim that the complexity of reconstructing past the appetizer is exponential in the bulge-to-appetizer generalized-entropy gap [1912.00228].

Later work broadened the conjecture beyond the original spacelike-separated setup. Explicit Lorentzian examples were constructed with **timelike-separated bulges** and **timelike-separated throats**, and a third local QES type, the **bounce**, was identified. In that analysis, the Hessian of the generalized entropy yields an exhaustive trichotomy of nondegenerate QESs into throats, bulges, and bounces, and the conjecture was reformulated so that the relevant bulge and throat need not lie on a single Cauchy slice [2308.16226]. A notable implication is that the gravitational analogue of the tensor network governing reconstruction need not coincide with the time-reflection-symmetric slice, even when such a slice exists [2308.16226].

## 3. Complexity mechanism: post-selection, Grover scaling, and the Petz map

The tensor-network motivation for PLC is a **projective network** picture. The network narrows at the appetizer, and the narrowing is modeled by projections onto fixed states. Reconstruction of information hidden behind the narrowing then requires inverting post-selection. If \(m\) qubits are projected, naive measure-and-retry costs \(\sim 2^m\), while a Grover-style protocol reduces this to \(\sim 2^{m/2}\). This provides the microscopic rationale for the factor of \(1/2\) in the exponent of the PLC formula [1912.00228].

A complementary perspective comes from entanglement-wedge reconstruction via the **Petz map**. In the code-subspace setup, with isometric embedding \(V:\mathcal H_{\text{code}}\to\mathcal H_{\text{CFT}}\), the boundary reconstruction of a bulk operator \(W\) on a subsystem \(A\) is
\[
W_A=\sigma_A^{-\frac12}\,\operatorname{tr}_{\bar A}(V W V^\dagger)\,\sigma_A^{-\frac12},
\qquad
\sigma_A=\operatorname{tr}_{\bar A}(VV^\dagger).
\]
Under perfect recovery, this reconstruction can be written as a precursor,
\[
W_A=U W U^\dagger
\quad\text{or}\quad
W_A=\tilde U W \tilde U^\dagger,
\]
depending on whether the entire relevant boundary system or only a subsystem is available [2003.03406].

This reformulation makes the complexity comparison explicit. When the whole boundary is accessible, the reconstruction complexity is controlled by the horizontal circuit and tracks the volume or action of the wormhole segment from the bulk operator to the boundary. When one loses access to \(n\) qubits, the reduced reconstruction circuit acquires a python’s-lunch structure with \(S_{\max}-S_{\min}\sim 2n\), so
\[
\mathcal C(\tilde U)\sim e^{\frac12(S_{\max}-S_{\min})}\sim e^n.
\]
The same analysis gives a post-selection success probability of order \(e^{-2n}\) and hence an implementation cost scaling like \(e^n\) [2003.03406]. In this sense, PLC is not merely an abstract statement about bulk depth; it is a claim that **partial loss of boundary access can induce an exponential jump in reconstruction cost**.

## 4. Explicit geometric realizations

Several papers constructed explicit spacetimes exhibiting python’s-lunch structure. In Jackiw–Teitelboim gravity coupled to a massless scalar field, fully back-reacted solutions were found in which the minimal QES, bulges, and appetizers all lie **inside the horizon**. The null focusing equation implies that any extremum of the dilaton lies behind the horizon when the null energy condition holds. In this framework, Python’s lunches arise for nonchiral deformations, while purely chiral deformations produce no classical lunch [2112.04224].

In \((2+1)\)-dimensional AdS gravity with positive-energy dust, a broad class of exact solutions was constructed, culminating in a localized dust profile for which the wormhole width function develops **two local minima and an intermediate local maximum**. This gives a direct metric realization of a python’s-lunch geometry in asymptotically AdS spacetime without exotic matter [2006.10762].

Systematic studies of bulges then revealed that they differ sharply from familiar RT surfaces. Bulges can spontaneously break continuous or discrete spatial isometries, can be sensitive to the infrared regulator, can self-intersect, and can probe entanglement shadows, orbifold singularities, and compact internal spaces such as the sphere in \(AdS_p\times S^q\). Within the PLC interpretation, these features imply that holographic complexity can behave qualitatively differently from entanglement entropy. The same analysis found that extended black brane interiors have a **non-extensive** complexity and that multi-boundary wormholes exhibit **plateau** behavior, where adding more boundaries does not further reduce the reconstruction cost once an optimal subsystem has been included [2401.06678].

An asymptotically flat realization was later developed using multi-boundary Brill–Lindquist wormholes. There, index-1 extremal surfaces in the wormhole interior were interpreted as candidate bulges, and their area differences were used to compute the restricted complexity of decoding Hawking radiation. The \(n=3\) and \(n=4\) models reproduce a Page curve, while in the \(n=4\) case the “lunch transition” occurs near
\[
\frac{|\gamma_{\rm BH}(\tau_{\text{Lunch}})|}{|\gamma_0|}\approx 0.48,
\]
close to the benchmark value \(1/2\) emphasized in the Brown-et-al. story [2507.05363].

## 5. Tests, refinements, and related frameworks

PLC has also been probed indirectly through information-theoretic and cryptographic constructions. A 2024 study used **conditional disclosure of secrets** to derive a boundary-information consequence of the projective tensor-network model: the mutual information between suitable boundary subregions should be lower bounded linearly by an area difference associated with the lunch. Weakened versions of this statement were proven in asymptotically \(AdS_{2+1}\) spacetimes satisfying the null energy condition, and explicit examples were checked. At the same time, the paper found counterexamples to a stronger unrestricted linear mutual-information bound in vacuum \(AdS_{2+1}\) with two intervals, showing that naive forms of the conjectural bound cannot be universal [2411.10527].

Another line of work connected PLC to **entanglement spoofing**. For geometric large-\(N\) EFI pairs, statistical far-ness together with computational indistinguishability implies that at least one state must contain a python’s lunch. For pseudoentangled state ensembles with a semiclassical bulk dual, the maximally mixed state over the low-entanglement ensemble must contain a lunch. Because a python’s lunch must lie behind an event horizon in this analysis, black holes become the exclusive semiclassical gravitational source of entanglement spoofing [2407.14589].

Tensor-network model building has also complicated the simplest version of PLC. A 2026 paper argued that **generic random tensor networks** do not naturally realize the PLC exponent, because the conjecture tacitly assumes a property dubbed **computational covariance**: for every foliation by everywhere non-contracting cuts, each elementary step should be an approximate isometry or unitary of subexponential complexity in \(\log D\). To address this, the paper introduced **twirled perfect tensor networks**, which preserve the perfect-tensor isometric structure while avoiding stabilizer triviality. These networks satisfy a PLC-type upper bound and obey a lattice RT formula for arbitrary boundary subregions, but they also exhibit a discrete limitation from local postselection that the authors argue should be absent in smooth gravity [2605.23670].

## 6. Status, caveats, and overloaded terminology

PLC remains a conjecture rather than a theorem of semiclassical gravity. The geometric, tensor-network, and cryptographic results give multiple forms of evidence, but they do not amount to a general proof. Even in explicit tensor-network models, the precise exponent can depend on structural assumptions that are not generic. The distinction between unrestricted and restricted complexity, the role of code-subspace choice, and the validity of projective tensor-network heuristics are all essential to interpreting the conjecture correctly [1912.00228].

Several common misconceptions follow from omitting these qualifiers. First, PLC is **not** merely a restatement of complexity-volume or complexity-action duality: those proposals address unrestricted complexity, whereas PLC concerns one-sided or subsystem-restricted reconstruction [1912.00228]. Second, bulges are not simply “larger RT surfaces”: they are nonminimal extremal or QES objects with distinct Morse-theoretic and covariant properties, and later work shows that they need not preserve symmetries or even lie on a common Cauchy slice with the relevant constrictions [2401.06678]. Third, not every tensor-network realization of a lunch reproduces the original exponent; the random-tensor-network critique and the introduction of computational covariance make this point explicit [2605.23670].

The acronym **PLC** is also overloaded outside holography. In TFNP complexity theory, PLC denotes **polynomial long choice**, the class of search problems reducible to Long Choice; this use is unrelated to Python’s Lunch in gravity [2209.07625; 2312.04051]. An unrelated 2018 number-theoretic paper also used the phrase “Python’s Lunch Conjecture” for a conjecture about LCM-closed sets equivalent to Frankl’s union-closed sets conjecture [1808.09247]. In contemporary high-energy usage, however, “Python’s Lunch Conjecture” refers to the holographic reconstruction-complexity conjecture tied to bulges, constrictions, and generalized-entropy gaps.

Source: https://www.emergentmind.com/topics/python-s-lunch-conjecture-plc