The Existence of BIB Designs

Abstract Given any positive integers k≥ 3 and λ, let c(k, λ) denote the smallest integer such that v∈B(k, λ) for every integer v≥c(k, λ) that satisfies the congruences λv(v− 1) ≡ 0(mod k(k− 1)) and λ(v− 1) ≡ 0(mod k− 1). In this article we make an improvement on the bound of c(k, λ) provided by Chang in [4] and prove that . In particular, . Supported by NSFC Grant No. 19701002 and Huo Yingdong Foundation     

Zero-density estimates for automorphic <Emphasis Type="Italic">L</Emphasis>-functions

In this paper we prove zero-density estimates of the large sieve type for the automorphic L-function L（s, f × χ）, where f is a holomorphic cusp form and χ（mod q） is a primitive character.     

Functoriality of automorphic <Emphasis Type="Italic">L</Emphasis>-functions through their zeros

Let E be a Galois extension of ℚ of degree l, not necessarily solvable. In this paper we first prove that the L-function L(s, π) attached to an automorphic cuspidal representation π of cannot be factored nontrivially into a product of L-functions over E. Next, we compare the n-level correlation of normalized nontrivial zeros of L(s, π₁)…L(s, π _k ), where π _j , j = 1,…, k, are automorphic cuspidal representations of , with that of L(s,π). We prove a necessary condition for L(s, π) having a factorization into a product of L-functions attached to automorphic cuspidal representations of specific , j = 1,…,k. In particular, if π is not invariant under the action of any nontrivial σ ∈ Gal _E/ℚ, then L(s, π) must equal a single L-function attached to a cuspidal representation of and π has an automorphic induction, provided L(s, π) can factored into a product of L-functions over ℚ. As E is not assumed to be solvable over ℚ, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m ₁,…,m _k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases. The first author was supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060), and Ministry of Education of China (Grant No. 305009). The second author was supported by the National Security Agency (Grant No. H98230-06-1-0075). The United States Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation herein     

More large sets of resolvable MTS and DTS with even orders

In this paper, we first introduce a special structure that allows us to construct a large set of resolvable Mendelsohn triple systems of orders 2q ＋ 2, or LRMTS（2q ＋ 2）, where q = 6t ＋ 5 is a prime power. Using a computer, we find examples of such structure for t C T = {0, 1, 2, 3, 4, 6, 7, 8, 9, 14, 16, 18, 20, 22, 24}. Furthermore, by a method we introduced in [13], large set of resolvable directed triple systems with the same orders are obtained too. Finally, by the tripling construction and product construction for LRMTS and LRDTS introduced in [2, 20, 21], and by the new results for LR-design in [8], we obtain the existence for LRMTS（v）and LRDTS（v）, where v = 12（t ＋ 1） mi≥0（2.7mi＋1）mi≥0（2.13ni＋1）and t∈T,which provides more infinite family for LRMTS and LRDTS of even orders.     

<Emphasis Type="Italic">q</Emphasis>-Besselian Frames in Banach Spaces

In this paper, we introduce the concepts of q-Besselian frame and （p, σ）-near Riesz basis in a Banach space, where a is a finite subset of positive integers and 1/p＋1/q = 1 with p 〉 1, q 〉 1, and determine the relations among q-frame, p-Riesz basis, q-Besselian frame and （p, σ）-near Riesz basis in a Banach space. We also give some sufficient and necessary conditions on a q-Besselian frame for a Banach space. In particular, we prove reconstruction formulas for Banach spaces X and X^＊ that if {xn}n=1^∞ C X is a q-Besselian frame for X, then there exists a p-Besselian frame {y＆＊}n=1^∞ belong to X^＊ for X^＊ such that x = ∑n=1^∞ yn^＊（x）xn for all x ∈ X, and x^＊ =∑n=1^∞ x^＊（xn）yn^＊ for all x^＊ ∈ X^＊. Lastly, we consider the stability of a q-Besselian frame for the Banach space X under perturbation. Some results of J. R. Holub, P. G. Casazza, O. Christensen and others in Hilbert spaces are extended to Banach spaces.     

The spectrum for overlarge sets of directed triple systems

