The Finite Hankel Transform Operator: Some Explicit and Local Estimates of the Eigenfunctions and Eigenvalues Decay Rates

For fixed real numbers \(c>0,\)\(\alpha >-\frac{1}{2},\) the finite Hankel transform operator, denoted by \(\mathcal {H}_c^{\alpha }\) is given by the integral operator defined on \(L^2(0,1)\) with kernel \(K_{\alpha }(x,y)= \sqrt{c xy} J_{\alpha }(cxy).\) To the operator \(\mathcal {H}_c^{\alpha },\) we associate a positive, self-adjoint compact integral operator \(\mathcal Q_c^{\alpha }=c\, \mathcal {H}_c^{\alpha }\, \mathcal {H}_c^{\alpha }.\) Note that the integral operators \(\mathcal {H}_c^{\alpha }\) and \(\mathcal Q_c^{\alpha }\) commute with a Sturm-Liouville differential operator \(\mathcal D_c^{\alpha }.\) In this paper, we first give some useful estimates and bounds of the eigenfunctions \(\varphi ^{(\alpha )}_{n,c}\) of \(\mathcal H_c^{\alpha }\) or \(\mathcal Q_c^{\alpha }.\) These estimates and bounds are obtained by using some special techniques from the theory of Sturm-Liouville operators, that we apply to the differential operator \(\mathcal D_c^{\alpha }.\) If \((\mu _{n,\alpha }(c))_n\) and \(\lambda _{n,\alpha }(c)=c\, |\mu _{n,\alpha }(c)|^2\) denote the infinite and countable sequence of the eigenvalues of the operators \(\mathcal {H}_c^{(\alpha )}\) and \(\mathcal Q_c^{\alpha },\) arranged in the decreasing order of their magnitude, then we show an unexpected result that for a given integer \(n\ge 0,\)\(\lambda _{n,\alpha }(c)\) is decreasing with respect to the parameter \(\alpha .\) As a consequence, we show that for \(\alpha \ge \frac{1}{2},\) the \(\lambda _{n,\alpha }(c)\) and the \(\mu _{n,\alpha }(c)\) have a super-exponential decay rate. Also, we give a lower decay rate of these eigenvalues. As it will be seen, the previous results are essential tools for the analysis of a spectral approximation scheme based on the eigenfunctions of the finite Hankel transform operator. Some numerical examples will be provided to illustrate the results of this work.     

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

Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

<Emphasis Type="Italic">q</Emphasis>-Frequent hypercyclicity in spaces of operators

We provide conditions for a linear map of the form \(C_{R,T}(S)=RST\) to be q-frequently hypercyclic on algebras of operators on separable Banach spaces. In particular, if R is a bounded operator satisfying the q-frequent hypercyclicity criterion, then the map \(C_{R}(S)=RSR^*\) is shown to be q-frequently hypercyclic on the space \(\mathcal {K}(H)\) of all compact operators and the real topological vector space \(\mathcal {S}(H)\) of all self-adjoint operators on a separable Hilbert space H. Further we provide a condition for \(C_{R,T}\) to be q-frequently hypercyclic on the Schatten von Neumann classes \(S_p(H)\). We also characterize frequent hypercyclicity of \(C_{M^*_\varphi ,M_\psi }\) on the trace-class of the Hardy space, where the symbol \(M_\varphi \) denotes the multiplication operator associated to \(\varphi \).     

On the Chaoticity of Some Tensor Product Weighted Backward Shift Operators Acting on Some Tensor Product Fock–Bargmann Spaces

In Advances in Mathematical Physics (2011) we showed that the weighted shift \(z^{p}\frac{d^{p+1}}{dz^{p+1}} (p=0, 1, 2,\ldots )\) acting on classical Bargmann space \(\mathbb {B}_{p}\) is chaotic operator. In Journal of Mathematical physics (2014), we constructed an chaotic weighted shift \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1} (p=0, 1, 2,\ldots )\) on some lattice Fock–Bargmann \(\mathbb {E}_{p}^{\alpha }\) generated by the orthonormal basis \( {e_{m}^{(\alpha ,p)}(z) = e_{m}^{\alpha } ; m=p, p+1,\ldots }\) where \( {e_{m}^{\alpha }(z) = (\frac{2\nu }{\pi })^{1/4}e^{\frac{\nu }{2}z^{2}}e^{-\frac{\pi ^{2}}{\nu }(m +\alpha )^{2} +2i\pi (m +\alpha )z}; m \in \mathbb {N}}\) with \(\nu , \alpha \) are real numbers; \(\nu > 0\), \(\mathbb {M}\) is an weighted shift and \(\mathbb {M^{*}}\) is the adjoint of the \(\mathbb {M}\). In this paper we study the chaoticity of tensor product \(\mathbb {M}^{*^{p}}\mathbb {M}^{p+1}\otimes z^{p}\frac{d^{p}}{dz^{p+1}} (p=0, 1, 2, \ldots )\) acting on \(\mathbb {E}_{p}^{\alpha }\otimes \mathbb {B}_{p}\).     

