XVII-A — One boundary reconstruction is not holographic emergence One named bulk observable from one declared boundary region, and the maps it does not supply

We complete an exact finite-model version of the proposed reconstruction problem. The model is a finite-matrix massless-scalar benchmark on an assumed global anti-de Sitter background in two dimensions. The boundary region is a fixed interval on the actual right conformal boundary, not a collar, a scheduled dependency region, or a packet support. The named bulk observable is a bounded sine effect at the central bulk point. An explicit boundary smearing reconstructs its underlying finite-matrix field, and functional calculus supplies a boundary representative of the effect. A declared completely positive trace-preserving binary readout channel then reproduces the bulk measurement channel exactly, including arbitrary reference systems.

This is a new, independently specified benchmark. It is not an identification with a VII-A relational scalar, a V represented response, or an Em03 Schwarzschild packet observable. No connecting map for those inherited candidates is supplied by the available excerpts, and none is asserted here. This change of model is explicit.

We also prove a conditional perturbation budget, evaluate one analytical diagnostic, show that the resulting binary record does not recover a noncommuting observable, and exhibit nonidentifiability of the background radius from the declared dimensionless boundary data. The finite cutoff makes every nonempty boundary time interval algebraically complete; consequently the result is not an entanglement-wedge theorem. It derives neither a metric, a causal structure, nor Einstein dynamics. No numerical execution, compilation, machine verification, or registration is asserted.

The proposed XVII-A leaves three essential objects unspecified: a particular bulk observable, a particular boundary region, and a connecting map between their models. The supplied manuscript excerpts do not provide that connecting map for any of the proposed inherited candidates. A proof cannot manufacture one by identifying similarly named registers, regions, responses, or observables.

We therefore make the following explicit completion choice:

The theorem concerns a newly declared finite-matrix scalar benchmark on a fixed global ${\mathrm{AdS}}_2$ background. It does not concern an inherited VII-A, V, or Em03 observable.

This fills the open object choices in a modified Work Package A. It is not a repair of an inherited observable by an unproved identification. If Work Package A is required to use one of those specific inherited candidates, that version of the problem remains unresolved.

The fixed-background smearing calculation is motivated by the Hamilton–Kabat–Lifschytz–Lowe constructions HKLL2006a,HKLL2006b. Every identity needed below is proved directly for the finite model. No AdS/CFT duality, boundary conformal field theory, entanglement-wedge hypothesis, or entropy–area formula is a premise.

A channel acts on states, whereas an observable is an operator. Accordingly, the schematic expression

must be replaced by a statement with specified types.

For the present paper, the exact operator statement will be

where $U$ is the declared finite representation correspondence and ${\mathcal{O}}_B$ belongs to the algebra generated by boundary data on $B$. The exact operational statement will be

Here ${\mathcal{N}}_B$ supplies the declared boundary quantum data, ${\mathcal{R}}_B$ is a binary record channel, and ${\mathcal{M}}_{{\mathcal{O}}_{\mathrm{bulk}}}$ is the binary measurement channel associated with ${\mathcal{O}}_{\mathrm{bulk}}$.

Equation (eq:typed-channel-target) does not claim recovery of an unknown bulk quantum state. Nor does it identify the conditional postmeasurement bulk state with a boundary instrument output. Observable-algebra recovery and state recovery are distinct questions BKK2007,ADH2015.

The intended refusal is better expressed as a nonimplication than as an assertion that the underlying objects can never coincide:

A decoder can implement a bulk–boundary map after the relevant identifications have been supplied and proved. It does not supply those identifications merely by being a decoder. The distinction is important even for holographic code models Pastawski2015.

There are three separate claims:

1. Operator reconstruction: the named boundary data determine the named bulk observable in the declared model.

2. Metric reconstruction: boundary data determine a bulk metric within a specified metric class.

3. Gravitational dynamics: microscopic assumptions imply specified gravitational field equations.

Only the first is established here. Results concerning entanglement-wedge reconstruction, entropy–area relations, or linearized gravitational equations require their own additional assumptions DHW2016,RT2006,Faulkner2014.

Fix $\ell >0$. The background is the universal-cover global ${\mathrm{AdS}}_2$ strip

The coordinate $t$ is dimensionless. The conformally rescaled metric extends to $x=\pm \pi /2$. The right conformal boundary is

