Equidistribution Theorem¶

The theorem that successive multiples of an irrational number, reduced modulo one, become uniformly distributed on the unit interval or circle.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7636
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Number Theory → Mathematics
Aliases: Irrational-rotation equidistribution theorem

Core Idea¶

For irrational α, the fractional parts of α, 2α, 3α, … visit every interval of [0,1) with asymptotic frequency equal to that interval's length.^[1] Equivalently, repeated rotation of the circle by irrational angle α distributes an orbit uniformly with respect to normalized length.^[2] The theorem asserts long-run spatial balance, not random generation or equal spacing at each finite stage.

Irrationality is decisive. For rational α, the orbit is periodic and occupies finitely many residues.^[3] The theorem is a canonical instance of an equidistributed sequence and a special case of ergodic behavior for circle rotations.^[4]

Structural Signature¶

Sig role-phrases:

Irrational increment — a real number α whose nonrationality prevents the modulo-one iteration from closing into a finite cycle.
Circle carrier — the quotient ℝ/ℤ, or equivalently the unit interval with endpoints identified, supplies the normalized space on which the orbit is distributed.
Rotation operation — repeated addition of α modulo one generates the deterministic sequence of residues {nα}.
Test interval — an interval I provides the measurable region against which empirical orbit occupancy is counted.
Empirical frequency — the proportion of the first N residues that lie in I records the finite-prefix distribution.
Uniform limiting law — for every test interval, empirical frequency converges to its normalized length |I| as N tends to infinity.
Equivalent verification route — Weyl-type cancellation of every nonzero exponential mode can certify the same limiting distribution.
Rational-collapse boundary — replacing α by a rational number produces a finite periodic orbit and defeats uniform occupancy of all intervals.

What It Is Not¶

Not equal counts in every finite prefix. The theorem gives limiting interval frequencies as the prefix length tends to infinity, so substantial finite imbalance is compatible with the result.^[5]
Not equal spacing. Uniform asymptotic occupancy does not require adjacent residues to have identical gaps or form a regular finite grid.
Not random sampling. The orbit is generated deterministically by repeated addition of one irrational increment and need not have statistical independence.
Not valid for rational increments. A rational rotation closes into a finite periodic orbit and misses intervals, so irrationality is constitutive rather than a technical convenience.
Not a universal convergence-rate theorem. The qualitative limit supplies no fixed prefix length or discrepancy bound independent of the irrational number's Diophantine properties.^[6]
Not the general ergodic theorem or Weyl's criterion. Those provide broader frameworks or equivalent tests; this theorem concerns the specific irrational-rotation sequence.
Not automatically inherited by a subsequence. Polynomial iterates, prime-indexed multiples, and other modified sampling schedules require additional hypotheses and proofs.

Scope of Application¶

The Equidistribution Theorem is a domain-bounded mathematical result for the deterministic orbit generated by repeated addition of an irrational real number modulo one; an application must preserve that irrational increment, modulo-one circle carrier, and asymptotic uniform-frequency conclusion rather than infer the theorem from a finite even-looking sample.^[7]

