-
Monopoles at Future Neutrino Detectors
Authors:
Pablo M. Candela,
Valentin V. Khoze,
Jessica Turner
Abstract:
We investigate the potential of future neutrino experiments, DUNE and Hyper-Kamiokande, to probe magnetic monopoles via Callan-Rubakov (CR) processes. We consider both relativistic and non-relativistic monopoles and focus on two primary detection signatures: high-energy antiproton production and proton decay catalysis. For relativistic monopoles, our analysis of the CR process indicates antiproton…
▽ More
We investigate the potential of future neutrino experiments, DUNE and Hyper-Kamiokande, to probe magnetic monopoles via Callan-Rubakov (CR) processes. We consider both relativistic and non-relativistic monopoles and focus on two primary detection signatures: high-energy antiproton production and proton decay catalysis. For relativistic monopoles, our analysis of the CR process indicates antiproton production with energies near 900 GeV and we find that both experiments can provide limits on the fluxes an order of magnitude below the Parker bound (approximately $Φ\lesssim 10^{-16}\,\mathrm{cm^{-2}\,s^{-1}\,sr^{-1}}$). For non-relativistic monopoles, we recast the experimental sensitivity to proton decay catalysis and obtain upper limits on the monopole flux of $Φ\lesssim 2.3 \times 10^{-23}\,\mathrm{cm^{-2}\,s^{-1}\,sr^{-1}}$ for Hyper-Kamiokande and $Φ\lesssim 1.1 \times 10^{-22}\,\mathrm{cm^{-2}\,s^{-1}\,sr^{-1}}$ for DUNE.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Spectral algorithms in higher-order Fourier analysis
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
Our goal is to provide simple and practical algorithms in higher-order Fourier analysis which are based on spectral decompositions of operators. We propose a general framework for such algorithms and provide a detailed analysis of the quadratic case. Our results reveal new spectral aspects of the theory underlying higher-order Fourier analysis. Along these lines, we prove new inverse and regularit…
▽ More
Our goal is to provide simple and practical algorithms in higher-order Fourier analysis which are based on spectral decompositions of operators. We propose a general framework for such algorithms and provide a detailed analysis of the quadratic case. Our results reveal new spectral aspects of the theory underlying higher-order Fourier analysis. Along these lines, we prove new inverse and regularity theorems for the Gowers norms based on higher-order character decompositions. Using these results, we prove a spectral inverse theorem and a spectral regularity theorem in quadratic Fourier analysis.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
On sets with missing differences in compact abelian groups
Authors:
Pablo Candela,
Fernando Chamizo,
Antonio Córdoba
Abstract:
A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density of $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given…
▽ More
A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density of $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given a lattice $Λ\subset \mathbb{Z}^r$, letting $D$ be the image in $\mathbb{Z}^r/Λ$ of the standard basis, determine the Motzkin density of $D$ in $\mathbb{Z}^r/Λ$. We study in particular the periodicity question: is there a periodic $D$-avoiding set of maximal density in $\mathbb{Z}^r/Λ$? The Greenfeld--Tao counterexample to the periodic tiling conjecture implies that the answer can be negative. On the other hand, we prove that the answer is positive in several cases, including the case rank$(Λ)=1$ (in which we give a formula for the Motzkin density), the case rank$(Λ)=r-1$, and hence also the case $r\leq 3$. It follows that, for up to three missing differences, the Motzkin density in a compact abelian group is always a rational number.
△ Less
Submitted 15 September, 2024; v1 submitted 17 August, 2024;
originally announced August 2024.
-
Up-scattering production of a sterile fermion at DUNE: complementarity with spallation source and direct detection experiments
Authors:
Pablo M. Candela,
Valentina De Romeri,
Pantelis Melas,
Dimitrios K. Papoulias,
Niki Saoulidou
Abstract:
We investigate the possible production of a MeV-scale sterile fermion through the up-scattering of neutrinos on nuclei and atomic electrons at different facilities. We consider a phenomenological model that adds a new fermion to the particle content of the Standard Model and we allow for all possible Lorentz-invariant non-derivative interactions (scalar, pseudoscalar, vector, axial-vector and tens…
▽ More
We investigate the possible production of a MeV-scale sterile fermion through the up-scattering of neutrinos on nuclei and atomic electrons at different facilities. We consider a phenomenological model that adds a new fermion to the particle content of the Standard Model and we allow for all possible Lorentz-invariant non-derivative interactions (scalar, pseudoscalar, vector, axial-vector and tensor) of neutrinos with electrons and first-generation quarks. We first explore the sensitivity of the DUNE experiment to this scenario, by simulating elastic neutrino-electron scattering events in the near detector. We consider both options of a standard and a tau-optimized neutrino beams, and investigate the impact of a mobile detector that can be moved off-axis with respect to the beam. Next, we infer constraints on the typical coupling, new fermion and mediator masses from elastic neutrino-electron scattering events induced by solar neutrinos in two current dark matter direct detection experiments, XENONnT and LZ. Under the assumption that the new mediators couple also to first-generation quarks, we further set constraints on the up-scattering production of the sterile fermion using coherent elastic neutrino-nucleus scattering data from the COHERENT experiment. Moreover, we set additional constraints assuming that the sterile fermion may decay within the detector. We finally compare our results and discuss how these facilities are sensitive to different regions of the relevant parameter space due to kinematics arguments and can hence provide complementary information on the up-scattering production of a sterile fermion.
△ Less
Submitted 16 September, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
On the inverse theorem for Gowers norms in abelian groups of bounded torsion
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
In recent work, Jamneshan, Shalom and Tao proved an inverse theorem for the Gowers $U^{k+1}$-norm on finite abelian groups of fixed torsion $m$, where the final correlating harmonic is a polynomial phase function of degree at most $C(k,m)$. They also posed a related central question, namely, whether the bound $C$ can be reduced to the optimal value $k$ for every $m$. We make progress on this quest…
▽ More
In recent work, Jamneshan, Shalom and Tao proved an inverse theorem for the Gowers $U^{k+1}$-norm on finite abelian groups of fixed torsion $m$, where the final correlating harmonic is a polynomial phase function of degree at most $C(k,m)$. They also posed a related central question, namely, whether the bound $C$ can be reduced to the optimal value $k$ for every $m$. We make progress on this question using nilspace theory. First we connect the question to the study of finite nilspaces whose structure groups have torsion $m$. Then we prove one of the main results of this paper: a primary decomposition theorem for finite nilspaces, extending the Sylow decomposition in group theory. Thus we give an analogue for nilspaces of an ergodic-theoretic Sylow decomposition in the aforementioned work of Jamneshan-Shalom-Tao. We deduce various consequences which illustrate the following general idea: the primary decomposition enables a reduction of higher-order Fourier analysis in the $m$-torsion setting to the case of abelian $p$-groups. These consequences include a positive answer to the question of Jamneshan-Shalom-Tao when $m$ is squarefree, and also a new relation between uniformity norms and certain generalized cut norms on products of abelian groups of coprime orders. Another main result in this paper is a positive answer to the above central question for the $U^3$-norm, proving that $C(2,m)=2$ for all $m$. Finally, we give a partial answer to the question for all $k$ and $m$, proving an inverse theorem involving extensions of polynomial phase functions which were introduced by the third-named author, known as projected phase polynomials of degree $k$. A notable aspect is that this inverse theorem implies that of Jamneshan-Shalom-Tao, while involving projected phase polynomials of degree $k$, which are genuine obstructions to having small $U^{k+1}$-norm.
△ Less
Submitted 14 December, 2023; v1 submitted 23 November, 2023;
originally announced November 2023.
-
On measure-preserving $\mathbb{F}_p^ω$-systems of order $k$
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
Building on previous work in the nilspace-theoretic approach to the study of Host-Kra factors of measure-preserving systems, we prove that every ergodic $\mathbb{F}_p^ω$-system of order $k$ is a factor of an Abramov $\mathbb{F}_p^ω$-system of order $k$. This answers a question of Jamneshan, Shalom and Tao.
Building on previous work in the nilspace-theoretic approach to the study of Host-Kra factors of measure-preserving systems, we prove that every ergodic $\mathbb{F}_p^ω$-system of order $k$ is a factor of an Abramov $\mathbb{F}_p^ω$-system of order $k$. This answers a question of Jamneshan, Shalom and Tao.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Free nilspaces, double-coset nilspaces, and Gowers norms
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
Compact finite-rank nilspaces have become central in the nilspace approach to higher-order Fourier analysis, notably through their role in a general form of the inverse theorem for the Gowers norms. This paper studies these nilspaces per se, and in connection with further refinements of this inverse theorem that have been conjectured recently. Our first main result states that every compact finite…
▽ More
Compact finite-rank nilspaces have become central in the nilspace approach to higher-order Fourier analysis, notably through their role in a general form of the inverse theorem for the Gowers norms. This paper studies these nilspaces per se, and in connection with further refinements of this inverse theorem that have been conjectured recently. Our first main result states that every compact finite-rank nilspace is obtained by taking a free nilspace (a nilspace based on an abelian group of the form $\mathbb{Z}^{r}\times \mathbb{R}^s$) and quotienting this by a discrete group action of a specific type, describable in terms of polynomials. We call these group actions "higher-order lattice actions", as they generalize actions of lattices in $\mathbb{Z}^r\times \mathbb{R}^s$. The second main result (which relies on the first one) represents every compact finite-rank nilspace as a double-coset space $K\backslash G / Γ$ where $G$ is a nilpotent Lie group of a specific kind. Our third main result extends the aforementioned results to $k$-step compact nilspaces (not necessarily of finite rank), by representing any such nilspace as a quotient of infinite products of free nilspaces and also as double coset spaces $K\backslash G/Γ$ where $G$ is a degree-$k$ nilpotent pro-Lie group. These results open the study of compact nilspaces to areas more classical than nilspace theory, such as the theory of topological group actions. The results also require developing the theory of topological non-compact nilspaces, for which we provide groundwork in this paper. Applications include new inverse theorems for Gowers norms on any finite abelian group. These theorems are purely group theoretic in that the correlating harmonics are based on double-coset spaces. This yields progress towards the Jamneshan-Tao conjecture.
△ Less
Submitted 11 August, 2023; v1 submitted 18 May, 2023;
originally announced May 2023.
-
COHERENT production of a dark fermion
Authors:
Pablo M. Candela,
Valentina De Romeri,
Dimitrios K. Papoulias
Abstract:
We consider the possible production of a new MeV-scale fermion at the COHERENT experiment. The new fermion, belonging to a dark sector, can be produced through the up-scattering process of neutrinos off the nuclei and the electrons of the detector material, via the exchange of a light vector or scalar mediator. We perform a detailed statistical analysis of the combined COHERENT CsI and LAr data se…
▽ More
We consider the possible production of a new MeV-scale fermion at the COHERENT experiment. The new fermion, belonging to a dark sector, can be produced through the up-scattering process of neutrinos off the nuclei and the electrons of the detector material, via the exchange of a light vector or scalar mediator. We perform a detailed statistical analysis of the combined COHERENT CsI and LAr data sets and obtain up-to-date constraints on the couplings and masses of the dark fermion and mediators. We finally briefly comment about the stability of the dark fermion.
△ Less
Submitted 6 September, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
On $\mathbb{F}_2^ω$-affine-exchangeable probability measures
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
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.,…
▽ More
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.
△ Less
Submitted 2 April, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
On higher-order Fourier analysis in characteristic $p$
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
In this paper, the nilspace approach to higher-order Fourier analysis is developed in the setting of vector spaces over a prime field $\mathbb{F}_p$, with applications mainly in ergodic theory. A key requisite for this development is to identify a class of nilspaces adequate for this setting. We introduce such a class, whose members we call $p$-homogeneous nilspaces. One of our main results charac…
▽ More
In this paper, the nilspace approach to higher-order Fourier analysis is developed in the setting of vector spaces over a prime field $\mathbb{F}_p$, with applications mainly in ergodic theory. A key requisite for this development is to identify a class of nilspaces adequate for this setting. We introduce such a class, whose members we call $p$-homogeneous nilspaces. One of our main results characterizes these objects in terms of a simple algebraic property. We then prove various further results on these nilspaces, leading to a structure theorem describing every finite $p$-homogeneous nilspace as the image, under a nilspace fibration, of a member of a simple family of filtered finite abelian $p$-groups. The applications include a description of the Host-Kra factors of ergodic $\mathbb{F}_p^ω$-systems as $p$-homogeneous nilspace systems. This enables the analysis of these factors to be reduced to the study of such nilspace systems, with central questions on the factors thus becoming purely algebraic problems on finite nilspaces. We illustrate this approach by proving that for $k\leq p+1$ the $k$-th Host-Kra factor is an Abramov system of order $\leq k$, extending a result of Bergelson-Tao-Ziegler that holds for $k< p$. We illustrate the utility of $p$-homogeneous nilspaces also by showing that the above-mentioned structure theorem yields a new proof of the Tao-Ziegler inverse theorem for Gowers norms on $\mathbb{F}_p^n$.
△ Less
Submitted 19 December, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
A refinement of Cauchy-Schwarz complexity
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
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 s…
▽ More
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^ω$.
△ Less
Submitted 4 July, 2022; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Coloring graphs by translates in the circle
Authors:
Pablo Candela,
Carlos Catala,
Robert Hancock,
Adam Kabela,
Daniel Kral,
Ander Lamaison,
Lluis Vena
Abstract:
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 ver…
▽ More
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.
△ Less
Submitted 11 January, 2021; v1 submitted 2 April, 2020;
originally announced April 2020.
-
On sets with small sumset and m-sum-free sets in Z/pZ
Authors:
Pablo Candela,
Diego González-Sánchez,
David J. Grynkiewicz
Abstract:
The $3k-4$ conjecture in groups $\mathbb{Z}/p\mathbb{Z}$ for $p$ prime states that if $A$ is a nonempty subset of $\mathbb{Z}/p\mathbb{Z}$ satisfying $2A\neq \mathbb{Z}/p\mathbb{Z}$ and $|2A|=2|A|+r \leq \min\{3|A|-4,\;p-r-4\}$, then $A$ is covered by an arithmetic progression of size at most $|A|+r+1$. A theorem of Serra and Zémor proves the conjecture provided $r\leq 0.0001|A|$, without any addi…
▽ More
The $3k-4$ conjecture in groups $\mathbb{Z}/p\mathbb{Z}$ for $p$ prime states that if $A$ is a nonempty subset of $\mathbb{Z}/p\mathbb{Z}$ satisfying $2A\neq \mathbb{Z}/p\mathbb{Z}$ and $|2A|=2|A|+r \leq \min\{3|A|-4,\;p-r-4\}$, then $A$ is covered by an arithmetic progression of size at most $|A|+r+1$. A theorem of Serra and Zémor proves the conjecture provided $r\leq 0.0001|A|$, without any additional constraint on $|A|$. Subject to the mild additional constraint $|2A|\leq 3p/4$ (which is optimal in a sense explained in the paper), our first main result improves the bound on $r$, allowing $r\leq 0.1368|A|$. We also prove a variant which further improves this bound on $r$ provided $A$ is sufficiently dense. We then give several applications. First we apply the above variant to give a new upper bound for the maximal density of $m$-sum-free sets in $\mathbb{Z}/p\mathbb{Z}$, i.e., sets $A$ having no solution $(x,y,z)\in A^3$ to the equation $x+y=mz$, where $m\geq 3$ is a fixed integer. The previous best upper bound for this maximal density was $1/3.0001$ (using the Serra-Zémor Theorem). We improve this to $1/3.1955$. We also present a construction following an idea of Schoen, which yields a lower bound for this maximal density of the form $1/8+o(1)_{p\to\infty}$. Another application of our main results concerns sets of the form $\frac{A+A}{A}$ in $\mathbb{F}_p$, and we also improve the structural description of large sum-free sets in $\mathbb{Z}/p\mathbb{Z}$.
△ Less
Submitted 13 November, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds
Authors:
Pablo Candela,
Balázs Szegedy
Abstract:
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 the…
▽ More
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.
△ Less
Submitted 13 March, 2022; v1 submitted 4 February, 2019;
originally announced February 2019.
-
On nilspace systems and their morphisms
Authors:
Pablo Candela,
Diego González-Sánchez,
Balázs Szegedy
Abstract:
A nilspace system is a generalization of a nilsystem, consisting of a compact nilspace X equipped with a group of nilspace translations acting on X. Nilspace systems appear in different guises in several recent works, and this motivates the study of these systems per se as well as their relation to more classical types of systems. In this paper we study morphisms of nilspace systems, i.e., nilspac…
▽ More
A nilspace system is a generalization of a nilsystem, consisting of a compact nilspace X equipped with a group of nilspace translations acting on X. Nilspace systems appear in different guises in several recent works, and this motivates the study of these systems per se as well as their relation to more classical types of systems. In this paper we study morphisms of nilspace systems, i.e., nilspace morphisms with the additional property of being consistent with the actions of the given translations. A nilspace morphism does not necessarily have this property, but one of our main results shows that it factors through some other morphism which does have the property. As an application we obtain a strengthening of the inverse limit theorem for compact nilspaces, valid for nilspace systems. This is used in work of the first and third named authors to generalize the celebrated structure theorem of Host and Kra on characteristic factors.
△ Less
Submitted 27 February, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
A step beyond Freiman's theorem for set addition modulo a prime
Authors:
Pablo Candela,
Oriol Serra,
Christoph Spiegel
Abstract:
Freiman's 2.4-Theorem states that any set $A \subset \mathbb{Z}_p$ satisfying $|2A| \leq 2.4|A| - 3 $ and $|A| < p/35$ can be covered by an arithmetic progression of length at most $|2A| - |A| + 1$. A more general result of Green and Ruzsa implies that this covering property holds for any set satisfying $|2A| \leq 3|A| - 4$ as long as the rather strong density requirement $|A| < p/10^{215}$ is sat…
▽ More
Freiman's 2.4-Theorem states that any set $A \subset \mathbb{Z}_p$ satisfying $|2A| \leq 2.4|A| - 3 $ and $|A| < p/35$ can be covered by an arithmetic progression of length at most $|2A| - |A| + 1$. A more general result of Green and Ruzsa implies that this covering property holds for any set satisfying $|2A| \leq 3|A| - 4$ as long as the rather strong density requirement $|A| < p/10^{215}$ is satisfied. We present a version of this statement that allows for sets satisfying $|2A| \leq 2.48|A| - 7$ with the more modest density requirement of $|A| < p/10^{10}$.
△ Less
Submitted 31 May, 2018;
originally announced May 2018.
-
Nilspace factors for general uniformity seminorms, cubic exchangeability and limits
Authors:
Pablo Candela,
Balázs Szegedy
Abstract:
We study a class of measure-theoretic objects that we call cubic couplings, on which there is a common generalization of the Gowers norms and the Host-Kra seminorms. Our main result yields a complete structural description of cubic couplings, using nilspaces. We give three applications. Firstly, we describe the characteristic factors of Host-Kra type seminorms for measure-preserving actions of cou…
▽ More
We study a class of measure-theoretic objects that we call cubic couplings, on which there is a common generalization of the Gowers norms and the Host-Kra seminorms. Our main result yields a complete structural description of cubic couplings, using nilspaces. We give three applications. Firstly, we describe the characteristic factors of Host-Kra type seminorms for measure-preserving actions of countable nilpotent groups. This yields an extension of the structure theorem of Host and Kra. Secondly, we characterize sequences of random variables with a property that we call cubic exchangeability. These are sequences indexed by the infinite discrete cube, such that for every integer $k\geq 0$ the joint distribution's marginals on affine subcubes of dimension $k$ are all equal. In particular, our result gives a description, in terms of compact nilspaces, of a related exchangeability property considered by Austin, inspired by a problem of Aldous. Finally, using nilspaces we obtain limit objects for sequences of functions on compact abelian groups (more generally on compact nilspaces) such that the densities of certain patterns in these functions converge. The paper thus proposes a measure-theoretic framework on which the area of higher-order Fourier analysis can be based, and which yields new applications of this area in a unified way in ergodic theory and arithmetic combinatorics.
△ Less
Submitted 13 November, 2020; v1 submitted 23 March, 2018;
originally announced March 2018.
-
A Plünnecke-Ruzsa inequality in compact abelian groups
Authors:
Pablo Candela,
Diego González-Sánchez,
Anne de Roton
Abstract:
The Plünnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more general subsets of more general groups. This motivates extending the Plünnecke-Ruzsa inequality, in particular to measurable subsets of compact abelian groups by repl…
▽ More
The Plünnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more general subsets of more general groups. This motivates extending the Plünnecke-Ruzsa inequality, in particular to measurable subsets of compact abelian groups by replacing the cardinality with the Haar probability measure. This objective is related to the question of the stability of classes of Haar measurable sets under addition. In this direction the class of analytic sets is a natural one to work with. We prove a Plünnecke-Ruzsa inequality for K-analytic sets in general compact (Hausdorff) abelian groups. We also discuss further extensions, some of which raise questions of independent interest in descriptive topology.
△ Less
Submitted 10 July, 2018; v1 submitted 20 December, 2017;
originally announced December 2017.
-
On sets with small sumset in the circle
Authors:
Pablo Candela,
Anne de Roton
Abstract:
We prove results on the structure of a subset of the circle group having positive inner Haar measure and doubling constant close to the minimum. These results go toward a continuous analogue in the circle of Freiman's $3k-4$ theorem from the integer setting. An analogue of this theorem in $\mathbb{Z}_p$ has been pursued extensively, and we use some recent results in this direction. For instance, o…
▽ More
We prove results on the structure of a subset of the circle group having positive inner Haar measure and doubling constant close to the minimum. These results go toward a continuous analogue in the circle of Freiman's $3k-4$ theorem from the integer setting. An analogue of this theorem in $\mathbb{Z}_p$ has been pursued extensively, and we use some recent results in this direction. For instance, obtaining a continuous analogue of a result of Serra and Zémor, we prove that if a subset $A$ of the circle is not too large and has doubling constant at most $2+\varepsilon$ with $\varepsilon<10^{-4}$, then for some integer $n>0$ the dilate $n\cdot A$ is included in an interval in which it has density at least $1/(1+\varepsilon)$. Our arguments yield other variants of this result as well, notably a version for two sets which makes progress toward a conjecture of Bilu. We include two applications of these results. The first is a new upper bound on the size of $k$-sum-free sets in the circle and in $\mathbb{Z}_p$. The second gives structural information on subsets of $\mathbb{R}$ of doubling constant at most $3+\varepsilon$.
△ Less
Submitted 9 July, 2018; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Notes on compact nilspaces
Authors:
Pablo Candela
Abstract:
These notes form the second part of a detailed account of the theory of nilspaces developed by Camarena and Szegedy. Here we focus on nilspaces equipped with a compact topology that is compatible with the cube structure, called compact nilspaces. The material in these notes relies on the first part of our exposition (available as arXiv:1601.03693), and it expands on the third chapter of the paper…
▽ More
These notes form the second part of a detailed account of the theory of nilspaces developed by Camarena and Szegedy. Here we focus on nilspaces equipped with a compact topology that is compatible with the cube structure, called compact nilspaces. The material in these notes relies on the first part of our exposition (available as arXiv:1601.03693), and it expands on the third chapter of the paper of Camarena and Szegedy, providing more detailed proofs of their results. To that end we also include several additional results that are implicit in their paper.
△ Less
Submitted 7 September, 2017; v1 submitted 28 May, 2016;
originally announced May 2016.
-
Notes on nilspaces: algebraic aspects
Authors:
Pablo Candela
Abstract:
These notes constitute the first part of a detailed exposition of the theory of nilspaces developed by Camarena and Szegedy. We treat what can be called the algebraic part of the theory, in which nilspaces are studied without any topological assumption.
These notes constitute the first part of a detailed exposition of the theory of nilspaces developed by Camarena and Szegedy. We treat what can be called the algebraic part of the theory, in which nilspaces are studied without any topological assumption.
△ Less
Submitted 7 September, 2017; v1 submitted 14 January, 2016;
originally announced January 2016.
-
A continuous model for systems of complexity 2 on simple abelian groups
Authors:
Pablo Candela,
Balázs Szegedy
Abstract:
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 answe…
▽ More
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). $$
△ Less
Submitted 11 September, 2016; v1 submitted 15 September, 2015;
originally announced September 2015.
-
Towers for commuting endomorphisms, and combinatorial applications
Authors:
Artur Avila,
Pablo Candela
Abstract:
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.
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.
△ Less
Submitted 28 January, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs
Authors:
Pablo Candela,
Balázs Szegedy,
Lluís Vena
Abstract:
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 de…
▽ More
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.
△ Less
Submitted 24 July, 2015; v1 submitted 28 August, 2014;
originally announced August 2014.
-
On the dimension of additive sets
Authors:
P. Candela,
H. A. Helfgott
Abstract:
We study the relations between several notions of dimension for an additive set, some of which are well-known and some of which are more recent, appearing for instance in work of Schoen and Shkredov. We obtain bounds for the ratios between these dimensions by improving an inequality of Lev and Yuster, and we show that these bounds are asymptotically sharp, using in particular the existence of larg…
▽ More
We study the relations between several notions of dimension for an additive set, some of which are well-known and some of which are more recent, appearing for instance in work of Schoen and Shkredov. We obtain bounds for the ratios between these dimensions by improving an inequality of Lev and Yuster, and we show that these bounds are asymptotically sharp, using in particular the existence of large dissociated subsets of $\{0,1\}^n\subset \mathbb{Z}^n$.
△ Less
Submitted 25 July, 2014; v1 submitted 18 July, 2014;
originally announced July 2014.
-
Convergence results for systems of linear forms on cyclic groups, and periodic nilsequences
Authors:
Pablo Candela,
Olof Sisask
Abstract:
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 Fouri…
▽ More
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.
△ Less
Submitted 10 September, 2014; v1 submitted 15 December, 2012;
originally announced December 2012.
-
A removal lemma for linear configurations in subsets of the circle
Authors:
Pablo Candela,
Olof Sisask
Abstract:
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.
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.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.
-
On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime
Authors:
Pablo Candela,
Olof Sisask
Abstract:
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 variab…
▽ More
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.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.
