English
Related papers

Related papers: Monotone Classes Beyond VNP

200 papers

For a measure on a subset of the complex plane we consider $L^p$-optimal weighted polynomials, namely, monic polynomials of degree $n$ with a varying weight of the form $w^n = {\rm e}^{-n V}$ which minimize the $L^p$-norms, $1 \leq p \leq…

Classical Analysis and ODEs · Mathematics 2009-10-23 F. Balogh , M. Bertola

We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, union, and quadratic as well as higher-order maps. We show…

Combinatorics · Mathematics 2023-04-05 Niklas Kochdumper , Matthias Althoff

Our main result is to prove almost-sure convergence of a stochastic-approximation algorithm defined on the space of measures on a non-compact space. Our motivation is to apply this result to measure-valued P\'olya processes (MVPPs, also…

Probability · Mathematics 2020-01-22 Cécile Mailler , Denis Villemonais

We generalize some previous results on random polynomials in several complex variables. A standard setting is to consider random polynomials $H_n(z):=\sum_{j=1}^{m_n} a_jp_j(z)$ that are linear combinations of basis polynomials $\{p_j\}$…

Complex Variables · Mathematics 2024-01-29 Turgay Bayraktar , Tom Bloom , Norm Levenberg

Complexity theory can be viewed as the study of the relationship between computation and applications, understood the former as complexity classes and the latter as problems. Completeness results are clearly central to that view. Many…

Logic in Computer Science · Computer Science 2020-09-10 Flavio Ferrarotti , Senen Gonzalez , Klaus-Dieter Schewe , Jose Maria Turull-Torres

A theory of numerical path-following in toric varieties was suggested in two previous papers. The motivation is solving systems of polynomials with real or complex coefficients. When those polynomials are not assumed 'dense', solving them…

Algebraic Geometry · Mathematics 2025-06-23 Gregorio Malajovich

In a seminal work, Micciancio & Voulgaris (2013) described a deterministic single-exponential time algorithm for the Closest Vector Problem (CVP) on lattices. It is based on the computation of the Voronoi cell of the given lattice and thus…

Data Structures and Algorithms · Computer Science 2020-01-08 Christoph Hunkenschröder , Gina Reuland , Matthias Schymura

We propose a new complexity measure of space for the BSS model of computation. We define LOGSPACE\_W and PSPACE\_W complexity classes over the reals. We prove that LOGSPACE\_W is included in NC^2\_R and in P\_W, i.e. is small enough for…

Computational Complexity · Computer Science 2016-08-16 Paulin Jacobé De Naurois

Guarded Monotone Strict NP (GMSNP) extends Monotone Monadic Strict NP (MMSNP) by guarded existentially quantified predicates of arbitrary arities. We prove that the containment and the FO-rewritability problems for GMSNP are decidable,…

Logic in Computer Science · Computer Science 2026-02-25 Alexey Barsukov , Michael Pinsker , Jakub Rydval

In 2008, Kasiviswanathan et al. defined private learning as a combination of PAC learning and differential privacy. Informally, a private learner is applied to a collection of labeled individual information and outputs a hypothesis while…

Cryptography and Security · Computer Science 2014-02-12 Amos Beimel , Kobbi Nissim , Uri Stemmer

This paper uses inspiration from Integral Geometry to connect Tame Geometry with Nonstandard Analysis. We omit binomial coefficients from the Steiner polynomial to define the \textit{intrinsic volume polynomial} $\Phi$, a valuation defined…

Logic · Mathematics 2026-01-28 Joseph T. Previdi

Let $P\subset\mathbb R^n$ be a convex polytope and let $\ell$ be a linear functional which is nonconstant on every edge of $P$. The induced acyclic orientation determines positive and negative Bia{\l}ynicki-Birula type partitions of $P$…

Combinatorics · Mathematics 2026-05-01 Mateusz Michałek , Leonid Monin , Botong Wang

We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. We also investigate the poset classifying degree-compatible standard…

Combinatorics · Mathematics 2007-05-23 Jan Snellman

This note describes moduli spaces of complexes in the derived category of a Veronese double cone $Y$. Focusing on objects with the same class $\kappa_1$ as ideal sheaves of lines, we describe the moduli space of Gieseker stable sheaves and…

Algebraic Geometry · Mathematics 2023-03-10 Marin Petkovic , Franco Rota

We introduce tropical analogues of the notion of volume of polytopes, leading to a tropical version of the (discrete) classical isoperimetric inequality. The planar case is elementary, but a higher-dimensional generalization leads to an…

Combinatorics · Mathematics 2019-12-30 Jules Depersin , Stéphane Gaubert , Michael Joswig

We define indexed categories of (open) dynamical system and random dynamical system over polynomial interfaces, where time is given by an arbitrary monoid $\mathbb{T}$. We consider the case of open random dynamical systems over both open…

Dynamical Systems · Mathematics 2021-08-26 Toby St. Clere Smithe

Given a hypersurface coamoeba of a Laurent polynomial f, it is an open problem to describe the structure of its set of connected complement components. In this paper we approach this problem by introducing the lopsided coamoeba. We show…

Algebraic Geometry · Mathematics 2014-01-21 Jens Forsgård , Petter Johansson

Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms…

Algebraic Topology · Mathematics 2021-09-03 Ryuki Kaneta , Masahiko Yoshinaga

We study the task of testable learning of general -- not necessarily homogeneous -- halfspaces with adversarial label noise with respect to the Gaussian distribution. In the testable learning framework, the goal is to develop a…

Machine Learning · Computer Science 2024-09-02 Ilias Diakonikolas , Daniel M. Kane , Sihan Liu , Nikos Zarifis

The computational complexity of polynomial ideals and Gr\"obner bases has been studied since the 1980s. In recent years, the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational…

Computational Complexity · Computer Science 2025-07-18 Leonie Kayser