Before introducing the field or a reconstruction map, declare

Thus $B$ is a boundary time interval. It is not a spatial tensor-factor subregion at one time. Its definition uses the assumed conformal completion of (eq:metric); it is not obtained by renaming any region from the supplied manuscripts.

The metric, its conformal completion, its coordinates, and the location $p_{\ast }$ are inputs.

Fix integers $K\ge 1$ and $d\ge 2$. Define two separately named copies

On ${\mathbb{C}}^d$, let

Let $a_n,N_n$ denote these matrices on the $n$th bulk factor. On the boundary copy use the independently named matrices $b_n$ with the same displayed matrix entries. The bulk Hamiltonian is

Direct evaluation on the occupation basis gives

In particular, these are finite oscillator matrices, not an exact finite-dimensional representation of the canonical commutation relations. No continuum canonical-field theorem is inferred from them.

Define the self-adjoint bulk matrix field

All sums and all operator domains are finite. Set

The sine is the ordinary functional calculus of a self-adjoint finite matrix. Consequently

This bounded effect is the one named bulk observable attempted in XVII-A.

The target in (eq:named-observable) is defined in the finite model. If $P$ is an occupation cutoff in an infinite oscillator representation, then in general

when both sides are interpreted on the cutoff space. We do not identify our finite-matrix sine effect with the compression of an unregulated field effect. No cutoff-removal theorem or error to a continuum observable is asserted.

The matrix field (eq:bulk-field) satisfies

and has zero leading boundary value at both ends of the strip.

Proof. In two dimensions,

Each term of (eq:bulk-field) is annihilated by the operator in parentheses because its temporal and spatial frequencies are both $n$. The sine spatial profile vanishes at $x=-\pi /2$ and $x=\pi /2$. Finite summation preserves both assertions.

This proposition is an equation satisfied by a declared fixed-background benchmark. It is not a derivation of the metric, a proof of microcausality, or a canonical quantization theorem.

On the boundary copy define

Let $\mathcal{A}(B)$ be the unital $\ast$-algebra generated by

inside $\mathcal{B}({\mathcal{H}}_{\partial })$. In finite dimension this algebra is norm closed.

Boundary data mean a quantum state on $\mathcal{A}(B)$, with its extension to $\mathcal{A}(B)\otimes \mathcal{B}({\mathcal{H}}_R)$ when a reference system $R$ is retained. They do not mean only the first moment of $\beta$, an occupation count, or one finite sample of a classical measurement record.

The data assumption is substantial. The paper constructs a mathematical readout channel from these data; it does not construct a spacetime-local detector or a sequential acquisition protocol for the entire algebra.

Define a unitary $U:{\mathcal{H}}_{\mathrm{bulk}}\to {\mathcal{H}}_{\partial }$ by

Then $U{a}_n{U}^{†}=b_n$. This occupation-basis correspondence is an additional model input. It is not obtained from any decoder in En02, any packet state in Em03, or any finite readout semantics in I.

The boundary-data interface is

The following proposition verifies that the independently displayed boundary family is the normalizable boundary limit of the displayed bulk family under this declared correspondence.

For every $t$,

in operator norm. The convergence is uniform on compact $t$ sets.

Proof. For each $n$,

Multiplication by $1/\sqrt{\pi n}$ gives precisely $c_n$. The sum is finite, the oscillator matrices are bounded, and the temporal phases have modulus one. These facts give norm convergence and the stated uniformity.

The normalization in (eq:boundary-limit) is part of the declared dictionary. The proposition does not construct an independent interacting boundary conformal field theory.

For the finite model,

The same conclusion holds when ${I_B}^{\circ }$ is replaced by any nonempty open time interval.

Proof. Write

Then

The $2K$ real functions

are linearly independent on every nonempty open interval. Indeed, a trigonometric polynomial vanishing there is identically zero, and its distinct Fourier coefficients then vanish.

Choose $w\in {C_c}^{\infty }({I_B}^{\circ })$, $w\ge 0$, positive on some nonempty open subinterval. The real Gram matrix

is positive definite. The test functions

satisfy

The smearings $\beta (f_{\alpha })$ therefore isolate $c_n{C}_n$ and $c_n{T}_n$. Since $c_n\ne 0$, the algebra contains

