View source for मार्कोव संख्या

{{distinguish|मार्कोव स्थिरांक|मार्कोव प्रमेय}}[[Image:MarkoffNumberTree.png|thumb|450px|मार्कोव संख्या ट्री का पहला स्तर]]मार्कोव संख्या या मार्कऑफ़ संख्या एक धनात्मक [[पूर्णांक]] ''x'', ''y'' या ''z'' है जो {{harvs|txt|authorlink=एंड्री मार्कोव|first=एंड्री|last=मार्कोव|year1=1879|year2=1880}} द्वारा अध्ययन किए गए मार्कोव [[डायोफैंटाइन समीकरण]]  <math>x^2 + y^2 + z^2 = 3xyz\,</math> के समाधान का भाग है

पहले कुछ मार्कोव संख्या दी गई हैं

:[[1 (संख्या)]], [[2 (संख्या)]], [[5 (संख्या)]], [[13 (संख्या)]], [[29 (संख्या)]], [[34 (संख्या)]], [[89 (संख्या)]], [[169 (संख्या)]], [[194 (संख्या)]], [[233 (संख्या)]] , 433, 610, 985, 1325, ... {{OEIS|id=A002559}}

मार्कोव त्रिक के निर्देशांक के रूप में दिखाई दे रहे हैं

:(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) से जोड़ा जा सकता है।<ref>Cassels (1957) p.28</ref> यदि हम एक उदाहरण के रूप में (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 जैसे कि 2n<sup>2</sup> − 1 [[वर्ग संख्या]] है, {{OEIS2C|id=A001653}}), और 1 के क्षेत्र से सटे क्षेत्रों पर सभी मार्कोव संख्याएँ विषम-अनुक्रमित फाइबोनैचि संख्याएँ ({{OEIS2C|id=A001519}}) है। इस प्रकार, <math>(1, F_{2n-1}, F_{2n+1})\,</math>के रूप में अपरिमित रूप से अनेक मार्कोव त्रिक हैं

जहां ''F<sub>k</sub>'' k<sup>वी</sup> फाइबोनैचि संख्या है। इसी प्रकार, <math>(2, P_{2n-1}, P_{2n+1})\,</math>के रूप में अपरिमित रूप से कई मार्कोव त्रिक हैं

जहां P<sub>''k''</sub> k<sup>वी</sup> पेल संख्या है।<ref>{{OEIS2C|id=A030452}} lists Markov numbers that appear in solutions where one of the other two terms is&nbsp;5.</ref>



'''प्रमाण है कि यह सभी संभव ट्रिपल उत्पन्न करता है'''

किसी हल (x, y, z) से प्रारंभ करें, और मान लें कि तीनों भिन्न हैं। अब द्विघात फलन पर विचार करें

:<math>f(t) = t^2 - t(3xy) + (x^2 + y^2)</math>
ध्यान दें कि z किसी बहुपद का एक मूल है। वीटा जंपिंग द्वारा, दूसरा मूल z' z + z' = 3xy और zz' = x <sup>2</sup> + y <sup>2</sup> को संतुष्ट करता है। इस प्रकार चूंकि z धनात्मक है, z′ भी धनात्मक है, हम देखते हैं कि z′ = 3xy - z एक अन्य समाधान देता हैं।

अब, [[WLOG]], x > y मान लें, फिर लें

:<math>f(x) = 2x^2 + y^2 - 3x^2 y = x^2 ( 2 - 3y ) + y^2</math>
चूँकि y > 0, 2 − 3y ≤ −1, इसलिए f(x) < 0 हैं। चूँकि f(t) ऊपर की ओर उन्मुख [[परवलय]] है, इसका अर्थ min(z, z′&hairsp;) < x < max(z, z'&hairsp;) है।

इसका कारण है कि हम तीन नए समाधान बना सकते हैं: (x, y, 3xy − z), (x, 3xz − y, z), और (3yz − x, y, z) और ये अलग हैं। उपरोक्त हमारी गणना से, तीन नए समाधानों में से एक में (x, y, z) (और अन्य दो बड़े) की तुलना में एक छोटा अधिकतम तत्व होगा।

इस प्रकार हम हर बार अधिकतम तत्व को कम करते हुए इस प्रकार से आगे बढ़ते हैं (जो वीटा जंपिंग का सार है)। चूँकि हम केवल सकारात्मक पूर्णांकों के साथ काम कर रहे हैं, हमें अंततः रुकना चाहिए जिसका अर्थ है कि हम एक ऐसे समाधान तक पहुँचते हैं जिसमें सभी तत्व अलग-अलग नहीं हैं।

इस प्रकार के समाधान पर विचार करना हमारे लिए शेष है। WLOG मान लें कि x = y तो 2x<sup>2</sup> + z<sup>2</sup> = 3x<sup>2</sup>z। इस प्रकार x<sup>2</sup> | z<sup>2</sup> और x | z अत: z = ax लिखिए। तो हम प्राप्त करते हैं

:<math>2x^2 + a^2 x^2 = 3a x^3 \implies 2 + a^2 = 3a x \implies 2 = a(3x - a)</math>
तो हम 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) के अतिरिक्त, प्रत्येक मार्कोव त्रिक में तीन भिन्न पूर्णांक होते हैं।<ref>Cassels (1957) p.27</ref>

