math.MGJul 4, 2026

A simplex-based measure of symmetry

Authors: Egor BakaevAmir Yehudayoff

Organizations: arXiv:2607.03815v1

Abstract

For compact convex sets L,KRnL,K \subset \mathbb{R}^n, denote by λK(L)λ_K(L) the smallest size of a homothet of KK that contains LL. We define a measure of symmetry based on the nn-simplex Δ=ΔnRnΔ= Δ^n \subset \mathbb{R}^n as the ratio

ρΔ(L):=λΔ(L)λΔ(L).ρ_Δ(L):=\frac{λ_{-Δ}(L)}{λ_Δ(L)}.

We study this measure and deduce the following results: (1) The classical Minkowski measure of symmetry m(L)m^*(L) can be defined as an affine-invariant version of ρΔ(L)ρ_Δ(L). (2) We improve the stability analysis for the Minkowski measure of symmetry; if m(L)nεm^*(L)\ge n-\varepsilon then LL is 11ε\tfrac{1}{1-\varepsilon}-close to ΔΔ in the Banach--Mazur distance. (3) We obtain a novel characterization of simplices as the only convex bodies KK for which the function LλK(L)L \mapsto λ_K(L) is additive (a property we term ``outer additivity''). (4) Motivated by the expressivity of ReLU neural networks, we study the depth complexity of polytopes in Rn\mathbb{R}^n under the two operations: Minkowski sum and convex hull of a union. We prove the sharp bound ρΔ(P)2d1ρ_Δ(P) \leq 2^d -1 for every polytope PP of depth complexity dd. In other words, simplices cannot be approximated by low-depth polytopes.

Explore similar work

CardsList
  1. The Symmetries of Three-Layer ReLU Networks

    May 18, 2026Johanna Marie Gegenfurtner, Moritz Grillo, Guido MontúfarRectified Linear Unit NetworksSymmetry