We study the class of composition operators acting on the Fréchet space $\mathrm {Hol}(\mathbb {B}_N)$ of all holomorphic maps on the unit ball of $\mathbb {C}^N$. We describe the conditions to make these operators continuous, invertible and compact. We also do the spectral study of these operators, depending on the nature of its symbol.

We introduce and study the notion of hereditary frequent hypercyclicity, which is a reinforcement of the well-known concept of frequent hypercyclicity. This notion is useful for the study of the dynamical properties of direct sums of operators; in particular, a basic observation is that the direct sum of a hereditarily frequently hypercyclic operator with any frequently hypercyclic operator is frequently hypercyclic. Among other results, we show that operators satisfying the frequent hypercyclicity criterion are hereditarily frequently hypercyclic, as well as a large class of operators whose unimodular eigenvectors are spanning with respect to the Lebesgue measure. However, we exhibit two frequently hypercyclic weighted shifts $B_w,B_{w'}$ on $c_0(\mathbb {Z}_+)$ whose direct sum ${B_w\oplus B_{w'}}$ is not $\mathcal {U}$-frequently hypercyclic (so that neither of them is hereditarily frequently hypercyclic), and we construct a C-type operator on $\ell _p(\mathbb {Z}_+)$, $1\le p<\infty $, which is frequently hypercyclic but not hereditarily frequently hypercyclic. We also solve several problems concerning disjoint frequent hypercyclicity: we show that for every $N\in \mathbb {N}$, any disjoint frequently hypercyclic N-tuple of operators $(T_1,\ldots ,T_N)$ can be extended to a disjoint frequently hypercyclic $(N+1)$-tuple $(T_1,\ldots ,T_N, T_{N+1})$ as soon as the underlying space supports a hereditarily frequently hypercyclic operator; we construct a disjoint frequently hypercyclic pair which is not densely disjoint hypercyclic; and we show that the pair $(D,\tau _a)$ is disjoint frequently hypercyclic, where D is the derivation operator acting on the space of entire functions and $\tau _a$ is the operator of translation by $a\in \mathbb {C}\setminus \{ 0\}$. Part of our results are in fact obtained in the general setting of Furstenberg families.

Chan and Seceleanu have shown that if a weighted shift operator on $\ell^p(\mathbb{Z})$, $1\leq p \lt \infty$, admits an orbit with a non-zero limit point then it is hypercyclic. We present a new proof of this result that allows to extend it to very general sequence spaces. In a similar vein, we show that, in many sequence spaces, a weighted shift with a non-zero weakly sequentially recurrent vector has a dense set of such vectors, but an example on $c_0(\mathbb{Z})$ shows that such an operator is not necessarily hypercyclic. On the other hand, we obtain that weakly sequentially hypercyclic weighted shifts are hypercyclic. Chan and Seceleanu have, moreover, shown that if an adjoint multiplication operator on a Bergman space admits an orbit with a non-zero limit point then it is hypercyclic. We extend this result to very general spaces of analytic functions, including the Hardy spaces.

Isoclinic subspaces have been studied for over a century. Quantum error correcting codes were recently shown to define a subclass of families of isoclinic subspaces. The Knill–Laflamme theorem is a seminal result in the theory of quantum error correction, a central topic in quantum information. We show there is a generalized version of the Knill–Laflamme result and conditions that applies to all families of isoclinic subspaces. In the case of quantum stabilizer codes, the expanded conditions are shown to capture logical operators. We apply the general conditions to give a new perspective on a classical subclass of isoclinic subspaces defined by the graphs of anti-commuting unitary operators. We show how the result applies to recently studied mutually unbiased quantum measurements (MUMs), and we give a new construction of such measurements motivated by the approach.

