Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Static Schwarzschild clocks at 2s and 4s, and the near-horizon acceleration limit

Physical scope

Worked model calculation for ideal static observers and an ideal light ray. The near-horizon acceleration is a model requirement for static motion, not an observation; curvature and extension statements are geometric properties of the specified Schwarzschild model.

Example

Let (M,g,N) be the adopted Schwarzschild exterior datum with s>0 and f(r)=1−s/r. Compare ideal static clocks at radii rE=2s and rR=4s over a common Schwarzschild coordinate-time interval of duration Δt>0. For the frequency ratio, choose a specified smooth, affinely parametrized future-directed null geodesic η:J→M in the exterior with endpoint parameters λE<λR on those static worldlines, and use the ideal geometric-optics frequencies assigned by the endpoint static observers. Here f(2s)=1/2 and f(4s)=3/4.

  1. The exact model ratios are

    ωRωE=f(2s)f(4s)=23,ΔτRΔτE=f(4s)f(2s)=32.

    The static proper acceleration at 2s is a(2s)=c2/(42s).

  2. Write r=s(1+ϵ) for ϵ>0. The exact static proper acceleration is

    a(r)=c22sϵ(1+ϵ)3/2,

    which tends to +∞ as ϵ↓0. In contrast, the curvature scalar has limit K→12/s4 by Orthonormal-frame curvature components and the Kretschmann scalar 12s^2/r^6 of the Schwarzschild exterior metric, and the advanced extension chart is smooth through r=s by Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart. The acceleration divergence is therefore a property of maintaining a static worldline near the boundary, not evidence of a curvature blow-up there.

Facts & Assumptions

Given: The Schwarzschild exterior with s>0, static observers at 2s and 4s, and an ideal ray in the geometric-optics reading.

[F1]

The proper-time increments of two static clocks over a common Schwarzschild coordinate-time interval satisfy ΔτR/ΔτE=fR/fE; for ideal geometric-optics frequencies measured at the endpoint events of a specified future-directed null geodesic between those static observers, ωR/ωE=fE/fR; and the proper acceleration is c2s/(2r2f) (Static-clock redshift, proper acceleration, and a controlled weak-field expansion in Schwarzschild).

[F2]

The curvature scalar is K=12s2/r6 in the Schwarzschild exterior and has boundary limit 12/s4 as r↓s (Orthonormal-frame curvature components and the Kretschmann scalar 12s^2/r^6 of the Schwarzschild exterior metric).

[F3]

The advanced extension chart is a smooth Lorentzian extension through r=s, isometric to the exterior on r>s (Smooth horizon-crossing extension of the Schwarzschild exterior metric in the advanced chart).

Verification

technique · substitute the two radii into the exact static formulas, then evaluate the proper-acceleration and curvature limits separately
1.1givenF1algebra

Substitution gives fE=1/2 and fR=3/4. Applying [F1] yields the frequency and clock ratios. The acceleration at 2s is c2s/[2(2s)21/2]=c2/(42s).

1.2F1F2algebraalgebra

At r=s(1+ϵ), f=ϵ/(1+ϵ), so [F1] gives a=c2/[2sϵ(1+ϵ)3/2], which diverges as ϵ↓0. By [F2], K=12s2/[s6(1+ϵ)6] tends to 12/s4, a finite value.

2.1step 1.1step 1.2F2F3given∎

[F3] supplies a smooth extension through the same r=s boundary. Hence the divergence in 1.2 is the static-observer acceleration requirement in the exterior chart, while this curvature scalar remains finite and the metric has the stated smooth extension. No measured clock ratio or acceleration is asserted.

Depends on

Dependency tree · 2 levels

Sources