A directed triple system of order v,denoted by DTS(v,λ),is a pair(X,B)where X is a v- set and B is a collection of transitive triples on X such that every ordered pair of X belongs toλtriples of B.An overlarge set of disjoint DTS(v,λ),denoted by OLDTS(v,λ),is a collection{(Y\{y},A_i)}_i, such that Y is a(v 1)-set,each(Y\{y},A_i)is a DTS(v,λ)and all A_i's form a partition of all transitive triples of Y.In this paper,we shall discuss the existence problem of OLDTS(v,λ)and give the following conclusion:there exists an OLDTS(v,λ)if and only if eitherλ=1 and v≡0,1(mod 3),orλ=3 and v≠2.     

A construction for large sets of disjoint Kirkman triple systems

A Steiner system S(t, k, v) is called i-resolvable, 0 < i < t, if its block set can be partitioned into S(i, k, v). In this paper, a 2-resolvable S(3, 4, v) is used to construct a large set of disjoint Kirkman triple systems of order 3v − 3 (briefly LKTS) and some new orders for LKTS are then obtained. Research supported by Tianyuan Mathematics Foundation of NSFC Grant 10526032 and Natural Science Foundation of Universities of Jiangsu Province Grant 05KJB110111.     

<Emphasis Type="Italic">m</Emphasis>-Dissipativity of Some Gradient Systems with Measurable Potential

We consider the operator in L ²(B, ν) and in L ¹(B, ν) with Neumann boundary condition, where U is an unbounded function belonging to for some q ∈(1, ∞), B is the possibly unbounded convex open set in where U is finite and ν(dx) = C exp (−2U (x))dx is a probability measure, infinitesimally invariant for N ₀. We prove that the closure of N ₀ is a m-dissipative operator both in L ²(B, ν) and in L ¹(B, ν). Moreover we study the properties of ergodicity and strong mixing of the measure ν in the L ² case.      

Approximately Linear Mappings in Banach Modules over a C^＊-algebra

Let X and Y be vector spaces. The authors show that a mapping f ： X →Y satisfies the functional equation 2d f（∑^2d j=1（-1）^j＋1xj/2d）=∑^2dj=1（-1）^j＋1f（xj） with f（0） = 0 if and only if the mapping f ： X→ Y is Cauchy additive, and prove the stability of the functional equation （≠） in Banach modules over a unital C^＊-algebra, and in Poisson Banach modules over a unital Poisson C＊-algebra. Let A and B be unital C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊- algebras. As an application, the authors show that every almost homomorphism h ： A →B of A into is a homomorphism when h（（2d-1）^nuy） =- h（（2d-1）^nu）h（y） or h（（2d-1）^nuoy） = h（（2d-1）^nu）oh（y） for all unitaries u ∈A, all y ∈ A, n = 0, 1, 2,.... Moreover, the authors prove the stability of homomorphisms in C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊-algebras.     

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

Hardy spaces estimates for a class of multilinear homogeneous operators

It is proved that a class of multilinear singular integral operators with homogeneous kernels are bounded operators from the product spaces to the Hardy spacesH ^r , (ℝ ⁿ ) and the weak Hardy spaceH ^r,∞ (ℝ ⁿ . As an application of this result, the L ^p ,(ℝ ⁿ ) boundedness of a class of commutator for the singular integral with homogeneous kernels is obtained. Project supparted in part by the National Natural Science Foundation of Chind (Grant No. 19131080) of China and Doctoral Programme Foundation of Institution of Higher Education (Grant No. 98002703) of China.     

Extrapolation results for <Emphasis Type="Italic">q</Emphasis> < 1

Given a sublinear operator T such that is bounded, it can be shown that is bounded, with constant C/(1−q), for every 0 < q < 1. In this paper, we study the converse result, not only for sequence spaces, but for general measure spaces proving that, if T : L ^q (μ) → X is bounded, with constant C/(1−q), for every and X is Banach, then T : L log (1/L)(μ) → X is bounded. Moreover, this result is optimal. We also show that things are quite different if the Banach condition on X is dropped. This work has been partially supported by MTM2004-02299 and by 2005SGR00556.     

A footnote to mean square value of DirichletL-series

Following appropriate use of approximate functional equation for Hurwitz Zeta function, we obtain upper bounds for } Here fors = σ + it, L(s,x) denotes DirichletL-series for character x(modq). In particular, we obtain S(1/2 +it) ≪q logqt + t^5/8 q^−1/8, which is an improvement in the range q |t| < q^11/7, on hitherto best known result. This incidentally gives S(1/2+ it)≪ q log3q for |t|q^9/5.     

