{"id":"arxiv/2609.10592","url":"https://arxiv.org/abs/2609.10592","tags":["math.LO","cs.LO"],"score":0,"title":"Tag-system computation using only powers and principal logarithms","domain":"math.LO","source":"arxiv","authors":["Trevor Cappallo"],"reviews":0,"subject":"math.LO","summary":"I show that one exact step of any tag system can be written as a single fixed expression using only powers and logarithms. A tag state is represented as an integer; evaluating the expression yields the integer encoding of the next configuration, and feeding the answer back into the same expression follows the computation step by step. The discrete part of the update comes from leveraging the wraparound in the principal complex logarithm, which effectively serves the same purpose as floor, mod, or sin in comparable approaches. The iterating expressions use only $x^y$ and $\\log_b a$: it turns…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}