---
title: Locally Anti-Blocking Polytopes
url: https://www.emergentmind.com/topics/locally-anti-blocking-polytopes
type: topic
---

# Locally Anti-Blocking Polytopes

Searching arXiv for recent and foundational papers on locally anti-blocking polytopes.
arXiv search query: locally anti-blocking polytopes
Locally anti-blocking polytopes are convex polytopes whose geometry is anti-blocking in every orthant. In the most common formulation, a polytope \(P\subset \mathbb R^d\) is locally anti-blocking if, for every coordinate subspace \(H\), the orthogonal projection onto \(H\) coincides with the coordinate section:
\[
\operatorname{proj}_H(P)=P\cap H.
\]
Equivalently, in each orthant the corresponding piece of \(P\) becomes an anti-blocking polytope after the appropriate sign changes. This class contains anti-blocking polytopes in \(\mathbb R^d_{\ge 0}\), contains all unconditional polytopes, and has become a natural setting for sharp results on mixed volumes, face enumeration, Ehrhart theory, and combinatorial realizations via flow polytopes [2312.03473], [2308.02909], [1906.04719], [2605.27007].

## 1. Definition and equivalent formulations

An anti-blocking polytope in the nonnegative orthant is a convex polytope \(P\subset \mathbb R^d_{\ge 0}\) such that
\[
x\in P,\quad 0\le y\le x \;\Longrightarrow\; y\in P.
\]
Thus \(P\) is downward closed with respect to the coordinatewise order. A polytope is locally anti-blocking if this property holds orthant by orthant: for every sign vector \(\sigma\in\{\pm 1\}^d\), the orthant piece
\[
P_\sigma=P\cap (\sigma \mathbb R^d_{\ge 0})
\]
is anti-blocking after translating it back to the positive orthant by the sign-change map \(x\mapsto \sigma x\) [2312.03473].

A fundamental equivalent characterization is the coordinate section–projection identity. For every coordinate subspace \(H=\operatorname{span}\{e_i:i\in J\}\),
\[
\operatorname{proj}_H(P)=P\cap H.
\]
This criterion appears repeatedly because it converts orthantwise order-convexity into an intrinsic geometric condition and is the form most directly used in later inequalities and inductive arguments [2308.02909].

In the lattice setting, one often phrases the definition orthantwise up to unimodular equivalence. A full-dimensional lattice polytope \(P\subset \mathbb R^d\) is locally anti-blocking if for each closed orthant \(\mathbb R^d_\varepsilon\) there exists an anti-blocking lattice polytope \(P_\varepsilon\subset \mathbb R^d_{\ge 0}\) such that \(P\cap \mathbb R^d_\varepsilon\) is unimodularly equivalent to \(P_\varepsilon\) by reflections in coordinate hyperplanes [1906.04719].

This class properly extends unconditionality. A \(1\)-unconditional body is exactly a locally anti-blocking body for which all orthant pieces are congruent to a fixed anti-blocking body in \(\mathbb R^d_{\ge 0}\) [2312.03473]. Conversely, local anti-blocking does not force central symmetry: for example,
\[
P=\operatorname{conv}\{(1,0,0),(0,1,0),(1,1,1),(-1,1,1),(1,-1,1),(-1,-1,1)\}\subset\mathbb R^3
\]
is locally anti-blocking but not centrally symmetric [2507.22284].

## 2. Structural geometry

For proper locally anti-blocking polytopes, meaning \(0\in \operatorname{Int} P\), the section–projection identity is stable under passing to coordinate subspaces. If
\[
P_J:=P\cap \mathbb R^d_J,\qquad \mathbb R^d_J=\operatorname{span}\{e_i:i\in J\},
\]
then
\[
P_J=\pi_J(P),
\]
and each \(P_J\) is again locally anti-blocking [2308.02909]. This recursive closure is central in proofs by dimension reduction.

Duality is equally rigid. The polar \(P^\circ\) of a locally anti-blocking polytope is again locally anti-blocking, and the restriction to coordinate subspaces commutes with polarity:
\[
(P^\circ)_J=(P_J)^\circ\subseteq \mathbb R^d_J.
\]
The same source also records a normal-cone restriction:
\[
N_P(p)\cap \mathbb R^d_J=N_{P_J}(p)\cap \mathbb R^d_J
\]
for \(p\in P_J\). These identities make locally anti-blocking geometry unusually compatible with coordinate decompositions [2308.02909].

