On a conjecture of Corradi and Katai

तकनीकी सारांश: कोराडी और काताई के एक अनुमान पर (On a Conjecture of Corrádi and Kátai)

समस्या विवरण (Problem Statement)
यह शोध पत्र लीलियो (Liouville) फलन, $\lambda(n)$ से जुड़े गोल्डबैक-प्रकार के योगों के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) की जांच करता है। जबकि शास्त्रीय गोल्डबैक अनुमान दो अभाज्य संख्याओं के योग के रूप में सम पूर्णांकों के निरूपण से संबंधित है (जो वॉन मांगोल्ड फलन $\Lambda(n)$ से संबंधित है), यह कार्य $\Lambda(n)$ के स्थान पर पूर्णतः गुणनीय (completely multiplicative) लीलियो फलन का उपयोग करता है, जिसे $\lambda(p) = -1$ सभी अभाज्य $p$ के लिए और $\lambda(mn) = \lambda(m)\lambda(n)$ के रूप में परिभाषित किया गया है।

अध्ययन का मुख्य विषय है:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
जहाँ $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$ है। इस योग के लिए तुच्छ सीमा (trivial bound) $|G_k(N)| \ll N^{k-1}$ है। मुख्य लक्ष्य इन योगों में महत्वपूर्ण निरसन (cancellation) प्रदर्शित करने वाले मजबूत अनुमान स्थापित करना है, विशेष रूप से $k=2$ के मामले के लिए, जो कोराडी-काताई अनुमान से संबंधित है।

कार्यप्रणाली (Methodology)
लेखक फूरियर विश्लेषण (Fourier analysis) और घातीय योगों (exponential sums) की तकनीकों का उपयोग करते हैं, विशेष रूप से डैवेनपोर्ट (Davenport) द्वारा लीलियो फलन के संबंध में दिए गए परिणामों का लाभ उठाते हैं।

