-
A Lower Bound for the Area of the Fundamental Region of a Binary Form
Authors:
Jason Fang,
Anton Mosunov
Abstract:
Let $$ F(x, y) = \prod\limits_{k = 0}^{n - 1}(δ_kx - γ_ky) $$ be a binary form of degree $n \geq 1$, with complex coefficients, written as a product of $n$ linear forms in $\mathbb C[x, y]$. Let $$ h_F = \prod\limits_{k = 0}^{n - 1}\sqrt{|γ_k|^2 + |δ_k|^2} $$ denote the height of $F$ and let $A_F$ denote the area of the fundamental region of $F$:…
▽ More
Let $$ F(x, y) = \prod\limits_{k = 0}^{n - 1}(δ_kx - γ_ky) $$ be a binary form of degree $n \geq 1$, with complex coefficients, written as a product of $n$ linear forms in $\mathbb C[x, y]$. Let $$ h_F = \prod\limits_{k = 0}^{n - 1}\sqrt{|γ_k|^2 + |δ_k|^2} $$ denote the height of $F$ and let $A_F$ denote the area of the fundamental region of $F$: $$ \left\{(x, y) \in \mathbb R^2 \colon |F(x, y)| \leq 1\right\}. $$ We prove that $h_F^{2/n}A_F \geq \left(2^{1 + (r/n)}\right)π$, where $r$ is the number of roots of $F$ on the real projective line $\mathbb R\mathbb P^1$, counting multiplicity.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Absolute Bound On the Number of Solutions of Certain Diophantine Equations of Thue and Thue-Mahler Type
Authors:
Anton Mosunov
Abstract:
Let $F \in \mathbb Z[x, y]$ be an irreducible binary form of degree $d \geq 7$ and content one. Let $α$ be a root of $F(x, 1)$ and assume that the field extension $\mathbb Q(α)/\mathbb Q$ is Galois. We prove that, for every sufficiently large prime power $p^k$, the number of solutions to the Diophantine equation of Thue type $$ |F(x, y)| = tp^k $$ in integers $(x, y, t)$ such that…
▽ More
Let $F \in \mathbb Z[x, y]$ be an irreducible binary form of degree $d \geq 7$ and content one. Let $α$ be a root of $F(x, 1)$ and assume that the field extension $\mathbb Q(α)/\mathbb Q$ is Galois. We prove that, for every sufficiently large prime power $p^k$, the number of solutions to the Diophantine equation of Thue type $$ |F(x, y)| = tp^k $$ in integers $(x, y, t)$ such that $\gcd(x, y) = 1$ and $1 \leq t \leq (p^k)^λ$ does not exceed $24$. Here $λ= λ(d)$ is a certain positive, monotonously increasing function that approaches one as $d$ tends to infinity. We also prove that, for every sufficiently large prime number $p$, the number of solutions to the Diophantine equation of Thue-Mahler type $$ |F(x, y)| = tp^z $$ in integers $(x, y, z, t)$ such that $\gcd(x, y) = 1$, $z \geq 1$ and $1 \leq t \leq (p^z)^{\frac{10d - 61}{20d + 40}}$ does not exceed 1992. Our proofs follow from the combination of two principles of Diophantine approximation, namely the generalized non-Archimedean gap principle and the Thue-Siegel principle.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
On the Generalization of the Gap Principle
Authors:
Anton Mosunov
Abstract:
Let $α$ be a real algebraic number of degree $d \geq 3$ and let $β\in \mathbb Q(α)$ be irrational. Let $μ$ be a real number such that $(d/2) + 1 < μ< d$ and let $C_0$ be a positive real number. We prove that there exist positive real numbers $C_1$ and $C_2$, which depend only on $α$, $β$, $μ$ and $C_0$, with the following property. If $x_1/y_1$ and $x_2/y_2$ are rational numbers in lowest terms su…
▽ More
Let $α$ be a real algebraic number of degree $d \geq 3$ and let $β\in \mathbb Q(α)$ be irrational. Let $μ$ be a real number such that $(d/2) + 1 < μ< d$ and let $C_0$ be a positive real number. We prove that there exist positive real numbers $C_1$ and $C_2$, which depend only on $α$, $β$, $μ$ and $C_0$, with the following property. If $x_1/y_1$ and $x_2/y_2$ are rational numbers in lowest terms such that $$ H(x_2, y_2) \geq H(x_1, y_1) \geq C_{1} $$ and $$ \left|α- \frac{x_1}{y_1}\right| < \frac{C_0}{H(x_1, y_1)^μ}, \quad \left|β- \frac{x_2}{y_2}\right| < \frac{C_0}{H(x_2, y_2)^μ}, $$ then either $H(x_2, y_2) > C_{2}^{-1} H(x_1, y_1)^{μ- d/2}$, or there exist integers $s, t, u, v$, with $sv - tu \neq 0$, such that $$ β= \frac{sα+ t}{uα+ v} \quad \text{and} \quad \frac{x_2}{y_2} = \frac{sx_1 + ty_1}{ux_1 + vy_1}, $$ or both. Here $H(x, y) = \max(|x|, |y|)$ is the height of $x/y$. Since $μ- d/2$ exceeds one, our result demonstrates that, unless $α$ and $β$ are connected by means of a linear fractional transformation with integer coefficients, the heights of $x_1/y_1$ and $x_2/y_2$ have to be exponentially far apart from each other. An analogous result is established in the case when $α$ and $β$ are $p$-adic algebraic numbers.
△ Less
Submitted 27 June, 2022; v1 submitted 27 December, 2021;
originally announced December 2021.
-
Numerical and Statistical Analysis of Aliquot Sequences
Authors:
Kevin Chum,
Richard K. Guy,
Michael J. Jacobson, Jr.,
Anton S. Mosunov
Abstract:
We present a variety of numerical data related to the growth of terms in aliquot sequences, iterations of the function $s(n) = σ(n) - n$. First, we compute the geometric mean of the ratio $s_k(n)/s_{k-1}(n)$ of $k$th iterates for $n \leq 2^{37}$ and $k=1,\dots,10.$ Second, we extend the computation of numbers not in the range of $s(n)$ (called untouchable) by Pollack and Pomerance to the bound of…
▽ More
We present a variety of numerical data related to the growth of terms in aliquot sequences, iterations of the function $s(n) = σ(n) - n$. First, we compute the geometric mean of the ratio $s_k(n)/s_{k-1}(n)$ of $k$th iterates for $n \leq 2^{37}$ and $k=1,\dots,10.$ Second, we extend the computation of numbers not in the range of $s(n)$ (called untouchable) by Pollack and Pomerance to the bound of $2^{40}$ and use these data to compute the geometric mean of the ratio of consecutive terms limited to terms in the range of $s(n).$ Third, we give an algorithm to compute $k$-untouchable numbers ($k-1$st iterates of $s(n)$ but not $k$th iterates) along with some numerical data. Finally, inspired by earlier work of Devitt, we estimate the growth rate of terms in aliquot sequences using a Markov chain model based on data extracted from thousands of sequences.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
On the Representation of Integers by Binary Forms Defined by Means of the Relation $(x + yi)^n = R_n(x, y) + J_n(x, y)i$
Authors:
A. Mosunov
Abstract:
Let $F$ be a binary form with integer coefficients, non-zero discriminant and degree $d \geq 3$. Let $R_F(Z)$ denote the number of integers of absolute value at most $Z$ which are represented by $F$. In 2019 Stewart and Xiao proved that $R_F(Z) \sim C_FZ^{2/d}$ for some positive number $C_F$. We compute $C_{R_n}$ and $C_{J_n}$ for the binary forms $R_n(x, y)$ and $J_n(x, y)$ defined by means of th…
▽ More
Let $F$ be a binary form with integer coefficients, non-zero discriminant and degree $d \geq 3$. Let $R_F(Z)$ denote the number of integers of absolute value at most $Z$ which are represented by $F$. In 2019 Stewart and Xiao proved that $R_F(Z) \sim C_FZ^{2/d}$ for some positive number $C_F$. We compute $C_{R_n}$ and $C_{J_n}$ for the binary forms $R_n(x, y)$ and $J_n(x, y)$ defined by means of the relation $ (x + yi)^n = R_n(x, y) + J_n(x, y)i$, where the variables $x$ and $y$ are real.
△ Less
Submitted 6 March, 2022; v1 submitted 10 October, 2021;
originally announced October 2021.
-
On the Automorphism Group of a Binary Form Associated with Algebraic Trigonometric Quantities
Authors:
Anton Mosunov
Abstract:
Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. In this article we compute the automorphism group $\operatorname{Aut} F$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2π}{n}\right)$ and $2\sin\left(\frac{2π}{n}\right)$, which we denote by $Ψ_n(x, y)$ and…
▽ More
Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. In this article we compute the automorphism group $\operatorname{Aut} F$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2π}{n}\right)$ and $2\sin\left(\frac{2π}{n}\right)$, which we denote by $Ψ_n(x, y)$ and $Π_n(x, y)$, respectively. The remaining two forms that we consider are homogenizations of Chebyshev polynomials of first and second kinds, denoted $T_n(x, y)$ and $U_n(x, y)$, respectively.
△ Less
Submitted 3 November, 2021; v1 submitted 1 January, 2021;
originally announced January 2021.
-
On the Area of the Fundamental Region of a Binary Form Associated with Algebraic Trigonometric Quantities
Authors:
Anton Mosunov
Abstract:
Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. We estimate the area $A_F$ bounded by the curve $|F(x, y)| = 1$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2π}{n}\right)$ and $2\sin\left(\frac{2π}{n}\right)$, which we denote by $Ψ_n(x, y)$ and $Π_n(x, y)$, resp…
▽ More
Let $F(x, y)$ be a binary form of degree at least three and non-zero discriminant. We estimate the area $A_F$ bounded by the curve $|F(x, y)| = 1$ for four families of binary forms. The first two families that we are interested in are homogenizations of minimal polynomials of $2\cos\left(\frac{2π}{n}\right)$ and $2\sin\left(\frac{2π}{n}\right)$, which we denote by $Ψ_n(x, y)$ and $Π_n(x, y)$, respectively. The remaining two families of binary forms that we consider are homogenizations of Chebyshev polynomials of first and second kinds, denoted $T_n(x, y)$ and $U_n(x, y)$, respectively.
△ Less
Submitted 17 March, 2021; v1 submitted 24 December, 2020;
originally announced December 2020.
-
On the Area Bounded by the Curve $\prod_{k = 1}^n |x\sin(kπ/n)-y\cos(kπ/n)| = 1$
Authors:
Anton Mosunov
Abstract:
For a positive integer $n$, let $$ F_n^*(X, Y) = \prod\limits_{k = 1}^n\left(X\sin\left(\frac{kπ}{n}\right) -Y\cos\left(\frac{kπ}{n}\right)\right). $$ In 2000 Bean and Laugesen proved that for every $n \geq 3$ the area bounded by the curve $|F_n^*(x, y)| = 1$ is equal to $4^{1 - 1/n}B\left(\frac{1}{2} - \frac{1}{n}, \frac{1}{2}\right)$, where $B(x, y)$ is the beta function. We provide an elementar…
▽ More
For a positive integer $n$, let $$ F_n^*(X, Y) = \prod\limits_{k = 1}^n\left(X\sin\left(\frac{kπ}{n}\right) -Y\cos\left(\frac{kπ}{n}\right)\right). $$ In 2000 Bean and Laugesen proved that for every $n \geq 3$ the area bounded by the curve $|F_n^*(x, y)| = 1$ is equal to $4^{1 - 1/n}B\left(\frac{1}{2} - \frac{1}{n}, \frac{1}{2}\right)$, where $B(x, y)$ is the beta function. We provide an elementary proof of this fact based on the polar formula for the area calculation. We also prove that $$ F_n^*(X, Y) = 2^{1 - n}\sum\limits_{\substack{1 \leq k \leq n\\\text{$k$ is odd}}}(-1)^{\frac{k - 1}{2}}\binom{n}{k}X^{n - k}Y^k $$ and demonstrate that $\ell_n = 2^{n - 1 - ν_2(n)}$ is the smallest positive integer such that the binary form $\ell_n F_n^*(X, Y)$ has integer coefficients. Here $ν_2(n)$ denotes the $2$-adic order of $n$.
△ Less
Submitted 20 January, 2021; v1 submitted 10 February, 2020;
originally announced February 2020.
-
Unconditional Class Group Tabulation of Imaginary Quadratic Fields to $|Δ| < 2^{40}$
Authors:
A. S. Mosunov,
M. J. Jacobson Jr
Abstract:
We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all $Δ\not \equiv 1 \pmod{8}.$ The group structure is resolved using the factorization of the group order. The $1 \bmod 8$ case was handled using the methods of \cit…
▽ More
We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all $Δ\not \equiv 1 \pmod{8}.$ The group structure is resolved using the factorization of the group order. The $1 \bmod 8$ case was handled using the methods of \cite{jacobson}, including the batch verification method based on the Eichler-Selberg trace formula to remove dependence on the Extended Riemann Hypothesis. Our new method enabled us to extend the previous bound of $|Δ| < 2 \cdot 10^{11}$ to $2^{40}$. Statistical data in support of a variety conjectures is presented, along with new examples of class groups with exotic structures.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
Ideal Class Group Algorithms in the Ring of Integral Quaternions
Authors:
Anton S. Mosunov
Abstract:
An ideal is a classical object of study in the field of algebraic number theory. In maximal quadratic orders of number fields, ideals usually represented by the $\mathbb Z$-basis. This form of representation is used in most of the algorithms for ideal manipulation. However, this is not the only option, as an ideal can also be represented by its generating set. Moreover, in certain quadratic orders…
▽ More
An ideal is a classical object of study in the field of algebraic number theory. In maximal quadratic orders of number fields, ideals usually represented by the $\mathbb Z$-basis. This form of representation is used in most of the algorithms for ideal manipulation. However, this is not the only option, as an ideal can also be represented by its generating set. Moreover, in certain quadratic orders of the ring of integral quaternions, every ideal can be represented by a single quaternion, called a pseudo generator.
In this paper, we develop algorithms which allow us to manipulate ideals using solely their pseudo generators. We also demonstrate the connection between the three squares problem and factorization. This result comes as an extension of a number factoring technique discovered by Fermat, which allows the factoring of an integer if a pair of its two squares representations is known. In addition to this, we present a number of identities, which ideals must satisfy; some computational data on the number of ambiguous classes, generated by the equation $ρμ= -μρ$; and a new approach to the problem of finding a non-trivial divisor of a class number.
△ Less
Submitted 8 February, 2014; v1 submitted 13 November, 2013;
originally announced November 2013.
