pith. sign in

arxiv: 2605.15580 · v1 · pith:XDNXJSRAnew · submitted 2026-05-15 · 🧮 math.DS · math.CA· math.NT

A Weyl-type theorem for Diophantine approximations driven by LCA groups and applications

Aihua Fan This is my paper

Pith reviewed 2026-05-19 19:55 UTC · model grok-4.3

classification 🧮 math.DS math.CAmath.NT
keywords locally compact abelian groupsunique ergodicityWeyl equidistributionDiophantine approximationBohr orthogonalityFølner sequencesalmost periodic functions
0
0 comments X

The pith

Every action of a locally compact Abelian group on the torus decomposes into uniquely ergodic subsystems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that any action of a locally compact Abelian group on the n-torus breaks into subsystems that are each uniquely ergodic. This turns Kronecker's density result into a full equidistribution statement of Weyl type. The argument rests on an existing characterization of unique ergodicity that holds for amenable groups acting on compact metric spaces. A reader would care because the decomposition supplies concrete tools for Diophantine problems, such as orthogonality of characters along Følner sequences and mean-value formulas for almost periodic functions.

Core claim

Every action of a locally compact Abelian group on the torus admits a decomposition into uniquely ergodic subsystems. This decomposition produces a Weyl-type equidistribution theorem for the action.

What carries the argument

The characterization of unique ergodicity for amenable-group actions on compact metric spaces, which directly yields the decomposition of the given LCA actions.

If this is right

  • Bohr orthogonality holds for characters of LCA groups along any Følner sequence.
  • A mean-value formula holds for almost periodic functions on LCA groups.
  • A Wiener-type theorem characterizes the discrete part of any Borel probability measure on an LCA group by the behavior of its Fourier transform.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same decomposition technique may be tried on concrete low-dimensional cases such as the real line acting on the circle to produce explicit equidistribution rates.
  • The result suggests that similar unique-ergodicity splittings could be sought for actions on other compact groups beyond the torus.

Load-bearing premise

The pre-existing characterization of unique ergodicity for amenable group actions on compact metric spaces applies to the specific LCA actions on the torus.

What would settle it

An explicit LCA-group action on the torus that cannot be decomposed into any collection of uniquely ergodic subsystems would refute the central theorem.

read the original abstract

We investigate actions of locally compact Abelian (LCA) groups on the torus $\mathbb{T}^n$, motivated by their close connection with Diophantine approximation. While Kronecker's theorem yields a classical density result, we prove a stronger equidistribution theorem of Weyl type: every such action admits a decomposition into uniquely ergodic subsystems. The proof of this result is based on a characterization of unique ergodicity for actions of amenable groups on compact metric spaces. As consequences, we establish several foundational results for LCA groups, including the Bohr orthogonality of characters along arbitrary Folner sequences, a Bohr mean formula for almost periodic functions, and a Wiener-type theorem on LCA groups characterizing the discrete part of a Borel probability measure through its Fourier transform.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves a Weyl-type equidistribution theorem for continuous actions of locally compact Abelian (LCA) groups on the n-torus: every such action decomposes into uniquely ergodic subsystems. From this it derives Bohr orthogonality of characters along arbitrary Følner sequences, a Bohr mean formula for almost periodic functions, and a Wiener-type theorem characterizing the discrete part of a Borel probability measure on an LCA group via its Fourier transform. The proof invokes a pre-existing characterization of unique ergodicity for amenable group actions on compact metric spaces.

Significance. If the decomposition holds, the result strengthens Kronecker's density theorem to a genuine equidistribution statement in the Diophantine-approximation setting and supplies useful tools for harmonic analysis on LCA groups. The approach correctly exploits amenability of LCA groups; the listed consequences are natural and potentially applicable once the central step is secured.

major comments (1)
  1. [Abstract and proof of the main decomposition theorem] Abstract (description of the proof): the decomposition into uniquely ergodic subsystems is obtained by direct appeal to a characterization of unique ergodicity for amenable actions on compact metric spaces. The manuscript does not verify that the hypotheses of this characterization (sigma-compactness, existence of a Følner net compatible with the uniform structure of the action, or any required continuity conditions on the torus metric) hold for arbitrary LCA groups, including non-discrete or non-second-countable cases, acting continuously on T^n. Because the subsequent Bohr orthogonality and Wiener-type results rest on this decomposition, the gap is load-bearing for the central claim.
