# Non-adjacent triples of cells in a triangular grid: proofs of three conjectured generating functions

Preprint · Tong Niu

- Archive id: arxiv:2610.33023
- Published: 2026-10-09
- arXiv: https://arxiv.org/abs/2610.33023
- Source URL: https://arxiv.org/abs/2610.33023
- PDF: https://arxiv.org/pdf/2610.33023
- Provenance: arxiv

## Abstract

Let $\\Tn$ be the triangular grid of side $n$, with its $n^2$ unit cells, and let two cells be side-adjacent if they share an edge and point-adjacent if they share a vertex. We count the orbits of $3$-element sets of pairwise non-adjacent cells under the rotation group $C\_3$ and under the full symmetry group $D\_3$ of $\\Tn$. Three of the four resulting sequences are OEIS A397730, A397731 and A397732, for each of which the only formula on record is a generating function conjectured by Sean A.\\ Irvine on 14 July 2026. We prove all three conjectures. The route is Burnside's lemma, together with exact lattice counts for each fixed-point term. The side-adjacency graph turns out to be bipartite, so its triangle count vanishes, and the triangles of the point-adjacency graph have a clean structural description, which gives that count too. Along the way we obtain the first explicit closed forms for the three sequences, each a quasi-polynomial of degree $6$ and period $3$, $6$, $3$ respectively. The same machinery settles the fourth member of the family, whose closed form has been recorded at A289230 without proof since 2017, and the labeled count A289224 that feeds it.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.