Research labels confer no theorem premises

This bounded source-status report distinguishes research questions, reported source results, and adopted physical postulates. A generalized second law (GSL) in these sources is nondecrease of $S_{\mathrm{g}\mathrm{e}\mathrm{n}}=A\mathrm{/}(4G_N)+S_{\mathrm{o}\mathrm{u}\mathrm{t}}$ as the horizon cut moves to the future, in their natural units; $A$ is cut area and $S_{\mathrm{o}\mathrm{u}\mathrm{t}}$ is the entropy of exterior quantum fields. The fixed-coupling equation is an effective model below its supplied cutoff; it adopts a field equation and causal prescription but does not assert existence, uniqueness, or stability of a solution. A cut-associated horizon algebra here is a unital complex $\ast$-subalgebra $\mathcal{A}\subseteq \mathcal{B}(\mathcal{H})$ of bounded operators on a Hilbert space $\mathcal{H}$, assigned by a specified model to the exterior of a horizon cut and closed in the weak-operator topology; weak-operator convergence means $⟨T_{i}u,v⟩\to ⟨Tu,v⟩$ for every $u,v\in \mathcal{H}$. For a density operator $\rho$ (a positive trace-class operator of trace one on a Hilbert space) and its trace, its von Neumann entropy is $S_{\mathrm{v}\mathrm{N}}(\rho )=-\mathrm{Tr}(\rho \log \rho )$, with $0\log 0:=0$. The horizon-algebra hypotheses in the cited proofs include the required relations between these algebras for ordered cuts and the stated reference modular flow. “Semiclassical” means that the metric is treated as a classical background while quantum matter, and any explicitly retained perturbative gravitational degrees of freedom, are evaluated at the stated order. Wall's proof requires its specified horizon algebras and their inclusion, semiclassical gravitational assumptions, and compatible renormalized-entropy limits; it does not supply the solution or limit hypotheses of the open problem.

Let $(M,g)$ be a smooth Lorentzian manifold with signature $(-,+,\dots ,+)$ and Levi-Civita connection $\mathrm{\nabla }$, the unique torsion-free, metric-compatible connection. A smooth vector field $\xi$ is Killing when ${\mathrm{\nabla }}_a{\xi }_b+{\mathrm{\nabla }}_b{\xi }_a=0$, equivalently ${\mathcal{L}}_{\xi }g=0$, where ${\xi }_b:=g_{bc}{\xi }^c$. A Killing horizon is a smooth embedded codimension-one null hypersurface $H\subset M$ whose induced metric has a one-dimensional radical, on which $\xi$ is null, tangent, and normal, with $\xi$ nonzero except possibly on a bifurcation surface $B$. A bifurcate Killing horizon is a pair of such hypersurfaces meeting at a spacelike codimension-two surface $B$ where $\xi =0$ and is nonzero on each horizon away from $B$. A state on $\mathcal{A}$ is a positive normalized linear functional; it is faithful if $\omega (a^{\ast }a)=0$ implies $a=0$, and normal if it is ultraweakly continuous. For such a faithful normal state $\omega$, let $({\pi }_{\omega },{\mathcal{H}}_{\omega },{\mathrm{\Omega }}_{\omega })$ be its GNS representation, obtained by completing $\mathcal{A}\mathrm{/}{\mathcal{N}}_{\omega }$ for ${\mathcal{N}}_{\omega }:=\{a\in \mathcal{A}:\omega (a^{\ast }a)=0\}$ with inner product $⟨[a],[b]⟩:=\omega (a^{\ast }b)$, representation ${\pi }_{\omega }(c)[b]:=[cb]$, and cyclic vector ${\mathrm{\Omega }}_{\omega }:=[1]$, let $S_{\omega }$ be the closure of the antilinear map ${\pi }_{\omega }(a){\mathrm{\Omega }}_{\omega }\mapsto {\pi }_{\omega }(a^{\ast }){\mathrm{\Omega }}_{\omega }$, and put ${\mathrm{\Delta }}_{\omega }=S_{\omega }^{\ast }{S}_{\omega }$. The modular automorphism group is defined by ${\pi }_{\omega }({\sigma }_t^{\omega }(a))={\mathrm{\Delta }}_{\omega }^{it}{\pi }_{\omega }(a){\mathrm{\Delta }}_{\omega }^{-it}$. For this modular action, on the Hilbert space $L^2(\mathbb{R},ds;{\mathcal{H}}_{\omega })$ of square-integrable ${\mathcal{H}}_{\omega }$-valued functions, define $(\mathrm{\Pi }(a)f)(s):={\pi }_{\omega }({\sigma }_{-s}^{\omega }(a))f(s)$ and $(U(t)f)(s):=f(s-t)$. The crossed product $\mathcal{A}{⋊}_{{\sigma }^{\omega }}\mathbb{R}$ is the weak-operator-closed unital $\ast$-algebra generated by $\mathrm{\Pi }(\mathcal{A})$ and these $U(t)$ for $t\in \mathbb{R}$; this regular representation satisfies $U(t)\mathrm{\Pi }(a)U(t{)}^{\ast }=\mathrm{\Pi }({\sigma }_t^{\omega }(a))$. The gravitational crossed products in the cited papers also adjoin the stated gravitational charges and impose the corresponding constraints. Faulkner and Speranza derive a GSL for arbitrary cuts of a Killing horizon in this construction when the reference modular flow is geometric on the horizon. Their semiclassical states have a slowly varying wavefunction for the asymptotic gravitational-charge reference variable, so the conjugate time-shift fluctuations are suppressed. In that limit the algebra entropy agrees with their generalized entropy up to a state-independent constant. Their computed corrections start at second order in the semiclassical expansion, but they do not establish monotonicity after including those corrections. A Type II factor, used in the stationary-algebra results, is a von Neumann algebra with scalar center, no minimal projections, and a faithful normal semifinite trace; Type II${}_{\mathrm{\infty }}$ means its identity has infinite trace.

