-
On monochromatic solutions to linear equations over the integers
Authors:
Dingding Dong,
Nitya Mani,
Huy Tuan Pham,
Jonathan Tidor
Abstract:
We study the number of monochromatic solutions to linear equations in a $2$-coloring of $\{1,\ldots,n\}$. We show that any nontrivial linear equation has a constant fraction of solutions that are monochromatic in any $2$-coloring of $\{1,\ldots,n\}$. We further study commonness of four-term equations and disprove a conjecture of Costello and Elvin by showing that, unlike over $\mathbb{F}_p$, the f…
▽ More
We study the number of monochromatic solutions to linear equations in a $2$-coloring of $\{1,\ldots,n\}$. We show that any nontrivial linear equation has a constant fraction of solutions that are monochromatic in any $2$-coloring of $\{1,\ldots,n\}$. We further study commonness of four-term equations and disprove a conjecture of Costello and Elvin by showing that, unlike over $\mathbb{F}_p$, the four-term equation $x_1 + 2x_2 - x_3 - 2x_4 = 0$ is uncommon over $\{1,\ldots,n\}$.
△ Less
Submitted 27 October, 2024; v1 submitted 17 October, 2024;
originally announced October 2024.
-
More unit distances in arbitrary norms
Authors:
Josef Greilhuber,
Carl Schildkraut,
Jonathan Tidor
Abstract:
For $d\geq 2$ and any norm on $\mathbb R^d$, we prove that there exists a set of $n$ points that spans at least $(\tfrac d2-o(1))n\log_2n$ unit distances under this norm for every $n$. This matches the upper bound recently proved by Alon, Bucić, and Sauermann for typical norms (i.e., norms lying in a comeagre set). We also show that for $d\geq 3$ and a typical norm on $\mathbb R^d$, the unit dista…
▽ More
For $d\geq 2$ and any norm on $\mathbb R^d$, we prove that there exists a set of $n$ points that spans at least $(\tfrac d2-o(1))n\log_2n$ unit distances under this norm for every $n$. This matches the upper bound recently proved by Alon, Bucić, and Sauermann for typical norms (i.e., norms lying in a comeagre set). We also show that for $d\geq 3$ and a typical norm on $\mathbb R^d$, the unit distance graph of this norm contains a copy of $K_{d,m}$ for all $m$.
△ Less
Submitted 16 June, 2025; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
Authors:
Jonathan Tidor,
Hung-Hsun Hans Yu
Abstract:
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homoge…
▽ More
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal.
From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial.
All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz.
We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.
△ Less
Submitted 4 November, 2024; v1 submitted 29 July, 2024;
originally announced July 2024.
-
Ramsey and Turán numbers of sparse hypergraphs
Authors:
Jacob Fox,
Maya Sankar,
Michael Simkin,
Jonathan Tidor,
Yunkun Zhou
Abstract:
Degeneracy plays an important role in understanding Turán- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$-uniform hypergraph as the degeneracy of its $1$-skeleton (i.e., the graph formed by replacing every $k$-edge by a $k$-clique). We prove that skeletal degene…
▽ More
Degeneracy plays an important role in understanding Turán- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$-uniform hypergraph as the degeneracy of its $1$-skeleton (i.e., the graph formed by replacing every $k$-edge by a $k$-clique). We prove that skeletal degeneracy controls hypergraph Turán and Ramsey numbers in a similar manner to (graphical) degeneracy.
Specifically, we show that $k$-uniform hypergraphs with bounded skeletal degeneracy have linear Ramsey number. This is the hypergraph analogue of the Burr-Erdős conjecture (proved by Lee). In addition, we give upper and lower bounds of the same shape for the Turán number of a $k$-uniform $k$-partite hypergraph in terms of its skeletal degeneracy. The proofs of both results use the technique of dependent random choice. In addition, the proof of our Ramsey result uses the `random greedy process' introduced by Lee in his resolution of the Burr-Erdős conjecture.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Triangle Ramsey numbers of complete graphs
Authors:
Jacob Fox,
Jonathan Tidor,
Shengtong Zhang
Abstract:
A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$, denoted by $r_F(H)$, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}{3}\] for all sufficiently l…
▽ More
A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$, denoted by $r_F(H)$, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}{3}\] for all sufficiently large $t$. We do so through a result on graph coloring: there exists an absolute constant $K$ such that every $r$-chromatic graph where every edge is contained in at least $K$ triangles must contain at least $\binom{r}{3}$ triangles in total.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Uniform sets with few progressions via colorings
Authors:
Mingyang Deng,
Jonathan Tidor,
Yufei Zhao
Abstract:
Ruzsa asked whether there exist Fourier-uniform subsets of $\mathbb Z/N\mathbb Z$ with density $α$ and 4-term arithmetic progression (4-AP) density at most $α^C$, for arbitrarily large $C$. Gowers constructed Fourier uniform sets with density $α$ and 4-AP density at most $α^{4+c}$ for some small constant $c>0$. We show that an affirmative answer to Ruzsa's question would follow from the existence…
▽ More
Ruzsa asked whether there exist Fourier-uniform subsets of $\mathbb Z/N\mathbb Z$ with density $α$ and 4-term arithmetic progression (4-AP) density at most $α^C$, for arbitrarily large $C$. Gowers constructed Fourier uniform sets with density $α$ and 4-AP density at most $α^{4+c}$ for some small constant $c>0$. We show that an affirmative answer to Ruzsa's question would follow from the existence of an $N^{o(1)}$-coloring of $[N]$ without symmetrically colored 4-APs. For a broad and natural class of constructions of Fourier-uniform subsets of $\mathbb Z/N\mathbb Z$, we show that Ruzsa's question is equivalent to our arithmetic Ramsey question.
We prove analogous results for all even-length APs. For each odd $k\geq 5$, we show that there exist $U^{k-2}$-uniform subsets of $\mathbb Z/N\mathbb Z$ with density $α$ and $k$-AP density at most $α^{c_k \log(1/α)}$. We also prove generalizations to arbitrary one-dimensional patterns.
△ Less
Submitted 15 May, 2025; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Cubic Goldreich-Levin
Authors:
Dain Kim,
Anqi Li,
Jonathan Tidor
Abstract:
In this paper, we give a cubic Goldreich-Levin algorithm which makes polynomially-many queries to a function $f \colon \mathbb F_p^n \to \mathbb C$ and produces a decomposition of $f$ as a sum of cubic phases and a small error term. This is a natural higher-order generalization of the classical Goldreich-Levin algorithm. The classical (linear) Goldreich-Levin algorithm has wide-ranging application…
▽ More
In this paper, we give a cubic Goldreich-Levin algorithm which makes polynomially-many queries to a function $f \colon \mathbb F_p^n \to \mathbb C$ and produces a decomposition of $f$ as a sum of cubic phases and a small error term. This is a natural higher-order generalization of the classical Goldreich-Levin algorithm. The classical (linear) Goldreich-Levin algorithm has wide-ranging applications in learning theory, coding theory and the construction of pseudorandom generators in cryptography, as well as being closely related to Fourier analysis. Higher-order Goldreich-Levin algorithms on the other hand involve central problems in higher-order Fourier analysis, namely the inverse theory of the Gowers $U^k$ norms, which are well-studied in additive combinatorics. The only known result in this direction prior to this work is the quadratic Goldreich-Levin theorem, proved by Tulsiani and Wolf in 2011. The main step of their result involves an algorithmic version of the $U^3$ inverse theorem. More complications appear in the inverse theory of the $U^4$ and higher norms. Our cubic Goldreich-Levin algorithm is based on algorithmizing recent work by Gowers and Milićević who proved new quantitative bounds for the $U^4$ inverse theorem.
Our cubic Goldreich-Levin algorithm is constructed from two main tools: an algorithmic $U^4$ inverse theorem and an arithmetic decomposition result in the style of the Frieze-Kannan graph regularity lemma. As one application of our main theorem we solve the problem of self-correction for cubic Reed-Muller codes beyond the list decoding radius. Additionally we give a purely combinatorial result: an improvement of the quantitative bounds on the $U^4$ inverse theorem.
△ Less
Submitted 17 November, 2022; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Quantitative bounds for the $U^4$-inverse theorem over low characteristic finite fields
Authors:
Jonathan Tidor
Abstract:
This paper gives the first quantitative bounds for the inverse theorem for the Gowers $U^4$-norm over $\mathbb{F}_p^n$ when $p=2,3$. We build upon earlier work of Gowers and Milićević who solved the corresponding problem for $p\geq 5$. Our proof has two main steps: symmetrization and integration of low-characteristic trilinear forms. We are able to solve the integration problem for all $k$-linear…
▽ More
This paper gives the first quantitative bounds for the inverse theorem for the Gowers $U^4$-norm over $\mathbb{F}_p^n$ when $p=2,3$. We build upon earlier work of Gowers and Milićević who solved the corresponding problem for $p\geq 5$. Our proof has two main steps: symmetrization and integration of low-characteristic trilinear forms. We are able to solve the integration problem for all $k$-linear forms, but the symmetrization problem we are only able to solve for trilinear forms. We pose several open problems about symmetrization of low-characteristic $k$-linear forms whose resolution, combined with recent work of Gowers and Milićević, would give quantitative bounds for the inverse theorem for the Gowers $U^{k+1}$-norm over $\mathbb{F}_p^n$ for all $k,p$.
△ Less
Submitted 27 October, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Non-classical polynomials and the inverse theorem
Authors:
Aaron Berger,
Ashwin Sah,
Mehtaab Sawhney,
Jonathan Tidor
Abstract:
In this note we characterize when non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm. We give a brief deduction of the fact that a bounded function on $\mathbb F_p^n$ with large $U^k$-norm must correlate with a classical polynomial when $k\leq p+1$. To the best of our knowledge, this result is new for $k=p+1$ (when $p>2$). We then prove that non-classical poly…
▽ More
In this note we characterize when non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm. We give a brief deduction of the fact that a bounded function on $\mathbb F_p^n$ with large $U^k$-norm must correlate with a classical polynomial when $k\leq p+1$. To the best of our knowledge, this result is new for $k=p+1$ (when $p>2$). We then prove that non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm over $\mathbb F_p^n$ for all $k\geq p+2$, completely characterizing when classical polynomials suffice.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Popular differences for matrix patterns
Authors:
Aaron Berger,
Ashwin Sah,
Mehtaab Sawhney,
Jonathan Tidor
Abstract:
The following combinatorial conjecture arises naturally from recent ergodic-theoretic work of Ackelsberg, Bergelson, and Best. Let $M_1$, $M_2$ be $k\times k$ integer matrices, $G$ be a finite abelian group of order $N$, and $A\subseteq G^k$ with $|A|\geαN^k$. If $M_1$, $M_2$, $M_1-M_2$, and $M_1+M_2$ are automorphisms of $G^k$, is it true that there exists a popular difference…
▽ More
The following combinatorial conjecture arises naturally from recent ergodic-theoretic work of Ackelsberg, Bergelson, and Best. Let $M_1$, $M_2$ be $k\times k$ integer matrices, $G$ be a finite abelian group of order $N$, and $A\subseteq G^k$ with $|A|\geαN^k$. If $M_1$, $M_2$, $M_1-M_2$, and $M_1+M_2$ are automorphisms of $G^k$, is it true that there exists a popular difference $d \in G^k\setminus\{0\}$ such that \[\#\{x \in G^k: x, x+M_1d, x+M_2d, x+(M_1+M_2)d \in A\} \ge (α^4-o(1))N^k.\] We show that this conjecture is false in general, but holds for $G = \mathbb{F}_p^n$ with $p$ an odd prime given the additional spectral condition that no pair of eigenvalues of $M_1M_2^{-1}$ (over $\overline{\mathbb{F}}_p$) are negatives of each other. In particular, the "rotated squares" pattern does not satisfy this eigenvalue condition, and we give a construction of a set of positive density in $(\mathbb{F}_5^n)^2$ for which that pattern has no nonzero popular difference. This is in surprising contrast to three-point patterns, which we handle over all compact abelian groups and which do not require an additional spectral condition.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost
Authors:
Aaron Berger,
William Kuszmaul,
Adam Polak,
Jonathan Tidor,
Nicole Wein
Abstract:
We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of $w$ workers and a multiset $T \subseteq[t]$ of $|T|=w$ tasks, a memoryless worker-task assignment function is any function $φ$ that assigns the workers $[w]$ to the tasks $T$ based only on the current value of $T$. The assignment function $φ$ is said to have switching cost at most…
▽ More
We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of $w$ workers and a multiset $T \subseteq[t]$ of $|T|=w$ tasks, a memoryless worker-task assignment function is any function $φ$ that assigns the workers $[w]$ to the tasks $T$ based only on the current value of $T$. The assignment function $φ$ is said to have switching cost at most $k$ if, for every task multiset $T$, changing the contents of $T$ by one task changes $φ(T)$ by at most $k$ worker assignments. The goal of memoryless worker task assignment is to construct an assignment function with the smallest possible switching cost.
In past work, the problem of determining the optimal switching cost has been posed as an open question. There are no known sub-linear upper bounds, and after considerable effort, the best known lower bound remains 4 (ICALP 2020).
We show that it is possible to achieve polylogarithmic switching cost. We give a construction via the probabilistic method that achieves switching cost $O(\log w \log (wt))$ and an explicit construction that achieves switching cost $\operatorname{polylog} (wt)$. We also prove a super-constant lower bound on switching cost: we show that for any value of $w$, there exists a value of $t$ for which the optimal switching cost is $w$. Thus it is not possible to achieve a switching cost that is sublinear strictly as a function of $w$.
Finally, we present an application of the worker-task assignment problem to a metric embeddings problem. In particular, we use our results to give the first low-distortion embedding from sparse binary vectors into low-dimensional Hamming space.
△ Less
Submitted 28 April, 2022; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Joints of varieties
Authors:
Jonathan Tidor,
Hung-Hsun Hans Yu,
Yufei Zhao
Abstract:
We generalize the Guth--Katz joints theorem from lines to varieties. A special case says that $N$ planes (2-flats) in 6 dimensions (over any field) have $O(N^{3/2})$ joints, where a joint is a point contained in a triple of these planes not all lying in some hyperplane. More generally, we prove the same bound when the set of $N$ planes is replaced by a set of 2-dimensional algebraic varieties of t…
▽ More
We generalize the Guth--Katz joints theorem from lines to varieties. A special case says that $N$ planes (2-flats) in 6 dimensions (over any field) have $O(N^{3/2})$ joints, where a joint is a point contained in a triple of these planes not all lying in some hyperplane. More generally, we prove the same bound when the set of $N$ planes is replaced by a set of 2-dimensional algebraic varieties of total degree $N$, and a joint is a point that is regular for three varieties whose tangent planes at that point are not all contained in some hyperplane. Our most general result gives upper bounds, tight up to constant factors, for joints with multiplicities for several sets of varieties of arbitrary dimensions (known as Carbery's conjecture). Our main innovation is a new way to extend the polynomial method to higher dimensional objects, relating the degree of a polynomial and its orders of vanishing on a given set of points on a variety.
△ Less
Submitted 11 April, 2022; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Spherical two-distance sets and eigenvalues of signed graphs
Authors:
Zilin Jiang,
Jonathan Tidor,
Yuan Yao,
Shengtong Zhang,
Yufei Zhao
Abstract:
We study the problem of determining the maximum size of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Let $N_{α,β}(d)$ denote the maximum number of unit vectors in $\mathbb R^d$ where all pairwise inner products lie in $\{α,β\}$. For fixed $-1\leqβ<0\leqα<1$, we propose a conjecture for the limit of $N_{α,β}(d)/d$ as $d \to \infty$ in terms of ei…
▽ More
We study the problem of determining the maximum size of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Let $N_{α,β}(d)$ denote the maximum number of unit vectors in $\mathbb R^d$ where all pairwise inner products lie in $\{α,β\}$. For fixed $-1\leqβ<0\leqα<1$, we propose a conjecture for the limit of $N_{α,β}(d)/d$ as $d \to \infty$ in terms of eigenvalue multiplicities of signed graphs. We determine this limit when $α+2β<0$ or $(1-α)/(α-β) \in \{1, \sqrt{2}, \sqrt{3}\}$.
Our work builds on our recent resolution of the problem in the case of $α= -β$ (corresponding to equiangular lines). It is the first determination of $\lim_{d \to \infty} N_{α,β}(d)/d$ for any nontrivial fixed values of $α$ and $β$ outside of the equiangular lines setting.
△ Less
Submitted 1 June, 2022; v1 submitted 11 June, 2020;
originally announced June 2020.
-
A counterexample to the Bollobás-Riordan conjectures on sparse graph limits
Authors:
Ashwin Sah,
Mehtaab Sawhney,
Jonathan Tidor,
Yufei Zhao
Abstract:
Bollobás and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.
Bollobás and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.
△ Less
Submitted 4 November, 2021; v1 submitted 11 March, 2020;
originally announced March 2020.
-
Testing linear-invariant properties
Authors:
Jonathan Tidor,
Yufei Zhao
Abstract:
Fix a prime $p$ and a positive integer $R$. We study the property testing of functions $\mathbb F_p^n\to[R]$. We say that a property is testable if there exists an oblivious tester for this property with one-sided error and constant query complexity. Furthermore, a property is proximity oblivious-testable (PO-testable) if the test is also independent of the proximity parameter $ε$. It is known tha…
▽ More
Fix a prime $p$ and a positive integer $R$. We study the property testing of functions $\mathbb F_p^n\to[R]$. We say that a property is testable if there exists an oblivious tester for this property with one-sided error and constant query complexity. Furthermore, a property is proximity oblivious-testable (PO-testable) if the test is also independent of the proximity parameter $ε$. It is known that a number of natural properties such as linearity and being a low degree polynomial are PO-testable. These properties are examples of linear-invariant properties, meaning that they are preserved under linear automorphisms of the domain. Following work of Kaufman and Sudan, the study of linear-invariant properties has been an important problem in arithmetic property testing.
A central conjecture in this field, proposed by Bhattacharyya, Grigorescu, and Shapira, is that a linear-invariant property is testable if and only if it is semi subspace-hereditary. We prove two results, the first resolves this conjecture and the second classifies PO-testable properties.
(1) A linear-invariant property is testable if and only if it is semi subspace-hereditary.
(2) A linear-invariant property is PO-testable if and only if it is locally characterized.
Our innovations are two-fold. We give a more powerful version of the compactness argument first introduced by Alon and Shapira. This relies on a new strong arithmetic regularity lemma in which one mixes different levels of Gowers uniformity. This allows us to extend the work of Bhattacharyya, Fischer, Hatami, Hatami, and Lovett by removing the bounded complexity restriction in their work. Our second innovation is a novel recoloring technique called patching. This Ramsey-theoretic technique is critical for working in the linear-invariant setting and allows us to remove the translation-invariant restriction present in previous work.
△ Less
Submitted 3 July, 2020; v1 submitted 15 November, 2019;
originally announced November 2019.
-
Induced arithmetic removal: complexity 1 patterns over finite fields
Authors:
Jacob Fox,
Jonathan Tidor,
Yufei Zhao
Abstract:
We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$-colored complexity 1 arithmetic patterns over $\mathbb F_q$, every coloring $φ\colon \mathbb F_q^n \setminus\{0\} \to [r]$ with $o(1)$ density of every such pattern can be recolored on an $o(1)$-fraction of the space so tha…
▽ More
We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$-colored complexity 1 arithmetic patterns over $\mathbb F_q$, every coloring $φ\colon \mathbb F_q^n \setminus\{0\} \to [r]$ with $o(1)$ density of every such pattern can be recolored on an $o(1)$-fraction of the space so that no such pattern remains.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Equiangular lines with a fixed angle
Authors:
Zilin Jiang,
Jonathan Tidor,
Yuan Yao,
Shengtong Zhang,
Yufei Zhao
Abstract:
Solving a longstanding problem on equiangular lines, we determine, for each given fixed angle and in all sufficiently large dimensions, the maximum number of lines pairwise separated by the given angle.
Fix $0 < α< 1$. Let $N_α(d)$ denote the maximum number of lines through the origin in $\mathbb{R}^d$ with pairwise common angle $\arccos α$. Let $k$ denote the minimum number (if it exists) of ve…
▽ More
Solving a longstanding problem on equiangular lines, we determine, for each given fixed angle and in all sufficiently large dimensions, the maximum number of lines pairwise separated by the given angle.
Fix $0 < α< 1$. Let $N_α(d)$ denote the maximum number of lines through the origin in $\mathbb{R}^d$ with pairwise common angle $\arccos α$. Let $k$ denote the minimum number (if it exists) of vertices in a graph whose adjacency matrix has spectral radius exactly $(1-α)/(2α)$. If $k < \infty$, then $N_α(d) = \lfloor k(d-1)/(k-1) \rfloor$ for all sufficiently large $d$, and otherwise $N_α(d) = d + o(d)$. In particular, $N_{1/(2k-1)}(d) = \lfloor k(d-1)/(k-1) \rfloor$ for every integer $k\ge 2$ and all sufficiently large $d$.
A key ingredient is a new result in spectral graph theory: the adjacency matrix of a connected bounded degree graph has sublinear second eigenvalue multiplicity.
△ Less
Submitted 28 February, 2022; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Spectral methods for testing cluster structure of graphs
Authors:
Sandeep Silwal,
Jonathan Tidor
Abstract:
In the framework of graph property testing, we study the problem of determining if a graph admits a cluster structure. We say that a graph is $(k, φ)$-clusterable if it can be partitioned into at most $k$ parts such that each part has conductance at least $φ$. We present an algorithm that accepts all graphs that are $(2, φ)$-clusterable with probability at least $\frac{2}3$ and rejects all graphs…
▽ More
In the framework of graph property testing, we study the problem of determining if a graph admits a cluster structure. We say that a graph is $(k, φ)$-clusterable if it can be partitioned into at most $k$ parts such that each part has conductance at least $φ$. We present an algorithm that accepts all graphs that are $(2, φ)$-clusterable with probability at least $\frac{2}3$ and rejects all graphs that are $ε$-far from $(2, φ^*)$-clusterable for $φ^* \le μφ^2 ε^2$ with probability at least $\frac{2}3$ where $μ> 0$ is a parameter that affects the query complexity. This improves upon the work of Czumaj, Peng, and Sohler by removing a $\log n$ factor from the denominator of the bound on $φ^*$ for the case of $k=2$. Our work was concurrent with the work of Chiplunkar et al.\@ who achieved the same improvement for all values of $k$. Our approach for the case $k=2$ relies on the geometric structure of the eigenvectors of the graph Laplacian and results in an algorithm with query complexity $O(n^{1/2+O(1)μ} \cdot \text{poly}(1/ε, 1/φ,\log n))$.
△ Less
Submitted 30 December, 2018;
originally announced December 2018.
-
Hypergraph expanders of all uniformities from Cayley graphs
Authors:
David Conlon,
Jonathan Tidor,
Yufei Zhao
Abstract:
Hypergraph expanders are hypergraphs with surprising, non-intuitive expansion properties. In a recent paper, the first author gave a simple construction, which can be randomized, of $3$-uniform hypergraph expanders with polylogarithmic degree. We generalize this construction, giving a simple construction of $r$-uniform hypergraph expanders for all $r \geq 3$.
Hypergraph expanders are hypergraphs with surprising, non-intuitive expansion properties. In a recent paper, the first author gave a simple construction, which can be randomized, of $3$-uniform hypergraph expanders with polylogarithmic degree. We generalize this construction, giving a simple construction of $r$-uniform hypergraph expanders for all $r \geq 3$.
△ Less
Submitted 24 July, 2020; v1 submitted 17 September, 2018;
originally announced September 2018.
-
1-color-avoiding paths, special tournaments, and incidence geometry
Authors:
Jonathan Tidor,
Victor Y. Wang,
Ben Yang
Abstract:
We discuss two approaches to a recent question of Loh: must a 3-colored transitive tournament on $N$ vertices have a 1-color-\emph{avoiding} path of vertex-length at least $N^{2/3}$? This question generalizes the Erdős--Szekeres theorem on monotone subsequences.
First, we define three canonical transformations on these tournaments called Color, Record, and Dual. We use these to establish a reduc…
▽ More
We discuss two approaches to a recent question of Loh: must a 3-colored transitive tournament on $N$ vertices have a 1-color-\emph{avoiding} path of vertex-length at least $N^{2/3}$? This question generalizes the Erdős--Szekeres theorem on monotone subsequences.
First, we define three canonical transformations on these tournaments called Color, Record, and Dual. We use these to establish a reduction to special tournaments with natural geometric and combinatorial properties. In many cases (including all known tight examples), these tournaments have recursive Gallai decompositions. Not all relevant tournaments have Gallai decompositions, but those that do satisfy the desired $N^{2/3}$ bound by recent work of Wagner, roughly analogous to earlier work of Fox, Grinshpun, and Pach on a similar \emph{undirected} problem.
Second, we consider the related geometric problem of bounding \emph{slice-increasing} sets $S\subseteq [n]^3$, which---under an additional ordering hypothesis on $S$---was shown by Loh to be equivalent to the original question. In particular, we establish a rigorous connection from a problem of Szabó and Tardos, raise a stronger $L^2$-question on slice-counts, and mention a surprising overlap with the joints problem.
△ Less
Submitted 22 September, 2016; v1 submitted 14 August, 2016;
originally announced August 2016.
-
Dense binary $PG(t-1,2)$-free matroids have critical number $t-1$ or $t$
Authors:
Jonathan Tidor
Abstract:
The critical threshold of a (simple binary) matroid $N$ is the infimum over all $ρ$ such that any $N$-free matroid $M$ with $|M|>\rho2^{r(M)}$ has bounded critical number. In this paper, we resolve two conjectures of Geelen and Nelson, showing that the critical threshold of the projective geometry $PG(t-1,2)$ is $1-3\cdot2^{-t}$. We do so by proving the following stronger statement: if $M$ is…
▽ More
The critical threshold of a (simple binary) matroid $N$ is the infimum over all $ρ$ such that any $N$-free matroid $M$ with $|M|>\rho2^{r(M)}$ has bounded critical number. In this paper, we resolve two conjectures of Geelen and Nelson, showing that the critical threshold of the projective geometry $PG(t-1,2)$ is $1-3\cdot2^{-t}$. We do so by proving the following stronger statement: if $M$ is $PG(t-1,2)$-free with $|M|>(1-3\cdot2^{-t})2^{r(M)}$, then the critical number of $M$ is $t-1$ or $t$. Together with earlier results of Geelen and Nelson [GN14] and Govaerts and Storme [GS06], this completes the classification of dense $PG(t-1,2)$-free matroids.
△ Less
Submitted 5 September, 2017; v1 submitted 28 August, 2015;
originally announced August 2015.
-
Two classes of modular $p$-Stanley sequences
Authors:
Mehtaab Sawhney,
Jonathan Tidor
Abstract:
Consider a set $A$ with no $p$-term arithmetic progressions for $p$ prime. The $p$-Stanley sequence of a set $A$ is generated by greedily adding successive integers that do not create a $p$-term arithmetic progression. For $p>3$ prime, we give two distinct constructions for $p$-Stanley sequences which have a regular structure and satisfy certain conditions in order to be modular $p$-Stanley sequen…
▽ More
Consider a set $A$ with no $p$-term arithmetic progressions for $p$ prime. The $p$-Stanley sequence of a set $A$ is generated by greedily adding successive integers that do not create a $p$-term arithmetic progression. For $p>3$ prime, we give two distinct constructions for $p$-Stanley sequences which have a regular structure and satisfy certain conditions in order to be modular $p$-Stanley sequences, a set of particularly nice sequences defined by Moy and Rolnick which always have a regular structure.
Odlyzko and Stanley conjectured that the 3-Stanley sequence generated by $\{0,n\}$ only has a regular structure if $n=3^k$ or $n=2\cdot 3^k$. For $p>3$ we find a substantially larger class of integers $n$ such that the $p$-Stanley sequence generated from $\{0,n\}$ is a modular $p$-Stanley sequence and numerical evidence given by Moy and Rolnick suggests that these are the only $n$ for which the $p$-Stanley sequence generated by $\{0,n\}$ is a modular $p$-Stanley sequence. Our second class is a generalization of a construction of Rolnick for $p=3$ and is thematically similar to the analogous construction by Rolnick.
△ Less
Submitted 5 July, 2017; v1 submitted 25 June, 2015;
originally announced June 2015.
-
Bounding sequence extremal functions with formations
Authors:
J. T. Geneson,
Rohil Prasad,
Jonathan Tidor
Abstract:
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ letters. If $u$ is a sequence with $r$ distinct letters, then let $\mathit{Ex}(u, n)$ be the maximum length of any $r$-sparse sequence with $n$ distinct letters which has no subsequence isomorphic to $u$. For every sequence $u$ define $\mathit{fw}(u)$, the formation width of $u$, to be the minimum $s$ for which there exists $r$ su…
▽ More
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ letters. If $u$ is a sequence with $r$ distinct letters, then let $\mathit{Ex}(u, n)$ be the maximum length of any $r$-sparse sequence with $n$ distinct letters which has no subsequence isomorphic to $u$. For every sequence $u$ define $\mathit{fw}(u)$, the formation width of $u$, to be the minimum $s$ for which there exists $r$ such that there is a subsequence isomorphic to $u$ in every $(r, s)$-formation. We use $\mathit{fw}(u)$ to prove upper bounds on $\mathit{Ex}(u, n)$ for sequences $u$ such that $u$ contains an alternation with the same formation width as $u$.
We generalize Nivasch's bounds on $\mathit{Ex}((ab)^{t}, n)$ by showing that $\mathit{fw}((12 \ldots l)^{t})=2t-1$ and $\mathit{Ex}((12\ldots l)^{t}, n) =n2^{\frac{1}{(t-2)!}α(n)^{t-2}\pm O(α(n)^{t-3})}$ for every $l \geq 2$ and $t\geq 3$, such that $α(n)$ denotes the inverse Ackermann function. Upper bounds on $\mathit{Ex}((12 \ldots l)^{t} , n)$ have been used in other papers to bound the maximum number of edges in $k$-quasiplanar graphs on $n$ vertices with no pair of edges intersecting in more than $O(1)$ points.
If $u$ is any sequence of the form $a v a v' a$ such that $a$ is a letter, $v$ is a nonempty sequence excluding $a$ with no repeated letters and $v'$ is obtained from $v$ by only moving the first letter of $v$ to another place in $v$, then we show that $\mathit{fw}(u)=4$ and $\mathit{Ex}(u, n) =Θ(nα(n))$. Furthermore we prove that $\mathit{fw}(abc(acb)^{t})=2t+1$ and $\mathit{Ex}(abc(acb)^{t}, n) = n2^{\frac{1}{(t-1)!}α(n)^{t-1}\pm O(α(n)^{t-2})}$ for every $t\geq 2$.
△ Less
Submitted 12 November, 2014; v1 submitted 17 August, 2013;
originally announced August 2013.
-
Convex geometric (k+2)-quasiplanar representations of semi-bar k-visibility graphs
Authors:
Jesse Geneson,
Tanya Khovanova,
Jonathan Tidor
Abstract:
We examine semi-bar visibility graphs in the plane and on a cylinder in which sightlines can pass through k objects. We show every semi-bar k-visibility graph has a (k+2)-quasiplanar representation in the plane with vertices drawn as points in convex position and edges drawn as segments. We also show that the graphs having cylindrical semi-bar k-visibility representations with semi-bars of differe…
▽ More
We examine semi-bar visibility graphs in the plane and on a cylinder in which sightlines can pass through k objects. We show every semi-bar k-visibility graph has a (k+2)-quasiplanar representation in the plane with vertices drawn as points in convex position and edges drawn as segments. We also show that the graphs having cylindrical semi-bar k-visibility representations with semi-bars of different lengths are the same as the (2k+2)-degenerate graphs having edge-maximal (k+2)-quasiplanar representations in the plane with vertices drawn as points in convex position and edges drawn as segments.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