On one factor, ${b_n}^{†}{b}_n$ has the distinct eigenvalues $0,\dots ,d-1$. Polynomial functional calculus supplies all its one-dimensional spectral projections $P_m$. Moreover,

Taking adjoints and products supplies every matrix unit on that factor. The factor algebras together generate $\mathcal{B}(({\mathbb{C}}^d{)}^{\otimes K})$, proving the assertion.

Lemma lem:timeband is a finite-cutoff consequence of finitely many analytic frequencies and finite matrices. It neither identifies a boundary tensor factor with a spacetime subregion nor proves locality of the regulated bulk field. Its Gram-matrix inversion also does not provide a resource bound or a conditioning estimate.

In particular, the present time-band result is not the spatial subregion reconstruction theorem considered in ADH2015,DHW2016, and it is not a holographic tensor-network code of the kind constructed in Pastawski2015.

By Lemma lem:timeband, the restricted state in (eq:NB-restriction) has the unique density-matrix representative $U\rho U^{†}$. Henceforth we write

while retaining Definition def:data as the meaning of access to $B$.

After fixing the objects above, define

The integral is an operator-norm integral of a continuous finite-matrix function.

It belongs to $\mathcal{A}(B)$ even though its displayed scalar weight has endpoints at $\partial I_B$. To see this, choose smooth ${\chi }_j$ compactly supported in ${I_B}^{\circ }$ with ${\chi }_j\to 1$ in $L^1(I_B)$. Then

Norm closure and functional calculus give $Q_B,{\mathcal{O}}_B\in \mathcal{A}(B)$.

The boundary smearing satisfies

Proof. For every positive integer $n$,

Substituting (eq:boundary-field) into (eq:boundary-representative) gives

If $n$ is even, the sine coefficient vanishes. If $n$ is odd, $(-1{)}^{n+1}=1$. Thus

This is the finite-model central-point version of a fixed-background smearing construction. Its relation to the $\Delta =1$ global ${\mathrm{AdS}}_2$ smearing calculation is a comparison with HKLL2006a, not an imported duality premise.

Let ${\mathcal{H}}_C={\mathbb{C}}^2$ be a classical output register in the basis $\{|0⟩,|1⟩\}$. Declare

These are complete, deterministic binary record channels: both outcomes are retained, and no postselection is used.

For a state ${\omega }_B$ on the boundary algebra, the same definition is

The map class is fixed: exact observable reconstruction with an explicit completely positive trace-preserving record channel. It is not an unrestricted quantum-state recovery problem.

For the model of Sections sec:objects–sec:boundary, the independently declared region $B$, the named observable ${\mathcal{O}}_{\mathrm{bulk}}$ in (eq:named-observable), and the map (eq:RB), the following statements hold.

1. The boundary representative belongs to the declared algebra: ${\mathcal{O}}_B\in \mathcal{A}(B)$.

2. Exact operator reconstruction holds:

   $${\mathcal{O}}_{B}U=U{\mathcal{O}}_{\mathrm{bulk}},U^{†}{\mathcal{O}}_{B}U={\mathcal{O}}_{\mathrm{bulk}}.$$

3. ${\mathcal{R}}_B$ is completely positive and trace preserving.

4. Exact operational reconstruction holds:

   $${\mathcal{R}}_B\circ {\mathcal{N}}_B={\mathcal{M}}_{{\mathcal{O}}_{\mathrm{bulk}}}.$$

   Equivalently, in the Heisenberg picture,

   $${\mathcal{N}}_B^{\ast }\left({\mathcal{R}}_B^{\ast }(|1⟩⟨1|)\right)={\mathcal{O}}_{\mathrm{bulk}}.$$

5. For every finite reference system $R$ and every state ${\rho }_{\mathrm{bulk},R}$,

   $$({\mathcal{R}}_B\otimes {\mathrm{id}}_R)((U\otimes 1_R){\rho }_{\mathrm{bulk},R}(U^{†}\otimes 1_R))=({\mathcal{M}}_{{\mathcal{O}}_{\mathrm{bulk}}}\otimes {\mathrm{id}}_R)({\rho }_{\mathrm{bulk},R}).$$

   In particular,

   $$d_{\diamond }({\mathcal{R}}_B\circ {\mathcal{N}}_B,{\mathcal{M}}_{{\mathcal{O}}_{\mathrm{bulk}}})=0.$$

