Loomis–Whitney Type Set Inequality

• Loomis–Whitney type set inequality controls a set’s measure via its lower-dimensional projections, with equality characterized by boxes in Euclidean and discrete settings.
• It generalizes to uniform-cover, local, affine-invariant, and non-commutative contexts, thus extending its reach to finite-field and Heisenberg-group applications.
• Recent advances include stability, reverse, dual, and functional variants that connect the inequality with convex geometry, information theory, and harmonic analysis.

A Loomis–Whitney type set inequality is a projection or section inequality that controls the measure or cardinality of a set by lower-dimensional data. In its classical Euclidean form, if $S\subset \mathbb R^d$ is a body, then

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$

and equality holds exactly when $S$ is a box (Ellis et al., 2015). The literature uses “Loomis–Whitney type” for a broad family of related estimates: uniform-cover inequalities, local two-subspace forms, affine-invariant variants, reverse and dual inequalities, non-commutative analogues in Heisenberg groups, finite-field forms, and quantitative stability statements that identify the geometry of near-extremizers (Brazitikos et al., 2016).

1. Classical formulation and uniform covers

The classical Loomis–Whitney inequality bounds $d$-dimensional volume by the product of the $(d-1)$-dimensional volumes of the coordinate-hyperplane projections. In the discrete setting, the same inequality holds for finite $S\subset \mathbb Z^d$ after replacing Lebesgue measure by cardinality, and equality again characterizes boxes in $\mathbb Z^d$ (Ellis et al., 2015). This is the basic set-theoretic archetype: global size is constrained by lower-dimensional coordinate shadows.

A standard generalization is the Uniform-Cover inequality. If $\mathcal G\subset 2^{[d]}$ is a uniform $m$-cover, meaning that each coordinate belongs to exactly $m$ members of $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$0, then for every body $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$1,

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$2

with equality iff $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$3 is a box (Ellis et al., 2015). In the coordinate-convex-body setting, Brazitikos, Giannopoulos, and Liakopoulos recovered the Bollobás–Thomason inequality as the special case in which $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$4 form an $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$5-uniform cover of $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$6, so that

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$7

and the classical Loomis–Whitney inequality appears when $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$8, $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$9, and $S$0 (Brazitikos et al., 2016).

These inequalities are structurally multiplicative: each coordinate direction contributes through a projection family, and the exponents are determined by exact covering identities. That feature underlies most later generalizations, including local, affine, and non-commutative variants.

2. Local, affine-invariant, and specialized Euclidean variants

A major Euclidean refinement is the local Loomis–Whitney inequality of Alonso-Gutiérrez, Artstein-Avidan, González Merino, Jiménez, and Villa. If $S$1 is a convex body, $S$2, $S$3, $S$4, $S$5, $S$6, and $S$7, then

$S$8

The constant is explicit and sharp, and the estimate interpolates between global projection inequalities and Fubini-type bounds (Alonso-Gutiérrez et al., 2017). The proof uses a reverse inequality for sections, Steiner-type symmetrization, and Berwald’s inequality, together with functional Rogers–Shephard inequalities (Alonso-Gutiérrez et al., 2017).

A distinct line of development replaces the orthonormal coordinate frame by an arbitrary basis. Alonso-Gutiérrez, Bernués, Brazitikos, and Carbery proved an affine-invariant extension: for any basis $S$9, if $d$0, then for every compact $d$1,

$d$2

where $d$3 is given explicitly in terms of wedge products of the basis vectors (Alonso-Gutiérrez et al., 2020). The same paper develops restricted local forms, dual section forms, and functional Brascamp–Lieb analogues, obtained by combining affine-invariant Brascamp–Lieb inequalities with Berwald’s inequality (Alonso-Gutiérrez et al., 2020).

There are also specialized symmetry-driven refinements. For an unconditional, permutationally invariant convex body $d$4, Nayar and Tkocz proved that if $d$5 denotes the projection onto $d$6, then the sequence $d$7 is log-concave: $d$8 This is not a direct corollary or strengthening of the classical inequality; rather, it is a flag-type refinement available in a highly symmetric class (Nayar et al., 2011).

3. Reverse and dual inequalities

The classical Loomis–Whitney inequality is an upper bound on volume in terms of projections. Reverse and dual theories ask for lower bounds, typically under convexity hypotheses and often after allowing an adapted frame.

Campi, Gritzmann, and Gronchi introduced the reverse Loomis–Whitney constant

$d$9

