Direct Sum of Lower Semi-Frames in Hilbert Spaces

2025-04-17T10:40:54Z

In this paper, structural properties of lower semi-frames in separable Hilbert spaces are explored with a focus on transformations under linear operators (may be unbounded). Also, the direct sum of lower semi-frames, providing necessary and sufficient conditions for the preservation of lower semi-frame structure, is examined.

A Battle-Lemarié Frame Characterization of Besov and Triebel-Lizorkin Spaces

2025-04-17T09:29:31Z

In this paper, we investigate a spline frame generated by oversampling against the well-known Battle-Lemari\'e wavelet system of nonnegative integer order, $n$. We establish a characterization of the Besov and Triebel-Lizorkin (quasi-) norms for the smoothness parameter up to $s < n+1$, which includes values of $s$ where the Battle-Lemari\'e system no longer provides an unconditional basis; we, additionally, prove a result for the endpoint case $s=n+1$. This builds off of earlier work by G. Garrig\'os, A. Seeger, and T. Ullrich, where they proved the case $n=0$, i.e. that of the Haar wavelet, and work of R. Srivastava, where she gave a necessary range for the Battle-Lemari\'e system to give an unconditional basis of the Triebel-Lizorkin spaces.

The $S$-resolvent estimates for the Dirac operator on hyperbolic and spherical spaces

2025-04-17T08:06:18Z

This seminal paper marks the beginning of our investigation into on the spectral theory based on $S$-spectrum applied to the Dirac operator on manifolds. Specifically, we examine in detail the cases of the Dirac operator $\mathcal{D}_H$ on hyperbolic space and the Dirac operator $\mathcal{D}_S$ on the spherical space, where these operators, and their squares $\mathcal{D}_H^2$ and $\mathcal{D}_S^2$, can be written in a very explicit form. This fact is very important for the application of the spectral theory on the $S$-spectrum. In fact, let $T$ denote a (right) linear Clifford operator, the $S$-spectrum is associated with a second-order polynomial in the operator $T$, specifically the operator defined as $ Q_s(T) := T^2 - 2s_0T + |s|^2. $ This allows us to associate to the Dirac operator boundary conditions that can be of Dirichlet type but also of Robin-like type. Moreover, our theory is not limited to Hilbert modules; it is applicable to Banach modules as well. The spectral theory based on the $S$-spectrum has gained increasing attention in recent years, particularly as it aims to provide quaternionic quantum mechanics with a solid mathematical foundation from the perspective of spectral theory. This theory was extended to Clifford operators, and more recently, the spectral theorem has been adapted to this broader context. The $S$-spectrum is crucial for defining the so-called $S$-functional calculus for quaternionic and Clifford operators in various forms. This includes bounded as well as unbounded operators, where suitable estimates of sectorial and bi-sectorial type for the $S$-resolvent operator are essential for the convergence of the Dunford integrals in this setting.

On a complex-analytic approach to stationary measures on $S^1$ with respect to the action of $PSU(1,1)$

2025-04-17T07:18:21Z

We provide a complex-analytic approach to the classification of stationary probability measures on $S^1$ with respect to the action of $PSU(1,1)$ on the unit circle via M\"{o}bius transformations by studying their Cauchy transforms from the perspective of generalized analytic continuation. We improve upon results of Bourgain and present a complete characterization of Furstenberg measures for Fuchsian groups of first kind via the Brown-Shields-Zeller theorem.

A note on traces for the Heisenberg calculus

2025-04-16T23:11:14Z

In previous work, we gave a local formula for the index of Heisenberg elliptic operators on contact manifolds. We constructed a cocycle in periodic cyclic cohomology which, when paired with the Connes-Chern character of the principal Heisenberg symbol, calculates the index. A crucial ingredient of our index formula was a new trace on the algebra of Heisenberg pseudodifferential operators. The construction of this trace was rather involved. In the present paper, we clarify the nature of this trace.

Infinite dimensional symmetric cones and gauge-reversing maps

2025-04-16T20:50:54Z

