🔢 mathematics

Quasipolynomial density bounds for $K$ -point configurations in $\mathbb{Z}^d$

यह शोध पत्र एक गैर-अपभ्रंश (nondegenerate) $(K-1)$ -simplex की गैर-तुच्छ समान प्रतियों (nontrivial similar copies) से बचने वाले $\mathbb{Z}^d$ के उपसमुच्चयों के लिए एक अर्ध-बहुपद घनत्व सीमा (quasipolynomial density bound) स्थापित करता है, जो एक नवीन "कट ऑपरेटर" तकनीक के साथ वृत्त विधि (circle method) को संयोजित करने वाले एक नए घनत्व वृद्धि तर्क (density increment argument) का उपयोग करके द्विघात रूपों (quadratic forms) को विसंयोजित (decouple) करता है और पिछले पॉलीलॉगैरिद्मिक परिणामों में महत्वपूर्ण सुधार करता है।

मूल लेखक: Andrew Lott, Ákos Magyar, Nagendar Reddy Ponagandla

प्रकाशित 2026-09-14

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

CC BY 4.0

मूल लेखक: Andrew Lott, Ákos Magyar, Nagendar Reddy Ponagandla

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

गणित के विशाल, ग्रिड-नुमा परिदृश्य में, एक मौलिक प्रश्न यह है कि जब आप पर्याप्त बिंदुओं से एक स्थान को भरते हैं तो पैटर्न कैसे उभरते हैं। कल्पना कीजिए कि एक चेकरबोर्ड हर दिशा में फैलता जा रहा है, जो पूर्ण संख्याओं के ग्रिड का प्रतिनिधित्व करता है। यदि आप इस ग्रिड के एक बड़े हिस्से का चयन करते हैं, तो आपके चुने हुए बिंदुओं के बीच कुछ निश्चित आकृतियाँ उभरना सुनिश्चित है, चाहे आप उन्हें रोकने की कितनी भी कोशिश करें। यह 'एडिटिव कॉम्बिनेटरिक्स' (additive combinatorics) नामक एक क्षेत्र का केंद्र है, जो यह अध्ययन करता है कि कैसे संरचनाएँ संख्याओं के बड़े संग्रहों में स्वयं को प्रकट करती हैं। दशकों से, गणितज्ञ जानते हैं कि यदि बिंदुओं का एक सेट पर्याप्त घना है, तो उसमें विशिष्ट ज्यामितीय व्यवस्थाएँ, जैसे कि एक शुरुआती आकार के बड़े या घूमे हुए संस्करण (त्रिभुज या वर्ग), अवश्य मौजूद होंगी। हालाँकि, जबकि इन पैटर्नों का अस्तित्व बहुत पहले ही सिद्ध हो गया था, उन्हें सुनिश्चित करने के लिए आवश्यक घनत्व की सटीक मात्रा एक रहस्य बनी रही। घनत्व के लिए गणितीय अनुमान अविश्वसनीय रूप से कमजोर थे, जिससे यह संकेत मिलता था कि पैटर्न दिखने के लिए आपको लगभग पूरे ग्रिड को भरना पड़ सकता है, जिससे जो सत्य ज्ञात था और जिसे व्यावहारिक रूप से गणना की जा सकती थी, उसके बीच एक बड़ा अंतर रह गया था।

शोधकर्ताओं की एक टीम ने अब इस अंतर को पाट दिया है। उन्होंने एक विशिष्ट प्रकार के ज्यामितीय पैटर्न पर ध्यान केंद्रित किया: बिंदुओं का एक संग्रह जो एक 'सिम्प्लेक्स' (simplex) नामक आकृति के कोनों का निर्माण करते हैं, जो त्रिभुज या टेट्राहेड्रोन का बहु-आयामी संस्करण है। प्रश्न सरल था लेकिन उत्तर देना कठिन था: यदि आपके पास एक निश्चित आकार का ग्रिड है, तो आपको कितने बिंदु चुनने होंगे ताकि कम से कम बिंदुओं का एक समूह एक विशिष्ट, पूर्व-निर्धारित त्रिभुज के समान आकार बना सके? शोधकर्ताओं ने सिद्ध किया कि आवश्यक बिंदुओं की संख्या पहले की तुलना में बहुत कम है। एक ऐसे घनत्व की आवश्यकता के बजाय जो केवल लघुगणक (logarithm) के एक छोटे से अंश तक घटता है, उन्होंने दिखाया कि आवश्यक घनत्व बहुत तेजी से गिरता है, जो एक वक्र का अनुसरण करता है जिसमें लघुगणक का वर्गमूल शामिल है। इसका अर्थ यह है कि पैटर्न घने सेटों में पहले के सिद्धांतों की तुलना में बहुत अधिक आसानी से दिखाई देते हैं, जो उच्च-आयामी स्थानों में अराजकता से व्यवस्था कैसे उत्पन्न होती है, इसकी हमारी समझ को परिष्कृत करता है।

