Some homological properties of {T}-Lau product algebras

Let \({T}\) be a homomorphism from a Banach algebra \({B}\) to a Banach algebra \({A}\). The Cartesian product space \({A\times B}\) with \({T}\)-Lau multiplication and \({\ell^1}\)-norm becomes a new Banach algebra \({A\times _T B}\). We investigate the notions such as approximate amenability, pseudo amenability, \({\phi}\)-pseudo amenability, \({\phi}\)-biflatness and \({\phi}\)-biprojectivity for Banach algebra \({A\times_T B}\). We also present an example to show that approximate amenability of \({A}\) and \({B}\) is not stable for \({A\times _TB}\). Finally we characterize the double centralizer algebra of \({A\times _T B}\) and present an application of this characterization.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Cantor’s intersection theorem for <Emphasis Type="Italic">K</Emphasis>-metric spaces with a solid cone and a contraction principle

We establish an extension of Cantor’s intersection theorem for a \({K}\)-metric space (\({X, d}\)), where \({d}\) is a generalized metric taking values in a solid cone \({K}\) in a Banach space \({E}\). This generalizes a recent result of Alnafei, Radenovi? and Shahzad (2011) obtained for a \({K}\)-metric space over a solid strongly minihedral cone. Next we show that our Cantor’s theorem yields a special case of a generalization of Banach’s contraction principle given very recently by Cvetkovi? and Rako?evi? (2014): we assume that a mapping \({T}\) satisfies the condition “\({d(Tx, Ty) \preceq \Lambda (d(x, y))}\)” for \({x, y \in X}\), where \({\preceq}\) is a partial order induced by \({K}\), and \({\Lambda : E \rightarrow E}\) is a linear positive operator with the spectral radius less than one. We also obtain new characterizations of convergence in the sense of Huang and Zhang in a \({K}\)-metric space.     

Supercyclicity in Spaces of Operators

A sufficient criterion for the map \({C_{A, B}(S) = ASB}\) to be supercyclic on certain algebras of operators on Banach spaces is given. If T is an operator satisfying the Supercyclicity Criterion on a Hilbert space H, then the linear map \({C_{T}(V) = TVT^*}\) is shown to be norm-supercyclic on the algebra \({\mathcal{K}(H)}\) of all compact operators, COT-supercyclic on the real subspace \({\mathcal{S}(H)}\) of all self-adjoint operators and weak*-supercyclic on \({\mathcal{L}(H)}\) of all bounded operators on H. Examples including operators of the form \({C_{B_w, F_\mu}}\) are provided, where B_w and \({F_\mu}\) are respectively backward and forward shifts on Banach sequence spaces.     

Diameter Two Properties,Convexity and Smoothness

We study smoothness and strict convexity of (the bidual) of Banach spaces in the presence of diameter 2 properties.We prove that the strong diameter 2 property prevents the bidual from being strictly convex and being smooth, and we initiate the investigation whether the same is true for the (local) diameter 2 property. We also give characterizations of the following property for a Banach space \({X}\): “For every slice \({S}\) of \({B_X}\) and every norm-one element \({x}\) in \({S}\), there is a point \({y \in S}\) in distance as close to 2 as we want.” Spaces with this property are shown to have non-smooth bidual.     

On a separable weak version of the bounded approximation property

Recently, Lee introduced and studied the separable weak bounded approximation property (BAP). Lee proved that the separable weak BAP of \({X^*}\), the dual space of a Banach space \({X}\), coincides with the BAP of \({X^*}\) whenever \({X^{**}}\) has the weak Radon–Nikodým property. We show that the separable weak BAP and the BAP are always the same properties.     

{{C^m}} Positive Eigenvectors for Linear Operators Arising in the Computation of Hausdorff Dimension

