🔢 mathematics

Multiplicative functions additive on partitions of $2k$ nonzero squares

यह शोध पत्र $2k$ गैर-शून्य वर्गों के योगों के विभाजनों पर एक विशिष्ट योगात्मक गुण को संतुष्ट करने वाले गुणात्मक फलनों $f$ को अभिलक्षणित करता है, यह सिद्ध करते हुए कि $k=3$ और $k=4$ के लिए ऐसे फलन (दिया गया है कि $f(2)\neq 0$ ) तत्समक हैं, जबकि $k \ge 5$ के लिए वे या तो तत्समक हैं या सभी पर्याप्त बड़े पूर्णांकों के लिए शून्य हो जाते हैं।

मूल लेखक: Jewel Mahajan

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

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

CC BY 4.0

मूल लेखक: Jewel Mahajan

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

कल्पना कीजिए कि आपके पास संख्याओं के लिए एक जादुई नियम पुस्तिका है जिसे गुणनात्मक फलन (Multiplicative Functions) कहा जाता है। इस दुनिया में, एक विशेष नियम है: यदि आप दो ऐसी संख्याएँ लेते हैं जिनमें कोई भी सामान्य गुणनखंड (factors) नहीं होता (जैसे 3 और 5), तो उनके गुणनफल का "जादुई मान" (magic value) उनके व्यक्तिगत जादुई मानों के गुणनफल के बराबर होता है।

अब, एक दूसरा नियम कल्पना करें: योगात्मकता (Additivity)। यह नियम कहता है कि यदि आप बहुत सारी संख्याओं को एक साथ जोड़ते हैं, तो कुल योग का जादुई मान उसके हिस्सों के जादुई मानों के योग के बराबर होता है।

आमतौर पर, एक फलन (function) एक ही समय में "गुणनात्मक" और "योगात्मक" दोनों नहीं हो सकता, जब तक कि वह सबसे उबाऊ, अनुमानित फलन न हो: तत्समक फलन (Identity Function)। यह वह फलन है जो बस कहता है, "मैं वही हूँ जो संख्या आप मुझे देते हैं।" (तो, $f(5) = 5$ , $f(100) = 100$ )।

पहेली: वर्गों का योग (Sums of Squares)

ज्वेल महाजन का शोध पत्र एक विशिष्ट, पेचीदा संस्करण की जांच करता है।

सोचिए कि संख्याओं को लेगो ब्रिक्स (Lego bricks) से बनाया गया है। इस विशिष्ट खेल में, केवल गैर-शून्य वर्ग (nonzero squares) (जैसे $1^2=1$ , $2^2=4$ , $3^2=9$ , आदि) ही एकमात्र अनुमत ईंटें हैं।

एक "जोड़ा" (pair) वर्गों का योग है (जैसे $1+4=5$ या $4+9=13$ )।
लेखक पूछते हैं: यदि आप इन ईंटों को $k$ जोड़ों में समूहबद्ध करते हैं, तो क्या होगा?

नियम जिसका परीक्षण किया जा रहा है वह है:

यदि आप वर्गों के $k$ जोड़ों को आपस में जोड़ते हैं, तो क्या बड़े कुल योग का जादुic मान $k$ जोड़ों के जादुic मानों के योग के बराबर होता है?

गणितीय रूप से, यह कुछ ऐसा दिखता है:
$f(\text{जोड़ों का योग}) = f(\text{जोड़ा}_1) + f(\text{जोड़ा}_2) + \dots + f(\text{जोड़ा}_k)$

तीन परिदृश्य (Three Scenarios)

शोध पत्र इस बात की जांच करता है कि जब हम जोड़ों की संख्या ( $k$ ) बदलते हैं तो क्या होता है।

1. "छोटा समूह" समस्या ( $k = 3$ और $k = 4$ )

जब आपके पास 3 या 4 वर्गों के जोड़े होते हैं, तो शोध पत्र सिद्ध करता है कि यदि फलन "टूटा हुआ" नहीं है (विशेष रूप से, यदि संख्या 2 का जादुic मान शून्य नहीं है), तो फलन अनिवार्य रूप से तत्समक फलन (Identity Function) ही होगा।

