{"id":"arxiv/2607.12072","url":"https://arxiv.org/abs/2607.12072","tags":["math.FA"],"score":0,"title":"The maximal volume of projections of the cross-polytope","domain":"math.FA","source":"arxiv","authors":["Grigory Ivanov"],"reviews":0,"subject":"math.FA","summary":"We prove the conjectured sharp upper bound for the volume of an arbitrary lower-dimensional orthogonal projection of the regular cross-polytope. More generally, for every spanning family $v_1,\\dots,v_n \\in \\mathbb{R}^k, $ we prove \\[ \\operatorname{vol}\\nolimits_{k} \\operatorname{conv} \\{\\pm v_1, \\dots, \\pm v_n\\} \\le \\frac{2^k}{k!} \\sqrt{\\det\\!\\left(\\sum_{i=1}^n v_i\\otimes v_i\\right)}. \\] After the natural normalization, equality holds precisely when the non-zero vectors form an orthonormal basis. We triangulate the boundary of the absolute convex hull, compare the determinant of every radial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}