A result on integral symmetric matrices

Let A be an integral matrix such that det A = 1 mod mA ≡ A^T mod m, where m is odd. It is shown that a symmetric integral matrix B of determinant 1 exists such that B ≡ A mod m. The result is false if m is even.     

ContributionsThe existence of perfect Mendelsohn designs with block size 7

Necessary conditions for existence of a (v,k,λ) perfect Mendelsohn design (or PMD) are v k and λv(v − 1) ≡ 0 mod k. When k = 7, this condition is satisfied if v ≡ 0 or 1 mod 7 and v 7 when λ 0 mod 7 and for all v 7 when λ ≡ 0 mod 7. Bennett, Yin and Zhu have investigated the existence problem for k = 7, λ = 1 and λ even; here we provide several improvements on their results and also investigate the situation for λ odd. We reduce the total number of unknown (v,7,λ)-PMDs to 36,31 for λ = 1 and 5 for λ > 1. In particular, v = 294 is the largest unknown case for λ = 1, and the only unknown cases for λ > 1 are for v = 42, λ [2,3,5,9] and v = 18, λ = 7.     

对角因子分块循环矩阵的对角化和谱分解

导出了对角因子分块循环矩阵的概念，把循环矩阵的对角化和谱分解推广到具有对角因子循环结构的分块矩阵中去．     

Analytical and numerical investigation of two families of Lorenz-like dynamical systems

We investigate two families of Lorenz-like three-dimensional nonlinear dynamical systems (i) the generalized Lorenz system and (ii) the Burke–Shaw system. Analytical investigation of the former system is possible under the assumption (I) which in fact concerns four different systems corresponding to  = ±1, m = 0, 1.

(I)

The fixed points and stability characteristics of the Lorenz system under the assumption (I) are also classified. Parametric and temporal (t → ∞) asymptotes are also studied in connection to the memory of both the systems. We calculate the Lyapunov exponents and Lyapunov dimension for the chaotic attractors in order to study the influence of the parameters of the Lorenz system on the attractors obtained not only when the assumption (I) is satisfied but also for other values of the parameters σ, r, b, ω and m.     

Primitive graphs with given exponents and minimum number of edges

A graph G = (V, E) on n vertices is primitive if there is a positive integer k such that for each pair of vertices u, v of G, there is a walk of length k from u to v. The minimum value of such an integer, k, is the exponent, exp(G), of G. In this paper, we find the minimum number, h(n, k), of edges of a simple graph G on n vertices with exponent k, and we characterize all graphs which have h(n, k) edges when k is 3 or even.     

On some properties of the series ∑k=0 kx and the Stirling numbers of the second kind

We partially characterize the rational numbers x and integers n 0 for which the sum ∑_k=0^∞ kⁿx^k assumes integers. We prove that if ∑_k=0^∞ kⁿx^k is an integer for x = 1 − a/b with a, b> 0 integers and gcd(a,b) = 1, then a = 1 or 2. Partial results and conjectures are given which indicate for which b and n it is an integer if a = 2. The proof is based on lower bounds on the multiplicities of factors of the Stirling number of the second kind, S(n,k). More specifically, we obtain for all integers k, 2 k n, and a 3, provided a is odd or divisible by 4, where v_a(m) denotes the exponent of the highest power of a which divides m, for m and a> 1 integers.

New identities are also derived for the Stirling numbers, e.g., we show that ∑_k=0²ⁿk! S(2n, k) , for all integers n 1.     

Semi-planar Steiner loops of cardinality 2n

It is well known that there is a planar sloop of cardinality n for each n≡2 or 4 (mod 6) (Math. Z. 111 (1969) 289–300). A semi-planar sloop is a simple sloop in which each triangle either generates the whole sloop or the 8-element sloop. In fact, Quackenbush (Canad. J. Math. 28 (1976) 1187–1198) has stated that there should be such semi-planar sloops. In this paper, we construct a semi-planar sloop of cardinality 2n for each n≡2 or 4 (mod 6). Consequently, we may say that there is a semi-planar sloop that is not planar of cardinality m for each m>16 and m≡4 or 8 (mod 12). Moreover, Quackenbush (Canad. J. Math. 28 (1976) 1187–1198) has proved that each finite simple planar sloop generates a variety, which covers the smallest non-trivial subvariety (the variety of all Boolean sloops) of the lattice of the subvarieties of all sloops. Similarly, it is easy to show that each finite semi-planar sloop generates another variety, which also covers the variety of all Boolean sloops. Furthermore, for any finite simple sloop of cardinality n, the author (Beiträge Algebra Geom. 43 (2) (2002) 325–331) has constructed a subdirectly irreducible sloop of cardinality 2n and containing as the only proper normal subsloop. Accordingly, if is a semi-planar sloop, then the variety generated by properly contains the subvariety .     

