Pith. sign in

REVIEW 6 minor 9 references

A characterization of compact operators on $\ell^p$-spaces

T0 review · 0 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Compact operators from ℓ^q are exactly the diagonal maps whose coefficient sequences have a totally bounded dual shadow.

desk verdict Correct and clean, but mostly a repackaging of Schauder plus standard facts; the numerical-range criterion for Hilbert-space operator tuples is the one genuinely new piece. read the letter →

arxiv 2506.06726 v1 pith:GZASQYLK submitted 2025-06-07 math.FA

Mortaza Abtahi This is my paper
classification math.FA MSC 46B4547B3747A1247A30
keywords compactoperatorsℓ^pspacesdiagonalweak*continuityjointnumericalrangeradiustotalboundedness
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes a concrete criterion for compactness of bounded linear operators from the sequence space $\ell^q$ (or from $c_0$) into an arbitrary Banach space $A$. Such an operator is compact exactly when it is a diagonal map $\Lambda_a(\beta) = \sum \beta_i a_i$ and the set of dual evaluations $\{\varphi(a) : \varphi \in A^*, \|\varphi\| \le 1\}$ is totally bounded in $\ell^p$, with $1/p + 1/q = 1$. The same principle is then specialized to operators with values in $B(H)$, where compactness is shown to be equivalent to total boundedness of the joint numerical range $\{\langle Tx,x\rangle : \|x\| = 1\}$ in $\ell^p$. Because compact operators are the tractable ones for spectral and approximation questions, the criterion turns an abstract compactness check into a tail estimate on a sequence in the target space. The endpoint cases $p = 1$ and $p = \infty$ are covered by separate arguments.

What carries the argument

The object that carries the argument is the dual shadow map $\Gamma_a: A^* \to \ell^p$ defined by $\Gamma_a(\varphi) = (\varphi(a_i))$. This map is the adjoint of the diagonal operator $\Lambda_a$, because $\beta(\Gamma_a \varphi) = \varphi(\Lambda_a \beta)$ for $\beta \in \ell^q$. By the classical theorem that compactness is preserved under taking adjoints, $\Lambda_a$ is compact precisely when $\Gamma_a(A^*_1)$ is totally bounded in $\ell^p$, which is exactly the condition $a \in \ell^p_c(A)$. For the Hilbert-space version, the joint numerical range $W(T)$ is a subset of that dual shadow, and a polarization identity together with a weak*-continuity argument shows that total boundedness of $W(T)$ forces $T$ to be compact.

What would settle it

A direct way to test the endpoint case is to set $A = \ell^\infty$ and take any sequence $a = (a_i)$ whose set of entries is totally bounded in $A$; the theorem predicts the induced operator $\Lambda_a(\beta) = \sum \beta_i a_i$ on $\ell^1$ is compact. Finding a totally bounded sequence of that kind whose induced operator is not compact would refute the characterization, so a search over such sequences is a concrete falsification test.

Watch

Extended reading notes

Core claim

The central theorem states that for $1 < p \le \infty$ and $1/p + 1/q = 1$, a bounded operator $\Lambda: \ell^q \to A$ is compact if and only if $\Lambda = \Lambda_a$ for some sequence $a = (a_i)$ in $A$ whose 'dual shadow' $\{\varphi(a) : \varphi \in A^*_1\}$ is totally bounded in $\ell^p$, where $\varphi(a) = (\varphi(a_1), \varphi(a_2), \ldots)$. Here $\Lambda_a(\beta) = \sum_{i=1}^\infty \beta_i a_i$. For $p = 1$ the same equivalence holds for operators on $c_0$. When $A = B(H)$, the theorem takes the form that $T: \ell^q \to B(H)$ is compact if and only if its joint numerical range $W(T) = \{\langle Tx,x\rangle : \|x\| = 1\}$ is totally bounded in $\ell^p$, and then the joint numerical radius obeys $\frac{1}{2}\|T\| \le \omega(T) \le \|T\|$.

Load-bearing premise

The load-bearing premise is that the characterization remains valid at the two endpoint cases $p = 1$ and $p = \infty$, where the proof uses separate arguments instead of the standard tail criterion that applies for $1 < p < \infty$.

Editorial extensions

