---
title: Projection Constant in Banach Spaces
url: https://www.emergentmind.com/topics/projection-constant
type: topic
---

# Projection Constant in Banach Spaces

A projection constant is a norm-theoretic invariant that quantifies how efficiently a subspace can be recovered by a bounded linear projection. For a closed subspace \(Y\) of a Banach space \(X\), the relative projection constant is the infimum of \(\|P\|\) over all bounded projections \(P:X\to Y\) with \(P|_Y=\mathrm{Id}_Y\). Its absolute and maximal variants organize extremal behavior over all ambient spaces or over all spaces of a fixed dimension. Across Banach space theory, convex geometry, harmonic analysis, approximation theory, and more recent work in spectral graph theory, projection constants appear in several equivalent formulations: as norms of minimal projections, as extremal sums attached to tight frames, as combinatorial spectral quantities, and as exact operator norms in structured function spaces [1901.07866], [2603.29280].

## 1. Definitions and basic forms

The standard Banach-space definition is
\[
\lambda(Y,X)=\inf\{\|P\|:P:X\to Y\text{ is a bounded linear projection},\ P|_Y=\mathrm{Id}_Y\}.
\]
If the infimum is attained, the corresponding operator is a minimal projection. For a finite-dimensional Banach space \(E\), the absolute projection constant is obtained by taking the supremum over all isometric embeddings into ambient Banach spaces; the literature in the cited papers uses several notations for this quantity, including \(\Pi(E)\), \(\lambda(E)\), and \(\boldsymbol{\lambda}(E)\) [2604.10771], [1901.07866].

A second layer of notation concerns maximal constants in fixed dimension. For real \(n\)-dimensional spaces one encounters
\[
\Pi_n=\max\{\Pi(E):\dim E=n\},
\]
while related papers write \(\lambda_n(\mathbb K)\) for the maximal absolute projection constant among \(n\)-dimensional normed spaces over \(\mathbb K\), or \(\lambda(m)\) for the maximal absolute projection constant over real \(m\)-dimensional subspaces [1901.07866], [2505.24526], [2206.01596].

A particularly important reformulation arises from orthogonal projections and tight frames. For integers \(N\ge r\ge 1\),
\[
\mathcal P_r(N):=\{Q\in\mathbb R^{N\times N}:Q^2=Q,\ Q=Q^\top,\ \operatorname{rank}(Q)=r\},
\]
and the real maximal absolute projection constant can be written as
\[
\lambda_{\mathbb R(r)}=\sup_{N\ge r}\frac1N\max_{Q\in\mathcal P_r(N)}\sum_{i,j=1}^N |q_{ij}|.
\]
In Banach space terminology this equals the quasimaximal absolute projection constant \(\mu_{\mathbb R(r)}\); equivalently, it is the supremal normalized absolute inner-product mass of a tight frame with frame operator \(I_r\) [2603.29280].

Two general upper bounds frame much of the subject. The Kadec–Snobar theorem gives \(\lambda(X)\le \sqrt{\dim X}\) for finite-dimensional \(X\). For hyperplanes \(Y\subset X\) in an \(n\)-dimensional normed space, Bohnenblust proved the sharper estimate
\[
\lambda(Y,X)\le 2-\frac{2}{n},
\]
which is optimal [1411.6214], [1901.07866].

## 2. Extremal finite-dimensional geometry

The maximal projection-constant problem asks for exact formulas for \(\Pi_n\), \(\lambda_n(\mathbb K)\), or \(\lambda(m)\), depending on normalization. One major route is combinatorial-spectral. For every integer \(n\ge 1\),
\[
\Pi_n=\sup_{d\ge 1}\max\left\{\frac nd+\frac1d\sum_{k=1}^n \lambda_k(T): T\ \text{is a }K_{n+2}\text{-free two-graph of order }d\right\},
\]
where \(\lambda_k(T)\) are the eigenvalues of the associated Seidel matrix. This converts the computation of maximal projection constants into an optimization over switching classes and two-graph spectra [1901.07866].

This framework recovers and organizes several low-dimensional values and relative constants. The exact value \(\Pi_2=4/3\) follows from the \(K_4\)-free two-graph analysis, while \(\Pi(3,6)=(1+\sqrt5)/2\), \(\Pi(4,6)=5/3\), and \(\Pi(5,10)=2\) arise from equiangular-line configurations in \(\mathbb R^3\) and \(\mathbb R^5\) and from a detailed six-vertex calculation [1901.07866].

