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\).     

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.     

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.     

Some Characterizations of Integral Operators Associated with Certain Classes of <Emphasis Type="Italic">p</Emphasis>-Valent Functions Defined by the Srivastava–Saigo–Owa Fractional Differintegral Operator

The purpose of this paper is to introduce new integral operators associated with Srivastava–Saigo–Owa fractional differintegral operator. We investigate some properties for the integral operators \({\mathcal {F}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) and \({\mathcal {G}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) to be in the classes \({\mathcal {R}}_{k}^{\zeta }\left( p,\rho \right) \) and \({\mathcal {V}}_{k}^{\zeta }\left( p,\rho \right) \).     

Central Limit Theorem for Linear Eigenvalue Statistics for a Tensor Product Version of Sample Covariance Matrices

For \(k,m,n\in {\mathbb {N}}\), we consider \(n^k\times n^k\) random matrices of the form

$$\begin{aligned} {\mathcal {M}}_{n,m,k}({\mathbf {y}})=\sum _{\alpha =1}^m\tau _\alpha {Y_\alpha }Y_\alpha ^T,\quad {Y}_\alpha ={\mathbf {y}}_\alpha ^{(1)}\otimes \cdots \otimes {\mathbf {y}}_\alpha ^{(k)}, \end{aligned}$$

where \(\tau _{\alpha }\), \(\alpha \in [m]\), are real numbers and \({\mathbf {y}}_\alpha ^{(j)}\), \(\alpha \in [m]\), \(j\in [k]\), are i.i.d. copies of a normalized isotropic random vector \({\mathbf {y}}\in {\mathbb {R}}^n\). For every fixed \(k\ge 1\), if the Normalized Counting Measures of \(\{\tau _{\alpha }\}_{\alpha }\) converge weakly as \(m,n\rightarrow \infty \), \(m/n^k\rightarrow c\in [0,\infty )\) and \({\mathbf {y}}\) is a good vector in the sense of Definition 1.1, then the Normalized Counting Measures of eigenvalues of \({\mathcal {M}}_{n,m,k}({\mathbf {y}})\) converge weakly in probability to a nonrandom limit found in Marchenko and Pastur (Math USSR Sb 1:457–483, 1967). For \(k=2\), we define a subclass of good vectors \({\mathbf {y}}\) for which the centered linear eigenvalue statistics \(n^{-1/2}{{\mathrm{Tr}}}\varphi ({\mathcal {M}}_{n,m,2}({\mathbf {y}}))^\circ \) converge in distribution to a Gaussian random variable, i.e., the Central Limit Theorem is valid.

     

Sandwich semigroups in locally small categories II: transformations

Fix sets X and Y, and write \(\mathcal P\mathcal T_{XY}\) for the set of all partial functions \(X\rightarrow Y\). Fix a partial function \({a:Y\rightarrow X}\), and define the operation \(\star _a\) on \(\mathcal P\mathcal T_{XY}\) by \(f\star _ag=fag\) for \(f,g\in \mathcal P\mathcal T_{XY}\). The sandwich semigroup \((\mathcal P\mathcal T_{XY},\star _a)\) is denoted \(\mathcal P\mathcal T_{XY}^a\). We apply general results from Part I to thoroughly describe the structural and combinatorial properties of \(\mathcal P\mathcal T_{XY}^a\), as well as its regular and idempotent-generated subsemigroups, \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). After describing regularity, stability and Green’s relations and preorders, we exhibit \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) as a pullback product of certain regular subsemigroups of the (non-sandwich) partial transformation semigroups \(\mathcal P\mathcal T_X\) and \(\mathcal P\mathcal T_Y\), and as a kind of “inflation” of \(\mathcal P\mathcal T_A\), where A is the image of the sandwich element a. We also calculate the rank (minimal size of a generating set) and, where appropriate, the idempotent rank (minimal size of an idempotent generating set) of \(\mathcal P\mathcal T_{XY}^a\), \({\text {Reg}}(\mathcal P\mathcal T_{XY}^a)\) and \(\mathbb E(\mathcal P\mathcal T_{XY}^a)\). The same program is also carried out for sandwich semigroups of totally defined functions and for injective partial functions. Several corollaries are obtained for various (non-sandwich) semigroups of (partial) transformations with restricted image, domain and/or kernel.     

Extension sets,affine designs,and Hamada’s conjecture

