It has been conjectured for some time that, for any integer n\ge 2, any real number ε>0 and any transcendental real number ξ, there would exist infinitely many algebraic integers αof degree at most n with the property that |ξ-α| < H(α)^{-n+ε}, where H(α) denotes the height of α. Although this is true for n=2, we show here that, for n=3, the optimal exponent of approximation is not 3 but (3+\sqrt{5})/2 = 2.618...
We study the structure of the codifferent and of additively indecomposable integers in families of totally real cubic fields. We prove that for cubic orders in these fields, the minimal trace of indecomposable integers multiplied by totally positive elements of the codifferent can be arbitrarily large. This is very surprising, as in the so far studied examples of quadratic and simplest cubic fields, this minimum is 1 and 2. We further give sharp upper bounds on the norms of indecomposable integers in our families.
For $n=3$, 4, and 5, we prove that, when $S_n$-number fields of degree $n$ are ordered by their absolute discriminants, the lattice shapes of the rings of integers in these fields become equidistributed in the space of lattices.
We prove that the ring of integers in the totally real cubic subfield $K^{(49)}$ of the cyclotomic field $\mathbb{Q}(ζ_7)$ has Pythagoras number equal to $4$. This is the smallest possible value for a totally real number field of odd degree. Moreover, we determine which numbers are sums of integral squares in this field, and use this knowledge to construct a diagonal universal quadratic form in five variables.
Hecke studies the distribution of fractional parts of quadratic irrationals with Fourier expansion of Dirichlet series. This method is generalized by Behnke and Ash-Friedberg, to study the distribution of the number of totally positive integers of given trace in a general totally real number field of any degree. When the field is cubic, we show that the asymptotic behavior of a weighted Diophantine sum is related to the structure of the unit group. The main term can be expressed in terms of Grössencharacter $L$-functions.
In an earlier paper [4], we derived asymptotic formulas for the number of representations of zero and of large positive integers by the cubic forms in seven variables which can be written as $L_1(x_1,x_2,x_3) Q_1(x_1,x_2,x_3)+ L_2(x_4,x_5,x_6) Q_2(x_4,x_5,x_6) + a_7 x_7^3$ where $L_1$ and $L_2$ are linear forms, $Q_1$ and $Q_2$ are quadratic forms and $a_7$ is a non-zero integer and for which certain quantities related to $L_1Q_1$ and $L_2Q_2$ were non-zero. In this paper, we consider the case when one or both of these quantities is zero but $L_1Q_1$ and $L_2Q_2$ are still nondegenerate cubic …
In 1969, H. Davenport and W. M. Schmidt studied the problem of approximation to a real number ξby algebraic integers of degree at most three. They did so, using geometry of numbers, by resorting to the dual problem of finding simultaneous approximations to ξand ξ^2 by rational numbers with the same denominator. In this paper, we show that their measure of approximation for the dual problem is optimal and that it is realized for a countable set of real numbers ξ. We give several properties of these numbers including measures of approximation by rational numbers, by quadratic real numbers and by…
Using the theory of metaplectic forms,we study the asymptotic behavior of cubic exponential sums over the ring of Eisenstein integers. In the first part of the paper, some non-trivial estimates on average over arithmetic progressions are obtained. In the second part of the paper, we prove that the sign of cubic exponential sums changes infinitely often, as the modulus runs over almost prime integers.
Reduced ideals have been defined in the context of integer rings in quadratic number fields, and they are closely tied to the continued fraction algorithm. The notion of this type of ideal extends naturally to number fields of higher degree. In the case of pure cubic fields, generated by cube roots of integers, a convenient integral basis provides a means for identifying reduced ideals in these fields. We define integer sequences whose terms are in correspondence with some of these ideals, suggesting a generalization of continued fractions.
In 1998 Friedlander and Iwaniec proved that there are infinitely many primes of the form $a^2+b^4$. To show this they defined the spin of Gaussian integers by the Jacobi symbol, and one of the key ingredients in the proof was to show that the spin becomes equidistributed along Gaussian primes. To generalize this we define the cubic spin of ideals of $\mathbb{Z}[ζ_{12}]=\mathbb{Z}[ζ_3,i]$ by using the cubic residue character on the Eisenstein integers $\mathbb{Z}[ζ_3]$. Our main theorem says that the cubic spin is equidistributed along prime ideals of $\mathbb{Z}[ζ_{12}]$. The proof of this fol…
A set of $m$ positive integers $\{x_{1},\ldots,x_{m}\}$ is called a $P^{3}_{1}$-set of size $m$ if the product of any three elements in the set increased by one is a cube integer. A $P^{3}_{1}$-set $S$ is said to be extendible if there exists an integer $y\not\in S$ such that $S\cup\{y\}$ still a $P^{3}_{1}$-set. Now, let consider the Diophantine equation $u(u+1)/2=v^{3}$ whose integer solutions produce what we called cubic-triangular numbers. The purpose of this paper is to prove simultaneously that the $P^{3}_{1}$-set $\{1,2,13\}$ is non-extendible and $n=1$ is the unique cubic-triangular nu…
In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to give precise asymptotic formulae for the number of integers in an interval representable by a binary cubic or quartic form and extends work of Hooley. Further, we give the field of definition of lines contained in certain cubic and quartic surfaces related to binary cubic and quartic forms.
In this paper, the Hermite problem has been approached finding a periodic representation (by means of periodic rational or integer sequences) for any cubic irrationality. In other words, the problem of writing cubic irrationals as a periodic sequence of rational or integer numbers has been solved. In particular, a periodic multidimensional continued fraction (with pre--period of length 2 and period of length 3) is proved convergent to a given cubic irrationality, by using the algebraic properties of cubic irrationalities and linear recurrent sequences. This multidimensional continued fraction …
A perfect cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. The existence of such cuboids is neither proved, nor disproved. A rational perfect cuboid is a natural companion of a perfect cuboid absolutely equivalent to the latter one. Its edges and face diagonals are rational numbers, while its space diagonal is equal to unity. Recently, based on a symmetry reduction, it was shown that edges of a rational perfect cuboid are roots of a certain cubic equation with rational coefficients depending on two rational parameters. F…
The PSLQ algorithm computes integer relations for real numbers and Gaussian integer relations for complex numbers. We endeavour to extend PSLQ to find integer relations consisting of algebraic integers from some quadratic extension fields (in both the real and complex cases). We outline the algorithm, discuss the required modifications for handling algebraic integers, problems that have arisen, experimental results, and challenges to further work.
Explicit solutions of the cubic Fermat equation are constructed in ring class fields $Ω_f$, with conductor $f$ prime to $3$, of any imaginary quadratic field $K$ whose discriminant satisfies $d_K \equiv 1$ (mod $3$), in terms of the Dedekind $η$-function. As $K$ and $f$ vary, the set of coordinates of all solutions is shown to be the exact set of periodic points of a single algebraic function and its inverse defined on natural subsets of the maximal unramified, algebraic extension $\textsf{K}_3$ of the $3$-adic field $\mathbb{Q}_3$. This is used to give a dynamical proof of a class number rela…
The paper assesses the top number of integer solutions for algebraic Diophantine Thue diagonal equation of the degree $n \geq 2$ and number of variables $k > 2$ and equations with explicit variable in the case when the coefficients of the equation are of the opposite signs. The author found integer conversions that maintain the asymptotic behavior of the number of integer solutions of algebraic Diophantine equation in the case of the conversion equation to diagonal form. The paper considers the estimation of the number of integer solutions for some types of algebraic Diophantine equations with…
This paper investigates the upper bound of the number of integer (natural) solutions of inhomogeneous algebraic Diophantine diagonal equations with integer coefficients without a free member via the circle method of Hardy and Littlewood. Author found the upper bound of the number of natural solutions of inhomogeneous algebraic Diophantine diagonal equations with explicit variable. He developed a method in the paper, which allows you to perform the low estimate of the number of natural (integer) solutions of algebraic Diophantine equation with integer coefficients. Author obtained a lower estim…
Let $n$ and $m$ be positive integers such that $n<m$. In this paper we compute the density of rectangular unimodular $n$ by $m$ matrices over the ring of algebraic integers of a number field.
Let $m\geq -1$ be an integer. We give a correspondence between integer solutions to the parametric family of cubic Thue equations \[ X^3-mX^2Y-(m+3)XY^2-Y^3=λ\] where $λ>0$ is a divisor of $m^2+3m+9$ and isomorphism classes of the simplest cubic fields. By the correspondence and R. Okazaki's result, we determine the exactly 66 non-trivial solutions to the Thue equations for positive divisors $λ$ of $m^2+3m+9$. As a consequence, we obtain another proof of Okazaki's theorem which asserts that the simplest cubic fields are non-isomorphic to each other except for $m=-1,0,1,2,3,5,12,54,66,1259,2389…
In the paper, we study the asymptotic distribution of real algebraic integers of fixed degree as their na\"ıve height tends to infinity. For an arbitrary interval $I \subset \mathbb{R}$ and sufficiently large $Q>0$, we obtain an asymptotic formula for the number of algebraic integers $α\in I$ of fixed degree $n$ and na\"ıve height $H(α)\le Q$. In particular, we show that the real algebraic integers of degree $n$, with their height growing, tend to be distributed like the real algebraic numbers of degree $n-1$. However, we reveal two symmetric "plateaux", where the distribution of real algebrai…
In this paper we prove the assertion that the number of monic cubic polynomials $F(x) = x^3 + a_2 x^2 + a_1 x + a_0$ with integer coefficients and irreducible, Galois over $\mathbb{Q}$ satisfying $\max\{|a_2|, |a_1|, |a_0|\} \leq X$ is bounded from above by $O(X (\log X)^2)$. We also count the number of abelian monic binary cubic forms with integer coefficients up to a natural equivalence relation ordered by the so-called Bhargava-Shankar height. Finally, we prove an assertion characterizing the splitting field of 2-torsion points of semi-stable abelian elliptic curves
The paper presents a new generalized integer orthogonal transformation which consists of a well known orthogonal transform followed by stretching the basis vectors maintaining the asymptotic behavior of the number of integer solutions for algebraic Diophantine equation. The author shows the properties of this transformation and he receives the algorithm for finding the matrix elements of a generalized integer orthogonal transformation for algebraic Diophantine equation of the second order to diagonal form. The article includes examples illustrating the reduction of algebraic equations of the s…
Let $k$ be a number field. For $\mathcal{H}\rightarrow \infty$, we give an asymptotic formula for the number of algebraic integers of absolute Weil height bounded by $\mathcal{H}$ and fixed degree over $k$.
The author showed that any homogeneous algebraic Diophantine equation of the second order can be converted to a diagonal form using an integer non-orthogonal transformation maintaining asymptotic behavior of the number of its integer solutions. In this paper, we consider the transformation to the diagonal form of a wider class of algebraic second-order Diophantine equations, and also we consider the conditions for converting higher order algebraic Diophantine equations to this form. The author found an asymptotic estimate for the number of integer solutions of the diagonal Thue equation of odd…
In this paper, we investigate the common index divisors of cyclic cubic fields. Let $a,b,c,d$ and $k$ are integers, we then solve the following Thue cubic equations:: \[ax^3+bx^2y+cxy^2+dy^3= k\ \] when $a,bc+d$ are odd and $3$ doesn't divide $v_2(k)$.
We obtain results bounding the degree of the series $\sum_{n=1}^{\infty} 1/α_n$, where $\{α_n\}$ is a sequence of algebraic integers satisfying certain algebraic conditions and growth conditions. Our results extend results of Erdős, Hančl and Nair.
In 1848 Ch.~Hermite asked if there exists some way to write cubic irrationalities periodically. A little later in order to approach the problem C.G.J.~Jacobi and O.~Perron generalized the classical continued fraction algorithm to the three-dimensional case, this algorithm is called now the Jacobi-Perron algorithm. This algorithm is known to provide periodicity only for some cubic irrationalities. In this paper we introduce two new algorithms in the spirit of Jacobi-Perron algorithm: the heuristic algebraic periodicity detecting algorithm and the $\sin^2$-algorithm. The heuristic algebraic peri…
Algebraic integers in totally imaginary quartic number fields are not discrete in the complex plane under a fixed embedding, which makes it impossible to visualize all integers in the plane, unlike the quadratic imaginary algebraic integers. In this note we consider a naturally occurring discrete subset of the algebraic integers with similar properties as lattices. For the fifth cyclotomic field, we investigate those integers with absolute values under a fixed embedding in a given bound. We show that such integers form a discrete set in the complex plane. It is observed that this subset has qu…
In the paper, we study the asymptotic distribution of real algebraic integers of fixed degree as their naive height tends to infinity. Let $I \subset \mathbb{R}$ be an arbitrary bounded interval, and $Q$ be a sufficiently large number. We obtain an asymptotic formula for the count of algebraic integers $α$ of fixed degree $n$ and naive height $H(α)\le Q$ lying in $I$. In this formula, we estimate the order of the error term from above and below. We show that algebraic integers of degree $n$ are distributed asymptotically like algebraic numbers of degree $(n-1)$ as the upper bound $Q$ of height…
We will give an explicit upper bound for the number of solutions to cubic inequality |F(x, y)| \leq h, where F(x, y) is a cubic binary form with integer coefficients and positive discriminant D. Our upper bound is independent of h, provided that h is smaller than D^{1/4}.
We consider a system of $R$ cubic forms in $n$ variables, with integer coefficients, which define a smooth complete intersection in projective space. Provided $n\geq 25R$, we prove an asymptotic formula for the number of integer points in an expanding box at which these forms simultaneously vanish. In particular we can handle systems of forms in $O(R)$ variables, previous work having required that $n \gg R^2$. One conjectures that $n \geq 6R+1$ should be sufficient. We reduce the problem to an upper bound for the number of solutions to a certain auxiliary inequality. To prove this bound we ada…
Let $K$ be a cyclic cubic field and $\mathcal{O}_K$ be its ring of integers. In this note we prove that all cyclic cubic number fields with conductors in the interval $ [73, 11971]$ and with class number one are Euclidean.
Let $α$ be an algebraic integer of degree $d$, which is reciprocal. The house of $α$ is the largest modulus of its conjugates. We compute the minimum of the houses of all reciprocal algebraic integers of degree $d$ which are not roots of unity, say $\mathrm{mr}(d)$, for $d$ at most 34. We prove several lemmata and use them to avoid unnecessary calculations. The computations suggest several conjectures. The direct consequence of the last one is the conjecture of Schinzel and Zassenhaus. We demonstrate the utility of $d$-th power of the house of $α$.
By considering the norm of elements in the ring of integers in $\mathbb{Q}(\sqrt{-a})$, we give an algebraic approach to count the number of integral solutions of diophantine equations of the form $x^2+ay^2=n$ where $a$ is a Heegner number or $a=27$.
Let $b \ge 2$ be an integer. We prove that the $b$-adic expansion of every irrational algebraic number cannot have low complexity. Furthermore, we establish that irrational morphic numbers are transcendental, for a wide class of morphisms. In particular, irrational automatic numbers are transcendental. Our main tool is a new, combinatorial transcendence criterion.
Let F be the cubic field of discriminant -23 and let O be its ring of integers. By explicitly computing cohomology of congruence subgroups of GL(2,O), we computationally investigate modularity of elliptic curves over F.
In 1970 A. Baker and W. Schmidt introduced regular systems of numbers and vectors, showing that the set of real algebraic numbers forms a regular system on any fixed interval. This fact was used to prove several important results in the metric theory of transcendental numbers. In this paper the concept of a regular system is applied to the set of algebraic integers $α$ of height $\leq Q$ in intervals of length depending on $Q$.
Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive irreducible polynomials.
In algebraic number theory, the finiteness of the Picard group of an order in a number field is generally proved via a lattice argument: the order forms a lattice and every ideal class contains an integral ideal with a small enough non-zero element. In this work we will consider $\overline{\mathbb{Z}}$, the ring of algebraic integers, which is a lattice in a similar sense, and we will treat this lattice as intrinsically interesting. We will prove several properties of $\overline{\mathbb{Z}}$ and state some open problems. Many of these properties have connections to the indecomposable elements …
Denote by $s_0^{(r)}$ the least integer such that if $s \ge s_0^{(r)}$, and $F$ is a cubic form with real coefficients in $s$ variables that splits into $r$ parts, then $F$ takes arbitrarily small values at nonzero integral points. We bound $s_0^{(r)}$ for $r \le 6$.
We give an algebraic identity for cubic polynomials which generalizes Brahmagupta's identity and facilitates arithmetic in cubic fields. We also pose a question about a relationship between the elements of a cubic field of fixed trace and fixed norm and rational points of an elliptic curve.
In this paper we intend to show that certain integers do not occur as the norms of principal ideals in a family of cubic fields studied by Cohn, Shanks, and Ennola. These results will simplify the construction of certain unramified quadratic extensions of such fields.
We create plots of algebraic integers in the complex plane, exploring the effect of sizing the integers according to various arithmetic invariants. We focus on Galois theoretic invariants, in particular creating plots which emphasize algebraic integers whose Galois group is not the full symmetric group--these integers we call rigid. We then give some analysis of the resulting images, suggesting avenues for future research about the geometry of so-called rigid algebraic integers.
Let $k$ be a number field and $S$ a finite set of places of $k$ containing the archimedean ones. We count the number of algebraic points of bounded height whose coordinates lie in the ring of $S$-integers of $k$. Moreover, we give an asymptotic formula for the number of $\bar{S}$-integers of bounded height and fixed degree over $k$, where $\bar{S}$ is the set of places of $\bar{k}$ lying above the ones in $S$.
Euler showed that there can be no more than three integer squares in arithmetic progression. In quadratic number fields, Xarles has shown that there can be arithmetic progressions of five squares, but not of six. Here, we prove that there are no cubic number fields which contain five squares in arithmetic progression.
The Cayley cubic surface is given by the equation sum_{i=1}^4 X_i^{-1}=0. We show that the number of non-trivial primitive integer points of size at most B is of exact order B(log B)^6, as predicted by Manin's conjecture.