Uniform distribution modulo one. The fractional-part sequence {nα} for irrational α is the theorem's canonical arithmetic habitat.
Circle rotations. Iterating x ↦ x + α (mod 1) expresses the same result as uniform distribution of an orbit with respect to normalized angle or length measure.
Unit-interval formulations. Identifying the endpoints of [0,1) permits interval occupancies to be compared with interval length under a fixed endpoint convention.
Translated starting points. Orbits of the form x + nα (mod 1) are studied under the same rotation structure, with the starting phase separated from the irrational increment.
Interval-frequency limits. Counts of the first N residues in a test interval are divided by N and compared with the interval's normalized length as N → ∞.
Averaging formulations. Long-run averages of suitable functions along the rotation orbit can be compared with their integrals over the unit interval.
Ergodic-theory specialization. The irrational rotation result serves as a concrete special case of ergodic averaging for normalized circle measure.^[8]
Weyl-criterion proofs. Uniform distribution can be tested through cancellation of each nonzero exponential mode generated by the orbit.
Finite geometric-series arguments. For consecutive irrational multiples, the relevant exponential sums reduce to geometric sums, giving a direct proof route for the canonical sequence.
Diophantine approximation. Rational approximations to α help analyze finite-prefix imbalance and near-periodicity without replacing the theorem's qualitative limiting conclusion.
Discrepancy analysis. The theorem supplies the limiting baseline against which quantitative deviations of finite prefixes are measured, while any convergence rate requires additional information.
Rational-collapse comparisons. Replacing α with a rational number produces a finite periodic orbit and provides the theorem's principal negative case.
Polynomial-index variants. Sequences such as {n²α} belong to an extension literature with their own equidistribution proofs; they are not covered merely by citing the consecutive-multiple theorem.
Prime-index variants. Residues {p_n α} form another proved but separately justified equidistribution habitat rather than an automatic subsequence consequence.
General averaging-sequence research. Questions for {x + b_k α} use the canonical result as a benchmark while determining which index sequences, functions, and almost-everywhere qualifications preserve convergence.
Low-discrepancy and sampling comparisons. Deterministic sample sequences may be compared with irrational-rotation occupancy only when the claim distinguishes asymptotic uniformity from equal gaps, independence, and finite-sample guarantees.

Clarity¶

A clear statement specifies fractional part, modulo-one topology, normalization, test sets, and limiting order. Endpoint conventions do not change interval length but should be consistent. “Eventually covers uniformly” should not be read as a finite stopping guarantee.

Manages Complexity¶

The Equidistribution Theorem compresses the detailed order of the infinite deterministic orbit \(\{n\alpha\}\) into one limiting occupancy rule. The analyst tracks irrational \(\alpha\), a test interval \(I\), the prefix length \(N\), and the fraction of the first \(N\) residues that fall in \(I\); the theorem replaces all point-by-point positions with the limit \(|I|\). Equivalent averaging or Weyl-criterion formulations further reduce the interval family to convergence of integrals or cancellation of nonzero Fourier modes.^[9]

This makes the main regimes immediately readable. Irrational rotation gives uniform long-run frequency, rational rotation closes into a finite periodic orbit, and translated starting points preserve the same circle measure; polynomial or prime-indexed subsequences require additional theorems rather than inheriting the conclusion by name. The compression stops at asymptotic distribution. It supplies no universal prefix length, discrepancy rate, equal-gap claim, or statistical independence, and finite unevenness can be pronounced when \(\alpha\) has close rational approximations.^[10] Quantitative sampling claims therefore need Diophantine information beyond the qualitative theorem.

Abstract Reasoning¶

The circle-rotation representation converts arithmetic fractional parts into a dynamical orbit. Fourier or Weyl-style reasoning tests uniformity through cancellation of nonzero modes. Rational approximation explains both why irrationality prevents closure into a finite orbit and why finite prefixes can still look uneven.

Knowledge Transfer¶

Within number theory, dynamics, and uniform-distribution theory, the theorem transfers literally between fractional-part and circle-rotation coordinates, to translated starting points where the same invariant measure is preserved, and among equivalent interval-frequency, averaging, or Weyl-criterion formulations. What carries is the irrational rotation x ↦ x + α (mod 1), the empirical frequency of visits to test intervals, and the asymptotic equality with normalized length. The vocabulary of irrationality, orbit, fractional part, test interval, limiting frequency, exponential sum, and discrepancy supports diagnostics for confusing uniformity with randomness, asymptotic balance with equal finite counts, or close rational approximation with actual periodicity. Interventions include checking the rational collapse case, moving to Fourier tests, or adding Diophantine information when a quantitative convergence rate is required.