New lower bounds for the Shannon capacity of odd cycles

The Shannon capacity of a graph G is defined as \(c(G)=\sup _{d\ge 1}(\alpha (G^d))^{\frac{1}{d}},\) where \(\alpha (G)\) is the independence number of G. The Shannon capacity of the cycle \(C_5\) on 5 vertices was determined by Lovász in 1979, but the Shannon capacity of a cycle \(C_p\) for general odd p remains one of the most notorious open problems in information theory. By prescribing stabilizers for the independent sets in \(C_p^d\) and using stochastic search methods, we show that \(\alpha (C_7^5)\ge 350\), \(\alpha (C_{11}^4)\ge 748\), \(\alpha (C_{13}^4)\ge 1534\), and \(\alpha (C_{15}^3)\ge 381\). This leads to improved lower bounds on the Shannon capacity of \(C_7\) and \(C_{15}\): \(c(C_7)\ge 350^{\frac{1}{5}}> 3.2271\) and \(c(C_{15})\ge 381^{\frac{1}{3}}> 7.2495\).     

Arithmetic properties for a partition function related to the Ramanujan/Watson mock theta function $$\omega (q)$$

Recently, Andrews, Dixit, and Yee introduced a new partition function \(p_{\omega }(n)\) that denotes the number of partitions of n in which each odd part is less than twice the smallest part. The generating function of \(p_{\omega }(n)\) is associated with the third-order mock theta function \(\omega (q)\). Andrews, Passary, Sellers, and Yee proved three infinite families of congruences modulo 4 and 8 for \(p_{\omega }(n)\) and provided elementary proofs of congruences modulo 5 for \(p_{\omega }(n)\) which were first discovered by Waldherr. In this paper, we prove some new congruences modulo 5 and powers of 2 for \(p_{\omega }(n)\). In particular, we obtain some non-standard congruences for \(p_{\omega }(n)\). For example, we prove that for \(k\ge 0\), \( p_{\omega }\left( \frac{7\times 5^{2k+1}+1 }{3}\right) \equiv (-1)^k \ (\mathrm{mod}\ 5) \) and \( p_\omega \left( \frac{2^{2k+7}+1}{3}\right) \equiv 1251 \times (-1)^k \ (\mathrm{mod}\ 2^{11})\).     

Some new Kirkman signal sets

A decomposition of the blocks of an \(\textsf {STS}(v)\) into partial parallel classes of size m is equivalent to a Kirkman signal set \(\textsf {KSS}(v,m)\). We give decompositions of \(\textsf {STS}(4v-3)\) into classes of size \(v-1\) when \(v \equiv 3 \pmod {6}\), \(v \not = 3\). We also give decompositions of \(\textsf {STS}(v)\) into classes of various sizes when v is a product of two arbitrary integers that are both congruent to \(3 \pmod {6}\). These results produce new families of \(\textsf {KSS}(v,m)\).     

Ramanujan-type congruences for overpartitions modulo 16

Let \(\bar{p}(n)\) denote the number of overpartitions of \(n\). Recently, Fortin–Jacob–Mathieu and Hirschhorn–Sellers independently obtained 2-, 3- and 4-dissections of the generating function for \(\bar{p}(n)\) and derived a number of congruences for \(\bar{p}(n)\) modulo 4, 8 and 64 including \(\bar{p}(8n+7)\equiv 0 \pmod {64}\) for \(n\ge 0\). In this paper, we give a 16-dissection of the generating function for \(\bar{p}(n)\) modulo 16 and show that \(\bar{p}(16n+14)\equiv 0\pmod {16}\) for \(n\ge 0\). Moreover, using the \(2\)-adic expansion of the generating function for \(\bar{p}(n)\) according to Mahlburg, we obtain that \(\bar{p}(\ell ^2n+r\ell )\equiv 0\pmod {16}\), where \(n\ge 0\), \(\ell \equiv -1\pmod {8}\) is an odd prime and \(r\) is a positive integer with \(\ell \not \mid r\). In particular, for \(\ell =7\) and \(n\ge 0\), we get \(\bar{p}(49n+7)\equiv 0\pmod {16}\) and \(\bar{p}(49n+14)\equiv 0\pmod {16}\). We also find four congruence relations: \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n) \pmod {16}\) for \(n\ge 0\), \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {32}\) where \(n\) is not a square of an odd positive integer, \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {64}\) for \(n\not \equiv 1,2,5\pmod {8}\) and \(\bar{p}(4n)\equiv (-1)^n\bar{p}(n)\pmod {128}\) for \(n\equiv 0\pmod {4}\).     

Nilpotent residual of fixed points

