Spherically Balanced Hilbert Spaces of Formal Power Series in Several Variables-II

We continue the study of spherically balanced Hilbert spaces initiated in the first part of this paper. Recall that the complex Hilbert space \(H^2(\beta )\) of formal power series in the variables \(z_1, \ldots , z_m\) is spherically balanced if and only if there exist a Reinhardt measure \(\mu \) supported on the unit sphere \(\partial {\mathbb {B}}\) and a Hilbert space \(H^2(\gamma )\) of formal power series in the variable \(t\) such that

$$\begin{aligned} \Vert f\Vert ^2_{H^2(\beta )} = \int _{\partial {\mathbb {B}}}\Vert {f_z}\Vert ^2_{H^2(\gamma )}~d\mu (z)~(f \in H^2(\beta )), \end{aligned}$$

where \(f_z(t)=f(t z)\) is a formal power series in the variable \(t\). In the first half of this paper, we discuss operator theory in spherically balanced Hilbert spaces. The first main result in this part describes quasi-similarity orbit of multiplication tuple \(M_z\) on a spherically balanced space \(H^2(\beta ).\) We also observe that all spherical contractive multi-shifts on spherically balanced spaces admit the classical von Neumann’s inequality. In the second half, we introduce and study a class of Hilbert spaces, to be referred to as \({\mathcal {G}}\)-balanced Hilbert spaces, where \({\mathcal {G}}={\mathcal {U}}(r_1) \times {\mathcal {U}}(r_2) \times \cdots \times {\mathcal {U}}(r_k)\) is a subgroup of \({\mathcal {U}}(m)\) with \(r_1 + \cdots + r_k=m.\) In the case in which \({\mathcal {G}}={\mathcal {U}}(m),\) \({\mathcal {G}}\)-balanced spaces are precisely spherically balanced Hilbert spaces.

     

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

Spectral properties and stability of perturbed Cartesian product

Let \({\mathcal {A}}\) and \({\mathcal {B}}\) be commutative Banach algebras, and let \(T:{\mathcal {B}} \rightarrow {\mathcal {A}}\) be an algebra homomorphism with \({\Vert T\Vert }\le 1\). Then T induces a Banach algebra product \(\times _T\) perturbing the coordinatewise product on the Cartesian product space \({\mathcal {A}} \times {\mathcal {B}}\). We show that the spectral properties like spectral extension property, unique uniform norm property, regularity, weak regularity as well as Ditkin’s condition are stable with respect to this product.     

Derivations,Local and 2-Local Derivations on Some Algebras of Operators on Hilbert C*-Modules

