arXiv Science⌕ Search

arXiv · 2610.02692

Hilbert-Schmidt Norms of Self-Commutator and Cross-Commutator on $N_η$-type Quotient Modules in Polydisc

Abstract

Let $η_{1},\cdots,η_{d}$ be nonconstant one-variable inner functions satisfying $η_{i}(0)=0$ for all $1\leq i\leq d$. Denote by $M_η$ the submodule of the Hardy space $H^{2}(\mathbb{D}^{d})$ generated by the function family $\{η_{i}(z_{i})-η_{i+1}(z_{i+1})\mid 1\leq i\leq d-1\}$. For the corresponding quotient module $N_η=H^{2}(\mathbb{D}^{d})\ominus M_η$, we define the compressed multiplication operators $S_{z_{i}}=P_{N_η}M_{z_{i}}\vert_{N_η}$, where $P_{N_η}$ is the orthogonal projection from $H^{2}(\mathbb{D}^{d})$ onto $N_η$. In this paper, we characterize the Hilbert-Schmidt property of the self-commutators $[S_{z_{i}}^{\ast},S_{z_{i}}]$ and cross-commutators $[S_{z_{i}}^{\ast},S_{z_{j}}]$ with $i\neq j$. Moreover, explicit formulas for their Hilbert-Schmidt norms are established whenever these commutators are Hilbert-Schmidt.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anjian Xu, Yuchao Xiang. 2026-10-02. Hilbert-Schmidt Norms of Self-Commutator and Cross-Commutator on $N_η$-type Quotient Modules in Polydisc. https://arxiv.org/abs/2610.02692

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A reverse Riesz estimate combined with a spectral gap implies a Poincaré inequality

Working at the level of a sectorial operator $A$ on a Banach space $X$ and an unbounded operator $\partial$ defined on a subspace of $X$ in another Banach space $Y$, we show that a single reverse Riesz estimate $\|A^αx\|_X \lesssim \|\partial x\|_Y$ for some $0 < α< 1$, combined with the condition $0 \in ρ(A_0)$, where $A_0$ is the part of $A$ on the closure of the range of $A$, implies the Poincaré inequality $\|x - P(x)\|_X \lesssim \|\partial x\|_Y$, where $P$ is the Abel-ergodic projection onto the kernel of $A$. The condition $0 \in ρ(A_0)$ is the natural abstract substitute for a spectral gap, and is sharp already in the Hilbertian case. We also obtain a companion divergence inequality. The arguments are remarkably short, yet the principle is genuinely unifying: it covers commutative and noncommutative situations on the same footing and can be used with arbitrary Banach spaces. As a consequence, we recover Poincaré inequalities associated with hypercontractive semigroups and extend their validity to semigroups satisfying only a reduced spectral gap and a reverse Riesz estimate. We then illustrate the flexibility of the method across a wide spectrum of geometries, ranging from Riemannian manifolds, Lie groups, metric measure spaces, spin manifolds to genuinely noncommutative settings such as group von Neumann algebras, semigroups of Schur multipliers, $q$-Ornstein-Uhlenbeck semigroups and quantum tori, where we sometimes establish new inequalities and otherwise recover classical ones from a single principle.

math.FA↗

Linear maps preserving families of C-symmetric operators

Let $\cH$ be a separable complex Hilbert space with $\dim\cH\ge3$. We characterize the bounded bijective complex-linear maps $T$ on $\BH$ for which there exists a bijection $ψ$ of the set of conjugations,preserving commutativity in both directions, such that $T$ maps the space of $C$-symmetric operators onto the space of $ψ(C)$-symmetric operators for every conjugation $C$. We show that this condition is equivalent to the existence of a bijection $φ$ of the set of all orthonormal bases such that $T$ maps the set of all $(e_n)$-diagonal operators onto the set of all $φ((e_n))$-diagonal operators. We also characterize the corresponding preservers in dimension two using Pauli coordinates, without assuming the commutativity condition on $ψ$.

math.FA↗

Sharp embeddings between quasi-Banach Besov spaces and shallow ReLU variation spaces

Let $\mathbb{D}$ be the ridge dictionary generated by $\operatorname{ReLU}^k$ on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. We establish sharp embeddings between Besov spaces and the associated variation space $\mathcal L_1(\mathbb{D})$ in the quasi-Banach range $0 k+d/p$ for $1<q\le\infty$. A rescaled-bump construction shows that this smoothness threshold is sharp. Conversely, for $0<p<1$, \[ \mathcal L_1(\mathbb{D})\hookrightarrow B^{k+1}_{p,2}(Ω), \] and both the smoothness $k+1$ and the fine index $2$ are optimal. The forward embedding converts Besov regularity of functions and solutions of partial differential equations into quantitative finite-width approximation bounds and greedy-algorithm convergence guarantees for shallow $\operatorname{ReLU}^k$ networks. The proofs use Littlewood-Paley localization, Fourier-Radon representations, measure-valued derivatives, and vector-valued singular integrals.

math.FA↗