Related papers: Boolean functions on $S_n$ which are nearly linear
The main result of this paper is a proof that, for any $f \in L_1[a,b]$, a sequence of its orthogonal projections $(P_{\Delta_n}(f))$ onto splines of order $k$ with arbitrary knots $\Delta_n$, converges almost everywhere provided that the…
In his 2006 ICM invited address, Konyagin mentioned the following conjecture: if $S_n f$ stands for the $n$-th partial Fourier sum of $f$ and ${n_j}_j\subset \N$ is a lacunary sequence, then $S_{n_j} f$ is a.e. pointwise convergent for any…
A theorem of Hoischen states that given a positive continuous function $\varepsilon:\mathbb{R}\to\mathbb{R}$, an integer $n\geq 0$, and a closed discrete set $E\subseteq\mathbb{R}$, any $C^n$ function $f:\mathbb{R}\to\mathbb{R}$ can be…
We demonstrate a phenomenon of condensation of the Fourier transform $\widehat{f}$ of a function $f$ defined on the real line $\mathbb{R}$ which decreases rapidly on one half of the line. For instance, we prove that if $f$ is…
In this paper we prove that if (u, K) is an almost-minimizer of the Griffith functional and K is $\epsilon$-close to a plane in some ball B $\subset$ R N while separating the ball B in two big parts, then K is C 1,$\alpha$ in a slightly…
We study how well functions over the boolean hypercube of the form $f_k(x)=(|x|-k)(|x|-k-1)$ can be approximated by sums of squares of low-degree polynomials, obtaining good bounds for the case of approximation in $\ell_{\infty}$-norm as…
We show that on every product probability space, Boolean functions with small total influences are essentially the ones that are almost measurable with respect to certain natural sub-sigma algebras. This theorem in particular describes the…
We determine the structure of a finite subset $A$ of an abelian group given that $|2A|<3(1-\epsilon)|A|$, $\epsilon>0$; namely, we show that $A$ is contained either in a "small" one-dimensional coset progression, or in a union of fewer than…
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…
Let $E \subset B(1) \subset \mathbb R^{2}$ be an $\mathcal{H}^{1}$ measurable set with $\mathcal{H}^{1}(E) < \infty$, and let $L \subset \mathbb R^{2}$ be a line segment with $\mathcal{H}^{1}(L) = \mathcal{H}^{1}(E)$. It is not hard to see…
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…
We prove that any open subset $U$ of a semi-simple simply connected quasi-split linear algebraic group $G$ with ${codim} (G\setminus U, G)\geq 2$ over a number field satisfies strong approximation by establishing a fibration of $G$ over a…
A Boolean function f of n variables is said to be q-locally correctable if, given a black-box access to a function g which is "close" to an isomorphism f_sigma(x)=f_sigma(x_1, ..., x_n) = f(x_sigma(1), ..., x_sigma(n)) of f, we can compute…
For a function $f$ from the Sobolev space $W^{1,p}(C)$ ($C\subset\mathbb{R}^d$ is an open convex cone), a sharp inequality that estimates $\| f\|_{L_{\infty}}$ via the $L_{p}$-norm of its gradient and a seminorm of the function is obtained.…
Let $K\subset\mathbb{R}^d$ be a self-similar set generated by an iterated function system $\{\varphi_i\}_{i=1}^m$ satisfying the strong separation condition and let $f$ be a contracting similitude with $f(K)\subset K$. We show that $f(K)$…
We prove quantitative stability of isometries on the first Heisenberg group with sub-Riemannian geometry: every $ (1+ \varepsilon)$-quasi-isometry of the John domain of the Heisenberg group $ \mathbb {H} $ is close to some isometry with…
We prove that if $G$ is a noncompact connected real reductive linear Lie group, then any discrete subgroup of $G$ acting properly discontinuously and cocompactly on some homogeneous space $G/H$ of $G$ is quasi-isometrically embedded and…
The \emph{Chow parameters} of a Boolean function $f: \{-1,1\}^n \to \{-1,1\}$ are its $n+1$ degree-0 and degree-1 Fourier coefficients. It has been known since 1961 (Chow, Tannenbaum) that the (exact values of the) Chow parameters of any…
We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null…
A function defined on the Boolean hypercube is $k$-Fourier-sparse if it has at most $k$ nonzero Fourier coefficients. For a function $f: \mathbb{F}_2^n \rightarrow \mathbb{R}$ and parameters $k$ and $d$, we prove a strong upper bound on the…