A sharper structural description is available when a Gerzon-extremal equiangular tight frame exists. If \(\{w_i\}_{i=1}^d\subset \mathbb K^n\) is an equiangular set of maximal cardinality \(d=\frac{n(n+1)}2\) in the real case or \(d=n^2\) in the complex case, then an \(n\)-dimensional space \(X\) has maximal absolute projection constant if and only if, after a linear isomorphism \(T\), its dual unit ball satisfies
\[
\operatorname{aconv}\{w_i\}_{i=1}^d\subset T(B_{X^*})\subset c\,Z(\{w_i\}_{i=1}^d),
\]
where \(Z(\{w_i\})=\sum_i[-w_i,w_i]\) is the symmetric zonotope and
\[
c=\frac{n}{d}=
\begin{cases}
\frac{2}{n+1},&\mathbb K=\mathbb R,\\[4pt]
\frac1n,&\mathbb K=\mathbb C.
\end{cases}
\]
In the same regime, the maximal constant is explicit:
\[
\lambda_n(\mathbb R)=\frac{2+(n-1)\sqrt{n+2}}{n+1},\qquad
\lambda_n(\mathbb C)=\frac{1+(n^2-1)/\sqrt{n+1}}{n}.
\]
For real spaces, this applies in the known Gerzon-extremal dimensions \(n=2,3,7,23\); in the complex setting it applies whenever a SIC-POVM exists [2505.24526].

The real two-dimensional case is exceptional. There the maximizing norm is unique up to isometry, and the dual unit ball is an affine regular hexagon. This is the geometric form of the value \(4/3\) and recovers the classical hexagonal extremizer [2505.24526]. By contrast, in the other covered dimensions there are infinitely many non-isometric maximizers because the inclusion between the absolutely convex hull and the scaled zonotope is strict.

Low-dimensional exact values beyond dimension \(2\) remain difficult. For real maximal absolute projection constants, the only exact value for \(m>1\) stated as known in the 2022 paper is \(\lambda(2)=4/3\). The same paper records numerical evidence for
\[
\lambda(3)=\frac{1+\sqrt5}{2}
\]
and proves the lower bound
\[
\lambda(5)\ge \frac{5(11+6\sqrt5)}{59}\approx 2.06919
\]
by constructing mutually unbiased equiangular tight frames in \(\mathbb R^5\) [2206.01596].

## 3. Hyperplanes, finite codimension, and minimal projections

For hyperplanes \(Y=\ker f\), every projection has the form
\[
P(x)=x-f(x)r,\qquad f(r)=1.
\]
This makes hyperplane projection constants unusually concrete. Bohnenblust’s bound
\[
\lambda(Y,X)\le 2-\frac{2}{n}
\]
is sharp, and equality admits a precise convex-geometric characterization. If \(X\) is \(n\)-dimensional and \(Y=\ker f\), then \(\lambda(Y,X)=2-\frac{2}{n}\) holds if and only if there are extreme points \(x_1,\dots,x_n\) of \(B_X\) such that \(f(x_1)=\cdots=f(x_n)\), the points are linearly independent, and the signed facet condition from Kobos’ theorem is satisfied. In particular, every \(n\)-dimensional normed space has an \((n-1)\)-dimensional subspace \(Y\) with
\[
\lambda(Y,X)<2-\frac{2}{n},
\]
and in dimension \(3\) one has the quantitative statement that every three-dimensional space contains a subspace with projection constant less than \(\frac43-0.0007\) [1411.6214].

The complementary problem is to force all hyperplanes to have projection constant strictly larger than \(1\). For every integer \(n\ge 4\) there exists an \(n\)-dimensional normed space \(X\) such that for every hyperplane \(Y\subset X\) and every projection \(P:X\to Y\),
\[
\|P\|>1+\left(8\,(n+3)^5\right)^{-30\,(n+3)^2}.
\]
This gives an explicit uniform lower bound beyond the trivial value \(1\), albeit an extremely small one, and addresses a hyperplane version of a problem of Bosznay and Garay [1508.03518].

