Xia Spectrum for Some Class of Operators

In this paper, we introduce Xia spectra of n-tuples of operators satisfying |T ²| ≥ U|T ²|U* for the polar decomposition of T = U|T| and we extend Putnam’s inequality to these tuples [7]. This research is partially supported by Grant-in-Aid Research No.17540176.     

Berger-Shaw's theorem forp-hyponormal operators

For an-multicyclicp-hyponormal operatorT, we shall show that |T|^2p –|T ^*|^2p belongs to the Schatten and that tr Area ((T)).     

A Note on Aluthge Transforms of Complex Symmetric Operators and Applications

In this paper, we reprove that: (i) the Aluthge transform of a complex symmetric operator [(T)\tilde] = |T|^\frac12 U|T|^\frac12\tilde{T} = |T|^{\frac{1}{2}} U|T|^{\frac{1}{2}} is complex symmetric, (ii) if T is a complex symmetric operator, then ([(T)\tilde])^*(\tilde{T})^{*} and [(T^*)\tilde]\widetilde{T^{*}} are unitarily equivalent. And we also prove that: (iii) if T is a complex symmetric operator, then [((T^*))\tilde]_s,t\widetilde{(T^{*})}_{s,t} and ([(T)\tilde]_t,s)^*(\tilde{T}_{t,s})^{*} are unitarily equivalent for s, t > 0, (iv) if a complex symmetric operator T belongs to class wA(t, t), then T is normal.     

λ-Aluthge Iteration and Spectral Radius

Let (H) be an invertible operator on the complex Hilbert space H. For 0 < λ < 1, we extend Yamazaki’s formula of the spectral radius in terms of the λ-Aluthge transform where T = U|T| is the polar decomposition of T. Namely, we prove that where r(T) is the spectral radius of T and ||| · ||| is a unitarily invariant norm such that (B(H), ||| · |||) is a Banach algebra with ||| I ||| = 1. In memory of my brother-in-law, Johnny Kei-Sun Man, who passed away on January 16, 2008, at the age of fifty nine.     

On log-hyponormal operators

LetTB(H) be a bounded linear operator on a complex Hilbert spaceH.TB(H) is called a log-hyponormal operator itT is invertible and log (TT ^*)log (T ^* T). Since log: (0, )(–,) is operator monotone, for 0<p1, every invertiblep-hyponormal operatorT, i.e., (TT ^*) ^p (T ^* T) ^p , is log-hyponormal. LetT be a log-hyponormal operator with a polar decompositionT=U|T|. In this paper, we show that the Aluthge transform is . Moreover, ifmeas ((T))=0, thenT is normal. Also, we make a log-hyponormal operator which is notp-hyponormal for any 0<p.This research was supported by Grant-in-Aid Research No. 10640185     

Some generalized theorems onp-hyponormal operators

A bounded linear operatorT is calledp-Hyponormal if (T ^*T)^p(TT ^*)^p, 0<p1. In Aluthge [1], we studied the properties of p-hyponormal operators using the operator . In this work we consider a more general operator , and generalize some properties of p-hyponormal operators obtained in [1].     

New Algorithm for Ordered Tree-to-Tree Correction Problem

