When an optical source reproduces the local records of a thermal state, how much microscopic mixedness do those records actually guarantee? This paper gives explicit entropy bounds and a sharp large-budget law for that inference when the source's photon fluctuations are bounded. The setting is one oscillator with \([Q,P]=i\) and \(N=(Q^2+P^2-1)/2\). Fix a mean photon number \(E>0\), and put \(v=E+1/2\) and \(A=v-1/(4v)\). The complete position density, probability current and local kinetic density are required to be \[n_v(q)=\frac{e^{-q^2/(2v)}}{\sqrt{2\pi v}},\qquad j_v(q)=0,\qquad k_v(q)=\left(\frac{q^2}{4v^2}+A\right)n_v(q).\] These are exact functions, with no factor \(1/2\) in the definition of \(k_v\). They force mean photons \(E\). The additional resource is the actual expectation \(\operatorname{Tr}(N^2\rho)\le M\) of the same source. At fixed mean, this is also a photon-number-variance cap. For every feasible finite \(M\), every normal state compatible with these records satisfies \[S(\rho)\ge h_2\!\left(\min\{\eta_E(M),1/2\}\right)>0.\] \[\eta_E(M)=\left[\frac{A}{\sqrt M+\sqrt{M+A(A+B)}}\right]^2,\qquad B=1-\frac1{2v}.\] Here \(S(\rho)=-\operatorname{Tr}(\rho\log\rho)\), \(h_2(t)=-t\log t-(1-t)\log(1-t)\), and logarithms are natural. The bound applies to all compatible normal states, with no Gaussian or finite-rank restriction. Let \(S_{\min}(E,M)\) be the entropy infimum over that full compatible class. As \(M\to\infty\) at fixed \(E>0\), \[S_{\min}(E,M)=\frac{c(E)\log M+c(E)[1-\log c(E)]}{M}+O_E\!\left(\frac{\log M}{M^2}\right).\] The coefficient is \(c(E)=E^2(E+1)^2/(2E+1)^2\). A positive mixture of two pure Gaussian states preserves all three complete records and has an exactly computed photon-square cost. It supplies the matching upper bound, fixing both the leading coefficient and the next term. The same asymptotic law therefore holds within actual probability mixtures of pure Gaussian states. Finite-budget results are explicit bounds; the sharp equality is the stated fixed-\(E\), large-\(M\) expansion. Without a photon-square cap, the exact compatible entropy range is \((0,g(E)]\), where \(g(E)=(E+1)\log(E+1)-E\log E\). The thermal state uniquely attains the upper endpoint, while compatible Gaussian mixtures approach zero entropy. This separates a maximum-entropy model from the minimum entropy forced by the data. The proof uses established local Gram relations, projects onto an actual largest spectral component, and charges its positive spectral tail to the same source's \(N^2\) budget. This connection retains the column correlations needed for the lower bound. The analysis concerns one mode and ideal complete records; finite-precision or sampled records require additional error control. The integrated 13-page PDF contains two figures, complete proofs and references.
When an optical source reproduces the local records of a thermal state, how much microscopic mixedness do those records actually guarantee? This paper gives explicit entropy bounds and a sharp large-budget law for that inference when the source's photon fluctuations are bounded. The setting is one oscillator with ([Q,P]=i) and (N=(Q^2+P^2-1)/2). Fix a mean photon number (E>0), and put (v=E+1/2) and (A=v-1/(4v)). The complete position density, probability current and local kinetic density are required to be [n_v(q)=\frac{e^{-q^2/(2v)}}{\sqrt{2\pi v}},\qquad j_v(q)=0,\qquad k_v(q)=\left(\frac{q^2}{4v^2}+A\right)n_v(q).] These are exact functions, with no factor (1/2) in the definition of (k_v). They force mean photons (E). The additional resource is the actual expectation (\operatorname{Tr}(N^2\rho)\le M) of the same source. At fixed mean, this is also a photon-number-variance cap. For every feasible finite (M), every normal state compatible with these records satisfies [S(\rho)\ge h_2!\left(\min{\eta_E(M),1/2}\right)>0.] [\eta_E(M)=\left[\frac{A}{\sqrt M+\sqrt{M+A(A+B)}}\right]^2,\qquad B=1-\frac1{2v}.] Here (S(\rho)=-\operatorname{Tr}(\rho\log\rho)), (h_2(t)=-t\log t-(1-t)\log(1-t)), and logarithms are natural. The bound applies to all compatible normal states, with no Gaussian or finite-rank restriction. Let (S_{\min}(E,M)) be the entropy infimum over that full compatible class. As (M\to\infty) at fixed (E>0), [S_{\min}(E,M)=\frac{c(E)\log M+c(E)[1-\log c(E)]}{M}+O_E!\left(\frac{\log M}{M^2}\right).] The coefficient is (c(E)=E^2(E+1)^2/(2E+1)^2). A positive mixture of two pure Gaussian states preserves all three complete records and has an exactly computed photon-square cost. It supplies the matching upper bound, fixing both the leading coefficient and the next term. The same asymptotic law therefore holds within actual probability mixtures of pure Gaussian states. Finite-budget results are explicit bounds; the sharp equality is the stated fixed-(E), large-(M) expansion. Without a photon-square cap, the exact compatible entropy range is ((0,g(E)]), where (g(E)=(E+1)\log(E+1)-E\log E). The thermal state uniquely attains the upper endpoint, while compatible Gaussian mixtures approach zero entropy. This separates a maximum-entropy model from the minimum entropy forced by the data. The proof uses established local Gram relations, projects onto an actual largest spectral component, and charges its positive spectral tail to the same source's (N^2) budget. This connection retains the column correlations needed for the lower bound. The analysis concerns one mode and ideal complete records; finite-precision or sampled records require additional error control. The integrated 13-page PDF contains two figures, complete proofs and references.
How much high-photon quantum coherence is controlled by a nonnegative phase-space distribution? This article gives quantitative guarantees for approximating an optical state by a finite photon-number block, and constructs physical states showing why the guarantee cannot be inferred from mean energy or Wigner positivity alone at the strength available for a Gaussian-mixture source. Source classes and scope. The comparison concerns one optical mode with [Q,P]=i, mean photon number at most E>0, and a known parity centre. The full class WE consists of normal Wigner-positive states at the exact vacuum min-entropy endpoint, equivalently states supported on the even photon sector in that frame. The subclass GE consists of actual probability mixtures of centred pure squeezed vacua. Mixture labels are unavailable, component energies may be arbitrarily large, and their true average energy is charged. Infinite photon tails are retained. A hierarchy of coherent-tail guarantees. Let PL project onto photon numbers at most L, and define the cutoff error by eL(ρ)=21∥ρ−PLρPL∥1. This quantity includes both discarded photon population and coherence across the cutoff. A mean-energy constraint alone gives the standard OE(L−1/2) guarantee. At the exact Wigner endpoint, the article proves supρ∈WEeL(ρ)≤CE(L+1)−3/4,supρ∈GEeL(ρ)≤L+14E,L≥2. The stronger endpoint bound combines operator positivity and Wigner positivity on the same density kernel, followed by a controlled conversion to trace norm. It requires only mean energy, without a uniform second photon moment. Physical coherence beyond the Gaussian-mixture bound. A family τd∈WE has exact energy E, covariance (E+1/2)I, strictly positive Wigner functions and nonzero population at every even photon number. For cutoffs Ld=Θ(d3), eLd(τd)≥cEd−5/2,(Ld+1)eLd(τd)⟶∞. Thus the Gaussian-mixture L−1 law fails uniformly on the full endpoint class. The construction preserves coherence through an actual optical partial trace and pays its physical energy cost. Positive phase mixing further yields distinct states with identical complete photon statistics and covariance but nearly indistinguishable bounded optical responses. The rare bright branches obey the prescribed mean-energy budget; no efficient experimental preparation protocol or uniform branch-energy bound is assumed. Consequences for a specified measurement system. Each independent copy is measured by bounded centred squeezing followed by a vacuum/nonvacuum binary test. At fixed energy, squeezing range and confidence, let nX(δ) be the minimum worst-case number of copies for trace-distance accuracy δ over source class X. As δ↓0, the bounds are lognGE(δ)=Θ(δ−1),cδ−6/5≤lognWE(δ)≤Cδ−4/3. These are measurement-restricted reconstruction costs. The lower bounds allow adaptive randomized settings. The upper bounds use finite designs and estimates in the original source class, with the energy budget respected for every record; they establish statistical existence rather than an efficient catalogue-generation algorithm. The full-class exponents remain distinct lower and upper bounds. The article also characterizes infinite-order Wigner entropy equality by displaced even-parity support and corrects the pure-Gaussian-only equality clause at infinite order in Dias and Prata (2023). The 27-page integrated article includes the complete proofs, figures and references.
This work gives a resource law for engineering optical noise: how many photons must a single environment mode contain to prevent any signal from producing an output that is too spectrally concentrated? It provides an explicit optimal bath preparation, a matched Gaussian benchmark, and separately proved guarantees for correlated repeated use. Exact photon cost of a spectral noise guarantee A signal mixes with an independently prepared bath σ at a beam splitter of signal transmissivity η. The requirement is Φη,σ(ρ)≤cIfor every normal input state ρ,0<c<1. Equivalently, every rank-one output projection has probability at most c and the receiver's output min-entropy is at least −lnc. Inputs may be mixed, non-Gaussian, arbitrarily energetic, and have infinite photon tails. Let d=⌈1/c⌉−1. Throughout 0<η≤1/⌈1/c⌉, the minimum mean photon numbers of the actual bath are Nall(c,η)=1−ηd−cd(d+1)/2.NG(c,η)=1−ηc−1−1. The first optimization includes all normal bath states and has a unique finite-support minimizer. The second includes all Gaussian density operators, with arbitrary squeezing and displacement; a centered thermal bath attains it. The coupling and spectral requirement are identical in both comparisons. At c=1/j, for every integer j≥2 and 0<η≤1/j, NG(1/j,η)=2Nall(1/j,η). Between reciprocal budgets the ratio varies. The cost counts mean photons in the physical bath, not laboratory preparation work or the energy of an auxiliary purification. A physical preparation and its complete single-use spectrum Writing r=1−dc, the attaining vacuum-output spectrum is λ∗=(d entriesc,…,c,r). It majorizes every output of the same channel, so the minimum von Neumann entropy is exactly Smin(Φη,σ)=−dclnc−rlnr. The other positive-order Rényi minima are fixed by the same spectrum. Coherent inputs attain these minima. The proof identifies an actual optical dilation whose port antisymmetry enforces the all-input occupation bound. Exact examples also show that baths with identical energy and covariance can have different optimized entropy floors. What survives entangled repeated use For the same resource-optimal flat-output families of ranks j=2,3,4, separate estimates prove Sout≥mlnj for every finite number m of uses and arbitrary normal joint inputs, including cross-use entanglement. The environments vary with η along their specified families. Further results give sharp tensorized purity bounds for the entire three-level diagonal bath simplex and for every Fock environment at balanced coupling. The paper then treats a different, fixed bath, σ=∣1⟩⟨1∣, at every 0<η<1. With h(η)=−ηlnη−(1−η)ln(1−η), it proves: Exact Sout≥mh(η) at arbitrary finite blocklength for joint inputs invariant under each local photon-number phase rotation by 2π/q, q≥4. Coherence and entanglement within residue sectors and infinite tails remain allowed. The residue-zero restricted channel also has strong minimum-output-entropy additivity with arbitrary normal partner channels. The same exact entropy floor for up to three globally total-phase-invariant input modes, without a mean-energy limit. Sout≥Mh(η)−o(M) for physical-mode permutation-invariant inputs of finite mean energy density, with explicit errors and full infinite-tail control. For every fixed m and interior η, all outputs remain a uniformly positive trace distance from every state of rank below 2m, without any input-energy bound. This covers nonbalanced parameters where the older purity-based distance bound vanishes; the new positive constant is spectrally implicit. Interpretation and scope The input classes above are not nested, and an entropy rate, a finite-block entropy floor and a low-rank distance are distinct guarantees. The fixed single-photon bath is not generally the resource-optimal bath. Complete unrestricted nonbalanced single-photon entropy additivity and exact classical capacity remain open. A spectral noise guarantee constrains output mixing; it does not mean that all input information or reference correlations are erased. The article separates this issue through actual resolved-erasure qubit restrictions, antidegradability of the specified optimal reciprocal families, and a classical capacity bracket under a true signal-energy budget. The integrated 52-page article contains six scientific figures, the complete proofs, and the mathematical data needed to reconstruct its finite certificates. Logarithms and entropy values use natural units unless bits are explicitly stated.
What should an optical memory retain when only a limited amount of source information can be kept? This paper gives the complete quantum information frontier for a fixed Gaussian source and relevance channel, and identifies when a single retained qubit preserves correlations that every classical record loses. It also turns that advantage into a concrete test of whether received light belongs to its stored source preparation. The physical experiment and the complete frontier A fixed Gaussian state on A is prepared with its actual purifier C. A normal encoder acts on C to produce memory M, while a prescribed Gaussian channel maps A to the relevant optical output B. The source-information cost and useful correlation are r=I(A:M) and v=I(B:M), respectively. All logarithms are natural. The paper determines CQ(R)=supN:I(A:M)≤RI(B:M). For every fixed faithful finite-mode Gaussian source and finite-mode Gaussian relevance channel, optimization over arbitrary normal quantum encoders reduces to Gaussian supporting values and a mixture of at most two Gaussian branches. The branch flag is physically retained. The unrestricted frontier is a supremum with no imposed memory dimension or memory-energy cap; an explicit finite approximation gives an error uniform in the information budget. Hard finite-dimensional implementations are treated separately. Why one qubit can preserve the leading low-brightness information For a thermal source with mean photon number n and a thermal attenuator with transmissivity 0<η<1, write the output occupation as ηn+b, where b≥0 is the environment's added thermal occupation. With g(x)=(x+1)log(x+1)−xlogx, the exact optimum over all normal classical records is Ccl(n,R)=g(ηn+b)−g(ηuR+b),uR=g−1(max{g(n)−R,0}). A legal encoder applies vacuum loss with transmissivity λ to the purifier and then coherently retains two levels, resetting the entire higher-photon tail. For fixed b>0 and 0<λ<1/2, at the common budget Rn=g(n)+g(λn)−g((1−λ)n), its actual relevance satisfies v2=1+bηλnlog(1/n)+O(n),Ccl(n,Rn)=2ληlog(1+1/b)n+O(log(1/n)n). The full optical tail is included in the resource accounting. At n=0.01, η=b=0.5, λ=0.2 and R=0.023875, the certified predictive-mutual-information advantage exceeds 85%. The leading correlation is quantified by memory-side discord and can survive when the final output–memory state is separable. The vacuum-environment endpoint is evaluated separately for the same encoder. A same-resource correlation decision The receiver distinguishes matched source pairs from independent systems with identical marginals. For k uses, the retained predictive memory obeys dimKk≤2k and I(Ak:Kk)≤kR, including all retained flags. Both competitors may make arbitrary joint binary measurements on the received optical modes and their retained memory. The received modes are common observation access, outside the predictive-memory cap. Let αk be the missed-correlation probability and βk the false-match probability. For every classical block encoder, even with an unrestricted classical alphabet, the fixed-error converse is αk≤ϵ⟹βk≥exp[−1−ϵkcnR+log2],cn=ηlog(1+1/n)log(1+1/(ηn+b)). At the finite parameters above and ϵ=0.1, the product-qubit encoder achieves an asymptotic false-match exponent of 0.0049 nats per pair, whereas every classical block strategy has exponent below 0.003138386231. This uses one qubit per source pair and identical measurement permissions. It is an asymptotic discrimination guarantee, distinct from the 85% single-copy information comparison; it specifies neither a finite-sample threshold nor a laboratory receiver circuit. The integrated paper contains the complete proofs, resource accounting and figures. The exact thermal classical comparator, the finite-memory construction and the block-testing connection have explicit proof dependencies separate from the general Gaussian-frontier reduction.
Can a finite-rank quantum state approximate a given optical state while reproducing an entire continuous measurement record and its original mean energy exactly? This paper provides a constructive affirmative answer, with quantitative rank, trace-distance and entropy control. The main result concerns one oscillator A=L2(R), with [Q,P]=i and photon operator N=(Q2+P2−1)/2, coupled to a finite memory B=Cb. The input is any normal state ρAB with mean photons E=Tr(NρA)<∞. Its complete position–memory record Gρ(q) retains both the position probability and the conditional quantum state of the memory. For every integer L≥0 and 0<a≤1, there is a state ω satisfying Gω=Gρ,Tr(NωA)=E,rankω≤b(L+2),21∥ρ−ω∥1≤L+1E+a. Thus the approximants converge inside the same exact-record, exact-energy constraint set. A purification needs a new register of dimension at most b(L+2); retaining both the original memory and this register costs total dimension at most b2(L+2). The construction preserves a positive head of the original state and replaces its actual positive tail. If the head has rank at most r and the tail mass is p, at most b replacement vectors suffice, giving rank at most r+b and half trace-distance error at most p before energy restoration. A position-dependent unitary with ∥U−I∥≤a then restores the exact energy without changing rank, spectrum or the measured record. With natural logarithms, ∣S(ρ)−S(ω)∣≤h2(p)+p[g(E/p)+logb], where h2 is binary entropy, g(x)=(1+x)log(1+x)−xlogx, and the zero-tail case is understood continuously. The same estimate controls quantum conditional entropy. Horizontal matrix purification removes kinetic overhead while handling zeros, changes of rank and the full real line. Scalar position distributions admit the corresponding construction for any fixed finite number of modes. The approximation is chosen from the known source, and finite rank refers to full wavefunctions rather than finite photon support. The integrated 12-page PDF contains two figures, complete proofs, and attribution of the classical kinetic, purification and phase identities used.
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 ka(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=2q. An exact threshold for statistical advantage Without retained quantum information, the optimal sample order is Θ(m). Along arbitrary growing-mode sequences, the precise criterion for improving that order is ka(D,m)=o(m)⟺am→∞andmaD→∞. 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,m2/D}. At the fixed energy and separation above, constants c,C>0, independent of m,D,a, give cmin{m,A/a}≤ka(D,m)≤Cmin{m,A/a+min(a−2,m2/3)},0<a≤1. At a=0, the sample cost is Θ(m). For ideal memory the complete rate is k1(D,m)=Θ(min{m,max(1,m2/D)}). With loss, the bounds match whenever A≥min{a−1,am2/3}. For example, a=m−1/6 and D=⌈m11/6⌉ give Θ(m1/3) preparations. The existence of sublinear advantage is fully characterized even where its optimal exponent remains bracketed: for D≥m2, a=m−1/2, the stated bounds are Ω(m1/2) and 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 m2 labels, only a positive register of dimension m+1 is retained. The three-visit route requires D≥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τ, where Ψ is CPTP and Rτ(X)=Tr(X)τ, an exact flagged-erasure simulation gives 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) therefore forces Θ(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.
How much quantum memory is needed to retain the contributions of rare photon events to a measurement record? This paper determines the memory scales required to approach the best heterodyne conditional entropy when the total optical energy tends to zero. Its resource laws distinguish precisions for which counting photon configurations suffices from critical precisions at which energy-calibrated entropy corrections determine additional memory costs. Full preparation model and reference value. The optical system has m bosonic modes, total mean photon number at most E, and an entire accessible quantum side system B of dimension at most D, including retained preparation labels. The optical source and its correlations with the memory are optimized over all normal mixed states; arbitrary coherences and infinite photon tails are allowed. With natural logarithms and heterodyne measure dμ=π−md2mz, define Vm,D(E)=minρABHμ(Z∣B),Hμ(Z∣B)=hμ(Z)−χ(Z:B). Here Z is the heterodyne outcome and χ is Holevo information. The unlimited-memory optimum at the same energy is Bm(E)=m−Eln(1+m/E),Dmin(m,E,ε)=min{D:Vm,D(E)−Bm(E)≤ε}. The tolerance ε is a total conditional-entropy excess in nats. It is not a measurement-error probability. Classical side information satisfies Hμ(Z∣Y)≥m; entangled quantum side information can go below this benchmark. The resource D is a Hilbert-space dimension, corresponding to ⌈log2D⌉ qubits. Precision selects a photon-number hierarchy. Along arbitrary joint limits m→∞, E→0, with no prescribed relation between E and 1/m, Eε→c>0⟹Dmin∼e−cm. For every fixed integer K≥2, EKε→c∈(0,1/K!)⟹Dmin∼(1−K!c)K!mK. Although higher-photon events become rarer, they occupy increasingly many orthogonal mode configurations. Resolving their entropy contribution therefore requires a larger memory dimension. In qubits, the fixed-K law is Klog2m+O(1). Critical precisions resolve costs beyond sector counting. At the exact tolerance E2/2, the complete vacuum–one-photon head is not sufficient at leading dimension: Dmin(m,E,E2/2)=m+1+(1+o(1))(2m+6Em2). The error is relative to the additional dimension in parentheses. Both terms come from the entropy of the mean-calibrated finite head, together with an all-state output-entropy comparison. At the next critical tolerance E3/6, the paper determines an added-to-removed-level transition near the complete two-photon head (2m+2), including the boundary near mE=4 and precisely qualified integer conclusions. An exact finite-energy source. For every finite m, 2≤D≤m+1, and 0<E≤10−4, let r=D−1 and choose orthonormal one-photon modes u1,…,ur. The preparation ∣Ψ⟩=1−E∣0⟩A∣0⟩B+E/r∑j=1r∣uj⟩A∣j⟩B attains the original global minimum over the full preparation class. Its vacuum–one-photon support is a conclusion of the optimization, rather than an imposed photon cutoff. The paper also characterizes exact small-energy optima for every fixed complete photon head. A record-reconstruction interpretation with explicit resource accounting. A common finite heterodyne digitizer, including a genuine overflow symbol, approximates the conditional entropy uniformly over all legal preparations. For independent repetitions of a known preparation, classical–quantum Slepian–Wolf coding identifies the asymptotic reconstruction rate with H(X∣B). The uniform comparison transfers the hierarchy to the excess optimized communication rate relative to unlimited finite memory using the same digitizer. Preserving the first critical formula requires digitization error ξ=o(E2/m+E3); the corresponding error scales for the separated second-critical regimes are also given. The decoder may act collectively after receiving the classical message. For n independent preparations, the supplied side-system dimension is at most Dn and total mean optical energy is at most nE. This is a supplied-memory resource law, not an optimization over arbitrary correlated block preparations, a minimum Schumacher-compressed storage rate, or a bound on peak decoder workspace. Coding limits are taken at fixed finite parameters before the low-energy, growing-mode limit. The work develops the low-photon, growing-mode regime of the preparation problem studied in Optimal entanglement weights for heterodyne uncertainty with finite quantum memory (doi:10.5281/zenodo.23647071). The integrated 29-page paper contains the complete proofs, three figures and two tables.