In this article, motivated by the regularity theory of the solutions of doubly nonlinear parabolic partial differential equations, the authors introduce the off-diagonal two-weight version of the parabolic Muckenhoupt class with time lag. Then the authors introduce the uncentered parabolic fractional maximal operator with time lag and characterize its two-weighted boundedness (including the endpoint case) in terms of these weights under an additional mild assumption (which is not necessary for one-weight case). The most novelty of this article exists in that the authors further introduce a new parabolic shaped domain and its corresponding parabolic fractional integral with time lag and, moreover, applying the aforementioned (two-)weighted boundedness of the parabolic fractional maximal operator with time lag, the authors characterize the (two-)weighted boundedness (including the endpoint case) of these parabolic fractional integrals in terms of the off-diagonal (two-weight) parabolic Muckenhoupt class with time lag; as applications, the authors further establish a parabolic weighted Sobolev embedding and a priori estimate for the solution of the heat equation. The key tools to achieve these include the parabolic Calderón–Zygmund-type decomposition, the chaining argument, and the parabolic Welland inequality, which is obtained by making the utmost of the geometrical relation between the parabolic shaped domain and the parabolic rectangle.

The article deals with isometric dilation and commutant lifting for a class of n-tuples $(n\ge 3)$ of commuting contractions. We show that operator tuples in the class dilate to tuples of commuting isometries of BCL type. As a consequence of such an explicit dilation, we show that their von Neumann inequality holds on a one-dimensional variety of the closed unit polydisc. On the basis of such a dilation, we prove a commutant lifting theorem of Sarason’s type by establishing that every commutant can be lifted to the dilation space in a commuting and norm-preserving manner. This further leads us to find yet another class of n-tuples $(n\ge 3)$ of commuting contractions each of which possesses isometric dilation.

We introduce a general class of transport distances $\mathrm {WB}_{\Lambda }$ over the space of positive semi-definite matrix-valued Radon measures $\mathcal {M}(\Omega, \mathbb {S}_+^n)$, called the weighted Wasserstein–Bures distance. Such a distance is defined via a generalised Benamou–Brenier formulation with a weighted action functional and an abstract matricial continuity equation, which leads to a convex optimisation problem. Some recently proposed models, including the Kantorovich–Bures distance and the Wasserstein–Fisher–Rao distance, can naturally fit into ours. We give a complete characterisation of the minimiser and explore the topological and geometrical properties of the space $(\mathcal {M}(\Omega, \mathbb {S}_+^n),\mathrm {WB}_{\Lambda })$. In particular, we show that $(\mathcal {M}(\Omega, \mathbb {S}_+^n),\mathrm {WB}_{\Lambda })$ is a complete geodesic space and exhibits a conic structure.

Let $\mathcal H$ be a complex, separable Hilbert space, and set . When $\dim \, \mathcal H$ is finite, we characterise the set and its norm-closure . In the infinite-dimensional setting, we characterise the intersection of with the set of biquasitriangular operators, and we exhibit an index obstruction to belonging to .

We investigate when the algebraic numerical range is a C-spectral set in a Banach algebra. While providing several counterexamples based on classical ideas as well as combinatorial Banach spaces, we discuss positive results for matrix algebras and provide an absolute constant in the case of complex $2\times 2$-matrices with the induced $1$-norm. Furthermore, we discuss positive results for infinite-dimensional Banach algebras, including the Calkin algebra.

In our paper [‘Linking the boundary and exponential spectra via the restricted topology’, J. Math. Anal. Appl. 454 (2017), 730–745], we defined and used the restricted topology to establish certain connections among the boundary spectrum, the exponential spectrum, the topological boundary of the spectrum and the connected hull of the spectrum, and in [‘The restricted connected hull: filling the hole’, Bull. Aust. Math. Soc. 109 (2024), 388–392], we presented further properties of the restricted connected hull. We now continue our investigation of the restricted boundary. In particular, we prove a number of mapping and regularity-type properties of the restricted boundary. In addition, we use this concept to provide a new characterisation of the Jacobson radical of a Banach algebra and a variation of Harte’s theorem. Finally, we establish spectral continuity results, in particular, in ordered Banach algebras.

