We gratefully acknowledge support from
the Simons Foundation and member institutions.

Functional Analysis

New submissions

[ total of 9 entries: 1-9 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 21 Jan 22

[1]  arXiv:2201.07837 [pdf, ps, other]
Title: A forgotten theorem of Pełczyńśki: $(λ+)$-injective spaces need not be $λ$-injective -- the case $λ\in (1,2]$
Comments: 7 pp
Subjects: Functional Analysis (math.FA)

Isbell and Semadeni [Trans. Amer. Math. Soc. 107 (1963)] proved that every infinite-dimensional $1$-injective Banach space contains a hyperplane that is $(2+\varepsilon)$-injective for every $\varepsilon > 0$, yet is is \emph{not} $2$-injective and remarked in a footnote that Pe{\l}czy\'nski had proved for every $\lambda > 1$ the existence of a $(\lambda + \varepsilon)$-injective ($\varepsilon > 0$) that is not $\lambda$-injective. Unfortunately, no trace of the proof of Pe{\l}czy\'nski's result has been preserved. In the present paper, we establish the said theorem for $\lambda\in (1,2]$ by constructing an appropriate renorming of $\ell_\infty$. This contrasts (at least for real scalars) with the case $\lambda = 1$ for which Lindenstrauss [Mem. Amer. Math. Soc. 48 (1964)] proved the contrary statement.

[2]  arXiv:2201.08222 [pdf, ps, other]
Title: A note on composition operators between weighted spaces of smooth functions
Comments: 9 pages
Subjects: Functional Analysis (math.FA)

For certain weighted locally convex spaces $X$ and $Y$ of one real variable smooth functions, we characterize the smooth functions $\varphi: \mathbb{R} \to \mathbb{R}$ for which the composition operator $C_\varphi: X \to Y, \, f \mapsto f \circ \varphi$ is well-defined and continuous. This problem has been recently considered for $X = Y$ being the space $\mathscr{S}$ of rapidly decreasing smooth functions [1] and the space $\mathscr{O}_M$ of slowly increasing smooth functions [2]. In particular, we recover both these results as well as obtain a characterization for $X =Y$ being the space $\mathscr{O}_C$ of very slowly increasing smooth functions.

[3]  arXiv:2201.08271 [pdf, ps, other]
Title: Isomorphic classification of projective tensor products of spaces of continuous functions
Subjects: Functional Analysis (math.FA)

We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_\pi C(L)$ is isomorphic to exactly one of the spaces $C(\omega^{\omega^\xi})\widehat{\otimes}_\pi C(\omega^{\omega^\zeta})$, $0\leqslant \zeta\leqslant \xi<\omega_1$. We also prove that $C(K)\widehat{\otimes}_\pi C(L)$ is not isomorphic to $C(M)$ for any compact, Hausdorff space $M$.

Cross-lists for Fri, 21 Jan 22

[4]  arXiv:2201.07890 (cross-list from eess.SP) [pdf, other]
Title: Convolutional Neural Networks for Spherical Signal Processing via Spherical Haar Tight Framelets
Subjects: Signal Processing (eess.SP); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Functional Analysis (math.FA)

In this paper, we develop a general theoretical framework for constructing Haar-type tight framelets on any compact set with a hierarchical partition. In particular, we construct a novel area-regular hierarchical partition on the 2-sphere and establish its corresponding spherical Haar tight framelets with directionality. We conclude by evaluating and illustrating the effectiveness of our area-regular spherical Haar tight framelets in several denoising experiments. Furthermore, we propose a convolutional neural network (CNN) model for spherical signal denoising which employs the fast framelet decomposition and reconstruction algorithms. Experiment results show that our proposed CNN model outperforms threshold methods, and processes strong generalization and robustness properties.

[5]  arXiv:2201.08045 (cross-list from math.OA) [pdf, ps, other]
Title: Non-commutative rational Clark measures
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measure theory for non-commutative and contractive rational multipliers.
Non-commutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz algebra, the unital $C^*-$algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz--Toeplitz and Cuntz algebras, and the emerging field of non-commutative rational functions.

[6]  arXiv:2201.08192 (cross-list from math.AP) [pdf, other]
Title: Self-adjointness for the MIT bag model on an unbounded cone
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Functional Analysis (math.FA); Spectral Theory (math.SP)

We consider the massless Dirac operator with the MIT bag boundary conditions on an unbounded three-dimensional circular cone. For convex cones, we prove that this operator is self-adjoint defined on four-component $H^1$-functions satisfying the MIT bag boundary conditions. The proof of this result relies on separation of variables and spectral estimates for one-dimensional fiber Dirac-type operators. Furthermore, we provide a numerical evidence for the self-adjointness on the same domain also for non-convex cones. Moreover, we prove a Hardy-type inequality for such a Dirac operator on convex cones, which, in particular, yields stability of self-adjointness under perturbations by a class of unbounded potentials. Further extensions of our results to Dirac operators with quantum dot boundary conditions are also discussed.

[7]  arXiv:2201.08346 (cross-list from math.OA) [pdf, ps, other]
Title: $L_p$-$L_q$ Fourier multipliers on locally compact quantum groups
Authors: Haonan Zhang
Comments: 13 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA)

Let $\mathbb{G}$ be a locally compact quantum group with dual $\widehat{\mathbb{G}}$. Suppose that the left Haar weight $\varphi$ and the dual left Haar weight $\widehat{\varphi}$ are tracial, e.g. $\mathbb{G}$ is a unimodular Kac algebra. We prove that for $1<p\le 2 \le q<\infty$, the Fourier multiplier $m_{x}$ is bounded from $L_p(\widehat{\mathbb{G}},\widehat{\varphi})$ to $L_q(\widehat{\mathbb{G}},\widehat{\varphi})$ whenever the symbol $x$ lies in $L_{r,\infty}(\mathbb{G},\varphi)$, where $1/r=1/p-1/q$. Moreover, we have
\begin{equation*}
\|m_{x}:L_p(\widehat{\mathbb{G}},\widehat{\varphi})\to L_q(\widehat{\mathbb{G}},\widehat{\varphi})\|\le c_{p,q} \|x\|_{L_{r,\infty}(\mathbb{G},\varphi)},
\end{equation*}
where $c_{p,q}$ is a constant depending only on $p$ and $q$. This was first proved by H\"ormander \cite{Hormander1960} for $\mathbb{R}^n$, and was recently extended to more general groups and quantum groups. Our work covers all these results and the proof is simpler. In particular, this also yields a family of $L_p$-Fourier multipliers over discrete group von Neumann algebras. A similar result for $\mathcal{S}_p$-$\mathcal{S}_q$ Schur multipliers is also proved.

Replacements for Fri, 21 Jan 22

[8]  arXiv:2012.02289 (replaced) [pdf, ps, other]
Title: Reinhardt Free Spectrahedra
Comments: Minor corrections and expository upgrades
Subjects: Functional Analysis (math.FA)
[9]  arXiv:2106.10728 (replaced) [pdf, ps, other]
Title: A simple, combinatorial proof of Gowers Dichotomy for Banach Spaces
Subjects: Functional Analysis (math.FA); Combinatorics (math.CO)
[ total of 9 entries: 1-9 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2201, contact, help  (Access key information)