यह कार्य 'सर्कल मेथड' (circle method) नामक एक विधि पर आधारित है, जो संख्या सिद्धांत (number theory) में एक शक्तिशाली उपकरण है जो एक कठिन गणना समस्या को दो भागों में तोड़ देता है: एक मुख्य भाग जो अपेक्षित व्यवहार को पकड़ता है और एक छोटा, अधिक अराजक भाग जिसे नियंत्रित किया जाना चाहिए। इस अध्ययन में, शोधकर्ताओं ने इस पद्धति को एक ग्रिड में एक विशिष्ट आकार कितनी बार आता है, इसकी गणना करने के लिए लागू किया। उन्होंने महसूस किया कि आकार के बिंदुओं के बीच की दूरियों का वर्णन करने वाले समीकरण एक साथ संभालने के लिए बहुत जटिल थे। इसे हल करने के लिए, उन्होंने एक नई तकनीक पेश की जिसे वे "कट ऑपरेटर" (cut operator) कहते हैं। कल्पना कीजिए कि बिंदुओं के ग्रिड को कनेक्शन के एक बड़े, उलझे हुए जाल के रूप में देखा जा रहा है। शोधकर्ताओं ने इस जाल को दो हिस्सों में काटने का एक तरीका खोजा, जिसमें स्लाइस (slice) को पार करने वाले कनेक्शनों का अलग से विश्लेषण किया गया और प्रत्येक आधे हिस्से के भीतर रहने वाले कनेक्शनों का अलग से विश्लेषण किया गया। इन पार होने वाले कनेक्शनों को एक गणितीय ऑपरेटर के रूप में मानकर, वे समस्या को प्रबंधनीय टुकड़ों में अलग करने में सक्षम हुए। इसने बिंदुओं के बीच की जटिल अंतःक्रियाओं को अलग करने (decouple) की अनुमति दी, जिससे एक एकल, भारी गणना को छोटी, समाधान योग्य चरणों की श्रृंखला में बदल दिया गया।

इस नए दृष्टिकोण का उपयोग करते हुए, ग्राफ थ्योरी और संख्याओं की ज्यामिति के विचारों के साथ मिलकर, टीम ने आकार की उपस्थिति को सुनिश्चित करने के लिए आवश्यक घनत्व के लिए एक सटीक सीमा (bound) प्राप्त की। उनका प्रमाण दिखाता है कि एक ग्रिड के लिए जिसमें पर्याप्त उच्च संख्या में आयाम हैं—विशेष रूप से, आकार के कोनों की संख्या के चार गुना प्लस चार—बिंदुओं का घनत्व जो पैटर्न की गारंटी देता है, पहले की तुलना में बहुत कम है। यह एक 'क्वासिपोलिनोमियल बाउंड' (quasipolynomial bound) है, जो एक ऐसी वृद्धि दर का वर्णन करता है जो एक साधारण बहुपद (polynomial) से तेज़ लेकिन घातांकीय (exponential) से धीमी है। यह सुधार पर्याप्त है; यह एक पिछले अनुमान को बदल देता है जो बहुत धीमी, पॉलिकिलॉगैरिद्मिक (polylogarithmic) गिरावट पर निर्भर था, और एक बहुत अधिक सटीक सीमा प्रदान करता है। शोधकर्ताओं ने यह भी प्रदर्शित किया कि यह परिणाम न केवल पूर्णांक ग्रिड पर, बल्कि वास्तविक संख्याओं की निरंतर दुनिया पर भी लागू होता है, यह दिखाते हुए कि अंतरिक्ष के किसी भी पर्याप्त बड़े क्षेत्र में समान पैटर्न अवश्य दिखाई देंगे, बशर्ते वह क्षेत्र पर्याप्त घना हो।

