Quasi-symmetric designs with the difference of block intersection numbers two

Quasi-symmetric designs with intersection numbers x > 0 and y = x + 2 under the condition λ > 1 are investigated. If D(v, b, r, k, λ; x, y) is a quasi-symmetric design with above conditions then it is shown that either λ = x + 1 or x + 2 or D is a design with the parameters given in the Table 6 or complement of one of these designs.     

Quasi-symmetric 2, 3, 4-designs

Quasi-symmetric designs are block designs with two block intersection numbersx andy It is shown that with the exception of (x, y)=(0, 1), for a fixed value of the block sizek, there are finitely many such designs. Some finiteness results on block graphs are derived. For a quasi-symmetric 3-design with positivex andy, the intersection numbers are shown to be roots of a quadratic whose coefficients are polynomial functions ofv, k and λ. Using this quadratic, various characterizations of the Witt—Lüneburg design on 23 points are obtained. It is shown that ifx=1, then a fixed value of λ determines at most finitely many such designs.     

Quasi-symmetric 3-designs with triangle-free graph

The following result is proved: Let D be a quasi-symmetric 3-design with intersection numbers x, y(0x<y<k). D has no three distinct blocks such that any two of them intersect in x points if and only if D is a Hadamard 3-design, or D has a parameter set (v, k, ) where v=(+2)(²+4+2)+1, k=²+3+2 and =1,2,..., or D is a complement of one of these designs.     

Inequalities and bounds for quasi-symmetric 3-designs

Quasi-symmetric 3-designs with block intersection numbers x and y(0x<y<k) are studied, several inequalities satisfied by the parameters of a quasi-symmetric 3-designs are obtained. Let D be a quasi-symmetric 3-design with the block size k and intersection numbers x, y; y>x1 and suppose D′ denote the complement of D with the block size k′ and intersection numbers x′ and y′. If k −1 x + y then it is proved that x′ + y′ k′. Using this it is shown that the quasi-symmetric 3-designs corresponding to y = x + 1, x + 2 are either extensions of symmetric designs or designs corresponding to the Witt-design (or trivial design, i.e., v = k + 2) or the complement of above designs.     

Some characterizations of quasi-symmetric designs with a spread

The designPG ₂ (4,q) of the points and planes ofPG (4,q) forms a quasi-symmetric 2-design with block intersection numbersx=1 andy=q+1. We give some characterizations of quasi-symmetric designs withx=1 which have a spread through a fixed point. For instance, it is proved that if such a designD is also smooth, thenDPG ₂ (4,q).     

Strongly Closed Subgraphs in a Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

Extremal probabilities for Gaussian quadratic forms

 Denote by Q an arbitrary positive semidefinite quadratic form in centered Gaussian random variables such that E(Q)=1. We prove that for an arbitrary x>0, inf _Q P(Q≤x)=P(χ² _n /n≤x), where χ _n ² is a chi-square distributed rv with n=n(x) degrees of freedom, n(x) is a non-increasing function of x, n=1 iff x>x(1)=1.5364…, n=2 iff x[x(2),x(1)], where x(2)=1.2989…, etc., n(x)≤rank(Q). A similar statement is not true for the supremum: if 1<x<2 and Z ₁ ,Z ₂ are independent standard Gaussian rv's, then sup_0≤λ≤1/2 P{λZ ₁ ² +(1−λ)Z ₂ ² ≤x} is taken not at λ=0 or at λ=1/2 but at 0<λ=λ(x)<1/2, where λ(x) is a continuous, increasing function from λ(1)=0 to λ(2)=1/2, e.g. λ(1.5)=.15…. Applications of our theorems include asymptotic quantiles of U and V-statistics, signal detection, and stochastic orderings of integrals of squared Gaussian processes. Received: 24 June 2002 / Revised version: 26 January 2003 Published online: 15 April 2003 Research supported by NSA Grant MDA904-02-1-0091 Mathematics Subject Classification (2000): Primary 60E15, 60G15; Secondary 62G10     

Concentration of Points on Two and Three Dimensional Modular Hyperbolas and Applications

Let p be a large prime number, K, L, M, λ be integers with 1 ≤ M ≤ p and gcd(λ, p) = 1. The aim of our paper is to obtain sharp upper bound estimates for the number I ₂(M; K, L) of solutions of the congruence

On the Diophantine equation x 2+5 m =y n

