English
Related papers

Related papers: Quasi-polynomial Hitting-set for Set-depth-Delta F…

200 papers

We demonstrate a quasipolynomial-time deterministic approximation algorithm for the partition function of a Gibbs point process interacting via a finite-range stable potential. This result holds for all activities $\lambda$ for which the…

Data Structures and Algorithms · Computer Science 2023-05-24 Matthew Jenssen , Marcus Michelen , Mohan Ravichandran

In a sequence of seminal results in the 80's, Kaltofen showed that the complexity class VP is closed under taking factors. A natural question in this context is to understand if other natural classes of multivariate polynomials, for…

Computational Complexity · Computer Science 2018-03-19 Chi-Ning Chou , Mrinal Kumar , Noam Solomon

We show that, for a system of univariate polynomials given in sparse encoding, we can compute a single polynomial defining the same zero set, in time quasi-linear in the logarithm of the degree. In particular, it is possible to determine…

Algebraic Geometry · Mathematics 2014-04-15 Francesco Amoroso , Louis Leroux , Martin Sombra

Consider a class of simplices defined by systems $A x \leq b$ of linear inequalities with $\Delta$-modular matrices. A matrix is called $\Delta$-modular, if all its rank-order sub-determinants are bounded by $\Delta$ in an absolute value.…

Combinatorics · Mathematics 2023-03-03 D. Gribanov

We formalize a framework of algebraically natural lower bounds for algebraic circuits. Just as with the natural proofs notion of Razborov and Rudich for boolean circuit lower bounds, our notion of algebraically natural lower bounds captures…

Computational Complexity · Computer Science 2018-07-24 Michael A. Forbes , Amir Shpilka , Ben Lee Volk

We study the complexity of representing polynomials as a sum of products of polynomials in few variables. More precisely, we study representations of the form $$P = \sum_{i = 1}^T \prod_{j = 1}^d Q_{ij}$$ such that each $Q_{ij}$ is an…

Computational Complexity · Computer Science 2015-04-24 Mrinal Kumar , Shubhangi Saraf

We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (Sigma-Pi-Sigma) arithmetic circuits over a field F is polynomial time equivalent to…

Computational Complexity · Computer Science 2016-09-08 Chandan Saha , Ramprasad Saptharishi , Nitin Saxena

We study deterministic polynomial identity testing (PIT) and reconstruction algorithms for depth-$4$ arithmetic circuits of the form \[ \Sigma^{[r]}\!\wedge^{[d]}\!\Sigma^{[s]}\!\Pi^{[\delta]}. \] This model generalizes Waring…

Computational Complexity · Computer Science 2026-02-25 Amir Shpilka , Yann Tal

Let $n = \mathrm{p}\!\cdot\!\mathrm{q}$ (p < q) and $\Delta = \lvert p-q \rvert$, where p,q are odd integers, then, it is hypothesized that factorizing this composite n will take O(1) time once the steady state value is reached for any…

Number Theory · Mathematics 2021-09-21 Vishal Mudgal

$\delta$-Covering, for some covering range $\delta>0$, is a continuous facility location problem on undirected graphs where all edges have unit length. The facilities may be positioned on the vertices as well as on the interior of the…

Data Structures and Algorithms · Computer Science 2024-08-09 Tim A. Hartmann , Tom Janßen

The class of quasiseparable matrices is defined by the property that any submatrix entirely below or above the main diagonal has small rank, namely below a bound called the order of quasiseparability. These matrices arise naturally in…

Symbolic Computation · Computer Science 2019-10-22 Clement Pernet , Arne Storjohann

An efficient randomized polynomial identity test for noncommutative polynomials given by noncommutative arithmetic circuits remains an open problem. The main bottleneck to applying known techniques is that a noncommutative circuit of size…

Computational Complexity · Computer Science 2016-11-23 Vikraman Arvind , Pushkar Joglekar , Partha Mukhopadhyay , S Raja

The Peterson hit problem in algebraic topology is to explicitly determine the dimension of the quotient space $Q\mathcal P_k = \mathbb F_2\otimes_{\mathcal A}\mathcal P_k$ in positive degrees, where $\mathcal{P}_k$ denotes the polynomial…

Algebraic Topology · Mathematics 2025-07-15 Dang Vo Phuc

We study arithmetic proof systems P_c(F) and P_f(F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We establish a series of structural theorems about these proof…

Computational Complexity · Computer Science 2013-04-23 Pavel Hrubes , Iddo Tzameret

A new two-parameter family of quasi-exactly solvable quartic polynomial potentials $V(x)=-x^4+2iax^3+(a^2-2b)x^2+2i(ab-J)x$ is introduced. Until now, it was believed that the lowest-degree one-dimensional quasi-exactly solvable polynomial…

Mathematical Physics · Physics 2009-10-31 Carl M. Bender , Stefan Boettcher

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 develop a systematic algorithm for constructing an N-fold supersymmetric system from a given vector space invariant under one of the supercharges. Applying this algorithm to spaces of monomials, we construct a new multi-parameter family…

High Energy Physics - Theory · Physics 2007-05-23 Artemio Gonzalez-Lopez , Toshiaki Tanaka

Let $K$ be a field, $A$ a standard graded $K$-algebra and $M$ a finitely generated graded $A$-module. Inspired by our previous works, we study the Hilbert depth of $h_M$, that is $$\operatorname{hdepth}(h_M)=\max\{d\;:\; \sum\limits_{j\leq…

Commutative Algebra · Mathematics 2024-02-20 Silviu Balanescu , Mircea Cimpoeas

This text is a development of a preprint of Ankit Gupta. We present an approach for devising a deterministic polynomial time blackbox identity testing (PIT) algorithm for depth-$4$ circuits with bounded top fanin. This approach is similar…

Computational Complexity · Computer Science 2019-02-20 Alexey Milovanov

Let $\R$ be a real closed field, $ {\mathcal Q} \subset \R[Y_1,...,Y_\ell,X_1,...,X_k], $ with $ \deg_{Y}(Q) \leq 2, \deg_{X}(Q) \leq d, Q \in {\mathcal Q}, #({\mathcal Q})=m$, and $ {\mathcal P} \subset \R[X_1,...,X_k] $ with $\deg_{X}(P)…

Geometric Topology · Mathematics 2010-10-21 Saugata Basu , Dmitrii V. Pasechnik , Marie-Françoise Roy