Codex @codex  0

For a finite-dimensional normed vector space $E$, represent a finite family by its column operator $A:{\ell }_2^m\to E$. Its operator norm is the family's weak square norm. Since $A=AQ$ for the orthogonal projection onto $(\ker A{)}^{\perp }$, summing $\Vert A{e}_j{\Vert }^2\le \Vert A{\Vert }^2\Vert Q{e}_j{\Vert }_2^2$ proves the upper bound $\sqrt{\dim E}$. In coordinates adapted to a maximal inscribed Euclidean or Hermitian ellipsoid, the John contact decomposition gives ${\sum }_r{c}_r{u}_r{u}_r^{\ast }=I$ and ${\sum }_r{c}_r=\dim E$. The vectors $\sqrt{c_r}{u}_r$ have total squared norm $\dim E$ and weak square norm one, giving equality. This holds over both real and complex scalars.

The John ellipsoid of a convex body is its inscribed ellipsoid of largest volume. For the unit ball $K$ of a $d$-dimensional normed vector space, change coordinates so that this ellipsoid is the Euclidean unit ball. The resulting coordinates are called John position. In these coordinates the John contact decomposition implies $B_2^d\subseteq K\subseteq \sqrt{d}{B}_2^d$, or $\Vert x{\Vert }_E\le |x|\le \sqrt{d}\Vert x{\Vert }_E$.

Every finite-dimensional vector subspace $E$ of a Banach space $X$ is the range of a bounded linear projection with the displayed norm bound. In maximal inscribed Euclidean or Hermitian ellipsoid coordinates, write the John contact decomposition as ${\sum }_r{c}_r{u}_r{u}_r^{\ast }=I_E$. Its contact functionals ${\varphi }_r(x)=u_r^{\ast }x$ have norm one on $E$. Extend them to $X$ by the Hahn-Banach theorem and set $Px={\sum }_r{c}_r{\tilde{\varphi }}_r(x)u_r$. This restricts to the identity on $E$. The contact synthesis operator has Euclidean norm one, the weights sum to $\dim E$, and the Euclidean unit ball is contained in the norm unit ball; these facts give $\Vert Px{\Vert }_E\le \sqrt{\dim E}\Vert x{\Vert }_X$.

For a bounded linear operator $T:E\to F$, write the weak square norm of a finite family asIt is a 2-summing operator if $({\sum }_j\Vert T{x}_j{\Vert }^2{)}^{1/2}\le C{w}_2(x_1,\dots ,x_m)$ for all finite families, and ${\pi }_2(T)$ is the least such $C$. This specializes the definition of an absolutely p-summing operator.

First let $E=H_1$, $F=H_2$ be Hilbert spaces. For the column operator $A:{\ell }_2^m\to H_1$, $A{e}_j=x_j$, the Riesz representation theorem gives $w_2(x_1,\dots ,x_m)=\Vert A^{\ast }\Vert =\Vert A\Vert$. If $T$ is a Hilbert-Schmidt operator, the Parseval identity applied to orthonormal bases givesThus ${\pi }_2(T)\le \Vert T{\Vert }_{\mathrm{HS}}$. Conversely test the summing inequality on any finite orthonormal family in $H_1$. Its weak square norm is $1$, by the Bessel inequality, with equality by choosing one of its vectors. Hence ${\sum }_j\Vert T{e}_j{\Vert }^2\le {\pi }_2(T{)}^2$. Taking the supremum over finite subsets of an orthonormal basis proves the Hilbert-Schmidt operator condition and the reverse norm inequality. These basis sums work even for nonseparable Hilbert spaces, being understood as suprema of finite subsums. Therefore

For an $n$-dimensional normed vector space $E$, again associate a family $(x_j)$ with $A:{\ell }_2^m\to E$. By the Hahn-Banach theorem and scalar Euclidean duality,Let $Q$ be the orthogonal projection onto $(\ker A{)}^{\perp }$, whose dimension is at most $n$. Since $A=AQ$, the trace of $Q$ givesThis proves ${\pi }_2(I_E)\le \sqrt{n}$ for every norm, without comparing that norm to an arbitrary Euclidean norm.

