Source author record

Pablo Candela

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.CA math.NT math.DS math.PR

Catalog footprint

Research overview

10works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A refinement of Cauchy-Schwarz complexity

We introduce a notion of complexity for systems of linear forms, called sequential Cauchy-Schwarz complexity, which is parametrized by two positive integers $k,\ell$ and refines the notion of Cauchy-Schwarz complexity introduced by Green and Tao. We prove that if a system of linear forms has sequential Cauchy-Schwarz complexity at most $(k,\ell)$ then any average of 1-bounded functions over this system is controlled by the $2^{1-\ell}$ -th power of the Gowers $U^{k+1}$ -norms of the functions. For $\ell=1$ this agrees with Cauchy-Schwarz complexity, but for $\ell>1$ there are systems that have sequential Cauchy-Schwarz complexity at most $(k,\ell)$ whereas their Cauchy-Schwarz complexity is greater than $k$ . Our main application illustrates this with systems over a prime field $\mathbb{F}_p$ that are denoted by $Φ_{k,M}$ and can be viewed as $M$ -dimensional arithmetic progressions of length $k$ . For each $M\geq 2$ we prove that $Φ_{k,M}$ has sequential Cauchy-Schwarz complexity at most $(k-2,|Φ_{k,M}|)$ (where $|Φ_{k,M}|$ is the number of forms in the system), whereas the Cauchy-Schwarz complexity of $Φ_{k,M}$ can be greater than $k-2$ . Thus we obtain polynomial true-complexity bounds for $Φ_{k,M}$ with exponent $2^{-|Φ_{k,M}|}$ . A recent general theorem of Manners, proved independently with different methods, implies a similar application but with different polynomial true-complexity bounds, as explained in the paper. In separate work, we use our application to give a new proof of the inverse theorem for Gowers norms on $\mathbb{F}_p^n$ , and related results concerning ergodic actions of $\mathbb{F}_p^ω$ .

preprint2022arXiv

On $\mathbb{F}_2^ω$ -affine-exchangeable probability measures

For any standard Borel space $B$ , let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$ . In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin raised the question of describing the structure of affine-exchangeable probability measures on product spaces indexed by the vector space $\mathbb{F}_2^ω$ , i.e., the measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ that are invariant under the coordinate permutations on $B^{\mathbb{F}_2^ω}$ induced by all affine automorphisms of $\mathbb{F}_2^ω$ . We answer this question by describing the extreme points of the space of such affine-exchangeable measures. We prove that there is a single structure underlying every such measure, namely, a random infinite-dimensional cube (sampled using Haar measure adapted to a specific filtration) on a group that is a countable power of the 2-adic integers. Indeed, every extreme affine-exchangeable measure in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ is obtained from a $\mathcal{P}(B)$ -valued function on this group, by a vertex-wise composition with this random cube. The consequences of this result include a description of the convex set of affine-exchangeable measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ equipped with the vague topology (when $B$ is a compact metric space), showing that this convex set is a Bauer simplex. We also obtain a correspondence between affine-exchangeability and limits of convergent sequences of (compact-metric-space valued) functions on vector spaces $\mathbb{F}_2^n$ as $n\to\infty$ . Via this correspondence, we establish the above-mentioned group as a general limit domain valid for any such sequence.

preprint2022arXiv

Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds

We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we thus obtain the first non-abelian versions of such theorems. We derive these results from a general structure theorem for cubic couplings, thereby unifying these results with the Host-Kra Ergodic Structure Theorem. A unification of this kind had been propounded as a conceptual prospect by Host and Kra. Our work also provides new results on nilspaces. In particular, we obtain a new stability result for nilspace morphisms. We also strengthen a result of Gutman, Manners and Varjú, by proving that a $k$ -step compact nilspace of finite rank is a toral nilspace (in particular, a connected nilmanifold) if and only if its $k$ -dimensional cube set is connected. We also prove that if a morphism from a cyclic group of prime order into a compact finite-rank nilspace is sufficiently balanced (i.e. equidistributed in a certain quantitative and multidimensional sense), then the nilspace is toral. As an application of this, we obtain a new proof of a refinement of the Green-Tao-Ziegler inverse theorem.

preprint2021arXiv

Coloring graphs by translates in the circle

The fractional and circular chromatic numbers are the two most studied non-integral refinements of the chromatic number of a graph. Starting from the definition of a coloring base of a graph, which originated in work related to ergodic theory, we formalize the notion of a gyrocoloring of a graph: the vertices are colored by translates of a single Borel set in the circle group, and neighbouring vertices receive disjoint translates. The corresponding gyrochromatic number of a graph always lies between the fractional chromatic number and the circular chromatic number. We investigate basic properties of gyrocolorings. In particular, we construct examples of graphs whose gyrochromatic number is strictly between the fractional chromatic number and the circular chromatic number. We also establish several equivalent definitions of the gyrochromatic number, including a version involving all finite abelian groups.

preprint2016arXiv

A continuous model for systems of complexity 2 on simple abelian groups

