🔢 mathematics

Linear Logic and the Hilbert Scheme

यह शोध पत्र हिल्बर्ट स्कीम (Hilbert scheme) का उपयोग करते हुए शैलो मल्टीप्लिकेटिव एक्सपोनेंशियल लीनियर लॉजिक (MELL) के एक ज्यामितिक मॉडल को प्रस्तुत करता है, जो प्रमाणों की व्याख्या स्थानीय प्रक्षेपिक स्कीम्स (locally projective schemes) के रूप में करता है, यह प्रदर्शित करते हुए कि यह ढांचा कट-एलिमिनेशन (cut-elimination) के तहत अपरिवर्तनीय है और प्रमाण सिद्धांत एवं बीजगणितीय ज्यामिति के बीच गहरे संबंधों को प्रकट करता है।

मूल लेखक: William Troiani, Daniel Murfet

प्रकाशित 2026-03-11

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

CC BY 4.0

मूल लेखक: William Troiani, Daniel Murfet

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

मुख्य विचार: गणितीय प्रमाणों को ज्यामितीय आकृतियों में बदलना

कल्पना कीजिए कि आपके पास एक रोबोट बनाने के लिए एक जटिल निर्देश पुस्तिका (instruction manual) है। कंप्यूटर विज्ञान और गणित की दुनिया में, इस पुस्तिका को प्रमाण (proof) कहा जाता है। आमतौर पर, हम इन प्रमाणों को तार्किक चरणों के एक क्रम के रूप में पढ़ते हैं: "यदि A सत्य है, तो B सत्य है।"

यह शोध पत्र इन प्रमाणों को देखने का एक क्रांतिकारी नया तरीका प्रस्तावित करता है। इन प्रमाणों को वाक्यों की एक सूची के रूप में पढ़ने के बजाय, लेखक सुझाव देते हैं कि हमें इन्हें भौतिक परिदृश्यों (physical landscapes) के रूप में बनाना चाहिए।

एक प्रमाण को एक कहानी के रूप में नहीं, बल्कि एक मानचित्र (map) के रूप में सोचें।

प्रमाण के "परमाणु" (इसके बुनियादी निर्माण खंड) मानचित्र पर शहरों की तरह हैं।
तर्क के नियम उन शहरों को जोड़ने वाले सड़कें हैं।
एक पूर्ण प्रमाण एक विशिष्ट ज्यामितीय आकृति (एक "स्कीम") है, जो इस बात से बनती है कि वे सड़कें कैसे बिछाई गई हैं।

लेखक पूछ रहे हैं: जब हम अपने तर्क में एक विशेष "जादुई" सामग्री जोड़ते हैं, तो वह मानचित्र कैसा दिखता है?

सामग्री: "सामान्य" तर्क बनाम "जादुई" तर्क

इस शोध पत्र को समझने के लिए, हमें दो प्रकार के तर्क की आवश्यकता है:

गुणात्मक तर्क (Multiplicative Logic - "सामान्य" चीज़):
यह एक मानक निर्माण स्थल की तरह है। आपके पास सामग्रियां (सूत्र) हैं और आप उन्हें जोड़ते हैं। यदि आपके पास एक ईंट और एक बीम है, तो आप उन्हें मिलाकर एक दीवार बना सकते हैं। अपने पिछले कार्य में, लेखकों ने दिखाया कि ये जुड़ाव सरल समीकरणों (जैसे, $x = y$ ) की तरह होते हैं। यदि आपके पास एक प्रमाण है, तो आप इसे रेखाओं के एक समूह के रूप में खींच सकते हैं जहाँ चर (variables) मिलते हैं। यह एक सरल बीजगणितीय पहेली को हल करने जैसा है।
घातांक तर्क (Exponential Logic - "जादुई" चीज़):
यह सबसे पेचीदा हिस्सा है। लीनियर लॉजिक (linear logic) में, एक प्रतीक होता है जिसे ! (इसे "बैंग" कहा जाता है) कहते हैं। यह एक "कोफ्री कोलब्रेटा" (cofree coalgebra) का प्रतिनिधित्व करता है, जो एक फैंसी तरीका है यह कहने का: "आप इस सामग्री की जितनी बार चाहें उतनी प्रतियां बना सकते हैं, या इसे फेंक सकते हैं।"
- सामान्य तर्क में, यदि आप किसी संसाधन का उपयोग करते हैं, तो वह समाप्त हो जाता है।
- ! ऑपरेटर के साथ, आप इसे डुप्लिकेट कर सकते हैं (जैसे फ़ाइल कॉपी करना) या इसे हटा सकते हैं (जैसे किसी ड्राफ्ट को कचरे में डालना)।

