On the k-sample Behrens-Fisher problem for high-dimensional data

For several decades, much attention has been paid to the two-sample Behrens-Fisher (BF) problem which tests the equality of the means or mean vectors of two normal populations with unequal variance/covariance structures. Little work, however, has been done for the k-sample BF problem for high dimensional data which tests the equality of the mean vectors of several high-dimensional normal populations with unequal covariance structures. In this paper we study this challenging problem via extending the famous Scheffe’s transformation method, which reduces the k-sample BF problem to a one-sample problem. The induced one-sample problem can be easily tested by the classical Hotelling’s T ² test when the size of the resulting sample is very large relative to its dimensionality. For high dimensional data, however, the dimensionality of the resulting sample is often very large, and even much larger than its sample size, which makes the classical Hotelling’s T ² test not powerful or not even well defined. To overcome this difficulty, we propose and study an L ²-norm based test. The asymptotic powers of the proposed L ²-norm based test and Hotelling’s T ² test are derived and theoretically compared. Methods for implementing the L ²-norm based test are described. Simulation studies are conducted to compare the L ²-norm based test and Hotelling’s T ² test when the latter can be well defined, and to compare the proposed implementation methods for the L ²-norm based test otherwise. The methodologies are motivated and illustrated by a real data example. The work was supported by the National University of Singapore Academic Research Grant (Grant No. R-155-000-085-112)     

Walsh-Type Wavelet Packet Expansions

We consider a family of basic nonstationary wavelet packets generated using the Haar filters except for a finite number of scales where we allow the use of arbitrary filters. Such a system, which we call a system of Walsh-type wavelet packets, can be considered as a smooth generalization of the Walsh functions. We show that the basic Walsh-type wavelet packets share a number of metric properties with the Walsh system. We prove that the system constitutes a Schauder basis for L^p( ), 1<p<∞, and we construct an explicit function in L¹( ) for which the expansion fails. Then we prove that expansions of L^p( )-functions, 1<p<∞, in the Walsh-type wavelet packets converge pointwise a.e. Finally, we prove that the analogous results are true for periodic Walsh-type wavelet packets in L^p[0,1).     

Classification of extensions of classifiable -algebras

For a certain class of extensions of C^*-algebras in which B and A belong to classifiable classes of C^*-algebras, we show that the functor which sends to its associated six term exact sequence in K-theory and the positive cones of K₀(B) and K₀(A) is a classification functor. We give two independent applications addressing the classification of a class of C^*-algebras arising from substitutional shift spaces on one hand and of graph algebras on the other. The former application leads to the answer of a question of Carlsen and the first named author concerning the completeness of stabilized Matsumoto algebras as an invariant of flow equivalence. The latter leads to the first classification result for nonsimple graph C^*-algebras.     

Sub-Laplacians of Holomorphic L-type on Rank One AN-Groups and Related Solvable Groups

Consider a right-invariant sub-Laplacian L on an exponential solvable Lie group G, endowed with a left-invariant Haar measure. Depending on the structure of G and possibly also that of L, L may admit differentiable L^p-functional calculi, or may be of holomorphic L^p-type for a given p≠2, as recent studies of specific classes of groups G and sub-Laplacians L have revealed. By “holomorphic L^p-type” we mean that every L^p-spectral multiplier for L is necessarily holomorphic in a complex neighborhood of some point in the L²-spectrum of L. This can only arise if the group algebra L¹(G) is non-symmetric. In this article we prove that, for large classes of exponential groups, including all rank one AN-groups, a certain Lie algebraic condition, which characterizes the non-symmetry of L¹(G) [37], also suffices for L to be of holomorphic L¹-type. Moreover, if this condition, which was first introduced by J. Boidol [6] in a different context, holds for generic points in the dual * of the Lie algebra of G, then L is of holomorphic L^p-type for every p≠2. Besides the non-symmetry of L¹(G), also the closedness of coadjoint orbits plays a crucial role. We also discuss an example of a higher rank AN-group. This example and our results in the rank one case suggest that sub-Laplacians on exponential Lie groups may be of holomorphic L¹-type if and only if there exists a closed coadjoint orbit Ω * such that the points of Ω satisfy Boidol's condition. In the course of the proof of our main results, whose principal strategy is similar as in [8], we develop various tools which may be of independent interest and largely apply to more general Lie groups. Some of them are certainly known as “folklore” results. For instance, we study subelliptic estimates on representation spaces, the relation between spectral multipliers and unitary representations, and develop some “holomorphic” and “continuous” perturbation theory for images of sub-Laplacians under “smoothly varying” families of irreducible unitary representations.     