The ordered tree-to-tree correction problem is to compute the minimum edit cost of transforming one ordered tree to another one. This paper presents a new algorithm for this problem. Given two ordered trees S and T, our algorithm runs in O(|S| |T| + min { ²_S|T| + ^2.5_{S T}, ²_T|S| + ^2.5_{T S}) time, where _S denotes the number of leaves of S and _S denotes the depth of S. The previous best algorithms for this problem run in O(|S| |T| min { _S, _S} min { _T, _T}) time (K. Zhang and D. Shasha, SIAM J. Comput.18, No. 6 (1989), 1245–1262) and in O(min {|S|²|T| log₂ |T|, |T|²|S| log₂ |S|}) time (P. N. Klein, in “Algorithms—ESA'98, 6th Annual European Symposium” (G. Bilardi, G. F. Italiano, A. Pietracaprina, and G. Pucci, Eds.), Lecture Notes in Computer Science, Vol. 1461, pp. 91–102, Springer-Verlag, Berlin/New York, 1998). As a comparison, our algorithm is asymptotically faster for certain kind of trees.     

A Note on the Spectrum of Invertible p-hyponormal Operators

A bounded linear operator T is clalled p-hyponormal if (T*T)^p ≥ (TT)^p, 0 < p < 1. It is known that for semi-hyponormal operators (p = 1/2), the spectrum of the operator is equal to the union of the spectra of the general polar symbols of the operator. In this paper we prove a somewhat weaker result for invertible p-hyponormal operators for 0 < p < 1/2.     

An extension of the Erdős–Ginzburg–Ziv Theorem to hypergraphs

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct with the result that they can be considered as sets. For a sequence S, subsequence S^′, and set T, |T∩S| denotes the number of terms x of S with xT, and |S| denotes the length of S, and SS^′ denotes the subsequence of S obtained by deleting all terms in S^′. We first prove the following two additive number theory results.(1) Let S be a finite sequence of elements from an abelian group G. If S has an n-set partition, A=A₁,…,A_n, such that

then there exists a subsequence S^′ of S, with length |S^′|≤max{|S|−n+1,2n}, and with an n-set partition, , such that . Furthermore, if ||A_i|−|A_j||≤1 for all i and j, or if |A_i|≥3 for all i, then .(2) Let S be a sequence of elements from a finite abelian group G of order m, and suppose there exist a,bG such that . If |S|≥2m−1, then there exists an m-term zero-sum subsequence S^′ of S with or .Let be a connected, finite m-uniform hypergraph, and be the least integer n such that for every 2-coloring (coloring with the elements of the cyclic group ) of the vertices of the complete m-uniform hypergraph , there exists a subhypergraph isomorphic to such that every edge in is monochromatic (such that for every edge e in the sum of the colors on e is zero). As a corollary to the above theorems, we show that if every subhypergraph of contains an edge with at least half of its vertices monovalent in , or if consists of two intersecting edges, then . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when is a single edge.     

Centrally large subgroups of finite p-groups

Let S be a finite p-group. We say that an abelian subgroup A of S is a large abelian subgroup of S if |A||A^*| for every abelian subgroup A^* of S. We say that a subgroup Q of S is a centrally large subgroup, or CL-subgroup, of S if |Q||Z(Q)||Q^*||Z(Q^*)| for every subgroup Q^* of S. The study of large abelian subgroups and variations on them began in 1964 with Thompson's second normal p-complement theorem [J.G. Thompson, Normal p-complements for finite groups, J. Algebra 1 (1964) 43–46]. Centrally large subgroups possess some similar properties. In 1989, A. Chermak and A. Delgado [A. Chermak, A. Delgado, A measuring argument for finite groups, Proc. Amer. Math. Soc. 107 (1989) 907–914] studied several families of subgroups that include centrally large subgroups as a special case. In this paper, we extend their work to prove some further properties of centrally large subgroups. The proof uses an analogue for finite p-groups of an application of Borel's Fixed Point Theorem for algebraic groups.     

Aluthge Transforms of Complex Symmetric Operators

If denotes the polar decomposition of a bounded linear operator T, then the Aluthge transform of T is defined to be the operator . In this note we study the relationship between the Aluthge transform and the class of complex symmetric operators (T iscomplex symmetric if there exists a conjugate-linear, isometric involution so that T = CT*C). In this note we prove that: (1) the Aluthge transform of a complex symmetric operator is complex symmetric, (2) if T is complex symmetric, then and are unitarily equivalent, (3) if T is complex symmetric, then if and only if T is normal, (4) if and only if T ² = 0, and (5) every operator which satisfies T ² = 0 is necessarily complex symmetric. This work partially supported by National Science Foundation Grant DMS 0638789.     

On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

Binormal operator and *-Aluthge transformation

Let T = U｜T｜ be the polar decomposition of a bounded linear operator T on a Hilbert space. The transformation T = ｜T｜^1/2 U｜T｜^1/2 is called the Aluthge transformation and Tn means the n-th Aluthge transformation. Similarly, the transformation T（＊）=｜T＊｜^1/2 U｜T＊｜＆1/2 is called the ＊-Aluthge transformation and Tn^（＊） means the n-th ＊-Aluthge transformation. In this paper, firstly, we show that T（＊） = UV｜T^（＊）｜ is the polar decomposition of T（＊）, where ｜T｜^1/2 ｜T^＊｜^1/2 = V｜｜T｜^1/2 ｜T^＊｜^1/2｜ is the polar decomposition. Secondly, we show that T（＊） = U｜T^（＊）｜ if and only if T is binormal, i.e., [｜T｜, ｜T^＊｜]=0, where [A, B] = AB - BA for any operator A and B. Lastly, we show that Tn^（＊） is binormal for all non-negative integer n if and only if T is centered, and so on.     

Spectra of completely log-hyponormal operators

An operatorT on a Hilbert space is called log-hyponormal if it is invertible and log(T ^* T)≥log(T ^* T). In this paper we study spectral properties of completely log-hyponormal operators. Dedicated to professor Robin Harte on his sixtieth birthday This research is partially supported by Grant-in-Aid Scientific Research (No. 09640229).     

Generalized Absolute Values and Polar Decompositions of a Bounded Operator

Generalized absolute values as well as corresponding to them generalized polar decompositions of a bounded linear operator T of a Hilbert space H{\mathcal{H}} into a Hilbert space K{\mathcal{K}} are defined, motivated by the inequality |áTx, y?_K|² ￡ á|T|x, x?_Há|T^*|y, y?_K{|\langle{Tx}, {y}\rangle}_{\mathcal{K}}|^2 \leq \langle|T|x, {x}\rangle_{\mathcal{H}}\langle{|T^{*}|y}, {y}\rangle_{\mathcal{K}} . It is shown that there is a natural bijection between generalized absolute values of T and of T* which sends |T| to |T*|. For a bounded nonnegative operator A on H{\mathcal{H}} and a bounded Borel function f: \mathbbR₊ ? \mathbbR₊{f: \mathbb{R}_+ \to \mathbb{R}_+} , equivalent conditions for A and f(|T|) to be generalized absolute values of T are established and corresponding to them generalized absolute values of T* are determined.     

Norms of Moore-Penrose Inverses of Fredholm Toeplitz Operators

In this paper we estimate the norm of the Moore-Penrose inverse T(a)⁺ of a Fredholm Toeplitz operator T(a) with a matrix-valued symbol a∈L_{N × N}^∞ defined on the complex unit circle. In particular, we show that in the ”generic case” the strict inequality ||T(a)⁺|| > ||a⁻¹||_∞ holds. Moreover, we discuss the asymptotic behavior of ||T(t^ra)⁺|| for . The results are illustrated by numerical experiments.     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

Inequalities of Putnam and Berger-Shaw forp-quasihyponormal operators

For an operatorT satisfying thatT ^*(T ^* T–TT ^*)T0, we shall show that and, moreover, tr itT isn-multicyclic.For an operatorT satisfying thatT ^* {(T ^* T) ^p –(TT ^*) ^p }T0 for somep (0, 1], we shall show that and, moreover, ifT isn-multicyclic.     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ⁻¹. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ⁻¹ and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.