The spectrum of (gv, g, 3, λ)-DF in Z_(gv)

In this paper, the necessary and sufficient conditions for the existence of a (gv, g, 3, λ)- difference family in Zgv are established. As a consequence, the existence spectrum of a cyclic (3, λ)-GDD of type gv without short orbits is determined.     

由主子阵和特殊次序缺损特征对构造Jacobi矩阵

In this paper,an inverse eigenvalue problem of constructing a Jacobian matrix from its prescribed specially ordered defective eigenpairs and a principal subma-trix is considered.The necessary and sufficient conditions for the existence and uniqueness of the solution are derived.Two numerical algorithms and two numer-ical examples are given.     

ON SOLUTIONS OF MATRIX EQUATION AXAT ＋ BYBT=C

By making use of the quotient singular value decomposition (QSVD) of a matrix pair,this paper establishes the necessary and sufficient conditions for the existence of and the expressions for the general solutions of the linear matrix equation AXA^T BYB^T=C with the unknown X and Y, which may be both symmetric, skew-symmetric, nonnegativede finite, positive definite or some cross combinations respectively. Also, the solutions of some optimal problems are derived.     

体上一矩阵方程组的再研究

Let F,Qand Q be an arbitrary skew field,a skew field with an involutorial antiautomorphism,a strong p-division ring,respectively.This paper is sequel to [1].A practical method of finding the general solution of the system of matrix equations over F is presented.The necessary and sufficient conditions for the existence of and the explicit expressions for the self-conjugate matrix solution over Q,the positive semidefinite self-conjugate matrix solution over Q of the system are derived.     

A System of Four Matrix Equations over von Neumann Regular Rings and Its Applications

We consider the system of four linear matrix equations A1X = C1, XB2=C2, A3XB3=C3 and A4XB4 = C4 over h, an arbitrary von Neumann regular ring with identity. A necessary and sufficient condition for the existence and the expression of the general solution to the system are derived. As applications, necessary and sufficient conditions are given for the system of matrix equations A1X = C1 and A3X=C3 to have a bisymmetric solution, the system of matrix equations A1X = C1 and A3XB3 = C3 to have a perselfconjugate solution over h with an involution and char h≠2, respectively. The representations of such solutions are also presented. Moreover, some auxiliary resultson other systems over h are obtained. The previous known results on some systems of matrix equations are special cases of the new results.     

任意除环上一矩阵方程组的一般解与中心和反中心对称解

Necessary and sufficient conditions are given for the existence of the general solution, the centrosymmetric solution, and the centroskewsymmetric solution to a system of linear matrix equations over an arbitrary skew field. The representations of such the solutions of the system are also derived.     

THE INVERSE PROBLEM OF CENTROSYMMETRICMATRICES WITH A SUBMATRIX CONSTRAINT

By using Moore-Penrose generalized inverse and the general singular value decomposition of matrices, this paper establishes the necessary and sufficient conditions for the existence of and the expressions for the centrosymmetric solutions with a submatrix constraint of matrix inverse problem AX = B. In addition, in the solution set of corresponding problem, the expression of the optimal approximation solution to a given matrix is derived.     

EMBEDDINGS OF SIMPLE TWO-FOLD BALANCED INCOMPLETE BLOCK DESIGNS WITH BLOCK SIZE FOUR

The necessary and sufficient conditions for the existence of simple incomplete block design (v, w; 4,2)-IPBDs are determined. As a consequence, the necessary and sufficient conditions for the embeddings of simple two-fold balanced incomplete block designs with block size 4 are also determined.     

NONEXISTENCE AND EXISTENCE OF POSITIVE SOLUTIONS FOR 2nTH-ORDER SINGULAR SUPERLINEAR PROBLEMS WITH STRUM-LIOUVILLE BOUNDARY CONDITIONS

This paper investigates a class of 2nth-order singular superlinear problems with Strum-Liouville boundary conditions. We obtain a necessary and sufficient condition for the existence of C 2 n- 2 [0, 1] positive solutions, and a sufficient condition, a necessary condition for the existence of C 2 n-1 [0, 1] positive solutions. Relations between the positive solutions and the Green’s functions are depicted. The results are used to judge nonexistence or existence of positive solutions for given boundary value problems.     

The spectrum of cyclic (3, λ)-GDD of type g~v

In this paper, it is shown that the necessary conditions for the existence of a ( gv, {g, 3 α }, 3, λ)-DF in Z gv for α∈ {0, 1, 2} are also sufficient with two exceptions of (v, g, λ, α) = (9, 1, 1, 1), (9, 1, 2, 2). Finally, the existence spectrum of a cyclic (3, λ)-GDD of type g v is determined.     

The spectrum of (<Emphasis Type="Italic">gv</Emphasis>, <Emphasis Type="Italic">g</Emphasis>, 3, λ)-DF in <Emphasis Type="Italic">Z</Emphasis><Subscript><Emphasis Type="Italic">gv</Emphasis></Subscript>

In this paper, the necessary and sufficient conditions for the existence of a (gv, g, 3, λ)-difference family in Z _gv are established. As a consequence, the existence spectrum of a cyclic (3, λ)-GDD of type g ^v without short orbits is determined. This work was supported by National Natural Science Foundation of China (Grants Nos. 10771013, 10831002)     

Oscillatory and asymptotic behaviour of fourth order nonlinear difference equations