The famous Koecher-Vinberg theorem characterises the finite dimensional formally real Jordan algebras among the finite dimensional order unit spaces as the ones that have a symmetric cone. An alternative characterisation of symmetric cones was obtained by Walsh who showed that the symmetric cones correspond exactly to the finite dimensional order unit spaces for which there exists a gauge-reversing map from the interior of the cone to itself. In this paper we prove an infinite dimensional version of this characterisation of symmetric cones.

Evolutionary semigroups on path spaces

2025-04-16T15:58:32Z

We introduce the concept evolutionary semigroups on path spaces, generalizing the notion of transition semigroups to possibly non-Markovian stochastic processes. We study the basic properties of evolutionary semigroups and, in particular, prove that they always arise as the composition of the shift semigroup and a single operator called the expectation operator of the semigroup. We also prove that the transition semigroup of a Markov process can always be extended to an evolutionary semigroup on the path space whenever the Markov process can be realized with the appropriate path regularity. As first examples of evolutionary semigroups associated to non-Markovian processes, we discuss deterministic evolution equations and stochastic flows driven by L\'evy processes. The latter in particular include certain stochastic delay equations.

Spectral Analysis for Gaussian Quantum Markov Semigroups

2025-04-16T15:11:35Z

We investigate the spectrum of the generator induced on the space of Hilbert-Schmidt operators by a Gaussian quantum Markov semigroup with a faithful normal invariant state in the general case, without any symmetry or quantum detailed balance assumptions. We prove that the eigenvalues are entirely determined by those of the drift matrix, similarly to classical Ornstein-Uhlenbeck semigroups. This result is established using a quasi-derivation property of the generator. Moreover, the same spectral property holds for the adjoint of the induced generator. Finally, we show that these eigenvalues constitute the entire spectrum when the induced generator has a spectral gap.

Disjoint Ces$\grave{A}$ro-hypercyclic operators

2025-04-16T14:05:44Z

In this paper, we investigate the properties of disjoint Ces$\grave{a}$ro-hypercyclic operators. First, the definition of disjoint Ces$\grave{a}$ro-hypercyclic operators is provided, and disjoint Ces$\grave{a}$ro-Hypercyclicity Criterion is proposed. Later, two methods are used to prove that operators satisfying this criterion possess disjoint Ces$\grave{a}$ro-hypercyclicity. Finally, this paper further investigates weighted shift operators and provides detailed characterizations of the weight sequences for disjoint Ces$\grave{a}$ro-hypercyclic unilateral and bilateral weighted shift operators on sequence spaces.

On a Hardy-Morrey inequality

2025-04-16T13:53:07Z

Morrey's classical inequality implies the H\"older continuity of a function whose gradient is sufficiently integrable. Another consequence is the Hardy-type inequality $$ \lambda\biggl\|\frac{u}{d_\Omega^{1-n/p}}\biggr\|_{\infty}^p\le \int_\Omega |Du|^p \,dx $$ for any open set $\Omega\subsetneq \mathbb{R}^n$. This inequality is valid for functions supported in $\Omega$ and with $\lambda$ a positive constant independent of $u$. The crucial hypothesis is that the exponent $p$ exceeds the dimension $n$. This paper aims to develop a basic theory for this inequality and the associated variational problem. In particular, we study the relationship between the geometry of $\Omega$, sharp constants, and the existence of a nontrivial $u$ which saturates the inequality.

Cesàro Operators on Rooted Directed Trees

2025-04-16T12:26:53Z

In this paper, we introduce and study the notion of the Ces\'aro operator $C_{\mathscr T}$ on a rooted directed tree $\mathscr T.$ If $\mathscr T$ is the rooted tree with no branching vertex, then $C_{\mathscr T}$ is unitarily equivalent to the classical Ces\'aro operator $C_{0}$ on the sequence space $\ell^2(\mathbb N).$ Besides some basic properties related to boundedness and spectral behavior, we show that $C_{\mathscr T}$ is subnormal if and only if $\mathscr T$ is isomorphic to the rooted directed tree $\mathbb N$ provided $\mathscr T$ is locally finite of finite branching index. In particular, the verbatim analogue of Kriete-Trutt theorem fails for Ces\'aro operators on rooted directed trees. Nevertheless, for a locally finite rooted directed tree $\mathscr T$ of finite branching index, $C_{\mathscr T}$ is always a compact perturbation of a subnormal operator.

Invariant kernels on the space of complex covariance matrices