where $(d-1)$0 is an orthonormal basis, and studied the universal number $(d-1)$1 obtained by optimizing over both $(d-1)$2 and $(d-1)$3. They proved $(d-1)$4, showed the general lower bound

$(d-1)$5

and recorded the asymptotic behavior $(d-1)$6 as $(d-1)$7 (Campi et al., 2016). A key structural fact is that for a polytope $(d-1)$8, any best frame has at least $(d-1)$9 vectors parallel to facets of $S\subset \mathbb Z^d$0 (Campi et al., 2016).

The dual direction replaces projections by sections. In coordinate form, Meyer’s dual Loomis–Whitney inequality states that for every convex body $S\subset \mathbb Z^d$1,

$S\subset \mathbb Z^d$2

with equality exactly for cross-polytopes up to diagonal linear images (Brazitikos et al., 2016). Hao and Jog gave a broader information-theoretic framework: for subspaces $S\subset \mathbb Z^d$3 with weights $S\subset \mathbb Z^d$4 satisfying the Brascamp–Lieb conditions, if $S\subset \mathbb Z^d$5 denotes the maximal slice of $S\subset \mathbb Z^d$6 parallel to $S\subset \mathbb Z^d$7, then

$S\subset \mathbb Z^d$8

and in the special case $S\subset \mathbb Z^d$9 one has $\mathbb Z^d$0 (Hao et al., 2019).

A precise generalized dual inequality was obtained in 2025 for compact convex bodies $\mathbb Z^d$1 containing the origin in their interior. If $\mathbb Z^d$2 are non-trivial linear subspaces of dimensions $\mathbb Z^d$3 and $\mathbb Z^d$4, then

$\mathbb Z^d$5

Equality holds if and only if $\mathbb Z^d$6 admits a direct orthogonal decomposition into certain independent subspaces $\mathbb Z^d$7, each $\mathbb Z^d$8 being an intersection of a choice $\mathbb Z^d$9 or $\mathcal G\subset 2^{[d]}$0, and

$\mathcal G\subset 2^{[d]}$1

In the classical coordinate case this recovers the direct-product characterization of the equality case (Boroczky et al., 17 Jul 2025).

Intrinsic-volume analogues extend the reverse and dual program beyond $\mathcal G\subset 2^{[d]}$2. Campi, Gardner, and Gronchi proved sharp results for $\mathcal G\subset 2^{[d]}$3 and $\mathcal G\subset 2^{[d]}$4, including

$\mathcal G\subset 2^{[d]}$5

with equality in the projection inequality characterizing orthogonal cross-polytopes (Campi et al., 2013).

4. Heisenberg-group and finite-field analogues

In the first Heisenberg group $\mathcal G\subset 2^{[d]}$6, with group law

$\mathcal G\subset 2^{[d]}$7

the relevant maps are the vertical projections

$\mathcal G\subset 2^{[d]}$8

For measurable $\mathcal G\subset 2^{[d]}$9,

$m$0

This is a genuine Loomis–Whitney-type bound with two projections and exponent $m$1, rather than the Euclidean three-projection exponent $m$2 in $m$3 (Fässler et al., 2020). The proof is not purely geometric; it is deduced from a planar $m$4-incidence theorem asserting that if $m$5 and $m$6 are finite $m$7-separated sets of points and lines in $m$8, then

$m$9

obtained by polynomial partitioning and rich-point counting (Fässler et al., 2020).

Fässler and Pinamonti extended the Heisenberg theory to $m$0. If $m$1, $m$2, are the vertical Heisenberg projections onto the hyperplanes $m$3, then for every set $m$4,

$m$5

They also proved the multilinear strong-type estimate

$m$6

deduced inductively from the $m$7 case, whose base step is an $m$8 improving property of the planar Radon transform (Fässler et al., 2021). The comparison with Euclidean space is explicit: in topological dimension $m$9, only $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$00 vertical projections are used, and the exponents differ from the Euclidean $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$01 because the fibers are left-translates of horizontal one-dimensional subgroups rather than orthogonal coordinate lines (Fässler et al., 2021).

Finite Heisenberg groups exhibit an additional arithmetic factor. For $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$02,

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$03

with $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$04 absolute, and the extra factor $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$05 is unavoidable (Cheong et al., 6 Oct 2025). In the planar case $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$06, when the set is not too small, the paper gives the sharper estimate

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$07

derived from a point-line incidence bound over $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$08 (Cheong et al., 6 Oct 2025).

5. Equality, near-equality, and stability

