English
Related papers

Related papers: Optimal Thresholds for Monotone Non-Boolean Functi…

200 papers

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

Given a finite Borel measure $\mu$ on R n and basic semi-algebraic sets $\Omega$\_i $\subset$ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired $\mu$(\cup\_i $\Omega$\_i), when all moments…

Optimization and Control · Mathematics 2017-06-27 Jean Lasserre , Youssouf Emin

We establish completely log-free bounds for exponential sums over the primes and the M\"{o}bius function. Let $0<\eta \leq 1/10$, and suppose $\alpha = a/q + \delta/x$, with $(a,q)=1$ and $|\delta| \leq x^{1/5 + \eta}/q$, and set $\delta_0…

Number Theory · Mathematics 2026-01-28 Priyamvad Srivastav

Let $\Sigma_1,\ldots,\Sigma_k$ be finite alphabets, and let $\mu$ be a distribution over $\Sigma_1 \times \dots \times \Sigma_k$ in which the probability of each atom is at least $\alpha$. We prove that if $\mu$ does not admit Abelian…

Computational Complexity · Computer Science 2024-11-25 Amey Bhangale , Subhash Khot , Yang P. Liu , Dor Minzer

Let $f$ be a function on a bounded domain $\Omega \subseteq \mathbb{R}^n$ and $\delta$ be a positive function on $\Omega$ such that $B(x,\delta(x))\subseteq \Omega$. Let $\sigma(f)(x)$ be the average of $f$ over the ball $B(x,\delta(x))$.…

Analysis of PDEs · Mathematics 2007-09-24 Mohammad Javaheri

We study the complexity of smoothed agnostic learning of halfspaces on $\{\pm 1\}^n$ under uniform marginals in the model of~\cite{KM25}, where each input coordinate is independently flipped with probability $\sigma \in (0, {1}/{2})$. We…

Machine Learning · Computer Science 2026-05-14 Tim Sinen

We show that under minimal assumptions on a class of functions $\mathcal{H}$ defined on a probability space $(\mathcal{X},\mu)$, there is a threshold $\Delta_0$ satisfying the following: for every $\Delta\geq\Delta_0$, with probability at…

Probability · Mathematics 2025-08-05 Daniel Bartl , Shahar Mendelson

The problem of monotonicity testing over the hypergrid and its special case, the hypercube, is a classic, well-studied, yet unsolved question in property testing. We are given query access to $f:[k]^n \mapsto \R$ (for some ordered range…

Discrete Mathematics · Computer Science 2014-04-04 Deeparnab Chakrabarty , C. Seshadhri

Let $E$ be a Moran set on $\mathbb{R}^1$ associated with a closed interval $J$ and two sequences $(n_k)_{k=1}^\infty$ and $(\mathcal{C}_k=(c_{k,j})_{j=1}^{n_k})_{k\geq1}$. Let $\mu$ be the infinite product measure (Moran measure) on $E$…

Functional Analysis · Mathematics 2018-02-13 Sanguo Zhu

A function $\rho:[0,\infty)\to(0,1]$ is a completely monotonic function if and only if $\rho(\Vert\mathbf{x}\Vert^2)$ is positive definite on $\mathbb{R}^d$ for all $d$ and thus it represents the correlation function of a weakly stationary…

Statistics Theory · Mathematics 2008-11-17 Christian Berg , Jorge Mateu , Emilio Porcu

Let $\lambda$ be the Liouville function, defined as $\lambda(n) := (-1)^{\Omega(n)}$ where $\Omega(n)$ is the number of prime factors of $n$ with multiplicity. In 2021, Helfgott and Radziwi{\l}{\l} proved that $$\sum_{n\leq x} \frac{1}{n}…

Number Theory · Mathematics 2025-12-02 Cédric Pilatte

Recent advances in randomized incremental methods for minimizing $L$-smooth $\mu$-strongly convex finite sums have culminated in tight complexity of $\tilde{O}((n+\sqrt{n L/\mu})\log(1/\epsilon))$ and $O(n+\sqrt{nL/\epsilon})$, where…

Machine Learning · Computer Science 2020-02-11 Yossi Arjevani , Amit Daniely , Stefanie Jegelka , Hongzhou Lin

We study the complexity of optimizing highly smooth convex functions. For a positive integer $p$, we want to find an $\epsilon$-approximate minimum of a convex function $f$, given oracle access to the function and its first $p$ derivatives,…

Optimization and Control · Mathematics 2021-12-06 Ankit Garg , Robin Kothari , Praneeth Netrapalli , Suhail Sherif

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=\delta_{\alpha_1(x)1}+\sum^{\infty}_{k=2}\left[\delta_{\alpha_k(x)k}\prod^{k-1}_{j=1}g_{\alpha_j…

Classical Analysis and ODEs · Mathematics 2026-03-10 S. O. Klymchuk , M. V. Pratsiovytyi

We show improved monotonicity testers for the Boolean hypercube under the $p$-biased measure, as well as over the hypergrid $[m]^n$. Our results are: 1. For any $p\in (0,1)$, for the $p$-biased hypercube we show a non-adaptive tester that…

Computational Complexity · Computer Science 2022-11-18 Mark Braverman , Subhash Khot , Guy Kindler , Dor Minzer

Let $\mathsf{TH}_k$ denote the $k$-out-of-$n$ threshold function: given $n$ input Boolean variables, the output is $1$ if and only if at least $k$ of the inputs are $1$. We consider the problem of computing the $\mathsf{TH}_k$ function…

Data Structures and Algorithms · Computer Science 2024-12-24 Ziao Wang , Nadim Ghaddar , Banghua Zhu , Lele Wang

For an analytic and univalent function $f$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$, the logarithmic coefficients $\gamma_n$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…

Complex Variables · Mathematics 2016-10-03 Md Firoz Ali , D. K. Thomas , A. Vasudevarao

Nisan and Szegedy (CC 1994) showed that any Boolean function $f:\{0,1\}^n\rightarrow \{0,1\}$ that depends on all its input variables, when represented as a real-valued multivariate polynomial $P(x_1,\ldots,x_n)$, has degree at least $\log…

Computational Complexity · Computer Science 2021-07-08 Srikanth Srinivasan , S. Venkitesh

We prove that the function $g(x)= 1 / \bigl( 1 - \cos(x) \bigr)$ is completely monotonic on $(0,\pi]$ and absolutely monotonic on $[\pi, 2\pi)$, and we determine the best possible bounds $\lambda_n$ and $\mu_n$ such that the inequalities $$…

Classical Analysis and ODEs · Mathematics 2024-06-14 Horst Alzer , Henrik L. Pedersen

We prove lower bounds on complexity measures, such as the approximate degree of a Boolean function and the approximate rank of a Boolean matrix, using quantum arguments. We prove these lower bounds using a quantum query algorithm for the…

Quantum Physics · Physics 2018-07-18 Shalev Ben-David , Adam Bouland , Ankit Garg , Robin Kothari