Topological classification of affine operators on unitary and Euclidean spaces

We study affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f:U→U of the form f(x)=Ax+b, in which A:U→U is a linear operator and b∈U. Two affine operators f and g are said to be topologically conjugate if g=h^-1fh for some homeomorphism h:U→U.If an affine operator f(x)=Ax+b has a fixed point, then f is topologically conjugate to its linear part A. The problem of classifying linear operators up to topological conjugacy was studied by Kuiper and Robbin [Topological classification of linear endomorphisms, Invent. Math. 19 (2) (1973) 83-106] and other authors.Let f:U→U be an affine operator without fixed point. We prove that f is topologically conjugate to an affine operator g:U→U such that U is an orthogonal direct sum of g-invariant subspaces V and W,

•

the restriction g∣V of g to V is an affine operator that in some orthonormal basis of V has the form

(x₁,x₂,…,x_n)?(x₁+1,x₂,…,x_n-1,εx_n)     

On the cycle structure of certain classes of nonlinear shift registers

When m = qt, g(x_t+1, x_2t+1,…, x_(q?1)t+1) is a linear combination of only odd (or only even) elementary symmetric functions, then every cycle of the nonlinear shift register with feedback function f(x₁, x₂,…, x_m) = x₁ + g(x_t+1, x_2t+1,…, x_(q?1)t+1) has a minimal period dividing m(q+1). It is also shown that when g is derived from a cyclic code with minimum distance ?3, every cycle of this shift register has a minimal period dividing m(q + 1).     

On the prime power factorization of n!

For a fixed prime q, let eq(n) denote the order of q in the prime factorization of n!. For two fixed integers m?2 and r with 0?r?m−1, let A(x;m,q,r) denote the numbers of positive integers n?x for which . In this paper we shall prove a sharp asymptotic formula of A(x;m,q,r).     

Multiplicity of limit cycles and analytic m-solutions for planar differential systems

This work deals with limit cycles of real planar analytic vector fields. It is well known that given any limit cycle Γ of an analytic vector field it always exists a real analytic function f₀(x,y), defined in a neighborhood of Γ, and such that Γ is contained in its zero level set. In this work we introduce the notion of f₀(x,y) being an m-solution, which is a merely analytic concept. Our main result is that a limit cycle Γ is of multiplicity m if and only if f₀(x,y) is an m-solution of the vector field. We apply it to study in some examples the stability and the bifurcation of periodic orbits from some non-hyperbolic limit cycles.     

Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank

Let M_m,n(B) be the semimodule of all m×n Boolean matrices where B is the Boolean algebra with two elements. Let k be a positive integer such that 2?k?min(m,n). Let B(m,n,k) denote the subsemimodule of M_m,n(B) spanned by the set of all rank k matrices. We show that if T is a bijective linear mapping on B(m,n,k), then there exist permutation matrices P and Q such that T(A)=PAQ for all A∈B(m,n,k) or m=n and T(A)=PA^tQ for all A∈B(m,n,k). This result follows from a more general theorem we prove concerning the structure of linear mappings on B(m,n,k) that preserve both the weight of each matrix and rank one matrices of weight k². Here the weight of a Boolean matrix is the number of its nonzero entries.     

A note on “Constructing matrices with prescribed off-diagonal submatrix and invariant polynomials”

Let F be any field and let B a matrix of F^q×p. Zaballa found necessary and sufficient conditions for the existence of a matrix A=[A_ij]_i,j∈{1,2}∈F^(p+q)×(p+q) with prescribed similarity class and such that A₂₁=B. In an earlier paper [A. Borobia, R. Canogar, Constructing matrices with prescribed off-diagonal submatrix and invariant polynomials, Linear Algebra Appl. 424 (2007) 615-633] we obtained, for fields of characteristic different from 2, a finite step algorithm to construct A when it exists. In this short note we extend the algorithm to any field.     

Surjections on Grassmannians preserving pairs of elements with bounded distance

Let m and k be two fixed positive integers such that m>k?2. Let V be a left vector space over a division ring with dimension at least m+k+1. Let G_m(V) be the Grassmannian consisting of all m-dimensional subspaces of V. We characterize surjective mappings T from G_m(V) onto itself such that for any A,B in G_m(V), the distance between A and B is not greater than k if and only if the distance between T(A) and T(B) is not greater than k.     

On the span of Hadamard products of vectors

Let A₁, … , A_k be positive semidefinite matrices and B₁, … , B_k arbitrary complex matrices of order n. We show that

span{(A₁x)°(A₂x)°?°(A_kx)|x∈Cⁿ}=range(A₁°A₂°?°A_k)     

Integral trees of diameter 6

A graph G is called integral if all eigenvalues of its adjacency matrix A(G) are integers. In this paper, the trees T(p,q)•T(r,m,t) and K_1,s•T(p,q)•T(r,m,t) of diameter 6 are defined. We determine their characteristic polynomials. We also obtain for the first time sufficient and conditions for them to be integral. To do so, we use number theory and apply a computer search. New families of integral trees of diameter 6 are presented. Some of these classes are infinite. They are different from those in the existing literature. We also prove that the problem of finding integral trees of diameter 6 is equivalent to the problem of solving some Diophantine equations. We give a positive answer to a question of Wang et al. [Families of integral trees with diameters 4, 6 and 8, Discrete Appl. Math. 136 (2004) 349-362].     

On the Gröbner complexity of matrices

