English
Related papers

Related papers: On the Degree of Boolean Functions as Polynomials …

200 papers

For a polynomial f: {-1, 1}^n --> C, we define the partition function as the average of e^{lambda f(x)} over all points x in {-1, 1}^n, where lambda in C is a parameter. We present a quasi-polynomial algorithm, which, given such f, lambda…

Data Structures and Algorithms · Computer Science 2016-11-30 Alexander Barvinok

In this paper, we prove super-polynomial lower bounds for the model of \emph{sum of ordered set-multilinear algebraic branching programs}, each with a possibly different ordering ($\sum \mathsf{smABP}$). Specifically, we give an explicit…

Computational Complexity · Computer Science 2024-02-20 Prerona Chatterjee , Deepanshu Kush , Shubhangi Saraf , Amir Shpilka

We establish a lower bound of $\Omega{(\sqrt{n})}$ on the bounded-error quantum query complexity of read-once Boolean functions, providing evidence for the conjecture that $\Omega(\sqrt{D(f)})$ is a lower bound for all Boolean functions.…

Quantum Physics · Physics 2007-05-23 Howard Barnum , Michael Saks

We study the problem of testing whether a function $f: \mathbb{R}^n \to \mathbb{R}$ is a polynomial of degree at most $d$ in the \emph{distribution-free} testing model. Here, the distance between functions is measured with respect to an…

Data Structures and Algorithms · Computer Science 2022-04-19 Vipul Arora , Arnab Bhattacharyya , Noah Fleming , Esty Kelman , Yuichi Yoshida

Let $\{w_{i,j}\}_{1\leq i\leq n, 1\leq j\leq s} \subset L_m=F(X_1,...,X_m)[{\partial \over \partial X_1},..., {\partial \over \partial X_m}]$ be linear partial differential operators of orders with respect to ${\partial \over \partial…

Symbolic Computation · Computer Science 2007-05-23 Dima Grigoriev

Let $f$ be a polynomial $f$ of degree $d\ge 2$ with integer coefficients which is irreducible over the rationals. Cilleruelo conjectured that the least common multiple of the values of the polynomial at the first $N$ integers satisfies…

Number Theory · Mathematics 2020-01-29 James Maynard , Zeev Rudnick

This paper explores a class of rational functions r(s(z)) with degree mn, where s(z) is a polynomial of degree m. Inequalities are derived for rational functions with specified poles, extending and refining previous results in the eld.

Complex Variables · Mathematics 2025-02-21 Preeti Gupta

One of the major open problems in complexity theory is to demonstrate an explicit function which requires super logarithmic depth, a.k.a, the $\mathbf{P}$ versus $\mathbf{NC^1}$ problem. The current best depth lower bound is $(3-o(1))\cdot…

Computational Complexity · Computer Science 2024-04-25 Hao Wu

We investigate degree bounds for fields of rational invariants of representations of finite groups. We prove many cases of a bound for $\mathbb{Z}/p\mathbb{Z}$ conjectured by Blum-Smith, Garcia, Hidalgo, and Rodriguez. For arbitrary groups,…

Commutative Algebra · Mathematics 2026-04-22 Ben Blum-Smith , Sylvan Crane , Karla Guzman , Alexis Menenses , Maxine Song-Hurewitz

Let $r(z)$ be a rational function with at most $n$ poles, $a_1, a_2, \ldots, a_n,$ where $|a_j| > 1,$ $1\leq j\leq n.$ This paper investigates the estimate of the modulus of the derivative of a rational function $r(z)$ on the unit circle.…

Complex Variables · Mathematics 2020-01-28 Nuttapong Arunrat , Keaitsuda Maneeruk Nakprasit

In this paper we establish function field versions of two classical conjectures on prime numbers. The first says that the number of primes in intervals (x,x+x^epsilon] is about x^epsilon/log x and the second says that the number of primes…

Number Theory · Mathematics 2015-11-03 Efrat Bank , Lior Bary-Soroker , Lior Rosenzweig

Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testing PTFs has exploited structural and…

Computational Complexity · Computer Science 2026-04-28 Fan Chang , Joseph Slote , Alexander Volberg , Haonan Zhang

It is often useful to have polynomial upper or lower bounds on a one-dimensional function that are valid over a finite interval, called a trust region. A classical way to produce polynomial bounds of degree $k$ involves bounding the range…

Numerical Analysis · Mathematics 2023-08-24 Matthew Streeter , Joshua V. Dillon

Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order…

Cryptography and Security · Computer Science 2023-09-21 Jinjie Gao , Haibin Kan , Yuan Li , Jiahua Xu , Qichun Wang

For each $n$, let $\text{RD}(n)$ denote the minimum $d$ for which there exists a formula for the general polynomial of degree $n$ in algebraic functions of at most $d$ variables. In 1945, Segre called for a better understanding of the large…

Algebraic Geometry · Mathematics 2021-07-20 Alexander J. Sutherland

Recent breakthroughs in quantum query complexity have shown that any formula of size n can be evaluated with O(sqrt(n)log(n)/log log(n)) many quantum queries in the bounded-error setting [FGG08, ACRSZ07, RS08b, Rei09]. In particular, this…

Computational Complexity · Computer Science 2009-09-28 Troy Lee

We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(\Omega)\cap L^q(\Omega-D)$ and $BV^m(\Omega)\cap L^q(\Omega-D)$, respectively, where $\Omega\subset\mathbb{R}^n$ ($n\in\mathbb{N}$)…

Analysis of PDEs · Mathematics 2018-03-28 Jan Mueller

Let $(A,\mathfrak{m})$ be a complete intersection ring of codimension $c\geq 2$ and dimension $d\geq 1$. Let $M$ be a finitely generated maximal Cohen-Macaulay $A$-module. Set $M_i=\text{Syz}^A_{i}(M)$. Let $e^{\mathfrak{m}}_i(M)$ be the…

Commutative Algebra · Mathematics 2024-12-10 Tony J. Puthenpurakal , Samarendra Sahoo

We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We compare several different possible definitions. Our main…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Ilan Newman , Hein Roehrig , Ronald de Wolf

We present precise bit and degree estimates for the optimal value of the polynomial optimization problem $f^*:=\text{inf}_{x\in \mathscr{X}}~f(x)$, where $\mathscr{X}$ is a semi-algebraic set satisfying some non-degeneracy conditions. Our…

Optimization and Control · Mathematics 2024-07-25 Boulos El Hilany , Elias Tsigaridas