Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Exact Localized Information Capacity of a Local Observable in a Hilbert-Space-Shattered System

Hikaru Wakaura, Taiki Tanimae

Published Jul 16, 2026• 0 citations
Publisher

Abstract

Abstract How many bits of information a local observable can retain forever is a sharp, operational measure of a system's memory, but it has been quantified only for many-body localization, where it rests on approximate integrals of motion, and for generic systems, where it is obtained numerically. Systems with strong Hilbert-space fragmentation possess an \emph{exact and complete} commutant algebra, yet their memory has been characterized only through autocorrelation Mazur bounds or by counting protected qubits---never as an information capacity in bits. Here we define the localized information capacity of a local observable as the Holevo/mutual information its infinite-time-retained state carries about the initial state, and show that in a fragmented system it equals, in \emph{closed form}, the projection of the observable onto the commutant, $\Cuniv=\sum_\alpha[\Tr(A P_\alpha)]^2/(D\,\Tr P_\alpha)$. This value is Hamiltonian-independent and is a rigorous lower bound on the true infinite-time autocorrelation; the excess is non-universal dynamical memory, which we show grows under disorder. For the spin-1 dipole-conserving chain we derive the sector count in closed form from a finite transfer structure on sector boundary types---Pell-number growth, $K_L=2P_{L+1}-1\sim(1+\sqrt2)^L$, the silver ratio; the capacity density provably converges, with the numerical value $\chi_\infty=1.09(1)$ bits per site, and fragmentation nearly doubles the autocorrelation floor guaranteed by all polynomial multipole charges. For the $t$--$J_z$ chain the capacity closes fully: exactly $2/3$ bit per site, the particle density times one retained spin bit. We further show why the complete labelling of the retained bits resists strict locality: the height dynamics is a partially-commutative (trace) monoid whose natural complete invariant---computable by a strictly local sweep---is provably incomplete for the gated physical moves, the missing labels being frozen orderings that are precisely statistically localized data. Our results turn the memory of a shattered Hilbert space into an exact bit count and explain, from first principles, why its complete integrals of motion are statistically rather than sharply localized.

DOI
10.21203/rs.3.rs-10366611/v1

Related papers

Structure of many-body quantum dynamics: full counting statistics, fragmentation and integrability

Riccardo Senese

This thesis investigates the dynamics of quantum many-body systems in isolation, in three different setups. We start by considering a paradigmatic quantum chaotic model of magnetism, the Heisenberg antiferromagnet in 2 and 3 spatial dimensions. The focus is on obtaining approximations for the full counting statistics (FCS) of a subsystem order parameter, the staggered magnetization, both in and out of equilibrium (following quantum quenches). We employ mappings of spin variables to bosonic ones, together with self-consistent time-dependent mean-field schemes, to compute the FCS via Gaussian techniques. In particular, we introduce a formula for the FCS of any subsystem observable that is at most quadratic in the bosons. We obtain results both in the presence and absence of long-range magnetic order. We then turn to the first of two ergodicity-breaking scenarios, by considering Hilbert space fragmentation (HSF) in charge- and dipole-conserving quantum chains. We determine the critical charge density at which a "freezing" phase transition from weak to strong fragmentation takes place, for any on-site Hilbert space dimension. To characterize the degree of dynamical connectivity in the system, we introduce a novel framework that enables us to obtain analytic results for the strongly fragmented phase, and numerically explore the weakly fragmented one. We derive some critical exponents, and show that the entanglement entropy of typical eigenstates in the strongly fragmented phase obeys an area law. We also uncover the existence of rare eigenstates whose entropy appears to scale beyond any area law. Finally, we investigate dynamical correlators in the Lieb-Liniger gas, one of the simplest interacting integrable theories solvable by Bethe ansatz. We employ Markov chain Monte Carlo methods to sample matrix elements (form factors) that appear in the Lehmann representation of the finite-temperature single-particle bosonic Green’s function. In the physical regimes we consider, sampling is necessary because a full summation of the relevant form factors is computationally intractable. We benchmark our results against exact solutions available in specific limits, and find them to be very accurate.

