{"id":"arxiv/2608.08655","url":"https://arxiv.org/abs/2608.08655","tags":["math.LO"],"score":0,"title":"Raising to powers on the unit circle","domain":"math.LO","source":"arxiv","authors":["Yilong Zhang"],"reviews":0,"subject":"math.LO","summary":"We study the expansion of the real field by the graphs of power functions on the unit circle. Under a natural number-theoretic conjecture, we prove that adding such dense subsets does not increase the topological complexity of definable sets: every open definable set remains semialgebraic. The proof uses a two-sorted structure that separates the linear and algebraic data, inspired by Zilber's raising to powers. Using Hrushovski's amalgamation method, we construct and axiomatize a class of rich structures, and then show that the intended structure is a model. This provides a new example of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-09","reactions":{}}