Related papers: A Stability Version of the Jones Opaque Set Inequa…

An opaque set (or a barrier) for $U \subseteq \mathbb{R}^2$ is a set $B$ of finite-length curves such that any line intersecting $U$ also intersects $B$. In this paper, we consider the lower bound for the shortest barrier when $U$ is the…

It is proved that the total length of any set of countably many rectifiable curves, whose union meets all straight lines that intersect the unit square U, is at least 2.00002. This is the first improvement on the lower bound of 2…

Let $K$ be a convex body (a non-empty compact convex set) in $n$-dimensional Euclidean space. A set $B$ is called a barrier (or an `opaque set') for $K$ if every line that intersects $K$, also intersects $B$. Although this concept was…

The problem of finding small sets that block every line passing through a unit square was first considered by Mazurkiewicz in 1916. We call such a set {\em opaque} or a {\em barrier} for the square. The shortest known barrier has length…

Given a collection of n opaque unit disks in the plane, we want to find a stacking order for them that maximizes their visible perimeter---the total length of all pieces of their boundaries visible from above. We prove that if the centers…

We prove the sharp inequality \[ J(\Omega) := \frac{\lambda_1(\Omega)}{h_1(\Omega)^2} < \frac{\pi^2}{4},\] where $\Omega$ is any planar, convex set, $\lambda_1(\Omega)$ is the first eigenvalue of the Laplacian under Dirichlet boundary…

A recent upper bound by Le and Solomon [STOC '23] has established that every $n$-node graph has a $(1+\varepsilon)(2k-1)$-spanner with lightness $O(\varepsilon^{-1} n^{1/k})$. This bound is optimal up to its dependence on $\varepsilon$; the…

The set equality problem is to decide whether two sets $A$ and $B$ are equal or disjoint, under the promise that one of these is the case. Some other problems, like the Graph Isomorphism problem, is solvable by reduction to the set quality…

The problem of finding "small" sets that meet every straight-line which intersects a given convex region was initiated by Mazurkiewicz in 1916. We call such a set an {\em opaque set} or a {\em barrier} for that region. We consider the…

We consider the problem of minimizing the bending or elastic energy among Jordan curves confined in a given open set $\Omega$. We prove existence, regularity and some structural properties of minimizers. In particular, when $\Omega$ is…

System identification is a fundamental problem in control and learning, particularly in high-stakes applications where data efficiency is critical. Classical approaches, such as the ordinary least squares estimator (OLS), achieve an…

We show that for bounded domains in $\mathbb C^n$ with $\mathcal C^{1,1}$ smooth boundary, if there is a closed set $F$ of $2n-1$-Lebesgue measure $0$ such that $\partial \Omega \setminus F$ is $\mathcal C^{2}$-smooth and locally…

Let $ \Omega \subsetneq \mathbf{R}^n\,(n\geq 2)$ be an unbounded convex domain. We study the minimal surface equation in $\Omega$ with boundary value given by the sum of a linear function and a bounded uniformly continuous function in $…

Denoting by $\mathcal{E}\subseteq \R^2$ the set of the pairs $(\lambda_1(\Omega),\lambda_2(\Omega))$ for all the open sets $\Omega\subseteq\R^N$ with unit measure, and by $\Theta\subseteq\R^N$ the union of two disjoint balls of half…

Let $\Omega \subset \mathbb{R}^2$ and let $\mathcal{L} \subset \Omega$ be a one-dimensional set with finite length $L =|\mathcal{L}|$. We are interested in minimizers of an energy functional that measures the size of a set projected onto…

Given two planar, conformal, smooth open sets $\Omega$ and $\omega$, we prove the existence of a sequence of smooth sets $\Omega_n$ which geometrically converges to $\Omega$ and such that the (perimeter normalized) Steklov eigenvalues of…

The Opaque Cover Problem (OCP), also known as the Beam Detector Problem, is the problem of finding, for a set S in Euclidean space, the minimum-length set F which intersects every straight line passing through S. In spite of its simplicity,…

Let $\Omega$ be an open half-space or slab in $\mathbb{R}^{n+1}$ endowed with a perturbation of the Gaussian measure of the form $f(p):=\exp(\omega(p)-c|p|^2)$, where $c>0$ and $\omega$ is a smooth concave function depending only on the…

In this article we survey recent results on the explicit construction of finite point sets and infinite sequences with optimal order of $\mathcal{L}_q$ discrepancy. In 1954 Roth proved a lower bound for the $\mathcal{L}_2$ discrepancy of…

Let $\Omega$ be an open convex set in ${\mathbb R}^m$ with finite width, and let $v_{\Omega}$ be the torsion function for $\Omega$, i.e. the solution of $-\Delta v=1, v\in H_0^1(\Omega)$. An upper bound is obtained for the product of $\Vert…