उपमा: कल्पना कीजिए कि आप 3 या 4 विशिष्ट प्रकार के ब्लॉकों के साथ एक मीनार बनाने की कोशिश कर रहे हैं। लेखक दिखाते हैं कि इन सख्त नियमों के तहत मीनार को स्थिर रखने का एकमात्र तरीका यह है कि हर एक ब्लॉक बिल्कुल वैसा ही हो जैसा वह दिखता है। यहाँ कोई "चालाकी वाले" ब्लॉक (trick blocks) मान्य नहीं हैं।
कैच (Catch): यदि संख्या 2 का जादुic मान शून्य है, तो फलन एक "भूतिया" (ghost) फलन हो सकता है जो सब कुछ शून्य में बदल देता है (1 को छोड़कर)। लेकिन शोध पत्र यह मान लेता है कि हम भूतों के साथ नहीं खेल रहे हैं, इसलिए उत्तर हमेशा है: यह तत्समक फलन है।

2. "बड़ा समूह" समस्या ( $k \ge 5$ )

जब आप वर्गों के जोड़ों की संख्या बढ़ाकर 5 या उससे अधिक कर देते हैं, तो नियम थोड़े अधिक लचीले हो जाते हैं, लेकिन परिणाम अभी भी बहुत सख्त है।

शोध पत्र सिद्ध करता है कि इन बड़े समूहों के लिए, फलन को दो में से एक तरीके से व्यवहार करना होगा:

तत्समक (Identity): यह प्रत्येक संख्या के लिए सामान्य रूप से कार्य करता है ( $f(n) = n$ )।
"धुंधला होना" (Fade-Out): यह छोटी संख्याओं के लिए सामान्य रूप से कार्य करता है, लेकिन जैसे ही संख्याएँ बड़ी होती हैं (विशेष रूप से, $2k + 21$ से बड़ी), फलन हार मान लेता है और सब कुछ शून्य (zero) में बदल देता है।

उपमा: एक मशीन की कल्पना करें जो संख्याओं को प्रोसेस करती है। यदि आप उसमें 5 या अधिक वर्गों के जोड़े डालते हैं, तो मशीन या तो हमेशा के लिए पूरी तरह से काम करती है, या वह कुछ समय के लिए काम करती है और फिर अचानक बंद हो जाती है, और उसके बाद आने वाली हर चीज़ के लिए "0" आउटपुट देती है। यह बीच में कुछ भी नहीं कर सकती।

जोड़ों की संख्या क्यों मायने रखती है?

लेखक समझाते हैं कि $k=4$ और $k=5$ के बीच का अंतर इस बात पर निर्भर करता है कि आप कितनी संख्याएँ बना सकते हैं।

$k=2$ के लिए (2 जोड़े): आप हर संख्या नहीं बना सकते। यहाँ बड़े अंतराल (gaps) हैं (जैसे वे संख्याएँ जिन्हें 4 वर्गों से बनाना असंभव है)। यह पहेली को बहुत अव्यवस्थित बना देता है और "अजीब" अपवादों की अनुमति देता है।
$k=3$ और $k=4$ के लिए: आप लगभग हर संख्या बना सकते हैं। अंतराल बहुत छोटे और सीमित हैं। यह फलन को तत्समक फलन बनने के लिए मजबूर करता है।
$k \ge 5$ के लिए: आप एक निश्चित बिंदु के बाद हर संख्या बना सकते हैं। विकल्पों की यह प्रचुरता फलन को या तो तत्समक होने या बड़ी संख्याओं के लिए शून्य में ढह जाने के लिए मजबूर करती है।

निष्कर्ष (The Bottom Line)

यह शोध पत्र इस गणितीय पहेली को हल करता है कि वर्गों के योगों पर गुणन और योग के नियमों को मिलाने पर संख्याएँ कैसे व्यवहार करती हैं।

यदि आपके पास 3 या 4 जोड़े हैं: फलन अनिवार्य रूप से तत्समक फलन ही होगा (जब तक कि यह एक तुच्छ शून्य फलन न हो)।
यदि आपके पास 5 या अधिक जोड़े हैं: फलन या तो तत्समक होगा, या यह बड़ी संख्याओं के लिए एक "शून्य मशीन" बन जाएगा।

लेखक अनिवार्य रूप से कहते हैं: "वर्ग-संख्याओं के योगों की इस विशिष्ट दुनिया में, कोई बीच का रास्ता नहीं है। या तो आप नियमों का पूरी तरह से पालन करते हैं, या आप पूरी तरह से हार मान लेते हैं।"

तकनीकी सारांश: $2k$ गैर-शून्य वर्गों के विभाजन पर योगात्मक गुणधर्म रखने वाले गुणात्मक फलन

