Related papers: Edge-isoperimetric inequalities and influences

We prove some old and new isoperimetric inequalities with the best constant using the ABP method applied to an appropriate linear Neumann problem. More precisely, we obtain a new family of sharp isoperimetric inequalities with weights (also…

Shannon proved that almost all Boolean functions require a circuit of size $\Theta(2^n/n)$. We prove a quantum analog of this classical result. Unlike in the classical case the number of quantum circuits of any fixed size that we allow is…

We prove two main results on how arbitrary linear threshold functions $f(x) = \sign(w\cdot x - \theta)$ over the $n$-dimensional Boolean hypercube can be approximated by simple threshold functions. Our first result shows that every…

It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the points on its boundary. A similar result is established for…

In a recent paper by S. Moroz, C. Hoyos, and L. Radzihovsky [Phys. Rev. B 91, 195409 (2015)], it is claimed that the conductivity at low frequency $\omega$ and small wavevector $q$ along the edge of a quantum Hall (QH) system (that…

We obtain global explicit numerical bounds, with best possible constants, for the differences $\frac{1}{n}\sum_{k\leq n}\omega(k)-\log\log n$ and$ \frac{1}{n}\sum_{k\leq n}\Omega(k)-\log\log n$, where $\omega(k)$ and $\Omega(k)$ refer to…

It is a classical fact in Euclidean geometry that the regular polygon maximizes area amongst polygons of the same perimeter and number of sides, and the analogue of this in non-Euclidean geometries has long been a folklore result. In this…

We study an optimal control problem associated to the conformal Laplacian obstacle problem on closed n-dimensional Riemannian manifolds with n >2. When the Yamabe invariant of the Riemannian manifold is positive, we show that the optimal…

In 2013, Koldobsky posed the problem to find a constant $d_n$, depending only on the dimension $n$, such that for any origin-symmetric convex body $K\subset\mathbb{R}^n$ there exists an $(n-1)$-dimensional linear subspace…

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result…

In this paper we study the quantitative isoperimetric inequality in the plane. We prove the existence of a set $\Omega$, different from a ball, which minimizes the ratio $\delta(\Omega)/\lambda^2(\Omega)$, where $\delta$ is the…

We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq \mu(A)^{*} (\log_{2}(1/\mu(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $\mu$ denotes the uniform probability measure,…

We prove that Bourgain's hyperplane conjecture and the Kannan-Lov\'asz-Simonovits (KLS) isoperimetric conjecture hold true up to a factor that is polylogarithmic in the dimension.

We study edge-isoperimetric inequalities in chamber graphs of affine hyperplane arrangements. Our approach is topological: to a set of chambers we associate its thickening in Euclidean space and estimate its edge boundary through the…

We prove a vertex isoperimetric inequality for the $n$-dimensional Hamming ball $\mathcal{B}_n(R)$ of radius $R$. The isoperimetric inequality is sharp up to a constant factor for sets that are comparable to $\mathcal{B}_n(R)$ in size. A…

The generalized Cartan-Hadamard conjecture says that if $\Omega$ is a domain with fixed volume in a complete, simply connected Riemannian $n$-manifold $M$ with sectional curvature $K \le \kappa \le 0$, then the boundary of $\Omega$ has the…

It is shown by Makai, Martini, and \'Odor that a convex body $K\subset\mathbb{R}^n$, all of whose maximal sections pass through the origin, must be origin-symmetric. We prove a stability version of this result. We also discuss a theorem of…

We prove a quantitative, large-scale doubling inequality and large-scale three-ellipsoid inequality for solutions of uniformly elliptic equations with periodic coefficients. These estimates are optimal in terms of the minimal length scale…

In this short note, we establish an edge-isoperimetric inequality for arbitrary product graphs. Our inequality is sharp for subsets of many different sizes in every product graph. In particular, it implies that the $2^d$-element sets with…

In this article, we investigate the centered isoperimetric inequality on Cartan-Hadamard manifolds endowed with a warped product structure, namely, among all bounded measurable sets of finite perimeter and prescribed volume, the geodesic…