Related papers: An observation on positive definite forms

In this paper we extend Efimov's Theorem by proving that any complete surface in $\mathbb{R}^3$ with Gauss curvature bounded above by a negative constant outside a compact set has finite total curvature, finite area and is properly…

This paper deals with the existence of positive solutions for the nonlinear system q(t)\phi(p(t)u'_{i}(t)))'+f^{i}(t,\textbf{u})=0,\quad 0<t<1,\quad i=1,2,...,n. This system often arises in the study of positive radial solutions of…

We give some new canonical representations for forms over $\cc$. For example, a general binary quartic form can be written as the square of a quadratic form plus the fourth power of a linear form. A general cubic form in $(x_1,...,x_n)$ can…

Given a real representation of the Clifford algebra corresponding to $R^{p+q}$ with metric of signature $(p,q)$, we demonstrate the existence of two natural bilinear forms on the space of spinors. With the Clifford action of $k$-forms on…

We introduce the notion of one-sided mapping cones of positive linear maps between matrix algebras. These are convex cones of maps that are invariant under compositions by completely positive maps from either the left or right side. The…

Given f in Z[x_1,...,x_n], we compute the density of x in Z^n such that f(x) is squarefree, assuming the abc conjecture. Given f,g in Z[x_1,...,x_n], we compute unconditionally the density of x in Z^n such that gcd(f(x),g(x))=1. Function…

This paper studies sum-of-squares (SOS) representations for structured biquadratic forms. We prove that diagonally dominated symmetric biquadratic tensors are always SOS. For the special case of symmetric biquadratic forms, we establish…

Let $f_1,\dots,f_m$ be polynomials in $n$ variables with coefficients in a finite field $\mathbb{F}_q$. We estimate the number of points $\underline{x}$ in $\mathbb{F}_q^n$ such that each value $f_i(\underline{x})$ is a nonzero square in…

For each positive integer n, we define a polynomial in the variables z_1,...,z_n with coefficients in the ring $\mathbb{Q}[q,t,r]$ of polynomial functions of three parameters q, t, r. These polynomials naturally arise in the context of…

Gershgorin's famous circle theorem states that all eigenvalues of a square matrix lie in disks (called Gershgorin disks) around the diagonal elements. Here we show that if the matrix entries are non-negative and an eigenvalue has geometric…

We supply a Fourier characterization for the real, continuous, isotropic and strictly positive definite kernels on a product of circles.

The purpose of this note is to prove estimates for $$ \left| \sum_{k=1}^{n} \mbox{sign} \left( \cos \left( \frac{2\pi a}{n} k \right) \right) \mbox{sign} \left( \cos \left( \frac{2\pi b}{n} k \right) \right)\right|,$$ when $n$ is prime and…

We present two new canonical forms for real congruence of a real square matrix $A$. The first one is a direct sum of canonical matrices of four different types and is obtained from the canonical form under $^*$congruence of complex matrices…

Let $G_1,..., G_n \in \Fp[X_1,...,X_m]$ be $n$ polynomials in $m$ variables over the finite field $\Fp$ of $p$ elements. A result of {\'E}. Fouvry and N. M. Katz shows that under some natural condition, for any fixed $\varepsilon$ and…

A compact set $E\subset {\Bbb R}^d$ is said to be arithmetically thick if there exists a positive integer $n$ so that the $n$-fold arithmetic sum of $E$ has non-empty interior. We prove the arithmetic thickness of $E$, if $E$ is uniformly…

Let $P$ and $Q$ be two convex polytopes both contained in the interior of an Euclidean ball $r\textbf{B}^{d}$. We prove that $P=Q$ provided that their sight cones from any point on the sphere $rS^{d-1}$ are congruent. We also prove an…

For a compact surface $\Sigma$ (orientable or not, and with boundary or not) we show that the fixed subgroup, $\operatorname{Fix} B$, of any family $B$ of endomorphisms of $\pi_1(\Sigma)$ is compressed in $\pi_1(\Sigma)$ i.e.,…

Explicit determinations of several classes of trigonometric sums are given. These sums can be viewed as analogues or generalizations of Gauss sums. In a previous paper, two of the present authors considered primarily sine sums associated…

Let $Q(z,w)=-\prod_{k=1}^n [(z-a_k)(\bar{w}-\bar{a}_k)-R_k^2]$. M. Putinar and B. Gustafsson proved recently that the matrix $Q(a_i,a_j)$, $1\leq i,j\leq n$, is positive definite if disks $|z-a_i|<R_i$ form a disjoint collection. We extend…

The sum of square roots is as follows: Given $x_1,\dots,x_n \in \mathbb{Z}$ and $a_1,\dots,a_n \in \mathbb{N}$ decide whether $ E=\sum_{i=1}^n x_i \sqrt{a_i} \geq 0$. It is a prominent open problem (Problem 33 of the Open Problems Project),…