In spaces with the Daugavet property, finite-codimensional projection constants satisfy a duality formula that is both exact and structural. If
\[
Y=\bigcap_{j=1}^n \ker f_j\subset X,\qquad W=\operatorname{span}\{f_1,\dots,f_n\}\subset X^*,
\]
then
\[
\lambda(Y,X)=1+\lambda(W,X^*).
\]
Minimal projections \(X\to Y\) correspond exactly to weak\(^*\)-continuous minimal projections \(X^*\to W\) through
\[
Q=(\mathrm{Id}_X-P)^*.
\]
A complete description follows for hyperplanes: in a Daugavet space,
\[
\lambda(\ker f,X)=2,
\]
and a minimal projection onto \(\ker f\) exists if and only if \(f\) attains its norm. In the real space \(C[0,1]\), this duality combines with a transfer principle from duplication-stable subspaces of \(\ell_1^N\) to produce finite-codimensional subspaces \(Y\subset C[0,1]\) for which the infimum defining \(\lambda(Y,C[0,1])\) is not attained. Indeed, every value \(\Lambda\in[2,\infty)\) occurs as \(\lambda(Y,C[0,1])\) for some finite-codimensional \(Y\) with non-attainment [2604.10771].

## 4. Optimization and computation

Projection constants admit several exact optimization formulations. For maximal relative constants in \(\ell_\infty^n\), Chalmers–Lewicki’s formula, as quoted in the 2022 paper, states that for integers \(n\ge m\),
\[
\lambda(m,n)=\max\left\{\sum_{i,j=1}^n t_i t_j\,\big|(U^\top U)_{ij}\big|:\ t\in\mathbb R^n,\ \|t\|_2=1,\ U\in\mathbb R^{m\times n},\ UU^\top=I_m\right\}.
\]
The ETF-based upper bound
\[
\lambda(m,n)\le \delta_{m,n},\qquad
\delta_{m,n}=\frac{m}{n}\Bigl(1+(n-1)\sqrt{\frac{n-m}{m(n-1)}}\Bigr)
\]
is attained exactly when there exists a real equiangular tight frame of \(n\) unit vectors in \(\mathbb R^m\) [2206.01596].

For specific function spaces, convex optimization becomes computationally effective. In univariate polynomial spaces \(U\subset C([-1,1])\), every projection onto \(U\) can be represented by finitely many bounded linear functionals, hence by signed measures. The 2018 paper develops an LP upper bound by discretizing those measures with Dirac masses and an SDP lower bound by passing to trigonometric moments and Toeplitz positive semidefinite constraints. For \(\mathcal P_n\), the space of algebraic polynomials of degree at most \(n\), the method reproduces
\[
\lambda(\mathcal P_2,C([-1,1]))\approx 1.220173064217988\ldots
\]
and gives the estimates \(\lambda(\mathcal P_3)\approx 1.365\), \(\lambda(\mathcal P_4)\approx 1.459\), and \(\lambda(\mathcal P_5)\approx 1.538\). It also provides tight intervals up to degree \(12\), contests the belief that minimal projections are unique for algebraic polynomial spaces, and gives computational evidence against \(d\)-convexity preservation for \(d=3\) [1801.04205].

A different LP framework arises in Lipschitz-free spaces. For a finite metric space \(X\),
\[
\mathrm{ae}(X)=\sup_{Y\supset X,\ Y\text{ finite}}\lambda(\mathcal F(X),\mathcal F(Y)),
\]
so the absolute Lipschitz extendability constant is exactly a supremum of relative projection constants of Lipschitz-free spaces. The same paper gives LP formulations for \(\lambda(\mathcal F(A),\mathcal F(M))\), proves
\[
\mathrm{ae}(3)=\frac43,
\]
and establishes
\[
\mathrm{ae}(4)\ge \frac{5+4\sqrt2}{7}.
\]
This turns a nonlinear extension invariant into a projection-constant computation [2104.14238].

## 5. Explicit formulas in structured spaces

Many classical spaces admit closed formulas or asymptotically sharp expressions for their projection constants. For trigonometric polynomials on a compact abelian group \(G\), if \(E\subset \widehat G\) is finite, then
\[
\boldsymbol{\lambda}(\mathrm{Trig}_E(G))
=\int_G\left|\sum_{\gamma\in E}\gamma(x)\right|\,dm(x).
\]
On \(\mathbb T^n\), this yields product formulas in terms of one-dimensional Lebesgue constants; for analytic polynomial spaces on \(\ell_\infty^n\), it gives asymptotics of order \((1+\log m)^n\) for degree-truncated spaces [2208.06467].

For homogeneous polynomials on Hilbert space, Ryll–Wojtaszczyk’s formula gives
\[
\boldsymbol{\lambda}(\mathcal P_m(\ell_2^n))
=
\frac{\Gamma(n+m)\,\Gamma(1+\frac m2)}{\Gamma(1+m)\,\Gamma(n+\frac m2)},
\]
and more general \(\mathcal U_n\)-invariant index sets admit disk-integral formulas involving explicit coefficient sequences. The same general framework relates degree-\(m\) polynomial projection constants to powers of \(\boldsymbol{\lambda}(X_n^*)\), up to polarization and annihilating-projection factors [2208.06467].