यह शोध पत्र स्पष्ट रूप से इस संभावना को खारिज करता है कि पिछले, कमजोर सीमाएं सबसे अच्छा संभव परिणाम थीं। उन घातांकीय योगों (exponential sums) का विश्लेषण करने का एक अधिक कुशल तरीका बनाकर जो पैटर्न का वर्णन करते हैं, लेखकों ने दिखाया कि पहले के अनुमान सटीक नहीं थे। उन्होंने केवल यह सुझाव नहीं दिया कि एक बेहतर सीमा मौजूद हो सकती है; उन्होंने एक कठोर प्रमाण प्रदान किया कि नया, अधिक सटीक बाउंड सही है। इस परिणाम के प्रति आत्मविश्वास पूर्ण है क्योंकि यह स्थापित सिद्धांतों और 'कट ऑपरेटर' विधि के एक नवीन लेकिन तार्किक रूप से सुदृढ़ अनुप्रयोग पर निर्भर करता है। यह सिमुलेशन या सन्निकटन (approximations) पर निर्भर नहीं है, बल्कि एक पूर्ण, निगमित (deductive) प्रमाण है। यह स्थापित करता है कि इन ज्यामितीय पैटर्नों को खोजने की दहलीज पहले की तुलना में बहुत कम है, जो इन विन्यासों की सैद्धांतिक समझ को उस स्तर के करीब लाती है जैसा कि अंतर्ज्ञान सुझाव देता है।

इस खोज के अन्य गणितीय क्षेत्रों में तत्काल निहितार्थ हैं। उदाहरण के लिए, यह अभाज्य संख्याओं (prime numbers) के सेटों के लिए परिणाम के एक मजबूत संस्करण की ओर ले जाता है, यह दिखाते हुए कि अभाज्य संख्याओं के घने उपसमुच्चयों में इस प्रकार के पैटर्न पहले की तुलना में बहुत पहले दिखाई देंगे। यह निरंतर स्थान में इन आकृतियों के व्यवहार की एक स्पष्ट तस्वीर भी प्रदान करता है, जो पूर्णांकों की विविक्त (discrete) दुनिया और ज्यामिति की सुचारू (smooth) दुनिया के बीच एक सेतु बनाता है। शोधकर्ताओं ने यह दावा नहीं किया कि उन्होंने इस क्षेत्र की प्रत्येक समस्या को हल कर लिया है; उन्होंने उल्लेख किया कि अधिक जटिल विन्यास, जैसे कि एक आकार के साथ उसका केंद्र बिंदु, अभी भी खुले प्रश्न बने हुए हैं। हालांकि, कट ऑपरेटर पेश करके और इस मौलिक समस्या पर इसे सफलतापूर्वक लागू करके, उन्होंने एक नया उपकरण प्रदान किया है जिसका उपयोग भविष्य में और भी जटिल पैटर्नों को हल करने के लिए किया जा सकता है। यह कार्य विभिन्न गणितीय विषयों को मिलाने की शक्ति के प्रमाण के रूप में खड़ा है, जो अमूर्त संख्याओं की सतह के नीचे सत्य की एक गहरी और अधिक सटीक परत को प्रकट करता है।

तकनीकी सारांश: $\mathbb{Z}^d$ में K-बिंदु विन्यासों के लिए क्वासीपॉलीनोमियल घनत्व सीमाएँ (Quasipolynomial Density Bounds)