Let $\varphi$ be a normal semifinite faithful weight on a von Neumann algebra $A$, let $(\sigma ^\varphi _r)_{r\in {\mathbb R}}$ denote the modular automorphism group of $\varphi$, and let $T\colon A\to A$ be a linear map. We say that $T$ admits an absolute dilation if there exists another von Neumann algebra $M$ equipped with a normal semifinite faithful weight $\psi$, a $w^*$-continuous, unital and weight-preserving $*$-homomorphism $J\colon A\to M$ such that $\sigma ^\psi \circ J=J\circ \sigma ^\varphi$, as well as a weight-preserving $*$-automorphism $U\colon M\to M$ such that $T^k={\mathbb {E}}_JU^kJ$ for all integer $k\geq 0$, where $ {\mathbb {E}}_J\colon M\to A$ is the conditional expectation associated with $J$. Given any locally compact group $G$ and any real valued function $u\in C_b(G)$, we prove that if $u$ induces a unital completely positive Fourier multiplier $M_u\colon VN(G) \to VN(G)$, then $M_u$ admits an absolute dilation. Here, $VN(G)$ is equipped with its Plancherel weight $\varphi _G$. This result had been settled by the first named author in the case when $G$ is unimodular so the salient point in this paper is that $G$ may be nonunimodular, and hence, $\varphi _G$ may not be a trace. The absolute dilation of $M_u$ implies that for any $1\lt p\lt \infty$, the $L^p$-realization of $M_u$ can be dilated into an isometry acting on a noncommutative $L^p$-space. We further prove that if $u$ is valued in $[0,1]$, then the $L^p$-realization of $M_u$ is a Ritt operator with a bounded $H^\infty$-functional calculus.

For fixed $0<r<1$, let $A_r=\{z \in \mathbb {C} : r<|z|<1\}$ be the annulus with boundary $\partial \overline {A}_r=\mathbb {T} \cup r\mathbb {T}$, where $\mathbb T$ is the unit circle in the complex plane $\mathbb C$. An operator having $\overline {A}_r$ as a spectral set is called an $A_r$-contraction. Also, a normal operator with its spectrum lying in the boundary $\partial \overline {A}_r$ is called an $A_r$-unitary. The $C_{1,r}$ class was introduced by Bello and Yakubovich in the following way:

$$\begin{align*}C_{1, r}=\{T: T \ \text{is invertible and} \ \|T\|, \|rT^{-1}\| \leq 1\}. \end{align*}$$

McCullough and Pascoe defined the quantum annulus $\mathbb Q \mathbb A_r$ by

$$\begin{align*}\mathbb Q\mathbb A_r = \{T \,:\, T \text{ is invertible and } \, \|rT\|, \|rT^{-1}\| \leq 1 \}. \end{align*}$$

If $\mathcal A_r$ denotes the set of all $A_r$-contractions, then $\mathcal A_r \subsetneq C_{1,r} \subsetneq \mathbb Q \mathbb A_r$. We first find a model for an operator in $C_{1,r}$ and also characterize the operators in $C_{1,r}$ in several different ways. We prove that the classes $C_{1,r}$ and $\mathbb Q\mathbb A_r$ are equivalent. Then, via this equivalence, we obtain analogous model and characterizations for an operator in $\mathbb Q \mathbb A_r$.

In Dong et al. (2022, Journal of Operator Theory 88, 365–406), the authors addressed the question of whether surjective maps preserving the norm of a symmetric Kubo-Ando mean can be extended to Jordan $\ast $-isomorphisms. The question was affirmatively answered for surjective maps between the positive definite cones of unital $C^{*}$-algebras for certain specific classes of symmetric Kubo-Ando means. Here, we give a comprehensive answer to this question for surjective maps between the positive definite cones of $AW^{*}$-algebras preserving the norm of any symmetric Kubo-Ando mean.

This article explores the notions of $\mathcal {F}$-transitivity and topological $\mathcal {F}$-recurrence for backward shift operators on weighted $\ell ^p$-spaces and $c_0$-spaces on directed trees, where $\mathcal {F}$ represents a Furstenberg family of subsets of $\mathbb {N}_0$. In particular, we establish the equivalence between recurrence and hypercyclicity of these operators on unrooted directed trees. For rooted directed trees, a backward shift operator is hypercyclic if and only if it possesses an orbit of a bounded subset that is weakly dense.