A complementary characterization uses the normal fan. A full-dimensional polytope \(P\subset \mathbb R^n\) is locally anti-blocking if and only if all facet normals lie in the union of the coordinate orthants and, for each sign vector \(\sigma\), the normal cone of the face \(P_\sigma\) is spanned by the coordinate normals \(\{\sigma_i e_i:i\in I\}\) for some \(I\subseteq [n]\). Equivalently, the normal fan of \(P\) refines the arrangement of coordinate hyperplanes [2008.10394].

These structural restrictions imply a rigid local form for facets. In particular, if \(P\) is proper, then the unique facet whose relative interior lies in the positive orthant is a simplex
\[
F_+=\operatorname{conv}\{\alpha_1 e_1,\dots,\alpha_d e_d\},\qquad \alpha_i>0.
\]
This simplex-like behavior of orthant facets is one reason simplices recur as equality cases in volume inequalities, even though Hanner polytopes control extremal face counts [2308.02909].

## 3. Mixed-volume theory and Godbersen-type inequalities

The mixed-volume theory of locally anti-blocking polytopes is built from orthantwise decompositions. If \(K\) is a locally anti-blocking body and \(K_\sigma=K\cap (\sigma\mathbb R^n_+)\), then
\[
V_n\bigl(K[j],-K[n-j]\bigr)
=
\sum_{\sigma\in\{\pm1\}^n}
V_n\bigl(K_\sigma[j],(-K)_\sigma[n-j]\bigr).
\]
This reduces the global mixed volume to a sum of anti-blocking contributions [2312.03473].

For anti-blocking polytopes \(P,Q\subset \mathbb R^n_+\), the basic geometric decomposition is
\[
P-Q=\bigcup_{I\subseteq [n]} \pi_I(P)\times \bigl(-\pi_{I^c}(Q)\bigr),
\]
with disjoint interiors. From this one obtains the mixed-volume formula
\[
V\bigl(P[j],-Q[n-j]\bigr)
=
\binom{n}{j}^{-1}
\sum_{I\subseteq [n],\,|I|=j}
\operatorname{Vol}_j\bigl(\pi_I(P)\bigr)\,
\operatorname{Vol}_{n-j}\bigl(\pi_{I^c}(Q)\bigr).
\]
The same framework also yields the reverse Kleitman inequality
\[
V\bigl(P[j],Q[n-j]\bigr)\le V\bigl(P[j],-Q[n-j]\bigr),
\]
and in particular \(\operatorname{Vol}(P+Q)\le \operatorname{Vol}(P-Q)\) [2008.10394].

Within this setting, Godbersen’s conjecture is known to hold. For every locally anti-blocking body \(K\subset \mathbb R^n\) and every \(1\le j\le n-1\),
\[
V_n\bigl(K[j],-K[n-j]\bigr)\le \binom{n}{j}\operatorname{Vol}_n(K).
\]
The proof combines four ingredients: orthant decomposition of mixed volume, a mixed-volume reverse-Kleitman step in opposite orthants, the coordinate-projection formula for anti-blocking mixed volumes, and the classical Rogers–Shephard inequality applied to coordinate sections and projections [2312.03473].

The equality theory is especially rigid. The only places where strictness can occur are the reverse-Kleitman step and the Rogers–Shephard step. Equality in those forces the orthant pieces to be coordinate simplices of the form
\[
\operatorname{conv}\{0,\alpha_1 e_1,\dots,\alpha_n e_n\}.
\]
A key calculation for aligned simplices is
\[
V_n\bigl(K[j],\Delta_n[n-j]\bigr)
=
\frac{1}{n!}\max\Bigl\{\prod_{i\in I}\alpha_i:\ I\subset [n],\,|I|=j\Bigr\},
\]
where \(K=\operatorname{conv}\{0,\alpha_1 e_1,\dots,\alpha_n e_n\}\) and \(\Delta_n=\operatorname{conv}\{0,e_1,\dots,e_n\}\). Comparing opposite orthants then shows that equality in Godbersen’s inequality occurs only when \(K\) itself is a simplex [2312.03473].