We consider a broad class of linear Perron–Frobenius operators \({\Lambda:X \rightarrow X}\), where \({X}\) is a real Banach space of \({C^m}\) functions. We prove the existence of a strictly positive \({C^m}\) eigenvector \({v}\) with eigenvalue \({r=r(\Lambda) =}\) the spectral radius of \({\Lambda}\). We prove (see Theorem 6.5 in Sect. 6 of this paper) that \({r(\Lambda)}\) is an algebraically simple eigenvalue and that, if \({\sigma(\Lambda)}\) denotes the spectrum of the complexification of \({\Lambda,\sigma(\Lambda) \backslash \{r(\Lambda)\}\subseteq \{\zeta \in \mathbb{C} \big| |\zeta| \le r_*\}}\), where \({r_* < r(\Lambda)}\). Furthermore, if \({u \in X}\) is any strictly positive function, \({(\frac 1r \Lambda)^k(u) \rightarrow s_u v}\) as \({k \rightarrow \infty}\), where \({s_u > 0}\) and convergence is in the norm topology on \({X}\). In applications to the computation of Hausdorff dimension, one is given a parametrized family \({\Lambda_s,s > s_*}\), of such operators and one wants to determine the (unique) value \({s_0}\) such that \({r(\Lambda_{s_0})=1}\). In another paper (Falk and Nussbaum in C\({^{\rm m}}\) Eigenfunctions of Perron–Frobenius operators and a new approach to numerical computation of Hausdorff dimension, submitted) we prove that explicit estimates on the partial derivatives of the positive eigenvector \({v_s}\) of \({\Lambda_s}\) can be obtained and that this information can be used to give rigorous, sharp upper and lower bounds for \({s_0}\).     

On generalized Hyers-Ulam stability of additive mapings on restricted domains of Banach spaces

Let \({(G,\cdot)}\) be a group (not necessarily Abelian) with unit \({e}\) and \({E}\) be a Banach space. In this paper, we show that there exist \({\alpha(p) > 0}\) for any \({0 < p < 1}\) and \({\beta(p,\varepsilon),\gamma(p,\varepsilon) > 0}\) for any \({0 < \varepsilon < \alpha(p)}\), such that for any surjective map \({f: G\rightarrow E}\) satisfying \({\big|\|f(x) + f(y)\|-\|f(xy) \|\big|\leq\varepsilon \|f(x)+f(y)\|^p}\) for all \({x,y\in G}\), there is a unique additive \({T:G\rightarrow E}\) such that \({\|f(x)-T(x)\|\leq\gamma(p,\varepsilon)\|f(x)\|^p}\) for all \({x\in G}\) satisfying \({\|f(x)\|\geq\beta(p,\varepsilon)}\). Moreover, we have \({\lim_{\varepsilon\rightharpoonup 0}\frac{\gamma(p,\varepsilon)}{\varepsilon} < \infty.}\)     

Cutoff on all Ramanujan graphs

We show that on every Ramanujan graph \({G}\), the simple random walk exhibits cutoff: when \({G}\) has \({n}\) vertices and degree \({d}\), the total-variation distance of the walk from the uniform distribution at time \({t=\frac{d}{d-2} \log_{d-1} n + s\sqrt{\log n}}\) is asymptotically \({{\mathbb{P}}(Z > c \, s)}\) where \({Z}\) is a standard normal variable and \({c=c(d)}\) is an explicit constant. Furthermore, for all \({1 \leq p \leq \infty}\), \({d}\)-regular Ramanujan graphs minimize the asymptotic \({L^p}\)-mixing time for SRW among all \({d}\)-regular graphs. Our proof also shows that, for every vertex \({x}\) in \({G}\) as above, its distance from \({n-o(n)}\) of the vertices is asymptotically \({\log_{d-1} n}\).     

Orthogonal projections of cubes and regular simplices into a plane

We show that for every \({k\ge 2}\) and \({n\ge k}\), there is an \({n}\)-dimensional unit cube in \({\mathbb{R}^n}\) which is mapped to a regular \({2k}\)-gon by an orthogonal projection in \({\mathbb{R}^n}\) onto a \({2}\)-dimensional subspace. Moreover, by increasing dimension \({n}\), arbitrary large regular \({2k}\)-gon can be obtained in such a way. On the other hand, for every \({m\ge 3}\) and \({n\ge m-1}\), there is an \({n}\)-dimensional regular simplex of unit edge in \({\mathbb{R}^n}\) which is mapped to a regular \({m}\)-gon by an orthogonal projection onto a plane. Moreover, contrary to the cube case, arbitrary small regular \({m}\)-gon can be obtained in such a way, by increasing dimension \({n}\).     

Kleene algebras with implication

Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication \({(H, \bigwedge, \bigvee, \rightarrow, 0,1)}\) which satisfy the following property for every \({a,b,c\, \in\, H}\): if \({a \leq b \rightarrow c}\), then \({a \bigwedge b \leq c}\).     

A remark on hereditarily nonparadoxical sets

