The degree/diameter problem is a classic question in network design: given limits on how many connections a node can have and how far apart any two nodes can be, what is the largest possible network you can build? Researchers have extended this question to "mixed graphs," which allow both two-way connections (undirected edges) and one-way connections (directed arcs) between nodes. For any combination of degree and diameter constraints, there is a theoretical upper limit on how many nodes such a network can contain, called the mixed Moore bound. Networks that actually achieve this bound are extremely rare and highly structured.
When a network falls just one node short of the mixed Moore bound, it is called an almost mixed Moore graph. These near-optimal networks are also rare and hard to classify, and several basic questions about their structure have remained open. One such question, posed by researchers Tuite and Erskine, asked whether these graphs must be "totally regular," meaning every node has exactly the same number of connections of each type (the same undirected degree and the same directed in-degree and out-degree). This uniformity condition is a natural and desirable property, but it was not obvious that all almost mixed Moore graphs had to satisfy it.
The authors of this paper resolve that open question by proving that almost mixed Moore graphs of diameter three or greater must indeed be totally regular. Building on this structural result, they then show that the only such graphs that can exist with diameter at least three are the three specific examples already known to researchers. This closes off a significant portion of the classification problem for these near-optimal mixed networks, confirming that there are no undiscovered examples hiding in the larger diameter cases.