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

We provide a first-order oracle complexity lower bound for finding stationary points of min-max optimization problems where the objective function is smooth, nonconvex in the minimization variable, and strongly concave in the maximization…

We address the question of attainability of the best constant in the following Hardy-Sobolev inequality on a smooth domain $\Omega$ of \mathbb{R}^n: $$ \mu_s (\Omega) := \inf \{\int_{\Omega}| \nabla u|^2 dx; u \in {H_{1,0}^2(\Omega)}…

The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a…

For a graph, $G$, and a vertex $v \in V(G)$, let $N[v]$ be the set of vertices adjacent to and including $v$. A set $D \subseteq V(G)$ is a vertex identifying code if for any two distinct vertices $v_1, v_2 \in V(G)$, the vertex sets…

An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line…

This paper establishes a bivariate Hardy-Sobolev inequality. Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be an open domain, $s \in (0,2)$, $\alpha > 1$, $\beta > 1$ with $\alpha + \beta = 2^*(s)$, and $\kappa \in \mathbb{R}$. For any…

We introduce a new flatness index for the boundary of an open subset $\Omega$ of $\mathbb{R}^n$, $n\ge 2$. This index provides a necessary condition for $\partial\Omega$ to be a harmonic pseudosphere and sufficient conditions for a harmonic…

Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…

The linear arboricity of a graph $G$, denoted by $\text{la}(G)$, is the minimum number of edge-disjoint linear forests (i.e. forests in which every connected component is a path) in $G$ whose union covers all the edges of $G$. A famous…

We prove that if $\Omega\subseteq\mathbb{R}^N$ is a set with finite perimeter with $\mathscr{H}^{N-1}(\partial \Omega\setminus\partial^* \Omega)=0$, then any set of finite perimeter $E\subseteq\mathbb{R}^N$ can be approximated by a…

We consider the eigenvalue problem for the {\it fractional $p-$Laplacian} in an open bounded, possibly disconnected set $\Omega \subset \mathbb{R}^n$, under homogeneous Dirichlet boundary conditions. After discussing some regularity issues…

We prove constructively that the maximum possible number of minimal connected dominating sets in a connected undirected graph of order $n$ is in $\Omega(1.489^n)$. This improves the previously known lower bound of $\Omega(1.4422^n)$ and…

In this paper, we consider the well-known following shape optimization problem: $$\lambda_2(\Omega^*)=\min_{\stackrel{|\Omega|=V_0} {\Omega\textrm{ convex}}} \lambda_2(\Omega),$$ where $\lambda_2(\Om)$ denotes the second eigenvalue of the…

We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness. This includes lower bounds for: * high-dimensional…

We consider the class $S^m_\perp(\Omega)$ of $m$-dimensional surfaces in $\bar{\Omega} \subset {\mathbb R}^n$ which intersect $S = \partial \Omega$ orthogonally along the boundary. A piece of an affine $m$-plane in $S^m_\perp(\Omega)$ is…

Let $s(n)$ be the minimum number of edges in a graph that contains every $n$-vertex tree as a subgraph. Chung and Graham [J. London Math. Soc. 1983] claim to prove that $s(n)\leqslant O(n\log n)$. We point out a mistake in their proof. The…

A $k$-fault-tolerant connectivity preserver of a directed $n$-vertex graph $G$ is a subgraph $H$ such that, for any edge set $F \subseteq E(G)$ of size $|F| \le k$, the strongly connected components of $G - F$ and $H - F$ are the same.…

The collision problem is to decide whether a function X:{1,..,n}->{1,..,n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of Theta(n^{1/5}) on the number of queries needed by a quantum computer to…

A set $U\subseteq \reals^2$ is $n$-universal if all $n$-vertex planar graphs have a planar straight-line embedding into $U$. We prove that if $Q \subseteq \reals^2$ consists of points chosen randomly and uniformly from the unit square then…

Let $E \subset \Omega$ be a local almost-minimizer of the relative perimeter in the open set $\Omega \subset \mathbb{R}^{n}$. We prove a free-boundary monotonicity inequality for $E$ at a point $x\in \partial\Omega$, under a geometric…