arXiv subjects

Diego Marques

Publications and source records attributed to Diego Marques.

At least 19 recordsLinked to original sources

arXiv2026

Mahler's Problem on Liouville Numbers II. Rational Maps

In 1984, Mahler asked which analytic functions map the set $\mathscr L$ of Liouville numbers into itself. In the first paper of this series, we proved that every real-analytic solution on an open interval is the restriction of a real rational function. We now identify a canonical subfield $\mathbb L$ of $\mathbb R$ such that, for every nonconstant $R\in\mathbb R(X)$ and every nonempty open interval $I$ in its domain, $R(I\cap\mathscr L)\subseteq\mathscr L$ if and only if $R$ is defined over $\mathbb L$ and $R^{-1}(\mathbb Q)\cap I\cap\mathscr L=\varnothing$. The weaker inclusion $R(I\cap\mathscr L)\subseteq\mathbb Q\cup\mathscr L$ holds if and only if $R$ is defined over $\mathbb L$. If $R$ is not defined over $\mathbb L$, every such interval contains a Cantor set of Liouville numbers whose images under $R$ are irrational and have irrationality exponents bounded by a constant depending only on $R$. We also construct continuum many positive strong Liouville numbers $σ$ for which $σX^m$ preserves $\mathscr L$ for every $m\geq2$, with all nonzero rational fibers consisting of $U_m$-numbers.

math.NT↗

arXiv2026

Mahler's Problem on Liouville Numbers I. Analytic Rigidity

In 1984, Mahler asked whether a transcendental entire function can map the set of Liouville numbers $\mathscr{L}$ into itself. We answer this question in the negative by proving a local rigidity theorem for real-analytic functions. More precisely, if $U\subset\mathbb{R}$ is an open interval and $f:U\to\mathbb{R}$ is real-analytic with $f(\mathscr{L}\cap U)\subseteq\mathscr{L}$, then $f$ is the restriction to $U$ of a rational function in $\mathbb{R}(x)$. Quantitatively, there exists an absolute constant $τ>2$ such that, for every nonrational real-analytic function $f$ and every nonempty open subinterval $V\subset U$, the set of $ξ\in V\cap\mathscr{L}$ satisfying $μ(f(ξ))\leqτ$ contains a Cantor set. The proof combines a two-height counting estimate near analytic graphs with a nested-interval construction.

math.NT↗

arXiv2026

Eremenko's conjecture on higher-order Briot--Bouquet equations

The Briot--Bouquet theorem describes the meromorphic solutions of autonomous first-order algebraic differential equations. We prove Eremenko's conjecture extending it to all orders: if $f$ is meromorphic in $\mathbb{C}$ and $P(f,f^{(n)})=0$ for a nonzero polynomial $P$, then $f$ is rational, elliptic, a rational function of $e^{cz}$ with $c\neq 0$, or satisfies $f^{(n)}=af+b$. In particular, every meromorphic solution with $P$ irreducible of degree at least two belongs to the Weierstrass class. Solutions with poles were classified by Eremenko, Liao and Ng. We settle the remaining entire case with a rigidity theorem for polynomial compositions: if $h$ is nonconstant entire and $D^nR(h)=S(h)$, where $D=d/dz$ and $°R=°S\ge 2$, then $h(z)=Ae^{bz}+Be^{-bz}+C$. No growth assumption is needed. The proof turns the cancellation of leading terms into a contraction of indicator diagrams and obtains incompatible zero counts near an exposed edge. As an arithmetic application, an algebraic Laurent expansion at one algebraic point and an algebraic value at another force a solution to lie in $\overline{\mathbb{Q}}(z)$. Hence any two distinct derivatives of a function in Mahler's class (transcendental meromorphic functions with algebraic Laurent coefficients at every algebraic point) are algebraically independent over $\mathbb{C}$.

math.CV↗

arXiv2026

On Mahler $U$-numbers under rational maps

In 1906, Maillet proved that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. Let $R$ be a nonconstant rational function with real algebraic coefficients, of degree $d$, and let $e$ be the degree of its minimal field of definition over $\mathbb{Q}$. We prove that, for every $m\geq 1$, the possible types of $R(ξ)$, as $ξ$ ranges over $U$-numbers of type $m$, are exactly the integers $r$ with $\lceil m/(ed)\rceil\leq r\leq em$. Moreover, every such type occurs for some $ξ$ of type $m$ in every nonempty open interval. Consequently, for $m\geq2$, the only rational functions with real algebraic coefficients preserving the class of $U$-numbers of type $m$ are the Möbius transformations over $\mathbb{Q}$.

math.NT↗

arXiv2026

Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers

A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\infty$ diffeomorphisms $f:\mathbb{R}\to\mathbb{R}$, arbitrarily close to the identity and transcendental over $\mathbb{R}(x)$, such that for every real number field $K\subset\mathbb{R}$, every $n\geq 1$, and every $m\geq 0$, \[ D^m(f^{\circ n})(K)\subseteq K, \qquad D^m(f^{\circ n})(\mathscr{L})\subseteq\mathscr{L}. \] In fact, the non-analyticity locus may be prescribed as any nonempty compact perfect nowhere-dense set disjoint from the real algebraic and Liouville numbers. The proof combines Maillet's theorem with an arithmetic refinement of Körner's smooth polynomial sewing method and a rational-germ construction.

