Related papers: An observation on positive definite forms

For $n,\,d\ge1$ let $p(n,2d)$ denote the smallest number $p$ such that every sum of squares of forms of degree $d$ in $\mathbb{R}[x_1,\dots,x_n]$ is a sum of $p$ squares. We establish lower bounds for these numbers that are considerably…

For a fixed positive integer $g$, we let ${\mathcal P}_g = \big\{Y\in {\mathbb R}^{(g,g)} | Y= {}^tY>0 \big\}$ be the open convex cone in the Euclidean space ${\mathbb R}^{g(g+1)/2}$. Then the general linear group $GL(g,{\mathbb R})$ acts…

We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases…

Recently, the authors showed that for every irrational number $\alpha$, there exist infinitely many positive integers $n$ represented by any given positive definite binary quadratic form $Q$, satisfying $||\alpha n||<n^{-(1/2-\varepsilon)}$…

The quantity $f(n,r)$, defined as the number of permutations of the set $[n]=\{1,2,... n\}$ whose fixed points sum to $r$, shows a sharp discontinuity in the neighborhood of $r=n$. We explain this discontinuity and study the possible…

This article derives closed-form parametric formulas for the Minkowski sums of convex bodies in d-dimensional Euclidean space with boundaries that are smooth and have all positive sectional curvatures at every point. Under these conditions,…

For any given positive definite binary quadratic form $Q$ with integer coefficients, we establish two results on Diophantine approximation with integers represented by $Q$. Firstly, we show that for every irrational number $\alpha$, there…

We prove that under some assumptions on the mean curvature the set of umbilical points of an immersed surface in a $3$-dimensional space form has positive measure. In case of an immersed sphere our result can be seen as a generalization of…

For all transcendental parameters, the irrational rotation algebra is shown to contain infinitely many C*-subalgebras satisfying the following properties. Each subalgebra is isomorphic to a direct sum of two matrix algebras of the same…

In the process of proving a sharpened form of G\r{a}rding's inequality, Fefferman & Phong demonstrated that every non-negative function $f\in C^{3,1}(\mathbb{R}^n)$ can be written as a finite sum of squares of functions in…

We discuss two conjectures. (I) For each x_1,...,x_n \in R (C) there exist y_1,...,y_n \in R (C) such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n}…

In this paper, we prove that for any $1/2<t<1$, there exists a positive integer $N_{0}$ depending on $t$ such that for any $n_{0}\geq N_{0}$, squares of sidelength $f(n)^{-t}$ for $n\geq n_{0}$ can be packed with disjoint interiors into a…

The well-known Lagrange's four-square theorem states that any integer $n\in\mathbb{N}=\{0,1,2,...\}$ can be written as the sum of four squares. Recently, Z.-W. Sun investigated the representations of $n$ as $x^2+y^2+z^2+w^2$ with certain…

In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any…

Let $X\rightarrow S$ be a fibration of relative dimension at most two and let $(X,\Delta)$ be a klt pair for which $K_X+\Delta \equiv_S 0$. We show that there are only finitely many Mori chambers and Mori faces in the movable effective cone…

Let $\mathfrak o$ be the ring of integers of a totally real number field. If $f$ is a quadratic form over $\mathfrak o$ and $g$ is another quadratic form over $\mathfrak o$ which represents all proper subforms of $f$, does $g$ represent…

We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise…

In this paper, we use Abel's summation formula to evaluate several quadratic and cubic sums of the form: \[{F_N}\left( {A,B;x} \right) := \sum\limits_{n = 1}^N {\left( {A - {A_n}} \right)\left( {B - {B_n}} \right){x^n}} ,\;x \in [ - 1,1]\]…

Recently, considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the interior $\left(A+\Gamma\right)^{\circ}$, when $\Gamma$ is a piecewise $\mathcal{C}^2$ curve and $A\subset…

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum…