Related papers: Primitively universal quaternary quadratic forms

Let $f$ be a primitive positive definite integral binary quadratic form of discriminant $-D$ and let $\pi_f(x)$ be the number of primes up to $x$ which are represented by $f$. We prove several types of upper bounds for $\pi_f(x)$ within a…

G.L. Watson \cite{watson1, watson2} introduced a set of transformations, called Watson transformations by most recent authors, in his study of the arithmetic of integral quadratic forms. These transformations change an integral quadratic…

If a positive definite Hermitian lattice represents all positive integers, we call it universal. Several mathematicians, including the author, found 25 universal binary Hermitian lattices. But their ad hoc proofs are complicated. We give…

Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are…

We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In…

A positive definite even Hermitian lattice is called \emph{even universal} if it represents all even positive integers. We introduce a method to get all even universal binary Hermitian lattices over imaginary quadratic fields $\Q{-m}$ for…

We show that if $K$ is a monogenic, primitive, totally real number field, that contains units of every signature, then there exists a lower bound for the rank of integer universal quadratic forms defined over $K$. In particular, we extend…

For a totally positive definite quadratic form over the ring of integers of a totally real number field $K$, we show that there are only finitely many totally real field extensions of $K$ of a fixed degree over which the form is universal…

We prove lower bounds of the form $\gg N/(\log N)^{3/2}$ for the number of primes up to $N$ primitively represented by a shifted positive definite integral binary quadratic form, and under the additional condition that primes are from an…

On a finite structure, the polymorphism invariant relations are exactly the primitively positively definable relations. On infinite structures, these two sets of relations are different in general. Infinitary primitively positively…

Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational…

Lagrange's four-square theorem states that every natural number $n$ can be represented as the sum of four integer squares: $n=x_1^2+x_2^2+x_3^2+x_4^2$. Ramanujan generalized Lagrange's result by providing, up to equivalence, all $54$…

Let $f(x_1,\ldots,x_n)$ be a regular indefinite integral quadratic form with $n\ge 9$, and let $t$ be an integer. It is established that $f(x_1,\ldots,x_n)=t$ has solutions in prime variables if there are no local obstructions.

We show that a quartic $p$-adic form with at least $3192$ variables possesses a non-trivial zero. We also prove new results on systems of cubic, quadratic and linear forms. As an example, we show that for a system comprising two cubic forms…

Given any positive integer M, we show that there are infinitely many real quadratic fields that do not admit universal quadratic forms in M variables.

David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such…

A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite…

Let $k$ be a positive integer and let $F$ be a finite unramified extension of $\mathbb{Q}_2$ with ring of integers $\mathcal{O}_F$. An integral (resp. classic) quadratic form over $\mathcal{O}_F$ is called $k$-universal (resp. classically…

For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive…

Jagy and Kaplansky exhibited a table of 68 pairs of positive definite binary quadratic forms that represent the same odd primes and conjectured that this list is complete outside of "trivial" pairs. In this article, we find all pairs of…