समस्या यह है: मैं उस चीज़ का मानचित्र कैसे बनाऊं जो खुद की नकल कर सकती है?

समाधान: "हिलबर्ट स्कीम" (अनंत कॉपी मशीन)

लेखकों ने महसूस किया कि "जादुई" भाग को मैप करने के लिए, उन्हें एक नए प्रकार के भूगोल/ज्यामिति की आवश्यकता है। उन्होंने हिलबर्ट स्कीम (Hilbert Scheme) नामक उपकरण का उपयोग किया।

उपमा: "समीकरणों का समीकरण"

सामान्य प्रमाण: कल्पना कीजिए कि आपके पास $x = y$ और $y = z$ जैसे समीकरणों का एक सेट है। आप इसे तीन बिंदुओं को जोड़ने वाली एक एकल रेखा के रूप में खींच सकते हैं।
जादुई प्रमाण (Exponentials): अब, कल्पना कीजिए कि आपके पास एक मशीन है जो $x = y$ $x = y$ समीकरण को ले सकती है और उसे अपने ही कई अलग-अलग संस्करणों में बदल सकती है। शायद कभी यह $x = z$ $x = z$ बन जाता है, और कभी $x = w$ $x = w$ ।
- "हिलबर्ट स्कीम" इस मशीन के लिए एक कंट्रोल पैनल की तरह है।
- केवल $x = y$ की रेखा खींचने के बजाय, आप सभी संभावित रेखाओं का एक स्थान (space) खींचते हैं।
- "जादुई" नियम (जैसे कंट्रैक्शन नियम, जो एक सूत्र की प्रति बनाता है) वे नियम बन जाते हैं जो कंट्रोल पैनल के नॉब्स (knobs) को आपस में बांधते हैं।

सरल शब्दों में:

गुणात्मक तर्क (Multiplicative Logic) = चरों के बीच समीकरण ( $x = y$ )।
घातांक तर्क (Exponential Logic) = समीकरणों के बीच के समीकरण (वह नियम जो कहता है कि "जिस तरह से $x$ , $y$ से संबंधित है, वही तरह से $x$ , $z$ से भी संबंधित होना चाहिए")।

हिलबर्ट स्कीम वह ज्यामितीय वस्तु है जो इन "समीकरणों के बारे में समीकरणों" को धारण करती है। यह एक ऐसी आकृति है जो प्रमाण के हिस्सों को कॉपी या हटाने के आधार पर अपना रूप बदल लेती है।

मुख्य खोज: आकृति नहीं बदलती

सबसे रोमांचक बात यह है कि जब आप प्रोग्राम चलाते हैं (या गणितीय शब्दों में "कट-एलिमिनेशन" करते हैं)।

कंप्यूटर विज्ञान में, प्रोग्राम चलाने का अर्थ है उसे सरल बनाना। आप एक जटिल निर्देश लेते हैं और उसे एक सरल निर्देश में बदलते हैं। तर्क में, इसे कट-एलिमिनेशन (cut-elimination) कहा जाता है।

प्रश्न: यदि मैं एक जटिल प्रमाण लूँ और उसे सरल बनाऊं, तो क्या मेरे द्वारा बनाया गया ज्यामितीय आकार बदल जाएगा? क्या मानचित्र नष्ट हो जाएगा?
उत्तर: नहीं। लेखकों ने सिद्ध किया कि भले ही कागज पर प्रमाण अलग दिखे, लेकिन अंतर्निहित ज्यामितीय आकार (स्कीम) बिल्कुल वही रहता है।

उपमा:
कल्पना कीजिए कि आपके पास एक जटिल ओरिगेमी क्रेन (origami crane) है। आप इसे खोलते हैं, इसे अलग तरह से मोड़ते हैं, और फिर से खोलते हैं। हर चरण में कागज अलग दिखता है। लेकिन लेखकों ने सिद्ध किया कि यदि आप दीवार पर कागज द्वारा डाली गई "परछाई" को देखते हैं, तो वह परछाई (ज्यामितीय स्कीम) कभी नहीं बदलती। यह आकृति एक इनवेरिएंट (invariant) है।

