K-सममित अनुक्रम

गणित और सैद्धांतिक कंप्यूटर विज्ञान में, k-सममित अनुक्रम रैखिक पुनरावृत्ति समीकरणों को संतुष्ट करने वाला अनुक्रम है जो पूर्णांकों के आधार-k निरूपण को परावर्तित करता हैं। k-सममित अनुक्रमों का वर्ग स्वचालित अनुक्रम के वर्ग को अनंत आकार के अक्षरों में सामान्यीकृत करता है|

परिभाषा

k-सममित अनुक्रमों के कई लक्षण उपस्थित हैं, जो सभी समतुल्य हैं। कुछ सामान्य लक्षण इस प्रकार हैं। प्रत्येक के लिए, हम R' को क्रमविनिमेय नोथेरियन वलय के रूप में लेते हैं और हम R को R' युक्त वलय (गणित) के रूप में लेते हैं।

k-कर्नेल

माना k ≥ 2. अनुक्रम का k-कर्नेल $s(n)_{n\geq 0}$ अनुवर्ती का समुच्चय है

$K_{k}(s)=\{s(k^{e}n+r)_{n\geq 0}:e\geq 0{\text{ and }}0\leq r\leq k^{e}-1\}.$

क्रम $s(n)_{n\geq 0}$ (R′, k)-सममित है (प्रायः केवल "k-सममित" तक छोटा किया जाता है) यदि $R'$-के द्वारा उत्पन्न मापांक _k(s) परिमित रूप से उत्पन्न R′-मापांक (गणित) है। विशेष स्थितियों में जब $R'=R=\mathbb {Q}$, क्रम $s(n)_{n\geq 0}$ है $k$-सममित यदि $K_{k}(s)$ परिमित-आयामी सदिश समष्टि $\mathbb {Q}$ में समाहित है।

रैखिक संयोजन

एक अनुक्रम s(n) k-सममित है यदि सभी e के लिए पूर्णांक E उपस्थित है सभी e_j > E और 0 ≤ r_j ≤ k^e_j − 1, s(k) के s^e_jn+r_j) का प्रत्येक अनुवर्ती निर्मित करता हैं R'-रैखिक संयोजन $\sum _{i}c_{ij}s(k^{f_{ij}}n+b_{ij})$ के रूप में व्यक्त किया जा सकता है, जहां c_ij एक पूर्णांक है, f_ij ≤ E, और 0 ≤ b_ij ≤ k^f_ij - 1होता हैं।

वैकल्पिक रूप से, अनुक्रम s(n) k-सममित है यदि कोई पूर्णांक r और अनुवर्ती s₁(n), ..., s_r(n) उपस्थित हैं जैसे की, सभी 1 ≤ i ≤ r और 0 ≤ a ≤ k − 1 के लिए, प्रत्येक अनुक्रम s_i(kn + a) k-कर्नेल K_k(s) अनुवर्ती s_i(n) का R′-रैखिक संयोजन है।

प्रारूपिक श्रेणी

माना x₀, ..., x_k − 1 k अरूपांतरित चर का समुच्चय बनाया और τ को श्रृंखला x_{a0 ... Xae − 1}पर कुछ प्राकृतिक संख्या n भेजने वाला मानचित्र बनाते हैं, जहां x का आधार-k प्रतिनिधित्व श्रृंखला a_e−1...a₀ है। तब एक अनुक्रम s(n) k-सममित होता है यदि और केवल यदि प्रारूपिक श्रेणी $\sum _{n\geq 0}s(n)\tau (n)$ है $\mathbb {Z}$- परिमेय होती हैं।

ऑटोमेटा-सैद्धांतिक

k-सममित अनुक्रम की प्रारूपिक श्रेणी शुट्ज़ेनबर्गर की आव्यूह मशीन के समान ऑटोमेटन लक्षण वर्णन की तरफ ले जाती है।

इतिहास

k-सममित अनुक्रमों की धारणा की जांच सबसे पहले अल्लोचे और शैलिट द्वारा पत्रों की एक जोड़ी में की गई थी। इससे पहले, बर्स्टेल और रयूटेनॉयर ने परिमेय श्रृंखला के सिद्धांत का अध्ययन किया था, जो कि k-नियमित अनुक्रमों से निकटता से संबंधित है।

उदाहरण

रूलर अनुक्रम

माना $s(n)=\nu _{2}(n+1)$ $n+1$ का 2-अभिन्नकल्प मूल्यांकन होता हैं | रूलर अनुक्रम $s(n)_{n\geq 0}=0,1,0,2,0,1,0,3,\dots$ (OEIS: A007814) $2$-सममित, और $2$-कर्नेल है

$\{s(2^{e}n+r)_{n\geq 0}:e\geq 0{\text{ and }}0\leq r\leq 2^{e}-1\}$

द्वारा उत्पन्न द्वि-आयामी सदिश समष्टि में समाहित है $s(n)_{n\geq 0}$ और निरंतर क्रम $1,1,1,\dots$होता हैं। ये आधार अवयव पुनरावृत्ति संबंधों की तरफ ले जाते हैं

