Search

In the following text for $p\in[1,\infty]$, nonzero cardinal number $��$, self--map $��:��\to��$ if there exists $N\in\mathbb{N}$ such that $��^{-1}(��)$ has at most $N$ elements for each $��, 6 pages

Recently, Lenzmann and the author observed how to obtain a large class of sharp commutator estimates by a combination of an integration by parts, an harmonic extension, and trace space estimates. In this survey we review this approach in three concrete examples: the Jacobian estimate by Coifman-Lions-Meyer-Semmes, the Coifman-Rochberg-Weiss commutator estimate for Riesz transforms, and a Kato-Ponce-Vega-type inequality., Comment: survey, accepted for publication: Taiwanese Journal of Mathematics

We show how to calculate the operator algebra and the operator Lie algebra of a stochastic labelled-graph grammar. More specifically, we carry out a generic calculation of the product (and therefore the commutator) of time-evolution operators for any two labelled-graph grammar rewrite rules, where the operator corresponding to each rule is defined in terms of elementary two-state creation/annihilation operators. The resulting graph grammar algebra has the following properties: (1) The product and commutator of two such operators is a sum of such operators with integer coefficients. Thus, the algebra and the Lie algebra occurs entirely at the structural (or graph-combinatorial) level of graph grammar rules, lifted from the level of elementary creation/annihilation operators (an improvement over [1], Propositions 1 and 2). (2) The product of the off-diagonal (state-changing) parts of two such graph rule operators is a sum of off-diagonal graph rule operators with non-negative integer coefficients. (3) These results apply whether the semantics of a graph grammar rule leaves behind hanging edges (Theorem 1), or removes hanging edges (Theorem 2). (4) The algebra is constructive in terms of elementary two-state creation/annihilation operators (Corollaries 3 and 8). These results are useful because dynamical transformations of labelled graphs comprise a general modeling framework, and algebraic commutators of time-evolution operators have many analytic uses including designing simulation algorithms and estimating their errors.

Let \(\mathcal{A}\) be a unital Banach algebra such that any Jordan derivation from \(\mathcal{A}\) into any \(\mathcal{A}\)-bimodule \(\mathcal{M}\) is a derivation. We prove that any 2-local derivation from the algebra $M_n(\mathcal{A})$ into $M_n(\mathcal{M})$ $(n\geq 3)$ is a derivation. We apply this result to show that any 2-local derivation on the algebra of locally measurable operators affiliated with a von Neumann algebra without direct abelian summands is a derivation., Comment: 12 pages

We prove that, for every complex Hilbert space $H$ , every weak 2-local derivation on $B(H)$ or on $K(H)$ is a linear derivation. We also establish that every weak 2-local derivation on an atomic von Neumann algebra or on a compact C $^{*}$ -algebra is a linear derivation.

We prove the existence of a linear isometric correspondence between the Banach space of all symmetric orthogonal forms on a JB$^*$-algebra $\mathcal{J}$ and the Banach space of all purely Jordan generalized Jordan derivations from $\mathcal{J}$ into $\mathcal{J}^*$. We also establish the existence of a similar linear isometric correspondence between the Banach spaces of all anti-symmetric orthogonal forms on $\mathcal{J}$, and of all Lie Jordan derivations from $\mathcal{J}$ into $\mathcal{J}^*$.

This paper is devoted to derivations on the algebra $S_0(M, ��)$ of all $��$-compact operators affiliated with a von Neumann algebra $M$ and a faithful normal semi-finite trace $��.$ The main result asserts that every $t_��$-continuous derivation $D:S_0(M, ��)\rightarrow S_0(M, ��)$ is spatial and implemented by a $��$-measurable operator affiliated with $M$, where $t_��$ denotes the measure topology on $S_0(M, ��)$. We also show the automatic $t_��$-continuity of all derivations on $S_0(M, ��)$ for properly infinite von Neumann algebras $M$. Thus in the properly infinite case the condition of $t_��$-continuity of the derivation is redundant for its spatiality., 15 pages. arXiv admin note: substantial text overlap with arXiv:1306.0251

An orientation is defined on a family of curve graphs on which the Torelli group acts. It is shown that the resulting signed stable length of an element of the Torelli group is a cohomology class. This cohomology class is half the dual of the contraction of the Johnson homomorphism, the socalled "Chillingworth class"., Comment: Changed definition of pre-image function to make it uppersemicontinuous. Diagrams and more background were added