math.NT↗

arXiv2026

A Neighboring-Denominator Variant of the Erdős--Mahler Conjecture

We prove a quantitative neighboring-denominator variant of the Erdős-Mahler conjecture. Let $p_n/q_n$ be the convergents of an irrational real number $ξ$. If $p_nq_nq_{n+1}$ is $S$-smooth for infinitely many $n$, where $S$ is a fixed finite set of primes, then there exists an effectively computable constant $c=c(S)>0$ such that \[ \log q_{n+1}\gg_{ξ,S} q_n^c \] along those indices. Consequently, $ξ$ is a Liouville number. The proof uses the determinant identity for consecutive convergents and a fixed-base consequence of Yu's theorem on $p$-adic logarithmic forms.

math.NT↗

arXiv2026

Almost all binary forms of degree $\geq 3$ fail to represent a fixed integer

We prove that for any fixed integer $ n \geq 3 $ and nonzero integer $ m $, the proportion of integral binary forms of degree $ n $ that represent $ m $ tends to zero as the height tends to infinity. In fact, almost all such forms fail to represent $ m $. Our method uses lattice point counting and geometric methods, including Davenport's lemma and estimates for volumes of hyperplane sections of cubes, together with an analysis of the distribution of rational points on such hyperplanes. The result also holds when restricted to irreducible forms.

math.NT↗

arXiv2026

Height Rigidity for Entire Functions

We prove that algebraic values of bounded degree and polynomially bounded height are sparse on rational translates of the graph of a transcendental entire function. More precisely, for fixed $θ\in\overline{\mathbb{Q}}\cap\mathbb{R}$, $D\geq1$, $t>0$, and for every $\varepsilon>0$, only $O(Q^{\varepsilon})$ rationals $r\in[0,1]$ of height at most $Q$ can satisfy simultaneously $[\mathbb{Q}(f(θ+r)):\mathbb{Q}]\leq D$ and $H(f(θ+r))\ll H(r)^t$. Consequently, if these bounds hold for every rational $r$ of sufficiently large height, then $f\in\overline{\mathbb{Q}}[z]$ and $°f\leq t$. As applications, we obtain rigidity results for entire functions taking rational or bounded-degree algebraic values with polynomially controlled arithmetic height. In particular, this excludes the polynomial-denominator scenario that arises naturally in connection with Mahler's problem on Liouville numbers. The proof combines Pila's bounded-degree counting theorem with standard height estimates and a simple geometric analysis of transcendental entire graphs.

math.NT↗

arXiv2026

Perfect Sets of Liouville Numbers with Controlled Self-Powers

We study the arithmetic behavior of self-powers $x^x$ when $x$ is a Liouville number. Using recent ideas on strengthened Liouville approximation, we develop flexible constructions that illuminate how transcendence, Liouville properties, and "large" topological size interact in this setting. As a concrete outcome, we build a perfect set of Liouville numbers of continuum cardinality whose finite sums, finite products, and self-powers all remain Liouville. These results show that rich algebraic and topological structures persist inside the Liouville universe for the map $x\mapsto x^x$.

math.NT↗

arXiv2026

Algebraic values of transcendental power series with geometric coefficient moduli

Let $λ>1$ be a real algebraic number. We construct continuum many power series $f(z)=\sum_{k\geq0}a_kz^k$ of radius of convergence exactly one such that every nonzero coefficient $a_k$ is algebraic and has modulus $λ^m$ for some $m\geq0$. Moreover, for every integer $s\geq0$, the derivative $f^{(s)}$ takes algebraic values at all algebraic points of the open unit disk and is transcendental over $\mathbb{C}(z)$. The proof combines algebraic polygonal cancellation with a sparse polynomial-block argument. This shows that a multiplicative rank-one restriction on coefficient moduli is compatible with algebraicity of the full analytic jet at every algebraic point once algebraic phases are allowed.

math.NT↗

arXiv2026

Values of algebraic functions at Liouville numbers

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $λ$, the $m$th root $λ^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $λ$ a Liouville number; under which conditions is $u(λ)$ a $U_m$-number? We consider a more refined notion of $\mathcal{L}$-numbers, and show that, under very general assumptions, an algebraic function of degree $m$ takes $U_m$-values at all $\mathcal{L}$-numbers.

math.NT↗

arXiv2026

Arithmetical structure of sumset intersections

