Related papers: Forbidden sparse intersections

Let $\mathbb N_0$ be the set of non-negative integers, and let $P(n,l)$ denote the set of all weak compositions of $n$ with $l$ parts, i.e., $P(n,l)=\{ (x_1,x_2,\dots, x_l)\in\mathbb N_0^l\ :\ x_1+x_2+\cdots+x_l=n\}$. For any element…

The families $\mathcal{A}$ and $\mathcal{B}$ are cross intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. Let $t\geq 2$ and $k_1\geq k_2\geq \cdots \geq k_t$. We say that $(\mathcal{F}_1, \dots,…

A family $\mathcal{F} \subset \mathcal{P}(n)$ is $r$-wise $k$-intersecting if $|A_1 \cap \dots \cap A_r| \geq k$ for any $A_1, \dots, A_r \in \mathcal{F}$. It is easily seen that if $\mathcal{F}$ is $r$-wise $k$-intersecting for $r \geq 2$,…

Let $\mathscr{F}$ and $\mathscr{G}$ be families of $k$- and $\ell$-dimensional subspaces, respectively, of a given $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Suppose that $x \cap y \ne 0$ for all $x \in \mathscr{F}$…

Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called non-trivial cross $t$-intersecting if $|F\cap G|\geq t$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $|\cap \{F\colon F\in \mathcal{F}\}|<t$, $|\cap…

Given a family $\mathcal{F}\subset 2^{[n]}$ and $1\leq i\neq j\leq n$, we use $\mathcal{F}(\bar{i},j)$ to denote the family $\{F\setminus \{j\}\colon F\in \mathcal{F},\ F\cap \{i,j\}=\{j\}\}$. The sturdiness of $\mathcal{F}$ is defined as…

If a family $\mathcal{F}$ of $k$-element subsets of an $n$-element set is pairwise intersecting, $2k\leq n$ then $|\mathcal{F}|\leq {n-1\choose k-1}$ holds by the celebrated Erd\H{o}s-Ko-Rado theorem. But an intersecting family obviously…

We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's…

Let $\omega(\mathcal{F})=\sum_{\{A,B\}\subset\mathcal{F}}|A\cap B|$ and $\omega(\mathcal{A},\mathcal{B})=\sum_{(A,B)\in \mathcal{A}\times \mathcal{B}}|A\cap B|$. A family $\mathcal{F}$ is intersecting if $F_1\cap F_2\neq \emptyset$ for any…

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…

Let $\mathcal F\subset 2^{[n]}$ be an $s$-uniform family such that every two distinct sets have a nonempty intersection but intersect in at most $k$ elements. By the well-known Ray-Chaudhuri--Wilson theorem, since the intersections can take…

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}$…

A balanced pattern of order $2d$ is an element $P \in \{+,-\}^{2d}$, where both signs appear $d$ times. Two sets $A,B \subset [n]$ form $P$-pattern, which we denote by $\operatorname{pat}(A,B) = P$, if $A\triangle B = \{j_1,\ldots…

Let $ n\geqslant t\geqslant 1$ and $ \mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m \subseteq 2^{[n]}$ be non-empty families. We say that they are pairwise cross $t$-intersecting if $|A_i\cap A_j|\geqslant t$ holds for any $A_i\in…

Two families $\mathcal A$ and $\mathcal B$ of $k$-subsets of an $n$-set are called cross-intersecting if $A\cap B\ne\emptyset$ for all $A\in \mathcal A, B\in \mathcal B $. Strengthening the classical Erd\H os-Ko-Rado theorem, Pyber proved…

Let $k, r, n \geq 1$ be integers, and let $\S_{n, k, r}$ be the family of $r$-signed $k$-sets on $[n] = \{1, \dots, n\}$ given by $$ \mathcal{S}_{n, k, r} = \Big\{\{(x_1, a_1), \dots, (x_k, a_k)\}: \{x_1, \dots, x_k\} \in \binom{[n]}{k},…

We explore from several perspectives the following question: given $X\subseteq \mathbb{Z}$ and $N\in \mathbb{N}$, what is the maximum size $D(X,N)$ of $A\subseteq \{1,2,\dots,N\}$ before $A$ is forced to contain two distinct elements that…

It is well known that an intersecting family of subsets of an n-element set can contain at most 2^(n-1) sets. It is natural to wonder how `close' to intersecting a family of size greater than 2^(n-1) can be. Katona, Katona and Katona…

We call a family of sets intersecting, if any two sets in the family intersect. In this paper we investigate intersecting families $\mathcal{F}$ of $k$-element subsets of $[n]:=\{1,\ldots, n\},$ such that every element of $[n]$ lies in the…

A family of subsets of $\{1,\ldots,n\}$ is called {\it intersecting} if any two of its sets intersect. A classical result in extremal combinatorics due to Erd\H{o}s, Ko, and Rado determines the maximum size of an intersecting family of…