In this paper we consider the Diophantine equation x ²+5 ^m =y ⁿ , n>2, m>0. We prove that the equation has no positive integer solutions when 2∤ m, nor when 2∣m under the additional condition (x,y)=1, with the help of Bilu, Hanrot, and Voutier’s deep result in (J. Reine Angew. Math. 539:75–122, 2001). Supported by the 973 Grant of P.R.C and SRFDP 20040284018.     

The Hausdorff Centred measure of the symmetry Cantor sets

Let 0＜λ≤1/3,K (λ) be the attractor of an iterated function system { ψ1,ψ2 } on the line, where ψ1 (x ) =λx, ψ2(x)=1-λ+λx, x∈ [0,1]. We call K (λ) the symmetry Cantor sets. In this paper, we obtained the exact Hausdorff Centred measure of K (λ).     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

Non Existence of Triangle Free Quasi-symmetric Designs

The following two results are proved. Let D be a triangle free quasi-symmetric design with k=2y−x and x≥ 1 then D is a trivial design with v=5 and k=3. There do no exist triangle free quasi-symmetric designs with x≥ 1 and λ=y or λ=y−1.Communicated by: P. Wild     

Two-Point Boundary Value Problems for Duffing Equations across Resonance

In this paper, we consider the equation y″+f(x,y)=0 with a nonresonance condition of the form A≤f _y (x,y)≤B, where (k−1)²<A≤k ²<⋅⋅⋅<m ²≤B<(m+1)², k,m∈ℤ⁺. With optimal control theory and the Schauder fixed-point theorem, by introducing a new cost functional, we obtain a new existence and uniqueness result for the above equation with two-point boundary-value conditions. This work was supported by NSFC Grant 10501017 and 985 Project of Jilin University.     

On the Perfect Matchings of Near Regular Graphs

Let k, h be positive integers with k ≤ h. A graph G is called a [k, h]-graph if k ≤ d(v) ≤ h for any v ? V(G){v \in V(G)}. Let G be a [k, h]-graph of order 2n such that k ≥ n. Hilton (J. Graph Theory 9:193–196, 1985) proved that G contains at least ?k/3?{\lfloor k/3\rfloor} disjoint perfect matchings if h = k. Hilton’s result had been improved by Zhang and Zhu (J. Combin. Theory, Series B, 56:74–89, 1992), they proved that G contains at least ?k/2?{\lfloor k/2\rfloor} disjoint perfect matchings if k = h. In this paper, we improve Hilton’s result from another direction, we prove that Hilton’s result is true for [k, k + 1]-graphs. Specifically, we prove that G contains at least ?\fracn3?+1+(k-n){\lfloor\frac{n}3\rfloor+1+(k-n)} disjoint perfect matchings if h = k + 1.     

Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1 and <Emphasis Type="Italic">a</Emphasis><Subscript>1</Subscript> = 0 < <Emphasis Type="Italic">a</Emphasis><Subscript>2</Subscript>

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

Weak-Geodetically Closed Subgraphs in Distance-Regular Graphs

 Let Γ=(X,R) denote a distance-regular graph with diameter D≥2 and distance function δ. A (vertex) subgraph Ω⊆X is said to be weak-geodetically closed whenever for all x,y∈Ω and all z∈X,

Large sets of pure directed triple systems with index λ

A directed triple system of order v with index λ, briefly by DTS（v,λ）, is a pair （X, B） where X is a v-set and B is a collection of transitive triples （blocks） on X such that every ordered pair of X belongs to λ blocks of B. A simple DTS（v, λ） is a DTS（v, λ） without repeated blocks. A simple DTS（v, ）,） is called pure and denoted by PDTS（v, λ） if （x, y, z） ∈ B implies （z, y, x）, （z, x, y）, （y, x, z）, （y, z, x）, （x, z, y） B. A large set of disjoint PDTS（v, λ）, denoted by LPDTS（v, λ）, is a collection of 3（v - 2）/λ disjoint pure directed triple systems on X. In this paper, some results about the existence for LPDTS（v, λ） are presented. Especially, we determine the spectrum of LPDTS（v, 2）.     

Quasi-residual quasi-symmetric designs

It is shown that for each λ ? 3, there are only finitely many quasi-residual quasi-symmetric (QRQS) designs and that for each pair of intersection numbers (x, y) not equal to (0, 1) or (1, 2), there are only finitely many QRQS designs.A design is shown to be affine if and only if it is QRQS with x = 0. A projective design is defined as a symmetric design which has an affine residual. For a projective design, the block-derived design and the dual of the point-derivate of the residual are multiples of symmetric designs.