Spectral Properties of Off Diagonal Block Linear Relations via Moore Penrose Inverses in Hilbert Spaces

2026-03-03T13:01:30Z

In this paper, we characterize the essential spectra and the resolvent set of the off-diagonal block linear relation \[ \begin{bmatrix} 0 & A \\ B & 0 \end{bmatrix} \] in terms of the essential spectra and resolvent sets of the products $AB$ and $BA$. Our approach establishes precise spectral relationships that connect the structural properties of the block linear relation with those of the associated compositions. Furthermore, we investigate the Moore--Penrose inverses of closed linear relations in Hilbert spaces and employ these results to extend the spectral analysis to the off-diagonal block linear relation \[ \mathcal{A} = \begin{bmatrix} 0 & T^{\dagger} \\ T & 0 \end{bmatrix}, \] where $T$ is a closed, continuous linear relation with closed range from a Hilbert space $H$ to a Hilbert space $K$, and $T^{\dagger}$ denotes its Moore--Penrose inverse.

On the convex structure of the space of quantum channels which act as Fourier multipliers

2026-03-03T12:07:02Z

If $G$ is a compact group, continuous normalized positive definite functions are in one-to-one correspondence with unital quantum channels acting as Fourier multipliers on the group von Neumann algebra $\mathrm{VN}(G)$. We study the convex geometry of the convex set $\mathrm{P}_1(G)$ of normalized positive definite functions, equipped with the topology induced by the norm topology of the Fourier algebra $\mathrm{A}(G)$, and its relation with the structure of $\mathrm{VN}(G)$. We show that the von Neumann algebras of two compact groups $G$ and $H$ are $*$-isomorphic if and only if the convex sets $\mathrm{P}_1(G)$ and $\mathrm{P}_1(H)$ are affinely homeomorphic. We also describe the group of affine homeomorphisms of $\mathrm{P}_1(G)$ in terms of Jordan $*$-automorphisms of $\mathrm{VN}(G)$.

Algebras of analytic functionals and homological epimorphisms

2026-03-03T11:48:00Z

It has been proved by the author [arXiv: 2404.19433] that the Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism. We show here that for algebras of analytic functionals on a connected complex Lie group the analogous statement is satisfied without the assumption of solvability, and furthermore the completion homomorphisms of a more general form are also homological epimorphisms, including the envelope with respect to the class of Banach PI-algebras.

Classification and a Wold-type decomposition for doubly twisted near-isometries

2026-03-03T10:18:10Z

We introduce and study doubly twisted near-isometries. A doubly twisted near-isometry is a tuple of near-isometries satisfying certain relations determined by a prescribed family of unitaries, thereby generalizing the notion of doubly commuting near-isometries. We establish necessary and sufficient conditions for a tuple of near-isometries to admit a Wold-type decomposition and prove that the existence of such a decomposition automatically ensures its uniqueness by providing an explicit description of the summands. Furthermore, we show that every doubly twisted near-isometry admits a Wold-type decomposition. We also characterize unitary equivalence within the class of doubly twisted near-isometries and construct an analytic model for them. Several examples are included to highlight the distinctions between our results and the corresponding results in the setting of doubly twisted isometries.

Conjugate phase retrieval in shift-invariant spaces generated by a Gaussian

2026-03-03T03:09:27Z

Conjugate phase retrieval considers the recovery of a function, up to a unimodular constant and conjugation, from its phaseless measurements. In this paper, we explore the conjugate phase retrieval in a shift-invariant space generated by a Gaussian funciton. First, we show that the modulus function in the Gaussian shift-invariant space can be determined from the phaseless Hermite samples taken on a discrete sampling set. We then show that a function in the shift-invariant space generated by a Gaussian can be uniquely determined, up to a unimodular constant and conjugation, from its phaseless Hermite samples on a discrete set. For the functions with finite coefficient sequences, we provide an explicit reconstruction procedure.

A survey of sampling discretization of integral and uniform norms

2026-03-02T22:59:19Z

This paper surveys recent developments in the sampling discretization of integral and uniform norms for functions in general finite-dimensional spaces. These results generalize the classical Marcinkiewicz-Zygmund inequalities for trigonometric and algebraic polynomials, which play a crucial role in Fourier analysis, interpolation, and approximation theory. We focus on the problem in the broad context of finite-dimensional subspaces, where norms defined by general probability measures are approximated by their discrete counterparts. The primary emphasis is on results closely related to the authors' recent research. A key objective is to highlight the main ideas and techniques that form the foundation of the proofs in this area. This survey serves as a complement to three recently published survey papers on sampling discretization \cite{DPTT, KKLT, LMT}.

Distributional and mean Li--Yorke chaos for weighted shifts on Fréchet sequence spaces

2026-03-02T22:58:23Z

