-
arXiv:2312.06370 [pdf, ps, other]
On the maximum degree of induced subgraphs of the Kneser graph
Abstract: For integers $n \geq k \geq 1$, the {\em Kneser graph} $K(n, k)$ is the graph with vertex-set consisting of all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets are adjacent in $K(n,k)$ if they are disjoint. We show that if $(n,k,s) \in \mathbb{N}^3$ with $n > 10000 k s^5$ and $\mathcal{F}$ is set of vertices of $K(n,k)$ of size larger than… ▽ More
Submitted 18 December, 2023; v1 submitted 11 December, 2023; originally announced December 2023.
Comments: 29 pages. Minor corrections; references added; added an explanation of how the main result essentially solves a problem of Gerbner, Lemons, Palmer, Patkós and Szécsi
MSC Class: 05D05
-
arXiv:2208.06858 [pdf, ps, other]
The success probability in Levine's hat problem, and independent sets in graphs
Abstract: Lionel Levine's hat challenge has $t$ players, each with a (very large, or infinite) stack of hats on their head, each hat independently colored at random black or white. The players are allowed to coordinate before the random colors are chosen, but not after. Each player sees all hats except for those on her own head. They then proceed to simultaneously try and each pick a black hat from their re… ▽ More
Submitted 21 August, 2023; v1 submitted 14 August, 2022; originally announced August 2022.
Comments: arXiv admin note: substantial text overlap with arXiv:2103.01541, arXiv:2103.05998
-
arXiv:2207.13982 [pdf, ps, other]
Sharp thresholds for Ramsey properties
Abstract: In this work, we develop a unified framework for establishing sharp threshold results for various Ramsey properties. To achieve this, we view such properties as non-colourability of auxiliary hypergraphs. Our main technical result gives sufficient conditions on a sequence of such hypergraphs that guarantee that this non-colourability property has a sharp threshold in subhypergraphs induced by rand… ▽ More
Submitted 28 July, 2022; originally announced July 2022.
Comments: 64 pages
-
arXiv:2105.03246 [pdf, ps, other]
FKN, first proof, rewritten
Abstract: About twenty years ago we wrote a paper, "Boolean Functions whose Fourier Transform is Concentrated on the First Two Levels", \cite{FKN}. In it we offered several proofs of the statement that Boolean functions $f(x_1,x_2,\dots,x_n)$, whose Fourier coefficients are concentrated on the lowest two levels are close to a constant function or to a function of the form $f=x_k$ or $f=1-x_k$. Returning to… ▽ More
Submitted 6 May, 2021; originally announced May 2021.
-
arXiv:2103.01541 [pdf, ps, other]
The success probability in Lionel Levine's hat problem is strictly decreasing with the number of players, and this is related to interesting questions regarding Hamming powers of Kneser graphs and independent sets in random subgraphs
Abstract: Lionel Levine's hat challenge has $t$ players, each with a (very large, or infinite) stack of hats on their head, each hat independently colored at random black or white. The players are allowed to coordinate before the random colors are chosen, but not after. Each player sees all hats except for those on her own head. They then proceed to simultaneously try and each pick a black hat from their re… ▽ More
Submitted 9 March, 2021; v1 submitted 2 March, 2021; originally announced March 2021.
-
Hyper-regular graphs and high dimensional expanders
Abstract: Let $G= (V,E)$ be a finite graph. For $d_0>0$ we say that $G$ is $d_0$-regular, if every $v\in V$ has degree $d_0$. We say that $G$ is $(d_0, d_1)$-regular, for $0<d_1<d_0$, if $G$ is $d_0$ regular and for every $v\in V$, the subgraph induced on $v$'s neighbors is $d_1$-regular. Similarly, $G$ is $(d_0, d_1,\ldots, d_{n-1})$-regular for $0<d_{n-1}<\ldots<d_1<d_0$, if $G$ is $d_0$ regular and for e… ▽ More
Submitted 25 August, 2023; v1 submitted 8 October, 2020; originally announced October 2020.
Comments: 27 pages
-
Kneser graphs are like Swiss cheese
Abstract: We prove that for a large family of product graphs, and for Kneser graphs $K(n,αn)$ with fixed $α<1/2$, the following holds. Any set of vertices that spans a small proportion of the edges in the graph can be made independent by removing a small proportion of the vertices of the graph. This allows us to strengthen the results of [DinurFR06] and [DinurF09], and show that any independent set in these… ▽ More
Submitted 20 January, 2018; v1 submitted 13 February, 2017; originally announced February 2017.
Journal ref: Discrete Analysis, 2018:2
-
arXiv:1608.08954 [pdf, ps, other]
Chvátal's Conjecture and Correlation Inequalities
Abstract: Chvátal's conjecture in extremal combinatorics asserts that for any decreasing family $\mathcal{F}$ of subsets of a finite set $S$, there is a largest intersecting subfamily of $\mathcal{F}$ consisting of all members of $\mathcal{F}$ that include a particular $x \in S$. In this paper we reformulate the conjecture in terms of influences of variables on Boolean functions and correlation inequalities… ▽ More
Submitted 31 August, 2016; originally announced August 2016.
Comments: 15 pages
MSC Class: 05D05; 05D40
-
A sharp threshold for van der Waerden's theorem in random subsets
Abstract: We establish sharpness for the threshold of van der Waerden's theorem in random subsets of $\mathbb{Z}/n\mathbb{Z}$. More precisely, for $k\geq 3$ and $Z\subseteq \mathbb{Z}/n\mathbb{Z}$ we say $Z$ has the van der Waerden property if any two-colouring of $Z$ yields a monochromatic arithmetic progression of length $k$. Rödl and Ruciński (1995) determined the threshold for this property for any k an… ▽ More
Submitted 13 November, 2017; v1 submitted 18 December, 2015; originally announced December 2015.
Comments: 19 pages, third version updated to format of Discrete Analysis
MSC Class: 05A18 (primary); 05C80; 05D10 (secondary)
Journal ref: Discrete Analysis, 2016:7, 19 pp
-
arXiv:1511.08694 [pdf, ps, other]
Low-degree Boolean functions on $S_n$, with an application to isoperimetry
Abstract: We prove that Boolean functions on $S_n$, whose Fourier transform is highly concentrated on irreducible representations indexed by partitions of $n$ whose largest part has size at least $n-t$, are close to being unions of cosets of stabilizers of $t$-tuples. We also obtain an edge-isoperimetric inequality for the transposition graph on $S_n$ which is asymptotically sharp for subsets of $S_n$ of si… ▽ More
Submitted 29 June, 2017; v1 submitted 27 November, 2015; originally announced November 2015.
Comments: Minor corrections to statements of Lemmas 15 and 16. A prior theorem, cited in the Intro. of the previous version (Theorem 2) has recently been found to be false. This does not affect the rest of the paper. We have amended the statement of Theorem 2 and provided a counterexample to the original statement. This counterexample shows that our main theorem (Theorem 3) is sharper than we first thought
MSC Class: 05D99
-
Geometric stability via information theory
Abstract: The Loomis-Whitney inequality, and the more general Uniform Cover inequality, bound the volume of a body in terms of a product of the volumes of lower-dimensional projections of the body. In this paper, we prove stability versions of these inequalities, showing that when they are close to being tight, the body in question is close in symmetric difference to a 'box'. Our results are best possible u… ▽ More
Submitted 16 January, 2017; v1 submitted 29 September, 2015; originally announced October 2015.
Comments: 28 pages. Reformatted for Discrete Analysis, but otherwise identical to the previous version
MSC Class: 52C07; 05D99 ACM Class: G.2.1
-
arXiv:1504.01506 [pdf, ps, other]
An information-theoretic proof of a hypercontractive inequality
Abstract: In this note I give an information-theoretic proof of the Bonami-Beckner-Gross hypercontractive inequality.
Submitted 11 December, 2023; v1 submitted 7 April, 2015; originally announced April 2015.
-
arXiv:1403.3516 [pdf, ps, other]
A sharp threshold for collapse of the random triangular group
Abstract: The random triangular group $Γ(n,p)$ is the group given by a random group presentation with $n$ generators in which every relator of length three is present independently with probability $p$. We show that in the evolution of $Γ(n,p)$ the property of collapsing to the trivial group admits a very sharp threshold.
Submitted 18 November, 2016; v1 submitted 14 March, 2014; originally announced March 2014.
Comments: 12 pages, revised version
MSC Class: 20P05; 05C80; 20F05
-
arXiv:1312.2432 [pdf, ps, other]
Thresholds and expectation-thresholds of monotone properties with small minterms
Abstract: Let $N$ be a finite set, let $p \in (0,1)$, and let $N_p$ denote a random binomial subset of $N$ where every element of $N$ is taken to belong to the subset independently with probability $p$ . This defines a product measure $μ_p$ on the power set of $N$, where for $\mathcal{A} \subseteq 2^N$ $μ_p(\mathcal{A}) := Pr[N_p \in \mathcal{A}]$. In this paper we study upward-closed families… ▽ More
Submitted 24 September, 2014; v1 submitted 9 December, 2013; originally announced December 2013.
-
arXiv:1311.6958 [pdf, ps, other]
Juntas in the $\ell^{1}$-grid and Lipschitz maps between discrete tori
Abstract: We show that if $A \subset [k]^n$, then $A$ is $ε$-close to a junta depending upon at most $\exp(O(|\partial A|/(k^{n-1}ε)))$ coordinates, where $\partial A$ denotes the edge-boundary of $A$ in the $\ell^1$-grid. This is sharp up to the value of the absolute constant in the exponent. This result can be seen as a generalisation of the Junta theorem for the discrete cube, from [E. Friedgut, Boolean… ▽ More
Submitted 17 August, 2015; v1 submitted 27 November, 2013; originally announced November 2013.
Comments: 29 pages. A mistake in Example 2 (pointed out by an anonymous referee) has now been corrected
MSC Class: 05D05
-
arXiv:1210.3989 [pdf, ps, other]
A stability result for balanced dictatorships in $S_{n}$
Abstract: We prove that a balanced Boolean function on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_{n}$, is close in structure to a dictatorship, a function which is determined by the image or pre-image of a single element. As a corollary, we obtain a stability result concerning extremal isoperimetric sets in the Cayley graph on $S_{n}$ generated… ▽ More
Submitted 30 June, 2017; v1 submitted 15 October, 2012; originally announced October 2012.
Comments: 29 pages. Conjecture 1 in Section 5 has been adjusted. The Introduction has been corrected and expanded
MSC Class: 05D99; 05E15
-
arXiv:1209.5557 [pdf, ps, other]
A quasi-stability result for dictatorships in $S_{n}$
Abstract: We prove that Boolean functions on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_n$, are close to being unions of cosets of point-stabilizers. We use this to give a natural proof of a stability result on intersecting families of permutations, originally conjectured by Cameron and Ku, and first proved by the first author. We also use it to… ▽ More
Submitted 30 June, 2017; v1 submitted 25 September, 2012; originally announced September 2012.
Comments: Introduction updated and expanded; 'Background' section expanded; references updated
MSC Class: 05D99; 05E15
-
arXiv:1203.3368 [pdf, ps, other]
Between Arrow and Gibbard-Satterthwaite; A representation theoretic approach
Abstract: A central theme in social choice theory is that of impossibility theorems, such as Arrow's theorem and the Gibbard-Satterthwaite theorem, which state that under certain natural constraints, social choice mechanisms are impossible to construct. In recent years, beginning in Kalai`01, much work has been done in finding \textit{robust} versions of these theorems, showing "approximate" impossibility r… ▽ More
Submitted 14 March, 2012; originally announced March 2012.
Comments: First appeared in FOCS'11
-
arXiv:1105.5129 [pdf, ps, other]
A Quantitative Version of the Gibbard-Satterthwaite Theorem for Three Alternatives
Abstract: The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative version of the Gibbard-Satterthwaite theorem: a random manipulation by a single random voter will succeed with a non-negligible probability for any election rule among three alternatives that is far from being a dictatorship a… ▽ More
Submitted 25 May, 2011; originally announced May 2011.
Comments: 27 pages, extended version of a FOCS'08 paper, to appear in SICOMP
MSC Class: 05D40; 91B14; 68Q87
-
arXiv:1104.2217 [pdf, ps, other]
On Sisterhood in the Gale-Shapley Matching Algorithm
Abstract: Lying in order to manipulate the Gale-Shapley matching algorithm has been studied by Dubins and Friedman and by Gale and Sotomayor and was shown to be generally more appealing to the proposed-to side (denoted as the women in Gale and Shapley's original paper) than to the proposing side (denoted as men there). It can also be shown that in the case of lying women, for every woman who is better-off d… ▽ More
Submitted 19 December, 2011; v1 submitted 12 April, 2011; originally announced April 2011.
Comments: Based upon an undergraduate thesis written in Hebrew in 2007
-
arXiv:1011.3342 [pdf, ps, other]
Intersecting Families of Permutations
Abstract: A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest $k$-intersecting subsets of $S_n$ are cosets of stabilizers of $k$ points, proving a conjecture of Deza and Frankl. We also prove a similar result concerning… ▽ More
Submitted 7 July, 2017; v1 submitted 15 November, 2010; originally announced November 2010.
Comments: 'Erratum' section added. Yuval Filmus has recently pointed out that the 'Generalised Birkhoff theorem', Theorem 29, is false for k > 1, and so is Theorem 27 for k > 1. An alternative proof of the equality part of the Deza-Frankl conjecture is referenced, bypassing the need for Theorems 27 and 29
MSC Class: 05E10; 20C30; 05D99
-
arXiv:1010.4909 [pdf, ps, other]
Triangle-Intersecting Families of Graphs
Abstract: A family of graphs F is said to be triangle-intersecting if for any two graphs G,H in F, the intersection of G and H contains a triangle. A conjecture of Simonovits and Sos from 1976 states that the largest triangle-intersecting families of graphs on a fixed set of n vertices are those obtained by fixing a specific triangle and taking all graphs containing it, resulting in a family of size (1/8) 2… ▽ More
Submitted 8 October, 2012; v1 submitted 23 October, 2010; originally announced October 2010.
Comments: 43 pages
MSC Class: 05Dxx
-
arXiv:math/0301200 [pdf, ps, other]
A sharp threshold for random graphs with a monochromatic triangle in every edge coloring
Abstract: Let $\R$ be the set of all finite graphs $G$ with the Ramsey property that every coloring of the edges of $G$ by two colors yields a monochromatic triangle. In this paper we establish a sharp threshold for random graphs with this property. Let $G(n,p)$ be the random graph on $n$ vertices with edge probability $p$. We prove that there exists a function $\hat c=\hat c(n)$ with $0<c<\hat c<C$ such… ▽ More
Submitted 18 October, 2004; v1 submitted 19 January, 2003; originally announced January 2003.
Comments: 101 pages, Final version - to appear in Memoirs of the A.M.S
MSC Class: 05C15; 05C55