English
Related papers

Related papers: Testing Equivalence of Polynomials under Shifts

200 papers

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

Most integers are composite and most univariate polynomials over a finite field are reducible. The Prime Number Theorem and a classical result of Gau{\ss} count the remaining ones, approximately and exactly. For polynomials in two or more…

Commutative Algebra · Mathematics 2014-07-14 Joachim von zur Gathen , Konstantin Ziegler

Two proper polynomial maps $f_1, \,f_2 \colon \mC^n \lr \mC^n$ are said to be \emph{equivalent} if there exist $\Phi_1,\, \Phi_2 \in \textrm{Aut}(\mC^n)$ such that $f_2=\Phi_2 \circ f_1 \circ \Phi_1$. In this article we investigate proper…

Complex Variables · Mathematics 2023-05-03 Cinzia Bisi , Francesco Polizzi

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

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

The well-known DeMillo-Lipton-Schwartz-Zippel lemma says that $n$-variate polynomials of total degree at most $d$ over grids, i.e. sets of the form $A_1 \times A_2 \times \cdots \times A_n$, form error-correcting codes (of distance at least…

Computational Complexity · Computer Science 2018-12-17 Mitali Bafna , Srikanth Srinivasan , Madhu Sudan

In this paper we study the complexity of factorization of polynomials in the free noncommutative ring $\mathbb{F}\langle x_1,x_2,\dots,x_n\rangle$ of polynomials over the field $\mathbb{F}$ and noncommuting variables $x_1,x_2,\ldots,x_n$.…

Computational Complexity · Computer Science 2015-01-06 V. Arvind , Pushkar S Joglekar , Gaurav Rattan

We consider the problem of recovering (that is, interpolating) and identity testing of a "hidden" monic polynomial $f$, given an oracle access to $f(x)^e$ for $x\in{\mathbb F_q}$ (extension fields access is not permitted). The naive…

Number Theory · Mathematics 2015-02-25 Gabor Ivanyos , Marek Karpinski , Miklos Santha , Nitin Saxena , Igor Shparlinski

In this expository paper we describe four primality tests. The first test is very efficient, but is only capable of proving that a given number is either composite or 'very probably' prime. The second test is a deterministic polynomial time…

Number Theory · Mathematics 2008-01-25 Rene Schoof

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik

We show that positivity on $\mathbb{R}_+^n$ and on $\mathbb{R}^n$ of real symmetric polynomials of degree at most $p$ in $n\ge2$ variables is solvable by algorithms running in $\mathrm{poly}(n)$ time. For real symmetric quartics, we find…

Algebraic Geometry · Mathematics 2020-11-10 Vlad Timofte , Aida Timofte

In this paper we develop a novel bootstrap test for the comparison of two multinomial distributions. The two distributions are called {\it equivalent} or {\it similar} if a norm of the difference between the class probabilities is smaller…

Statistics Theory · Mathematics 2023-05-16 Patrick Bastian , Holger Dette , Lukas Koletzko

To determine if two lists of numbers are the same set, we sort both lists and see if we get the same result. The sorted list is a canonical form for the equivalence relation of set equality. Other canonical forms arise in graph isomorphism…

Computational Complexity · Computer Science 2011-06-30 Lance Fortnow , Joshua A. Grochow

The graph isomorphism problem is considered. We assign modified $n$-variable characteristic polynomials for graphs and reduce the graph isomorphism problem to the problem of the polynomials isomorphism. It is required to find out, is there…

Discrete Mathematics · Computer Science 2024-10-18 Alexander Prolubnikov

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

Consider $n$ independent, biased coins, each with a known probability of heads. Presented with an ordering of these coins, flip (i.e., toss) each coin once, in that order, until we have observed both a *head* and a *tail*, or flipped all…

Data Structures and Algorithms · Computer Science 2025-10-21 Feyza Duman Keles , Lisa Hellerstein , Kunal Marwaha , Christopher Musco , Xinchen Yang

A real polynomial $P(X_1,..., X_n)$ sign represents $f: A^n \to \{0,1\}$ if for every $(a_1, ..., a_n) \in A^n$, the sign of $P(a_1,...,a_n)$ equals $(-1)^{f(a_1,...,a_n)}$. Such sign representations are well-studied in computer science and…

Combinatorics · Mathematics 2011-02-21 Saugata Basu , Nayantara Bhatnagar , Parikshit Gopalan , Richard J. Lipton

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u_1 o u_2 o ... o u_r. His main achievement was a procedure for obtaining any decomposition of f from any other by…

Algebraic Geometry · Mathematics 2008-07-24 Michael E. Zieve , Peter Mueller

The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In…

Commutative Algebra · Mathematics 2013-03-05 Oleg Golubitsky , Marina Kondratieva , Alexey Ovchinnikov

Consider the model where we can access a parity function through random uniform labeled examples in the presence of random classification noise. In this paper, we show that approximating the number of relevant variables in the parity…

Machine Learning · Computer Science 2024-07-17 Nader H. Bshouty , George Haddad