⚛️ quantum physics

Amenable groups with nearly exponential sofic profile, and quantum channels that need nearly linear memory

यह शोध पत्र एक लगभग घातांकीय सोफ़िक प्रोफ़ाइल (nearly exponential sofic profile) वाले एक परिमित प्रस्तुत प्रारंभिक अमेय समूह (finitely presented elementary amenable group) का निर्माण करता है और एक क्वांटम चैनल को परिभाषित करने के लिए इसके गुणों का उपयोग करता है जो स्मृति आवश्यकताओं और शुद्धता के बीच एक मौलिक व्यापार-संतुलन (trade-off) को प्रदर्शित करता है, जिससे यह प्रकट होता है कि जबकि चैनल को एक छोटे शुद्ध वातावरण के साथ सटीक रूप से लागू किया जा सकता है, किसी भी सन्निकट अनुकरण (approximate imitation) के लिए, जिसमें एक परिमित मिश्रित बाथ (finite mixed bath) का उपयोग किया जाता है, घातांकीय रूप से बड़े आयाम की आवश्यकता होती है।

मूल लेखक: Seth Douglas, Nidhal Mghirbi

प्रकाशित 2026-10-06

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

CC BY 4.0

मूल लेखक: Seth Douglas, Nidhal Mghirbi

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

गणित के विशाल परिदृश्य में, कुछ संरचनाएं इतनी जटिल हैं कि वे अनंत प्रतीत होती हैं, जबकि अन्य इतनी सरल हैं कि उन्हें मन में बसाया जा सके। इन दोनों छोरों के बीच 'अमेनेबल ग्रुप्स' (amenable groups) हैं, जो नियमों के ऐसे अनंत संग्रह हैं जो एक बहुत ही विशिष्ट तरीके से, सीमित (finite) समूहों की तरह व्यवहार करते हैं। एक विशाल, अनंत मशीन की कल्पना करें जहाँ हर छोटा, स्थानीय हिस्सा एक सरल, सीमित मशीन द्वारा पूरी तरह से नकल किया जा सकता है। दशकों से, गणितज्ञ यह जानने के लिए उत्सुक रहे हैं कि ये अनंत संरचनाएं वास्तव में कितनी 'सीमित' हो सकती हैं। यदि आप किसी अमेनेबल ग्रुप का एक छोटा सा स्नैपशॉट लेते हैं, तो आप वस्तुओं के एक सीमित सेट के क्रमपरिवर्तन (permutations) का उपयोग करके उसके व्यवहार को फिर से बना सकते हैं, जैसे ताश के पत्तों को फेंटना। लेकिन उस फेंटने को सही ढंग से करने के लिए आपको कितने बड़े डेक की आवश्यकता होगी? आकार का यह प्रश्न, या "प्रोफाइल", इन समूहों की छिपी हुई गहराई को प्रकट करता है। यदि डेक स्नैपशॉट से केवल थोड़ा ही बड़ा है, तो समूह सीमित होने के बहुत करीब है। यदि डेक को विस्फोटक रूप से बड़ा होना पड़ता है, तो वह दिखने में जितना सरल है, उससे कहीं अधिक जटिल है।

