How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Summing unresolved coherent emissions removes the lower cutoff
Statement
In the defined finite-cutoff coherent model, let and . Let and be the counts in the unresolved band and resolved band , respectively. The exclusive no-emission probability is For every , Summing over all unresolved counts gives the finite-resolution inclusive probability which is independent of the lower cutoff . This is an exact identity in the defined free coherent model; it does not assert real–virtual cancellation in interacting QED or a detector's empirical response.
Statement references
Facts & Assumptions
Given: The model's finite cutoffs and coefficient .
Independent soft-radiation resolution model: defines unresolved frequencies and resolved frequencies ; all cutoff values are angular frequencies in s.
Orthogonal frequency bands in the coherent soft model have independent Poisson counts: counts in disjoint frequency bands are independent Poisson variables, with mean on a band .
The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: for , ; splitting this integral at gives .
The complex exponential by its power series, The complex exponential series converges absolutely for every complex argument, and , and the complex exponential extends the real exponential: the exponential series converges absolutely and for real .
Proof
Define and . By [F2], , , and . The endpoint has zero one-particle measure, so assigning it to the resolved interval does not change either mean.
Independence in [F1] gives for every . This also covers : at , the convention gives probability one, and at positive the probability is zero. In particular the case is the exclusive no-emission probability.
Summing the joint probabilities over and using the everywhere convergent exponential series [F3] gives The terms are nonnegative and the series is absolutely convergent, so this sum is the probability of the disjoint union of the events .
Substituting from step 1.1 yields , with no remaining . The conclusion is a model deduction from the finite-band Poisson law, not a statement about virtual amplitudes in QED.
Remarks
The sketch records only the interval partition used above; the proof does not rely on the diagram. The boundary frequency is assigned to the resolved interval, and its zero measure is why this convention does not change the calculation.
Depends on
Independent soft-radiation resolution model
Orthogonal frequency bands in the coherent soft model have independent Poisson counts
The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t
The complex exponential by its power series
The complex exponential series converges absolutely for every complex argument
, and the complex exponential extends the real exponential
The factorial and the falling factorial , defined by recursion in
Integer powers