The Mt.Fuji notation of Y(1,2,4,8,10,8)
Expansion example of Y(1,3,7,11)
Y sequence is a difference sequence system introduced by a Japanese googologist Yukito.[1][2] It is intended to be an extension of hyper primitive sequence system, which is a also an extension of primitive sequence system. Although it had not been formalised for a while, Yukito decided[3] to fix the definition as the one given by an algorithm created by a Japanese Googology Wiki user Naruyoko.[4][5][6] The expression \((1,3)\) in Y sequence is expected to correspond to the limit of Bashicu matrix system version 2.3, and its novel idea has given a new direction in googology. It is still unknown whether the system is terminating or not. Also, it is still unknown whether Y sequence is actually stronger than Bashicu matrix system version 2.3 under the assumption of their terminations.
Explanation[]
An expression in Y sequence, which is also called a Y sequence, is a finite array \(a\) satisfying one of the following three conditions:
- \(a\) is the empty sequence \(()\).
- \(a\) is a non-empty sequence of positive numbers whose leftmost entry is \(1\).
- \(a\) is the sequence \((1,\omega)\).
For example, \((1)\), \((1,2,1,2)\), and \((1,3)\) are Y sequences, while \((0,1)\), \((2)\), or \((1,\omega+1)\) are not Y sequences.
We denote by \(\mathbb{Y}\) the set of Y sequences, and by \(\mathbb{N}_{>0}\) the set of positive integers. We abbrevaiate a pair \((a,n)\) of a Y sequence \(a\) and a positive integer \(n\) to \(a[n]\). The expansion rule is formalised into a well-defined map \begin{eqnarray*} \textrm{Expand} \colon \mathbb{Y} \times \mathbb{N}_{>0} & \to & \mathbb{Y} \times \mathbb{N}_{>0} \\ a[n] & \mapsto & \textrm{Expand}(a[n]) \end{eqnarray*} by Naruyoko.[5] We define a partial computable function \begin{eqnarray*} \textrm{Y} \colon \mathbb{Y} \times \mathbb{N}_{>0} & \to & \mathbb{N} \\ a[n] & \mapsto & \textrm{Y}a[n] \end{eqnarray*} in the following recursive way:
- If \(a = ()\), then \(\textrm{Y}a[n] = n\).
- If \(a\) is a non-empty sequence of positive integers whose leftmost entry is \(1\), then \(\textrm{Y}a[n] = \textrm{Y} \textrm{Expand}(a[n])\).
- If \(a = (1,\omega)\), then \(\textrm{Y}a[n] = \textrm{Y}(1,n)[n]\).
Assume \((1,\omega)[n] \in \textrm{dom}(\textrm{Y})\) for any \(n \in \mathbb{N}_{>0}\). Let \(f\) denote the total computable function \(n \mapsto \textrm{Y}(1,\omega)[n]\).
Yukito named \(f^{2000}(1)\) Y sequence number. Since \((1,3)\) is expected to correspond to the limit of Bashicu matrix system version 2.3, Y sequence number is expected to be significantly greater than Bashicu matrix number with respect to the version. We note that the well-definedness of Bashicu matrix number and Y sequence number is unknown, and the statement does not make sense if either one of them is ill-defined. Also, the expectation has not been justified by a proof even under the assumption of their terminations, and hence is an open problem.
Expansion[]
Before Y sequence was formalised, Yukito has explained expansions for several examples. Here is a list of known expansions of Y sequences originally given by Yukito.
| Y sequence \(a\) | expansion \(\textrm{Expand}(a,-)\) |
|---|---|
| \((1)\) | \(()\) |
| \((1,1)\) | \((1)\) |
| \((1,1,1)\) | \((1,1)\) |
| \((1,1,1,1)\) | \((1,1,1)\) |
| \((1,2)\) | \((1,1,1,1,\ldots)\) |
| \((1,2,1)\) | \((1,2)\) |
| \((1,2,2)\) | \((1,2,1,2,1,2,1,2,\ldots)\) |
| \((1,2,2,2)\) | \((1,2,2,1,2,2,1,2,2,1,2,2,\ldots)\) |
| \((1,2,3)\) | \((1,2,2,2,2,\ldots)\) |
| \((1,2,3,3)\) | \((1,2,3,2,3,2,3,2,3,\ldots)\) |
| \((1,2,4)\) | \((1,2,3,4,5,\ldots)\) |
| \((1,2,4,1)\) | \((1,2,4)\) |
| \((1,2,4,2)\) | \((1,2,4,1,2,4,1,2,4,1,2,4,\ldots)\) |
| \((1,2,4,3)\) | \((1,2,4,2,4,2,4,2,4,\ldots)\) |
| \((1,2,4,4)\) | \((1,2,4,3,5,4,6,5,7,\ldots)\) |
| \((1,2,4,5)\) | \((1,2,4,4,4,4,\ldots)\) |
| \((1,2,4,6)\) | \((1,2,4,5,7,8,10,11,13,\ldots)\) |
| \((1,2,4,7)\) | \((1,2,4,6,8,10,\ldots)\) |
| \((1,2,4,8)\) | \((1,2,4,7,11,16,\ldots)\) |
| \((1,3)\) | \((1,2,4,8,\ldots)\) |
| \((1,3,1)\) | \((1,3)\) |
| \((1,3,2)\) | \((1,3,1,3,1,3,1,3,\ldots)\) |
| \((1,3,3)\) | \((1,3,2,5,4,9,8,17,\ldots)\) |
| \((1,3,4)\) | \((1,3,3,3,3,\ldots)\) |
| \((1,3,5)\) | \((1,3,4,7,11,18,29,47,\ldots)\) |
| \((1,3,6)\) | \((1,3,5,7,9,\ldots)\) |
| \((1,3,7)\) | \((1,3,6,12,24,48,96,192,\ldots)\) |
| \((1,3,8)\) | \((1,3,7,15,31,\ldots)\) |
| \((1,3,9)\) | \((1,3,8,20,48,\ldots)\) |
| \((1,4)\) | \((1,3,9,27,\ldots)\) |
| \((1,5)\) | \((1,4,16,64,\ldots)\) |
| \((1,6)\) | \((1,5,25,125,\ldots)\) |
| \((1,7)\) | \((1,6,36,216,\ldots)\) |
Needless to say, the table does not unqiuely characterise the expansion rule. Indeed, Yukito officially kept the expansions of several Y sequences to be undecided. After a while, Yukito decided to use Naruyoko's algorithm to fix the expansion rule.
Alternative Formalisations[]
Through the original examples of expansions, several googologists tried to find a formal rule (partially or essentially) consistent with them.[7][8][9] The formalisations by others were not regarded as an official defintion of Y sequence, and should be distinguished from the original Y sequence. Sometimes several googologists introduce their formalisation as "the definition of Y sequence" or something like that, it does not mean that they are allowed to express so by Yukito or even that those are compatible with the original explanation by Yukito.
Yukito stated that Y sequence is the name only for the difference sequence system which he himself will complete, and he did not want others to name their own difference sequence systems Y sequence version 1.1 or something like that. Therefore others tend to call their own difference sequence systems distinct names unless they directly ask Yukito permissions.
Mt. Fuji Notation[]
Yukito often use mountain-like notation with the lines as \(\land\) which shows the connections of the differential operations with lines to represent a Y sequence. He call it "Mt. Fuji". Each \(\land\) is called "a mountain". Naruyoko made a web site to draw this Mt. Fuji notations which correspond to the Y sequence input. [10]
(1,2,4,8,10,8) Problem[]
There were several candidates of the expansion of \((1,2,4,8,10,8)\) in the original and alternative formulations of Y-sequence. The expression \((1,2,4,8,10,8)\) was originally intended to be expanded as \((1,2,4,8,10,7,12,15,11,17,21,\ldots)\) up to the beginning of 06/2020, but is currently intended to be expanded as \((1,2,4,8,10,7,12,14,11,17,19,\ldots)\) from the end of 06/2020.
At the beginning of 07/2020, Googology Wiki user Ecl1psed276 stated that Ecl1psed276's alternative formulation and many other alternative formulations in which \((1,2,4,8,10,8)\) is expanded as \((1,2,4,8,10,7,12,15,11,17,21,\ldots)\) have an infinite loop at \((1,2,4,8,10,8)\), and actually Japanese Googology Wiki user Hexirp confirmed that one of Hexirp's alternative formulations has the same infinite loop.[11] Therefore if Yukito had not changed the original intension, then Y-sequence would be non-terminating. Of course, this observation does not have significant meanings, because Yukito had not defined Y-sequence at the day. Indeed, Yukito clarified later that the infinite loop did not occur even in the previous version.
Yukito stated that \((1,3)\) in Y sequence corresponded to the limit of Bashicu matrix system version 2.3 before he changed the expansion of \((1,2,4,8,10,8)\), but the statement seems to be based on the wrong belief that the expansion of Y sequences below \((1,3)\) with respect to the previous version precisely corresponded to that of Bashicu matrix system version 2.3. Therefore the statement that \((1,3)\) in Y sequence with respect to the previous version corresponded to the limit of Bashicu matrix system version 2.3 might not be correct even if it had been formalised.
On the other hand, Eclpsed176 stated on 14/09/2019 that his unformalised notation DMBS reached the limit of Trio sequence system with respect to Bashicu matrix system version 2.3 and the limit of DBMS at the day corresponds to the limit of Y sequence in the previous version, and hence essentially stated that Y sequence in the previous version at least reached the limit of Trio sequence system. Of course, these analyses did not make sense because none of them other than Bashicu matrix system version 2.3 had been formalised.
Y sequences below \((1,3)\) with respect to the current version is also expected to directly correspond to Bashicu matrix system version 2.3 through the comparison of expansions of finitely many examples, but the situation was the same as the previous version until 01/09/2020. In other words, if there would be another example of a Y sequence whose expansion with respect to the current version was not compatible with that of Bashicu matrix system version 2.3, then the expectation that \((1,3)\) in Y sequence with respect to the current version corresponds to the limit of Bashicu matrix system version 2.3 might be declined.
At last, Yukito has fixed the definition by using Naruyoko's algorithm, and hence the (1,2,4,8,10,8) Problem has been solved. The remaining unsolved problem is the termination of Y sequence and the comparison to Bashicu matrix system.
As a Notation of ordinals[]
Although Y sequence is not an ordinal notation system, it is strongly believed that it can "express" ordinals in the way explained in the article of fundamental sequences. Following that Bashicu coined ordinals corresponding to Bashicu matrices, Yukito coined the ordinal corresponding to \((1,\omega)\) in Y sequence as Y Sequence Ordinal or Small Y Sequence Ordinal (SYO). As \((1,3)\) in Y sequence is expected to correspond to the limit of Bashicu matrix system version 2.3, Y sequence Ordinal is expected to be larger than the omega back gear ordinal, which corresponds to \((0,0,0)(1,1,1)(2,2,2)\) in Bashicu matrix system version 2.3, under the assumption of the well-definedness of those ordinals.
References[]
- ↑ The user page of Yukito in the Japanese Googology Wiki.
- ↑ Yukito, Y数列, Google Document.[dead link]
- ↑ Yukito's twitter post
- ↑ The user page of Naruyoko in Googology Wiki.
- ↑ 5.0 5.1 Naruyoko, YNySequence, GitHub page.
- ↑ Naruyoko, YNy_Sequenceの解説的な何か, Japanese Googology Wiki user blog.
- ↑ Hexirp, Y数列 Hexirp 版, Japanese Googology Wiki user blog post.
- ↑ p進大好きbot, New Difference Sequence System, Googology Wiki user blog post.
- ↑ Syst3ms, Bismuth : not Y sequence, but close, Googology Wiki user blog post.
- ↑ Naruyoko, whY mountain
- ↑ Hexirp, (2020-07-03) Y数列 Hexirp 版 2.1 の無限ループ, Japanese Googology Wiki user blog post.
See also[]
By Aeton: Okojo numbers · N-growing hierarchy
By 新井 (Arai): Arai's psi function
By aster: White-aster notation · White-aster
By バシク (BashicuHyudora): Primitive sequence number · Pair sequence number · Bashicu matrix system 1/2/3/4 original idea
By ふぃっしゅ (Fish): Fish numbers (Fish number 1 · Fish number 2 · Fish number 3 · Fish number 4 · Fish number 5 · Fish number 6 · Fish number 7 · S map · SS map · s(n) map · m(n) map · m(m,n) map) · Bashicu matrix system 1/2/3/4 formalisation · TR function (I0 function)
By Gaoji: Weak Buchholz's function
By じぇいそん (Jason): Irrational arrow notation · δOCF · δφ · ε function
By 甘露東風 (Kanrokoti): KumaKuma ψ function
By koteitan: Bashicu matrix system 2.3
By mrna: 段階配列表記 · 降下段階配列表記 · 多変数段階配列表記 · SSAN · S-σ
By Naruyoko Naruyo: Y sequence formalisation · ω-Y sequence formalisation
By Nayuta Ito: N primitive · Flan numbers (Flan number 1 · Flan number 2 · Flan number 3 · Flan number 4 version 3 · Flan number 5 version 3) · Large Number Lying on the Boundary of the Rule of Touhou Large Number 4 · Googology Wiki can have an article with any gibberish if it's assigned to a number
By Okkuu: Extended Weak Buchholz's function
By p進大好きbot: Ordinal notation associated to Extended Weak Buchholz's function · Ordinal notation associated to Extended Buchholz's function · Naruyoko is the great · Large Number Garden Number
By たろう (Taro): Taro's multivariable Ackermann function
By ゆきと (Yukito): Hyper primitive sequence system · Y sequence original idea · YY sequence · Y function · ω-Y sequence original idea
By バシク (BashicuHyudora): Bashicu matrix system as a notation template
By じぇいそん (Jason): Shifting definition
By mrna: Side nesting
By Nayuta Ito and ゆきと (Yukito): Difference sequence system
By ふぃっしゅ (Fish): Ackermann function
By koteitan: Ackermann function · Beklemishev's worms · KumaKuma ψ function
By Mitsuki1729: Ackermann function · Graham's number · Conway's Tetratri · Fish number 1 · Fish number 2 · Laver table
By みずどら: White-aster notation
By Naruyoko Naruyo: p進大好きbot's Translation map for pair sequence system and Buchholz's ordinal notation · KumaKuma ψ function · Naruyoko is the great
By 猫山にゃん太 (Nekoyama Nyanta): Flan number 4 version 3 · Fish number 5 · Laver table
By Okkuu: Fish number 1 · Fish number 2 · Fish number 3 · Fish number 5 · Fish number 6
By rpakr: p進大好きbot's ordinal notation associated to Extended Weak Buchholz's function · Standardness decision algorithm for Taranovsky's ordinal notation
By ふぃっしゅ (Fish): Computing last 100000 digits of mega · Approximation method for FGH using Arrow notation · Translation map for primitive sequence system and Cantor normal form
By Kihara: Proof of an estimation of TREE sequence · Proof of the incomparability of Busy Beaver function and FGH associated to Kleene's \(\mathcal{O}\)
By koteitan: Translation map for primitive sequence system and Cantor normal form
By Naruyoko Naruyo: Translation map for Extended Weak Buchholz's function and Extended Buchholz's function
By Nayuta Ito: Comparison of Steinhaus-Moser Notation and Ampersand Notation
By Okkuu: Verification of みずどら's computation program of White-aster notation
By p進大好きbot: Proof of the termination of Hyper primitive sequence system · Proof of the termination of Pair sequence number · Proof of the termination of segements of TR function in the base theory under the assumption of the \(\Sigma_1\)-soundness and the pointwise well-definedness of \(\textrm{TR}(T,n)\) for the case where \(T\) is the formalisation of the base theory
By 小林銅蟲 (Kobayashi Doom): Sushi Kokuu Hen
By koteitan: Dancing video of a Gijinka of Fukashigi · Dancing video of a Gijinka of 久界 · Storyteller's theotre video reading Large Number Garden Number aloud
See also: Template:Googology in Asia