Let q be a prime and A a finite q-group of exponent q acting by automorphisms on a finite \(q'\)-group G. Assume that A has order at least \(q^3\). We show that if \(\gamma _{\infty } (C_{G}(a))\) has order at most m for any \(a \in A^{\#}\), then the order of \(\gamma _{\infty } (G)\) is bounded solely in terms of m and q. If \(\gamma _{\infty } (C_{G}(a))\) has rank at most r for any \(a \in A^{\#}\), then the rank of \(\gamma _{\infty } (G)\) is bounded solely in terms of r and q.     

Sharp Bounds for the Ratio of Modified Bessel Functions

Let \(I_{\nu }( x) \) be the modified Bessel functions of the first kind of order \(\nu \), and \(S_{p,\nu }( x) =W_{\nu }( x) ^{2}-2pW_{\nu }( x) -x^{2}\) with \(W_{\nu }( x) =xI_{\nu }( x) /I_{\nu +1}( x) \). We achieve necessary and sufficient conditions for the inequality \(S_{p,\nu }( x) <u\) or \(S_{p,\nu }( x) >l\) to hold for \(x>0\) by establishing the monotonicity of \(S_{p,\nu }(x)\) in \(x\in ( 0,\infty ) \) with \(\nu >-3/2\). In addition, the best parameters p and q are obtained to the inequality \(W_{\nu }( x) <( >) p+\sqrt{ x^{2}+q^{2}}\) for \(x>0\). Our main achievements improve some known results, and it seems to answer an open problem recently posed by Hornik and Grün (J Math Anal Appl 408:91–101, 2013).     

Arithmetic properties of 7-regular partitions

Let \(b_{\ell }(n)\) denote the number of \(\ell \)-regular partitions of n. By employing the modular equation of seventh order, we establish the following congruence for \(b_{7}(n)\) modulo powers of 7: for \(n\ge 0\) and \(j\ge 1\),

$$\begin{aligned} b_{7}\left( 7^{2j-1}n+\frac{3\cdot 7^{2j}-1}{4}\right) \equiv 0 \pmod {7^j}. \end{aligned}$$

We also find some infinite families of congruences modulo 2 and 7 satisfied by \(b_{7}(n)\).

     

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.     

The Sharp Weighted Bound for Multilinear Maximal Functions and Calderón–Zygmund Operators

We investigate the weighted bounds for multilinear maximal functions and Calderón–Zygmund operators from \(L^{p_1}(w_1)\times \cdots \times L^{p_m}(w_m)\) to \(L^{p}(v_{\vec {w}})\), where \(1<p_1,\cdots ,p_m<\infty \) with \(1/{p_1}+\cdots +1/{p_m}=1/p\) and \(\vec {w}\) is a multiple \(A_{\vec {P}}\) weight. We prove the sharp bound for the multilinear maximal function for all such \(p_1,\ldots , p_m\) and prove the sharp bound for \(m\)-linear Calderón–Zymund operators when \(p\ge 1\).     

On color-preserving automorphisms of Cayley graphs of odd square-free order

An automorphism \(\alpha \) of a Cayley graph \(\mathrm{Cay}(G,S)\) of a group G with connection set S is color-preserving if \(\alpha (g,gs) = (h,hs)\) or \((h,hs^{-1})\) for every edge \((g,gs)\in E(\mathrm{Cay}(G,S))\). If every color-preserving automorphism of \(\mathrm{Cay}(G,S)\) is also affine, then \(\mathrm{Cay}(G,S)\) is a Cayley color automorphism (CCA) graph. If every Cayley graph \(\mathrm{Cay}(G,S)\) is a CCA graph, then G is a CCA group. Hujdurovi? et al. have shown that every non-CCA group G contains a section isomorphic to the non-abelian group \(F_{21}\) of order 21. We first show that there is a unique non-CCA Cayley graph \(\Gamma \) of \(F_{21}\). We then show that if \(\mathrm{Cay}(G,S)\) is a non-CCA graph of a group G of odd square-free order, then \(G = H\times F_{21}\) for some CCA group H, and \(\mathrm{Cay}(G,S) = \mathrm{Cay}(H,T)\mathbin {\square }\Gamma \).     

Transience and Recurrence of Random Walks on Percolation Clusters in an Ultrametric Space

We study transience and recurrence of simple random walks on percolation clusters in the hierarchical group of order N, which is an ultrametric space. The connection probability on the hierarchical group for two points separated by distance k is of the form \(c_k/N^{k(1+\delta )}, \delta >0\), with \(c_k=C_0+C_1\log k+C_2k^\alpha \), non-negative constants \(C_0, C_1, C_2\), and \(\alpha >0\). Percolation occurs for \(\delta <1\), and for the critical case, \(\delta =1\), \(\alpha >0\) and sufficiently large \(C_2\). We show that in the case \(\delta <1\) the walk is transient, and in the case \(\delta =1,C_2>0,\alpha >0\) there exists a critical \(\alpha _\mathrm{c}\in (0,\infty )\) such that the walk is recurrent for \(\alpha <\alpha _\mathrm{c}\) and transient for \(\alpha >\alpha _\mathrm{c}\). The proofs involve ultrametric random graphs, graph diameters, path lengths, and electric circuit theory. Some comparisons are made with behaviours of simple random walks on long-range percolation clusters in the one-dimensional Euclidean lattice.     

Groups with a ternary equivalence relation

We consider in a group \((G,\cdot )\) the ternary relation

$$\begin{aligned} \kappa := \{(\alpha , \beta , \gamma ) \in G^3 \ | \ \alpha \cdot \beta ^{-1} \cdot \gamma = \gamma \cdot \beta ^{-1} \cdot \alpha \} \end{aligned}$$

and show that \(\kappa \) is a ternary equivalence relation if and only if the set \( \mathfrak Z \) of centralizers of the group G forms a fibration of G (cf. Theorems 2, 3). Therefore G can be provided with an incidence structure

$$\begin{aligned} \mathfrak G:= \{\gamma \cdot Z \ | \ \gamma \in G , Z \in \mathfrak Z(G) \}. \end{aligned}$$

We study the automorphism group of \((G,\kappa )\), i.e. all permutations \(\varphi \) of the set G such that \( (\alpha , \beta , \gamma ) \in \kappa \) implies \((\varphi (\alpha ),\varphi (\beta ),\varphi (\gamma ))\in \kappa \). We show \(\mathrm{Aut}(G,\kappa )=\mathrm{Aut}(G,\mathfrak G)\), \(\mathrm{Aut} (G,\cdot ) \subseteq \mathrm{Aut}(G,\kappa )\) and if \( \varphi \in \mathrm{Aut}(G,\kappa )\) with \(\varphi (1)=1\) and \(\varphi (\xi ^{-1})= (\varphi (\xi ))^{-1}\) for all \(\xi \in G\) then \(\varphi \) is an automorphism of \((G,\cdot )\). This allows us to prove a representation theorem of \(\mathrm{Aut}(G,\kappa )\) (cf. Theorem 6) and that for \(\alpha \in G \) the maps

$$\begin{aligned} \tilde{\alpha }\ : \ G \rightarrow G;~ \xi \mapsto \alpha \cdot \xi ^{-1} \cdot \alpha \end{aligned}$$

of the corresponding reflection structure \((G, \widetilde{G})\) (with \( \tilde{G} := \{\tilde{\gamma }\ | \ \gamma \in G \}\)) are point reflections. If \((G ,\cdot )\) is uniquely 2-divisible and if for \(\alpha \in G\), \(\alpha ^{1\over 2}\) denotes the unique solution of \(\xi ^2=\alpha \) then with \(\alpha \odot \beta := \alpha ^{1\over 2} \cdot \beta \cdot \alpha ^{1\over 2}\), the pair \((G,\odot )\) is a K-loop (cf. Theorem 5).