Interior and Mirror Operators

Interior operators can be represented from exterior data in several inequivalent ways: as ordinary operators on the second side of a thermofield double, through modular conjugation for a cyclic and separating state, or as mirror operators defined only on a small state-dependent code. Each construction answers a different domain question. None supplies one state-independent local interior algebra on the full black-hole Hilbert space without further assumptions.

Required background. Quantum Information supplies purification, commutants, modular operators, and code subspaces; Gauge Theory and String-Theory Preparation supplies holographic boundary dictionaries and gauge constraints.

Helpful background. Semiclassical Gravity supplies horizon states and $1/N$ control; Quantum Fields in Curved Spacetime supplies analytic continuation of thermal correlators; Black-Hole Information supplies the AMPS and reconstruction problems.

Thermofield-double continuation

For two identical systems with energy eigenstates $\lvert E_i\rangle$, the thermofield-double state is

$$\lvert\mathrm{TFD}\rangle = \frac{1}{\sqrt{Z(\beta)}} \sum_i e^{-\beta E_i/2} \lvert E_i\rangle_L\lvert E_i\rangle_R.$$

The second boundary provides an ordinary independent algebra. Thermal KMS relations and analytic continuation by an imaginary half-period relate left insertions to appropriately transposed right insertions on this state. In the eternal two-sided geometry, a field behind the horizon can be reconstructed from combinations of the two boundary algebras within a semiclassical code. The geometric and correlator construction is described in Maldacena 2003, §§2–3.

The transpose and thermal factor can be checked without geometry. In the matched energy bases and on a finite-dimensional regulated support,

$$(O_L\otimes I_R)\lvert\mathrm{TFD}\rangle =\left(I_L\otimes e^{-\beta H_R/2}O_R^{\mathsf T}e^{\beta H_R/2}\right) \lvert\mathrm{TFD}\rangle.$$

Comparing coefficients of $\lvert E_i\rangle_L\lvert E_j\rangle_R$ proves the identity. At $\beta=0$ it reduces to the familiar transpose identity for a maximally entangled state. This is equality of action on this particular vector, not equality of left and right operators on arbitrary two-system states. For unbounded operators, the thermal factors also require a common domain.

This is not yet a one-sided black-hole solution. The left algebra is physically present, and its operators are linear and state independent. Replacing it by a state-dependent operator built from the right algebra changes the construction.

Modular conjugation

Let $\mathcal A$ be an exterior von Neumann algebra and let $\lvert\Psi\rangle$ be cyclic and separating for $\mathcal A$. The Tomita operator is defined on the dense set $\mathcal A\lvert\Psi\rangle$ by

$$S_\Psi A\lvert\Psi\rangle =A^\dagger\lvert\Psi\rangle, \qquad S_\Psi=J_\Psi\Delta_\Psi^{1/2}.$$

Modular conjugation maps $\mathcal A$ to its commutant,

$$J_\Psi\mathcal A J_\Psi=\mathcal A'.$$

This gives a mathematically precise mirror-like algebra relative to the pair $(\mathcal A,\lvert\Psi\rangle)$. Both cyclicity and separation matter. If $A\lvert\Psi\rangle=0$ for nonzero $A$, the definition is not faithful; if $\mathcal A\lvert\Psi\rangle$ is not dense in the chosen domain, it does not define the desired operators there.

The modular object changes when the state or algebra changes. It is state relative without being nonlinear in the action of each already defined operator. Confusing this relational dependence with a global, state-independent interior map obscures the domain.

Small-algebra mirror construction

Choose an equilibrium state $\lvert\Psi\rangle$, a “small” exterior algebra $\mathcal A$ of simple operators, and its code-like span $\mathcal H_\Psi=\mathcal A\lvert\Psi\rangle$. For a frequency mode satisfying $[H,O_\omega]=-\omega O_\omega$, a mirror is specified on this span by

$$\widetilde O_\omega A\lvert\Psi\rangle = A e^{-\beta\omega/2}O_\omega^\dagger\lvert\Psi\rangle, \qquad A\in\mathcal A,$$

up to the equilibrium and $1/N$ qualifications. This enforces the desired commutators with simple exterior operators and reproduces thermal two-point functions. The construction and correlator checks are developed in Papadodimas and Raju 2014, §§2–5.

The formula defines action on $\mathcal H_\Psi$, not on every state. If the span has linear relations, consistency must be checked. If two equilibrium code spaces overlap, their mirror prescriptions must agree on the overlap or no single linear extension exists.

