Bo'az Klartag, Gady Kozma
Let N > n, and denote by K the convex hull of N independent standard gaussian random vectors in an n-dimensional Euclidean space. We prove that with high probability, the isotropic constant of K is bounded by a universal constant. Thus we verify the hyperplane conjecture for the class of gaussian random polytopes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference $f(Z_K)-f(K)$ may or may not converge to zero. If it does, then the order of convergence and possible limit relations are…
The concept of separation by hyperplanes is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to classically separate by hyperplanes in max-min convex geometry.
We prove an estimate for arbitrary measure of sections of convex bodies. The proof is based on a stability result for intersection bodies.
We discuss connections between certain well-known open problems related to the uniform measure on a high-dimensional convex body. In particular, we show that the "thin shell conjecture" implies the "hyperplane conjecture". This extends a result by K. Ball, according to which the stronger "spectral gap conjecture" implies the "hyperplane conjecture".
We prove an inequality that extends to arbitrary measures the hyperplane inequality for volume of unconditional convex bodies originally observed by Bourgain.
We generalize the hyperplane inequality in dimensions up to 4 to the setting of arbitrary measures in place of the volume. To prove this generalization we establish stability in the affirmative part of the solution to the Busemann-Petty problem asking whether symmetric convex bodies in R^n with smaller (n-1)-dimensional volume of all central hyperplane sections necessarily have smaller n-dimensional volume.
We use symplectic techniques to obtain partial results on Mahler's conjecture about the product of the volume of a convex body and the volume of its polar. We confirm the conjecture for hyperplane sections or projections of $\ell_p$-balls or the Hanner polytopes.
Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its subpolytopes obtained by a cut. In this work, we put our attention to all the seperating hyperplanes for some given polytope (integral and convex) and study the existence and classification of such hyperplanes. We prove the exitence of seperating hyperplanes for the order and chain polytopes for any finite posets that are not a single chain; prove there are no such…
Motivated by a problem on the 67th William Lowell Putnam Mathematical Competition, we will summarize three different solutions found on a website. This Putman problem is a special case of Sylvester's four point problem! Suppose four points are taken at random in a convex body; what is the probability that they form a convex quadrilateral? We will see that there exists a relationship among Crofton's formula, random secants in two dimensions and the solution to this question. We will then present the solution following Kingman [3] to the Sylvester's four point problem in two and three dimensions…
We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.
We show that for any $1\leq p\leq\infty$, the family of random vectors uniformly distributed on hyperplane projections of the unit ball of $\ell_p^n$ verify the variance conjecture $$ \textrm{Var}\,|X|^2\leq C\max_{ξ\in S^{n-1}}\mathbb{E}\langle X,ξ\rangle^2\mathbb{E}|X|^2, $$ where $C$ depends on $p$ but not on the dimension $n$ or the hyperplane. We will also show a general result relating the variance conjecture for a random vector uniformly distributed on an isotropic convex body and the variance conjecture for a random vector uniformly distributed on any Steiner symmetrization of it. As a…
Crofton's formula of integral geometry evaluates the total motion invariant measure of the set of $k$-dimensional planes having nonempty intersection with a given convex body. This note deals with motion invariant measures on sets of pairs of hyperplanes or lines meeting a convex body. Particularly simple results are obtained if, and only if, the given body is of constant width in the first case, and of constant brightness in the second case.
Convex bodies with sections with hyperplanes of symmetry
本文研究凸体截面具有平面对称性的条件，证明若某点为 Larman 点而非旋转点且所有截面均具有平行于固定超平面的对称平面，则该凸体必为旋转椭球。
We give an explicit formula for the probability that the convex hull of an $n$-step random walk in $R^d$ does not contain the origin, under the assumption that the distribution of increments of the walk is centrally symmetric and puts no mass on affine hyperplanes. This extends the formula by Sparre Andersen (1949) for the probability that such random walk in dimension one stays positive. Our result is distribution-free, that is, the probability does not depend on the distribution of increments. This probabilistic problem is shown to be equivalent to either of the two geometric ones: 1) Find t…
We compare and combine two approaches that have been recently introduced by Dafnis and Paouris [DP] and by Klartag and Milman [KM] with the aim of providing bounds for the isotropic constants of convex bodies. By defining a new hereditary parameter for all isotropic log-concave measures, we are able to show that the method in [KM], and the apparently stronger conclusions it leads to, can be extended in the full range of the 'weaker' assumptions of [DP]. The new parameter we define is related to the highest dimension k\leq n-1 in which one can always find marginals of an n-dimensional isotropic…
The purpose of this paper is to answer the following question: If all hyperplane sections through the origin of a convex body are "equal", is the convex body "equal" to the ball? The meaning of the notion "equal" will change in the course of this paper. Similarly, we are interested in the following problem: If all orthogonal projections of a convex body onto hyperplanes are "equal", is the convex body "equal" to the ball? Topology and convex geometry are deeply interrelated in the solution and understanding of these problems.
Stability of the log-Brunn-Minkowski inequality in the case of many hyperplane symmetries
本文在n个独立线性超平面对称条件下，建立了凸体的对数Brunn-Minkowski不等式与对数Minkowski不等式的稳定性版本。
We show that for any two convex curves $C_1$ and $C_2$ in $\mathbb R^d$ parametrized by $[0,1]$ with opposite orientations, there exists a hyperplane $H$ with the following property: For any $t\in [0,1]$ the points $C_1(t)$ and $C_2(t)$ are never in the same open halfspace bounded by $H$. This will be deduced from a more general result on equipartitions of ordered point sets by hyperplanes.
On a geometric extremum problem for convex cones
本文研究了凸锥与超平面交集的(n-1)维体积极小化问题，通过几何方法分析了超平面的稳定性，并探讨了锥段的极小体积特性。
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, the $d$-volumes of the "caps" cut off from $K'$ by $H$ are given. We give local positive answers to both of these questions, for small $C^2$-perturbations of $K$, provided the boundary of $K$ is $C^2_+…
We provide general inequalities that compare the surface area S(K) of a convex body K in ${\mathbb R}^n$ to the minimal, average or maximal surface area of its hyperplane or lower dimensional projections. We discuss the same questions for all the quermassintegrals of K. We examine separately the dependence of the constants on the dimension in the case where K is in some of the classical positions or K is a projection body. Our results are in the spirit of the hyperplane problem, with sections replaced by projections and volume by surface area.
A generalization of Grünbaum's inequality
本文推广了Grünbaum不等式，为不经过凸体重心的超平面截取体积提供了精确界限，并应用其得到了比较凸体截面与平行最大截面的精确不等式。
Let $X$ be the mosaic generated by a stationary Poisson hyperplane process $\hat X$ in ${\mathbb R}^d$. Under some mild conditions on the spherical directional distribution of $\hat X$ (which are satisfied, for example, if the process is isotropic), we show that with probability one the set of cells ($d$-polytopes) of $X$ has the following properties. The translates of the cells are dense in the space of convex bodies. Every combinatorial type of simple $d$-polytopes is realized infinitely often by the cells of $X$. A further result concerns the distribution of the typical cell.
We show that in all dimensions d>2, there exists an asymmetric convex body of revolution all of whose maximal hyperplane sections have the same volume. This gives the negative answer to the question posed by V. Klee in 1969.
Applications of equidistant supporting surfaces of a convex body in the hyperbolic space
本文研究双曲空间中凸体的宽度与厚度，利用等距支撑曲面刻画约化体极点的支撑性质，并证明完备体必为常宽体。
A $\sqrt{n}$ estimate in the hyperplane problem with arbitrary measures has recently been proved in \cite{K3}. In this note we present analogs of this result for sections of lower dimensions and in the complex case. We deduce these inequalities from stability in comparison problems for different generalizations of intersection bodies.
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains $0$. An analogous theorem, for $1$-dimensional sections and $1$-volumes, has been proved long ago by Hammer (\cite{H}). In this paper we deal with the ($(d-2)$-dimensional) surface area, or with lower…
We consider an optimal stretching problem for strictly convex domains in $\mathbb{R}^d$ that are symmetric with respect to each coordinate hyperplane, where stretching refers to transformation by a diagonal matrix of determinant $1$. Specifically, we prove that the stretched convex domain which captures the most positive lattice points in the large volume limit is balanced: the $(d-1)$-dimensional measures of the intersections of the domain with each coordinate hyperplane are equal. Our results extend those of Antunes & Freitas, van den Berg, Bucur & Gittins, Ariturk & Laugesen, van den Berg &…
Let $M$ be a strictly convex smooth connected hypersurface in $\mathbb R^n$ and $\widehat{M}$ its convex hull. We say that $M$ is locally polynomially integrable if the $(n-1)-$ dimensional volumes of the sections of $\widehat M$ by hyperplanes, sufficiently close to the tangent hyperplanes to $M,$ depend polynomially on the distance of the hyperplanes to the origin. It is conjectured that only quadrics in odd dimensional spaces possess such a property. The main result of this article partially confirms the conjecture. The study of integrable domains and surfaces is motivated by a conjecture o…
By a curve in R^d we mean a continuous map gamma:I -> R^d, where I is a closed interval. We call a curve gamma in R^d at most k crossing if it intersects every hyperplane at most k times (counted with multiplicity). The at most d crossing curves in R^d are often called convex curves and they form an important class; a primary example is the moment curve {(t,t^2,...,t^d):t\in[0,1]}. They are also closely related to Chebyshev systems, which is a notion of considerable importance, e.g., in approximation theory. We prove that for every d there is M=M(d) such that every at most d+1 crossing curve i…
In this note we examine the volume of the convex hull of two congruent copies of a convex body in Euclidean $n$-space, under some subsets of the isometry group of the space. We prove inequalities for this volume if the two bodies are translates, or reflected copies of each other about a common point or a hyperplane containing it. In particular, we give a proof of a related conjecture of Rogers and Shephard.
We prove the following theorem. Let $μ$ be a measure on $R^n$ with even continuous density, and let $K,L$ be origin-symmetric convex bodies in $R^n$ so that $μ(K\cap H)\le μ(L\cap H)$ for any central hyperplane H. Then $μ(K)\le \sqrt{n} μ(L).$ We also prove this result with better constants for some special classes of measures and bodies. Finally, we prove a version of the hyperplane inequality for convex measures.
Given a symmetric convex body $C$ and $n$ hyperplanes in an Euclidean space, there is a translate of a multiple of $C$, at least ${1\over n+1}$ times as large, inside $C$, whose interior does not meet any of the hyperplanes. The result generalizes Bang's solution of the plank problem of Tarski and has applications to Diophantine approximation.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。