Lifting Unitary Elements with Application to Approximately Inner Automorphisms

Let A be a separable unital nuclear simple C＊-algebra with torsion K0 （A）, free K1 （A） and with the UCT. Let T ： A→M（K）/K be a unital homomorphism. We prove that every unitary element in the commutant of T（A） is an exponent, thus it is liftable. We also prove that each automorphism α on E with α ∈ Aut0（A） is approximately inner, where E is a unital essential extension of A by K and α is the automorphism on A induced by α.     

Universal Similarity Factorization Equalities over Generalized Clifford Algebras

For any element a in a generalized 2^n-dimensional Clifford algebra Lln （F） over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln（F） such that Pn^-1DnPn= φ（α）∈F^2n×2n, where φ（a） is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate.     

Wavelets and Geometric Structure for Function Spaces

Abstract With Littlewood–Paley analysis, Peetre and Triebel classified, systematically, almost all the usual function spaces into two classes of spaces: Besov spaces and Triebel–Lizorkin spaces ; but the structure of dual spaces of is very different from that of Besov spaces or that of Triebel–Lizorkin spaces, and their structure cannot be analysed easily in the Littlewood–Paley analysis. Our main goal is to characterize in tent spaces with wavelets. By the way, some applications are given: (i) Triebel–Lizorkin spaces for p = ∞ defined by Littlewood–Paley analysis cannot serve as the dual spaces of Triebel–Lizorkin spaces for p = 1; (ii) Some inclusion relations among these above spaces and some relations among and L ¹ are studied. Supported by NNSF of China (Grant No. 10001027)     

Multilinear Singular Integrals with Rough Kernel

For a class of multilinear singular integral operators T _A ,

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.     

Equivalence Bimodule between Spherical Noncommutative Tori

Let n _i ,m _j > 1. In [5], the sperical noncommutative torus was defined by twisting in by a totally skew multiplier p on for T ^pd a pd-homogeneous C*-algebra over . It is shown that is strongly Morita equivalent to . This work is supported by Grant No. 1999-2-102-001-3 from the interdisciplinary research program year of the KOSEF     

The normal subgroup structure of the extended Hecke groups

We consider the extended Hecke groups generated by T(z) = −1/z, S(z) = −1/(z + λ) and R(z) = 1/z with λ ≥ 2. In this paper, firstly, we study the fundamental region of the extended Hecke groups . Then, we determine the abstract group structure of the commutator subgroups , the even subgroup , and the power subgroups of the extended Hecke groups . Also, finally, we give some relations between them.     

Some generalizations of Knopp's identity*

For integers a, b and n > 0, define

Polar Sets and Relative Dimension for Generalized Brownian Sheet

Let{(t);t∈R_ ~N}be a d-dimensional N-parameter generalized Brownian sheet.Necessaryand sufficient conditions for a compact set E×F to be a polar set for(t,(t))are proved.It is also provedthat if 2N≤αd,then for any compact set ER_>~N,d-2/2 Dim E≤inf{dimF:F ∈ B(R~d),P{(E)∩F≠φ}>0}≤d-2/β DimE,and if 2N>αd,then for any compact set FR~d\{0},α/2(d-DimF)≤inf{dimE:E∈B(R_>~N),P{(E)∩F≠φ}>0}≤β/2(d-DimF),where B(R~d)and B(R_>~N)denote the Borel σ-algebra in R~d and in R_>~N respectively,dim and Dim are Hausdorffdimension and Packing dimension respectively.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

Effective Reducibility of a Class of Linear Differential Equations with Quasiperiodic Coefficients

In this paper we consider the effective reducibility of the following linear differentialequation: x = (A ∈Q(t,∈))x, |∈| ≤ ∈0, where A is a constant matrix, Q(t,e) is quasiperiodic in t, and e is a small perturbation parameter. We prove that if the eigenvalues of A and the basic frequencies of Q satisfy some non-resonant conditions, the linear differential equation can be reduced to y = (A^*(∈) R^*(t, ∈))y, |∈| ≤ ∈o, where R^* is exponentially small in ∈.     

Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks

We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial （finite） number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n（·） = Znt（√n·）, where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^（2β-1/2）Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit.     

On Well-posed Mutually Nearest and Mutually Furthest Point Problems in Banach Spaces

Let G be a non-empty closed(resp．bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X．Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance．Moreover,let KG(X)denote the closure of the set {A∈K(x)：A∩G=0}．We prove that the set of all A∈KG(X)(resp．A∈K(X)),such that the minimization (resp．maximization)problem min(A,G)(resp．max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp．K(X))．thus extending the recent results due to Blasi,Myjak and Papini and Li．     

A Nontrivial Product of Filtration s ＋ 5 in the Stable Homotopy of Spheres

In this paper, some groups Ext A^s.t （Zp, Zp） with specialized s and t are first computed by the May spectrM sequence. Then we make use of the Adams spectral sequence to prove the existence of a new nontrivial family of filtration s＋5 in the stable homotopy groups of spheres πpnq＋（s＋3）pq＋（s＋1）q-5S which is represented （up to a nonzero scalar） by β＋2bohh∈ExtA^s＋5,P^nq＋（n＋3）pq＋（n＋1）q＋s（Zp, Zp） in the Adams spectral sequence, where p ≥ 5 is a prime number, n ≥3, 0≤ s 〈 p - 3, q = 2（p - 1）.     

Positive Solutions for Second-Order m-Point Boundary Value Problems on Time Scales

Let T be a time scale such that 0, T ∈ T. By means of the Schauder fixed point theorem and analysis method, we establish some existence criteria for positive solutions of the m-point boundary value problem on time scales where α ∈ Ctd（（O,T,[0,∞））,f∈ Ckd（[0,∞）×[0,∞））,β,γ ∈[0,∞）,ξi ∈（0,p（T）.b,ai∈ （0,∞） （for i = 1,..., m - 2） are given constants satisfying some suitable hypotheses. We show that this problem has at least one positive solution for sufficiently small b 〉 0 and no solution for sufficiently large b. Our results are new even for the corresponding differential equation （T = R） and difference equation （T = Z）.     

Jackson＇s Theorem on Bounded Symmetric Domains

Polynomial approximation is studied on bounded symmetric domain Ω in C^n for holomorphic function spaces X such as Bloch-type spaces, Bergman-type spaces, Hardy spaces, Ω algebra and Lipschitz space. We extend the classical Jackson＇s theorem to several complex variables：Eκ（f,X）≤ω（1/k,f,X）, where Eκ（f,X） is the deviation of the best approximation of f ∈X by polynomials of degree at most k with respect to the X-metric and ω（1/k,f,X） is the corresponding modulus of continuity.     

Precise Asymptotics in the Law of the Iterated Logarithm of Moving-Average Processes

In this paper, we discuss the moving-average process Xk = ∑i=-∞ ^∞ ai＋kεi, where {εi;-∞ 〈 i 〈 ∞} is a doubly infinite sequence of identically distributed ψ-mixing or negatively associated random variables with mean zeros and finite variances, {ai;-∞ 〈 i 〈 -∞） is an absolutely solutely summable sequence of real numbers.