2025-04-16T10:05:47Z

The present work develops certain analytical tools required to construct and compute invariant kernels on the space of complex covariance matrices. The main result is the $\mathrm{L}^1$--Godement theorem, which states that any invariant kernel, which is (in a certain natural sense) also integrable, can be computed by taking the inverse spherical transform of a positive function. General expressions for inverse spherical transforms are then provided, which can be used to explore new families of invariant kernels, at a rather moderate computational cost. A further, alternative approach for constructing new invariant kernels is also introduced, based on Ramanujan's master theorem for symmetric cones. This leads to a novel closed-form invariant kernel, called the Beta-prime kernel. Numerical experiments highlight the computational and performance advantages of this kernel, especially in the context of two-sample hypothesis testing.

On symmetric functions and symmetric operators on Banach spaces

2025-04-16T08:15:13Z

We study left symmetric and right symmetric elements in the space $\ell_{\infty}(K, \mathbb{X}) $ of bounded functions from a non-empty set $K$ to a Banach space $\mathbb{X}.$ We prove that a non-zero element $ f \in\ell_{\infty}(K, \mathbb{X}) $ is left symmetric if and only if $f$ is zero except for an element $k_0 \in K$ and $f(k_0)$ is left symmetric in $\mathbb{X}.$ We characterize left symmetric elements in the space $C_0(K, \mathbb{X}),$ where $K$ is a locally compact perfectly normal space. We also study the right symmetric elements in $\ell_{\infty}(K, \mathbb{X}).$ Furthermore, we characterize right symmetric elements in $C_0(K, \mathbb{X}),$ where $K$ is a locally compact Hausdorff space and $\mathbb{X}$ is real Banach space. As an application of the results obtained in this article, we characterize the left symmetric and right symmetric operators on some special Banach spaces. These results improve and generalize the existing ones on the study of left and right symmetric elements in operator spaces.

$\mathrm{L}^1$ full groups of flows

2025-04-16T06:13:08Z

We introduce the concept of an $\mathrm{L}^{1}$ full group associated with a measure-preserving action of a Polish normed group on a standard probability space. These groups carry a natural Polish group topology induced by an $\mathrm{L}^1$ norm. Our construction generalizes $\mathrm{L}^{1}$ full groups of actions of discrete groups, which have been studied recently by the first author. We show that under minor assumptions on the actions, topological derived subgroups of $\mathrm{L}^{1}$ full groups are topologically simple and -- when the acting group is locally compact and amenable -- are whirly amenable and generically two-generated. $\mathrm{L}^{1}$ full groups of actions of compactly generated locally compact Polish groups are shown to remember the $\mathrm{L}^{1}$ orbit equivalence class of the action. For measure-preserving actions of the real line (also often called measure-preserving flows), the topological derived subgroup of an $\mathrm{L}^{1}$ full groups is shown to coincide with the kernel of the index map, which implies that $\mathrm{L}^{1}$ full groups of free measure-preserving flows are topologically finitely generated if and only if the flow admits finitely many ergodic components. We also prove a reconstruction-type result: the $\mathrm{L}^{1}$ full group completely characterizes the associated ergodic flow up to flip Kakutani equivalence. Finally, we study the coarse geometry of the $\mathrm{L}^{1}$ full groups. The $\mathrm{L}^{1}$ norm on the derived subgroup of the $\mathrm{L}^{1}$ full group of an aperiodic action of a locally compact amenable group is proved to be maximal in the sense of C. Rosendal. For measure-preserving flows, this holds for the $\mathrm{L}^{1}$ norm on all of the $\mathrm{L}^{1}$ full group.

The vanishing discount problem for nonlocal Hamilton-Jacobi equations

2025-04-16T05:42:24Z

We establish a convergence result for the vanishing discount problem in the context of nonlocal HJ equations. We consider a fairly general class of discounted first-order and convex HJ equations which incorporate an integro-differential operator posed on the $d$-dimensional torus, and we show that the solutions converge to a specific critical solution as the discount factor tends to zero. Our approach relies on duality techniques for nonlocal convex HJ equations, building upon Hahn-Banach separation theorems to develop a generalized notion of Mather measure. The results are applied to a specific class of convex and superlinear Hamiltonians.