For a commutative C*-algebra \({\mathcal {A}}\) with unit e and a Hilbert \({\mathcal {A}}\)-module \({\mathcal {M}}\), denote by End\(_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all bounded \({\mathcal {A}}\)-linear mappings on \({\mathcal {M}}\), and by End\(^*_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all adjointable mappings on \({\mathcal {M}}\). We prove that if \({\mathcal {M}}\) is full, then each derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is \({\mathcal {A}}\)-linear, continuous, and inner, and each 2-local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) or End\(^{*}_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation. If there exist \(x_0\) in \({\mathcal {M}}\) and \(f_0\) in \({\mathcal {M}}^{'}\), such that \(f_0(x_0)=e\), where \({\mathcal {M}}^{'}\) denotes the set of all bounded \({\mathcal {A}}\)-linear mappings from \({\mathcal {M}}\) to \({\mathcal {A}}\), then each \({\mathcal {A}}\)-linear local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation.     

Invariant and Almost-Invariant Subspaces for Pairs of Idempotents

It is known that every bounded operator on an infinite dimensional separable Hilbert space \({\mathcal{H}}\) has an invariant subspace if and only if each pair of idempotents on \({\mathcal{H}}\) has a common invariant subspace. We show that the same equivalence holds for operators and pairs of idempotents that are essentially selfadjoint. We also show that each pair of idempotents on \({\mathcal{H}}\) has a common almost-invariant half-space.     

Mutually prime sequences of inner functions and the ranks of subspaces over the bidisk

Let \({\{\varphi_n(z)\}_{n\ge0}}\) be a sequence of inner functions satisfying that \({\zeta_n(z):=\varphi_n(z)/\varphi_{n+1}(z)\in H^\infty(z)}\) for every n ≥ 0 and \({\{\varphi_n(z)\}_{n\ge0}}\) have no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace \({\mathcal{M}}\) of \({H^2(\mathbb{D}^2)}\) . We write \({\mathcal{N}= H^2(\mathbb{D}^2)\ominus\mathcal{M}}\) . If \({\{\zeta_n(z)\}_{n\ge0}}\) ia a mutually prime sequence, then we shall prove that \({rank_{\{T^\ast_z,T^\ast_w\}} \mathcal{N}=1}\) and \({rank_{\{\mathcal{F}^\ast_z\}}(\mathcal{M}\ominus w\mathcal{M})=1}\) , where \({\mathcal{F}_z}\) is the fringe operator on \({\mathcal{M}\ominus w\mathcal{M}}\) .     

On decomposability of Multilinear sets

We consider the Multilinear set \({\mathcal {S}}\) defined as the set of binary points (x, y) satisfying a collection of multilinear equations of the form \(y_I = \prod _{i \in I} x_i\), \(I \in {\mathcal {I}}\), where \({\mathcal {I}}\) denotes a family of subsets of \(\{1,\ldots , n\}\) of cardinality at least two. Such sets appear in factorable reformulations of many types of nonconvex optimization problems, including binary polynomial optimization. A great simplification in studying the facial structure of the convex hull of the Multilinear set is possible when \({\mathcal {S}}\) is decomposable into simpler Multilinear sets \({\mathcal {S}}_j\), \(j \in J\); namely, the convex hull of \({\mathcal {S}}\) can be obtained by convexifying each \({\mathcal {S}}_j\), separately. In this paper, we study the decomposability properties of Multilinear sets. Utilizing an equivalent hypergraph representation for Multilinear sets, we derive necessary and sufficient conditions under which \({\mathcal {S}}\) is decomposable into \({\mathcal {S}}_j\), \(j \in J\), based on the structure of pair-wise intersection hypergraphs. Our characterizations unify and extend the existing decomposability results for the Boolean quadric polytope. Finally, we propose a polynomial-time algorithm to optimally decompose a Multilinear set into simpler subsets. Our proposed algorithm can be easily incorporated in branch-and-cut based global solvers as a preprocessing step for cut generation.     

Local Maximum Modulus Property for Polyanalytic Functions

Let \(\Omega \subset {\mathbb {C}}\) be an open subset and let \({\mathcal {F}}\) be a space of functions defined on \(\Omega \). \({\mathcal {F}}\) is said to have the local maximum modulus property if: for every \(f\in {\mathcal {F}},p_0\in \Omega ,\) and for every sufficiently small domain \(D\subset \Omega ,\) with \(p_0\in D,\) it holds true that \(\max _{z\in \overline{D}}\left| f(z)\right| = \max _{z\in \Sigma \cup \partial D}\left| f(z)\right| ,\) where \(\Sigma \subset \Omega \) denotes the set of points at which \(\left| f\right| \) attains strict local maximum. This property fails for \({\mathcal {F}}=C^{\infty }.\) We verify it however for the set of complex-valued functions whose real and imaginary parts are real analytic. We show by example that the property cannot be improved upon whenever \({\mathcal {F}}\) is the set of n-analytic functions on \(\Omega \), \(n\ge 2,\) in the sense that locality cannot be removed as a condition and independently \(\Sigma \) cannot be removed from the conclusion.     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

A Beurling-Blecher-Labuschagne Theorem for Noncommutative Hardy Spaces Associated with Semifinite von Neumann Algebras

We prove a Beurling-Blecher-Labuschagne theorem for \({H^\infty}\)-invariant spaces of \({L^p(\mathcal{M},\tau)}\) when \({0 < p \leq\infty}\), using Arveson’s non-commutative Hardy space \({H^\infty}\) in relation to a von Neumann algebra \({\mathcal{M}}\) with a semifinite, faithful, normal tracial weight \({\tau}\). Using the main result, we are able to completely characterize all \({H^\infty}\)-invariant subspaces of \({L^p(\mathcal{M} \rtimes_\alpha \mathbb{Z},\tau)}\), where \({\mathcal{M} \rtimes_\alpha \mathbb{Z} }\) is a crossed product of a semifinite von Neumann algebra \({\mathcal{M}}\) by the integer group \({\mathbb{Z}}\), and \({H^\infty}\) is a non-selfadjoint crossed product of \({\mathcal{M}}\) by \({\mathbb{Z}^+}\). As an example, we characterize all \({H^\infty}\)-invariant subspaces of the Schatten p-class \({S^p(\mathcal{H})}\), where \({H^\infty}\) is the lower triangular subalgebra of \({B(\mathcal{H})}\), for each \({0 < p \leq\infty}\).     

Semigroups of rectangular matrices under a sandwich operation

Let \({\mathcal {M}}_{mn}={\mathcal {M}}_{mn}({\mathbb {F}})\) denote the set of all \(m\times n\) matrices over a field \({\mathbb {F}}\), and fix some \(n\times m\) matrix \(A\in {\mathcal {M}}_{nm}\). An associative operation \(\star \) may be defined on \({\mathcal {M}}_{mn}\) by \(X\star Y=XAY\) for all \(X,Y\in {\mathcal {M}}_{mn}\), and the resulting sandwich semigroup is denoted \({\mathcal {M}}_{mn}^A={\mathcal {M}}_{mn}^A({\mathbb {F}})\). These semigroups are closely related to Munn rings, which are fundamental tools in the representation theory of finite semigroups. We study \({\mathcal {M}}_{mn}^A\) as well as its subsemigroups \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\) and \({\mathcal {E}}_{mn}^A\) (consisting of all regular elements and products of idempotents, respectively), and the ideals of \(\hbox {Reg}({\mathcal {M}}_{mn}^A)\). Among other results, we characterise the regular elements; determine Green’s relations and preorders; calculate the minimal number of matrices (or idempotent matrices, if applicable) required to generate each semigroup we consider; and classify the isomorphisms between finite sandwich semigroups \({\mathcal {M}}_{mn}^A({\mathbb {F}}_1)\) and \({\mathcal {M}}_{kl}^B({\mathbb {F}}_2)\). Along the way, we develop a general theory of sandwich semigroups in a suitably defined class of partial semigroups related to Ehresmann-style “arrows only” categories; we hope this framework will be useful in studies of sandwich semigroups in other categories. We note that all our results have applications to the variants \({\mathcal {M}}_n^A\) of the full linear monoid \({\mathcal {M}}_n\) (in the case \(m=n\)), and to certain semigroups of linear transformations of restricted range or kernel (in the case that \(\hbox {rank}(A)\) is equal to one of m, n).     

Completely regular clique graphs,II

Let \(\varGamma = (X,R)\) be a connected graph. Then \(\varGamma \) is said to be a completely regular clique graph of parameters (s, c) with \(s\ge 1\) and \(c\ge 1\), if there is a collection \({\mathcal {C}}\) of completely regular cliques of size \(s+1\) such that every edge is contained in exactly c members of \({\mathcal {C}}\). In the previous paper (Suzuki in J Algebr Combin 40:233–244, 2014), we showed, among other things, that a completely regular clique graph is distance-regular if and only if it is a bipartite half of a certain distance-semiregular graph. In this paper, we show that a completely regular clique graph with respect to \({\mathcal {C}}\) is distance-regular if and only if every \({\mathcal {T}}(C)\)-module of endpoint zero is thin for all \(C\in {\mathcal {C}}\). We also discuss the relation between a \({\mathcal {T}}(C)\)-module of endpoint 0 and a \({\mathcal {T}}(x)\)-module of endpoint 1 and study examples of completely regular clique graphs.     

Products of Functions in $$H^1_{\rho }({{\mathcal {X}}})$$ and $${\mathrm {BMO}}_{\rho }({{\mathcal {X}}})$$BMOρ(X) over RD-Spaces and Applications to Schrödinger Operators

Let \(({{\mathcal {X}}},d,\mu )\) be an RD-space, \(H^1_{\rho }({{\mathcal {X}}})\), and \({\mathrm {BMO}}_{\rho }({{\mathcal {X}}})\) be, respectively, the local Hardy space and the local BMO space associated with an admissible function \(\rho \). Under an additional assumption that there exists a specific generalized approximation of the identity, the authors prove that the product \(f\times g\) of \(f\in H^1_{\rho }({{\mathcal {X}}})\) and \(g\in {\mathrm {BMO}}_{\rho }({{\mathcal {X}}})\), viewed as a distribution, can be written into a sum of two bounded bilinear operators, respectively, from \(H^1_{\rho }({{\mathcal {X}}})\times {\mathrm {BMO}}_{\rho } ({{\mathcal {X}}})\) into \(L^1({{\mathcal {X}}})\) and from \(H^1_{\rho }({{\mathcal {X}}}) \times {\mathrm {BMO}}_{\rho } ({{\mathcal {X}}})\) into \(H^{\log }({{\mathcal {X}}})\), which is of wide generality. The authors also give out four applications of this result to Schrödinger operators, respectively, over different underlying spaces, where three of these applications are new.     

Bilinear dual hyperovals in the largest ambient spaces

The following facts are shown for a bilinear dual hyperoval \({\mathcal {S}}\) of rank n. The ambient space \({\mathbf {A}}({\mathcal {S}})\) has vector dimension at most \(n(n+1)/2\). The dimension of \({\mathbf {A}}({\mathcal {S}})\) is \(n(n+1)/2\) if and only if \({\mathcal {S}}\) is isomorphic to the Huybrechts or the Buratti–Del Fra dual hyperoval.     

Convergence of Martingale and Moderate Deviations for a Branching Random Walk with a Random Environment in Time

We consider a branching random walk on \({\mathbb {R}}\) with a stationary and ergodic environment \(\xi =(\xi _n)\) indexed by time \(n\in {\mathbb {N}}\). Let \(Z_n\) be the counting measure of particles of generation n and \(\tilde{Z}_n(t)=\int \mathrm{e}^{tx}Z_n(\mathrm{d}x)\) be its Laplace transform. We show the \(L^p\) convergence rate and the uniform convergence of the martingale \(\tilde{Z}_n(t)/{\mathbb {E}}[\tilde{Z}_n(t)|\xi ]\), and establish a moderate deviation principle for the measures \(Z_n\).     

Hilbert bases and lecture hall partitions

In the interest of finding the minimum additive generating set for the set of \({\varvec{s}}\)-lecture hall partitions, we compute the Hilbert bases for the \({\varvec{s}}\)-lecture hall cones in certain cases. In particular, we determine the Hilbert bases for two well-studied families of sequences, namely the \(1\mod k\) sequences and the \(\ell \)-sequences. Additionally, we provide a characterization of the Hilbert bases for \({\varvec{u}}\)-generated Gorenstein \({\varvec{s}}\)-lecture hall cones in low dimensions.     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

Chebyshev polynomials of the second kind via raising operator preserving the orthogonality

It is well known that monic orthogonal polynomial sequences \(\{T_n\}_{n\ge 0}\) and \(\{U_n\}_{n\ge 0}\), the Chebyshev polynomials of the first and second kind, satisfy the relation \(DT_{n+1}=(n+1)U_n\) (\(n\ge 0\)). One can also easily check that the following “inverse” of the mentioned formula holds: \({\mathcal {U}}_{-1}(U_n)=(n+1)T_{n+1}\) (\(n\ge 0\)), where \({\mathcal {U}}_\xi =x(xD+{\mathbb {I}})+\xi D\) with \(\xi \) being an arbitrary nonzero parameter and \({\mathbb {I}}\) representing the identity operator. Note that whereas the first expression involves the operator D which lowers the degree by one, the second one involves \({\mathcal {U}}_\xi \) which raises the degree by one (i.e. it is a “raising operator”). In this paper it is shown that the scaled Chebyshev polynomial sequence \(\{a^{-n}U_n(ax)\}_{n\ge 0}\) where \(a^2=-\xi ^{-1}\), is actually the only monic orthogonal polynomial sequence which is \({\mathcal {U}}_\xi \)-classical (i.e. for which the application of the raising operator \({\mathcal {U}}_\xi \) turns the original sequence into another orthogonal one).