शोधकर्ताओं की एक टीम ने अब एक विशिष्ट, अनंत रूप से जटिल समूह का निर्माण किया है जो इस सीमा को पता लगाने की अधिकतम संभव सीमा तक धकेलता है। उन्होंने एक ऐसा गणितीय ढांचा बनाया जो अमेनेबल है—अर्थात, इसे सीमित टुकड़ों द्वारा अनुमानित किया जा सकता है—लेकिन जहाँ उन सीमित अनुमानों को सटीक होने के लिए खगोलीय रूप से बड़े होने की आवश्यकता होती है। आवश्यक अनुमान का आकार एक घातांकीय (exponential) फलन के लगभग उतना ही तेज़ बढ़ता है, जो कि ऐसी जटिलता को मापने की लगभग अधिकतम गति है। यह खोज केवल अनंत आकारों के बारे में एक अमूर्त जिज्ञासा नहीं है; इसका क्वांटम कंप्यूटिंग के भविष्य के लिए एक सीधा और आश्चर्यजनक परिणाम है। वही गणितीय संरचना जो इन विशाल अनुमानों को लागू करती है, यह भी निर्धारित करती है कि एक विशिष्ट कार्य को बार-बार करने के लिए एक क्वांटम उपकरण को कितनी मेमोरी की आवश्यकता होगी। शोधकर्ताओं ने पाया कि एक उपकरण जो एक निश्चित क्वांटम ऑपरेशन को कई बार दोहराने का प्रयास करता है, वह केवल थोड़ी मात्रा में जानकारी संग्रहीत करके और उसे पुन: उपयोग करके काम नहीं चला सकता। इसके बजाय, यदि उपकरण एक महत्वपूर्ण मात्रा में "प्योरिटी" (purity) का उपयोग करने की अनुमति देता है, जो कि एक संसाधन है जो ताज़ा, अछूती ऊर्जा के समान है, तो मेमोरी की आवश्यकता संचालन की संख्या के साथ लगभग रैखिक (linear) रूप से बढ़ती है। हालाँकि, यदि उपकरण लॉगरिदमिक प्योरिटी के साथ काम करता है, तो मेमोरी की आवश्यकता $n^{1-o(1)}$ के रूप में बढ़ती है, जो कि उप-रैखिक (sublinear) है लेकिन फिर भी रैखिक वृद्धि के करीब है।

शोधकर्ताओं ने एक क्लासिक गणितीय निर्माण, जिसे 'लैम्पलाइटर ग्रुप' (lamplighter group) के रूप में जाना जाता है, की पुनर्कल्पना करके यह उपलब्धि हासिल की। पारंपरिक संस्करण में, कल्पना करें कि एक लंबी सड़क है जिसमें हर घर पर एक लैंप लगा है। एक कार्यकर्ता सड़क पर चलता है और लैंपों को चालू या बंद करता है। सड़क की स्थिति इस बात से परिभाषित होती है कि कौन से लैंप जल रहे हैं, और कार्यकर्ता की स्थिति क्या है। नया समूह जिसे लेखकों ने बनाया है, वह सड़क को एक अधिक जटिल परिदृश्य से बदल देता है: व्यक्तिगत घरों पर लैंपों के बजाय, "लैंप" घरों के हर संभावित पैटर्न पर बैठे तीन-तत्वों वाले छोटे सममिति समूह (symmetry group) की प्रतियां हैं। कार्यकर्ता अभी भी घूम सकता है, लेकिन वह घरों के पैटर्न को जटिल तरीकों से बदल भी सकता है, जैसे कि एक ऐसा स्विच बदलना जो पूरे पड़ोस को एक साथ प्रभावित करता है। इन पैटर्न और घूमने के नियमों को सावधानीपूर्वक व्यवस्थित करके, टीम ने एक ऐसा सिस्टम बनाया जहाँ दो दूर स्थित लैंपों को मोवों (moves) के एक आश्चर्यजनक रूप से छोटे अनुक्रम का उपयोग करके एक साथ लाया जा सकता है। हालाँकि, उन्हें एक साथ लाने की लागत पैटर्न की ज्यामिति में छिपी हुई है। दो विशिष्ट लैंपों को एक साथ लाने के लिए, कार्यकर्ता को एक ऐसा पथ तय करना होगा, जो चरणों में तो छोटा है, लेकिन गणितीय तर्क के अंतराल को भरने के लिए एक विशाल "क्षेत्रफल" (area) की आवश्यकता रखता है। यह छिपा हुआ खर्च उन्हें वस्तुओं के एक सीमित सेट के साथ सिम्युलेट करने के किसी भी प्रयास को मजबूर करता है कि बिंदुओं की संख्या लगभग घातांकीय दर से बढ़े।

