🔢 mathematics

Planar Site Percolation, End Structure, and the Benjamini-Schramm Conjecture

यह शोध पत्र एंड-इक्विवेलेंस क्लासेस (end-equivalence classes) पर एक गणनात्मक परिकल्पना (countability hypothesis) के तहत प्लेनर साइट परकोलेशन (planar site percolation) के लिए ग्लज़मैन-हारेल-ज़ेलेस्कोको प्रमेय (Glazman–Harel–Zelesko theorem) के विस्तार को हल करता है और यह प्रदर्शित करते हुए बेंजामिन-श्राम अनुमान (Benjamini–Schramm conjecture) के लिए एक प्रति-उदाहरण का निर्माण करता है कि न्यूनतम डिग्री कम से कम 7 वाले प्लेनर ग्राफ $1-p_c$ से ठीक नीचे एक विशिष्टता थ्रेशोल्ड (uniqueness threshold) प्रदर्शित कर सकते हैं।

मूल लेखक: Zhongyang Li

प्रकाशित 2026-02-17

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Zhongyang Li

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप ब्लॉक्स (शीर्षों/vertices) से बने एक विशाल, अनंत शहर में खड़े हैं, जो सड़कों (किनारों/edges) से जुड़े हुए हैं। यह शहर प्लेनर (planar) है, जिसका अर्थ है कि आप इसे बिना किसी सड़क को क्रॉस किए एक सपाट कागज (या एक गोले) पर खींच सकते हैं।

अब, एक यादृच्छिक प्रक्रिया (random process) की कल्पना करें जहाँ इस शहर का हर ब्लॉक या तो खुला (Open) (हरा, जैसे एक पार्क) या बंद (Closed) (धूसर, जैसे एक इमारत) होता है, जो एक सिक्के के उछाल पर आधारित है। यदि सिक्का हेड आता है, तो उस ब्लॉक के पार्क बनने की प्रायिकता $p$ है।

बड़ी बात जो गणितज्ञ इस शहर के बारे में पूछते हैं: कितने विशाल, अनंत पार्क बनेंगे?

यदि $p$ बहुत कम है, तो पार्क छोटे द्वीपों की तरह होंगे।
यदि $p$ बहुत अधिक है, तो पूरा शहर एक विशाल पार्क बन जाएगा।
लेकिन बीच में क्या होता है? क्या वहां एक "स्वीट स्पॉट" (अनुकूल बिंदु) है जहाँ एक ही समय में कई विशाल पार्क मौजूद हो सकते हैं, जो हमेशा एक-दूसरे से अलग रहते हैं?

यह शोध पत्र, जो झोंगयांग ली (Zhongyang Li) द्वारा लिखा गया है, इस "स्वीट स्पॉट" के बारे में एक 30 साल पुराने रहस्य को सुलझाता है।

बड़ी पहेली: बेन्जामिन-श्राम अनुमान (The Benjamini-Schramm Conjecture)

1990 के दशक में, दो गणितज्ञों, बेन्जामिन और श्राम ने एक साहसी अनुमान लगाया था। उन्होंने कहा था:

"यदि आपका शहर इस तरह बनाया गया है कि प्रत्येक ब्लॉक के कम से कम 7 पड़ोसी हैं (एक बहुत ही घना शहर), तो प्रायिकता की एक विशेष सीमा होगी जहाँ आपके पास हमेशा अनगिनत विशाल पार्क होंगे।"

उनका मानना था कि इस घने, समतल संसार में, "मध्य मार्ग" अराजक है और अनंत द्वीपों से भरा हुआ है।

शोध पत्र की खोज: यह "क्षितिज" पर निर्भर करता है

ली का शोध पत्र कहता है: "अनुमान ज्यादातर सही है, लेकिन हमेशा नहीं।"

उत्तर इस बात पर निर्भर करता है कि जब आप अनंत की ओर ज़ूम आउट करते हैं, तो शहर कैसा दिखता है। गणित में, हम इन दूरस्थ बिंदुओं को "एन्ड्स" (Ends/अंत) कहते हैं। इन्हें अलग-अलग दिशाओं के रूप में सोचें जिनमें आप बिना किसी दीवार से टकराए अनंत तक चल सकते हैं।

परिदृश्य A: गणना योग्य क्षितिज वाला शहर (The "Good" Case)

