{"id":"arxiv/2608.06440","url":"https://arxiv.org/abs/2608.06440","tags":["math.CO","cs.DM"],"score":0,"title":"An infinite family of doubly saturated $R(3,t)$-good graphs","domain":"math.CO","source":"arxiv","authors":["Abhishek Saigal","Akaash R. Parthasarathy"],"reviews":0,"subject":"math.CO","summary":"For every odd integer $t\\ge17$, we prove that an explicit circulant graph on $5t-10$ vertices is doubly saturated $R(3,t)$-good. The graph is triangle-free and has independence number $t-1$. Adding any nonedge creates a triangle, whereas deleting any edge creates an independent set of order $t$. This settles Conjecture 2 of Przybocki, Mackey, Heule, and Subercaseaux. A cyclic sumset identity and explicit witnesses prove the local saturation properties. Writing $t=2m+1$, a five-layer reduction proves the independence bound via a uniform affine certificate for $m\\ge30$ and an exhaustive…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}