The Maximal and Minimal Ranks of Some Expressions of Generalized Inverses of Matrices

In this paper, we first determine the maximal and minimal ranks of A — BXC with respect to X. Using those results, we then find the maximal and minimal ranks of the expressions AA^– — A^– A — BB^– A — AC^– C and B^– BA — ACC^– with respect to the choice of generalized inverses A^–, B^– and C^–. In particular, we consider the commutativity of A and A^–, A^k and A^–.The research of the author was supported in part by the Natural Sciences and Engineering Research Council of Canada.     

New Cyclic Difference Sets with Singer Parameters Constructed from d-Homogeneous Functions

In this paper, for a prime power q, new cyclic difference sets with Singer para- meters ((q ⁿ –1/q–1), (q ^n–1–1/q–1), (q ^n–2–1/q–1)) are constructed by using q-ary sequences (d-homogeneous functions) of period q ⁿ –1 and the generalization of GMW difference sets is proposed by combining the generation methods of d-form sequences and extended sequences. When q is a power of 3, new cyclic difference sets with Singer parameters ((q ⁿ –1/q–1), (q ^n–1–1/q–1), (q ^n–2–1/q–1)) are constructed from the ternary sequences of period q ⁿ –1 with ideal autocorrelation introduced by Helleseth, Kumar, and Martinsen.     

Distribution of Cardinalities of Row Spaces of Boolean Matrices of Order n

Let R(A) denote the row space of a Boolean matrix A of order n. We show that if n 7, then the cardinality |R(A)| (2^n–1 - 2^n–5, 2^n–1 - 2^n–6) U (2^n–1 - 2^n–6, 2^n–1). This result confirms a conjecture in [1].AMS Subject Classification (1991): 05B20 06E05 15A36Support partially by the Postdoctoral Science Foundation of China.Dedicated to Professor Chao Ko on the occasion of his 90th birthday     

A New Family of Cyclic Difference Sets with Singer Parameters in Characteristic Three

We construct a new family of cyclic difference sets with parameters ((3 ^d – 1)/2, (3 ^{d – 1} – 1)/2, (3 ^{d – 2} – 1)/2) for each odd d. The difference sets are constructed with certain maps that form Jacobi sums. These new difference sets are similar to Maschietti's hyperoval difference sets, of the Segre type, in characteristic two. We conclude by calculating the 3-ranks of the new difference sets.     

Global existence and nonexistence of solutions for a system of nonlinear damped wave equations

We consider the Cauchy problem for the system of semilinear damped wave equations with small initial data:

We show that a critical exponent which classifies the global existence and the finite time blow up of solutions indeed coincides with the one to a corresponding semilinear heat systems with small data. The proof of the global existence is based on the L^p–L^q estimates of fundamental solutions for linear damped wave equations [K. Nishihara, L^p–L^q estimates of solutions to the damped wave equation in 3-dimensional space and their application, Math. Z. 244 (2003) 631–649; K. Marcati, P. Nishihara, The L^p–L^q estimates of solutions to one-dimensional damped wave equations and their application to compressible flow through porous media, J. Differential Equations 191 (2003) 445–469; T. Hosono, T. Ogawa, Large time behavior and L^p–L^q estimate of 2-dimensional nonlinear damped wave equations, J. Differential Equations 203 (2004) 82–118; T. Narazaki, L^p–L^q estimates for damped wave equations and their applications to semilinear problem, J. Math. Soc. Japan 56 (2004) 585–626]. And the blow-up is shown by the Fujita–Kaplan–Zhang method [Q. Zhang, A blow-up result for a nonlinear wave equation with damping: The critical case, C. R. Acad. Sci. Paris 333 (2001) 109–114; F. Sun, M. Wang, Existence and nonexistence of global solutions for a nonlinear hyperbolic system with damping, Nonlinear Anal. 66 (12) (2007) 2889–2910; T. Ogawa, H. Takeda, Non-existence of weak solutions to nonlinear damped wave equations in exterior domains, Nonlinear Anal. 70 (10) (2009) 3696–3701].     

A sharpening of the Johnson bound for binary linear codes and the nonexistence of linear codes with preparata parameters

We show fort>3 the nonexistence of binary [2 ^t –2, 2 ^t –2t–1, 5] codes.     

Regularized Resolvent of Sums of Commuting Operators

For B ₁ and B ₂ commuting linear operators on a Banach space such that B ₁ generates a bounded strongly continuous semigroup and –B ₂ generates an exponentially decaying strongly continuous holomorphic semigroup, it is shown that (B ₁ – B ₂)^–1 B ₂ ^–r and (B ₁ – B ₂)^–1(–B ₁)^–r are bounded and everywhere defined, for any r > 0. Density of domains may also be removed. The results are applied to various abstract Cauchy problems.     

