• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Scientists Disprove Bunkbed Conjecture

Scientists Disprove Bunkbed Conjecture

© iStock

Mathematicians from Russia, including two HSE graduates, have disproven a well-known mathematical conjecture that, despite lacking solid proof, had been considered valid for 40 years. The ‘Bunkbed Conjecture’ belongs to percolation theory—a branch of mathematics that studies the formation of connected structures in independent environments.

The hypothesis was proposed in the 1980s by Dutch physicist Pieter Kasteleyn, who aimed to mathematically describe how liquids seep through porous surfaces, such as water saturating a sponge.

The conjecture is based on random connections between vertices in an imaginary graph resembling a bunkbed. It posits that the probability of a connection forming between two vertices on the same level is higher than the probability of a connection forming between levels.

© Mark Belan / Quanta Magazine

While this statement seems intuitively true, no convincing proof had been found to confirm or refute it until recently. Sceptics argued that the claim was too general to hold true in all cases.

Mathematics typically focuses on proving the validity of statements, with disproofs being relatively rare. However, a team of Russian mathematicians—Igor Pak, Nikita Gladkov, and Aleksandr Zimin—managed to find a counterexample that invalidated the conjecture.

‘Actually, my colleague Nikita Gladkov and I first encountered the “bunkbed” concept during our freshman year at HSE. We were dorm roommates, and our room actually had a bunkbed,’ joked Aleksandr Zimin. ‘With this conjecture, we understood that it holds true for most cases. But we were curious—are there rare cases where it fails?’

Initially, the team tried to find a counterexample using machine learning methods. They trained a neural network to identify potential connections in graphs and attempted to explore all possible configurations. However, for graphs with more than nine vertices, the number of possible connections grew exponentially, quickly exceeding computational limits. No proof was found.

The researchers then adapted methods from hypergraph theory, where a disproof of the Bunkbed Conjecture already existed, to classical graphs. They constructed a highly complex structure containing thousands of vertices and edges. In this graph, the probability of a connection forming between the upper and lower levels was slightly higher than the probability of a connection forming on the lower level, thereby disproving the conjecture.

Picture 1. Hypergraph used as the basis for the disproof
© The Bunkbed Conjecture is False / Nikita Gladkov, Igor Pak, Aleksandr Zimin / arXiv:2410.02545v1 [math.CO]

‘My co-authors Igor Pak and Nikita Gladkov—who are currently working at UCLA—and I complemented each other perfectly on this project. I prefer using numerical methods. In my opinion, to truly understand a problem, you need to be able to program it and explain it to a computer. Nikita, on the other hand, takes a different approach and prefers relying on a more abstract, intuitive level,’ says Aleksandr Zimin, one of the authors of the paper and a postgraduate student at the HSE Faculty of Mathematics.

Aleksandr Zimin

‘The conjecture resisted disproof for a long time—or perhaps no one wanted to disprove it because it was beautiful and elegant. However, in my view, disproving it does not destroy its beauty; rather, it proves that the world is far more interesting and complex than we thought,’ Zimin says.

The discovered counterexample raises fundamental questions for science about whether intuition can be relied upon, how critical thinking should be applied in mathematics, and how probabilistic evidence-based proofs should be interpreted.

See also:

Z-Flipons: How Specific DNA Regions Help Regulate Gene Function

Researchers at HSE University and InsideOutBio have applied machine learning to identify the location and functions of mirror-twisted DNA structures, known as Z-flipons, in human and mouse genomes. The scientists discovered which Z-DNA regions were conserved in both species throughout evolution and demonstrated for the first time that Z-DNA accelerates the process of creating RNA copies of genes. The findings will contribute to the development of new treatments for genetic diseases. The study has been published in Scientific Reports.

HSE Researchers Develop Python Library for Analysing Eye Movements

A research team at HSE University has developed EyeFeatures, a Python library for analysing and modelling eye movement data. This tool is designed to simplify the work of scientists and developers by enabling them to efficiently process complex data and create predictive models.

Scientists Identify Fifteen Key Motives Driving Human Behaviour

Researchers at HSE University and the London School of Hygiene and Tropical Medicine have identified 15 key motives that drive human behaviour. By analysing people's views, preferences, and actions through an evolutionary lens, they demonstrated how these motives intertwine to shape habits and interpersonal relationships. The findings have been published in Personality and Individual Differences.

HSE Neurolinguists Create Russian Adaptation of Classic Verbal Memory Test

Researchers at the HSE Centre for Language and Brain and Psychiatric Hospital No. 1 Named after N.A. Alexeev have developed a Russian-language adaptation of the Rey Auditory Verbal Learning Test. This classic neuropsychological test evaluates various aspects of auditory verbal memory in adults and is widely used in both clinical diagnostics and research. The study findings have been published in The Clinical Neuropsychologist.

Tickling the Nerves: Why Crime Content is Popular

Consumers of content about serial killers watch and read it to experience intense emotions that are often lacking in everyday life and to understand the reasons that drive people to commit crimes. However, such content does not contribute to increased aggression. These conclusions were drawn by sociologists from HSE University. The results of their study have been published in Crime, Media, Culture: An International Journal.

HSE Researchers Prove the Existence of Nash Equilibrium for a New Class of Problems in Game Theory

Researchers at HSE University's St Petersburg School of Economics and Management have been exploring methods for the efficient allocation of resources in systems involving multiple players. The scientists have proven the existence of strategies for optimal decision-making in competition for limited, discrete resources in four different cases. The developed mathematical model can be applied in various fields, ranging from education and medicine to managing networks and computing power. The paper has been published in Games and Economic Behaviour.

Researchers at HSE Centre for Language and Brain Reveal Key Factors Determining Language Recovery in Patients After Brain Tumour Resection

Alina Minnigulova and Maria Khudyakova at the HSE Centre for Language and Brain have presented the latest research findings on the linguistic and neural mechanisms of language impairments and their progression in patients following neurosurgery. The scientists shared insights gained from over five years of research on the dynamics of language impairment and recovery.

Neuroscientists Reveal Anna Karenina Principle in Brain's Response to Persuasion

A team of researchers at HSE University investigated the neural mechanisms involved in how the brain processes persuasive messages. Using functional MRI, the researchers recorded how the participants' brains reacted to expert arguments about the harmful health effects of sugar consumption. The findings revealed that all unpersuaded individuals' brains responded to the messages in a similar manner, whereas each persuaded individual produced a unique neural response. This suggests that successful persuasive messages influence opinions in a highly individual manner, appearing to find a unique key to each person's brain. The study findings have been published in PNAS.

Russian Scientists Improve Water Purification Membranes Using Metal Ions

Researchers have proposed using polymer membranes modified with copper, zinc, and chromium metal ions for water purification. These polymers were used for the first time in water purification via electrodialysis. Copper-based membranes demonstrated record selectivity for monovalent ions, opening new possibilities for sustainable water recycling. The study has been published in the Journal of Membrane Science

Independent Experts More Effective Than Collective Expertise in Decision-Making Under Uncertainty

A collaborative study by Sergey Stepanov, Associate Professor at the HSE Faculty of Economic Sciences, and experts from INSEAD Business School and NYU Shanghai, indicates that in making decisions under high uncertainty, where it is unclear which choice is superior, advice from independent experts may be more beneficial than a collective opinion from a group of experts. The study has been published in Games and Economic Behavior.