Automorphism-group conjecture for rectangular-combination designs

Let D~\widetilde{\mathscr{D}} be a design and let D(D~,(e1,e2)){\mathscr{D}}(\widetilde{\mathscr{D}},(e_1,e_2)) denote the design obtained from it by the rectangular combination construction, with positive integers e1,e2e_1,e_2. Automorphism-group conjecture. If e13e_1\geq 3, then

Aut(D(D~,(e1,e2)))=Aut(D~)(Se1×Se2).\operatorname{Aut}({\mathscr{D}}(\widetilde{\mathscr{D}},(e_1,e_2)))=\operatorname{Aut}(\widetilde{\mathscr{D}})\wr(S_{e_1}\times S_{e_2}).

This conjecture proposes that the exceptional enlargement of the automorphism group observed when e1=2e_1=2 does not occur for e13e_1\geq 3; the claim remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Carmen Amarra, Alice Devillers and Cheryl E. Praeger, “Recursive constructions for block-transitive, poset-imprimitive two-designs”, arXiv:2607.03029 (2026).

Additional references

11 papers in this index state this conjecture (2015–2026). The statement above is taken from the most recent of them; the others are arXiv:2603.07707, arXiv:2602.15264, arXiv:2504.05721, arXiv:2408.06283, arXiv:2407.19745, arXiv:2306.10744, arXiv:1907.06008, arXiv:1810.12855, arXiv:1704.08474, arXiv:1508.07279.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.