एक ऐसे शहर की कल्पना करें जहाँ, जब आप क्षितिज की ओर देखते हैं, तो आप केवल गणना योग्य (countable) संख्या में अलग-अलग दिशाएं देख सकते हैं (जैसे संख्या रेखा पर बिंदु: 1, 2, 3...)। शायद शहर एक पेड़ की तरह दिखता है जिसकी कुछ मुख्य शाखाएं अनंत तक फैली हुई हैं।

परिणाम: इस मामले में, बेन्जामिन-श्राम का अनुमान सत्य है।
उपमा: यदि आपके पास अनंत की ओर जाने के लिए सीमित या गणना योग्य "दिशाएं" हैं, तो यादृच्छिक पार्क अंततः अलग हो जाएंगे। यदि आप मध्य श्रेणी में प्रायिकता $p$ चुनते हैं, तो आप लगभग निश्चित रूप से अनगिनत अलग-अलग, अनंत पार्कों को पाएंगे। वे अलग महाद्वीपों की तरह हैं जो कभी आपस में नहीं मिलते।

परिदृश्य B: अगणनीय क्षितिज़ वाला शहर (The "Bad" Case)

अब, एक ऐसे जटिल शहर की कल्पना करें जिसका क्षितिज एक ठोस रेखा या बादल की तरह दिखता है, जिसमें अगणनीय (uncountably) रूप से कई दिशाएं हैं (जैसे एक रेखा खंड पर प्रत्येक बिंदु)। यह एक बहुत अधिक जंगली, अधिक भीड़भाड़ वाला अनंत है।

परिणाम: इस मामले में, बेन्जामिन-श्राम का अनुमान असत्य है।
उपमा: ली ने एक विशिष्ट, अजीब शहर का निर्माण किया जिसका क्षितिज ऐसा ही "ठोस" है। इस शहर में, भले ही यह घना है (प्रत्येक ब्लॉक के 7+ पड़ोसी हैं), एक मध्य श्रेणी है जहाँ आपको अनगिनत पार्क नहीं मिलेंगे। इसके बजाय, आपको ठीक एक विशाल पार्क मिल सकता है, या कुछ, लेकिन उनकी अनंत सेना नहीं। शहर का "अनंत" आकार पार्कों को एक एकल विशाल इकाई में विलय होने के लिए मजबूर करता है।

उन्होंने इसे कैसे हल किया? (उपकरण किट)

इसे सिद्ध करने के लिए, ली ने शहर को देखने का एक नया तरीका विकसित किया, जिसे FCA फ्रेमवर्क कहा जाता है:

फ्रुडेंटल एम्बेडिंग (नक्शा): उन्होंने अनंत शहर को एक गोले (जैसे पृथ्वी) पर मैप किया। इसने उन्हें "एन्ड्स" (क्षितिज) को मानचित्र पर वास्तविक बिंदुओं के रूप में मानने की अनुमति दी।
चक्र पृथक्करण (बाड़/Fence): उन्होंने पूछा: "क्या सड़कों का एक लूप दो दूरस्थ बिंदुओं को अलग कर सकता है?" यदि आप एक बाड़ (एक चक्र) खींच सकते हैं जो दो बिंदुओं को अलग रखता है, तो वे अनंत के अलग-अलग "पड़ोसों" में हैं। यदि आप नहीं कर सकते, तो वे एक ही पड़ोस में हैं।
अल्टरनेटिंग आर्म एक्सप्लोरेशन (जासूस): यह सबसे दिलचस्प हिस्सा है। कल्पना करें कि आप यह देखने की कोशिश कर रहे हैं कि क्या दो दूर के पार्क जुड़ सकते हैं। आप एक केंद्रीय बिंदु से "बाहु" (paths/arms) भेजते हैं।
- यदि आपके पास एक "1-आर्म" (एक हरा पथ) और एक "0-आर्म" (एक धूसर पथ) एक वृत्त के चारों ओर बारी-बारी से चलते हैं, तो वे एक बाड़ की तरह कार्य करते हैं।
- ली ने सिद्ध किया कि यदि आपके पास पर्याप्त "अल्टरनेटिंग फेंस" (बारी-बारी से चलने वाली बाड़) हैं, तो वे हरे पार्कों को अलग रखने के लिए मजबूर करते हैं।
- यह गणना करके कि कितने "दिशाएं" (एन्ड्स) मौजूद हैं, वे ठीक से गणना कर सके कि ये बाड़ कब अलगाव पैदा करने के लिए पर्याप्त मजबूत हो जाती हैं।

