Mathematicians Build Long-Awaited Graph Sandwich
In 2004, two mathematicians hypothesized a powerful kind of sandwich. They were studying graphs, which are collections of points (called vertices) and lines (called edges). Graphs might represent anything from social groups to the internet to neurons in the brain. The mathematicians hoped to understand properties of one type of graph — a type that’s ubiquitous in mathematics and computer science… Source
In 2004, two mathematicians hypothesized a powerful kind of sandwich. They were studying graphs, which are collections of points (called vertices) and lines (called edges). Graphs might represent anything from social groups to the internet to neurons in the brain. The mathematicians hoped to understand properties of one type of graph — a type that’s ubiquitous in mathematics and computer science…
Source
If researchers could prove the existence of such a sandwich, they wouldn’t just be showing that the middle graph has one property of interest; they’d be showing that it has all sorts of important properties. In doing so, they’d also be demonstrating that two very different random processes that mathematicians like to study are connected in a deeper and more elegant way than they’d imagined.
“The notion is so beautiful,” said Pu Gao , a mathematician at the University of Waterloo in Canada who has worked on the problem. “What attracts me most is actually the beauty of it.”
In the past two decades, mathematicians made progress on the “sandwich conjecture,” which says that so long as the graph you’re interested in is large enough, you can always create the needed sandwich. But no one could prove it in full. Then in 2025, three mathematicians found a way to push their field’s techniques to their limits, and completed the quest.
In the late 1950s, the American mathematician Edgar Gilbert was studying telephone networks at Bell Labs. To better understand those networks, he came up with a simple model of a “random” graph, in which vertices connect to other vertices at random. (The mathematicians Paul Erdős and Alfréd Rényi independently came up with a similar model at around the same time.)
