English
Related papers

Related papers: A Note on Polynomial Identity Testing for Depth-3 …

200 papers

Motivated by some algorithmic problems, we give lower bounds on the size of the multiplicative groups containing rational function images of low-dimensional affine subspaces of a finite field~$\mathbb{F}_{q^n}$ considered as a linear space…

Number Theory · Mathematics 2019-07-05 László Mérai

An $n$-qubit quantum circuit is said to be peaked if it has an output probability that is at least inverse-polynomially large as a function of $n$. We describe a classical algorithm with quasipolynomial runtime $n^{O(\log{n})}$ that…

Quantum Physics · Physics 2023-09-18 Sergey Bravyi , David Gosset , Yinchen Liu

We construct a polynomial-time classical algorithm that samples from the output distribution of noisy geometrically local Clifford circuits with any product-state input and single-qubit measurements in any basis. Our results apply to…

Quantum Physics · Physics 2026-01-09 Jon Nelson , Joel Rajakumar , Dominik Hangleiter , Michael J. Gullans

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

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

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

Recently, Gupta et.al. [GKKS2013] proved that over Q any $n^{O(1)}$-variate and $n$-degree polynomial in VP can also be computed by a depth three $\Sigma\Pi\Sigma$ circuit of size $2^{O(\sqrt{n}\log^{3/2}n)}$. Over fixed-size finite fields,…

Computational Complexity · Computer Science 2014-01-03 Suryajith Chillara , Partha Mukhopadhyay

Koiran showed that if a $n$-variate polynomial of degree $d$ (with $d=n^{O(1)}$) is computed by a circuit of size $s$, then it is also computed by a homogeneous circuit of depth four and of size $2^{O(\sqrt{d}\log(d)\log(s))}$. Using this…

Computational Complexity · Computer Science 2014-05-19 Sébastien Tavenas

We study the identity testing problem in the context of spin systems or undirected graphical models, where it takes the following form: given the parameter specification of the model $M$ and a sampling oracle for the distribution…

Data Structures and Algorithms · Computer Science 2019-06-21 Ivona Bezakova , Antonio Blanca , Zongchen Chen , Daniel Štefankovič , Eric Vigoda

We numerically investigate the statement that local random quantum circuits acting on n qubits composed of polynomially many nearest neighbour two-qubit gates form an approximate unitary poly(n)-design [F.G.S.L. Brandao et al.,…

Polytopic matrix factorization (PMF) is a recently introduced matrix decomposition method in which the data vectors are modeled as linear transformations of samples from a polytope. The successful recovery of the original factors in the…

Signal Processing · Electrical Eng. & Systems 2022-04-26 Bariscan Bozkurt , Alper T. Erdogan

We prove a lower bound of $\Omega\left(n^{1.5}\right)$ for the number of product gates in non-commutative arithmetic circuits for an explicit $n$-variate degree-$n$ polynomial $f_{n}$ (over every field). We observe that this implies that…

Computational Complexity · Computer Science 2026-04-27 Ran Raz

The main purpose of this paper is solve polynomial equations that are satisfied by (generalized) polynomials. More exactly, we deal with the following problem: let $\mathbb{F}$ be a field with $\mathrm{char}(\mathbb{F})=0$ and $P\in…

Commutative Algebra · Mathematics 2021-09-08 Eszter Gselmann

Detecting and eliminating logic hazards in Boolean circuits is a fundamental problem in logic circuit design. We show that there is no $O(3^{(1-\epsilon)n} \text{poly}(s))$ time algorithm, for any $\epsilon > 0$, that detects logic hazards…

Computational Complexity · Computer Science 2020-06-19 Balagopal Komarath , Nitin Saurabh

We exhibit a monotone function computable by a monotone circuit of quasipolynomial size such that any monotone circuit of polynomial depth requires exponential size. This is the first size-depth tradeoff result for monotone circuits in the…

Computational Complexity · Computer Science 2024-11-22 Mika Göös , Gilbert Maystre , Kilian Risse , Dmitry Sokolov

In this note we study the number of quantum queries required to identify an unknown multilinear polynomial of degree d in n variables over a finite field F_q. Any bounded-error classical algorithm for this task requires Omega(n^d) queries…

Quantum Physics · Physics 2012-08-02 Ashley Montanaro

The Function Field Sieve algorithm is dedicated to computing discrete logarithms in a finite field GF(q^n), where q is small an prime power. The scope of this article is to select good polynomials for this algorithm by defining and…

Cryptography and Security · Computer Science 2013-03-11 Razvan Barbulescu

Let $\mathbf{f}=(f\_1,\ldots,f\_m)$ and $\mathbf{g}=(g\_1,\ldots,g\_m)$ be two sets of $m\geq 1$ nonlinear polynomials over $\mathbb{K}[x\_1,\ldots,x\_n]$ ($\mathbb{K}$ being a field). We consider the computational problem of finding -- if…

Symbolic Computation · Computer Science 2016-08-11 Jérémy Berthomieu , Jean-Charles Faugère , Ludovic Perret

Let $\mathcal{P}$ be a property of function $\mathbb{F}_p^n \to \{0,1\}$ for a fixed prime $p$. An algorithm is called a tester for $\mathcal{P}$ if, given a query access to the input function $f$, with high probability, it accepts when $f$…

Computational Complexity · Computer Science 2014-02-11 Yuichi Yoshida

In this paper, we provide a deterministic polynomial time algorithm that determines satisfiability of 3-SAT. The complexity analysis for the algorithm takes into account no efficiency and yet provides a low enough bound, that efficient…

Data Structures and Algorithms · Computer Science 2020-07-02 Ortho Flint , Asanka Wickramasinghe , Jason Brasse , Christopher Fowler

In recent years, there has been a flurry of activity towards proving lower bounds for homogeneous depth-4 arithmetic circuits, which has brought us very close to statements that are known to imply $\textsf{VP} \neq \textsf{VNP}$. It is open…

Computational Complexity · Computer Science 2018-06-19 Mrinal Kumar , Shubhangi Saraf
‹ Prev 1 4 5 6 7 8 10 Next ›