Related papers: The K-moment problem for continuous linear functio…

Let $\mathbb{K}$ be an algebraically closed field, and $A \subset \mathbb{K}[x_{1}, \ldots, x_n]$ be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of $\mathbb{K}$-algebras \[…

The article is devoted to investigation of the classes of functions belonging to the gaps between classes $P_{n+1}(I)$ and $P_{n}(I)$ of matrix monotone functions for full matrix algebras of successive dimensions. In this paper we address…

In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded…

In a stochastic probing problem we are given a universe $E$, where each element $e \in E$ is active independently with probability $p_e$, and only a probe of e can tell us whether it is active or not. On this universe we execute a process…

In this paper, we investigate the nonlinear Klein-Gordon equation on a metric star graph with three semi-infinite bonds. At the branching point, we impose a weighted continuity condition and a generalized weighted Kirchhoff condition for…

We extend Haviland's theorem on the integral representation of positive linear functionals on usual (real multivariate) polynomials to the integral representation of positive linear maps on operator polynomials mapping into the space of…

For an arbitrary quiver Q and dimension vector d we prove that the dimension of the space of cuspidal functions on the moduli stack of representations of Q of dimension d over a finite field F_q is given by a polynomial in q with rational…

Given a monic linear pencil L in g variables let D_L be its positivity domain, i.e., the set of all g-tuples X of symmetric matrices of all sizes making L(X) positive semidefinite. Because L is a monic linear pencil, D_L is convex with…

In this note we identify the leading terms of the (reduced) K-energy map with a universal linear combination of the principal and subdominant coefficients of the weight of the $mth$ Hilbert point. This shows that the weight…

Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding constraints in SMT theory solvers is highly relevant. We propose…

The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivstellensatz, which requires the feasible set to satisfy the…

Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v…

We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an…

We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which…

This paper presents a polynomial-time $1/2$-approximation algorithm for maximizing nonnegative $k$-submodular functions. This improves upon the previous $\max\{1/3, 1/(1+a)\}$-approximation by Ward and \v{Z}ivn\'y~(SODA'14), where…

This is a sequel to [SIGMA 9 (2013), 007, 23 pages, arXiv:1210.1177], in which there is a construction of a $2\times2$ positive-definite matrix function $K (x)$ on $\mathbb{R}^{2}$. The entries of $K(x)$ are expressed in terms of…

We consider the problems of determining the feasibility of a linear congruence, producing a solution to a linear congruence, and finding a spanning set for the nullspace of an integer matrix, where each problem is considered modulo an…

We consider a general Kinetic Fokker-Planck (KFP) equation in a domain with Maxwell reflection condition on the boundary, not necessarily with conservation of mass. We establish the wellposedness in many spaces including Radon measures…

The research problem in this work is the relaxation of maximizing non-negative submodular plus modular with the entire real number domain as its value range over a family of down-closed sets. We seek a feasible point $\mathbf{x}^*$ in the…

For $1\le t < \infty$, a compact subset $K\subset\mathbb C$, and a finite positive measure $\mu$ supported on $K$, $R^t(K, \mu)$ denotes the closure in $L^t(\mu)$ of rational functions with poles off $K$. Let $\text{abpe}(R^t(K, \mu))$…