arXiv++ Combinatorics

Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}$ holds for all $F_i\in\mathcal F_i$, $1\leq i\leq r$. Then we show that $\prod_{i=1}^r|\mathcal F_i|\leq\genfrac{[}{]}{0pt}{}{n-1}{k-1}$, provided $n-k$ is sufficiently large for fixed $q$ and $r$. Moreover, equality holds if and only if there is a common line $L$ such that every family $\mathcal F_i$ consists of all $k$-dimensional subspaces containing the line $L$. One of the main tools of the proof is a junta theorem concerning intersecting linear maps obtained by Ellis, Kindler, and Lifshitz.

We give lower and upper bounds on the burning number of Hamming graphs, Johnson graphs, and halved cube graphs. For the lower bounds, we use the fact that $1$-skeletons of the eigenpolytopes of these graphs are isomorphic to the original graphs. Then, we present a dynamic search algorithm performed on the eigenpolytope to find an unburned vertex. This idea was originally used by Alon (Discrete Appl.\ Math.,\ 1992), who determined the burning number of the hypercube graphs.

Let $k\geq 2$ and $n\geq 3(k-1)$. Let $\mathcal{F}$ and $\mathcal{G}$ be families of $k$-element subsets of an $n$-element set. Suppose that $|F\cap G|\geq 2$ for all $F\in\mathcal{F}$ and $G\in\mathcal{G}$. We show that $|\mathcal{F}||\mathcal{G}|\leq\binom{n-2}{k-2}^2$, and determine the extremal configurations. This settles the last unsolved case of a recent result by Zhang and Wu (J. Combin. Theory Ser. B, 2025). We also obtain the corresponding result in the product measure setting. Our proof is done by solving semidefinite programming problems.

The Hamming graph $H(n,q)$ is defined on the vertex set $\{1,2,\ldots,q\}^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon (1992) proved that for any sequence $v_1,\ldots,v_b$ of $b=\lceil\frac n2\rceil$ vertices of $H(n,2)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. In this note, we prove that for any $q\geq 3$ and any sequence $v_1,\ldots,v_b$ of $b=\lfloor(1-\frac1q)n\rfloor$ vertices of $H(n,q)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. Alon used a lemma due to Beck and Spencer (1983) which, in turn, was based on the floating variable method introduced by Beck and Fiala (1981) who studied combinatorial discrepancies. For our proof, we extend the Beck--Spencer Lemma by using a multicolor version of the floating variable method due to Doerr and Srivastav (2003).

The Hamming graph $H(n,q)$ is defined on the vertex set $[q]^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon \cite{Alon} proved that the burning number of $H(n,2)$ is $\lceil\frac n2\rceil+1$. In this note we give a short proof of a fact that the burning number of $H(n,q)$ is $(1-\frac 1q)n+O(\sqrt{n\log n})$ for fixed $q\geq 2$ and $n\to\infty$.

We introduce a measure for subspaces of a vector space over a $q$-element field, and propose some extremal problems for intersecting families. These are $q$-analogue of Erdős-Ko-Rado type problems, and we answer some of the basic questions.

Let ${\mathcal G}$ be a family of subsets of an $n$-element set. The family ${\mathcal G}$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in ${\mathcal G}$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in{\mathcal G}$. For example, if ${\mathcal G}$ consists of all subsets containing a fixed $t$-element set, then it is a $3$-wise $t$-intersecting family with the measure $p^t$. Let $0<p\leq 2/(\sqrt{4t+9}-1)$, $δ>0$, and let ${\mathcal G}$ be a $3$-wise $t$-intersecting family. It is known that the measure of ${\mathcal G}$ is at most $p^t$. Suppose, moreover, that ${\mathcal G}$ has the measure at least $(\frac12+δ)p^t$. We show that, by choosing $t$ sufficiently large depending on $δ$, the structure of ${\mathcal G}$ is one of (i) and (ii): (i) every subset in ${\mathcal G}$ contains a fixed $t$-element set, (ii) every subset in ${\mathcal G}$ contains at least $t+2$ elements from a fixed $(t+3)$-element set.

A family of $k$-element subsets of an $n$-element set is called 3-wise intersecting if any three members in the family have non-empty intersection. We determine the maximum size of such families exactly or asymptotically. One of our results shows that for every $ε>0$ there exists $n_0$ such that if $n>n_0$ and $\frac25+ε<\frac kn<\frac 12-ε$ then the maximum size is $4\binom{n-4}{k-3}+\binom{n-4}{k-4}$.

We show that the expected number of cliques in the Erdős-Rényi random graph $G(n,p)$ is $n^{\frac1{-2\log p}(\log n-2\log\log n+O(1))}$.

Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called non-trivial $3$-wise intersecting if the intersection of any three subsets in $\mathcal G$ is non-empty, but the intersection of all subsets is empty. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We determine the maximum measure of non-trivial $3$-wise intersecting families. We also discuss the uniqueness and stability of the corresponding optimal structure. These results are obtained by solving linear programming problems.

Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called $3$-wise $t$-intersecting if the intersection of any three subsets in $\mathcal G$ is of size at least $t$. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We prove that if $t\geq 15$ and $p\leq 2/(\sqrt{4t+9}-1)$ then $p^t$ is the maximum measure of $3$-wise $t$-intersecting families, and the bound for $p$ is sharp. We also present the corresponding stability result for shifted families.

