A Representation of the Lorentz Spin Group and Its Application

For an integer m ≥ 4, we define a set of 2[m/2] × 2[m/2] matrices γj （m）, （j = 0, 1,..., m - 1） which satisfy γj （m）γk （m） ＋γk （m）γj （m） = 2ηjk （m）I[m/2], where （ηjk （m）） 0≤j,k≤m-1 is a diagonal matrix, the first diagonal element of which is 1 and the others are -1, I[m/2] is a 2[m/1] × 2[m/2] identity matrix with [m/2] being the integer part of m/2. For m = 4 and 5, the representation （m） of the Lorentz Spin group is known. For m≥ 6, we prove that （i） when m = 2n, （n ≥ 3）, （m） is the group generated by the set of matrices {T｜T=1/√ξ（（I＋k） 0 ＋ 0 I-K） （ U 0 0 U）, （ii） when m = 2n ＋ 1 （n≥ 3）, （m） is generated by the set of matrices {T｜T=1/√ξ（I -k^- k I）U,U∈ （m-1）,ξ=1-m-2 ∑k,j=0 ηkja^k a^j〉0, K=i[m-3 ∑j=0 a^j γj（m-2）＋a^（m-2） In],K^-=i[m-3∑j=0 a^j γj（m-2）-a^（m-2） In]}     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

On the Order of Magnitude of the Divisor Function

Let D be an increasing sequence of positive integers, and consider the divisor functions： d（n, D） =∑d｜n,d∈D,d≤√n1, d2（n,D）=∑[d,δ]｜n,d,δ∈D,[d,δ]≤√n1, where [d,δ]=1.c.m.（d,δ）. A probabilistic argument is introduced to evaluate the series ∑n=1^∞and（n,D） and ∑n=1^∞and2（n,D）.     

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.     

Large deviations for sample paths of quadratic variations of Gaussian processes

We prove a functional large deviations principle for the family of random functions

On the Relationship Between the Baum-Katz-Spitzer Complete Convergence Theorem and the Law of the Iterated Logarithm

For a sequence of i.i.d. Banach space-valued random variables {Xn; n ≥ 1} and a sequence of positive constants {an; n ≥ 1}, the relationship between the Baum-Katz-Spitzer complete convergence theorem and the law of the iterated logarithm is investigated. Sets of conditions are provided under which （i） lim sup n→∞ ｜｜Sn｜｜/an〈∞ a.s.and ∞ ∑n=1（1/n）P（｜｜Sn｜｜/an ≥ε〈∞for all ε 〉 λ for some constant λ ∈ [0, ∞） are equivalent; （ii） For all constants λ ∈ [0, ∞）, lim sup ｜｜Sn｜｜/an =λ a.s.and ^∞∑ n=1（1/n） P（｜｜Sn｜｜/an ≥ε）{〈∞, if ε〉λ =∞,if ε〈λare equivalent. In general, no geometric conditions are imposed on the underlying Banach space. Corollaries are presented and new results are obtained even in the case of real-valued random variables.     

Long-time existence for a solution of the equation of evolution of harmonic maps into an ellipsoid

This paper is concerned with the evolution of harmonic maps from an open set Ω of ℝ^m into an n-dimensionnal ellipsoid where a ∈ (0, 1] We prove the existence of a smooth solution of the equation of evolution of harmonic maps if the initial data lies in a compact subset of the upper hemisphere of an ellispoid.     

On the Value Distribution of Hurwitz Zeta-Functions at the Nontrivial Zeros of the Riemann Zeta-Function

We consider the value distribution of Hurwitz zeta-functions at the nontrivial zeros ϱ= β + iγ of the Riemann zeta-function ζ (s):= ζ (s, 1). Using the method of Conrey, Ghosh and Gonek we prove for fixed 0< α< 1 andH ≤T that

Regularity results for the gradient of solutions linear elliptic equations with L 1, λ data

We prove that if f belongs to the Morrey space , with λ ∊ [0, n−2], and u is the solution of the problem

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.     

Output-sensitive results on convex hulls,extreme points,and related problems

We use known data structures for ray-shooting and linear-programming queries to derive new output-sensitive results on convex hulls, extreme points, and related problems. We show that thef-face convex hull of ann-point setP in a fixed dimensiond≥2 can be constructed in time; this is optimal if for some sufficiently large constantK. We also show that theh extreme points ofP can be computed in time. These results are then applied to produce an algorithm that computes the vertices of all the convex layers ofP inO(n ^2−γ) time for any constant . Finally, we obtain improved time bounds for other problems including levels in arrangements and linear programming with few violated constraints. In all of our algorithms the input is assumed to be in general position. This research was supported by a Killam Predoctoral Fellowship and an NSERC Postgraduate Scholarship.     

Dirichlet series whose partial sums of coefficients have regular variation

We study pairs of Dirichlet series and in whicha(n) counts the number of objects of “size”n of some class of objects which is closed under formation of direct products and extraction of irreducible factors, andp(n) counts the number of objects of “size”n which are irreducible in this class. We prove Dirichlet series analogues of certain results about power series and use these results to prove some conjectures of Burris concerning first-order 0–1 laws.     

Some Tauberian conditions for Cesàro summability method

Let u = (u _n ) be a sequence of real numbers whose generator sequence is Cesàro summable to a finite number. We prove that (u _n ) is slowly oscillating if the sequence of Cesàro means of (ω _n ^(m−1)(u)) is increasing and the following two conditions are hold:

Time hierarchies for cryptographic function inversion with advice

We prove a time hierarchy theorem for inverting functions computable in a slightly nonuniform polynomial time. In particular, we prove that if there is a strongly one-way function, then for any k and for any polynomial p, there is a function f computable in linear time with one bit of advice such that there is a polynomial-time probabilistic adversary that inverts f with probability ≥ 1/p(n) on infinitely many lengths of input, while all probabilistic O(n ^k )-time adversaries with logarithmic advice invert f with probability less than 1/p(n) on almost all lengths of input. We also prove a similar theorem in the worst-case setting, i.e., if P ≠ NP, then for every l > k ≥ 1

Weighted Non-Trivial Multiply Intersecting Families

Let n and r be positive integers. Suppose that a family satisfies F₁∩···∩F_r ≠∅ for all F₁, . . .,F_r ∈ and . We prove that there exists ε=ε(r) >0 such that holds for 1/2≤w≤1/2+ε if r≥13.     

On the Boundary Behaviour,Including Second Order Effects,of Solutions to Singular Elliptic Problems

For γ≥1 we consider the solution u=u（x） of the Dirichlet boundary value problem Δu ＋ u^-γ=0 in Ω, u=0 on δΩ. For γ= 1 we find the estimate u（x）=p（δ（x））[1＋A（x）（log 1/δ（x）^-6], where p（r） ≈ r r√2 log（1/r） near r = 0,δ（x） denotes the distance from x to δΩ, 0 〈ε 〈 1/2, and A（x） is a bounded function. For 1 〈 γ 〈 3 we find u（x）=（γ＋1/√2（γ-1）δ（x））^2/γ＋[1＋A（x）（δ（x））2γ-1/γ＋1] For γ3= we prove that u（x）=（2δ（x））^1/2[1＋A（x）δ（x）log 1/δ（x）]     

Asymptotic behaviour of the phase in non-smooth obstacle scattering

In this paper, we study the asymptotic behaviour of the scattering phases(λ) of the Dirichlet Laplacian associated with obstacle , where Ω is a bounded open subset of ℝ ⁿ (n≥2) with non-smooth boundary ∂Ω and connected complement Ω _e =ℝ ⁿ . We can prove that if Ω satisfies a certain geometrical condition, then

Minimal faithful representations of reductive Lie algebras

Let G and H be Lie groups with Lie algebras and . Let G be connected. We prove that a Lie algebra homomorphism is exact if and only if it is completely positive. The main resource is a corresponding theorem about representations on Hilbert spaces. This article summarizes the main results of [1]. Received: 6 December 2005     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

Hypercyclic Conjugate Operators

We prove that for any weighted backward shift B = B_w on an infinite dimensional separable Hilbert space H whose weight sequence w = (w_n) satisfies , the conjugate operator is hypercyclic on the space S(H) of self-adjoint operators on H provided with the topology of uniform convergence on compact sets. That is, there exists an such that is dense in S(H). We generalize the result to more general conjugate maps , and establish similar results for other operator classes in the algebra B(H) of bounded operators, such as the ideals K(H) and N(H) of compact and nuclear operators respectively.