The $h$-fold sumset of a set $A$ of integers is the set of all sums of $h$ not necessarily distinct elements of $A$. Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets of integers and let $A = \bigcap_{q=1}^{\infty} A_q$. Then $hA \subseteq \bigcap_{q=1}^{\infty} hA_q$ for all $h \geq 1$. Let $\mathcal{H}(A_q) = \{h \geq 1: hA = \bigcap_{q=1}^{\infty} hA_q\}$. The arithmetical structure of the sets $\mathcal{H}(A_q)$ is unknown. It is proved that for every $h_0 \geq 2$ there exist sequences $(A_q)_{q=1}^{\infty}$ such that $\{1,\ldots, h_0-1\} \subseteq \mathcal{H}(A_q)$ but $h_0 \notin \mathcal{H}(A_q)$ and also that there exist sequences $(A_q)_{q=1}^{\infty}$ such that $\{1, h_0 \} \subseteq \mathcal{H}(A_q)$ but $\{2,3, \ldots, h_0-1\} \cap \mathcal{H}(A_q) = \emptyset$.

math.NT↗

arXiv2025

Geometric Progressions meet Zeckendorf Representations

Motivated by Erdős' ternary conjecture and by recent work of Cui--Ma--Jiang [``Geometric progressions meet Cantor sets'', \textit{Chaos Solitons Fractals} \textbf{163} (2022), 112567.] on intersections between geometric progressions and Cantor-like sets in standard bases, we study the corresponding problem in the Zeckendorf numeration system. We prove that, for any fixed finite set of forbidden binary patterns, any integers $u\ge 1$, $q\ge 2$, and any window size $M$, the set of exponents $n$ for which the Zeckendorf expansion of $u q^n$ avoids the forbidden patterns within its $M$ least significant digits is either finite or ultimately periodic.

math.NT↗

arXiv2025

Asymptotic error terms in Bonse-type inequalities

Let $p_n$ denote the $n$-th prime. In 2000, Panaitopol established the inequality $p_1 \cdots p_n > p_{n+1}^{n - π(n)}$ for all $n \geq 2$, where $π(x)$ is the prime counting function. In 2021, Yang and Liao refined this by introducing the exponent $k(n,x) = n - π(n) + \frac{π(n)}{π(\log n)} - x \cdot π(π(n))$, proving the inequality holds for $x = 2$ and $n \geq 8$. In 2022, Marques and Trojovský extended this to $x = 1.4$ for $n \geq 21$ and conjectured its validity for $x = 0.1$ when $n \geq 24,154,953$. This paper confirms the conjecture by analyzing the error term $E_n(x) = \log(p_1 \cdots p_n) - k(n,x) \log p_{n+1}$. Also, we derive the asymptotic expansion to $E_n(x)$ demonstrating that it is positive for all sufficiently large $n$ when $x > -2$. For each $x > -2$, we identify a minimal integer $Ψ(x)$ such that $E_n(x) > 0$ for all $n \geq Ψ(x)$, precisely determining $Ψ(0.1) = 24,154,953$. Additionally, we establish effective upper bounds for $Ψ(x)$ both unconditionally and under the Riemann Hypothesis, with the conditional bounds showing a significant improvement. Our analysis fully resolves the conjecture and characterizes $Ψ(x)$ as a non-increasing, piecewise constant function, exhibiting discontinuities at a discrete set of threshold points. These results advance the understanding of Bonse-type inequalities and their asymptotic behavior.

math.NT↗

arXiv2025

The generalized Bergshoeff-de Roo identification

There are two main approaches to duality covariant first order higher derivative corrections to the heterotic string, one extending the duality structure and the other deforming the gauge transformations. In this paper we introduce a framework from which both approaches can be derived, proving their equivalence and extending them to higher orders.

hep-th↗

arXiv2025

The generalized Bergshoeff-de Roo identification II

We recently introduced a T-duality covariant mechanism to compute all-order higher-derivative interactions in the heterotic string. Here we extend the formalism to account for a two-parameter family of corrections that also include the bosonic string and HSZ theory. We use our result to compute the full second order Double Field Theory (DFT) for generic values of the parameters, including the generalized Green-Schwarz transformation and its invariant action.

hep-th↗

arXiv2025

Tri-vector symmetry of 11 dimensional supergravity

Kaluza-Klein reductions of 11-dimensional supergravity lead to exceptional global symmetries in lower dimensions. Certain non-geometric elements of these symmetries, parameterized by a tri-vector $γ$, are not inherited from the higher-dimensional local symmetries, but represent instead a symmetry enhancement produced by the isometries of the background. Here, we demonstrate how to realize this enhancement in 11 dimensions, as a symmetry principle with constrained parameters. We show that $γ$ transformations exchange the equations of motion of the metric and the three-form with their Bianchi identities, in a closed form, structuring them into tri-vector multiplets. Implementing this principle as an off-shell symmetry of the theory requires the introduction of a hierarchy of dual fields, including a six-form and a dual graviton in the initial levels.

hep-th↗

arXiv2025

Some results on asymptotic versions of Mahler's problems

In this paper, we show the existence of a transcendental function $f\in\mathbb{Z}\{z\}$ with coefficients that are almost all bounded such that $f$ and all its derivatives assume algebraic values at algebraic points. Furthermore, we demonstrate that certain subsets of algebraic numbers are exceptional sets of some transcendental function $f\in\mathbb{Z}\{z\}$ with almost all bounded coefficients.

math.NT↗