arXiv subjects
Publications and source records attributed to Byungchul Cha.
The discrete part of the Markoff spectrum on the Hecke group of index 6 was determined by A.~Schmidt. In this paper, we study its Markoff and Lagrange spectra after the smallest accumulation point $4/\sqrt3$. We show that both the Markoff and Lagrange spectra below $4/\sqrt{3} + \epsilon$ have positive Hausdorff dimension for any positive $\epsilon$. We also find maximal gaps and an isolated point in the spectra.
In this article, we give an asymptotic bound for the exponential sum of the M\"obius function $\sum_{n \le x} \mu(n) e(\alpha n)$ for a fixed irrational number $\alpha\in\mathbb{R}$. This exponential sum was originally studied by Davenport and he obtained an asymptotic bound of $x(\log x)^{-A}$ for any $A\ge0$. Our bound depends on the irrationality exponent $\eta$ of $\alpha$. If $\eta \le 5/2$, we obtain a bound of $x^{4/5 + \varepsilon}$ and, when $\eta \ge 5/2$, our bound is $x^{(2\eta-1)/2\eta + \varepsilon}$. This result extends a result of Murty and Sankaranarayanan, who obtained the same bound in the case $\eta = 2$.
Say that $(x, y, z)$ is a positive primitive integral Pythagorean triple if $x, y, z$ are positive integers without common factors satisfying $x^2 + y^2 = z^2$. An old theorem of Berggren gives three integral invertible linear transformations whose semi-group actions on $(3, 4, 5)$ and $(4, 3, 5)$ generate all positive primitive Pythagorean triples in a unique manner. We establish an analogue of Berggren's theorem in the context of a one-variable polynomial ring over a field of characteristic $\neq 2$. As its corollaries, we obtain some structure theorems regarding the orthogonal group with respect to the Pythagorean quadratic form over the polynomial ring.
We study Lagrange spectra arising from intrinsic Diophantine approximation of circles and spheres. More precisely, we consider three circles embedded in $\mathbb{R}^2$ or $\mathbb{R}^3$ and three spheres embedded in $\mathbb{R}^3$ or $\mathbb{R}^4$. We present a unified framework to connect the Lagrange spectra of these six spaces with the spectra of $\mathbb{R}$ and $\mathbb{C}$. Thanks to prior work of Asmus L.~Schmidt on the spectra of $\mathbb{R}$ and $\mathbb{C}$, we obtain as a corollary, for each of the six spectra, the smallest accumulation point and the initial discrete part leading up to it completely.
We study an intrinsic Lagrange spectrum of the unit circle $|z|=1$ in the complex plane with respect to the Eisensteinian field $\mathbb{Q}(\sqrt{-3})$. We prove that the minimum of the Lagrange spectrum is $2$ and that its smallest accumulation point is $4/\sqrt{3}$. In addition, we characterize the set of all values in the spectrum between $2$ and $4/\sqrt3$.
Let $\mathscr{L}(S^1)$ be the Lagrange spectrum arising from intrinsic Diophantine approximation on the unit circle $S^1$ by its rational points. We give a complete description of the structure of $\mathscr{L}(S^1)$ below its smallest accumulation point. To this end, we use digit expansions of points on $S^1$, which were originally introduced by Romik in 2008 as an analogue of simple continued fraction of a real number. We prove that the smallest accumulation point of $\mathscr{L}(S^1)$ is 2. Also we characterize the points on $S^1$ whose Lagrange numbers are less than 2 in terms of Romik's digit expansions. Our theorem is the analogue of the celebrated theorem of Markoff on badly approximable real numbers.
We study a dynamical system that was originally defined by Romik in 2008 using an old theorem of Berggren concerning Pythagorean triples. Romik's system is closely related to the Farey map on the unit interval which generates an additive continued fraction algorithm. We explore some number theoretical properties of the Romik system. In particular, we prove an analogue of Lagrange's theorem in the case of the Romik system on the unit quarter circle, which states that a point possesses an eventually periodic digit expansion if and only if the point is defined over a real quadratic extension field of rationals.
An ordered triple $(s,p,n)$ is called admissible if there exist two different multisets $X=\{x_1,x_2,\dotsc,x_n\}$ and $Y=\{y_1,y_2,\dotsc,y_n\}$ such that $X$ and $Y$ share the same sum $s$, the same product $p$, and the same size $n$. We first count the number of $n$ such that $(s,p,n)$ are admissible for a fixed $s$. We also fully characterize the values $p$ such that $(s,p,n)$ is admissible. Finally, we consider the situation where $r$ different multisets are needed, instead of just two. This project is also related to John Conway's wizard puzzle from the 1960s.
We study the prime number race for elliptic curves over the function field of a proper, smooth and geometrically connected curve over a finite field. This constitutes a function field analogue of prior work by Mazur, Sarnak and the second author. In this geometric setting we can prove unconditional results whose counterparts in the number field case are conditional on a Riemann Hypothesis and a linear independence hypothesis on the zeros of the implied L-functions. Notably we show that in certain natural families of elliptic curves, the bias generically dissipates as the conductor grows. This is achieved by proving a central limit theorem and combining it with generic linear independence results that will appear in a separate paper. Also we study in detail a particular family of elliptic curves that have been considered by Ulmer. In contrast to the generic case we show that the race exhibits very diverse outcomes, some of which are believed to be impossible in the number field setting. Such behaviors are possible in the function field case because the zeros of Hasse-Weil L-functions for those elliptic curves can be proven to be highly dependent among themselves, which is a very non generic situation.
The Linear Independence hypothesis (LI), which states roughly that the imaginary parts of the critical zeros of Dirichlet L-functions are linearly independent over the rationals, is known to have interesting consequences in the study of prime number races, as was pointed out by Rubinstein and Sarnak. In this paper, we prove that a function field analogue of LI holds generically within certain families of elliptic curve L-functions and their symmetric powers. More precisely, for certain algebro-geometric families of elliptic curves defined over the function field of a fixed curve over a finite field, we give strong quantitative bounds for the number of elements in the family for which the relevant L-functions have their zeros as linearly independent over the rationals as possible.
We study the growth rate of the summatory function of the Möbius function in the context of an algebraic curve over a finite field. Our work shows a strong resemblance to its number field counterpart, which was proved by Ng in 2004. We find an expression for a bound of the summatory function, which becomes sharp when the zeta zeros of the curve satisfy a certain linear independence property. Extending a result of Kowalski in 2008, we prove that most curves in the family of universal hyperelliptic curves satisfy this property. Then, we consider a certain geometric average of such bound in this family, using Katz and Sarnak's reformulation of the equidistribution theorem of Deligne. Lastly, we study an asymptotic behavior of this average as the family gets larger by evaluating the average values of powers of characteristic polynomials of random unitary symplectic matrices.