-
Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions
Authors:
Khoa D. Nguyen,
Anwesh Ray
Abstract:
We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $φ$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resu…
▽ More
We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $φ$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.
△ Less
Submitted 3 October, 2024; v1 submitted 28 August, 2024;
originally announced August 2024.
-
On Certain Polytopes Associated to Products of Algebraic Integer Conjugates
Authors:
Seda Albayrak,
Samprit Ghosh,
Greg Knapp,
Khoa D. Nguyen
Abstract:
Let $d>k$ be positive integers. Motivated by an earlier result of Bugeaud and Nguyen, we let $E_{k,d}$ be the set of $(c_1,\ldots,c_k)\in\mathbb{R}_{\geq 0}^k$ such that $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}\geq 1$ for any algebraic integer $α$ of degree $d$, where we label its Galois conjugates as $α_0,\ldots,α_{d-1}$ with…
▽ More
Let $d>k$ be positive integers. Motivated by an earlier result of Bugeaud and Nguyen, we let $E_{k,d}$ be the set of $(c_1,\ldots,c_k)\in\mathbb{R}_{\geq 0}^k$ such that $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}\geq 1$ for any algebraic integer $α$ of degree $d$, where we label its Galois conjugates as $α_0,\ldots,α_{d-1}$ with $\vertα_0\vert\geq \vertα_1\vert\geq\cdots \geq \vertα_{d-1}\vert$. First, we give an explicit description of $E_{k,d}$ as a polytope with $2^k$ vertices. Then we prove that for $d>3k$, for every $(c_1,\ldots,c_k)\in E_{k,d}$ and for every $α$ that is not a root of unity, the strict inequality $\vertα_0\vert\vertα_1\vert^{c_1}\cdots\vertα_k\vert^{c_k}>1$ holds. We also provide a quantitative version of this inequality in terms of $d$ and the height of the minimal polynomial of $α$.
△ Less
Submitted 31 July, 2024;
originally announced August 2024.
-
Adelic perturbation of rational functions and applications
Authors:
Félix Baril Boudreau,
Erik Holmes,
Khoa D. Nguyen
Abstract:
Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we prove that $\sum f(n)a_nx^n$ satisfies the Pólya-Carlson dichotomy: it is either a rational function or it cannot be extended analytically to a strictly larger d…
▽ More
Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we prove that $\sum f(n)a_nx^n$ satisfies the Pólya-Carlson dichotomy: it is either a rational function or it cannot be extended analytically to a strictly larger domain than its disk of convergence. This latter property is much stronger than being transcendental. The first application and motivation of our result is the solution of a conjecture by Byszewski-Cornelissen. This gives a complete understanding of the analytic continuation behavior of the Artin-Mazur zeta function associated to a dynamical system on an abelian variety. Further applications include the solution of a conjecture by Bell-Miles-Ward and a significant case of an open problem by Royals-Ward.
△ Less
Submitted 15 July, 2023;
originally announced July 2023.
-
D-finiteness, rationality, and height III: multivariate Pólya-Carlson dichotomy
Authors:
Jason P. Bell,
Shaoshi Chen,
Khoa D. Nguyen,
Umberto Zannier
Abstract:
We prove a result that can be seen as an analogue of the Pólya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main result says that if $$F(x_1,\ldots ,x_m)=\sum f(n_1,\ldots ,n_m)x_1^{n_1}\cdots x_m^{n_m}$$ is a D-finite power series in $m$ variables with algebraic integer coeffic…
▽ More
We prove a result that can be seen as an analogue of the Pólya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main result says that if $$F(x_1,\ldots ,x_m)=\sum f(n_1,\ldots ,n_m)x_1^{n_1}\cdots x_m^{n_m}$$ is a D-finite power series in $m$ variables with algebraic integer coefficients and if the logarithmic Weil height of $f(n_1,\ldots ,n_m)$ is $o(n_1+\cdots +n_m)$, then $F$ is a rational function and, up to scalar multiplication, every irreducible factor of the denominator of $F$ has the form $1-ζx_1^{q_1}\cdots x_m^{q_m}$ where $ζ$ is a root of unity and $q_1,\ldots ,q_m$ are nonnegative integers, not all of which are zero.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Some arithmetical properties of convergents to algebraic numbers
Authors:
Yann Bugeaud,
Khoa D. Nguyen
Abstract:
Let $ξ$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We show that if the intersection of the sequences $(q_k)_{k \ge 1}$ and $(u_n)_{n \geq 1}$ is infinite, then $ξ$ is a quadratic number. We also discuss several arithm…
▽ More
Let $ξ$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We show that if the intersection of the sequences $(q_k)_{k \ge 1}$ and $(u_n)_{n \geq 1}$ is infinite, then $ξ$ is a quadratic number. We also discuss several arithmetical properties of the sequence $(q_k)_{k \ge 1}$.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
A general criterion for the Pólya-Carlson dichotomy and application
Authors:
Jason P. Bell,
Keira Gunn,
Khoa D. Nguyen,
J. C. Saunders
Abstract:
We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let $ζ_A(z)$ be the Artin-Mazur zeta function associated…
▽ More
We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field, let $d$ be a positive integer, let $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let $ζ_A(z)$ be the Artin-Mazur zeta function associated to the multiplication-by-$A$ map on the compact abelian group $F((1/t))^d/F[t]^d$. We provide a complete characterization of when $ζ_A(z)$ is algebraic and prove that it admits the circle of convergence as a natural boundary in the transcendence case. This is in stark contrast to the case of linear endomorphisms on $\mathbb{R}^d/\mathbb{Z}^d$ in which Baake, Lau, and Paskunas prove that the zeta function is always rational. Some connections to earlier work of Bell, Byszewski, Cornelissen, Miles, Royals, and Ward are discussed. Our method uses a similar technique in recent work of Bell, Nguyen, and Zannier together with certain patching arguments involving linear recurrence sequences.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
D-finiteness, rationality, and height II: lower bounds over a set of positive density
Authors:
Jason P. Bell,
Khoa D. Nguyen,
Umberto Zannier
Abstract:
We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As an immediate consequence of our results, we have that either $f(z)$ is rational or $h(a_n)>[K:\mathbb{Q}]^{-1}\cdot \log(n)+O(1)$ for $n$ in a set of positive…
▽ More
We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As an immediate consequence of our results, we have that either $f(z)$ is rational or $h(a_n)>[K:\mathbb{Q}]^{-1}\cdot \log(n)+O(1)$ for $n$ in a set of positive upper density and this is best possible when $K=\mathbb{Q}$.
△ Less
Submitted 20 November, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Skew-invariant curves and the algebraic independence of Mahler functions
Authors:
Alice Medvedev,
Khoa Dang Nguyen,
Thomas Scanlon
Abstract:
For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$-Mahler of non-exceptional polynomial type if there is a polynomial $P \in \mathbb{C}(t)^\text{alg}[X]$ of degree at least two which is not conjugate to either a monomial or to plus or minus a Chebyshev polynomial for which the equa…
▽ More
For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$-Mahler of non-exceptional polynomial type if there is a polynomial $P \in \mathbb{C}(t)^\text{alg}[X]$ of degree at least two which is not conjugate to either a monomial or to plus or minus a Chebyshev polynomial for which the equation $f(t^p) = P(f(t))$ holds. We show that if $p$ and $q$ are multiplicatively independent and $f$ and $g$ are $p$-Mahler and $q$-Mahler, respectively, of non-exceptional polynomial type, then $f$ and $g$ are algebraically independent over $\mathbb{C}(t)$. This theorem is proven as a consequence of a more general theorem that if $f$ is $p$-Mahler of non-exceptional polynomial type, and $g_1, \ldots, g_n$ each satisfy some difference equation with respect to the substitution $t \mapsto t^q$, then $f$ is algebraically independent from $g_1, \ldots, g_n$. These theorems are themselves consequences of a refined classification of skew-invariant curves for split polynomial dynamical systems on $\mathbb{A}^2$.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Transcendence of polynomial canonical heights
Authors:
Khoa D. Nguyen
Abstract:
There are two fundamental problems motivated by Silverman's conversations over the years concerning the nature of the exact values of canonical heights of $f(z)\in\bar{\mathbb{Q}}(z)$ where $f$ has degree $d\geq 2$. The first problem is the conjecture that $\hat{h}_f(a)$ is either $0$ or transcendental for every $a\in \mathbb{P}^1(\bar{\mathbb{Q}})$; this holds when $f$ is linearly conjugate to…
▽ More
There are two fundamental problems motivated by Silverman's conversations over the years concerning the nature of the exact values of canonical heights of $f(z)\in\bar{\mathbb{Q}}(z)$ where $f$ has degree $d\geq 2$. The first problem is the conjecture that $\hat{h}_f(a)$ is either $0$ or transcendental for every $a\in \mathbb{P}^1(\bar{\mathbb{Q}})$; this holds when $f$ is linearly conjugate to $z^d$ or $\pm C_d(z)$ where $C_d(z)$ is the Chebyshev polynomial of degree $d$ since $\hat{H}_f(a)$ is algebraic for every $a$. Other than this, very little is known: for example, it is not known if there \emph{exists} even \emph{one} rational number $a$ such that $\hat{h}_f(a)$ is \emph{irrational} where $f(z)=z^2+\displaystyle\frac{1}{2}$. The second problem asks for the characterization of all pairs $(f,a)$ such that $\hat{H}_f(a)$ is algebraic. In this paper, we solve the second problem and obtain significant progress to the first problem in the case of polynomial dynamics. These are consequences of our main result concerning the possible algebraic numbers that can be expressed as a multiplicative combination of values of Böttcher coordinates. The proof of our main result uses a construction of a certain auxiliary polynomial and the powerful Medvedev-Scanlon classification of preperiodic subvarieties of split polynomial maps.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Endomorphisms of positive characteristic tori: entropy and zeta function
Authors:
Keira Gunn,
Khoa D. Nguyen,
J. C. Saunders
Abstract:
Let $F$ be a finite field of order $q$ and characteristic $p$. Let $\mathbb{Z}_F=F[t]$, $\mathbb{Q}_F=F(t)$, $\mathbb{R}_F=F((1/t))$ equipped with the discrete valuation for which $1/t$ is a uniformizer, and let $\mathbb{T}_F=\mathbb{R}_F/\mathbb{Z}_F$ which has the structure of a compact abelian group. Let $d$ be a positive integer and let $A$ be a $d\times d$-matrix with entries in…
▽ More
Let $F$ be a finite field of order $q$ and characteristic $p$. Let $\mathbb{Z}_F=F[t]$, $\mathbb{Q}_F=F(t)$, $\mathbb{R}_F=F((1/t))$ equipped with the discrete valuation for which $1/t$ is a uniformizer, and let $\mathbb{T}_F=\mathbb{R}_F/\mathbb{Z}_F$ which has the structure of a compact abelian group. Let $d$ be a positive integer and let $A$ be a $d\times d$-matrix with entries in $\mathbb{Z}_F$ and non-zero determinant. The multiplication-by-$A$ map is a surjective endomorphism on $\mathbb{T}_F^d$. First, we compute the entropy of this endomorphism; the result and arguments are analogous to those for the classical case $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$. Second and most importantly, we resolve the algebraicity problem for the Artin-Mazur zeta function of all such endomorphisms. As a consequence of our main result, we provide a complete characterization and an explicit formula related to the entropy when the zeta function is algebraic.
△ Less
Submitted 2 June, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Vojta's abc Conjecture for algebraic tori and applications over function fields
Authors:
Ji Guo,
Khoa D. Nguyen,
Chia-Liang Sun,
Julie Tzu-Yueh Wang
Abstract:
We prove Vojta's generalized abc conjecture for algebraic tori over function fields with exceptional sets that can be determined effectively. Additionally, we establish a version of the conjecture for toric varieties. As an application, we investigate the Lang-Vojta Conjecture for varieties of log general type that are ramified covers of $\mathbb G_m^n$ over function fields. In particular, we cons…
▽ More
We prove Vojta's generalized abc conjecture for algebraic tori over function fields with exceptional sets that can be determined effectively. Additionally, we establish a version of the conjecture for toric varieties. As an application, we investigate the Lang-Vojta Conjecture for varieties of log general type that are ramified covers of $\mathbb G_m^n$ over function fields. In particular, we consider the case of $ \mathbb P^n\setminus D$, where $D$ is an algebraic curve over a function field in $\mathbb P^n$ with $n+1$ irreducible components and $°D\ge n+2$. Our methods also apply to the complex situation, enabling us to find explicit exceptional sets for the corresponding case of Vojta's general abc conjecture (complex version) and the Green-Griffith-Lang conjecture.
△ Less
Submitted 18 October, 2023; v1 submitted 30 June, 2021;
originally announced June 2021.
-
N-colored generalized Frobenius partitions: Generalized Kolitsch identities
Authors:
Zafer Selcuk Aygin,
Khoa D. Nguyen
Abstract:
Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $cφ_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ cφ_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (Γ_0(N),χ_N)$. This extends and stren…
▽ More
Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $cφ_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ cφ_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (Γ_0(N),χ_N)$. This extends and strengthens earlier results of Kolitsch and Chan-Wang-Yan treating the case when $N$ is a prime. As an immediate application, we obtain an asymptotic formula for $cφ_N(n)$ in terms of the classical partition function.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Transcendental Series of Reciprocals of Fibonacci and Lucas Numbers
Authors:
Khoa D. Nguyen
Abstract:
Let $F_1=1,F_2=1,\ldots$ be the Fibonacci sequence. Motivated by the identity $\displaystyle\sum_{k=0}^{\infty}\frac{1}{F_{2^k}}=\frac{7-\sqrt{5}}{2}$, Erdös and Graham asked whether $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is irrational for any sequence of positive integers $n_1,n_2,\ldots$ with $\frac{n_{k+1}}{n_k}\geq c>1$. We resolve the transcendence counterpart of their question:…
▽ More
Let $F_1=1,F_2=1,\ldots$ be the Fibonacci sequence. Motivated by the identity $\displaystyle\sum_{k=0}^{\infty}\frac{1}{F_{2^k}}=\frac{7-\sqrt{5}}{2}$, Erdös and Graham asked whether $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is irrational for any sequence of positive integers $n_1,n_2,\ldots$ with $\frac{n_{k+1}}{n_k}\geq c>1$. We resolve the transcendence counterpart of their question: as a special case of our main theorem, we have that $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is transcendental when $\frac{n_{k+1}}{n_k}\geq c>2$. The bound $c>2$ is best possible thanks to the identity at the beginning. This paper provides a new way to apply the Subspace Theorem to obtain transcendence results and extends previous non-trivial results obtainable by only Mahler's method for special sequences of the form $n_k=d^k+r$.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Monogenic pure cubics
Authors:
Zafer Selcuk Aygin,
Khoa D. Nguyen
Abstract:
Let $k\geq 2$ be a square-free integer. We prove that the number of square-free integers $m\in [1,N]$ such that $(k,m)=1$ and $\mathbb{Q}(\sqrt[3]{k^2m})$ is monogenic is $\gg N^{1/3}$ and $\ll N/(\log N)^{1/3-ε}$ for any $ε>0$. Assuming ABC, the upper bound can be improved to $O(N^{(1/3)+ε})$. Let $F$ be the finite field of order $q$ with $(q,3)=1$ and let $g(t)\in F[t]$ be non-constant square-fr…
▽ More
Let $k\geq 2$ be a square-free integer. We prove that the number of square-free integers $m\in [1,N]$ such that $(k,m)=1$ and $\mathbb{Q}(\sqrt[3]{k^2m})$ is monogenic is $\gg N^{1/3}$ and $\ll N/(\log N)^{1/3-ε}$ for any $ε>0$. Assuming ABC, the upper bound can be improved to $O(N^{(1/3)+ε})$. Let $F$ be the finite field of order $q$ with $(q,3)=1$ and let $g(t)\in F[t]$ be non-constant square-free. We prove unconditionally the analogous result that the number of square-free $h(t)\in F[t]$ such that $°(h)\leq N$, $(g,h)=1$ and $F(t,\sqrt[3]{g^2h})$ is monogenic is $\gg q^{N/3}$ and $\ll N^2q^{N/3}$.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Rheological basis of skeletal muscle work loops
Authors:
Khoi D. Nguyen,
Madhusudhan Venkadesan
Abstract:
Skeletal muscle is subjected to simultaneous time-varying neural stimuli and length changes in vivo. Work loops are experimental representations of these in vivo conditions and exhibit force versus length responses that are not explainable using either soft matter rheology or the classical isometric and isotonic characterizations of muscle. These gaps in our understanding have often prompted the s…
▽ More
Skeletal muscle is subjected to simultaneous time-varying neural stimuli and length changes in vivo. Work loops are experimental representations of these in vivo conditions and exhibit force versus length responses that are not explainable using either soft matter rheology or the classical isometric and isotonic characterizations of muscle. These gaps in our understanding have often prompted the search for new muscle phenomena. However, we presently lack a framework to explain the mechanical origins of work loops that integrates multiple facets of current understanding of muscle, as a rheological material and also a stimulus-responsive actuator. Here we present a new hypothesis that work loops emerge by splicing together force versus length loops corresponding to different constant stimuli. Using published muscle datasets and a detailed sarcomere model, we find that the hypothesis accurately predicts work loops and helps understand them in terms of rheological behaviors measured at fixed-stimuli. Importantly, this framework identifies conditions under which a rheological understanding of muscle fails to explain the emergent work loops, and new muscle phenomena may be necessary to explain its in vivo function.
△ Less
Submitted 30 December, 2021; v1 submitted 14 May, 2020;
originally announced May 2020.
-
An analogue of Ruzsa's conjecture for polynomials over finite fields
Authors:
Jason P. Bell,
Khoa D. Nguyen
Abstract:
In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(θ^n)$ with $θ<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.
In 1971, Ruzsa conjectured that if $f:\ \mathbb{N}\rightarrow\mathbb{Z}$ with $f(n+k)\equiv f(n)$ mod $k$ for every $n,k\in\mathbb{N}$ and $f(n)=O(θ^n)$ with $θ<e$ then $f$ is a polynomial. In this paper, we investigate the analogous problem for the ring of polynomials over a finite field.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
D-finiteness, rationality, and height
Authors:
Jason P. Bell,
Khoa D. Nguyen,
Umberto Zannier
Abstract:
Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coe…
▽ More
Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coefficients of a univariate D-finite power series `look like' the coefficients of a rational function then the power series is rational. Our work relies on the theory of Weil heights, the Manin-Mumford theorem for tori, an application of the Subspace Theorem, and various combinatorial arguments involving heights, power series, and linear recurrence sequences.
△ Less
Submitted 15 May, 2019;
originally announced May 2019.
-
The SU(2)-character variety of the closed surface of genus 2
Authors:
Nan-Kuo Ho,
Lisa C. Jeffrey,
Khoa Dang Nguyen,
Eugene Z. Xia
Abstract:
We study the symplectic geometry of the SU(2)-representation variety of the compact oriented surface of genus 2. We use the Goldman flows to identify subsets of the moduli space with corresponding subsets of $\mathbb P^3(\mathbb C)$. We also define and study two antisymplectic involutions on the moduli space and their fixed point sets.
We study the symplectic geometry of the SU(2)-representation variety of the compact oriented surface of genus 2. We use the Goldman flows to identify subsets of the moduli space with corresponding subsets of $\mathbb P^3(\mathbb C)$. We also define and study two antisymplectic involutions on the moduli space and their fixed point sets.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
The Hermite-Joubert problem and a conjecture of Brassil-Reichstein
Authors:
Khoa Dang Nguyen
Abstract:
We show that Hermite theorem fails for every integer $n$ of the form $3^{k_1}+3^{k_2}+3^{k_3}$ with integers $k_1>k_2>k_3\geq 0$. This confirms a conjecture of Brassil and Reichstein. We also obtain new results for the relative Hermite-Joubert problem over a finitely generated field of characteristic $0$.
We show that Hermite theorem fails for every integer $n$ of the form $3^{k_1}+3^{k_2}+3^{k_3}$ with integers $k_1>k_2>k_3\geq 0$. This confirms a conjecture of Brassil and Reichstein. We also obtain new results for the relative Hermite-Joubert problem over a finitely generated field of characteristic $0$.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
The Dynamical Manin-Mumford Conjecture and the Dynamical Bogomolov Conjecture for endomorphisms of (P^1)^n
Authors:
Dragos Ghioca,
Khoa D. Nguyen,
Hexi Ye
Abstract:
We prove Zhang's Dynamical Manin-Mumford Conjecture and Dynamical Bogomolov Conjecture for dominant endomorphisms of (P^1)^n. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with an analysis of the symmetries of the Julia set for a rational function.
We prove Zhang's Dynamical Manin-Mumford Conjecture and Dynamical Bogomolov Conjecture for dominant endomorphisms of (P^1)^n. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with an analysis of the symmetries of the Julia set for a rational function.
△ Less
Submitted 13 May, 2017;
originally announced May 2017.
-
Bounded height in families of dynamical systems
Authors:
Laura DeMarco,
Dragos Ghioca,
Holly Krieger,
Khoa D. Nguyen,
Thomas J. Tucker,
Hexi Ye
Abstract:
Let a and b be algebraic numbers such that exactly one of a and b is an algebraic integer, and let f_t(z):=z^2+t be a family of polynomials parametrized by t. We prove that the set of all algebraic numbers t for which there exist positive integers m and n such that f_t^m(a)=f_t^n(b) has bounded Weil height. This is a special case of a more general result supporting a new bounded height conjecture…
▽ More
Let a and b be algebraic numbers such that exactly one of a and b is an algebraic integer, and let f_t(z):=z^2+t be a family of polynomials parametrized by t. We prove that the set of all algebraic numbers t for which there exist positive integers m and n such that f_t^m(a)=f_t^n(b) has bounded Weil height. This is a special case of a more general result supporting a new bounded height conjecture in dynamics. Our results fit into the general setting of the principle of unlikely intersections in arithmetic dynamics.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Simultaneously preperiodic points for families of polynomials in normal form
Authors:
Dragos Ghioca,
Liang-Chung Hsia,
Khoa Dang Nguyen
Abstract:
Let $d>m>1$ be integers, let $c_1,\dots, c_{m+1}$ be distinct complex numbers, and let $\mathbf{f}(z):=z^d+t_1z^{m-1}+t_2z^{m-2}+\cdots + t_{m-1}z+t_m$ be an $m$-parameter family of polynomials. We prove that the set of $m$-tuples of parameters $(t_1,\dots, t_m)\in\mathbb{C}^m$ with the property that each $c_i$ (for $i=1,\dots, m+1$) is preperiodic under the action of the corresponding polynomial…
▽ More
Let $d>m>1$ be integers, let $c_1,\dots, c_{m+1}$ be distinct complex numbers, and let $\mathbf{f}(z):=z^d+t_1z^{m-1}+t_2z^{m-2}+\cdots + t_{m-1}z+t_m$ be an $m$-parameter family of polynomials. We prove that the set of $m$-tuples of parameters $(t_1,\dots, t_m)\in\mathbb{C}^m$ with the property that each $c_i$ (for $i=1,\dots, m+1$) is preperiodic under the action of the corresponding polynomial $\mathbf{f}(z)$ is contained in finitely many hypersurfaces of the parameter space $\mathbb{A}^m$.
△ Less
Submitted 28 October, 2016;
originally announced October 2016.
-
Squarefree Doubly Primitive Divisors in Dynamical Sequences
Authors:
Dragos Ghioca,
Khoa D. Nguyen,
Thomas J. Tucker
Abstract:
Let K be a number field or a function field of characteristic 0, let f be a K-rational function of degree greater than 1, and let a be an element of K. Let S be a finite set of places of K containing all the archimedean ones and the primes where f has bad reduction. After excluding all the natural counter-examples, we define a subset A(f,a) of pairs of integers (m,n) with m nonnegative and n posit…
▽ More
Let K be a number field or a function field of characteristic 0, let f be a K-rational function of degree greater than 1, and let a be an element of K. Let S be a finite set of places of K containing all the archimedean ones and the primes where f has bad reduction. After excluding all the natural counter-examples, we define a subset A(f,a) of pairs of integers (m,n) with m nonnegative and n positive, and show that for all but finitely many (m,n) in A(f,a) there is a prime p of K which is not in S such that the p-adic valuation of f^{m+n}(a)-f^m(a) is precisely equal to 1, and moreover a has portrait (m,n) under the action of f modulo p. This latter condition implies that the p-adic valuation of f^{u+v}(a)-f^u(a) is not positive if u is a nonnegative integer and v is a positive integer with u<m or v<n. Our proof assumes a conjecture of Vojta in the number field case and is unconditional in the function field case thanks to a deep theorem of Yamanoi. This paper extends earlier work of Ingram-Silverman, Faber-Granville, and of the authors.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier
Authors:
Avinash Kulkarni,
Niki Myrto Mavraki,
Khoa D. Nguyen
Abstract:
For every complex number $x$, let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$. Let $K$ be a number field, let $k\in\mathbb{N}$, and let $α_1,\ldots,α_k$ be non-zero algebraic numbers. In this paper, we completely solve the problem of the existence of $θ\in (0,1)$ such that there are infinitely many tuples $(n,q_1,\ldots,q_k)$ satisfying…
▽ More
For every complex number $x$, let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$. Let $K$ be a number field, let $k\in\mathbb{N}$, and let $α_1,\ldots,α_k$ be non-zero algebraic numbers. In this paper, we completely solve the problem of the existence of $θ\in (0,1)$ such that there are infinitely many tuples $(n,q_1,\ldots,q_k)$ satisfying $\Vert q_1α_1^n+\ldots+q_kα_k^n\Vert_{\mathbb{Z}}<θ^n$ where $n\in\mathbb{N}$ and $q_1,\ldots,q_k\in K^*$ having small logarithmic height compared to $n$. In the special case when $q_1,\ldots,q_k$ have the form $q_i=qc_i$ for fixed $c_1,\ldots,c_k$, our work yields results on algebraic approximations of $c_1α_1^n+\ldots+c_kα_k^n$ of the form $\displaystyle \frac{m}{q}$ with $m\in \mathbb{Z}$ and $q\in K^*$ (where $q$ has small logarithmic height compared to $n$). Various results on linear recurrence sequences also follow as an immediate consequence. The case $k=1$ and $q_1$ is essentially a rational integer was obtained by Corvaja and Zannier and settled a long-standing question of Mahler. The use of the Subspace Theorem based on work of Corvaja-Zannier together with several modifications play an important role in the proof of our results.
△ Less
Submitted 26 November, 2015;
originally announced November 2015.
-
The Dynamical Manin-Mumford Conjecture and the Dynamical Bogomolov Conjecture for split rational maps
Authors:
Dragos Ghioca,
Khoa D. Nguyen,
Hexi Ye
Abstract:
We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorh…
▽ More
We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorhisms of P^1\times P^1 defined over the complex numbers.
△ Less
Submitted 22 September, 2016; v1 submitted 19 November, 2015;
originally announced November 2015.
-
Dynamics of split polynomial maps: uniform bounds for periods and applications
Authors:
Dragos Ghioca,
Khoa D. Nguyen
Abstract:
Let K be an algebraically closed field of characteristic 0. Following Medvedev-Scanlon, a polynomial of degree d > 1 is said to be disintegrated if neither f nor -f is linearly conjugate to x^d or T_d(x) where T_d is the Chebyshev polynomial of degree d. Let m and n be integers greater than 1, we prove that there exists an effectively computable constant c(m,n) depending only on m and n such that…
▽ More
Let K be an algebraically closed field of characteristic 0. Following Medvedev-Scanlon, a polynomial of degree d > 1 is said to be disintegrated if neither f nor -f is linearly conjugate to x^d or T_d(x) where T_d is the Chebyshev polynomial of degree d. Let m and n be integers greater than 1, we prove that there exists an effectively computable constant c(m,n) depending only on m and n such that the following holds. Let f_1,...,f_n be polynomials with coefficients in K, which are disintegrated polynomials of degree at most m and let F be the induced coordinate-wise self-map of the n-th dimensional affine space, i.e. F(x_1,..,x_n)=(f_1(x_1),...,f_n(x_n)). Then the period of every irreducible F-periodic subvariety of the n-th dimensional affine space with non-constant projection to each coordinate axis is at most c(m,n). As an immediate application, we prove an instance of the dynamical Mordell-Lang problem following recent work of Xie. The main technical ingredients are Medvedev-Scanlon classification of invariant subvarieties together with classical and more recent results in Ritt's theory of polynomial decomposition.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Some finiteness results on monogenic orders in positive characteristic
Authors:
Jason P. Bell,
Khoa D. Nguyen
Abstract:
This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the following problems:
(A) Fix $s$ that is integral over $\mathcal{O}$, describe all $t$ such that $\mathcal{O}[s]=\mathcal{O}[t]$.
(B) Fix $s$ and $t$ that ar…
▽ More
This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the following problems:
(A) Fix $s$ that is integral over $\mathcal{O}$, describe all $t$ such that $\mathcal{O}[s]=\mathcal{O}[t]$.
(B) Fix $s$ and $t$ that are integral over $\mathcal{O}$, describe all pairs $(m,n)\in\mathbb{N}^2$ such that $\mathcal{O}[s^m]=\mathcal{O}[t^n]$.
In this paper, we solve these problems and provide a uniform bound for a certain "discriminant form equation" that is closely related to Problem (A) when $\mathcal{O}$ has characteristic $p>0$. While our general strategy roughly follows [EG85] and [Ngu15], many new delicate issues arise due to the presence of the Frobenius automorphisms $x\mapsto x^p$. Recent advances in unit equations over fields of positive characteristic together with classical results in characteristic zero play an important role in this paper.
△ Less
Submitted 30 August, 2015;
originally announced August 2015.
-
On modules of integral elements over finitely generated domains
Authors:
Khoa D. Nguyen
Abstract:
This paper is motivated by the results and questions of Jason P. Bell and Kevin G. Hare in the paper "On $\mathbb{Z}$-modules of algebraic integers" (Canad. J. Math. Vol. 61, 2009). Let $\mathcal{O}$ be a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero. We investigate the following two problems:
(A) Fix $q$ and $r$ that are integral over…
▽ More
This paper is motivated by the results and questions of Jason P. Bell and Kevin G. Hare in the paper "On $\mathbb{Z}$-modules of algebraic integers" (Canad. J. Math. Vol. 61, 2009). Let $\mathcal{O}$ be a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero. We investigate the following two problems:
(A) Fix $q$ and $r$ that are integral over $\mathcal{O}$, describe all pairs $(m,n)\in\mathbb{N}^2$ such that $\mathcal{O}[q^m]=\mathcal{O}[r^n]$.
(B) Fix $r$ that is integral over $\mathcal{O}$, describe all $q$ such that $\mathcal{O}[q]=\mathcal{O}[r]$.
In this paper, we solve Problem (A), present a solution of Problem (B) by Evertse and Győry, and explain their relation to the paper of Bell and Hare. In the following, $c_1$ and $c_2$ are effectively computable constants with a very mild dependence on $\mathcal{O}$, $q$, and $r$. For (B), Evertse and Győry show that there are $N\leq c_2$ elements $s_1,\ldots,s_N$ such that $\mathcal{O}[s_i]=\mathcal{O}[r]$ for every $i$, and for every $q$ such that $\mathcal{O}[q]=\mathcal{O}[r]$, we have $q-us_i\in\mathcal{O}$ for some $1\leq i\leq N$ and $u\in\mathcal{O}^*$. This immediately answers two questions about Pisot numbers by Bell and Hare in ibid. For (A), we show that except some "degenerate" cases that can be explicitly described, there are at most $c_1$ such pairs $(m,n)$. This significantly strengthens some results in ibid. We also make some remarks on effectiveness and discuss further questions at the end of the paper.
△ Less
Submitted 14 May, 2015; v1 submitted 9 December, 2014;
originally announced December 2014.
-
Dynamical Anomalous Subvarieties: Structure and Bounded Height Theorems
Authors:
D. Ghioca,
K. D. Nguyen
Abstract:
According to Medvedev and Scanlon, a polynomial $f(x)\in \bar{\mathbb Q}[x]$ of degree $d\geq 2$ is called disintegrated if it is not linearly conjugate to $x^d$ or $\pm C_d(x)$ (where $C_d(x)$ is the Chebyshev polynomial of degree $d$). Let $n\in\mathbb{N}$, let $f_1,\ldots,f_n\in \bar{\mathbb Q}[x]$ be disintegrated polynomials of degrees at least 2, and let $\varphi=f_1\times\ldots\times f_n$ b…
▽ More
According to Medvedev and Scanlon, a polynomial $f(x)\in \bar{\mathbb Q}[x]$ of degree $d\geq 2$ is called disintegrated if it is not linearly conjugate to $x^d$ or $\pm C_d(x)$ (where $C_d(x)$ is the Chebyshev polynomial of degree $d$). Let $n\in\mathbb{N}$, let $f_1,\ldots,f_n\in \bar{\mathbb Q}[x]$ be disintegrated polynomials of degrees at least 2, and let $\varphi=f_1\times\ldots\times f_n$ be the corresponding coordinate-wise self-map of $({\mathbb P}^1)^n$. Let $X$ be an irreducible subvariety of $({\mathbb P}^1)^n$ of dimension $r$ defined over $\bar{\mathbb Q}$. We define the \emph{$\varphi$-anomalous} locus of $X$ which is related to the \emph{$\varphi$-periodic} subvarieties of $({\mathbb P}^1)^n$. We prove that the $\varphi$-anomalous locus of $X$ is Zariski closed; this is a dynamical analogue of a theorem of Bombieri, Masser, and Zannier \cite{BMZ07}. We also prove that the points in the intersection of $X$ with the union of all irreducible $\varphi$-periodic subvarieties of $({\mathbb P}^1)^n$ of codimension $r$ have bounded height outside the $\varphi$-anomalous locus of $X$; this is a dynamical analogue of Habegger's theorem \cite{Habegger09} which was previously conjectured in \cite{BMZ07}. The slightly more general self-maps $\varphi=f_1\times\ldots\times f_n$ where each $f_i\in \bar{\mathbb Q}(x)$ is a disintegrated rational map are also treated at the end of the paper.
△ Less
Submitted 14 May, 2015; v1 submitted 23 August, 2014;
originally announced August 2014.
