Characterization of some derivations on von Neumann algebras via left centralizers

Let \(\mathfrak {M}\) be a von Neumann algebra, and let \(\mathfrak {T}:\mathfrak {M} \rightarrow \mathfrak {M}\) be a bounded linear map satisfying \(\mathfrak {T}(P^{2}) = \mathfrak {T}(P)P + \Psi (P,P)\) for each projection P of \(\mathfrak {M}\), where \(\Psi :\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is a bi-linear map. If \(\Psi \) is a bounded l-semi Hochschild 2-cocycle, then \(\mathfrak {T}\) is a left centralizer associated with \(\Psi \). By applying this conclusion, we offer a characterization of left \(\sigma \)-centralizers, generalized derivations and generalized \(\sigma \)-derivations on von Neumann algebras. Moreover, it is proved that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every bi-\(\sigma \)-derivation \(D:\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

rthogonality Property $$\mathcal {}$$ and Compact Perturbations

A bounded linear operator T acting on a Hilbert space is said to have orthogonality property \(\mathcal {O}\) if the subspaces \(\ker (T-\alpha )\) and \(\ker (T-\beta )\) are orthogonal for all \(\alpha , \beta \in \sigma _p(T)\) with \(\alpha \ne \beta \). In this paper, the authors investigate the compact perturbations of operators with orthogonality property \(\mathcal {O}\). We give a sufficient and necessary condition to determine when an operator T has the following property: for each \(\varepsilon >0\), there exists \(K\in \mathcal {K(H)}\) with \(\Vert K\Vert <\varepsilon \) such that \(T+K\) has orthogonality property \(\mathcal {O}\). Also, we study the stability of orthogonality property \(\mathcal {O}\) under small compact perturbations and analytic functional calculus.     

A partition relation for pairs on $$\omega ^{\omega ^\omega }$$

We consider colorings of the pairs of a family \(\mathcal {F}\subseteq {{\mathrm{FIN}}}\) of topological type \(\omega ^{\omega ^k}\), for \(k>1\); and we find a homogeneous family \(\mathcal {G}\subseteq \mathcal {F}\) for each coloring. As a consequence, we complete our study of the partition relation \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,m}}\) identifying \(\omega ^{\omega ^\omega }\) as the smallest ordinal space \(\alpha <\omega _1\) satisfying \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,4}}\).     

Map determined by rank-$$\varvec{}$$ matrice for relatively mall $$\varvec{}$$

Let n and s be integers such that \(1\le s<\frac{n}{2}\), and let \(M_n(\mathbb {K})\) be the ring of all \(n\times n\) matrices over a field \(\mathbb {K}\). Denote by \([\frac{n}{s}]\) the least integer m with \(m\ge \frac{n}{s}\). In this short note, it is proved that if \(g:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\) is a map such that \(g\left( \sum _{i=1}^{[\frac{n}{s}]}A_i\right) =\sum _{i=1}^{[\frac{n}{s}]}g(A_i)\) holds for any \([\frac{n}{s}]\) rank-s matrices \(A_1,\ldots ,A_{[\frac{n}{s}]}\in M_n(\mathbb {K})\), then \(g(x)=f(x)+g(0)\), \(x\in M_n(\mathbb {K})\), for some additive map \(f:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\). Particularly, g is additive if \(char\mathbb {K}\not \mid \left( [\frac{n}{s}]-1\right) \).     

Tauberian conditions for the $$(C, \alpha )$$ integrability of functions

For a real-valued continuous function f(x) on \([0,\infty )\), we define

$$\begin{aligned} s(x)=\int _{0}^{x} f(u)du\quad \text {and}\quad \sigma _{\alpha } (x)= \int _{0}^{x}\left( 1-\frac{u}{x}\right) ^{\alpha }f(u)du \end{aligned}$$

