---
title: 'Shadow Inequalities: A Unifying Mathematical Motif'
url: https://www.emergentmind.com/topics/shadow-inequalities
type: topic
---

# Shadow Inequalities: A Unifying Mathematical Motif

Searching arXiv for the provided topic and cited papers to ground the article.
“Shadow inequalities” is a context-dependent term rather than a single canonical theorem. In current usage it denotes several mathematically distinct frameworks in which a “shadow” encodes lower-dimensional, combinatorial, or dual information and the resulting quantities satisfy nontrivial constraints. In quantum information, shadow inequalities are positivity conditions on shadow enumerators and reductions of multipartite states, with direct applications to absolutely maximally entangled states and quantum codes [1708.06298]. In multiqubit correlation theory, they appear as Kravchuk-transform constraints on sector lengths and are complemented by additional monogamy inequalities that fully characterize the pure-state region for \(N\leq 5\) qubits [2507.12680]. In convex geometry, shadow inequalities arise from shadow systems and govern convexity of \(L_p\)-support functions, concavity of slice volumes of \(L_p\)-polar bodies, and extremal properties of volumes of polars of random sets [2405.01194], [1311.3690]. In low-dimensional topology, the term is tied to Turaev shadows and to bounds on special shadow-complexity for corks and exotic \(4\)-manifolds [1711.04942]. In polyhedral geometry, shadows are \(2\)-dimensional projections of high-dimensional polytopes, and sparse inequality descriptions can still force exponentially large shadows [1308.2495]. This suggests a broad unifying motif—constraints induced by shadow constructions—while the technical content remains field-specific.

## 1. Quantum shadow inequalities and shadow enumerators

For multipartite quantum systems, the modern formalism begins with a pure or mixed state on \(n\) parties and an orthonormal local operator basis \(\{e_j\}\) satisfying
\[
\mathrm{Tr}(e_j^\dagger e_k)=\delta_{jk}\,D .
\]
Tensor products of these basis elements form a local error basis \(\mathcal E\), and any operator \(M\) admits the Bloch expansion
\[
M=\frac{1}{D^n}\sum_{E\in\mathcal E}\mathrm{Tr}(E^\dagger M)\,E .
\]
The weight \(\mathrm{wt}(E)\) is the size of the support of \(E\), and from this one defines the Shor–Laflamme coefficients
\[
A_j(M,N)=\sum_{\mathrm{wt}(E)=j}\mathrm{Tr}(E\,M)\,\mathrm{Tr}(E^\dagger N),\qquad
B_j(M,N)=\sum_{\mathrm{wt}(E)=j}\mathrm{Tr}(E\,M\,E^\dagger N),
\]
together with their generating polynomials \(A_{MN}(x,y)\) and \(B_{MN}(x,y)\). Rains’ unitary enumerators are built from subsystem reductions,
\[
A'_S(M,N)=\mathrm{Tr}_S\!\big[\mathrm{Tr}_{S^c}(M)\,\mathrm{Tr}_{S^c}(N)\big],\qquad
B'_S(M,N)=\mathrm{Tr}_{S^c}\!\big[\mathrm{Tr}_S(M)\,\mathrm{Tr}_S(N)\big],
\]
and the shadow enumerator is then defined by
\[
S_j(M,N)=\sum_{|T|=j}\sum_{S\subseteq\{1,\dots,n\}}(-1)^{|S\cap T^c|}\,A'_S(M,N).
\]

The generalized shadow inequalities assert that for any positive semidefinite Hermitian \(M,N\) and every fixed subset \(T\subseteq\{1,\dots,n\}\),
\[
\sum_{S\subseteq\{1,\dots,n\}}(-1)^{|S\cap T|}\,
\mathrm{Tr}_S\!\Big[\mathrm{Tr}_{S^c}(M)\,\mathrm{Tr}_{S^c}(N)\Big]\ge 0.
\]
Equivalently, all shadow coefficients satisfy \(S_j(M,N)\ge 0\). For states, these are consistency constraints on the purities of all marginals. The same paper derives the quantum MacWilliams identity in Bloch form,
\[
A_{MN}(x,y)=B_{MN}\!\left(\frac{x+(D^2-1)y}{D},\,\frac{x-y}{D}\right),
\]
and the shadow transform
\[
S_{MN}(x,y)=A_{MN}\!\left(\frac{(D-1)x+(D+1)y}{D},\,\frac{y-x}{D}\right).
\]
These formulas place the shadow inequalities inside the same enumerator machinery as quantum error correction [1708.06298].

