Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Digital shift randomization in base b

Definition

Fix an integer b≥2, a dimension d≥1, and points a1,…,an∈[0,1)d. Write each coordinate in its terminating base-b expansion when it has two expansions, and otherwise in its unique expansion, ai,j=∑k≥1ai,j,kb−k. Fix a bijection q:{1,…,d}×N>0→N>0. From the independent uniform permutations πq supplied by A single uniform variable supplies countably many independent base-b digits, set Sj,k=πq(j,k)(0). These are mutually independent uniform digits in {0,…,b−1}. A digital shift applies the same digit shifts to every point: xi,j,k=(ai,j,k+Sj,k) mod b,X~i,j=∑k≥1xi,j,kb−k,Xi,j={X~i,j,X~i,j<1,0,X~i,j=1. The value 0 is the half-open representative when the digit series equals 1, so the output always lies in [0,1)d. For each fixed input point and coordinate this exceptional event is null, since it requires every shifted digit to be b−1. The shift is global per coordinate and digit: when n≥2, the first shifted digits of any two points in one coordinate differ by their fixed input-digit difference modulo b, so the point variables are dependent. This operation differs from the prefix-dependent permutations in Nested uniform scrambling of a finite point set.

Depends on

Used by

Dependency tree · two levels

11 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