यह बहुत बड़ी बात है क्योंकि इसका अर्थ है कि "ज्यामिति" गणना के वास्तविक सार को पकड़ लेती है, चाहे उसके चरण कितने भी उलझे हुए क्यों न हों।

एक ठोस उदाहरण: चर्च न्यूमरल्स (Church Numerals)

यह शोध पत्र यह दिखाने के लिए कि यह कैसे काम करता है, "चर्च न्यूमरल्स" (तर्क में 0, 1, 2 जैसे नंबरों को दर्शाने का एक तरीका) का उपयोग करता है।

संख्या 2: इस तर्क में, संख्या 2 एक ऐसा प्रमाण है जो कहता है "यह क्रिया दो बार करें।"
ज्यामिति: जब वे अपने नए तरीके का उपयोग करके संख्या 2 को मैप करते हैं, तो हिलबर्ट स्कीम एक विशिष्ट ज्यामितीय पैटर्न प्रकट करती है।
परिणाम: ज्यामिति दिखाती है कि प्रमाण के भीतर के "चर" इस तरह से संबंधित हैं जो गणितीय रूप से संख्या 2 को 2 की तरह व्यवहार करने के लिए मजबूर करते हैं। "समीकरणों के बीच के समीकरण" (कंट्रोल पैनल के नॉब्स) आपस में जुड़कर संख्या 2 का मान बना लेते हैं।

यह क्यों महत्वपूर्ण है?

नए संबंध: यह दो ऐसी दुनियाओं को जोड़ता है जो आमतौर पर एक-दूसरे से बात नहीं करती हैं: प्रूफ थ्योरी (हम चीजें कैसे सिद्ध करते हैं) और बीजगणितीय ज्यामिति (Algebraic Geometry) (समीकरणों द्वारा परिभाषित आकृतियों का अध्ययन)।
गणना की समझ: यह सुझाव देता है कि गणना केवल डेटा को इधर-उधर ले जाने के बारे में नहीं है; यह एक ज्यामितीय परिदृश्य में नेविगेट करने के बारे में है।
भविष्य की क्षमता: लेखकों को उम्मीद है कि यह उन्हें अधिक जटिल प्रकार के तर्क (जैसे क्वांटम कंप्यूटिंग या उन्नत AI में उपयोग किए जाने वाले तर्क) को ज्यामितीय वस्तुओं के रूप में समझने में मदद करेगा।

एक वाक्य में सारांश

यह शोध पत्र कंप्यूटर लॉजिक के प्रमाणों के लिए एक नया प्रकार का "मानचित्र" बनाता है, यह दिखाते हुए कि भले ही हम प्रमाण के हिस्सों को कॉपी और डिलीट करने के लिए "जादुई" नियमों का उपयोग करें, अंतर्निहित ज्यामितीय आकार पूरी तरह से स्थिर रहता है, जिससे पता चलता है कि गणना वास्तव में रूप बदलकर प्रस्तुत की गई ज्यामिति है।

यहाँ विलियम ट्रोइआनी और डैनियल मर्फेट के शोध पत्र "Linear Logic and the Hilbert Scheme" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र मल्टीप्लिकेटिव एक्सपोनेंशियल लीनियर लॉजिक (MELL) के लिए एक ज्यामितीय व्याख्या प्रदान करने की चुनौती को संबोधित करता है, विशेष रूप से एक्सपोनेंशियल फ्रैगमेंट (the ! modality) पर ध्यान केंद्रित करता है।