समस्या विवरण
यह शोध पत्र पूर्णांक जालक (integer lattice) $\mathbb{Z}^d$ के सघन उपसमुच्चयों (dense subsets) के भीतर एक निश्चित गैर-अपभ्रंश (nondegenerate) $(K-1)$ -सिम्प्लेक्स $\Delta$ की समान प्रतियों (similar copies) के अस्तित्व से संबंधित एक मात्रात्मक समस्या को संबोधित करता है। जबकि फर्स्टेनबर्ग और काटज़नीलोस के बहुआयामी शेमरेडी प्रमेय द्वारा धनात्मक ऊपरी बानाच घनत्व (upper Banach density) वाले सेटों में ऐसी विन्यासों का गुणात्मक अस्तित्व सुनिश्चित है, आवश्यक घनत्व और परिवेशी सेट $[N]^d$ के आकार के बीच की मात्रात्मक निर्भरता एक चुनौतीपूर्ण खुला प्रश्न बना हुआ है।

विशेष रूप से, लेखक एक ऐसे उपसमुच्चय $A \subseteq [N]^d$ के आकार को सीमित करने का प्रयास करते हैं जिसमें $\Delta$ की कोई गैर-तुच्छ समान प्रति (nontrivial similar copy) नहीं है। एक सेट $\Delta' \subset \mathbb{Z}^d$ , $\Delta = \{v_0, \dots, v_{K-1}\}$ की एक समान प्रति तब है यदि एक स्केलिंग कारक $t > 0$ मौजूद है जिससे सभी युग्मों के लिए $|x_i - x_j|^2 = t|v_i - v_j|^2$ हो। पूर्ववर्ती मात्रात्मक परिणाम किसी भी सिम्प्लेक्स के लिए पॉलीलॉगैरिद्मिक सीमाओं (जैसे, $|A| \ll N^d (\log N)^{-c}$ ) तक सीमित थे, जो कॉर्नर्स या अंकगणितीय प्रगति (arithmetic progressions) जैसे विशिष्ट विन्यासों के लिए ज्ञात क्वासीपॉलीनोमियल सीमाओं की तुलना में काफी कमजोर हैं।

कार्यप्रणाली
प्रमाण एक डेंसिटी इंक्रीमेंट रणनीति (density increment strategy) को हार्डी-लिटिलवुड सर्कल मेथड (Hardy-Littlewood circle method) के साथ संयोजित करती है। मुख्य नवाचार सिम्प्लेक्स को परिभाषित करने वाले द्विघात रूपों (quadratic forms) से जुड़े भारित घातीय योगों (weighted exponential sums) को अलग करने के लिए एक "कट ऑपरेटर" (cut operator) तकनीक का परिचय देना है।

