Related papers: On Baker type lower bounds for linear forms

In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real…

The isotropy of multiples of Pfister forms is studied. In particular, an improved lower bound on the value of their first Witt index is obtained. This result and certain of its corollaries are applied to the study of the weak isotropy index…

For every complex number $x$, let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$. Let $K$ be a number field, let $k\in\mathbb{N}$, and let $\alpha_1,\ldots,\alpha_k$ be non-zero algebraic numbers. In this paper, we completely…

Quadratic descent of hermitian and skew hermitian forms over division algebras with involution of the first kind in arbitrary characteristic is investigated and a criterion, in terms of systems of quadratic forms, is obtained. A refined…

We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of…

We present a theory of reduction of binary quadratic forms with coefficients in Z[lambda], where lambda is the minimal translation in a Hecke group. We generalize from the modular group Gamma(1) = SL(2,Z) to the Hecke groups and make…

We offer some partition functions related to ternary quadratic forms, and note on their upper bounds and related properties. We offer these results as an application of a simple method related to conjugate Bailey pairs presented in a prior…

Lower bounds for some explicit decision problems over the complex numbers are given.

We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…

Based on the works of M. Marshall on multirings, we propose the fundamentals for a \textbf{non reduced} abstract quadratic forms theory in general coefficients on rings, with the machinery of multirings and multifields.

Motivated by recent results of Kapron and Steinberg (LICS 2018) we introduce new forms of iteration on length in the setting of applied lambda-calculi for higher-type poly-time computability. In particular, in a type-two setting, we…

In this note, we study the volume of arithmetic linear series with base conditions. As an application, we consider the problem of Zariski decompositions on arithmetic varieties.

We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.

Using the Ratios Conjecture, we write down precise formulas with lower order terms for the one and the two level densities of zeros of quadratic Dirichlet $L$--functions over function fields. We denote the various terms arising as Type-$0$,…

We extend to characteristic two recent results about isotropy of quadratic forms over function fields. In particular, we provide a characterization of function fields not only of quadratic forms but also more generally of polynomials in…

We give simple numerical bounds for $\zeta(s)$, $\vartheta(s)$, $\mathop{\mathcal R}(s)$, $Z(t)$, for use in the numerical computation of these functions. The purpose of the paper is to give bounds for several functions needed in the…

Let K be a field of characteristic 0 and let n be a natural number. Let Gamma be a subgroup of the multiplicative group $(K^\ast)^n$ of finite rank r. Given $A_2,...,a_n\in K^\ast$ write $A(a_1,...,a_n,\Gamma)$ for the number of solutions…

We prove bounds for the covering numbers of classes of convex functions and convex sets in Euclidean space. Previous results require the underlying convex functions or sets to be uniformly bounded. We relax this assumption and replace it…

Let $Q$ be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer $n$ by $Q$. This problem is connected with deriving an upper bound on…

We consider the minimization of theta functions $\theta\_\Lambda(\alpha)=\sum\_{p\in\Lambda}e^{-\pi\alpha|p|^2}$ amongst lattices $\Lambda\subset \mathbb R^d$, by reducing the dimension of the problem, following as a motivation the case…