In this paper, we give characterizations of distributional chaos and mean Li$-$Yorke chaos for weighted backward shifts acting on general Fréchet sequence spaces. As an application, we derive criteria for these two types of chaos in the setting of Köthe sequence spaces $λ_p(A,J)$ for $p \in \{0\}\cup [1, \infty)$ and $J=\mathbb{N}$ or $J=\mathbb{Z}$.

Moments of the Cramér transform of log-concave probability measures

2026-03-02T18:46:11Z

Let $μ$ be a centered log-concave probability measure on ${\mathbb R}^n$ and let $Λ_μ^{\ast}$ denote the Cramér transform of $μ$, i.e. $Λ_μ^{\ast}(x)=\sup\{\langle x,ξ\rangle-Λ_μ(ξ):ξ\in\mathbb{R}^n\}$ where $Λ_μ$ is the logarithmic Laplace transform of $μ$. We show that $\mathbb{E}_μ\left[\exp\left(\frac{c_1}{n}Λ_μ^{\ast }\right)\right]<\infty $ where $c_1>0$ is an absolute constant. In, particular, $Λ_μ^{\ast}$ has finite moments of all orders. The proof, which is based on the comparison of certain families of convex bodies associated with $μ$, implies that $\|Λ_μ^{\ast}\|_{L^2(μ)}\leqslant c_2n\ln n$. The example of the uniform measure on the Euclidean ball shows that this estimate is optimal with respect to $n$ as the dimension $n$ grows to infinity.

$\mathrm{L}^p$-based Sobolev theory on closed manifolds of minimal regularity: Scalar Elliptic Equations

2026-03-02T18:27:47Z

This paper and its follow-up arXiv:2508.11109 are concerned with the well-posedness and $\mathrm{L}^p$-based Sobolev regularity for appropriate weak formulations of a family of prototypical PDEs posed on manifolds of minimal regularity. In particular, the domains are assumed to be compact, connected $d$-dimensional manifolds without boundary of class $C^k$ and $C^{k-1,1}$ ($k \geq 1$) embedded in $\mathrm{R}^{d+1}$. The focus of this program is on the $\mathrm{L}^p$-based theory that is sharp with respect to the regularity of the source terms and the manifold. In the present paper, we focus our attention on the case of general scalar elliptic problems. We first establish $\mathrm{L}^p$-based well-posedness and higher regularity for the purely diffusive problems with variable coefficients by localizing and rewriting these equations in flat domains to employ the Calderón--Zygmund theory, combined with duality arguments. We then invoke the Fredholm alternative to derive analogous results for general scalar elliptic problems, underscoring the subtle differences that the geometric setting entails compared to the theory in flat domains.

Weighted Norm Inequalities for the Strichartz Fourier transform on the Heisenberg Group

2026-03-02T18:07:28Z

In this article, we establish an analogue of Pitt's inequality for the Strichartz Fourier transform on the Heisenberg group $\mathbb{H}^n$. By exploiting the scalar-valued formulation of the transform and the framework of decreasing rearrangements, we derive weighted $L^p$-$L^q$ estimates of Pitt type. In particular, we obtain sufficient conditions for the validity of such inequalities via weighted Hardy inequalities and Calderón's interpolation method, and we also prove necessary conditions in the case of radial weights, using structural properties of Laguerre functions and zeros of Bessel function. As an application, we deduce an uncertainty principle of Heisenberg-Pauli-Weyl type in this setting and establish a Paley inequality for the Strichartz Fourier transform. We also derive Pitt's inequality using Hardy's inequality for the case $p=q=2$. These results extend the classical Euclidean theory of Pitt's inequality to the non-commutative, nilpotent setting of $\mathbb{H}^n$ for the sub-Laplacian and conformal Laplacian. Here we highlight the role of Laguerre functions in harmonic analysis on the Heisenberg group.

A Discrete Resolvent Framework for Operator Splitting in Delay Differential Equations

2026-03-02T17:47:49Z

We establish a discrete operator--theoretic framework for the analysis of implicit Euler and Lie--Trotter splitting schemes for delay differential equations (DDEs). Both schemes are formulated in terms of discrete resolvent operators acting on product spaces that encode the present state together with the history variable. The analysis is carried out entirely at the level of discrete propagators and does not presuppose the existence of a $C_0$-semigroup or an evolution family generated by the underlying delay operator. Convergence of Lie--Trotter splitting toward implicit Euler on finite time intervals is shown to follow from two structural ingredients: local defect estimates on fractional interpolation spaces and suitable discrete stability properties of the associated operator products. The framework applies to both autonomous and non-autonomous delay equations. In the non-sectorial case, additional discrete stability assumptions (such as power-boundedness or Ritt-type conditions) are required to control the accumulation of local errors. In contrast, when the principal operator is sectorial and generates an analytic semigroup, analytic smoothing suppresses error growth and preserves the fractional convergence order on interpolation spaces. This discrete resolvent perspective provides a unified approach to operator splitting for delay equations, including regimes in which classical semigroup well-posedness theory is unavailable. This version presents a substantially revised and restructured analysis, including a unified discrete stability framework and extended numerical experiments.

