English
Related papers

Related papers: Computing all monomials of degree $n-1$ using $2n-…

200 papers

We give a complexity dichotomy for the problem of computing the partition function of a weighted Boolean constraint satisfaction problem. Such a problem is parameterized by a set of rational-valued functions, which generalize constraints.…

Computational Complexity · Computer Science 2009-06-03 Andrei Bulatov , Martin Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

We devise a simple but remarkably accurate iterative routine for calculating the roots of a polynomial of any degree. We demonstrate that our results have significant improvement in accuracy over those obtained by methods used in popular…

Numerical Analysis · Mathematics 2020-09-15 Hashim A. Yamani , Abdulaziz D. Alhaidari

Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where…

Logic in Computer Science · Computer Science 2013-03-15 Ranjeet Kumar Rout , Pabitra Pal Choudhury , Sudhakar Sahoo

We prove that, over any field, the dimension of the indeterminacy locus of a rational transformation $f$ of $P^n$ which is defined by monomials of the same degree $d$ with no common factors is at least $(n-2)/2$, provided that the degree of…

Algebraic Geometry · Mathematics 2014-01-14 Olivier Debarre , Bodo Lass

The factorizations of the polynomial $X^n-1$ and the cyclotomic polynomial $\Phi_n$ over a finite field $\mathbb F_q$ have been studied for a very long time. Explicit factorizations have been given for the case that $\mathrm{rad}(n)\mid…

Number Theory · Mathematics 2024-02-09 Anna-Maurin Graner

Let $f_n(x_0, x_1, \ldots, x_{n-1})$ denote the algebraic normal form (polynomial form) of a rotation symmetric (RS) Boolean function of degree $d$ in $n \geq d$ variables and let $wt(f_n)$ denote the Hamming weight of this function. Let…

Information Theory · Computer Science 2019-09-20 Alexandru Chirvasitu , Thomas W. Cusick

We determine continuous bijections $f$, acting on a real interval into itself, whose $k$-fold iterate is the quasi-arithmetic mean of all its subsequent iterates from $f^0$ up to $f^n$ (where $0\le k\le n$). Namely, we prove that if at most…

Classical Analysis and ODEs · Mathematics 2018-02-21 Szyman Draga , Janusz Morawiec

In 2008, Langevin and Leander determined the dual function of three classes of monomial bent functions with the help of Stickelberger's theorem: Dillon, Gold and Kasami. In their paper, they proposed one very strong condition such that…

Information Theory · Computer Science 2021-07-06 Honggang Hu , Bei Wang , Xianhong Xie , Yiyuan Luo

In this paper, we devise two algorithms for the problem of testing $q$-monomials of degree $k$ in any multivariate polynomial represented by a circuit, regardless of the primality of $q$. One is an $O^*(2^k)$ time randomized algorithm. The…

Computational Complexity · Computer Science 2013-04-15 Shenshi Chen

If the product of two monic polynomials with real nonnegative coefficients has all coefficients equal to 0 or 1, does it follow that all the coefficients of the two factors are also equal to 0 or 1? Here is an equivalent formulation of this…

Probability · Mathematics 2022-09-21 Luca Ghidelli

We develop a new algebraic technique that solves the following problem: Given a black box that contains an arithmetic circuit $f$ over a field of characteristic $2$ of degree~$d$. Decide whether $f$, expressed as an equivalent multivariate…

Data Structures and Algorithms · Computer Science 2014-04-11 Hasan Abasi , Nader H. Bshouty

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 show that, for almost all N-variable Boolean functions f, at least N/4-O(\sqrt{N} log N) queries are required to compute f in quantum black-box model with bounded error.

Quantum Physics · Physics 2007-05-23 Andris Ambainis

Let $f$ be a complex valued function on a finite field $F$ such that $f(0) = 0$, $f(1) = 1$, and $|f(x)| = 1$ for $x \neq 0$. Cohn asked if it follows that $f$ is a nontrivial multiplicative character provided that $\sum_{x \in F} f(x)…

Number Theory · Mathematics 2007-05-23 Par Kurlberg

In this paper, we determine the complex-valued solutions of the functional equation $$ f(x\sigma(y))+f(\tau(y)x)=2f(x)f(y)$$ for all $x,y \in M$, where $M$ is a monoid, $\sigma$: $M\longrightarrow M$ is an involutive automorphism and…

General Mathematics · Mathematics 2020-10-09 Chahbi Abdellatif , Elqorachi Elhoucien

We consider the problem of computing the second elementary symmetric polynomial S^2_n(X) using depth-three arithmetic circuits of the form "sum of products of linear forms". We consider this problem over several fields and determine EXACTLY…

Discrete Mathematics · Computer Science 2007-05-23 Jaikumar Radhakrishnan , Pranab Sen , Sundar Vishwanathan

Elementary symmetric polynomials $S_n^k$ are used as a benchmark for the bounded-depth arithmetic circuit model of computation. In this work we prove that $S_n^k$ modulo composite numbers $m=p_1p_2$ can be computed with much fewer…

Computational Complexity · Computer Science 2007-05-23 Vince Grolmusz

It is well known that, using fast algorithms for polynomial multiplication and division, evaluation of a polynomial $F \in \mathbb{C}[x]$ of degree $n$ at $n$ complex-valued points can be done with $\tilde{O}(n)$ exact field operations in…

Numerical Analysis · Computer Science 2016-05-30 Alexander Kobel , Michael Sagraloff

Consider the following decision problem: for a given monotone Boolean function $f$ decide, whether $f$ is read-once. For this problem, it is essential how the input function $f$ is represented. Our contribution consists of the following two…

Computational Complexity · Computer Science 2018-07-10 Alexander Kozachinskiy

Evaluating or finding the roots of a polynomial $f(z) = f_0 + \cdots + f_d z^d$ with floating-point number coefficients is a ubiquitous problem. By using a piecewise approximation of $f$ obtained with a careful use of the Newton polygon of…

Symbolic Computation · Computer Science 2023-02-14 Rémi Imbach , Guillaume Moroz