Using the Filmus-Golubev-Lifshitz method to bound the independence number of a hypergraph, we solve some problems concerning multiply intersecting families with biased measure. Among other results we obtain a stability result of a measure version of the Erdos-Ko-Rado theorem for multiply intersecting families.

We provide an upper bound of the size of a subset A of F_p^n that does not admit a k-star of 3-APs (three-term arithmetic progressions). Namely, the subset A is assumed to contain no configuration of k 3-APs, sharing the middle term, such that all 2k+1 terms are distinct. In the proof, we adapt a new method in the recent work of Sauermann.

Fix a vector space over a finite field and a system of linear equations. We provide estimates, in terms of the dimension of the vector space, of the maximum of the sizes of subsets of the space that do not admit solutions of the system consisting of more than one point. That from above is derived by slice rank method of Tao; to obtain one from below, we define the notion of 'dominant reductions' of the system. Furthermore, by adapting a recent argument of Sauermann, we make an estimation of the maximum of the sizes of subsets that are 'W shape'-free, that means, there exist no five distinct points forming two overlapping parallelograms.

We provide a necessary and sufficient condition for stars to be the largest cross intersecting families.

Two families, ${\mathcal A}$ and ${\mathcal B}$, of subsets of $[n]$ are cross $t$-intersecting if for every $A \in {\mathcal A}$ and $B \in {\mathcal B}$, $A$ and $B$ intersect in at least $t$ elements. For a real number $p$ and a family ${\mathcal A}$ the product measure $μ_p ({\mathcal A})$ is defined as the sum of $p^{|A|}(1-p)^{n-|A|}$ over all $A\in{\mathcal A}$. For every non-negative integer $r$, and for large enough $t$, we determine, for any $p$ satisfying $\frac r{t+2r-1}\leq p\leq\frac{r+1}{t+2r+1}$, the maximum possible value of $μ_p ({\mathcal A})μ_p ({\mathcal B})$ for cross $t$-intersecting families ${\mathcal A}$ and ${\mathcal B}$. In this paper we prove a stronger stability result which yields the above result.

Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.

Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed by Frankl. We address a cross intersecting version of their diametric theorem. Two families $\mathcal{A}$ and $\mathcal{B}$ of subsets of $[n]$ are {\em cross $t$-intersecting} if for every $A \in \mathcal{A}$ and $B \in \mathcal{B}$, $A$ and $B$ intersect in at least $t$ elements. The $p$-weight of a $k$ element subset $A$ of $[n]$ is $p^{k}(1-p)^{n-k}$, and the weight of a family $\mathcal{A}$ is the sum of the weights of its sets. The weight of a pair of families is the product of the weights of the families. The maximum $p$-weight of a $t$-intersecting family depends on the value of $p$. Ahlswede and Khachatrian showed that for $p$ in the range $[\frac{r}{t + 2r - 1}, \frac{r+1}{t + 2r + 1}]$, the maximum $p$-weight of a $t$-intersecting family is that of the family $\mathcal{F}^t_r$ consisting of all subsets of $[n]$ containing at least $t+r$ elements of the set $[t+2r]$. In a previous paper we showed a cross $t$-intersecting version of this for large $t$ in the case that $r = 0$. In this paper, we do the same in the case that $r = 1$. We show that for $p$ in the range $[\frac{1}{t + 1}, \frac{2}{t + 3}]$ the maximum $p$-weight of a cross $t$-intersecting pair of families, for $t \geq 200$, is achieved when both families are $\mathcal{F}^t_1$. Further, we show that except at the endpoints of this range, this is, up to isomorphism, the only pair of $t$-intersecting families achieving this weight.

We present a semidefinite programming approach to bound the measures of cross-independent pairs in a bipartite graph. This can be viewed as a far-reaching extension of Hoffman's ratio bound on the independence number of a graph. As an application, we solve a problem on the maximum measures of cross-intersecting families of subsets with two different product measures, which is a generalized measure version of the Erdős-Ko-Rado theorem for cross-intersecting families with different uniformities.

Two families $\mathcal{A}$ and $\mathcal{B}$, of $k$-subsets of an $n$-set, are {\em cross $t$-intersecting} if for every choice of subsets $A \in \mathcal{A}$ and $B \in \mathcal{B}$ we have $|A \cap B| \geq t$. We address the following conjectured cross $t$-intersecting version of the Erd\H os--Ko--Rado Theorem: For all $n \geq (t+1)(k-t+1)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ for two cross $t$-intersecting families $\mathcal{A}, \mathcal{B} \subset\binom{[n]}{k}$ is $\binom{n-t}{k-t}^2$. We verify this for all $t \geq 14$ except finitely many $n$ and $k$ for each fixed $t$. Further, we prove uniqueness and stability results in these cases, showing, for instance, that the families reaching this bound are unique up to isomorphism. We also consider a {\em $p$-weight} version of the problem, which comes from the product measure on the power set of an $n$-set.