English
Related papers

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

200 papers

Let $C$ be a depth-3 arithmetic circuit of size at most $s$, computing a polynomial $ f \in \mathbb{F}[x_1,\ldots, x_n] $ (where $\mathbb{F}$ = $\mathbb{Q}$ or $\mathbb{C}$) and the fan-in of the product gates of $C$ is bounded by $d$. We…

Computational Complexity · Computer Science 2018-05-22 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

In this paper we study polynomials in $\text{VP}_e$ (polynomial-sized formulas) and in $\Sigma\Pi\Sigma$ (polynomial-size depth-$3$ circuits) whose orbits, under the action of the affine group $\text{GL}_n^{\text{aff}}(\mathbb{F})$, are…

Computational Complexity · Computer Science 2021-02-16 Dori Medini , Amir Shpilka

In this paper we study a special type of quasi-cyclic (QC) codes called skew QC codes. This set of codes is constructed using a non-commutative ring called the skew polynomial rings $F[x;\theta ]$. After a brief description of the skew…

Information Theory · Computer Science 2008-09-16 Taher Abualrub , Ali Ghrayeb , Nuh Aydin , Irfan Siap

A symmetric positive semi-definite matrix A is called completely positive if there exists a matrix B with nonnegative entries such that A=BB^T. If B is such a matrix with a minimal number p of columns, then p is called the cp-rank of A. In…

Rings and Algebras · Mathematics 2016-04-22 Jan Brandts , Michal Krizek

$ \newcommand{\ie}{i.\,e.} $We introduce a hitting set generator for Polynomial Identity Testing based on evaluations of low-degree univariate rational functions at abscissas associated with the variables. We establish an equivalence up to…

Computational Complexity · Computer Science 2025-01-06 Ivan Hu , Dieter van Melkebeek , Andrew Morgan

It has been known for almost three decades that many $\mathrm{NP}$-hard optimization problems can be solved in polynomial time when restricted to structures of constant treewidth. In this work we provide the first extension of such results…

Computational Complexity · Computer Science 2016-02-09 Mateus de Oliveira Oliveira

We address the black-box polynomial identity testing (PIT) problem for non-commutative polynomials computed by $+$-regular circuits, a class of homogeneous circuits introduced by [AJMR](STOC 2017, Theory of Computing 2019). These circuits…

Computational Complexity · Computer Science 2025-02-11 G V Sumukha Bharadwaj , S Raja

The Hilbert function, its generating function and the Hilbert polynomial of a graded ring R have been extensively studied since the famous paper of Hilbert: Ueber die Theorie der algebraischen Formen [Hil90]. In particular, the coefficients…

Commutative Algebra · Mathematics 2016-07-22 Massimo Caboara , Carla Mascia

We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis…

Data Structures and Algorithms · Computer Science 2016-06-22 Karl Bringmann , László Kozma , Shay Moran , N. S. Narayanaswamy

We study the problem of obtaining deterministic black-box polynomial identity testing algorithms (PIT) for algebraic branching programs (ABPs) that are read-once and oblivious. This class has an deterministic white-box polynomial identity…

Computational Complexity · Computer Science 2013-09-24 Michael A. Forbes , Amir Shpilka

We show that if we can design poly($s$)-time hitting-sets for $\Sigma\wedge^a\Sigma\Pi^{O(\log s)}$ circuits of size $s$, where $a=\omega(1)$ is arbitrarily small and the number of variables, or arity $n$, is $O(\log s)$, then we can…

Computational Complexity · Computer Science 2017-02-24 Manindra Agrawal , Michael Forbes , Sumanta Ghosh , Nitin Saxena

The Schwartz-Zippel Lemma states that if a low-degree multivariate polynomial with coefficients in a field is not zero everywhere in the field, then it has few roots on every finite subcube of the field. This fundamental fact about…

Computational Complexity · Computer Science 2024-11-13 Albert Atserias , Iddo Tzameret

This paper is devoted to studying difference indices of quasi-prime difference algebraic systems. We define the quasi dimension polynomial of a quasi-prime difference algebraic system. Based on this, we give the definition of the difference…

Commutative Algebra · Mathematics 2016-07-19 Jie Wang

In this paper, we initiate the study of deterministic PIT for $\Sigma^{[k]}\Pi\Sigma\Pi^{[\delta]}$ circuits over fields of any characteristic, where $k$ and $\delta$ are bounded. Our main result is a deterministic polynomial-time black-box…

Computational Complexity · Computer Science 2025-06-16 Zeyu Guo , Siki Wang

A recent trend in parameterized algorithms is the application of polytope tools (specifically, LP-branching) to FPT algorithms (e.g., Cygan et al., 2011; Narayanaswamy et al., 2012). However, although interesting results have been achieved,…

Data Structures and Algorithms · Computer Science 2014-06-12 Yoichi Iwata , Magnus Wahlström , Yuichi Yoshida

We prove strengthened lower bounds for constant-depth set-multilinear formulas. More precisely, we show that over any field, there is an explicit polynomial $f$ in VNP defined over $n^2$ variables, and of degree $n$, such that any…

Computational Complexity · Computer Science 2022-05-03 Deepanshu Kush , Shubhangi Saraf

For a polynomial $f$ from a class $\mathcal{C}$ of polynomials, we show that the problem to compute all the constant degree irreducible factors of $f$ reduces in polynomial time to polynomial identity tests (PIT) for class $\mathcal{C}$ and…

Computational Complexity · Computer Science 2026-03-02 Pranjal Dutta , Amit Sinhababu , Thomas Thierauf

For a polynomial f: {-1, 1}^n --> C, we define the partition function as the average of e^{lambda f(x)} over all points x in {-1, 1}^n, where lambda in C is a parameter. We present a quasi-polynomial algorithm, which, given such f, lambda…

Data Structures and Algorithms · Computer Science 2016-11-30 Alexander Barvinok

In this document, some structured operator approximation theoretical methods for system identification of nearly eventually periodic systems, are presented. Let $\mathbb{C}^{n\times m}$ denote the algebra of $n\times m$ complex matrices.…

Numerical Analysis · Mathematics 2020-01-31 Fredy Vides

We consider the problem of approximating the reachable set of a discrete-time polynomial system from a semialgebraic set of initial conditions under general semialgebraic set constraints. Assuming inclusion in a given simple set like a box…

Optimization and Control · Mathematics 2019-06-06 Victor Magron , Pierre-Loic Garoche , Didier Henrion , Xavier Thirioux