Skip to main content

Showing 1–24 of 24 results for author: Tidor, J

.
  1. arXiv:2410.13758  [pdf, ps, other

    math.CO

    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

    Submitted 27 October, 2024; v1 submitted 17 October, 2024; originally announced October 2024.

    Comments: 12 pages

    MSC Class: 05D40

  2. arXiv:2410.07557  [pdf, other

    math.CO math.MG

    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 (in the sense of the Baire category theorem). We also show that for $d\geq 3$ and a typical norm on $\mathbb R^d$, the uni… ▽ More

    Submitted 9 October, 2024; originally announced October 2024.

    Comments: 13 pages

  3. arXiv:2407.20221  [pdf, ps, other

    math.CO

    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

    Submitted 4 November, 2024; v1 submitted 29 July, 2024; originally announced July 2024.

    Comments: 38 pages, 1 figure; error in the proof of Theorem 5.3 corrected, statements of Theorems 1.6, 5.3 and Proposition 6.3 modified

  4. arXiv:2401.00359  [pdf, ps, other

    math.CO

    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

    Submitted 30 December, 2023; originally announced January 2024.

    Comments: 33 pages

  5. arXiv:2312.06895  [pdf, ps, other

    math.CO

    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

    Submitted 11 December, 2023; originally announced December 2023.

    Comments: 14 pages

  6. 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

    Submitted 15 May, 2025; v1 submitted 13 July, 2023; originally announced July 2023.

    Comments: 20 pages; typos corrected

  7. arXiv:2207.13281  [pdf, ps, other

    cs.DS

    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

    Submitted 17 November, 2022; v1 submitted 27 July, 2022; originally announced July 2022.

    Comments: 51 pages

  8. arXiv:2109.13108  [pdf, other

    math.CO

    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

    Submitted 27 October, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

    Comments: 17 pages

    Journal ref: Discrete Anal. 2022:14, 17 pp

  9. 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

    Submitted 15 July, 2021; originally announced July 2021.

    Comments: 11 pages

    Journal ref: Math. Proc. Cambridge Philos. Soc. 173 (2022), 525--537

  10. 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

    Submitted 2 February, 2021; originally announced February 2021.

    Comments: 24 pages

    Journal ref: Trans. Amer. Math. Soc. 375 (2022), 2677--2704

  11. arXiv:2008.10709  [pdf, ps, other

    cs.DS cs.DM

    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

    Submitted 28 April, 2022; v1 submitted 24 August, 2020; originally announced August 2020.

    Comments: ICALP 2022

  12. arXiv:2008.01610  [pdf, other

    math.CO math.AG math.CA

    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

    Submitted 11 April, 2022; v1 submitted 4 August, 2020; originally announced August 2020.

    Comments: 27 pages, 1 figure

    Journal ref: Geom. Funct. Anal. 32, 302--339 (2022)

  13. arXiv:2006.06633  [pdf, ps, other

    math.CO math.MG

    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

    Submitted 1 June, 2022; v1 submitted 11 June, 2020; originally announced June 2020.

    Comments: 23 pages, 9 figures

  14. 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.

    Submitted 4 November, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

    Journal ref: Combinatorics, Probability and Computing 30 (5), 2021, 796-799

  15. arXiv:1911.06793  [pdf, ps, other

    math.CO cs.CC

    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

    Submitted 3 July, 2020; v1 submitted 15 November, 2019; originally announced November 2019.

    Comments: 40 pages; updated with significantly improved main result

    Journal ref: SIAM J. Comput. 51 (2022), 1230--1279

  16. 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

    Submitted 8 November, 2019; originally announced November 2019.

    Comments: 22 pages

    Journal ref: Israel J. Math. 248 (2022), 1--38

  17. 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

    Submitted 28 February, 2022; v1 submitted 29 July, 2019; originally announced July 2019.

    Comments: 11 pages. Fixed a minor issue at the end of the proof of Theorem 1.2

    Journal ref: Annals of Mathematics 194 (2021), 729--743

  18. arXiv:1812.11564  [pdf, other

    cs.DS

    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

    Submitted 30 December, 2018; originally announced December 2018.

    Comments: 21 pages, 7 figures

  19. 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$.

    Submitted 24 July, 2020; v1 submitted 17 September, 2018; originally announced September 2018.

    Comments: 32 pages

    MSC Class: 05C65; 05C81

    Journal ref: Proc. Lond. Math. Soc. 121(5): 1311--1336 (2020)

  20. arXiv:1608.04153  [pdf, other

    math.CO

    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

    Submitted 22 September, 2016; v1 submitted 14 August, 2016; originally announced August 2016.

    Comments: 27 pages, comments welcome. This version acknowledges recent earlier work of Wagner in the case of rainbow-triangle free graphs, which we were unaware of at the time of posting of v1. To view attachments, please download and extract the gzipped tar source file listed under "Other formats"

    MSC Class: 05C20; 05C35; 05C55; 05D10

  21. 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

    Submitted 5 September, 2017; v1 submitted 28 August, 2015; originally announced August 2015.

    Comments: 16 pages

    MSC Class: 05B35

    Journal ref: J. Combin. Theory Ser. B 124 (2017), 165--179

  22. arXiv:1506.07941  [pdf, ps, other

    math.CO

    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

    Submitted 5 July, 2017; v1 submitted 25 June, 2015; originally announced June 2015.

    Comments: 10 pages

    MSC Class: 11B05

  23. arXiv:1308.3810  [pdf, ps, other

    cs.DM math.CO

    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

    Submitted 12 November, 2014; v1 submitted 17 August, 2013; originally announced August 2013.

    Comments: 25 pages

    MSC Class: 05D99

    Journal ref: Electr. J. Comb. 21(3): P3.24 (2014)

  24. arXiv:1307.1169  [pdf, other

    math.CO

    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

    Submitted 3 July, 2013; originally announced July 2013.

    Comments: 13 pages, 5 figures

    MSC Class: 05C10