中文

类型为 $\bf 3^n u^1$ 的有孔Schröder设计

组合数学 2022-04-26 v1

摘要

类型为 h1n1h4n2hknkh_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k 的有孔Schröder设计(HSD(h1n1h4n2hknk)(h_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k))等价于阶为 nn 的框架幂等Schröder拟群(FISQ(h1n1h4n2hknk)(h_1^{n_1}h_4^{n_2}\cdots h^{n_k}_k)),其具有 nin_i 个阶为 hi,1ikh_i, 1 \le i \le k 的缺失子拟群(孔),这些孔互不相交且张成(即 1iknihi=n\sum_{1\le i \le k}n_ih_i = n)。已知 h=1,2,4h=1, 2, 4 时HSD(hnu1)(h^nu^1) 的存在性。本文考虑HSD(3nu1)(3^nu^1) 的存在性,并证明对于 0u150\le u \le 15,HSD(3nu1)(3^nu^1) 存在的充要条件是 n(n+2u1)0 (mod 4)n(n + 2u -1) \equiv 0~(mod~4)n4n\ge 4n1+2u/3n\ge 1+2u/3。对于 0un0 \le u \le n,HSD(3nu1)(3^nu^1) 存在的充要条件是 n(n+2u1)0 (mod 4)n(n + 2u -1) \equiv 0~(mod~4)n4n \ge 4,可能的例外为 n=29,43n = 29, 43。我们还发现了六个类型为 (4nu1)(4^nu^1) 的新HSD。

关键词

引用

@article{arxiv.2204.11597,
  title  = {Holey Schr\"oder Designs of Type $\bf 3^n u^1$},
  author = {Dianhua Wu and Hantao Zhang},
  journal= {arXiv preprint arXiv:2204.11597},
  year   = {2022}
}

备注

26 pages