Scheduling starting times for an active redundant system with non-identical lifetimes

Here we examine an active redundant system with scheduled starting times of the units. We assume availability of n non-identical, non-repairable units for replacement or support. The original unit starts its operation at time s₁ = 0 and each one of the (n − 1) standbys starts its operation at scheduled time s_i (i = 2, …, n) and works in parallel with those already introduced and not failed before s_i. The system is up at times s_i (i = 2, …, n), if and only if, there is at least one unit in operation. Thus, the system has the possibility to work with up to n units, in parallel structure. Unit-lifetimes T_i (i = 1, …, n) are independent with cdf F_i, respectively. The system has to operate without inspection for a fixed period of time c and it stops functioning when all available units fail before c. The probability that the system is functioning for the required period of time c depends on the distribution of the unit-lifetimes and on the scheduling of the starting times s_i. The reliability of the system is evaluated via a recursive relation as a function of the starting times s_i (i = 2, …, n). Maximizing with respect to the starting times we get the optimal ones. Analytical results are presented for some special distributions and moderate values of n.     

Notes on D-optimal designs

The purpose of this paper is to exhibit new infinite families of D-optimal (0, 1)-matrices. We show that Hadamard designs lead to D-optimal matrices of size (j, mj) and (j − 1, mj), for certain integers j ≡ 3 (mod 4) and all positive integers m. For j a power of a prime and j ≡ 1 (mod 4), supplementary difference sets lead to D-optimal matrices of size (j, 2mj) and (j − 1, 2mj), for all positive integers m. We also show that for a given j and d sufficiently large, about half of the entries in each column of a D-optimal matrix are ones. This leads to a new relationship between D-optimality for (0, 1)-matrices and for (±1)-matrices. Known results about D-optimal (±1)-matrices are then used to obtain new D-optimal (0, 1)-matrices.     

Graphs with prescribed local connectivities

A graph G is locally n-connected (locally n-edge connected) if the neighborhood of each vertex of G is n-connected (n-edge connected). The local connectivity (local edge-connectivity) of G is the maximum n for which G is locally n-connected (locally n-edge connected). It is shown that if k and m are integers with O k < m, then a graph exists which has connectivity m and local connectivity k. Furthermore, such a graph with smallest order is determined. Corresponding results are obtained involving the local connectivity and the local edge-conectivity.     

A note on k-generalized projections

In this note, we investigate characterizations for k-generalized projections (i.e., A^k = A^*) on Hilbert spaces. The obtained results generalize those for generalized projections on Hilbert spaces in [Hong-Ke Du, Yuan Li, The spectral characterization of generalized projections, Linear Algebra Appl. 400 (2005) 313–318] and those for matrices in [J. Benítez, N. Thome, Characterizations and linear combinations of k-generalized projectors, Linear Algebra Appl. 410 (2005) 150–159].     

Explicit and exact special solutions for BBM-like B(m, n) equations with fully nonlinear dispersion

In this paper, the BBM-like equations with fully nonlinear dispersion, B(m, n) equations: u_t + (u^m)_x − (uⁿ)_xxt = 0 which exhibit solutions with compact support and with solitary patterns, are studied. The exact solitary-wave solutions with compact support and exact special solutions with solitary patterns of the equations are found by a new method. The special cases, B(2, 2) and B(3, 3), are used to illustrate the concrete scheme of our approach presented by this paper in B(m, n) equations. The nonlinear equations B(m, n) are addressed for two different cases, namely when m = n being odd and even integers. General formulas for the solutions of B(m, n) equations are established.     

Embedding rectangular matrices in hadamard matrices

It is shown that any m×n±1 matrix may be embedded in a Hadamard matrix of order kl, where k and l are the least orders greater than or equal to m and nrespectively in which Hadamard matrices exist.     

