In 2016, Jang and Kim stated a conjecture about the norms of indecomposable integers in real quadratic number fields $\mathbb{Q} \left( \sqrt{D} \right)$ where $D>1$ is a squarefree integer. Their conjecture was later disproved by Kala for $D \equiv 2 \bmod 4$. We investigate such indecomposable integers in greater detail. In particular, we find the minimal $D$ in each congruence class $D \equiv 1,2,3 \bmod 4$ that provides a counterexample to the Jang-Kim Conjecture; provide infinite families of such counterexamples; and state a refined version of the Jang-Kim conjecture. Lastly, we prove a slightly weaker version of our refined conjecture that is of the correct order of magnitude, showing the Jang-Kim Conjecture is only wrong by at most $O \left( \sqrt{D} \right)$.
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.
The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given sufficient conditions for an indecomposable element of a quadratic subfield to remain indecomposable in the biquadratic number field $K$. Furthermore, estimates are proven which enable algorithmization of the method of escalation over $K$. These are used to prove, over two particular biquadratic number fields $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ and $\mathbb{Q}(\sqrt{6},…
We study totally positive, additively indecomposable integers in a real quadratic field $\mathbb Q(\sqrt D)$. We estimate the size of the norm of an indecomposable integer by expressing it as a power series in $u_i^{-1}$, where $\sqrt D$ has the periodic continued fraction expansion $[u_0, u_1, u_2, \dots, u_{s-1}, 2u_0, u_1, u_2, \dots]$. This enables us to disprove a conjecture of Jang-Kim [JK] concerning the maximal size of the norm of an indecomposable integer.
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 …
Let $K=\mathbb Q(\sqrt D)$ be a real quadratic field. We consider the additive semigroup $\mathcal O_K^+(+)$ of totally positive integers in $K$ and determine its generators (indecomposable integers) and relations; they can be nicely described in terms of the periodic continued fraction for $\sqrt D$. We also characterize all uniquely decomposable integers in $K$ and estimate their norms. Using these results, we prove that the semigroup $\mathcal O_K^+(+)$ completely determines the real quadratic field $K$.
Following Bhargava and Hanke's celebrated 290-theorem, we prove a universality theorem for all positive-definite integer-valued quadratic forms that represent all positive integers coprime to $3$. In particular, if a positive-definite quadratic form represents all positive integers coprime to $3$ and $\leq 290$, then it represents all positive integers coprime to $3$. We use similar methods to those used by Rouse to prove (assuming GRH) that a positive-definite quadratic form representing every odd integer between $1$ and $451$ represents all positive odd integers.
In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of ternary quadratic forms. In this article, we prove the existence of pairs of ternary quadratic forms representing same integers which are not in the Kaplansky's list.
Suppose $k$ is a positive integer. In this work, we establish formulas for for the number of representations of integers by the quadratic forms $$ x_{1}^{2}+\cdots+x_{k}^{2}+l\left(x_{k+1}^{2}+\cdots+x_{2k}^{2}\right) $$ for $l\in\{2,4\}$.
In this paper we consider certain quaternary quadratic forms and octonary quadratic forms and by using the theory of modular forms, we find formulae for the number of representations of a positive integer by these quadratic forms.
We apply the circle method with a Gaussian weight to obtain an asymptotic formula for the density of representations of non-zero integers by non-singular quadratic forms in at least four variables.
In this note we show that for a given irreducible binary quadratic form $f(x,y)$ with integer coefficients, whenever we have $f(x,y) = f(u,v)$ for integers $x,y,u,v$, there exists a rational automorphism of $f$ which sends $(x,y)$ to $(u,v)$.
Building on the classification of all characteristic polynomials of integer symmetric matrices having small span (span less than 4), we obtain a classification of small-span polynomials that are the characteristic polynomial of a Hermitian matrix over some quadratic integer ring. Taking quadratic integer rings as our base, we obtain as characteristic polynomials some low-degree small-span polynomials that are not the characteristic (or minimal) polynomial of any integer symmetric matrix.
We use ideas from our previous work to obtain some theorems that will allow us to obtain the integer solution of a quadratic polynomial in two variables that represents a natural number
We classify all cyclotomic matrices over real quadratic integer rings and we show that this classification is the same as classifying cyclotomic matrices over the compositum all real quadratic integer rings. Moreover, we enumerate a related class of symmetric matrices; those matrices whose eigenvalues are contained inside the interval [-2,2] but whose characteristic polynomials are not in Z[x].
Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds for the least positive integer k such that the equation Q=k is insoluble in integers, despite being soluble modulo every prime power.
We give an infinite family of polynomials that have roots modulo every positive integer but fail to have rational roots. Each polynomial in this family is made up of monic quadratic factors that do not have linear term.
We generalise remarks of Euler and of Perron by explaining how to detail all quadratic irrational integers for which the symmetric part of the period of their continued fraction expansion commences with prescribed partial quotients. The function field case is particularly striking.
We prove that for any countable set $A$ of real numbers, the set of binary indefinite quadratic forms $Q$ such that the closure of $Q(\mathbb{Z}^2)$ is disjoint from $A$ has full Hausdorff dimension.
We prove part of a conjecture of Borwein and Choi concerning an estimate on the square of the number of solutions to n=x^2+Ny^2 for a squarefree integer N.
An integral quadratic polynomial is called regular if it represents every integer that is represented by the polynomial itself over the reals and over the $p$-adic integers for every prime $p$. It is called complete if it is of the form $Q({\mathbf x} + {\mathbf v})$, where $Q$ is an integral quadratic form in the variables ${\mathbf x} = (x_1, \ldots, x_n)$ and ${\mathbf v}$ is a vector in ${\mathbb Q}^n$. Its conductor is defined to be the smallest positive integer $c$ such that $c{\mathbf v} \in {\mathbb Z}^n$. We prove that for a fixed positive integer $c$, there are only finitely many equ…
Let Q be a non-singular diagonal quadratic form in at least four variables. We provide upper bounds for the number of integer solutions to the equation Q=0, which lie in a box with sides of length 2B, as B tends to infinity. The estimates obtained are completely uniform in the coefficients of the form, and become sharper as they grow larger in modulus.
It is shown that when a real quadratic integer $ξ$ of fixed norm $μ$ is considered, the fundamental unit $\varepsilon_d$ of the field $\mathbb{Q}(ξ) = \mathbb{Q}(\sqrt{d})$ satisfies $\log \varepsilon_d \gg (\log d)^2$ almost always. An easy construction of a more general set containing all the radicands $d$ of such fields is given via quadratic sequences, and the efficiency of this substitution is estimated explicitly. When $μ= -1$, the construction gives all $d$'s for which the negative Pell's equation $X^2 - d Y^2 = -1$ (or more generally $X^2 - D Y^2 = -4$) is soluble. When $μ$ is a prime,…
In this article we show that the form $x^2 + iy^2 + z^2 + iw^2$ represents all gaussian integers. The main tools used in this proof are Fermat's little theorem (over finite field extensions), the Mordell-Niven theorem (representation of some gaussians), and the generalized Euler-identity over finite field extensions.
We identify and analyse obstructions to factorisation of integer matrices into products $N^T N$ or $N^2$ of matrices with rational or integer entries. The obstructions arise as quadratic forms with integer coefficients and raise the question of the discrete range of such forms. They are obtained by considering matrix decompositions over a superalgebra. We further obtain a formula for the determinant of a square matrix in terms of adjugates of these matrix decompositions, as well as identifying a $\it co-Latin$ symmetry space.
We characterize the generating function of the number of representations described in the title in terms of the theory of modular forms. Appealing to this characterization we obtain explicit formulas for the representation numbers as examples.
We prove that a pair of integral quadratic forms in 5 or more variables will simultaneously represent "almost all" pairs of integers that satisfy the necessary local conditions, provided that the forms satisfy a suitable nonsingularity condition. In particular such forms simultaneously attain prime values if the obvious local conditions hold. The proof uses the circle method, and in particular pioneers a two-dimensional version of a Kloosterman refinement.
In 1957 N.C. Ankeny provided a new proof of the three squares theorem using geometry of numbers. This paper generalizes Ankeny's technique, proving exactly which integers are represented by $x^2 + 2y^2 + 2z^2$ and $x^2 + y^2 + 2z^2$ as well as proving sufficient conditions for an integer to be represented by $x^2+y^2+3z^2$ and $x^2 + y^2 + 7z^2$.
Let $R=\mathcal{O}_{\Q(\sqrt{d})}$ for $d<0$, squarefree, $d\neq -1,-3$. We prove Lehmer's conjecture for associated reciprocal polynomials of $R$-matrices; that is, any noncyclotomic $R$-matrix has Mahler measure at least $λ_0=1.176...$.
We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all non-diagonal coefficients in $2\mathcal{O}_K$) and prove that no such forms in three variables are universal (i.e., represent all totally positive elements of $\mathcal{O}_K$). This provides further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable el…
We consider numeration systems with base $β$ and $-β$, for quadratic Pisot numbers $β$ and focus on comparing the combinatorial structure of the sets $\Z_β$ and $\Z_{-β}$ of numbers with integer expansion in base $β$, resp. $-β$. Our main result is the comparison of languages of infinite words $u_β$ and $u_{-β}$ coding the ordering of distances between consecutive $β$- and $(-β)$-integers. It turns out that for a class of roots $β$ of $x^2-mx-m$, the languages coincide, while for other quadratic Pisot numbers the language of $u_β$ can be identified only with the language of a morphic image 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$.
A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more tha…
Given a negative $D>-(\log X)^{\log 2-δ}$, we give a new upper bound on the number of square free integers $<X$ which are represented by some but not all forms of the genus of a primitive positive definite binary quadratic form $f$ of discriminant $D$. We also give an analogous upper bound for square free integers of the form $q+a<X$ where $q$ is prime and $a\in\mathbb Z$ is fixed. Combined with the 1/2-dimensional sieve of Iwaniec, this yields a lower bound on the number of such integers $q+a<X$ represented by a binary quadratic form of discriminant $D$, where $D$ is allowed to grow with $X$ …
Given an isotropic quadratic form over a number field which assumes a value $t$, we investigate the distribution of points at which this value is assumed. Building on the previous work about the distribution of small-height zeros of quadratic forms, we produce bounds on height of points outside of some algebraic sets in a quadratic space at which the form assumes the value $t$. Our bounds on height are explicit in terms of the heights of the form, the space, the algebraic set and the value $t$.
We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19 of those represent all positive odds. (Jagy later dealt with a 20th candidate.) Assuming that the remaining three forms represent all positive odds, we prove that an arbitrary, positive-definite quadratic form represents all positive odds if and only if it represents the odd numbers from 1 up to 451. This result is analogous to Bhargava and Hanke's celebrated…
We consider the integers $α$ of the quadratic field $ \mathbb{Q} (\sqrt{d}$ $)$ where $d\in \Z$ is square-free and $d\equiv 1,2,3 \pmod 4$. Let $p$ be an odd prime. Using the embedding into $ \text{GL}(2,\mathbb{Z})$ we obtain bounds for the first $ν\in\N$ such that $α^ν\equiv 1\pmod p.$ For the conductor $f$, we then study the first integer $n=n(f)$ such that $α^n\in\mathcal{O}_{f}$. We obtain bounds for $n(f)$ and for $n(fp^{k})$. The most interesting case is that $α$ is the fundamental unit of $ \mathbb{Q} (\sqrt{d}$ $)$.
A (positive definite and integral) quadratic form $f$ is called regular if it represents all integers that are locally represented. It is known that there are only finitely many regular ternary quadratic forms up to isometry. However, there are infinitely many equivalence classes of regular quadratic forms of rank $n$ for any integer $n$ greater than or equal to $4$. A regular quadratic form $f$ is called new if there does not exist a proper subform $g$ of $f$ such that the set of integers that are represented by $g$ is equal to the set of integers that are represented by $f$. In this article,…
Let $f(x,y)=ax^2+bxy+cy^2$ be a binary quadratic form with integer coefficients. For a prime $p$ not dividing the discriminant of $f$, we say $f$ is completely $p$-primitive if for any non-zero integer $N$, the diophantine equation $f(x,y)=N$ has always an integer solution $(x,y)=(m,n)$ with $(m,n,p)=1$ whenever it has an integer solution. In this article, we study various properties of completely $p$-primitive binary quadratic forms. In particular, we give a necessary and sufficient condition for a definite binary quadratic form $f$ to be completely $p$-primitive.
In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $λ_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in…
