SearcharxivSearch

arXiv subjects

K. Wyczesany

Publications and source records attributed to K. Wyczesany.

4 recordsLinked to original sources

Uncentered Blaschke-Santaló inequalities for the Gaussian measure

We study the maximizers of the generalized volume product \[ γ_σ^n(A)\,γ_σ^n(A^\circ) \] among all measurable subsets $A\subset\mathbb{R}^n$, where $A^\circ$ denotes the polar set of $A$, and where $γ_σ^n$ denotes the centered Gaussian probability measure on $\mathbb{R}^n$ with covariance $σ^2 I_n$, $σ>0$. It turns out that the maximizers depend on $σ$. We prove that they exist and are convex bodies. In dimension $n=1$, we find the exact form of the maximizers. In dimension $n\ge 2$, we show that they are smooth bodies of revolution whose support function satisfies a certain differential equation. Moreover, for $σ^2 \le \frac{1}{n}$ we show that the Euclidean unit ball is the unique maximizer, while this is no longer the case for $σ^2\ge {\frac{2}{n+1}}$. In dimension $n=2$, we close the gap by showing that the Euclidean unit ball is the unique maximizer for $σ^2 \le \frac{2}{3}$.

math.MG

60 years of cyclic monotonicity: a survey

The primary purpose of this note is to provide an instructional summary of the state of the art regarding cyclic monotonicity and related notions. We will also present how these notions are tied to optimality in the optimal transport (or Monge-Kantorovich) problem.

math.OC

High-dimensional tennis balls

We show that there exist constants $α,ε>0$ such that for every positive integer $n$ there is a continuous odd function $f:S^m\to S^n$, with $m\geq αn$, such that the $ε$-expansion of the image of $f$ does not contain a great circle. We also show how this result is connected to a conjecture of Vitali Milman about well-complemented almost Euclidean subspaces of spaces uniformly isomorphic to $\ell_2^n$.

math.FA

A counterexample to a strengthening of a question of Milman

Let $|\cdot|$ be the standard Euclidean norm on $\mathbb{R}^n$ and let $X=(\mathbb{R}^n,\|\cdot\|)$ be a normed space. A subspace $Y\subset X$ is \emph{strongly $α$-Euclidean} if there is a constant $t$ such that $t|y|\leq\|y\|\leqαt|y|$ for every $y\in Y$, and say that it is \emph{strongly $α$-complemented} if $\|P_Y\|\leqα$, where $P_Y$ is the orthogonal projection from $X$ to $Y$ and $\|P_Y\|$ denotes the operator norm of $P_Y$ with respect to the norm on $X$. We give an example of a normed space $X$ of arbitrarily high dimension that is strongly 2-Euclidean but contains no 2-dimensional subspace that is both strongly $(1+ε)$-Euclidean and strongly $(1+ε)$-complemented, where $ε>0$ is an absolute constant. This example is closely related to an old question of Vitali Milman.

math.FA