Characterization of derivations on B(X) by local actions

Let A be a unital algebra and M be a unital A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈ A if δ(A) ? B + A ? δ(B) =δ(A ? B) for any A, B ∈ A with A ? B = P, here A ? B = AB + BA is the usual Jordan product. In this article, we show that if A = Alg N is a Hilbert space nest algebra and M = B(H), or A = M = B(X), then, a linear map δ : A → M is Jordan derivable at a nontrivial projection P ∈ N or an arbitrary but fixed nontrivial idempotent P ∈ B(X) if and only if it is a derivation. New equivalent characterization of derivations on these operator algebras was obtained.     

Convergence to the equilibrium for the Pauli equation without detailed balance condition

Let $A?B$ be an extension of commutative rings with identity, X an analytic indeterminate over B, and $R\text{:}=A+XB[[X]]$, the subring of the formal power series ring $B[[X]]$, consisting of the series with constant terms in A. In this Note we study when the ring R is Noetherian. We prove that R is Noetherian if and only if A is Noetherian and B is a finitely generated A-module. To cite this article: S. Hizem, A. Benhissi, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Hyperinvariant subspaces for operators having a compact part

It is well known that if $T=A\oplus B$, where A is compact, then T has a nontrivial hyperinvariant subspace. In this paper, we try to solve the hyperinvariant subspace problem for operators which have a compact part. Our main result is that if A is compact, then either $\left(\begin{array}{cc}A\hfill & \hfill ?\hfill \\ 0\hfill & \hfill B\hfill \end{array}\right)$ or $\left(\begin{array}{cc}A\hfill & \hfill 0\hfill \\ ?\hfill & \hfill B\hfill \end{array}\right)$ has a nontrivial hyperinvariant subspace.     

Degree Conditions and Degree Bounded Trees

In this paper, we give sufficient conditions for a graph to have degree bounded trees. Let G be a connected graph and $A\subseteq V(G)$. We denote by ${\sigma }_k(A)$ the minimum value of the degree sum in G of any k pairwise nonadjacent vertices of A, and by $w(G-A)$ the number of components of the subgraph $G-A$ of G induced by $V(G)-A$. Our main results are the following: (i) If ${\sigma }_k(A)⩾|G|-1$, then G contains a tree T with maximum degree ⩽k and $A\subseteq V(T)$. (ii) If ${\sigma }_{k-w(G-A)}(A)⩾|A|-1$, then G contains a spanning tree T with $d_T(x)⩽k$ for any $x\in A$. These are generalizations of the result by S. Win [S. Win, Existenz von Gerüsten mit Vorgeschriebenem Maximalgrad in Graphen, Abh. Math. Seminar Univ. Humburg 43 (1975) 263–267] and degree conditions are sharp.     

On exact controllability and complete stabilizability for linear systems

This work is concerned with the relations between exact controllability and complete stabilizability for linear systems in Hilbert spaces. We give an affirmative answer to the open problem posed by Rabah and Karrakchou [R. Rabah, J. Karrakchou, Exact controllability and complete stabilizability for linear systems in Hilbert spaces, Appl. Math. Lett. 10 (1997) 35–40]. More precisely, if the $C_0$-semigroup $S\left(t\right)$ generated by $A$ is surjective and the pair $(A,B)$ with a bounded operator $B$ is completely stabilizable, then $(A,B)$ is exactly controllable without any additional condition.     

Some extensions of the Cauchy-Davenport theorem

The Cauchy-Davenport theorem states that, if p is prime and A, B are nonempty subsets of cardinality r, s in $\mathbb{Z}/p\mathbb{Z}$, the cardinality of the sumset $A+B=\{a+b|a\in A,b\in B\}$ is bounded below by $\min (r+s-1,p)$; moreover, this lower bound is sharp. Natural extensions of this result consist in determining, for each group G and positive integers $r,s⩽|G|$, the analogous sharp lower bound, namely the function${\mu }_G(r,s)=\min \{|A+B||A,B\subset G,|A|=r,|B|=s\}.$ Important progress on this topic has been achieved in recent years, leading to the determination of ${\mu }_G$ for all abelian groups G. In this note we survey the history of earlier results and the current knowledge on this function.     

