-
On the Spielman-Teng Conjecture
Authors:
Ashwin Sah,
Julian Sahasrabudhe,
Mehtaab Sawhney
Abstract:
Let $M$ be an $n\times n$ matrix with iid subgaussian entries with mean $0$ and variance $1$ and let $σ_n(M)$ denote the least singular value of $M$. We prove that \[\mathbb{P}\big( σ_{n}(M) \leq \varepsilon n^{-1/2} \big) = (1+o(1)) \varepsilon + e^{-Ω(n)}\] for all $0 \leq \varepsilon \ll 1$. This resolves, up to a $1+o(1)$ factor, a seminal conjecture of Spielman and Teng.
Let $M$ be an $n\times n$ matrix with iid subgaussian entries with mean $0$ and variance $1$ and let $σ_n(M)$ denote the least singular value of $M$. We prove that \[\mathbb{P}\big( σ_{n}(M) \leq \varepsilon n^{-1/2} \big) = (1+o(1)) \varepsilon + e^{-Ω(n)}\] for all $0 \leq \varepsilon \ll 1$. This resolves, up to a $1+o(1)$ factor, a seminal conjecture of Spielman and Teng.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
An explicit economical additive basis
Authors:
Vishesh Jain,
Huy Tuan Pham,
Mehtaab Sawhney,
Dmitrii Zakharov
Abstract:
We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erdős.
We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erdős.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
On further questions regarding unit fractions
Authors:
Yang P. Liu,
Mehtaab Sawhney
Abstract:
We prove that a subset $A\subseteq [1, N]$ with \[\sum_{n\in A}\frac{1}{n} \ge (\log N)^{4/5 + o(1)}\] contains a subset $B$ such that \[\sum_{n\in B} \frac{1}{n} = 1.\] Our techniques refine those of Croot and of Bloom. Using our refinements, we additionally consider a number of questions regarding unit fractions due to Erdős and Graham.
We prove that a subset $A\subseteq [1, N]$ with \[\sum_{n\in A}\frac{1}{n} \ge (\log N)^{4/5 + o(1)}\] contains a subset $B$ such that \[\sum_{n\in B} \frac{1}{n} = 1.\] Our techniques refine those of Croot and of Bloom. Using our refinements, we additionally consider a number of questions regarding unit fractions due to Erdős and Graham.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Improved Bounds for Szemerédi's Theorem
Authors:
James Leng,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $r_k(N)$ denote the size of the largest subset of $[N] = \{1,\ldots,N\}$ with no $k$-term arithmetic progression. We show that for $k\ge 5$, there exists $c_k>0$ such that \[r_k(N)\ll N\exp(-(\log\log N)^{c_k}).\] Our proof is a consequence of recent quasipolynomial bounds on the inverse theorem for the Gowers $U^k$-norm as well as the density increment strategy of Heath-Brown and Szemerédi as…
▽ More
Let $r_k(N)$ denote the size of the largest subset of $[N] = \{1,\ldots,N\}$ with no $k$-term arithmetic progression. We show that for $k\ge 5$, there exists $c_k>0$ such that \[r_k(N)\ll N\exp(-(\log\log N)^{c_k}).\] Our proof is a consequence of recent quasipolynomial bounds on the inverse theorem for the Gowers $U^k$-norm as well as the density increment strategy of Heath-Brown and Szemerédi as reformulated by Green and Tao.
△ Less
Submitted 29 February, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
Quasipolynomial bounds on the inverse theorem for the Gowers $U^{s+1}[N]$-norm
Authors:
James Leng,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We prove quasipolynomial bounds on the inverse theorem for the Gowers $U^{s+1}[N]$-norm. The proof is modeled after work of Green, Tao, and Ziegler and uses as a crucial input recent work of the first author regarding the equidistribution of nilsequences. In a companion paper, this result will be used to improve the bounds on Szemerédi's theorem.
We prove quasipolynomial bounds on the inverse theorem for the Gowers $U^{s+1}[N]$-norm. The proof is modeled after work of Green, Tao, and Ziegler and uses as a crucial input recent work of the first author regarding the equidistribution of nilsequences. In a companion paper, this result will be used to improve the bounds on Szemerédi's theorem.
△ Less
Submitted 10 April, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
A central limit theorem for the matching number of a sparse random graph
Authors:
Margalit Glasgow,
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
In 1981, Karp and Sipser proved a law of large numbers for the matching number of a sparse Erdős-Rényi random graph, in an influential paper pioneering the so-called differential equation method for analysis of random graph processes. Strengthening this classical result, and answering a question of Aronson, Frieze and Pittel, we prove a central limit theorem in the same setting: the fluctuations i…
▽ More
In 1981, Karp and Sipser proved a law of large numbers for the matching number of a sparse Erdős-Rényi random graph, in an influential paper pioneering the so-called differential equation method for analysis of random graph processes. Strengthening this classical result, and answering a question of Aronson, Frieze and Pittel, we prove a central limit theorem in the same setting: the fluctuations in the matching number of a sparse random graph are asymptotically Gaussian.
Our new contribution is to prove this central limit theorem in the subcritical and critical regimes, according to a celebrated algorithmic phase transition first observed by Karp and Sipser. Indeed, in the supercritical regime, a central limit theorem has recently been proved in the PhD thesis of Kreačić, using a stochastic generalisation of the differential equation method (comparing the so-called Karp-Sipser process to a system of stochastic differential equations). Our proof builds on these methods, and introduces new techniques to handle certain degeneracies present in the subcritical and critical cases. Curiously, our new techniques lead to a non-constructive result: we are able to characterise the fluctuations of the matching number around its mean, despite these fluctuations being much smaller than the error terms in our best estimates of the mean.
We also prove a central limit theorem for the rank of the adjacency matrix of a sparse random graph.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Improved bounds for five-term arithmetic progressions
Authors:
James Leng,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $r_5(N)$ be the largest cardinality of a set in $\{1,\ldots,N\}$ which does not contain $5$ elements in arithmetic progression. Then there exists a constant $c\in (0,1)$ such that \[r_5(N)\ll \frac{N}{\exp((\log\log N)^{c})}.\] Our work is a consequence of recent improved bounds on the $U^4$-inverse theorem of the first author and the fact that $3$-step nilsequences may be approximated by loca…
▽ More
Let $r_5(N)$ be the largest cardinality of a set in $\{1,\ldots,N\}$ which does not contain $5$ elements in arithmetic progression. Then there exists a constant $c\in (0,1)$ such that \[r_5(N)\ll \frac{N}{\exp((\log\log N)^{c})}.\] Our work is a consequence of recent improved bounds on the $U^4$-inverse theorem of the first author and the fact that $3$-step nilsequences may be approximated by locally cubic functions on shifted Bohr sets. This combined with the density increment strategy of Heath-Brown and Szemer{é}di, codified by Green and Tao, gives the desired result.
△ Less
Submitted 10 April, 2024; v1 submitted 17 December, 2023;
originally announced December 2023.
-
The limiting spectral law for sparse iid matrices
Authors:
Ashwin Sah,
Julian Sahasrabudhe,
Mehtaab Sawhney
Abstract:
Let $A$ be an $n\times n$ matrix with iid entries where $A_{ij} \sim \mathrm{Ber}(p)$ is a Bernoulli random variable with parameter $p = d/n$. We show that the empirical measure of the eigenvalues converges, in probability, to a deterministic distribution as $n \rightarrow \infty$. This essentially resolves a long line of work to determine the spectral laws of iid matrices and is the first known e…
▽ More
Let $A$ be an $n\times n$ matrix with iid entries where $A_{ij} \sim \mathrm{Ber}(p)$ is a Bernoulli random variable with parameter $p = d/n$. We show that the empirical measure of the eigenvalues converges, in probability, to a deterministic distribution as $n \rightarrow \infty$. This essentially resolves a long line of work to determine the spectral laws of iid matrices and is the first known example for non-Hermitian random matrices at this level of sparsity.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
The sparse circular law, revisited
Authors:
Ashwin Sah,
Julian Sahasrabudhe,
Mehtaab Sawhney
Abstract:
Let $A_n$ be an $n\times n$ matrix with iid entries distributed as Bernoulli random variables with parameter $p = p_n$. Rudelson and Tikhomirov, in a beautiful and celebrated paper, show that the distribution of eigenvalues of $A_n \cdot (pn)^{-1/2}$ is approximately uniform on the unit disk as $n\rightarrow \infty$ as long as $pn \rightarrow \infty$, which is the natural necessary condition.
In…
▽ More
Let $A_n$ be an $n\times n$ matrix with iid entries distributed as Bernoulli random variables with parameter $p = p_n$. Rudelson and Tikhomirov, in a beautiful and celebrated paper, show that the distribution of eigenvalues of $A_n \cdot (pn)^{-1/2}$ is approximately uniform on the unit disk as $n\rightarrow \infty$ as long as $pn \rightarrow \infty$, which is the natural necessary condition.
In this paper we give a much simpler proof of this result, in its full generality, using a perspective we developed in our recent proof of the existence of the limiting spectral law when $pn$ is bounded. One feature of our proof is that it avoids the use of $ε$-nets entirely and, instead, proceeds by studying the evolution of the singular values of the shifted matrices $A_n-zI$ as we incrementally expose the randomness in the matrix.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Effective bounds for Roth's theorem with shifted square common difference
Authors:
Sarah Peluse,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.
Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
On Perfectly Friendly Bisections of Random Graphs
Authors:
Dor Minzer,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We prove that there exists a constant $γ_{\mathrm{crit}}\approx .17566$ such that if $G\sim \mathbb{G}(n,1/2)$ then for any $\varepsilon > 0$ with high probability $G$ has a equipartition such that each vertex has $(γ_{\mathrm{crit}}-\varepsilon)\sqrt{n}$ more neighbors in its own part than in the other part and with high probability no such partition exists for a separation of…
▽ More
We prove that there exists a constant $γ_{\mathrm{crit}}\approx .17566$ such that if $G\sim \mathbb{G}(n,1/2)$ then for any $\varepsilon > 0$ with high probability $G$ has a equipartition such that each vertex has $(γ_{\mathrm{crit}}-\varepsilon)\sqrt{n}$ more neighbors in its own part than in the other part and with high probability no such partition exists for a separation of $(γ_{\mathrm{crit}}+\varepsilon)\sqrt{n}$. The proof involves a number of tools ranging from isoperimetric results on vertex-transitive sets of graphs coming from Boolean functions, switchings, degree enumeration formulas, and the second moment method. Our results substantially strengthen recent work of Ferber, Kwan, Narayanan, and the last two authors on a conjecture of Füredi from 1988 and in particular prove the existence of fully-friendly bisections in $\mathbb{G}(n,1/2)$
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
The Exact Rank of Sparse Random Graphs
Authors:
Margalit Glasgow,
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Two landmark results in combinatorial random matrix theory, due to Komlós and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when $p$ is a fixed constant, the biadjacency matrix of a random Erdős-Rényi bipartite graph $\mathbb{G}(n,n,p)$ and the adjacency matrix of an Erdős-Rényi…
▽ More
Two landmark results in combinatorial random matrix theory, due to Komlós and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when $p$ is a fixed constant, the biadjacency matrix of a random Erdős-Rényi bipartite graph $\mathbb{G}(n,n,p)$ and the adjacency matrix of an Erdős-Rényi random graph $\mathbb{G}(n,p)$ are both nonsingular with high probability. However, very sparse random graphs (i.e., where $p$ is allowed to decay rapidly with $n$) are typically singular, due to the presence of "local" dependencies such as isolated vertices and pairs of degree-1 vertices with the same neighbour.
In this paper we give a combinatorial description of the rank of a sparse random graph $\mathbb{G}(n,n,c/n)$ or $\mathbb{G}(n,c/n)$ in terms of such local dependencies, for all constants $c\ne e$ (and we present some evidence that the situation is very different for $c=e$). This gives an essentially complete answer to a question raised by Vu at the 2014 International Congress of Mathematicians.
As applications of our main theorem and its proof, we also determine the asymptotic singularity probability of the 2-core of a sparse random graph, we show that the rank of a sparse random graph is extremely well-approximated by its matching number, and we deduce a central limit theorem for the rank of $\mathbb{G}(n,c/n)$.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
The intransitive dice kernel: $\frac{\mathbf{1}_{x\ge y}-\mathbf{1}_{x\le y}}{4} - \frac{3(x-y)(1+xy)}{8}$
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Answering a pair of questions of Conrey, Gabbard, Grant, Liu, and Morrison, we prove that a triplet of dice drawn from the multiset model are intransitive with probability $1/4+o(1)$ and the probability a random pair of dice tie tends toward $αn^{-1}$ for an explicitly defined constant $α$. This extends and sharpens the recent results of Polymath regarding the balanced sequence model. We further s…
▽ More
Answering a pair of questions of Conrey, Gabbard, Grant, Liu, and Morrison, we prove that a triplet of dice drawn from the multiset model are intransitive with probability $1/4+o(1)$ and the probability a random pair of dice tie tends toward $αn^{-1}$ for an explicitly defined constant $α$. This extends and sharpens the recent results of Polymath regarding the balanced sequence model. We further show the distribution of larger tournaments converges to a universal tournamenton in both models. This limit naturally arises from the discrete spectrum of a certain skew-symmetric operator (given by the kernel in the title acting on $L^2([-1,1])$). The limit exhibits a degree of symmetry and can be used to prove that, for instance, the limiting probability that $A_i$ beats $A_{i+1}$ for $1\le i\le 4$ and that $A_5$ beats $A_1$ is $1/32+o(1)$. Furthermore, the limiting tournamenton has range contained in the discrete set $\{0,1\}$. This proves that the associated tournamenton is non-quasirandom in a dramatic fashion, vastly extending work of Cornacchia and Hązła regarding the continuous analogue of the balanced sequence model.
The proof is based on a reduction to conditional central limit theorems (related to work of Polymath), the use of a "Poissonization" style method to reduce to computations with independent random variables, and the systematic use of switching-based arguments to extract cancellation in Fourier estimates when establishing local limit-type estimates.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Distribution of the threshold for the symmetric perceptron
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We derive an explicit distribution for the threshold sequence of the symmetric binary perceptron with Gaussian disorder, proving that the critical window is of constant width.
We derive an explicit distribution for the threshold sequence of the symmetric binary perceptron with Gaussian disorder, proving that the critical window is of constant width.
△ Less
Submitted 26 January, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
The existence of subspace designs
Authors:
Peter Keevash,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility conditions. This settles an open problem from the 1970s. Moreover, we also obtain an approximate formula for the number of such designs.
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility conditions. This settles an open problem from the 1970s. Moreover, we also obtain an approximate formula for the number of such designs.
△ Less
Submitted 14 February, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
A Toolkit for Robust Thresholds
Authors:
Huy Tuan Pham,
Ashwin Sah,
Mehtaab Sawhney,
Michael Simkin
Abstract:
Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs…
▽ More
Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition, and for bounded-degree spanning trees. In each case our proof is based on constructing a spread measure and then applying recent results on the (fractional) Kahn--Kalai conjecture connecting the existence of such measures with probabilistic thresholds.
For our second result we give a shorter and more general proof of a recent theorem of Allen, Böttcher, Corsten, Davies, Jenssen, Morris, Roberts, and Skokan which handles the $r=3$ case with different techniques. In particular, we answer a question of theirs with regards to the number of $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition.
△ Less
Submitted 15 May, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Subgraph distributions in dense random regular graphs
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Given connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a deli…
▽ More
Given connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a delicate manner on the occurrence and number of cycles of length $3,4,5$ as well as paths of length $3$ in $H$. More generally, we provide control of the asymptotic distribution of certain statistics of bounded degree which are invariant under vertex permutations, including moments of the spectrum of a random regular graph.
Our techniques are based on combining complex-analytic methods due to McKay and Wormald used to enumerate regular graphs with the notion of graph factors developed by Janson in the context of studying subgraph counts in $\mathbb{G}(n,p)$.
△ Less
Submitted 8 May, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture
Authors:
Matthew Kwan,
Ashwin Sah,
Lisa Sauermann,
Mehtaab Sawhney
Abstract:
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the s…
▽ More
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables.
The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.
△ Less
Submitted 30 May, 2024; v1 submitted 4 August, 2022;
originally announced August 2022.
-
Cayley graphs that have a quantum ergodic eigenbasis
Authors:
Assaf Naor,
Ashwin Sah,
Mehtaab Sawhney,
Yufei Zhao
Abstract:
We investigate which finite Cayley graphs admit a quantum ergodic eigenbasis, proving that this holds for any Cayley graph on a group of size $n$ for which the sum of the dimensions of its irreducible representations is $o(n)$, yet there exist Cayley graphs that do not have any quantum ergodic eigenbasis.
We investigate which finite Cayley graphs admit a quantum ergodic eigenbasis, proving that this holds for any Cayley graph on a group of size $n$ for which the sum of the dimensions of its irreducible representations is $o(n)$, yet there exist Cayley graphs that do not have any quantum ergodic eigenbasis.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Spencer's theorem in nearly input-sparsity time
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
A celebrated theorem of Spencer states that for every set system $S_1,\dots, S_m \subseteq [n]$, there is a coloring of the ground set with $\{\pm 1\}$ with discrepancy $O(\sqrt{n\log(m/n+2)})$. We provide an algorithm to find such a coloring in near input-sparsity time $\tilde{O}(n+\sum_{i=1}^{m}|S_i|)$. A key ingredient in our work, which may be of independent interest, is a novel width reductio…
▽ More
A celebrated theorem of Spencer states that for every set system $S_1,\dots, S_m \subseteq [n]$, there is a coloring of the ground set with $\{\pm 1\}$ with discrepancy $O(\sqrt{n\log(m/n+2)})$. We provide an algorithm to find such a coloring in near input-sparsity time $\tilde{O}(n+\sum_{i=1}^{m}|S_i|)$. A key ingredient in our work, which may be of independent interest, is a novel width reduction technique for solving linear programs, not of covering/packing type, in near input-sparsity time using the multiplicative weights update method.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Optimal minimization of the covariance loss
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $X$ be a random vector valued in $\mathbb{R}^{m}$ such that $\|X\|_{2} \le 1$ almost surely. For every $k\ge 3$, we show that there exists a sigma algebra $\mathcal{F}$ generated by a partition of $\mathbb{R}^{m}$ into $k$ sets such that
\[\|\operatorname{Cov}(X) - \operatorname{Cov}(\mathbb{E}[X\mid\mathcal{F}])
\|_{\mathrm{F}} \lesssim \frac{1}{\sqrt{\log{k}}}.\] This is optimal up to th…
▽ More
Let $X$ be a random vector valued in $\mathbb{R}^{m}$ such that $\|X\|_{2} \le 1$ almost surely. For every $k\ge 3$, we show that there exists a sigma algebra $\mathcal{F}$ generated by a partition of $\mathbb{R}^{m}$ into $k$ sets such that
\[\|\operatorname{Cov}(X) - \operatorname{Cov}(\mathbb{E}[X\mid\mathcal{F}])
\|_{\mathrm{F}} \lesssim \frac{1}{\sqrt{\log{k}}}.\] This is optimal up to the implicit constant and improves on a previous bound due to Boedihardjo, Strohmer, and Vershynin.
Our proof provides an efficient algorithm for constructing $\mathcal{F}$ and leads to improved accuracy guarantees for $k$-anonymous or differentially private synthetic data. We also establish a connection between the above problem of minimizing the covariance loss and the pinning lemma from statistical physics, providing an alternate (and much simpler) algorithmic proof in the important case when $X \in \{\pm 1\}^m/\sqrt{m}$ almost surely.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Threshold for Steiner triple systems
Authors:
Ashwin Sah,
Mehtaab Sawhney,
Michael Simkin
Abstract:
We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We also prove the analogous theorem for Latin squares. Our result follows from a novel bootstrap** scheme that utilizes iterative absorption as well as the conne…
▽ More
We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We also prove the analogous theorem for Latin squares. Our result follows from a novel bootstrap** scheme that utilizes iterative absorption as well as the connection between thresholds and fractional expectation-thresholds established by Frankston, Kahn, Narayanan, and Park.
△ Less
Submitted 3 May, 2022; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Enumerating coprime permutations
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Define a permutation $σ$ to be coprime if $\gcd(m,σ(m)) = 1$ for $m\in[n]$. In this note, proving a recent conjecture of Pomerance, we prove that the number of coprime permutations on $[n]$ is $n!\cdot (c+o(1))^n$ where \[c = \prod_{p\text{ prime }}\frac{(p-1)^{2(1-1/p)}}{p\cdot (p-2)^{(1-2/p)}}.\] The techniques involve entropy maximization for the upper bound, and a mixture of number-theoretic b…
▽ More
Define a permutation $σ$ to be coprime if $\gcd(m,σ(m)) = 1$ for $m\in[n]$. In this note, proving a recent conjecture of Pomerance, we prove that the number of coprime permutations on $[n]$ is $n!\cdot (c+o(1))^n$ where \[c = \prod_{p\text{ prime }}\frac{(p-1)^{2(1-1/p)}}{p\cdot (p-2)^{(1-2/p)}}.\] The techniques involve entropy maximization for the upper bound, and a mixture of number-theoretic bounds, permanent estimates, and the absorbing method for the lower bound.
△ Less
Submitted 29 March, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Sparse recovery properties of discrete random matrices
Authors:
Asaf Ferber,
Ashwin Sah,
Mehtaab Sawhney,
Yizhe Zhu
Abstract:
Motivated by problems from compressed sensing, we determine the threshold behavior of a random $n\times d$ $\pm 1$ matrix $M_{n,d}$ with respect to the property "every $s$ columns are linearly independent". In particular, we show that for every $0<δ<1$ and $s=(1-δ)n$, if $d\leq n^{1+1/2(1-δ)-o(1)}$ then with high probability every $s$ columns of $M_{n,d}$ are linearly independent, and if…
▽ More
Motivated by problems from compressed sensing, we determine the threshold behavior of a random $n\times d$ $\pm 1$ matrix $M_{n,d}$ with respect to the property "every $s$ columns are linearly independent". In particular, we show that for every $0<δ<1$ and $s=(1-δ)n$, if $d\leq n^{1+1/2(1-δ)-o(1)}$ then with high probability every $s$ columns of $M_{n,d}$ are linearly independent, and if $d\geq n^{1+1/2(1-δ)+o(1)}$ then with high probability there are some $s$ linearly dependent columns.
△ Less
Submitted 8 September, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Substructures in Latin squares
Authors:
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney,
Michael Simkin
Abstract:
We prove several results about substructures in Latin squares. First, we explain how to adapt our recent work on high-girth Steiner triple systems to the setting of Latin squares, resolving a conjecture of Linial that there exist Latin squares with arbitrarily high girth. As a consequence, we see that the number of order-$n$ Latin squares with no intercalate (i.e., no $2\times2$ Latin subsquare) i…
▽ More
We prove several results about substructures in Latin squares. First, we explain how to adapt our recent work on high-girth Steiner triple systems to the setting of Latin squares, resolving a conjecture of Linial that there exist Latin squares with arbitrarily high girth. As a consequence, we see that the number of order-$n$ Latin squares with no intercalate (i.e., no $2\times2$ Latin subsquare) is at least $(e^{-9/4}n-o(n))^{n^{2}}$. Equivalently, $\mathbb{P}\left[\mathbf{N}=0\right]\ge e^{-n^{2}/4-o(n^{2})}=e^{-(1+o(1))\mathbb{E}\mathbf{N}}$, where $\mathbf{N}$ is the number of intercalates in a uniformly random order-$n$ Latin square.
In fact, extending recent work of Kwan, Sah, and Sawhney, we resolve the general large-deviation problem for intercalates in random Latin squares, up to constant factors in the exponent: for any constant $0<δ\le1$ we have $\mathbb{P}[\mathbf{N}\le(1-δ)\mathbb{E}\mathbf{N}]=\exp(-Θ(n^{2}))$ and for any constant $δ>0$ we have $\mathbb{P}[\mathbf{N}\ge(1+δ)\mathbb{E}\mathbf{N}]=\exp(-Θ(n^{4/3}\log n))$.
Finally, as an application of some new general tools for studying substructures in random Latin squares, we show that in almost all order-$n$ Latin squares, the number of cuboctahedra (i.e., the number of pairs of possibly degenerate $2\times2$ submatrices with the same arrangement of symbols) is of order $n^{4}$, which is the minimum possible. As observed by Gowers and Long, this number can be interpreted as measuring ``how associative'' the quasigroup associated with the Latin square is.
△ Less
Submitted 4 August, 2022; v1 submitted 10 February, 2022;
originally announced February 2022.
-
High-Girth Steiner Triple Systems
Authors:
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney,
Michael Simkin
Abstract:
We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth.
We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth.
△ Less
Submitted 6 May, 2024; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Enumerating Matroids and Linear Spaces
Authors:
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We show that the number of linear spaces on a set of $n$ points and the number of rank-3 matroids on a ground set of size $n$ are both of the form $(cn+o(n))^{n^2/6}$, where $c=e^{\sqrt 3/2-3}(1+\sqrt 3)/2$. This is the final piece of the puzzle for enumerating fixed-rank matroids at this level of accuracy: the numbers of rank-1 and rank-2 matroids on a ground set of size $n$ have exact representa…
▽ More
We show that the number of linear spaces on a set of $n$ points and the number of rank-3 matroids on a ground set of size $n$ are both of the form $(cn+o(n))^{n^2/6}$, where $c=e^{\sqrt 3/2-3}(1+\sqrt 3)/2$. This is the final piece of the puzzle for enumerating fixed-rank matroids at this level of accuracy: the numbers of rank-1 and rank-2 matroids on a ground set of size $n$ have exact representations in terms of well-known combinatorial functions, and it was recently proved by van der Hofstad, Pendavingh, and van der Pol that for constant $r\ge 4$ there are $(e^{1-r}n+o(n))^{n^{r-1}/r!}$ rank-$r$ matroids on a ground set of size $n$. In our proof, we introduce a new approach for bounding the number of clique decompositions of a complete graph, using quasirandomness instead of the so-called entropy method that is common in this area.
△ Less
Submitted 30 May, 2024; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Note on random Latin squares and the triangle removal process
Authors:
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932).…
▽ More
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
Approximate counting and sampling via local central limit theorems
Authors:
Vishesh Jain,
Will Perkins,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomize…
▽ More
We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomized algorithms to approximately sample from the uniform distribution on matchings of size $k \leq (1-δ)m^*(G)$ and independent sets of size $k \leq (1-δ)α_c(Δ)n$.
Our results are based on a new framework for exploiting local central limit theorems as an algorithmic tool. We use a combination of Fourier inversion, probabilistic estimates, and the deterministic approximation of partition functions at complex activities to extract approximations of the coefficients of the partition function. For our results for independent sets, we prove a new local central limit theorem for the hard-core model that applies to all fugacities below $λ_c(Δ)$, the uniqueness threshold on the infinite $Δ$-regular tree.
△ Less
Submitted 2 August, 2021;
originally announced August 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.
-
Large deviations in random Latin squares
Authors:
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
In this note, we study large deviations of the number $\mathbf{N}$ of intercalates ($2\times2$ combinatorial subsquares which are themselves Latin squares) in a random $n\times n$ Latin square. In particular, for constant $δ>0$ we prove that $\Pr(\mathbf{N}\le(1-δ)n^{2}/4)\le\exp(-Ω(n^{2}))$ and $\Pr(\mathbf{N}\ge(1+δ)n^{2}/4)\le\exp(-Ω(n^{4/3}(\log n)^{2/3}))$, both of which are sharp up to logar…
▽ More
In this note, we study large deviations of the number $\mathbf{N}$ of intercalates ($2\times2$ combinatorial subsquares which are themselves Latin squares) in a random $n\times n$ Latin square. In particular, for constant $δ>0$ we prove that $\Pr(\mathbf{N}\le(1-δ)n^{2}/4)\le\exp(-Ω(n^{2}))$ and $\Pr(\mathbf{N}\ge(1+δ)n^{2}/4)\le\exp(-Ω(n^{4/3}(\log n)^{2/3}))$, both of which are sharp up to logarithmic factors in their exponents. As a consequence, we deduce that a typical order-$n$ Latin square has $(1+o(1))n^{2}/4$ intercalates, matching a lower bound due to Kwan and Sudakov and resolving an old conjecture of McKay and Wanless.
△ Less
Submitted 22 December, 2021; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Singularity of the k-core of a random graph
Authors:
Asaf Ferber,
Matthew Kwan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Very sparse random graphs are known to typically be singular (i.e., have singular adjacency matrix), due to the presence of "low-degree dependencies'' such as isolated vertices and pairs of degree-1 vertices with the same neighbourhood. We prove that these kinds of dependencies are in some sense the only causes of singularity: for constants $k\ge 3$ and $λ> 0$, an Erdős--Rényi random graph…
▽ More
Very sparse random graphs are known to typically be singular (i.e., have singular adjacency matrix), due to the presence of "low-degree dependencies'' such as isolated vertices and pairs of degree-1 vertices with the same neighbourhood. We prove that these kinds of dependencies are in some sense the only causes of singularity: for constants $k\ge 3$ and $λ> 0$, an Erdős--Rényi random graph $G\sim\mathbb{G}(n,λ/n)$ with $n$ vertices and edge probability $λ/n$ typically has the property that its $k$-core (its largest subgraph with minimum degree at least $k$) is nonsingular. This resolves a conjecture of Vu from the 2014 International Congress of Mathematicians, and adds to a short list of known nonsingularity theorems for "extremely sparse'' random matrices with density $O(1/n)$. A key aspect of our proof is a technique to extract high-degree vertices and use them to "boost'' the rank, starting from approximate rank bounds obtainable from (non-quantitative) spectral convergence machinery due to Bordenave, Lelarge and Salez.
△ Less
Submitted 26 March, 2024; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Random symmetric matrices: rank distribution and irreducibility of the characteristic polynomial
Authors:
Asaf Ferber,
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Conditional on the extended Riemann hypothesis, we show that with high probability, the characteristic polynomial of a random symmetric $\{\pm 1\}$-matrix is irreducible. This addresses a question raised by Eberhard in recent work. The main innovation in our work is establishing sharp estimates regarding the rank distribution of symmetric random $\{\pm 1\}$-matrices over $\mathbb{F}_p$ for primes…
▽ More
Conditional on the extended Riemann hypothesis, we show that with high probability, the characteristic polynomial of a random symmetric $\{\pm 1\}$-matrix is irreducible. This addresses a question raised by Eberhard in recent work. The main innovation in our work is establishing sharp estimates regarding the rank distribution of symmetric random $\{\pm 1\}$-matrices over $\mathbb{F}_p$ for primes $2 < p \leq \exp(O(n^{1/4}))$. Previously, such estimates were available only for $p = o(n^{1/8})$. At the heart of our proof is a way to combine multiple inverse Littlewood--Offord-type results to control the contribution to singularity-type events of vectors in $\mathbb{F}_p^{n}$ with anticoncentration at least $1/p + Ω(1/p^2)$. Previously, inverse Littlewood--Offord-type results only allowed control over vectors with anticoncentration at least $C/p$ for some large constant $C > 1$.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Friendly bisections of random graphs
Authors:
Asaf Ferber,
Matthew Kwan,
Bhargav Narayanan,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Resolving a conjecture of Füredi from 1988, we prove that with high probability, the random graph $G(n,1/2)$ admits a friendly bisection of its vertex set, i.e., a partition of its vertex set into two parts whose sizes differ by at most one in which $n-o(n)$ vertices have at least as many neighbours in their own part as across. The engine of our proof is a new method to study stochastic processes…
▽ More
Resolving a conjecture of Füredi from 1988, we prove that with high probability, the random graph $G(n,1/2)$ admits a friendly bisection of its vertex set, i.e., a partition of its vertex set into two parts whose sizes differ by at most one in which $n-o(n)$ vertices have at least as many neighbours in their own part as across. The engine of our proof is a new method to study stochastic processes driven by degree information in random graphs; this involves combining enumeration techniques with an abstract second moment argument.
△ Less
Submitted 7 June, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Majority Dynamics: The Power of One
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Consider $n=\ell+m$ individuals, where $\ell\le m$, with $\ell$ individuals holding an opinion $A$ and $m$ holding an opinion $B$. Suppose that the individuals communicate via an undirected network $G$, and in each time step, each individual updates her opinion according to a majority rule (that is, according to the opinion of the majority of the individuals she can communicate with in the network…
▽ More
Consider $n=\ell+m$ individuals, where $\ell\le m$, with $\ell$ individuals holding an opinion $A$ and $m$ holding an opinion $B$. Suppose that the individuals communicate via an undirected network $G$, and in each time step, each individual updates her opinion according to a majority rule (that is, according to the opinion of the majority of the individuals she can communicate with in the network). This simple and well studied process is known as "majority dynamics in social networks". Here we consider the case where $G$ is a random network, sampled from the binomial model $\mathbb{G}(n,p)$, where $(\log n)^{-1/16}\le p\le 1-(\log n)^{-1/16}$. We show that for $n=\ell+m$ with $Δ=m-\ell\le(\log n)^{1/4}$, the above process terminates whp after three steps when a consensus is reached. Furthermore, we calculate the (asymptotically) correct probability for opinion $B$ to "win" and show it is \[Φ\bigg(\frac{pΔ\sqrt{2}}{\sqrt{πp(1-p)}}\bigg) + O(n^{-c}),\] where $Φ$ is the Gaussian CDF. This answers two conjectures of Tran and Vu and also a question raised by Berkowitz and Devlin.
The proof technique involves iterated degree revelation and analysis of the resulting degree-constrained random graph models via graph enumeration techniques of McKay and Wormald as well as Canfield, Greenhill, and McKay.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
A Gaussian fixed point random walk
Authors:
Yang P. Liu,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
In this note, we design a discrete random walk on the real line which takes steps $0, \pm 1$ (and one with steps in $\{\pm 1, 2\}$) where at least $96\%$ of the signs are $\pm 1$ in expectation, and which has $\mathcal{N}(0,1)$ as a stationary distribution. As an immediate corollary, we obtain an online version of Banaszczyk's discrepancy result for partial colorings and $\pm 1, 2$ signings. Addit…
▽ More
In this note, we design a discrete random walk on the real line which takes steps $0, \pm 1$ (and one with steps in $\{\pm 1, 2\}$) where at least $96\%$ of the signs are $\pm 1$ in expectation, and which has $\mathcal{N}(0,1)$ as a stationary distribution. As an immediate corollary, we obtain an online version of Banaszczyk's discrepancy result for partial colorings and $\pm 1, 2$ signings. Additionally, we recover linear time algorithms for logarithmic bounds for the Komlós conjecture in an oblivious online setting.
△ Less
Submitted 14 April, 2021;
originally announced April 2021.
-
Rank deficiency of random matrices
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $M_n$ be a random $n\times n$ matrix with i.i.d. $\text{Bernoulli}(1/2)$ entries. We show that for fixed $k\ge 1$, \[\lim_{n\to \infty}\frac{1}{n}\log_2\mathbb{P}[\text{corank }M_n\ge k] = -k.\]
Let $M_n$ be a random $n\times n$ matrix with i.i.d. $\text{Bernoulli}(1/2)$ entries. We show that for fixed $k\ge 1$, \[\lim_{n\to \infty}\frac{1}{n}\log_2\mathbb{P}[\text{corank }M_n\ge k] = -k.\]
△ Less
Submitted 3 March, 2021;
originally announced March 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.
-
The cylindrical width of transitive sets
Authors:
Ashwin Sah,
Mehtaab Sawhney,
Yufei Zhao
Abstract:
We show that for every $1 \le k \le d/(\log d)^C$, every finite transitive set of unit vectors in $\mathbb{R}^d$ lies within distance $O(1/\sqrt{\log (d/k)})$ of some codimension $k$ subspace, and this distance bound is best possible. This extends a result of Ben Green, who proved it for $k=1$.
We show that for every $1 \le k \le d/(\log d)^C$, every finite transitive set of unit vectors in $\mathbb{R}^d$ lies within distance $O(1/\sqrt{\log (d/k)})$ of some codimension $k$ subspace, and this distance bound is best possible. This extends a result of Ben Green, who proved it for $k=1$.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Anticoncentration versus the number of subset sums
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $\vec{w} = (w_1,\dots, w_n) \in \mathbb{R}^{n}$. We show that for any $n^{-2}\leε\le 1$, if \[\#\{\vecξ \in \{0,1\}^{n}: \langle \vecξ, \vec{w} \rangle = τ\} \ge 2^{-εn}\cdot 2^{n}\] for some $τ\in \mathbb{R}$, then \[\#\{\langle \vecξ, \vec{w} \rangle : \vecξ \in \{0,1\}^{n}\} \le 2^{O(\sqrtεn)}.\] This exponentially improves the $ε$ dependence in a recent result of Nederlof, Pawlewicz, Swenn…
▽ More
Let $\vec{w} = (w_1,\dots, w_n) \in \mathbb{R}^{n}$. We show that for any $n^{-2}\leε\le 1$, if \[\#\{\vecξ \in \{0,1\}^{n}: \langle \vecξ, \vec{w} \rangle = τ\} \ge 2^{-εn}\cdot 2^{n}\] for some $τ\in \mathbb{R}$, then \[\#\{\langle \vecξ, \vec{w} \rangle : \vecξ \in \{0,1\}^{n}\} \le 2^{O(\sqrtεn)}.\] This exponentially improves the $ε$ dependence in a recent result of Nederlof, Pawlewicz, Swennenhuis, and Węgrzycki and leads to a similar improvement in the parameterized (by the number of bins) runtime of bin packing.
△ Less
Submitted 14 June, 2021; v1 submitted 19 January, 2021;
originally announced January 2021.
-
Paths of given length in tournaments
Authors:
Ashwin Sah,
Mehtaab Sawhney,
Yufei Zhao
Abstract:
We prove that every $n$-vertex tournament has at most $n\left(\frac{n-1}{2}\right)^k$ walks of length $k$.
We prove that every $n$-vertex tournament has at most $n\left(\frac{n-1}{2}\right)^k$ walks of length $k$.
△ Less
Submitted 9 February, 2023; v1 submitted 30 November, 2020;
originally announced December 2020.
-
Optimal and algorithmic norm regularization of random matrices
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $A$ be an $n\times n$ random matrix whose entries are i.i.d. with mean $0$ and variance $1$. We present a deterministic polynomial time algorithm which, with probability at least $1-2\exp(-Ω(εn))$ in the choice of $A$, finds an $εn \times εn$ sub-matrix such that zeroing it out results in $\widetilde{A}$ with \[\|\widetilde{A}\| = O\left(\sqrt{n/ε}\right).\] Our result is optimal up to a const…
▽ More
Let $A$ be an $n\times n$ random matrix whose entries are i.i.d. with mean $0$ and variance $1$. We present a deterministic polynomial time algorithm which, with probability at least $1-2\exp(-Ω(εn))$ in the choice of $A$, finds an $εn \times εn$ sub-matrix such that zeroing it out results in $\widetilde{A}$ with \[\|\widetilde{A}\| = O\left(\sqrt{n/ε}\right).\] Our result is optimal up to a constant factor and improves previous results of Rebrova and Vershynin, and Rebrova. We also prove an analogous result for $A$ a symmetric $n\times n$ random matrix whose upper-diagonal entries are i.i.d. with mean $0$ and variance $1$.
△ Less
Submitted 30 November, 2020;
originally announced December 2020.
-
On the smallest singular value of symmetric random matrices
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We show that for an $n\times n$ random symmetric matrix $A_n$, whose entries on and above the diagonal are independent copies of a sub-Gaussian random variable $ξ$ with mean $0$ and variance $1$, \[\mathbb{P}[s_n(A_n) \le ε/\sqrt{n}] \le O_ξ(ε^{1/8} + \exp(-Ω_ξ(n^{1/2}))) \quad \text{for all } ε\ge 0.\] This improves a result of Vershynin, who obtained such a bound with $n^{1/2}$ replaced by…
▽ More
We show that for an $n\times n$ random symmetric matrix $A_n$, whose entries on and above the diagonal are independent copies of a sub-Gaussian random variable $ξ$ with mean $0$ and variance $1$, \[\mathbb{P}[s_n(A_n) \le ε/\sqrt{n}] \le O_ξ(ε^{1/8} + \exp(-Ω_ξ(n^{1/2}))) \quad \text{for all } ε\ge 0.\] This improves a result of Vershynin, who obtained such a bound with $n^{1/2}$ replaced by $n^{c}$ for a small constant $c$, and $1/8$ replaced by $(1/8) + η$ (with implicit constants also depending on $η> 0$). Furthermore, when $ξ$ is a Rademacher random variable, we prove that \[\mathbb{P}[s_n(A_n) \le ε/\sqrt{n}] \le O(ε^{1/8} + \exp(-Ω((\log{n})^{1/4}n^{1/2}))) \quad \text{for all } ε\ge 0.\] The special case $ε= 0$ improves a recent result of Campos, Mattos, Morris, and Morrison, which showed that $\mathbb{P}[s_n(A_n) = 0] \le O(\exp(-Ω(n^{1/2}))).$
The main innovation in our work are new notions of arithmetic structure -- the Median Regularized Least Common Denominator and the Median Threshold, which we believe should be more generally useful in contexts where one needs to combine anticoncentration information of different parts of a vector.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Singularity of discrete random matrices
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $ξ$ be a non-constant real-valued random variable with finite support, and let $M_{n}(ξ)$ denote an $n\times n$ random matrix with entries that are independent copies of $ξ$. For $ξ$ which is not uniform on its support, we show that \begin{align*} \mathbb{P}[M_{n}(ξ)\text{ is singular}] &= \mathbb{P}[\text{zero row or column}] + (1+o_n(1))\mathbb{P}[\text{two equal (up to sign) rows or columns…
▽ More
Let $ξ$ be a non-constant real-valued random variable with finite support, and let $M_{n}(ξ)$ denote an $n\times n$ random matrix with entries that are independent copies of $ξ$. For $ξ$ which is not uniform on its support, we show that \begin{align*} \mathbb{P}[M_{n}(ξ)\text{ is singular}] &= \mathbb{P}[\text{zero row or column}] + (1+o_n(1))\mathbb{P}[\text{two equal (up to sign) rows or columns}], \end{align*} thereby confirming a folklore conjecture. As special cases, we obtain:
(1) For $ξ= \text{Bernoulli}(p)$ with fixed $p \in (0,1/2)$, \[\mathbb{P}[M_{n}(ξ)\text{ is singular}] = 2n(1-p)^{n} + (1+o_n(1))n(n-1)(p^2 + (1-p)^2)^{n},\] which determines the singularity probability to two asymptotic terms. Previously, no result of such precision was available in the study of the singularity of random matrices.
(2) For $ξ= \text{Bernoulli}(p)$ with fixed $p \in (1/2,1)$, \[\mathbb{P}[M_{n}(ξ)\text{ is singular}] = (1+o_n(1))n(n-1)(p^2 + (1-p)^2)^{n}.\] Previously, only the much weaker upper bound of $(\sqrt{p} + o_n(1))^{n}$ was known due to the work of Bourgain-Vu-Wood.
For $ξ$ which is uniform on its support:
(1) We show that \begin{align*} \mathbb{P}[M_{n}(ξ)\text{ is singular}] &= (1+o_n(1))^{n}\mathbb{P}[\text{two rows or columns are equal}]. \end{align*} (2) Perhaps more importantly, we provide a sharp analysis of the contribution of the `compressible' part of the unit sphere to the lower tail of the smallest singular value of $M_{n}(ξ)$.
△ Less
Submitted 5 May, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Sharp invertibility of random Bernoulli matrices
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $p \in (0,1/2)$ be fixed, and let $B_n(p)$ be an $n\times n$ random matrix with i.i.d. Bernoulli random variables with mean $p$. We show that for all $t \ge 0$, \[\mathbb{P}[s_n(B_n(p)) \le tn^{-1/2}] \le C_p t + 2n(1-p)^{n} + C_p (1-p-ε_p)^{n},\] where $s_n(B_n(p))$ denotes the least singular value of $B_n(p)$ and $C_p, ε_p > 0$ are constants depending only on $p$. In particular, \[\mathbb{P}…
▽ More
Let $p \in (0,1/2)$ be fixed, and let $B_n(p)$ be an $n\times n$ random matrix with i.i.d. Bernoulli random variables with mean $p$. We show that for all $t \ge 0$, \[\mathbb{P}[s_n(B_n(p)) \le tn^{-1/2}] \le C_p t + 2n(1-p)^{n} + C_p (1-p-ε_p)^{n},\] where $s_n(B_n(p))$ denotes the least singular value of $B_n(p)$ and $C_p, ε_p > 0$ are constants depending only on $p$. In particular, \[\mathbb{P}[B_{n}(p) \text{ is singular}] = 2n(1-p)^{n} + C_{p}(1-p-ε_p)^{n},\] which confirms a conjecture of Litvak and Tikhomirov.
We also confirm a conjecture of Nguyen by showing that if $Q_{n}$ is an $n\times n$ random matrix with independent rows that are uniformly distributed on the central slice of $\{0,1\}^{n}$, then \[\mathbb{P}[Q_{n} \text{ is singular}] = (1/2 + o_n(1))^{n}.\] This provides, for the first time, a sharp determination of the logarithm of the probability of singularity in any natural model of random discrete matrices with dependent entries.
△ Less
Submitted 5 May, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
On the smoothed analysis of the smallest singular value with discrete noise
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $A$ be an $n\times n$ real matrix, and let $M$ be an $n\times n$ random matrix whose entries are i.i.d sub-Gaussian random variables with mean $0$ and variance $1$. We make two contributions to the study of $s_n(A+M)$, the smallest singular value of $A+M$.
(1) We show that for all $ε\geq 0$,
$$\mathbb{P}[s_n(A + M) \leq ε] = O(ε\sqrt{n}) + 2e^{-Ω(n)},$$
provided only that $A$ has $Ω(n)$ si…
▽ More
Let $A$ be an $n\times n$ real matrix, and let $M$ be an $n\times n$ random matrix whose entries are i.i.d sub-Gaussian random variables with mean $0$ and variance $1$. We make two contributions to the study of $s_n(A+M)$, the smallest singular value of $A+M$.
(1) We show that for all $ε\geq 0$,
$$\mathbb{P}[s_n(A + M) \leq ε] = O(ε\sqrt{n}) + 2e^{-Ω(n)},$$
provided only that $A$ has $Ω(n)$ singular values which are $O(\sqrt{n})$. This extends a well-known result of Rudelson and Vershynin, which requires all singular values of $A$ to be $O(\sqrt{n})$.
(2) We show that any bound of the form
$$\sup_{\|{A}\|\leq n^{C_1}}\mathbb{P}[s_n(A+M)\leq n^{-C_3}] \leq n^{-C_2}$$
must have $C_3 = Ω(C_1 \sqrt{C_2})$. This complements a result of Tao and Vu, who proved such a bound with $C_3 = O(C_1C_2 + C_1 + 1)$, and counters their speculation of possibly taking $C_3 = O(C_1 + C_2)$.
△ Less
Submitted 3 September, 2020;
originally announced September 2020.
-
The smallest singular value of dense random regular digraphs
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
Let $A$ be the adjacency matrix of a uniformly random $d$-regular digraph on $n$ vertices, and suppose that $\min(d,n-d)\geqλn$. We show that for any $κ\geq 0$, \[\mathbb{P}[s_n(A)\leqκ]\leq C_λκ\sqrt{n}+2e^{-c_λn}.\] Up to the constants $C_λ, c_λ> 0$, our bound matches optimal bounds for $n\times n$ random matrices, each of whose entries is an i.i.d $\text{Ber}(d/n)$ random variable. The special…
▽ More
Let $A$ be the adjacency matrix of a uniformly random $d$-regular digraph on $n$ vertices, and suppose that $\min(d,n-d)\geqλn$. We show that for any $κ\geq 0$, \[\mathbb{P}[s_n(A)\leqκ]\leq C_λκ\sqrt{n}+2e^{-c_λn}.\] Up to the constants $C_λ, c_λ> 0$, our bound matches optimal bounds for $n\times n$ random matrices, each of whose entries is an i.i.d $\text{Ber}(d/n)$ random variable. The special case $κ= 0$ of our result confirms a conjecture of Cook regarding the probability of singularity of dense random regular digraphs.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Perfectly Sampling $k\geq (8/3 +o(1))Δ$-Colorings in Graphs
Authors:
Vishesh Jain,
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We present a randomized algorithm which takes as input an undirected graph $G$ on $n$ vertices with maximum degree $Δ$, and a number of colors $k \geq (8/3 + o_Δ(1))Δ$, and returns -- in expected time $\tilde{O}(nΔ^{2}\log{k})$ -- a proper $k$-coloring of $G$ distributed perfectly uniformly on the set of all proper $k$-colorings of $G$. Notably, our sampler breaks the barrier at $k = 3Δ$ encounter…
▽ More
We present a randomized algorithm which takes as input an undirected graph $G$ on $n$ vertices with maximum degree $Δ$, and a number of colors $k \geq (8/3 + o_Δ(1))Δ$, and returns -- in expected time $\tilde{O}(nΔ^{2}\log{k})$ -- a proper $k$-coloring of $G$ distributed perfectly uniformly on the set of all proper $k$-colorings of $G$. Notably, our sampler breaks the barrier at $k = 3Δ$ encountered in recent work of Bhandari and Chakraborty [STOC 2020]. We also sketch how to modify our methods to relax the restriction on $k$ to $k \geq (8/3 - ε_0)Δ$ for an absolute constant $ε_0 > 0$.
As in the work of Bhandari and Chakraborty, and the pioneering work of Huber [STOC 1998], our sampler is based on Coupling from the Past [Propp&Wilson, Random Struct. Algorithms, 1995] and the bounding chain method [Huber, STOC 1998; Häggström&Nelander, Scand. J. Statist., 1999]. Our innovations include a novel bounding chain routine inspired by Jerrum's analysis of the Glauber dynamics [Random Struct. Algorithms, 1995], as well as a preconditioning routine for bounding chains which uses the algorithmic Lovász Local Lemma [Moser&Tardos, J.ACM, 2010].
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
Discrepancy Minimization via a Self-Balancing Walk
Authors:
Ryan Alweiss,
Yang P. Liu,
Mehtaab Sawhney
Abstract:
We study discrepancy minimization for vectors in $\mathbb{R}^n$ under various settings. The main result is the analysis of a new simple random process in multiple dimensions through a comparison argument. As corollaries, we obtain bounds which are tight up to logarithmic factors for several problems in online vector balancing posed by Bansal, Jiang, Singla, and Sinha (STOC 2020), as well as linear…
▽ More
We study discrepancy minimization for vectors in $\mathbb{R}^n$ under various settings. The main result is the analysis of a new simple random process in multiple dimensions through a comparison argument. As corollaries, we obtain bounds which are tight up to logarithmic factors for several problems in online vector balancing posed by Bansal, Jiang, Singla, and Sinha (STOC 2020), as well as linear time algorithms for logarithmic bounds for the Komlós conjecture.
△ Less
Submitted 6 August, 2020; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Local limit theorems for subgraph counts
Authors:
Ashwin Sah,
Mehtaab Sawhney
Abstract:
We introduce a general framework for studying anticoncentration and local limit theorems for random variables, including graph statistics. Our methods involve an interplay between Fourier analysis, decoupling, hypercontractivity of Boolean functions, and transference between ``fixed-size'' and ``independent'' models. We also adapt a notion of ``graph factors'' due to Janson.
As a consequence, we…
▽ More
We introduce a general framework for studying anticoncentration and local limit theorems for random variables, including graph statistics. Our methods involve an interplay between Fourier analysis, decoupling, hypercontractivity of Boolean functions, and transference between ``fixed-size'' and ``independent'' models. We also adapt a notion of ``graph factors'' due to Janson.
As a consequence, we derive a local central limit theorem for connected subgraph counts in the Erdős-Renyi random graph $G(n,p)$, building on work of Gilmer and Kopparty and of Berkowitz. These results improve an anticoncentration result of Fox, Kwan, and Sauermann and partially answers a question of Fox, Kwan, and Sauermann. We also derive a local limit central limit theorem for induced subgraph counts, as long as $p$ is bounded away from a set of ``problematic'' densities, partially answering a question of Fox, Kwan, and Sauermann. We then prove these restrictions are necessary by exhibiting a disconnected graph for which anticoncentration for subgraph counts at the optimal scale fails for all constant $p$, and finding a graph $H$ for which anticoncentration for induced subgraph counts fails in $G(n,1/2)$. These counterexamples resolve anticoncentration conjectures of Fox, Kwan, and Sauermann in the negative.
Finally, we also examine the behavior of counts of $k$-term arithmetic progressions in subsets of $\mathbb{Z}/n\mathbb{Z}$ and deduce a local limit theorem wherein the behavior is Gaussian at a global scale but has nontrivial local oscillations (according to a Ramanujan theta function). These results improve on results of and answer questions of the authors and Berkowitz, and answer a question of Fox, Kwan, and Sauermann.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.