इस गणितीय निर्माण को एक क्वांटम चैनल से जुड़े भौतिक परिदृश्य में अनुवादित किया गया था, जो एक ऐसा उपकरण है जो क्वांटिक सूचना को रूपांतरित करता है। शोधकर्ताओं ने एक विशिष्ट चैनल डिजाइन किया जो 873 क्वांटम अवस्थाओं पर कार्य करता है। उन्होंने सिद्ध किया कि यदि कोई उपकरण इस चैनल का बार-बार उपयोग करने का प्रयास करता है, और अगले इनपुट के आने से पहले आउटपुट को छोड़ देता है, तो उसे एक सख्त समझौते (trade-off) का सामना करना पड़ता है। यदि उपकरण अपनी मेमोरी का उपयोग कम रखने की कोशिश करता है, तो उसे बहुत अधिक प्योरिटी खर्च करनी होगी, जिसका अर्थ है कि हर कुछ उपयोगों के लिए ताज़ा, उच्च-गुणवत्ता वाली क्वांटम अवस्थाओं को आयात करना होगा। यदि वह प्योरिटी बचाने की कोशिश करता है, तो सिस्टम की स्थिति को संग्रहीत करने के लिए आवश्यक मेमोरी, उपयोगों की संख्या के साथ $n^{1-o(1)}$ के रूप में बढ़ती है, जो कि लगभग रैखिक है लेकिन स्पष्ट रूप से उप-रैखिक है। इस भारी मेमोरी लागत से बचने का एकमात्र तरीका एक विशिष्ट "रैंक रेट" (rank rate) पर संचालित होना है, जहाँ मेमोरी और प्योरिटी दोनों की आवश्यकता उपयोगों के वर्गमूल के साथ स्केल करती है। यह परिणाम महत्वपूर्ण है क्योंकि यह एक ठोस उदाहरण प्रदान करता है कि एक क्वांटम प्रक्रिया, जो सैद्धांतिक रूप से एक सीमित वातावरण के साथ बनाई जा सकती है, इतनी महंगी है कि आवश्यक संसाधन तेजी से बढ़ते हैं।

यह अध्ययन "कोनेस एम्बेडिंग प्रॉब्लम" (Connes embedding problem) की सीमाओं को भी स्पष्ट करता है, जो ऑपरेटर बीजगणित (operator algebras) से संबंधित एक प्रमुख प्रश्न है कि क्या कुछ जटिल क्वांटम चैनलों को सीमित-आयामी (finite-dimensional) चैनलों द्वारा अनुमानित किया जा सकता है। शोधकर्ताओं ने दिखाया कि उनका विशिष्ट चैनल उन चैनलों के क्लोजर (closure) में आता है जिन्हें सीमित बाथ (finite baths) के साथ बनाया जा सकता है, जिसका अर्थ है कि इसे कितनी भी सटीकता के साथ अनुमानित किया जा सकता है। हालाँकि, उन्होंने सिद्ध किया कि ऐसे किसी भी अनुमान के लिए बाथ का आकार वांछित सटीकता के साथ घातांकीय रूप से बढ़ता है। इसका अर्थ यह है कि भले ही चैनल मौलिक रूप से "अनंत" नहीं है जिसे अनुमानित करना असंभव हो, लेकिन थोड़ी सी भी सटीकता प्राप्त करने की लागत अत्यधिक है। यह कार्य अनंत सममिति वाले समूहों की अमूर्त ज्यामिति को क्वांटम उपकरणों की मूर्त संसाधन बाधाओं से जोड़ता है, यह दिखाते हुए कि कैसे गणितीय समूहों की आकृति सूचना प्रसंस्करण की भौतिक सीमाओं को निर्धारित कर सकती है।