A Recursive Construction for New Symmetric Designs

We introduce a recursive construction of regular Handamard matrices with row sum 2h for h=±3ⁿ. Whenever q=(2h – 1)² is a prime power, we construct, for every positive integer m, a symmetric designs with parameters (4h²(q^m+1 – 1)/(q – 1), (2h² – h)q^m, (h² – h)q^m).     

Laurent–Padé Approximants to Four Kinds of Chebyshev Polynomial Expansions. Part I. Maehly Type Approximants

Laurent Padé–Chebyshev rational approximants, A _m (z,z ^–1)/B _n (z,z ^–1), whose Laurent series expansions match that of a given function f(z,z ^–1) up to as high a degree in z,z ^–1 as possible, were introduced for first kind Chebyshev polynomials by Clenshaw and Lord [2] and, using Laurent series, by Gragg and Johnson [4]. Further real and complex extensions, based mainly on trigonometric expansions, were discussed by Chisholm and Common [1]. All of these methods require knowledge of Chebyshev coefficients of f up to degree m+n. Earlier, Maehly [5] introduced Padé approximants of the same form, which matched expansions between f(z,z ^–1)B _n (z,z ^–1) and A _m (z,z ^–1). The derivation was relatively simple but required knowledge of Chebyshev coefficients of f up to degree m+2n. In the present paper, Padé–Chebyshev approximants are developed not only to first, but also to second, third and fourth kind Chebyshev polynomial series, based throughout on Laurent series representations of the Maehly type. The procedures for developing the Padé–Chebyshev coefficients are similar to that for a traditional Padé approximant based on power series [8] but with essential modifications. By equating series coefficients and combining equations appropriately, a linear system of equations is successfully developed into two sub-systems, one for determining the denominator coefficients only and one for explicitly defining the numerator coefficients in terms of the denominator coefficients. In all cases, a type (m,n) Padé–Chebyshev approximant, of degree m in the numerator and n in the denominator, is matched to the Chebyshev series up to terms of degree m+n, based on knowledge of the Chebyshev coefficients up to degree m+2n. Numerical tests are carried out on all four Padé–Chebyshev approximants, and results are outstanding, with some formidable improvements being achieved over partial sums of Laurent–Chebyshev series on a variety of functions. In part II of this paper [7] Padé–Chebyshev approximants of Clenshaw–Lord type will be developed for the four kinds of Chebyshev series and compared with those of the Maehly type.     

Special point sets inPG(n,q) and the structure of sets with the maximal number of nuclei

The structure of _{n– 1}-sets inPG(n, q) with more thanq – 1 nuclei is investigated. It is shown that classification of these sets with the maximal numberq ^{n– 1}-q ^{n– 2} of nuclei is equivalent to the classification of (q + l)-sets inPG(2,q) havingq –1 nuclei.Dedicated to Professer Walter Benz for his 60^th birthday     

On optimal simultaneous rational approximation to with being some kind of cubic algebraic function

It is shown that each rational approximant to (ω,ω²)^τ given by the Jacobi–Perron algorithm (JPA) or modified Jacobi–Perron algorithm (MJPA) is optimal, where ω is an algebraic function (a formal Laurent series over a finite field) satisfying ω³+kω-1=0 or ω³+kdω-d=0. A result similar to the main result of Ito et al. [On simultaneous approximation to (α,α²) with α³+kα-1=0, J. Number Theory 99 (2003) 255–283] is obtained.     

Kantorovich-type inequalities and the measures of inefficiency of the glse