The metric and the bulk–boundary representation correspondence are inputs. Metric reconstruction and derivation of Einstein dynamics are not conclusions of this theorem.

Proof. Membership was proved after (eq:boundary-representative). Lemma lem:smearing and unitary covariance of finite-matrix functional calculus give

This proves the operator identities.

Since $Q_B$ is self-adjoint, ${\mathcal{O}}_B$ is an effect; hence $F_0,F_1$ are positive and sum to $1$. A Stinespring isometry for (eq:RB) is

Indeed, $W^{†}W=F_0+F_1=1$. Tracing out the last two factors yields (eq:RB). Thus ${\mathcal{R}}_B$ is CPTP.

The operator identity gives, for each outcome,

with $U^{†}{F}_{1}U={\mathcal{O}}_{\mathrm{bulk}}$ and $U^{†}{F}_{0}U=1-{\mathcal{O}}_{\mathrm{bulk}}$. This proves the channel identity.

With a reference retained, the unnormalized reference block associated with outcome $r$ is

Unitary transport of the partial trace gives the corresponding bulk block with effect $U^{†}{F}_{r}U$. Equality of both classical blocks proves (eq:reference-exact). Equality of channels gives zero diamond distance.

Knowing a state on $\mathcal{A}(B)$ determines ${\omega }_B({\mathcal{O}}_B)$ mathematically. One attempted measurement produces a random binary outcome, not its exact probability. No finite-sample tomography or statistical confidence claim is included in Theorem thm:main.

For a general input state,

The reconstruction therefore uses the declared observable algebra, not merely a mean boundary waveform.

For states and channels use

These conventions retain arbitrary reference systems in channel comparisons.

Let $E,F$ be effects on the same finite-dimensional Hilbert space. For their binary record channels,

Proof. Set $D=E-F$. With any reference, the output difference has blocks $-Y,Y$, where

for an input trace-class operator $X$. Trace-norm duality gives

The two output blocks have total trace norm $2\Vert Y{\Vert }_1$. This proves the upper bound on the diamond norm. A pure eigenstate of the self-adjoint matrix $D$ corresponding to an eigenvalue of largest absolute value attains that bound without a reference.

For self-adjoint finite matrices $A,B$,

Proof. The Duhamel identity

gives $\Vert e^{iA}-e^{iB}{\Vert }_{\infty }\le \Vert A-B{\Vert }_{\infty }$. Apply the same argument to $-A,-B$ and use $\sin A=(e^{iA}-e^{-iA})/(2i)$.

Suppose a self-adjoint boundary matrix family $\tilde{\beta }(t)$ satisfies

Define ${\tilde{Q}}_B,{\tilde{\mathcal{O}}}_B,{\tilde{\mathcal{R}}}_B$ by the same integral, functional calculus, and complete record prescription as before. Then

More generally, if an actual CPTP boundary interface $\tilde{\mathcal{N}}$ obeys $d_{\diamond }(\tilde{\mathcal{N}},{\mathcal{N}}_B)\le \eta$, then

Proof. The interval has length $\pi$, so

Lemma lem:sine yields

Lemma lem:binary-diamond, unitary precomposition, and Theorem thm:main prove (eq:channel-perturbation). CPTP postprocessing contracts diamond distance, so the triangle inequality gives (eq:complete-budget). Half-diamond distance between channels is at most one.

This is a conditional mathematical allowance. It does not establish an implemented apparatus, a bound on resources needed to access $\mathcal{A}(B)$, or convergence as $K,d\to \infty$. No value of $\delta$ or $\eta$ is reported as experimentally or numerically certified.

Specialize the declared model to $K=1$, $d=2$. Let

Then

Since ${\lambda }_{\ast }/\sqrt{\pi }=\pi /6$ and $X^2=1$,

Choose the explicitly prepared state

Its Pauli expectations are

Thus the boundary mean waveform is

For this particular two-dimensional effect, the boundary algebra identity (eq:diagnostic-effect) also gives

The direct bulk expression agrees:

The complete reconstructed record is therefore

This is an exact analytical evaluation, not a numerical execution. The special first-moment formula used here follows from (eq:diagnostic-effect); it is not an assertion that arbitrary nonlinear field effects are determined by a first moment. VII-G's instrument, VII-H's susceptibility, and Em04-A's concurrence are not this diagnostic CheungVII,CheungEm04.

