English
Related papers

Related papers: Blackbox identity testing for bounded top fanin de…

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

A $\Sigma\Pi\Sigma\Pi(k)$ circuit $C=\sum_{i=1}^kF_i=\sum_{i=1}^k\prod_{j=1}^{d_i}f_{ij}$ is unmixed if for each $i\in[k]$, $F_i=f_{i1}(x_1)... f_{in}(x_n)$, where each $f_{ij}$ is a univariate polynomial given in the sparse representation.…

Computational Complexity · Computer Science 2012-07-26 Jinyu Huang

We show that the rank of a depth-3 circuit (over any field) that is simple, minimal and zero is at most k^3\log d. The previous best rank bound known was 2^{O(k^2)}(\log d)^{k-2} by Dvir and Shpilka (STOC 2005). This almost resolves the…

Computational Complexity · Computer Science 2008-11-20 Nitin Saxena , C. Seshadhri

In this paper we show that the black-box polynomial identity testing for noncommutative polynomials $f\in\mathbb{F}\langle z_1,z_2,\cdots,z_n \rangle$ of degree $D$ and sparsity $t$, can be done in randomized $\poly(n,\log t,\log D)$ time.…

Computational Complexity · Computer Science 2016-06-07 V. Arvind , Partha Mukhopadhyay , S. Raja

Reconstruction of arithmetic circuits has been heavily studied in the past few years and has connections to proving lower bounds and deterministic identity testing. In this paper we present a polynomial time randomized algorithm for…

Data Structures and Algorithms · Computer Science 2018-02-28 Gaurav Sinha

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

We present a single, common tool to strictly subsume all known cases of polynomial time blackbox polynomial identity testing (PIT) that have been hitherto solved using diverse tools and techniques. In particular, we show that polynomial…

Computational Complexity · Computer Science 2011-11-03 Manindra Agrawal , Chandan Saha , Ramprasad Saptharishi , Nitin Saxena

Polynomial Identity Testing (PIT) is a fundamental computational problem. The famous depth-$4$ reduction result by Agrawal and Vinay (FOCS 2008) has made PIT for depth-$4$ circuits an enticing pursuit. A restricted depth-4 circuit computing…

Computational Complexity · Computer Science 2023-04-26 Pranjal Dutta , Prateek Dwivedi , Nitin Saxena

We study the problem of identity testing for depth-3 circuits of top fanin k and degree d. We give a new structure theorem for such identities. A direct application of our theorem improves the known deterministic d^{k^k}-time black-box…

Computational Complexity · Computer Science 2010-02-09 Nitin Saxena , C. Seshadhri

In this work we resolve conjectures of Beecken, Mitmann and Saxena [BMS13] and Gupta [Gup14], by proving an analog of a theorem of Edelstein and Kelly for quadratic polynomials. As immediate corollary we obtain the first deterministic…

Computational Complexity · Computer Science 2020-06-16 Shir Peleg , Amir Shpilka

A polynomial identity testing algorithm must determine whether an input polynomial (given for instance by an arithmetic circuit) is identically equal to 0. In this paper, we show that a deterministic black-box identity testing algorithm for…

Computational Complexity · Computer Science 2010-08-02 Pascal Koiran

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

We develop efficient randomized algorithms to solve the black-box reconstruction problem for polynomials over finite fields, computable by depth three arithmetic circuits with alternating addition/multiplication gates, such that output gate…

Computational Complexity · Computer Science 2021-06-18 Gaurav Sinha

For every constant $d$, we design a subexponential time deterministic algorithm that takes as input a multivariate polynomial $f$ given as a constant depth algebraic circuit over the field of rational numbers, and outputs all irreducible…

Computational Complexity · Computer Science 2023-09-19 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi

We consider the cyclotomic identity testing (CIT) problem: given a polynomial $f(x_1,\ldots,x_k)$, decide whether $f(\zeta_n^{e_1},\ldots,\zeta_n^{e_k})$ is zero, where $\zeta_n = e^{2\pi i/n}$ is a primitive complex $n$-th root of unity…

Computational Complexity · Computer Science 2021-05-05 Nikhil Balaji , Sylvain Perifel , Mahsa Shirmohammadi , James Worrell

Algebraic independence is an advanced notion in commutative algebra that generalizes independence of linear polynomials to higher degree. Polynomials {f_1, ..., f_m} \subset \F[x_1, ..., x_n] are called algebraically independent if there is…

Computational Complexity · Computer Science 2011-02-15 Malte Beecken , Johannes Mittmann , Nitin Saxena

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

A polynomial identity testing algorithm must determine whether a given input polynomial is identically equal to 0. We give a deterministic black-box identity testing algorithm for univariate polynomials of the form $\sum_{j=0}^t c_j…

Computational Complexity · Computer Science 2009-12-08 Pascal Koiran

We prove a non-linear Edelstein-Kelly theorem for polynomials of constant degree, fully settling a stronger form of Conjecture 30 in Gupta (2014), and generalizing the main result of Peleg and Shpilka (STOC 2021) from quadratic polynomials…

Computational Complexity · Computer Science 2025-04-28 Abhibhav Garg , Rafael Oliveira , Akash Kumar Sengupta

We develop a new algebraic technique that solves the following problem: Given a black box that contains an arithmetic circuit $f$ over a field of characteristic $2$ of degree~$d$. Decide whether $f$, expressed as an equivalent multivariate…

Data Structures and Algorithms · Computer Science 2014-04-11 Hasan Abasi , Nader H. Bshouty
‹ Prev 1 2 3 10 Next ›