A dynamical quantum-reference-frame (QRF) cut in Kirklin's ideal model is an auxiliary Hilbert factor $H_a=L^2(\mathbb{R},d{v}_a)$ for each cut, with ${\widehat{v}}_a$ the self-adjoint multiplication operator $({\widehat{v}}_a\psi )(v_a)=v_a\psi (v_a)$ on domain $\{\psi \in L^2(\mathbb{R}):v_a\psi \in L^2(\mathbb{R})\}$; $v_a$ is the cut's affine horizon coordinate. Its conjugate translation generator is ${\widehat{k}}_a=-i{\mathrm{\partial }}_{v_a}$ with domain $\{\psi \in L^2(\mathbb{R}):{\mathrm{\partial }}_{v_a}\psi \in L^2(\mathbb{R})\text{ as a weak derivative}\}$ and $e^{-is{\widehat{k}}_a}\psi (v_a)=\psi (v_a-s)$. The source's self-adjoint boost/dilation generator is ${\widehat{d}}_a:=\pi ({\widehat{v}}_a{\widehat{k}}_a+{\widehat{k}}_a{\widehat{v}}_a)$, defined as the closure from the dense space $\{\psi \in C^{\mathrm{\infty }}(\mathbb{R}):{\sup }_{v\in \mathbb{R}}\mathrm{\mid }{v}^m{\psi }^{(n)}(v)\mathrm{\mid }<\mathrm{\infty }\text{ for all }m,n\in {\mathbb{N}}_0\}$. The exterior region is defined relationally by this quantum location, rather than by a fixed classical cut. For an earlier cut $S_b$ and later cut $S_a$, the source defines $H_{S_a\mathrm{\mid }{S}_b}:={\widehat{d}}_a-2\pi {\widehat{v}}_b{\widehat{k}}_a$, the generator of the later cut's boost around the earlier cut. Perturbative gravity here means that gravitational degrees of freedom are quantized order by order about a classical spacetime background. For ordered cuts, Kirklin proves the exact inequality $S(N_a)\ge S(N_b)+F(S_a\in N_b),F(S_a\in N_b)=⟨H_{S_a\mathrm{\mid }{S}_b}{⟩}_{\mathrm{\Phi }}-S_{S_a\in N_b}[\mathrm{\Phi }],$ for the von Neumann entropies of their outside-region algebras. Here $N_a\subset N_b$ are the exterior regions of the later and earlier cuts; ${\mathcal{A}}_{N_a}^G$ and ${\mathcal{A}}_{N_b}^G$ are the source's gauge-invariant von Neumann algebras assigned to them. The later-cut subalgebra ${\mathcal{A}}_{S_a\in N_b}^G$ is Type I, meaning it is isomorphic as a von Neumann algebra to the full bounded-operator algebra $\mathcal{B}(K)$ for its Hilbert factor $K$; its trace is ${\mathrm{Tr}}_{S_a\in N_b}$. For the state $\mathrm{\Phi }$, let ${\rho }_a$ be the corresponding positive trace-class operator with ${\mathrm{Tr}}_{S_a\in N_b}({\rho }_a)=1$. Thus $S_{S_a\in N_b}[\mathrm{\Phi }]:=-{\mathrm{Tr}}_{S_a\in N_b}({\rho }_a\log {\rho }_a)$. The source's $H_{S_a\mathrm{\mid }{S}_b}$ is the generator defined above, and $F(S_a\in N_b):=⟨H_{S_a\mathrm{\mid }{S}_b}{⟩}_{\mathrm{\Phi }}-S_{S_a\in N_b}[\mathrm{\Phi }]$. This free-energy term can have either sign. Recovery of the usual GSL uses an approximate leading-order semiclassical limit with a UV cutoff, meaning a regularization of short-distance or high-frequency field modes, and additional cut conditions implying $F\ge 0$, for example, a later-cut density operator ${\rho }_a=\mathrm{\mid }\psi ⟩⟨\psi \mathrm{\mid }$ with $\mathrm{\parallel }\psi \mathrm{\parallel }=1$ has zero cut entropy, and the additional hypothesis $⟨H_{S_a\mathrm{\mid }{S}_b}{⟩}_{\mathrm{\Phi }}\ge 0$ then gives $F\ge 0$. A product state with a mixed cut factor does not suffice. The source obtains the sign only at retained leading order in a classical-cut approximation using sharply peaked dressed relative position and a nonnegative mean dressed null-translation generator for the cut; these conditions are additional to the UV-cutoff semiclassical reduction and do not bound discarded corrections. This construction does not establish regulator independence for the local finite-regulator entropy in the open problem.