•Jan 1, 2025•0 citations

Localized charges, reset noise, and boundary memory in matrix-product-conserving quantum chains

Ron Rubin

We construct boundary observables that retain memory for a quantified time window in quantum chains whose basis configurations carry a conserved ordered product of matrix labels. Under strong-irreducibility and proximality hypotheses on the label matrices, projective contraction of random matrix products localizes a conserved charge in the root-mean-square over uniform basis configurations. A finite-time inequality then converts readout overlap and reset leakage into a correlation bound: for a conserved reference observable $H$, a readout $F$, accumulated squared leakage $\mathcal B$, and the normalized Hilbert-Schmidt inner product, $\langle F,Φ(F)\rangle\ge 2\langle H,F\rangle^2/(\|H\|_2^2+\mathcal B)-\|F\|_2^2$. Here $Φ$ is a sequence of conserving channels and partial resets. The bound holds for each such circuit, without averaging its gates. It yields an exponential memory window in the distance from the noisy region, with quantitative corrections for spatially distributed noise and imperfect conservation. For a thirteen-state elementary-matrix model, exact polynomial certificates give root-mean-square localization error $e^{-r/1400}$ between the charge and its restriction to the last $r$ sites, and limiting variance at least $1/19$ for a rational charge. A related normalized-Gram charge gives an eight-site certificate retaining more than half the specified readout correlation through two boundary-reset rounds. Uniform depolarization imposes an inverse-noise-rate lifetime ceiling. A two-qubit IBM experiment illustrates the general reset inequality; it does not realize the matrix-product chain. We provide proofs, exact certificate programs, and an independent recount of the archived experimental outcomes.

quant-pharXiv:2609.23195•Sep 22, 2026•0 citations

Local Integrals of Motion in Dipole-Conserving Models with Hilbert Space Fragmentation

Patrycja Łydżba, Peter Prelovšek, Marcin Mierzejewski

Hilbert space fragmentation is an ergodicity-breaking phenomenon, in which the Hamiltonian shatters into exponentially many dynamically disconnected sectors. In many fragmented systems, these sectors can be labeled by statistically localized integrals of motion, which are nonlocal operators. We study the paradigmatic nearest-neighbor pair hopping model exhibiting the so-called strong fragmentation. We show that this model hosts local integrals of motion (LIOMs), which correspond to frozen density modes with long wavelengths. The latter modes become subdiffusive when longer-range pair hoppings are allowed. Finally, we make a connection with a tilted (Stark) chain. Contrary to the dipole-conserving effective models, the tilted chain is shown to support either a Hamiltonian or dipole moment as an LIOM. Numerical results are obtained from a numerical algorithm, in which finding LIOMs is reduced to a data compression problem.

arXiv:2401.17097•Physical Review Letters•May 31, 2024•6 citations

Tunable Hilbert space fragmentation and extended critical regime

Mateusz Lisiecki, J. Bonča, Marcin Mierzejewski +2 more

Systems exhibiting the Hilbert-space fragmentation are nonergodic, and their Hamiltonians decompose into exponentially many blocks in the computational basis. In many cases, these blocks can be labeled by eigenvalues of statistically localized integrals of motion (SLIOMs), which play a similar role in fragmented systems as local integrals of motion in integrable systems. While a nonzero perturbation eliminates all nontrivial conserved quantities from integrable models, we demonstrate for the $t\text{\ensuremath{-}}{J}_{z}$ chain that an appropriately chosen perturbation may gradually eliminate SLIOMs (one by one) by progressively merging the fragmented subspaces. This gradual recovery of ergodicity manifests as an extended critical regime characterized by multiple peaks of the fidelity susceptibility. Each peak signals a change in the number of SLIOMs and blocks, as well as an ultra-slow relaxation of local observables.

