Multiplication Operators on the Lipschitz Space of an Infinite Graph

Abstract: The Lipschitz space of an infinite (locally-finite) graph is defined as the set of functions on the vertices of the graph such that the differences of the values between adjacent vertices remain bounded. In this paper we prove that this set is a Banach space when endowed with its natural norm, and we define the little Lipschitz space as the subspace where these differences tend to zero. We consider the multiplication operators on these spaces and characterize their boundedness, compactness and the spectra. We also obtain estimates of the norm and essential norm, and we characterize when these operators are isometric.

• The paper extends the study of Lipschitz spaces from infinite trees to general infinite, locally finite, connected graphs and shows the boundedness of multiplication operators.
• Results include defining Lipschitz and Little Lipschitz spaces, essential norm and spectrum estimates, essential-norm lower bounds, isometry classification.
• The study finds new structural features such as the nonseparability of $\)\mathcal{L}(G)\) and the separability of $\)\mathcal{L}_0(G)\).

Overview

This paper by Issa-Barbará and Martínez-Avendaño extends the operator-theoretic study of Lipschitz spaces from infinite trees to general infinite, locally finite, connected graphs (2602.13534). The setting is the classical program initiated by Cartier and developed for trees by Cohen, Colonna, and Easley; the central reference being Colonna–Easley's treatment of multiplication operators on the Lipschitz space of a tree. The graph setting introduces a genuine structural difficulty absent in trees: once a root $a$ is fixed, a vertex may have several neighbors at distance $d(a,v)-1$ (multiple "ancestors") as well as neighbors at equal or greater distance. The authors introduce definitions adapted to this situation and show that essentially all of the tree results carry over, with some proofs requiring nontrivial modification.