निष्कर्ष

"सरल" अनंत शहरों के लिए: यदि क्षितिज सरल (गणना योग्य) है, तो मध्य श्रेणी में ब्रह्मांड अराजक है और अनंत द्वीपों से भरा है।
"जटिल" अनंत शहरों के लिए: यदि क्षितिज जंगली (अगणनीय) है, तो ब्रह्मांड अधिक व्यवस्थित हो सकता है, जिससे मध्य श्रेणी में भी एक एकल विशाल द्वीप बनने की अनुमति मिलती है।

यह क्यों मायने रखता है?
यह एक 30 साल पुरानी बहस को सुलझाता है। यह दिखाता है कि अनंत की ज्यामिति मायने रखती है। आप केवल यह नहीं देख सकते कि एक ब्लॉक के कितने पड़ोसी हैं; आपको पूरे ब्रह्मांड के आकार को देखना होगा। यह एक याद दिलाता है कि संभाव्यता और अनंत संरचनाओं की दुनिया में, "अनंत" के अलग-अलग रूप होते हैं, और वे बहुत अलग व्यवहार करते हैं।

संक्षेप में: यह शोध पत्र सिद्ध करता है कि हालांकि घने, समतल शहर आमतौर पर अनंत द्वीपों वाले होते हैं, लेकिन एक छिपा हुआ, जटिल प्रकार का शहर मौजूद है जहाँ द्वीप एक में विलीन हो जाते हैं, जो पुराने नियम को तोड़ देता है।

यहाँ झोंगयांग ली के शोध पत्र "Planar Site Percolation, End Structure, and the Benjamini–Schramm Conjecture" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

यह शोध पत्र अनंत, जुड़े हुए, स्थानीय रूप से परिमित (locally finite) समतलीय ग्राफ़ (planar graphs) पर बर्नौली साइट पर्कोलेशन (Bernoulli site percolation) में अनंत क्लस्टर की विशिष्टता (uniqueness of infinite clusters) की मौलिक समस्या को संबोधित करता है।

परिभाषाएँ:
- $p_c(G)$ : वह क्रिटिकल थ्रेशोल्ड जहाँ एक अनंत खुला क्लस्टर पहली बार प्रकट होता है।
- $p_u(G)$ : वह यूनिकनेस थ्रेशोल्ड जहाँ अनंत खुले क्लस्टरों की संख्या ठीक एक हो जाती है।
- सह-अस्तित्व अंतराल (Coexistence Interval): वह सीमा $(p_c, p_u)$ जहाँ कई अनंत क्लस्टर मौजूद हो सकते हैं।
बेन्जामिन-श्राम अनुमान (Benjamini–Schramm Conjecture) ([4] में अनुमान 7):
एक समतलीय ग्राफ़ $G$ $G$ के लिए जिसका न्यूनतम शीर्ष डिग्री $\delta(G) \geq 7$ $δ (G) \geq 7$ है, यह अनुमान लगाया गया था कि:
1. $p_c(G) < 1/2$ ।
2. प्रत्येक $p \in (p_c(G), 1 - p_c(G))$ के लिए, लगभग निश्चित रूप से (almost surely) अनंत खुले क्लस्टर होंगे।
  यह निहित करता है कि $p_u(G) \geq 1 - p_c(G)$ ।
पिछली प्रगति:
- ग्लेजमैन, हारेल और ज़ेलेस्को [15] ने सिद्ध किया कि $p \in (p_c, 1/2]$ के लिए, अनंत क्लस्टरों की संख्या अनंत होती है (अर्थात "निचला आधा" सह-अस्तित्व क्षेत्र)।
- "ऊपरी आधा" ( $p \in (1/2, 1-p_c)$ ) अभी भी खुला था, विशेष रूप से जटिल 'एंड स्ट्रक्चर' (end structures) वाले ग्राफ़ों के लिए।