McCullough and Trent generalize Beurling–Lax–Halmos invariant subspace theorem for the shift on Hardy space of the unit disk to the multi-shift on Drury–Arveson space of the unit ball by representing an invariant subspace of the multi-shift as the range of a multiplication operator that is a partial isometry. By using their method, we obtain similar representations for a class of invariant subspaces of the multi-shifts on Hardy and Bergman spaces of the unit ball or polydisk. Our results are surprisingly general and include several important classes of invariant subspaces on the unit ball or polydisk.

This article describes Hilbert spaces contractively contained in certain reproducing kernel Hilbert spaces of analytic functions on the open unit disc which are nearly invariant under division by an inner function. We extend Hitt’s theorem on nearly invariant subspaces of the backward shift operator on $H^2(\mathbb {D})$ as well as its many generalizations to the setting of de Branges spaces.

We establish a Central Limit Theorem for tensor product random variables $c_k:=a_k \otimes a_k$, where $(a_k)_{k \in \mathbb {N}}$ is a free family of variables. We show that if the variables $a_k$ are centered, the limiting law is the semi-circle. Otherwise, the limiting law depends on the mean and variance of the variables $a_k$ and corresponds to a free interpolation between the semi-circle law and the classical convolution of two semi-circle laws.

In the present paper, we characterize the Fredholmness of Toeplitz pairs on Hardy space over the bidisk with the bounded holomorphic symbols, and hence, we obtain the index formula for such Toeplitz pairs. The key to obtain the Fredholmness of such Toeplitz pairs is the $L^p$ solution of Corona Problem over $\mathbb {D}^2$.

Viruses present an amazing genetic variability. An ensemble of infecting viruses, also called a viral quasispecies, is a cloud of mutants centered around a specific genotype. The simplest model of evolution, whose equilibrium state is described by the quasispecies equation, is the Moran–Kingman model. For the sharp-peak landscape, we perform several exact computations and derive several exact formulas. We also obtain an exact formula for the quasispecies distribution, involving a series and the mean fitness. A very simple formula for the mean Hamming distance is derived, which is exact and does not require a specific asymptotic expansion (such as sending the length of the macromolecules to $\infty$ or the mutation probability to 0). With the help of these formulas, we present an original proof for the well-known phenomenon of the error threshold. We recover the limiting quasispecies distribution in the long-chain regime. We try also to extend these formulas to a general fitness landscape. We obtain an equation involving the covariance of the fitness and the Hamming class number in the quasispecies distribution. Going beyond the sharp-peak landscape, we consider fitness landscapes having finitely many peaks and a plateau-type landscape. Finally, within this framework, we prove rigorously the possible occurrence of the survival of the flattest, a phenomenon which was previously discovered by Wilke et al. (Nature 412, 2001) and which has been investigated in several works (see e.g. Codoñer et al. (PLOS Pathogens 2, 2006), Franklin et al. (Artificial Life 25, 2019), Sardanyés et al. (J. Theoret. Biol. 250, 2008), and Tejero et al. (BMC Evolutionary Biol. 11, 2011)).

We discuss representations of product systems (of $W^*$-correspondences) over the semigroup $\mathbb{Z}^n_+$ and show that, under certain pureness and Szegö positivity conditions, a completely contractive representation can be dilated to an isometric representation. For $n=1,2$ this is known to hold in general (without assuming the conditions), but for $n\geq 3$, it does not hold in general (as is known for the special case of isometric dilations of a tuple of commuting contractions). Restricting to the case of tuples of commuting contractions, our result reduces to a result of Barik, Das, Haria, and Sarkar (Isometric dilations and von Neumann inequality for a class of tuples in the polydisc. Trans. Amer. Math. Soc. 372 (2019), 1429–1450). Our dilation is explicitly constructed, and we present some applications.