We introduce the notion of an extension set for an affine plane of order q to study affine designs \({\mathcal {D}}'\) with the same parameters as, but not isomorphic to, the classical affine design \({\mathcal {D}} = \mathrm {AG}_2(3,q)\) formed by the points and planes of the affine space \(\mathrm {AG}(3,q)\) which are very close to this geometric example in the following sense: there are blocks \(B'\) and B of \({\mathcal {D}'}\) and \({\mathcal {D}}\), respectively, such that the residual structures \({\mathcal {D}}'_{B'}\) and \({\mathcal {D}}_B\) induced on the points not in \(B'\) and B, respectively, agree. Moreover, the structure \({\mathcal {D}}'(B')\) induced on \(B'\) is the q-fold multiple of an affine plane \({\mathcal {A}}'\) which is determined by an extension set for the affine plane \(B \cong AG(2,q)\). In particular, this new approach will result in a purely theoretical construction of the two known counterexamples to Hamada’s conjecture for the case \(\mathrm {AG}_2(3,4)\), which were discovered by Harada et al. [7] as the result of a computer search; a recent alternative construction, again via a computer search, is in [23]. On the other hand, we also prove that extension sets cannot possibly give any further counterexamples to Hamada’s conjecture for the case of affine designs with the parameters of some \(\mathrm {AG}_2(3,q)\); thus the two counterexamples for \(q=4\) might be truly sporadic. This seems to be the first result which establishes the validity of Hamada’s conjecture for some infinite class of affine designs of a special type. Nevertheless, affine designs which are that close to the classical geometric examples are of interest in themselves, and we provide both theoretical and computational results for some particular types of extension sets. Specifically, we obtain a theoretical construction for one of the two affine designs with the parameters of \(\mathrm {AG}_2(3,3)\) and 3-rank 11 and for an affine design with the parameters of \(\mathrm {AG}_2(3,4)\) and 2-rank 17 (in both cases, just one more than the rank of the classical example).     

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.     

On the connectedness of the set of Riemann surfaces with real moduli

The moduli space \({\mathcal {M}}_{g}\), of genus \(g\ge 2\) closed Riemann surfaces, is a complex orbifold of dimension \(3(g-1)\) which carries a natural real structure, i.e. it admits an anti-holomorphic involution \(\sigma \). The involution \(\sigma \) maps each point corresponding to a Riemann surface S to its complex conjugate \(\overline{S}\). The fixed point set of \(\sigma \) consists of the isomorphism classes of closed Riemann surfaces admitting an anticonformal automorphism. Inside \(\mathrm {Fix}(\sigma )\) is the locus \({\mathcal {M}}_{g}(\mathbb {R})\), the set of real Riemann surfaces, which is known to be connected by results due to P. Buser, M. Seppälä, and R. Silhol. The complement \(\mathrm {Fix}(\sigma )-{\mathcal {M}}_{g}(\mathbb {R})\) consists of the so called pseudo-real Riemann surfaces, which is known to be non-connected. In this short note we provide a simple argument to observe that \(\mathrm {Fix}(\sigma )\) is connected.     

On Reachable Families of the Loewner Differential Equation in Several Complex Variables

Graham, Hamada, Kohr and Kohr studied the normalized time \(T\) reachable families \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) of the Loewner differential equation, which are generated by the Carathéodory mappings with values in a subfamily \(\Omega \) of the Carathéodory family \({\mathcal {N}}_A\) for the Euclidean unit ball \({\mathbb {B}}^n\), where \(A\) is a linear operator with \(k_+(A)<2m(A)\) (\(k_+(A)\) is the Lyapunov index of \(A\) and \(m(A)=\min \{\mathfrak {R}\left\langle Az,z\right\rangle \big |z\in {\mathbb {C}}^n,\Vert z\Vert =1\}\)). They obtained some compactness and density results, as generalizations of related results due to Roth, and conjectured that if \(\Omega \) is compact and convex, then \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) is compact and \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},ex\,\Omega )\) is dense in \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\), where \(ex\,\Omega \) denotes the corresponding set of extreme points and \(T\in [0,\infty ]\). We confirm this, by embedding the Carathéodory mappings in a suitable Bochner space.     

Regularity for Inhomogeneous Dirichlet Problems of Some Schrödinger Equations on Domains

