Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2608.23281

A deterministic sin^2-type algorithm for complex cubic irrationalities with exact periodicity certificates

Ludovic Tagnon
View original source ↗Read source document ↗Export metadata ↓

Abstract

Hermite asked in 1848 for a representation of real numbers whose eventual periodicity characterizes cubic irrationals. The totally real case was solved by Karpenkov's $\sin^2$-algorithm; the complex case, signature (1,1), is his Problem 4. We study a deterministic algorithm implementing his suggested analytic extension: the score expression is strictly negative on (1,1) data (closed form proved), the most negative score is selected, and exact score ties are resolved by a declared ordering. On a sample of 205 complex cubic polynomials, every run closes projectively with an exact unit certificate, each transition certified by exact comparisons in $\mathbb{Q}(α)$. An exhaustive campaign over the full box $[-3,3]^3$ closes 194/194. Across 457 deformed bases, the terminal cycle is an invariant of the marked lattice. Certified finite transition graphs are computed for four fields; the plastic case is machine-checked in Lean 4, kernel-only. All data ship in a public archive with a portable verifier.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ludovic Tagnon. 2026-08-24. A deterministic sin^2-type algorithm for complex cubic irrationalities with exact periodicity certificates. https://arxiv.org/abs/2608.23281

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT↗
arXiv2026

Transcendence Meets Normality: Construction of Transcendentally Normal Numbers

In this work, we study real numbers $x$ for which $p(x)$ is (absolutely) normal for every non-constant integer-valued polynomial $p$. We call such numbers transcendentally normal. We prove that almost every real number is transcendentally normal and provide an explicit construction of such a number, based on Sierpinski's covering method and novel ideas involving the so-called stretch function. In the next step, we transform this construction into an algorithm that computes the digits of a t-normal number recursively in all integer bases. Moreover, we extend our covering approach to construct and compute LIL-normal numbers whose discrepancies are of the order predicted by the law of the iterated logarithm. We also take the opportunity to discuss several interesting open problems.

math.NT↗