arXiv++ Combinatorics

Let $[n]$ (resp. $V$) be an $n$-element set (resp. $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$), and $\binom{[n]}{k}$ (resp. $\genfrac{[}{]}{0pt}{}{V}{k}$) denote the set of all $k$-subsets of $[n]$ (resp. $k$-dimensional subspaces of $V$). We say that $\mathcal{F}\subseteq\binom{[n]}{k}$ (resp. $\mathcal{F}\subseteq\genfrac{[}{]}{0pt}{}{V}{k}$) and $\mathcal{G}\subseteq\binom{[n]}{k'}$ (resp. $\mathcal{G}\subseteq \genfrac{[}{]}{0pt}{}{V}{k'}$) are $\ell$-weakly cross $t$-intersecting if $\sum_{1\le i,j\le \ell}|F_i\cap G_j|\geq \ell^{2}t-\ell+1$ (resp. $\sum_{1\le i,j\le \ell}\dim(F_i\cap G_j)\geq \ell^{2}t-\ell+1$) for all distinct $F_1,\ldots,F_{\ell}\in\mathcal{F}$ and $G_1,\ldots,G_{\ell}\in\mathcal{G}$. In this paper, we provide an alternative proof of the set version of the $\ell$-weakly cross $t$-intersecting theorem and an explicit lower bound for $n$. Moreover, we prove that if $\mathcal{F}$ and $\mathcal{G}$ are $\ell$-weakly cross $t$-intersecting subspace families, then \[ |\mathcal{F}| \cdot |\mathcal{G}| \leq\genfrac{[}{]}{0pt}{}{n-t}{k-t}\genfrac{[}{]}{0pt}{}{n-t}{k'-t} \] holds, provided that $n\geq (2k-t+1)(t+1)+(k-t+1)k'+k+2\ell-1$. This extends the theorem of Cao, Lu, Lv and Wang [J. Combin. Theory Ser. A 193 (2023), 105688], who established the upper bound for the product of the sizes of cross $t$-intersecting subspace families.

Bollobás-type theorem has received a lot of attention due to its application in graph theory. In 2015, Gábor Heged{ü}s gave an upper bound of bollobás-type affine subspace families for $q\neq 2$, and constructed an almost sharp affine subspaces pair families. In this note, we prove a new upper bound for bollobás-type affine subspaces without the requirement of $q\neq 2$, and construct a pair of families of affine subspaces, which shows that our upper bound is sharp. We also give an upper bound for bollobás-type projective subspaces, and prove that the Heged{ü}s's conjecture holds when $q=2$.

Let $\mathcal{F}$ be a family of $k$-dimensional subspaces of an $n$-dimensional vector space. Write $\mathcal{D}_{\mathcal{F}}(H;t)=\{F\in \mathcal{F}\colon \dim(F\cap H)\leq t \}$ for a subspace $H$. The family $\mathcal{F}$ is called $s$-almost $t$-intersecting if $|\mathcal{D}_{\mathcal{F}}(F;t)|\leq s$ for each $F\in \mathcal{F}$. In this note, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting.

Let $V$ be a finite dimensional vector space over a finite field, and $\mathcal{F}$ a family consisting of $k$-subspaces of $V$. The family $\mathcal{F}$ is called $t$-intersecting if $\dim(F_{1}\cap F_{2})\geq t$ for any $F_{1}, F_{2}\in \mathcal{F}$. We say $\mathcal{F}$ is $s$-almost $t$-intersecting if for each $F\in \mathcal{F}$ there are at most $s$ members $F^{\prime}$ of $\mathcal{F}$ such that $\dim(F\cap F^{\prime})<t$. In this paper, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting. We also consider $s$-almost $t$-intersecting families which are not $t$-intersecting, and characterize such families with maximum size for $(s,t)\neq(1,1)$. The result for $1$-almost $1$-intersecting families provided by Shan and Zhou is generalized.

A subspace of a finite field is called a Sidon space if the product of any two of its nonzero elements is unique up to a scalar multiplier from the base field. Sidon spaces, introduced by Roth et al. (IEEE Trans Inf Theory 64(6): 4412-4422, 2018), have a close connection with optimal full-length orbit codes. In this paper, we present two constructions of Sidon spaces. The union of Sidon spaces from the first construction yields cyclic subspace codes in $\mathcal{G}_{q}(n,k)$ with minimum distance $2k-2$ and size $r(\lceil \frac{n}{2rk} \rceil -1)((q^{k}-1)^{r}(q^{n}-1)+\frac{(q^{k}-1)^{r-1}(q^{n}-1)}{q-1})$, where $k|n$, $r\geq 2$ and $n\geq (2r+1)k$, $\mathcal{G}_{q}(n,k)$ is the set of all $k$-dimensional subspaces of $\mathbb{F}_{q}^{n}$. The union of Sidon spaces from the second construction gives cyclic subspace codes in $\mathcal{G}_{q}(n,k)$ with minimum distance $2k-2$ and size $\lfloor \frac{(r-1)(q^{k}-2)(q^{k}-1)^{r-1}(q^{n}-1)}{2}\rfloor$ where $n= 2rk$ and $r\geq 2$. Our cyclic subspace codes have larger sizes than those in the literature, in particular, in the case of $n=4k$, the size of our resulting code is within a factor of $\frac{1}{2}+o_{k}(1)$ of the sphere-packing bound as $k$ goes to infinity.