एकता [[अनुमान]] बताता है कि किसी दिए गए मार्कोव संख्या सी के लिए, सी के सबसे बड़े तत्व के रूप में सामान्यीकृत समाधान है: इस अनुमान के [[गणितीय प्रमाण]] का प्रमाणित  किया गया है किन्तु कोई भी सही नहीं लगता है।<ref>Guy (2004) p.263</ref>

विषम मार्कोव संख्याएँ 4 के गुणकों से 1 अधिक हैं, जबकि समता (गणित) मार्कोव संख्याएँ 32 के गुणकों से 2 अधिक हैं।<ref>{{cite journal
 | last = Zhang
 | first = Ying
 | title = Congruence and Uniqueness of Certain Markov Numbers
 | journal = [[Acta Arithmetica]]
 | volume = 128
 | issue = 3
 | year = 2007
 | pages = 295–301
 | url = http://journals.impan.gov.pl/aa/Inf/128-3-7.html
 | mr = 2313995
 | doi = 10.4064/aa128-3-7
 | ref = Zhang2007| arxiv = math/0612620
 | bibcode = 2007AcAri.128..295Z
 | s2cid = 9615526
 }}</ref>

अपने 1982 के पेपर में, [[डॉन ज़गियर]] ने अनुमान लगाया कि nवें मार्कोव संख्या विषम रूप से दी गई है
:<math>m_n = \tfrac13 e^{C\sqrt{n}+o(1)} \quad\text{with } C = 2.3523414972 \ldots\,.</math>
त्रुटि <math>(\log(3m_n)/C)^2 - n</math> नीचे प्लॉट किया गया है।

[[File:MarkoffNumberAsymptotics.png|thumb|300px|बड़ी मार्कोव संख्याओं के सन्निकटन में त्रुटि]]इसके अतिरिक्त उन्होंने बताया कि <math>x^2 + y^2 + z^2 = 3xyz + 4/9</math>, मूल डायोफैंटाइन समीकरण का एक सन्निकटन, <math>f(x)+f(y)=f(z)</math> के साथ f(t) = [[ arcosh |आर्कोश]] (3t&hairsp;&hairsp;/&hairsp;2) के बराबर है।<ref>{{cite journal
 | last = Zagier
 | first = Don B.
 | title = On the Number of Markoff Numbers Below a Given Bound
 | journal = [[Mathematics of Computation]]
 | volume = 160
 | year = 1982
 | pages = 709–723
 | doi = 10.2307/2007348
 | mr = 0669663
 | issue = 160
 | jstor = 2007348
 | ref = Zagier1982| doi-access = free
 }}</ref> 1995 में [[अतिशयोक्तिपूर्ण ज्यामिति]] की विधियों का उपयोग करके [[ग्रेग मैकशेन]] और [[इगोर रिविन]] द्वारा अनुमान{{Disputed inline|Status of the asymptotic formula|date=July 2016}} सिद्ध हुआ था।<ref>{{cite journal
 | author1 = Greg McShane
 | author2 = Igor Rivin
 | title = Simple curves on hyperbolic tori
 | journal = Comptes Rendus de l'Académie des Sciences, Série I
 | volume = 320
 | year = 1995
 | number = 12
 | ref = McShane1995}}</ref>
nवें लग्रेंज संख्या की गणना सूत्र के साथ nवीं मार्कोव संख्या से की जा सकती है

:<math>L_n = \sqrt{9 - {4 \over {m_n}^2}}.\,</math>
मार्कोव संख्याएँ वर्गों के जोड़े (गैर-अद्वितीय) का योग हैं।

== मार्कोव का प्रमेय ==
{{harvs|txt|last=मार्कोव|year1=1879|year2=1880}} ने दिखाया कि यदि

:<math>f(x,y) = ax^2+bxy+cy^2</math>
[[वास्तविक संख्या]] गुणांकों और विविक्तकर <math>D = b^2-4ac</math> के साथ एक [[अनिश्चित द्विघात रूप]] [[द्विआधारी द्विघात रूप]] है, तो ऐसे पूर्णांक x, y हैं जिनके लिए f अधिक से अधिक निरपेक्ष मान का शून्येतर मान लेता है

:<math>\frac{\sqrt D}{3}</math>
जब तक कि f एक मार्कोव रूप नहीं है:<ref>Cassels (1957) p.39</ref> एक स्थिर समय है
:<math>px^2+(3p-2a)xy+(b-3a)y^2</math>
ऐसा है कि
:<math>\begin{cases} 0<a<p/2,\\
aq\equiv\pm r\pmod p,\\
 bp-a^2=1,