A principal application concerns absolutely maximally entangled states. A pure state \(|\psi\rangle\) on \(n\) parties of local dimension \(D\) is absolutely maximally entangled if every reduction to \(k\le n/2\) parties is maximally mixed, equivalently
\[
\mathrm{Tr}(\rho_{(k)}^2)=D^{-\min(k,n-k)}.
\]
For AME\((n,D)\), the unitary enumerators are fixed:
\[
A'_k(|\phi_{n,D}\rangle)=\binom{n}{k}D^{-\min(k,n-k)},
\]
so the shadow coefficients become
\[
S_j(|\phi_{n,D}\rangle)=\sum_{k=0}^n K_{n-j}(k;n)\binom{n}{k}D^{-\min(k,n-k)},
\]
with \(K_m(k;n)\) the Krawtchouk polynomials. Negativity of any \(S_j\) excludes existence. In this way the paper gives new nonexistence results, including
\[
n\in\{8,12,13,14,16,17,19,21,23\}\quad\text{for }D=3,
\]
\[
n\in\{12,16,20,24,25,26,28,29,30,33,37,39\}\quad\text{for }D=4,
\]
and
\[
n\in\{28,32,36,40,44,48\}\quad\text{for }D=5.
\]
It also derives Scott’s necessary bound
\[
n\le
\begin{cases}
2(D^2-1),& n\text{ even},\\
2D(D+1)-1,& n\text{ odd},
\end{cases}
\]
from positivity of \(A_{n+2}\), and presents a mixed-dimensional maximally entangled example on \(2\times 3\times 3\times 3\), certified by an iterative semidefinite program [1708.06298].

A common misconception is to treat shadow-enumerator positivity as a complete characterization. In this framework it is necessary, not sufficient: passing the shadow test does not guarantee the existence of a corresponding state or quantum code, whereas violation gives a definitive impossibility result.

## 2. Multiqubit sector lengths and monogamy beyond shadow inequalities

For \(N\)-qubit systems, the same terminology has a specialized form in the Pauli correlation representation. Writing
\[
\rho=\frac{1}{2^N}\sum_{\boldsymbol\mu}x_{\boldsymbol\mu}\,\sigma_{\boldsymbol\mu},
\]
with \(\sigma_{\boldsymbol\mu}=\sigma_{\mu_1}\otimes\cdots\otimes\sigma_{\mu_N}\) and \(\mu_\alpha\in\{0,1,2,3\}\), one groups correlations by Hamming weight. The sector length
\[
S_m\equiv\sum_{\mathrm{wt}(\boldsymbol\mu)=m}x_{\boldsymbol\mu}^2,\qquad m=0,1,\dots,N,
\]
is the average squared \(m\)-body correlation content. Purity satisfies
\[
\mathrm{Tr}(\rho^2)=\frac{1}{2^N}\sum_{m=0}^N S_m,
\]
so for pure states
\[
\sum_{m=0}^N S_m=2^N.
\]

The corresponding shadow enumerators are
\[
(e)_g(\rho)\equiv \frac{1}{2^N}\sum_{m=0}^N(-1)^m\,K_g(m,N)\,S_m(\rho)\ge 0,
\]
where
\[
K_g(m,N)\equiv\sum_{i=0}^g(-1)^i\,3^{\,g-i}\binom{m}{i}\binom{N-m}{g-i}
\]
are the Kravchuk polynomials. For \(g=0\), one recovers the time-reversal overlap
\[
(e)_0(\rho)=R_\rho\ge 0.
\]
The inverse transform is exact:
\[
S_m=(-1)^m\,2^N\sum_{g=0}^N K_m(g,N)\,(e)_g.
\]
In this formulation, shadow inequalities are positivity constraints on the Kravchuk transform of the vector of sector lengths [2507.12680].

