Operational Observables and Limits of Verification

An entropy curve, interior reconstruction, or decoding map is not yet an experiment. Operational verification requires a gauge-invariant observable, a preparation and access model, a detector trajectory, an estimator, enough copies or measurement shots, a physical implementation, and a causal window that survives its own energy and backreaction. This chapter translates black- hole information claims through those layers without equating mathematical existence with feasible observation.

Helpful background. Semiclassical Gravity supplies backreaction and evaporation scales; Quantum Information supplies channels, entropy estimators, and decoding; Quantum Fields in Curved Spacetime supplies detector observables and Hawking radiation; and Black-Hole Information supplies the fine-grained claims to be tested.

The operational chain

A proposed test should specify the tuple

$$(\mathcal A,\rho,\mathcal P,\mathcal M,N,t,E,\epsilon),$$

where $\mathcal A$ is the accessible physical algebra, $\rho$ the state, $\mathcal P$ the preparation procedure, $\mathcal M$ the allowed measurement, $N$ the number of independent preparations or shots, $t$ the causal time budget, $E$ the energy or disturbance budget, and $\epsilon$ the declared error. Omitting any entry can turn a formal observable into an impossible protocol.

Three separations recur. First, a coordinate-local field is not necessarily a diffeomorphism-invariant gravitational observable; its dressing or relational anchor matters. Second, entropy is a nonlinear function of a state, not the outcome of one ordinary single-copy Hermitian measurement. Third, a recovery channel can exist information-theoretically while every known implementation requires prohibitive gates, precision, storage, or collection time.

“In principle” is therefore layered. An operator may be mathematically defined but inaccessible to one observer. A probability distribution may be estimable with arbitrarily many identical preparations but not from one astrophysical event. A circuit may be finite yet outlive the black hole. These are different failure statements and support different scientific conclusions.

Route through the chapter

The pages follow a protocol from observable to evidence.

1. Gravitationally Dressed Observables constructs perturbative relational and asymptotic dressings and computes why their commutators need not be compactly local.
2. Exterior and Infalling Measurement Protocols assigns detectors, algebras, causal order, communication, and disturbance to paradox tests.
3. Finite-Time Entropy Measurements distinguishes copies from gates and benchmarks finite-sample entropy bias.
4. Decoding Resources and Backreaction compares memory, gate time, energy, precision, and collection efficiency with evaporation deadlines.
5. Astronomical and Laboratory Interfaces identifies what analog horizons, quantum simulators, and astronomical observations actually constrain.
6. In-Principle versus Feasible Verification separates definability, identifiability, computability, implementability, and attainable evidence.

The sequence prevents a common shortcut: beginning with a detector label and ending with “unitarity observed” without showing which fine-grained functional the data identify.

Many-copy observables and the single-copy boundary

For $n$ independent preparations of the same radiation state, permutation operators can encode moments such as

$$\operatorname{Tr}(\rho^n) =\operatorname{Tr}(V_n\rho^{\otimes n}).$$

This identity makes Rényi data operational in an ideal many-copy access model. It does not make $-\operatorname{Tr}(\rho\log\rho)$ a single-shot observable, nor does it supply identical black-hole preparations. Acharya and collaborators give copy-complexity bounds and algorithms for estimating von Neumann and Rényi entropy in finite dimensions Acharya et al. 2020, main theorems, pp. 454–468. Their samples are independent copies supplied on demand; collection, memory, controlled permutations, and gravitational disturbance are additional resources.

Antonini, Chen, Maxfield, and Penington argue that Page- and Rényi-type radiation observables can be defined even when the radiation is gravitational or massless gravity remains present, provided one uses sufficiently many preparations and carefully specifies the radiation algebra and background symmetries Antonini et al. 2025, §§ 2–4. This is an important frontier proposal beyond a universal bath-only restriction. It does not establish experimental feasibility: the copy number and precision can be enormous, state preparation must be repeatable, and the perturbative algebra and symmetry assumptions remain consequential.

Results and open questions through 2026-08-19

This discussion reflects results available through 2026-08-19. A permissive position counts a well-defined many-copy or exponentially complex observable as an in-principle test of unitarity. A conservative position reserves “verifiable” for a protocol that one physical setting can implement before causal deadlines and without invalidating the state. An intermediate position accepts indirect evidence from simulators or simple correlators while denying that it directly measures the fine-grained black-hole S-matrix. These competing positions disagree about operational scope, not the underlying algebraic identities.

