Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (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.

Interactions source an omitted Kaluza–Klein harmonic

Physical scope

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 Φ(x,y)=u(x)cos⁡(y/R) is a consistent truncation of the full five-dimensional scalar equation.

Facts & Assumptions

Given: Let Ω⊂R1,3 be a bounded domain with smooth boundary and flat metric of signature (−,+,+,+). On Ω×SR1, with y∼y+2πR and R>0, take a real periodic scalar and the action S=−∫Ωd4x∫02πRdy[12∂MΦ∂MΦ+12m02Φ2+λ4Φ4],λ>0, with m02=−(R−2+μ2) for fixed μ>0. Use ℏ=c=1: [R]=length, [m02]=[μ2]=(length)−2, [μ]=(length)−1, [λ]=length, and [Φ]=[u]=(length)−3/2. These dimensions make the five-dimensional action dimensionless.

[F1]

Kaluza–Klein product and warped reduction data: the flat product circle and its mode restriction are an explicit ansatz specialization.

[F2]

Solution-preserving consistent truncation: consistency requires every reduced solution to satisfy every full equation, including omitted harmonics.

[A1]

Impose fixed boundary values on ∂Ω and define the variational equations using smooth variations compactly supported in the interior of Ω×SR1; periodicity removes the circle boundary term. The retained field profile is exactly u(x)cos⁡(y/R), 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

1.1givenA1F1algebra

The circle integrals are ∫02πRcos⁡2(y/R)dy=πR, ∫02πRsin⁡2(y/R)dy=πR, and ∫02πRcos⁡4(y/R)dy=3πR/4. Substituting the ansatz into [A1] therefore gives Sr=−πR∫Ωd4x[12(∂u)2−12μ2u2+3λ16u4]. The quartic coefficient follows from (λ/4)(3πR/4)=3λπR/16.

2.1givenA1step 1.1algebra

Varying Sr yields □4u+μ2u−(3λ/4)u3=0. Its constant solutions include u=0 and u=u0 with u02=4μ2/(3λ), which is real and nonzero since μ,λ>0. The reduced potential grows as +3λu4/16 at large ∣u∣, so this stationary point is not an artifact of an unbounded quartic action.

3.1givenF2A1step 2.1algebra

Varying the full action gives □4Φ+∂y2Φ−m02Φ−λΦ3=0. At u=u0, □4Φ+∂y2Φ−m02Φ−λΦ3=μ2u0cos⁡(y/R)−λu03cos⁡3(y/R)=−λu034cos⁡(3y/R), using cos⁡3z=(3cos⁡z+cos⁡3z)/4 and λu02=4μ2/3. This residual is not identically zero, so the reduced solution fails the full equation in the omitted third harmonic.

4.1givenF2step 3.1algebra∎

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.

Depends on

Dependency tree · 2 levels

Sources