中文
相关论文

相关论文: Low-degree tests at large distances

200 篇论文

We propose a quantum algorithm to estimate the Gowers $U_2$ norm of a Boolean function, and extend it into a second algorithm to distinguish between linear Boolean functions and Boolean functions that are $\epsilon$-far from the set of…

离散数学 · 计算机科学 2020-07-01 C. A. Jothishwaran , Anton Tkachenko , Sugata Gangopadhyay , Constanza Riera , Pantelimon Stanica

Let a Boolean function be available as a black-box (oracle) and one likes to devise an algorithm to test whether it has certain property or it is $\epsilon$-far from having that property. The efficiency of the algorithm is judged by the…

量子物理 · 物理学 2013-06-27 Kaushik Chakraborty , Subhamoy Maitra

Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin…

数据结构与算法 · 计算机科学 2019-06-14 Madhur Tulsiani , Julia Wolf

We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…

数论 · 数学 2016-01-27 Nikos Frantzikinakis , Bernard Host

In this paper, we give a quadratic Goldreich-Levin algorithm that is close to optimal in the following ways. Given a bounded function $f$ on the Boolean hypercube $\mathbb{F}_2^n$ and any $\varepsilon>0$, the algorithm returns a quadratic…

计算复杂性 · 计算机科学 2025-05-20 Jop Briët , Davi Castro-Silva

We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to…

计算复杂性 · 计算机科学 2022-12-02 Edinah K. Gnang , Rongyu Xu

We consider the problem of testing if a given function f : F_2^n -> F_2 is close to any degree d polynomial in n variables, also known as the Reed-Muller testing problem. The Gowers norm is based on a natural 2^{d+1}-query test for this…

A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary function to a low-degree polynomial. Each rule depends on the function's values at a small number of places. If a function satisfies many…

计算复杂性 · 计算机科学 2013-07-16 Katalin Friedl , Madhu Sudan

We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives…

交换代数 · 数学 2018-10-19 Jose Martinez-Bernal , Yuriko Pitones , Rafael H. Villarreal

We generalize the celebrated isoperimetric inequality of Khot, Minzer, and Safra~(SICOMP 2018) for Boolean functions to the case of real-valued functions $f \colon \{0,1\}^d\to\mathbb{R}$. Our main tool in the proof of the generalized…

离散数学 · 计算机科学 2020-11-19 Hadley Black , Iden Kalemaj , Sofya Raskhodnikova

We give a randomness-efficient homomorphism test in the low soundness regime for functions, $f: G\to \mathbb{U}_t$, from an arbitrary finite group $G$ to $t\times t$ unitary matrices. We show that if such a function passes a derandomized…

计算复杂性 · 计算机科学 2024-09-25 Tushant Mittal , Sourya Roy

We propose a family of quantum algorithms for estimating Gowers uniformity norms $ U^k $ over finite abelian groups and demonstrate their applications to testing polynomial structure and counting arithmetic progressions. Building on recent…

量子物理 · 物理学 2025-08-05 En-Jui Kuo

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…

数据结构与算法 · 计算机科学 2022-04-19 Vipul Arora , Arnab Bhattacharyya , Noah Fleming , Esty Kelman , Yuichi Yoshida

This article investigates the probabilistic relationship between quantum classification of Boolean functions and their Hamming distance. By integrating concepts from quantum computing, information theory, and combinatorics, we explore how…

We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…

信息论 · 计算机科学 2014-04-11 Emanuele Bellini

The r-th order nonlinearity of a Boolean function is the minimum number of elements that have to be changed in its truth table to arrive at a Boolean function of degree at most r. It is shown that the (suitably normalised) r-th order…

组合数学 · 数学 2013-08-15 Kai-Uwe Schmidt

In this paper we investigate the uniform distribution properties of polynomials in many variables and bounded degree over a fixed finite field F of prime order. Our main result is that a polynomial P : F^n -> F is poorly-distributed only if…

组合数学 · 数学 2007-11-21 Ben Green , Terence Tao

The goal in function property testing is to determine whether a black-box Boolean function has a certain property or is epsilon-far from having that property. The performance of the algorithm is judged by how many calls need to be made to…

量子物理 · 物理学 2015-05-28 Mark Hillery , Erika Andersson

We give improved and almost optimal testers for several classes of Boolean functions on $n$ inputs that have concise representation in the uniform and distribution-free model. Classes, such as $k$-junta, $k$-linear functions, $s$-term DNF,…

数据结构与算法 · 计算机科学 2023-06-22 Nader H. Bshouty

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $\epsilon$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied…

计算复杂性 · 计算机科学 2014-12-19 Xi Chen , Rocco A. Servedio , Li-Yang Tan
‹ 上一页 1 2 3 10 下一页 ›