Mutually orthogonal matrices from division algebras

Matrices A and B in $M_n(\mathbb{C})$ are said to be mutually orthogonal if $A{B}^{?}+B{A}^{?}=0$, where ^? denotes the conjugate transpose. We study cardinalities of certain $\mathbb{R}$-linearly independent families of matrices arising from matrix embeddings of a division algebra of index m with center a number field Z, satisfying the property that matrices from different families are mutually orthogonal. The question is of importance in the context of coding for certain wireless channels, where the cardinalities of such sets is connected to the maximum code rate consistent with low decoding complexity. It follows from our results that the maximum code rate for the codes we consider is severely limited.     

The Banach algebra generated by a C0-semigroup

Let $\mathbf{T}={\{T(t)\}}_{t?0}$ be a bounded $C_0$-semigroup on a Banach space with generator A. We define $A_{\mathbf{T}}$ as the closure with respect to the operator-norm topology of the set $\{\stackrel{?}{f}(\mathbf{T}):f\in L^1({\mathbb{R}}_{+})\}$, where $\stackrel{?}{f}(\mathbf{T})={\int }_0^{\infty }f(t)T(t)\mathrm{d}t$ is the Laplace transform of $f\in L^1({\mathbb{R}}_{+})$ with respect to the semigroup T. Then $A_{\mathbf{T}}$ is a commutative Banach algebra. It is shown that if the unitary spectrum $\sigma (A)\cap \mathrm{i}\mathbb{R}$ of A is at most countable, then the Gelfand transform of $S\in A_{\mathbf{T}}$ vanishes on $\sigma (A)\cap \mathrm{i}\mathbb{R}$ if and only if, ${\lim }_{t\to \infty }6T(t)S6=0$. Some applications to the semisimplicity problem are given. To cite this article: H. Mustafayev, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Decomposition of integer-valued polynomial algebras

Let D be a commutative domain with field of fractions K, let A be a torsion-free D-algebra, and let B be the extension of A to a K-algebra. The set of integer-valued polynomials on A is $\mathrm{Int}(A)=\{f\in B[X]|f(A)?A\}$, and the intersection of $\mathrm{Int}(A)$ with $K[X]$ is ${\mathrm{Int}}_K(A)$, which is a commutative subring of $K[X]$. The set $\mathrm{Int}(A)$ may or may not be a ring, but it always has the structure of a left ${\mathrm{Int}}_K(A)$-module.A D-algebra A which is free as a D-module and of finite rank is called ${\mathrm{Int}}_K$-decomposable if a D-module basis for A is also an ${\mathrm{Int}}_K(A)$-module basis for $\mathrm{Int}(A)$; in other words, if $\mathrm{Int}(A)$ can be generated by ${\mathrm{Int}}_K(A)$ and A. A classification of such algebras has been given when D is a Dedekind domain with finite residue rings. In the present article, we modify the definition of ${\mathrm{Int}}_K$-decomposable so that it can be applied to D-algebras that are not necessarily free by defining A to be ${\mathrm{Int}}_K$-decomposable when $\mathrm{Int}(A)$ is isomorphic to ${\mathrm{Int}}_K(A){?}_{D}A$. We then provide multiple characterizations of such algebras in the case where D is a discrete valuation ring or a Dedekind domain with finite residue rings. In particular, if D is the ring of integers of a number field K, we show that an ${\mathrm{Int}}_K$-decomposable algebra A must be a maximal D-order in a separable K-algebra B, whose simple components have as center the same finite unramified Galois extension F of K and are unramified at each finite place of F. Finally, when both D and A are rings of integers in number fields, we prove that ${\mathrm{Int}}_K$-decomposable algebras correspond to unramified Galois extensions of K.