minor comments (2)
  1. The abstract refers to 'arbitrary Følner sequences' for the orthogonality result; it would be useful to state explicitly whether the argument requires a specific net or works for every Følner net.
  2. Notation for the torus action and the induced Følner averages should be introduced with a short paragraph before the statement of the main theorem to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The primary concern is the need for explicit verification that the hypotheses of the invoked characterization of unique ergodicity hold for arbitrary LCA groups acting continuously on T^n. We address this point below and will revise the manuscript accordingly to strengthen the proof.

read point-by-point responses

  1. Referee: [Abstract and proof of the main decomposition theorem] Abstract (description of the proof): the decomposition into uniquely ergodic subsystems is obtained by direct appeal to a characterization of unique ergodicity for amenable actions on compact metric spaces. The manuscript does not verify that the hypotheses of this characterization (sigma-compactness, existence of a Følner net compatible with the uniform structure of the action, or any required continuity conditions on the torus metric) hold for arbitrary LCA groups, including non-discrete or non-second-countable cases, acting continuously on T^n. Because the subsequent Bohr orthogonality and Wiener-type results rest on this decomposition, the gap is load-bearing for the central claim.

    Authors: We agree that the manuscript would benefit from an explicit verification of the hypotheses of the cited characterization of unique ergodicity for amenable actions on compact metric spaces. In the revised version, we will insert a dedicated remark or short subsection immediately after the statement of the main decomposition theorem. There we will confirm that every LCA group is amenable and admits Følner nets (or nets in the general case), that the continuous action on the compact metric space T^n is compatible with the uniform structure, and that the relevant continuity conditions on the torus metric are satisfied. For non-second-countable LCA groups we will note that the relevant orbit closures remain compact metric spaces, so the decomposition into uniquely ergodic subsystems continues to hold. This addition will directly support the subsequent derivations of Bohr orthogonality and the Wiener-type theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external characterization

full rationale

The paper derives its Weyl-type equidistribution theorem by invoking a pre-existing characterization of unique ergodicity for amenable group actions on compact metric spaces and applying it to LCA group actions on the torus. This is an external result rather than a self-referential definition, fitted input, or self-citation chain that reduces the conclusion to the inputs by construction. No equations or steps in the abstract or described proof chain rename known results, smuggle ansatzes, or force predictions from subsets of the same data. The argument remains self-contained against external benchmarks, with the decomposition and subsequent Bohr orthogonality and Wiener-type results following from the application of the cited characterization without definitional loops.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of a known characterization of unique ergodicity for amenable actions; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Characterization of unique ergodicity for actions of amenable groups on compact metric spaces
    Invoked as the basis for proving the decomposition of LCA group actions.