The input quantum algebra on $B$ must not be confused with the classical record returned by ${\mathcal{R}}_B$. Lemma lem:timeband concerns the former. The following obstruction concerns only the latter.

Let $\mathcal{C}$ be a channel and let $J$ be an effect. If

then every scalar estimator $h$ depending only on the output of $\mathcal{C}$ has worst-case expectation error at least $\Delta /2$:

The assertion does not require $h$ to be linear.

Proof. The estimator assigns the same value $s$ to the two equal outputs. For the two target values $j_0,j_1$,

At least one error is at least $\Delta /2$.

In the specialization $K=1,d=2$, define the second bulk effect

For the already fixed record channel $\mathcal{C}={\mathcal{R}}_B\circ {\mathcal{N}}_B$, no processing of its record determines $\mathrm{Tr}(J\rho )$ for every bulk state. The optimal worst-case scalar expectation error is exactly $1/2$.

Moreover, every CPTP decoder $\mathcal{D}$ from that record to a bulk qubit satisfies

No optimality claim for this quantum-channel lower bound is made.

Proof. By (eq:diagnostic-effect),

The corresponding target probabilities for $J$ are $1$ and $0$. Lemma lem:indistinguishable gives the lower bound $1/2$. The constant estimator $h=1/2$ attains it because every effect probability lies in $[0,1]$.

For a CPTP decoder, both inputs give the same decoded state $\tau$. Since $d_{\mathrm{tr}}(|0⟩⟨0|,|1⟩⟨1|)=1$, the trace-distance triangle inequality implies

Worst-case input-state distance is a lower bound on half-diamond distance, proving the channel assertion.

This is a proved obstruction for a stated processing class and a stated output interface. It is not an obstruction to access to the full boundary quantum algebra. The same distinction underlies observable-algebra formulations of recovery BKK2007.

The effect $J$ is a finite-mode population effect. It is not called a black-hole interior observable. Neither the proposition nor the reference system constructs an interior partner.

The background radius was fixed as an input in (eq:metric). Nevertheless, one can ask whether the particular boundary data declared here would identify it if it were unknown.

Consider the family of models obtained by replacing $\ell$ in (eq:metric) by any positive radius, while keeping the dimensionless coordinates, $K,d$, the displayed mode normalization, $U$, and the corresponding preparation fixed.

All boundary operator families, boundary states, and reconstructed records declared in this paper are identical throughout this family. Therefore no deterministic rule using only these data can return the correct radius for every member of the family. The corresponding metrics have different scalar curvature when their radii differ.

Proof. The finite matrices (eq:finite-oscillator), the bulk expansion (eq:bulk-field), the boundary family (eq:boundary-field), and the correspondence (eq:U) contain no $\ell$. Consequently the declared boundary states and the record channel are also independent of $\ell$. A deterministic rule applied to identical data must return the same answer.

For completeness, write

The two-dimensional conformal curvature formula gives

Distinct positive radii therefore give distinct scalar curvatures.

The proposition concerns exactly the dimensionless and normalization-fixed data specified here. Adding an independently calibrated proper-time scale, a stress-tensor normalization, or other radius-sensitive information changes the input and is not covered by the obstruction.

Proposition prop:wave uses an already specified metric. There is no dynamical metric variable, gravitational action, gravitational constraint algebra, or backreaction equation in the finite model. Thus the paper proves no gravitational field equation. This is not a nonexistence theorem for every possible gravitational completion; it is the exact boundary of the present result.

The lightlike directions of (eq:metric) are likewise assumed. Neither Lemma lem:timeband nor the record channel derives a causal structure. The finite-matrix regulator is not promoted to a local relativistic quantum field.

The distinction from entropy-based gravitational arguments is substantive: no Ryu–Takayanagi relation or entanglement-first-law hypothesis appears in the proof RT2006,Faulkner2014.

The model supplies none of the following:

• an interior-partner operator or a black-hole interior algebra;

• an entropy–area relation, a geometric area observable, or an entanglement wedge;

• a Page curve, an island prescription, Hawking evaporation, backreaction, or an evaporation endpoint;

• microscopic gravitational dynamics or a quantum coefficient of an inherited gravitational response.

