On a conjecture of Goldmakher

तकनीकी सारांश: गोल्डमेकर के एक अनुमान पर

समस्या विवरण
यह शोधपत्र 2009 में गोल्डमेकर द्वारा प्रस्तावित एक अनुमान (conjecture) को संबोधित करता है, जो 1-बद्ध (1-bounded), पूर्णतः गुणनात्मक फलनों (completely multiplicative functions) के लघुगणकीय औसत आंशिक योगों (logarithmically averaged partial sums) के व्यवहार से संबंधित है। मान लीजिए कि $\mathcal{F}$ ऐसे फलनों $f: \mathbb{N} \to \mathbb{C}$ का संग्रह है जहाँ $|f(n)| \le 1$ है। $f \in \mathcal{F}$ के लिए, लघुगणकीय आंशिक योग को $L_f(x) = \sum_{n \le x} f(n)/n$ के रूप में परिभाषित किया गया है।

गोल्डमेकर का अनुमान यह दावा करता है कि $L_f(x)$ का परिमाण, स्थिर फलन $1$से$f$ की "प्रिटेंशियस दूरी" (pretentious distance) द्वारा नियंत्रित होता है। विशेष रूप से, यह दावा करता है कि किसी भी $1 \le y \le x$ के लिए:
$$\sum_{n \le x, p|n \implies p \le y} \frac{f(n)}{n} \ll 1 + (\log y) e^{-D(f, 1; y)^2},$$
जहाँ $D(f, g; z) = \left( \sum_{p \le z} \frac{1 - \text{Re}(f(p)\overline{g(p)})}{p} \right)^{1/2}$ है।

नैतिक रूप से, यह अनुमान बताता है कि $L_f(x)$ केवल तभी बड़ा (या असीमित) हो सकता है जब $f$, स्थिर फलन $1$ का "दिखावा" (pretend) करता हो (अर्थात, $D(f, 1; x)^2$ धीरे-धीरे बढ़ता हो)। यह साधारण आंशिक योगों के विपरीत है, जहाँ बड़े मान तब ज्ञात होते हैं जब $f$, किसी $t \in \mathbb{R}$ के लिए $n^{it}$ का दिखावा करता है। जबकि ग्रैनविले और साउंडरारजन के पिछले कार्यों ने घातांक के $1/2$ के साथ एक कमजोर सीमा स्थापित की थी, और बाद में ग्रैनविल और लेखक के कार्यों ने कुछ निर्माणों के लिए $\lambda \approx 0.8221$ के इष्टतम घातांक के साथ एक सीमा दिखाई थी, गोल्डमेकर के अनुमान का विशिष्ट रूप (घातांक $1$ के साथ) अभी भी निराधार सिद्ध नहीं हुआ था।

कार्यप्रणाली
शोधपत्र $L_f(x)$ और डिरिचलेट श्रेणी $L(s, f) = \sum f(n)n^{-s}$ के बीच संबंध का विश्लेषण करके एक प्रति-उदाहरण (counterexample) का निर्माण करता है। मुख्य रणनीति के निम्नलिखित चरण शामिल हैं:

1. पेरॉन का सूत्र और शिखर विश्लेषण (Perron's Formula and Peak Analysis): लेखक आंशिक योगों को रेखा $\sigma = 1 + 1/\log x$ के पास फलन $L(\sigma + it, f)\zeta(\sigma + it)$ के व्यवहार से जोड़ते हैं। गोल्डमेकर का अनुमान अंतर्निहित रूप से यह मानता है कि समाकलन (integral) में प्रमुख योगदान $t=0$ पर शिखर (peak) से आता है (जो $f$ के $1$ होने के दिखावे के अनुरूप है)।
2. एक "प्रतिस्पर्धी" शिखर का निर्माण: लेखक एक विशिष्ट फलन $f$ का निर्माण करते हैं जिसे एक गैर-शून्य आवृत्ति $t = \xi$ (जहाँ $\xi \to 0$ जब $x \to \infty$) पर प्रमुख शिखर बनाने के लिए डिज़ाइन किया गया है। यह $f(p)$ को अभाजों पर इस प्रकार परिभाषित करके प्राप्त किया जाता है कि लघुगणकीय अवकलज (logarithmic derivative) का वास्तविक भाग $\sigma$ के बजाय $\sigma + i\xi$ पर अनुकूलित (optimized) हो।
3. प्रति-उदाहरण फलन को परिभाषित करना: एक बड़े पैमाने $x$ के लिए, लेखक एक पैरामीटर $\xi = (\log x)^{-\alpha}$ चुनते हैं और $\cos(\xi \log p)$ और $\sin(\xi \log p)$ के मानों के आधार पर $f(p) = R(p) + iI(p)$को परिभाषित करते हैं। वास्तविक भाग$R(p)$को विशिष्ट अंतरालों में$\cos(\xi \log p)$से थोड़ा कम चुना जाता है ताकि यह सुनिश्चित हो सके कि$\sum_{p \le x} \text{Re}((1-f(p))(1-p^{-i\xi}))/p$ऋणात्मक है, जिससे$|L(\sigma + i\xi, f)|$, $|L(\sigma, f)$ की तुलना में काफी बड़ा हो जाता है।
4. असमानता व्युत्पत्ति: निर्माण यह सुनिश्चित करता है कि:
   $$|L(\sigma + i\xi, f)\zeta(\sigma + i\xi)| \gg (\sigma - 1)^{-c} |L(\sigma, f)\zeta(\sigma)|$$
   किसी स्थिरांक $c > 0$ के लिए यह अतिरिक्त कारक $(\sigma - 1)^{-c}$ महत्वपूर्ण है, क्योंकि यह शिखर को $\xi$ पर प्रभावी होने देता है, जिससे आंशिक योगों के अनुमानित सीमा का उल्लंघन होता है।
5. आगमनात्मक पैचिंग (Inductive Patching): यह सिद्ध करने के लिए कि एक एकल फलन $f$ अनंत बार उल्लंघन करता है (केवल एक पैमाने पर नहीं), लेखक एक आगमनात्मक तर्क का उपयोग करते हैं। वे फलनों की एक श्रृंखला $f_k$ और पैमाने $x_k^*$ का निर्माण करते हैं, जहाँ प्रत्येक $f_{k+1}$ एक निश्चित बिंदु तक $f_k$ के साथ सहमत होता है लेकिन बड़े अभाजों के लिए एक नया उल्लंघन बनाने के लिए संशोधित किया जाता है।

मुख्य परिणाम
शोधपत्र दो मुख्य प्रमेय स्थापित करता है:

• प्रमेय 1.3 (परिमित पैमाने का प्रति-उदाहरण): किसी भी स्थिरांक $C > 0$ के लिए, एक दहलीज $x_0(C)$ मौजूद है जिससे, प्रत्येक $x \ge x_0(C)$ के लिए, एक फलन $f \in \mathcal{F}$ मौजूद है जो संतुष्ट करता है:
  $$L_f(x) \ge C \left( 1 + (\log x) e^{-D(f, 1; x)^2} \right).$$
  यह दर्शाता है कि पर्याप्त बड़े पैमानों पर गोल्डमेकर के अनुमान की सीमा किसी भी निश्चित स्थिरांक $C$ के लिए विफल हो जाती है।

• प्रमेय 1.2 (वैश्विक प्रति-उदाहरण): एक एकल फलन $f \in \mathcal{F}$ मौजूद है जो:
  $$\limsup_{x \to \infty} \frac{|L_f(x)|}{1 + (\log x) e^{-D(f, 1; x)^2}} = \infty.$$
  यह निश्चित रूप से गोल्डमेकर के अनुमान को गलत सिद्ध करता है।

महत्व
यह शोधपत्र गुणनात्मक फलनों के सिद्धांत में एक विशिष्ट खुले प्रश्न को हल करता है, यह दिखाकर कि लघुगणकीय आंशिक योगों के आकार को केवल स्थिर फलन $1$से प्रिटेंशियस दूरी के घातांक$1$ के साथ सीमित नहीं किया जा सकता है।

लेखक नोट करते हैं कि जबकि पिछले परिणाम (जैसे ग्रैनविले और लेखक द्वारा) यह सुझाव देते थे कि अनुमान $\lambda \approx 0.8221$ के इष्टतम घातांक के कारण गलत हो सकता है, वे विशिष्ट प्रति-उदाहरण $L_f(x) \ll 1$ को संतुष्ट करते थे और इस प्रकार सीधे अनुमान को गलत सिद्ध नहीं करते थे। इस कार्य का महत्व एक ऐसा फलन निर्मित करने में निहित है जहाँ लघुगणकीय योग वास्तव में अनुमानित सीमा के सापेक्ष असीमित होते हैं, यह प्रदर्शित करते हुए कि $n^{i\xi}$ के लिए "दिखावा" करना (जहाँ $\xi$ छोटा है) वास्तव में लघुगणकीय योगों को मनमाना बड़ा बना सकता है, भले ही $1$ से दूरी बड़ी हो।

यह कार्य अंकगणित के मानक उपकरणों, जिनमें मेर्टेंस का प्रमेय (Mertens' theorem), पेरॉन का सूत्र और हैलबर्टम-रिकर्ट सीमाएं (Halberstam-Richert bounds) शामिल हैं, पर निर्भर करता है, लेकिन लघुगणकीय आंशिक योगों के व्यवहार को मानक प्रिटेंशियस दूरी ह्यूरिस्टिक से अलग करने के लिए उन्हें एक नवीन निर्माण में लागू करता है।