Random Walks on Virtual Persistence Diagrams

2026-03-02T17:39:27Z

Persistence diagrams, with the bottleneck and Wasserstein metrics, represent the interval decomposition of persistence modules constructed from filtered topological data. Finite persistence diagrams on a metric pair $(X,A)$ form the free translation-invariant commutative Lipschitz monoid $D(X,A)$. The Grothendieck group $K(X,A)$ is the free translation-invariant Abelian Lipschitz group of virtual persistence diagrams, and the canonical embedding $D(X,A) \hookrightarrow K(X,A)$ is isometric for the Wasserstein-1 distance with translation-invariant metric $ρ$. When the pointed metric space $(X/A,\overline d_1,[A])$ is uniformly discrete, $(K(X,A),ρ)$ is a discrete locally compact abelian group, but may be uncountable. We construct a symmetric, translation-invariant Markov semigroup $(P_t)_{t\ge0}$ on $\ell^2(K(X,A))$ as the projective limit of semigroups defined on the finitely generated subgroups $K(X_F,A)$, induced by the VPD metric $ρ$. Its convolution kernels $(p_t)_{t\ge0}$ define a random walk on $K(X,A)$, and for each $t\ge0$ the support of $p_t$ is contained in a countable subgroup $H\le K(X,A)$. On $H$, the semigroup $(p_t)_{t\ge0}$ has a Lévy-Khintchine representation $\widehat p_t(θ)=\exp(-tλ_H(θ))$ for $θ\in\widehat H$, and the kernels $k_t(x,y)=p_t(x-y)$ define reproducing kernel Hilbert spaces $\mathcal H_t$ with dense truncated subspaces. We show that a small collection of scalar random-walk invariants determined by the Lévy-Khintchine exponent -- including return probabilities, collision probabilities, and diagonal resolvent values -- controls global regularity properties of diagram functionals.

A note on the Kolmogorov-type inequalities for more than three norms

2026-03-02T16:28:29Z

In this note we show that sharp Kolmogorov-type inequalities that estimate the uniform norm $\|f^{(k)}\|$ of the $k$-th derivative of a function $f\colon \mathbb{R}\to\mathbb{R}$ by the values of the uniform norm of $f$ and uniform norms of several its higher derivatives ($\|f^{(r)}\|$ and $\|f^{(r-1)}\|$, or $\|f^{(r)}\|$ and $\|f^{(r-2)}\|$, or $\|f^{(r)}\|$, $\|f^{(r-1)}\|$ and $\|f^{(r-2)}\|$) using standard techniques can be obtained from the known solutions to the Kolmogorov problem about existence of a function with given norms of its derivatives.

Maximal subspaces of strong continuity for composition semigroups

2026-03-02T15:47:48Z

Let $(\varphi_t)_{t\geq 0} $ a semigroup of holomorphic self-maps of the unit disk and $C_t f = f \circ \varphi_t $ the semigroup of composition operators which corresponds to $\varphi_t. $ Given a non-separable Banach space of analytic functions $X $ we study the properties of the maximal subspace of $X $ on which the semigroup $C_t $ is strongly continuous. In particular when $X $ contains the polynomials an interesting question is for which semigroups the maximal subspace of strong continuity coincides with the norm closure of the polynomials. This problem has been investigated in several function spaces including $BMOA$, $BMOA_p $, the Bloch space, $Q_s $ space and analytic Morrey spaces. However, in most cases only partial results are available. We offer a unified approach to this problem which encompasses all of the above spaces as particular examples. Moreover, we completely characterize the semigroups for which the maximal subspace of strong continuity coincides with the norm-closure of the polynomials in the space, giving therefore sharp versions of a number of results in the literature.

Liftings of Sobolev maps into closed Riemannian manifolds via double coverings and minimal connections relative to planar sets, with an application to ferronematics

2026-03-02T15:40:03Z

We consider Sobolev maps from a planar domain into a closed Riemannian manifold and their BV liftings via a double covering of the target. We establish a sharp lower bound on the jump length of the lifting, expressed in terms of a geometric quantity: the minimal connection, relative to the domain, of the non-orientable singularities. As an application, we analyse minimisers of a two-dimensional model of ferronematics under ``mixed'' boundary conditions -- that is, Dirichlet conditions for the liquid crystal order parameter and Neumann conditions for the magnetisation vector.