Showing 1–43 of 43 results for author: Lifshitz, N

Polynomial Bogolyubov for special linear groups via tensor rank

Authors: Shai Evra, Guy Kindler, Noam Lifshitz

Abstract: We prove a polynomial Bogolyubov type lemma for the special linear group over finite fields. Specifically, we show that there exists an absolute constant $C>0,$ such that if $A$ is a density $α$ subset of the special linear group, then the set $AA^{-1}AA^{-1}$ contains a subgroup $H$ of density $α^C$. Moreover, this subgroup is isomorphic to a special linear group of a smaller rank. We also show t… ▽ More We prove a polynomial Bogolyubov type lemma for the special linear group over finite fields. Specifically, we show that there exists an absolute constant $C>0,$ such that if $A$ is a density $α$ subset of the special linear group, then the set $AA^{-1}AA^{-1}$ contains a subgroup $H$ of density $α^C$. Moreover, this subgroup is isomorphic to a special linear group of a smaller rank. We also show that if $A$ is an approximate subgroups then it can be covered by the union of few cosets of $H$. Our proof makes use of the Gurevich--Howe notion of tensor rank, and of a strengthened Bonami type Lemma for global functions on the bilinear scheme. We also present applications to spectral bounds for global convolution operators, global product free sets, and covering numbers corresponding to global sets. △ Less

Submitted 31 March, 2024; originally announced April 2024.

A Dense Model Theorem for the Boolean Slice

Authors: Gil Kalai, Noam Lifshitz, Dor Minzer, Tamar Ziegler

Abstract: The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let $\varepsilon>0$ and $f$ be a function on the middle slice on the Boolean cube, such that when choosing a uniformly random quadruple $(x,y,z ,x\oplus y\oplus z)$ of vectors of $2n$ bits with exactly $n$ ones, the probability that $f(x\oplus y \oplus z) = f(x) \oplus f(y) \oplus f(z)$ is at leas… ▽ More The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let $\varepsilon>0$ and $f$ be a function on the middle slice on the Boolean cube, such that when choosing a uniformly random quadruple $(x,y,z ,x\oplus y\oplus z)$ of vectors of $2n$ bits with exactly $n$ ones, the probability that $f(x\oplus y \oplus z) = f(x) \oplus f(y) \oplus f(z)$ is at least $1/2+\varepsilon$. The linearity testing problem, posed by David, Dinur, Goldenberg, Kindler and Shinkar, asks whether there must be an actual linear function that agrees with $f$ on $1/2+\varepsilon'$ fraction of the inputs, where $\varepsilon' = \varepsilon'(\varepsilon)>0$. We solve this problem, showing that $f$ must indeed be correlated with a linear function. To do so, we prove a dense model theorem for the middle slice of the Boolean hypercube for Gowers uniformity norms. Specifically, we show that for every $k\in\mathbb{N}$, the normalized indicator function of the middle slice of the Boolean hypercube $\{0,1\}^{2n}$ is close in Gowers norm to the normalized indicator function of the union of all slices with weight $t = n\pmod{2^{k-1}}$. Using our techniques we also give a more general `low degree test' and a biased rank theorem for the slice. △ Less

Submitted 13 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Constant Degree Direct Product Testers with Small Soundness

Authors: Mitali Bafna, Noam Lifshitz, Dor Minzer

Abstract: Let $X$ be a $d$-dimensional simplicial complex. A function $F\colon X(k)\to \{0,1\}^k$ is said to be a direct product function if there exists a function $f\colon X(1)\to \{0,1\}$ such that $F(σ) = (f(σ_1), \ldots, f(σ_k))$ for each $k$-face $σ$. In an effort to simplify components of the PCP theorem, Goldreich and Safra introduced the problem of direct product testing, which asks whether one can… ▽ More Let $X$ be a $d$-dimensional simplicial complex. A function $F\colon X(k)\to \{0,1\}^k$ is said to be a direct product function if there exists a function $f\colon X(1)\to \{0,1\}$ such that $F(σ) = (f(σ_1), \ldots, f(σ_k))$ for each $k$-face $σ$. In an effort to simplify components of the PCP theorem, Goldreich and Safra introduced the problem of direct product testing, which asks whether one can test if $F\colon X(k)\to \{0,1\}^k$ is correlated with a direct product function by querying $F$ on only $2$ inputs. Dinur and Kaufman conjectured that there exist bounded degree complexes with a direct product test in the small soundness regime. We resolve their conjecture by showing that for all $δ>0$, there exists a family of high-dimensional expanders with degree $O_δ(1)$ and a $2$-query direct product tester with soundness $δ$. We use the characterization given by a subset of the authors and independently by Dikstein and Dinur, who showed that some form of non-Abelian coboundary expansion (which they called "Unique-Games coboundary expansion") is a necessary and sufficient condition for a complex to admit such direct product testers. Our main technical contribution is a general technique for showing coboundary expansion of complexes with coefficients in a non-Abelian group. This allows us to prove that the high dimensional expanders constructed by Chapman and Lubotzky satisfies the necessary conditions, thus admitting a 2-query direct product tester with small soundness. △ Less

Submitted 7 February, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

Product Mixing in Compact Lie Groups

Authors: David Ellis, Guy Kindler, Noam Lifshitz, Dor Minzer

Abstract: If $G$ is a group, we say a subset $S$ of $G$ is product-free if the equation $xy=z$ has no solutions with $x,y,z \in S$. For $D \in \mathbb{N}$, a group $G$ is said to be $D$-quasirandom if the minimal dimension of a nontrivial complex irreducible representation of $G$ is at least $D$. Gowers showed that in a $D$-quasirandom finite group $G$, the maximal size of a product-free set is at most… ▽ More If $G$ is a group, we say a subset $S$ of $G$ is product-free if the equation $xy=z$ has no solutions with $x,y,z \in S$. For $D \in \mathbb{N}$, a group $G$ is said to be $D$-quasirandom if the minimal dimension of a nontrivial complex irreducible representation of $G$ is at least $D$. Gowers showed that in a $D$-quasirandom finite group $G$, the maximal size of a product-free set is at most $|G|/D^{1/3}$. This disproved a longstanding conjecture of Babai and Sós from 1985. For the special unitary group, $G=SU(n)$, Gowers observed that his argument yields an upper bound of $n^{-1/3}$ on the measure of a measurable product-free subset. In this paper, we improve Gowers' upper bound to $\exp(-cn^{1/3})$, where $c>0$ is an absolute constant. In fact, we establish something stronger, namely, product-mixing for measurable subsets of $SU(n)$ with measure at least $\exp(-cn^{1/3})$; for this product-mixing result, the $n^{1/3}$ in the exponent is sharp. Our approach involves introducing novel hypercontractive inequalities, which imply that the non-Abelian Fourier spectrum of the indicator function of a small set concentrates on high-dimensional irreducible representations. Our hypercontractive inequalities are obtained via methods from representation theory, harmonic analysis, random matrix theory and differential geometry. We generalize our hypercontractive inequalities from $SU(n)$ to an arbitrary $D$-quasirandom compact connected Lie group for $D$ at least an absolute constant, thereby extending our results on product-free sets to such groups. We also demonstrate various other applications of our inequalities to geometry (viz., non-Abelian Brunn-Minkowski type inequalities), mixing times, and the theory of growth in compact Lie groups. △ Less

Submitted 3 May, 2024; v1 submitted 27 January, 2024; originally announced January 2024.

Comments: References updated

MSC Class: 05D05; 22E30; 20F69; 22D40; 60B15; 68Q17

On the maximum degree of induced subgraphs of the Kneser graph

