• 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:

HSE Biologists Identify Factors That Accelerate Breast Cancer Recurrence

Scientists at HSE University have identified a molecular mechanism underlying aggressive breast cancer. They found that the signals supporting tumour growth originate not from the tumour itself but from its microenvironment. The researchers also demonstrated that reduced levels of the IGFBP6 protein in the tumour microenvironment lead to the accumulation of macrophages—immune cells associated with a higher risk of cancer recurrence. These findings already make it possible to assess patient risk more accurately and may, in the future, enable the development of drugs that target cells of the tumour microenvironment. The study has been published in Current Drug Therapy.

Russian Scientists Propose Method to Speed Up Microwave Filter Design

Researchers at HSE MIEM, in collaboration with colleagues from the Moscow Technical University of Communications and Informatics (MTUCI), have implemented a novel approach to designing microwave filters—generative synthesis using machine learning tools. The proposed method reduces the filter development cycle from several days to just a few minutes and in the future could be applied to the design of other microwave electronic devices. The results were presented at the IEEE International Conference '2026 Systems of Signals Generating and Processing in the Field of on Board Communications.'

Scientists Find That Only Technological Innovations Consistently Advance Environmental Sustainability

Renewable energy and labour productivity do not always contribute to environmental sustainability. Technological innovation is the only factor that consistently has a positive effect. This is the conclusion reached by an international team of researchers, including Natalia Veselitskaya, Leading Research Fellow at the HSE ISSEK Foresight Centre. The study has been published in Sustainable Development.

HSE Researchers Train Neural Network to Predict Protein–Protein Interactions More Accurately

Scientists at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a model capable of predicting protein–protein interactions with 95% accuracy. GSMFormer-PPI integrates three types of protein data (including information about protein surface properties) to analyse relationships between proteins, rather than simply combining datasets as in previous models. The solution could accelerate the discovery of disease molecular mechanisms, biomarkers, and potential therapeutic targets. The paper has been published in Scientific Reports.

HSE Scientists Uncover Mechanism Behind Placental Lipid Metabolism Disorders in Preeclampsia

Scientists at HSE University have discovered that in preeclampsia—one of the most severe complications of pregnancy—the placenta remodels its lipid metabolism, reducing its own cholesterol synthesis while increasing cholesterol transfer to the foetus. This compensatory mechanism helps sustain foetal nutrition but accelerates placental deterioration and may lead to preterm birth. The study findings have been published in Frontiers in Molecular Biosciences.

HSE Experts Reveal Low Accuracy of Technology Forecasts in Transportation

HSE researchers evaluated the accuracy of technology forecasts in the transportation sector over the past 50 years and found that the average accuracy rate does not exceed 25%, with the lowest accuracy observed in aviation and rail transport. According to the scientists, this is due to limitations of the forecasting method and the inherent complexities of the sector. The study findings have been published in Technological Forecasting and Social Change.

Wearable Device Data and Saliva Biomarkers Help Assess Stress Resilience

A team of scientists, including researchers from HSE University, has proposed a method for assessing stress resilience using physiological markers derived from wearable devices and saliva samples. The participants who adapted better to stress showed higher heart rate variability, higher zinc concentrations in saliva, and lower potassium levels.  The findings were published in the Journal of Molecular Neuroscience.

When Circumstances Are Stronger Than Habits: How Financial Stress Affects Smoking Cessation

HSE researchers have found that the likelihood of quitting smoking rises with increasing financial struggles. While low levels of financial difficulties do not affect smoking behaviour, moderate financial stress can increase the probability of quitting by 13% to 21%. Responses to high financial stress differ by gender: men are almost 1.5 times more likely to give up cigarettes than under normal conditions, whereas no significant effect is observed on women’s decisions to quit smoking. These conclusions are based on data from the Russia Longitudinal Monitoring Survey (RLMS-HSE) for 2000–2023 and have been published in Monitoring of Public Opinion: Economic and Social Changes

HSE Researchers Propose New Method of Verbal Fluency Analysis for Early Detection of Cognitive Impairment

Researchers from the HSE Center for Language and Brain and the Mental Health Research Centre have proposed a new method of linguistic analysis that enables the distinction between normal and pathological ageing. Using this approach, they showed that patterns in patients’ word choices during verbal fluency tests allow clinicians to more accurately differentiate clinically significant impairments from subjective memory complaints. Incorporating this type of analysis into clinical practice could improve the accuracy of early dementia diagnosis. The results have been published in Applied Neuropsychology: Adult.

How the Brain Processes a Word: HSE Researchers Compare Reading Routes in Adults and Children

Researchers from the HSE Center for Language and Brain used magnetoencephalography to study how the brains of adults and children respond to words during reading. They showed that in children the brain takes longer to process words that are frequently used in everyday speech, while rare words and pseudowords are processed in the same way—slowly and in parts. With age, the system is reorganised: high-frequency words shift to a fast route, whereas new letter combinations are still analysed slowly. The study was published in the journal Psychophysiology.