English
Related papers

Related papers: Effective cylindrical cell decompositions for rest…

200 papers

Classical complexity theory measures the cost of computing a function, but many computational tasks require committing to one valid output among several. We introduce determination depth -- the minimum number of sequential layers of…

Computational Complexity · Computer Science 2026-04-08 Joseph M. Hellerstein

In the complexity estimation for an attack that reduces a cryptosystem to solving a system of polynomial equations, the degree of regularity and an upper bound of the first fall degree are often used in cryptanalysis. While the degree of…

Symbolic Computation · Computer Science 2026-01-22 Shuhei Nakamura

On any odd-dimensional oriented Riemannian manifold we define a volume form, which we call the odd Pfaffian, through a certain invariant polynomial with integral coefficients in the curvature tensor. We prove an intrinsic Chern-Gauss-Bonnet…

Differential Geometry · Mathematics 2019-09-17 Daniel Cibotaru , Sergiu Moroianu

We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated…

Algebraic Geometry · Mathematics 2026-04-28 Alexandru Dimca , Gabriel Sticlaru

Submodular and fractionally subadditive (or equivalently XOS) functions play a fundamental role in combinatorial optimization, algorithmic game theory and machine learning. Motivated by learnability of these classes of functions from random…

Data Structures and Algorithms · Computer Science 2015-08-04 Vitaly Feldman , Jan Vondrak

Computation of confidence sets is central to data science and machine learning, serving as the workhorse of A/B testing and underpinning the operation and analysis of reinforcement learning algorithms. This paper studies the geometry of the…

Machine Learning · Statistics 2022-02-17 Heguang Lin , Mengze Li , Daniel Pimentel-Alarcón , Matthew Malloy

Let $\mathscr{F}_{n,d}$ be the class of all functions $f:\{-1,1\}^n\to[-1,1]$ on the $n$-dimensional discrete hypercube of degree at most $d$. In the first part of this paper, we prove that any (deterministic or randomized) algorithm which…

Machine Learning · Computer Science 2024-10-23 Alexandros Eskenazis , Paata Ivanisvili , Lauritz Streck

We introduce and initiate the study of a new model of reductions called the random noise model. In this model, the truth table $T_f$ of the function $f$ is corrupted on a randomly chosen $\delta$-fraction of instances. A randomized…

Computational Complexity · Computer Science 2025-09-09 Tejas Nareddy , Abhishek Mishra

For a finite dimensional representation $V$ of a group $G$ over a field $F$, the degree of reductivity $\delta(G,V)$ is the smallest degree $d$ such that every nonzero fixed point $v\in V^{G}\setminus\{0\}$ can be separated from zero by a…

Commutative Algebra · Mathematics 2017-11-29 Martin Kohls , Müfit Sezer

Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the…

Commutative Algebra · Mathematics 2019-10-29 Adam Boocher , Derrick Wigglesworth

The functional decomposition of polynomials has been a topic of great interest and importance in pure and computer algebra and their applications. The structure of compositions of (suitably normalized) polynomials f=g(h) over finite fields…

Commutative Algebra · Mathematics 2010-05-11 Joachim von zur Gathen , Mark Giesbrecht , Konstantin Ziegler

We prove new parameterization theorems for sets definable in the structure $\mathbb{R}_{an}$ (i.e. for globally subanalytic sets) which are uniform for definable families of such sets. We treat both $C^r$-parameterization and (mild)…

Number Theory · Mathematics 2018-05-17 Raf Cluckers , Jonathan Pila , Alex Wilkie

In this work we address the reduction of face degrees of freedom (DOFs) for discrete elasticity complexes. Specifically, using serendipity techniques, we develop a reduced version of a recently introduced two-dimensional complex arising…

Numerical Analysis · Mathematics 2022-07-18 Michele Botti , Daniele A. Di Pietro , Marwa Salah

The notions of cutwidth and pathwidth of digraphs play a central role in the containment theory for tournaments, or more generally semi-complete digraphs, developed in a recent series of papers by Chudnovsky, Fradkin, Kim, Scott, and…

Data Structures and Algorithms · Computer Science 2012-10-22 Michał Pilipczuk

Let K be an algebraically closed field of characteristic 0. Following Medvedev-Scanlon, a polynomial of degree d > 1 is said to be disintegrated if neither f nor -f is linearly conjugate to x^d or T_d(x) where T_d is the Chebyshev…

Number Theory · Mathematics 2015-10-20 Dragos Ghioca , Khoa D. Nguyen

Consider the algebraic function $\Phi_{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Kronecker and Klein asks: What is the minimal $d$ such that, after a rational change of…

Algebraic Geometry · Mathematics 2023-06-22 Benson Farb , Mark Kisin , Jesse Wolfson

We show that neural networks with activations satisfying a Riccati-type ordinary differential equation condition, an assumption arising in recent universal approximation results in the uniform topology, produce Pfaffian outputs on analytic…

Machine Learning · Computer Science 2026-03-04 Bahman Gharesifard

In the problem of semialgebraic range searching, we are to preprocess a set of points in $\mathbb{R}^D$ such that the subset of points inside a semialgebraic region described by $O(1)$ polynomial inequalities of degree $\Delta$ can be found…

Computational Geometry · Computer Science 2022-03-16 Peyman Afshani , Pingan Cheng

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell…

Logic · Mathematics 2011-02-25 R. Cluckers , F. Loeser

Given a polynomial map $\psi:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $\psi$ and its derivatives satisfy a given list of…

Algebraic Geometry · Mathematics 2021-11-01 Antonio Lerario , Michele Stecconi