English
Related papers

Related papers: On Shapley Values and Threshold Intervals

200 papers

Consider a family of Boolean models, indexed by integers $n \ge 1$, where the $n$-th model features a Poisson point process in ${\mathbb{R}}^n$ of intensity $e^{n \rho_n}$ with $\rho_n \to \rho$ as $n \to \infty$, and balls of independent…

Probability · Mathematics 2014-08-13 Venkat Anantharam , François Baccelli

We study functions $f : [0, 1]^d \rightarrow [0, 1]^d$ that are both monotone and contracting, and we consider the problem of finding an $\varepsilon$-approximate fixed point of $f$. We show that the problem lies in the complexity class…

Computational Complexity · Computer Science 2025-03-28 Eleni Batziou , John Fearnley , Spencer Gordon , Ruta Mehta , Rahul Savani

For a proper function $f$ on the plane, we study the operator \[ Tf(x,y) = \lim_{\varepsilon\to 0} \int_\varepsilon^1 f(x-t,y-t^k) \frac{e^{2\pi i \gamma(t)}}{\psi(t)} dt, \] where $k\ge1$ and $\psi$ and $\gamma$ are functions defined near…

Classical Analysis and ODEs · Mathematics 2026-05-06 Magali Folch-Gabayet , Ricardo A. Sáenz

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

The Fourier-Entropy Influence (FEI) Conjecture states that for any Boolean function $f:\{+1,-1\}^n \to \{+1,-1\}$, the Fourier entropy of $f$ is at most its influence up to a universal constant factor. While the FEI conjecture has been…

Computational Complexity · Computer Science 2019-03-29 Sourav Chakraborty , Sushrut Karmalkar , Srijita Kundu , Satyanarayana V. Lokam , Nitin Saurabh

Consider $\Xi$ a homogeneous Poisson point process on $\mathbb{R}^d$ ($d\geq 2$) with unit intensity with respect to the Lebesgue measure. For $\varepsilon\geq 0$, we define the Boolean model $\Sigma_{p, \varepsilon}$ as the union of the…

Probability · Mathematics 2025-02-11 Anne-Laure Basdevant , Jean-Baptiste Gouéré , Marie Théret

We consider the asymptotic minimum density $f(s,k)$ of monotone $k$-subwords of words over a totally ordered alphabet of size $s$. The unrestricted alphabet case, $f(\infty,k)$, is well-studied, known for $f(\infty,3)$ and $f(\infty,4)$,…

Combinatorics · Mathematics 2024-07-31 Raphael Yuster

We study the links between the values of stochastic games with varying stage duration $h$, the corresponding Shapley operators $\bf{T}$ and ${\bf{T}}\_h$and the solution of $\dot f\_t = ({\bf{T}} - Id )f\_t$. Considering general non…

Optimization and Control · Mathematics 2016-01-11 Sylvain Sorin , Guillaume Vigeral

Let $T_{\epsilon}$ be the noise operator acting on Boolean functions $f:\{0, 1\}^n\to \{0, 1\}$, where $\epsilon\in[0, 1/2]$ is the noise parameter. Given $\alpha>1$ and fixed mean $\mathbb{E} f$, which Boolean function $f$ has the largest…

Probability · Mathematics 2021-01-27 Jiange Li , Muriel Medard

Let $\psi:\mathbb{N}\to \mathbb{R}^+$ be a function satisfying $\phi(n)/n\to \infty$ as $n \to \infty$. We investigate from a multifractal analysis point of view the growth rate of the sums $\sum^n_{k=1}\log a_k(x)$ relative to $\psi(n)$,…

Dynamical Systems · Mathematics 2021-10-05 Lulu Fang , Lei Shang , Min Wu

Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in…

Computational Complexity · Computer Science 2015-05-19 Manuel Bodirsky , Michael Pinsker

This paper makes two contributions towards determining some well-studied optimal constants in Fourier analysis \newa{of Boolean functions} and high-dimensional geometry. \begin{enumerate} \item It has been known since 1994 \cite{GL:94} that…

Computational Complexity · Computer Science 2013-05-06 Anindya De , Ilias Diakonikolas , Rocco A. Servedio

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

We give the first agnostic, efficient, proper learning algorithm for monotone Boolean functions. Given $2^{\tilde{O}(\sqrt{n}/\varepsilon)}$ uniformly random examples of an unknown function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$, our…

Data Structures and Algorithms · Computer Science 2023-05-25 Jane Lange , Arsen Vasilyan

Park and Pham's recent proof of the Kahn-Kalai conjecture was a major breakthrough in the field of graph and hypergraph thresholds. Their result gives an upper bound on the threshold at which a probabilistic construction has a $1-\epsilon$…

Combinatorics · Mathematics 2023-05-22 Tolson Bell

Let $S(t) \;:=\; \frac{\displaystyle 1}{\displaystyle \pi}\arg \zeta(\frac{1}{2} + it)$. We prove that, for $T^{\,27/82+\varepsilon} \le H \le T$, we have $$ {\rm mes}\Bigl\{t\in [T, T+H]\;:\; S(t)>0\Bigr\} = \frac{H}{2} +…

Number Theory · Mathematics 2018-09-03 Aleksandar Ivić , Maxim Korolev

Let $f$ be a real function defined on the interval $[0,1]$ which is constant on $(a,b)\subset [0,1]$, and let $B_nf$ be its associated $n$th Bernstein polynomial. We prove that, for any $x\in (a,b)$, $|B_nf(x)-f(x)|$ converges to $0$ as…

Classical Analysis and ODEs · Mathematics 2024-11-18 José A. Adell , Daniel Cárdenas-Morales , Antonio J. López-Moreno

Recent work has pinned down the existentially optimal size bounds for vertex fault-tolerant spanners: for any positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges resilient to $f$ vertex…

Data Structures and Algorithms · Computer Science 2020-11-03 Greg Bodwin , Michael Dinitz , Caleb Robelle

We show a procedure that, given oracle access to a function $f\colon \{0,1\}^n\to\{0,1\}$, produces oracle access to a function $f'\colon \{0,1\}^{n'}\to\{0,1\}$ such that if $f$ is monotone, then $f'$ is monotone, and if $f$ is…

Computational Complexity · Computer Science 2025-12-16 Dor Minzer

A real valued function $f$ defined on a real open interval $I$ is called $\Phi$-monotone if, for all $x,y\in I$ with $x\leq y$ it satisfies $$ f(x)\leq f(y)+\Phi(y-x), $$ where $\Phi:[0,\ell(I)[\,\to\mathbb{R}_+$ is a given nonnegative…

Classical Analysis and ODEs · Mathematics 2020-11-23 Angshuman R. Goswami , Zsolt Páles