The Kahn–Kalai conjecture, also known as the expectation threshold conjecture, is a conjecture in the field of graph theory and statistical mechanics, proposed by Jeff Kahn and Gil Kalai in 2006.[1][2]

Background

This conjecture concerns the general problem of estimating when phase transitions occur in systems.[1] For example, in a random network with nodes, where each edge is included with probability , it is unlikely for the graph to contain a Hamiltonian cycle if is less than a threshold value , but highly likely if exceeds that threshold.[3]

Threshold values are often difficult to calculate, but a lower bound for the threshold, the "expectation threshold", is generally easier to calculate.[1] The Kahn–Kalai conjecture is that the two values are generally close together in a precisely defined way, namely that there is a universal constant for which the ratio between the two is less than where is the size of a largest minimal element of an increasing family of subsets of a power set.[4]

Proof

In 2022, Jinyoung Park and Huy Tuan Pham released a preprint containing a proposed proof of the conjecture.[3][4] The proof has been praised for its elegance and conciseness.[5]

References

  1. 1 2 3 "Jinyoung Park and Huy Tuan Pham Prove the Kahn-Kalai Conjecture - IAS News". Institute for Advanced Study. 2022-04-18. Retrieved 2022-04-25.
  2. Kahn, Jeff; Kalai, Gil (2006-04-02). "Thresholds and expectation thresholds". arXiv:math/0603218.
  3. 1 2 Cepelewicz, Jordana (2022-04-25). "Elegant Six-Page Proof Reveals the Emergence of Random Structure". Quanta Magazine. Retrieved 2022-04-25.
  4. 1 2 Park, Jinyoung; Pham, Huy Tuan (2022-03-31). "A Proof of the Kahn-Kalai Conjecture". arXiv:2203.17207 [math.CO].
  5. "Ex-middle school math teacher from Korea solves discrete math puzzle - Pulse by Maeil Business News Korea". pulsenews.co.kr (in Korean). Retrieved 2022-04-27.

See also


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.