${\begin{aligned}s(2n)&=0,\\s(4n+1)&=s(2n+1)-s(n),\\s(4n+3)&=2s(2n+1)-s(n),\end{aligned}}$

जो, प्रारंभिक स्थितियों $s(0)=0$ और $s(1)=1$ के साथ, अनुक्रम को विशिष्ट रूप से निर्धारित ककरता हैं।

थ्यु-मोर्स अनुक्रम

थ्यू-मोर्स अनुक्रम t(n) (OEIS: A010060) रूपवाद 0 → 01, 1 → 10 का निश्चित बिंदु (गणित) है। यह ज्ञात है कि थ्यू-मोर्स अनुक्रम 2-स्वचालित है। इस प्रकार, यह भी 2-सममित है, और इसका भी 2-कर्नेल है

$\{t(2^{e}n+r)_{n\geq 0}:e\geq 0{\text{ and }}0\leq r\leq 2^{e}-1\}$

अनुवर्ती $t(n)_{n\geq 0}$ और $t(2n+1)_{n\geq 0}$ से मिलकर बनता है।

कैंटर संख्या

कैंटर संख्याओं का क्रम c(n) (OEIS: A005823) में वे संख्याएँ सम्मलित होती हैं जिनके टर्नरी अंक प्रणाली विस्तार में कोई 1s नहीं होता है। यह सीधे तरह से दिखाया जा सकता हैं

${\begin{aligned}c(2n)&=3c(n),\\c(2n+1)&=3c(n)+2,\end{aligned}}$

और इसलिए कैंटर संख्याओं का क्रम 2-सममित है। इसी प्रकार स्टेनली अनुक्रम

0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, ... (sequence A005836 in the OEIS)

उन संख्याओं की संख्या जिनके त्रिक विस्तार में कोई 2s नहीं है, वह भी 2-सममित है।

संख्याओं को क्रमबद्ध करना

एल्गोरिदम(कलन विधि) के व्यापक अध्ययन के लिए k-सममितता की धारणा का कुछ अच्छे अनुप्रयोगमर्ज़ सॉर्ट एल्गोरिदम(कलन विधि) के विश्लेषण में पाया जाता है। n मानों की सूची को देखते हुए, मर्ज सॉर्ट एल्गोरिदम(कलन विधि) द्वारा की गई तुलनाओं की संख्या सॉर्टिंग संख्याएं हैं, जो पुनरावृत्ति संबंध द्वारा नियंत्रित होती हैं

${\begin{aligned}T(1)&=0,\\T(n)&=T(\lfloor n/2\rfloor )+T(\lceil n/2\rceil )+n-1,\ n\geq 2.\end{aligned}}$

परिणामस्वरूप, मर्ज सॉर्ट, T(n) के लिए पुनरावृत्ति संबंध द्वारा परिभाषित अनुक्रम, 2-सममित अनुक्रम का गठन करता है।

अन्य अनुक्रम

यदि $f(x)$, एक पूर्णांक-मान बहुपद है तो $f(n)_{n\geq 0}$ प्रत्येक $k\geq 2$ के लिए k-सममित है।

ग्लेशर-गोल्ड अनुक्रम 2-सममित है। स्टर्न-ब्रोकॉट अनुक्रम 2-सममित है।

अल्लोचे और शैलिट अपने पेपर में k-रेगुलर अनुक्रमों के कई अतिरिक्त उदाहरण देते हैं।

गुण

k-नियमित अनुक्रम कई अच्छे गुण प्रदर्शित करते हैं।

• प्रत्येक k-स्वचालित अनुक्रम k-सममित है।
• प्रत्येक k-सिंक्रोनाइज़्ड अनुक्रम k-सममित है।
• k-सममित अनुक्रम सीमित रूप से कई मान लेता है यदि और केवल यदि यह k-स्वचालित है। यह k-नियमित अनुक्रमों के वर्ग का k-स्वचालित अनुक्रमों के वर्ग का सामान्यीकरण होने का तात्कालिक परिणाम है।
• k-सममित अनुक्रमों का वर्ग सिमा रूप से जोड़, सिमा रूप से गुणन और संवलन के अनुसार बंद है। k-नियमित अनुक्रमों का वर्ग भी अनुक्रम के प्रत्येक पद को पूर्णांक λ द्वारा मापने के अनुसार बंद किया जाता है। विशेष रूप से, k-सममित घात श्रृंखला के समुच्चय का वलय बनाता है।
• यदि $s(n)_{n\geq 0}$ k-सममित है, तो सभी पूर्णांकों $m\geq 1$, $(s(n){\bmod {m}})_{n\geq 0}$ के लिए k-स्वचालित है। यद्यपि की, परिवर्तन नहीं हो पता हैं।
  • गुणात्मक रूप से स्वतंत्र k, l ≥ 2 के लिए, यदि कोई अनुक्रम k-सममित और l-सममित दोनों है, तो अनुक्रम रैखिक पुनरावृत्ति को संतुष्ट करता है। यह उन अनुक्रमों के संबंध में कोबम के कारण परिणाम का सामान्यीकरण है जो k-स्वचालित और l-स्वचालित दोनों हैं।
