Alphabeta Math
Pipeline-generated
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.

Collapse ray tracing and greybody separation — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Frequency filtering changes a thermal spectrum

Example

Let ω1,ω2>0 be distinct angular frequencies measured in seconds−1, let θ>0 be measured in seconds, and choose a pointwise channel transmissivity Γ:(0,∞)→[0,1] with Γ(ω1)=1 and Γ(ω2)=0. Define the numerical Planck occupation profile nθ(ω)=(exp⁡(θω)−1)−1 and its filtered profile mΓ(ω):=Γ(ω)nθ(ω). The proposition's modewise multiplier formula motivates this pointwise profile map; this example does not assert that one normalized Fock-state family realizes the full profile. Then mΓ is positive at ω1 and zero at ω2. No single Planck occupation nθ′(ω) with finite θ′>0 measured in seconds has both values. This is a constructed mathematical filter, not a claim about an actual black-hole potential.

Facts & Assumptions

Given: θ>0 measured in seconds, distinct positive angular frequencies ω1,ω2 measured in seconds−1, and the mode channel of Exponential channel thermality and greybody filtered occupations.

[A1]

Countable Choice is inherited from the supplied channel proposition. The Axiom of Countable Choice (ACω)

[F1]

Exponential channel thermality and greybody filtered occupations gives nθ(ω)>0 for every θ>0 and ω>0.

Verification

1.1givenA1F1algebra

From the definition of mΓ and [F1], mΓ(ω1)=1⋅nθ(ω1)>0 and mΓ(ω2)=0⋅nθ(ω2)=0.

2.1A1F1step 1.1algebra∎

If one finite θ′>0 Planck function fitted both values, it would have nθ′(ω2)>0 by [F1], contradicting mΓ(ω2)=0 from step 1.1. Thus no such common width exists.

Remarks

Nonlogical channel motivation. Exponential channel thermality and greybody filtered occupations proves the loss-channel identity nout(ω)=Γ(ω)nω for each fixed-frequency normalized signal vector in the stated annihilation-operator domain and a vacuum environment. The profile mΓ here is only the numerical pointwise multiplier of nθ; no state-family realization is asserted.