The paper then derives additional monogamy inequalities from reduced purities and time-reversal overlaps. For all \(k=1,\dots,N\),
\[
\frac{2^k}{2^{\min(k,N-k)}\binom{N}{k}}
\le
\sum_{m=0}^k \binom{N-m}{k-m}S_m
\le 2^k\binom{N}{k},
\]
\[
0\le \sum_{m=0}^k(-1)^m\binom{N-m}{k-m}S_m\le 2^k\binom{N}{k},
\]
and
\[
\sum_{m=0}^{\lfloor (k-1)/2\rfloor}\binom{N-2m}{k-2m}S_{2m}
\le 2^{k-2}\big(3+(-1)^k\big)\binom{N}{k}.
\]
Intersecting the region \(R_3\) defined by these new inequalities with the shadow region \(R_2\) and the pure-state equalities yields a polytope
\[
R=R_2\cap R_3
\]
that contains the true pure-state range \(S\). For \(N\le 5\), the characterization is complete: \(S=R\) [2507.12680].

The explicit small-\(N\) descriptions are particularly sharp. For \(N=4\),
\[
S_4=3-2S_1+S_2,\qquad S_3=12+S_1-2S_2,
\]
and the allowed region is
\[
0\le S_1\le S_2-2\le 4.
\]
Its vertices are realized by \(|0\rangle^{\otimes 4}\), \(|\mathrm{GHZ}(4)\rangle\), and the symmetric tetrahedron state
\[
|\mathrm{tetra}\rangle=\tfrac{1}{2}\Big(|D_4^{(0)}\rangle+i\sqrt{2}\,|D_4^{(2)}\rangle+|D_4^{(4)}\rangle\Big).
\]
For \(N=5\),
\[
S_3=10+2S_1-S_2,\qquad S_4=15-S_2,\qquad S_5=6-3S_1+S_2,
\]
and the allowed region is
\[
0\le S_1\le 5,\qquad 2S_1\le S_2\le 10.
\]
Its vertices are realized by \(|0\rangle^{\otimes 5}\), \(|\mathrm{GHZ}(5)\rangle\), and \(|\mathrm{AME}(5,2)\rangle\). Because the shadow enumerators are linear in the \(S_m\), extremization of quantities such as average linear entropy or \((e)_g\) reduces to evaluation at the polytope vertices [2507.12680].

For \(N\ge 6\), completeness fails. At \(N=6\), neither the shadow region \(R_2\) nor the new region \(R_3\) contains the other; their intersection is strictly larger than the known pure-state set, and an additional constraint
\[
S_4\ge 5
\]
is reported for pure states but is not implied by shadow plus new inequalities. The paper also identifies a vertex \(P=(S_1,S_2,S_3)=(0,7,8)\) in the enlarged polytope with no known realizing state. This directly addresses a recurrent misunderstanding: shadow inequalities are powerful, but even when supplemented by these monogamy relations they do not yet fully determine the geometry for larger qubit numbers [2507.12680].

## 3. Convex-geometric shadow systems and polar-body inequalities

In convex geometry, a shadow system is a one-parameter family of convex bodies generated by motion along a fixed direction. The general shadow system of Rogers–Shephard and Shephard is
\[
K_t:=\mathrm{conv}\{x+\alpha(x)\,t\,v:x\in K\subset\mathbb R^n\},\qquad t\in\mathbb R,
\]
where \(v\in S^{n-1}\) and \(\alpha\) is a bounded speed function. A parallel chord movement is the special case
\[
K_t:=\{x+\beta(x|v^\perp)\,t\,v:x\in K\},
\]
with \(\beta\) chosen so that the moved chords remain convex. These constructions are closely tied to Steiner symmetrization through the representation
\[
K=\{x'+sv:x'\in K|v^\perp,\ g_v(x')\le s\le f_v(x')\}.
\]

