接続構造からの再帰的デザインの識別
Recognizing Recursive Designs from Their Incidence Structure
研究概要
ここでいうデザインは、ブロックと呼ぶ、相異なる同じ大きさの点部分集合からなる。各ブロックは少なくとも二点を含み、各点は同じ正の個数のブロックに属する。二つの再帰的構成について、点とブロックの所属関係だけから隠れた部分を復元し、ブロックを保つ点の置換、すなわち自己同型をすべて決定する。これにより Amarra、Devillers、Praeger の二つの予想を証明し、例外を分類する。所属ベクトル間の整数関係からは、パラメータを事前に知らずに単一分割構成の入力デザインも復元できる。固定された有限の構成手順列にも、群と同型に関する結果が引き継がれる。
元の公開問題
Amarra–Devillers–Praeger 予想 4.5 と 5.6：再帰的デザイン
Carmen Amarra, Alice Devillers and Cheryl E. Praeger: Recursive constructions for block-transitive, poset-imprimitive two-designs — arXiv 2607.03029v1: Conjectures 4.5 and 5.6, determining the full point automorphism groups of Constructions 4.1 and 5.1 for the stated input 1-designs.
原文要旨（英語）
Two recursive constructions of Amarra, Devillers and Praeger replace points by copies of a uniform design and produce natural wreath-product groups of automorphisms. We recover their defining partitions from the unlabelled incidence structures and determine the full automorphism groups, proving both of the authors' conjectures for arbitrary input 1-designs. The single-partition construction has exactly one exceptional family: two copies of a complete balanced bipartite graph. For the grid construction we also determine the full group in the two-row case, where independent permutations of the columns in each row enlarge the natural group. The proof uses the classical code generated by differences of block vectors. Its orthogonal space recovers fibers or grid columns; pair incidences handle the graph-input boundary. We compute the integer incidence quotients and all prime ranks of both constructions. The Smith normal form of the single-partition matrix gives parameter-free recovery of its input design. Fixed finite iterations inherit the group and isomorphism results.
数学の検証
主要結論には公開されたカーネル検証済みの証明があり、論文との対応も確認されています。これは外部査読とは別の検証です。
検証基準