In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal I_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. In fact, if the universal Gröbner basis of I_A coincides with the Graver basis of A, then also the more general complexities u(A,B) and g(A,B) agree for arbitrary B. We conclude that for the matrices A_3×3 and A_3×4, defining the 3×3 and 3×4 transportation problems, we have u(A_3×3)=g(A_3×3)=9 and u(A_3×4)=g(A_3×4)≥27. Moreover, we prove that u(A_a,b)=g(A_a,b)=2(a+b)/gcd(a,b) for positive integers a,b and .     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic

Let K be an arbitrary field of characteristic p>0. We find an explicit formula for the inverse of any algebra automorphism of any of the following algebras: the polynomial algebra P_n?K[x₁,…,x_n], the ring of differential operators D(P_n) on P_n, D(P_n)⊗P_m, the n’th Weyl algebra A_n or A_n⊗P_m, the power series algebra K[[x₁,…,x_n]], the subalgebra T_k1,…,kn of D(P_n) generated by P_n and the higher derivations , 0≤j<p^k_i, i=1,…,n (where k₁,…,k_n∈N), T_k1,…,kn⊗P_m or an arbitrary central simple (countably generated) algebra over an arbitrary field.     

On the irreducibility of a certain class of Laguerre polynomials

R. Gow has investigated the problem of determining classical polynomials with Galois group A_m, the alternating group on m letters, in the case that m is even (odd m being previously handled in work of I. Schur). He showed that the generalized Laguerre polynomial L_m^(m)(x), defined below, has Galois group A_m provided m>2 is even and L_m^(m)(x) is irreducible (and obtained irreducibility in some cases). In this paper, we establish that L_m^(m)(x) is irreducible for almost all m (and, hence, has Galois group A_m for almost all even m).     

General function spaces. III(SpacesB p,q g(x) andF p,q g(x) , 1<p<∞: basic properties)

qNАстОьЩАь РАБОтА (А тАк жЕ ЕЕ пРОДОлжЕНИЕ — РА БОтА «ОБЩИЕ ФУНкцИОНАльН ыЕ пРО-стРАНстВА, IV») пОсВьЩЕНА ИсслЕДОВ АНИУ БАНАхОВых пРОст РАНстВB _{p, q} ^g(x) ИF _p,q ^g(x) РАспРЕДЕлЕНИИ (ОБОБЩЕННых) ВR _n . В спЕц ИАльНых слУЧАьх ЁтИ пРОстРАНстВА РОДстВ ЕННы ИжВЕстНыМ клАсс АМ сОБОлЕВА—лЕБЕгА—БЕ сОВА, ИжОтРОпНыМ И АНИ жОтРОпНыМ. жДЕсь РАссМАтРИВАУт сь слЕДУУ-ЩИЕ сВОИстВА: плОтНОсть г лАДкИх ФУНкцИИ, ЁкВИВ АлЕНтНыЕ НОРМы, ИНтЕРпОльцИь, В клУЧЕНИь И сРАВНЕНИь. ОБЩИЕ ФУНкцИОНАльНы Е пРОстРАНстВА. III (пРОстРАНстВАB _p,q ^g(x) ИF _p,q ^g(x) , 1     

Norm inequalities related to operator monotone functions

Let A,B be positive semidefinite matrices and any unitarily invariant norm on the space of matrices. We show for any non-negative operator monotone function f(t) on , and for non-negative increasing function g(t) on with g(0) = 0 and , whose inverse function is operator monotone. Received: 1 February 1999     

A generalized Cayley-Hamilton theorem for polynomials with matrix coefficients

A family F of square matrices of the same order is called a quasi-commuting family if (AB-BA)C=C(AB-BA) for all A,B,C∈F where A,B,C need not be distinct. Let f_k(x₁,x₂,…,x_p),(k=1,2,…,r), be polynomials in the indeterminates x₁,x₂,…,x_p with coefficients in the complex field C, and let M₁,M₂,…,M_r be n×n matrices over C which are not necessarily distinct. Let and let δ_F(x₁,x₂,…,x_p)=detF(x₁,x₂,…,x_p). In this paper, we prove that, for n×n matrices A₁,A₂,…,A_p over C, if {A₁,A₂,…,A_p,M₁,M₂,…,M_r} is a quasi-commuting family, then F(A₁,A₂,…,A_p)=O implies that δ_F(A₁,A₂,…,A_p)=O.     

On classical adjoint-commuting mappings between matrix algebras

Let F be a field and let m and n be integers with m,n?3. Let M_n denote the algebra of n×n matrices over F. In this note, we characterize mappings ψ:M_n→M_m that satisfy one of the following conditions:

1.

|F|=2 or |F|>n+1, and ψ(adj(A+αB))=adj(ψ(A)+αψ(B)) for all A,B∈M_n and α∈F with ψ(I_n)≠0.

2.

ψ is surjective and ψ(adj(A-B))=adj(ψ(A)-ψ(B)) for every A,B∈M_n.

Here, adjA denotes the classical adjoint of the matrix A, and I_n is the identity matrix of order n. We give examples showing the indispensability of the assumption ψ(I_n)≠0 in our results.     

On D. Hägele’s approach to the Bessis-Moussa-Villani conjecture

The reformulation of the Bessis-Moussa-Villani (BMV) conjecture given by Lieb and Seiringer asserts that the coefficient α_m,k(A,B) of t^k in the polynomial Tr(A+tB)^m, with A,B positive semidefinite matrices, is nonnegative for all m,k. We propose a natural extension of a method of attack on this problem due to Hägele, and investigate for what values of m,k the method is successful, obtaining a complete determination when either m or k is odd.