Related papers: A quantitative version of the Catlin-D'Angelo-Quil…

Polynomial processes are defined by the property that conditional expectations of polynomial functions of the process are again polynomials of the same or lower degree. Many fundamental stochastic processes, including affine processes, are…

The main result of this paper is that for any norm on a complex or real $n$-dimensional linear space, every extremal basis satisfies inverted triangle inequality with scaling factor $2^n-1$. Furthermore, the constant $2^n-1$ is tight. We…

A well-known theorem of Lagrange asserts that every nonnegative integer $n$ can be written in the form $a^2+b^2+c^2+d^2$, where $a,b,c,d \in \mathbb{Z}$. We characterize the values assumed by $a+b+c+d$ as we range over all such…

We present a new form and a short full proof of explicit two-sided estimates for the distribution function F_{n,p}(x) of the binomial law from the paper published by D.Alfers and H.Dinges in 1984. These inequalities are universal (valid for…

We show that for a large class of cubic polynomials $f$, every sufficiently large number can be written as a sum of seven positive values of $f$. As a special case, we show that every number greater than $e^{10^7}$ is a sum of seven…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

Recently, an analogue over $\mathbb{F}_q[T]$ of Landau's theorem on sums of two squares was considered by Bary-Soroker, Smilansky and Wolf. They counted the number of monic polynomials in $\mathbb{F}_q[T]$ of degree $n$ of the form…

Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's…

We show the following two extensions of the standard positive mass theorem (one for either sign): Let (N,g) and (N,g') be asymptotically flat Riemannian 3-manifolds with compact interior and finite mass, such that g and g' are twice Hoelder…

We study a single particle which obeys non-relativistic quantum mechanics in R^N and has Hamiltonian H = -Delta + V(r), where V(r) = sgn(q)r^q. If N \geq 2, then q > -2, and if N = 1, then q > -1. The discrete eigenvalues E_{n\ell} may be…

We establish the prime geodesic theorem for the modular surface with exponent $\frac{2}{3}+\varepsilon$, improving upon the long-standing exponent $\frac{25}{36}+\varepsilon$ of Soundararajan-Young (2013). This was previously known…

We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$…

We prove positive mass theorem with angular momentum and charges for axially symmetric, simply connected, maximal, complete initial data sets with two ends, one designated asymptotically flat and the other either (Kaluza-Klein)…

We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with…

A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a…

The Reifenberg theorem \cite{reif_orig} tells us that if a set $S\subseteq B_2\subseteq \mathbb R^n$ is uniformly close on all points and scales to a $k$-dimensional subspace, then $S$ is H\"older homeomorphic to a $k$-dimensional Euclidean…

We study the decomposition of multivariate polynomials as sums of powers of linear forms. We give a randomized algorithm for the following problem: If a homogeneous polynomial $f \in K[x_1 , . . . , x_n]$ (where $K \subseteq \mathbb{C}$) of…

Every convex homogeneous polynomial (or form) is nonnegative. Blekherman has shown that there exist convex forms that are not sums of squares via a nonconstructive argument. We provide an explicit example of a convex form of degree four in…

Let $K$ be a number field, and let $F$ be a symmetric bilinear form in $2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical theorem of Witt states that the bilinear space $(Z,F)$ can be decomposed into an orthogonal sum of…

In this paper we prove a basic theorem which says that if f : F_p^n -> [0,1] has the property that ||f^||_(1/3) is not too ``large''(actually, it also holds for quasinorms 1/2-\delta in place of 1/3), and E(f) = p^{-n} sum_m f(m) is not too…