arXiv subjects

Shuhui Yu

Publications and source records attributed to Shuhui Yu.

6 recordsLinked to original sources

arXiv2026

On $\ell$-weakly cross $t$-intersecting families for sets and vector spaces

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\leq i,j\leq \ell}|F_{i}\cap G_{j}|\geq \ell^{2}t-\ell+1$ (resp. $\sum_{1\leq i,j\leq \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.

math.CO↗

arXiv2025

New results of Bollob\'{a}s-type theorem for affine subspaces and projective subspaces

Bollob\'{a}s-type theorem has received a lot of attention due to its application in graph theory. In 2015, G\'{a}bor Heged{\"u}s gave an upper bound of bollob\'{a}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\'{a}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\'{a}s-type projective subspaces, and prove that the Heged{\"u}s's conjecture holds when $q=2$.

math.CO↗

arXiv2024

$s$-almost $t$-intersecting families for vector spaces

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.

math.CO↗

arXiv2024

$s$-almost $t$-intersecting families for vector spaces

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.

math.CO↗

arXiv2023

Construction of optimal flag codes by MRD codes

Flag codes have received a lot of attention due to its application in random network coding. In 2021, Alonso-Gonz\'{a}lez et al. constructed optimal $(n,\mathcal{A})$-Optimum distance flag codes(ODFC) for $\mathcal {A}\subseteq \{1,2,\ldots,k,n-k,\ldots,n-1\}$ with $k\in \mathcal A$ and $k\mid n$. In this paper, we introduce a new construction of $(n,\mathcal A)_q$-ODFCs by maximum rank-metric codes, and prove that there is an $(n,\mathcal{A})$-ODFC of size $\frac{q^n-q^{k+r}}{q^k-1}+1$ for any $\mathcal{A}\subseteq\{1,2,\ldots,k,n-k,\ldots,n-1\}$ with $\mathcal A\cap \{k,n-k\}\neq\emptyset$, where $r\equiv n\pmod k$ and $0\leq r \frac{q^r-1}{q-1}$, this $(n,\mathcal A)_q$-ODFC is optimal. Specially, when $r=0$, Alonso-Gonz\'{a}lez et al.'s result is also obtained. We also gives a characterization of almost optimum distance flag codes, and construct a family of optimal almost optimum flag distance codes.

cs.DM↗

arXiv2023

New constructions of cyclic subspace codes

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.

cs.DM↗