## 4. Face enumeration and extremal combinatorics

Locally anti-blocking polytopes also satisfy strong lower bounds on the number of faces. For a proper locally anti-blocking \(d\)-polytope \(P\), the number \(s(P)\) of nonempty faces satisfies
\[
s(P)\ge 3^d.
\]
The proof assigns to each sign vector \(\sigma\in\{-1,0,+1\}^d\) a strictly concave function
\[
f_\sigma(x)=\sum_{i:\sigma_i\neq 0}\log(\sigma_i x_i)
\]
on the open cone \(\mathbb R^d_\sigma\), then uses the unique maximizer \(p_\sigma\in P\cap \mathbb R^d_\sigma\) to define a special face \(F_\sigma\). Distinct sign vectors give distinct faces, producing \(3^d\) faces in total [2308.02909].

The equality case is governed not by simplices but by Hanner structure. Equality \(s(P)=3^d\) holds only for generalized Hanner polytopes. The argument passes to all coordinate sections, shows that every \(2\)-dimensional coordinate section is either a rectangle or a diamond, and encodes the resulting pattern by a graph \(G_P\) on \([d]\), with \(ij\) an edge exactly when the corresponding \(2\)-plane section is axis-aligned. The extremal graph must be a cograph, and cographs are precisely the recursive combinatorial skeleton underlying the direct product and direct sum operations that generate Hanner polytopes [2308.02909].

A parallel phenomenon holds for complete flags. If \(P\subset \mathbb R^d\) is a normalized locally anti-blocking polytope, meaning
\[
h_P(\pm e_i)=1\quad\text{for every }i,
\]
then
\[
|Flag(P)|\ge 2^d d!.
\]
The proof decomposes full flags by their orthant sign and constructs, for each full-dimensional cone \(D\) in the orthant fan and each facet \(C\subset D\), an injective map
\[
\chi_C^D:\mathcal K_C\to \mathcal K_D.
\]
Induction on the dimension of \(D\) yields \(|\mathcal K_D|\ge d!\), and summing over all \(2^d\) orthants gives the stated lower bound [2507.22284].

Again the equality case is Hanner. If \(|Flag(P)|=2^d d!\), then every coordinate section \(P\cap H\) also attains the bound, each \(2\)-coordinate section is either \(\square^2\) or \(\lozenge^2\), and \(P\) is reconstructed from the graph \(G_P\). The resulting graph contains no induced path on \(4\) vertices, hence is a cograph. In this class, equality holds if and only if \(P\) is a generalized Hanner polytope [2507.22284].

## 5. Lattice structure, \(h^*\)-polynomials, and \(\gamma\)-positivity

For lattice polytopes, the locally anti-blocking condition admits a direct Ehrhart-theoretic decomposition. Let \(P\) be a locally anti-blocking lattice polytope of dimension \(d\), and let \(P_\varepsilon\subset \mathbb R^d_{\ge 0}\) be anti-blocking representatives of the orthant pieces. If \(P_\varepsilon^{\pm}\) denotes the unconditional polytope obtained by reflecting \(P_\varepsilon\) in all coordinate hyperplanes, then the \(h^*\)-polynomial satisfies
\[
h^*(P;x)=\frac{1}{2^d}\sum_{\varepsilon\in\{\pm1\}^d} h^*\!\bigl(P_\varepsilon^{\pm};x\bigr).
\]
This formula expresses the Ehrhart series of a locally anti-blocking lattice polytope as the average of the \(h^*\)-polynomials of unconditional polytopes built from its orthant pieces [1906.04719].

The proof proceeds through an inclusion–exclusion formula for an anti-blocking polytope \(Q\subset \mathbb R^d_{\ge 0}\):
\[
h^*(Q^{\pm};x)
=
\sum_{j=0}^d 2^j (x-1)^{d-j}
\sum_{\substack{J\subset [d]\\ |J|=j}}
h^*(\pi_J(Q);x).
\]
Applying this orthant by orthant and recombining the contributions yields the average formula above [1906.04719].