• पूर्णांकों के k-सममित अनुक्रम का nवाँ पद n में अधिकतम बहुपद रूप से बढ़ता है।
• यदि $F$ क्षेत्र है और $x\in F$, फिर घातों का क्रम $(x^{n})_{n\geq 0}$ k-सममित है यदि और केवल यदि $x=0$ या $x$ इकाई के मूल है।

के-सममितता को सिद्ध और असिद्ध करना

एक पदानवेशी अनुक्रम $s=s(n)_{n\geq 0}$ दिया गया हैं इसे k-सममित नहीं माना जाता है, k-सममितता को साधारण तौर पर कर्नेल $s$ के अवयवों की गणना करके सीधे परिभाषा से सिद्ध किया जा सकता है और यह सिद्ध करना कि प्रपत्र के सभी अवयव $(s(k^{r}n+e))_{n\geq 0}$ साथ $r$ पर्याप्त रूप से बड़ा और $0\leq e<2^{r}$ के स्थान पर छोटे घातांक वाले कर्नेल $r$ अवयवों के रैखिक संयोजन के रूप में लिखा जा सकता है। यह साधारण तौर पर अभिकलनीय रूप से स्पस्ट है।

दूसरी ओर, पदानवेशी अनुक्रम की k-सममितता $s$ को अस्वीकार करना करता हैं, साधारण तौर पर $\mathbb {Z}$-के कर्नेल में रैखिक रूप से स्वतंत्र उपसमुच्चय $s$ के उत्पादन करने की आवश्यकता होती है, जो साधारण तौर पर जटिल है। ऐसे प्रमाण का उदाहरण यहां दिया गया है।

माना $e_{0}(n)$ की संख्या $0's$ को बाइनरी विस्तार $n$ में निरूपित करते हैं। माना $e_{1}(n)$ $1's$ की संख्या को बाइनरी विस्तार $n$ में निरूपित करते हैं। क्रम $f(n):=e_{0}(n)-e_{1}(n)$ 2-सममित दिखाया जा सकता है। यद्यपि की क्रम $g=g(n):=|f(n)|$, निम्नलिखित तर्क के अनुसार, 2-सममित नहीं है। कल्पना किया की $(g(n))_{n\geq 0}$ 2-सममित है। हम दावा करते हैं कि अवयव $g(2^{k}n)$ के लिए $n\geq 1$ और $k\geq 0$ के 2-कर्नेल का $g$, $\mathbb {Z}$ पर रैखिक रूप से स्वतंत्र हैं। फलन $n\mapsto e_{0}(n)-e_{1}(n)$ पूर्णांकों पर विशेषण है, तो चलिए $x_{m}$ ऐसा $e_{0}(x_{m})-e_{1}(x_{m})=m$ सबसे छोटा पूर्णांक बनता हैं। 2-सममितता से $(g(n))_{n\geq 0}$, वहां $b\geq 0$ और स्थिरांक $c_{i}$ ऐसा कि प्रत्येक के लिए $n\geq 0$ हैं,

$\sum _{0\leq i\leq b}c_{i}g(2^{i}n)=0.$

माना $a$ जिसके लिए न्यूनतम मान हो $c_{a}\neq 0$. फिर प्रत्येक के लिए $n\geq 0$,

$g(2^{a}n)=\sum _{a+1\leq i\leq b}-(c_{i}/c_{a})g(2^{i}n).$

इस अभिव्यक्ति का मूल्यांकन पर $n=x_{m}$, जहाँ $m=0,-1,1,2,-2$ और इसी तरह क्रमिक रूप से, हम बायीं ओर प्राप्त करते हैं

$g(2^{a}x_{m})=|e_{0}(x_{m})-e_{1}(x_{m})+a|=|m+a|,$

और दाहिनी ओर,

$\sum _{a+1\leq i\leq b}-(c_{i}/c_{a})|m+i|.$

यह प्रत्येक पूर्णांक $m$ के लिए इसका अनुसरण करता है,

$|m+a|=\sum _{a+1\leq i\leq b}-(c_{i}/c_{a})|m+i|.$

लेकिन $m\geq -a-1$ के लिए, समीकरण का दाहिना भाग नगण्य है क्योंकि यह $Am+B$ कुछ स्थिरांक के लिए $A,B$ प्रकार का है, जबकि बाईं ओर नहीं है, जैसा कि क्रमिक रूप $m=-a-1$, $m=-a$, और $m=-a+1$ से प्लग इन करके जांचा जा सकता है इसलिए, $(g(n))_{n\geq 0}$ 2-सममित नहीं है।

संदर्भ

• Allouche, Jean-Paul; Shallit, Jeffrey (1992), "The ring of k-regular sequences", Theoret. Comput. Sci., 98 (2): 163–197, doi:10.1016/0304-3975(92)90001-v.
• Allouche, Jean-Paul; Shallit, Jeffrey (2003), "The ring of k-regular sequences, II", Theoret. Comput. Sci., 307: 3–29, doi:10.1016/s0304-3975(03)00090-2.
• Allouche, Jean-Paul; Shallit, Jeffrey (2003). Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press. ISBN 978-0-521-82332-6. Zbl 1086.11015.