टीम के निष्कर्ष एक कठोर प्रमाण पर आधारित हैं जो समूह की ज्यामिति को क्वांटम मेमोरी की एंट्रॉपी (entropy) से जोड़ते हैं। उन्होंने प्रदर्शित किया कि उपकरण का एक एकल उपयोग, उपकरण की मेमोरी के भीतर समूह की संरचना का एक अनुमानित प्रतिनिधित्व प्रकट करता है। क्योंकि समूह को सटीक रूप से मॉडल करने के लिए बड़ी संख्या में बिंदुओं की आवश्यकता होती है, इसलिए मेमोरी को उसके अनुरूप मात्रा में सूचना, या एंट्रॉपी, वहन करनी चाहिए। यह संबंध गहरा और अपरिहार्य है; उपकरण जितनी सटीकता से चैनल की नकल करने की कोशिश करेगा, उसे उतनी ही अधिक मेमोरी रखनी होगी। शोधकर्ताओं ने इस व्यवहार का कंप्यूटर पर सिमुलेशन नहीं किया, बल्कि एक गणितीय प्रमाण प्रदान किया जो किसी भी उपकरण के लिए मान्य है जो इस कार्य को करने का प्रयास करता है। उन्होंने यह भी स्थापित किया कि उनके द्वारा बनाया गया समूह 'ब्रिन्स ग्रुप' (Brin's group) नामक एक बड़े, सुप्रसिद्ध समूह का उपसमूह (subgroup) है, जो यह दर्शाता है कि इस समूह में भी एक लगभग घातांकीय प्रोफाइल वाला हिस्सा मौजूद है। यह सुझाव देता है कि यह घटना एक अलग घटना नहीं है, बल्कि एक विशेषता है जो अन्य जटिल, परिमित रूप से प्रस्तुत (finitely presented) समूहों में भी दिखाई दे सकती है।

अंत में, यह शोध पत्र गणित और भौतिकी में एक सीमा की स्पष्ट तस्वीर पेश करता है। यह दिखाता है कि ऐसे अमेनेबल समूह हैं जो सबसे जटिल समूहों जितने "लगभग" जटिल हो सकते हैं, और यह जटिलता क्वांटम मशीनों के लिए मेमोरी लागत में सीधे परिवर्तित होती है। वर्णित उपकरण एक सैद्धांतिक असंभवता नहीं है, बल्कि एक व्यावहारिक चुनौती है: इसे बनाया जा सकता है, लेकिन केवल एक भारी कीमत पर। शोधकर्ताओं ने ठीक से मानचित्रित किया है कि वह कीमत कितनी है, यह दिखाते हुए कि कुछ प्रकार के क्वांटम ऑपरेशन्स के लिए, आवश्यक मेमोरी एक स्थिर स्थिरांक नहीं है, बल्कि समय के साथ बढ़ने वाला एक बोझ है जो विशेष रूप से $n^{1-o(1)}$ के रूप में स्केल करता है। यह कार्य अनंत सममितिओं की अमूर्त दुनिया और क्वांटम इंजीनियरिंग की ठोस वास्तविकता के बीच के अंतर को पाटता है, यह सिद्ध करते हुए कि एक गणितीय समूह का आकार एक क्वांटम मेमोरी के आकार को निर्धारित कर सकता है।

तकनीकी सारांश: लगभग घातांकीय सोफिक प्रोफाइल वाले अमेय समूह (Amenable Groups), और लगभग रैखिक स्मृति की आवश्यकता वाले क्वांटम चैनल

1. समस्या विवरण

यह शोध पत्र ज्यामितीय समूह सिद्धांत (geometric group theory) और क्वांटम सूचना सिद्धांत (quantum information theory) में दो परस्पर जुड़े हुए विषयों को संबोधित करता है:

समूह सिद्धांत (Group Theory): एक अमेय समूह (amenable group) परिमितता (finiteness) से कितनी दूर जा सकता है? विशेष रूप से, लेखक एक समूह खंड (group chunk) $E$ के सोफिक प्रोफाइल $\sigma_E(r)$ की जांच करते हैं। यह फलन एक समूह के परिमित उपसमुच्चय को क्रमचय (permutations) के माध्यम से मॉडल करने के लिए आवश्यक बिंदुओं की न्यूनतम संख्या को मापता है, ताकि गुणन सारणी (multiplication table) सही हो और अलग-अलग तत्व $1/r$ अंश के सभी बिंदुओं पर भिन्न हों। हालांकि यह ज्ञात था कि अमेय समूहों के सोफिक प्रोफाइल परिमित होते हैं, लेकिन इन प्रोफाइल्स की वृद्धि दर एक खुला प्रश्न थी। कॉर्नुलियर (Cornulier) ने पूछा था कि क्या कोई सोफिक समूह ऐसा प्रोफाइल रख सकता है जो अनबाउंडेड (unbounded) हो लेकिन $r$ के सापेक्ष रैखिक (linear) न हो। लेखकों के हॉटन के समूह $H_3$ पर पिछले कार्य ने एक सुपरपॉलीनोमियल प्रोफाइल ( $\exp(r^{0.129})$ ) स्थापित किया था, लेकिन ऐसे गणना तर्क (counting arguments) के लिए सैद्धांतिक सीमा $\exp(O(r))$ है। प्रश्न यह बना हुआ है: क्या एक अमेय समूह इस घातांकीय सीमा (exponential ceiling) के करीब पहुँच सकता है?
क्वांटम सूचना (Quantum Information): एक क्वांटम चैनल को बार-बार लागू करने की स्मृति लागत (memory cost) क्या है? विशेष रूप से, यह शोध पत्र एक ऐसे उपकरण पर विचार करता है जो एक निश्चित चैनल $\Phi$ को $n$ बार क्रमिक रूप से लागू करता है, जिसमें अगले इनपुट के आने से पहले आउटपुट को मुक्त कर दिया जाता है। इस उपकरण में एक मेमोरी रजिस्टर होता है जिसे कभी भी पूरी तरह से रीसेट नहीं किया जाता है, लेकिन यह क्यूबिट्स को स्वैप (exchange) कर सकता है और "शुद्धता" (purity/entropy deficit) के साथ शुरू हो सकता है या आयात कर सकता है। लक्ष्य $Q$ (मेमोरी आकार), $B$ (प्योरिटी बजट), और $n$ (उपयोगों की संख्या) के बीच के ट्रेड-ऑफ को निर्धारित करना है, विशेष रूप से उन चैनलों के लिए जो परिमित ट्रैसेल फैक्टराइजेशन (tracial factorizations) वाले चैनलों के क्लोजर (closure) में आते हैं।

2. कार्यप्रणाली (Methodology)

समूह निर्माण: कॉन्फ़िगरेशन लैंप्स (Configuration Lamps)

लेखक एक विशिष्ट फिनाइटली प्रेजेंटेड एलिमेंट्री अमेय समूह $\Gamma$ का निर्माण करते हैं। यह एक "लैंपलाइटर" (lamplighter) संस्करण है जहाँ "लैंप्स" (समूह $S_3$ की प्रतियाँ) हॉटन के समूह $H_3$ के तीन किरणों (rays) के बिंदुओं पर नहीं रखे गए हैं, बल्कि हॉटन के समूह $H_3$ की परिमित बाइनरी कॉन्फ़िगरेशन पर रखे गए हैं।

द लाइटर (The Lighter): कॉन्फ़िगरेशन के स्थान $V = \mathbb{F}_2^Y$ पर कार्य करने वाले एफाइन मैप्स (affine maps) का समूह। इसमें बिंदुओं के क्रमचय (permutation of points - $H_3$ से), ट्रांसलेशन (बिंदु को पलटना), और ट्रांसवेक्शन्स (एक बिंदु को दूसरे में जोड़ना) शामिल हैं।
द लैंप्स (The Lamps): प्रत्येक परिमित कॉन्फ़िगरेशन पर $S_3$ की एक प्रति स्थित है।
मुख्य तंत्र (Key Mechanism): समूह $H_3$ बिंदुओं को हिलाता है, जबकि एफाइन मैप्स कॉन्फ़िगरेशन को हिलाते हैं। महत्वपूर्ण रूप से, $N$ बिंदु $2^N$ कॉन्फ़िगरेशन (लैंप्स) ले जाते हैं। लेखक दिखाते हैं कि किसी भी दो लैंप्स को उन मूव्स के अनुक्रम का उपयोग करके एक साथ लाया जा सकता है (कम्यूट किया जा सकता है) जिसमें प्रत्येक चरण में अधिकतम तीन बिंदु शामिल होते हैं। दो लैंप्स को कम्यूट करने की लागत $H_3$ के डेहन फंक्शन (Dehn function) द्वारा शासित होती है, जो कि पॉलिनॉमियल है। फलस्वरूप, $2^N$ लैंप्स को कम्यूट करने के लिए आवश्यक "क्षेत्र" (area), लैंप्स की संख्या के पॉलिनॉमियल के बजाय उनके लॉग के सापेक्ष पॉिलोगारिदमिक (polylogarithmic) है।

गणना मानदंड (The Counting Criterion)

समूह $\Gamma$ के सोफिक प्रोफाइल पर निचली सीमाएँ एक "काउंटिंग क्राइटेरिया" (प्रमेय 2.1, [26] से अनुकूलित) पर आधारित हैं। सिद्धांत यह है:

यदि एक समूह में कई परिमित समूहों (यहाँ $S_3$ ) की कॉपियाँ हैं जो बहुत कम लागत पर कई स्थानों तक पहुँचाई जा सकती हैं (छोटे शब्दों के माध्यम से), और इन कॉपियों के युग्म क्रमचय (pairwise commutators) का "क्षेत्र" (area) छोटा है (उन्हें कम्यूट करने के लिए कम संबंध/relations की आवश्यकता है), तो उनका कोई भी अनुमानित प्रतिनिधित्व (approximate representation) बड़ा होना चाहिए।
लगभग कम्यूट करने वाली $S_3$ की कॉपियाँ एंट्रॉपी (entropy) वहन करती हैं। यदि $N$ ऐसी कॉपियाँ कम लागत पर कम्यूट करती हैं, तो प्रतिनिधित्व का आयाम $D$ इस शर्त को पूरा करेगा: $\log D \gtrsim N$ ।
लेखक 25 संबंधों का निर्माण करते हैं जो $\Gamma$ में $2^N$ कॉपियों को एक क्षेत्र सीमा $\Lambda_N \approx N^{2+\kappa}$ (जहाँ $\kappa \approx 12.75$ ) के साथ कम्यूट करने के लिए मजबूर करते हैं।

क्वांटम चैनल निर्माण

समूह $\Gamma$ को $\mathbb{C}^{873}$ पर एक गैजेट चैनल $\Phi$ में परिवर्तित किया जाता है।

गैजेट चैनल (Gadget Channel): एक चैनल जो समूह संबंधों के परिमित सेट से निर्मित होता है। यह संबंधों को रेगुलर रिप्रेजेंटेशन में मूल्यांकन करता है और समूह बीजगणित (group algebra) का ट्रेस निकालता है।
वन-राउंड थ्योरम (One-Round Theorem): समूह को चैनल से जोड़ने वाला मुख्य इंजन एक "वेटेड वन-राउंड थ्योरम" (प्रमेय 10.1) है। यह बताता है कि एक कॉज़ल सर्विस (डिवाइस) का एक एकल दौर जो गैजेट चैनल का अनुमान लगाता है, डिवाइस की मेमोरी पर समूह के एक अनुमानित प्रतिनिधित्व को प्रकट करता है। इस प्रतिनिधित्व का "दोष" (defect) उस दौर के लीकेज और एंट्रॉपी उत्पादन के वर्गमूल से संबंधित होता है।
एम्प्लीफिकेशन (Amplification): $\Gamma$ में $2^N$ कम लागत वाले कम्यूटिंग $S_3$ के कॉपियों पर वन-राउंड थ्योरम को लागू करके, लेखक $n$ उपयोगों के सिम्युलेशन के लिए आवश्यक मेमोरी एंट्रॉपी पर निचली सीमा प्राप्त करते हैं।

ऊपरी सीमाएँ (Upper Bounds)

ऊपरी सीमाएँ $\Gamma$ के सोफिक मॉडल्स से प्राप्त की जाती हैं। लेखक एफाइन हैशिंग (affine hashing) का उपयोग करके मॉडल बनाते हैं:

वे रैंडम एफाइन मैप्स का उपयोग करके कॉन्फ़िगरेशन को एक परिमित हैश स्पेस में मैप करते हैं।
ये मॉडल, फ़ोलनर सेट्स (Følner sets) से प्राप्त मॉडलों की तुलना में काफी छोटे हैं (जो $\Gamma$ के लिए दोहरी घातांकीय आकार के होते हैं)।
ये मॉडल सीधे ऐसे उपकरण (कॉज़ल सर्विसेज) प्रदान करते हैं जो चैनल का अनुमान लगाते हैं, जिससे मेमोरी और प्योरिटी पर ऊपरी सीमाएँ प्राप्त होती हैं।

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

प्रमेय A: समूह $\Gamma$

लेखक एक फिनाइटली प्रेजेंटेड एलिमेंट्री अमेय समूह $\Gamma$ के अस्तित्व को सिद्ध करते हैं जिसका एक खंड $E$ का सोफिक प्रोफाइल $\sigma_E(r)$ लगभग घातांकीय (nearly exponential) है:
$\exp\left( c \frac{r}{(\log r)^\kappa} \right) \le \sigma_E(r) \le \exp(C r \log r)$
जहाँ $\kappa = 6 + \log 107 < 12.75$ ।

महत्व: यह पहला अमेय समूह है जिसे दिखाया गया है कि इसका प्रोफाइल गणना मानदंड द्वारा दी गई सैद्धांतिक सीमा $\exp(O(r))$ के करीब पहुँचता है। घातांक $1+o(1)$ है।
यूनिटरी मॉडल (Unitary Models): समान संबंध यूनिटरी मॉडल्स को भी नियंत्रित करते हैं, यह दिखाते हुए कि कोई भी यूनिटरी रिप्रेजेंटेशन जो कम दोष (small defect) के साथ संबंधों को संतुष्ट करता है, उसका आयाम $D$ ऐसा होगा कि $\log D \gtrsim \epsilon^{-2} / (\log(1/\epsilon))^{2\kappa}$ ।
एम्बेडिंग (Embedding): $\Gamma$ , ब्रिन के समूह $3V$ (एक फिनाइटली प्रेजेंटेड सिंपल ग्रुप जिसकी सोफिसिटी अज्ञात है) में एम्बेड होता है, जिसका अर्थ है कि $3V$ में भी एक लगभग घातांकीय प्रोफाइल वाला खंड है।

प्रमेय B: क्वांटम चैनल

समूह $\Gamma$ , $\mathbb{C}^{873}$ पर एक स्पष्ट क्वांटम चैनल $\Phi$ को परिभाषित करता है जिसका चोई रैंक (Choi rank) $r^*=130$ है। यह चैनल उन चैनलों के क्लोजर में है जिनमें परिमित ट्रैसेल फैक्टराइजेशन होता है।

मेमोरी बनाम प्योरिटी (Memory vs. Purity): $n$ उपयोगों के लिए, यदि डिवाइस के पास एक प्योरिटी बजट $B$ है (जहाँ $\log n \le B \le c_0 n$ ), तो मेमोरी $Q$ को संतुष्ट करना होगा:
$Q \ge c \frac{n}{B (\log n)^{2\kappa}}$
इसके विपरीत, सटीक सर्विसेज मौजूद हैं जहाँ $Q \le K (n/B) \log(2n/B)$ ।
रैंक रेट (Rank Rate): इष्टतम एक्सचेंज रेट (रैंक रेट $J \le \frac{n}{2} \log r^*$ ) पर, मेमोरी $Q \approx \sqrt{n}$ (पोलिलोगारिदमिक कारकों को छोड़कर) के रूप में स्केल करती है, और यह समान क्रम की प्योरिटी के साथ प्राप्त की जाती है।
महत्व: यह एक ऐसे चैनल के लिए मेमोरी और प्योरिटी के बीच एक सटीक ट्रेड-ऑफ स्थापित करता है जो एक बार उपयोग करने के लिए "सस्ता" है लेकिन कई बार उपयोग करने के लिए "महंगा" है। यह दर्शाता है कि भले ही चैनल परिमित-ट्रैसेल चैनलों के क्लोजर में हो, यदि प्योरिटी कम है, तो बार-बार उपयोग करने पर मेमोरी $n$ के लगभग रैखिक रूप से बढ़ सकती है।

प्रमेय C: परिमित वातावरण (Finite Environments)

चैनल $\Phi$ फैक्टरेज़ेबल है और उन चैनलों के क्लोजर में है जिनमें परिमित ट्रैसेल फैक्टराइजेशन होता है। हालाँकि, कोई भी परिमित-आयामी बाथ (bath) जो $u$ सटीकता तक $\Phi$ का अनुमान लगाता है, उसका आयाम होना चाहिए:
$\dim \ge \exp\left( c u^{-1} / (\log(1/u))^{2\kappa} \right)$
यह $\Phi$ के परिमित ट्रैसेल फैक्टराइजेशन होने की निकटता को मात्रात्मक रूप से मापता है, यह दिखाते हुए कि सटीकता में सुधार के साथ आवश्यक बाथ का आयाम लगभग घातांकीय रूप से बढ़ता है।

4. महत्व और दावे

यह शोध पत्र इस प्रश्न को हल करने का दावा करता है कि एक अमेय समूह का सोफिक प्रोफाइल कितना बड़ा हो सकता है, यह प्रदर्शित करते हुए कि यह लगभग घातांकीय (nearly exponential) हो सकता है, जो गणना पद्धति द्वारा पता लगाने योग्य सीमा के अत्यंत निकट है।

क्वांटम सूचना के संदर्भ में, शोध पत्र निम्नलिखित प्रदान करता है:

स्पष्ट उदाहरण: एक स्पष्ट क्वांटम चैनल जहाँ क्रमिक उपयोग के लिए मेमोरी लागत अधिक होती है, जो उन चैनलों के विपरीत है जिन्हें स्थिर परिमित मेमोरी के साथ सिम्युलेट किया जा सकता है।
मात्रात्मक सीमाएँ (Quantitative Bounds): मेमोरी, प्योरिटी और उपयोगों की संख्या के बीच ट्रेड-ऑफ के लिए सटीक एसिम्प्टोटिक (asymptotic) सीमाएँ, जो दिखाती हैं कि मेमोरी और प्योरिटी एक निश्चित दर ( $Q \cdot B \approx n^{1+o(1)}$ ) पर ट्रेड करती हैं।
भौतिकी से संबंध: परिणाम संकेत देते हैं कि $\nu$ आयामों में स्थानीय लैटिस सिस्टम को $\delta$ सटीकता तक $\Phi$ उत्पन्न करने के लिए कम से कम $\delta^{-1/\nu}$ समय की आवश्यकता होगी। यह यह भी नोट करता है कि जबकि स्व-एडजॉइंट डायनेमिक्स के ऑटोनॉमस लिमिट आमतौर पर "सस्ते" होते हैं, एक बाउंडेड नॉन-लोकल हैमिल्टोनियन (Hamiltonian) ऐसे महंगे मेमोरी/प्योरिटी ट्रेड-ऑफ वाले चैनल को उत्पन्न कर सकता है।

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

शोध पत्र ब्रिन के समूह $3V$ की सोफिसिटी या थॉम्पसन के समूह $F$ के बारे में समाधान का दावा नहीं करता है, बल्कि $3V$ में $\Gamma$ के एम्बेडिंग का उपयोग यह दिखाने के लिए करता है कि यदि $3V$ सोफिक है, तो उसमें लगभग घातांकीय प्रोफाइल वाले खंड होंगे। इसी तरह, थॉम्पसन के समूह $V$ पर परिणाम $F$ की अमेयता (amenability) पर सशर्त हैं। शोध पत्र इसमें शामिल स्थिरांक (constants) के बारे में विनम्र रहता है, यह नोट करते हुए कि पोलिलोगारिदमिक कारकों में बड़े घातांक हैं और निचली सीमाएँ केवल बहुत बड़े $n$ के लिए प्रभावी होती हैं।