This has an immediate consequence for reflexive locally anti-blocking polytopes. If \(P\) is reflexive and every unconditional polytope \(P_\varepsilon^{\pm}\) has a \(\gamma\)-positive \(h^*\)-polynomial, then \(h^*(P;x)\) is also \(\gamma\)-positive. The reason is that reflexivity makes these \(h^*\)-polynomials palindromic, and averages of \(\gamma\)-positive palindromic polynomials remain \(\gamma\)-positive [1906.04719].

The worked examples in the same source place several familiar families inside this framework. Every pseudo-symmetric simplicial reflexive polytope, being a free sum of copies of the cross-polytope, the del Pezzo polytope, and the pseudo-del Pezzo polytope, has \(\gamma\)-positive \(h^*\)-polynomial. The symmetric edge polytope \(\mathcal A_{C_d}\) of a cycle also has
\[
h^*({\mathcal A}_{C_d};x)
=
\sum_{i=0}^{\lfloor(d-1)/2\rfloor}
\binom{2i}{i}\,x^i(1+x)^{d-1-2i},
\]
so its \(\gamma\)-vector is explicitly nonnegative [1906.04719].

## 6. Flow-polytopal realizations and further extremal inequalities

A recent combinatorial realization of local anti-blocking behavior arises from flow polytopes. For an acyclic directed graph \(G=(V,E)\) with source \(0\) and sink \(n+1\), the strength-one flow polytope is
\[
F_1(G)=\left\{f:E\to \mathbb R_{\ge 0}:\sum_{e\in \operatorname{In}(v)}f(e)=\sum_{e\in \operatorname{Out}(v)}f(e)\ \forall v\in V\setminus\{0,n+1\},\ \sum_{e\in \operatorname{Out}(0)}f(e)=1\right\}.
\]
If \(G\) admits an ample framing \(F\), then \(F_1(G)\) is Gorenstein and projects along a distinguished special simplex to a reflexive polytope \(g(G,F)\subset \mathbb R^n\), the \(g\)-polytope [2605.27007].

In this setting, local anti-blocking can be characterized combinatorially. A connected full DAG \(G\) admits an ample framing \(F\) such that \(g(G,F)\) is locally anti-blocking if and only if the inner graph of \(G\) is either a path or a cycle. These families are denoted \(Path(k_1,\dots,k_r)\) and \(Cycle(k_1,\dots,k_r)\) [2605.27007].

For such \(g\)-polytopes, the face structure can be read from routes. A set \(\{g(R):R\in \mathcal R\}\) lies in a common face if and only if the union \(E_{\mathcal R}\) of the corresponding edge sets does not contain all edges of any exceptional route. In particular, if two routes \(R,S\) are coherent, then the minimal face containing them is an edge, while for routes in conflict the minimal face is a quadrilateral unless an exceptional route intervenes, in which case the minimal face is the whole polytope [2605.27007]. The same paper proves that the DKK triangulation of \(F_1(G)\) projects to a regular unimodular triangulation of \(g(G)\), and in the locally anti-blocking path-or-cycle case this triangulation is precisely a pulling triangulation described by coherence diagrams.

Another major line concerns \(L_p\)-Rogers–Shephard inequalities. For locally anti-blocking bodies \(K\subset \mathbb R^n\) and \(p\in [1,\infty]\),
\[
|K\oplus_p (-K)|\le \kappa_{n,p}\,|K|,
\]
where \(K\oplus_p L\) is Firey’s \(L_p\)-sum. For \(p>1\), the equality cases are completely characterized:
\[
|K\oplus_p(-K)|=\kappa_{n,p}|K|
\quad\Longleftrightarrow\quad
K=\operatorname{conv}\{0,\alpha_1 e_1,\dots,\alpha_n e_n\}
\]
for nonzero scalars \(\alpha_i\) [2606.07887]. For polytopes, this means that the only extremizers are coordinate simplices with one vertex at the origin.

These results show that extremal behavior in the locally anti-blocking class depends strongly on the functional under study. Mixed-volume and \(L_p\)-Rogers–Shephard inequalities isolate simplices as the unique equality cases [2312.03473], [2606.07887], whereas global face-minimization problems isolate generalized Hanner polytopes [2308.02909], [2507.22284]. This distinction is one of the central organizing features of the modern theory of locally anti-blocking polytopes.

Source: https://www.emergentmind.com/topics/locally-anti-blocking-polytopes