Scientists Disprove Bunkbed Conjecture
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.
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.
‘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.
Alexander Zimin
See also:
HSE University Scholars Uncover E-Learning Preferences of Top Students
HSE University experts have analysed students’ digital footprints and shown for the first time that final grades depend on one’s personal approach to an online course. Balanced students have proven to be more successful than those who follow a more traditional and practical approach. The findings from this study will help create a more adaptive and personalised educational system. This research has been published in the journal The Internet and Higher Education.
HSE Scientists Develop Method to Stabilise Iodine in Solar Cells
Scientists at HSE MIEM, in collaboration with colleagues from China, have developed a method to improve the durability of perovskite solar cells by addressing iodine loss from the material. The researchers introduced quaternary ammonium molecules into the perovskite structure; these molecules form strong electrostatic pairs with iodine ions, effectively anchoring them within the crystal lattice. As a result, the solar cells retain more than 92% of their power after a thousand hours of operation at 85°C. The study has been published in Advanced Energy Materials.
HSE Researchers Create Genome-Wide Map of Quadruplexes
An international team, including researchers from HSE University, has created the first comprehensive map of quadruplexes—unstable DNA structures involved in gene regulation. For the first time, scientists have shown that these structures function in pairs: one is located in a DNA region that initiates gene transcription, while the other lies in a nearby region that enhances this process. In healthy tissues, quadruplexes regulate tissue-specific genes, whereas in cancerous tissues they influence genes responsible for cell growth and division. These findings may contribute to the development of new anticancer drugs that target quadruplexes. The study has been published in Nucleic Acids Research.
Mathematician from HSE University–Nizhny Novgorod Solves Equation Considered Unsolvable in Quadratures Since 19th Century
Mathematician Ivan Remizov from HSE University–Nizhny Novgorod and the Institute for Information Transmission Problems of the Russian Academy of Sciences has made a conceptual breakthrough in the theory of differential equations. He has derived a universal formula for solving problems that had been considered unsolvable in quadratures for more than 190 years. This result fundamentally reshapes one of the oldest areas of mathematics and has potential to have important implications for fundamental physics and economics. The paper has been published in Vladikavkaz Mathematical Journal.
Scientists Reveal How Language Supports Complex Cognitive Processing in the Brain
Valeria Vinogradova, a researcher at HSE University, together with British colleagues, studied how language proficiency affects cognitive processing in deaf adults. The study showed that higher language proficiency—regardless of whether the language is signed or spoken—is associated with higher activity and stronger functional connectivity within the brain network responsible for cognitive task performance. The findings have been published in Cerebral Cortex.
HSE AI Research Centre Simplifies Particle Physics Experiments
Scientists at the HSE AI Research Centre have developed a novel approach to determining robustness in deep learning models. Their method works eight times faster than an exhaustive model search and significantly reduces the need for manual verification. It can be applied to particle physics problems using neural networks of various architectures. The study has been published in IEEE Access.
Scientists Show That Peer Influence Can Be as Effective as Expert Advice
Eating habits can be shaped not only by the authority of medical experts but also through ordinary conversations among friends. Researchers at HSE University have shown that advice from peers to reduce sugar consumption is just as effective as advice from experts. The study's findings have been published in Frontiers in Nutrition.
‘Our Subject Is Absolute Truth in the Literal Sense’
What path does one have to follow to become a theoretical mathematician? Is there such a thing as a ‘mathematical personality’? And is it really true that all mathematicians are a bit eccentric? Valery Gritsenko, Professor at the Faculty of Mathematics and Head of the International Laboratory for Mirror Symmetry and Automorphic Forms, talks about 13-year-long referee reports and good films about mathematics.
HSE University Develops Tool for Assessing Text Complexity in Low-Resource Languages
Researchers at the HSE Centre for Language and Brain have developed a tool for assessing text complexity in low-resource languages. The first version supports several of Russia’s minority languages, including Adyghe, Bashkir, Buryat, Tatar, Ossetian, and Udmurt. This is the first tool of its kind designed specifically for these languages, taking into account their unique morphological and lexical features.
HSE Scientists Uncover How Authoritativeness Shapes Trust
Researchers at the HSE Institute for Cognitive Neuroscience have studied how the brain responds to audio deepfakes—realistic fake speech recordings created using AI. The study shows that people tend to trust the current opinion of an authoritative speaker even when new statements contradict the speaker’s previous position. This effect also occurs when the statement conflicts with the listener’s internal attitudes. The research has been published in the journal NeuroImage.