The \(L_p\)-support function introduced by Berndtsson, Mastrantonis and Rubinstein is
\[
h_{p,K}(y):=\frac{1}{p}\log\!\left(\frac{1}{|K|}\int_K e^{p\langle x,y\rangle}\,dx\right),\qquad p\in(0,+\infty],
\]
and the associated \(L_p\)-polar body is defined through the gauge
\[
\|y\|_{K^{\circ_p}}:=\frac{1}{(n-1)!}\int_0^\infty r^{n-1}e^{-h_{p,K}(r y)}\,dr,
\qquad
K^{\circ_p}:=\{y\in\mathbb R^n:\|y\|_{K^{\circ_p}}\le 1\}.
\]
The volume representation is
\[
|K^{\circ_p}|=\frac{1}{n!}\int_{\mathbb R^n}e^{-h_{p,K}(x)}\,dx.
\]
As \(p\to+\infty\), one recovers the classical support function and classical polar body [2405.01194].

The central shadow inequalities in this setting are convexity and concavity statements along the shadow system parameter. For a parallel movement \(K_t\) and fixed \(y\in\mathbb R^n\), the function
\[
t\mapsto h_{p,K_t}(y)
\]
is convex. For the slices of the \(L_p\)-polar bodies one has, for all \(s\in\mathbb R\) and \(t_1,t_2\in\mathbb R\),
\[
|K_{t_1+t_2}^{\circ_p}(s)|^{1/(n-1)}
\ge
\frac{1}{2}|K_{t_1}^{\circ_p}(s)|^{1/(n-1)}
+
\frac{1}{2}|K_{t_2}^{\circ_p}(s)|^{1/(n-1)}.
\]
The proofs use midpoint convexity, a functional shadow inclusion,
\[
\frac{1}{2}K_{t_1}^{\circ_p}(s)+\frac{1}{2}K_{t_2}^{\circ_p}(s)\subset K_{t_1+t_2}^{\circ_p}(s),
\]
Ball’s inequality for measurable functions, and the Brunn–Minkowski inequality on \(v^\perp\) [2405.01194].

These facts imply monotonicity under Steiner symmetrization. If \(K\) is symmetric and the movement is chosen so that \(K_{1/2}=S_v(K)\), then
\[
|(S_vK)^{\circ_p}|\ge |K^{\circ_p}|.
\]
The paper identifies this as recovering the \(L_p\) Blaschke–Santaló inequality by iteration. It also proves a reverse Rogers–Shephard type inequality: if \(K^{\circ_p}\) and \(L^{\circ_p}\) have opposite barycenters,
\[
\mathrm{bar}(K^{\circ_p})=-\mathrm{bar}(L^{\circ_p}),
\]
then
\[
|\mathrm{conv}(K^{\circ_p}\cup L^{\circ_p})|\cdot |(K^{\circ_p})-(L^{\circ_p})|
\ge
\frac{n!}{(2n)!}\,|K^{\circ_p}|\cdot |L^{\circ_p}|.
\]
An upper bound in the reverse direction is also obtained by applying Rogers–Shephard’s section inequality. Here “shadow inequality” therefore refers not to an enumerator positivity constraint, but to functional convexity, volume monotonicity, and Rogers–Shephard type inequalities driven by the shadow-system deformation [2405.01194].

## 4. Random polars, generalized shadow systems, and Blaschke–Santaló type consequences

A second convex-geometric usage concerns generalized shadow systems and volumes of the polar of random sets. For vectors \(x_1,\dots,x_N\in\mathbb R^n\) and a coefficient set \(C\subset\mathbb R^N\), define
\[
[x_1\ \cdots\ x_N]C=\left\{\sum_{i=1}^N c_i x_i : c=(c_i)_i\in C\right\},
\]
so that
\[
h_{[x_1\cdots x_N]C}(u)=h_C\big((\langle x_1,u\rangle,\dots,\langle x_N,u\rangle)\big).
\]
The generalized shadow system is obtained from a centrally symmetric closed convex set \(C\subset\mathbb R^n\times\mathbb R^N\), a direction \(\theta\in S^{n-1}\), and the maps
\[
P_t(x,y)=x+\langle y,t\rangle\theta,\qquad K_t:=P_t(C),\qquad t\in\mathbb R^N.
\]

