English
Related papers

Related papers: On the Sensitivity Conjecture for Disjunctive Norm…

200 papers

We study the complexity of approximately solving the weighted counting constraint satisfaction problem #CSP(F). In the conservative case, where F contains all unary functions, there is a classification known for the case in which the domain…

Computational Complexity · Computer Science 2014-07-08 Xi Chen , Martin Dyer , Leslie Ann Goldberg , Mark Jerrum , Pinyan Lu , Colin McQuillan , David Richerby

With probability 1, we assess the average behaviour of various arithmetic functions at the values of degree d polynomials f that are ordered by height. This allows us to establish averaged versions of the Bateman-Horn conjecture, the…

Number Theory · Mathematics 2026-05-22 Tim Browning , Efthymios Sofos , Joni Teräväinen

In 2006, 9-variable Boolean functions having nonlinearity 241, which is strictly greater than the bent concatenation bound of 240, have been discovered in the class of Rotation Symmetric Boolean Functions (RSBFs) by Kavut, Maitra and Yucel.…

Cryptography and Security · Computer Science 2008-08-06 Selcuk Kavut , Melek Diker Yucel

The approximate degree of a Boolean function $f: \{-1, 1\}^n \to \{-1, 1\}$ is the minimum degree of a real polynomial that approximates $f$ to within error $1/3$ in the $\ell_\infty$ norm. In an influential result, Aaronson and Shi (J. ACM…

Computational Complexity · Computer Science 2015-03-27 Mark Bun , Justin Thaler

Stochastic Boolean Function Evaluation is the problem of determining the value of a given Boolean function f on an unknown input x, when each bit of x_i of x can only be determined by paying an associated cost c_i. The assumption is that x…

Data Structures and Algorithms · Computer Science 2013-08-12 Amol Deshpande , Lisa Hellerstein , Devorah Kletenik

We study Fourier-sparse Boolean functions over general finite Abelian groups. A Boolean function $f : G \to \{-1,+1\}$ is $s$-sparse if it has at most $s$ non-zero Fourier coefficients. We introduce a general notion of granularity of…

Computational Complexity · Computer Science 2026-02-03 Sourav Chakraborty , Swarnalipa Datta , Pranjal Dutta , Arijit Ghosh , Swagato Sanyal

In studying the expressiveness of neural networks, an important question is whether there are functions which can only be approximated by sufficiently deep networks, assuming their size is bounded. However, for constant depths, existing…

Machine Learning · Computer Science 2020-12-29 Gal Vardi , Ohad Shamir

Overparameterised deep neural networks (DNNs) are highly expressive and so can, in principle, generate almost any function that fits a training dataset with zero error. The vast majority of these functions will perform poorly on unseen…

Machine Learning · Computer Science 2021-04-13 Chris Mingard , Guillermo Valle-Pérez , Joar Skalse , Ard A. Louis

This paper gives a dichotomy theorem for the complexity of computing the partition function of an instance of a weighted Boolean constraint satisfaction problem. The problem is parameterised by a finite set F of non-negative functions that…

Computational Complexity · Computer Science 2009-02-23 Martin Dyer , Leslie Ann Goldberg , Mark Jerrum

In the BFA 2023 conference paper, A. Polujan, L. Mariot and S. Picek exhibited the first example of a non-normal but weakly normal bent function in dimension 8. In this note, we present numerical approaches based on the classification of…

Discrete Mathematics · Computer Science 2024-07-23 Valérie Gillot , Philippe Langevin , Alexandr Polujan

We prove that the binary classifiers of bit strings generated by random wide deep neural networks with ReLU activation function are biased towards simple functions. The simplicity is captured by the following two properties. For any given…

Machine Learning · Statistics 2019-12-04 Giacomo De Palma , Bobak Toussi Kiani , Seth Lloyd

Chang's lemma (Duke Mathematical Journal, 2002) is a classical result with applications across several areas in mathematics and computer science. For a Boolean function $f$ that takes values in {-1,1} let $r(f)$ denote its Fourier rank. For…

Computational Complexity · Computer Science 2021-05-25 Sourav Chakraborty , Nikhil S. Mande , Rajat Mittal , Tulasimohan Molli , Manaswi Paraashar , Swagato Sanyal

Recent years have witnessed a hot wave of deep neural networks in various domains; however, it is not yet well understood theoretically. A theoretical characterization of deep neural networks should point out their approximation ability and…

Machine Learning · Computer Science 2022-10-28 Gao Zhang , Jin-Hui Wu , Shao-Qun Zhang

Let $f$ and $g$ be Boolean functions over a finite Abelian group $\mathcal{G}$, where $g$ is fully known, and we have {\em query access} to $f$, that is, given any $x \in \mathcal{G}$ we can get the value $f(x)$. We study the tolerant…

Computational Complexity · Computer Science 2025-07-11 Swarnalipa Datta , Arijit Ghosh , Chandrima Kayal , Manaswi Paraashar , Manmatha Roy

We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…

Complex Variables · Mathematics 2025-07-25 Mohd Vaseem

Depending on the parity of $n$ and the regularity of a bent function $f$ from $\mathbb F_p^n$ to $\mathbb F_p$, $f$ can be affine on a subspace of dimension at most $n/2$, $(n-1)/2$ or $n/2- 1$. We point out that many $p$-ary bent functions…

Number Theory · Mathematics 2017-06-21 Wilfried Meidl , Ísabel Piršić

A key element of understanding the efficacy of overparameterized neural networks is characterizing how they represent functions as the number of weights in the network approaches infinity. In this paper, we characterize the norm required to…

Machine Learning · Computer Science 2019-10-04 Greg Ongie , Rebecca Willett , Daniel Soudry , Nathan Srebro

Rotation symmetric Boolean functions have important applications in the design of cryptographic algorithms. In this paper, the Conjecture about rotation symmetric Boolean functions (RSBFs) of degree 3 proposed by Cusik and St\u{a}nic\u{a}…

Cryptography and Security · Computer Science 2010-05-21 Xiyong Zhang , Hua Guo , Yifa Li

We are interested in fixed points in Boolean networks, {\em i.e.} functions $f$ from $\{0,1\}^n$ to itself. We define the subnetworks of $f$ as the restrictions of $f$ to the subcubes of $\{0,1\}^n$, and we characterizes a class…

Discrete Mathematics · Computer Science 2014-12-05 Adrien Richard

Parity functions are fundamental Boolean operations with critical applications across machine learning, cryptography, and error correction. Yet, learning high-dimensional parity functions poses significant challenges: in a general setting,…

Machine Learning · Computer Science 2026-05-28 Guillaume Larue , Louis-Adrien Dufrène , Quentin Lampin , Hadi Ghauch , Ghaya Rekaya