arXiv subjects
Publications and source records attributed to Hermann König.
Eskenazis, Nayar and Tkocz have shown recently some resilience of Ball's celebrated cube slicing theorem, namely its analogue in $l^n_p$ for large $p$. We show that the complex analogue, i.e. resilience of the polydisc slicing theorem proven by Oleszkiewicz and Pelczyński, holds for large $p$ and small $n$, but does not hold for any $p > 2$ and large $n$.
We show that the maximal non-central hyperplane sections of the regular n-simplex of side-length sqrt 2 at a fixed distance t to the centroid are those parallel to a face of the simplex, if $\sqrt{(n-2)/(3(n+1))} < t < \sqrt{(n-1)/(2(n+1))}$ and $n>4$. For $n=4$, the same is true in a slightly smaller range for t. This adds to a previous result for $\sqrt{(n-1)/(2(n+1))} < t < \sqrt{n/(n+1)}$. For $n=2,3$, we determine the maximal and the minimal sections for all distances t to the centroid.
The maximal hyperplane section of the $l_\infty^n$-ball, i.e. of the $n$-cube, is the one perpendicular to 1/sqrt 2 (1,1,0, ... ,0), as shown by Ball. Eskenazis, Nayar and Tkocz extended this result to the $l_p^n$-balls for very large $p \ge 10^{15}$. By Oleszkiewicz, Ball's result does not transfer to $l_p^n$ for $2 < p < p_0 \simeq 26.265$. Then the hyperplane section perpendicular to the main diagonal yields a counterexample for large dimensions $n$. We show that the analogue of Ball's result holds in $l_p^n$-balls for all hyperplanes with normal unit vectors $a$, if all coordinates of $a$ have modulus $\le \frac 1 {\sqrt 2}$ and $p$ has distance $\ge 2^{-p}$ to the even integers. Under similar assumptions, we give a Gaussian upper bound for $20 < p < p_0$.
We show rigidity results for the operator equations T(f.g) = Tf.Tg, T(f*g) = Tf.Tg and T(f.g) = Tf*Tg for bijective operators T acting on sufficently large spaces of smooth functions. Typically a condition like |T(f.g) - Tf.Tg| < a for all f, g with a fixed function a will imply T(f.g) = Tf.Tg. Theorems of Alesker, Artstein-Avidan, Faifman and Milman then yield characterizations (up to diffeomorphisms) of the Fourier transform by mapping products into convolutions and vice-versa on the Schwartz space.
For $2 < p < p_0 \simeq 26.265$, the hyperplane section of the $l_p^n$-unit ball $B_p^n$ perpendicular to a^(n) = 1/sqrt(n) (1, ... ,1) for large $n$ has larger volume than the one orthogonal to a^(2) = 1/sqrt(2) (1,1,0, ...,0), as shown by Oleszkiewicz. This is different from the case of $l_\infty^n$ considered by Ball. We give a quantitative estimate for which dimensions $n$ this happens, namely for $n > c (\frac 1 {p_0-p} + \frac 1 {p-2})$ for some absolute constant $c>0$. Correspondingly for projections of $B_q^n$ onto hyperplanes, Barthe and Naor showed that projections onto hyperplanes perpendicular to $a^{(n)}$ have smaller volume for large $n$ than onto the one orthogonal to $a^{(2)}$, if $\frac 4 3 < q < 2$, different from the case $q=1$. We show that this happens for all $n > 5 (\frac 1 {q-\frac 4 3} + \frac 1 {2-q})$.
We determine the maximal non-central hyperplane sections of the n-dimensional $l_1$-ball if the fixed distance of the hyperplane to the origin is between $1 / \sqrt 3$ and $1 / \sqrt 2$. This adds to a result of Liu and Tkocz who considered the distance range between $1 / \sqrt 2$ and 1. For $n > 3$, the maximal sections are parallel to the $(n-1)$-dimensional coordinate planes. We also study non-central sections of the complex $l_1^2$- and $l_\infty^2$-balls, where the formulas are more complicated than in the real case. Also, the extrema are partially different than in the real case.
We establish a sharp moment comparison inequality between an arbitrary negative moment and the second moment for sums of independent uniform random variables, which extends Ball's cube slicing inequality.
We determine the maximal hyperplane sections of the regular $n$-simplex, if the distance of the hyperplane to the centroid is fairly large, i.e. larger than the distance of the centroid to the midpoint of edges. Similar results for the n-cube and the l_1-ball were obtained by Moody, Stone, Zach and Zvavitch and by Liu and Tkocz. The maximal hyperplanes in these three cases are perpendicular to the vectors from the centroid to the vertices. For smaller distances -- in a well-defined range -- we show that these hyperplane sections are at least locally maximal. We also determine the hyperplane sections of the simplex, the cross-polytope and the cube which have maximal perimeter, i.e. maximal volume intersection with the boundary of the convex body.
Let $Q_n$ be the cube of side length one centered at the origin in $\mathbb{R}^n$, and let $F$ be an affine $(n-d)$-dimensional subspace of $\mathbb{R}^n$ having distance to the origin less than or equal to $\frac 1 2$, where $0<d<n$. We show that the $(n-d)$-dimensional volume of the section $Q_n \cap F$ is bounded below by a value $c(d)$ depending only on the codimension $d$ but not on the ambient dimension $n$ or a particular subspace $F$. In the case of hyperplanes, $d=1$, we show that $c(1) = \frac{1}{17}$ is a possible choice. We also consider a complex analogue of this problem for a hyperplane section of the polydisc.
It is proved that the projection constants of two- and three-dimensional spaces are bounded by $4/3$ and $(1+\sqrt 5)/2$, respectively. These bounds are attained precisely by the spaces whose unit balls are the regular hexagon and dodecahedron. In fact, a general inequality for the projection constant of a real or complex $n$-dimensional space is obtained and the question of equality therein is discussed.
We give necessary and sufficient conditions for interpolation inequalities of the type considered by Marcinkiewicz and Zygmund to be true in the case of Banach space-valued polynomials and Jacobi weights and nodes. We also study the vector-valued expansion problem of $L_p$-functions in terms of Jacobi polynomials and consider the question of unconditional convergence. The notion of type $p$ with respect to orthonormal systems leads to some characterizations of Hilbert spaces. It is also shown that various vector-valued Jacobi means are equivalent.
Let X be a Banach space and $1\le p<\infty$. We prove interpolation inequalities of Marcinkiewicz-Zygmund type for X-valued polynomials g of degree $\le n$ on $R$, \[c_p (\sum\limits_{i=1}^{n+1} μ_i \| g(t_i)e^{-t_i^2 /2} \|^p)^{1/p} \le (\int\limits_{\RR}^{} \|g(t)e^{-t^2 /2} \|^p dt)^{1/p} \le d_p (\sum\limits_{i=1}^{n+1} μ_i \|g(t_i)e^{-t_i^2 /2} \|^p)^{1/p}\;\;,\] where $(t_i)_1^{n+1}$ are the zeros of the Hermite polynomial $H_{n+1}$ and $(μ_i)_1^{n+1}$ are suitable weights. The validity of the right inequality requires $1<p<4$ and X being a UMD-space. This implies a mean convergence theorem for the Lagrange interpolation polynomials of continuous functions on $R$ taken at the zeros of the Hermite polynomials. In the scalar case, this improves a result of Nevai $[$N$]$. Moreover, we give vector-valued extensions of the mean convergence results of Askey-Wainger $[$AW$]$ in the case of Hermite expansions.