Kudler-Flam, Leutheusser, and Satishchandran prove their Type II algebra structure result for a linear Klein–Gordon field on spacetimes with a bifurcate Killing horizon, assuming a stationary state (invariant under the Killing flow) and suitable asymptotic decay of solutions; stationarity does not require the KMS thermal condition. For a strongly continuous one-parameter automorphism group $\alpha :\mathbb{R}\to \mathrm{Aut}(\mathcal{A})$ and inverse temperature $\beta >0$, the KMS condition requires that for every pair of entire analytic observables $A,B\in \mathcal{A}$ and every $t\in \mathbb{R}$, $\omega (A{\alpha }_{t+i\beta }(B))=\omega ({\alpha }_t(B)A)$. Their stated entropy identification applies to the resulting stationary algebra settings, not a collapse solution. Ali and Suneeta establish a local GSL in their crossed-product construction for maximally extended static and Kerr black-hole settings, with the gravitational constraints imposed on each partial Cauchy slice; a causal curve here is a piecewise $C^1$ map $c:I\to M$ from an interval $I$ whose tangent is consistently future- or past-directed and causal on each smooth piece; a partial Cauchy slice is an achronal spacelike hypersurface segment met at most once by every such curve. Neither result supplies a general nonstationary collapse theorem.

For Jia, Qi, and Gao, an apparent horizon is a hypersurface foliated by spacelike codimension-two cuts on which the outgoing null expansion vanishes. In a surface chart $(y^1,y^2)$ with induced metric components $h_{AB}$, the cut's area density is ${\mu }_h:=\sqrt{\det (h_{AB})}\mathrm{\mid }d{y}^{1}d{y}^2\mathrm{\mid }$. For its selected smooth outgoing null normal field $\mathrm{\ell }$, the expansion is ${\theta }_{\mathrm{\ell }}:={\mu }_h^{-1}{\mathcal{L}}_{\mathrm{\ell }}{\mu }_h$, the fractional rate of change of area density along $\mathrm{\ell }$. In their $f(R)$ model, $f$ is the gravitational Lagrangian as a function of scalar curvature $R$, and $f^{\mathrm{\prime }}(R)=df\mathrm{/}dR$. On a region where $f^{\mathrm{\prime }}(R)>0$, the generalized expansion is ${\tilde{\mathrm{\Theta }}}_{\tilde{k}}:={\tilde{\theta }}_{\tilde{k}}+{\tilde{k}}^a{\mathrm{\nabla }}_a\log f^{\mathrm{\prime }}(R)$, with $\tilde{k}$ the selected outward null normal; their generalized apparent horizon is the locus foliated by cuts with ${\tilde{\mathrm{\Theta }}}_{\tilde{k}}=0$. They show that, to first order about a stationary black-hole background, the dynamical entropy in this $f(R)$ model equals the Wald entropy $S_W=(4G{)}^{-1}{\int }_{\mathrm{\Sigma }}{f}^{\mathrm{\prime }}(R)dA$ on that generalized apparent horizon, using the paper's natural units. Their replica calculation identifies the renormalized generalized entropy only at leading local area-law order; it is not a nonperturbative result for the open problem.

