Searcharxiv⌕ Search

arXiv subjects

Diego Marques

Publications and source records attributed to Diego Marques.

At least 19 recordsLinked to original sources
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\"orner's smooth polynomial sewing method and a rational-germ construction.

math.NT↗
arXiv2026

A Neighboring-Denominator Variant of the Erd\H{o}s--Mahler Conjecture

We prove a quantitative neighboring-denominator variant of the Erd\H{o}s-Mahler conjecture. Let $p_n/q_n$ be the convergents of an irrational real number $\xi$. 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_{\xi,S} q_n^c \] along those indices. Consequently, $\xi$ 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

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 $\theta\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(\theta+r)):\mathbb{Q}]\leq D$ and $H(f(\theta+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 $\deg 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

Algebraic values of transcendental power series with geometric coefficient moduli

Let $\lambda>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 $\lambda^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 $\lambda$, the $m$th root $\lambda^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $\lambda$ a Liouville number; under which conditions is $u(\lambda)$ 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\H{o}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

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↗
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 - \pi(n)}$ for all $n \geq 2$, where $\pi(x)$ is the prime counting function. In 2021, Yang and Liao refined this by introducing the exponent $k(n,x) = n - \pi(n) + \frac{\pi(n)}{\pi(\log n)} - x \cdot \pi(\pi(n))$, proving the inequality holds for $x = 2$ and $n \geq 8$. In 2022, Marques and Trojovsk\'y 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 $\Psi(x)$ such that $E_n(x) > 0$ for all $n \geq \Psi(x)$, precisely determining $\Psi(0.1) = 24,154,953$. Additionally, we establish effective upper bounds for $\Psi(x)$ both unconditionally and under the Riemann Hypothesis, with the conditional bounds showing a significant improvement. Our analysis fully resolves the conjecture and characterizes $\Psi(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

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↗
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 $\gamma$, 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 $\gamma$ 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↗
arXiv2024

Hidden symmetries from extra dimensions

In Kaluza-Klein compactifications, some symmetries of the higher dimensional theory are preserved in lower dimensions, others are broken, and occasionally, there are symmetry enhancements. The symmetries that are enhanced by toroidal compactifications were recently shown to define a symmetry principle with constrained parameters that fixes the action before dimensional reduction. Here we show the opposite: symmetries of the higher dimensional theory that are broken in the reduction process, can actually be realized after dimensional reduction as a global symmetry principle with constrained parameters that fixes couplings in the lower dimensional theory. We implement this principle in pure gravity, half-maximal supergravity and the circle reduction of 11 dimensional supergravity to Type IIA superstring theory. As a further application, we show that it can be used to constrain the quartic Ramond-Ramond couplings in Type IIA superstring theory from the four-point $\zeta(3)\, \alpha'{}^3\, t_8 t_8 R^{(-) 4}$ interactions.

hep-th↗
arXiv2024

On Non Invertible Symmetries in Type IIB Supergravity

In this work, we uncover a collection of non invertible topological operators linked to the 0-, 2-, 4- and 6-form symmetries related to the type IIB superstring effective theory. By pinpointing the $\text{SL}(2,\mathbb{Z})$-covariant conserved currents corresponding to these symmetries, we first derive a set of $\text{SL}(2,\mathbb{Z})$ invariant invertible topological operators that encapsulate the integer BPS charges inherent to the theory. Moving forward, by incorporating fractional charges while maintaining gauge invariance, we introduce the non invertible topological operators for each generalized symmetry, and in particular for the $\text{SL}(2,\mathbb{Z})$ 0-form symmetry. Identifying them as a novel kind of symmetries reminiscent of fractional quantum Hall effect (FQHE)-like non invertible operators, we study their action on charged objects and their associated SymTFTs obtained via half (higher) gauging.

hep-th↗
arXiv2023

Exploring the $\beta$ symmetry of supergravity

Kaluza-Klein reductions of low energy string effective actions possess a continuous $O(d,d) $ symmetry. The non-geometric elements of this group, parameterized by a bi-vector $\beta$, are not inherited from the symmetries of the higher-dimensional theory, but constitute instead a symmetry enhancement produced by the isometries of the background. The realization of this enhancement in the parent theory was recently defined as $\beta$ symmetry, a powerful tool that allows to avoid the field reparameterizations of the Kaluza-Klein procedure. In this paper we further explore this symmetry and its impact on the first order $\alpha'$-corrections. We derive the $\beta$ transformation rules from the frame formulation of Double Field Theory (DFT), and connect them to the corresponding rules in the Metsaev-Tseytlin and Bergshoeff-de Roo supergravity schemes. It follows from our results that $\beta$ symmetry is a necessary condition for the uplift of string $\alpha'$-expansions to DFT.

hep-th↗
arXiv2023

On the Exceptional Set of Transcendental Entire Functions in Several Variables

In this paper, among other things, we prove that any subset of $\overline{\mathbb{Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountable many transcendental entire functions over $\mathbb{C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions.

math.NT↗
arXiv2023

A Note On Transcendental Analytic Functions With Rational Coefficients Mapping $\mathbb{Q}$ Into Itself

In this note, the main focus is on a question about transcendental entire functions mapping $\mathbb{Q}$ into $\mathbb{Q}$ (which is related to a Mahler's problem). In particular, we prove that, for any $t>0$, there is no a transcendental entire function $f\in\mathbb{Q}[[z]]$ such that $f(\mathbb{Q})\subseteq\mathbb{Q}$ and whose denominator of $f(p/q)$ is $O(q^{t})$, for all rational numbers $p/q$, with $q$ sufficiently large.

math.NT↗