English
Related papers

Related papers: Deterministic Identity Testing of Read-Once Algebr…

200 papers

A read-once oblivious arithmetic branching program (ROABP) is an arithmetic branching program (ABP) where each variable occurs in at most one layer. We give the first polynomial time whitebox identity test for a polynomial computed by a sum…

Computational Complexity · Computer Science 2015-05-19 Rohit Gurjar , Arpita Korwar , Nitin Saxena , Thomas Thierauf

In this paper we study algebraic branching programs (ABPs) with restrictions on the order and the number of reads of variables in the program. Given a permutation $\pi$ of $n$ variables, for a $\pi$-ordered ABP ($\pi$-OABP), for any…

Computational Complexity · Computer Science 2010-02-09 Maurice Jansen , Youming Qiao , Jayalal Sarma

Read-$k$ oblivious algebraic branching programs are a natural generalization of the well-studied model of read-once oblivious algebraic branching program (ROABPs). In this work, we give an exponential lower bound of $\exp(n/k^{O(k)})$ on…

Computational Complexity · Computer Science 2015-11-24 Matthew Anderson , Michael A. Forbes , Ramprasad Saptharishi , Amir Shpilka , Ben Lee Volk

We give deterministic black-box polynomial identity testing algorithms for multilinear read-once oblivious algebraic branching programs (ROABPs), in n^(lg^2 n) time. Further, our algorithm is oblivious to the order of the variables. This is…

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

We give improved hitting sets for two special cases of Read-once Oblivious Arithmetic Branching Programs (ROABP). First is the case of an ROABP with known order of the variables. The best previously known hitting set for this case had size…

Computational Complexity · Computer Science 2018-07-11 Rohit Gurjar , Arpita Korwar , Nitin Saxena

We study the arithmetic circuit complexity of some well-known family of polynomials through the lens of parameterized complexity. Our main focus is on the construction of explicit algebraic branching programs (ABP) for determinant and…

Computational Complexity · Computer Science 2019-08-23 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

Deterministic black-box polynomial identity testing (PIT) for read-once oblivious algebraic branching programs (ROABPs) is a central open problem in algebraic complexity, particularly in the absence of variable ordering. Prior deterministic…

Computational Complexity · Computer Science 2026-02-17 Shalender Singh , Vishnupriya Singh

Using ideas from automata theory we design a new efficient (deterministic) identity test for the \emph{noncommutative} polynomial identity testing problem (first introduced and studied in \cite{RS05,BW05}). We also apply this idea to the…

Computational Complexity · Computer Science 2008-01-04 V. Arvind , Partha Mukhopadhyay , Srikanth Srinivasan

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

Proving super polynomial size lower bounds for various classes of arithmetic circuits computing explicit polynomials is a very important and challenging task in algebraic complexity theory. We study representation of polynomials as sums of…

Computational Complexity · Computer Science 2020-10-06 Purnata Ghosal , B. V. Raghavendra Rao

This paper is our second step towards developing a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by an arithmetic circuit has some types of monomials in its…

Computational Complexity · Computer Science 2010-07-19 Zhixiang Chen , Bin Fu , Yang Liu , Robert Schweller

We give a $n^{O(\log n)}$-time ($n$ is the input size) blackbox polynomial identity testing algorithm for unknown-order read-once oblivious algebraic branching programs (ROABP). The best result known for this class was $n^{O(\log^2 n)}$ due…

Computational Complexity · Computer Science 2014-07-01 Manindra Agrawal , Rohit Gurjar , Arpita Korwar , Nitin Saxena

In recent years, several powerful techniques have been developed to design {\em randomized} polynomial-space parameterized algorithms. In this paper, we introduce an enhancement of color coding to design deterministic polynomial-space…

Data Structures and Algorithms · Computer Science 2017-12-20 Gregory Gutin , Felix Reidl , Magnus Wahlström , Meirav Zehavi

We show that for every homogeneous polynomial of degree $d$, if it has determinantal complexity at most $s$, then it can be computed by a homogeneous algebraic branching program (ABP) of size at most $O(d^5s)$. Moreover, we show that for…

Computational Complexity · Computer Science 2023-08-10 Abhranil Chatterjee , Mrinal Kumar , Ben Lee Volk

The paper examines hierarchies for nondeterministic and deterministic ordered read-$k$-times Branching programs. The currently known hierarchies for deterministic $k$-OBDD models of Branching programs for $ k=o(n^{1/2}/\log^{3/2}n)$ are…

Computational Complexity · Computer Science 2024-04-05 Kamil Khadiev

In the classical linear degeneracy testing problem, we are given $n$ real numbers and a $k$-variate linear polynomial $F$, for some constant $k$, and have to determine whether there exist $k$ numbers $a_1,\ldots,a_k$ from the set such that…

Computational Geometry · Computer Science 2022-12-07 Jean Cardinal , Micha Sharir

The identity testing of rational formulas (RIT) in the free skew field efficiently reduces to computing the rank of a matrix whose entries are linear polynomials in noncommuting variables\cite{HW15}. This rank computation problem has…

Computational Complexity · Computer Science 2022-09-13 V. Arvind , Abhranil Chatterjee , Utsab Ghosal , Partha Mukhopadhyay , C. Ramya

Given a set of numbers, the $k$-SUM problem asks for a subset of $k$ numbers that sums to zero. When the numbers are integers, the time and space complexity of $k$-SUM is generally studied in the word-RAM model; when the numbers are reals,…

Data Structures and Algorithms · Computer Science 2016-05-25 Andrea Lincoln , Virginia Vassilevska Williams , Joshua R. Wang , R. Ryan Williams

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

Recently, Pagh presented a randomized approximation algorithm for the multiplication of real-valued matrices building upon work for detecting the most frequent items in data streams. We continue this line of research and present new {\em…

Data Structures and Algorithms · Computer Science 2012-09-21 Konstantin Kutzkov
‹ Prev 1 2 3 10 Next ›