English
Related papers

Related papers: Closure under factorization from a result of Furst…

200 papers

We show that the GCD of two univariate polynomials can be computed by (piece-wise) algebraic circuits of constant depth and polynomial size over any sufficiently large field, regardless of the characteristic. This extends a recent result of…

Computational Complexity · Computer Science 2025-07-01 Somnath Bhattacharjee , Mrinal Kumar , Shanthanu Rai , Varun Ramanathan , Ramprasad Saptharishi , Shubhangi Saraf

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 design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with…

Computational Complexity · Computer Science 2024-03-05 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi , Ben Lee Volk

While efficient randomized algorithms for factorization of polynomials given by algebraic circuits have been known for decades, obtaining an even slightly non-trivial deterministic algorithm for this problem has remained an open question of…

Computational Complexity · Computer Science 2025-06-17 Somnath Bhattacharjee , Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi , Shubhangi Saraf

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

Newton iteration (NI) is an almost 350 years old recursive formula that approximates a simple root of a polynomial quite rapidly. We generalize it to a matrix recurrence (allRootsNI) that approximates all the roots simultaneously. In this…

Computational Complexity · Computer Science 2017-10-10 Pranjal Dutta , Nitin Saxena , Amit Sinhababu

In this note, we give a short, simple and almost completely self contained proof of a classical result of Kaltofen [Kal86, Kal87, Kal89] which shows that if an $n$ variate degree $d$ polynomial $f$ can be computed by an arithmetic circuit…

Computational Complexity · Computer Science 2019-04-22 Chi-Ning Chou , Mrinal Kumar , Noam Solomon

New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following…

Commutative Algebra · Mathematics 2009-08-22 Ivan V. Arzhantsev , Anatoliy P. Petravchuk

The Casas-Alvero conjecture predicts that every univariate polynomial over an algebraically closed field of characteristic zero sharing a common factor with each of its Hasse-Schmidt derivatives is a power of a linear polynomial. The…

Algebraic Geometry · Mathematics 2025-01-15 Soham Ghosh

Polynomial factorization is a fundamental problem in computational algebra. Over the past half century, a variety of algorithmic techniques have been developed to tackle different variants of this problem. In parallel, algebraic complexity…

Computational Complexity · Computer Science 2025-06-25 C. S. Bhargav , Prateek Dwivedi , Nitin Saxena

Based on a theorem of Bergman we show that multivariate noncommutative polynomial factorization is deterministic polynomial-time reducible to the factorization of bivariate noncommutative polynomials. More precisely, we show the following:…

Computational Complexity · Computer Science 2023-03-13 V. Arvind , Pushkar S. Joglekar

The "openness" of a complex polynomial mapping is discussed and applied to the Fundamental Theorem of Algebra. In this category fall proofs of S. Wolfenstein, R.L. Thompson, J. Milnor, and S. Reich-S. Smale. These proofs take into account…

Complex Variables · Mathematics 2015-12-02 Jon A. Sjogren

Polynomial identity testing and arithmetic circuit lower bounds are two central questions in algebraic complexity theory. It is an intriguing fact that these questions are actually related. One of the authors of the present paper has…

Computational Complexity · Computer Science 2012-02-17 Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki

We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is…

Commutative Algebra · Mathematics 2018-12-12 Carlos D'Andrea , Teresa Krick , Agnes Szanto , Marcelo Valdettaro

We investigate the closure properties of read-once oblivious Algebraic Branching Programs (roABPs) under various natural algebraic operations and prove the following. - Non-closure under factoring: There is a sequence of explicit…

Computational Complexity · Computer Science 2025-09-16 Jules Armand , Prateek Dwivedi , Magnus Rahbek Dalgaard Hansen , Nutan Limaye , Srikanth Srinivasan , Sébastien Tavenas

The existence of string functions, which are not polynomial time computable, but whose graph is checkable in polynomial time, is a basic assumption in cryptography. We prove that in the framework of algebraic complexity, there are no such…

Computational Complexity · Computer Science 2018-12-18 Peter Bürgisser

We prove a structural result for measure preserving systems naturally associated with any finite collection of multiplicative functions that take values on the complex unit disc. We show that these systems have no irrational spectrum and…

Number Theory · Mathematics 2019-03-06 Nikos Frantzikinakis , Bernard Host

We prove super-polynomial lower bounds for low-depth arithmetic circuits using the shifted partials measure [Gupta-Kamath-Kayal-Saptharishi, CCC 2013], [Kayal, ECCC 2012] and the affine projections of partials measure [Garg-Kayal-Saha, FOCS…

Computational Complexity · Computer Science 2022-11-16 Prashanth Amireddy , Ankit Garg , Neeraj Kayal , Chandan Saha , Bhargav Thankey

Valiant's famous VP vs. VNP conjecture states that the symbolic permanent polynomial does not have polynomial-size algebraic circuits. However, the best upper bound on the size of the circuits computing the permanent is exponential.…

Computational Complexity · Computer Science 2026-01-22 Somnath Bhattacharjee , Markus Bläser , Pranjal Dutta , Saswata Mukherjee

In this article, we prove some factorization results for several classes of polynomials having integer coefficients, which in particular yield several classes of irreducible polynomials. Such classes of polynomials are devised by imposing…

Number Theory · Mathematics 2024-01-17 Jitender Singh , Rishu Garg
‹ Prev 1 2 3 10 Next ›