1. फूरियर विश्लेषण और घातीय योग: शोध पत्र घातीय योग $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$ का उपयोग करता है। मुख्य विश्लेषणात्मक उपकरण डैवेनपोर्ट का प्रमेय है, जो यह बताता है कि $x \in [0, 1]$ के लिए समान रूप से $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$।
2. इंटीग्रल निरूपण (Integral Representations): पार्सवल की पहचान (Parseval's identity) और घातीय योगों के गुणों का उपयोग करते हुए, लेखक $G_k(N)$ को $S(N, x)$ की घातों के समाकल (integrals) से जोड़ते हैं। विशेष रूप से, संबंध $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ का उपयोग विविक्त योगों (discrete sums) को निरंतर $L^2$ और $L^4$ नॉर्म्स के साथ जोड़ने के लिए किया जाता है।
3. आगमनात्मक तर्क (Inductive Arguments): $k \geq 3$ के मामले के लिए, प्रमाण आगमन (induction) द्वारा आगे बढ़ते हैं। आधार मामला ($k=3$), डैवेनपोर्ट के प्रमेय से प्राप्त $G_2(n)$ के $L^2$ औसत का उपयोग करके कोशी-श्वार्ज़ असमानता (Cauchy-Schwarz inequality) पर निर्भर करता है।
4. आंशिक योग (Partial Summation): उन $N$ के सेट के लिए सीमाएँ प्राप्त करने के लिए जहाँ $|G_2(N)|$ बड़ा होता है, लेखक $G_2(n)/n$ के माध्य वर्ग अनुमान (mean square estimate) पर आंशिक योग तकनीकों का उपयोग करते हैं।

मुख्य योगदान और परिणाम (Key Contributions and Results)

• प्रमेय 1 (मामला $k \geq 3$): किसी भी निश्चित पूर्णांक $k \geq 3$ और किसी भी धनात्मक स्थिरांक $A$ के लिए, शोध पत्र सिद्ध करता है:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  यह परिणाम सभी $k \geq 3$ के लिए तुच्छ सीमा $O(N^{k-1})$ पर एक पावर-सेविंग सुधार स्थापित करता है।

• प्रमेय 2 (मामला $k = 2$): शोध पत्र अधिक कठिन मामले $k=2$ को संबोधित करता है। यह $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$ को परिभाषित करता है। मुख्य परिणाम यहाँ एक घनत्व अनुमान (density estimate) है:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  यह दर्शाता है कि वे पूर्णांक जहाँ $|G_2(N)|$, $N$ के एक रैखिक अंश से अधिक है, उनका घनत्व शून्य है। फलस्वरूप, $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$। शोध पत्र नोट करता है कि यह परिणाम कोराडी-काताई अनुमान की सत्यता की पुष्टि करता यदि उस सीमा का अस्तित्व हो जो अनुमान को परिभाषित करती है, लेकिन यह बिना शर्त (unconditionally) सीमा के अस्तित्व को सिद्ध नहीं करता है।

• चिह्न वितरण (Sign Distribution): मुख्य परिणामों के एक उप-परिणाम के रूप में, शोध पत्र $k \geq 3$ के लिए लीलियो फलन के चिह्न पैटर्न के सम-वितरण (equi-distribution) को प्रदर्शित करता है। किसी भी अनुक्रम $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$ के लिए, $a_1 + \dots + a_k = N$ के समाधानों की संख्या जहाँ $\lambda(a_i) = \epsilon_i$ है:
  $$\frac{1}{2^k} \binom{N-1}{k-1} + O_A\left(\frac{N^{k-1}}{\log^A N}\right)$$
  यह इंगित करता है कि चिह्न पैटर्न अपेक्षित आवृत्ति के साथ एक छोटे त्रुटि पद (error term) तक घटित होते हैं।

महत्व और संदर्भ (Significance and Context)
यह शोध पत्र अपने परिणामों को कोराडी-काताई अनुमान (1969) के संदर्भ में स्थापित करता है, जो यह प्रतिपादित करता है कि $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$।

• लेखक नोट करते हैं कि जबकि इस अनुमान को एक उद्धृत कार्य [3] में (अनंत सीगल ज़ीरो (Siegel zeros) की उपस्थिति मानकर) सशर्त रूप से सिद्ध किया गया था, एक बिना शर्त प्रमाण अभी भी अप्राप्य रहा है।
• शोध पत्र मैंगेरेल (Mangerel) के हालिया कार्य को संदर्भित करता है, जिन्होंने सिद्ध किया कि $N \notin \{2, 3, 5, 10\}$ के लिए $|G_2(N)| < N-1$, जो सारनाक (Sarnak) द्वारा पूछे गए एक कमजोर प्रश्न का उत्तर देता है।
• लेखक का योगदान पूर्ण अनुमान के संबंध में मामूली है: प्रमेय 2 यह सिद्ध नहीं करता कि सीमा मौजूद है या प्रत्येक $N$ के लिए शून्य है, बल्कि यह सिद्ध करता है कि $\liminf$ शून्य है और $|G_2(N)|$ के बड़े मान अत्यंत दुर्लभ हैं।
• शोध पत्र यह दावा करता है कि प्रमेय 1 और प्रमेय 3 समकक्ष हैं, यह उजागर करते हुए कि इन योगों में निरसन सीधे लीलियो फलन के चिह्नों के यादृच्छिक-समान (random-like) वितरण से जुड़ा हुआ है।

यह कार्य उच्च-रैंक योगों ($k \geq 3$) के लिए तुच्छ सीमाओं पर एक कठोर बिना शर्त सुधार प्रदान करता है, और $k=2$ के लंबे समय से चले आ रहे मामले के लिए एक आंशिक, घनत्व-आधारित समाधान प्रदान करता है, जो इस धारणा को पुष्ट करता है कि लीलियो फलन योगात्मक परिवेश (additive settings) में यादृच्छिक व्यवहार करता है।