Authors: Hou Tin Chau, David Ellis, Ehud Friedgut, Noam Lifshitz

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 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 $\{A \subset \{1,2,\ldots,n\}:\ |A|=k,\ A \cap \{1,2,\ldots,s\} \neq \varnothing\}$, then the subgraph of $K(n,k)$ induced by $\mathcal{F}$ has maximum degree at least \[ \left(1 - O\left(\sqrt{s^3 k/n}\right)\right)\frac{s}{s+1} \cdot {n-k \choose k} \cdot \frac{|\mathcal{F}|}{\binom{n}{k}}.\] This is sharp up to the behaviour of the error term $O(\sqrt{s^3 k/n})$. In particular, if the triple of integers $(n, k, s)$ satisfies the condition above, then the minimum maximum degree does not increase `continuously' with $|\mathcal{F}|$. Instead, it has $s$ jumps, one at each time when $|\mathcal{F}|$ becomes just larger than the union of $i$ stars, for $i = 1, 2, \ldots, s$. An appealing special case of the above result is that if $\mathcal{F}$ is a family of $k$-element subsets of $\{1,2,\ldots,n\}$ with $|\mathcal{F}| = {n-1 \choose k-1}+1$, then there exists $A \in \mathcal{F}$ such that $\mathcal{F}$ is disjoint from at least $$\left(1/2-O\left(\sqrt{k/n}\right)\right){n-k-1 \choose k-1}$$ of the other sets in $\mathcal{F}$; this is asymptotically sharp if $k=o(n)$. Frankl and Kupavskii, using different methods, have recently proven closely related results under the hypothesis that $n$ is at least quadratic in $k$. △ Less

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

Improved covering results for conjugacy classes of symmetric groups via hypercontractivity

Authors: Nathan Keller, Noam Lifshitz, Ohad Sheinfeld

Abstract: We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as \emph{normal} sets. We show that for any $ε>0$, there exists $n_0$ such that if $n>n_0$ and $A$ is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - ε}}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 200… ▽ More We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as \emph{normal} sets. We show that for any $ε>0$, there exists $n_0$ such that if $n>n_0$ and $A$ is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - ε}}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$. Our proof strategy combines two types of techniques. The first is `traditional' techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck--Shalev, Larsen--Shalev, and more recently, Larsen--Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups. △ Less

Submitted 27 October, 2023; originally announced October 2023.

One Clean Qubit Suffices for Quantum Communication Advantage

Authors: Srinivasan Arunachalam, Uma Girish, Noam Lifshitz

Abstract: We study the one-clean-qubit model of quantum communication where one qubit is in a pure state and all other qubits are maximally mixed. We demonstrate a partial function that has a quantum protocol of cost $O(\log N)$ in this model, however, every interactive randomized protocol has cost $Ω(\sqrt{N})$, settling a conjecture of Klauck and Lim. In contrast, all prior quantum versus classical commun… ▽ More We study the one-clean-qubit model of quantum communication where one qubit is in a pure state and all other qubits are maximally mixed. We demonstrate a partial function that has a quantum protocol of cost $O(\log N)$ in this model, however, every interactive randomized protocol has cost $Ω(\sqrt{N})$, settling a conjecture of Klauck and Lim. In contrast, all prior quantum versus classical communication separations required at least $Ω(\log N)$ clean qubits. The function demonstrating our separation also has an efficient protocol in the quantum-simultaneous-with-entanglement model of cost $O(\log N )$. We thus recover the state-of-the-art separations between quantum and classical communication complexity. Our proof is based on a recent hypercontractivity inequality introduced by Ellis, Kindler, Lifshitz, and Minzer, in conjunction with tools from the representation theory of compact Lie groups. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Bounds for Characters of the Symmetric Group: A Hypercontractive Approach

Authors: Noam Lifshitz, Avichai Marmor

Abstract: Finding upper bounds for character ratios is a fundamental problem in asymptotic group theory. Previous bounds in the symmetric group have led to remarkable applications in unexpected domains. The existing approaches predominantly relied on algebraic methods, whereas our approach combines analytic and algebraic tools. Specifically, we make use of a tool called `hypercontractivity for global functi… ▽ More Finding upper bounds for character ratios is a fundamental problem in asymptotic group theory. Previous bounds in the symmetric group have led to remarkable applications in unexpected domains. The existing approaches predominantly relied on algebraic methods, whereas our approach combines analytic and algebraic tools. Specifically, we make use of a tool called `hypercontractivity for global functions' from the theory of Boolean functions. By establishing sharp upper bounds on the $L^p$-norms of characters of the symmetric group, we improve existing results on character ratios from the work of Larsen and Shalev [Larsen M., Shalev A. Characters of the symmetric group: sharp bounds and applications. Invent. math. 174 645-687 (2008)]. We use our norm bounds to bound Kronecker coefficients, Fourier coefficients of class functions, product mixing of normal sets, and mixing time of normal Cayley graphs. Our approach bypasses the need for the $S_n$-specific Murnaghan--Nakayama rule. Instead we leverage more flexible representation theoretic tools, such as Young's branching rule, which potentially extend the applicability of our method to groups beyond $S_n$. △ Less

Submitted 11 February, 2024; v1 submitted 16 August, 2023; originally announced August 2023.

Comments: Added references

Sharp hypercontractivity for symmetric groups and its applications

Authors: Peter Keevash, Noam Lifshitz

Abstract: A recently fertile strand of research in Group Theory is develo** non-abelian analogues of classical combinatorial results for arithmetic Cayley graphs, describing properties such as growth, expansion, mixing, diameter, etc. We consider these problems for the symmetric and alternating groups. The case of normal Cayley graphs (those generated by unions of conjugacy classes) has seen significant p… ▽ More A recently fertile strand of research in Group Theory is develo** non-abelian analogues of classical combinatorial results for arithmetic Cayley graphs, describing properties such as growth, expansion, mixing, diameter, etc. We consider these problems for the symmetric and alternating groups. The case of normal Cayley graphs (those generated by unions of conjugacy classes) has seen significant progress via character theory (whereby Larsen and Shalev resolved several open problems), but the general case still remains poorly understood. In this paper we generalise the background assumption from being normal to being global (a pseudorandomness condition), replacing character bounds by spectral estimates for convolution operators of global functions, thus obtaining qualitative generalisations of several results on normal Cayley graphs. Furthermore, our theory in the pseudorandom setting can be applied (via density increment arguments) to several results for general sets that are not too sparse, including analogues of Polynomial Freiman-Ruzsa, Bogolyubov's lemma, Roth's theorem, the Waring problem and essentially sharp estimates for the diameter problem of Cayley graphs whose density is at least exponential in -n. Our main tool is a sharp new hypercontractive inequality for global functions on the symmetric group. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 35 pages

Influences in Mixing Measures

Authors: Frederic Koehler, Noam Lifshitz, Dor Minzer, Elchanan Mossel