Quasirecognition by the set of element orders of the groups E 6( q ) and 2 E 6( q )

We prove that if L is one of the simple groups E ₆(q) and ² E ₆(q) and G is some finite group with the same spectrum as L, then the commutant of G/F(G) is isomorphic to L and the quotient G/G′ is a cyclic {2,3}-group. Original Russian Text Copyright ? 2007 Kondrat’ev A. S. The author was supported by the Russian Foundation for Basic Research (Grant 04-01-00463) and the RFBR-NSFC (Grant 05-01-39000). __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 6, pp. 1250–1271, November–December, 2007.     

Characterization for commutators of n -dimensional fractional Hardy operators

In this paper, it was proved that the commutator generated by an n-dimensional fractional Hardy operator and a locally integrable function b is bounded from L ^p1 (ℝ ⁿ ) to L ^p2 (ℝ ⁿ ) if and only if b is a CṀO(ℝ ⁿ ) function, where 1/p ₁ − 1/p ₂ = β/n, 1 < p ₁ < ∞, 0 ⩽ β < n. Furthermore, the characterization of on the homogenous Herz space (ℝ ⁿ ) was obtained. This work was partially supported by the National Natural Science Foundation of China (Grant Nos. 10571014, 10371080) and the Doctoral Programme Foundation of Institute of Higher Education of China (Grant No. 20040027001)     

On the rate of convergence of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> norms in the CLT for poisson and gamma random variables

In the paper, we present upper bounds of L _p norms of order ( X)^-1/2 for all 1 ≤ p ≤ ∞ in the central limit theorem for a standardized random variable (X− X)/ √ X, where a random variable X is distributed by the Poisson distribution with parameter λ > 0 or by the standard gamma distribution Γ(α, 0, 1) with parameter α > 0. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-70/09.     

On exposed functions in Bernstein spaces

For σ > 0, the Bernstein space {ie427-01} consists of those L ¹(ℝ) functions whose Fourier transforms are supported by [−σ, σ]. Since {ie427-02} is separable and dual to some Banach space, the closed unit ball {ie427-03} of {ie427-04} has sufficiently large sets of both exposed and strongly exposed points: {ie427-05} coincides with the closed convex hull of its strongly exposed points. We investigate some properties of exposed points, construct several examples, and obtain as corollaries relations between the sets of exposed, strongly exposed, weak* exposed, and weak* strongly exposed points of {ie427-06}.     

On thek dimensional Piatetski-Shapiro prime number theorem

Thek-dimensional Piatetski-Shapiro prime number problem fork⩾3 is studied. Let π(x ₁ c ₁,⋯,c _k ) denote the number of primesp withp⩽x, , where 1<c ₁<⋯<c _k are fixed constants. It is proved that π(x;c ₁,⋯,c _k ) has an asymptotic formula ifc ₁ ⁻¹ +⋯+c _k ⁻¹ >k−k/(4k ²+2). Project supported by the National Natural Science Foundation of China (Grant No. 19801021) and the Natural Science Foundation of Shandong Province (Grant No.Q98A02110).     

The geometry of some two-character sets

A projective (n, d, w ₁, w ₂) _q set (or a two-character set for short) is a set of n points of PG(d − 1, q) with the properties that the set generates PG(d − 1, q) and that every hyperplane meets the set in either n − w ₁ or n − w ₂ points. Here geometric constructions of some two-character sets are given. The constructions mainly involve commuting polarities, symplectic polarities and normal line-spreads of projective spaces. Some information about the automorphism groups of such sets is provided.      

The Cohomology of Line Bundles on Non-primary Hopf Manifolds

The purpose of the present paper is to give an elementary method for the computation of the cohomology groups Hq（X,Ω^p X（L））, （0 ≤q ≤ n） of an n-dimensional non-primary Hopf manifold X with arbitrary fundamental group. We use the method of Zhou to generalize the results for primary Hopf manifolds and non-primary Hopf manifold with an Abelian fundamental group.