arXiv:2505.09346•Physical review. B./Physical review. B•Nov 13, 2025•1 citation

Flat band induced local Hilbert space fragmentation

Eulàlia Nicolau, A. M. Marques, R. G. Dias +1 more

We demonstrate that a complete class of flat-band lattices with underlying commutative local symmetries exhibit a locally fragmented Hilbert space. The equitable partition theorem ensures distinct parities for the compact localized states (CLSs) present in this class of flat-band lattices and the extended eigenstates of the system. In the presence of on-site bosonic interactions, such models exhibit a conserved quantity, the parity of the number of particles located in all the CLSs in a unit cell. As a consequence, the Hilbert space presents local fragmentation, which is only revealed upon rotating the basis of the Hamiltonian that decouples the CLSs at the single-particle level. We find that the fragmentation is strong and also robust to the addition of long-range interactions. As an example, we numerically analyze the fragmentation of the one-dimensional pyrochlore chain, which exhibits nonintegrable sectors, effective single-particle sectors, and frozen states. We also show that the entanglement entropies form a nested-dome structure typical of these fragmented systems and that thermalization is restricted to each subsector.

arXiv:2306.15660•Physical review. B./Physical review. B•Nov 2, 2023•8 citations

Memory capacity and lifetime thresholds for testing pure Gaussianity

Zixuan He

How much quantum information must a sequential optical test retain, and how reliably must that information survive between source preparations? This paper gives preparation budgets and impossibility bounds that distinguish useful quantum storage from regimes where the classical sample order is unavoidable. Optical source and fully counted memory A fixed unknown normal state supplies independent, identical preparations on \(m\) bosonic modes. The null consists of all pure Gaussian states with total mean photon number at most one. Alternatives have half trace distance at least \(1/32\) from every pure Gaussian state; neither their energy nor the comparison family's energy is capped. Mixed states and infinite photon tails are included. Each visit accesses one entire original once. The total quantum dimension retained between visits is at most \(D\), while classical records and computation are unrestricted. At every actual waiting interval, the entire register independently survives unchanged with known probability \(a\), or is erased with a classical flag. The quantity \(k_a(D,m)\) is the smallest deterministic original-preparation cap achieving worst-case error at most \(1/3\). Failed preparations, discarded trials and reserved positions are all charged. A retained register of \(q\) qubits has \(D=2^q\). An exact threshold for statistical advantage Without retained quantum information, the optimal sample order is \(\Theta(m)\). Along arbitrary growing-mode sequences, the precise criterion for improving that order is \[ k_a(D,m)=o(m)\quad\Longleftrightarrow\quad am\to\infty\ \text{and}\ \frac{aD}{m}\to\infty. \] The two conditions express separate capacity and survival requirements. Arbitrarily large storage cannot reduce the linear sample order when \(a=O(1/m)\), yet a survival probability tending to zero can still permit an advantage. Let \(A=\max\{1,m^2/D\}\). At the fixed energy and separation above, constants \(c,C>0\), independent of \(m,D,a\), give \[ c\min\{m,A/a\}\le k_a(D,m)\le C\min\{m,A/a+\min(a^{-2},m^{2/3})\},\qquad 0<a\le1. \] At \(a=0\), the sample cost is \(\Theta(m)\). For ideal memory the complete rate is \[ k_1(D,m)=\Theta\!\left(\min\{m,\max(1,m^2/D)\}\right). \] With loss, the bounds match whenever \(A\ge\min\{a^{-1},am^{2/3}\}\). For example, \(a=m^{-1/6}\) and \(D=\lceil m^{11/6}\rceil\) give \(\Theta(m^{1/3})\) preparations. The existence of sublinear advantage is fully characterized even where its optimal exponent remains bracketed: for \(D\ge m^2\), \(a=m^{-1/2}\), the stated bounds are \(\Omega(m^{1/2})\) and \(O(m^{2/3})\). Why the construction and converse fit the same resources A physical completely positive contraction combines first- and second-moment information before the next wait. Although the temporary pair output has order \(m^2\) labels, only a positive register of dimension \(m+1\) is retained. The three-visit route requires \(D\ge m+1\) and pays two actual survival events; a classical alternative handles the centering statistics. The converse covers arbitrary adaptive instruments and persistent noncommuting memory. Erasure removes the coherent prediction contribution while preserving information already learned in the full classical history. Unflagged noise and applicability For a fixed memoryless channel on the entire retained register with a physical reset decomposition \(\mathcal N=a\Psi+(1-a)\mathcal R_\tau\), where \(\Psi\) is CPTP and \(\mathcal R_\tau(X)=\operatorname{Tr}(X)\tau\), an exact flagged-erasure simulation gives \(k_{\mathcal N}(D,m)\ge k_a(D,m)\). The established positive quantum Doeblin coefficient optimizes this lower obstruction. Whole-register depolarizing noise with unchanged fraction \(1-q=O(1/m)\) therefore forces \(\Theta(m)\) samples for every memory dimension. General unflagged noise inherits a converse, not the flagged model's complete achievability guarantees. The results quantify asymptotic preparation and persistent-memory resources under ideal visit-local control. Temporary auxiliary systems and gate complexity have no imposed budget, and the explicit sufficient finite-sample constants are conservative. The task is pure Gaussianity testing, rather than membership in the full family of mixed Gaussian states. The single integrated PDF contains the short main text, full proofs, four figures and precise resource accounting.

