Related papers: Randomly Shifted Steinhaus Longimeters and Buffon …

The moving sofa problem, posed by L. Moser in 1966, asks for the planar shape of maximal area that can move around a right-angled corner in a hallway of unit width. It is known that a maximal area shape exists, and that its area is at least…

We initiate the study of quadratic discrepancy for finite point sets on the Heisenberg group $\mathbb H^n$ with respect to upper Ahlfors regular probability measures. For a natural family of test sets given by left translations and…

We show that standard deviation $\s$ satisfies the Leibniz inequality $\s(fg) \leq \s(f)\|g\| + \|f\|\s(g)$ for bounded functions f, g on a probability space, where the norm is the supremum norm. A related inequality that we refer to as…

The Reifenberg theorem \cite{reif_orig} tells us that if a set $S\subseteq B_2\subseteq \mathbb R^n$ is uniformly close on all points and scales to a $k$-dimensional subspace, then $S$ is H\"older homeomorphic to a $k$-dimensional Euclidean…

Let $\Omega\subset R^n$ be a bounded convex domain with $n\ge2$. Suppose that $A$ is uniformly elliptic and belongs to $W^{1,n}$ when $n\ge 3$ or $W^{1,q}$ for some $q>2$ when $n=2$. For $1<p<\infty$, we build up a global second order…

We consider in this paper the problem of sampling a high-dimensional probability distribution $\pi$ having a density with respect to the Lebesgue measure on $\mathbb{R}^d$, known up to a normalization constant $x \mapsto \pi(x)=…

Let $\mu_2(\Omega)$ be the first positive eigenvalue of the Neumann Laplacian in a bounded domain $\Omega\subset\mathbb{R}^N$. It was proved by Szeg\H{o} for $N=2$ and by Weinberger for $N \geq 2$ that among all equimeasurable domains…

In this paper, we prove the existence of nontrivial unbounded domains $\Omega\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the…

We consider approximating the solution of the Helmholtz exterior Dirichlet problem for a nontrapping obstacle, with boundary data coming from plane-wave incidence, by the solution of the corresponding boundary value problem where the…

The Hot Spots constant for bounded smooth domains was recently introduced by Steinerberger (2021) as a means to control the global extrema of the first nontrivial eigenfunction of the Neumann Laplacian by its boundary extrema. We generalize…

Let $\mathfrak{q}>2$ be a prime number, $\chi$ a primitive Dirichlet character modulo $\mathfrak{q}$ and $f$ a primitive holomorphic cusp form or a Hecke-Maass cusp form of level $\mathfrak{q}$ and trivial nebentypus. We prove the subconvex…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

In this paper we examine the discrete Shnirelman's inequality [Shnirelman A., 1985], which relates the $L^2$-distance of two discrete configurations of a fluid to the $L^1_tL^2_x$-norm of the vector field connecting them. Our proof is…

Generalization error bounds are essential to understanding machine learning algorithms. This paper presents novel expected generalization error upper bounds based on the average joint distribution between the output hypothesis and each…

The L infinity star discrepancy is a measure for how uniformly a point set is distributed in a given space. Point sets of low star discrepancy are used as designs of experiments, as initial designs for Bayesian optimization algorithms, for…

We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals have been produced. The discrepancy of such a process is the…

Let $0 \leq s \leq 1$. A set $K \subset \mathbb{R}^{2}$ is a Furstenberg $s$-set, if for every unit vector $e \in S^{1}$, some line $L_{e}$ parallel to $e$ satisfies $$\dim_{\mathrm{H}} [K \cap L_{e}] \geq s.$$ The Furstenberg set problem,…

The Hermite-Hadamard inequality states that the average value of a convex function on an interval is bounded from above by the average value of the function at the endpoints of the interval. We provide a generalization to higher dimensions:…

We are concerned with the well-posedness of an inverse problem for determining the wedge boundary and associated two-dimensional steady supersonic Euler flow past the wedge, provided that the pressure distribution on the boundary surface of…

The Falconer distinct distance problem asks for a compact set $E\subset\mathbb{R}^d$ how large its Hausdorff dimension needs to be to ensure that the Lebesgue measure of its distance set is positive. In this paper we consider the analogous…