A formal complementary output is not an interior partner. A finite Hilbert-space dimension is not an area. A scalar field equation on a chosen background is not Einstein dynamics. These distinctions are compatible with the broader reconstruction frameworks ADH2015,DHW2016; those frameworks are not assumptions that can silently enlarge Theorem thm:main.

The references to Cheung below identify the supplied manuscript versions and their reported scopes. They are comparisons and non-premise records, not an independent verification of the full manuscripts. No theorem in Sections sec:objects– sec:missing-maps relies on an unprovided result from them.

In particular, an emission-law calculation on an assumed metric is not already operator reconstruction from a declared boundary region. A reconstruction theorem additionally needs the boundary objects, the connecting map, and its proof.

{ {}1.15 {@{}p{0.17}p{0.38}p{0.39}@{}} Source & Reported supply & Status in XVII-A
Source & Reported supply & Status in XVII-A

I CheungI & Finite instruments, records, ownership, and budgeted readout stability. & Not an encoding or a bulk–boundary map. Not a premise.

V; VII-A CheungV,CheungVII & Represented responses and a relational-scalar plateau result in their separately declared models. & Candidate bulk-side comparisons only. No identification with (eq:named-observable) is asserted. Not premises.

VII-E CheungVII & Scheduled dependency and a directional velocity set. & Not a derived light cone or the region $B$. Not a premise.

VII-G; VII-H CheungVII & A finite hybrid instrument on a fixed cone; a free massless Minkowski susceptibility. & Neither supplies the present boundary family, effect, or readout. Not premises.

VIII-A–C CheungVIII & A source-free conical dictionary, a variable-deficit family, and prescribed-schedule support bounds. & The zero-cosmological-constant conical data are not the AdS background (eq:metric). No collar is renamed a boundary. Not premises.

En02-A CheungEn02 & Cut conservation, register cost $N_0$, and conditional Born rigidity. & Resource counters are not geometry. The X-Enter occupancy class is not $N_0$. Not a premise.

En02-B CheungEn02 & An exact two-live-qubit perfect-code decoder and a module-class tree bound. & Not the correspondence $U$, an entanglement wedge, or unrestricted decoder optimality. Not a premise.

En02-C CheungEn02 & Exact finite-prefix recovery and a specified one-live-qubit streaming error. & Not the record obstruction of Proposition prop:record-obstruction, despite possible numerical coincidence of a bound. Not a premise.

En02-D CheungEn02 & A transmission-dependent memory gap and a prepared entropy sequence; an unexecuted computational supplement. & Not a Page curve or Hawking dynamics. No supplement execution is imported. Not a premise.

En02-E CheungEn02 & A finite Gaussian packet state and flagged cutoff; a benchmark calibrated by nonvacuum probability. & Not a metric reconstruction or the present finite-matrix effect. Not a premise.

Em03-A CheungEm03 & A fixed-background free-scalar emission law, retaining an external bulk Unruh-state theorem. & No Unruh state or Schwarzschild emission law is used here. An emission law alone is not the required connecting map. Not a premise.

Em03-B–D CheungEm03 & An apparatus-model packet readout, a joint-packet interface, and a compact local probe for a bounded s-wave effect. & No detector, packet-transfer, or local-probe identification with ${\mathcal{R}}_B$ is asserted. Exterior correlations are not interior partners. Not premises.

Em03-E–F CheungEm03 & A finite message-dependent emission model and an exterior source channel with an entanglement-breaking packet output. & Neither supplies $U$ or ${\mathcal{N}}_B$. Classical source dependence is not quantum recovery. Not premises.

Em03-G–H CheungEm03 & An ordered two-pulse source and a version-8 quartic bath channel. & Not a holographic connecting map. Reported P8 numbers are not validated here. Not premises.

Em04-A; Em05-A–B CheungEm04,CheungEm05 & An XY reduction, signed extraction, and complementary leakage results. & Neither Einstein dynamics nor the present boundary reconstruction. Not premises.

XIV-H–J CheungXIV & An internal-symbol stop, an internal amplitude construction, and a supported-sector reference away from the characteristic locus. & No full joint characteristic map or inherited quantum coefficient is constructed here. Not premises.

XV-B CheungXV & A supplied technical interface for descent and supported extensions. & Not used here and not opened as a downstream admission exit. No coefficient admission is inferred. Not a premise.

XVI-N; XVI-O CheungXVI & A conditional prepared-insertion obstruction and a kernel counterterm under a stated prescription. & Not a bulk BV restoration or a holographic map. XVI-N's Route B is not discharged; O.1 remains NOT_CLOSED. Not premises.

}

All formal premises of the reconstruction theorem are displayed in this paper:

1. the fixed metric and conformal boundary;

2. the finite Hilbert spaces and matrices;

3. the finite bulk and boundary mode expansions;

4. the declared occupation-basis correspondence $U$;

5. quantum access to the stated boundary algebra.

These are not claimed to follow from the supplied manuscript ledger.

Cheung's XIV-J distinguishes an absent full map from a universal obstruction CheungXIV. The same logical caution applies here: the lack of an inherited connecting map is not a theorem that every such map is impossible. The inherited candidate versions of XVII-A remain unconstructed, rather than universally obstructed.

The elementary obstruction in Proposition prop:record-obstruction has a different object, domain, and map class from H2, I3, or J2. Similar language does not identify these problems.

{ {}1.15

}

For the newly declared finite-matrix benchmark:

1. the named bulk effect has an exact representative in the algebra of the independently declared conformal-boundary region $B$;

2. the declared complete binary record channel reproduces its bulk measurement channel exactly, including reference systems;

3. the conditional perturbation allowance is (eq:complete-budget);

4. the diagnostic probability is exactly $1/2+\sqrt{3}/8$;

5. the named record does not reconstruct the noncommuting population effect $J$, with optimal scalar error $1/2$;

6. the declared dimensionless boundary data do not identify the background radius within the family of Proposition prop:radius.

The ending is Constructed: exact finite-model operator reconstruction and complete binary readout for this benchmark.

No identification with an inherited VII-A, V, or Em03 observable, continuum field, boundary CFT, entanglement wedge, or gravitational microscopic model is released. Those connecting problems are not discharged by this theorem.

Proof. Theorem thm:main proves the operator and referenced channel identities. Proposition prop:stability proves the conditional budget. Equation (eq:diagnostic-agreement) evaluates the diagnostic. Proposition prop:record-obstruction proves the stated processing obstruction. Proposition prop:radius proves the metric nonidentifiability statement. Each assertion retains its displayed model and input class.

This holographic-reconstruction comparison is not XVI-N's Route B. No result here discharges that route. The paper makes no new assertion resolving H2, I3, or J2, does not open XV-B as an admission exit, and does not close O.1. No inherited quantum coefficient is admitted CheungXIV,CheungXV,CheungXVI.

The distinction between the classical-limit project associated with Em06 in the supplied plan and the present boundary reconstruction project is retained. Neither is enlarged into a derivation of classical spacetime by the present finite theorem.

status. All results released here are analytical finite-matrix results. The text does not assert executed numerical checks, successful pdfLaTeX compilation, machine verification, a laboratory realization, an operational resource optimum, or registration of XVII-A. The source is self-contained and requires no external bibliography file.

. One operator has been reconstructed from one declared boundary region in one explicit finite model. The representation correspondence and geometry were not inferred from the reconstruction. The complete record is weaker than quantum-state recovery, and the declared data do not identify even the background radius in the displayed normalization-fixed family. Consequently the completed finite theorem is not holographic emergence of classical spacetime.

HKLL2006a

A. Hamilton, D. Kabat, G. Lifschytz, and D. A. Lowe, Local bulk operators in AdS/CFT: A boundary view of horizons and locality, Phys.\ Rev.\ D 73, 086003 (2006). arXiv:hep-th/0506118. https://arxiv.org/abs/hep-th/0506118.

HKLL2006b

A. Hamilton, D. Kabat, G. Lifschytz, and D. A. Lowe, Holographic representation of local bulk operators, Phys.\ Rev.\ D 74, 066009 (2006). arXiv:hep-th/0606141. https://arxiv.org/abs/hep-th/0606141.

BKK2007

C. Bény, A. Kempf, and D. W. Kribs, Generalization of quantum error correction via the Heisenberg picture, Phys.\ Rev.\ Lett.\ 98, 100502 (2007). arXiv:quant-ph/0608071. https://arxiv.org/abs/quant-ph/0608071.

ADH2015

