Source author record

Khoa D. Nguyen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT Information Theory math.IT math.DS math.AG

Catalog footprint

Research overview

17works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A general criterion for the Pólya-Carlson dichotomy and application

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.

preprint2022arXiv

Endomorphisms of positive characteristic tori: entropy and zeta function

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.

preprint2021arXiv

Transcendence of polynomial canonical heights

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.

preprint2020arXiv

Monogenic pure cubics

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}$ .

preprint2020arXiv

Transcendental Series of Reciprocals of Fibonacci and Lucas Numbers

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$ .

preprint2016arXiv

Squarefree Doubly Primitive Divisors in Dynamical Sequences

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.

preprint2016arXiv

The Dynamical Manin-Mumford Conjecture and the Dynamical Bogomolov Conjecture for split rational maps

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.

preprint2015arXiv

Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier

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.

preprint2015arXiv

Density Evolution Analysis of Spatially Coupled LDPC Codes Over BIAWGN Channel

In this paper, we study the density evolution analysis of spatially coupled low-density parity-check (SC-LDPC) codes over binary input additive white Gaussian noise (BIAWGN) channels under the belief propagation (BP) decoding algorithm. Using reciprocal channel approximation and Gaussian approximation, we propose averaging techniques for the density evolution of SC-LDPC codes over BIAWGN channels. We show that the proposed techniques can closely predict the decoding threshold while offering reduced complexity compared to the existing multi-edge-type density evolution.

preprint2015arXiv

Dynamics of split polynomial maps: uniform bounds for periods and applications

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.

preprint2015arXiv

On modules of integral elements over finitely generated domains

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.

preprint2015arXiv

Some finiteness results on monogenic orders in positive characteristic

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.

preprint2014arXiv

Causal/Predictive Imperfect Channel State Information in Block-Fading Channels

We consider a multi-input multi-output (MIMO) block-fading channel with a general model for channel state information at the transmitter (CSIT). The model covers systems with causal CSIT, where only CSIT of past fading blocks is available, and predictive CSIT, where CSIT of some future fading blocks is available. The optimal diversity-multiplexing tradeoff (DMT) and rate-diversity tradeoff (RDT) of the channel are studied under long-term power constraints. The impact of imperfect (mismatched) CSIT on the optimal DMT and RDT is also investigated. Our results show the outage diversity gain obtained by providing imperfect causal/predictive CSIT, leading to new insights into system design and analysis.

preprint2014arXiv

Delay-Exponent of Bilayer Anytime Code

In this paper, we study the design and the delay-exponent of anytime codes over a three terminal relay network. We propose a bilayer anytime code based on anytime spatially coupled low-density parity-check (LDPC) codes and investigate the anytime characteristics through density evolution analysis. By using mathematical induction technique, we find analytical expressions of the delay-exponent for the proposed code. Through comparison, we show that the analytical delay-exponent has a close match with the delay-exponent obtained from numerical results.

preprint2013arXiv

Finite Length Analysis of LDPC Codes

In this paper, we study the performance of finite-length LDPC codes in the waterfall region. We propose an algorithm to predict the error performance of finite-length LDPC codes over various binary memoryless channels. Through numerical results, we find that our technique gives better performance prediction compared to existing techniques.

preprint2010arXiv

MIMO ARQ with Multi-bit Feedback: Outage Analysis

We study the asymptotic outage performance of incremental redundancy automatic repeat request (INR-ARQ) transmission over the multiple-input multiple-output (MIMO) block-fading channels with discrete input constellations. We first show that transmission with random codes using a discrete signal constellation across all transmit antennas achieves the optimal outage diversity given by the Singleton bound. We then analyze the optimal SNR-exponent and outage diversity of INR-ARQ transmission over the MIMO block-fading channel. We show that a significant gain in outage diversity is obtained by providing more than one bit feedback at each ARQ round. Thus, the outage performance of INR-ARQ transmission can be remarkably improved with minimal additional overhead. A suboptimal feedback and power adaptation rule, which achieves the optimal outage diversity, is proposed for MIMO INR-ARQ, demonstrating the benefits provided by multi-bit feedback.

preprint2007arXiv

A Tight Lower Bound to the Outage Probability of Discrete-Input Block-Fading Channels

In this correspondence, we propose a tight lower bound to the outage probability of discrete-input Nakagami-m block-fading channels. The approach permits an efficient method for numerical evaluation of the bound, providing an additional tool for system design. The optimal rate-diversity trade-off for the Nakagami-m block-fading channel is also derived and a tight upper bound is obtained for the optimal coding gain constant.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Khoa D. Nguyen

Research overview

Is this your work?

17 publications

A general criterion for the Pólya-Carlson dichotomy and application

Endomorphisms of positive characteristic tori: entropy and zeta function

Transcendence of polynomial canonical heights

Monogenic pure cubics

Transcendental Series of Reciprocals of Fibonacci and Lucas Numbers

Squarefree Doubly Primitive Divisors in Dynamical Sequences

The Dynamical Manin-Mumford Conjecture and the Dynamical Bogomolov Conjecture for split rational maps

Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier

Density Evolution Analysis of Spatially Coupled LDPC Codes Over BIAWGN Channel

Dynamics of split polynomial maps: uniform bounds for periods and applications

On modules of integral elements over finitely generated domains

Some finiteness results on monogenic orders in positive characteristic

Causal/Predictive Imperfect Channel State Information in Block-Fading Channels

Delay-Exponent of Bilayer Anytime Code

Finite Length Analysis of LDPC Codes

MIMO ARQ with Multi-bit Feedback: Outage Analysis

A Tight Lower Bound to the Outage Probability of Discrete-Input Block-Fading Channels

See the researcher in context

Building this map preview