The decisive analytic input is a Busemann-type theorem for convex measures: if \(\nu\) has even density and is \((-1/n)\)-concave, then
\[
\psi(z)=\nu^+(z^\perp)
\]
defines a norm on \(\mathbb R^n\). From this, one derives that for a shadow system of centrally symmetric convex sets,
\[
t\mapsto [\nu(K_t^\circ)]^{-1}
\]
is convex; in the generalized setting, the same map is convex on \(\mathbb R^N\), and under additional symmetry it is even. A key corollary is that for \(y_i\in\theta^\perp\), unconditional \(C\subset\mathbb R^N\), and \(r\ge 0\), the map
\[
(t_1,\dots,t_N)\mapsto
\left[\nu\!\left(\big([y_1+t_1\theta\ \cdots\ y_N+t_N\theta]C+rB_2^n\big)^\circ\right)\right]^{-1}
\]
is even and convex [1311.3690].

This shadow convexity is then combined with Christ’s rearrangement principle to compare random models. Let \(X_1,\dots,X_N\) be independent random vectors whose laws belong to \(P_n\), the class of Borel probability measures on \(\mathbb R^n\) with densities bounded by \(1\). Let \(C\subset\mathbb R^N\) be unconditional, and let \(\nu\) be spherically invariant with decreasing radial density. If \(Z_i\) are i.i.d. uniform on the volume-one Euclidean ball \(D_n\), then
\[
\mathbb E\,\nu(K(X;C)^\circ)\le \mathbb E\,\nu(K(Z;C)^\circ).
\]
Under the additional assumption that \(p^{-1/(n+1)}\) is convex for the radial density \(p\), there is also stochastic dominance:
\[
\mathbb P\big(\nu(K(X;C)^\circ)>t\big)\le
\mathbb P\big(\nu(K(Z;C)^\circ)>t\big)\qquad \forall t\ge 0.
\]
For \(C=B_1^N\), this specializes to
\[
K(X)=\mathrm{conv}\{\pm X_1,\dots,\pm X_N\},
\]
and the expected volume of \(K(X)^\circ\) is maximized when the \(X_i\) are i.i.d. uniform on \(D_n\) [1311.3690].

The same framework yields a random extension of the Blaschke–Santaló inequality. If \(X_1,X_2,\dots\) are i.i.d. uniform on a fixed symmetric convex body \(K\) with \(|K|=1\), then \(K_N=\mathrm{conv}\{\pm X_1,\dots,\pm X_N\}\to K\) in Hausdorff metric almost surely. Passing to the limit gives
\[
\mathrm{Vol}(K^\circ)\le \mathrm{Vol}(D_n^\circ)=\mathrm{Vol}(B_2^n)^2.
\]
This recovers the classical Blaschke–Santaló inequality from the random extremal model. In this literature, therefore, “shadow inequalities” are inequalities for polar volumes and related functionals that are induced by convexity properties of shadow systems together with rearrangement methods [1311.3690].

## 5. Shadow-complexity inequalities in \(4\)-manifold topology

In \(4\)-manifold topology, a shadow is a simple polyhedron \(X\subset M\) properly embedded in a compact, oriented smooth \(4\)-manifold \(M\), locally flat in \(M\), and a strong deformation retract of \(M\). A region is a connected component of \(X\setminus \mathrm{Sing}(X)\), and a simple polyhedron is special if all regions are open disks. Each internal region carries a half-integer gleam \(gl(R)\) satisfying the parity condition
\[
gl(R)-\frac{1}{2}gl_2(R)\in\mathbb Z.
\]
Turaev’s reconstruction associates to a shadowed polyhedron \((X,\{gl(R)\})\) a \(4\)-manifold \(M_X\). This leads to the complexity invariants
\[
sc(M)=\min\{\text{true vertices of shadows of }M\},
\qquad
sc^{sp}(M)=\min\{\text{true vertices of special shadows of }M\}.
\]
By definition,
\[
sc(\partial M)\le sc(M),\qquad sc^{sp}(\partial M)\le sc^{sp}(M).
\]