Some Maximal Operators Related to Families of Singular Integral Operators

In this paper, we shall study L^p-boundedness of two kinds of maximal operators related to some families of singular integrals.     

Quantum Real Projective Space, Disc and Spheres

We define the C ^*-algebra of quantum real projective space R P _q ², classify its irreducible representations, and compute its K-theory. We also show that the q-disc of Klimek and Lesniewski can be obtained as a non-Galois Z ₂-quotient of the equator Podle quantum sphere. On the way, we provide the Cartesian coordinates for all Podle quantum spheres and determine an explicit form of isomorphisms between the C ^*-algebras of the equilateral spheres and the C ^*-algebra of the equator one.     

Δ 2 0 -copies of linear orderings

It is proved that, for any n ∈ ω, there exist countable linear orderings L_n whose Δ ₂ ⁰ -spectrum consists of exactly all non n-low Δ ₂ ⁰ -degrees. Properties of such orderings are examined, for n = 1 and n = 2. Supported by RFBR grant No. 02-01-00169 and by RF Ministry of Education grant No. E02-1.0-177. __________ Translated from Algebra i Logika, Vol. 45, No. 3, pp. 354–370, May–June, 2006.     

A New Construction of Central Relative (p a , p a , p a , 1)-Difference Sets

Semiregular relative difference sets (RDS) in a finite group E which avoid a central subgroup C are equivalent to orthogonal cocycles. For example, every abelian semiregular RDS must arise from a symmetric orthogonal cocycle, and vice versa. Here, we introduce a new construction for central (p ^a , p ^a , p ^a , 1)-RDS which derives from a novel type of orthogonal cocycle, an LP cocycle, defined in terms of a linearised permutation (LP) polynomial and multiplication in a finite presemifield. The construction yields many new non-abelian (p ^a , p ^a , p ^a , 1)-RDS. We show that the subset of the LP cocycles defined by the identity LP polynomial and multiplication in a commutative semifield determines the known abelian (p ^a , p ^a , p ^a , 1)-RDS, and give a second new construction using presemifields.We use this cohomological approach to identify equivalence classes of central (p ^a , p ^a , p ^a , 1)-RDS with elementary abelian C and E/C. We show that for p = 2, a 3 and p = 3, a 2, every central (p ^a , p ^a , p ^a , 1)-RDS is equivalent to one arising from an LP cocycle, and list them all by equivalence class. For p = 2, a = 4, we list the 32 distinct equivalence classes which arise from field multiplication. We prove that, for any p, there are at least a equivalence classes of central (p ^a , p ^a , p ^a , 1)-RDS, of which one is abelian and a – 1 are non-abelian.     

The rate of convergence for spectra of GUE and LUE matrix ensembles

We obtain optimal bounds of order O(n ⁻¹) for the rate of convergence to the semicircle law and to the Marchenko-Pastur law for the expected spectral distribution functions of random matrices from the GUE and LUE, respectively. Research supported by the DFG-Forschergruppe FOR 399/1. Partially supported by INTAS grant N 03-51-5018, by RFBR grant N 02-01-00233, and by RFBR-DFG grant N 04-01-04000.     

<Emphasis Type="Italic">W</Emphasis><Superscript>1,<Emphasis Type="Italic">p</Emphasis></Superscript>(R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)-boundedness for maximal functions

In this paper, we get W ^1,p (R ⁿ )-boundedness for tangential maximal function and nontangential maximal function, which improves J.Kinnunen, P.Lindqvist and Tananka’s results. Supported by the key Academic Discipline of Zhejiang Province of China under Grant No.2005 and the Zhejiang Provincial Natural Science Foundation of China.     

直线上子集的H~s-拓扑及其应用

本文利用s-维Hausdorff测度给出了直线上一个子集E上的H~s拓扑和H~s-连通度的定义.讨论了它们的性质及其应用,解决了紧的s-集在欧氏拓扑下往往不连通的问题.     

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