संदर्भ: पूर्ववर्ती कार्य (विशेष रूप से लेखकों द्वारा [18] में) ने यह स्थापित किया था कि मल्टीप्लिकेटिव लीनियर लॉजिक (MLL) के प्रमाणों को रैखिक समीकरणों (linear equations) के तंत्र के रूप में मॉडल किया जा सकता है, जहाँ चरों (variables) का उन्मूलन कट-एलिमिनेशन (cut-elimination) के अनुरूप होता है।
अंतराल (The Gap): जबकि MLL प्रमाण सूत्रों (formulas) के बीच समीकरणों के अनुरूप होते हैं, MELL के एक्सपोनेंशियल नियम (Promotion, Dereliction, Contraction, Weakening) एक उच्च-क्रम संरचना (higher-order structure) पेश करते हैं। लेखक पूछते हैं: किस प्रकार के समीकरण, और इस प्रकार किस प्रकार की ज्यामिति, एक्सपोनेंशियल से जुड़े निगमन नियमों (deduction rules) का प्रतिनिधित्व करती है?
विशिष्ट चुनौती: मानक बीजगणितीय ज्यामिति मॉडल (ideals और varieties का उपयोग करके) एक्सपोनेंशियल ! की अर्थ संबंधी व्याख्या करने में संघर्ष करते हैं, जो एक "कोफ्री को-अल्जेब्रा" (cofree coalgebra) या प्रमाणों के स्थान (space of proofs) का प्रतिनिधित्व करता है। लेखक एक ऐसा मॉडल चाहते हैं जहाँ एक्सपोनेंशियल को समीकरणों के स्थान (equations between equations) के रूप में व्याख्यायित किया जाए।

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

लेखक बीजगणितीय ज्यामिति (algebraic geometry), विशेष रूप से हिलबर्ट स्कीम (Hilbert scheme) का उपयोग करके एक ज्यामितीय मॉडल पेश करते हैं, जो "शैलो प्रूफ्स" (shallow proofs) नामक प्रमाणों के एक प्रतिबंधित वर्ग की व्याख्या करता है।

A. शैलो प्रूफ्स (Shallow Proofs)

मॉडल प्रारंभ में शैलो प्रूफ्स (परिभाषा 2.0.4) तक सीमित है, जो निम्नलिखित शर्तों को पूरा करते हैं:

सभी किनारे (edges) गहराई $\le 1$ वाले सूत्रों द्वारा लेबल किए गए हैं (जहाँ गहराई को आगमनात्मक रूप से परिभाषित किया गया है; परमाणु सूत्र गहराई 0 के हैं, और ! गहराई बढ़ाता है)।
कोई नेस्टेड बॉक्स नहीं (कोई ! के भीतर ! नहीं)।
प्रत्येक बॉक्स का आंतरिक भाग एक "नियरली लीनियर" (nearly linear) प्रूफ नेट है (एक विशिष्ट संरचनात्मक बाधा जो सुनिश्चित करती है कि पथ (paths) सुव्यवस्थित व्यवहार करें)।

B. ज्यामितीय निर्माण (The Geometric Construction)

प्रत्येक शैलो प्रूफ $\pi$ के लिए, लेखक स्कीम्स (schemes) का एक जोड़ा $(X(\pi), S(\pi))$ निर्मित करते हैं:

एम्बिएंट स्कीम $S(\pi)$ : प्रोजेक्टिव स्पेस ( $\coprod \mathbb{P}^n_k$ ) का एक विसंयुक्त संघ (disjoint union)।
- परमाणु सूत्र $\mathbb{P}^1$ को मैप करते हैं।
- मल्टीप्लिकेटिव कनेक्टिव्स ( $\otimes, \parr$ ) प्रोजेक्टिव स्पेस के उत्पादों के सेग्रे एम्बेडिंग्स (Segre embeddings) को मैप करते हैं।
- एक्सपोनेंशियल !B को $B$ से जुड़े स्थान के हिलबर्ट स्कीम्स (या उन्हें पैरामीटराइज़ करने वाले प्रोजेक्टिव स्पेस) के विसंयुक्त संघ के रूप में मैप किया जाता है।
- $S(\pi)$ प्रमाण में उपलब्ध "परमाणु स्वतंत्रता की डिग्री" (atomic degrees of freedom/coordinates) का प्रतिनिधित्व करता है।
प्रूफ स्कीम $X(\pi)$ : $S(\pi)$ का एक क्लोज्ड सबस्कीम (closed subscheme)।
- $X(\pi)$ को प्रत्येक लिंक (Axiom, Cut, Tensor, Par, Dereliction, Promotion, Contraction, Weakening) से जुड़े सबस्कीम्स के प्रतिच्छेदन (intersection) द्वारा परिभाषित किया जाता है।
- मल्टीप्लिकेटिव लिंक्स: डायगोनल्स या सेग्रे एम्बेडिंग्स के ग्राफ द्वारा परिभाषित किए जाते हैं (मानक रैखिक समीकरण)।
- एक्सपोनेंशियल लिंक्स:
  - डेरेलेक्शन (?A $\to$ A): हिलबर्ट स्कीम के यूनिवर्सल क्लोज्ड सबस्कीम का उपयोग करके मॉडल किया जाता है। यह ऐसे पैरामीटर पेश करता है जो समीकरण स्थान और सूत्र स्थान के बीच संबंध को परिभाषित करते हैं।
  - प्रमोशन (!B): हिलबर्ट स्कीम्स के बीच एक मॉर्फिज्म के ग्राफ द्वारा मॉडल किया जाता है। यह इस विचार को पकड़ता है कि एक प्रमाण को प्रमोट करना "प्रमाणों के स्थान" का निर्माण करता है।
  - कॉन्ट्रैक्शन (?A $\otimes$ ?A $\to$ ?A): दो इनपुट से जुड़े समीकरणों के पैरामीटर्स (गुणांकों) को पहचानने (identifying) द्वारा मॉडल किया जाता है, जो प्रभावी रूप से "समीकरणों के बीच समीकरणों" का निर्माण करता है।