•Oct 25, 2026•0 citations
Abstract How many bits of information a local observable can retain forever is a sharp, operational measure of a system's memory, but it has been quantified only for many-body localization, where it rests on approximate integrals of motion, and for generic systems, where it is obtained numerically. Systems with strong Hilbert-space fragmentation possess an \emph{exact and complete} commutant algebra, yet their memory has been characterized only through autocorrelation Mazur bounds or by counting protected qubits---never as an information capacity in bits. Here we define the localized information capacity of a local observable as the Holevo/mutual information its infinite-time-retained state carries about the initial state, and show that in a fragmented system it equals, in \emph{closed form}, the projection of the observable onto the commutant, \Cuniv=∑α[\Tr(APα)]2/(D \TrPα)\Cuniv=\sum_\alpha[\Tr(A P_\alpha)]^2/(D\,\Tr P_\alpha)\Cuniv=∑α​[\Tr(APα​)]2/(D\TrPα​). This value is Hamiltonian-independent and is a rigorous lower bound on the true infinite-time autocorrelation; the excess is non-universal dynamical memory, which we show grows under disorder. For the spin-1 dipole-conserving chain we derive the sector count in closed form from a finite transfer structure on sector boundary types---Pell-number growth, KL=2PL+1−1∼(1+2)LK_L=2P_{L+1}-1\sim(1+\sqrt2)^LKL​=2PL+1​−1∼(1+2​)L, the silver ratio; the capacity density provably converges, with the numerical value χ∞=1.09(1)\chi_\infty=1.09(1)χ∞​=1.09(1) bits per site, and fragmentation nearly doubles the autocorrelation floor guaranteed by all polynomial multipole charges. For the ttt--JzJ_zJz​ chain the capacity closes fully: exactly 2/32/32/3 bit per site, the particle density times one retained spin bit. We further show why the complete labelling of the retained bits resists strict locality: the height dynamics is a partially-commutative (trace) monoid whose natural complete invariant---computable by a strictly local sweep---is provably incomplete for the gated physical moves, the missing labels being frozen orderings that are precisely statistically localized data. Our results turn the memory of a shattered Hilbert space into an exact bit count and explain, from first principles, why its complete integrals of motion are statistically rather than sharply localized.
This thesis investigates the dynamics of quantum many-body systems in isolation, in three different setups. We start by considering a paradigmatic quantum chaotic model of magnetism, the Heisenberg antiferromagnet in 2 and 3 spatial dimensions. The focus is on obtaining approximations for the full counting statistics (FCS) of a subsystem order parameter, the staggered magnetization, both in and out of equilibrium (following quantum quenches). We employ mappings of spin variables to bosonic ones, together with self-consistent time-dependent mean-field schemes, to compute the FCS via Gaussian techniques. In particular, we introduce a formula for the FCS of any subsystem observable that is at most quadratic in the bosons. We obtain results both in the presence and absence of long-range magnetic order. We then turn to the first of two ergodicity-breaking scenarios, by considering Hilbert space fragmentation (HSF) in charge- and dipole-conserving quantum chains. We determine the critical charge density at which a "freezing" phase transition from weak to strong fragmentation takes place, for any on-site Hilbert space dimension. To characterize the degree of dynamical connectivity in the system, we introduce a novel framework that enables us to obtain analytic results for the strongly fragmented phase, and numerically explore the weakly fragmented one. We derive some critical exponents, and show that the entanglement entropy of typical eigenstates in the strongly fragmented phase obeys an area law. We also uncover the existence of rare eigenstates whose entropy appears to scale beyond any area law. Finally, we investigate dynamical correlators in the Lieb-Liniger gas, one of the simplest interacting integrable theories solvable by Bethe ansatz. We employ Markov chain Monte Carlo methods to sample matrix elements (form factors) that appear in the Lehmann representation of the finite-temperature single-particle bosonic Green’s function. In the physical regimes we consider, sampling is necessary because a full summation of the relevant form factors is computationally intractable. We benchmark our results against exact solutions available in specific limits, and find them to be very accurate.
We construct boundary observables that retain memory for a quantified time window in quantum chains whose basis configurations carry a conserved ordered product of matrix labels. Under strong-irreducibility and proximality hypotheses on the label matrices, projective contraction of random matrix products localizes a conserved charge in the root-mean-square over uniform basis configurations. A finite-time inequality then converts readout overlap and reset leakage into a correlation bound: for a conserved reference observable HHH, a readout FFF, accumulated squared leakage B\mathcal BB, and the normalized Hilbert-Schmidt inner product, ⟨F,Φ(F)⟩≥2⟨H,F⟩2/(∥H∥22+B)−∥F∥22\langle F,Φ(F)\rangle\ge 2\langle H,F\rangle^2/(\|H\|_2^2+\mathcal B)-\|F\|_2^2⟨F,Φ(F)⟩≥2⟨H,F⟩2/(∥H∥22​+B)−∥F∥22​. Here ΦΦΦ is a sequence of conserving channels and partial resets. The bound holds for each such circuit, without averaging its gates. It yields an exponential memory window in the distance from the noisy region, with quantitative corrections for spatially distributed noise and imperfect conservation. For a thirteen-state elementary-matrix model, exact polynomial certificates give root-mean-square localization error e−r/1400e^{-r/1400}e−r/1400 between the charge and its restriction to the last rrr sites, and limiting variance at least 1/191/191/19 for a rational charge. A related normalized-Gram charge gives an eight-site certificate retaining more than half the specified readout correlation through two boundary-reset rounds. Uniform depolarization imposes an inverse-noise-rate lifetime ceiling. A two-qubit IBM experiment illustrates the general reset inequality; it does not realize the matrix-product chain. We provide proofs, exact certificate programs, and an independent recount of the archived experimental outcomes.
Hilbert space fragmentation is an ergodicity-breaking phenomenon, in which the Hamiltonian shatters into exponentially many dynamically disconnected sectors. In many fragmented systems, these sectors can be labeled by statistically localized integrals of motion, which are nonlocal operators. We study the paradigmatic nearest-neighbor pair hopping model exhibiting the so-called strong fragmentation. We show that this model hosts local integrals of motion (LIOMs), which correspond to frozen density modes with long wavelengths. The latter modes become subdiffusive when longer-range pair hoppings are allowed. Finally, we make a connection with a tilted (Stark) chain. Contrary to the dipole-conserving effective models, the tilted chain is shown to support either a Hamiltonian or dipole moment as an LIOM. Numerical results are obtained from a numerical algorithm, in which finding LIOMs is reduced to a data compression problem.
Systems exhibiting the Hilbert-space fragmentation are nonergodic, and their Hamiltonians decompose into exponentially many blocks in the computational basis. In many cases, these blocks can be labeled by eigenvalues of statistically localized integrals of motion (SLIOMs), which play a similar role in fragmented systems as local integrals of motion in integrable systems. While a nonzero perturbation eliminates all nontrivial conserved quantities from integrable models, we demonstrate for the $t\text{\ensuremath{-}}{J}_{z}$ chain that an appropriately chosen perturbation may gradually eliminate SLIOMs (one by one) by progressively merging the fragmented subspaces. This gradual recovery of ergodicity manifests as an extended critical regime characterized by multiple peaks of the fidelity susceptibility. Each peak signals a change in the number of SLIOMs and blocks, as well as an ultra-slow relaxation of local observables.
We demonstrate that a complete class of flat-band lattices with underlying commutative local symmetries exhibit a locally fragmented Hilbert space. The equitable partition theorem ensures distinct parities for the compact localized states (CLSs) present in this class of flat-band lattices and the extended eigenstates of the system. In the presence of on-site bosonic interactions, such models exhibit a conserved quantity, the parity of the number of particles located in all the CLSs in a unit cell. As a consequence, the Hilbert space presents local fragmentation, which is only revealed upon rotating the basis of the Hamiltonian that decouples the CLSs at the single-particle level. We find that the fragmentation is strong and also robust to the addition of long-range interactions. As an example, we numerically analyze the fragmentation of the one-dimensional pyrochlore chain, which exhibits nonintegrable sectors, effective single-particle sectors, and frozen states. We also show that the entanglement entropies form a nested-dome structure typical of these fragmented systems and that thermalization is restricted to each subsector.
How much quantum information must a sequential optical test retain, and how reliably must that information survive between source preparations? This paper gives preparation budgets and impossibility bounds that distinguish useful quantum storage from regimes where the classical sample order is unavoidable. Optical source and fully counted memory A fixed unknown normal state supplies independent, identical preparations on mmm bosonic modes. The null consists of all pure Gaussian states with total mean photon number at most one. Alternatives have half trace distance at least 1/321/321/32 from every pure Gaussian state; neither their energy nor the comparison family's energy is capped. Mixed states and infinite photon tails are included. Each visit accesses one entire original once. The total quantum dimension retained between visits is at most DDD, while classical records and computation are unrestricted. At every actual waiting interval, the entire register independently survives unchanged with known probability aaa, or is erased with a classical flag. The quantity ka(D,m)k_a(D,m)ka​(D,m) is the smallest deterministic original-preparation cap achieving worst-case error at most 1/31/31/3. Failed preparations, discarded trials and reserved positions are all charged. A retained register of qqq qubits has D=2qD=2^qD=2q. An exact threshold for statistical advantage Without retained quantum information, the optimal sample order is Θ(m)\Theta(m)Θ(m). Along arbitrary growing-mode sequences, the precise criterion for improving that order is ka(D,m)=o(m)⟺am→∞ and aDm→∞. k_a(D,m)=o(m)\quad\Longleftrightarrow\quad am\to\infty\ \text{and}\ \frac{aD}{m}\to\infty. ka​(D,m)=o(m)⟺am→∞ and maD​→∞. The two conditions express separate capacity and survival requirements. Arbitrarily large storage cannot reduce the linear sample order when a=O(1/m)a=O(1/m)a=O(1/m), yet a survival probability tending to zero can still permit an advantage. Let A=max⁡{1,m2/D}A=\max\{1,m^2/D\}A=max{1,m2/D}. At the fixed energy and separation above, constants c,C>0c,C>0c,C>0, independent of m,D,am,D,am,D,a, give cmin⁡{m,A/a}≤ka(D,m)≤Cmin⁡{m,A/a+min⁡(a−2,m2/3)},0<a≤1. c\min\{m,A/a\}\le k_a(D,m)\le C\min\{m,A/a+\min(a^{-2},m^{2/3})\},\qquad 0<a\le1. cmin{m,A/a}≤ka​(D,m)≤Cmin{m,A/a+min(a−2,m2/3)},0<a≤1. At a=0a=0a=0, the sample cost is Θ(m)\Theta(m)Θ(m). For ideal memory the complete rate is k1(D,m)=Θ ⁣(min⁡{m,max⁡(1,m2/D)}). k_1(D,m)=\Theta\!\left(\min\{m,\max(1,m^2/D)\}\right). k1​(D,m)=Θ(min{m,max(1,m2/D)}). With loss, the bounds match whenever A≥min⁡{a−1,am2/3}A\ge\min\{a^{-1},am^{2/3}\}A≥min{a−1,am2/3}. For example, a=m−1/6a=m^{-1/6}a=m−1/6 and D=⌈m11/6⌉D=\lceil m^{11/6}\rceilD=⌈m11/6⌉ give Θ(m1/3)\Theta(m^{1/3})Θ(m1/3) preparations. The existence of sublinear advantage is fully characterized even where its optimal exponent remains bracketed: for D≥m2D\ge m^2D≥m2, a=m−1/2a=m^{-1/2}a=m−1/2, the stated bounds are Ω(m1/2)\Omega(m^{1/2})Ω(m1/2) and O(m2/3)O(m^{2/3})O(m2/3). Why the construction and converse fit the same resources A physical completely positive contraction combines first- and second-moment information before the next wait. Although the temporary pair output has order m2m^2m2 labels, only a positive register of dimension m+1m+1m+1 is retained. The three-visit route requires D≥m+1D\ge m+1D≥m+1 and pays two actual survival events; a classical alternative handles the centering statistics. The converse covers arbitrary adaptive instruments and persistent noncommuting memory. Erasure removes the coherent prediction contribution while preserving information already learned in the full classical history. Unflagged noise and applicability For a fixed memoryless channel on the entire retained register with a physical reset decomposition N=aΨ+(1−a)Rτ\mathcal N=a\Psi+(1-a)\mathcal R_\tauN=aΨ+(1−a)Rτ​, where Ψ\PsiΨ is CPTP and Rτ(X)=Tr⁡(X)τ\mathcal R_\tau(X)=\operatorname{Tr}(X)\tauRτ​(X)=Tr(X)τ, an exact flagged-erasure simulation gives kN(D,m)≥ka(D,m)k_{\mathcal N}(D,m)\ge k_a(D,m)kN​(D,m)≥ka​(D,m). The established positive quantum Doeblin coefficient optimizes this lower obstruction. Whole-register depolarizing noise with unchanged fraction 1−q=O(1/m)1-q=O(1/m)1−q=O(1/m) therefore forces Θ(m)\Theta(m)Θ(m) samples for every memory dimension. General unflagged noise inherits a converse, not the flagged model's complete achievability guarantees. The results quantify asymptotic preparation and persistent-memory resources under ideal visit-local control. Temporary auxiliary systems and gate complexity have no imposed budget, and the explicit sufficient finite-sample constants are conservative. The task is pure Gaussianity testing, rather than membership in the full family of mixed Gaussian states. The single integrated PDF contains the short main text, full proofs, four figures and precise resource accounting.