Abstract: The theory of influences in product measures has profound applications in theoretical computer science, combinatorics, and discrete probability. This deep theory is intimately connected to functional inequalities and to the Fourier analysis of discrete groups. Originally, influences of functions were motivated by the study of social choice theory, wherein a Boolean function represents a voting sch… ▽ More The theory of influences in product measures has profound applications in theoretical computer science, combinatorics, and discrete probability. This deep theory is intimately connected to functional inequalities and to the Fourier analysis of discrete groups. Originally, influences of functions were motivated by the study of social choice theory, wherein a Boolean function represents a voting scheme, its inputs represent the votes, and its output represents the outcome of the elections. Thus, product measures represent a scenario in which the votes of the parties are randomly and independently distributed, which is often far from the truth in real-life scenarios. We begin to develop the theory of influences for more general measures under mixing or correlation decay conditions. More specifically, we prove analogues of the KKL and Talagrand influence theorems for Markov Random Fields on bounded degree graphs with correlation decay. We show how some of the original applications of the theory of in terms of voting and coalitions extend to general measures with correlation decay. Our results thus shed light both on voting with correlated voters and on the behavior of general functions of Markov Random Fields (also called ``spin-systems") with correlation decay. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Sharp Hypercontractivity for Global Functions

Authors: Nathan Keller, Noam Lifshitz, Omri Marcus

Abstract: For a function $f$ on the hypercube $\{0,1\}^n$ with Fourier expansion $f=\sum_{S\subseteq[n]}\hat f(S)χ_S$, the hypercontractive inequality for the noise operator allows bounding norms of $T_ρf=\sum_Sρ^{|S|}\hat f(S)χ_S$ in terms of norms of $f$. If $f$ is Boolean-valued, the level-$d$ inequality allows bounding the norm of $f^{=d}=\sum_{|S|=d}\hat f(S)χ_S$ in terms of $E[f]$. These two inequalit… ▽ More For a function $f$ on the hypercube $\{0,1\}^n$ with Fourier expansion $f=\sum_{S\subseteq[n]}\hat f(S)χ_S$, the hypercontractive inequality for the noise operator allows bounding norms of $T_ρf=\sum_Sρ^{|S|}\hat f(S)χ_S$ in terms of norms of $f$. If $f$ is Boolean-valued, the level-$d$ inequality allows bounding the norm of $f^{=d}=\sum_{|S|=d}\hat f(S)χ_S$ in terms of $E[f]$. These two inequalities play a central role in analysis of Boolean functions and its applications. While both inequalities hold in a sharp form when the hypercube is endowed with the uniform measure, they do not hold for more general discrete product spaces. Finding a `natural' generalization was a long-standing open problem. In [P. Keevash et al., Global hypercontractivity and its applications, J. Amer. Math. Soc., to appear], a hypercontractive inequality for this setting was presented, that holds for functions which are `global' -- namely, are not significantly affected by a restriction of a small set of coordinates. This hypercontractive inequality is not sharp, which precludes applications to the symmetric group $S_n$ and to other settings where sharpness of the bound is crucial. Also, no level-$d$ inequality for global functions over general discrete product spaces is known. We obtain sharp versions of the hypercontractive inequality and of the level-$d$ inequality for this setting. Our inequalities open the way for diverse applications to extremal set theory and to group theory. We demonstrate this by proving quantitative bounds on the size of intersecting families of sets and vectors under weak symmetry conditions and by describing numerous applications to the study of functions on $S_n$ -- including hypercontractivity and level-$d$ inequalities, character bounds, variants of Roth's theorem and of Bogolyubov's lemma, and diameter bounds, that were obtained using our techniques. △ Less

Submitted 3 July, 2023; originally announced July 2023.

On $t$-Intersecting Families of Permutations

Authors: Nathan Keller, Noam Lifshitz, Dor Minzer, Ohad Sheinfeld

Abstract: We prove that there exists a constant $c_0$ such that for any $t \in \mathbb{N}$ and any $n\geq c_0 t$, if $A \subset S_n$ is a $t$-intersecting family of permutations then$|A|\leq (n-t)!$. Furthermore, if $|A|\ge 0.75(n-t)!$ then there exist $i_1,\ldots,i_t$ and $j_1,\ldots,j_t$ such that $σ(i_1)=j_1,\ldots,σ(i_t)=j_t$ holds for any $σ\in A$. This shows that the conjectures of Deza and Frankl (19… ▽ More We prove that there exists a constant $c_0$ such that for any $t \in \mathbb{N}$ and any $n\geq c_0 t$, if $A \subset S_n$ is a $t$-intersecting family of permutations then$|A|\leq (n-t)!$. Furthermore, if $|A|\ge 0.75(n-t)!$ then there exist $i_1,\ldots,i_t$ and $j_1,\ldots,j_t$ such that $σ(i_1)=j_1,\ldots,σ(i_t)=j_t$ holds for any $σ\in A$. This shows that the conjectures of Deza and Frankl (1977) and of Cameron (1988) on $t$-intersecting families of permutations hold for all $t \leq c_0 n$. Our proof method, based on hypercontractivity for global functions, does not use the specific structure of permutations, and applies in general to $t$-intersecting sub-families of `pseudorandom' families in $\{1,2,\ldots,n\}^n$, like $S_n$. △ Less

Submitted 17 July, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

An analogue of Bonami's Lemma for functions on spaces of linear maps, and 2-2 Games

Authors: David Ellis, Guy Kindler, Noam Lifshitz

Abstract: We prove an analogue of Bonami's (hypercontractive) lemma for complex-valued functions on $\mathcal{L}(V,W)$, where $V$ and $W$ are vector spaces over a finite field. This inequality is useful for functions on $\mathcal{L}(V,W)$ whose `generalised influences' are small, in an appropriate sense. It leads to a significant shortening of the proof of a recent seminal result by Khot, Minzer and Safra t… ▽ More We prove an analogue of Bonami's (hypercontractive) lemma for complex-valued functions on $\mathcal{L}(V,W)$, where $V$ and $W$ are vector spaces over a finite field. This inequality is useful for functions on $\mathcal{L}(V,W)$ whose `generalised influences' are small, in an appropriate sense. It leads to a significant shortening of the proof of a recent seminal result by Khot, Minzer and Safra that pseudorandom sets in Grassmann graphs have near-perfect expansion, which (in combination with the work of Dinur, Khot, Kindler, Minzer and Safra) implies the 2-2 Games conjecture (the variant, that is, with imperfect completeness). △ Less

Submitted 9 September, 2022; originally announced September 2022.

Comments: 46 pages

MSC Class: 05D05 ACM Class: F.2.2

Forbidden intersection problems for families of linear maps

Authors: David Ellis, Guy Kindler, Noam Lifshitz

Abstract: We study an analogue of the Erdős-Sós forbidden intersection problem, for families of linear maps. If $V$ and $W$ are vector spaces over the same field, we say a family $\mathcal{F}$ of linear maps from $V$ to $W$ is \emph{$(t-1)$-intersection-free} if for any two linear maps $σ_1,σ_2 \in \mathcal{F}$, $\dim(\{v \in V:\ σ_1(v)=σ_2(v)\}) \neq t-1$. We prove that if $n$ is sufficiently large dependi… ▽ More We study an analogue of the Erdős-Sós forbidden intersection problem, for families of linear maps. If $V$ and $W$ are vector spaces over the same field, we say a family $\mathcal{F}$ of linear maps from $V$ to $W$ is \emph{$(t-1)$-intersection-free} if for any two linear maps $σ_1,σ_2 \in \mathcal{F}$, $\dim(\{v \in V:\ σ_1(v)=σ_2(v)\}) \neq t-1$. We prove that if $n$ is sufficiently large depending on $t$, $q$ is any prime power, $V$ is an $n$-dimensional vector space over $\mathbb{F}_q$, and $\mathcal{F} \subset \textrm{GL}(V)$ is $(t-1)$-intersection-free, then $|\mathcal{F}| \leq \prod_{i=1}^{n-t}(q^n - q^{i+t-1})$. Equality holds only if there exists a $t$-dimensional subspace of $V$ on which all elements of $\mathcal{F}$ agree, or a $t$-dimensional subspace of $V^*$ on which all elements of $\{σ^*:\ σ\in \mathcal{F}\}$ agree. Our main tool is a `junta approximation' result for families of linear maps with a forbidden intersection: namely, that if $V$ and $W$ are finite-dimensional vector spaces over the same finite field, then any $(t-1)$-intersection-free family of linear maps from $V$ to $W$ is essentially contained in a $t$-intersecting \emph{junta} (meaning, a family $\mathcal{J}$ of linear maps from $V$ to $W$ such that the membership of $σ$ in $\mathcal{J}$ is determined by $σ(v_1),\ldots,σ(v_M),σ^*(a_1),\ldots,σ^*(a_N)$, where $v_1,\ldots,v_M \in V$, $a_1,\ldots,a_N \in W^*$ and $M+N$ is bounded). The proof of this in turn relies on a variant of the `junta method' (originally introduced by Dinur and Friedgut, and powefully extended by Keller and the last author), together with spectral techniques and a hypercontractive inequality. △ Less

Submitted 11 December, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: 23 pages

MSC Class: 05D05

Journal ref: Discrete Analysis 2023:19

On the Largest Product-free Subsets of the Alternating Groups

Authors: Peter Keevash, Noam Lifshitz, Dor Minzer

Abstract: A subset $A$ of a group $G$ is called product-free if there is no solution to $a=bc$ with $a,b,c$ all in $A$. It is easy to see that the largest product-free subset of the symmetric group $S_n$ is obtained by taking the set of all odd permutations, i.e. $S_n \setminus A_n$, where $A_n$ is the alternating group. By contrast, it is a long-standing open problem to find the largest product-free subset… ▽ More A subset $A$ of a group $G$ is called product-free if there is no solution to $a=bc$ with $a,b,c$ all in $A$. It is easy to see that the largest product-free subset of the symmetric group $S_n$ is obtained by taking the set of all odd permutations, i.e. $S_n \setminus A_n$, where $A_n$ is the alternating group. By contrast, it is a long-standing open problem to find the largest product-free subset of $A_n$. We solve this problem for large $n$, showing that the maximum size is achieved by the previously conjectured extremal examples, namely families of the form $\{π~|~π(x)\in I, π(I)\cap I=\emptyset\}$ and their inverses. Moreover, we show that the maximum size is only achieved by these extremal examples, and we have stability: any product-free subset of $A_n$ of nearly maximum size is structurally close to an extremal example. Our proof uses a combination of tools from Combinatorics and Non-abelian Fourier Analysis, including a crucial new ingredient exploiting some recent theory developed by Filmus, Kindler, Liftshitz and Minzer for global hypercontractivity on the symmetric group. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Isoperimetric Inequalities Made Simpler

Authors: Ronen Eldan, Guy Kindler, Noam Lifshitz, Dor Minzer

Abstract: We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show: 1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result conjectured by Talagrand and recently proved by Eldan and Gross. 2. A strengthening of the Friedgut junta theorem, asserting that if the $p$-moment of the sen… ▽ More We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show: 1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result conjectured by Talagrand and recently proved by Eldan and Gross. 2. A strengthening of the Friedgut junta theorem, asserting that if the $p$-moment of the sensitivity of a function is constant for some $p\geq 1/2 + \varepsilon$, then the function is close to a junta. In this language, Friedgut's theorem is the special case that $p=1$. △ Less

Submitted 13 February, 2023; v1 submitted 13 April, 2022; originally announced April 2022.

Hypercontractivity on High Dimensional Expanders: Approximate Efron-Stein Decompositions for $\varepsilon$-Product Spaces

Authors: Tom Gur, Noam Lifshitz, Siqi Liu

Abstract: We prove hypercontractive inequalities on high dimensional expanders. As in the settings of the p-biased hypercube, the symmetric group, and the Grassmann scheme, our inequalities are effective for global functions, which are functions that are not significantly affected by a restriction of a small set of coordinates. As applications, we obtain Fourier concentration, small-set expansion, and Krusk… ▽ More We prove hypercontractive inequalities on high dimensional expanders. As in the settings of the p-biased hypercube, the symmetric group, and the Grassmann scheme, our inequalities are effective for global functions, which are functions that are not significantly affected by a restriction of a small set of coordinates. As applications, we obtain Fourier concentration, small-set expansion, and Kruskal-Katona theorems for high dimensional expanders. Our techniques rely on a new approximate Efron-Stein decomposition for high dimensional link expanders. △ Less

Submitted 23 December, 2021; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: New title to distinguish from independent work of Bafna, Hopkins, Kaufman, and Lovett

An Invariance Principle for the Multi-slice, with Applications

Authors: Mark Braverman, Subhash Khot, Noam Lifshitz, Dor Minzer

Abstract: Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which… ▽ More Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which $μ(i) = k_i/n$. This answers a question raised by Filmus et al. As applications of the invariance principle, we show: 1. An analogue of the "dictatorship test implies computational hardness" paradigm for problems with perfect completeness, for a certain class of dictatorship tests. Our computational hardness is proved assuming a recent strengthening of the Unique-Games Conjecture, called the Rich $2$-to-$1$ Games Conjecture. Using this analogue, we show that assuming the Rich $2$-to-$1$ Games Conjecture, (a) there is an $r$-ary CSP $\mathcal{P}_r$ for which it is NP-hard to distinguish satisfiable instances of the CSP and instances that are at most $\frac{2r+1}{2^r} + o(1)$ satisfiable, and (b) hardness of distinguishing $3$-colorable graphs, and graphs that do not contain an independent set of size $o(1)$. 2. A reduction of the problem of studying expectations of products of functions on the multi-slice to studying expectations of products of functions on correlated, product spaces. In particular, we are able to deduce analogues of the Gaussian bounds from \cite{MosselGaussian} for the multi-slice. 3. In a companion paper, we show further applications of our invariance principle in extremal combinatorics, and more specifically to proving removal lemmas of a wide family of hypergraphs $H$ called $ζ$-forests, which is a natural extension of the well-studied case of matchings. △ Less

Submitted 20 October, 2021; originally announced October 2021.

Forbidden intersections for codes

Authors: Peter Keevash, Noam Lifshitz, Eoin Long, Dor Minzer

Abstract: Determining the maximum size of a $t$-intersecting code in $[m]^n$ was a longstanding open problem of Frankl and Füredi, solved independently by Ahlswede and Khachatrian and by Frankl and Tokushige. We extend their result to the setting of forbidden intersections, by showing that for any $m>2$ and $n$ large compared with $t$ (but not necessarily $m$) that the same bound holds for codes with the we… ▽ More Determining the maximum size of a $t$-intersecting code in $[m]^n$ was a longstanding open problem of Frankl and Füredi, solved independently by Ahlswede and Khachatrian and by Frankl and Tokushige. We extend their result to the setting of forbidden intersections, by showing that for any $m>2$ and $n$ large compared with $t$ (but not necessarily $m$) that the same bound holds for codes with the weaker property of being $(t-1)$-avoiding, i.e.\ having no two vectors that agree on exactly $t-1$ coordinates. Our proof proceeds via a junta approximation result of independent interest, which we prove via a development of our recent theory of global hypercontractivity: we show that any $(t-1)$-avoiding code is approximately contained in a $t$-intersecting junta (a code where membership is determined by a constant number of co-ordinates). In particular, when $t=1$ this gives an alternative proof of a recent result of Eberhard, Kahn, Narayanan and Spirkl that symmetric intersecting codes in $[m]^n$ have size $o(m^n)$. △ Less

Submitted 20 June, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Global hypercontractivity and its applications

Authors: Peter Keevash, Noam Lifshitz, Eoin Long, Dor Minzer

Abstract: The hypercontractive inequality on the discrete cube plays a crucial role in many fundamental results in the Analysis of Boolean functions, such as the KKL theorem, Friedgut's junta theorem and the invariance principle. In these results the cube is equipped with the uniform measure, but it is desirable, particularly for applications to the theory of sharp thresholds, to also obtain such results fo… ▽ More The hypercontractive inequality on the discrete cube plays a crucial role in many fundamental results in the Analysis of Boolean functions, such as the KKL theorem, Friedgut's junta theorem and the invariance principle. In these results the cube is equipped with the uniform measure, but it is desirable, particularly for applications to the theory of sharp thresholds, to also obtain such results for general $p$-biased measures. However, simple examples show that when $p = o(1)$, there is no hypercontractive inequality that is strong enough. In this paper, we establish an effective hypercontractive inequality for general $p$ that applies to `global functions', i.e. functions that are not significantly affected by a restriction of a small set of coordinates. This class of functions appears naturally, e.g. in Bourgain's sharp threshold theorem, which states that such functions exhibit a sharp threshold. We demonstrate the power of our tool by strengthening Bourgain's theorem, thereby making progress on a conjecture of Kahn and Kalai and by establishing a $p$-biased analog of the invariance principle. Our results have significant applications in Extremal Combinatorics. Here we obtain new results on the Turán number of any bounded degree uniform hypergraph obtained as the expansion of a hypergraph of bounded uniformity. These are asymptotically sharp over an essentially optimal regime for both the uniformity and the number of edges and solve a number of open problems in the area. In particular, we give general conditions under which the crosscut parameter asymptotically determines the Turán number, answering a question of Mubayi and Verstraëte. We also apply the Junta Method to refine our asymptotic results and obtain several exact results, including proofs of the Huang--Loh--Sudakov conjecture on cross matchings and the Füredi--Jiang--Seiver conjecture on path expansions. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: Subsumes arXiv:1906.05568

Complexity Measures on the Symmetric Group and Beyond

Authors: Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals

Abstract: We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a few others. We show that these complexity measures are polynomially related for the symmetric group and for many other domains. To show that all measures but se… ▽ More We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a few others. We show that these complexity measures are polynomially related for the symmetric group and for many other domains. To show that all measures but sensitivity are polynomially related, we generalize classical arguments of Nisan and others. To add sensitivity to the mix, we reduce to Huang's sensitivity theorem using "pseudo-characters", which witness the degree of a function. Using similar ideas, we extend the characterization of Boolean degree 1 functions on the symmetric group due to Ellis, Friedgut and Pilpel to the perfect matching scheme. As another application of our ideas, we simplify the characterization of maximum-size $t$-intersecting families in the symmetric group and the perfect matching scheme. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Hypercontractivity on the symmetric group

Authors: Yuval Filmus, Guy Kindler, Noam Lifshitz, Dor Minzer

Abstract: The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly for product spaces, which raises the question of whether analogous results hold over non-product domains. We consider the symmetric group, $S_n$, one of the mo… ▽ More The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly for product spaces, which raises the question of whether analogous results hold over non-product domains. We consider the symmetric group, $S_n$, one of the most basic non-product domains, and establish hypercontractive inequalities on it. Our inequalities are most effective for the class of \emph{global functions} on $S_n$, which are functions whose $2$-norm remains small when restricting $O(1)$ coordinates of the input, and assert that low-degree, global functions have small $q$-norms, for $q>2$. As applications, we show: 1. An analog of the level-$d$ inequality on the hypercube, asserting that the mass of a global function on low-degrees is very small. We also show how to use this inequality to bound the size of global, product-free sets in the alternating group $A_n$. 2. Isoperimetric inequalities on the transposition Cayley graph of $S_n$ for global functions, that are analogous to the KKL theorem and to the small-set expansion property in the Boolean hypercube. 3. Hypercontractive inequalities on the multi-slice, and stability versions of the Kruskal--Katona Theorem in some regimes of parameters. △ Less

Submitted 27 October, 2020; v1 submitted 11 September, 2020; originally announced September 2020.

Approximation by juntas in the symmetric group, and forbidden intersection problems

Authors: David Ellis, Noam Lifshitz

Abstract: A family of permutations $\mathcal{F} \subset S_{n}$ is said to be $t$-intersecting if any two permutations in $\mathcal{F}$ agree on at least $t$ points. It is said to be $(t-1)$-intersection-free if no two permutations in $\mathcal{F}$ agree on exactly $t-1$ points. If $S,T \subset \{1,2,\ldots,n\}$ with $|S|=|T|$, and $π: S \to T$ is a bijection, the $π$-star in $S_n$ is the family of all permu… ▽ More A family of permutations $\mathcal{F} \subset S_{n}$ is said to be $t$-intersecting if any two permutations in $\mathcal{F}$ agree on at least $t$ points. It is said to be $(t-1)$-intersection-free if no two permutations in $\mathcal{F}$ agree on exactly $t-1$ points. If $S,T \subset \{1,2,\ldots,n\}$ with $|S|=|T|$, and $π: S \to T$ is a bijection, the $π$-star in $S_n$ is the family of all permutations in $S_n$ that agree with $π$ on all of $S$. An $s$-star is a $π$-star such that $π$ is a bijection between sets of size $s$. Friedgut and Pilpel, and independently the first author, showed that if $\mathcal{F} \subset S_n$ is $t$-intersecting, and $n$ is sufficiently large depending on $t$, then $|\mathcal{F}| \leq (n-t)!$; this proved a conjecture of Deza and Frankl from 1977. Equality holds only if $\mathcal{F}$ is a $t$-star. In this paper, we give a more `robust' proof of a strengthening of the Deza-Frankl conjecture, namely that if $n$ is sufficiently large depending on $t$, and $\mathcal{F} \subset S_n$ is $(t-1)$-intersection-free, then $|\mathcal{F} \leq (n-t)!$, with equality only if $\mathcal{F}$ is a $t$-star. The main ingredient of our proof is a `junta approximation' result, namely, that any $(t-1)$-intersection-free family of permutations is essentially contained in a $t$-intersecting {\em junta} (a `junta' being a union of a bounded number of $O(1)$-stars). The proof of our junta approximation result relies, in turn, on a weak regularity lemma for families of permutations, a combinatorial argument that `bootstraps' a weak notion of pseudorandomness into a stronger one, and finally a spectral argument for pairs of highly-pseudorandom fractional families. Our proof employs four different notions of pseudorandomness, three being combinatorial in nature, and one being algebraic. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 28 pages

MSC Class: 05D05; 05E15

Towards a Proof of the Fourier--Entropy Conjecture?

Authors: Esty Kelman, Guy Kindler, Noam Lifshitz, Dor Minzer, Muli Safra

Abstract: The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the Friedgut junta theorem give a strong characterization of such functions whenever the bound on the total influence is $o(\log n)$. However, both results become useless… ▽ More The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the Friedgut junta theorem give a strong characterization of such functions whenever the bound on the total influence is $o(\log n)$. However, both results become useless when the total influence of the function is $ω(\log n)$. The only case in which this logarithmic barrier has been broken for an interesting class of functions was proved by Bourgain and Kalai, who focused on functions that are symmetric under large enough subgroups of $S_n$. In this paper, we build and improve on the techniques of the Bourgain-Kalai paper and establish new concentration results on the Fourier spectrum of Boolean functions with small total influence. Our results include: 1. A quantitative improvement of the Bourgain--Kalai result regarding the total influence of functions that are transitively symmetric. 2. A slightly weaker version of the Fourier--Entropy Conjecture of Friedgut and Kalai. This weaker version implies in particular that the Fourier spectrum of a constant variance, Boolean function $f$ is concentrated on $2^{O(I[f]\log I[f])}$ characters, improving an earlier result of Friedgut. Removing the $\log I[f]$ factor would essentially resolve the Fourier--Entropy Conjecture, as well as settle a conjecture of Mansour regarding the Fourier spectrum of polynomial size DNF formulas. Our concentration result has new implications in learning theory: it implies that the class of functions whose total influence is at most $K$ is agnostically learnable in time $2^{O(K\log K)}$, using membership queries. △ Less

Submitted 7 May, 2020; v1 submitted 24 November, 2019; originally announced November 2019.

High dimensional Hoffman bound and applications in extremal combinatorics

Authors: Yuval Filmus, Konstantin Golubev, Noam Lifshitz

Abstract: One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph. In this paper, we introduce the related problem of upper-bounding independ… ▽ More One powerful method for upper-bounding the largest independent set in a graph is the Hoffman bound, which gives an upper bound on the largest independent set of a graph in terms of its eigenvalues. It is easily seen that the Hoffman bound is sharp on the tensor power of a graph whenever it is sharp for the original graph. In this paper, we introduce the related problem of upper-bounding independent sets in tensor powers of hypergraphs. We show that many of the prominent open problems in extremal combinatorics, such as the Turán problem for (hyper-)graphs, can be encoded as special cases of this problem. We also give a new generalization of the Hoffman bound for hypergraphs which is sharp for the tensor power of a hypergraph whenever it is sharp for the original hypergraph. As an application of our Hoffman bound, we make progress on the problem of Frankl on families of sets without extended triangles from 1990. We show that if $\frac{1}{2}n\le2k\le\frac{2}{3}n,$ then the extremal family is the star, i.e. the family of all sets that contains a given element. This covers the entire range in which the star is extremal. As another application, we provide spectral proofs for Mantel's theorem on triangle-free graphs and for Frankl-Tokushige theorem on $k$-wise intersecting families. △ Less

Submitted 6 November, 2019; originally announced November 2019.

MSC Class: 05C15; 05C65; 05D05

AND Testing and Robust Judgement Aggregation

Authors: Yuval Filmus, Noam Lifshitz, Dor Minzer, Elchanan Mossel

Abstract: A function $f\colon\{0,1\}^n\to \{0,1\}$ is called an approximate AND-homomorphism if choosing ${\bf x},{\bf y}\in\{0,1\}^n$ randomly, we have that $f({\bf x}\land {\bf y}) = f({\bf x})\land f({\bf y})$ with probability at least $1-ε$, where $x\land y = (x_1\land y_1,\ldots,x_n\land y_n)$. We prove that if $f\colon \{0,1\}^n \to \{0,1\}$ is an approximate AND-homomorphism, then $f$ is $δ$-close to… ▽ More A function $f\colon\{0,1\}^n\to \{0,1\}$ is called an approximate AND-homomorphism if choosing ${\bf x},{\bf y}\in\{0,1\}^n$ randomly, we have that $f({\bf x}\land {\bf y}) = f({\bf x})\land f({\bf y})$ with probability at least $1-ε$, where $x\land y = (x_1\land y_1,\ldots,x_n\land y_n)$. We prove that if $f\colon \{0,1\}^n \to \{0,1\}$ is an approximate AND-homomorphism, then $f$ is $δ$-close to either a constant function or an AND function, where $δ(ε) \to 0$ as $ε\to0$. This improves on a result of Nehama, who proved a similar statement in which $δ$ depends on $n$. Our theorem implies a strong result on judgement aggregation in computational social choice. In the language of social choice, our result shows that if $f$ is $ε$-close to satisfying judgement aggregation, then it is $δ(ε)$-close to an oligarchy (the name for the AND function in social choice theory). This improves on Nehama's result, in which $δ$ decays polynomially with $n$. Our result follows from a more general one, in which we characterize approximate solutions to the eigenvalue equation $\mathrm T f = λg$, where $\mathrm T$ is the downwards noise operator $\mathrm T f(x) = \mathbb{E}_{\bf y}[f(x \land {\bf y})]$, $f$ is $[0,1]$-valued, and $g$ is $\{0,1\}$-valued. We identify all exact solutions to this equation, and show that any approximate solution in which $\mathrm T f$ and $λg$ are close is close to an exact solution. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Comments: 43 pages

Hypercontractivity for global functions and sharp thresholds

Authors: Peter Keevash, Noam Lifshitz, Eoin Long, Dor Minzer

Abstract: The classical hypercontractive inequality for the noise operator on the discrete cube plays a crucial role in many of the fundamental results in the Analysis of Boolean functions, such as the KKL (Kahn-Kalai-Linial) theorem, Friedgut's junta theorem and the invariance principle of Mossel, O'Donnell and Oleszkiewicz. In these results the cube is equipped with the uniform ($1/2$-biased) measure, but… ▽ More The classical hypercontractive inequality for the noise operator on the discrete cube plays a crucial role in many of the fundamental results in the Analysis of Boolean functions, such as the KKL (Kahn-Kalai-Linial) theorem, Friedgut's junta theorem and the invariance principle of Mossel, O'Donnell and Oleszkiewicz. In these results the cube is equipped with the uniform ($1/2$-biased) measure, but it is desirable, particularly for applications to the theory of sharp thresholds, to also obtain such results for general $p$-biased measures. However, simple examples show that when $p$ is small there is no hypercontractive inequality that is strong enough for such applications. In this paper, we establish an effective hypercontractivity inequality for general $p$ that applies to `global functions', i.e. functions that are not significantly affected by a restriction of a small set of coordinates. This class of functions appears naturally, e.g. in Bourgain's sharp threshold theorem, which states that such functions exhibit a sharp threshold. We demonstrate the power of our tool by strengthening Bourgain's theorem, thereby making progress on a conjecture of Kahn and Kalai. An additional application of our hypercontractivity theorem, is a $p$-biased analog of the seminal invariance principle of Mossel, O'Donnell, and Oleszkiewicz. In a companion paper, we give applications to the solution of two open problems in Extremal Combinatorics. △ Less

Submitted 13 June, 2019; originally announced June 2019.

MSC Class: 06E30

On set systems without a simplex-cluster and the Junta method

Authors: Noam Lifshitz

Abstract: A family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$ is called a simplex-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$, $|A_{0}\cup\cdots\cup A_{d}|\le2k$, and the intersection of any $d$ of the sets in $\{A_{0},\ldots,A_{d}\}$ is nonempty. In 2006, Keevash and Mubayi conjectured that for any $d+1\le k\le\frac{d}{d+1}n$, the largest family of $k$-element subsets… ▽ More A family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$ is called a simplex-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$, $|A_{0}\cup\cdots\cup A_{d}|\le2k$, and the intersection of any $d$ of the sets in $\{A_{0},\ldots,A_{d}\}$ is nonempty. In 2006, Keevash and Mubayi conjectured that for any $d+1\le k\le\frac{d}{d+1}n$, the largest family of $k$-element subsets of $[n]$ that does not contain a simplex-cluster is the family of all $k$-subsets that contain a given element. We prove the conjecture for all $k\geζn$ for an arbitrarily small $ζ>0$, provided that $n\ge n_{0}(ζ,d)$. We call a family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]$ a $(d,k,s)$-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$ and $|A_{0}\cup\cdots\cup A_{d}|\le s$. We also show that for any $ζn\le k\le\frac{d}{d+1}n$ the largest family of $k$-element subsets of $[n]$ that does not contain a $(d,k,(\frac{d+1}{d}+ζ)k)$-cluster is again the family of all $k$-subsets that contain a given element, provided that $n\ge n_{0}(ζ,d)$. Our proof is based on the junta method for extremal combinatorics initiated by Dinur and Friedgut and further developed by Ellis, Keller, and the author. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: 15 pages

Hypergraph Removal Lemmas via Robust Sharp Threshold Theorems

Authors: Noam Lifshitz

Abstract: The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the biased measure $μ_{p}$ increases rapidly from 0 to 1 as $p$ increases. In this paper we present `robust' versions of the theorem, which assert that it holds also… ▽ More The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the biased measure $μ_{p}$ increases rapidly from 0 to 1 as $p$ increases. In this paper we present `robust' versions of the theorem, which assert that it holds also if the function is `almost' monotone, and admits a much weaker notion of symmetry. Unlike the original proof of the theorem which relies on hypercontractivity, our proof relies on a `regularity' lemma (of the class of Szemerédi's regularity lemma and its generalizations) and on the `invariance principle' of Mossel, O'Donnell, and Oleszkiewicz which allows (under certain conditions) replacing functions on the cube $\{0,1\}^{n}$ with functions on Gaussian random variables. The hypergraph removal lemma of Gowers (2007) and independently of Nagle, Rödl, Schacht, and Skokan (2006) says that if a $k$-uniform hypergraph on $n$ vertices contains few copies of a fixed hypergraph $H$, then it can be made $H$-free by removing few of its edges. While this settles the `hypergraph removal problem' in the case where $k$ and $H$ are fixed, the result is meaningless when $k$ is large (e.g. $k>\log\log\log n$). Using our robust version of the Friedgut-Kalai Theorem, we obtain a hypergraph removal lemma that holds for $k$ up to linear in $n$ for a large class of hypergraphs. These contain all the hypergraphs such that both their number of edges and the sizes of the intersections of pairs of their edges are upper bounded by some constant. △ Less

Submitted 4 August, 2020; v1 submitted 1 April, 2018; originally announced April 2018.

Comments: 46 pages

Introduction to Volume 15 of The Collected Papers of Albert Einstein. The Berlin Years: Writings and Correspondence June 1925 - May 1927

Authors: Diana Kormos Buchwald, József Illy, A. J. Kox, Dennis Lehmkuhl, Ze'ev Rosenkranz, Jennifer Nollar James, Anthony Duncan, Marco Giovanelli, Michel Janssen, Daniel J. Kennefick, Issachar Unna, Emily de Araújo, Rudy Hirschmann, Nurit Lifshitz, Barbara Wolff

Abstract: This volume covers one of the most thrilling two-year periods in twentieth-century physics, as matrix mechanics - developed chiefly by W. Heisenberg, M. Born, and P. Jordan - and wave mechanics - developed by E. Schrödinger - supplanted the earlier quantum theory. The almost one hundred writings by Einstein, of which a third have never been published, and the more than thirteen hundred letters sho… ▽ More This volume covers one of the most thrilling two-year periods in twentieth-century physics, as matrix mechanics - developed chiefly by W. Heisenberg, M. Born, and P. Jordan - and wave mechanics - developed by E. Schrödinger - supplanted the earlier quantum theory. The almost one hundred writings by Einstein, of which a third have never been published, and the more than thirteen hundred letters show Einstein's immense productivity and hectic pace of life. Einstein quickly grasps the conceptual peculiarities involved in the new quantum mechanics, such as the difference between Schrödinger's wave function and a field defined in spacetime, or the emerging statistical interpretation of both matrix and wave mechanics. Inspired by correspondence with G. Y. Rainich, he investigates with Jakob Grommer the problem of motion in general relativity, ho** for a hint at a new avenue to unified field theory. Einstein falls victim to scientific fraud when, in a collaboration with E. Rupp, he becomes convinced that the latter's experiments, aimed at deciding whether excited atoms emit light instantaneously (in quanta) or in a finite time (in waves), confirm a wave-theoretic explanation. While it was known that the teenage Einstein had been romantically involved with Marie Winteler in 1895, newly discovered documents reveal that his love for Marie was rekindled in 1909-10 while he was still married to Mileva Marić. The 1925 Locarno Treaties renew Einstein's optimism in European reconciliation. He backs the `International manifesto against compulsory military service' and continues his participation in the League of Nations' International Committee on Intellectual Cooperation. He remains intensely committed to the sha** of the Hebrew University in Jerusalem, although his enthusiasm for this cause is sorely tested. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Comments: Corresponding Editor: Dennis Lehmkuhl ([email protected]). The complete volume is available from Princeton University Press: https://press.princeton.edu/titles/11327.html

MSC Class: 83-03; 81-03; 01A75

The Junta Method for Hypergraphs and the Erdős-Chvátal Simplex Conjecture

Authors: Nathan Keller, Noam Lifshitz

Abstract: Numerous problems in extremal hypergraph theory ask to determine the maximal size of a $k$-uniform hypergraph on $n$ vertices that does not contain an `enlarged' copy $H^+$ of a fixed hypergraph $H$. These include well-known problems such as the Erdős-Sós `forbidding one intersection' problem and the Frankl-Füredi `special simplex' problem. We present a general approach to such problems, using a… ▽ More Numerous problems in extremal hypergraph theory ask to determine the maximal size of a $k$-uniform hypergraph on $n$ vertices that does not contain an `enlarged' copy $H^+$ of a fixed hypergraph $H$. These include well-known problems such as the Erdős-Sós `forbidding one intersection' problem and the Frankl-Füredi `special simplex' problem. We present a general approach to such problems, using a `junta approximation method' that originates from analysis of Boolean functions. We prove that any $H^+$-free hypergraph is essentially contained in a `junta' -- a hypergraph determined by a small number of vertices -- that is also $H^+$-free, which effectively reduces the extremal problem to an easier problem on juntas. Using this approach, we obtain, for all $C<k<n/C$, a complete solution of the extremal problem for a large class of $H$'s, which includes the aforementioned problems, and solves them for a large new set of parameters. We apply our method also to the 1974 Erdős-Chvátal simplex conjecture, which asserts that for any $d < k \leq \frac{d}{d+1}n$, the maximal size of a $k$-uniform family that does not contain a $d$-simplex (i.e., $d+1$ sets with empty intersection such that any $d$ of them intersect) is ${{n-1}\choose{k-1}}$. We prove the conjecture for all $d$ and $k$, provided $n>n_0(d)$. △ Less

Submitted 11 August, 2021; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: Revised version, to appear in Advances in Mathematics. Significant exposition changes. 81 pages, no figures

MSC Class: 05D05; 05D40; 05D15; 05C65

Approximation of biased Boolean functions of small total influence by DNF's

Authors: Nathan Keller, Noam Lifshitz

Abstract: The influence of the $k$'th coordinate on a Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ is the probability that flip** $x_k$ changes the value $f(x)$. The total influence $I(f)$ is the sum of influences of the coordinates. The well-known `Junta Theorem' of Friedgut (1998) asserts that if $I(f) \leq M$, then $f$ can be $ε$-approximated by a function that depends on $O(2^{M/ε})$ coordinates… ▽ More The influence of the $k$'th coordinate on a Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ is the probability that flip** $x_k$ changes the value $f(x)$. The total influence $I(f)$ is the sum of influences of the coordinates. The well-known `Junta Theorem' of Friedgut (1998) asserts that if $I(f) \leq M$, then $f$ can be $ε$-approximated by a function that depends on $O(2^{M/ε})$ coordinates. Friedgut's theorem has a wide variety of applications in mathematics and theoretical computer science. For a biased function with $E[f]=μ$, the edge isoperimetric inequality on the cube implies that $I(f) \geq 2μ\log(1/μ)$. Kahn and Kalai (2006) asked, in the spirit of the Junta theorem, whether any $f$ such that $I(f)$ is within a constant factor of the minimum, can be $εμ$-approximated by a DNF of a `small' size (i.e., a union of a small number of sub-cubes). We answer the question by proving the following structure theorem: If $I(f) \leq 2μ(\log(1/μ)+M)$, then $f$ can be $εμ$-approximated by a DNF of size $2^{2^{O(M/ε)}}$. The dependence on $M$ is sharp up to the constant factor in the double exponent. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Comments: 14 pages

MSC Class: 05D05

On a biased edge isoperimetric inequality for the discrete cube

Authors: David Ellis, Nathan Keller, Noam Lifshitz

Abstract: The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but more widely-used) lower bound is $|\partial A| \geq |A| \log_2(2^n/|A|)$, where equality holds iff $A$ is a subcube. In 2011, the first author obtained a sharp `… ▽ More The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but more widely-used) lower bound is $|\partial A| \geq |A| \log_2(2^n/|A|)$, where equality holds iff $A$ is a subcube. In 2011, the first author obtained a sharp `stability' version of the latter result, proving that if $|\partial A| \leq |A| (\log(2^n/|A|)+ε)$, then there exists a subcube $C$ such that $|A ΔC|/|A| = O(ε/\log(1/ε))$. The `weak' version of the edge isoperimetric inequality has the following well-known generalization for the `$p$-biased' measure $μ_p$ on the discrete cube: if $p \leq 1/2$, or if $0 < p < 1$ and $A$ is monotone increasing, then $pμ_p(\partial A) \geq μ_p(A) \log_p(μ_p(A))$. In this paper, we prove a sharp stability version of the latter result, which generalizes the aforementioned result of the first author. Namely, we prove that if $pμ_p(\partial A) \leq μ_p(A) (\log_p(μ_p(A))+ε)$, then there exists a subcube $C$ such that $μ_p(A ΔC)/μ_p(A) = O(ε' /\log(1/ε'))$, where $ε' =ε\ln (1/p)$. This result is a central component in recent work of the authors proving sharp stability versions of a number of Erdős-Ko-Rado type theorems in extremal combinatorics, including the seminal `complete intersection theorem' of Ahlswede and Khachatrian. In addition, we prove a biased-measure analogue of the `full' edge isoperimetric inequality, for monotone increasing sets, and we observe that such an analogue does not hold for arbitrary sets, hence answering a question of Kalai. We use this result to give a new proof of the `full' edge isoperimetric inequality, one relying on the Kruskal-Katona theorem. △ Less

Submitted 2 March, 2018; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 36 pages. More explanations added, and minor corrections made, in response to referee comments

MSC Class: 05D05

On the structure of subsets of the discrete cube with small edge boundary

Authors: David Ellis, Nathan Keller, Noam Lifshitz

Abstract: The edge isoperimetric inequality in the discrete cube specifies, for each pair of integers $m$ and $n$, the minimum size $g_n(m)$ of the edge boundary of an $m$-element subset of $\{0,1\}^{n}$; the extremal families (up to automorphisms of the discrete cube) are initial segments of the lexicographic ordering on $\{0,1\}^n$. We show that for any $m$-element subset $\mathcal{F} \subset \{0,1\}^n$ a… ▽ More The edge isoperimetric inequality in the discrete cube specifies, for each pair of integers $m$ and $n$, the minimum size $g_n(m)$ of the edge boundary of an $m$-element subset of $\{0,1\}^{n}$; the extremal families (up to automorphisms of the discrete cube) are initial segments of the lexicographic ordering on $\{0,1\}^n$. We show that for any $m$-element subset $\mathcal{F} \subset \{0,1\}^n$ and any integer $l$, if the edge boundary of $\mathcal{F}$ has size at most $g_n(m)+l$, then there exists an extremal family $\mathcal{G} \subset \{0,1\}^n$ such that $|\mathcal{F} Δ\mathcal{G}| \leq Cl$, where $C$ is an absolute constant. This is best-possible, up to the value of $C$. Our result can be seen as a `stability' version of the edge isoperimetric inequality in the discrete cube, and as a discrete analogue of the seminal stability result of Fusco, Maggi and Pratelli concerning the isoperimetric inequality in Euclidean space. △ Less

Submitted 25 May, 2018; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 29 pages. Reformatted for publication in Discrete Analysis

MSC Class: 05D05

On the union of intersecting families

Authors: David Ellis, Noam Lifshitz

Abstract: A family of sets is said to be \emph{intersecting} if any two sets in the family have nonempty intersection. In 1973, Erdős raised the problem of determining the maximum possible size of a union of $r$ different intersecting families of $k$-element subsets of an $n$-element set, for each triple of integers $(n,k,r)$. We make progress on this problem, proving that for any fixed integer $r \geq 2$ a… ▽ More A family of sets is said to be \emph{intersecting} if any two sets in the family have nonempty intersection. In 1973, Erdős raised the problem of determining the maximum possible size of a union of $r$ different intersecting families of $k$-element subsets of an $n$-element set, for each triple of integers $(n,k,r)$. We make progress on this problem, proving that for any fixed integer $r \geq 2$ and for any $k \leq (\tfrac{1}{2}-o(1))n$, if $X$ is an $n$-element set, and $\mathcal{F} = \mathcal{F}_1 \cup \mathcal{F}_2 \cup \ldots \cup \mathcal{F}_r$, where each $\mathcal{F}_i$ is an intersecting family of $k$-element subsets of $X$, then $|\mathcal{F}| \leq {n \choose k} - {n-r \choose k}$, with equality only if $\mathcal{F} = \{S \subset X:\ |S|=k,\ S \cap R \neq \emptyset\}$ for some $R \subset X$ with $|R|=r$. This is best possible up to the size of the $o(1)$ term, and improves a 1987 result of Frankl and Füredi, who obtained the same conclusion under the stronger hypothesis $k < (3-\sqrt{5})n/2$, in the case $r=2$. Our proof utilises an isoperimetric, influence-based method recently developed by Keller and the authors. △ Less

Submitted 21 December, 2018; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: 13 pages. Updated references, expositional changes and minor corrections following the helpful comments of an anonymous referee

MSC Class: 05D05

Journal ref: Combinator. Probab. Comp. 28 (2019) 826-839

A Note on Large H-Intersecting Families

Authors: Nathan Keller, Noam Lifshitz

Abstract: A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families o… ▽ More A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$. In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$. In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures. △ Less

Submitted 12 October, 2018; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: Only editorial changes with respect to the previous version. 4 pages

MSC Class: 05C80; 05C75; 05D05; 05D40

Stability for the Complete Intersection Theorem, and the Forbidden Intersection Problem of Erdős and Sós

Authors: David Ellis, Nathan Keller, Noam Lifshitz

Abstract: A family $F$ of sets is said to be $t$-intersecting if $|A \cap B| \geq t$ for any $A,B \in F$. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size $f(n,k,t)$ of a $t$-intersecting family of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$, together with a characterisation of the extremal families. The forbidden intersection problem, posed by Erdős an… ▽ More A family $F$ of sets is said to be $t$-intersecting if $|A \cap B| \geq t$ for any $A,B \in F$. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size $f(n,k,t)$ of a $t$-intersecting family of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$, together with a characterisation of the extremal families. The forbidden intersection problem, posed by Erdős and Sós in 1971, asks for a determination of the maximal size $g(n,k,t)$ of a family $F$ of $k$-element subsets of $[n]$ such that $|A \cap B| \neq t-1$ for any $A,B \in F$. In this paper, we show that for any fixed $t \in \mathbb{N}$, if $o(n) \leq k \leq n/2-o(n)$, then $g(n,k,t)=f(n,k,t)$. In combination with prior results, this solves the above problem of Erdős and Sós for any constant $t$, except for in the ranges $n/2-o(n) < k < n/2+t/2$ and $k < 2t$. One key ingredient of the proof is the following sharp `stability' result for the Complete Intersection Theorem: if $k/n$ is bounded away from $0$ and $1/2$, and $F$ is a $t$-intersecting family of $k$-element subsets of $[n]$ such that $|F| \geq f(n,k,t) - O(\binom{n-d}{k})$, then there exists a family $G$ such that $G$ is extremal for the Complete Intersection Theorem, and $|F \setminus G| = O(\binom{n-d}{k-d})$. We believe this result to be of interest in its own right; indeed, it proves a conjecture of Friedgut from 2008. We prove it by combining classical `shifting' arguments with a `bootstrap**' method based upon an isoperimetric inequality. Another key ingredient is a `weak regularity lemma' for families of $k$-element subsets of $[n]$, where $k/n$ is bounded away from 0 and 1. This states that any such family $F$ is approximately contained within a `junta', such that the restriction of $F$ to each subcube determined by the junta is `pseudorandom' in a certain sense. △ Less

Submitted 2 March, 2018; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: 39 pages. Minor expositional changes

MSC Class: 05D05; 05D40

Stability versions of Erdős-Ko-Rado type theorems, via isoperimetry

Authors: David Ellis, Nathan Keller, Noam Lifshitz

Abstract: Erdős-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approac… ▽ More Erdős-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results. We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\{1,2,\ldots.n\}$ (for $k < \frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement. Other examples include stability versions of Frankl's recent result on the Erdős matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-Sós conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families. △ Less

Submitted 25 May, 2018; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 43 pages. Improved exposition, minor corrections and updated references, following the very helpful comments of two anonymous referees

MSC Class: 05D05

On the sum of the L1 influences of bounded functions

Authors: Yuval Filmus, Hamed Hatami, Nathan Keller, Noam Lifshitz

Abstract: Let $f\colon \{-1,1\}^n \to [-1,1]$ have degree $d$ as a multilinear polynomial. It is well-known that the total influence of $f$ is at most $d$. Aaronson and Ambainis asked whether the total $L_1$ influence of $f$ can also be bounded as a function of $d$. Bačkurs and Bavarian answered this question in the affirmative, providing a bound of $O(d^3)$ for general functions and $O(d^2)$ for homogeneou… ▽ More Let $f\colon \{-1,1\}^n \to [-1,1]$ have degree $d$ as a multilinear polynomial. It is well-known that the total influence of $f$ is at most $d$. Aaronson and Ambainis asked whether the total $L_1$ influence of $f$ can also be bounded as a function of $d$. Bačkurs and Bavarian answered this question in the affirmative, providing a bound of $O(d^3)$ for general functions and $O(d^2)$ for homogeneous functions. We improve on their results by providing a bound of $d^2$ for general functions and $O(d\log d)$ for homogeneous functions. In addition, we prove a bound of $d/(2 π)+o(d)$ for monotone functions, and provide a matching example. △ Less

Submitted 28 March, 2015; v1 submitted 13 April, 2014; originally announced April 2014.

Comments: 16 pages; accepted for publication in the Israel Journal of Mathematics

On Rystov's generalization of the Černý Conjecture

Authors: Noam Lifshitz, Ciaran Mullan, Boaz Tsaban

Abstract: We resolve a conjecture of Rystov concerning products of matrices, that generalizes the Černý Conjecture. We resolve a conjecture of Rystov concerning products of matrices, that generalizes the Černý Conjecture. △ Less

Submitted 23 June, 2013; originally announced June 2013.

Comments: This is a preliminary announcement. Later versions will include additional results and details

Monochromatic generating sets in groups and other algebraic structures

Authors: Noam Lifshitz, Itay Ravia, Boaz Tsaban

Abstract: The \emph{generating chromatic number} of a group $G$, $\chigen(G)$, is the maximum number of colors $k$ such that there is a monochromatic generating set for each coloring of the elements of $G$ in $k$ colors. If no such maximal $k$ exists, we set $\chigen(G)=\infty$. Equivalently, $\chigen(G)$ is the maximal number $k$ such that there is no cover of $G$ by proper subgroups ($\infty$ if there is… ▽ More The \emph{generating chromatic number} of a group $G$, $\chigen(G)$, is the maximum number of colors $k$ such that there is a monochromatic generating set for each coloring of the elements of $G$ in $k$ colors. If no such maximal $k$ exists, we set $\chigen(G)=\infty$. Equivalently, $\chigen(G)$ is the maximal number $k$ such that there is no cover of $G$ by proper subgroups ($\infty$ if there is no such maximal $k$). We provide characterizations, for arbitrary gruops, in the cases $\chigen(G)=\infty$ and $\chigen(G)=2$. For nilpotent groups (in particular, for abelian ones), all possible chromatic numbers are characterized. Examples show that the characterization for nilpotent groups do not generalize to arbitrary solvable groups. We conclude with applications to vector spaces and fields. △ Less

Submitted 1 December, 2012; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: We have added a comment made by Martino Garonzi, an expert on the topic

Reduction of optical reflection from InP semiconductor wafers after high-temperature annealing

Authors: Oleg G. Semyonov, Arsen V. Subashiev, Alexander Shabalov, Nadia Lifshitz, Zhichao Chen, Takashi Hosoda, Serge Luryi

Abstract: We observed and studied strong reduction of optical reflection from the surface of InP wafers after high-temperature annealing. The effect is observed over a wide range of the incident wavelengths, and in the transparency band of the material it is accompanied by increasing transmission. The spectral position of a minimum (almost zero) of the reflection coefficient can be tuned, by varying the tem… ▽ More We observed and studied strong reduction of optical reflection from the surface of InP wafers after high-temperature annealing. The effect is observed over a wide range of the incident wavelengths, and in the transparency band of the material it is accompanied by increasing transmission. The spectral position of a minimum (almost zero) of the reflection coefficient can be tuned, by varying the temperature and the time of annealing, in the spectral range between 0.5 and 6 eV. The effect is explained by the formation of a uniform oxide layer, whose parameters (thicknesses and average index) are estimated by detailed modeling. △ Less

Submitted 22 December, 2011; originally announced December 2011.

Comments: 20 pages, 11 figures, submitted to Journal of Applied physics

Epitaxial InGaAsP/InP photodiode for registration of InP scintillation

Authors: Serge Luryi, Alex Kastalsky, Michael Gouzman, Nadia Lifshitz, Oleg Semyonov, Milutin Stanacevic, Arsen Subashiev, Vladislav Kuzminsky, William Cheng, Vladimir Smagin, Zhichao Chen, Joseph H. Abeles, Winston K. Chan, Zane A. Shellenbarger

Abstract: Operation of semiconductor scintillators requires optically-tight integration of the photoreceiver system on the surface of the scintillator slab. We have implemented an efficient and fast quaternary InGaAsP pin photodiode, epitaxially grown upon the surface of an InP scintillator wafer and sensitive to InP luminescence. The diode is characterized by an extremely low room-temperature dark current,… ▽ More Operation of semiconductor scintillators requires optically-tight integration of the photoreceiver system on the surface of the scintillator slab. We have implemented an efficient and fast quaternary InGaAsP pin photodiode, epitaxially grown upon the surface of an InP scintillator wafer and sensitive to InP luminescence. The diode is characterized by an extremely low room-temperature dark current, about 1 nA/cm2 at the reverse bias of 2 V. The low leakage makes possible a sensitive readout circuitry even though the diode has a large area (1 mm/times1 mm) and therefore large capacitance (50 pF). Results of electrical, optical and radiation testing of the diodes are presented. Detection of individual α-particles and γ-photons is demonstrated. △ Less

Submitted 4 April, 2010; originally announced April 2010.

Comments: 16 pages, 11 figures

Journal ref: Nucl. Instr. and Meth. in Phys. Research A 622, pp. 113-119 (2010)