In the island calculation reviewed by Almheiri and coauthors, an island is a disconnected bulk region included with the radiation region in the semiclassical field entropy. In the source's natural units the candidate functional is $\mathrm{Area}(X)\mathrm{/}(4G_N)+S_{\mathrm{s}\mathrm{e}\mathrm{m}\mathrm{i}}({\mathrm{\Sigma }}_{\mathrm{R}\mathrm{a}\mathrm{d}}\cup {\mathrm{\Sigma }}_{\mathrm{I}\mathrm{s}\mathrm{l}\mathrm{a}\mathrm{n}\mathrm{d}})$, where $S_{\mathrm{s}\mathrm{e}\mathrm{m}\mathrm{i}}$ is the von Neumann entropy of the radiation and island fields in the semiclassical state; one first extremizes over candidate boundaries $X$ and then minimizes over the extrema and island choices. The replica trick computes $S=-{\mathrm{\partial }}_n\log \mathrm{tr}({\rho }^n){\mathrm{\mid }}_{n=1}$ by forming the gravitational path integral on $n$ copies and analytically continuing in $n$. A replica saddle is a stationary point of the gravitational action on that replicated geometry, possibly in the complexified metric space, whose contribution is included by the chosen integration contour; a replica-wormhole saddle connects interiors of different copies. The review explicitly leaves the integration contour (the integration cycle selecting path-integral contributions), included saddles, cutoff treatment, and relation between the semiclassical field state and the exact full-quantum-gravity state unresolved. JT denotes two-dimensional Jackiw–Teitelboim gravity. The cited matrix integral reproduces its formal genus expansion, the sum of contributions indexed by the number of handles, through a matrix ensemble, a probability law on matrices whose observables are averaged over that law. A nonperturbative completion means additional exact model data beyond that formal expansion; the completion is not unique. The adopted JT disk supplier fixes only a genus-zero, one-boundary continuous density and selects no individual exact Hamiltonian or completion.

These sources do not by themselves establish that every specified interacting four-dimensional curved-spacetime matter theory and nonstationary collapse solution satisfies the local fixed-scheme regulator-independent limit asked for in the open problem, or that generic evaporation is unitary. This is a bounded summary of the cited material through 22 October 2026, not an exhaustive literature census or a theorem that no such result exists elsewhere. It neither refutes those broader claims nor supplies them as premises.

Semiclassical equation with fixed counterterms and state

Aron C. Wall, A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices

Harvey S. Reall, Mathematical Tripos Part III: Black Holes

Ted Jacobson, Introductory Lectures on Black Hole Thermodynamics

Thomas Faulkner and Antony J. Speranza, Gravitational algebras and the generalized second law

Josh Kirklin, Generalised second law beyond the semiclassical regime

Jonah Kudler-Flam, Samuel Leutheusser, and Gautam Satishchandran, Generalized black hole entropy is von Neumann entropy

Mohd Ali and Vardarajan Suneeta, A local Generalized second law in crossed product constructions

Weizhen Jia, Qiongyu Qi, and Christina Gao, Entanglement entropy and thermodynamics of dynamical black holes

Ahmed Almheiri et al., The entropy of Hawking radiation

Phil Saad, Stephen H. Shenker, and Douglas Stanford, JT gravity as a matrix integral

Adopted JT disk spectral model