गिनती रूप और घनत्व वृद्धि (Counting Form and Density Increment):
लेखक समान प्रतियों का पता लगाने के लिए एक भारित गिनती रूप $\Lambda_N$ को परिभाषित करते हैं। यदि एक सेट $\Delta$ -मुक्त है, तो $\Lambda_N(1_A, \dots, 1_A) = 0$ होता है। $1_A = \alpha 1_{[N]^d} + g$ (जहाँ $\alpha$ घनत्व है और $g$ संतुलित फलन है) के अपघटन द्वारा, लेखक गिनती रूप के संतुलित फलन के योगदान के लिए एक निचला आलेख (lower bound) प्राप्त करते हैं। लक्ष्य यह दिखाना है कि यदि सेट $\Delta$ -मुक्त है, तो घनत्व एक उप-प्रगति (sub-progression) पर बढ़ जाएगा, जिससे एक विरोधाभास उत्पन्न होगा जब तक कि प्रारंभिक सेट छोटा न हो।
सर्कल मेथड अपघटन (Circle Method Decomposition):
गिनती रूप को टॉरस $\mathbb{T}^L$ पर एक समाकलन (integral) के रूप में व्यक्त किया जाता है (जहाँ $L = \binom{K}{2}$ सिम्प्लेक्स के किनारों की संख्या है)। इस समाकलन को मेजर आर्क्स (major arcs) (छोटे हर वाले परिमेय बिंदुओं के पास) और माइनर आर्क्स (minor arcs) (शेष भाग) में विभाजित किया जाता है।
- मेजर आर्क्स: ये मुख्य पद (main term) में योगदान देते हैं, जो $A$ की अंकगणितीय प्रगति पर घनत्व के बारे में संयोजन संबंधी जानकारी बनाए रखते हैं।
- माइनर आर्क्स: इन्हें नगण्य दिखाया जाना चाहिए। इसके लिए द्विघाती चरण (quadratic phase) से जुड़े घातीय योग $S_\beta$ को बांधना आवश्यक है।
कट ऑपरेटर न्यूनीकरण (The Cut Operator Reduction):
एक केंद्रीय तकनीकी योगदान सिम्प्लेक्स के शीर्ष सेट को दो संतुलित सेटों $S$ और $T$ (एक "कट") में विभाजित करके घातीय योग $S_\beta$ का न्यूनीकरण है। चरण फलन (phase function) को $S$ पर निर्भर पदों, $T$ पर निर्भर पदों, और $S$ एवं $T$ को जोड़ने वाले एक "क्रॉसिंग" पद में विघटित किया जाता है। क्रॉसिंग टर्म को $\ell^2$ स्पेस के बीच कार्य करने वाले एक रैखिक ऑपरेटर (कट ऑपरेटर) के कर्नेल के रूप में माना जाता है। लेखक सिद्ध करते हैं कि घातीय योग का परिमाण इस कट ऑपरेटर के ऑपरेटर नॉर्म द्वारा नियंत्रित होता है।
- टेन्सरइजेशन (Tensorization): $d$ -आयामी कट ऑपरेटर को एक आयामी कट ऑपरेटर के $d$ -गुना टेन्सर उत्पाद के रूप में दिखाया गया है।
- नॉर्म न्यूनीकरण (Norm Reduction): ऑपरेटर नॉर्म को आगे एकल-किनारे वाले मैट्रिक्स $K_R(\theta)$ के नॉर्म तक कम किया जाता है, जिससे समस्या का विश्लेषण स्केलर अनुमानों के माध्यम से किया जा सके।
विश्लेषणात्मक अनुमान (Analytic Estimates):
- माइनर आर्क्स: लेखक कट ऑपरेटर के पॉइंटवाइज बाउंड्स स्थापित करने के लिए एनालिटिक लार्ज सीव (analytic large sieve) का उपयोग करते हैं जब आवृत्तियाँ (frequencies) तर्कसंगतों से दूर होती हैं। इन पॉइंटवाइज बाउंड्स को फिनर के फ्रैक्शनल हॉल्डर असमानता (Finner's fractional form of Hölder's inequality) के उच्च-मोमेंट अनुमान के साथ जोड़ा जाता है।
- उच्च-मोमेंट अनुमान (High-Moment Estimate): उच्च-मोमेंट बाउंड का प्रमाण एक विशिष्ट मैट्रिक्स समीकरण $UV^T = 0$ के समाधानों को गिनने पर आधारित है जिसमें सीमित पूर्णांक प्रविष्टियाँ हैं। यह गणना $\mathbb{Z}^{K+1}$ में प्रिमिटिव 2-स्टेप लैटिस फ्लैग्स (primitive 2-step lattice flags) की गणना तक कम हो जाती है। लेखक आवश्यक ऊपरी सीमा प्राप्त करने के लिए किम के मीन वैल्यू फॉर्मूला (Kim's mean value formula) को लागू करते हैं, जो एक रैखिक आयाम थ्रेशोल्ड ( $d \ge 4K+4$ ) बनाए रखने के लिए महत्वपूर्ण है।
- मेजर आर्क्स: विश्लेषण में परिमित क्षेत्रों (finite fields) पर पूर्ण योगों का अनुमान लगाना और असतत कट ऑपरेटरों के ऑपरेटर नॉर्म को बांधना शामिल है। यह एक प्रगति पर घनत्व वृद्धि की ओर ले जाता जिसका सामान्य अंतर $q$ है।

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

क्वासीपॉलीनोमियल बाउंड (Quasipolynomial Bound): मुख्य परिणाम (थ्योरम 1.1) स्थापित करता है कि $d \ge 4K + 4$ के लिए, किसी भी $A \subseteq [N]^d$ उपसमुच्चय में, जो एक निश्चित गैर-अपभ्रंश पूर्णांक $(K-1)$ -सिम्प्लेक्स की कोई गैर-तुच्छ समान प्रति नहीं रखता है, निम्नलिखित गुण होता है:
$|A| \ll_{\Delta, d} N^d \exp\left(-c_{\Delta, d} \sqrt{\log N}\right)$
यह मायर (Magyar) के पॉलीलॉगैरिद्मिक बाउंड $|A| \ll N^d (\log N)^{-c}$ में सुधार करता है।
डायमेंशन थ्रेशोल्ड (Dimension Threshold): यह परिणाम $d \ge 4K + 4$ आयामों के लिए मान्य है। लेखक उल्लेख करते हैं कि समान समान कॉपियों को पैरामीटराइज करने के लिए हुरविट्ज़-राडॉन मैट्रिसेस (Hurwitz-Radon matrices) का उपयोग करने वाले पिछले दृष्टिकोणों को समान बाउंड प्राप्त करने के लिए घातांकीय रूप से बड़े आयामों ( $d \sim \exp(\Omega(K))$ ) की आवश्यकता होगी, जबकि उनकी विधि आयाम थ्रेशोल्ड को $K$ के रैखिक में रखती है।
उप-परिणाम (Corollaries):
- प्राइम लैटिस (Prime Lattice): परिणाम प्राइम लैटिस $(P \cap [N])^d$ के उपसमुच्चयों के लिए समान क्वासीपॉलीनोमियल बाउंड को दर्शाता है।
- यूक्लिडियन सेटिंग (Euclidean Setting): यह परिणाम $[0, 1]^d$ में मापने योग्य सेटों के लिए एक मात्रात्मक कथन में अनुवादित होता है, जो एक स्केलिंग कारक $\lambda \ge \exp(-C(1+\log(1/\alpha))^2)$ के साथ एक समान प्रति के अस्तित्व की गारंटी देता है।
पद्धतिगत नवाचार (Methodological Innovation): यह शोध पत्र "कट ऑपरेटर" पद्धति को पेश करता है, जो सिम्प्लेक्स द्वारा वर्णित द्विघाती रूपों को अलग (decouple) करती है। यह तकनीक, संख्या सिद्धांत की ज्यामिति (lattice flags) और फ्रैक्शनल हॉल्डर असमानताओं के साथ मिलकर, पारंपरिक सर्कल मेथड दृष्टिकोणों की तुलना में सिंगुलर समीकरण प्रणाली को अधिक कुशलता से संभालने की अनुमति देती है।

महत्व और दावे

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

इसका महत्व इस बात में निहित है कि यह उच्च-आयामी जालकों में सामान्य ज्यामितीय विन्यासों के लिए गुणात्मक अस्तित्व प्रमेयों और मात्रात्मक सीमाओं के बीच के अंतर को पाटता है। लेखक सुझाव देते हैं कि कट-ऑपरेटर विधि उनके केंद्रक (barycenters) वाले सिम्प्लेक्स जैसे अधिक जटिल विन्यासों के लिए मात्रात्मक परिणामों के लिए एक मार्ग प्रदान कर सकती है, हालांकि वे इसे भविष्य के कार्य के लिए एक दिशा के रूप में छोड़ देते हैं। वे स्पष्ट रूप से कहते हैं कि जबकि उनकी विधि $N$ पर निर्भरता में सुधार करती है, यह अभी तक मैट्रिक्स प्रोग्रेशन के लिए अनुमानित इष्टतम सीमाओं तक नहीं पहुँचती है, और और अधिक सुधार के लिए एक बहुआयामी स्थानीयकृत घनत्व-वृद्धि तर्क (multidimensional localized density-increment argument) अभी भी आवश्यक होगा।

तकनीकी सारांश: Zd\mathbb{Z}^dZd में K-बिंदु विन्यासों के लिए क्वासीपॉलीनोमियल घनत्व सीमाएँ (Quasipolynomial Density Bounds)

इसी तरह के और पेपर

तकनीकी सारांश: $\mathbb{Z}^d$ में K-बिंदु विन्यासों के लिए क्वासीपॉलीनोमियल घनत्व सीमाएँ (Quasipolynomial Density Bounds)