Khintchin Sequences in Group Endomorphisms

• Khintchin sequences are defined by averaging along orbits of group endomorphisms in compact abelian groups, ensuring convergence for every integrable function.
• Key results show that under conditions like injectivity and finite-index difference maps, recurrence sets become syndetic, generalizing classical double recurrence theorems.
• Advanced analytical tools such as Fourier-tightness and characteristic factors drive the rigorous study of recurrence phenomena in ergodic theory and combinatorics.

A Khintchin sequence of group endomorphisms is a sequence associated to an action by group endomorphisms on a compact abelian group or its measurable dynamics, for which ergodic averages along this sequence converge in a strong sense for a large class of functions, often $L^p$ spaces. This notion generalizes classical concepts of Khintchin sequences, originally defined for sequences of integers acting by rotations on the circle, to the context of group actions via endomorphisms, with deep implications in ergodic theory, harmonic analysis, and combinatorics.

1. Definition and Formal Framework

Let $(G,+)$ be a compact abelian group with Haar probability measure $\mu_G$ and $\phi\in\mathrm{Epi}(G)$ a surjective endomorphism. For a strictly increasing sequence $(n_k)_{k\ge1}\subset\mathbb{N}$, define the Khintchin class: $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$ The sequence $(n_k)$ is called a Khintchin sequence for $\phi$ if $K_\phi((n_k)) = L^1(G)$; that is, the ergodic averages along the orbits $\phi^{n_k}(x)$ equidistribute for every integrable function. The notion extends naturally to $(G,+)$0-Khintchin sequences: $(G,+)$1 is an $(G,+)$2–Khintchin sequence for $(G,+)$3 if $(G,+)$4, which has an equivalent maximal-operator characterization for $(G,+)$5 in terms of weak-type $(G,+)$6 bounds (Fan et al., 10 Jan 2026).

For group actions on discrete abelian groups, let $(G,+)$7 be a countable discrete abelian group and $(G,+)$8. In an ergodic $(G,+)$9-measure-preserving system $\mu_G$0, Khintchin sets associated to $\mu_G$1 are defined by: $\mu_G$2 with $\mu_G$3, $\mu_G$4 (Ackelsberg, 2023).

2. Fundamental Theorems on Double Recurrence

A central result is a Khintchine-type double recurrence theorem for endomorphisms of countable discrete abelian groups. If $\mu_G$5 with $\mu_G$6 injective and $\mu_G$7 of finite index, then for all non-null $\mu_G$8 and all $\mu_G$9, the set $\phi\in\mathrm{Epi}(G)$0 is syndetic in $\phi\in\mathrm{Epi}(G)$1—that is, it has bounded gaps; finitely many translates cover the whole group (Ackelsberg, 2023).

This generalizes the classical single-recurrence Khintchine theorem and answers a question left open by Ackelsberg, Bergelson, and Shalom. In multidimensional settings, e.g., $\phi\in\mathrm{Epi}(G)$2 and $\phi\in\mathrm{Epi}(G)$3 induced by integer matrices $\phi\in\mathrm{Epi}(G)$4 with $\phi\in\mathrm{Epi}(G)$5, an analogous result holds: the set of $\phi\in\mathrm{Epi}(G)$6 with large triple-intersection measure

$\phi\in\mathrm{Epi}(G)$7

is syndetic in $\phi\in\mathrm{Epi}(G)$8 (Ackelsberg, 2023).

3. Structural Hypotheses and Characteristic Factors

Key conditions for Khintchin-type behavior in group endomorphism settings are the injectivity and finite-index image of the difference map $\phi\in\mathrm{Epi}(G)$9 in the discrete case, or more generally the finite-index property for difference subgroups generated by $(n_k)_{k\ge1}\subset\mathbb{N}$0, $(n_k)_{k\ge1}\subset\mathbb{N}$1, $(n_k)_{k\ge1}\subset\mathbb{N}$2, $(n_k)_{k\ge1}\subset\mathbb{N}$3 for multiplicative actions by integers $(n_k)_{k\ge1}\subset\mathbb{N}$4 (Shalom, 2021). These requirements ensure that recurrences along the endomorphic directions do not collapse into lower-dimensional dynamics and enable the application of van der Corput differencing.

Characteristic factors controlling the limiting behavior of multiple ergodic averages are essential. In the double recurrence setting, the averages are governed by the order-2 Host–Kra (Conze–Lesigne, "quasi-affine") factor $(n_k)_{k\ge1}\subset\mathbb{N}$5. For more elaborate patterns, as in four-point configurations, the universal characteristic factor becomes a $(n_k)_{k\ge1}\subset\mathbb{N}$6-step nilmanifold extension of the Kronecker factor, following the Host–Kra–Ziegler framework (Shalom, 2021).

4. Fourier-Tightness and Skew-Product Ergodicity

For actions on compact abelian groups, the concept of "Fourier-tightness" is central in controlling the behavior of sequences of endomorphisms. A sequence $(n_k)_{k\ge1}\subset\mathbb{N}$7 is Fourier-tight if for each nontrivial character $(n_k)_{k\ge1}\subset\mathbb{N}$8, the series

$(n_k)_{k\ge1}\subset\mathbb{N}$9

is uniformly bounded in $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$0. Fourier-tightness ensures favorable spectral properties and is a sufficient condition for several recurrence and mixing phenomena (Fan et al., 10 Jan 2026).

For skew-product actions $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$1 on $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$2, if the family $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$3 is Fourier-tight for almost every $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$4, then the system's ergodicity (or mixing) is equivalent to that of the base $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$5. This mechanism underpins a large class of Khintchin sequences arising as fiber orbits in skew-product systems (Fan et al., 10 Jan 2026).

5. Examples and Constructions

Concrete constructions illustrate the variety of Khintchin sequences arising in group endomorphism contexts:

• Thue–Morse and Multiplicative Bernoulli Sequences: Sequences of the form $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$6 with $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$7 (deterministic or i.i.d.), acting as dilations on $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$8, produce Khintchin sequences via uniform distribution and mixing considerations.
• Substation Sequences: The Fibonacci substitution system (e.g., $$K_\phi\big((n_k)\big) = \left\{ f\in L^1(G): \frac{1}{N}\sum_{k=1}^N f\big(\phi^{n_k}(x)\big) \xrightarrow{N\to\infty} \int_G f\,d\mu_G \;\;\text{in measure} \right\}.$$9, $(n_k)$0) leads to large-scale uniform distribution of orbit sequences, yielding $(n_k)$1-Khintchin sequences for the associated group actions.
• Principal $(n_k)$2-Actions: For $(n_k)$3 of positive Mahler measure, the action on $(n_k)$4 produces many fiber orbits that are Khintchin sequences in factor tori (Fan et al., 10 Jan 2026).

6. Implications, Structural Properties, and Open Problems

Khintchin sequences of group endomorphisms yield syndetic sets of recurrence and popular-difference sequences with bounded gaps, extending classical results to higher-rank and multi-endomorphism contexts (Ackelsberg, 2023). The correspondence principle implies that for subsets $(n_k)$5 of positive upper Banach density, sets of group elements with large multiple intersection density are syndetic, generalizing Szemerédi-type density theorems.

Several open problems remain, including precise characterization of the class of Khintchin sequences for general group endomorphisms, the necessity of Fourier-tightness in ergodicity and mixing criteria, and threshold phenomena distinguishing $(n_k)$6 versus $(n_k)$7-Khintchin property, especially for substitution-generated sequences and actions of higher-rank groups. The question of whether every ergodic sequence with positive lower density is $(n_k)$8-Khintchin remains open (Fan et al., 10 Jan 2026).

7. Connections and Extensions

Khintchin recurrence for endomorphism sequences connects with the broader study of multiple recurrence and nonconventional ergodic averages, encompassing work on nilmanifolds, Host–Kra factors, Mackey group analysis, and combinatorial density principles. Extensions to multidimensional groups and nilmanifolds, as well as to $(n_k)$9-Khintchin classes, substantially broaden the landscape of possible configurations and recurrence structures, indicating robust interaction between ergodic theory, abstract harmonic analysis, and combinatorial number theory (Ackelsberg, 2023, Shalom, 2021, Fan et al., 10 Jan 2026).