arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.00740math.CO
收藏

偶数维向量空间中室的最大Erdős-Ko-Rado集及其反设计

Maximum Erdős-Ko-Rado sets of chambers and their antidesigns in vector-spaces of even dimension

Philipp Heering, Jesse Lansdown, Klaus Metsch

AI总结:

本文利用图最小特征值特征空间的描述,针对足够大的q证明了偶数维向量空间中室的Erdős-Ko-Rado定理,确认了特定构造包含所有最大独立集。

摘要:

向量空间$\mathbb{F}_q^n$的室是$\mathbb{F}_q^n$的子空间集合$\{S_1,\dots,S_{n-1}\}$,其中$S_1\subset S_2\subset \dotso \subset S_{n-1}$且对于$i=1,\dots,n-1$有$\dim(S_i)=i$。用$Γ_n(q)$表示以$\mathbb{F}_q^n$的室为顶点的图,其中两个室$C_1=\{S_1,\dots,S_{n-1}\}$和$C_2=\{T_1,\dots,T_{n-1}\}$在$Γ_n(q)$中相邻,如果对于$i=1,\dots,n-1$有$S_i\cap T_{n-i}=\{0\}$。关于室的Erdős-Ko-Rado问题等价于确定$Γ_n(q)$的独立集结构。该图的独立数在文献[7]中针对$n$为偶数时被确定,给定一个一维子空间$P$,所有维度为$\frac n2$的子空间包含$P$的室的集合达到该界。对偶的例子当然也达到该界。在文献[7]中,这些是否为所有最大独立集的问题仍然悬而未决。利用文献[6]中对该图最小特征值特征空间的描述,我们针对足够大的$q$证明了$\mathbb{F}_q^n$的室上的Erdős-Ko-Rado定理,对$n$为偶数的情况给出了肯定回答。

英文摘要:

A chamber of the vector space $\mathbb{F}_q^n$ is a set $\{S_1,\dots,S_{n-1}\}$ of subspaces of $\mathbb{F}_q^n$ where $S_1\subset S_2\subset \dotso \subset S_{n-1}$ and $\dim(S_i)=i$ for $i=1,\dots,n-1$. By $Γ_n(q)$ we denote the graph whose vertices are the chambers of $\mathbb{F}_q^n$ with two chambers $C_1=\{S_1,\dots,S_{n-1}\}$ and $C_2=\{T_1,\dots,T_{n-1}\}$ adjacent in $Γ_n(q)$, if $S_i\cap T_{n-i}=\{0\}$ for $i=1,\dots,n-1$. The Erdős-Ko-Rado problem on chambers is equivalent to determining the structure of independent sets of $Γ_n(q)$. The independence number of this graph was determined in [7] for $n$ even and given a subspace $P$ of dimension one, the set of all chambers whose subspaces of dimension $\frac n2$ contain $P$ attains the bound. The dual example of course also attains the bound. It remained open in [7] whether or not these are all maximum independent sets. Using a description from [6] of the eigenspace for the smallest eigenvalue of this graph, we prove an Erdős-Ko-Rado theorem on chambers of $\mathbb{F}_q^n$ for sufficiently large $q$, giving an affirmative answer for n even.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