A central technical tool is the Ishikawa–Koda slope-length criterion. If \(X\) is a special shadow of a \(3\)-manifold \(N\) with \(V\) true vertices and each region \(R\) satisfies
\[
\sqrt{4\,gl(R)^2+v(R)^2}>2\pi\sqrt{2V},
\]
where \(v(R)\) counts adjacent true vertices with multiplicity, then
\[
sc^{sp}(N)=V.
\]
This criterion is used to pass exact lower bounds from \(3\)-manifold boundaries to \(4\)-manifolds [1711.04942].

The paper constructs, for each positive integer \(n\), an infinite family \(\{C_{n,k}\}_{k=1}^\infty\) of Mazur-type corks. The twisting parameters are chosen so that
\[
m_i=
\begin{cases}
-\left\lceil \tfrac12+\sqrt{4\pi^2 n-1}\right\rceil-k,& i=1,\\
-\left\lceil \tfrac12+\sqrt{4\pi^2 n-1}\right\rceil,& 2\le i\le n,
\end{cases}
\]
and \(l_j\) is defined by a parity-dependent piecewise formula with leading scale \(\lceil\sqrt{4\pi^2 n-\cdot}\rceil\). An explicit special shadow \(P''\) gives the upper bound
\[
sc^{sp}(C_{n,k})\le \sum_{j=1}^{n+1}l_j+n-3,
\]
which is packaged as
\[
2n\le sc^{sp}(C_{n,k})\le D(n),
\]
where
\[
D(n)=
\begin{cases}
(n-1)\left\lceil \sqrt{4\pi^2 n - 1} \right\rceil + n + 2\left\lceil \sqrt{4\pi^2 n - \tfrac{1}{4}} \right\rceil, & n\text{ odd},\\[4pt]
(n-2)\left\lceil \sqrt{4\pi^2 n - 1} \right\rceil + n + 4\left\lceil \sqrt{4\pi^2 n - \tfrac{1}{4}} \right\rceil - 2, & n\text{ even}.
\end{cases}
\]
In particular,
\[
sc^{sp}(C_{n,k})\le D(n)\le c\,n^{3/2}+O(n),
\qquad c\approx 2\pi,
\]
with \(c\) independent of \(k\). The lower bound comes from the boundary:
\[
sc^{sp}(\partial C_{n,k})=2n,
\]
and hence
\[
2n\le sc^{sp}(C_{n,k}).
\]
The boundaries are shown to be mutually nonhomeomorphic as \(k\) varies via Casson invariants and the surgery formula
\[
\lambda(\partial C_{n,k'})-\lambda(\partial C_{n,k})
=
-d\,(l_1^2-(-1)^n l_1)\neq 0
\qquad (d=k'-k>0).
\]

The same methods produce exotic pairs \((W_{n,k},W'_{n,k})\) of \(4\)-manifolds with boundary, obtained by attaching a \(-1\)-framed \(2\)-handle to a meridian of the dotted circle or of the \(0\)-framed circle. Because \(C_{n,k}\) is a cork, \(W'_{n,k}\) is the cork-twist of \(W_{n,k}\). Their complexities satisfy
\[
sc^{sp}(W_{n,k})\le \sum_{j=1}^{n+1}l_j+n-2,\qquad
sc^{sp}(W'_{n,k})\le \sum_{j=1}^{n+1}l_j+n-1,
\]
and
\[
sc^{sp}(\partial W_{n,k})=sc^{sp}(\partial W'_{n,k})=2n.
\]
Therefore,
\[
2n\le sc^{sp}(W_{n,k},W'_{n,k})\le D(n)+2,
\]
where \(sc^{sp}(A,B)=\max(sc^{sp}(A),sc^{sp}(B))\) [1711.04942].

The paper also addresses the small-complexity regime. It exhibits an exotic pair \((W_1,W_2)\) with
\[
sc(W_1)=sc(W_2)=0,
\]
showing that shadow-complexity zero is compatible with exotic pairs when one does not require special shadows. By contrast, the lowest special shadow-complexity among exotic pairs of \(4\)-manifolds with boundary is proved to be \(1\) or \(2\). This distinguishes ordinary shadow-complexity from special shadow-complexity and clarifies that the large-complexity cork families complement, rather than contradict, the existence of exotic behavior at very small non-special shadow-complexity [1711.04942].

## 6. Large planar shadows from sparse linear inequalities

In polyhedral geometry, a shadow is the image of a polytope under a \(2\)-dimensional linear projection. If
\[
P=\{x\in\mathbb R^d:Ax\le b\}
\]
and \(u,v\in\mathbb R^d\) are linearly independent, then
\[
\pi(x)=(u^Tx,v^Tx)\in\mathbb R^2
\]
defines the shadow \(\pi(P)\). A vertex \(z\in \mathrm{vert}(P)\) survives as a vertex of \(\pi(P)\) if there exists \(e=\alpha u+\beta v\in \mathrm{span}\{u,v\}\) such that \(z\) uniquely maximizes \(e^Tx\) over \(P\). The paper uses this criterion to study the combinatorial size of shadows for sparse inequality systems [1308.2495].

A \(t\)-sparse inequality system is one in which each row of \(A\) has at most \(t\) nonzero entries. The starting point is the contrast between the \(3\)-sparse Goldfarb cube and the \(2\)-sparse Klee–Minty cube. Goldfarb’s construction yields a polytope whose \(2\)-dimensional shadow contains all \(2^d\) vertices. The paper then proves that the same exponential shadow complexity already occurs in a \(2\)-sparse system. The relevant Klee–Minty variant is
\[
0\le x_1\le 1,\qquad
\epsilon x_{j-1}\le x_j\le 1-\epsilon x_{j-1}\quad (j=2,\dots,d),
\]
with \(0<\epsilon<1/2\). Its vertices are indexed by bit vectors \(u=(u_1,\dots,u_d)\in\{0,1\}^d\) through the recursion
\[
x_j(u)=u_j+(1-2u_j)\epsilon x_{j-1}(u),\qquad x_0(u):=0.
\]

The main theorem chooses the projection plane using
\[
c=(\epsilon^{3(d-1)},\epsilon^{3(d-2)},\dots,\epsilon^3,0),\qquad d=e_d,
\]
and proves that the shadow
\[
\pi(x)=(c^Tx,d^Tx)
\]
has \(2^d\) vertices. Equivalently, every vertex \(x(u)\) of the Klee–Minty cube appears as a vertex of the planar shadow. The proof uses an edge-local optimality criterion: a vertex uniquely maximizes a linear functional if and only if it strictly beats all its edge-neighbors. By constructing, for each \(u\), a vector \(e(u)\in \mathrm{span}\{c,d\}\) with carefully separated \(\epsilon\)-scales, the argument shows that the sign of \(e(u)^T(x(u\oplus\{\ell\})-x(u))\) is negative for every neighboring vertex. This yields a maximal \(2^d\)-vertex shadow from inequalities with only two variables per constraint [1308.2495].

The same paper proves that this behavior disappears for \(1\)-sparse systems. If
\[
P=\{x\in\mathbb R^d:\ell_i\le x_i\le u_i,\ i=1,\dots,d\}
\]
is an axis-parallel box, then every \(2\)-dimensional shadow has at most \(2d\) vertices. The bound is tight for generic projections. The contrast is therefore sharp: with one variable per inequality, shadow size is \(O(d)\), whereas with two variables per inequality it can be \(\Theta(2^d)\). The paper interprets this as a limit result for shadow-based linear-programming methods, especially the shadow-vertex method of Gass–Saaty. Large shadows imply exponentially many bends in the parametric path, so sparsity alone does not preclude worst-case shadow complexity [1308.2495].

Source: https://www.emergentmind.com/topics/shadow-inequalities