for \(x>0\). We say that \(\int _{0}^{\infty } f(u)du\) is \((C, \alpha )\) integrable to L for some \(\alpha >-1\) if the limit \(\lim _{x \rightarrow \infty } \sigma _{\alpha } (x)=L\) exists. It is known that \(\lim _{x \rightarrow \infty } s(x) =L\) implies \(\lim _{x \rightarrow \infty }\sigma _{\alpha } (x) =L\) for all \(\alpha >-1\). The aim of this paper is twofold. First, we introduce some new Tauberian conditions for the \((C, \alpha )\) integrability method under which the converse implication is satisfied, and improve classical Tauberian theorems for the \((C,\alpha )\) integrability method. Next we give short proofs of some classical Tauberian theorems as special cases of some of our results.

     

On Hecke groups,Schwarzian triangle functions and a class of hyper-elliptic functions

Let m be a positive integer \(\ge \)3 and \(\lambda =2\cos \frac{\pi }{m}\). The Hecke group \(\mathfrak {G}(\lambda )\) is generated by the fractional linear transformations \(\tau + \lambda \) and \(-\frac{1}{\tau }\) for \(\tau \) in the upper half plane \(\mathbb H\) of the complex plane \(\mathbb C\). We consider a set of functions \(\mathfrak {f}_0, \mathfrak {f}_i\) and \(\mathfrak {f}_{\infty }\) automorphic with respect to \(\mathfrak {G}(\lambda )\), constructed from the conformal mapping of the fundamental domain of \(\mathfrak {G}(\lambda )\) to the upper half plane \(\mathbb H\), and establish their connection with the Legendre functions and a class of hyper-elliptic functions. Many well-known classical identities associated with the cases of \(\lambda =1\) and 2 are preserved. As an application, we will establish a set of identities expressing the reciprocal of \(\pi \) in terms of the hypergeometric series.     

A gradient estimate on graphs with the $$\varvec{}$$-condition

Let \(\omega \) be an unbounded radial weight on \(\mathbb {C}^d\), \(d\ge 1\). Using results related to approximation of \(\omega \) by entire maps, we investigate Volterra type and weighted composition operators defined on the growth space \(\mathcal {A}^\omega (\mathbb {C}^d)\). Special attention is given to the operators defined on the growth Fock spaces.     

$${\varvec{}}$$-Jorda homomorphisms ad pseudo $${\varvec{}}$$-Jorda homomorphisms o Baach algebras

Let \(n\in \mathbb {N}\), A and B be Banach algebras and let B be a right A-module. We say that a linear mapping \(\varphi :A\longrightarrow B\) is a pseudo n-Jordan homomorphism if there exists an element \(w\in A\) such that \(\varphi (a^nw)=\varphi (a)^n\cdot w\), for every \(a\in A\) and \(n\ge \) 2. In this paper, among other things, we show that under some conditions if a linear mapping \(\varphi \) is a (pseudo) n-Jordan homomorphism, then it is a (pseudo) \((n + 1)\)-Jordan homomorphism. Additionally, we investigate automatic continuity of surjective pseudo n-Jordan homomorphisms under some conditions.     

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

     

Some infinite families of Ramsey ($${\varvec{P}}_\mathbf{3},{\varvec{P}}_{{\varvec{n}}}$$)-minimal trees

For any given two graphs G and H, the notation \(F\rightarrow \) (G, H) means that for any red–blue coloring of all the edges of F will create either a red subgraph isomorphic to G or a blue subgraph isomorphic to H. A graph F is a Ramsey (G, H)-minimal graph if \(F\rightarrow \) (G, H) but \(F-e\nrightarrow (G,H)\), for every \(e \in E(F)\). The class of all Ramsey (G, H)-minimal graphs is denoted by \(\mathcal {R}(G,H)\). In this paper, we construct some infinite families of trees belonging to \(\mathcal {R}(P_3,P_n)\), for \(n=8\) and 9. In particular, we give an algorithm to obtain an infinite family of trees belonging to \(\mathcal {R}(P_3,P_n)\), for \(n\ge 10\).     

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.     