For the trace class \(\mathcal S_1(n)\), the absolute projection constant is exactly
\[
\boldsymbol{\lambda}(\mathcal S_1(n))
=
n\int_{\mathcal U_n} |\operatorname{tr}(U)|\,dU,
\]
where \(dU\) is Haar probability measure on the unitary group. Moreover,
\[
\lim_{n\to\infty}\frac{\boldsymbol{\lambda}(\mathcal S_1(n))}{n}
=
\frac{\sqrt{\pi}}{2}.
\]
This formula is obtained by embedding \(\mathcal S_1(n)\) into \(C(\mathcal U_n)\), identifying the unique minimal projection via Rudin averaging, and then evaluating the \(L^1\)-norm of the kernel \(n\,\operatorname{tr}(U)\) [2302.00218].

These examples show that projection constants are not confined to abstract existence theory. In many structured settings they become exact integrals, explicit Gamma-function ratios, or asymptotic laws.

## 6. New connections, variants, and terminological distinctions

A recent development links projection constants directly to universal graph eigenvalue bounds. If \(G\) is a graph of order \(n\) and \(\lambda_k(G)\) is its \(k\)-th largest adjacency eigenvalue, then for every \(k\ge 2\),
\[
\lambda_k(G)\le \frac{\lambda_{\mathbb R(k-1)}}{2(k-1)}\,n-1.
\]
The proof passes through Ky Fan’s minimum principle, a weighted inequality for the sum of the smallest eigenvalues of symmetric matrices with off-diagonal entries in \([0,1]\), and Weyl’s inequality applied to the complement graph. In dimensions where \(\lambda_{\mathbb R(r)}\) is known, this gives explicit coefficients:
\[
\lambda_3(G)\le \frac n3-1,\qquad
\lambda_4(G)\le \frac{1+\sqrt5}{12}\,n-1,
\]
and
\[
\lambda_5(G)\le \frac{2+3\sqrt6}{40}\,n-1
\]
from the currently best upper bound on \(\lambda_{\mathbb R(4)}\). The \(k=4\) bound is sharp by Linz’s closed blowups of the icosahedral graph [2603.29280].

The term also appears in decomposition theory in a related but not identical sense. For a Schauder basis or a finite-dimensional decomposition \((E_n)\), one studies the supremum of norms of canonical coordinate or interval projections. The strong bimonotonicity projection constant is
\[
\mathcal D((E_n))=\sup_{m\le n}\max\{\|P_{[m,n]}\|,\|I-P_{[m,n]}\|\},
\]
and the 2020 embedding theorem shows that if \(X\) has separable dual, then for every \(\varepsilon>0\) it embeds isometrically into a space with a shrinking \((1+\varepsilon)\)-monotone basis. If \(X\) originally has an FDD with \(\mathcal D((E_n))\le D\), the new basis has strong bimonotonicity projection constant at most \(D(1+\varepsilon)\); analogous preservation holds for unconditional constants [2012.10849]. This usage retains the core theme of controlling canonical projection norms, but the object is now a decomposition rather than a single complemented subspace.

A further terminological distinction is necessary outside Banach space theory. In the Archimedean projection property for hypersurfaces \(H\subset \mathbb R^n\), the “projection constant” is a geometric measure-scaling factor \(C\) defined by
\[
\operatorname{Vol}_{n-1}((\pi|_H)^{-1}(U))=C\,\operatorname{Vol}_{n-k}(U).
\]
For the smooth compact Archimedean spherical arrays constructed in that setting,
\[
C=\operatorname{Vol}_{k-1}(S^{k-1}(R)).
\]
This is a measure-theoretic constant attached to an orthogonal projection of a hypersurface, not the operator norm of a bounded linear projection between Banach spaces [1504.02941].

Taken together, these developments show that projection constants now sit at the intersection of several mature theories. In Banach space geometry they govern complementability and extremal norm structure; in computational work they admit LP, SDP, and combinatorial spectral formulations; in modern applications they control adjacency eigenvalues, Lipschitz extension constants, and canonical decomposition estimates. The common thread is the same extremal question: how large must a projection be when one asks it to preserve a prescribed structure exactly.

Source: https://www.emergentmind.com/topics/projection-constant