THE FUNDAMENTAL GROUP OF THE AUTOMORPHISM GROUP OF A NONCOMMUTATIVE TORUS

Assume that each completely irrational noncommutative torus is realized as an inductive limit of circle algebras, and that for a completely irrational noncommutative torus Aw of rank m there are a completely irrational noncommutative torus Aρ of rank m and a positive integer d such that tr(Aw)=1/d.tr(Aρ).It is proved that the set of all C^*-algebras of sections of locally trivial C^*-algebra bundles over S^2 with fibres Aω has a group sturcture,denoted by π1^s(Aut(Aω)),which is isomorphic to Zif Ed&gt;1 and {0} if d&gt;1.Let Bcd be a cd-homogeneous C^*-algebra over S^2&#215;T^2 of which no non-trivial matrix algebra can be factored out.The spherical noncommutative torus Sρ^cd is defined by twisting C^*(T2&#215;Z^m-2) in Bcd &#215;C^*(Z^m-3) by a totally skew multiplier ρ on T^2&#215;Z^m-2。It is shown that Sρ^cd&#215;Mρ∞ is isomorphic to C(S^2)&#215;C^*(T^2&#215;Z^m-2,ρ）&#215; Mcd(C)&#215;Mρ∞ if and only if the set of prime factors of cd is a subset of the set of prime factors of p.     

Construction of ‘Wachspress type’ rational basis functions over rectangles

In the present paper, we have constructed rational basis functions ofC ⁰ class over rectangular elements with wider choice of denominator function. This construction yields additional number of interior nodes. Hence, extra nodal points and the flexibility of denominator function suggest better approximation.     

Orthogonal surfaces with constant mean curvature in the Euclidean 4-space

We classify orthogonal surfaces ofE ⁴ whose mean curvature is constant by proving that they are either of 1-type or of 2-type.Partially supported by a ME/Fulbright grant and by a DGICYT grant PB91-0705-C02-01     

Two-parameter estimates for joint spectral projections on complex spheres

We prove sharp two-parameter estimates for the L ^p -L ² norm, 1 ≤ p ≤ 2, of the joint spectral projectors associated to the Laplace–Beltrami operator and to the Kohn Laplacian on the unit sphere S ^2n-1 in . Then, by using the notion of contraction of Lie groups, we deduce the estimates recently obtained by H. Koch and F. Ricci for joint spectral projections on the reduced Heisenberg group h ¹.      

A new proof of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for the parabolic polyharmonic equations

In this paper we obtain local L ^p estimates for the parabolic polyharmonic equations by a straightforward approach. Yao was supported by the Innovation Foundation of Shanghai University (Grant No. A10-0101-08-905), Shanghai Leading Academic Discipline Project (Grant No. J50101) and Key Disciplines of Shanghai Municipality (Grant No. S30104). Zhou was supported by the National Basic Research Program of China (Grant No. 2006CB705700), National Natural Science Foundation of China (Grant No. 60532080), and the Key Project of Chinese Ministry of Education (Grant No. 306017)     

Lp-Lq Estimates for higher order perturbed hyperbolic equation

In this paper L^p-L^q estimates for the solution u(x,t) to the following perturbed high-er order hyperbolic equation are considered, (ρπ--a△)(ρπ--b△)u V(x)u=O, x∈R^n,n≥6, ρ1eu(x,O) = O, ρ^3eu(x,O) = f(x), (j = O,1,2).We assume that the otential V(x) and the initial data f(x) are compactly supported, andV(x) is sufficiently small, then the solution u (x,t) of the above problem satisfies the same L^p-L^q estimates as that of the unperturbed problem.     

TheK-theory of AF embeddings of the rational rotation algebras

Our main result is the construction of an embedding ofC(T²) into an approximately finite-dimensionalC ^*-algebra which induces an injection onK ₀(C(T²)). The existence of this embedding implies that Cech cohomology cannot be extended to a stable, continuous homology theory forC ^*-algebras which admits a well-behaved Chern character. Homotopy properties ofC ^*-algebras are also considered. For example, we show that the second homotopy functor forC ^*-algebras is discontinuous. Similar embeddings are constructed for all the rational rotation algebras, with the consequence that none of the rational rotation algebras satisfies the homotopy property called semiprojectivity.