-
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.
-
Contextual Spelling Correction with Language Model for Low-resource Setting
Authors:
Nishant Luitel,
Nirajan Bekoju,
Anand Kumar Sah,
Subarna Shakya
Abstract:
The task of Spell Correction(SC) in low-resource languages presents a significant challenge due to the availability of only a limited corpus of data and no annotated spelling correction datasets. To tackle these challenges a small-scale word-based transformer LM is trained to provide the SC model with contextual understanding. Further, the probabilistic error rules are extracted from the corpus in…
▽ More
The task of Spell Correction(SC) in low-resource languages presents a significant challenge due to the availability of only a limited corpus of data and no annotated spelling correction datasets. To tackle these challenges a small-scale word-based transformer LM is trained to provide the SC model with contextual understanding. Further, the probabilistic error rules are extracted from the corpus in an unsupervised way to model the tendency of error happening(error model). Then the combination of LM and error model is used to develop the SC model through the well-known noisy channel framework. The effectiveness of this approach is demonstrated through experiments on the Nepali language where there is access to just an unprocessed corpus of textual data.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Can Perplexity Predict Fine-Tuning Performance? An Investigation of Tokenization Effects on Sequential Language Models for Nepali
Authors:
Nishant Luitel,
Nirajan Bekoju,
Anand Kumar Sah,
Subarna Shakya
Abstract:
Recent language models use subwording mechanisms to handle Out-of-Vocabulary(OOV) words seen during test time and, their generation capacity is generally measured using perplexity, an intrinsic metric. It is known that increasing the subword granularity results in a decrease of perplexity value. However, the study of how subwording affects the understanding capacity of language models has been ver…
▽ More
Recent language models use subwording mechanisms to handle Out-of-Vocabulary(OOV) words seen during test time and, their generation capacity is generally measured using perplexity, an intrinsic metric. It is known that increasing the subword granularity results in a decrease of perplexity value. However, the study of how subwording affects the understanding capacity of language models has been very few and only limited to a handful of languages. To reduce this gap we used 6 different tokenization schemes to pretrain relatively small language models in Nepali and used the representations learned to finetune on several downstream tasks. Although byte-level BPE algorithm has been used in recent models like GPT, RoBERTa we show that on average they are sub-optimal in comparison to algorithms such as SentencePiece in finetuning performances for Nepali. Additionally, similar recent studies have focused on the Bert-based language model. We, however, pretrain and finetune sequential transformer-based language models.
△ Less
Submitted 28 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.
-
Decay-protected superconducting qubit with fast control enabled by integrated on-chip filters
Authors:
Aashish Sah,
Suman Kundu,
Heikki Suominen,
Qiming Chen,
Mikko Möttönen
Abstract:
Subharmonic control of superconducting qubits simultaneously facilitates fast single-qubit gates, long coherence times, and reduced thermal load. However, its implementation requires a very strong coupling of the drive line to the qubit or an excessively strong microwave signal. To address this challenge, we introduce on-chip filters of the qubit drive that exhibit a stopband at the resonance freq…
▽ More
Subharmonic control of superconducting qubits simultaneously facilitates fast single-qubit gates, long coherence times, and reduced thermal load. However, its implementation requires a very strong coupling of the drive line to the qubit or an excessively strong microwave signal. To address this challenge, we introduce on-chip filters of the qubit drive that exhibit a stopband at the resonance frequency and ultra-strong coupling at the subharmonic frequency. The on-chip filters are designed to demonstrate qubit $T_1$ in the millisecond range while enabling fast gates of tens of nanoseconds with subharmonic control. For a resonant drive, we experimentally show a maximum of 200-fold improvement in the measured $T_1$ and a factor of 220 suppression in the measured Rabi frequency at the stopband. Furthermore, we successfully implemented subharmonic driving of Rabi oscillations with a $π$-pulse duration of 12 ns. Our demonstration of on-chip filters and the resulting introduction of efficient subharmonic driving in a two-dimensional quantum processor paves the way for a scalable qubit architecture with reduced thermal load and noise from the control line.
△ Less
Submitted 13 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.
-
Many-excitation removal of a transmon qubit using a single-junction quantum-circuit refrigerator and a two-tone microwave drive
Authors:
Wallace Teixeira,
Timm Mörstedt,
Arto Viitanen,
Heidi Kivijärvi,
András Gunyhó,
Maaria Tiiri,
Suman Kundu,
Aashish Sah,
Vasilii Vadimov,
Mikko Möttönen
Abstract:
Achieving fast and precise initialization of qubits is a critical requirement for the successful operation of quantum computers. The combination of engineered environments with all-microwave techniques has recently emerged as a promising approach for the reset of superconducting quantum devices. In this work, we experimentally demonstrate the utilization of a single-junction quantum-circuit refrig…
▽ More
Achieving fast and precise initialization of qubits is a critical requirement for the successful operation of quantum computers. The combination of engineered environments with all-microwave techniques has recently emerged as a promising approach for the reset of superconducting quantum devices. In this work, we experimentally demonstrate the utilization of a single-junction quantum-circuit refrigerator (QCR) for an expeditious removal of several excitations from a transmon qubit. The QCR is indirectly coupled to the transmon through a resonator in the dispersive regime, constituting a carefully engineered environmental spectrum for the transmon. Using single-shot readout, we observe excitation stabilization times down to roughly $500$ ns, a $20$-fold speedup with QCR and a simultaneous two-tone drive addressing the $e$-$f$ and $f0$-$g1$ transitions of the system. Our results are obtained at a $48$-mK fridge temperature and without postselection, fully capturing the advantage of the protocol for the short-time dynamics and the drive-induced detrimental asymptotic behavior in the presence of relatively hot other baths of the transmon. We validate our results with a detailed Liouvillian model truncated up to the three-excitation subspace, from which we estimate the performance of the protocol in optimized scenarios, such as cold transmon baths and fine-tuned driving frequencies. These results pave the way for optimized reset of quantum-electric devices using engineered environments and for dissipation-engineered state preparation.
△ Less
Submitted 16 June, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
BonnBeetClouds3D: A Dataset Towards Point Cloud-based Organ-level Phenoty** of Sugar Beet Plants under Field Conditions
Authors:
Elias Marks,
Jonas Bömer,
Federico Magistri,
Anurag Sah,
Jens Behley,
Cyrill Stachniss
Abstract:
Agricultural production is facing severe challenges in the next decades induced by climate change and the need for sustainability, reducing its impact on the environment. Advancements in field management through non-chemical weeding by robots in combination with monitoring of crops by autonomous unmanned aerial vehicles (UAVs) and breeding of novel and more resilient crop varieties are helpful to…
▽ More
Agricultural production is facing severe challenges in the next decades induced by climate change and the need for sustainability, reducing its impact on the environment. Advancements in field management through non-chemical weeding by robots in combination with monitoring of crops by autonomous unmanned aerial vehicles (UAVs) and breeding of novel and more resilient crop varieties are helpful to address these challenges. The analysis of plant traits, called phenoty**, is an essential activity in plant breeding, it however involves a great amount of manual labor. With this paper, we address the problem of automatic fine-grained organ-level geometric analysis needed for precision phenoty**. As the availability of real-world data in this domain is relatively scarce, we propose a novel dataset that was acquired using UAVs capturing high-resolution images of a real breeding trial containing 48 plant varieties and therefore covering great morphological and appearance diversity. This enables the development of approaches for autonomous phenoty** that generalize well to different varieties. Based on overlap** high-resolution images from multiple viewing angles, we compute photogrammetric dense point clouds and provide detailed and accurate point-wise labels for plants, leaves, and salient points as the tip and the base. Additionally, we include measurements of phenotypic traits performed by experts from the German Federal Plant Variety Office on the real plants, allowing the evaluation of new approaches not only on segmentation and keypoint detection but also directly on the downstream tasks. The provided labeled point clouds enable fine-grained plant analysis and support further progress in the development of automatic phenoty** approaches, but also enable further research in surface reconstruction, point cloud completion, and semantic interpretation of point clouds.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Interactive Visual Task Learning for Robots
Authors:
Weiwei Gu,
Anant Sah,
Nakul Gopalan
Abstract:
We present a framework for robots to learn novel visual concepts and tasks via in-situ linguistic interactions with human users. Previous approaches have either used large pre-trained visual models to infer novel objects zero-shot, or added novel concepts along with their attributes and representations to a concept hierarchy. We extend the approaches that focus on learning visual concept hierarchi…
▽ More
We present a framework for robots to learn novel visual concepts and tasks via in-situ linguistic interactions with human users. Previous approaches have either used large pre-trained visual models to infer novel objects zero-shot, or added novel concepts along with their attributes and representations to a concept hierarchy. We extend the approaches that focus on learning visual concept hierarchies by enabling them to learn novel concepts and solve unseen robotics tasks with them. To enable a visual concept learner to solve robotics tasks one-shot, we developed two distinct techniques. Firstly, we propose a novel approach, Hi-Viscont(HIerarchical VISual CONcept learner for Task), which augments information of a novel concept to its parent nodes within a concept hierarchy. This information propagation allows all concepts in a hierarchy to update as novel concepts are taught in a continual learning setting. Secondly, we represent a visual task as a scene graph with language annotations, allowing us to create novel permutations of a demonstrated task zero-shot in-situ. We present two sets of results. Firstly, we compare Hi-Viscont with the baseline model (FALCON) on visual question answering(VQA) in three domains. While being comparable to the baseline model on leaf level concepts, Hi-Viscont achieves an improvement of over 9% on non-leaf concepts on average. We compare our model's performance against the baseline FALCON model. Our framework achieves 33% improvements in success rate metric, and 19% improvements in the object level accuracy compared to the baseline model. With both of these results we demonstrate the ability of our model to learn tasks and concepts in a continual learning setting on the robot.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
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.
-
Cross-modal Contrastive Learning with Asymmetric Co-attention Network for Video Moment Retrieval
Authors:
Love Panta,
Prashant Shrestha,
Brabeem Sapkota,
Amrita Bhattarai,
Suresh Manandhar,
Anand Kumar Sah
Abstract:
Video moment retrieval is a challenging task requiring fine-grained interactions between video and text modalities. Recent work in image-text pretraining has demonstrated that most existing pretrained models suffer from information asymmetry due to the difference in length between visual and textual sequences. We question whether the same problem also exists in the video-text domain with an auxili…
▽ More
Video moment retrieval is a challenging task requiring fine-grained interactions between video and text modalities. Recent work in image-text pretraining has demonstrated that most existing pretrained models suffer from information asymmetry due to the difference in length between visual and textual sequences. We question whether the same problem also exists in the video-text domain with an auxiliary need to preserve both spatial and temporal information. Thus, we evaluate a recently proposed solution involving the addition of an asymmetric co-attention network for video grounding tasks. Additionally, we incorporate momentum contrastive loss for robust, discriminative representation learning in both modalities. We note that the integration of these supplementary modules yields better performance compared to state-of-the-art models on the TACoS dataset and comparable results on ActivityNet Captions, all while utilizing significantly fewer parameters with respect to baseline.
△ Less
Submitted 12 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.
-
Compact inductor-capacitor resonators at sub-gigahertz frequencies
Authors:
Qi-Ming Chen,
Priyank Singh,
Rostislav Duda,
Giacomo Catto,
Aarne Keränen,
Arman Alizadeh,
Timm Mörstedt,
Aashish Sah,
András Gunyhó,
Wei Liu,
Mikko Möttönen
Abstract:
Compact inductor-capacitor (LC) resonators, in contrast to coplanar waveguide (CPW) resonators, have a simple lumped-element circuit representation but usually call for sophisticated finite-element method (FEM) simulations for an accurate modelling. Here we present an simple analytical model for a family of coplanar LC resonators where the electrical properties are directly obtained from the circu…
▽ More
Compact inductor-capacitor (LC) resonators, in contrast to coplanar waveguide (CPW) resonators, have a simple lumped-element circuit representation but usually call for sophisticated finite-element method (FEM) simulations for an accurate modelling. Here we present an simple analytical model for a family of coplanar LC resonators where the electrical properties are directly obtained from the circuit geometry with a satisfying accuracy. Our experimental results on $10$ high-internal-quality-factor resonators ($Q_{\rm i}\gtrsim 2\times 10^{5}$), with frequency ranging roughly from $300\,{\rm MHz}$ to $1\,{\rm GHz}$, show an excellent consistency with both the derived analytical model and detailed FEM simulations. These results showcase the ability to design sub-gigahertz resonators with less than $2\%$ deviation in the resonance frequency, which has immediate applications, for example, in the implementation of ultrasensitive cryogenic detectors. The achieved compact resonator size of the order of a square millimeter indicates a feasible way to integrate hundreds of microwave resonators on a single chip for realizing photonic lattices.
△ Less
Submitted 25 April, 2023;
originally announced April 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.
-
On Weyl-Heisenberg Frames
Authors:
Satyapriya,
Raj Kumar,
Ashok K. Sah,
Sheetal
Abstract:
In this paper we have generalized and studied the $K$-Weyl-Heisenberg frames, where $K$ is a bounded linear operator on $L^2(\mathbb{R}^d)$. We have obtained necessary and sufficient conditions for acertain system to be a $K$-Weyl-Heisenberg frame. We have also given the invariance property of these $K$-Weyl-Heisenberg frames.
In this paper we have generalized and studied the $K$-Weyl-Heisenberg frames, where $K$ is a bounded linear operator on $L^2(\mathbb{R}^d)$. We have obtained necessary and sufficient conditions for acertain system to be a $K$-Weyl-Heisenberg frame. We have also given the invariance property of these $K$-Weyl-Heisenberg frames.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Online Edge Coloring via Tree Recurrences and Correlation Decay
Authors:
Janardhan Kulkarni,
Yang P. Liu,
Ashwin Sah,
Mehtaab Sawhney,
Jakub Tarnawski
Abstract:
We give an online algorithm that with high probability computes a $\left(\frac{e}{e-1} + o(1)\right)Δ$ edge coloring on a graph $G$ with maximum degree $Δ= ω(\log n)$ under online edge arrivals against oblivious adversaries, making first progress on the conjecture of Bar-Noy, Motwani, and Naor in this general setting. Our algorithm is based on reducing to a matching problem on locally treelike gra…
▽ More
We give an online algorithm that with high probability computes a $\left(\frac{e}{e-1} + o(1)\right)Δ$ edge coloring on a graph $G$ with maximum degree $Δ= ω(\log n)$ under online edge arrivals against oblivious adversaries, making first progress on the conjecture of Bar-Noy, Motwani, and Naor in this general setting. Our algorithm is based on reducing to a matching problem on locally treelike graphs, and then applying a tree recurrences based approach for arguing correlation decay.
△ Less
Submitted 1 November, 2021;
originally announced November 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.
-
On Retro Frame Associated With Measurable Space
Authors:
Raj Kumar,
Ashok K. Sah,
Satyapriya,
Sheetal
Abstract:
Frames are redundant system which are useful in the reconstruction of certain classes of spaces. Duffin and Schaeffer introduced frames for Hilbert spaces, while addressing some deep problems in non harmonic Fourier series. The dual of a frame (Hilbert) always exists and can be obtained in a natural way. In this paper we introduce the notion of $Ω_0$-type duality of retro $(Ω,μ)$-frames are given.…
▽ More
Frames are redundant system which are useful in the reconstruction of certain classes of spaces. Duffin and Schaeffer introduced frames for Hilbert spaces, while addressing some deep problems in non harmonic Fourier series. The dual of a frame (Hilbert) always exists and can be obtained in a natural way. In this paper we introduce the notion of $Ω_0$-type duality of retro $(Ω,μ)$-frames are given. Necessary and sufficient conditions for the existence of the dual of retro $(Ω,μ)$-frames are obtained. A special class of retro $(Ω,μ)$-frames which always admit a dual frame is discussed.
△ Less
Submitted 14 November, 2021; v1 submitted 17 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.