This paper considers a class of fourth order nonlinear difference equations Δ²(r _n Δ²(y _n ) + Δ²(r _n ,f(n,n _n )=0,n ∈N(n ₀) wheref(n, y) may be classified as superlinear, sublinear, strongly superlinear and strongly sublinear. In superlinear and sublinear cases, necessary and sufficient conditions are obtained for the difference equation to admit the existence of nonoscillatory solutions with special asymptotic properties. In strongly superlinear and strongly sublinear cases, sufficient conditions are given for all solutions to be oscillatory. Partially Supported by the National Science Foundation of China     

On the non-existence of pair covering designs with at least as many points as blocks

We establish new lower bounds on the pair covering number C _λ (υ,k) for infinitely many values of υ, k and λ, including infinitely many values of υ and k for λ=1. Here, C _λ (υ,k) denotes the minimum number of k-subsets of a υ-set of points such that each pair of points occurs in at least λ of the k-subsets. We use these results to prove simple numerical conditions which are both necessary and sufficient for the existence of (K _k − e)-designs with more points than blocks.     

Generalized Steiner systems GS4 (2, 4, v,g) for g = 2, 3, 6

Generalized Steiner systems GS_d(t, k, v, g) were first introduced by Etzion and used to construct optimal constant‐weight codes over an alphabet of size g + 1 with minimum Hamming distance d, in which each codeword has length v and weight k. Much work has been done for the existence of generalized Steiner triple systems GS(2, 3, v, g). However, for block size four there is not much known on GS_d(2, 4, v, g). In this paper, the necessary conditions for the existence of a GS_d(t, k, v, g) are given, which answers an open problem of Etzion. Some singular indirect product constructions for GS_d(2, k, v, g) are also presented. By using both recursive and direct constructions, it is proved that the necessary conditions for the existence of a GS₄(2, 4, v, g) are also sufficient for g = 2, 3, 6. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 401–423, 2001     

The Existence of （v, 4, 1） Disjoint Difference Families with v a Prime Power

A （v, k, λ） difference family （（v, k, λ）-DF in short） over an abelian group G of order v, is a collection F=（Bi｜i ∈ I} of k-subsets of G, called base blocks, such that any nonzero element of G can be represented in precisely A ways as a difference of two elements lying in some base blocks in F. A （v, k, λ）-DDF is a difference family with disjoint blocks. In this paper, by using Weil＇s theorem on character sum estimates, it is proved that there exists a （p^n, 4, 1）-DDF, where p = 1 （rood 12） is a prime number and n ≥1.     

Compatible metrics and the diagonalizability of nonlocally bi-Hamiltonian systems of hydrodynamic type

We study bi-Hamiltonian systems of hydrodynamic type with nonsingular (semisimple) nonlocal bi-Hamiltonian structures. We prove that all such systems of hydrodynamic type are diagonalizable and that the metrics of the bi-Hamiltonian structure completely determine the complete set of Riemann invariants constructed for any such system. Moreover, we prove that for an arbitrary nonsingular (semisimple) nonlocally bi-Hamiltonian system of hydrodynamic type, there exist local coordinates (Riemann invariants) such that all matrix differential-geometric objects related to this system, namely, the matrix (affinor) V_jⁱ(u) of this system of hydrodynamic type, the metrics g ₁ ^ij(u) and g ₂ ^ij(u), the affinor υ_jⁱ(u) = g ₁ ^is(u)g _2,sj(u), and also the affinors (w _1,n)_jⁱ(u) and (w _2,n)_jⁱ(u) of the nonsingular nonlocal bi-Hamiltonian structure of this system, are diagonal in these special “diagonalizing” local coordinates (Riemann invariants of the system). The proof is a natural corollary of the general results of our previously developed theories of compatible metrics and of nonlocal bi-Hamiltonian structures; we briefly review the necessary notions and results in those two theories.     

Linearizability of d-webs, d ≥ 4, on two-dimensional manifolds

We find d − 2 relative differential invariants for a d-web, d ≥ 4, on a two-dimensional manifold and prove that their vanishing is necessary and sufficient for a d-web to be linearizable. If one writes the above invariants in terms of web functions f(x, y) and g ₄(x, y),..., g _d (x, y), then necessary and sufficient conditions for the linearizabilty of a d-web are two PDEs of the fourth order with respect to f and g ₄, and d − 4 PDEs of the second order with respect to f and g ₄,..., g _d . For d = 4, this result confirms Blaschke’s conjecture on the nature of conditions for the linearizabilty of a 4-web. We also give the Mathematica codes for testing 4- and d-webs (d > 4) for linearizability and examples of their usage.     

Existence of (q, 7, 1) difference families with q a prime power

The existence of a (q,k, 1) difference family in GF(q) has been completely solved for k = 3,4,5,6. For k = 7 only partial results have been given. In this article, we continue the investigation and use Weil's theorem on character sums to show that the necessary condition for the existence of a (q,7,1) difference family in GF(q), i.e. q ≡ 1; (mod 42) is also sufficient except for q = 43 and possibly except for q = 127, q = 211, q = 31⁶ and primes q∈ [261239791, 1.236597 × 10¹³] such that in GF(q). © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 126–138, 2002; DOI 10.1002/jcd.998     

Decomposition of Graphs into (g, f)-Factors

Let G be a multigraph, g and f be integer-valued functions defined on V(G). Then a graph G is called a (g, f)-graph if g(x)≤deg _G(x)≤f(x) for each x∈V(G), and a (g, f)-factor is a spanning (g, f)-subgraph. If the edges of graph G can be decomposed into (g, f)-factors, then we say that G is (g, f)-factorable. In this paper, we obtained some sufficient conditions for a graph to be (g, f)-factorable. One of them is the following: Let m be a positive integer, l be an integer with l=m (mod 4) and 0≤l≤3. If G is an -graph, then G is (g, f)-factorable. Our results imply several previous (g, f)-factorization results. Revised: June 11, 1998