If this is right

  • For $1 \le p < \infty$, compactness of $\Lambda_a$ is equivalent to a uniform tail estimate: for every $\varepsilon > 0$ there is an index $m$ such that $(\sum_{i>m} |\varphi(a_i)|^p)^{1/p} < \varepsilon$ for all $\varphi$ in the unit ball of $A^*$.
  • When $A = C(\Omega)$, compactness of $\Lambda_F$ is equivalent to continuity of the vector-valued map $F: \Omega \to \ell^p$ and to total boundedness of its image $F(\Omega)$.
  • When $A = B(H)$, compactness of $T: \ell^q \to B(H)$ is equivalent to total boundedness of the joint numerical range $W(T)$ in $\ell^p$, and the joint numerical radius satisfies $\frac{1}{2}\|T\| \le \omega(T) \le \|T\|$.
  • The normed spaces $\ell^p_b(A)$ and $\ell^p_c(A)$ give an isometric model for bounded and compact operators respectively, so $K(\ell^q, A)$ is a closed subspace isometrically isomorphic to $\ell^p_c(A)$.
  • At the endpoint $p = \infty$, the criterion says $\Lambda: \ell^1 \to A$ is compact exactly when the set $\{a_i\}$ is totally bounded in $A$, a purely geometric condition on the target space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The tail-estimate form suggests a computational test for non-compactness: approximate the supremum over the unit ball of $A^*$ by a finite net of functionals and see whether the tail norm fails to decay; failure of decay would certify non-compactness in concrete examples.
  • The Hilbert-space theorem can be read as a compactness criterion for infinite tuples of observables: an infinite sequence of bounded operators is jointly compact exactly when its joint numerical range sits as a totally bounded subset of $\ell^p$, a notion that may be useful in infinite-dimensional quantum measurement settings.
  • The same dual-shadow construction could plausibly be extended to operators from $\ell^q$ into non-commutative $L^p$ spaces or operator spaces, replacing the dual unit ball with the appropriate operator-space dual; the paper does not take up that direction.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. This paper characterizes compact operators from ℓ^q (1/p+1/q=1, 1≤p≤∞) into an arbitrary Banach space A as diagonal maps Λ_a(β)=Σ β_i a_i induced by sequences a∈ℓ^p_c(A), i.e., those for which the set {φ(a):φ∈A*_1} is totally bounded in ℓ^p. The main theorem (Theorem 3.6) covers 1<p≤∞, and Theorem 3.7 covers the p=1 case with domain c0. The authors also establish a Banach-space isomorphism between ℓ^p_b(A) and B(ℓ^q,A) (Theorem 3.8), and apply the characterization to C(Ω)-valued operators, showing that compactness is equivalent to continuity of the associated function F:Ω→ℓ^p (Theorems 4.2 and 4.3). For B(H)-valued operators, Theorem 5.1 shows that, for 1<p<∞, compactness of the induced operator T:ℓ^q→B(H) is equivalent to total boundedness in ℓ^p of the joint numerical range {⟨Tx,x⟩:∥x∥=1}, with the norm inequality 1/2∥T∥≤ω(T)≤∥T∥. The proofs rely on the Schauder adjoint theorem, Kolmogorov's compactness criterion, and a wcbs (weak*-continuous-on-bounded-sets) framework developed in Section 2.

Significance. The main characterization is clean and useful: for 1<p≤∞, compactness of an operator from ℓ^q to A is exactly the total boundedness in ℓ^p of the dual shadow of the generating sequence. The paper is essentially self-contained, with elementary proofs and explicit constants, and the Hilbert-space numerical-range criterion (Theorem 5.1) is a nice addition that is not obvious a priori. The theorems are stated with precise quantitative inequalities and involve no free parameters. The overall argument is sound; the only defects found are local typos and presentation issues, none of which affect the central compactness characterization.