Beyond this particular orbit, the honest reach is B — shared abstract mechanism through Equidistributed Sequence, with A — analogy for data that merely look even. Polynomial iterates, prime-indexed multiples, other dynamical systems, and quasi-periodic samplers can share the parent property that empirical distributions converge to a reference measure, but they need their own hypotheses and proofs. Irrational multiplication modulo one, normalized circle length, and the theorem's specific sequence remain home-bound. A visually uniform finite point set is only analogous unless the limiting distribution is established. Transfer stops before the theorem is used to claim statistical independence, a universal prefix length or discrepancy rate, or equidistribution of a modified subsequence solely because the original irrational-rotation sequence is equidistributed.

Examples¶

Canonical¶

Take α = √2 and rotate the unit circle repeatedly by that amount modulo one. For the quarter interval I = [0,1/4), form A_N(I) = (1/N) #{1 ≤ n ≤ N : {n√2} ∈ I}. The theorem says that A_N(I) → 1/4; the same rule holds for every interval, with the limit equal to its normalized length. No finite prefix must contain exactly one quarter of its points in I, and successive residues need not have equal gaps. If √2 is replaced by 1/3, the orbit repeats three residues, so an interval avoiding those residues has frequency zero rather than its positive length.

Mapped back: The Irrational increment is √2, the Circle carrier is ℝ/ℤ, and repeated addition is the Rotation operation. The quarter arc is the Test interval, and A_N(I) is the Empirical frequency. Its limit 1/4 instantiates the Uniform limiting law, while the 1/3 comparison crosses the Rational-collapse boundary.

Applied / In Practice¶

A standard proof practice verifies the same orbit by Weyl's criterion. For any nonzero integer h, the exponential average along the first N orbit points is (1/N) ∑_{n=1}^N exp(2πihnα). Because α is irrational, the ratio exp(2πihα) is not 1, so the numerator is a bounded finite geometric sum while division by N drives the average to zero. Cancellation for every nonzero h certifies uniform distribution. This argument is specific to consecutive multiples; a prime-indexed or polynomial subsequence needs its own cancellation proof rather than inheriting the conclusion automatically.

Mapped back: The same Irrational increment, Circle carrier, and Rotation operation generate the tested orbit. Vanishing of every nonzero Fourier average is the Equivalent verification route to the Uniform limiting law. The restriction to consecutive multiples marks the theorem's scope: changing the sampling schedule does not invoke the Rational-collapse boundary, but it does require a new proof beyond this particular route.

Structural Tensions¶

T1: Deterministic generation versus uniform limiting occupancy. The orbit is produced by repeated addition of one fixed irrational increment, yet its long-run visits to every interval match normalized length. That uniformity makes the sequence useful as a sampling model, but it does not supply independence, unpredictability, or the probabilistic laws of random draws. Treating determinism as incompatible with uniform distribution misses the theorem; treating uniform frequencies as proof of randomness adds properties the limit does not contain. Diagnostic: Is the conclusion restricted to empirical distribution against test intervals, or has independence or stochastic generation been inferred without a separate argument?

T2: Asymptotic balance versus finite-prefix discrepancy. The theorem controls the limit as the number of iterates grows, while any particular prefix may show noticeable gaps or uneven interval counts. Demanding exact balance at a finite stage rejects valid irrational orbits; using the qualitative limit as a practical error bound conceals how slowly a chosen increment can appear to settle. Quantitative use requires additional discrepancy or Diophantine information. Diagnostic: Does the claim concern eventual limiting frequency, or a stated finite-prefix accuracy whose rate has actually been established for this increment?

T3: Irrational nonclosure versus rational near-periodicity. Irrationality prevents the orbit from closing into a finite cycle, which is enough for the qualitative result. Close rational approximations can nevertheless make long finite portions resemble a periodic orbit. That resemblance explains slow or uneven prefixes without defeating irrationality, but can also tempt numerical observation to certify a rational relation that does not exist. Diagnostic: Is the behavior an exact finite cycle implied by rationality, or a finite near-period caused by approximation, and what evidence distinguishes the two?

