English
Related papers

Related papers: Testing Equivalence of Polynomials under Shifts

200 papers

Factorizable joint shift (FJS) was recently proposed as a type of dataset shift for which the complete characteristics can be estimated from feature data observations on the test dataset by a method called Joint Importance Aligning. For the…

Machine Learning · Statistics 2022-09-19 Dirk Tasche

We consider two basic algorithmic problems concerning tuples of (skew-)symmetric matrices. The first problem asks to decide, given two tuples of (skew-)symmetric matrices $(B_1, \dots, B_m)$ and $(C_1, \dots, C_m)$, whether there exists an…

Data Structures and Algorithms · Computer Science 2019-02-08 Gábor Ivanyos , Youming Qiao

Let $f$ be a polynomial of degree $d>6$, with integer coefficients. Then the paucity of non-trivial positive integer solutions to the equation $f(a)+f(b)=f(c)+f(d)$ is established. The corresponding situation for equal sums of three like…

Number Theory · Mathematics 2007-05-23 T. D. Browning

We give a deterministic algorithm for approximately counting satisfying assignments of a degree-$d$ polynomial threshold function (PTF). Given a degree-$d$ input polynomial $p(x_1,\dots,x_n)$ over $R^n$ and a parameter $\epsilon> 0$, our…

Computational Complexity · Computer Science 2013-12-02 Anindya De , Rocco Servedio

We show that if a polynomial $f\in \mathbb{R}[x_1,\ldots,x_n]$ is nonnegative on a closed basic semialgebraic set $X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}$, where $g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n]$, then $f$ can be…

Algebraic Geometry · Mathematics 2015-07-23 Krzysztof Kurdyka , Stanisław Spodzieja

This article deals with new polynomial time algorithm for graph isomorphism testing.

Data Structures and Algorithms · Computer Science 2013-06-19 Michael I. Trofimov

Hrube\v{s} and Wigderson (2015) initiated the complexity-theoretic study of noncommutative formulas with inverse gates. They introduced the Rational Identity Testing (RIT) problem which is to decide whether a noncommutative rational formula…

Computational Complexity · Computer Science 2022-02-14 V. Arvind , Abhranil Chatterjee , Partha Mukhopadhyay

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

Motivated by recent work on optimal approximation by polynomials in the unit disk, we consider the following noncommutative approximation problem: for a polynomial $f$ in $d$ freely noncommuting arguments, find a free polynomial $p_n$, of…

Functional Analysis · Mathematics 2022-09-22 Palak Arora , Meric Augat , Michael Jury , Meredith Sargent

Univariate polynomial root-finding has been studied for four millennia and very intensively in the last decades. Our new near-optimal root-finders approximate all zeros of a polynomial p almost as fast as one accesses its coefficients with…

Numerical Analysis · Computer Science 2024-07-02 Victor Y. Pan

We study the Radical Identity Testing problem (RIT): Given an algebraic circuit representing a polynomial $f\in \mathbb{Z}[x_1, \ldots, x_k]$ and nonnegative integers $a_1, \ldots, a_k$ and $d_1, \ldots,$ $d_k$, written in binary, test…

Computational Complexity · Computer Science 2024-10-17 Nikhil Balaji , Klara Nosan , Mahsa Shirmohammadi , James Worrell

In this brief report, we consider the equivalence between two sets of $m+1$ bipartite quantum states under local unitary transformations. For pure states, this problem corresponds to the matrix algebra question of whether two degree $m$…

Quantum Physics · Physics 2010-10-07 Eric Chitambar , Carl A. Miller , Yaoyun Shi

A matching cut is a partition of the vertex set of a graph into two sets $A$ and $B$ such that each vertex has at most one neighbor in the other side of the cut. The MATCHING CUT problem asks whether a graph has a matching cut, and has been…

Data Structures and Algorithms · Computer Science 2019-05-09 Guilherme C. M. Gomes , Ignasi Sau

A univariate polynomial f over a field is decomposable if it is the composition f = g(h) of two polynomials g and h whose degree is at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and…

Commutative Algebra · Mathematics 2019-02-20 Joachim von zur Gathen

Let $g(X)$ be a polynomial over a finite field ${\mathbb F}_q$ with degree $o(q^{1/2})$, and let $\chi$ be the quadratic residue character. We give a polynomial time algorithm to recover $g(X)$ (up to perfect square factors) given the…

Computational Complexity · Computer Science 2026-01-13 Swastik Kopparty

Let $\mu_n$ be the standard Gaussian measure on $\mathbb{R}^n$ and $X$ be a random vector on $\mathbb{R}^n$ with the law $\mu_n$. U-conjecture states that if $f$ and $g$ are two polynomials on $\mathbb{R}^n$ such that $f(X)$ and $g(X)$ are…

Probability · Mathematics 2021-01-01 He-Jing Hong , Ze-Chun Hu

We study the perfect matching reconfiguration problem: Given two perfect matchings of a graph, is there a sequence of flip operations that transforms one into the other? Here, a flip operation exchanges the edges in an alternating cycle of…

Data Structures and Algorithms · Computer Science 2019-04-15 Marthe Bonamy , Nicolas Bousquet , Marc Heinrich , Takehiro Ito , Yusuke Kobayashi , Arnaud Mary , Moritz Mühlenthaler , Kunihiro Wasa

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

Vladimir Shpilrain and Jie-Tai Yu have asked for an effective algorithm to decide if two elements of C[x,y] are related by an automorphism of C[x,y]. We describe here an efficient algorithm that decides this question and finds the…

Algebraic Geometry · Mathematics 2007-05-23 Walter D. Neumann , Penelope G. Wightwick

We give a strongly polynomial time algorithm which determines whether or not a bivariate polynomial is real stable. As a corollary, this implies an algorithm for testing whether a given linear transformation on univariate polynomials…

Data Structures and Algorithms · Computer Science 2016-10-04 Prasad Raghavendra , Nick Ryder , Nikhil Srivastava