Zeta functions and asymptotic additive bases with some unusual sets of primes

Fix \(\delta \in (0,1]\), \(\sigma _0\in [0,1)\) and a real-valued function \(\varepsilon (x)\) for which \(\varlimsup _{x\rightarrow \infty }\varepsilon (x)\leqslant 0\). For every set of primes \(\mathcal {P}\) whose counting function \(\pi _\mathcal {P}(x)\) satisfies an estimate of the form

$$\begin{aligned} \pi _\mathcal {P}(x)=\delta \,\pi (x)+O\bigl (x^{\sigma _0+\varepsilon (x)}\bigr ), \end{aligned}$$

we define a zeta function \(\zeta _\mathcal {P}(s)\) that is closely related to the Riemann zeta function \(\zeta (s)\). For \(\sigma _0\leqslant \frac{1}{2}\), we show that the Riemann hypothesis is equivalent to the non-vanishing of \(\zeta _\mathcal {P}(s)\) in the region \(\{\sigma >\frac{1}{2}\}\).

For every set of primes \(\mathcal {P}\) that contains the prime 2 and whose counting function satisfies an estimate of the form

$$\begin{aligned} \pi _\mathcal {P}(x)=\delta \,\pi (x)+O\bigl ((\log \log x)^{\varepsilon (x)}\bigr ), \end{aligned}$$

we show that \(\mathcal {P}\) is an exact asymptotic additive basis for \(\mathbb {N}\), i.e. for some integer \(h=h(\mathcal {P})>0\) the sumset \(h\mathcal {P}\) contains all but finitely many natural numbers. For example, an exact asymptotic additive basis for \(\mathbb {N}\) is provided by the set

$$\begin{aligned} \{2,547,1229,1993,2749,3581,4421,5281\ldots \}, \end{aligned}$$

which consists of 2 and every hundredth prime thereafter.

     

Maximal essential extensions in the context of frames

We show that every frame can be essentially embedded in a Boolean frame, and that this embedding is the maximal essential extension of the frame in the sense that it factors uniquely through any other essential extension. This extension can be realized as the embedding \(L \rightarrow \mathcal {N}(L) \rightarrow \mathcal {B}\mathcal {N}(L)\), where \(L \rightarrow \mathcal {N}(L)\) is the familiar embedding of L into its congruence frame \(\mathcal {N}(L)\), and \(\mathcal {N}(L) \rightarrow \mathcal {B}\mathcal {N}(L)\) is the Booleanization of \(\mathcal {N}(L)\). Finally, we show that for subfit frames the extension can also be realized as the embedding \(L \rightarrow {{\mathrm{S}}}_\mathfrak {c}(L)\) of L into its complete Boolean algebra \({{\mathrm{S}}}_\mathfrak {c}(L)\) of sublocales which are joins of closed sublocales.     

$$\varvec{\varphi }$$-admissibility results via extended simulation functions

We introduce the class of extended simulation functions, which is more large than the class of simulation functions, recently introduced in (Khojasteh et al. Filomat 29(6):1189–1194, 2015). We obtain a \(\varphi \)-admissibility result involving extended simulation functions, for a new class of mappings \(T: X\rightarrow X\), with respect to a lower semi-continuous function \(\varphi : X\rightarrow [0,\infty )\), where X is a set equipped with a certain metric d. The main theorem in this paper generalizes a recent \(\varphi \)-admissibility result obtained in (Karap?nar et al. Fixed Point Theory Appl 2015:152, 2015), and many other related results.     

A Categorification of $\displaystyle {\mathfrak q} (2)$-Crystals

We provide a categorification of \(\mathfrak {q}(2)\)-crystals on the singular \(\mathfrak {gl}_{n}\)-category \({\mathcal O}_{n}\). Our result extends the \(\mathfrak {gl}_{2}\)-crystal structure on \(\text {Irr} ({\mathcal O}_{n})\) induced from the work of Bernstein-Frenkel-Khovanov. Further properties of the \({\mathfrak q}(2)\)-crystal \(\text {Irr} ({\mathcal O}_{n})\) are also discussed.     

