ExampleConstruction: AI-generatedVerification: 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.

Latitude-loop Berry holonomy

Physical scope

A constructed path in the conditional classical Maxwell-Lorentz vacuum helicity model's smooth source-free nonzero-Fourier-mode regime, with no extra approximation. The loop, solid angle, and phase are dimensionless geometric quantities; no experimental measurement, material medium, quantization, or photon position operator is asserted.

Example

Fix $σ \in {+ 1, - 1}$ and $0 < θ_{0} < π$ . Let $γ (t) = (θ_{0}, 2 π t)$ for $0 \leq t \leq 1$ be the latitude loop in the direction sphere, and set $Ω : = \int_{0}^{2 π} \int_{0}^{θ_{0}} \sin θ d θ d ϕ = 2 π (1 - \cos θ_{0})$ , the outward solid angle of its north cap. The spherical gauge gives ${H o l}_{γ} = \exp (i 2 π σ \cos θ_{0})$ . The north-pole regular gauge $v_{N} = e^{i σ ϕ} v_{σ}$ has $A_{N} = σ (\cos θ - 1) d ϕ$ and is smooth on the cap; its loop integral and the cap flux are both $- σ Ω$ . Hence ${H o l}_{γ} = \exp (- i σ Ω) = \exp (i 2 π σ \cos θ_{0})$ .

Example references

SO(2) helicity character and geometric phase

Facts & Assumptions

Given: A fixed $σ \in {+ 1, - 1}$ and a latitude parameter $0 < θ_{0} < π$ .

[F1]

SO(2) helicity character and geometric phase states that in a single unit frame defined on a neighborhood of the loop, ${H o l}_{γ} = \exp (i \oint_{γ} A)$ . For its Stokes clause, when $γ$ is piecewise smooth with associated finite smooth singular path chain $c_{γ}$ , a finite smooth singular $2$ -chain $Σ$ in one unit-frame domain satisfying $\partial Σ = c_{γ}$ gives ${H o l}_{γ} = \exp (i \int_{Σ} F_{σ})$ .

[F2]

Curvature and the obstruction to a global polarization basis gives $F_{σ} = - σ \sin θ d θ \land d ϕ$ , and SO(2) helicity character and geometric phase gives $A_{σ} = σ \cos θ d ϕ$ and its holonomy rule.

Verification

1.1F2algebra

On the punctured cap, the phase change $v_{N} = e^{i σ ϕ} v_{σ}$ gives $A_{N} = A_{σ} - σ d ϕ = σ (\cos θ - 1) d ϕ$ . Put $x = \sin θ \cos ϕ$ , $y = \sin θ \sin ϕ$ , and $z = \cos θ$ . Since $d ϕ = (x d y - y d x) / (1 - z^{2})$ , this is $A_{N} = - σ (x d y - y d x) / (1 + z)$ , which extends smoothly across the north pole because $1 + z > 0$ there. The rephased frame itself also extends: for $σ = + 1$ its components are $\frac{1}{2 \sqrt{2} (1 + z)} ((1 + z)^{2} - (x + i y)^{2}, i ((1 + z)^{2} + (x + i y)^{2}), - 2 (x + i y) (1 + z))^{T}$ , and for $σ = - 1$ they are the complex conjugates. These formulas have nonzero denominator throughout the north patch.

2.1F1F2step 1.1algebra

Along the loop, $\oint_{γ} A_{N} = \int_{0}^{2 π} σ (\cos θ_{0} - 1) d ϕ = - σ Ω$ , so [F1] gives ${H o l}_{γ} = e^{- i σ Ω}$ . Direct integration of the global curvature over the north cap gives $\int_{Σ_{N}} F_{σ} = - σ \int_{0}^{2 π} \int_{0}^{θ_{0}} \sin θ d θ d ϕ = - σ Ω$ as well. Thus the cap-flux expression agrees without using the singular spherical gauge at its pole.

3.1F1F2step 2.1algebra∎

In the spherical gauge, $\oint_{γ} A_{σ} = 2 π σ \cos θ_{0} = - σ Ω + 2 π σ$ . Since $e^{i 2 π σ} = 1$ for the integer helicities specified by [F1], exponentiation gives the same holonomy in both gauges.

Latitude-loop Berry holonomy

Example

Example references

Facts & Assumptions

Verification

Depends on

Dependency tree · 2 levels

Sources