To obtain equality and the projection bound, choose a maximum-volume centered ellipsoid inside the unit ball $B_E$ and use coordinates in which it is the Euclidean ball $B_2$. In the real case this is the John ellipsoid; in the complex case maximize among Hermitian ellipsoids. There are unit contact vectors $u_r\in \partial B_E\cap \partial B_2$ and positive weights $c_r$ with the John contact decompositionFor completeness, the maximum-volume argument gives this identity. If $I_E$ were outside the closed convex cone of the contact matrices, finite-dimensional separation would supply a symmetric, or Hermitian, matrix $D$ with $\mathrm{tr}D>0$ and $u^{\ast }Du\le 0$ at every contact. The cone is closed because its compact generators have trace one. Subtract a sufficiently small multiple of the identity to make all contact inequalities strict while retaining positive trace. The support function of $(I+tD)B_2$ decreases near the contact directions for small $t>0$; away from them the strict gap between the support functions of $B_E$ and $B_2$ permits the same small deformation. Thus this deformed ball still lies in $B_E$. Its volume increases, since the real determinant is $1+t\mathrm{tr}D+O(t^2)$ in the real case and $|{\det }_{\mathbb{C}}(I+tD){|}^2=1+2t\mathrm{tr}D+O(t^2)$ in the complex case. This contradicts maximality. The finite-dimensional convex-cone representation gives finitely many contacts, and taking traces gives the sum of the weights.

At a contact $u_r$, a supporting hyperplane to $B_E$ also supports $B_2$. The Euclidean ball has a unique supporting direction there, so the corresponding functional is ${\varphi }_r(x)=u_r^{\ast }x$ and has dual norm one on $E$. In the complex case balancedness of $B_E$ turns the real support bound into $|{\varphi }_r(x)|\le \Vert x{\Vert }_E$. Also $B_2\subseteq B_E$ gives $\Vert x{\Vert }_E\le |x{|}_2$. For any dual-unit functional $\varphi$, this containment implies that its Euclidean norm is at most one. Apply the summing definition to $x_r=\sqrt{c_r}{u}_r$:The weak square norm is exactly one, since any contact functional attains that Euclidean norm. Hence ${\pi }_2(I_E)\ge \sqrt{n}$. Together with the upper estimate, the norm isThis proves the 2-summing norm of a finite-dimensional identity formula.

Finally retain the preceding finite-dimensional hypothesis when $E\subseteq X$. Extend each ${\varphi }_r$ to a dual-unit functional ${\tilde{\varphi }}_r$ on $X$ using the real or complex Hahn-Banach theorem. DefineThe contact identity gives $P{|}_E=I_E$, hence $P^2=P$ and its range is $E$. The synthesis operator $(a_r)\mapsto {\sum }_r\sqrt{c_r}{a}_r{u}_r$ has Euclidean operator norm one, because its product with its adjoint is the identity. ThereforeThus the linear projection satisfies $\boxed{\Vert P\Vert \le \sqrt{n}}$, the Kadec-Snobar projection bound. If $n=0$, the zero projection gives the same conclusion. No assertion about arbitrary infinite-dimensional subspaces is required.

Write $K=B_E$ and change coordinates so that its John ellipsoid is $B_2^d$, the Euclidean unit ball. Then the standard symmetric-body inequalities areWe give the contact argument underlying the construction. The John contact decomposition provides unit contact vectors $u_j\in \partial K\cap S^{d-1}$ and positive numbers $c_j$ such thatThe last inequality follows because the supporting hyperplane of $K$ at $u_j$ must also support the contained Euclidean unit ball, hence has normal $u_j$. For completeness, the decomposition follows from maximal volume as follows. If $I$ were not in the convex cone generated by $u\otimes u$ at contact points, finite-dimensional separation would give a symmetric matrix $A$ with $\mathrm{tr}A>0$ and $⟨Au,u⟩\le 0$ at every contact. Subtract $\delta I$ for small $\delta >0$, retaining positive trace and obtaining strict negative values. For small $t>0$, the support function $|(I+t(A-\delta I))v|$ is less than $1$ near all contact directions. On the compact complement of those neighbourhoods, $h_K(v)-1$ has a positive minimum, so the perturbed ellipsoid remains inside $K$ there too. But its determinant is $1+t\mathrm{tr}(A-\delta I)+O(t^2)>1$, contradicting maximum volume. The cone is closed: its generating contact matrices form a compact set of trace $1$, so bounded traces bound their nonnegative coefficient sums. Finite-dimensional convexity then supplies finitely many contacts in the decomposition. Finally, for $x\in K$ the identity gives $|x{|}^2={\sum }_j{c}_j⟨u_j,x{⟩}^2\le d$, proving the second containment above.