It is known that if $p$ is a sufficiently large prime then for every function $f:\mathbb{Z}_p\to [0,1]$ there exists a continuous function on the circle $f':\mathbb{T}\to [0,1]$ such that the averages of $f$ and $f'$ across any prescribed system of linear forms of complexity 1 differ by at most $ε$ . This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing $\mathbb{T}$ with the torus $\mathbb{T}^2$ equipped with a specific filtration. To this end we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps, and we combine this with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on $\mathbb{Z}_p$ . For instance, let $m_4(α,\mathbb{Z}_p)$ denote the minimum, over all sets $A\subset \mathbb{Z}_p$ of cardinality at least $αp$ , of the density of 4-term arithmetic progressions inside $A$ . We show that $\lim_{p\to \infty} m_4(α,\mathbb{Z}_p)$ is equal to the infimum, over all measurable functions $f:\mathbb{T}^2\to [0,1]$ with $\int_{\mathbb{T}^2}f\geq α$ , of the following integral: $\int_{\mathbb{T}^5} f\binom{x_1}{y_1}\; f\binom{x_1+x_2}{y_1+y_2}\; f\binom{x_1+2x_2}{y_1+2y_2+y_3}\; f\binom{x_1+3 x_2}{y_1+3y_2+3y_3} \,dμ_{\mathbb{T}^5}(x_1,x_2,y_1,y_2,y_3).$

preprint2016arXiv

Towers for commuting endomorphisms, and combinatorial applications

We give an elementary proof of a generalization of Rokhlin's lemma for commuting non-invertible measure-preserving transformations, and we present several combinatorial applications.

preprint2015arXiv

On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs

We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Král', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain group actions, and for these hypergraphs we prove a symmetry-preserving removal lemma, which extends a finitary result of the same name by the second author. We deduce our arithmetic removal result by applying this lemma to a specific type of invariant measurable hypergraph. As a direct application, we obtain the following generalization of Szemerédi's theorem: for any compact abelian group $G$ , any measurable set $A\subset G$ with Haar probability $μ(A)\geqα>0$ satisfies $\int_G\int_G\; 1_A\big(x\big)\; 1_A\big(x+r\big) \cdots 1_A\big(x+(k-1)r\big) \; dμ(x) dμ(r) \geq c,$ where the constant $c=c(α,k)>0$ is valid uniformly for all $G$ . This result is shown to hold more generally for any translation-invariant system of $r$ linear equations given by an integer matrix with coprime $r\times r$ minors.

preprint2014arXiv

Convergence results for systems of linear forms on cyclic groups, and periodic nilsequences

Given a positive integer $N$ and real number $α\in [0, 1]$ , let $m(α,N)$ denote the minimum, over all sets $A\subset \mathbb{Z}/N\mathbb{Z}$ of size at least $αN$ , of the normalized count of 3-term arithmetic progressions contained in $A$ . A theorem of Croot states that $m(α,N)$ converges as $N\to\infty$ through the primes, answering a question of Green. Using recent advances in higher-order Fourier analysis, we prove an extension of this theorem, showing that the result holds for $k$ -term progressions for general $k$ and further for all systems of integer linear forms of finite complexity. We also obtain a similar convergence result for the maximum densities of sets free of solutions to systems of linear equations. These results rely on a regularity method for functions on finite cyclic groups that we frame in terms of periodic nilsequences, using in particular some regularity results of Szegedy (relying on his joint work with Camarena) and equidistribution results of Green and Tao.

preprint2011arXiv

A removal lemma for linear configurations in subsets of the circle

We obtain a removal lemma for systems of linear equations over the circle group, using a similar result for finite fields due to Král, Serra and Vena, and we discuss some applications.

preprint2011arXiv

On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime

Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of m(A) over F-free sets A in G, where m is the normalized Haar measure on G. Our main result is that, for any such collection F of forms in at least three variables, the sequence d_F(Z_p) converges to d_F(R/Z) as p tends to infinity over primes. This answers an analogue for Z_p of a question that Ruzsa raised about sets of integers.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pablo Candela

Research overview

Is this your work?

10 publications

A refinement of Cauchy-Schwarz complexity

On $\mathbb{F}_2^ω$ -affine-exchangeable probability measures

Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds

Coloring graphs by translates in the circle

A continuous model for systems of complexity 2 on simple abelian groups

Towers for commuting endomorphisms, and combinatorial applications

On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs

Convergence results for systems of linear forms on cyclic groups, and periodic nilsequences

A removal lemma for linear configurations in subsets of the circle

On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime

See the researcher in context

Building this map preview

Pablo Candela

Research overview

Is this your work?

10 publications

A refinement of Cauchy-Schwarz complexity

On F2ω\mathbb{F}_2^ωF2ω​-affine-exchangeable probability measures

Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds

Coloring graphs by translates in the circle

A continuous model for systems of complexity 2 on simple abelian groups

Towers for commuting endomorphisms, and combinatorial applications

On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs

Convergence results for systems of linear forms on cyclic groups, and periodic nilsequences

A removal lemma for linear configurations in subsets of the circle

On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime

See the researcher in context

Building this map preview

On $\mathbb{F}_2^ω$ -affine-exchangeable probability measures