मुख्य प्रश्न: क्या $p_u(G) \geq 1 - p_c(G)$ का समीकरण सभी $\delta(G) \geq 7$ वाले स्थानीय रूप से परिमित समतलीय ग्राफ़ों के लिए सत्य है, या ग्राफ़ के "एन्ड्स" (अनंत दिशाओं) की संरचना इसमें निर्णायक भूमिका निभाती है?

2. कार्यप्रणाली: FCA ढांचा (FCA Framework)

लेखक गैर-ट्रांजिटिविटी या समरूपता पर निर्भर रहे बिना सामान्य समतलीय ग्राफ़ों पर पर्कोलेशन का विश्लेषण करने के लिए FCA (Freudenthal–Cutset–Arms) नामक एक नया ढांचा प्रस्तुत करते हैं।

A. फ्रेडेंथल एम्बेडिंग और एंड-इक्विवेलेंस (Freudenthal Embedding and End-Equivalence)

एम्बेडिंग: शोध पत्र एक वेल-सेपरेटेड फ्रेडेंथल एम्बेडिंग $\phi: G \hookrightarrow S^2$ का उपयोग करता है। यह ग्राफ़ को गोले (sphere) पर इस प्रकार मैप करता है कि ग्राफ़ के "एन्ड्स" (अनंत पथ जो अनंत की ओर जाते हैं) संचय बिंदुओं (accumulation points) के एक सेट $A \subset S^2$ के साथ द्विपक्षीय रूप से (bijectively) मेल खाते हैं।
साइकिल-सेपरेशन इक्विलेंस: दो एन्ड्स (accumulation points) को तब समतुल्य (equivalent) माना जाता है जब गोले पर कोई भी चक्र (cycle) उन्हें अलग न कर सके। यह एन्ड्स के सेट $A$ को इक्विलेंस क्लासेस $\mathcal{F}(G)$ में विभाजित करता है।
दिशात्मक थ्रेशोल्ड (Directional Thresholds): प्रत्येक इक्विलेंस क्लास $F \in \mathcal{F}(G)$ के लिए, एक दिशात्मक क्रिटिकल थ्रेशोल्ड $p_{c,F}(G)$ परिभाषित किया गया है, जो उस विशिष्ट "दिशा" से अनंत तक जुड़ने के लिए आवश्यक प्रायिकता को दर्शाता है।

B. कटसेट लक्षण वर्णन (Cutset Characterization)

शोध पत्र एक कटसेट-आधारित डिफरेंशियल इनइक्वालिटी दृष्टिकोण का उपयोग करता है। यह $\phi$ -फंक्शनल का उपयोग करके $p_{c,F}(G)$ को लक्षणबद्ध करता है, जो कनेक्टिविटी प्रायिकताओं को एक विशिष्ट एंड क्लास $F$ से अलग करने वाले परिमित कटसेट्स के अस्तित्व से जोड़ता है।
यह ग्राफ़ को ट्रांजिटिव माने बिना एनालिटिक नियंत्रण की अनुमति देता है।

C. अल्टरनेटिंग-आर्म एक्सप्लोरेशन (Alternating-Arm Exploration)

मुख्य ज्यामितीय तर्क अल्टरनेटिंग-आर्म इवेंट्स के निर्माण से संबंधित है।
लेखक एक परिमित सेट $S$ के चारों ओर एक एंड क्लास $F$ के सापेक्ष एक $F$ -अनुकूलित बाउंडरी साइकिल $\partial_F S$ को परिभाषित करते हैं।
बढ़ते हुए क्लस्टर के पूरक (complement) का अन्वेषण करके, विधि अंत (end) $F$ से जोड़ने वाले विलगित "कॉरिडोर्स" (corridors/arms) के अस्तित्व को मजबूर करती है।
टोपोलॉजिकल सेपरेशन: गोले $S^2$ पर, ये विलगित आर्म्स पूरक को अलग-अलग क्षेत्रों में विभाजित करते हैं। यदि आर्म्स खुले (1) और बंद (0) अवस्थाओं के बीच बारी-बारी से चलते हैं, तो टोपोलॉजिकल बाधाएं अन्वेषण न किए गए क्षेत्रों में कई विलगित अनंत क्लस्टरों के अस्तित्व को अनिवार्य बनाती हैं।

3. प्रमुख योगदान और परिणाम

