Nilsequence of Bounded Complexity

• The paper demonstrates that any 1-bounded function on a finite abelian group with high Gowers norm correlates with a nilsequence constructed from filtered nilmanifolds.
• It uses explicit quantitative bounds on degree, rank, and Lipschitz norms to control the complexity of the nilsequence and ensure effective correlation.
• The strategy resolves the Jamneshan–Tao conjecture for bounded rank groups, extending inverse theorems in higher-order Fourier analysis and additive combinatorics.

A nilsequence of bounded complexity is a mathematical object arising in higher-order Fourier analysis, ergodic theory, and additive combinatorics, serving as a structured model for functions with large Gowers uniformity norm. The recent resolution of the Jamneshan–Tao conjecture for finite abelian groups of bounded rank establishes that any 1-bounded function on such a group with large Gowers norm must correlate nontrivially with a nilsequence whose complexity is quantitatively controlled in terms of the rank, the Gowers norm threshold, and the uniformity degree (Candela et al., 13 Jan 2026). The concept encapsulates the interaction between Lie-theoretic structure, polynomial mappings, and analytic properties of bounded Lipschitz functions on filtered nilmanifolds.

1. Nilsequences and Their Structural Parameters

A nilsequence is constructed from filtered nilmanifolds, polynomial sequences, and bounded Lipschitz functions. Let $(G/\Gamma,G_\bullet)$ denote a filtered nilmanifold of degree $k$, consisting of a nilpotent Lie group $G$, a discrete cocompact subgroup $\Gamma$, and a filtration $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$ with $[G_i,G_j]\subset G_{i+j}$ and $G_{k+1}=\{\mathrm{id}\}$, where each $\Gamma\cap G_i$ is cocompact in $G_i$. A map $g\colon Z\to G$ is polynomial (into $k$0) if for every collection of discrete derivatives $k$1, the image lies in $k$2.

Given such a setup, and a 1-bounded Lipschitz function $k$3, the composition $k$4 is termed a nilsequence of degree $k$5. The complexity of this nilsequence is encapsulated by an integer $k$6, which bounds the following parameters: degree, dimension of $k$7, length of a Malcev basis, height of rational structure constants, Lipschitz norm and $k$8 norm of $k$9, and the metric and distortion constants of the nilmanifold. Explicitly, “nilsequence of complexity $G$0” abbreviates that all data $G$1 have parameters bounded by $G$2, and $G$3 [(Candela et al., 13 Jan 2026), Section 1].

2. Inverse Theorem for Finite Abelian Groups of Bounded Rank

The primary result (Theorem 4.1) asserts that for any $G$4 and $G$5, there exist constants $G$6 and $G$7 with the following property: If $G$8 is any finite abelian group of rank $G$9, and $\Gamma$0 is 1-bounded with $\Gamma$1, then there exists a filtered nilmanifold $\Gamma$2 of degree $\Gamma$3 and complexity $\Gamma$4, a polynomial map $\Gamma$5, and a 1-bounded Lipschitz function $\Gamma$6 with $\Gamma$7, such that the nilsequence $\Gamma$8 satisfies

$\Gamma$9

This characterizes functions with non-negligible Gowers norm as precisely those that correlate with nilsequences of explicitly bounded complexity.

3. Quantitative Control of Complexity and Correlation

The complexity bound $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$0 and correlation threshold $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$1 arise through an explicit composition of effective dependencies. Leveraging the general regularity plus inverse theorem for compact nilspaces (Candela–Szegedy, see Theorem 5.2 in [CSinverse]), the approach first exhibits, for every $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$2, an effective bound $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$3 such that if $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$4, then $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$5 correlates with a nilspace polynomial of complexity at most $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$6, with correlation at least $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$7. For groups of bounded rank $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$8, the nilspace can then be chosen quasitoral with complexity $G_\bullet=(G=G_0=G_1\ge G_2\ge\cdots)$9, and the subgroup and extension procedures only increase complexity by explicit functions of $[G_i,G_j]\subset G_{i+j}$0. The resulting bounds take the form

$[G_i,G_j]\subset G_{i+j}$1

where all dependencies are effective and explicitly trackable, though the precise closed-form for $[G_i,G_j]\subset G_{i+j}$2 is not provided. These bounds are uniform in $[G_i,G_j]\subset G_{i+j}$3 and, in principle, can be unwound to yield quasipolynomial or tower-type expressions in $[G_i,G_j]\subset G_{i+j}$4 (Candela et al., 13 Jan 2026).

4. Proof Outline: From Nilspace Polynomials to Global Nilsequences

