Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-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.

Periodic square cellulation of the torus

Definition

Fix an integer L≥3 and write ZL=Z/LZ. The periodic square cellulation has vertices qi,j, horizontal edges hi,j from qi,j to qi+1,j, vertical edges vi,j from qi,j to qi,j+1, and faces fi,j, for i,j∈ZL. Every index is read modulo L. The boundary of fi,j consists of hi,j,vi+1,j,hi,j+1,vi,j. Equivalently, this is the quotient of the unit square tiling of R2 by translations in LZ2.

The cellulation has L2 vertices, 2L2 edges, and L2 faces. The condition L≥3 ensures that the four edges in each star and face are distinct, and that every edge has two distinct endpoints and two distinct incident faces. The vertex-edge graph joins vertices joined by an edge. The face-adjacency graph joins faces sharing an edge; both graphs are connected.

Facts & Assumptions

Given: An integer L≥3 and coordinate indices in ZL.

Verification

1.1givenalgebra

The horizontal and vertical edges are indexed by two disjoint copies of ZL2, so there are 2L2 edges; the vertex and face sets each have L2 indices. At qi,j the four incident edges are hi−1,j,hi,j,vi,j−1,vi,j. Their endpoints are distinct because L≥3.

2.1givenstep 1.1algebra

The faces adjacent to hi,j are fi,j−1 and fi,j, and the faces adjacent to vi,j are fi−1,j and fi,j. These pairs are distinct for L≥3; each displayed face boundary has four distinct edges. Thus the stated incidences define a square cellulation without repeated incidences.

3.1givenalgebra∎

Repeated horizontal and vertical steps modulo L connect any pair of vertices. The same coordinate moves connect any pair of face indices through shared edges. Therefore both graphs defined above are connected.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources