In approximate holographic codes obtained by skewing an exact code with a Gaussian random perturbation, the accuracy of entanglement wedge reconstruction has been shown to depend strongly on the structure of the perturbation ensemble: a 1/d_2^2 error-to-backreaction hierarchy for the unitarily invariant ensemble at second order, a chi-squared-divergence floor at fourth order for generic bulk spectra, an unsuppressed second-order floor for local cross-cut perturbations, and exact protection for perturbations confined to the geometric sector. This paper unifies these behaviours. For an arbitrary centered Gaussian Hermitian ensemble, it is proved that the ensemble mean of the second-order state deformation equals the action of a Lindblad dissipator whose jump operators are the Karhunen-Loeve modes of the covariance, reduced to the code sector; and that the second-order mean relative entropies are explicit Kubo-Mori quadratic functionals of the per-mode commutator amplitudes. The reconstruction-error floor at fixed backreaction then decomposes into two mechanisms, a second-order term given by a ratio of these functionals and a quartic term given by the Kubo-Mori norm of the induced drift, from which the previously observed laws follow as corollaries, including a closed-form derivation of the coupling-fraction law that had been measured but not derived, and a new exact-protection class: any perturbation diagonal in the Schmidt basis of the bulk state leaves the reduced code state invariant to all orders. The theory is deterministic in the ensemble covariance and was subjected to a second-generation blind test: three zero-parameter predictions (a hierarchy ratio, a drift matrix, and a quartic drift coefficient) were fixed in advance for a chiral cross-cut family never previously simulated, and all three were confirmed within statistical errors. This is a corrected version of the preprint DOI 10.13140/RG.2.2.35666.93125. The word "registered" is replaced by "zero-parameter" throughout, and a footnote records the provenance of the committed predictions: they are computed from the ensemble covariance with no fitted quantity and were fixed before the corresponding measurements were run, but were not deposited with a third party, so no external timestamp is claimed. No result, proof, prediction, or measured value changes. Simulation scripts and data: Zenodo DOI 10.5281/zenodo.21230383.
In approximate holographic codes obtained by skewing an exact code with a Gaussian random perturbation, the accuracy of entanglement wedge reconstruction has been shown to depend strongly on the structure of the perturbation ensemble: a 1/d_2^2 error-to-backreaction hierarchy for the unitarily invariant ensemble at second order, a chi-squared-divergence floor at fourth order for generic bulk spectra, an unsuppressed second-order floor for local cross-cut perturbations, and exact protection for perturbations confined to the geometric sector. This paper unifies these behaviours. For an arbitrary centered Gaussian Hermitian ensemble, it is proved that the ensemble mean of the second-order state deformation equals the action of a Lindblad dissipator whose jump operators are the Karhunen-Loeve modes of the covariance, reduced to the code sector; and that the second-order mean relative entropies are explicit Kubo-Mori quadratic functionals of the per-mode commutator amplitudes. The reconstruction-error floor at fixed backreaction then decomposes into two mechanisms, a second-order term given by a ratio of these functionals and a quartic term given by the Kubo-Mori norm of the induced drift, from which the previously observed laws follow as corollaries, including a closed-form derivation of the coupling-fraction law that had been measured but not derived, and a new exact-protection class: any perturbation diagonal in the Schmidt basis of the bulk state leaves the reduced code state invariant to all orders. The theory is deterministic in the ensemble covariance and was subjected to a second-generation blind test: three zero-parameter predictions (a hierarchy ratio, a drift matrix, and a quartic drift coefficient) were fixed in advance for a chiral cross-cut family never previously simulated, and all three were confirmed within statistical errors. This is a corrected version of the preprint DOI 10.13140/RG.2.2.35666.93125. The word "registered" is replaced by "zero-parameter" throughout, and a footnote records the provenance of the committed predictions: they are computed from the ensemble covariance with no fitted quantity and were fixed before the corresponding measurements were run, but were not deposited with a third party, so no external timestamp is claimed. No result, proof, prediction, or measured value changes. Simulation scripts and data: Zenodo DOI 10.5281/zenodo.21230383.
In the model of approximate holographic codes introduced by Cao, Cheng, Karthikeyan, Li, and Preskill and analyzed perturbatively by Witten, the error in entanglement wedge reconstruction is smaller than the gravitational backreaction by a factor 1/d_2^2 at second order in the skewing parameter, where log d_2 plays the role of the area term. It was recently observed numerically that this hierarchy fails at fourth order for non-degenerate bulk spectra, through a coefficient growing as d_2^4. In the present work a closed form for this coefficient is proved: writing p = (p_1, ..., p_d1) for the Schmidt spectrum of the bulk state, the leading fourth-order term of the mean reconstruction error is epsilon^4 sigma_W^4 alpha(p) d_2^4, where alpha(p) = (1/2) d_1^2 (sum_i 1/p_i - d_1^2) coincides with (1/2) d_1^4 chi^2(u || p), the Neyman chi-squared divergence of the bulk spectrum from the uniform distribution u = (1/d_1, ..., 1/d_1). The mechanism is identified exactly: the ensemble mean of the second-order state perturbation is a decoherence drift of magnitude proportional to d_2^2 directed toward maximal mixing, and alpha is the Kubo-Mori quadratic form of this drift. The spectral-degeneracy protection of the hierarchy observed numerically is thereby explained as the equality case of Jensen's inequality. The formula, conjectured from five calibration spectra, was subsequently confirmed by a zero-parameter blind prediction at a previously unmeasured configuration (d_1 = 4, a new spectrum), which it matched to 0.08 per cent (-0.13 sigma). This is a corrected version of the preprint DOI 10.13140/RG.2.2.14852.69768. Three presentational defects are corrected and no result, proof, or measured value changes. First, the figure committed in advance for the blind test was 601,378, whereas the closed form proved in the paper gives 15552 alpha = 601,344 exactly; the committed figure corresponds to a rounded alpha = 38.6689 and exceeds the exact one by 34, a relative excess of 5.7e-5. Both figures are now stated with the deviation of the measurement from each, and the test is passed against either. Second, the fourth calibration spectrum was printed as (0.453, 0.333, 0.213), which does not sum to one; it is now given as the exact spectrum (34, 25, 16)/75 that was simulated, for which the stated alpha = 4.0202 is correct. Third, the blind test is described as zero-parameter rather than registered: the prediction uses no fitted quantity of any kind, but it was not deposited with a third party, so no external timestamp is claimed. The corrections are listed in the "Note on this version" on the first page. Simulation scripts and data: Zenodo DOI 10.5281/zenodo.21223051.
For a pure encoded state perturbed as exp(i epsilon W) with W drawn from an arbitrary centered Gaussian ensemble of Hermitian operators, the complete fourth-order coefficient of the mean relative-entropy disturbance of any reduced state is derived in closed form. The coefficient decomposes into five channels - the disconnected drift term and four connected channels - each an explicit finite sum over pairs of Karhunen-Loeve modes of the noise covariance, contracted with exact confluent divided-difference kernels of the logarithm. This closes, for arbitrary structured ensembles, the remainder that previous work in this programme controlled only for unitarily invariant ensembles: for the invariant case the mode-completeness identity reproduces Wick's theorem and the pair sums collapse to the known closed forms, while for structured ensembles all five channels are computable deterministically with no sampling, and the dominance of the drift term is governed by a computable coherence ratio rather than a universal law. Two consequences are developed. For stabilizer codes under Knill-Laflamme-protected Pauli noise the three commutator channels vanish identically and the total quartic coefficient reduces to a pure counting expression, verified rational-exactly at three configurations spanning the five-qubit, Steane, and [[4,2,2]] codes. Every closed form is certified against direct simulation, including a genuinely retrodictive test: two quartic coefficients measured and archived in an earlier study of this programme, before the present theory existed, are reproduced to 0.0 and +0.4 standard errors, with the previously unexplained connected excess of one of them given exactly by a new channel formula. This paper is posted here for the first time. It is the fifth of a series: the reconstruction-error hierarchy (DOI 10.13140/RG.2.2.19676.14723), the chi-squared divergence law (Zenodo DOI 10.5281/zenodo.23621356), the induced Lindblad drift (Zenodo DOI 10.5281/zenodo.23621898), and the Knill-Laflamme danger maps (Zenodo DOI 10.5281/zenodo.23622023). Its references point to the corrected versions of those papers. Simulation scripts and data: Zenodo DOI 10.5281/zenodo.21246031.
A pure encoded state of an approximate quantum code is perturbed by exp(i eps W) with W drawn from a centered Gaussian ensemble, and D(eps) denotes the relative-entropy disturbance of a reduced state. This paper derives the complete fourth-order coefficient of the mean disturbance in closed form, and identifies what that coefficient is made of. The derivation has two stages, and they assume different things. The first assumes nothing about the noise beyond that it is centered and Gaussian: the coefficient splits into five channels, one disconnected drift term and four connected ones, each a finite sum over pairs of Karhunen-Loeve modes of the covariance contracted with exact confluent divided differences of the logarithm. For any concrete noise model the whole quartic disturbance is then computable deterministically, with no sampling. The second stage adds one hypothesis, that the mode family is complete and orthonormal, and evaluates every channel. The device throughout is to substitute the integral representation of the divided differences before performing the index sums, which turns each Kronecker delta into a coincidence of resolvent labels, and then to integrate by parts in the ring Q[d_1][t, m_1, ..., m_4] of resolvent traces. No coefficient is fitted and no index contraction survives. What survives is four scalar functions of the Schmidt spectrum: Xi, chi, S_w and T. The assembled coefficient is a function of d_1, d_2 and those four alone, and four is the right number. The five functions 1, Xi, chi, T, S_w are proved linearly independent for every d_1 >= 3, analytically: a degeneration lemma confines the kernel to two dimensions and an expansion about the degenerate spectrum closes it, with discriminant d_1 (d_1 - 2)^2 / 4, which vanishes exactly at d_1 = 2, where the two relations that do make the set reducible are exhibited. The four are not a list that happens to close. Each is a contraction of the Kubo-Mori metric and the Amari-Chentsov skewness tensor on two operator directions, the identity and the maximal-coherence operator of the Schmidt eigenbasis; and those directions are not chosen but read off the mode two-point function, which the Gaussian ensemble fixes identically in the spectrum and for every d_1. The two are Kubo-Mori orthogonal, so chi is the squared classical Fisher length of the spectrum and S_w - chi the squared coherent length, bounded below sharply by d_1^2 (d_1 - 1). Every channel is a rational-weighted sum of metric and skewness contractions, with d_2 the only number entering from outside the geometry, and the skewness tensor enters the whole coefficient exactly once: at order d_2^0 and with weight -1/6, which is precisely the weight the relative-entropy expansion assigns to its own cubic term. The paper is explicit about scope. A dedicated section separates what is proved about the ensemble alone, which is everything, from what the code supplies, which is the Schmidt spectrum and the reading of log d_2 as an area term, and from where the gap lies. On a family of Pauli strings satisfying the Knill-Laflamme conditions on a stabilizer code the first-order mode objects vanish identically, so three of the five channels are not small but exactly zero, and the entire Amari-Chentsov contribution goes with them: the mechanism is a property of the ensemble, not of approximate codes in general. The step from the coefficient to a physical reconstruction-error floor requires fixing the backreaction at a chosen fraction of its Page value, a modelling decision that this paper does not make. The limitations section states four further points, including one archived measurement at d_1 = 3, d_2 = 12 which is located at a definite configuration, quantified, and left unadjudicated with the two reasons given. Every closed form is certified. The checks run from the defining index sums, from the raw five-channel sum built from the mode objects on an explicit orthonormal basis, from the geometric identifications, and, beyond the invariant ensemble, against direct simulation on structured families and stabilizer codes. Two of the latter are retrodictions: coefficients measured and archived earlier in this programme, before the present theory existed, are reproduced to +0.4 and 0.0 standard errors, with a previously unexplained connected excess given exactly by the connected-channel formula. The appendix evaluates the eighteen connected contractions on which the connected channel rests, and the deposited code derives all eighteen of them from the Wick rule and then checks symbolically that they sum to the closed form. This paper supersedes and absorbs three earlier preprints of this programme: 10.5281/zenodo.23644208, 10.5281/zenodo.23684111 and 10.5281/zenodo.23726789, together with the contraction appendix of 10.5281/zenodo.23621356. Those records remain available and are not withdrawn; readers should cite the present paper for any of their results, which are proved here in full and without reliance on unrefereed material. Version 3 corrects the presentation of the appendix table of eighteen connected contractions. Up to version 2 the nine word pairs were listed in five grouped rows, on the ground that the relations T_3 = T_1^dagger and conjugation with u <-> v relate the members of each row; those relations preserve a pair's d_2-degree but not its value, and for three pairs the grouped entry is therefore not the pair's own. The table is now listed pair by pair, the collected sum before the kernel contraction is displayed, and the deposited script derives all eighteen entries from the Wick rule rather than taking them as given. No result of the paper changes: the two matchings of a word pair are added together, and sum_uv w_uv p_u = sum_uv w_uv p_v by the symmetry of w, so the collected sum and everything downstream of it are unaffected. Version 3 also corrects the wording of the proof of the entropy-kernel lemma. The first-order term of the expansion of Tr f(sigma) is Tr[Delta log sigma_0] + Tr Delta, and it is removed by the second, linear term of the relative entropy rather than by Tr Delta = 0 as the earlier versions said; the conclusion of the lemma is unchanged and is verified in the deposited code. A fifth script, an independent review pass over the statements the other four do not cover, is added to the archive. The verification scripts that generate every entry of the certification table, together with the derivation and symbolic verification of the appendix table, are included in the attached archive under the MIT licence.
The disturbance of encoded logical information by weak coherent noise is studied at the state level, before any syndrome measurement, decoding, or recovery, for noise drawn from a centered Gaussian ensemble of Hamiltonian perturbations. Two deterministic identities are established. First, the second-order growth of the relative entropy of the reduced logical state is a Kubo-Mori-weighted sum of Knill-Laflamme violation amplitudes of the ensemble modes; it therefore vanishes identically, for every realization strength, whenever all modes have weight below the code distance. Second, the ensemble mean of the second-order logical deformation is an induced dephasing drift with the closed form -sum_mu N_ac(Pbar_mu) <Pbar_mu>_0 sigma_mu, where N_ac(Pbar_mu) counts the modes anticommuting with the bare logical Pauli Pbar_mu: distance thus removes the second-order mechanism while the drift survives as the leading corruption, entering the relative entropy at fourth order with a closed-form coefficient. For detection codes the first identity yields a deterministic, pair-resolved danger map for crosstalk. The theory was subjected to a zero-parameter blind test on the [[4,2,2]] code under XX crosstalk: the predicted six-pair map, total corruption rate, and drift matrix were committed in advance and confirmed within statistical errors, while the two nominally-zero pairs showed a small excess whose epsilon^2 scaling identifies it as the predicted quartic drift term rather than a second-order violation; its magnitude also carries a connected contribution, not obtained in closed form here. All quantities are computable by finite mode sums from the noise covariance, without sampling. This paper is posted for the first time in corrected form; it was not published previously. The corrections applied before posting concern the description of the two nominally-zero pairs of the blind test, whose measured quartic excess exceeds the computed disconnected coefficient by a factor of about three, the balance being a connected remainder that is characterized numerically here and obtained in closed form in the companion paper; and the replacement of "registered" by "zero-parameter", since the predictions use no fitted quantity but were not deposited with a third party, so no external timestamp is claimed. Simulation scripts and data: Zenodo DOI 10.5281/zenodo.21246031.
Bulk reconstruction is a central problem in AdS/CFT, and entanglement wedge reconstruction is its subregion version. We argue that this subregion statement should be separated from the stronger holographic quantum error correction interpretation, in which one region-independent logical bulk operator has code-preserving representatives in several boundary regions. A simple locality argument shows that such a common reconstruction must commute with the code-preserving local algebras in the complementary regions. This is the mechanism realized in HaPPY-type codes: the erased regions are blind to a protected logical algebra. An ordinary finite N holographic CFT does not have such a protected invisible sector for supergravity fields. Its low-energy local observables, in particular, suitably smeared stress tensors, detect the physical support and gravitational dressing of ordinary bulk operators, up to possible center or superselection data. Thus, there is no such holographic quantum error correction and the N=∞ agreement of global and subregion HKLL formulae is a free-theory statement. What remains is entanglement wedge reconstruction without holographic quantum error correction, or subregion complementarity: each boundary region has its own code-preserving low-energy algebra and its own region-adapted bulk interpretation, rather than a shared logical operator.
For a stabilizer code carrying one tracked logical qubit, perturbed by a centered Gaussian ensemble of Pauli Hamiltonian modes, the fourth-order coefficient of the mean relative-entropy disturbance of the reduced logical state was conjectured by the present author to be the pure counting expression (1/2) N_ac (N_ac + 2) <Zbar>_0^2 sum_u 1/p_u, with N_ac the number of modes anticommuting with the bare logical Zbar; it was certified rational-exactly at three configurations and reported as an exactly verified conjecture. This note proves it. Both second-order kernels are evaluated in closed form by Pauli algebra alone. The diagonal kernel is K_aa = (1 - eps_a) <Zbar>_0 sigma_z, with eps_a the commutation sign of the mode with Zbar, which yields the induced drift, its quartic coefficient, and the diagonal part of the connected channel unconditionally - using neither the Knill-Laflamme conditions nor the code distance. The off-diagonal kernel carries a sign factor f_m = 1 + eps_am eps_bm - eps_bm eta_ab - eps_am multiplying an expectation that vanishes unless the product of the two modes lies in the normalizer of the stabilizer group. This gives a necessary and sufficient vanishing criterion and, from it, the explicit hypothesis the counting law needs: 2w < d_N(S), where w is the mode weight and d_N(S) the weight of the lightest non-identity normalizer element. The hypothesis covers the two distance-three certifications, explains why the law fails on the distance-two [[4,2,2]] code, and is sufficient but not necessary - the degenerate Shor code violates it yet satisfies the law, because the sign factor annihilates the offending pairs. Every kernel identity is certified mode by mode and pair by pair: 732 modes and 1,602 pairs across four codes, with no exception. This note is posted here for the first time. It proves a conjecture stated in A Complete Fourth-Order Expansion of Reconstruction and Logical Errors for Arbitrary Gaussian Coherent Noise (Zenodo DOI 10.5281/zenodo.23644208) and resting on the stabilizer-code framework of Knill-Laflamme Violations, Induced Logical Dephasing, and Deterministic Danger Maps for Coherent Noise on Stabilizer Codes (Zenodo DOI 10.5281/zenodo.23622023). The scripts reproducing every number in the note are deposited in this record as counting_law_scripts.zip. They require Python 3.10+ and NumPy; no other dependencies, CPU only. Version 2 adds counting_law_scripts.zip, which an upload error left out of version 1. The note itself is unchanged: the PDF is byte-for-byte the file published in version 1.