semiautomatic ordinal and ring structures
play

Semiautomatic Ordinal and Ring Structures Qi Ji NUS School of - PowerPoint PPT Presentation

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


  1. 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

  2. Slides https://m4th.b0ss.net/semi/semi.pdf Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 2 / 37

  3. Background Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 3 / 37

  4. Automata theory Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 4 / 37

  5. 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

  6. Check multiple of 3 Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 6 / 37

  7. 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 )

  8. 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

  9. 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.

  10. 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

  11. 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

  12. Set theory Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 12 / 37

  13. 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

  14. Ordinals Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 14 / 37

  15. Semiautomatic Ordinal Structures Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 15 / 37

  16. Semiautomatic ordinals with automatic addition Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 16 / 37

  17. 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 ∈ β„• .

  18. 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.

  19. 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.

  20. 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

  21. 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

  22. Semiautomatic Ordinal and Ring Structures Qi Ji (NUS School of Computing) 13th November 2019 22 / 37 Semiautomatic ordinals at πœ• πœ• and beyond

  23. 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

  24. 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𝑦)

  25. 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

  26. Semiautomatic Ring Structures Qi Ji (NUS School of Computing) Semiautomatic Ordinal and Ring Structures 13th November 2019 26 / 37

  27. 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

  28. 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 +

  29. 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