मार्कोव संख्या
एक मार्कोव संख्या या मार्कऑफ़ संख्या एक धनात्मक पूर्णांक x, y या z है जो मार्कोव डायोफैंटाइन समीकरण के समाधान का हिस्सा है
द्वारा अध्ययन किया गया एंड्री मार्कोव (1879, 1880).
पहले कुछ मार्कोव नंबर हैं
- 1 (संख्या), 2 (संख्या), 5 (संख्या), 13 (संख्या), 29 (संख्या), 34 (संख्या), 89 (संख्या), 169 (संख्या), 194 (संख्या), 233 (संख्या) , 433, 610, 985, 1325, ... (sequence A002559 in the OEIS)
मार्कोव ट्रिपल्स के निर्देशांक के रूप में दिखाई दे रहे हैं
- (1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), (1, 13, 34), ( 1, 34, 89), (2, 29, 169), (5, 13, 194), (1, 89, 233), (5, 29, 433), (1, 233, 610), (2, 169, 985), (13, 34, 1325), ...
असीम रूप से कई मार्कोव संख्याएँ और मार्कोव त्रिक हैं।
मार्कोव ट्री
पुराने मार्कोव ट्रिपल (x, y, z) से नया मार्कोव ट्रिपल प्राप्त करने के दो सरल तरीके हैं। सबसे पहले, कोई 3 संख्याओं x,y,z को क्रमचयित कर सकता है, इसलिए विशेष रूप से कोई त्रिगुणों को सामान्य कर सकता है ताकि x ≤ y ≤ z। दूसरा, अगर (x, y, z) एक मार्कोव ट्रिपल है तो कूदने की जगह द्वारा ऐसा होता है (x, y, 3xy − z)। इस ऑपरेशन को दो बार लागू करने से वही ट्रिपल एक के साथ शुरू होता है। प्रत्येक सामान्यीकृत मार्कोव ट्रिपल को 1, 2, या 3 सामान्यीकृत ट्रिपल में शामिल करने से कोई भी इससे प्राप्त कर सकता है, जो चित्र में (1,1,1) से शुरू होने वाला एक ग्राफ देता है। यह ग्राफ कनेक्टिविटी (ग्राफ सिद्धांत) है; दूसरे शब्दों में प्रत्येक मार्कोव ट्रिपल से जोड़ा जा सकता है (1,1,1) इन परिचालनों के अनुक्रम द्वारा।[1] अगर हम उदाहरण के तौर पर शुरू करते हैं (1, 5, 13) हमें इसके तीन पड़ोस मिलते हैं (ग्राफ़ सिद्धांत) (5, 13, 194), (1, 13, 34) और (1, 2, 5) मार्कोव ट्री में यदि z क्रमशः 1, 5 और 13 पर सेट है। उदाहरण के लिए, से शुरू करना (1, 1, 2) और ट्रांस्फ़ॉर्म के प्रत्येक पुनरावृत्ति से पहले y और z का व्यापार फाइबोनैचि संख्याओं के साथ मार्कोव ट्रिपल को सूचीबद्ध करता है। उसी ट्रिपलेट से शुरू करना और प्रत्येक पुनरावृत्ति से पहले x और z का व्यापार करना पेल नंबरों के साथ ट्रिपल देता है।
2 के क्षेत्र से सटे क्षेत्रों पर सभी मार्कोव संख्याएँ समता (गणित) -अनुक्रमित पेल संख्याएँ हैं (या संख्याएँ n जैसे कि 2n2 − 1 एक वर्ग संख्या है, OEIS: A001653), और 1 के क्षेत्र से सटे क्षेत्रों पर सभी मार्कोव संख्याएँ विषम-अनुक्रमित फाइबोनैचि संख्याएँ हैं (OEIS: A001519). इस प्रकार, रूप के असीम रूप से कई मार्कोव त्रिक हैं
जहां एफk kth फाइबोनैचि संख्या है। इसी तरह, रूप के असीम रूप से कई मार्कोव त्रिक हैं
जहां पीk kth पेल नंबर है।[2]
== सबूत है कि यह सभी संभव ट्रिपल == उत्पन्न करता है
किसी हल (x, y, z) से प्रारंभ करें, और मान लें कि तीनों भिन्न हैं। अब द्विघात फलन पर विचार करें
ध्यान दें कि z एक बहुपद का एक मूल है। वीटा के कूदने से, दूसरा मूल z' z + z' = 3xy और zz' = x को संतुष्ट करता है 2 + वाई&हेयरस्प;2</सुप>. इस प्रकार चूँकि z धनात्मक है, z' भी धनात्मक है, हम देखते हैं कि z' = 3xy - z एक अन्य हल देता है।
अब, WLOG, x > y मान लें, फिर लें
चूँकि y > 0, 2 − 3y ≤ −1, इसलिए f(x) < 0. चूँकि f(t) एक ऊपर की ओर उन्मुख परवलय है, इसका अर्थ है min(z, z′ ) < x < max(z, z' )।
इसका मतलब है कि हम तीन नए समाधान बना सकते हैं: (x, y, 3xy − z), (x, 3xz − y, z), और (3yz − x, y, z) और ये अलग हैं। उपरोक्त हमारी गणना से, तीन नए समाधानों में से एक में (x, y, z) (और अन्य दो बड़े) की तुलना में एक छोटा अधिकतम तत्व होगा।
इस प्रकार हम इस तरह से आगे बढ़ते हैं, हर बार अधिकतम तत्व को कम करते हैं (जो वीटा जंपिंग का सार है)। चूँकि हम केवल सकारात्मक पूर्णांकों के साथ काम कर रहे हैं, हमें अंततः रुकना चाहिए, जिसका अर्थ है कि हम एक ऐसे समाधान तक पहुँचते हैं जिसमें सभी तत्व अलग-अलग नहीं हैं।
इस तरह के समाधान पर विचार करना हमारे लिए बाकी है। WLOG मान लें x = y, फिर 2x2 + के साथ2 = 3x2</सुप>ज़. इस प्रकार एक्स2 | साथ2 और x | z, इसलिए z = ax लिखिए। तो हम प्राप्त करते हैं
तो हम देखते हैं a|2 इसलिए a = 1 या 2. अगर a = 1 तो हमें (1, 1, 1) मिलता है और अगर a = 2 तो हमें (1, 1, 2) मिलता है। और (1, 1, 2) से हम (x, y, 3xy - z) लेकर (1, 1, 1) प्राप्त करते हैं।
इस प्रकार हम देखते हैं कि एक स्वैच्छिक समाधान से शुरू करके हम अंततः (1, 1, 1) पर आते हैं, और इसलिए ये सभी समाधान हैं।
अन्य गुण
दो सबसे छोटे एकवचन त्रिक (1, 1, 1) और (1, 1, 2) के अलावा, प्रत्येक मार्कोव त्रिक में तीन भिन्न पूर्णांक होते हैं।[3] एकता अनुमान बताता है कि किसी दिए गए मार्कोव नंबर सी के लिए, सी के सबसे बड़े तत्व के रूप में एक सामान्यीकृत समाधान है: इस अनुमान के गणितीय प्रमाण का दावा किया गया है लेकिन कोई भी सही नहीं लगता है।[4] विषम मार्कोव संख्याएँ 4 के गुणकों से 1 अधिक हैं, जबकि समता (गणित) मार्कोव संख्याएँ 32 के गुणकों से 2 अधिक हैं।[5] अपने 1982 के पेपर में, डॉन ज़गियर ने अनुमान लगाया कि nवें मार्कोव संख्या विषम रूप से दी गई है
त्रुटि नीचे प्लॉट किया गया है।
इसके अलावा उन्होंने इस ओर इशारा किया , मूल डायोफैंटाइन समीकरण का एक सन्निकटन, के बराबर है f(t) = arcosh (3t / 2) के साथ।[6] अनुमान सिद्ध हुआ[disputed ] ग्रेग मैकशेन और इगोर रिविन द्वारा 1995 में अतिशयोक्तिपूर्ण ज्यामिति की तकनीकों का उपयोग करते हुए।[7]
nवें लग्रेंज संख्या की गणना सूत्र के साथ nवीं मार्कोव संख्या से की जा सकती है
मार्कोव संख्याएँ वर्गों के जोड़े (गैर-अद्वितीय) का योग हैं।
मार्कोव का प्रमेय
Markoff (1879, 1880) ने दिखाया कि अगर
वास्तविक संख्या गुणांक और द्विघात रूप के विभेदक के साथ एक अनिश्चित द्विघात रूप द्विआधारी द्विघात रूप है , तो ऐसे पूर्णांक x, y हैं जिनके लिए f अधिक से अधिक निरपेक्ष मान का शून्येतर मान लेता है
जब तक f एक मार्कोव रूप नहीं है:[8] एक स्थिर समय एक रूप
ऐसा है कि
जहां (पी, क्यू, आर) एक मार्कोव ट्रिपल है।
मैट्रिक्स
चलो Tr मैट्रिक्स (गणित) पर ट्रेस (रैखिक बीजगणित) फ़ंक्शन को दर्शाता है। यदि X और Y विशेष रैखिक समूह में हैं2(जटिल संख्या|ℂ), फिर
- Tr(X) Tr(Y) Tr(X⋅Y) + Tr(X⋅Y⋅X−1⋅Y−1) + 2 = Tr(X)2 + ट्र(आई)2 + Tr(X⋅Y)2</उप>
ताकि यदि Tr(X⋅Y⋅X−1⋅Y−1) = −2 तब
- Tr(X) Tr(Y) Tr(X⋅Y) = Tr(X)2 + ट्र(आई)2 + Tr(X⋅Y)2</उप>
विशेष रूप से यदि X और Y में भी पूर्णांक प्रविष्टियाँ हैं तो Tr(X)/3, Tr(Y)/3, और Tr(X⋅Y)/3 एक मार्कोव ट्रिपल हैं। यदि X⋅Y⋅Z = पहचान मैट्रिक्स तो Tr(X⋅Y) = Tr(Z), तो अधिक सममित रूप से यदि X, Y, और Z SL में हैं2(पूर्णांक|ℤ) X⋅Y⋅Z = I के साथ और उनमें से दो के Commutator#Group सिद्धांत में ट्रेस -2 है, तो उनके निशान/3 एक मार्कोव ट्रिपल हैं।[9]
यह भी देखें
टिप्पणियाँ
- ↑ Cassels (1957) p.28
- ↑ OEIS: A030452 lists Markov numbers that appear in solutions where one of the other two terms is 5.
- ↑ Cassels (1957) p.27
- ↑ Guy (2004) p.263
- ↑ Zhang, Ying (2007). "Congruence and Uniqueness of Certain Markov Numbers". Acta Arithmetica. 128 (3): 295–301. arXiv:math/0612620. Bibcode:2007AcAri.128..295Z. doi:10.4064/aa128-3-7. MR 2313995. S2CID 9615526.
- ↑ Zagier, Don B. (1982). "On the Number of Markoff Numbers Below a Given Bound". Mathematics of Computation. 160 (160): 709–723. doi:10.2307/2007348. JSTOR 2007348. MR 0669663.
- ↑ Greg McShane; Igor Rivin (1995). "Simple curves on hyperbolic tori". Comptes Rendus de l'Académie des Sciences, Série I. 320 (12).
- ↑ Cassels (1957) p.39
- ↑ Aigner, Martin (2013), "The Cohn tree", Markov's Theorem and 100 Years of the Uniqueness Conjecture, Springer, pp. 63–77, doi:10.1007/978-3-319-00888-2_4, ISBN 978-3-319-00887-5, MR 3098784.
संदर्भ
- Cassels, J.W.S. (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics. Vol. 45. Cambridge University Press. Zbl 0077.04801.
- Cusick, Thomas; Flahive, Mari (1989). The Markoff and Lagrange spectra. Math. Surveys and Monographs. Vol. 30. Providence, RI: American Mathematical Society. ISBN 0-8218-1531-8. Zbl 0685.10023.
- Guy, Richard K. (2004). Unsolved Problems in Number Theory. Springer-Verlag. pp. 263–265. ISBN 0-387-20860-7. Zbl 1058.11001.
- Malyshev, A.V. (2001) [1994], "Markov spectrum problem", Encyclopedia of Mathematics, EMS Press
- Markoff, A. "Sur les formes quadratiques binaires indéfinies". Mathematische Annalen. Springer Berlin / Heidelberg. ISSN 0025-5831.
- Markoff, A. (1879). "First memory". Mathematische Annalen. 15 (3–4): 381–406. doi:10.1007/BF02086269. S2CID 179177894.
- Markoff, A. (1880). "Second memory". Mathematische Annalen. 17 (3): 379–399. doi:10.1007/BF01446234. S2CID 121616054.