{"id":"arxiv/2607.20299","url":"https://arxiv.org/abs/2607.20299","tags":["math.CO","cs.SC"],"score":0,"title":"On (3,1)-regular graphs with one more vertex than edges","domain":"math.CO","source":"arxiv","authors":["Frédéric Chyzak","Hui Huang","Manuel Kauers"],"reviews":0,"subject":"math.CO","summary":"Sequence A339987 of the OEIS counts (3,1)-regular graphs having one more vertex than edges by half the number of vertices. A recurrence relation satisfied by this sequence was guessed by Kauers and Koutschan in 2023. We confirm it in three ways: first, by a representation as the diagonal of a triple sum and an elaborate variant of traditional creative telescoping that makes an a posteriori validation possible; second, by a residue representation and a direct calculation by reduction-based creative telescoping; third, by a combinatorial recurrence on graph families and a calculation by…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}