On the Real Roots of $$\sigma $$-Polynomials

The \(\sigma \)-polynomial is given by \(\sigma (G,x) = \sum _{i=\chi (G)}^{n} a_{i}(G)\, x^{i}\), where \(a_{i}(G)\) is the number of partitions of the vertices of G into i nonempty independent sets. These polynomials are closely related to chromatic polynomials, as the chromatic polynomial of G is given by \(\sum _{i=\chi (G)}^{n} a_{i}(G)\, x(x-1) \ldots (x-(i-1))\). It is known that the closure of the real roots of chromatic polynomials is precisely \(\{0,~1\} \bigcup [32/27,\infty )\), with \((-\infty ,0)\), (0, 1) and (1, 32 / 27) being maximal zero-free intervals for roots of chromatic polynomials. We ask here whether such maximal zero-free intervals exist for \(\sigma \)-polynomials, and show that the only such interval is \([0,\infty )\)—that is, the closure of the real roots of \(\sigma \)-polynomials is \((-\infty ,0]\).     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

Multilicity results for some nonlinear ellitic roblems with asymtotically $${{\varvec{}}}$$-linear terms

Taking any \(p > 1\), we consider the asymptotically p-linear problem

$$\begin{aligned} \left\{ \begin{array}{ll} - {{\mathrm{div}}}(a(x,u,\nabla u)) + A_t(x,u,\nabla u)\ = \ \lambda ^\infty |u|^{p-2}u + g^\infty (x,u) &{}\quad \hbox {in}\;\Omega ,\\ u\ = \ 0 &{}\quad \hbox {on}\;\partial \Omega , \end{array} \right. \end{aligned}$$

where \(\Omega \) is a bounded domain in \(\mathbb R^N\), \(N\ge 2\), \(A(x,t,\xi )\) is a real function on \(\Omega \times \mathbb R\times \mathbb R^N\) which grows with power p with respect to \(\xi \) and has partial derivatives \(A_t(x,t,\xi ) = \frac{\partial A}{\partial t}(x,t,\xi )\), \(a(x,t,\xi ) = \nabla _\xi A(x,t,\xi )\). If \(A(x,t,\xi ) \rightarrow A^\infty (x,t)\) and \(\frac{g^\infty (x,t)}{|t|^{p-1}} \rightarrow 0\) as \(|t| \rightarrow +\infty \), suitable assumptions, variational methods and either the cohomological index theory or its related pseudo-index one, allow us to prove the existence of multiple nontrivial bounded solutions in the non-resonant case, i.e. if \(\lambda ^\infty \) is not an eigenvalue of the operator associated to \(\nabla _\xi A^\infty (x,\xi )\). In particular, while in [14] the model problem \(A(x,t,\xi ) = \mathcal{A}(x,t) |\xi |^p\) with \(p > N\) is studied, here our goal is twofold: extending such results not only to a more general family of functions \(A(x,t,\xi )\), but also to the more difficult case \(1 < p \le N\).

     

Decay rates for the magneto-micropolar system in $$\varvec{L^2(}\pmb {\mathbb {R}}^{\varvec{n)}}$$

In this paper, the large time decay of the magneto-micropolar fluid equations on \(\mathbb {R}^n\) (\( n=2,3\)) is studied. We show, for Leray global solutions, that \( \Vert ({\varvec{u}},{\varvec{w}},{\varvec{b}})(\cdot ,t) \Vert _{{L^2(\mathbb {R}^n)}} \rightarrow 0 \) as \(t \rightarrow \infty \) with arbitrary initial data in \( L^2(\mathbb {R}^n)\). When the vortex viscosity is present, we obtain a (faster) decay for the micro-rotational field: \( \Vert {\varvec{w}}(\cdot ,t) \Vert _{{L^2(\mathbb {R}^n)}} = o(t^{-1/2})\). Some related results are also included.