Call a set \({A \subseteq \mathbb {R}}\)paradoxical if there are disjoint \({A_0, A_1 \subseteq A}\) such that both \({A_0}\) and \({A_1}\) are equidecomposable with \({A}\) via countabbly many translations. \({X \subseteq \mathbb {R}}\) is hereditarily nonparadoxical if no uncountable subset of \({X}\) is paradoxical. Penconek raised the question if every hereditarily nonparadoxical set \({X \subseteq \mathbb {R}}\) is the union of countably many sets, each omitting nontrivial solutions of \({x - y = z - t}\). Nowik showed that the answer is ‘yes’, as long as \({|X| \leq \aleph_\omega}\). Here we show that consistently there exists a counterexample of cardinality \({\aleph_{\omega+1}}\) and it is also consistent that the continuum is arbitrarily large and Penconek’s statement holds for any \({X}\).     

On classification of groups having Schur multiplier of maximum order

Let \({G}\) be a non-abelian finite \({p}\)-group of order \({p^n}\) with \({|G'| = p^k}\). Let \({M(G)}\) denote the Schur multiplier of \({G}\). Niroomand proved that \({|M(G)| \leq p^{\frac{1}{2}(n-k-1)(n+k-2)+1}}\). In this article we classify \({p}\)-groups \({G}\) of nilpotency class 2 for which \({|M(G)|}\) attains this bound.     

Continued fraction normality is not preserved along arithmetic progressions

It is well known that if \({0.a_1a_2a_3\ldots}\) is the base-\({b}\) expansion of a number normal to base-\({b}\), then the numbers \({0.a_ka_{m+k}a_{2m+k}\ldots}\) for \({m\ge 2}\), \({k\ge 1}\) are all normal to base-\({b}\) as well. In contrast, given a continued fraction expansion \({\langle a_1,a_2,a_3,\ldots\rangle}\) that is normal (now with respect to the continued fraction expansion), we show that for any integers \({m\ge 2}\), \({k\ge 1}\), the continued fraction \({\langle a_k, a_{m+k},a_{2m+k},a_{3m+k},\ldots\rangle}\) will never be normal.     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

Semitotal Domination in Claw-Free Cubic Graphs

In this paper, we continue the study of semitotal domination in graphs in [Discrete Math. 324, 13–18 (2014)]. A set \({S}\) of vertices in \({G}\) is a semitotal dominating set of \({G}\) if it is a dominating set of \({G}\) and every vertex in \({S}\) is within distance 2 of another vertex of \({S}\). The semitotal domination number, \({{\gamma_{t2}}(G)}\), is the minimum cardinality of a semitotal dominating set of \({G}\). This domination parameter is squeezed between arguably the two most important domination parameters; namely, the domination number, \({\gamma (G)}\), and the total domination number, \({{\gamma_{t}}(G)}\). We observe that \({\gamma (G) \leq {\gamma_{t2}}(G) \leq {\gamma_{t}}(G)}\). A claw-free graph is a graph that does not contain \({K_{1, \, 3}}\) as an induced subgraph. We prove that if \({G}\) is a connected, claw-free, cubic graph of order \({n \geq 10}\), then \({{\gamma_{t2}}(G) \leq 4n/11}\).     

Quasisymmetric dimension distortion of Ahlfors regular subsets of a metric space

We show that if \({f\colon X\to Y}\) is a quasisymmetric mapping between Ahlfors regular spaces, then \({dim_H f(E)\leq dim_H E}\) for “almost every” bounded Ahlfors regular set \({E\subseteq X}\). If additionally, \({X}\) and \({Y}\) are Loewner spaces then \({dim_H f(E)=dim_H E}\) for “almost every" Ahlfors regular set \({E\subset X}\). The precise statements of these results are given in terms of Fuglede’s modulus of measures. As a corollary of these general theorems we show that if \({f}\) is a quasiconformal map of \({\mathbb{R}^N}\), \({N\geq 2}\), then for Lebesgue a.e. \({y\in\mathbb{R}^N}\) we have \({dim_H f(y+E) = dim_H E}\). A similar result holds for Carnot groups as well. For planar quasiconformal maps, our general estimates imply that if \({E \subset {\mathbb{R}}}\) is Ahlfors \({d}\)-regular, \({d < 1}\), then some component of \({f(E \times {\mathbb{R}})}\) has dimension at most \({2/(d+1)}\), and we construct examples to show this bound is sharp. In addition, we show there is a \({1}\)-dimensional set \({S\subseteq \mathbb R}\) and planar quasiconformal map \({f}\) such that \({f({\mathbb{R}} \times S)}\) contains no rectifiable sub-arcs. These results generalize work of Balogh et al. (J Math Pures Appl (2)99:125–149, 2013) and answer questions posed in Balogh et al. (J Math Pures Appl (2)99:125–149, 2013) and Capogna et al. (Mapping theory in metric spaces. http://aimpl.org/mappingmetric, 2016).     

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

Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).