minor comments (6)
  1. [Theorem 3.7] The norm identity in Theorem 3.7 is misstated: for a∈ℓ^1_b(A) the operator norm of Λ_a:c0→A is |||a|||_1, not ∥a∥_1 (the latter is the ℓ^1(A)-norm, which is generally different). In the proof, 'It is easy to verify that ∥Λ_a∥=|||a|||_∞' should read '∥Λ_a∥=|||a|||_1'. This typo does not affect the compactness characterization, but it should be corrected.
  2. [Example 3.3] The assertion that a=(e_1,e_2,...) belongs to ℓ^p_b(A) for every p∈[1,∞) is false for p>2. For instance, with A=ℓ^2, the functional φ=β with β_i=1/√i has ∥β∥_2≤1 but ∥φ(a)∥_p=∥β∥_p=∞ for p>2. The example should be restricted to 1≤p≤2.
  3. [Abstract] The abstract contains a typesetting error: '⟨T_1 x, x\rangel' should read '⟨T_1 x, x\rangle'. Also, the running title 'onℓ p-spaces' lacks spaces.
  4. [Introduction (page 2)] In the Introduction, 'Housdorff' should be 'Hausdorff'.
  5. [Theorem 5.1 proof] In the proof of (4)⇒(1), the conclusion 'We conclude that T is wcbs' should be followed by an explicit invocation of Corollary 2.9: since 1<p<∞, ℓ^p is reflexive, so W(ℓ^q,B(H))=K(ℓ^q,B(H)), hence T is compact. As written, the final step is implicit.
  6. [Theorem 5.2] The statement 'An operator T:ℓ^q→A is compact if and only if the joint numerical range W(T) is a totally bounded subset of ℓ^p' is ambiguous: W(T) is defined for a sequence T=(T_i) in B(H), not for an operator T:ℓ^q→A. Recommend stating the theorem for a sequence T=(T_i) in ℓ^p_b(B(H)) and its induced operator.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the compactness characterization is derived from Schauder's theorem and the standard representation of operators on ℓ^q, with no fitted or self-referential step.

full rationale

The central equivalence (Theorem 3.6) is not circular. The class ℓ^p_c(A) is defined independently in Definition 3.4 as the sequences whose dual shadow {φ(a): φ∈A*_1} is totally bounded in ℓ^p. Theorem 3.5, proved in the text, represents every bounded Λ:ℓ^q→A as Λ_a with a∈ℓ^p_b(A). Theorem 3.6 then constructs Γ_a(φ)=φ(a), observes that Γ_a=Λ_a^*, and applies Schauder's theorem ([7, Theorem 4.19]) to reduce compactness of Λ_a to compactness of Γ_a, i.e., to total boundedness of Γ_a(A*_1) = {φ(a): φ∈A*_1}. This is a genuine use of an external classical theorem on an explicitly constructed adjoint, not a definitional rewriting of compactness. The Hilbert-space theorem (Theorem 5.1) is likewise non-circular: total boundedness of the joint numerical range is not assumed equivalent to compactness; it is proved to imply that T is wcbs via an epsilon/compactness argument, and reflexivity of ℓ^p (Corollary 2.9) upgrades wcbs to compactness. The endpoint cases p=1 and p=∞ are handled by the same Schauder argument with c0 or ℓ^1 domains. The only self-citation is Lemma 2.2, taken from the author's prior paper [1, Lemma 2.5]; it is an elementary standard fact about bounded nets converging uniformly on totally bounded sets and does not encode the target compactness characterization. Consequently there is no fitted input called a prediction, no ansatz smuggled in by citation, and no uniqueness theorem imported from the authors; the paper is self-contained against standard external results.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

The central claim rests on classical theorems (Kolmogorov, Banach-Alaoglu, Banach-Dieudonné, Schauder, duality, Hahn-Banach, Arzelà-Ascoli) and standard numerical-radius inequalities. No ad hoc axioms or free parameters are introduced; the paper's notational apparatus (ℓ^p_c(A), wcbs, Γ_a) is definitional.

assumptions (9)
  • standard math Kolmogorov compactness theorem for ℓ^p (Theorem 1.1, cited from [4]): a set K⊂ℓ^p is totally bounded iff it is pointwise bounded and tails are uniformly small.
    Used to test total boundedness in ℓ^p in Propositions 3.1, 3.9 and Lemma 4.1.
  • standard math Banach-Alaoglu theorem: the closed unit ball of the dual space E*_1 is weak* compact.
    Used in Theorem 2.5 and in Section 5 to cover A*_1 by finitely many weak* neighborhoods.
  • standard math Banach-Dieudonné theorem (Lemma 2.1, cited from [5]): a wcbs linear functional on E* is weak* continuous on all of E*, hence an evaluation.
    Basis for the dual mapping argument in Section 2.
  • standard math Schauder theorem (Rudin [7, Theorems 4.10 and 4.19]): T is compact iff T* is compact, with ||T||=||T*||.
    Load-bearing in Theorems 3.6, 3.7, and 5.1, connecting compactness of Λ to compactness of Γ_a=Λ*.
  • standard math Isometric duality (ℓ^p)*=ℓ^q and reflexivity of ℓ^p for 1<p<∞; (c0)*=ℓ^1.
    Used throughout to pass between β∈ℓ^q and functionals on ℓ^p, and to identify E** with E for reflexivity.
  • standard math Hahn-Banach norm formula: ||a||=sup_{φ∈A*_1}|φ(a)|.
    Used in norm estimates for Λ_a and in the definition of |||·|||_p.
  • standard math Jordan decomposition and convex-hull integral representation for complex Radon measures (Rudin [7, Theorems 3.20, 3.27]).
    Used in Lemma 4.1 to show µ(F) lies in a scaled convex hull of F(Ω).
  • standard math Arzelà-Ascoli theorem.
    Used in Theorem 4.3 to conclude total boundedness of {f_i} in C(Ω) implies equicontinuity and continuity of F.
  • standard math Numerical radius inequality 1/2||T|| ≤ w(T) ≤ ||T||.
    Used in Theorem 5.2 to bound ω(T) by ||T||.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A characterization of compact operators on $\ell^p$-spaces." pith.science (2026). https://pith.science/paper/GZASQYLK

