English

A global girth obstruction for Garg--Mineyev taiko product structures

Combinatorics 2026-07-02 v1 Group Theory

Abstract

Mineyev's taiko construction, in Garg--Mineyev's finite support-size formulation, gives a concrete route from finite support data to zero divisors and units in group rings of torsion-free CAT(0) groups over F2\mathbb{F}_2. We prove that this triple-girth product-structure route is globally closed: no product structure, even or odd, with support sizes m,n2m,n\ge2 admits a coherent orientation for which the no-fold and triple-girth conditions both hold. Consequently the Garg--Mineyev triple-girth product-structure assembly route produces neither zero-divisor nor unit counterexamples over F2\mathbb{F}_2 for any such support-size pair. The obstruction is structural, not a bounded-search artifact. High middle-link girth forces signed colors into a balanced near-disjoint rectangle decomposition of the board, with the single odd defect omitted. The product identity, pressure inequalities, Fisher inequalities, and a dual Fisher bound force the middle link to have girth 44 or 66; in the girth-six case, the minimum of the two horizontal-link girths is at most 55. This dichotomy rules out every triple-girth branch. A weighted dual Fisher inequality and an exact finite certificate sharpen the frontier: if the middle link has girth 66, the horizontal girth is at most 44, and characteristic-two affine-plane constructions attain equality. Thus the Garg--Mineyev finite failures reflect a structural barrier in the taiko geometry itself. The finite certificate is used only for this sharper frontier, not for the no-T4T_4 obstruction.

Keywords

Cite

@article{arxiv.2607.01716,
  title  = {A global girth obstruction for Garg--Mineyev taiko product structures},
  author = {Henry Shin},
  journal= {arXiv preprint arXiv:2607.01716},
  year   = {2026}
}

Comments

44 pages, 2 figures; includes an exact finite certificate