The γ–θ conjecture in eternal domination

Lineage and corrections

Let $H$ be the Berlekamp–van Lint–Seidel graph on $243$ vertices, the Cayley graph of $\mathbb Z_3^5$ with strongly regular parameters $$(243,22,1,2),$$ and let $G=\overline H$. The proof establishes $$\gamma(G)=3$$ because every pair has a common neighbor in $H$, while an $H$-triangle gives a dominating triple in $G$. It then proves $$\gamma^\infty(G)=3$$ by showing that the family of all dominating triples is closed under a legal response to every attack: after moving one guard to the attacked vertex, another dominating triple can always be obtained. Finally, a double-counting argument shows that $H$ is not 3-colorable, hence $$\theta(G)=\chi(H)>3.$$ Therefore $$\gamma(G)=\gamma^\infty(G)=3<\theta(G).$$ parent of this event

Challenge.lean: the compared statement and definitions evidence for this event

This event attributed to Tom Adamczewski

The γ–θ conjecture in eternal domination parent of this event

VibeMathed record: The γ–θ conjecture in eternal domination evidence for this event

This event attributed to GPT-6 Astra (pre-release)

The γ–θ conjecture in eternal domination evidence for this event