TY - JOUR

T1 - On the counting problem in inverse Littlewood–Offord theory

AU - Ferber, Asaf

AU - Jain, Vishesh

AU - Luh, Kyle

AU - Samotij, Wojciech

N1 - Publisher Copyright:
© 2020 The Authors. The publishing rights in this article are licensed to the London Mathematical Society under an exclusive licence.

PY - 2021/6

Y1 - 2021/6

N2 - Let (Formula presented.) be independent and identically distributed Rademacher random variables taking values (Formula presented.) with probability (Formula presented.) each. Given an integer vector (Formula presented.), its concentration probability is the quantity (Formula presented.). The Littlewood–Offord problem asks for bounds on (Formula presented.) under various hypotheses on (Formula presented.), whereas the inverse Littlewood–Offord problem, posed by Tao and Vu, asks for a characterization of all vectors (Formula presented.) for which (Formula presented.) is large. In this paper, we study the associated counting problem: How many integer vectors (Formula presented.) belonging to a specified set have large (Formula presented.) ? The motivation for our study is that in typical applications, the inverse Littlewood–Offord theorems are only used to obtain such counting estimates. Using a more direct approach, we obtain significantly better bounds for this problem than those obtained using the inverse Littlewood–Offord theorems of Tao and Vu and of Nguyen and Vu. Moreover, we develop a framework for deriving upper bounds on the probability of singularity of random discrete matrices that utilizes our counting result. To illustrate the methods, we present the first ‘exponential-type’ (that is, (Formula presented.) for some positive constant (Formula presented.)) upper bounds on the singularity probability for the following two models: (i) adjacency matrices of dense signed random regular digraphs, for which the previous best-known bound is (Formula presented.), due to Cook; and (ii) dense row-regular (Formula presented.) -matrices, for which the previous best-known bound is (Formula presented.) for any constant (Formula presented.), due to Nguyen.

AB - Let (Formula presented.) be independent and identically distributed Rademacher random variables taking values (Formula presented.) with probability (Formula presented.) each. Given an integer vector (Formula presented.), its concentration probability is the quantity (Formula presented.). The Littlewood–Offord problem asks for bounds on (Formula presented.) under various hypotheses on (Formula presented.), whereas the inverse Littlewood–Offord problem, posed by Tao and Vu, asks for a characterization of all vectors (Formula presented.) for which (Formula presented.) is large. In this paper, we study the associated counting problem: How many integer vectors (Formula presented.) belonging to a specified set have large (Formula presented.) ? The motivation for our study is that in typical applications, the inverse Littlewood–Offord theorems are only used to obtain such counting estimates. Using a more direct approach, we obtain significantly better bounds for this problem than those obtained using the inverse Littlewood–Offord theorems of Tao and Vu and of Nguyen and Vu. Moreover, we develop a framework for deriving upper bounds on the probability of singularity of random discrete matrices that utilizes our counting result. To illustrate the methods, we present the first ‘exponential-type’ (that is, (Formula presented.) for some positive constant (Formula presented.)) upper bounds on the singularity probability for the following two models: (i) adjacency matrices of dense signed random regular digraphs, for which the previous best-known bound is (Formula presented.), due to Cook; and (ii) dense row-regular (Formula presented.) -matrices, for which the previous best-known bound is (Formula presented.) for any constant (Formula presented.), due to Nguyen.

KW - 05A16 (primary)

KW - 60B20

UR - http://www.scopus.com/inward/record.url?scp=85096651754&partnerID=8YFLogxK

U2 - 10.1112/jlms.12409

DO - 10.1112/jlms.12409

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85096651754

VL - 103

SP - 1333

EP - 1362

JO - Journal of the London Mathematical Society

JF - Journal of the London Mathematical Society

SN - 0024-6107

IS - 4

ER -