works
Toby Ord and Tien D. Kieu Ω in Number Theory incollection Chaitin’s random real, $\Omega$, serves as a fundamental example of a number that is both recursively enumerable and algorithmically random. While $\Omega$ has previously been expressed through Diophantine equations where bits are determined by the transition between finite and infinite solution sets, an alternative method utilizes equations where the solution count is always finite. In this approach, the binary digits of $\Omega$ are encoded in the fluctuations between odd and even values of the number of solutions. This parity-based representation allows the first $k$ bits of $\Omega$ to be determined by a bounded quantity of solutions, providing a direct link to Hilbert’s Tenth Problem and enabling a bisection search to recover the value of $\Omega$. Furthermore, these results extend to exponential Diophantine equations, which can be simplified into single-parameter families. The methodology also permits the construction of polynomials that express the bits of $\Omega$ through the specific number of positive values they assume. By shifting the representation from the limit of finitude to the property of parity, algorithmic randomness is shown to reside within more restricted and structured number-theoretic properties. – AI-generated abstract.

Ω in Number Theory

Toby Ord and Tien D. Kieu

In Cristian S Calude (ed.) Randomness and Complexity, From Leibniz to Chaitin, Singapore, 2007, pp. 161–173

Abstract

Chaitin’s random real, $\Omega$, serves as a fundamental example of a number that is both recursively enumerable and algorithmically random. While $\Omega$ has previously been expressed through Diophantine equations where bits are determined by the transition between finite and infinite solution sets, an alternative method utilizes equations where the solution count is always finite. In this approach, the binary digits of $\Omega$ are encoded in the fluctuations between odd and even values of the number of solutions. This parity-based representation allows the first $k$ bits of $\Omega$ to be determined by a bounded quantity of solutions, providing a direct link to Hilbert’s Tenth Problem and enabling a bisection search to recover the value of $\Omega$. Furthermore, these results extend to exponential Diophantine equations, which can be simplified into single-parameter families. The methodology also permits the construction of polynomials that express the bits of $\Omega$ through the specific number of positive values they assume. By shifting the representation from the limit of finitude to the property of parity, algorithmic randomness is shown to reside within more restricted and structured number-theoretic properties. – AI-generated abstract.

PDF

First page of PDF