Related papers: Algorithms for quadratic forms over global functio…
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…
We prove an asymptotic formula for class numbers of totlally imaginary quartic number fields, ie for number fields of degree 4 over Q with only complex embeddings. After previous work for real quadratic fields (Sarnak) and complex cubic…
We introduce numerical algebraic geometry methods for computing lower bounds on the reach, local feature size, and the weak feature size of the real part of an equidimensional and smooth algebraic variety using the variety's defining…
We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens'…
Quadratic flows have the unique property of uniform strain and are commonly used in turbulence modeling and hydrodynamic analysis. While previous application focused on two-dimensional homogeneous fluid, this study examines the geometric…
Quadratically Constrained Quadratic Programs (QCQPs) are an important class of optimization problems with diverse real-world applications. In this work, we propose a variational quantum algorithm for general QCQPs. By encoding the variables…
Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the…
The mathematical properties of a nonlinear parabolic equation arising in the modelling of non-newtonian flows are investigated. The peculiarity of this equation is that it may degenerate into a hyperbolic equation (in fact a linear…
Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few…
The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…
We give an algebraic characterization of half-factorial orders in algebraic number fields. This generalizes prior results for seminormal orders and for orders in quadratic number fields.
The classical quadratic formula and some of its lesser known variants for solving the quadratic equation are reviewed. Then, a new formula for the roots of a quadratic polynomial is presented.
In this paper we define (empirical) quadratic variations for a Gaussian isotropic random field $f$ on a unit sphere as sums over equidistant increments on one single geodesic line on the surface of the sphere. We prove a noncentral limit…
This article presents a comprehensive overview and supplement to recent developments in second-order elliptic partial differential equations formulated in double divergence form, along with an exploration of their parabolic counterparts.
Using the method of moving frames we analyze the algebra of differential invariants for surfaces in three-dimensional affine geometry. For elliptic, hyperbolic, and parabolic points, we show that if the algebra of differential invariants is…
A standard quadratic program is an optimization problem that consists of minimizing a (nonconvex) quadratic form over the unit simplex. We focus on reformulating a standard quadratic program as a mixed integer linear programming problem. We…
This paper explores quadratic forms over finite fields with associated Artin-Schreier curves. Specifically, we investigate quadratic forms of $\mathbb F_{q^n}/\mathbb F_q$ represented by polynomials over $\mathbb F_{q^n}$ with $q$ odd,…
We aim to study nonnegative, global solutions to a general class of nonlocal parabolic equations with bounded measurable coefficients. First, we prove a Widder-type theorem. Such a result has previously been studied only for certain…
We compute some numerical invariants of the lines on hyperplane sections of a smooth cubic threefold over complex numbers. We also prove that for any smooth hypersurface $X\subset \mathbb P^{n+1}$ of degree $d$ over an algebraically closed…
The list of norm-Euclidean imaginary quadratic fields is known and finite. For each known case, we give a division algorithm that finds a remainder at distance less than the Euclidean minimum of the field.