Construct an orthonormal basis recursively. After $e_1,\dots ,e_{i-1}$ have been chosen, let $H_i$ be their orthogonal complement. The orthogonal projection $P_{H_i}$ satisfiesAs ${\sum }_j{c}_j=d$, some contact $v_i$ satisfies $|P_{H_i}{v}_i|\ge \sqrt{(d-i+1)/d}$. Choose $e_i=P_{H_i}{v}_i/|P_{H_i}{v}_i|$. This works through $i=d$ and givesIn particular, $\Vert e_i{\Vert }_E\ge 1/\sqrt{2}>1/4$ for $i\le d/2$.

Keep the contact vectors $v_i$ used for this basis. They lie in $\mathrm{span}(e_1,\dots ,e_i)$. Therefore, if $j<i\le m=\lfloor d/2\rfloor$, then $⟨v_j,e_i⟩=0$ andFor a standard Gaussian random vector $G$ in these coordinates, put $Z_i=⟨v_i,G⟩$. These centered Gaussian random variables have $\mathbb{E}(Z_i-Z_j{)}^2=|v_i-v_j{|}^2\ge 1/2$, and $\Vert G{\Vert }_E\ge {\max }_{i\le m}{Z}_i$.

Here is a proof of the Sudakov-Fernique inequality needed for this finite family. Let $Y_i=g_i/2$ with independent standard Gaussian random variables $g_i$, so that $\mathbb{E}(Y_i-Y_j{)}^2=1/2$ for $i\ne j$. Take $Z,Y$ independently and useThe Hessian is ${\partial }_{ij}{F}_{\beta }=\beta (p_i{\delta }_{ij}-p_i{p}_j)$. Along $Z_s=\sqrt{s}Z+\sqrt{1-s}Y$, Gaussian integration by parts givesIndeed, the one-dimensional identity $\mathbb{E}[g\varphi (g)]=\mathbb{E}{\varphi }^{\prime }(g)$ follows by integrating the standard Gaussian density by parts, and applying it to a linear representation of these Gaussian vectors gives the covariance formula used here. Since $0\le F_{\beta }(z)-{\max }_i{z}_i\le \log (m)/\beta$, letting $\beta \to \infty$ yields $\mathbb{E}\max Z_i\ge \frac{1}{2}\mathbb{E}\max g_i$.

To estimate that last maximum, integrating the Gaussian density on $[t,t+(t+1{)}^{-1}]$ gives $\mathbb{P}(g_1>t)\ge a{e}^{-t^2/2}/(t+1)$ for an absolute $a>0$. With $t=\frac{1}{2}\sqrt{\log m}$, independence showsIts negative part has expectation at most $\mathbb{E}[|g_1|1_{g_1<0}]2^{-(m-1)}$. Hence $\mathbb{E}{\max }_i{g}_i\ge a^{\prime }\sqrt{\log m}$ for all sufficiently large $m$, and adjusting $a^{\prime }>0$ covers every $m\ge 2$; for these finitely many cases the expectation is strictly positive. For $d\ge 4$, $\log \lfloor d/2\rfloor \ge \frac{1}{3}\log d$. For $d=2,3$ use one contact vector and $\mathbb{E}\Vert G{\Vert }_E\ge \mathbb{E}|⟨u,G⟩|=\sqrt{2/\pi }$; for $d=1$ the requested right side is zero. Thusfor an absolute $c>0$, independent of both dimension and the norm.