Exact equality cases are rigid and often characterize product-type or cross-polytope geometry. In the classical Euclidean inequality, equality holds exactly for boxes (Ellis et al., 2015). In the sharp local two-subspace inequality, equality occurs precisely when $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$09 splits relative to

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$10

into a “two-point join” configuration; Hanner polytopes aligned with this splitting form a concrete equality family (Alonso-Gutiérrez et al., 2017). For reverse inequalities, triangles are exactly the planar minimizers of the reverse Loomis–Whitney constant, while in the dual generalized setting equality is governed by orthogonal decompositions and convex-hull splittings by lower-dimensional sections (Campi et al., 2016, Boroczky et al., 17 Jul 2025).

A deeper issue is quantitative rigidity. Ellis, Friedgut, Kindler, and Yehudayoff proved stability for the classical Loomis–Whitney and Uniform-Cover inequalities by an information-theoretic method. If a body $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$11 satisfies

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$12

then there exists a box $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$13 such that

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$14

For a general family $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$15 with $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$16, they also obtained Uniform-Cover stability with

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$17

in both discrete and continuous settings (Ellis et al., 2015). The same framework yields a stability theorem for the edge-isoperimetric inequality in $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$18: nearly optimal edge boundary forces closeness to an axis-parallel cube (Ellis et al., 2015).

A complementary near-extremal theorem was proved by Zhang in a finite combinatorial setting. If $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$19 and every coordinate-omission projection satisfies $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$20, then there exists a refinement $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$21 with

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$22

such that fibers over any $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$23 coordinates satisfy uniform lower bounds of order $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$24, and certain two-coordinate images have size at most $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$25 (Zhang, 2013). The structural interpretation given in the paper is that near-extremizers of Loomis–Whitney must, after discarding a small exceptional set, resemble approximate Cartesian products (Zhang, 2013).

6. Functional, information-theoretic, and analytic consequences

Several papers sharpen set inequalities by importing entropy or submodularity. In 2026, a refined finite-set projection inequality was derived from a special case of the strong Madiman–Tetali inequality. If $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$26 is a finite set of $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$27 points, $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$28 counts the distinct coordinate-deletion projections for $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$29, and

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$30

then

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$31

Since $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$32, this strictly strengthens the classical bound whenever slice information is nontrivial (Jakhar et al., 22 Jan 2026).

The information-theoretic program also yields dual consequences. Hao and Jog used generalized subadditivity of entropy and a new $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$33-Fisher information to derive lower bounds on both volume and surface area from sections. For a polyconvex set $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$34, if $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$35 are sampled slice-areas by coordinate hyperplanes, then

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$36

which is a dual section-based surface-area inequality rather than a projection inequality (Hao et al., 2019).

In analysis, Loomis–Whitney-type bounds function as multilinear convolution estimates. Kinoshita and Schippa proved a nonlinear Loomis–Whitney estimate on transverse $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$37 hypersurfaces $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$38: $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$39 where $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$40 is the lower bound for the transversality determinant of the normals, and established a thickened-surface and discrete-lattice version suited to Fourier analysis on $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$41 (Kinoshita et al., 2020). That estimate is the key new ingredient in their low-regularity local well-posedness result for the fully periodic two-dimensional Zakharov–Kuznetsov equation (Kinoshita et al., 2020).

The Heisenberg inequalities have comparable analytic consequences. In $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$42, the set inequality implies the sharpened Sobolev–BV estimate

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$43

which sharpens the classical geometric Sobolev inequality and yields Pansu’s isoperimetric inequality (Fässler et al., 2020). In $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$44, the higher-dimensional analogue is

$$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$45

again deduced from the corresponding Heisenberg Loomis–Whitney inequality (Fässler et al., 2021). Beyond Lebesgue measure, Hosle extended both Loomis–Whitney and Ball’s inequality to measures with $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$46-concave, $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$47-homogeneous density, replacing Euclidean projection volume by a measure-projection operator $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$48 and introducing the symmetrized density $$\mu_d(S)^{d-1}\le \prod_{i=1}^d \mu_{d-1}\!\bigl(\pi_{[d]\setminus\{i\}}(S)\bigr),$$49 into the constants (Hosle, 2019).

Across these directions, the central theme remains unchanged: global size is encoded by a carefully chosen family of lower-dimensional shadows, but the relevant shadows may be coordinate projections, nonlinear group-theoretic projections, local overlaps of subspaces, maximal sections, or slice-sensitive functional marginals. The modern theory is therefore less a single inequality than a framework connecting convex geometry, incidence geometry, entropy, submodularity, harmonic analysis, and sub-Riemannian geometry.