Alphabeta Math
Pipeline-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.

Period, Hidden-Shift, and Number-Theoretic Algorithms — Examples

1 · Prerequisites

2 · Summary

These examples check the left-coset sign convention for a shift on Z4 and carry out one valid Fourier-sample recovery for a discrete logarithm of composite order 15.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: AI-generatedVerification: AI-adaptedjudge pass (gpt-6-luna)Open item page →

Hidden-shift left cosets in a generalized dihedral group

Example

Take A=Z/4Z, shift s=1, and define injective maps f(a)=a and g(b)=b−1(mod4). Then f(a)=g(a+1) for every a. With the generalized-dihedral product law and H1=⟨(1,1)⟩, the left cosets are C0={(0,0),(1,1)}, C1={(1,0),(2,1)}, C2={(2,0),(3,1)}, and C3={(3,0),(0,1)}. The function F(a,0)=f(a), F(a,1)=g(a) takes the common value a on Ca, so these are exactly its equal-value classes. In particular, right multiplication by (1,1) pairs (1,0) with (2,1).

This convention uses left cosets: the right coset H1(1,0) is {(1,0),(0,1)}, whose two F-values are 1 and 3; it is not the hidden left coset C1.

ExampleConstruction: AI-generatedVerification: AI-adaptedOpen item page →

A composite-order cyclic discrete-log Fourier sample

Example

Work in the multiplicative group F31× and let g=9. Its powers satisfy

92≡19,93≡16,94≡20,95≡25,915≡1(mod31).

Since the proper divisors of 15 are 1,3,5 and 9,16,25 are all different from 1 modulo 31, g has exact order q=15. Set x=20=g4, so the discrete logarithm is a=4.

The cyclic DLP subgroup is H=⟨(−4,1)⟩≤Z152. The Fourier label (c,d)=(2,8) lies in its annihilator because d≡ac≡4⋅2≡8(mod15). Here gcd⁡(2,15)=1 and 2−1≡8(mod15), so the sample recovers

dc−1≡8⋅8≡4(mod15).

Verification is direct: 94≡20=x(mod31). Under the exact uniform annihilator sample law, this particular pair has probability 1/15.

Sources