The proof proceeds in two principal stages. First, by applying the Candela–Szegedy theorem, one obtains a correlation with a nilspace polynomial $[G_i,G_j]\subset G_{i+j}$5, where $[G_i,G_j]\subset G_{i+j}$6 is a $[G_i,G_j]\subset G_{i+j}$7-balanced morphism into a compact finite-rank nilspace $[G_i,G_j]\subset G_{i+j}$8. An inductive “quasitoral” reduction demonstrates that for rank $[G_i,G_j]\subset G_{i+j}$9 and sufficiently small $G_{k+1}=\{\mathrm{id}\}$0, $G_{k+1}=\{\mathrm{id}\}$1 must be a disjoint union of toral nilmanifolds. Key combinatorial and topological arguments (Propositions 3.5, 3.8; Lemmas 3.9, 3.11) are deployed to show that the only possible structure consistent with the bounded rank is quasitoral.

On an appropriate toral component, after possibly passing to a subgroup of bounded index $G_{k+1}=\{\mathrm{id}\}$2, this leads to a filtered nilmanifold $G_{k+1}=\{\mathrm{id}\}$3 with a 1-bounded Lipschitz nilsequence $G_{k+1}=\{\mathrm{id}\}$4 on $G_{k+1}=\{\mathrm{id}\}$5 and nontrivial correlation with a shift of $G_{k+1}=\{\mathrm{id}\}$6 (Proposition 3.10).

Second, the nilsequence defined on $G_{k+1}=\{\mathrm{id}\}$7 is extended to $G_{k+1}=\{\mathrm{id}\}$8 via a sequence of group extensions. One constructs a chain of subgroups $G_{k+1}=\{\mathrm{id}\}$9, where each $\Gamma\cap G_i$0 is either a split extension by $\Gamma\cap G_i$1 or a cyclic extension. In the split case, polynomial maps are composed with natural projections; in the cyclic case, the nilmanifold is enlarged (using semidirect products) and new one-parameter subgroups are constructed to “re-linearize” the polynomial structure for extension (Lemma 4.5, Proposition 4.8, Corollary 4.9). Each extension increases complexity by an explicit, controlled amount, culminating in a global nilsequence of required complexity (Candela et al., 13 Jan 2026).

5. Significance and Resolution of the Jamneshan–Tao Conjecture

The results confirm the Jamneshan–Tao conjecture for finite abelian groups of bounded rank, thereby elevating the role of nilsequences of bounded complexity as universal characteristic factors for functions with large Gowers uniformity norm on such groups. This theorem extends the scope of inverse Gowers norm theorems, where previously only special classes (such as cyclic groups of prime order or bounded exponent) had explicit nilsequence structure theorems.

The technical apparatus developed — including the quasitoral reduction, subgroup passage, and nilmanifold extension protocols — provides a template for understanding higher-order uniformity and structure in settings with controlled group-theoretic complexity. The result underpins further advances in additive combinatorics, ergodic theory, and theoretical computer science where analysis on finite abelian groups intersects with algebraic and geometric structure theory (Candela et al., 13 Jan 2026).

6. Connections to Related Work and Methodologies

The central regularity plus inverse results for compact nilspaces are drawn from Candela–Szegedy [CSinverse, Theorem 5.2], establishing that nilspace polynomials serve as universal obstructions to higher-order uniformity norms. The current arguments extend these foundations to a finer, group-theoretic regime (bounded rank), deploying novel combinatorial-topological machinery for the quasitoral and extension arguments (Theorem 3.1; Propositions 3.5, 3.8; Lemmas 3.9, 3.11).

The explicit tracking of complexity at all stages distinguishes this approach, guaranteeing that the structured objects (nilsequences) remain within quantifiable parameter regimes, a property critical for applications in quantitative combinatorics and theoretical computer science.

Table: Nilsequence Data and Complexity Parameters

Object	Definition/Role	Complexity Parameterized By
Filtered nilmanifold $\Gamma\cap G_i$2	Structured phase space for sequence	Degree, dimension, Malcev basis length, rational structure heights, metric data ($\Gamma\cap G_i$3)
Polynomial map $\Gamma\cap G_i$4	Group morphism encoding polynomiality	Complexity of filtration and group
Bounded Lipschitz function $\Gamma\cap G_i$5	Test function on nilmanifold	$\Gamma\cap G_i$6, $\Gamma\cap G_i$7
Nilsequence $\Gamma\cap G_i$8	$\Gamma\cap G_i$9—model for structured functions	All above, aggregated in $G_i$0

The critical parameters controlled uniformly are the degree $G_i$1, the group rank $G_i$2, and the Gowers norm lower bound $G_i$3. All procedures maintain explicit bounds in terms of these variables, ensuring that the nilsequence reflects the arithmetic and algebraic structure of $G_i$4 with effective quantitative dependence (Candela et al., 13 Jan 2026).