Let \(n\ge 3, \Omega \) be a bounded, simply connected and semiconvex domain in \({\mathbb {R}}^n\) and \(L_{\Omega }:=-\Delta +V\) a Schrödinger operator on \(L^2 (\Omega )\) with the Dirichlet boundary condition, where \(\Delta \) denotes the Laplace operator and the potential \(0\le V\) belongs to the reverse Hölder class \(RH_{q_0}({\mathbb {R}}^n)\) for some \(q_0\in (\max \{n/2,2\},\infty ]\). Assume that the growth function \(\varphi :\,{\mathbb {R}}^n\times [0,\infty ) \rightarrow [0,\infty )\) satisfies that \(\varphi (x,\cdot )\) is an Orlicz function and \(\varphi (\cdot ,t)\in {\mathbb {A}}_{\infty }({\mathbb {R}}^n)\) (the class of uniformly Muckenhoupt weights). Let \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) be the Musielak–Orlicz–Hardy space whose elements are restrictions of elements of the Musielak–Orlicz–Hardy space, associated with \(L_{{\mathbb {R}}^n}:=-\Delta +V\) on \({\mathbb {R}}^n\), to \(\Omega \). In this article, the authors show that the operators \(VL^{-1}_\Omega \) and \(\nabla ^2L^{-1}_\Omega \) are bounded from \(L^1(\Omega )\) to weak-\(L^1(\Omega )\), from \(L^p(\Omega )\) to itself, with \(p\in (1,2]\), and also from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to the Musielak–Orlicz space \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself. As applications, the boundedness of \(\nabla ^2{\mathbb {G}}_D\) on \(L^p(\Omega )\), with \(p\in (1,2]\), and from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself is obtained, where \({\mathbb {G}}_D\) denotes the Dirichlet Green operator associated with \(L_\Omega \). All these results are new even for the Hardy space \(H^1_{L_{{\mathbb {R}}^n},\,r}(\Omega )\), which is just \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) with \(\varphi (x,t):=t\) for all \(x\in {\mathbb {R}}^n\) and \(t\in [0,\infty )\).     

There is exactly one $${\mathbb {Z}}_2{\mathbb {Z}}_4$$-cyclic 1-perfect code

Let \(\mathcal{C}\) be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive code of length \(n > 3\). We prove that if the binary Gray image of \(\mathcal{C}\) is a 1-perfect nonlinear code, then \(\mathcal{C}\) cannot be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic code except for one case of length \(n=15\). Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive 1-perfect code gives a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive extended 1-perfect code. We also prove that such a code cannot be \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic.     

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).     

Diagonalization of the Finite Hilbert Transform on Two Adjacent Intervals

We continue the study of stability of solving the interior problem of tomography. The starting point is the Gelfand–Graev formula, which converts the tomographic data into the finite Hilbert transform (FHT) of an unknown function f along a collection of lines. Pick one such line, call it the x-axis, and assume that the function to be reconstructed depends on a one-dimensional argument by restricting f to the x-axis. Let \(I_1\) be the interval where f is supported, and \(I_2\) be the interval where the Hilbert transform of f can be computed using the Gelfand–Graev formula. The equation to be solved is \(\left. {\mathcal {H}}_1 f=g\right| _{I_2}\), where \({\mathcal {H}}_1\) is the FHT that integrates over \(I_1\) and gives the result on \(I_2\), i.e. \({\mathcal {H}}_1: L^2(I_1)\rightarrow L^2(I_2)\). In the case of complete data, \(I_1\subset I_2\), and the classical FHT inversion formula reconstructs f in a stable fashion. In the case of interior problem (i.e., when the tomographic data are truncated), \(I_1\) is no longer a subset of \(I_2\), and the inversion problems becomes severely unstable. By using a differential operator L that commutes with \({\mathcal {H}}_1\), one can obtain the singular value decomposition of \({\mathcal {H}}_1\). Then the rate of decay of singular values of \({\mathcal {H}}_1\) is the measure of instability of finding f. Depending on the available tomographic data, different relative positions of the intervals \(I_{1,2}\) are possible. The cases when \(I_1\) and \(I_2\) are at a positive distance from each other or when they overlap have been investigated already. It was shown that in both cases the spectrum of the operator \({\mathcal {H}}_1^*{\mathcal {H}}_1\) is discrete, and the asymptotics of its eigenvalues \(\sigma _n\) as \(n\rightarrow \infty \) has been obtained. In this paper we consider the case when the intervals \(I_1=(a_1,0)\) and \(I_2=(0,a_2)\) are adjacent. Here \(a_1 < 0 < a_2\). Using recent developments in the Titchmarsh–Weyl theory, we show that the operator L corresponding to two touching intervals has only continuous spectrum and obtain two isometric transformations \(U_1\), \(U_2\), such that \(U_2{\mathcal {H}}_1 U_1^*\) is the multiplication operator with the function \(\sigma (\lambda )\), \(\lambda \ge (a_1^2+a_2^2)/8\). Here \(\lambda \) is the spectral parameter. Then we show that \(\sigma (\lambda )\rightarrow 0\) as \(\lambda \rightarrow \infty \) exponentially fast. This implies that the problem of finding f is severely ill-posed. We also obtain the leading asymptotic behavior of the kernels involved in the integral operators \(U_1\), \(U_2\) as \(\lambda \rightarrow \infty \). When the intervals are symmetric, i.e. \(-a_1=a_2\), the operators \(U_1\), \(U_2\) are obtained explicitly in terms of hypergeometric functions.     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

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.