शोध पत्र ग्लेजमैन-हारेल-ज़ेलेस्को द्वारा उठाए गए विस्तार प्रश्न का पूर्ण समाधान प्रदान करता है, जो गणनीय (countable) और अगणनीय (uncountable) एंड-इक्विवेलेंस क्लासेस वाले ग्राफ़ के बीच अंतर करता है।

परिणाम 1: गणनीय मामला (Theorem 1.7 (ii))

परिकल्पना: एंड-इक्विवेलेंस क्लासेस $\mathcal{F}(G)$ का सेट गणनीय (countable) है। (इसमें वे सभी ग्राफ़ शामिल हैं जिनमें गणनीय अंत हैं और सभी प्रॉपर्ली एम्बेडेड प्लानर ग्राफ़)।
मुख्य प्रमेय:
$p_c(G) = \inf_{F \in \mathcal{F}(G)} p_{c,F}(G)$
परिणामस्वरूप, प्रत्येक $p \in (p_c(G), 1 - p_c(G))$ के लिए, लगभग निश्चित रूप से अनंत खुले क्लस्टर होंगे।
निहितार्थ: इस व्यापक वर्ग के ग्राफ़ों के लिए, बेन्जामिन-श्राम अनुमान सत्य है: $p_u(G) \geq 1 - p_c(G)$ । गैर-विशिष्टता (non-uniqueness) का शासन $p_c$ से $1-p_c$ तक पूरी तरह से फैला हुआ है।

परिणाम 2: अगणनीय मामला और काउंटरएग्जांपल (Theorem 1.7 (iii))

परिकल्पना: एंड-इक्विवेलेंस क्लासेस $\mathcal{F}(G)$ का सेट अगणनीय (uncountable) है।
काउंटरएग्जांपल निर्माण: लेखक एक स्पष्ट अनंत, जुड़ा हुआ, स्थानीय रूप से परिमित समतलीय ग्राफ़ $G$ $G$ का निर्माण करते हैं जिसका न्यूनतम डिग्री $\delta(G) \geq 7$ $δ (G) \geq 7$ है (विशेष रूप से, एक "टू-साइडेड $M$ $M$ -एडिक स्ट्रिप्स का ट्री विद ट्राइएंगुलेटेड फेसेस"), जहाँ:
1. $p_c(G) < 1/2$ ।
2. एक पैरामीटर $p \in (1/2, 1 - p_c(G))$ मौजूद है जहाँ अनंत क्लस्टरों की संख्या परिमित (विशेष रूप से, सकारात्मक प्रायिकता के साथ ठीक 1) है।
निष्कर्ष: इस ग्राफ़ के लिए, $p_u(G) < 1 - p_c(G)$ ।
महत्व: यह पूर्ण व्यापकता में बेन्जामिन-श्राम अनुमान 7 को गलत सिद्ध (disproves) करता है। अनुमान तब विफल हो जाता है जब एंड स्ट्रक्चर पर्याप्त रूप से जटिल (अगणनीय इक्विलेंस क्लासेस) होता है।

परिणाम 3: स्थानीय परिमितता की आवश्यकता (Necessity of Local Finiteness)

शोध पत्र एक ऐसा समतलीय ग्राफ़ भी प्रदान करता है जो स्थानीय रूप से परिमित नहीं है, जहाँ सह-अस्तित्व भविष्यवाणियाँ और भी नाटकीय रूप से विफल हो जाती हैं, जिससे पुष्टि होती है कि "स्थानीय रूप से परिमित" धारणा अपरिहार्य है।

4. प्रमाणों की तकनीकी विशेषताएं