समस्या विवरण
यह शोध पत्र उन गुणात्मक फलनों $f: \mathbb{N} \to \mathbb{C}$ के वर्गीकरण की जांच करता है जो $2k$ गैर-शून्य वर्गों के पूर्णांकों के विभाजन पर एक विशिष्ट योगात्मक स्थिति को संतुष्ट करते हैं। विशेष रूप से, एक निश्चित पूर्णांक $k \ge 3$ के लिए, यह अध्ययन उन फलनों पर केंद्रित है जो निम्नलिखित को संतुष्ट करते हैं:
$f\left( \sum_{i=1}^{2k} x_i^2 \right) = \sum_{j=1}^{k} f(x_{2j-1}^2 + x_{2j}^2)$
सभी धनात्मक पूर्णांकों $x_1, \dots, x_{2k}$ के लिए।

इस समस्या को पार्क [10] के एक परिणाम के उच्च-क्रम एनालॉग (higher-order analogue) के रूप में प्रस्तुत किया गया है, जिसने $k=2$ (वर्गों के दो युग्मों का योग) के मामले को संबोधित किया था। यह स्थिति इस बात के समतुल्य है कि $f$ , $E_2$ पर $k$ -योगात्मक है, जहाँ $E_2 = \{a^2 + b^2 : a, b \ge 1\}$ दो गैर-शून्य वर्गों के योगों का समुच्चय है। केंद्रीय प्रश्न यह है कि क्या ऐसे फलन पहचान फलन (identity function, $f(n)=n$ ) होने के लिए बाध्य हैं या क्या गैर-तुच्छ अपवाद समाधान मौजूद हैं।

कार्यप्रणाली
विश्लेषण $f$ के गुणात्मक गुण और $2k$ गैर-शून्य वर्गों के रूप में पूर्णांकों की निरूपणीयता (representability) के बीच अंतर्संबंध पर आधारित है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

निरूपणीयता परिणाम: प्रमाण डबौइस के प्रमेय [4] का उपयोग करते हैं जो $m$ गैर-शून्य वर्गों के योग के रूप में पूर्णांकों के निरूपण से संबंधित है। छोटे $k$ और बड़े $k$ के बीच एक महत्वपूर्ण अंतर बनाया गया है:
- $k=2$ के लिए, $2k$ वर्गों के योगों का समुच्चय अनंत अंकगणितीय प्रगति (जैसे, $\{2 \cdot 4^r, 6 \cdot 4^r, \dots\}$ ) को बाहर करता है, जिससे विश्लेषण जटिल हो जाता है।
- $k \ge 3$ के लिए, $2k$ गैर-शून्य वर्गों के योग के रूप में पूर्णांकों का समुच्चय एक विशिष्ट सीमा (threshold) के बाद सभी पूर्णांकों को समाहित करता है (विशेष रूप से, $k=3$ के लिए $n \ge 20$ और $k=4$ के लिए $n \ge 22$ )। यह "लगभग सभी" (almost all) वाला गुण सशक्त आगमन (induction) तर्कों की अनुमति देता है।
आधार मामला मूल्यांकन (Base Case Evaluation): विशिष्ट मानों $k$ के लिए, लेखक $E_2$ के तत्वों में संख्याओं के विशिष्ट विखंडन (decompositions) बनाकर $f$ का मूल्यांकन करते हैं। एक ही पूर्णांक के विभिन्न विखंडनों की तुलना करके (उदाहरण के लिए, $18 = 2+8+8$ बनाम $18 = 2+2+14$ ), वे $f(2), f(3), f(5)$ , आदि से संबंधित समीकरणों की प्रणालियाँ प्राप्त करते हैं। गैर-क्षय (non-degeneracy) की स्थिति $f(2) \neq 0$ शून्य फलन (जहाँ $n>1$ के लिए $f(n)=0$ ) को खारिज करने के लिए आवश्यक है।
आगमन और अनंतस्पर्शी तर्क (Inductive and Asymptotic Arguments):
- $k=3, 4$ के लिए: लेखक सशक्त आगमन (strong induction) का उपयोग करते हैं। एक बार जब पूर्णांकों के एक प्रारंभिक खंड के लिए $f(n)=n$ स्थापित हो जाता है, तो $E_2$ के $k$ तत्वों के योग के रूप में किसी भी पूर्णांक $N$ को $N$ से कम सभी तत्वों के रूप में लिखा जा सकता है। $k$ -योगात्मकता की स्थिति $f(N)=N$ को अनिवार्य करती है।
- $k \ge 5$ के लिए: दृष्टिकोण क्रमिक पूर्णांकों $N$ और $N+1$ के विशिष्ट विखंडनों का विश्लेषण करने की ओर स्थानांतरित हो जाता है (इस तथ्य का उपयोग करते हुए कि $12=2+10$ और $13=5+8$ $E_2+E_2$ में हैं)। इससे यह सिद्ध होता है कि पर्याप्त बड़े $N$ के लिए $f(N+1) - f(N)$ स्थिर हो जाता है। यह दर्शाता कि $f(n)$ अंततः रैखिक ($f(n) = cn+d $) है। बड़े अभाज्य संख्याओं पर गुणात्मकता की बाधाएं गुणांकों$ (c,d) $को या तो$ (1,0)$ (identity) या $(0,0)$ (zero function) होने के लिए मजबूर करती हैं।

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