pith-pipeline@v0.9.0 · 5651 in / 1237 out tokens · 35557 ms · 2026-05-19T19:55:00.275916+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Amerio and G

    L. Amerio and G. Prouse,Almost periodic functions and functional equations, Van Nostrand, New York, 1971

    work page 1971

  2. [2]

    Bass,Suites uniform´ ement denses, moyennes trigonom´ etriques, fonctions pseudo-al´ eatoires, Bull

    J. Bass,Suites uniform´ ement denses, moyennes trigonom´ etriques, fonctions pseudo-al´ eatoires, Bull. Soc. Math. France87(1959), 1–64

    work page 1959

  3. [3]

    Baake and U

    B. Baake and U. Grimm,Aperiodic Order: Volume 1, A Mathematical Invitation, Cambridge University Press, 2013

    work page 2013

  4. [4]

    A. S. Besicovitch,Almost periodic functions, Dover Publications, 1954

    work page 1954

  5. [5]

    Billingsley,Convergence of probability measures, John Wiley & Sons, New York, 1999

    P. Billingsley,Convergence of probability measures, John Wiley & Sons, New York, 1999

    work page 1999

  6. [6]

    Bohr,Almost periodic functions, Chelsea Publishing Company, New York, N.Y., 1947

    H. Bohr,Almost periodic functions, Chelsea Publishing Company, New York, N.Y., 1947

    work page 1947

  7. [7]

    Bohr and B

    H. Bohr and B. Jessen,One More Proof of Kronecker’s Theorem, J. London Math. Soc.7 (1932), no. 4, 274–275

    work page 1932

  8. [8]

    J. W. S. Cassels,An introduction to diophantine approximation, Cambridge at the University Press, London, 1957

    work page 1957

  9. [9]

    Corduneanu,Almost periodic functions, Chelsea Publishing Company, New York, N.Y., 1989

    C. Corduneanu,Almost periodic functions, Chelsea Publishing Company, New York, N.Y., 1989

    work page 1989

  10. [10]

    Einsidler and T

    M. Einsidler and T. Ward,Ergodic Theory with a view towards to Number Thory, Springer,

    work page

  11. [11]

    Graduate Texts in Mathematics, vol. 259

    work page

  12. [12]

    A. H. Fan, K. Jiang, and P. W. Zhang,Representation of quasi-periodic func- tions and Hausdorff-Young inequalities for Besicovitch almost periodic functions, https://arxiv.org/abs/2512.06821 (2025)

    work page arXiv 2025

  13. [13]

    Furstenberg,Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, NJ, 1981

    H. Furstenberg,Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, NJ, 1981

    work page 1981

  14. [14]

    Glasner,Ergodic theory via joining, American Mathematical Society, 2003

    E. Glasner,Ergodic theory via joining, American Mathematical Society, 2003. WEYL-TYPE THEOREM ON LCA GROUPS AND APPLICATIONS 21

    work page 2003

  15. [15]

    F. P. Greenleaf,Ergodic theorems and the construction of summing sequences in amenable locally compact groups, Vol. 26 (1), 1973

    work page 1973

  16. [16]

    Jiang and S

    K. Jiang and S. F. Li and P. W. Zhang,Numerical methods and analysis of computing quasiperiodic systems, SIAM J. Numer. Anal.62( 2024), 353–375

    work page 2024

  17. [17]

    Jiang and P

    K. Jiang and P. W. Zhang,Numerical methods for quasicrystals, J. Comput. Phys.256(2014), 428–440

    work page 2014

  18. [18]

    Jiang and P

    K. Jiang and P. W. Zhang,Numerical mathematics of quasicrystals, Proc. Int. Cong. Math. 3(2018), 3575–3594

    work page 2018

  19. [19]

    Katznelson,An introduction to harmonic analysis, 3rd edition, Cambridge Mathematical Library, London, 2004

    Y. Katznelson,An introduction to harmonic analysis, 3rd edition, Cambridge Mathematical Library, London, 2004

    work page 2004

  20. [20]

    B. M. Levitan and V. V. Zhikov,Almost periodic functions and differential equations, Cam- bridge University Press, Cambridge-New York, 1982. Translated from the Russian by L. W. Longdon

    work page 1982

  21. [21]

    Meyer,Nombres de Pisot, Nombres de Salem et Analyse Harmonique, Lecture Notes in Mathematics, Vol

    Y. Meyer,Nombres de Pisot, Nombres de Salem et Analyse Harmonique, Lecture Notes in Mathematics, Vol. 117, Springer-Verlag, Berlin Heidelberg New York, 1970

    work page 1970

  22. [22]

    Meyer,Algebraic numbers and harmonic analysis, North-Holland Publishing Company, Amsterdam-London, 1972

    Y. Meyer,Algebraic numbers and harmonic analysis, North-Holland Publishing Company, Amsterdam-London, 1972

    work page 1972

  23. [23]

    Von Neumann,Almost periodic functions in a group

    J. Von Neumann,Almost periodic functions in a group. I, Trans. Amer. Math. Soc.36(1934), 445–492

    work page 1934

  24. [24]

    A. A. Pankov,Bounded and almost periodic solutions of nonlinear operator differential equa- tions, Mathematics and its Applications (Soviet Series), vol. 55, Kluwer Academic Publish- ers Group, Dordrecht, 1990. Translated from the Russian by V. S. Zajaˇ ckovski [V. S. Zay- achkovski˘i] and the author

    work page 1990

  25. [25]

    Parry,Topics in ergodic theory, Cambridge University Press, London, 1981

    W. Parry,Topics in ergodic theory, Cambridge University Press, London, 1981

    work page 1981

  26. [26]

    J. P. Pier,Amenable locally compact groups, John Wiley & Sons, New York, 1984

    work page 1984

  27. [27]

    Rudin,Fourier analysis on groups, Interscience Publishers, 1962

    W. Rudin,Fourier analysis on groups, Interscience Publishers, 1962

    work page 1962

  28. [28]

    Schulte,On Wiener’s lemma for loccally compact abelian group, J

    E. Schulte,On Wiener’s lemma for loccally compact abelian group, J. Math. Anal. Appl.498 (2021), 124968

    work page 2021

  29. [29]

    Zaidman,Almost-periodic functions in abstract spaces, Pitman Advances Publishing Pro- gram, Bostom London Melbourne, 1985

    S. Zaidman,Almost-periodic functions in abstract spaces, Pitman Advances Publishing Pro- gram, Bostom London Melbourne, 1985. (A. H. F an) LAMF A, UMR 7352 CNRS, University of Picardie, 33 rue Saint Leu, 80039 Amiens, France and Wuhan Institute for Math & AI, Wuhan University, Wuhan 430072, China Email address:ai-hua.fan@u-picardie.fr

    work page 1985