दिशात्मक थ्रेशोल्ड में न्यूनीकरण (Reduction to Directional Thresholds):
गणनीय मामले के लिए प्रमाण यह दिखाने पर निर्भर करता है कि यदि $p > p_c$ , तो $p$ को कम से कम एक $F$ के लिए $p_{c,F}$ से अधिक होना चाहिए। गणनीयता एक यूनियन बाउंड तर्क की अनुमति देती है जिससे यह दिखाया जा सके कि विभिन्न दिशाओं में अनंत क्लस्टर बनने चाहिए।
"अगणनीय" अंतराल (The "Uncountable" Gap):
अगणनीय मामले में, दिशात्मक थ्रेशोल्ड का इन्फिमम $\inf p_{c,F}$ वैश्विक $p_c$ से कम हो सकता है। निर्मित काउंटरएग् एग्जांपल इसी अंतराल का लाभ उठाता है। ग्राफ़ को इस तरह डिज़ाइन किया गया है कि जबकि वैश्विक कनेक्टिविटी मौजूद है, विशिष्ट अगणित अंत (ends) तक पहुँचने वाले "कॉरिडोर्स" को इस तरह से बाधित किया गया है कि वे ऊपरी आधे अंतराल में एक साथ अनंत क्लस्टर बनाने से रोकते हैं।
$M$ -एडिक ट्री निर्माण (The $M$ -adic Tree Construction):
काउंटरएग् एग्जांपल (Construction 8.1) एक परिष्कृत समतलीय ग्राफ़ है जो एक रूटेड $B$ -ary ट्री ( $B=M^d$ ) से बना है।
- शीर्षों (vertices) को $M$ -adic एड्रेस के आधार पर ब्लॉक्स में समूहबद्ध किया गया है।
- क्षैतिज किनारे (horizontal edges) और फैन ट्राइएंगुलेशन एक "स्ट्रिप" संरचना बनाते हैं।
- दो प्रतियों को लंबवत (vertically) जोड़ा गया है।
- मुख्य गुण: ज्यामिति यह सुनिश्चित करती है कि एक विशिष्ट $p$ के लिए, किसी "गहरे" एंड से जुड़ने की प्रायिकता तेजी से (exponentially) घटती है, लेकिन अनगिनत अंत होने के कारण वैश्विक पर्कोलेशन तो होता है, फिर भी ऊपरी आधे भाग में अनंत क्लस्टरों की संख्या को सीमित रखा जाता है।

5. महत्व और प्रभाव

30 साल पुराने खुले प्रश्न का समाधान: यह शोध पत्र इस प्रश्न को सुलझाता है कि क्या समतलीयता और उच्च न्यूनतम डिग्री ( $\geq 7$ ) पूरे सह-अस्तित्व अंतराल में अनंत क्लस्टरों की गारंटी देने के लिए पर्याप्त हैं। पूर्ण व्यापकता में उत्तर नहीं है, लेकिन "एंड स्ट्रक्चर" की गणनीयता की एक स्वाभाविक परिकल्पना के तहत उत्तर हाँ है।
बेन्जामिन-श्रम अनुमान का परिशोधन: यह स्पष्ट करता है कि अनुमान को पूर्ण रूप से सत्य होने के लिए एंड स्ट्रक्चर पर एक अतिरिक्त टोपोलॉजिकल बाधा (इक्विवेलेंस क्लासेस की गणनीयता) की आवश्यकता है।
नई कार्यप्रणाली उपकरण: FCA ढांचा (फ्रेडेंथल एम्बेडिंग + कटसेट विश्लेषण + अल्टरनेटिंग आर्म्स) गैर-ट्रांजिटिव, गैर-एमेनेबल (non-amenable) समतलीय ग्राफ़ों पर पर्कोलेशन का अध्ययन करने के लिए एक शक्तिशाली टूलकिट प्रदान करता है। यह टोपोलॉजिकल ग्राफ़ थ्योरी (एन्ड्स, एम्बेडिंग्स) को संभाव्यता विधियों (कटसेट्स, डिफरेंशियल इनइक्वालिटीज़) के साथ जोड़ता है।
सार्वभौमिकता और कठोरता: यह कार्य पर्कोलेशन थ्रेशोल्ड और कॉन्फॉर्मल ज्योमेट्री (He–Schramm theorem) के बीच एक समानता खींचता है, जो सुझाव देता है कि "बौंड्री" (एन्ड्स) की "गणनीयता" दोनों क्षेत्रों में एक महत्वपूर्ण रिगिडिटी फैक्टर है।

संक्षेप में, झोंगयांग ली का शोध पत्र यह प्रदर्शित करता है कि एक समतलीय ग्राफ़ के "एन्ड्स" की टोपोलॉजी ही यूनिकनेस थ्रेशोल्ड निर्धारित करने वाला निर्णायक कारक है, जो अधिकांश "सुव्यवस्थित" ग्राफ़ों के लिए एक मजबूत सकारात्मक परिणाम स्थापित करते हुए बेन्जामिन-श्रम अनुमान के सामान्य रूप के लिए एक निर्णायक काउंटरएग् एग्जांपल प्रदान करता है।