Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)verified 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.

Bridge number one characterizes the unknot

Statement

Assume the Axiom of Countable Choice used by the bridge-number definition. For every smooth oriented knot K in the standard S3, b(K)=1 if and only if K is ambient isotopic through orientation-preserving diffeomorphisms to the fixed oriented coordinate circle used as the standard unknot.

Facts & Assumptions

Given: ACω and a smooth oriented knot K in the standard S3.

[A1]

The definition of b(K) is the least number of local maxima over Morse representatives, and the standard unknot is the fixed coordinate circle. Bridge number and unknotting number of an oriented knot

[F1]

The set of Morse representatives is nonempty for every smooth knot. Every smooth knot has a Morse representative for the fixed height

[F2]

A proper arc with one height maximum (or minimum) in a height ball bounds a bridge disk with any prescribed simple boundary arc joining its endpoints on the level sphere. An arc with one height extremum is boundary-parallel

[F3]

A smooth oriented knot bounds a genus-zero spanning surface exactly when it is ambient isotopic to the standard unknot. A knot has genus zero exactly when it is the unknot

Proof

Given: ACω and the knot K.

1.1A1F1givenchoose

Suppose b(K)=1. By [A1] and [F1], the nonempty set of maximum counts has least value 1, so choose a Morse representative K′ with exactly one local maximum. On the circle, nondegenerate critical points alternate between maxima and minima; compactness gives finitely many, and a function on a circle has at least one minimum. Hence h∣K′ has exactly one minimum. Choose a regular value between these two critical values. Its level sphere meets K′ in exactly two points, and the upper and lower balls contain one proper arc each, with respectively one maximum and one minimum.

2.1F2F3step 1.1construct

Fix a simple arc β on the level sphere joining the two intersection points. Apply [F2] to the upper arc and the lower arc, using this same β. The resulting bridge disks lie in opposite balls and meet only along β; their union, with its corner smoothed, is an embedded disk whose boundary is K′. Thus K′ has genus zero, and [F3] makes it ambient isotopic to the standard unknot.

3.1A1givenconstructalgebra∎

Conversely, choose an orientation-preserving rotation in SO(4) carrying the fixed coordinate 2-plane of the standard unknot U to the plane spanned by e1 and e4. A path of rotations from the identity gives an ambient isotopy, and on the rotated circle the fixed height is a sine or cosine with exactly one maximum. Hence b(U)≤1. Every Morse function on a compact circle has at least one maximum, so b(U)≥1 and b(U)=1. Ambient-isotopic knots have the same set of representative maximum counts, so every unknot has bridge number one.

Diagram

The dashed line represents a regular level sphere in a two-dimensional cross-section; the two solid arcs are the upper and lower height arcs. The figure is only a cross-sectional schematic. The proof uses the bridge disks from [F2], not the drawing.

Sconemaximumoneminimump1p2

Depends on

Used by

Dependency tree · two levels

14 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources