Semiautomatic Ordinal and Ring Structures Qi Ji NUS School of Computing 13th November 2019 Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 1 / 37
Slides https://m4th.b0ss.net/semi/semi.pdf Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 2 / 37
Background Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 3 / 37
Automata theory Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 4 / 37
Finite automata Processes input symbol by symbol with fjnite memory The fjnite memory indicates whether the word as seen so far satisfjes the condition to be checked. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 5 / 37
Check multiple of 3 Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 6 / 37
Automatic relations Encode idea of process tuples in parallel Add a padding symbol # ππππ€(010, 01236) = ( 0 0 )( 1 1 )( 0 2 )( # A function is automatic ifg its graph (encoded this way) is automatic Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 7 / 37 3 )( # 6 )
Verifying addition # # 2 2 13th November 2019 Semiautomatic Ordinal and Ring Structures Qi Ji (NUS School of Computing) i i n n n n n n c n # 1 5 5 2 4 7 0 # 1 1 2 Primary school algorithm 3 3 3 3 2 3 5 8 Incorrect addition Correct addition i β wrong c β carry n β correct and no carry 8 / 37
Automatic structures A structure (π΅, π 1 , β¦ , π π , π 1 , β¦ , π π ) is automatic ifg π΅ is a regular set, Example (β, +) is automatic but (β, +, β ) is not automatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 9 / 37 π 1 , β¦ , π π are automatic functions, π 1 , β¦ , π π are automatic relations.
Semiautomatic structures (π΅, π 1 , β¦ , π π , π 1 , β¦ , π π ; π 1 , β¦ , π π , π 1 , β¦ , π π ) is semiautomatic ifg π΅ is a regular set, relations, semiautomatic relations, resultant π΅ β π΅ function is automatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 10 / 37 π 1 , β¦ , π π are automatic functions and π 1 , β¦ , π π are automatic π 1 , β¦ , π π are semiautomatic functions and π 1 , β¦ , π π are where π βΆ π΅ π β π΅ is semiautomatic ifg fjxing π β 1 inputs, the
Semiautomatic structures Example (β, +, <, =; β ) is not automatic. For any constant π , implement multiplication by π as repeated addition. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 11 / 37
Set theory Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 12 / 37
Ordinals Equivalence classes of well-order, where a well-order (π, <) obeys trichotomy, transitivity and well-foundedness (every nonempty subset has a minimum). Intuitively, measures how many times a discrete process is repeated (possibly transfjnitely many). For example, 0, 1, 2, 3, β¦ , π, π + 1, β¦ , π + π = π β 2, π β 2 + 1, π β 2 + 2, β¦ , π β 2 + π = π β 3, β¦ , π β 4, β¦ , π β π = π 2 , β¦ , π 3 , β¦ , π π , β¦ . One way to generalise sum and products to infjnite structures. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 13 / 37
Ordinals Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 14 / 37
Semiautomatic Ordinal Structures Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 15 / 37
Semiautomatic ordinals with automatic addition Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 16 / 37
Existing characterisation Theorem (DelhommΓ©) For any ordinal π½ the structure (π½, +, <) is automatic ifg π½ < π π . Proof Sketch Consider π½ = π π , any πΎ β π½ is of the form We can defjne + on the π -ary convolution of an automatic copy of (β, +, <) . Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 17 / 37 π πβ1 β π πβ1 + β― + π β π 1 + π 0 for coeffjcients π 0 , β¦ , π πβ1 β β .
Incorporating semiautomaticity Observation. Using the same representation, when πΎ β π½ is fjxed, we can defjne left and right-multiplication by πΎ in an automatic manner. (Addition and multiplication on ordinals are not commutative) Theorem Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 18 / 37 For any ordinal π½ < π π the structure (π½, +, <, =; β ) is semiautomatic.
Left multiplication Let expanding the giant expression, we get β¦ Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 19 / 37 πΎ = π π β π π + π πβ1 β π πβ1 + β― + π β π 1 + π 0 πΏ = π π β π π + π πβ1 β π πβ1 + β― + π β π 1 + π 0 πΎ β πΏ = πΎ β π π β π π + πΎ β π πβ1 β π πβ1 + β― + πΎ β π β π 1 + πΎ β π 0 = π π+π β π π + π π+πβ1 β π πβ1 + β― + π π+1 β π 1 + (π π β (π π β π 0 ) + π πβ1 β π πβ1 + β― + π π 1 + π 0 ) β 1 π 0 β 0 where 1 π 0 β 0 is 1 is π 0 β 0 and 0 otherwise.
Right multiplication Ordinal multiplication distributes on the right, so we get a fjnite composition of right-multiplication by π , right-multiplication by fjxed constants, ordinal addition. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 20 / 37
Right multiplication by π π 4 13th November 2019 Semiautomatic Ordinal and Ring Structures Qi Ji (NUS School of Computing) otherwise 0 π π 2 π 3 21 / 37 β© { { { β¨ { { { β§ = (π 3 β π 3 + π 2 β π 2 + π β π 1 + π 0 ) β π if π 3 > 0 if π 3 = 0, π 2 > 0 if π 3 = 0, π 2 = 0, π 1 > 0 if π 3 = 0, π 2 = 0, π 1 = 0, π 0 > 0
Semiautomatic Ordinal and Ring Structures Qi Ji (NUS School of Computing) 13th November 2019 22 / 37 Semiautomatic ordinals at π π and beyond
Overview Theorems (Jain, Khoussainov, Stephan, Teng and Zou) Let π½ be any countable ordinal, the structure (π π½ ; +, <, =) is semiautomatic. The semiring of polynomials over β (β[π¦]; +, β , =) is semiautomatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 23 / 37
Polynomials over β Fix an semiautomatic copy π΅ of (β, +, <; β ) , add new βconnectivesβ β, β Represent polynomials as lists of coeffjcients from π΅ Represent elements as polynomials with connectives between them Defjne the quotient map π€ππ sending an expression to the canonical representation. π€ππ is not automatic, but for any polynomial π β β[π¦] , there is an automatic fragment of π€ππ that is βgood enoughβ. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 24 / 37 1, 10, 2 β 0, 4 represents the expression (2π¦ 2 + 10π¦ + 1) β (4π¦)
Polynomials over π We need even more connectives β π , β π , β π , β π For arbitrarily large π β β , π + π = π and π β π β π = π β π Refjne error conditions to deal with this Conclusion The structure (π π ; +, <, β , =) is semiautomatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 25 / 37
Semiautomatic Ring Structures Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 26 / 37
Overview Rings are obtained by adding to an Abelian group a notion of multiplication. Theorem (Jain, Khoussainov, Stephan, Teng and Zou) For any π β β the ring (β€(βπ), β€, +, <, =; β ) is semiautomatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 27 / 37
Illustrating square roots β 5 2 denote the golden ratio. Theorem (Jain, Khoussainov, Stephan, Teng and Zou) (β€[π£], +, <, =; β ) is semiautomatic. Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 28 / 37 We illustrate with the simplest case, let π£ = 1 +
The ingredients π¦ + π§π£ = β π π π π£ π but now each |π π | β€ 2 . Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 29 / 37 3 = π£ β2 + π£ 2 for any π¦ + π§π£ β β€[π£] , so update coeffjcients until Tail bound β β πβ€2 π£ π is a geometric series
Recommend
More recommend