English
Related papers

Related papers: Boolean functions on $S_n$ which are nearly linear

200 papers

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

We prove sharp geometric rigidity estimates for isometries on Heisenberg groups. Our main result asserts that every $(1+\varepsilon)$-quasi-isometry on a John domain of the Heisenberg group $\mathbb{H}^n$, $n>1$, is close to some isometry…

Metric Geometry · Mathematics 2012-04-17 D. V. Isangulova , S. K. Vodopyanov

Bourgain showed that any noise stable Boolean function $f$ can be well-approximated by a junta. In this note we give an exponential sharpening of the parameters of Bourgain's result under the additional assumption that $f$ is a halfspace.

Computational Complexity · Computer Science 2012-03-01 Ilias Diakonikolas , Ragesh Jaiswal , Rocco A. Servedio , Li-Yang Tan , Andrew Wan

For an $n$-element set $X$ let $\binom{X}{k}$ be the collection of all its $k$-subsets. Two families of sets $\mathcal A$ and $\mathcal B$ are called cross-intersecting if $A\cap B \neq \emptyset$ holds for all $A\in\mathcal A$,…

Combinatorics · Mathematics 2019-05-21 Peter Frankl , Andrey Kupavskii

In this paper we construct certain type of near-optimal approximations of a class of analytic functions in the unit disc by power series with two distinct coefficients. More precisely, we show that if all the coefficients of the power…

Classical Analysis and ODEs · Mathematics 2010-01-25 C. Sinan Gunturk

We prove that if there is a dominating family of size ${\aleph}_{1}$, then there is are ${\aleph}_{1}$ many compact subsets of ${\omega}^{\omega}$ whose union is a maximal almost disjoint family of functions that is also maximal with…

Logic · Mathematics 2011-11-01 Dilip Raghavan , Saharon Shelah

The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus…

Number Theory · Mathematics 2025-01-29 Jasmin Fiedler , Christian Weiß

The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by…

Number Theory · Mathematics 2014-05-09 Hamed Hatami , Pooya Hatami , Shachar Lovett

Let $S,T$ be two numerical semigroups. We study when $S$ is one half of $T$, with $T$ almost symmetric. If we assume that the type of $T$, $t(T)$, is odd, then for any $S$ there exist infinitely many such $T$ and we prove that $1 \leq t(T)…

Commutative Algebra · Mathematics 2014-04-22 Francesco Strazzanti

We show a partial Boolean function $f$ together with an input $x\in f^{-1}\left(*\right)$ such that both $C_{\bar{0}}\left(f,x\right)$ and $C_{\bar{1}}\left(f,x\right)$ are at least $C\left(f\right)^{2-o\left(1\right)}$. Due to recent…

Computational Complexity · Computer Science 2021-03-10 Kaspars Balodis

For a function $f$ that is piecewise analytic on a quasi-smooth arc $\mathcal{L}$ and any $0<\sigma<1$ we construct a sequence of "near-best" polynomials that converge at a rate $e^{-n^{\sigma}}$ at each point of analyticity of $f$ and are…

Complex Variables · Mathematics 2021-02-04 Liudmyla Kryvonos

A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest…

Combinatorics · Mathematics 2025-12-18 Carl Schildkraut

This is the second of two papers, in which we prove a version of Conn's linearization theorem for the Lie algebra $\mathfrak{sl}_2(\mathbb{C})\simeq \mathfrak{so}(3,1)$. Namely, we show that any Poisson structure whose linear approximation…

Symplectic Geometry · Mathematics 2022-12-16 Ioan Marcut , Florian Zeiser

We prove an analogue of Sadullaev's theorem concerning the size of the set where a maximal totally real manifold can meet a pluripolar set. The manifold has to be of class C-1 only. This readily leads to a version of Shcherbina's theorem…

Complex Variables · Mathematics 2008-10-28 Armen Edigarian , Jan Wiegerinck

We consider the problem of representing Boolean functions exactly by "sparse" linear combinations (over $\mathbb{R}$) of functions from some "simple" class ${\cal C}$. In particular, given ${\cal C}$ we are interested in finding…

Computational Complexity · Computer Science 2018-02-27 R. Ryan Williams

We present a quantum algorithm for approximating the linear structures of a Boolean function $f$. Different from previous algorithms (such as Simon's and Shor's algorithms) which rely on restrictions on the Boolean function, our algorithm…

Quantum Physics · Physics 2016-02-17 Hong-Wei Li , Li Yang

A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear…

Combinatorics · Mathematics 2017-10-09 Gabriela Araujo-Pardo , Amanda Montejano , Luis Montejano , Adrián Vázquez-Ávila

We investigate the approximability of several classes of real-valued functions by functions of a small number of variables ({\em juntas}). Our main results are tight bounds on the number of variables required to approximate a function…

Data Structures and Algorithms · Computer Science 2015-03-31 Vitaly Feldman , Jan Vondrak

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

Computational Complexity · Computer Science 2020-09-01 Rohit Agrawal

We establish sharp (or `refined') comparison theorems for the Klein--Gordon equation. We show that the condition $V_a\le V_b$, which leads to $E_a\le E_b$, can be replaced by the weaker assumption $U_a\le U_b$ which still implies the…

Mathematical Physics · Physics 2016-06-28 Richard L. Hall , Petr Zorin