-
A space-time interface-fitted method for moving-subdomain distributed control problems with energy regularization
Authors:
Quang Huy Nguyen,
Phuong Cuc Hoang,
Van Chien Le,
Thi Thanh Mai Ta
Abstract:
This paper investigates a space-time interface-fitted approximation of a moving-interface optimal control problem with energy regularization. We reformulate the optimality conditions into a variational problem involving both the state and adjoint. This problem is shown to be equivalent to our optimal control problem. Based on fully unstructured, space-time interface-fitted meshes, we propose and a…
▽ More
This paper investigates a space-time interface-fitted approximation of a moving-interface optimal control problem with energy regularization. We reformulate the optimality conditions into a variational problem involving both the state and adjoint. This problem is shown to be equivalent to our optimal control problem. Based on fully unstructured, space-time interface-fitted meshes, we propose and analyze a Petrov-Galerkin approximation of the problem. An optimal error estimate with respect to a discrete norm is established under a specific regularity assumption on the state and adjoint. Several numerical results are presented to corroborate our theoretical results.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
On the number of exceptional intervals to the prime number theorem in short intervals
Authors:
Ayla Gafni,
Terence Tao
Abstract:
For a fixed exponent $0 < θ\leq 1$, it is expected that we have the prime number theorem in short intervals $\sum_{x \leq n < x+x^θ} Λ(n) \sim x^θ$ as $x \to \infty$. From the recent zero density estimates of Guth and Maynard, this result is known for all $x$ for $θ> \frac{17}{30}$ and for almost all $x$ for $θ> \frac{2}{15}$. Prior to this work, Bazzanella and Perelli obtained some upper bounds o…
▽ More
For a fixed exponent $0 < θ\leq 1$, it is expected that we have the prime number theorem in short intervals $\sum_{x \leq n < x+x^θ} Λ(n) \sim x^θ$ as $x \to \infty$. From the recent zero density estimates of Guth and Maynard, this result is known for all $x$ for $θ> \frac{17}{30}$ and for almost all $x$ for $θ> \frac{2}{15}$. Prior to this work, Bazzanella and Perelli obtained some upper bounds on the size of the exceptional set where the prime number theorem in short intervals fails. We give an explicit relation between zero density estimates and exceptional set bounds, allowing for the most recent zero density estimates to be directly applied to give upper bounds on the exceptional set via a small amount of computer assistance.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Some variants of the periodic tiling conjecture
Authors:
Rachel Greenfeld,
Terence Tao
Abstract:
The periodic tiling conjecture (PTC) asserts, for a finitely generated Abelian group $G$ and a finite subset $F$ of $G$, that if there is a set $A$ that solves the tiling equation $\mathbb{1}_F * \mathbb{1}_A = 1$, there is also a periodic solution $\mathbb{1}_{A_{\mathrm{p}}}$. This conjecture is known to hold for some groups $G$ and fail for others. In this paper we establish three variants of t…
▽ More
The periodic tiling conjecture (PTC) asserts, for a finitely generated Abelian group $G$ and a finite subset $F$ of $G$, that if there is a set $A$ that solves the tiling equation $\mathbb{1}_F * \mathbb{1}_A = 1$, there is also a periodic solution $\mathbb{1}_{A_{\mathrm{p}}}$. This conjecture is known to hold for some groups $G$ and fail for others. In this paper we establish three variants of the PTC. The first (due to Tim Austin) replaces the constant function $1$ on the right-hand side of the tiling equation by $0$, and the indicator functions $\mathbb{1}_F$ and $\mathbb{1}_A$ by bounded integer-valued functions. The second, which applies in $G=\mathbb{Z}^2$, replaces the right-hand side of the tiling equation by an integer-valued periodic function, and the functions $\mathbb{1}_F$ and $\mathbb{1}_A$ on the left-hand side by bounded integer-valued functions. The third (which is the most difficult to establish) is similar to the second, but retains the property of both $\mathbb{1}_A$ and $\mathbb{1}_{A_{\mathrm{p}}}$ being indicator functions; in particular, we establish the PTC for multi-tilings in $G=\mathbb{Z}^2$. As a result, we obtain the decidability of constant-level integer tilings in any finitely generated Abelian group $G$ and multi-tilings in $G=\mathbb{Z}^2$.
△ Less
Submitted 10 May, 2025;
originally announced May 2025.
-
GLL-type Nonmonotone Descent Methods Revisited under Kurdyka-Łojasiewicz Property
Authors:
Yitian Qian,
Ting Tao,
Shaohua Pan,
Houduo Qi
Abstract:
The purpose of this paper is to extend the full convergence results of the classic GLL-type (Grippo-Lampariello-Lucidi) nonmonotone methods to nonconvex and nonsmooth optimization. We propose a novel iterative framework for the minimization of a proper and lower semicontinuous function $Φ$. The framework consists of the GLL-type nonmonotone decrease condition for a sequence, a relative error condi…
▽ More
The purpose of this paper is to extend the full convergence results of the classic GLL-type (Grippo-Lampariello-Lucidi) nonmonotone methods to nonconvex and nonsmooth optimization. We propose a novel iterative framework for the minimization of a proper and lower semicontinuous function $Φ$. The framework consists of the GLL-type nonmonotone decrease condition for a sequence, a relative error condition for its augmented sequence with respect to a Kurdyka-Łojasiewicz (KL) function $Θ$, and a relative gap condition for the partial maximum objective value sequence. The last condition is shown to be a product of the prox-regularity of $Φ$ on the set of cluster points, and to hold automatically under a mild condition on the objective value sequence. We prove that for any sequence and its bounded augmented sequence together falling within the framework, the sequence itself is convergent. Furthermore, when $Θ$ is a KL function of exponent $θ\in(0, 1)$, the convergence admits a linear rate if $θ\in(0, 1/2]$ and a sublinear rate if $θ\in(1/2, 1)$. As applications, we prove, for the first time, that the two existing algorithms, namely the nonmonotone proximal gradient (NPG) method with majorization and NPG with extrapolation both enjoy the full convergence of the iterate sequences for nonconvex and nonsmooth KL composite optimization problems.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Decomposing a factorial into large factors
Authors:
Boris Alexeev,
Evan Conway,
Matthieu Rosenfeld,
Andrew V. Sutherland,
Terence Tao,
Markus Uhr,
Kevin Ventullo
Abstract:
Let $t(N)$ denote the largest number such that $N!$ can be expressed as the product of $N$ integers greater than or equal to $t(N)$. The bound $t(N)/N = 1/e-o(1)$ was apparently established in unpublished work of Erdős, Selfridge, and Straus; but the proof is lost. Here we obtain the more precise asymptotic…
▽ More
Let $t(N)$ denote the largest number such that $N!$ can be expressed as the product of $N$ integers greater than or equal to $t(N)$. The bound $t(N)/N = 1/e-o(1)$ was apparently established in unpublished work of Erdős, Selfridge, and Straus; but the proof is lost. Here we obtain the more precise asymptotic $$ \frac{t(N)}{N} = \frac{1}{e} - \frac{c_0}{\log N} + O\left( \frac{1}{\log^{1+c} N} \right)$$ for an explicit constant $c_0 = 0.30441901\dots$ and some absolute constant $c>0$, answering a question of Erdős and Graham. For the upper bound, a further lower order term in the asymptotic expansion is also obtained. With numerical assistance, we obtain highly precise computations of $t(N)$ for wide ranges of $N$, establishing several explicit conjectures of Guy and Selfridge on this sequence. For instance, we show that $t(N) \geq N/3$ for $N \geq 43632$, with the threshold shown to be best possible.
△ Less
Submitted 2 June, 2025; v1 submitted 25 March, 2025;
originally announced March 2025.
-
Improved a priori error estimates for a space-time finite element method for parabolic problems
Authors:
Thi Thanh Mai Ta,
Quang Huy Nguyen,
Phi Hung Pham
Abstract:
In this paper, we employ a space-time finite element method to discretize the parabolic initial-boundary value problem and extend its error analysis with refined estimates on unstructured space-time meshes. We establish higher-order estimates in three different norms, thereby supplementing existing research. Moreover, we obtain an optimal estimate in a norm stronger than that of the trial space. F…
▽ More
In this paper, we employ a space-time finite element method to discretize the parabolic initial-boundary value problem and extend its error analysis with refined estimates on unstructured space-time meshes. We establish higher-order estimates in three different norms, thereby supplementing existing research. Moreover, we obtain an optimal estimate in a norm stronger than that of the trial space. Finally, we present numerical examples to illustrate our theoretical results.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Error analysis of the space-time interface-fitted finite element method for an inverse source problem for an advection-diffusion equation with moving subdomains
Authors:
Thi Thanh Mai Ta,
Quang Huy Nguyen,
Dinh Nho Hào
Abstract:
A space-time interface-fitted approximation of an inverse source problem for the advection-diffusion equation with moving subdomains is investigated. The problem is reformulated as an optimization problem using Tikhonov regularization. A space-time interface-fitted method is employed to discretize the advection-diffusion equation, where two second-order a priori error estimates are established wit…
▽ More
A space-time interface-fitted approximation of an inverse source problem for the advection-diffusion equation with moving subdomains is investigated. The problem is reformulated as an optimization problem using Tikhonov regularization. A space-time interface-fitted method is employed to discretize the advection-diffusion equation, where two second-order a priori error estimates are established with respect to the $L^2$-norms. Additionally, the regularized source is discretized sequentially using the variational approach, the element-wise constant discretization, and finally, the post-processing strategy. Optimal error estimates are achieved for the first two methods, while superlinear convergence is obtained for the third. Furthermore, a priori choices for the regularization parameter are proposed, depending on the mesh size and noise level. These choices ensure that the discrete and post-processing solutions strongly converge to the exact source as the mesh size and noise level tend to zero.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
New exponent pairs, zero density estimates, and zero additive energy estimates: a systematic approach
Authors:
Terence Tao,
Tim Trudgian,
Andrew Yang
Abstract:
We obtain several new bounds on exponents of interest in analytic number theory, including four new exponent pairs, new zero density estimates for the Riemann zeta-function, and new estimates for the additive energy of zeroes of the Riemann zeta-function. These results were obtained by creating the Analytic Number Theory Exponent Database (ANTEDB) to collect results and relationships between these…
▽ More
We obtain several new bounds on exponents of interest in analytic number theory, including four new exponent pairs, new zero density estimates for the Riemann zeta-function, and new estimates for the additive energy of zeroes of the Riemann zeta-function. These results were obtained by creating the Analytic Number Theory Exponent Database (ANTEDB) to collect results and relationships between these exponents, and then systematically optimising these relationships to obtain the new bounds. We welcome further contributions to the database, which aims to allow easy conversion of new bounds on these exponents into optimised bounds on other related exponents of interest.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
On 1-11-representability and multi-1-11-representability of graphs
Authors:
Mohammed Alshammari,
Sergey Kitaev,
Chaoliang Tang,
Tianyi Tao,
Junchi Zhang
Abstract:
Jeff Remmel introduced the concept of a $k$-11-representable graph in 2017. This concept was first explored by Cheon et al. in 2019, who considered it as a natural extension of word-representable graphs, which are exactly 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$…
▽ More
Jeff Remmel introduced the concept of a $k$-11-representable graph in 2017. This concept was first explored by Cheon et al. in 2019, who considered it as a natural extension of word-representable graphs, which are exactly 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al. is that any graph is 2-11-representable, while it is still unknown whether every graph is 1-11-representable. Cheon et al. showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs, which was extended by additional powerful tools suggested by Futorny et al. in 2024.
In this paper, we prove that all graphs on at most 8 vertices are 1-11-representable hence extending the known fact that all graphs on at most 7 vertices are 1-11-representable. Also, we discuss applications of our main result in the study of multi-1-11-representation of graphs we introduce in this paper analogously to the notion of multi-word-representation of graphs suggested by Kenkireth and Malhotra in 2023.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
On the distribution of eigenvalues of GUE and its minors at fixed index
Authors:
Terence Tao
Abstract:
We obtain bounds on the distribution of normalized gaps of eigenvalues of $N \times N$ GUE matrix in the bulk, that do not lose logarithmic factors of $N$ in the limit $N \to \infty$. As an application, we obtain fixed index universality results for the GUE minor process, which in turn are useful for establishing limiting results for random hives with GUE boundary data.
We obtain bounds on the distribution of normalized gaps of eigenvalues of $N \times N$ GUE matrix in the bulk, that do not lose logarithmic factors of $N$ in the limit $N \to \infty$. As an application, we obtain fixed index universality results for the GUE minor process, which in turn are useful for establishing limiting results for random hives with GUE boundary data.
△ Less
Submitted 14 December, 2024;
originally announced December 2024.
-
Element-Distinct Solution For Rado's Theorem
Authors:
Ningyuan Yang,
Tianyi Tao
Abstract:
In this paper, we present a simplified proof of Rado's Theorem and demonstrate that when an integer matrix $M$ satisfies the column condition and $M\mathbf x=\mathbf 0$ has an element-distinct solution on $\mathbb N$, then under any finite coloring of $\mathbb N$, the equation $M\mathbf x=\mathbf 0$ has a monochromatic element-distinct solution. This gives a positive answer to a problem of Di Nass…
▽ More
In this paper, we present a simplified proof of Rado's Theorem and demonstrate that when an integer matrix $M$ satisfies the column condition and $M\mathbf x=\mathbf 0$ has an element-distinct solution on $\mathbb N$, then under any finite coloring of $\mathbb N$, the equation $M\mathbf x=\mathbf 0$ has a monochromatic element-distinct solution. This gives a positive answer to a problem of Di Nasso in 2016.
△ Less
Submitted 29 November, 2024; v1 submitted 26 November, 2024;
originally announced November 2024.
-
Higher uniformity of arithmetic functions in short intervals II. Almost all intervals
Authors:
Kaisa Matomäki,
Maksym Radziwiłł,
Xuancheng Shao,
Terence Tao,
Joni Teräväinen
Abstract:
We study higher uniformity properties of the von Mangoldt function $Λ$, the Möbius function $μ$, and the divisor functions $d_k$ on short intervals $(x,x+H]$ for almost all $x \in [X, 2X]$.
Let $Λ^\sharp$ and $d_k^\sharp$ be suitable approximants of $Λ$ and $d_k$, $G/Γ$ a filtered nilmanifold, and $F\colon G/Γ\to \mathbb{C}$ a Lipschitz function. Then our results imply for instance that when…
▽ More
We study higher uniformity properties of the von Mangoldt function $Λ$, the Möbius function $μ$, and the divisor functions $d_k$ on short intervals $(x,x+H]$ for almost all $x \in [X, 2X]$.
Let $Λ^\sharp$ and $d_k^\sharp$ be suitable approximants of $Λ$ and $d_k$, $G/Γ$ a filtered nilmanifold, and $F\colon G/Γ\to \mathbb{C}$ a Lipschitz function. Then our results imply for instance that when $X^{1/3+\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (Λ(n)-Λ^\sharp(n)) \overline{F}(g(n)Γ) \right| \ll H\log^{-A} X \] for any fixed $A>0$, and that when $X^{\varepsilon} \leq H \leq X$ we have, for almost all $x \in [X, 2X]$, \[ \sup_{g \in \text{Poly}(\mathbb{Z} \to G)} \left| \sum_{x < n \leq x+H} (d_k(n)-d_k^\sharp(n)) \overline{F}(g(n)Γ) \right| = o(H \log^{k-1} X). \]
As a consequence, we show that the short interval Gowers norms $\|Λ-Λ^\sharp\|_{U^s(X,X+H]}$ and $\|d_k-d_k^\sharp\|_{U^s(X,X+H]}$ are also asymptotically small for any fixed $s$ in the same ranges of $H$. This in turn allows us to establish the Hardy-Littlewood conjecture and the divisor correlation conjecture with a short average over one variable.
Our main new ingredients are type $II$ estimates obtained by developing a "contagion lemma" for nilsequences and then using this to "scale up" an approximate functional equation for the nilsequence to a larger scale. This extends an approach developed by Walsh for Fourier uniformity.
△ Less
Submitted 8 November, 2024;
originally announced November 2024.
-
Pointwise convergence of bilinear polynomial averages over the primes
Authors:
Ben Krause,
Hamed Mousavi,
Terence Tao,
Joni Teräväinen
Abstract:
We show that on a $σ$-finite measure preserving system $X = (X,ν, T)$, the non-conventional ergodic averages $$ \mathbb{E}_{n \in [N]} Λ(n) f(T^n x) g(T^{P(n)} x)$$ converge pointwise almost everywhere for $f \in L^{p_1}(X)$, $g \in L^{p_2}(X)$, and $1/p_1 + 1/p_2 \leq 1$, where $P$ is a polynomial with integer coefficients of degree at least $2$. This had previously been established with the von…
▽ More
We show that on a $σ$-finite measure preserving system $X = (X,ν, T)$, the non-conventional ergodic averages $$ \mathbb{E}_{n \in [N]} Λ(n) f(T^n x) g(T^{P(n)} x)$$ converge pointwise almost everywhere for $f \in L^{p_1}(X)$, $g \in L^{p_2}(X)$, and $1/p_1 + 1/p_2 \leq 1$, where $P$ is a polynomial with integer coefficients of degree at least $2$. This had previously been established with the von Mangoldt weight $Λ$ replaced by the constant weight $1$ by the first and third authors with Mirek, and by the Möbius weight $μ$ by the fourth author. The proof is based on combining tools from both of these papers, together with several Gowers norm and polynomial averaging operator estimates on approximants to the von Mangoldt function of ''Cramér'' and ''Heath-Brown'' type.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Planar point sets with forbidden $4$-point patterns and few distinct distances
Authors:
Terence Tao
Abstract:
We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eli…
▽ More
We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Some Extensions of Finite Sum Theorem
Authors:
Wen Huang,
Song Shao,
Tianyi Tao,
Rongzhong Xiao,
Ningyuan Yang
Abstract:
The paper gives some multi-dimensional extensions of Hindman's finite sum theorem. In particular, by the method of this paper, we prove that for any finite coloring of $\mathbb N$, there are $a,b\in \mathbb N$ such that there exist (infinitely many) pairs $(x,y),(u,v)\in \mathbb N^2$ such that the two sets $\{ax,ay,xy,a(x+y)\}$ and $\{u+b,v+b,uv+b,u+v\}$ are monochromatic.
The paper gives some multi-dimensional extensions of Hindman's finite sum theorem. In particular, by the method of this paper, we prove that for any finite coloring of $\mathbb N$, there are $a,b\in \mathbb N$ such that there exist (infinitely many) pairs $(x,y),(u,v)\in \mathbb N^2$ such that the two sets $\{ax,ay,xy,a(x+y)\}$ and $\{u+b,v+b,uv+b,u+v\}$ are monochromatic.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Competitive Facility Location under Cross-Nested Logit Customer Choice Model: Hardness and Exact Approaches
Authors:
Ba Luat Le,
Tien Mai,
Thuy Anh Ta,
Minh Hoang Ha,
Duc Minh Vu
Abstract:
We study the competitive facility location problem, where a firm aims to establish new facilities in a market already occupied by competitors. In this problem, customer behavior is crucial for making optimal location decisions. We explore a general class of customer choice models, known as the cross-nested logit (CNL) model, which is recognized for its flexibility and generality in predicting peop…
▽ More
We study the competitive facility location problem, where a firm aims to establish new facilities in a market already occupied by competitors. In this problem, customer behavior is crucial for making optimal location decisions. We explore a general class of customer choice models, known as the cross-nested logit (CNL) model, which is recognized for its flexibility and generality in predicting people's choice behavior. To explore the problem, we first demonstrate that it is NP-hard, even when there is only one customer class. We further show that this hardness result is tight, as the facility location problem under any simpler choice models (such as the logit or nested logit) is polynomial-time solvable when there is one customer class. To tackle the resulting facility location problem, we demonstrate that the objective function under a general cross-nested structure is not concave. Interestingly, we show that by a change of variables, the objective function can be converted to a convex program (i.e., a maximization problem with a concave objective and convex constraints), enabling it to be solved to optimality via an outer-approximation algorithm. Extensive experiments show the efficiency of our approach and provide analyses on the benefits of using the cross-nested model in the facility location context.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
Optimization of the Implicit Constant for Upper Bounds for Moments of the Riemann zeta Function
Authors:
Tingyu Tao
Abstract:
We optimized the implicit constant for the refined upper bounds for moments of the Riemann zeta-function proved by Harper. We also computed the implicit constant for the upper bounds for moments of the Riemann zeta-function proved by Soundararajan under certain conditions.
We optimized the implicit constant for the refined upper bounds for moments of the Riemann zeta-function proved by Harper. We also computed the implicit constant for the upper bounds for moments of the Riemann zeta-function proved by Soundararajan under certain conditions.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
A fitted space-time finite element method for an advection-diffusion problem with moving interfaces
Authors:
Quang Huy Nguyen,
Van Chien Le,
Phuong Cuc Hoang,
Thi Thanh Mai Ta
Abstract:
This paper presents a space-time interface-fitted finite element method for solving a parabolic advection-diffusion problem with a nonstationary interface. The jumping diffusion coefficient gives rise to the discontinuity of the solution gradient across the interface. We use the Banach-Necas-Babuska theorem to show the well-posedness of the continuous variational problem. A fully discrete finite-e…
▽ More
This paper presents a space-time interface-fitted finite element method for solving a parabolic advection-diffusion problem with a nonstationary interface. The jumping diffusion coefficient gives rise to the discontinuity of the solution gradient across the interface. We use the Banach-Necas-Babuska theorem to show the well-posedness of the continuous variational problem. A fully discrete finite-element based scheme is analyzed using the Galerkin method and unstructured interface-fitted meshes. An optimal error estimate is established in a discrete energy norm under a globally low but locally high regularity condition. Some numerical results corroborate our theoretical results.
△ Less
Submitted 10 January, 2025; v1 submitted 11 July, 2024;
originally announced July 2024.
-
Dense sets of natural numbers with unusually large least common multiples
Authors:
Terence Tao
Abstract:
For any constant $C_0>0$, we construct a set $A \subset {\mathbb N}$ such that one has $$ \sum_{n \in A: n \leq x} \frac{1}{n} = \exp\left(\left(\frac{C_0}{2}+o(1)\right) (\log\log x)^{1/2} \log\log\log x \right)$$ and $$ \sum_{n,m \in A: n, m \leq x} \frac{1}{\operatorname{lcm}(n,m)} \ll_{C_0} \left(\sum_{n \in A: n \leq x} \frac{1}{n}\right)^2$$ as $x \to \infty$, with the growth rate given here…
▽ More
For any constant $C_0>0$, we construct a set $A \subset {\mathbb N}$ such that one has $$ \sum_{n \in A: n \leq x} \frac{1}{n} = \exp\left(\left(\frac{C_0}{2}+o(1)\right) (\log\log x)^{1/2} \log\log\log x \right)$$ and $$ \sum_{n,m \in A: n, m \leq x} \frac{1}{\operatorname{lcm}(n,m)} \ll_{C_0} \left(\sum_{n \in A: n \leq x} \frac{1}{n}\right)^2$$ as $x \to \infty$, with the growth rate given here optimal up to the dependence on $C_0$. This answers in the negative a question of Erdős and Graham, and also clarifies the nature of certain ``mostly coprime'' sets studied by Bergelson and Richter.
△ Less
Submitted 27 November, 2024; v1 submitted 4 July, 2024;
originally announced July 2024.
-
On several irrationality problems for Ahmes series
Authors:
Vjekoslav Kovač,
Terence Tao
Abstract:
Using basic tools of mathematical analysis and elementary probability theory we address several problems on the irrationality of series of distinct unit fractions, $\sum_k 1/a_k$. In particular, we study subseries of the Lambert series $\sum_k 1/(t^k-1)$ and two types of irrationality sequences $(a_k)$ introduced by Paul Erdős and Ronald Graham. Next, we address a question of Erdős, who asked how…
▽ More
Using basic tools of mathematical analysis and elementary probability theory we address several problems on the irrationality of series of distinct unit fractions, $\sum_k 1/a_k$. In particular, we study subseries of the Lambert series $\sum_k 1/(t^k-1)$ and two types of irrationality sequences $(a_k)$ introduced by Paul Erdős and Ronald Graham. Next, we address a question of Erdős, who asked how rapidly a sequence of positive integers $(a_k)$ can grow if both series $\sum_k 1/a_k$ and $\sum_k 1/(a_k+1)$ have rational sums. Our construction of double exponentially growing sequences $(a_k)$ with this property generalizes to any number $d$ of series $\sum_k 1/(a_k+j)$, $j=0,1,2,\ldots,d-1$, and, in particular, also gives a positive answer to a question of Erdős and Ernst Straus on the interior of the set of $d$-tuples of their sums. Finally, we prove the existence of a sequence $(a_k)$ such that all well-defined sums $\sum_k 1/(a_k+t)$, $t\in\mathbb{Z}$, are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.
△ Less
Submitted 27 November, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Convergence of ZH-type nonmonotone descent method for Kurdyka-Łojasiewicz optimization problems
Authors:
Yitian Qian,
Ting Tao,
Shaohua Pan,
Houduo Qi
Abstract:
We propose a novel iterative framework for minimizing a proper lower semicontinuous Kurdyka-Łojasiewicz (KL) function $Φ$. It comprises a Zhang-Hager (ZH-type) nonmonotone decrease condition and a relative error condition. Hence, the sequence generated by the ZH-type nonmonotone descent methods will fall within this framework. Any sequence conforming to this framework is proved to converge to a cr…
▽ More
We propose a novel iterative framework for minimizing a proper lower semicontinuous Kurdyka-Łojasiewicz (KL) function $Φ$. It comprises a Zhang-Hager (ZH-type) nonmonotone decrease condition and a relative error condition. Hence, the sequence generated by the ZH-type nonmonotone descent methods will fall within this framework. Any sequence conforming to this framework is proved to converge to a critical point of $Φ$. If in addition $Φ$ has the KL property of exponent $θ\!\in(0,1)$ at the critical point, the convergence has a linear rate for $θ\in(0,1/2]$ and a sublinear rate of exponent $\frac{1-θ}{1-2θ}$ for $θ\in(1/2,1)$. To the best of our knowledge, this is the first work to establish the full convergence of the iterate sequence generated by a ZH-type nonmonotone descent method for nonconvex and nonsmooth optimization problems. The obtained results are also applied to achieve the full convergence of the iterate sequences produced by the proximal gradient method and Riemannian gradient method with the ZH-type nonmonotone line-search.
△ Less
Submitted 4 December, 2024; v1 submitted 9 June, 2024;
originally announced June 2024.
-
Convergence of the majorized PAM method with subspace correction for low-rank composite factorization model
Authors:
Ting Tao,
Yitian Qian,
Shaohua Pan
Abstract:
This paper focuses on the convergence certificates of the majorized proximal alternating minimization (PAM) method with subspace correction, proposed in \cite{TaoQianPan22} for the column $\ell_{2,0}$-norm regularized factorization model and now extended to a class of low-rank composite factorization models from matrix completion. The convergence analysis of this PAM method becomes extremely chall…
▽ More
This paper focuses on the convergence certificates of the majorized proximal alternating minimization (PAM) method with subspace correction, proposed in \cite{TaoQianPan22} for the column $\ell_{2,0}$-norm regularized factorization model and now extended to a class of low-rank composite factorization models from matrix completion. The convergence analysis of this PAM method becomes extremely challenging because a subspace correction step is introduced to every proximal subproblem to ensure a closed-form solution. We establish the full convergence of the iterate sequence and column subspace sequences of factor pairs generated by the PAM, under the KL property of the objective function and a condition that holds automatically for the column $\ell_{2,0}$-norm function. Numerical comparison with the popular proximal alternating linearized minimization (PALM) method is conducted on one-bit matrix completion problems, which indicates that the PAM with subspace correction has an advantage in seeking lower relative error within less time.
△ Less
Submitted 18 April, 2025; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Long-term behavior of stochastic SIQRS epidemic models
Authors:
Alexandru Hening,
Dang H. Nguyen,
Tran Ta,
Sergiu C. Ungureanu
Abstract:
In this paper we analyze and classify the dynamics of SIQRS epidemiological models with susceptible, infected, quarantined, and recovered classes, where the recovered individuals can become reinfected. We are able to treat general incidence functional responses. Our models are more realistic than what has been studied in the literature since they include two important types of random fluctuations.…
▽ More
In this paper we analyze and classify the dynamics of SIQRS epidemiological models with susceptible, infected, quarantined, and recovered classes, where the recovered individuals can become reinfected. We are able to treat general incidence functional responses. Our models are more realistic than what has been studied in the literature since they include two important types of random fluctuations. The first type is due to small fluctuations of the various model parameters and leads to white noise terms. The second type of noise is due to significant environment regime shifts in the that can happen at random. The environment switches randomly between a finite number of environmental states, each with a possibly different disease dynamic. We prove that the long-term fate of the disease is fully determined by a real-valued threshold $λ$. When $λ< 0$ the disease goes extinct asymptotically at an exponential rate. On the other hand, if $λ> 0$ the disease will persist indefinitely. We end our analysis by looking at some important examples where $λ$ can be computed explicitly, and by showcasing some simulation results that shed light on real-world situations.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
On product representations of squares
Authors:
Terence Tao
Abstract:
Fix $k \geq 2$. For any $N \geq 1$, let $F_k(N)$ denote the cardinality of the largest subset of $\{1,\dots,N\}$ that does not contain $k$ distinct elements whose product is a square. Erdős, Sárkőzy, and Sós showed that $F_2(N) = (\frac{6}{π^2}+o(1)) N$, $F_3(N) = (1-o(1))N$, $F_k(N) \asymp N/\log N$ for even $k \geq 4$, and $F_k(N) \asymp N$ for odd $k \geq 5$. Erdős then asked whether…
▽ More
Fix $k \geq 2$. For any $N \geq 1$, let $F_k(N)$ denote the cardinality of the largest subset of $\{1,\dots,N\}$ that does not contain $k$ distinct elements whose product is a square. Erdős, Sárkőzy, and Sós showed that $F_2(N) = (\frac{6}{π^2}+o(1)) N$, $F_3(N) = (1-o(1))N$, $F_k(N) \asymp N/\log N$ for even $k \geq 4$, and $F_k(N) \asymp N$ for odd $k \geq 5$. Erdős then asked whether $F_k(N) = (1-o(1)) N$ for odd $k \geq 5$. Using a probabilistic argument, we answer this question in the negative.
△ Less
Submitted 23 October, 2024; v1 submitted 19 May, 2024;
originally announced May 2024.
-
Mahonian Statistics and Vincular Patterns on Permutations over Multisets
Authors:
Lien T. P. Ta,
Huong T. T. Tran
Abstract:
Most Mahonian statistics can be expressed as a linear combination of vincular patterns. This is not only true with statistics on the permutation set, but it can also be applied for statistics on the permutation with repetition set. By following the method extending the vincular patterns combinations presented by Kitaev and Vajnovszki, we discover 8 vincular-patterns combinations of mad and madl ex…
▽ More
Most Mahonian statistics can be expressed as a linear combination of vincular patterns. This is not only true with statistics on the permutation set, but it can also be applied for statistics on the permutation with repetition set. By following the method extending the vincular patterns combinations presented by Kitaev and Vajnovszki, we discover 8 vincular-patterns combinations of mad and madl extensions that are possible to be Mahonian. Some of these have been proved to be Mahonian on repetitive permutations by Clarke, Steingrimsson and Zeng, while the rest are new statistics extensions. In this thesis, we determine combinations of vincular pattern extension of mad and madl in Clarke, Steingrimsson and Zeng s paper, which have been proved to be Mahonian on the repetitive permutations. This result will be used to support the proof of Mahonity of the new statistics extensions. We show that these new statistics extensions are also Mahonian by constructing an involution Φ on repetitive permutations, which preserves the descents statistics and transforms new statistics extensions to Mahonian mad and madl extensions of Clarke.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Finding Product and Sum Patterns in non-commutative settings
Authors:
T. Y. Tao,
Neil N. Y. Yang
Abstract:
Hindman conjectured that any finite partition of $\mathbb{N}$ has a monochromatic $\{x,y,x+y,xy\}$. Recently, Bowen proved the result for all 2-partition. In this paper, we extend Bowen's result to any semiring $(S,+,\cdot)$ such that $Ss$ is piecewise syndetic for all $s\in S$. As a method, we gave a combinatorial proof for a piecewise syndetic version of Bergerson and Glasscock's IP$_r^*$ Szemer…
▽ More
Hindman conjectured that any finite partition of $\mathbb{N}$ has a monochromatic $\{x,y,x+y,xy\}$. Recently, Bowen proved the result for all 2-partition. In this paper, we extend Bowen's result to any semiring $(S,+,\cdot)$ such that $Ss$ is piecewise syndetic for all $s\in S$. As a method, we gave a combinatorial proof for a piecewise syndetic version of Bergerson and Glasscock's IP$_r^*$ Szemerédi Theorem, and discussed the case when the operation is not commutative.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Marton's Conjecture in abelian groups with bounded torsion
Authors:
W. T. Gowers,
Ben Green,
Freddie Manners,
Terence Tao
Abstract:
We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates…
▽ More
We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.
△ Less
Submitted 20 May, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
On a conjecture of Marton
Authors:
W. T. Gowers,
Ben Green,
Freddie Manners,
Terence Tao
Abstract:
We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.
We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.
△ Less
Submitted 12 December, 2023; v1 submitted 9 November, 2023;
originally announced November 2023.
-
A Maclaurin type inequality
Authors:
Terence Tao
Abstract:
The classical Maclaurin inequality asserts that the elementary symmetric means $$ s_k(y) = \frac{1}{\binom{n}{k}} \sum_{1 \leq i_1 < \dots < i_k \leq n} y_{i_1} \dots y_{i_k}$$ obey the inequality $s_\ell(y)^{1/\ell} \leq s_k(y)^{1/k}$ whenever $1 \leq k \leq \ell \leq n$ and $y = (y_1,\dots,y_n)$ consists of non-negative reals. We establish a variant…
▽ More
The classical Maclaurin inequality asserts that the elementary symmetric means $$ s_k(y) = \frac{1}{\binom{n}{k}} \sum_{1 \leq i_1 < \dots < i_k \leq n} y_{i_1} \dots y_{i_k}$$ obey the inequality $s_\ell(y)^{1/\ell} \leq s_k(y)^{1/k}$ whenever $1 \leq k \leq \ell \leq n$ and $y = (y_1,\dots,y_n)$ consists of non-negative reals. We establish a variant $$ |s_\ell(y)|^{\frac{1}{\ell}} \ll \frac{\ell^{1/2}}{k^{1/2}} \max (|s_k(y)|^{\frac{1}{k}}, |s_{k+1}(y)|^{\frac{1}{k+1}})$$ of this inequality in which the $y_i$ are permitted to be negative. In this regime the inequality is sharp up to constants. Such an inequality was previously known without the $k^{1/2}$ factor in the denominator.
△ Less
Submitted 21 November, 2023; v1 submitted 8 October, 2023;
originally announced October 2023.
-
Undecidability of translational monotilings
Authors:
Rachel Greenfeld,
Terence Tao
Abstract:
In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently d…
▽ More
In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2\times G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.
△ Less
Submitted 24 October, 2023; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Monotone non-decreasing sequences of the Euler totient function
Authors:
Terence Tao
Abstract:
Let $M(x)$ denote the largest cardinality of a subset of $\{n \in \mathbf{N}: n \leq x\}$ on which the Euler totient function $\varphi(n)$ is non-decreasing. We show that $M(x) = (1+O(\frac{(\log\log x)^5}{\log x})) π(x)$ for all $x \geq 10$, answering questions of Erdős and Pollack--Pomerance--Treviño. A similar result is also obtained for the sum of divisors function $σ(n)$.
Let $M(x)$ denote the largest cardinality of a subset of $\{n \in \mathbf{N}: n \leq x\}$ on which the Euler totient function $\varphi(n)$ is non-decreasing. We show that $M(x) = (1+O(\frac{(\log\log x)^5}{\log x})) π(x)$ for all $x \geq 10$, answering questions of Erdős and Pollack--Pomerance--Treviño. A similar result is also obtained for the sum of divisors function $σ(n)$.
△ Less
Submitted 5 April, 2024; v1 submitted 5 September, 2023;
originally announced September 2023.
-
A lower bound on the mean value of the Erdős-Hooley Delta function
Authors:
Kevin Ford,
Dimitris Koukoulopoulos,
Terence Tao
Abstract:
We give an improved lower bound for the average of the Erdős-Hooley function $Δ(n)$, namely $\sum_{n\le x} Δ(n) \gg_\varepsilon x(\log\log x)^{1+η-\varepsilon}$ for all $x\geqslant100$ and any fixed $\varepsilon$, where $η= 0.3533227\dots$ is an exponent previously appearing in work of Green and the first two authors. This improves on a previous lower bound of $\gg x \log\log x$ of Hall and Tenenb…
▽ More
We give an improved lower bound for the average of the Erdős-Hooley function $Δ(n)$, namely $\sum_{n\le x} Δ(n) \gg_\varepsilon x(\log\log x)^{1+η-\varepsilon}$ for all $x\geqslant100$ and any fixed $\varepsilon$, where $η= 0.3533227\dots$ is an exponent previously appearing in work of Green and the first two authors. This improves on a previous lower bound of $\gg x \log\log x$ of Hall and Tenenbaum, and can be compared to the recent upper bound of $x (\log\log x)^{11/4}$ of the second and third authors.
△ Less
Submitted 22 May, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
The convergence of an alternating series of Erdős, assuming the Hardy--Littlewood prime tuples conjecture
Authors:
Terence Tao
Abstract:
It is an open question of Erdős as to whether the alternating series $\sum_{n=1}^\infty \frac{(-1)^n n}{p_n}$ is (conditionally) convergent, where $p_n$ denotes the $n^{\mathrm{th}}$ prime. By using a random sifted model of the primes recently introduced by Banks, Ford, and the author, as well as variants of a well known calculation of Gallagher, we show that the answer to this question is affirma…
▽ More
It is an open question of Erdős as to whether the alternating series $\sum_{n=1}^\infty \frac{(-1)^n n}{p_n}$ is (conditionally) convergent, where $p_n$ denotes the $n^{\mathrm{th}}$ prime. By using a random sifted model of the primes recently introduced by Banks, Ford, and the author, as well as variants of a well known calculation of Gallagher, we show that the answer to this question is affirmative assuming a suitably strong version of the Hardy--Littlewood prime tuples conjecture.
△ Less
Submitted 23 August, 2023; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Adjoint Brascamp-Lieb inequalities
Authors:
Jonathan Bennett,
Terence Tao
Abstract:
The Brascamp-Lieb inequalities are a generalization of the Hölder, Loomis-Whitney, Young, and Finner inequalities that have found many applications in harmonic analysis and elsewhere. In this paper we introduce an "adjoint" version of these inequalities, which can be viewed as an $L^p$ version of the entropy Brascamp-Lieb inequalities of Carlen and Cordero-Erausquin. As applications, we reprove a…
▽ More
The Brascamp-Lieb inequalities are a generalization of the Hölder, Loomis-Whitney, Young, and Finner inequalities that have found many applications in harmonic analysis and elsewhere. In this paper we introduce an "adjoint" version of these inequalities, which can be viewed as an $L^p$ version of the entropy Brascamp-Lieb inequalities of Carlen and Cordero-Erausquin. As applications, we reprove a log-convexity property of the Gowers uniformity norms, and establish some reverse $L^p$ inequalities for various tomographic transforms. We conclude with some open questions.
△ Less
Submitted 14 July, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Sumsets and entropy revisited
Authors:
Ben Green,
Freddie Manners,
Terence Tao
Abstract:
The entropic doubling $σ_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $σ[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism.
In this paper we develop further the theory of entropic doubling and give various applications,…
▽ More
The entropic doubling $σ_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $σ[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism.
In this paper we develop further the theory of entropic doubling and give various applications, including:
(1) A new proof of a result of Pálvölgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling;
(2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling;
(3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.
△ Less
Submitted 4 September, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Sums of GUE matrices and concentration of hives from correlation decay of eigengaps
Authors:
Hariharan Narayanan,
Scott Sheffield,
Terence Tao
Abstract:
Associated to two given sequences of eigenvalues $λ_1 \geq \dots \geq λ_n$ and $μ_1 \geq \dots \geq μ_n$ is a natural polytope, the polytope of augmented hives with the specified boundary data, which is associated to sums of random Hermitian matrices with these eigenvalues. As a first step towards the asymptotic analysis of random hives, we show that if the eigenvalues are drawn from the GUE ensem…
▽ More
Associated to two given sequences of eigenvalues $λ_1 \geq \dots \geq λ_n$ and $μ_1 \geq \dots \geq μ_n$ is a natural polytope, the polytope of augmented hives with the specified boundary data, which is associated to sums of random Hermitian matrices with these eigenvalues. As a first step towards the asymptotic analysis of random hives, we show that if the eigenvalues are drawn from the GUE ensemble, then the associated augmented hives exhibit concentration as $n \rightarrow \infty$. Our main ingredients include a representation due to Speyer of augmented hives involving a supremum of linear functions applied to a product of Gelfand--Tsetlin polytopes; known results by Klartag on the KLS conjecture in order to handle the aforementioned supremum; covariance bounds of Cipolloni--Erdős--Schröder of eigenvalue gaps of GUE; and the use of the theory of determinantal processes to analyze the GUE minor process.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Dynamics of infectious diseases in predator-prey populations: a stochastic model, sustainability, and invariant measure
Authors:
Yujie Gao,
Malay Banerjee,
Ton Viet Ta
Abstract:
This paper introduces an innovative model for infectious diseases in predator-prey populations. We not only prove the existence of global non-negative solutions but also establish essential criteria for the system's decline and sustainability. Furthermore, we demonstrate the presence of a Borel invariant measure, adding a new dimension to our understanding of the system. To illustrate the practica…
▽ More
This paper introduces an innovative model for infectious diseases in predator-prey populations. We not only prove the existence of global non-negative solutions but also establish essential criteria for the system's decline and sustainability. Furthermore, we demonstrate the presence of a Borel invariant measure, adding a new dimension to our understanding of the system. To illustrate the practical implications of our findings, we present numerical results. With our model's comprehensive approach, we aim to provide valuable insights into the dynamics of infectious diseases and their impact on predator-prey populations.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
An upper bound on the mean value of the Erdős-Hooley Delta function
Authors:
Dimitris Koukoulopoulos,
Terence Tao
Abstract:
The Erdős-Hooley Delta function is defined for $n\in\mathbb{N}$ as $Δ(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} Δ(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on earlier work of Hooley, Hall--Tenenbaum and La Bretèche-Tenenbaum.
The Erdős-Hooley Delta function is defined for $n\in\mathbb{N}$ as $Δ(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} Δ(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on earlier work of Hooley, Hall--Tenenbaum and La Bretèche-Tenenbaum.
△ Less
Submitted 8 November, 2023; v1 submitted 14 June, 2023;
originally announced June 2023.
-
An inexact LPA for DC composite optimization and application to matrix completions with outliers
Authors:
Ting Tao,
Ruyu Liu,
Shaohua Pan
Abstract:
This paper concerns a class of DC composite optimization problems which, as an extension of convex composite optimization problems and DC programs with nonsmooth components, often arises in robust factorization models of low-rank matrix recovery. For this class of nonconvex and nonsmooth problems, we propose an inexact linearized proximal algorithm (iLPA) by computing in each step an inexact minim…
▽ More
This paper concerns a class of DC composite optimization problems which, as an extension of convex composite optimization problems and DC programs with nonsmooth components, often arises in robust factorization models of low-rank matrix recovery. For this class of nonconvex and nonsmooth problems, we propose an inexact linearized proximal algorithm (iLPA) by computing in each step an inexact minimizer of a strongly convex majorization constructed with a partial linearization of their objective functions at the current iterate, and establish the convergence of the generated iterate sequence under the Kurdyka-Łöjasiewicz (KL) property of a potential function. In particular, by leveraging the composite structure, we provide a verifiable condition for the potential function to have the KL property of exponent $1/2$ at the limit point, so for the iterate sequence to have a local R-linear convergence rate. Finally, we apply the proposed iLPA to a robust factorization model for matrix completions with outliers and non-uniform sampling, and numerical comparison with a proximal alternating minimization (PAM) method confirms iLPA yields the comparable relative errors or NMAEs within less running time, especially for large-scale real data.
△ Less
Submitted 7 June, 2024; v1 submitted 29 March, 2023;
originally announced March 2023.
-
The nonrepetitive colorings of grids
Authors:
Tianyi Tao
Abstract:
For a graph $G$, a vertex coloring $f$ is called nonrepetitive if for all $k\in\mathbb N$ and all $P_{2k}=\langle v_1, \cdots, v_k,v_{k+1}, \cdots, v_{2k}\rangle$ (path of $2k$ vertices) in $G$, there must be some $1\le i\le k$ such that $f(v_i)\not=f(v_{k+i})$. We use $π(G)$ to denote the minimum number of colors required for $G$ to be nonrepetitively colored. In 1906, Thue proved that…
▽ More
For a graph $G$, a vertex coloring $f$ is called nonrepetitive if for all $k\in\mathbb N$ and all $P_{2k}=\langle v_1, \cdots, v_k,v_{k+1}, \cdots, v_{2k}\rangle$ (path of $2k$ vertices) in $G$, there must be some $1\le i\le k$ such that $f(v_i)\not=f(v_{k+i})$. We use $π(G)$ to denote the minimum number of colors required for $G$ to be nonrepetitively colored. In 1906, Thue proved that $π(P_n)\le3$ for all $n$. In this paper, we focus on grids, which are the Cartesian products of paths. We prove that $5\leπ(P_n\square P_n)\le12$ for sufficiently large $n$, where the previous best lower bound was 4 and upper bound was 16. Moreover, we also discuss nonrepetitive coloring of the Cartesian product of complete graphs.
△ Less
Submitted 19 August, 2024; v1 submitted 28 March, 2023;
originally announced March 2023.
-
The structure of totally disconnected Host--Kra--Ziegler factors, and the inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion
Authors:
Asgar Jamneshan,
Or Shalom,
Terence Tao
Abstract:
Let $Γ$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},μ,T)$ be an ergodic $Γ$-system of order $k$ in the sense of Host--Kra--Ziegler. The $Γ$-system $\mathrm{X}$ is said to be totally disconnected if all its structure groups are totally disconnected. We show that any totally disconnected $Γ$-system of order $k$ is a generalized factor of a $\mathbb{Z}^ω$-system wi…
▽ More
Let $Γ$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},μ,T)$ be an ergodic $Γ$-system of order $k$ in the sense of Host--Kra--Ziegler. The $Γ$-system $\mathrm{X}$ is said to be totally disconnected if all its structure groups are totally disconnected. We show that any totally disconnected $Γ$-system of order $k$ is a generalized factor of a $\mathbb{Z}^ω$-system with the structure of a Weyl system. As a consequence of this structure theorem, we show that totally disconnected $Γ$-systems of order $k$ are represented by translations on double cosets of nilpotent Polish groups. By a correspondence principle of two of us, we can use this representation to establish a (weak) inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
A Host--Kra ${\mathbf F}_2^ω$-system of order $5$ that is not Abramov of order $5$, and non-measurability of the inverse theorem for the $U^6({\mathbf F}_2^n)$ norm
Authors:
Asgar Jamneshan,
Or Shalom,
Terence Tao
Abstract:
It was conjectured by Bergelson, Tao, and Ziegler that every Host--Kra ${\mathbf F}_p^ω$-system of order $k$ is an Abramov system of order $k$. This conjecture has been verified for $k \leq p+1$. In this paper we show that the conjecture fails when $k=5, p=2$. We in fact establish a stronger (combinatorial) statement, in that we produce a bounded function $f: {\mathbf F}_2^n \to {\mathbf C}$ of la…
▽ More
It was conjectured by Bergelson, Tao, and Ziegler that every Host--Kra ${\mathbf F}_p^ω$-system of order $k$ is an Abramov system of order $k$. This conjecture has been verified for $k \leq p+1$. In this paper we show that the conjecture fails when $k=5, p=2$. We in fact establish a stronger (combinatorial) statement, in that we produce a bounded function $f: {\mathbf F}_2^n \to {\mathbf C}$ of large Gowers norm $\|f\|_{U^6({\mathbf F}_2^n)}$ which (as per the inverse theorem for that norm) correlates with a non-classical quintic phase polynomial $e(P)$, but with the property that all such phase polynomials $e(P)$ are ``non-measurable'' in the sense that they cannot be well approximated by functions of a bounded number of random translates of $f$.
△ Less
Submitted 30 August, 2024; v1 submitted 8 March, 2023;
originally announced March 2023.
-
A Geometrical Structure for Predator-Avoidance Fish Schooling
Authors:
Aditya Dewanto Hartono,
Ton Viet Ta,
Linh Thi Hoai Nguyen
Abstract:
This paper conducts a numerical study of a geometrical structure called $ε$-school for predator-avoidance fish schools, based on our previous mathematical model. Our results show that during a predator attack, the number of $ε$-school increases from one to a certain value. After the attack, the number of $ε$-school decreases in the first two predator-avoidance patterns, but continues to increase i…
▽ More
This paper conducts a numerical study of a geometrical structure called $ε$-school for predator-avoidance fish schools, based on our previous mathematical model. Our results show that during a predator attack, the number of $ε$-school increases from one to a certain value. After the attack, the number of $ε$-school decreases in the first two predator-avoidance patterns, but continues to increase in the third pattern. A constant value for the number of the $ε$-school is observed in the last pattern. These suggests that when the predator is approaching, each individual in the school focuses more on avoiding the predator, rather than on interacting with its schoolmates. Such a trait is in agreement with real-life behavior in the natural ecosystem.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Infinite partial sumsets in the primes
Authors:
Terence Tao,
Tamar Ziegler
Abstract:
We show that there exist infinite sets $A = \{a_1,a_2,\dots\}$ and $B = \{b_1,b_2,\dots\}$ of natural numbers such that $a_i+b_j$ is prime whenever $1 \leq i < j$.
We show that there exist infinite sets $A = \{a_1,a_2,\dots\}$ and $B = \{b_1,b_2,\dots\}$ of natural numbers such that $a_i+b_j$ is prime whenever $1 \leq i < j$.
△ Less
Submitted 27 January, 2024; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Joint spectrum shrinking maps on projections
Authors:
Wenhua Qian,
Dandan Xiao,
Tanghong Tao,
Wenming Wu,
Xin Yi
Abstract:
Let $\mathcal H$ be a finite dimensional complex Hilbert space with dimension $n \ge 3$ and $\mathcal P(\mathcal H)$ the set of projections on $\mathcal H$. Let $\varphi: \mathcal P(\mathcal H) \to \mathcal P(\mathcal H)$ be a surjective map. We show that $\varphi$ shrinks the joint spectrum of any two projections if and only if it is joint spectrum preserving for any two projections and thus is i…
▽ More
Let $\mathcal H$ be a finite dimensional complex Hilbert space with dimension $n \ge 3$ and $\mathcal P(\mathcal H)$ the set of projections on $\mathcal H$. Let $\varphi: \mathcal P(\mathcal H) \to \mathcal P(\mathcal H)$ be a surjective map. We show that $\varphi$ shrinks the joint spectrum of any two projections if and only if it is joint spectrum preserving for any two projections and thus is induced by a ring automorphism on $\mathbb C$ in a particular way. In addition, for an arbitrary $k \ge 3$, $\varphi$ shrinks the joint spectrum of any $k$ projections if and only if it is induced by a unitary or an anti-unitary. Assume that $φ$ is a surjective map on the Grassmann space of rank one projections. We show that $φ$ is joint spectrum preserving for any $n$ rank one projections if and only if it can be extended to a surjective map on $\mathcal P(\mathcal{H})$ which is spectrum preserving for any two projections. Moreover, for any $k >n$, $φ$ is joint spectrum shrinking for any $k$ rank one projections if and only if it is induced by a unitary or an anti-unitary.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
A counterexample to the periodic tiling conjecture
Authors:
Rachel Greenfeld,
Terence Tao
Abstract:
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R}^d$. In fact, we also obtain a counterexample in a group of the form…
▽ More
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R}^d$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z}^2 \times G_0$ for some finite abelian $2$-group $G_0$. Our methods rely on encoding a "Sudoku puzzle" whose rows and other non-horizontal lines are constrained to lie in a certain class of "$2$-adically structured functions," in terms of certain functional equations that can be encoded in turn as a single tiling equation, and then demonstrating that solutions to this Sudoku puzzle exist, but are all non-periodic.
△ Less
Submitted 8 September, 2024; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Near-optimal Approaches for Binary-Continuous Sum-of-ratios Optimization
Authors:
Hoang Giang Pham,
Ngan Ha Duong,
Tien Mai,
Thuy Anh Ta
Abstract:
In this paper, we investigate a class of non-convex sum-of-ratios programs relevant to decision-making in key areas such as product assortment and pricing, facility location and cost planning, and security games. These optimization problems, characterized by both continuous and binary decision variables, are highly non-convex and challenging to solve. To the best of our knowledge, no existing meth…
▽ More
In this paper, we investigate a class of non-convex sum-of-ratios programs relevant to decision-making in key areas such as product assortment and pricing, facility location and cost planning, and security games. These optimization problems, characterized by both continuous and binary decision variables, are highly non-convex and challenging to solve. To the best of our knowledge, no existing methods can efficiently solve these problems to near-optimality with arbitrary precision. To address this challenge, we explore a piecewise linear approximation approach that enables the approximation of complex nonlinear components of the objective function as linear functions. We then demonstrate that the approximated problem can be reformulated as a mixed-integer linear program, a second-order cone program, or a bilinear program, all of which can be solved to optimality using off-the-shelf solvers like CPLEX or GUROBI. Additionally, we provide theoretical bounds on the approximation errors associated with the solutions derived from the approximated problem. We illustrate the applicability of our approach to competitive joint facility location and cost optimization, as well as product assortment and pricing problems. Extensive experiments on instances of varying sizes are conducted to assess the efficiency of our method.
△ Less
Submitted 17 October, 2024; v1 submitted 3 November, 2022;
originally announced November 2022.
-
A Stochastic Differential Equation Model for Predator-Avoidance Fish Schooling
Authors:
Aditya Dewanto Hartono,
Linh Thi Hoai Nguyen,
Ton Viet Ta
Abstract:
This paper presents a system of stochastic differential equations (SDEs) as mathematical model to describe the spatial-temporal dynamics of predator-prey system in an artificial aquatic environment with schooling behavior imposed upon the associated prey. The proposed model follows the particle-like approach where interactions among the associated units are manifested through combination of attrac…
▽ More
This paper presents a system of stochastic differential equations (SDEs) as mathematical model to describe the spatial-temporal dynamics of predator-prey system in an artificial aquatic environment with schooling behavior imposed upon the associated prey. The proposed model follows the particle-like approach where interactions among the associated units are manifested through combination of attractive and repulsive forces analogous to the ones occurred in molecular physics. Two hunting tactics of the predator are proposed and integrated into the general model, namely the center-attacking and the nearest-attacking strategy. Emphasis is placed upon demonstrating the capacity of the proposed model in: (i) discovering the predator-avoidance patterns of the schooling prey, and (ii) showing the benefit of constituting large prey school in better escaping the predator's attack. Based on numerical simulations upon the proposed model, four predator-avoidance patterns of the schooling prey are discovered, namely Split and Reunion, Split and Separate into Two Groups, Scattered, and Maintain Formation and Distance. The proposed model also successfully demonstrates the benefit of constituting large group of schooling prey in mitigating predation risk. Such findings are in agreement with real-life observations of the natural aquatic ecosystem, hence confirming the validity and exactitude of the proposed model.
△ Less
Submitted 8 October, 2022;
originally announced October 2022.
-
A counterexample to the periodic tiling conjecture (announcement)
Authors:
Rachel Greenfeld,
Terence Tao
Abstract:
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R^d}$. In fact, we also obtain a counterexample in a group of the form…
▽ More
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R^d}$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z^2} \times G_0$ for some finite abelian $G_0$. Our methods rely on encoding a certain class of "$p$-adically structured functions" in terms of certain functional equations.
△ Less
Submitted 17 September, 2022;
originally announced September 2022.
-
Joint Location and Cost Planning in Maximum Capture Facility Location under Multiplicative Random Utility Maximization
Authors:
Ngan Ha Duong,
Tien Thanh Dam,
Thuy Anh Ta,
Tien Mai
Abstract:
We study a joint facility location and cost planning problem in a competitive market under random utility maximization (RUM) models. The objective is to locate new facilities and make decisions on the costs (or budgets) to spend on the new facilities, aiming to maximize an expected captured customer demand, assuming that customers choose a facility among all available facilities according to a RUM…
▽ More
We study a joint facility location and cost planning problem in a competitive market under random utility maximization (RUM) models. The objective is to locate new facilities and make decisions on the costs (or budgets) to spend on the new facilities, aiming to maximize an expected captured customer demand, assuming that customers choose a facility among all available facilities according to a RUM model. We examine two RUM frameworks in the discrete choice literature, namely, the additive and multiplicative RUM. While the former has been widely used in facility location problems, we are the first to explore the latter in the context. We numerically show that the two RUM frameworks can well approximate each other in the context of the cost optimization problem. In addition, we show that, under the additive RUM framework, the resultant cost optimization problem becomes highly non-convex and may have several local optima. In contrast, the use of the multiplicative RUM brings several advantages to the competitive facility location problem. For instance, the cost optimization problem under the multiplicative RUM can be solved efficiently by a general convex optimization solver or can be reformulated as a conic quadratic program and handled by a conic solver available in some off-the-shelf solvers such as CPLEX or GUROBI. Furthermore, we consider a joint location and cost optimization problem under the multiplicative RUM and propose three approaches to solve the problem, namely, an equivalent conic reformulation, a multi-cut outer-approximation algorithm, and a local search heuristic. We provide numerical experiments based on synthetic instances of various sizes to evaluate the performances of the proposed algorithms in solving the cost optimization, and the joint location and cost optimization problems.
△ Less
Submitted 11 February, 2023; v1 submitted 15 May, 2022;
originally announced May 2022.
