Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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.

Conditional charged-scalar flux amplification

Physical scope

A conditional linear fixed-background statement for an admitted real-frequency massless charged-scalar scattering mode on the specified subextremal electric Reissner–Nordström exterior. It concerns only the declared asymptotic time-translation energy-flux normalization and makes no claim of mode existence, astrophysical efficiency, measured amplification, quantum pair-production, coupled evolution, or nonlinear instability.

Statement

Within the adopted fixed-background charged-scalar model, consider any admitted real-frequency scattering mode on a subextremal electric Reissner–Nordström exterior with incident amplitude Ain≠0, reflection coefficient R, and transmission coefficient T≠0. Let ΦH=Q/r+ be the gauge-normalized potential difference and let Pin,Pref be the positive incoming and reflected time-translation energy-flux magnitudes defined by the adopted stress tensor. If

0<ω<eΦH,

then

PrefPin=∣R∣2=1+eΦH−ωω∣T∣2>1.

Thus the reflected asymptotic mode flux magnitude exceeds the incident magnitude in this frequency band, conditional on an admitted scattering solution with nonzero transmission. The statement asserts neither existence nor uniqueness of such a solution.

Facts & Assumptions

Given: The adopted fixed-background scalar model, the exact subextremal electric RN scattering conventions, and an admitted mode with the stated coefficients and frequency conditions.

[A1]

Fixed-background charged scalar regime: the scalar is a classical massless minimally coupled field on prescribed RN-form background data, with its stress omitted from the background equations; its adopted energy tensor is the symmetric tensor of the local mathematical definition.

[F1]

Massless charged-scalar radial scattering data: At=−Q/r, ΦH=lim⁡r→∞At(r)−lim⁡r↓r+At(r)=Q/r+, ωH=ω−eΦH, and the normalized scattering mode has unit incoming radial amplitude with only the ingoing branch at the future horizon. The definition asserts no scattering-solution existence.

[F2]

Exact charged scattering Wronskian flux identity: for each admitted mode, ∣R∣2=1−ω−eQ/r+ω∣T∣2.

[F3]

Asymptotic time-translation flux of a charged scalar mode: for these asymptotics, Pref/Pin=∣R∣2 and Pin=2ω2∣Ain∣2>0.

[A2]

The mode is admitted, ω>0, 0<ω<eΦH, and T≠0. These are conditional inputs, not an existence or empirical claim.

Proof

1.1givenF1F2A2algebra

By [F2] and ΦH=Q/r+ from [F1], ∣R∣2=1−ω−eΦHω∣T∣2=1+eΦH−ωω∣T∣2. The band condition in [A2] makes both (eΦH−ω)/ω and ∣T∣2 strictly positive, so ∣R∣2>1.

2.1givenA1F3step 1.1algebra∎

By [F3], Pref/Pin=∣R∣2>1 and Pin>0. Multiplying by the positive incident flux gives Pref>Pin. This is a deduction in the stated fixed-background model.

Depends on

Dependency tree · 2 levels

Sources