Cross-intersecting non-empty uniform subfamilies of hereditary families

A set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting if each set in $\mathcal{A}$ $t$-intersects each set in $\mathcal{B}$. A family $\mathcal{H}$ is hereditary if for each set $A$ in $\mathcal{H}$, all the subsets of $A$ are in $\mathcal{H}$. The $r$th level of $\mathcal{H}$, denoted by $\mathcal{H}^{(r)}$, is the family of $r$-element sets in $\mathcal{H}$. A set $B$ in $\mathcal{H}$ is a base of $\mathcal{H}$ if for each set $A$ in $\mathcal{H}$, $B$ is not a proper subset of $A$. Let $\mu(\mathcal{H})$ denote the size of a smallest base of $\mathcal{H}$. We show that for any integers $t$, $r$, and $s$ with $1 \leq t \leq r \leq s$, there exists an integer $c(r,s,t)$ such that the following holds for any hereditary family $\mathcal{H}$ with $\mu(\mathcal{H}) \geq c(r,s,t)$. If $\mathcal{A}$ is a non-empty subfamily of $\mathcal{H}^{(r)}$, $\mathcal{B}$ is a non-empty subfamily of $\mathcal{H}^{(s)}$, $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, and $|\mathcal{A}| + |\mathcal{B}|$ is maximum under the given conditions, then for some set $I$ in $\mathcal{H}$ with $t \leq |I| \leq r$, either $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon I \subseteq A\}$ and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon |B \cap I| \geq t\}$, or $r = s$, $t < |I|$, $\mathcal{A} = \{A \in \mathcal{H}^{(r)} \colon |A \cap I| \geq t\}$, and $\mathcal{B} = \{B \in \mathcal{H}^{(s)} \colon I \subseteq B\}$. This was conjectured by the author for $t=1$ and generalizes well-known results for the case where $\mathcal{H}$ is a power set.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1805.0524

A result on polynomials derived via graph theory

We present an example of a result in graph theory that is used to obtain a result in another branch of mathematics. More precisely, we show that the isomorphism of certain directed graphs implies that some trinomials over finite fields have the same number of roots

Strongly intersecting integer partitions

We call a sum a1+a2+• • •+ak a partition of n of length k if a1, a2, . . . , ak and n are positive integers such that a1 ≤ a2 ≤ • • • ≤ ak and n = a1 + a2 + • • • + ak. For i = 1, 2, . . . , k, we call ai the ith part of the sum a1 + a2 + • • • + ak. Let Pn,k be the set of all partitions of n of length k. We say that two partitions a1+a2+• • •+ak and b1+b2+• • •+bk strongly intersect if ai = bi for some i. We call a subset A of Pn,k strongly intersecting if every two partitions in A strongly intersect. Let Pn,k(1) be the set of all partitions in Pn,k whose first part is 1. We prove that if 2 ≤ k ≤ n, then Pn,k(1) is a largest strongly intersecting subset of Pn,k, and uniquely so if and only if k ≥ 4 or k = 3 ≤ n ̸∈ {6, 7, 8} or k = 2 ≤ n ≤ 3.peer-reviewe

Global hypercontractivity and its applications

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\'an 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\'an number, answering a question of Mubayi and Verstra\"ete. 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\"uredi--Jiang--Seiver conjecture on path expansions.Comment: Subsumes arXiv:1906.0556