Comparison of representations

Construction	Declared domain	Strength	Principal limitation
Thermofield double	Two physical boundary algebras and a semiclassical code	Ordinary linear second-side operators	Does not replace the second side in one pure CFT state
Modular conjugation	Cyclic-separating pair $(\mathcal A,\lvert\Psi\rangle)$	Exact commutant relation on its operator domain	State and algebra relative; unbounded-domain issues matter
Small-algebra mirrors	$\mathcal A\lvert\Psi\rangle$ for one equilibrium family	Matches selected interior correlators perturbatively	State dependence, overlap consistency, and code-size limits
Entanglement-wedge recovery	Fixed code subspace with relative-entropy control	Information-theoretic reconstruction theorem	May be inefficient and only approximate in gravity

The permissive position treats state-dependent mirrors as legitimate effective observables, just as geometry is state relative. A conservative position accepts modular or code-subspace reconstruction but demands one linear operator on every admitted superposition. Strong objections argue that overlapping state-dependent assignments can conflict with linearity or Born-rule predictions; see Harlow 2014, §§2–4 and Marolf and Polchinski 2016, §§2–4.

Results and open questions as of 2026-08-19

This discussion reflects results available through 2026-08-19.

Evidence or argument	State space and assumptions	Limitation or adverse conclusion
Two-sided interior, Maldacena 2003, §§2–3	Thermofield double, two CFTs, semiclassical eternal geometry	Second algebra is physical; not a one-sided mirror construction
State-dependent mirrors, Papadodimas and Raju 2014, §§2–5	Equilibrium state, small algebra, perturbative correlator code	No automatic linear extension to the full Hilbert space
Linearity critique, Harlow 2014, §§2–4	Overlapping state families and consistency of operators	Challenges broad state-dependent assignments; does not exclude every restricted code construction
Born-rule critique, Marolf and Polchinski 2016, §§2–4	Superpositions and state-dependent measurement predictions	Depends on which state family and observables the proposal admits

The controlled result is representation within a declared code or cyclic-separating domain. The extrapolation to a universal smooth interior for arbitrary microstates is unresolved. Competing formulations differ over allowed state dependence, algebra, norm, and operational measurements rather than merely terminology.

An adverse check takes two code spaces with a common vector but incompatible mirror actions on it. No linear operator can satisfy both. Another changes an entangled cyclic-separating state to a product state; the commutant reconstruction can collapse because separation fails.

The conclusions could change after a theorem establishes overlap-consistent mirrors on a parametrically large code, after an explicit Born-rule experiment distinguishes the assignments within their admitted domain, or after nonperturbative holographic reconstruction fixes a unique operator algebra and error norm.

Exercises

For $\lvert\Phi^+\rangle=(\lvert00\rangle+\lvert11\rangle)/\sqrt2$, show that $X_L\lvert\Phi^+\rangle=X_R\lvert\Phi^+\rangle$. Why does the analogous statement fail for the product state $\lvert00\rangle$?

Solution

Both $X_L$ and $X_R$ send $\lvert\Phi^+\rangle$ to $(\lvert10\rangle+\lvert01\rangle)/\sqrt2$. For $\lvert00\rangle$, $X_L$ gives $\lvert10\rangle$, whereas any right-only operator leaves the left factor proportional to $\lvert0\rangle$ and therefore cannot produce $\lvert10\rangle$. The entangled state is cyclic and separating for either one-qubit algebra; the product state is not. Mirror identification depends on the state–algebra pair.

For a sign check, the Pauli operator $Y$ is antisymmetric under transpose, so $Y_L\lvert\Phi^+\rangle=-Y_R\lvert\Phi^+\rangle$. Omitting the transpose would pass the $X$ test while failing the $Y$ test.

References

• Harlow 2014, Daniel Harlow, “Aspects of the Papadodimas–Raju Proposal for the Black Hole Interior,” Journal of High Energy Physics 11 (2014) 055.
• Maldacena 2003, Juan Maldacena, “Eternal Black Holes in Anti-de Sitter,” Journal of High Energy Physics 04 (2003) 021.
• Marolf and Polchinski 2016, Donald Marolf and Joseph Polchinski, “Violations of the Born Rule in Cool State-Dependent Horizons,” Journal of High Energy Physics 01 (2016) 008.
• Papadodimas and Raju 2014, Kyriakos Papadodimas and Suvrat Raju, “State-Dependent Bulk–Boundary Maps and Black Hole Complementarity,” Physical Review D 89 (2014) 086010.