@misc{pith2026250606726,
  author       = {Pith},
  title        = {Pith review of: A characterization of compact operators on $\ell^p$-spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GZASQYLK}},
  note         = {Machine review of arXiv:2506.06726}
}
abstract

Let $A$ be a Banach space, $p>1$, and $1/p+1/q=1$. If a sequence $a=(a_i)$ in $A$ has a finite $p$-sum, then the operator $\Lambda_a:\ell^q\to A$, defined by $\Lambda_a(\beta)=\sum_{i=1}^\infty \beta_i a_i, \beta=(\beta_i)\in \ell^q$, is compact. We present a characterization of compact operators $\Lambda:\ell^q\to A$, and prove that $\Lambda$ is compact if and only if $\Lambda=\Lambda_a$, for some sequence $a=(a_i)$ in $A$ with $\{(\phi(a_i)): \phi\in A^*, \|\phi\|\leq 1\}$ being a totally bounded set in $\ell^p$. For a sequence $(T_i)$ of bounded operators on a Hilbert space $H$, the corresponding operator $T:\ell^q\to B(H)$, defined by $T(\beta) = \sum_{i=1}^\infty \beta_i T_i$, is compact if and only if the set $\{\langle T x,x\rangle:\|x\|=1\}$ is a totally bounded subset of $\ell^p$, where $\langle T x,x\rangle = (\langle T_1 x,x\rangle, \langle T_2 x,x\rangel, \dotsc)$, for $x\in H$. Similar results are established for $p=1$ and $p=\infty$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Abtahi and S

    M. Abtahi and S. Farhangi,A characterization of polynomially convex sets in Banach spaces.Results Math.72(2017), 2013–2021

    work page 2017

  2. [2]

    Bottazzi and A

    T. Bottazzi and A. Varela,Best approximation by diagonal compact operators. Linear Algebra Appl.439(2013), 3044–3056

    work page 2013

  3. [3]

    Bhunia, S

    P. Bhunia, S. S. Dragomir, M. S. Moslehian, and K. Paul,Lectures on numerical radius inequalities.Infosys Science Foundation Series in Mathematical Sciences, Springer, Cham, 2022

    work page 2022

  4. [4]

    Hanche-Olsen and H

    H. Hanche-Olsen and H. Holden,The Kolmogorov-Riesz compactness theorem. Expo. Math.28(2010), 385–394

    work page 2010

  5. [5]

    Horv´ ath,Topological vector spaces and distributions.Vol

    J. Horv´ ath,Topological vector spaces and distributions.Vol. I. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1966

    work page 1966

  6. [6]

    A. Mal, D. Sain, and K. Paul,On some geometric properties of operator spaces. Banach J. Math. Anal.13(2019), 174–191

    work page 2019

  7. [7]

    Rudin,Functional analysis.2nd Edition, International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991

    W. Rudin,Functional analysis.2nd Edition, International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991

    work page 1991

  8. [8]

    Sain,On best approximations to compact operators.Proc

    D. Sain,On best approximations to compact operators.Proc. Amer. Math. Soc. 149(2021), 4273–4286. A Characterization of compact operators 17

    work page 2021

Show all 9 references
  1. [9]

    W´ ojcik,Orthogonality of compact operators.Expo

    P. W´ ojcik,Orthogonality of compact operators.Expo. Math.35(2017), 86–94. Mortaza Abtahi School of Mathematics and Computer Sciences Damghan University Damghan, P.O.BOX 36715-364 Iran e-mail:abtahi@du.ac.ir; mortaza.abtahi@gmail.com

    2017

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.