Related papers: Enumerating perfect forms
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…
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…
A perfect number is a number whose divisors add up to twice the number itself. The existence of odd perfect numbers is a millennia-old unsolved problem. This note proposes a proof of the nonexistence of odd perfect numbers. More generally,…
For a positive integer $n$, let $\mathcal T(n)$ be the set of all integers greater than or equal to $n$. An integral quadratic form $f$ is called tight $\mathcal T(n)$-universal if the set of nonzero integers that are represented by $f$ is…
In this paper, we study polynomial norms, i.e. norms that are the $d^{\text{th}}$ root of a degree-$d$ homogeneous polynomial $f$. We first show that a necessary and sufficient condition for $f^{1/d}$ to be a norm is for $f$ to be strictly…
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…
For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $\Phi_n(X,Y)$, with $n$ a positive integer satisfying $\varphi(n)\ge d$. The case $d=2$ was studied…
A complete flag in $\mathbb{R}^n$ is a sequence of nested subspaces $V_1 \subset \cdots \subset V_{n-1}$ such that each $V_k$ has dimension $k$. It is called totally nonnegative if all its Pl\"ucker coordinates are nonnegative. We may view…
We study the equation $(x-4r)^3 + (x-3r)^3 + (x-2r)^3+(x-r)^3 + x^3 + (x+r)^3+(x+2r)^3 + (x+3r)^3 + (x+4r)^3 = y^p$, which is a natural continuation of previous works carried out by A. Arg\'{a}ez-Garc\'{i}a and the fourth author (perfect…
We consider generalized quadratic forms over real quadratic number fields and prove, under a natural positive-definiteness condition, that a generalized quadratic form can only be universal if it contains a quadratic subform that is…
We investigate the problem of r almost-primes represented by sets of quadratic forms and give upper bounds for r. Our results extend work of Diamond and Halberstam in which they investigated the corresponding problem for polynomials.
Extending the method of the paper [FS3] we prove three structure theorems for vector valued modular forms, where two correspond to 4-dimensional cases (two hermitian modular groups, one belonging to the field of Eisenstein numbers, the…
Kuznetsov and Polishchuk provided a general algorithm to construct exceptional collections of maximal length for homogeneous varieties of type A,B,C,D. We consider the case of the spinor tenfold and we prove that the corresponding…
An integral quadratic polynomial (with positive definite quadratic part) is called almost universal if it represents all but finitely many positive integers. In this paper, we provide a characterization of almost universal ternary quadratic…
A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra\"iss\'e theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
A.Olevskii and A.Ulanovskii obtained a scale of density results, which correspond to how well an exponential system approximates a uniformly minimal system over a compact set. We extend their result in several directions. First, we show…
In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.
We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over $\mathbb{F}_q(t)$, where $\mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based on a…
In this article, we introduce a new object, a virtual quadratic space, and its group of isometries. They are presented as natural generalizations of quadratic spaces and orthogonal groups. It is then shown that by replacing quadratic spaces…