In this paper we introduce some Kantorovich inequalities for the Euclidean norm of a matrix, that is, the upper bounds to (X'B ^–1 X) ^–1 X'B ^–1 AB ^–1 X(X'B ^–1X)^–1 X' BX(X'AX) ^–1 X'CX² are given, where A²=trace (A'A). In terms of these inequalities the upper bounds to the three measures of inefficiency of the generalized least squares estimator (GLSE) in general Gauss-Markov models are also established.Project supported partially by the Third World Academy of Sciences under contract TWASRG 87-46 and by the National Natural Science Foundation.     

Estimates for the Rapid Decay of Concentration Functions of n-Fold Convolutions

We estimate the concentration functions of n-fold convolutions of one-dimensional probability measures. The Kolmogorov–Rogozin inequality implies that for nondegenerate distributions these functions decrease at least as O(n ^–1/2). On the other hand, Esseen⁽³⁾ has shown that this rate is o(n ^–1/2) iff the distribution has an infinite second moment. This statement was sharpened by Morozova.⁽⁹⁾ Theorem 1 of this paper provides an improvement of Morozova's result. Moreover, we present more general estimates which imply the rates o(n ^–1/2).     

On the existence of certain cyclic difference families and difference matrices

A theorem is proved to the effect that if there exists a BIB-schema with parameters (p^m–1,k, k–1), where k¦(p^m–1), p is prime, and m is a natural number, then there exists a BIB-schema (p^mn–1),k, k–1). A consequence is the existnece of a cyclic BIB-schema (p^mn–1, p^m–1, p^m–2) (p^m–1 is prime) that specifies each ordered pair of difference elements at any distance = 1, 2, ..., p^m–2 (cyclically) precisely once. Recursive theorems on the existence of difference matrices and (v, k, k)-difference families in the group Z_v of residue classes mod v are proved, along with a theorem on difference families in an additive abelian group.Translated from Matematicheskie Zametki, Vol. 52, No. 1, pp. 114–119, July, 1992.     

A New Way to Represent Links. One-Dimensional Formalism and Untangling Technology

An alternative link representation different from planar diagrams is discussed. Isotopy classes of unordered nonoriented links are realized as central elements of a monoid presented explicitly by a finite number of generators and relations. The group presented by two generators and three relations [[a,b],a ² ba ^–2]=[[a,b],b ² ab ^–2]=[[a,b],[a ^–1,b ^–1]]=1, where [x,y]=xyx ^–1 y ^–1, is proved to have a commutator subgroup isomorphic to the braid group on infinitely many strands. A new partial algorithm for unknot recognition is constructed. Experiments show that the algorithm allows the untangling of unknots whose planar diagram has hundreds of crossings. Here 'untangling' means 'finding an isotopy to the circle'.     

Bäcklund autotransformation for the equationu xt=eu−e−2u

The system of differential relations that arises in connection with the Bullough-Dodd-Zhiber-Shabat equationu _xt=e^u–e^–2u is considered. The consistency of this system is established, and it is shown that the system realizes a Bäcklund autotransformation for the equationu _xt=e^u–e^–2u. The associated three-dimensional dynamical systems, which are compatible on a two-dimensional invariant submanifold, are investigated, and a construction of their general solution, which gives the explicit form of the three-parameter soliton for the equationu _xt=e^u–e^–2u, is proposed.Bashkir State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 1, pp. 146–159, April, 1993.     

A new graphic characterization of non singular quadrics of PG(r,q)

LetK be ak-set of class [0, 1,m,n]₁ of anr-dimensional projective Galois space PG(r, q) of orderq. We prove that: Ifr = 2s (s 2),k = _2s–1 and if through each point ofK there are exactlyq ^2(s–1) tangent lines and at most _2s–3 n-secant lines, thenK is a non singular quadric of PG(2s,q). Ifr = 2s–1 (s2),k=_2(s–1) +q ^s–1 and if at each point ofK there are exactlyq ^2s–3 –q ^s–2 tangents and at most _2(s–2)+q ^s–2 n-secant lines, thenK is a hyperbolic quadric of PG(2s–1,q).     

A comparative study of functional equations characterising sine and cosine

A comparative study of the functional equationsf(x+y)f(x–y)=f ²(x)–f ²(y),f(y){f(x+y)+f(x–y)}=f(x)f(2y) andf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} which characterise the sine function has been carried out. The zeros of the functionf satisfying any one of the above equations play a vital role in the investigations. The relation of the equationf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} with D'Alembert's equation,f(x+y)+f(x–y)=2f(x)f(y) and the sine-cosine equationg(x–y)=g(x)g(y) +f(x)f(y) has also been investigated.     

The structure of weighing matrices having large weights

We examine the structure of weighing matricesW(n, w), wherew=n–2,n–3,n–4, obtaining analogues of some useful results known for the casen–1. In this setting we find some natural applications for the theory ofsigned groups and orthogonal matrices with entries from signed groups, as developed in [3]. We construct some new series of Hadamard matrices from weighing matrices, including the following:W(n, n–2) implies an Hadamard matrix of order2n ifn0 mod 4 and order 4n otherwise;W(n, n–3) implies an Hadamard matrix of order 8n; in certain cases,W(n, n–4) implies an Hadamard matrix of order 16n. We explicitly derive 117 new Hadamard matrices of order 2 ^t p, p<4000, the smallest of which is of order 2³·419.Supported by an NSERC grant     

Mixed Partitions of Projective Geometries

Starting from a linear collineation of PG(2n–1,q) suitably constructed from a Singer cycle of GL(n,q), we prove the existence of a partition of PG(2n–1,q) consisting of two (n–1)-subspaces and caps, all having size (qⁿ–1)/(q–1) or (qⁿ–1)/(q+1) according as n is odd or even respectively. Similar partitions of quadrics or hermitian varieties into two maximal totally isotropic subspaces and caps of equal size are also obtained. We finally consider the possibility of partitioning the Segre variety of PG(8,q) into caps of size q²+q+1 which are Veronese surfaces.