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.
Interactions source an omitted Kaluza–Klein harmonic
A five-dimensional classical real scalar toy model on a bounded flat four-dimensional Lorentzian domain times a compact spacelike circle. This counterexample demonstrates mode sourcing and is not a string compactification, stability result, or claim about gravitational backreaction.
Statement refuted
For this interacting model, the one-harmonic ansatz is a consistent truncation of the full five-dimensional scalar equation.
Facts & Assumptions
Given: Let be a bounded domain with smooth boundary and flat metric of signature . On , with and , take a real periodic scalar and the action with for fixed . Use : , , , , and . These dimensions make the five-dimensional action dimensionless.
Kaluza–Klein product and warped reduction data: the flat product circle and its mode restriction are an explicit ansatz specialization.
Solution-preserving consistent truncation: consistency requires every reduced solution to satisfy every full equation, including omitted harmonics.
Impose fixed boundary values on and define the variational equations using smooth variations compactly supported in the interior of ; periodicity removes the circle boundary term. The retained field profile is exactly , and the action has no other fields or interactions. The interior Euler–Lagrange equations are local; for either constant solution below, choose matching constant boundary data.
Counterexample
The circle integrals are , , and . Substituting the ansatz into [A1] therefore gives The quartic coefficient follows from .
Varying yields . Its constant solutions include and with , which is real and nonzero since . The reduced potential grows as at large , so this stationary point is not an artifact of an unbounded quartic action.
Varying the full action gives . At , using and . This residual is not identically zero, so the reduced solution fails the full equation in the omitted third harmonic.
By [F2], one reduced solution that does not uplift refutes the asserted consistent-truncation claim. The interaction creates the omitted harmonic even though the quadratic circle modes are orthogonal; this example establishes no general impossibility theorem for nonlinear or symmetry-protected truncations.
Remarks
The mass parameter is deliberately tachyonic in this toy scalar model, while the positive quartic makes the reduced potential bounded below. No stability, vacuum, or string-theoretic interpretation is claimed.