\end{cases}</math>
जहां (''p'', ''q'', ''r'') एक मार्कोव ट्रिपल है।

== मैट्रिक्स ==
मान लो Tr [[मैट्रिक्स (गणित)]] पर [[ट्रेस (रैखिक बीजगणित)]] फलन को दर्शाता है। यदि X और Y [[विशेष रैखिक समूह]] SL<sub>2</sub>('''ℂ''') में हैं, तो

: Tr(X) Tr(Y) Tr(X⋅Y) + Tr(X⋅Y⋅X<sup>−1</sup>⋅Y<sup>−1</sup>) + 2 = Tr(X)<sup>2</sup> + Tr(Y)<sup>2</sup> + Tr(X⋅Y)<sup>2</sup> जिससे यदि Tr(X⋅Y⋅X<sup>−1</sup>⋅Y<sup>−1</sup>) = −2 तब  Tr(X) Tr(Y) Tr(X⋅Y) = Tr(X)<sup>2</sup> + Tr(Y)<sup>2</sup> + Tr(X⋅Y)<sup>2</sup>

विशेष रूप से यदि X और Y में भी पूर्णांक प्रविष्टियाँ हैं तो Tr(X)/3, Tr(Y)/3, और Tr(X⋅Y)/3 एक मार्कोव ट्रिपल हैं। यदि X⋅Y⋅Z = I तो Tr(X⋅Y) = Tr(Z), तो अधिक सममित रूप से यदि X, Y, और Z SL<sub>2</sub>(ℤ) में X⋅Y⋅Z = I और दो के कम्यूटेटर के साथ हैं उनमें से निशान -2 है, तो उनके निशान/3 एक मार्कोव ट्रिपल हैं।<ref>{{citation
 | last = Aigner | first = Martin 
 | author-link = Martin Aigner
 | contribution = The Cohn tree
 | doi = 10.1007/978-3-319-00888-2_4
 | isbn = 978-3-319-00887-5
 | mr = 3098784
 | pages = 63–77
 | publisher = Springer
 | title = Markov's Theorem and 100 Years of the Uniqueness Conjecture
 | year = 2013}}.</ref>



== यह भी देखें ==
* [[मार्कोव स्पेक्ट्रम]]

== टिप्पणियाँ ==
<references/>


==संदर्भ==
* {{cite book | first=J.W.S. | last=Cassels | authorlink=J. W. S. Cassels | title=An introduction to Diophantine approximation | series=Cambridge Tracts in Mathematics and Mathematical Physics | volume=45 | publisher=[[Cambridge University Press]] | year=1957 | zbl=0077.04801 }}
* {{cite book | first1=Thomas | last1=Cusick | first2=Mari | last2=Flahive | title=The Markoff and Lagrange spectra | series=Math. Surveys and Monographs | volume=30 | publisher=[[American Mathematical Society]] | location=Providence, RI | year=1989 | isbn=0-8218-1531-8 | zbl=0685.10023 }}
* {{cite book|first=Richard K. | last=Guy | authorlink=Richard K. Guy| title=Unsolved Problems in Number Theory| publisher=[[Springer-Verlag]]| year=2004|isbn=0-387-20860-7| zbl=1058.11001 | pages=263–265 }}
* {{eom|id=m/m062540|first=A.V.|last= Malyshev|title=Markov spectrum problem}}
* {{Cite journal | last1=Markoff | first1=A. | title=Sur les formes quadratiques binaires indéfinies | publisher=Springer Berlin / Heidelberg | journal=[[Mathematische Annalen]] | issn=0025-5831 }}
:: {{cite journal | last1=Markoff | first1=A. | authorlink = Andrey Markov|title=First memory| journal=[[Mathematische Annalen]] | year=1879 | doi=10.1007/BF02086269 | volume=15 | pages=381–406 | issue=3–4 | s2cid=179177894 |url=https://gdz.sub.uni-goettingen.de/id/PPN235181684_0015?tify=%7B%22view%22:%22info%22,%22pages%22:%5B393%5D%7D}}<!--- ref=Markoff1879--->
:: {{cite journal | last1=Markoff | first1=A. | authorlink = Andrey Markov|title=Second memory| journal=[[Mathematische Annalen]] | year=1880 | doi=10.1007/BF01446234 | volume=17 | pages=379–399 | issue=3 | s2cid=121616054 |url=https://gdz.sub.uni-goettingen.de/id/PPN235181684_0017?tify=%7B%22view%22:%22info%22,%22pages%22:%5B394%5D%7D}}<!--- ref=Markoff1880--->

[[Category:All accuracy disputes]]
[[Category:Articles with disputed statements from July 2016]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 28/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:डायोफैंटाइन सन्निकटन]]
[[Category:डायोफैंटाइन समीकरण]]
[[Category:फाइबोनैचि संख्या]]