No-hole L(2,1)-colorings

An L(2,1)-coloring of a graph G is a coloring of G's vertices with integers in {0,1,…,k} so that adjacent vertices’ colors differ by at least two and colors of distance-two vertices differ. We refer to an L(2,1)-coloring as a coloring. The span λ(G) of G is the smallest k for which G has a coloring, a span coloring is a coloring whose greatest color is λ(G), and the hole index ρ(G) of G is the minimum number of colors in {0,1,…,λ(G)} not used in a span coloring. We say that G is full-colorable if ρ(G)=0. More generally, a coloring of G is a no-hole coloring if it uses all colors between 0 and its maximum color. Both colorings and no-hole colorings were motivated by channel assignment problems. We define the no-hole span μ(G) of G as ∞ if G has no no-hole coloring; otherwise μ(G) is the minimum k for which G has a no-hole coloring using colors in {0,1,…,k}.

Let n denote the number of vertices of G, and let Δ be the maximum degree of vertices of G. Prior work shows that all non-star trees with Δ3 are full-colorable, all graphs G with n=λ(G)+1 are full-colorable, μ(G)λ(G)+ρ(G) if G is not full-colorable and nλ(G)+2, and G has a no-hole coloring if and only if nλ(G)+1. We prove two extremal results for colorings. First, for every m1 there is a G with ρ(G)=m and μ(G)=λ(G)+m. Second, for every m2 there is a connected G with λ(G)=2m, n=λ(G)+2 and ρ(G)=m.     

A note on linearization of actions of finitely semisimple Hopf algebras on local algebras

Let H be a Hopf algebra over a field k and let H A → A, h a → h.a, be an action of H on a commutative local Noetherian kalgebra (A, m). We say that this action is linearizable if there exists a minimal system x₁, …, x_n of generators of the maximal ideal m such that h.x_i ε kx₁ + …+ kx_n for all h ε H and i = 1, …, n. In the paper we prove that the actions from a certain class are linearizable (see Theorem 4), and we indicate some consequences of this fact.     

一类特殊的分块反循环矩阵的特征值问题(英文)

利用r-循环矩阵的基本性质,探讨了一类特殊的分块反循环矩阵的特征值问题.     

Parallel searching on m rays

We investigate parallel searching on m concurrent rays. We assume that a target t is located somewhere on one of the rays; we are given a group of m point robots each of which has to reach t. Furthermore, we assume that the robots have no way of communicating over distance. Given a strategy S we are interested in the competitive ratio defined as the ratio of the time needed by the robots to reach t using S and the time needed to reach t if the location of t is known in advance.

If a lower bound on the distance to the target is known, then there is a simple strategy which achieves a competitive ratio of 9—independent of m. We show that 9 is a lower bound on the competitive ratio for two large classes of strategies if m2.

If the minimum distance to the target is not known in advance, we show a lower bound on the competitive ratio of 1+2(k+1)^k+1/k^k where k=logm where log is used to denote the base-2 logarithm. We also give a strategy that obtains this ratio.     

Reflecting the pascal matrix about its main antidiagonal

Let B denote either of two varieties of order n Pascal matrix, i.e., one whose entries are the binomial coefficients. Let B_R denote the reflection of B about its main antidiagonal. The matrix B is always invertible modulo n; our main result asserts that B^-1 ≡ B^R mod n if and only if n is prime. In the course of motivating this result we encounter and highlight some of the difficulties with the matrix exponential under modular arithmetic. We then use our main result to extend the "Fibonacci diagonal" property of Pascal matrices.     

A TAGE iterative method for the solution of non-linear singular two point boundary value problems using a sixth order discretization

We report two parameter alternating group explicit (TAGE) iteration method to solve the tri-diagonal linear system derived from a new finite difference discretization of sixth order accuracy of the two point singular boundary value problem , 0 < r < 1,  = 1 and 2 subject to boundary conditions u(0) = A, u(1) = B, where A and B are finite constants. We also discuss Newton-TAGE iteration method for the sixth order numerical solution of two point non-linear boundary value problem. The proof for the convergence of the TAGE iteration method when the coefficient matrix is real and unsymmetric is discussed. Numerical results are presented to illustrate the proposed iterative methods.