English
Related papers

Related papers: A structure theorem for Boolean functions with sma…

200 papers

Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this…

Computational Complexity · Computer Science 2017-11-03 Rani Hod

The Fourier Entropy-Influence (FEI) conjecture of Friedgut and Kalai [FK96] seeks to relate two fundamental measures of Boolean function complexity: it states that $H[f] \leq C Inf[f]$ holds for every Boolean function $f$, where $H[f]$…

Computational Complexity · Computer Science 2013-04-05 Ryan O'Donnell , Li-Yang Tan

We prove that for any decision tree calculating a boolean function $f:\{-1,1\}^n\to\{-1,1\}$, \[ \Var[f] \le \sum_{i=1}^n \delta_i \Inf_i(f), \] where $\delta_i$ is the probability that the $i$th input variable is read and $\Inf_i(f)$ is…

Computational Complexity · Computer Science 2007-05-23 Ryan O'Donnell , Michael Saks , Oded Schramm , Rocco A. Servedio

In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions…

Probability · Mathematics 2007-05-23 Elchanan Mossel , Ryan O'Donnell , Krzysztof Oleszkiewicz

The aim of this paper is to characterize an important class of marked digraphs, called structurally observable graphs (SOGs), and to solve two minimum realization problems. To begin with, by exploring structural observability of large-scale…

Systems and Control · Electrical Eng. & Systems 2021-06-30 Shiyong Zhu , Jianquan Lu , Daniel W. C. Ho , Jinde Cao

We present a unified framework to study threshold functions for the existence of solutions to linear systems of equations in random sets which includes arithmetic progressions, sum-free sets, $B_{h}[g]$-sets and Hilbert cubes. In…

Combinatorics · Mathematics 2019-02-05 Juanjo Rué , Christoph Spiegel , Ana Zumalacárregui

In this paper we derive tight bounds on the expected value of products of {\em low influence} functions defined on correlated probability spaces. The proofs are based on extending Fourier theory to an arbitrary number of correlated…

Probability · Mathematics 2009-06-01 Elchanan Mossel

A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…

Analysis of PDEs · Mathematics 2023-02-15 Giona Veronelli

We present a new definition of influences in product spaces of continuous distributions. Our definition is geometric, and for monotone sets it is identical with the measure of the boundary with respect to uniform enlargement. We prove…

Probability · Mathematics 2012-05-25 Nathan Keller , Elchanan Mossel , Arnab Sen

A fundamental result in structural graph theory states that every graph with large average degree contains a large complete graph as a minor. We prove this result with the extra property that the minor is small with respect to the order of…

Combinatorics · Mathematics 2013-05-24 Samuel Fiorini , Gwenaël Joret , Dirk Oliver Theis , David R. Wood

Boolean locales are "almost discrete", in the sense that a spatial Boolean locale is just a discrete locale (that is, it corresponds to the frame of open subsets of a discrete space, namely the powerset of a set). This basic fact, however,…

Logic · Mathematics 2024-02-14 Francesco Ciraulo

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

Complex Variables · Mathematics 2007-07-23 Steven G. Krantz

I provide simplified proofs for each of the following fundamental theorems regarding selection principles: 1. The Quasinormal Convergence Theorem, due to the author and Zdomskyy, asserting that a certain, important property of the space of…

General Topology · Mathematics 2024-06-05 Boaz Tsaban

We prove an invariance principle for functions on a slice of the Boolean cube, which is the set of all vectors {0,1}^n with Hamming weight k. Our invariance principle shows that a low-degree, low-influence function has similar distributions…

Probability · Mathematics 2016-02-23 Yuval Filmus , Guy Kindler , Elchanan Mossel , Karl Wimmer

We study several bialgebraic structures on boolean functions, that is to say maps defined on the set of subsets of a finite set $X$, taking the value $0$ on $\emptyset$. Examples of boolean functions are given by the indicator function of…

Combinatorics · Mathematics 2026-01-21 Loïc Foissy

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

We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and,…

Combinatorics · Mathematics 2023-06-21 Richard Lang , Nicolás Sanhueza-Matamala

We study the probability of Boolean functions with small max influence to become constant under random restrictions. Let $f$ be a Boolean function such that the variance of $f$ is $\Omega(1)$ and all its individual influences are bounded by…

Computational Complexity · Computer Science 2022-08-19 Ronen Eldan , Avi Wigderson , Pei Wu

Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal…

Dynamical Systems · Mathematics 2015-01-29 Mike Boyle , Jérôme Buzzi

A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching…

Combinatorics · Mathematics 2021-01-05 Ken-ichi Kawarabayashi , Robin Thomas , Paul Wollan