T4: Interval-frequency definition versus Fourier verification. Counting visits to every test interval states the geometric distribution property directly, whereas Weyl-type cancellation replaces that large family of counts with the vanishing of nonzero exponential modes. The Fourier route compresses proof but can hide the measure-theoretic claim; direct interval checking is intuitive but impractical as an exhaustive proof. The formulations are equivalent only when their hypotheses and limiting quantifiers are preserved. Diagnostic: Has the chosen verification route established the full uniform limiting law, or only checked selected intervals or modes that leave the equivalence incomplete?

T5: Consecutive orbit versus modified subsequence. The geometric-sum proof exploits consecutive multiples nα. Polynomial, prime-indexed, or otherwise thinned iterates may also be equidistributed, but deleting terms can destroy a limiting distribution and each new schedule needs its own argument. Treating every subsequence as inherited throws away the generator that makes the canonical proof work; denying all extensions ignores genuine separately proved variants. Diagnostic: Is the sequence still the consecutive irrational-rotation orbit, and if its index set changed, which new theorem establishes equidistribution for that sampling rule?

T6: Equidistribution Theorem autonomy versus reduction to Equidistributed sequence (Equidistributed Sequence). The theorem is not a kind of Equidistributed Sequence; it strictly contains the immediate domain-specific parent abstraction as a constitutive part of its conclusion. Removing the all-subinterval limiting-frequency property destroys the result, while an Equidistributed Sequence alone remains complete without the theorem's irrational-rotation hypothesis or proof. Reduction loses the proposition and its sufficient construction; total autonomy hides the internal sequence property. Diagnostic: Does the case preserve both Equidistributed Sequence as a constitutive conclusion and the irrational-rotation hypothesis that makes this theorem independently recognizable?

Structural–Framed Character¶

The Equidistribution Theorem is structural-leaning. Its evaluative_weight is absent because the theorem states a limiting distribution rather than endorsing an outcome. Its human_practice_bound character is weak: proof conventions and notation mediate its statement, but the implication does not depend on a social practice. Its institutional_origin is absent because no institution creates the modulo-one orbit or its limiting law. Its vocab_travels result is restricted: theorem, orbit, and limit language generalize, while irrational rotation and all-interval frequency retain their mathematical meanings. Its import_vs_recognize result favors recognition, because the uniform limiting property follows from the stated construction rather than from an imposed classificatory frame.

The exact Equidistributed sequence endpoint is the in-domain umbrella and a constitutive part of the theorem's conclusion, not a Prime owner. The smallest honest uncataloged thin skeleton is a proposition in which a generator condition entails a limiting distribution invariant. No current catalog Prime owns this skeleton. Portable and cross-domain reach belongs to that uncataloged thin skeleton, while irrational rotation modulo one and the all-interval frequency conclusion remain the theorem's domain accent.

Its character: a structural-leaning mathematical proposition whose reusable implication form is thin but whose identity remains fixed by a specific arithmetic orbit and limiting measure.

Structural Core vs. Domain Accent¶

Equidistribution Theorem is domain-specific rather than a prime because it is a mathematical implication about one generator, and it contains Equidistributed sequence (Equidistributed Sequence) as a constitutive part of its conclusion rather than supplying a cross-domain genus.

What is skeletal (could lift toward a cross-domain prime). A proposition specifies a generator condition, derives a property of the generated object, and exposes a proof or equivalent verification route together with a falsifying case. Here the internal result-carrier is an infinite sequence whose prefix empirical frequencies converge, for every test interval, to normalized interval length; interval counts, averages, or cancellation of all nonzero exponential modes recognize the invariant, while a nonvanishing discrepancy defeats it. That complete Equidistributed Sequence structure is necessary inside the theorem's conclusion, but the theorem additionally asserts that a particular hypothesis is sufficient for it. No current catalog Prime owns this thin generator-implies-invariant skeleton.

What is domain-bound. The accent fixes the generator as repeated addition of an irrational real number modulo one on the circle, the output as the sequence of fractional parts, the reference measure as normalized length, and the quantifier as an asymptotic statement over every interval. Irrationality prevents finite periodic closure; the rational case supplies the collapse comparison; and the Weyl or finite-geometric-sum route connects the hypothesis to the conclusion. Modified polynomial or prime-indexed schedules, discrepancy rates, random independence, and finite equal spacing require different claims rather than being inherited.