A. Almheiri, X. Dong, and D. Harlow, Bulk locality and quantum error correction in AdS/CFT, JHEP 04 (2015), 163. arXiv:1411.7041. https://arxiv.org/abs/1411.7041.

Pastawski2015

F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence, JHEP 06 (2015), 149. arXiv:1503.06237. https://arxiv.org/abs/1503.06237.

DHW2016

X. Dong, D. Harlow, and A. C. Wall, Reconstruction of bulk operators within the entanglement wedge in gauge-gravity duality, Phys.\ Rev.\ Lett.\ 117, 021601 (2016). arXiv:1601.05416. https://arxiv.org/abs/1601.05416.

RT2006

S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT, Phys.\ Rev.\ Lett.\ 96, 181602 (2006). arXiv:hep-th/0603001. https://arxiv.org/abs/hep-th/0603001.

Faulkner2014

T. Faulkner, M. Guica, T. Hartman, R. C. Myers, and M. Van Raamsdonk, Gravitation from entanglement in holographic CFTs, JHEP 03 (2014), 051. arXiv:1312.7856. https://arxiv.org/abs/1312.7856.

CheungI

N. Cheung, I, version 1, manuscript, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locator: thm:stability. Publication date and independent verification are not supplied. Archive description: https://enter.grok.me.

CheungV

N. Cheung, V, version 1, manuscript, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: scope and non-goals; eq:mixedcore; eq:nonlocalcomm. This citation identifies the supplied manuscript, not an independent holographic identification.

CheungVII

N. Cheung, VII-A, VII-E, VII-G, and VII-H, version 1 manuscripts, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: VII-A thm:first; VII-E prop:direction; VII-G thm:locality and the reported fixed-cone finite-model interface; VII-H thm:release. The four manuscripts have distinct models and are grouped here only for the non-premise ledger.

CheungVIII

N. Cheung, VIII-A, VIII-B, and VIII-C, version 2 manuscripts, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: VIII-A A:thm:A1 and A:cor:spectators; VIII-B thm:dictionary and thm:spectators; VIII-C thm:C5. These conical and schedule interfaces are not AdS data.

CheungEn02

N. Cheung, En02-A, En02-B, En02-C, En02-D, and En02-E, manuscripts, n.d. Supplied versions: A–C, version 1; D, version 4; E, version 2. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: A thm:E and the register/Born ledger; B thm:tree and the reported thm:B5; C the reported thm:C2, thm:C3, and supplied thm:C5; D abstract and evidence limitations; E scope, dependency, and evidence statements. No execution of their computational supplements is inferred.

CheungEm03

N. Cheung, Em03-A through Em03-H, manuscripts, n.d. Supplied versions: A and C–G, version 1; B, version 2; H, version 8. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: A–G thm:release; H thm:channels; the supplied packet, source, probe, and evidence limitations. The separate manuscripts are not identified with the finite AdS benchmark of this paper.

CheungEm04

N. Cheung, Em04-A, version 2, manuscript, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locator: thm:release. Source alignment, numerical execution, and compilation are not inferred from that analytical release.

CheungEm05

N. Cheung, Em05-A and Em05-B, version 1 manuscripts, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: Em05-A thm:release; Em05-B revision audit and remaining verification work. Complementary leakage is not an interior-partner construction.

CheungXIV

N. Cheung, XIV-H, XIV-I, and XIV-J, version 1 manuscripts, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: XIV-H thm:H2; XIV-I thm:I2, thm:I3, and thm:release; XIV-J prop:descent, thm:reference, thm:conditionalextension, thm:J2, cor:noadmission, and thm:release. Their supplied partial constructions do not constitute the full inherited characteristic map.

CheungXV

N. Cheung, XV-B, version 1, manuscript, n.d. Enter Calculus Companion; supplied excerpts. Relevant supplied locator: thm:release. The supplied technical interface does not construct or admit the inherited six-branch quantum coefficient.

CheungXVI

N. Cheung, XVI-N and XVI-O, manuscripts, n.d. Supplied versions: XVI-N, r12; XVI-O, o70-sync. Enter Calculus Companion; supplied excerpts. Relevant supplied locators: XVI-N thm:massless-obstruction; XVI-O abstract and the reported kernel-prescription boundaries. XVI-N's Route B is not discharged here, and bulk O.1 remains NOT_CLOSED.