Infinite reduced equality family

Determine whether there exists an infinite family of reduced graphs for which equality holds in 2n^+(G) = n^-(G)(n^-(G)+1).

Background

The authors exhibit several equality examples, including K_2, C_5, two strongly regular graphs, and certain circulant and matchstick graphs. Adding twins preserves positive and negative inertia, so it produces infinitely many non-reduced tight examples. The unresolved issue is whether infinitely many reduced graphs can be tight.

References

Does there exist an infinite family of reduced graphs for which equality holds in Conjecture~\ref{conj:inertia_main}?

New conjectures on the inertia of graphs  (2508.01163 - Akbari et al., 2 Aug 2025) in Problem in Section 2.1, immediately after Lemma 2.1