The oscillation of higher-ordernonlinear difference equations

The authors discuss the relation of the oscillation of the following two difference equations,

where m ≥ 2, τ : N → N, N isthe set of integers, |n − τ(n)| ≤ Mfor n N₀, M is a positive integer, is nondecreasing in x, xf(n, x)> 0, as x ≠ 0. Wewill show some relations of the oscillation of the above two equations. Especially, for m to be even, we establish the equivalenceof the oscillation of the above two difference equations.     

The maximal length of real trivectors of rank seven

Trivectors of rank seven over the complex number field have irreducible length less than or equal to four. Over the reals however this is not true. An example of a real trivector of rank seven and irreducible length five is presented. Then, in the notation of Busemann and Glassco, we have N(R, 7, 3) = 5 since for any field F we always have N(F ,7, 3) ≤ 5. This paper provides the first published example where N(F, n, r) ≠ N(K, n, r) for two different fields F and K.     

On modules with the Kulikov property and pure semisimple modules and rings

For an R-module M let σ[M] denote the category of submodules of M-generated modules. M has the Kulikov property if submodules of pure projective modules in σ[M] are pure projective. The following is proved: Assume M is a locally noetherian module with the Kulikov property and there are only finitely many simple modules in σ[M]. Then, for every n ε , there are only finitely many indecomposable modules of length n in σ[M].

With our techniques we provide simple proofs for some results on left pure semisimple rings obtained by Prest and Zimmermann-Huisgen and Zimmermann with different methods.     

Changing cofinalities and collapsing cardinals in models of set theory

If a˜cardinal κ₁, regular in the ground model M, is collapsed in the extension N to a˜cardinal κ₀ and its new cofinality, ρ, is less than κ₀, then, under some additional assumptions, each cardinal λ>κ₁ less than cc(P(κ₁)/[κ₁]^<κ₁) is collapsed to κ₀ as well. If in addition N=M[f], where f : ρ→κ₁ is an unbounded mapping, then N is a˜|λ|=κ₀-minimal extension. This and similar results are applied to generalized forcing notions of Bukovský and Namba.     

Linear operators preserving unitarily invariant norms of matrices

