The Bilu-Linial signing conjecture (Bilu and Linial 2004) states that every finite simple -regular graph
has a graph edge signing
for which the signed adjacency
matrix
satisfies
Equivalently, all eigenvalues of lie in the interval
.
Xu (2026) gave an explicit but enormous connected simple cubic graph
for which no signing satisfies the conjectured bound. The construction starts with
a triangle graph joined to three complete binary
trees of height 62. Copies of this rooted seed are combined by 61 levels of binary
joins, and three resulting rooted graphs are joined
to a central vertex. Within each seed, the leaves are placed in a specified order,
and each consecutive triple is joined to two new vertices. Its vertex count is
The construction therefore refutes the conjecture, although the restricted question in which the unsigned graph is a Ramanujan graph remains open. Xu (2026) reports that ChatGPT assisted in finding the counterexample and developing its proof. As of Sep. 22, 2026, independent specialist review had not been reported.