Let F be a perfect field. Then the diagonal quadratic form $a_iX_i^2$ over $F$ is universal over $M_2(F)$ if and only if atleast two of the $a_i$ are non-zero.
A (positive definite and integral) quadratic form is said to be $\textit{prime-universal}$ if it represents all primes. Recently, Doyle and Williams in [2] classified all prime-universal diagonal ternary quadratic forms, and all prime-universal diagonal quaternary quadratic forms under two conjectures proposed by themselves. In this article, we classify all prime-universal diagonal quadratic forms regardless of ranks. Furthermore, we prove, so called, $67$-Theorem for a diagonal quadratic form to be prime-universal.
A positive-definite integral quadratic form is called regular if it represents every positive integer which is locally represented. In this article, we classify all regular diagonal quadratic forms of rank greater than 3.
A rectangular parallelepiped is called a cuboid (standing box). It is called perfect if its edges, face diagonals and body diagonal all have integer length. Euler gave an example where only the body diagonal failed to be an integer (Euler brick). Are there perfect cuboids? We prove that there is no perfect cuboid.
There are parallelepipeds with edge lengths, face diagonal lengths and body diagonal lengths all positive integers. In particular, there is a parallelepiped with edge lengths 271, 106, 103, minor face diagonal lengths 101, 266, 255, major face diagonal lengths 183, 312, 323, and body diagonal lengths 374, 300, 278, 272. Focused brute force searches give dozens of primitive perfect parallelepipeds. Examples include parallellepipeds with up to two rectangular faces.
A (positive definite primitive integral) quadratic form is called odd-regular if it represents every odd positive integer which is locally represented. In this paper, we show that there are at most 147 diagonal odd-regular ternary quadratic forms and prove the odd-regularities of all but 6 candidates.
A (positive definite integral) quadratic form is called almost 2-universal if it represents all (positive definite integral) binary quadratic forms except those in only finitely many equivalence classes. Oh [7] determined all almost 2-universal quinary diagonal quadratic forms remaining three as candidates. In this article, we prove that those three candidates are indeed almost 2-universal.
We give formulas for local densities of diagonal integral ternary quadratic forms at odd primes. Exponential sums and quadratic Gauss sums are used to obtain these formulas. These formulas (along with 2-adic densities and Siegel's mass formula) can be used to compute the representation numbers of certain ternary quadratic forms.
For suitable pairs of diagonal quadratic forms in 8 variables we use the circle method to investigate the density of simultaneous integer solutions and relate this to the problem of estimating linear correlations among sums of two squares.
We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal
Employing Brüdern's and Wooley's new complification method, we establish an asymptotic Hasse principle for the number of solutions to a system of r_3 cubic and r_2 quadratic diagonal forms, when the number of cubic equations is at least double the number of quadratic forms. The number of variables required is lower than in earlier work. In particular, we achieve essentially square root cancellation for systems of one quadratic and arbitrarily many cubic equations.
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…
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.
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Finding such a cuboid is equivalent to finding a perfect cuboid with all integer edges and diagonals, which is an old unsolved problem. Recently, based on a symmetry approach, it was shown that edges and face diagonals of rational perfect cuboid are roots of two cubic equations whose coefficients depend on two rational parameters. Six special cases where these cubic equations are reducible have been already found. Two more possible c…
In this paper, we investigate the conditions under which a diagonal quadratic form $\sum_{i=1}^{m}a_i X_i^2$ represents every $n \times n$ integral matrix, where $a_i$ ($1 \leq i \leq m$) are integers. For $n=2$, we give a necessary and sufficient condition. Also we give some sufficient conditions for each $n \geq 2$ where $a_i$ ($1 \leq i \leq m$) are pairwisely coprime.
Let $X$ be a sufficiently large positive integer. We prove that one may choose a subset $S$ of primes with cardinality $O(\log X)$, such that a positive proportion of integers less than $X$ can be represented by $x^2 + p y^2$ for at least one of $p \in S$.
In this work, we compute the perfect forms for all imaginary quadratic fields of absolute discriminant up to $5000$ and study the number and types of the polytopes that arise. We prove a bound on the combinatorial types of polytopes that can arise regardless of discriminant and give a volumetric argument for a lower bound on the number of perfect forms as well as a heuristic for a better lower bound for imaginary quadratic fields of sufficiently large absolute discriminant.
The main goal of this note is to establish the limits of L. Zhao's techniques for counting solutions to quadratic forms in prime variables. Zhao considered forms with rank at least 9, and showed that these equations have solutions in primes provided there are no local obstructions. We consider in detail the degenerate cases of off-diagonal rank 1 and 2, and improve the rank lower bounds to at least 6 and at least 8 respectively. These results complement a recent breakthrough of Green on the non-degenerate rank 8 case.
Using an extension of the abundancy index to imaginary quadratic rings with unique factorization, we define what we call $n$-powerfully perfect numbers in these rings. This definition serves to extend the concept of perfect numbers that have been defined and studied in the integers. We investigate the properties of $2$-powerfully perfect numbers in the rings $\mathcal O_{\mathbb{Q}(\sqrt{-1})}$, $\mathcal O_{\mathbb{Q}(\sqrt{-2})}$, and $\mathcal O_{\mathbb{Q}(\sqrt{-7})}$, the three imaginary quadratic rings with unique factorization in which $2$ is not a prime.
One unsolved mathematical problem remains the perfect cuboid problem. A perfect cuboid is a rectangular parallelepiped whose edges, face diagonals and space diagonal are all expressed as integers. No such cuboid has yet been discovered and its existence has also not been proven. This paper shows a proof of the non-existence of a perfect cuboid.
We present an adaptation of Voronoi theory for imaginary quadratic number fields of class number greater than 1. This includes a characterisation of extreme Hermitian forms which is analogous to the classic characterisation of extreme quadratic forms as well as a version of Voronoi's famous algorithm which may be used to enumerate all perfect Hermitian forms for a given imaginary quadratic number field in dimensions 2 and 3. We also present an application of the algorithm which allows to determine generators of the general linear group of an $Ø_K$-lattice.
We consider right prisms with horizontal quadrilateral bases and tops, and vertical rectangular sides. We look for examples where all the edges, face diagonals and space diagonals are integers. We find examples when the base is an isosceles trapezium and a parallelogram, but no solution for a kite or rhombus.
For any $\varepsilon > 0$ we derive effective estimates for the size of a non-zero integral point $m \in \mathbb{Z}^d \setminus \{0\}$ solving the Diophantine inequality $\lvert Q[m] \rvert < \varepsilon$, where $Q[m] = q_1 m_1^2 + \ldots + q_d m_d^2$ denotes a non-singular indefinite diagonal quadratic form in $d \geq 5$ variables. In order to prove our quantitative variant of the Oppenheim conjecture, we extend an approach developed by Birch and Davenport [BD58b] to higher dimensions combined with a theorem of Schlickewei [Sch85]. The result obtained is an optimal extension of Schlickewei's …
The perfect cuboid problem is an old famous unsolved problem in mathematics concerning the existence or non-existence of a rectangular parallelepiped whose edges, face diagonals, and space diagonal are of integer lengths. Recently Walter Wyss has published a paper [arXiv:1506.02215] claiming a solution of this problem. The purpose of this paper is to check out Walter Wyss's result.
A perfect Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. The problem of finding such parallelepipeds or proving their non-existence is an old unsolved mathematical problem. The Diophantine equations of a perfect Euler cuboid have an explicit $S_3$ symmetry. In this paper the cuboid equations are factorized with respect to their $S_3$ symmetry in terms of multisymmetric polynomials. Some factor equations are calculated explicitly.
A perfect cuboid is a rectangular parallelepiped with integer edges, integer face diagonals, and integer space diagonal. Such cuboids have not yet been found, but nor has their existence been disproved. Perfect cuboids are described by a certain system of Diophantine equations possessing an intrinsic $S_3$ symmetry. Recently these equations were factorized with respect to this $S_3$ symmetry and the factor equations were transformed into $E$-form. As appears, the transformed factor equations are explicitly solvable. Based on this solution, polynomial inverse problems are formulated in the pres…
A perfect Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. Such cuboids are not yet discovered and their non-existence is also not proved. Perfect Euler cuboids are described by a system of four Diophantine equation possessing a natural $S_3$ symmetry. Recently these equations were factorized with respect to this $S_3$ symmetry and the factor equations were derived. In the present paper the factor equations are transformed to $E$-form and then reduced to a single biquadratic equation.
The system of equations \[ u_1p_1^2 + \ldots + u_sp_s^2 = 0 \] \[ v_1p_1^3 + \ldots + v_sp_s^3 = 0 \] has prime solutions $(p_1, \ldots, p_s)$ for $s \geq 12$, assuming that the system has solutions modulo each prime $p$. This is proved via the Hardy-Littlewood circle method, building on Wooley's work on the corresponding system over the integers and recent results on Vinogradov's mean value theorem. Additionally, a set of sufficient conditions for local solvability is given: If both equations are solvable modulo 2, the quadratic equation is solvable modulo 3, and for each prime $p$ at least 7…
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Recently it was shown that the Diophantine equations describing such a cuboid lead to a couple of parametric families of elliptic curves. Two and three descent methods for calculating their ranks are discussed in the present paper. The elliptic curves in each parametric family are subdivided into two subsets admitting 2-descent and 3-descent methods respectively.
A perfect cuboid (PC) is a rectangular parallelepiped with rational sides $a,b,c$ whose face diagonals $d_{ab}$, $d_{bc}$, $d_{ac}$ and space (body) diagonal $d_s$ are rationals. The existence or otherwise of PC is a problem known since at least the time of Leonhard Euler. This research establishes equivalent conditions of PC by nontrivial rational solutions $(X,Y)$} and $(Z,W)$} of congruent number equation $ y^2=x^3-N^2x$, where product $XZ$ is a square. By using such pair of solutions five parametrizations of nearly-perfect cuboid (NPC) (only one face diagonal is irrational) and five equiva…
A perfect Euler cuboid is a rectangular parallelepiped with integer edges, with integer face diagonals, and with integer space diagonal as well. Finding such parallelepipeds or proving their non-existence is an old unsolved mathematical problem. Algebraically the problem is described by a system of Diophantine equations. Symmetry approach to the cuboid problem is based on the natural $S_3$ symmetry of its Diophantine equations. Factorizing these equations with respect to their $S_3$ symmetry, one gets some certain ideal within the ring of multisymmetric polynomials. In the present paper this i…
In this paper, we consider the following diagonal quadratic forms \begin{equation*} a_1x_1^2 + a_2x_2^2 + \cdots + a_{\ell}x_{\ell}^2, \end{equation*} where $\ell\ge 5$ is an odd integer and $a_i\ge 1$ are integers. By using the extended Shimura correspondence, we obtain explicit formulas for the number of representations of $|D|n^2$ by the above type of quadratic forms, where $D$ is either a square-free integer or a fundamental discriminant such that $(-1)^{(\ell-1)/2}D > 0$. We demonstrate our method with many examples, in particular, we obtain all the formulas (when $\ell =5$) obtained in t…
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Its existence is equivalent to the existence of a perfect cuboid with all integer edges and diagonals. Finding such a cuboid or proving its non-existence is an old unsolved problem. Recently, based on a symmetry approach, the equations of a perfect cuboid were transformed to factor equations. The factor equations turned out to be solvable and, being solved, have led to a pair of inverse problems. Our efforts in the present paper are …
A polytope $D$ whose vertices belong to a lattice of rank $d$ is Delaunay if there is a circumscribing $d$-dimensional ellipsoid, $E$, with interior free of lattice points so that the vertices of $D$ lie on $E$. If in addition, the ellipsoid $E$ is uniquely determined by $D$, we call $D$ perfect. That is, a perfect Delaunay polytope is a lattice polytope with a circumscribing empty ellipsoid $E$, where the quadratic surface $\partial E$ both contains the vertices of $D$ and is determined by them. We have been able to construct infinite sequences of perfect Delaunay polytopes, one perfect polyt…
A perfect cuboid is a rectangular parallelepiped whose all linear extents are given by integer numbers, i. e. its edges, its face diagonals, and its space diagonal are of integer lengths. None of perfect cuboids is known thus far. Their non-existence is also not proved. This is an old unsolved mathematical problem. Three mathematical propositions have been recently associated with the cuboid problem. They are known as three cuboid conjectures. These three conjectures specify three special subcases in the search for perfect cuboids. The case of the second conjecture is associated with solutions…
Using modular forms we determine formulas for the number of representations of a positive integer by diagonal octonary quadratic forms with coefficients $1$, $2$, $3$ or $6$.
A rational positive-definite quadratic form is perfect if it can be reconstructed from the knowledge of its minimal nonzero value m and the finite set of integral vectors v such that f(v) = m. This concept was introduced by Voronoi and later generalized by Koecher to arbitrary number fields. One knows that up to a natural "change of variables'' equivalence, there are only finitely many perfect forms, and given an initial perfect form one knows how to explicitly compute all perfect forms up to equivalence. In this paper we investigate perfect forms over totally real number fields. Our main resu…
In a recent preprint on arXiv Roland Bacher showed that the number $p_d$ of non-similar perfect $d$-dimensional quadratic forms satisfies $e^{Ω(d)} < p_d < e^{O(d^3\log(d))}$. We improve the upper bound to $e^{O(d^2\log(d))}$ by a volumetric argument based on Voronoi's first reduction theory.
An Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals. An Euler cuboid is called perfect if its space diagonal is also integer. Some Euler cuboids are already discovered. As for perfect cuboids, none of them is currently known and their non-existence is not yet proved. Euler cuboids and perfect cuboids are described by certain systems of Diophantine equations. These equations possess an intrinsic $S_3$ symmetry. Recently they were factorized with respect to this $S_3$ symmetry and the factor equations were derived. In the present paper the factor equatio…
A positive quadratic form is $(k,\ell)$-universal if it represents all the numbers $kx+\ell$ where $x$ is a non-negative integer, and almost $(k,\ell)$-universal if it represents all but finitely many of them. We prove that for any $k,\ell$ such that $k\nmid\ell$ there exists an almost $(k,\ell)$-universal diagonal ternary form. We also conjecture that there are only finitely many primes $p$ for which a $(p,\ell)$-universal diagonal ternary form exists (for any $\ell<p$) and we show the results of computer experiments that speak in favor of the conjecture.
George Voronoi (1908-09) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains. A form is perfect if can be reconstructed from all representations of its arithmetic minimum. Two forms have the same L-type if Delaunay tilings of their lattices are affinely equivalent. Delaunay (1937-38) asked about possible relative volumes of lattice Delaunay simplexes. We construct an infinite series of Delaunay simplexes of relative volume n-3, the best known as of now. This series gives rise to a new infintie series o…
We examine the solubility of a diagonal, translation invariant, quadratic equation system in arbitrary (dense) subsets A \subset Z and show quantitative bounds on the size of A if there are no non-trivial solutions. We use the circle method and Roth's density increment argument. Due to a restriction theory approach we can deal with equations in s \geq 7 variables.
Two cubic equations and three auxiliary equations for edges and face diagonals of a rational perfect cuboid have been recently derived. They constitute a background for two inverse problems. The coefficients of cubic equations and the right hand sides of auxiliary equations are rational functions of two rational parameters, i. e. they have denominators. Hence the inverse problems have singular points. These singular points are studied in the present paper.
We improve the result of our previous paper on translation invariant quadratic forms in two special cases. We reduce the density bound $|\mathcal{A}|/N = O((\log\log N)^{-c})$ to $|\mathcal{A}|/N = O((\log N)^{-c})$ for most quadratic forms and handle almost diagonal equations in $s \geq 6$ variables instead of $s \geq 8$.
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学智能复杂系统研究院)
We consider the Kudla-Millson theta series associated to a quadratic space of signature $(N,N)$. By combining a `see-saw' argument with the Siegel-Weil formula, we show that its (regularized) integral along a torus attached to a totally real field of degree $N$ is the diagonal restriction of an Eisenstein series. It allows us to express the Fourier coefficients of the diagonal restriction as intersection numbers, which generalizes a result of Darmon-Pozzi-Vonk to totally real fields.
In this article, we find bases for the spaces of modular forms $M_{3}(Γ_{0}(40),\left( \frac{d}{\cdot }\right) )$ for $d=-4,-8,-20\text{ and }-40.$ We then derive formulas for the number of representations of a positive integer by all the diagonal sextenary quadratic forms with coefficients $% 1,2,5$ and $10$.
Let k\geq 2 and consider the Diophantine inequality |x_1^k-\alp_2 x_2^k-\alp_3 x_3^k| <\tet. Our goal is to find non-trivial solutions in the variables x_i, 1\leq i\leq 3, all of size about P, assuming that \tet is sufficiently large. We study this problem on average over \alp_3 and generalize previous work of Bourgain on quadratic ternary diagonal forms to general degree k.
Using properties of Gauss and Jacobi sums, we derive explicit formulas for the number of solutions to a diagonal equation of the form $x_1^{2^m}+\dots+x_n^{2^m}=0$ over a finite field of characteristic $p\equiv\pm 3\pmod{8}$. All of the evaluations are effected in terms of parameters occurring in quadratic partitions of some powers of $p$.