C. कट-एलिमिनेशन इनवेरिएंस (Cut-Elimination Invariance)

मुख्य तकनीकी उपलब्धि यह सिद्ध करना है कि ज्यामितीय मॉडल कट-एलिमिनेशन के तहत अपरिवर्तनीय (invariant) है। किसी भी रिडक्शन स्टेप $\gamma: \pi \to \pi'$ के लिए, लेखक एम्बिएंट स्कीम्स के बीच स्पष्ट मॉर्फिज्म $S_\gamma$ और $T_\gamma$ का निर्माण करते हैं और यह सिद्ध करते हैं कि वे प्रूफ स्कीम्स $X(\pi)$ और $X(\pi')$ के बीच परस्पर व्युत्क्रम आइसोमॉर्फिज्म (mutually inverse isomorphisms) के रूप में प्रतिबंधित होते हैं।

3. मुख्य योगदान (Key Contributions)

एक्सपोनेंशियल की ज्यामितीय व्याख्या: यह शोध पत्र पहला ठोस ज्यामितीय मॉडल प्रदान करता है जहाँ एक्सपोनेंशियल मोडैलिटी ! को हिलबर्ट स्कीम के माध्यम से व्याख्यायित किया गया है। मुख्य अंतर्दृष्टि यह है कि जबकि मल्टीप्लिकेटिव प्रमाण $x=y$ जैसे समीकरणों के अनुरूप होते हैं, एक्सपोनेंशियल प्रमाण इन समीकरणों के बीच के समीकरणों (जैसे, समीकरणों के गुणांकों की पहचान करना) के अनुरूप होते हैं।
इनवेरिएंस थ्योरम (Theorem 3.1.3): लेखक सिद्ध करते हैं कि लोकली प्रोजेक्टिव जोड़ा $(X(\pi) \hookrightarrow S(\pi))$ कट-रिडक्शन के तहत प्रूफ नेट्स का एक इनवेरिएंट है। यह निर्माण को MELL के शैलो फ्रैगमेंट के लिए एक वैध कैटेगोरिकल इंटरप्रिटेशन के रूप में स्थापित करता है।
शैलो प्रूफ्स के लिए स्पष्ट निर्माण: यह शोध पत्र प्रत्येक लिंक प्रकार (Axiell, Cut, आदि) के लिए स्कीम्स को जोड़ने के लिए एक कठोर, चरण-दर-चरण परिभाषा प्रदान करता है, जिसमें हिलबर्ट फंकटोर की रिप्रेजेंटेबिलिटी (representability) का उपयोग करके प्रमोशन और डेरेलेक्शन का जटिल प्रबंधन शामिल है।
चर्च न्यूमरल्स (Church Numerals) का विश्लेषण: लेखक चर्च न्यूमरल्स (विशेष रूप से $2X$ और $0X$ ) का उपयोग करके एक विस्तृत उदाहरण के साथ इस मॉडल का प्रदर्शन करते हैं।
- वे दिखाते हैं कि कैसे एक्सपोनेंशियल का ज्यामितीय तत्व (प्रमाणों का स्थान) न्यूमरल के अंकगणित को कैप्चर करता है।
- वे स्पष्ट करते हैं कि कैसे कॉन्ट्रैक्शन नियम समीकरणों को परिभाषित करने वाले बहुपदों (polynomials) के गुणांकों पर प्रतिबंध लगाता है, जो प्रभावी रूप से अंकगणितीय ऑपरेशन (जैसे, न्यूमरल 2 के लिए $x = \phi^2 z$ ) करता है।

