Alphabeta Math
LemmaStatement: AI-generatedProof: AI-generated
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.

Both tractable inequalities at the regular endpoint

Statement

Assume countable choice. Let G=(V,E) be a finite connected undirected graph, with n=∣V∣>0, symmetric binary adjacency matrix A, and self-loops allowed and counted once in each row sum. Suppose every row sum is d≥0, let α≥0, and assume ∥Δ∥≤αd, where Δ=A−(d/n)J and J is the all-ones matrix; the norm is the Euclidean operator norm. Let θ be a stable state, meaning a local minimum on the phase torus of EG(θ)=12∑x,yAxy(1−cos⁡(θx−θy)). Choose representatives in (−π,π] after common rotation so that ρ1≥0 is real, where ρk=n−1∑xeikθx. Put X=ρ12, r=∣ρ2∣, and M=n−1∑xH(θx), where H(t)=sin⁡2∣t∣ for ∣t∣≤π/2 and H(t)=1 for π/2≤∣t∣≤π.

For 0≤α≤0.24585, one has X≥1−3α and r≥1−5α2.

Facts & Assumptions

[F1]

The rational bootstrap gives X≥451/1000>2/5 (Rational bootstrap through the regular endpoint).

[F2]

Since ρ1>0, Corollary 2.4 gives r≥1−2α2/X (Lower bound for the second order parameter — Corollary 2.4).

[F3]

Regular Lemma 2.1 gives X≥(1+r2)/2−3α/2 (First and second order parameter inequality — Lemma 2.1).

[F10]

Definition or convention used in the Statement: Adjacency, degrees, graph Laplacian, and spectral notation.

[F11]

Definition or convention used in the Statement: Adjacency spectral expander — Definition 1.3.

[F12]

Definition or convention used in the Statement: Equilibria, stable states, synchronized states, and spurious minima.

[F13]

Definition or convention used in the Statement: Daido order parameters.

[F14]

Definition or convention used in the Statement: Bounds, saturation, and rotation of order parameters.

[F15]

Definition or convention used in the Statement: Truncated sine-square function.

[F16]

Definition or convention used in the Statement: Centered graph matrices and reference degree.

[F17]

Definition or convention used in the Statement: Loewner order, Hermitian inner product, and operator norm.

[F18]

Definition or convention used in the Statement: Phasors, trigonometric identities and periodic derivatives.

[F19]

Definition or convention used in the Statement: The Axiom of Countable Choice (AC_ω).

Proof

Given: The graph, stable normalized state, parameters and notation in the Statement.

Goal: Establish all the asserted estimates.

1.1F1F2givenalgebra

By [F1], ρ1>0 and 2/X<5. Thus [F2] gives r≥1−5α2. Also 5α2<5(1/4)2<1, so the new right side is positive.

2.1F3step 1.1givenalgebra∎

Square the nonnegative lower bound of step 1.1 and substitute into [F3] to obtain X≥1−3α/2−5α2+(25/2)α4. Since α≤0.24585<3/10, one has 5α2≤3α/2. Discard the nonnegative fourth-power term to conclude X≥1−3α. Together with step 1.1, this proves both original Lemma 2.5 conclusions throughout the stated range.

Depends on

Used by · 2

Dependency tree · 2 levels

Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.