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.

The restricted spectral estimate needed above the connectivity threshold

Statement

For every fixed γ>1 and all sufficiently large integers n, put p=γlog⁡n/n and let A be the adjacency matrix of the loop-free simple graph G(n,p) on [n]={1,…,n}, whose distinct possible edges occur independently with probability p. Write J for the n×n all-ones matrix. For a matrix M on Cn, use the Euclidean operator norm ∥M∥=max⁡∥x∥2=1∥Mx∥2, where ∥x∥2=(∑i=1n∣xi∣2)1/2. All probabilities below use this graph law. Then P(∥A−pJ∥≥8γlog⁡n)≤2n−γ. The cutoff may depend on γ. This restricted result does not assert the refuted bound for every positive γ.

Facts & Assumptions

[F1]

Put μ=np=γlog⁡n, let I be the n×n identity matrix, and set H=(A−p(J−I))/μ. Then EA=p(J−I), and H has the independent mean-zero upper-triangular entries and variance and entry bounds supplied by the normalization lemma; also μ→∞ and eventually 0<p<1 (Normalize the logarithmic random graph for nonbacktracking estimates).

[F2]

Write dmax⁡=max⁡i∈[n]∑j∈[n]Aij for the maximum vertex degree. The event dmax⁡≥8μ has probability at most n−γ (A maximum-degree tail with an explicit logarithmic exponent).

[F3]

For the matrix H in [F1], let B be its nonbacktracking matrix indexed by all ordered vertex pairs in [n]2, with B(i,j),(k,l)=Hkl1j=k1i≠l, where each indicator is 1 when its subscript condition holds and 0 otherwise. Write ρ(B)=max⁡{∣z∣:z is an eigenvalue of B}. When dmax⁡<8μ, ρ(B)<2, and μ>16, we have ∥A−pJ∥<8μ (Transfer two nonbacktracking good events to the required norm bound).

[F4]

For the same H and B as in [F1] and [F3], the event ρ(B)≥2 has probability at most n−γ eventually (A nonbacktracking tail smaller than the required polynomial).

[F5]

For two events E1,E2 in the same probability space, P(E1∪E2)≤P(E1)+P(E2) (The finite union bound).

Proof

Given: The objects and hypotheses in the Statement.

Goal: Prove its conclusions.

1.1F1F2F3F4given

Increase the n cutoff so that all four suppliers apply and μ>16. On the complement of the two exceptional events in [F2] and [F4], [F3] makes the event in the Statement impossible.

2.1F2F4F5step 1.1algebra∎

Therefore that event is contained in their union. By [F5], summing the two probability bounds proves the claimed 2n−γ estimate. Its proof uses the independently imported nonbacktracking inequalities, not the refuted all-γ Corollary 6.6.

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.