4. परिणाम (Results)

मुख्य प्रमेय: किसी भी कट-रिडक्शन स्टेप $\gamma: \pi \to \pi'$ के लिए, स्कीम्स की श्रेणी में एक कम्यूटेटिव डायग्राम मौजूद है जहाँ निचली पंक्ति (प्रूफ स्कीम्स $X(\pi)$ और $X(\pi')$ के बीच का मानचित्र) एक आइसोमॉर्फिज्म है।
एलिमिनेशन थ्योरी से जुड़ाव: यह मॉडल पिछले MLL परिणाम का सामान्यीकरण करता है जहाँ कट-एलिमिनेशन चरों के उन्मूलन के अनुरूप होता है, जो प्रक्रिया को बुचबर्गर एल्गोरिदम (Buchberger algorithm) और ग्रोबनर बेस (Gröbner bases) से जोड़ता है (Remark 3.2.2)।
सीमाएँ: मॉडल वर्तमान में "शैलो" प्रतिबंध पर निर्भर करता है। लेखक नोट करते हैं कि पूर्ण MELL तक विस्तार करने के लिए उन तकनीकी बाधाओं को पार करना आवश्यक है जो गैर-शैलो प्रूफ (जैसे, नेस्टेड बॉक्स) के लिए विफल हो जाती हैं।

5. महत्व (Significance)

प्रूफ थ्योरी और बीजगणितीय ज्यामिति का मिलन: यह कार्य लीनियर लॉजिक के संरचनात्मक नियमों और बीजगणितीय ज्यामिति के मॉडुलि स्पेस (moduli spaces) के बीच एक गहरा, गैर-तुच्छ संबंध स्थापित करता है। यह सुझाव देता है कि "जियोमेट्री ऑफ इंटरैक्शन" को सबस्कीम्स के पैरामीटराइजेशन के माध्यम से साकार किया जा सकता है।
एक्सपोनेंशियल्स के लिए नए अर्थ विज्ञान (Semantics): एक्सपोनेंशियल को हिलबर्ट स्कीम के रूप में व्याख्यायित करके, यह शोध पत्र एक नया दृष्टिकोण प्रदान करता है, जो इसे केवल एक कोफ्री को-अल्जेब्रा के रूप में नहीं, बल्कि प्रमाणों के मॉडुलि स्पेस के रूप में देखता है।
भविष्य की दिशाएँ:
- सामान्यीकरण: लेखक ने नेस्टेड बॉक्स को संभालने के लिए एक अधिक सामान्य हिलबर्ट स्कीम का उपयोग करके पूर्ण MELL तक विस्तार करने का प्रस्ताव दिया है।
- अन्य मॉडलों के साथ संबंध: यह पेपर मैट्रिक्स फैक्टराइजेशन और क्वांटम एरर करेक्शन कोड्स से जुड़े MELL मॉडलों के साथ संबंध की जांच करने का सुझाव देता है।
- वर्गीकरण: यह वैध प्रमाणों से विशिष्ट हिलबर्ट फंक्शन्स के वर्गीकरण के प्रश्न को खोलता है, जिससे नए शुद्धता मानदंड (correctness criteria) मिल सकते हैं।

संक्षेप में, यह शोध पत्र लीनियर लॉजिक के एक महत्वपूर्ण खंड के लिए सफलतापूर्वक एक ज्यामितीय मॉडल का निर्माण करता है, यह प्रदर्शित करते हुए कि एक्सपोनेंशियल के जटिल संरचनात्मक नियमों को हिलबर्ट स्कीम की ज्यामिति के माध्यम से निष्ठापूर्वक कैप्चर किया जा सकता है, जिससे प्रूफ-थ्योरेटिक रिडक्शन और बीजगणितीय ज्यामितीय इनवेरिएंस को एकीकृत किया जा सके।