Why this does not clear the prime bar. The complete signature—irrational circle rotation implying all-interval limiting frequency—does not recur literally across at least three unrelated domains. Knowledge Transfer is literal among its number-theoretic, dynamical, and uniform-distribution formulations and reaches other sequences through the shared Equidistributed Sequence property; visually even data are only analogy. Remove the equidistributed-sequence conclusion and the theorem is destroyed, because its asserted result is gone. Remove the irrational-rotation hypothesis, sufficient implication, and proof-bearing route while preserving the all-subinterval limit, and an Equidistributed Sequence remains complete without this domain-specific theorem; that asymmetric survival is why the relation is constitutive part_of, not subsumption or Prime promotion.

This entry is part of Equidistributed sequence.

Immediate domain parent — Equidistributed sequence (Equidistributed Sequence). The theorem contains the equidistributed-sequence property as a constitutive part of its conclusion: for irrational α, the carrier {nα} satisfies the all-subinterval limiting-frequency invariant. This is composition/part_of, not subsumption, because the theorem is a proposition with hypotheses and a proof-bearing implication rather than itself an infinite sequence. Removing the equidistribution conclusion destroys the named theorem, while preserving that sequence property alone does not recover the irrational-rotation theorem.

Relationships to Other Abstractions¶

Current abstraction Equidistribution Theorem Domain-specific

Parents (1) — more general patterns this builds on

Equidistribution Theorem is part of Equidistributed sequence Domain-specific

The theorem contains the equidistributed-sequence property as a constitutive part of its conclusion: for irrational α, the carrier {nα} satisfies the all-subinterval limiting-frequency invariant.

Hierarchy path (1) — routes to 1 parentless root

Equidistribution Theorem → Equidistributed sequence → Measurement

Neighborhood in Abstraction Space¶

Equidistribution Theorem sits in a sparse region of the domain-specific corpus (75^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Combinatorial Optimization & Discrete Structures (31 abstractions)

Nearest neighbors

Average Order of an Arithmetic Function — 0.84
Smallest-Circle Problem — 0.84
Cramér's Theorem (Large Deviations) — 0.83
Lorden's Inequality — 0.82
Binade — 0.82

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Equidistributed Sequence. An equidistributed sequence is any sequence satisfying the limiting-frequency property, whereas the Equidistribution Theorem is a proposition that irrational rotation generates such a sequence. Tell: the all-interval limit states the sequence property; adding the irrational-multiple hypothesis and implication states this theorem.
Weyl's Criterion. Weyl's criterion is a general equivalence between uniform distribution and cancellation of nonzero exponential modes, whereas the theorem concerns the specific consecutive orbit {nα} for irrational α. Tell: a Fourier test applicable to an arbitrary sequence is the criterion; applying it to the irrational geometric sums proves the theorem.
Ergodic Theorem. An ergodic theorem gives a broader framework for time averages in measure-preserving systems, whereas this result is the specialized circle-rotation statement. Tell: an abstract invariant-measure average is ergodic theory; uniform occupancy of consecutive irrational multiples modulo one is the Equidistribution Theorem.
Uniform Random Variable. A uniform random variable has a probability law generated in a stochastic model, whereas the irrational-rotation orbit is deterministic. Tell: probabilistic sampling defines the random variable; repeated addition of one fixed irrational increment defines the theorem's sequence.
Equal Spacing. Equal spacing requires identical finite gaps or a regular grid, whereas equidistribution permits uneven finite prefixes and asserts only asymptotic interval frequencies. Tell: inspect adjacent gaps for equal spacing; inspect limiting occupancy of every interval for equidistribution.

References¶

[1] New Kronecker–Weyl Type Equidistribution Results and Diophantine Approximation registry ↩

[2] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[3] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[4] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[5] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[6] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[7] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[8] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[9] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩

[10] Unverified encyclopedia synthesis; claim-specific authoritative support was not established in this verification pass. ↩