A countable set of directions is sufficient for Steiner symmetrization
A countable dense set of directions is sufficient for Steiner symmetrization, but the order of directions matters.
Discover
Research tools
Network
Opportunities
Account
Source author record
Daniel A. Klain appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A countable dense set of directions is sufficient for Steiner symmetrization, but the order of directions matters.
Let $v_1, ..., v_m$ be a finite set of unit vectors in $\RR^n$. Suppose that an infinite sequence of Steiner symmetrizations are applied to a compact convex set $K$ in $\RR^n$, where each of the symmetrizations is taken with respect to a direction from among the $v_i$. Then the resulting sequence of Steiner symmetrals always converges, and the limiting body is symmetric under reflection in any of the directions $v_i$ that appear infinitely often in the sequence. In particular, an infinite periodic sequence of Steiner symmetrizations always converges, and the set functional determined by this infinite process is always idempotent.
For n >= 2 a construction is given for a large family of compact convex sets K and L in n-dimensional Euclidean space such that the orthogonal projection L_u onto the subspace u^\perp contains a translate of the corresponding projection K_u for every direction u, while the volumes of K and L satisfy V_n(K) > V_n(L). It is subsequently shown that, if the orthogonal projection L_u onto the subspace u^\perp contains a translate of K_u for every direction u, then the set (n/(n-1))L contains a translate of K. If follows that V_n(K) <= (n/(n-1))^n V_n(L). In particular, we derive a universal constant bound V_n(K) <= 2.942 V_n(L), independent of the dimension n of the ambient space. Related results are obtained for projections onto subspaces of some fixed intermediate co-dimension. Open questions and conjectures are also posed.
Let K and L be compact convex sets in R^n. The following two statements are shown to be equivalent: (i) For every polytope Q inside K having at most n+1 vertices, L contains a translate of Q. (ii) L contains a translate of K. Let 1 <= d <= n-1. It is also shown that the following two statements are equivalent: (i) For every polytope Q inside K having at most d+1 vertices, L contains a translate of Q. (ii) For every d-dimensional subspace W, the orthogonal projection of the set L onto W contains a translate of the corresponding projection of the set K onto W. It is then shown that, if K is a compact convex set in R^n having at least d+2 exposed points, then there exists a compact convex set L such that every d-dimensional orthogonal projection of L contains a translate of the corresponding projection of K, while L does not contain a translate of K. In particular, such a convex body L exists whenever dim(K) > d.
This article describes a new proof of the equality condition for the Brunn-Minkowski inequality.