Related papers: Projection inequalities for antichains

The hypercube Q_n is the graph whose vertex set is {0,1}^n and where two vertices are adjacent if they differ in exactly one coordinate. For any subgraph H of the cube, let ex(Q_n, H) be the maximum number of edges in a subgraph of Q_n…

An inversion in a matrix of zeros and ones consists of two entries both of which equal $1$, and one of which is located to the top-right of the other. It is known that in the class $\mathcal{A}(R,S)$ of $(0,1)$--matrices with row sum vector…

In this paper we study the following geometric problem: given $2^n-1$ real numbers $x_A$ indexed by the non-empty subsets $A\subset \{1,..,n\}$, is it possible to construct a body $T\subset \mathbb{R}^n$ such that $x_A=|T_A|$ where $|T_A|$…

We show that the cone of weighted n-point quasi-metrics WQMet_n, the cone of weighted quasi-hypermetrics WHyp_n and the cone of oriented cuts OCut_n are projec- tions along an extreme ray of the metric cone Metn+1, of the hypermetric cone…

The pattern avoidance problem seeks to construct a set with large fractal dimension that avoids a prescribed pattern, such as three term arithmetic progressions, or more general patterns, such as finding a set whose Cartesian product avoids…

For a non-negative function $\psi: ~ \N \mapsto \R$, let $W(\psi)$ denote the set of real numbers $x$ for which the inequality $|n x - a| < \psi(n)$ has infinitely many coprime solutions $(a,n)$. The Duffin--Schaeffer conjecture, one of the…

Statistical inference based on optimal transport offers a different perspective from that of maximum likelihood, and has increasingly gained attention in recent years. In this paper, we study univariate nonparametric shape-constrained…

Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and…

We study maximum antichains in two posets related to quiver representations. Firstly, we consider the set of isomorphism classes of indecomposable representations ordered by inclusion. For various orientations of the Dynkin diagram of type…

In 1979, Shearer and Kleitman conjectured that there exist $\lfloor n/2 \rfloor+1$ orthogonal chain decompositions of the hypercube $Q_n$, and constructed two orthogonal chain decompositions. In this paper, we make the first non-trivial…

Consider a finite Blaschke product $f$ with $f(0) = 0$ which is not a rotation and denote by $f^n$ its $n$-th iterate. Given a sequence $\{a_n\}$ of complex numbers, consider the series $F(z) = \sum_n a_n f^n(z).$ We show that for any $w…

Consider three closed linear subspaces $C_1, C_2,$ and $C_3$ of a Hilbert space $H$ and the orthogonal projections $P_1, P_2$ and $P_3$ onto them. Halperin showed that a point in $C_1\cap C_2 \cap C_3$ can be found by iteratively projecting…

Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$-dimensional subspaces of $\mathbb{R}^{d}$, and let $\pi_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $\mu$ is a compactly supported Radon measure…

It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $\rho_{\theta}$ is orthogonal projection to the line spanned by $( \cos \theta, \sin \theta, 1 )$, then $\rho_{\theta}(A)$ has positive…

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $|x_i - x_j| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of ``neighbors''…

We show that a set $A \subset \{0,1\}^{n}$ with edge-boundary of size at most $|A| (\log_{2}(2^{n}/|A|) + \epsilon)$ can be made into a subcube by at most $(2 \epsilon/\log_{2}(1/\epsilon))|A|$ additions and deletions, provided $\epsilon$…

Given a nonnegative function $\psi : \N \to \R $, let $W(\psi)$ denote the set of real numbers $x$ such that $|nx -a| < \psi(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(\psi)$ is of…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

In this paper we investigate properties of metric projections onto specific closed and geodesically convex proper subsets of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p).$ When $d=1$, as $(\mathcal{P}_2(\mathbf{R}),W_2)$ is…

We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we…