Evidence or protocol	Result	Scope or limitation
Perturbative gravitational dressing in Donnelly and Giddings 2016, §§ 2–5	Boundary-anchored or relational observables can be gauge invariant, with dressing-dependent nonlocal commutators.	Perturbative order and anchor are essential; no exact local subsystem or detector implementation follows.
Entropy-estimation bounds in Acharya et al. 2020, main theorems, pp. 454–468	Finite-dimensional entropy can be estimated from independent copies with quantified sample complexity.	Copy access is assumed; gate, storage, collection, precision, and backreaction costs are separate.
Gravitating-radiation proposal in Antonini et al. 2025, §§ 2–4	Many-copy Page or Rényi observables are argued to remain definable in specified massless-gravity settings.	Frontier argument with algebra, background-symmetry, perturbative, precision, and very-large-copy assumptions; not demonstrated feasibility.
Decoding problem in Harlow and Hayden 2013, §§ 2–4	A recovery map may exist while implementing the relevant radiation distillation is conjecturally too complex.	Complexity assumptions and circuit model matter; no universal physical lower bound follows.
Analog-gravity framework in Barceló, Liberati, and Visser 2011, §§ 2–5	Laboratory media reproduce horizon kinematics and field-mode conversion in controlled regimes.	They do not reproduce dynamical Einstein gravity, a black-hole Hilbert space, or microscopic unitarity by default.

The table contains rigorous finite-dimensional access results and controlled kinematic analogues, but not a direct observation of a fine-grained astrophysical Page curve. Whether gravitational many-copy observables can be implemented with finite physical resources remains unresolved.

Failure modes to expose before interpretation

Algebra mismatch. A detector can measure a dressed exterior observable without accessing the independent interior factor assumed in a paradox. State the physical algebra rather than drawing boxes around coordinate regions.

Preparation mismatch. Repeated time bins from one evaporation are generally correlated subsystems, not independent copies of one density operator. A many-copy theorem requires independent identical preparations, or a separate proof controlling the preparation correlations. Exchangeability alone can still describe a correlated mixture and is not independence.

Resource mismatch. Sample count, circuit gates, memory, precision, signal collection, and energy are distinct budgets. Reducing one can worsen another.

Evidence mismatch. Detecting Hawking-like mode conversion, near-horizon dispersion, or a ringdown deviation tests dynamics. It does not alone determine the purity of the complete radiation state or the existence of an interior decoder.

Generic detector theory, stable semiclassical thermodynamics, maintained interactive execution, and observational parameter estimation remain outside this chapter. The goal is the interface from an information claim to a bounded physical test.

The conclusions could change after a many-copy gravitational observable is implemented with a complete resource and backreaction budget, or a decoding lower bound is proved for a physically specified black-hole channel, or an astronomical or laboratory protocol identifies a fine-grained invariant that cannot be mimicked by ordinary near-horizon dynamics or environmental noise.

Review the chapter

A proposal says that the radiation Rényi entropy is measurable because a swap operator exists on two copies. Name four further facts required before this is a feasible black-hole experiment.

Solution

One must show how two sufficiently identical radiation states are prepared; which gravitationally dressed radiation algebra defines each copy; how the controlled swap or equivalent estimator is implemented with stated precision; and whether collection time, memory, energy, and backreaction remain within the black-hole regime. Causal access and statistical confidence must also be reported. The operator identity establishes mathematical definability, while these additional facts determine physical feasibility and evidential meaning.

References

• Acharya, Jayadev, Ibrahim Issa, Nirmal V. Shende, and Aaron B. Wagner. 2020. “Estimating Quantum Entropy.” IEEE Journal on Selected Areas in Information Theory 1, 454–468. DOI. arXiv:1711.00814.
• Antonini, Stefano, Chang-Han Chen, Henry Maxfield, and Geoff Penington. 2025. “An Apologia for Islands.” arXiv:2506.04311. arXiv.
• Barceló, Carlos, Stefano Liberati, and Matt Visser. 2011. “Analogue Gravity.” Living Reviews in Relativity 14, 3. DOI. arXiv:gr-qc/0505065.
• Donnelly, William, and Steven B. Giddings. 2016. “Observables, Gravitational Dressing, and Obstructions to Locality and Subsystems.” Physical Review D 94, 104038. DOI. arXiv:1607.01025.
• Harlow, Daniel, and Patrick Hayden. 2013. “Quantum Computation versus Firewalls.” Journal of High Energy Physics 06, 085. arXiv:1301.4504.