中文

关于对称群某些Cayley图的第二大特征值

组合数学 2021-02-23 v3 表示论

摘要

SnS_nAnA_{n} 分别表示集合 {1,..,n}\{1,.., n\} 上的对称群和交错群。本文关注某些连接集 HH 下 Cayley 图 Γ=Cay(G,H)\Gamma=Cay(G,H)(其中 G=SnG=S_{n}AnA_{n})的第二大特征值 λ2(Γ)\lambda_{2}(\Gamma)。令 1<kn1<k\leq n,并将 SnS_{n} 中所有 kk-循环的集合记为 C(n,k)C(n,k)。对于 H=C(n,n)H=C(n,n),我们证明 λ2(Γ)=(n2)!\lambda_{2}(\Gamma)=(n-2)!(当 nn 为偶数时)且 λ2(Γ)=2(n3)!\lambda_{2}(\Gamma)=2(n-3)!(当 nn 为奇数时)。此外,对于 H=C(n,n1)H=C(n,n-1),我们有 λ2(Γ)=3(n3)(n5)!\lambda_{2}( \Gamma)=3(n-3)(n-5)!(当 nn 为偶数时)且 λ2(Γ)=2(n2)(n5)!\lambda_{2}(\Gamma)=2(n-2)(n-5) !(当 nn 为奇数时)。H=C(n,3)H=C(n,3) 的情形已在 X. Huang 和 Q. Huang 的论文(The second largest eigenvalue of some Cayley graphs on alternating groups, J. Algebraic Combinatorics 50(2019), 9911199-111)中考虑。令 1r<k<n1\leq r<k<n,并令 C(n,k;r)C(n,k)C(n,k;r) \subseteq C(n,k)SnS_{n} 中移动集合 {1,2,...,r}\{1,2,..., r\} 中所有点的所有 kk-循环的集合。即,g=(i1,i2...ik)(ik+1)(in)C(n,k;r)g=(i_{1},i_{2}... i_{k})(i_{k+1})\dots(i_{n})\in C(n,k;r) 当且仅当 {1,2,...,r}{i1,i2,...,ik}\{1,2,..., r\}\subset \{i_{1},i_{2},..., i_{k}\}。我们的主要结果涉及 λ2(Γ)\lambda_{2}( \Gamma),其中 Γ=Cay(G,H)\Gamma=Cay(G,H)H=C(n,k;r)H=C(n,k;r)1r<k<n1\leq r<k<n,当 kk 为偶数时 G=SnG=S_{n},当 kk 为奇数时 G=AnG=A_{n}。此处我们观察到 λ2(Γ)(k2)!(nrkr)1nr((k1)(nk)(kr1)(kr)nr1).\lambda_{2}( \Gamma)\geq (k-2)! {n-r \choose k-r} \frac{1}{n-r} \big((k-1)(n-k) - \frac{(k-r-1)(k-r)}{n-r-1}\big). 我们证明该界在特例 k=r+1k=r+1 中是紧的,给出 λ2(Γ)=r!(nr1)\lambda_{2}(\Gamma)=r!(n-r-1)H=C(n,3;1)H=C(n,3;1)H=C(n,3;2)H=C(n,3;2) 的情形此前在同一篇 X. Huang 和 Q. Huang 的论文中已被考虑。

关键词

引用

@article{arxiv.2012.12460,
  title  = {On the second largest eigenvalue of some Cayley graphs of the Symmetric Group},
  author = {Johannes Siemons and Alexandre Zalesski},
  journal= {arXiv preprint arXiv:2012.12460},
  year   = {2021}
}

备注

14 pages