Kovner–Besicovitch measure

This measure is one for a set that is centrally symmetric, and less than one for sets whose closure is not centrally symmetric. It is invariant under affine transformations of the plane. If ${\displaystyle c}$ is the center of symmetry of the largest centrally-symmetric set within a given convex body ${\displaystyle K}$, then the centrally-symmetric set itself is the intersection of ${\displaystyle K}$ with its reflection across ${\displaystyle c}$.[1]

The convex sets with the smallest possible Kovner–Besicovitch measure are the triangles, for which the measure is 2/3. The result that triangles are the minimizers of this measure is known as Kovner's theorem or the Kovner–Besicovitch theorem, and the inequality bounding the measure above 2/3 for all convex sets is the Kovner–Besicovitch inequality.[2] The curve of constant width with the smallest possible Kovner–Besicovitch measure is the Reuleaux triangle.[3]

The Kovner–Besicovitch measure of any given convex polygon with ${\displaystyle n}$ vertices can be found in time ${\displaystyle O(n\log n)}$ by determining a translation of the reflection of the polygon that has the largest possible overlap with the unreflected polygon.[4]

Branko Grünbaum writes that the Kovner–Besicovitch theorem was first published in Russian, in a 1935 textbook on the calculus of variations by Mikhail Lavrentyev and Lazar Lyusternik, where it was credited to Soviet mathematician and geophysicist S. S. Kovner. Additional proofs were given by Abram Samoilovitch Besicovitch and by István Fáry, who also proved that every minimizer of the Kovner–Besicovitch measure is a triangle.[1]

• Estermann measure, a measure of central symmetry defined using supersets in place of subsets

• A Measure of Central Symmetry, Tanya Khovanova's Math Blog, September 2, 2012