Let F_{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n(F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on Fm ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U_m(F). and V ∈ U_n(F). We characterize those linear operators TF_{m × n} → F_{m × n}which satisfy N (T(A)) = N(A)for all A ∈ F_{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F_{m × n} To develop the theory we prove some results concerning unitary operators on F_{m × n} which are of independent interest.     

A Hadamard product involving N-matrices

We show that for any pair M,N of n by n M-matrices, the Hadamard (entry-wise) product M°N_-1 is again an M-matrix. For a single M-matrix M, the matrix M°M^-1 is also considered.     

π-Armendariz rings relative to a monoid

Let Mbe a monoid. A ring Ris called M-π-Armendariz if whenever α = a₁g₁+ a₂g₂+ · · · + a_ng_n, β = b₁h₁+ b₂h₂+ · · · + b_mh_m ∈ R[M] satisfy αβ ∈ nil(R[M]), then aibj ∈ nil(R) for all i, j. A ring R is called weakly 2-primal if the set of nilpotent elements in R coincides with its Levitzki radical. In this paper, we consider some extensions of M-π-Armendariz rings and further investigate their properties under the condition that R is weakly 2-primal. We prove that if R is an M-π-Armendariz ring then nil(R[M]) = nil(R)[M]. Moreover, we study the relationship between the weak zip-property (resp., weak APP-property, nilpotent p.p.-property, weak associated prime property) of a ring R and that of the monoid ring R[M] in case R is M-π-Armendariz.     

On size, circumference and circuit removal in 3-connected matroids

This paper proves several extremal results for 3-connected matroids. In particular, it is shown that, for such a matroid M, (i) if the rank r(M) of M is at least six, then the circumference c(M) of M is at least six and, provided |E(M)|4r(M)−5, there is a circuit whose deletion from M leaves a 3-connected matroid; (ii) if r(M)4 and M has a basis B such that Me is not 3-connected for all e in E(M)−B, then |E(M)|3r(M)−4; and (iii) if M is minimally 3-connected but not hamiltonian, then |E(M)|3r(M)−c(M).     

Linear circulant matricesover a finite field

Rings of polynomials R_N = Z_p[x]/x^N − 1 which are isomorphic to Z_P^N are studied, where p is prime and N is an integer. If I is an ideal in R_N, the code K whose vectors constitute the isomorphic image of I is a linear cyclic code. If I is a principle ideal and K contains only the trivial cycle 0 and one nontrivial cycle of maximal least period N, then the code words of K/ 0 obtained by removing the zero vector can be arranged in an order which constitutes a linear circulant matrix, C. The distribution of the elements of C is such that it forms the cyclic core of a generalized Hadamard matrix over the additive group of Z_Pp. A necessary condition that C = K/ 0 be linear circulant is that for each row vector v of C, the periodic infinite sequence a(v) produced by cycling the elements of v be period invariant under an arbitrary permutation of the elements of the first period. The necessary and sufficient condition that C be linear circulant is that the dual ideal generated by the parity check polynomial h(χ) of K be maximal (a nontrivial, prime ideal of R_N), with N = p^k − 1 and k = deg (h(χ)).     

A characterization of the determinant

In this paper we examine group morphisms Λ: GL_n(R) → R^* from the general linear group over a commutative ring R into the group of units R^* of R and ask, "When are these morphisms functions of the determinant?"     

Elasticity of factorizations in integral domains

For an atomic integral domain R, define(R)=sup{mn|x₁x_m=y₁y_n, each x_i,y_jεR is irreducible}. We investigate (R), with emphasis for Krull domains R. When R is a Krull domain, we determine lower and upper bounds for (R); in particular,(R)≤max{|Cl(R)| 2, 1}. Moreover, we show that for any real numbers r≥1 or R=∞, there is a Dedekind domain R with torsion class group such that (R)=r.     

Algorithms for finding a Kth best valued assignment

We consider a new problem, the Kth best valued assignment problem. Given a bipartite graph G and a cost vector w on its edge set, this is the problem of finding a perfect matching M_k in G such that there exist perfect matchings M₁,…,M_K−1 satisfying w(M₁) < < w(M_K−1) < w(M_K), and w(M_K) < w(M) for all perfect matchings M with w(M) ≠ w(M₁),…,w(M_K). Here w(M) denotes the sum of costs of edges in M. In this paper, we propose two algorithms for solving this problem and verify the efficiency of our algorithms by our preliminary computational experiments.     

Planar and axially symmetric configurations which are circumvented with the maximum critical mach number

The structure of planar and axially symmetric configurations which, by satisfying a number of geometrical constraints, are circumvented in a boundless space or in a cylindrical channel by an ideal (non-viscous and non-thermally conducting) gas with a maximal critical Mach number M* is found. The analysis is carried out using the “rectilinearity property” of a sonic line in “subsonic” flows (SF), the “principle of a maximum” for an SF and “comparison theorems” which are either taken from /1/ or serve as a generalization of the corresponding assertions from /1/. Following /1/, configurations are considered which have a plane or axis of symmetry parallel to the velocity V_∞ of the approach stream, while flows in which (including the boundary) the Mach number M 1 are said to be “subsonic”. As usual, by M* we mean a value of M_∞ such that the inequality M1, which is satisfied in the whole stream when M_∞ M*, is violated when M_∞>M*.

The configurations investigated include closed bodies and the leading (trailing) parts of a semi-infinite plate or a circular cylinder in an unbounded flow and in a channel as well as lattices of symmetric profiles. Both in /1/, where the structure of closed planar and axially symmetric bodies was found, as well as in /2/, where such bodies were constructed numerically, the generatrices of all the configurations investigated contain the end planes or the segments replacing them of the maximum permissible slope (in modulus) and the “free” streamlines with M 1. Now, however, unlike in /1, 2/, segments of the horizontals are added to it in the general case. Furthermore, in the case of flows in channels and lattices, the configurations which have been found can be circumvented with the development of finite domains of advancing sonic flow.     

Generalized P(N)-graded Lie superalgebras

We generalize the P(N)-graded Lie superalgebras of Martinez-Zelmanov. This generalization is not so restrictive but suffcient enough so that we are able to have a classification for this generalized P(N)-graded Lie superalgebras. Our result is that the generalized P(N)-graded Lie super-algebra L is centrally isogenous to a matrix Lie superalgebra coordinated by an associative superalgebra with a super-involution. Moreover, L is P(N)-graded if and only if the coordinate algebra R is commutative and the super-involution is trivial. This recovers Martinez-Zelmanov's theorem for type P(N). We also obtain a generalization of Kac's coordinatization via Tits-Kantor-Koecher construction. Actually, the motivation of this generalization comes from the Fermionic-Bosonic module construction.     

How many maxima can there be?

Let C be a planar region. Choose n points p₁,,p_nI.I.D. from the uniform distribution over C. Let M^C_n be the number of these points that are maximal. If C is convex it is known that either E(M^C_n)=Θ(√n)> or E(M^C_n)=O(log n). In this paper we will show that, for general C, there is very little that can be said, a-priori, about E(M^C_n). More specifically we will show that if g is a member of a large class of functions then there is always a region C such that E(M^C_n)=Θ(g(n)). This class contains, for example, all monotically increasing functions of the form g(n)= nln^βn, where 0<<1 and β0. This class also contains nondecreasing functions like g(n)=ln^*n. The results in this paper remain valid in higher dimensions.     

Characteristic roots and vectors of a diifferentiable family of symmetric matrices

LetA(x) be a differentiable family of k × k symmetric matrices where x runs through a domain D in RⁿWe prove that if λ is a continuous function onDsuch that, for every x εD,λ(x) is a characteristic root of A(x) of constant multiplicity m, then λ is a differentiable function and there exists, locally, a differentiable family of ortho-normal bases for the eigenspace. The case n = 1 has been known in the standard treatises on the perturbation theory for linear operators.     

Embeddings of the base and bundle isomorphisms

Let π_i :E_i→M, i=1,2, be oriented, smooth vector bundles of rank k over a closed, oriented n-manifold with zero sections s_i :M→E_i. Suppose that U is an open neighborhood of s₁(M) in E₁ and F :U→E₂ a smooth embedding so that π₂Fs₁ :M→M is homotopic to a diffeomorphism f. We show that if k>[(n+1)/2]+1 then E₁ and the induced bundle f^*E₂ are isomorphic as oriented bundles provided that f have degree +1; the same conclusion holds if f has degree −1 except in the case where k is even and one of the bundles does not have a nowhere-zero cross-section. For n≡0(4) and [(n+1)/2]+1<kn we give examples of nonisomorphic oriented bundles E₁ and E₂ of rank k over a homotopy n-sphere with total spaces diffeomorphic with orientation preserved, but such that E₁ and f^*E₂ are not isomorphic oriented bundles. We obtain similar results and counterexamples in the more difficult limiting case where k=[(n+1)/2]+1 and M is a homotopy n-sphere.     

Harary's conjectures on integral sum graphs

Let N denote the set of positive integers and Z denote all integers. The (integral) sum graph of a finite subset S N(Z) is the graph (S, E) with uv ε E if and only if u + v ε S. A graph G is said to be an (integral) sum graph if it is isomorphic to the (integral) sum graph of some S N(Z). The (integral) sum number of a given graph G is the smallest number of isolated nodes which when added to G result in an (integral) sum graph.

We show that the integral sum number of a complete graph with n 4 nodes equals 2n − 3, which proves a conjecture of Harary. And we disprove another conjecture of Harary by showing that there are infinitely many trees which are not caterpillars but are integral sum graphs.     

The minimal polynomial of a matrix

Let Rbe a finite dimensional central simple algebra over a field FA be any n× n matrix over R. By using the method of matrix representation, this paper obtains the structure formula of the minimal polynomial q_A(λ) of A over F. By using q_A(λ), this paper discusses the structure of right (left) eigenvalues set of A, and obtains the necessary and sufficient condition that a matrix over a finite dimensional central division algebra is similar to a diagonal matrix.