प्रमेय 1.1 ( $k=3, 4$ ): यदि $f$ एक गुणात्मक फलन है जो $k \in \{3, 4\}$ के लिए शर्त को संतुष्ट करता है और $f(2) \neq 0$ है, तो $f(n) = n$ सभी धनात्मक पूर्णांक $n$ के लिए। शोध पत्र सिद्ध करता है कि अद्वितीयता में एकमात्र बाधा $f(2)$ का शून्य होना है, जो तुच्छ शून्य समाधान की अनुमति देता है।
प्रमेय 1.2 ( $k \ge 5$ ): यदि $f$ गुणात्मक है और $k \ge 5$ के लिए शर्त को संतुष्ट करता है, तो $f$ या तो $\mathbb{N}$ पर पहचान फलन होगा, या $f(n) = 0$ सभी $n > 2k + 21$ के लिए।
उपप्रमेय 5.1: यदि $k \ge 5$ के लिए कोई $a > 2k + 21$ मौजूद है ऐसा कि $f(a) \neq 0$ , तो $f$ पूरे $\mathbb{N}$ पर पहचान फलन है।

महत्व और दावे

शोध पत्र दावा करता है कि यह गुणात्मक फलनों के लिए योगात्मक अद्वितीयता समुच्चयों (additive uniqueness sets) के दायरे का विस्तार करता है। जबकि पिछले कार्य (पार्क [10]) ने स्थापित किया था कि दो गैर-शून्य वर्गों के योग विशिष्ट अपवादों के साथ 2-योगात्मक अद्वितीयता सेट बनाते हैं, यह कार्य प्रदर्शित करता है कि उच्च $k$ के लिए, $2k$ गैर-शून्य वर्गों के योगों का समुच्चय हल्के गैर-क्षय (non-degeneracy) की स्थितियों के तहत एक $k$ -योगात्मक अद्वितीयता सेट के रूप में कार्य करता है।

लेखक रेखांकित करते हैं कि $k=2$ से $k \ge 3$ तक का संक्रमण निरूपणीयता की संरचनात्मक परिवर्तन द्वारा संचालित है: $2k$ गैर-शून्य वर्गों के योगों के रूप में पूर्णांकों का समुच्चय $k \ge 3$ के लिए सह-परिमित (co-finite - अर्थात, परिमित को छोड़कर शेष सभी पूर्णांकों को समाहित करना) हो जाता है। यह गुण वर्गीकरण को सरल बनाता है, जिससे लेखक यह सिद्ध कर पाते हैं कि $k=3,4$ के लिए पहचान फलन एकमात्र गैर-तुच्छ समाधान है, और $k \ge 5$ के लिए समाधान या तो शून्य या पहचान फलन के रूप में समाप्त हो जाते हैं।

शोध पत्र नोट करता कि प्रमेय 1.2 में $k=5$ का थ्रेशोल्ड प्रयुक्त विशिष्ट विधि के लिए सटीक (sharp) है, क्योंकि प्रमाण इस तथ्य पर निर्भर करता है कि $2(k-2)$ गैर-शून्य वर्गों का योगसेट (sumset) सभी लेकिन सीमित पूर्णांकों को समाहित करता है, एक ऐसा गुण जो डबौइस के प्रमेय के कारण $k=4$ के लिए विफल हो जाता है।

पहेली: वर्गों का योग (Sums of Squares)

तीन परिदृश्य (Three Scenarios)

1. "छोटा समूह" समस्या (k=3k = 3k=3 और k=4k = 4k=4)

2. "बड़ा समूह" समस्या (k≥5k \ge 5k≥5)

जोड़ों की संख्या क्यों मायने रखती है?

निष्कर्ष (The Bottom Line)

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

1. "छोटा समूह" समस्या ( $k = 3$ और $k = 4$ )

2. "बड़ा समूह" समस्या ( $k \ge 5$ )