Related papers: Intermediate Sums on Polyhedra II: Bidegree and Po…

We study the computational power of polynomial threshold functions, that is, threshold functions of real polynomials over the boolean cube. We provide two new results bounding the computational power of this model. Our first result shows…

The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…

We investigate the semigroup of integer points inside a convex cone. We extend classical results in integer linear programming to integer conic programming. We show that the semigroup associated with nonpolyhedral cones can sometimes have a…

We generalize the two dimensional mixed finite elements of Arbogast and Correa [T. Arbogast and M. R. Correa, SIAM J. Numer. Anal., 54 (2016), pp. 3332--3356] defined on quadrilaterals to three dimensional cuboidal hexahedra. The…

In the first part of this paper, we give a new analytical proof of a theorem of C. Sabbah on integrable deformations of meromorphic connections on $\mathbb P^1$ with coalescing irregular singularities of Poincar\'e rank 1, and generalizing…

We prove new bounds on bilinear forms with Kloosterman sums, complementing and improving a series of results by \'E. Fouvry, E. Kowalski and Ph. Michel (2014), V. Blomer, \'E. Fouvry, E. Kowalski, Ph. Michel and D. Mili\'cevi\'c (2017), E.…

Ballantine--Beck--Feigon--Maurischat introduced the subsum polynomial \[ \operatorname{sp}(\lambda,x):=\prod_i (1+x^{\lambda_i}) \] attached to an integer partition $\lambda$, and studied rational functions obtained by summing reciprocals…

In a previous article, we proved tight lower bounds for the coefficients of the generalized $h$-vector of a centrally symmetric rational polytope using intersection cohomology of the associated projective toric variety. Here we present a…

Let $C$ be a proper convex cone generated by a compact set which supports a measure $\mu$. A construction due to A.Barvinok, E.Veomett and J.B. Lasserre produces, using $\mu$, a sequence $(P_k)_{k\in \mathbb{N}}$ of nested spectrahedral…

We obtain an asymptotic formula for a weighted sum over cuspidal eigenvalues in a specific region, for $\SL_2$ over a totally real number field $F$, with discrete subgroup of Hecke type $\Gamma_0(I)$ for a non-zero ideal $I$ in the ring of…

We propose an iterative algorithm for the numerical computation of sums of squares of polynomials approximating given data at prescribed interpolation points. The method is based on the definition of a convex functional $G$ arising from the…

We give a generalization of the geometric estimate used by Hart and the second author in their 2008 work on sums and products in finite fields. Their result concerned level sets of non-degenerate bilinear forms over finite fields, while in…

We define discrete generating series for arbitrary functions \( f \colon \mathbb{Z}^n \rightarrow \mathbb{C} \) and derive functional relations that these series satisfy. For linear difference equations with constant coefficients, we…

We introduce some new higher dimensional generalizations of the Dedekind sums associated with the Bernoulli functions and of those Hardy sums which are defined by the sawtooth function. We generalize a variant of Parseval's formula for the…

We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X…

We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of…

We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic…

We introduce the notion of $t$-sum of squares (sos) submodularity, which is a hierarchy, indexed by $t$, of sufficient algebraic conditions for certifying submodularity of set functions. We show that, for fixed $t$, each level of the…

We find exact identities for sums of the form \begin{equation*}\label{eq:convsumabs} \sum_{\stackrel{n_1+n_2 = n}{n_1 \in \mathbb{Z} \setminus \{ 0, n \} }} Q(n_1,n_2) \sigma_{-r_1}(n_1) \sigma_{-r_2}(n_2), \end{equation*} where…

Opened up by early contributions due to, among others, H. Bohr, Hardy-Riesz, Bohnenblust-Hille, Neder and Landau the last 20 years show a substantial revival of systematic research on ordinary Dirichlet series $\sum a_n n^{-s}$, and more…