Sharp entropy bounds from thermal local records and photon fluctuations

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)={e-q^2/(2v)}{√2π v}, j_v(q)=0, k_v(q)=(q^2/4v^2+A)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 \(Tr(N^2ρ)≤ 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(ρ)≥ h_2\!(min\{η_E(M),1/2\})>0.\] \[η_E(M)=[{A}{√ M+√M+A(A+B)}]^2, B=1-1{2v}.\] Here \(S(ρ)=-Tr(ρlogρ)\), \(h_2(t)=-tlog 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ₘᵢₙ(E,M)\) be the entropy infimum over that full compatible class. As \(M→∞\) at fixed \(E>0\), \[Sₘᵢₙ(E,M)=c(E)log M+c(E)[1-log c(E)]/M+O_E\!(log M/M^2).\] 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)-Elog 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.