The manuscript defines a one-electron source on the infinite cubic lattice whose internal space is C^4096 tensor the full transverse Fock space F over L^2(T^3;C^3) fields annihilated by the lattice divergence. Dispersion is the bounded function omega(k)=2 C_E arsinh(sqrt(lambda(k))/2) of equation (1), B=dGamma(omega) acts by multiplication in each photon sector, and the complete Hilbert space is ell^2(Z^3;K). Charged hopping is realized by the unitary edge maps U_{d,r}=C_d tensor W(beta_{d,r}) of (12), where C_d is a fixed unitary register crossing and W is the Weyl displacement generated by the transverse profile beta of (6). Six nonlinear raw-price operators R_{h,ell}=f(ell+Q(sqrt(omega)h)) with the explicit 1-Lipschitz scalar law (10) act on the common Fock space; the site operators S_r of (11) also contain the native clock A_epsilon and the Coulomb self-energy V(r) of (8). The full Hamiltonian H=S+K is assembled in (13)-(14) on the natural domain (15).
Lemma 1 establishes self-adjointness by a relative-bound argument that is elementary once the model is written down. Because f is nonnegative and 1-Lipschitz, spectral calculus plus the standard weighted annihilation estimate yields an infinitesimal B-bound for each raw price; Kato-Rellich therefore places every site operator on D(B). The six edge shifts are unitary, so ||K||<=6|g|, and bounded symmetric perturbation finishes the proof. Domain preservation and conservation of Re<psi,H psi> follow by spectral calculus. The infrared claims for the profiles are correct: near k=0 the squared radial coefficient of beta is O(|k|^{-1}), which is integrable in three dimensions, while the coefficient of h remains bounded; no neighborhood of the origin is excised.
Theorem 2 is an exact energy partition. On D(H) the Cauchy-Schwarz estimate (22) shows that the site expectations are absolutely summable; each nonnegative piece e_ph,r, e_raw,r, e_nat,r is therefore summable, the hopping form is bounded, and one obtains the identity Re<psi,H psi>=E_ph(psi)+E_s(psi). The same identity at the evolved vector psi(t) (still in D(H) by Lemma 1) together with conservation of the total energy yields the exchange (21). No differentiation under an infinite sum is required. The identity holds for every real time and every state in the original domain; it does not assert monotonicity of the individual source terms. Uniform boundedness of V(r) follows from 3-D integrability of 1/lambda and is used implicitly for summability of E_nat; spelling it out is optional exposition, not a required correction.
Theorem 3 proves short-time onset of a positive one-photon energy component from the localized vacuum input x_r. The neighboring component has initial derivative ig(C_d tensor W(beta))v_0 by the hopping formula. Glauber's coherent-state expansion supplies the one-photon piece e^{-||beta||^2/2} beta; because some matrix element (C_d)_{nu 0} is nonzero, beta is a nonzero transverse profile and omega>0 almost everywhere, the bounded read L_{r+e_d,nu} has nonzero initial derivative (29). Consequently q(t)/t tends to a positive constant and q(t)>0 for all sufficiently small t>0 (leading order t^2 for the scalar q). Combined with E_ph(x_r)=0 and the exchange identity, this forces the combined source energy to drop by exactly the gained free-photon energy on (0,t*). The argument uses neither a spectral gap nor a photon-number cutoff. The result is local in time; no large-time, scattering or radiation-zone statement is claimed or proved. The body text already states that the theorem gives a small positive-time interval and makes no monotonicity claim for the later trajectory.
Theorem 4 isolates the passive field-sensitive response of the same coupling. For the two prepared balanced states y_b of (33) that differ only by the presence of the Weyl displacement in one arm, the oriented current evaluates to J_{r,d}(y_b)=g Re<w_1,w_b>. The continuity equation (31) then yields an initial density-derivative difference -g m with m=1-Re<w_1,w_0>>0. Thus the origin matter densities diverge at every sufficiently small positive time. The calculation is first-order and uses only the existing charged hopping; no auxiliary readout interaction is introduced. Figure 3 correctly distinguishes the autonomously generated arm ig t w_1+o(t) from the balanced preparations that must be supplied externally.
Section 6 states explicitly that a retained posting event still requires a further construction linking the density contrast to a persistent record transformation, including timing and resource accounting. The mathematical core therefore ends at the radiation-and-read coupling; the broader recognition-boundary claim remains programmatic. Relative to the continuum literature surveyed in Spohn (the sole background reference), the model is nonstandard: the nonlinear raw-price law, the eight-state clock and the discrete crossings are native definitions rather than continuum limits of minimal coupling. Within the stated lattice hypotheses the four results are correct, domain-exact and free of hidden cutoffs. The principal limitations are the short-time character of the radiation statement, the absence of any asymptotic analysis, and the lack of quantitative comparison with Pauli-Fierz or Nelson models.
Validated objections confirm one production defect: missing word spaces in the opening paragraph of Section 1 on page 1 ("Aphysicalboundaryneedsaway..."). All other requested additions (extra no-asymptotic sentences, continuum-comparison paragraphs, additional Pauli-Fierz citations, restated posting disclaimers, uniform-V(r) remarks, vector-versus-scalar wording next to (29)) are editorial preferences. The body already limits Theorem 3 to a small interval, already marks posting as further construction, and already distinguishes prepared y_b from the autonomous arm. No theorem statement requires revision. Minor typesetting and optional exposition improvements do not affect correctness.
preprint published 2026-10-25 17:09 UTC by preprint-admission
Preprint record published. Integrity screen clean; desk screen PASS. The review summary and available scorecard are attached as public metadata.