Related papers: Efficient simplicial replacement of semi-algebraic…

Let $\mathcal S \subseteq \mathbb Z^m \oplus T$ be a finitely generated and reduced monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length,…

A numerical semigroup $S$ is a subset of the non-negative integers containing $0$ that is closed under addition. The Hilbert series of $S$ (a formal power series equal to the sum of terms $t^n$ over all $n \in S$) can be expressed as a…

Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a…

This work presents a numerical study of the Dirichlet problem for the fractional Laplacian $(-\Delta)^s$ with $s\in(0,1)$ using Finite Element methods with non-standard bases. Classical approaches based on piece-wise linear basis yield…

We investigate the complexity of deciding, given a multiplication table representing a semigroup S, a subset X of S and an element t of S, whether t can be expressed as a product of elements of X. It is well-known that this problem is…

When a complex semisimple group $G$ acts holomorphically on a K\"ahler manifold $(X,\omega)$ such that a maximal compact subgroup $K\subset G$ preserves the symplectic form $\omega$, a basic result of symplectic geometry says that the…

We obtain sufficient criteria for simplicity of systems, that is, rings $R$ that are equipped with a family of additive subgroups $R_s$, for $s \in S$, where $S$ is a semigroup, satisfying $R = \sum_{s \in S} R_s$ and $R_s R_t \subseteq…

Given a basic compact semi-algebraic set $\K\subset\R^n$, we introduce a methodology that generates a sequence converging to the volume of $\K$. This sequence is obtained from optimal values of a hierarchy of either semidefinite or linear…

Let $\mathrm{R}$ be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of $\mathrm{R}^k$ in terms of the number and degrees of the defining polynomials has been an important problem in…

Optimizing and certifying the positivity of polynomials are fundamental primitives across mathematics and engineering applications, from dynamical systems to operations research. However, solving these problems in practice requires large…

We consider the problem of summarizing a multi set of elements in $\{1, 2, \ldots , n\}$ under the constraint that no element appears more than $\ell$ times. The goal is then to answer \emph{rank} queries --- given $i\in\{1, 2, \ldots ,…

Let $S\subset R^n$ be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm which takes as input a polynomial system defining $S$ and…

We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on…

We extend the notion of simplicial set with effective homology to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets $X \colon \mathcal{I} \to \mathsf{sSet}$ such that each simplicial set $X(i)$ has…

Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the…

In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…

In this paper, we study a class of nonsmooth fractional programs {\rm (FP, for short)} with SOS-convex semi-algebraic functions. Under suitable assumptions, we derive a strong duality result between the problem (FP) and its semidefinite…

Let $\Delta$ be simplicial complex and let $k[\Delta]$ denote the Stanley--Reisner ring corresponding to $\Delta$. Suppose that $k[\Delta]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity…

For 0 < s < 1, let phi_s(z)=sz+(1-s). We investigate the unital C*-algebra generated by the semigroup {C_{phi_s} : 0 < s < 1} of composition operators acting on the Hardy space of the unit disk. We determine the joint approximate point…

Let $K$ be a number field, and let $G\subset K^\times$ be a finitely generated subgroup. Fix some prime number $\ell$, and consider the set of primes $\mathfrak{p}$ of $K$ satisfying the following property: the reduction of $G$ modulo…