Let $p\in(0, 1]$. In this paper, the authors prove that a sublinear operator $T$ (which is originally defined on smooth functions with compact support) can be extended as a bounded sublinear operator from product Hardy spaces $H^p({{\mathbb R}^n\times{\mathbb R}^m})$ to some quasi-Banach space ${\mathcal B}$ if and only if $T$ maps all $(p, 2, s_1, s_2)$-atoms into uniformly bounded elements of ${\mathcal B}$. Here $s_1\ge\lfloor n(1/p-1)\rfloor$ and $s_2\ge\lfloor m(1/p-1)\rfloor$. As usual, $\lfloor n(1/p-1)\rfloor$ denotes the maximal integer no more than $n(1/p-1)$. Applying this result, the authors establish the boundedness of the commutators generated by Calder��n-Zygmund operators and Lipschitz functions from the Lebesgue space $L^p({{\mathbb R}^n\times{\mathbb R}^m})$ with some $p>1$ or the Hardy space $H^p({{\mathbb R}^n\times{\mathbb R}^m})$ with some $p\le1$ but near 1 to the Lebesgue space $L^q({{\mathbb R}^n\times{\mathbb R}^m})$ with some $q>1$., J. Math. Soc. Japan (to appear)

For an increasing sequence $(��_n)$ of algebra weights on $\mathbb R^+$ we study various properties of the Fr��chet algebra $A(��)=\bigcap_n L^1(��_n)$ obtained as the intersection of the weighted Banach algebras $L^1(��_n)$. We show that every endomorphism of $A(��)$ is standard, if for all n\in\mathbb N$ there exists $m\in\mathbb N$ such that $��_m(t)/��_n(t)\to\infty$ as $t\to\infty$. Moreover, we characterise the continuous derivations on this algebra: If for all $n\in\mathbb N$ there exists $m\in\mathbb N$ such that $t*��_n(t)/��_m(t)$ is bounded on $\mathbb R^+$, then the continuous derivations on $A(��)$ are exactly the linear maps $D$ of the form $D(f)=(Xf)*��$ for $f\in A(��)$, where $��$ is a measure in $B(��)=\bigcap_n M(��_n)$ and $(Xf)(t)=tf(t)$ for $t\in\mathbb R^+$ and $f\in A(��)$. If the condition is not satisfied, we show that $A(��)$ has no non-zero derivations., 14 pages

We study the s-numbers of elementary operators acting on C*-algebras. The main results are the following: If $\tau$ is any tensor norm and $a,b\in B(H)$ are such that the sequences $s(a),s(b)$ of their singular numbers belong to a stable Calkin space $J$ then the sequence of approximation numbers of $a\otimes_{\tau} b$ belongs to $J$. If $A$ is a C*-algebra, $J$ is a stable Calkin space, $s$ is an s-number function, and $a_i, b_i \in A,$ $i=1,...,m$ are such that $s(\pi(a_i)), s(\pi(b_i)) \in J$, $i=1,...,m$ for some faithful representation $\pi$ of $A$ then $s(\sum_{i=1}^{m} M_{a_i,b_i})\in J$. The converse implication holds if and only if the ideal of compact elements of $A$ has finite spectrum. We also prove a quantitative version of a result of Ylinen., Comment: 25 pages

The main result is that the commutators on $\ell_1$ are the operators not of the form $��I + K$ with $��\neq 0$ and $K$ compact. We generalize Apostol's technique (1972, Rev. Roum. Math. Appl. 17, 1513 - 1534) to obtain this result and use this generalization to obtain partial results about the commutators on spaces $\X$ which can be represented as $\displaystyle \X\simeq (\bigoplus_{i=0}^{\infty} \X)_{p}$ for some $1\leq p, 17 pages. Submitted to the Journal of Functional Analysis

For any finite dimensional C^*-algebra A with a trace vector \vec s whose entries are rational numbers, we give an endomorphism \Phi of the hyperfinite II_1 factor R such that: for all k \in \mathbb {N}, \Phi^k (R)' \cap R= \otimes^k A. The canonical trace \tau on R extends the trace vector \vec s on A. Therefore the minimal projection is not necessarily equivalent to each other.

We present a formula for the norm of an elementary operator on a C*-algebra that seems to be new. The formula involves (matrix) numerical ranges and a kind of geometrical mean for positive matrices, the tracial geometric mean, which seems not to have been studied previously and has interesting properties. In addition, we characterise compactness of elementary operators., Comment: 27 pages, J. Operator Theory (to appear)

The method of positive commutators, developed for zero temperature problems over the last twenty years, has been an essential tool in the spectral analysis of Hamiltonians in quantum mechanics. We extend this method to positive temperatures, i.e. to non-equilibrium quantum statistical mechanics. We use the positive commutator technique to give an alternative proof of a fundamental property of a certain class of large quantum systems, called {\it Return to Equilibrium}. This property says that equilibrium states are (asymptotically) stable: if a system is slightly perturbed from its equilibrium state, then it converges back to that equilibrium state as time goes to infinity., Comment: 1 figure

The property of ``{\it return to equilibrium}'' is established for a class of quantum-mechanical models describing interactions of a (toy) atom with black-body radiation, or of a spin with a heat bath of scalar bosons, under the assumption that the interaction strength is {\it sufficiently weak}. For models describing the first class of systems, our upper bound on the interaction strength is {\it independent} of the temperature $T$, (with $0