The paper establishes: the Banach space structure of the Lipschitz space $\mathcal{L}(G)$ and little Lipschitz space $\mathcal{L}_0(G)$; boundedness of multiplication operators via a quantity $\sigma_\psi$; spectra; compactness criteria; estimates on norm and essential norm; and a complete isometry classification. The paper is self-contained, with most proofs included, and the authors note that an independent unpublished preprint of Colonna and Locke (based on Locke's thesis) treats the same space with different proof techniques.

The Lipschitz space

For a connected undirected simple locally finite graph $G$ with countably infinite vertex set, $\mathcal{L}(G)$ consists of functions $f: G \to \mathbb{C}$ with

$$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$

A telescoping argument along shortest paths shows this coincides with the usual Lipschitz condition with respect to the graph metric. The norm $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$ depends on the chosen base vertex $d(a,v)-1$0, but all such norms are equivalent with sharp constants: if $d(a,v)-1$1, then

$d(a,v)-1$2

and both bounds are attained by distance functions $d(a,v)-1$3 and $d(a,v)-1$4. Completeness follows by a pointwise-limit argument, so $d(a,v)-1$5 is a Banach space, and the estimate $d(a,v)-1$6 shows point evaluations are bounded, making $d(a,v)-1$7 a functional Banach space. As in the tree case, functions need not be bounded ($d(a,v)-1$8 belongs to the space).

Two results go beyond Colonna–Easley. First, the paper proves $d(a,v)-1$9, where $\mathcal{L}(G)$0 is the norm of point evaluation at $\mathcal{L}(G)$1 restricted to $\mathcal{L}(G)$2 — a fact used repeatedly to convert suprema over test functions into metric quantities. Second, and notably, the Lipschitz space of any infinite locally finite graph is nonseparable: the set of $\mathcal{L}(G)$3-valued functions vanishing at $\mathcal{L}(G)$4 is uncountable and any two distinct members are at norm-distance at least 1. This separability contrast with the little space below is a structurally significant feature of the pair.

The little Lipschitz space

$\mathcal{L}(G)$5 comprises those $\mathcal{L}(G)$6 with

$\mathcal{L}(G)$7

where $\mathcal{L}(G)$8 is the neighborhood of $\mathcal{L}(G)$9. The definition is independent of the root. Functions in $\mathcal{L}_0(G)$0 still need not be bounded — the harmonic-sum example $\mathcal{L}_0(G)$1 is unbounded yet lies in $\mathcal{L}_0(G)$2 — but they satisfy $\mathcal{L}_0(G)$3. This growth estimate requires a genuinely different proof from its tree analogue, since one must select a single neighbor closer to the root among possibly many.

The key structural result is that $\mathcal{L}_0(G)$4 is the closure in $\mathcal{L}_0(G)$5 of the finitely supported functions; consequently it is a closed subspace and, since finitely supported functions are countable in number, a separable Banach space. The density proof uses an explicit radial cutoff (identity inside radius $\mathcal{L}_0(G)$6, linear taper to zero between $\mathcal{L}_0(G)$7 and $\mathcal{L}_0(G)$8), and the case analysis differs from both Colonna–Easley and Colonna–Locke, who instead approximate by characteristic functions of sectors. The evaluation-norm identity $\mathcal{L}_0(G)$9 also holds here, via explicit tent functions.

Convergence of sequences

Two tools are developed for later essential-norm work. A gliding-hump style criterion gives sufficient conditions for weak convergence to zero: if every subsequence admits unimodular scalars whose partial sums are uniformly bounded in norm, the sequence converges weakly to zero. Strong convergence to zero in $\sigma_\psi$0 is fully characterized: $\sigma_\psi$1 in norm if and only if $\sigma_\psi$2 pointwise and $\sigma_\psi$3 is asymptotically equidiminishing, meaning adjacent differences are uniformly small far from the root across the whole sequence. This characterization underpins the compactness analysis.

Boundedness and norm estimates

For $\sigma_\psi$4 define

$\sigma_\psi$5

Finiteness of $\sigma_\psi$6 implies $\sigma_\psi$7, but neither boundedness of $\sigma_\psi$8 nor finiteness of $\sigma_\psi$9 implies the other ($G$0 is in $G$1 with $G$2). The main theorem is a three-way equivalence:

• $G$3 is bounded on $G$4;
• $G$5 is bounded on $G$6;
• $G$7 and $G$8.

Boundedness on the two spaces therefore coincides, and the symbol must be bounded even though elements of the spaces themselves need not be. Moreover, the proof yields the quantitative bound $G$9, obtained by testing against the distance function and against the extremal functions realizing $\mathcal{L}(G)$0. Norm estimates read

$\mathcal{L}(G)$1

and both sides are sharp: constants attain the lower bound, and the characteristic function of the root attains the upper bound.

Spectrum

The spectral picture is exactly as in the tree case:

• Point spectrum: $\mathcal{L}(G)$2.
• Spectrum and approximate point spectrum: $\mathcal{L}(G)$3.

The resolvent argument goes through because if $\mathcal{L}(G)$4, the reciprocal $\mathcal{L}(G)$5 is bounded and satisfies $\mathcal{L}(G)$6, so $\mathcal{L}(G)$7 is again a bounded multiplication operator. Thus the spectrum is completely determined by the range of the symbol, independent of graph geometry beyond local finiteness.

Compactness

Compactness is likewise simultaneous on both spaces. The characterization is in terms of two independent decay conditions:

$\mathcal{L}(G)$8

The necessity direction tests against vertex characteristic functions and against explicit ramp functions peaking at prescribed vertices; sufficiency combines asymptotic equidiminishing with uniform convergence on finite balls. The authors exhibit symbols satisfying exactly one of the two conditions (e.g., $\mathcal{L}(G)$9 satisfies the first but not the second; a convergent sum of $f: G \to \mathbb{C}$0 terms satisfies the second but not the first), confirming their independence. Consequences include: finite-support symbols give compact operators, while nonzero constant symbols never do.

Essential norm

With

$f: G \to \mathbb{C}$1

the paper proves the two-sided estimate

$f: G \to \mathbb{C}$2

The lower bound uses weak convergence to zero of vertex characteristic functions (via the gliding-hump criterion) together with compactness of $f: G \to \mathbb{C}$3 forcing $f: G \to \mathbb{C}$4. The upper bound compresses $f: G \to \mathbb{C}$5 against finite-rank radial truncations $f: G \to \mathbb{C}$6; the constant 4 arises from the bound $f: G \to \mathbb{C}$7-type differences by $f: G \to \mathbb{C}$8, a consequence of the taper's Lipschitz behavior.

An honest limitation is recorded here: Colonna and Easley obtained a lower bound involving $f: G \to \mathbb{C}$9 in the tree case, but their argument does not transfer to graphs, and the authors explicitly leave open the problem of finding a lower bound depending on $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$0 in this setting. Consequently the gap between $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$1 and $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$2 is not known to be sharp in general.

Isometries

The isometry classification is definitive and negative in flavor: $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$3 is an isometry on $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$4 or $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$5 if and only if $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$6 is a constant of modulus one. The proof compares the action on the constant function 1 (norm 1) and on $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$7 (norm 1), forcing $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$8 and vanishing adjacent differences of $$\|f\|_{\mathcal{L}} := \sup_{v \sim w} |f(v) - f(w)| < \infty.$$9. No nontrivial isometric multiplication operators exist, in contrast to some other function spaces where weighted shifts-like phenomena occur.

Limitations and open questions

The paper concedes two specific gaps. First, the essential-norm lower bound does not incorporate $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$0, unlike the tree case, and finding such a bound remains open; relatedly, whether $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$1 equals one of the endpoint quantities is unresolved. Second, the equivalence-of-norms constants grow with $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$2, so quantitative results are root-dependent even though qualitative ones are not. The relationship with the parallel Colonna–Locke approach, which uses sector characteristic functions rather than radial cutoffs, is left for comparative study rather than resolved here.

Conclusion

The paper demonstrates that the multiplication-operator theory of Lipschitz spaces on trees extends to arbitrary infinite locally finite connected graphs once the little-Lipschitz condition is formulated via neighborhoods rather than ancestor chains. All boundedness, spectral, compactness, and isometry results carry over verbatim in statement, with new contributions including the nonseparability of $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$3 versus separability of $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$4, the sharp norm-equivalence constants, and the strong-convergence characterization via asymptotic equidiminishing. The principal unfinished item is a sharper essential-norm lower bound reflecting the oscillation quantity $\|f\|^a = |f(a)| + \|f\|_{\mathcal{L}}$5.