On the continuity of the generalized spectral radius in max algebra

Given a bounded set Ψ of n×n non-negative matrices, let ρ(Ψ) and μ(Ψ) denote the generalized spectral radius of Ψ and its max version, respectively. We show that

     

On the computation of parameter derivatives of solutions of linear difference equations

A method is given to compute the parameter derivatives of recessive solutions of second-order inhomogeneous linear difference equations. The case of difference equations in which all solutions have the same rate of growth is also discussed.     

Fibonacci numbers, alternating parity sequences and faces of the tridiagonal Birkhoff polytope

We determine the number of alternating parity sequences that are subsequences of an increasing m-tuple of integers. For this and other related counting problems we find formulas that are combinations of Fibonacci numbers. These results are applied to determine, among other things, the number of vertices of any face of the polytope of tridiagonal doubly stochastic matrices.     

Dominant matrices and max algebra

We study the class of so-called totally dominant matrices in the usual algebra and in the max algebra in which the sum is the maximum and the multiplication is usual. It turns out that this class coincides with the well known class of positive matrices having positive the determinants of all 2×2 submatrices. The closure of this class is closed not only with respect to the usual but also with respect to the max multiplication. Further properties analogous to those of totally positive matrices are proved and some connections to Monge matrices are mentioned.     

On neighborly families of convex bodies

A family of convex bodies in E^d is called neighborly if the intersection of every two of them is (d-1)-dimensional. In the present paper we prove that there is an infinite neighborly family of centrally symmetric convex bodies in E^d, d 3, such that every two of them are affinely equivalent (i.e., there is an affine transformation mapping one of them onto another), the bodies have large groups of affine automorphisms, and the volumes of the bodies are prescribed. We also prove that there is an infinite neighborly family of centrally symmetric convex bodies in E^d such that the bodies have large groups of symmetries. These two results are answers to a problem of B. Grünbaum (1963). We prove also that there exist arbitrarily large neighborly families of similar convex d-polytopes in E^d with prescribed diameters and with arbitrarily large groups of symmetries of the polytopes.     

A link between the Perron-Frobenius theorem and Perron’s theorem for difference equations

Let A_n,n∈N, be a sequence of k×k matrices which converge to a matrix A as n→∞. It is shown that if x_n,n∈N, is a sequence of nonnegative nonzero vectors such that

     

On the max version of the generalized spectral radius theorem

Let Ψ be a bounded set of n×n non-negative matrices. Recently, the max algebra version μ(Ψ) of the generalized spectral radius of Ψ was introduced. We show that

     

On odd points and the volume of lattice polyhedra

Denote by _n ³ ,n 2, the lattice consisting of all pointsx in ³ such thatnx belongs to the fundamental lattice ³ of points with integer coordinates. Letl _n be the subset of _n ³ consisting of all points whose coordinates are odd multiples of 1/n. The purpose of this paper is to give several new Pick-type formulae for the volume of three-dimensional lattice polyhedra, that is, polyhedra with vertices in ³. Our formulae are in terms of numbers of only thel _n-points belonging to a lattice polyhedronP in contrast to already known formulae which employ numbers of all the _n ³ -points inP. On our way to establishing the formulae we show that the number of points froml _n belonging to a three-dimensional lattice polyhedronP has some polynomiality properties similar to those of the well-known Ehrhart polynomial expressing the number of points of _n ³ inP. The paper contains also some comments on a problem of finding a volume formula which would employ only the setsl _n and which would be applicable to lattice polyhedra in arbitrary dimensions.Research partially supported by KBN Grant 2 P03A 008 10.     

Minimal and reduced pairs of convex bodies

We give a new proof for the existence and uniqueness (up to translation) of plane minimal pairs of convex bodies in a given equivalence class of the Hörmander-R»dström lattice, as well as a complete characterization of plane minimal pairs using surface area measures. Moreover, we introduce the so-called reduced pairs, which are special minimal pairs. For the plane case, we characterize reduced pairs as those pairs of convex bodies whose surface area measures are mutually singular. For higher dimensions, we give two sufficient conditions for the minimality of a pair of convex polytopes, as well as a necessary and sufficient criterion for a pair of convex polytopes to be reduced. We conclude by showing that a typical pair of convex bodies, in the sense of Baire category, is reduced, and hence the unique minimal pair in its equivalence class.     

An extension of a result of Hwang and Pyo

In this paper, we extend a majorization result of Hwang and Pyo [LAA 332-334 (2001) pp. 15-21] from the ordinary majorization ordering to the class of group induced cone orderings induced by non-effective groups. The case of effective groups is also investigated. A particular attention is paid to positive operators.     

Homogeneous tri-additive forms and derivations

Gleason [A.M. Gleason, The definition of a quadratic form, Amer. Math. Monthly 73 (1966) 1049-1066] determined all functionals Q on K-vector spaces satisfying the parallelogram law Q(x+y)+Q(x-y)=2Q(x)+2Q(y) and the homogeneity Q(λx)=λ²Q(x). Associated with Q is a unique symmetric bi-additive form S such that Q(x)=S(x,x) and 4S(x,y)=Q(x+y)-Q(x-y). Homogeneity of Q corresponds to that of S: S(λx,λy)=λ²S(x,y). The associated S is not necessarily bi-linear.Let V be a vector space over a field K, char(K)≠2,3. A tri-additive form T on V is a map of V³ into K that is additive in each of its three variables. T is homogeneous of degree 3 if T(λx,λy,λz)=λ³T(x,y,z) for all .We determine the structure of tri-additive forms that are homogeneous of degree 3. One of the keys to this investigation is to find the general solution of the functional equation

F(t)+t³G(1/t)=0,     

Combinatorial characterizations of K-matrices

e present a number of combinatorial characterizations of K-matrices. This extends a theorem of Fiedler and Pták on linear-algebraic characterizations of K-matrices to the setting of oriented matroids. Our proof is elementary and simplifies the original proof substantially by exploiting the duality of oriented matroids. As an application, we show that any simple principal pivot method applied to the linear complementarity problems with K-matrices converges very quickly, by a purely combinatorial argument.     

On the volume of convex hulls of sets on spheres

We prove that for a measurable subset of S ^n–1 with fixed Haar measure, the volume of its convex hull is minimized for a cap (i.e. a ball with respect to the geodesic measure). We solve a similar problem for symmetric sets and n=2, 3. As a consequence, we deduce a result concerning Gaussian measures of dilatations of convex, symmetric sets in R ² and R ³.Partially supported by KBN (Poland), Grant No. 2 1094 91 01.     

On the properties of Newton-Euler pairs

If and are two sequences such that a₁=b₁ and , then we say that (a_n,b_n) is a Newton-Euler pair. In the paper, we establish many formulas for Newton-Euler pairs, and then make use of them to obtain new results concerning some special sequences such as and B_n, where p(n) is the number of partitions of n, σ(n) is the sum of divisors of n, and B_n is the nth Bernoulli number.     

A centerless representation of the Virasoro algebra associated with the unitary circular ensemble

We consider the 2-dimensional Toda lattice tau functions τ_n(t,s;η,θ) deforming the probabilities τ_n(η,θ) that a randomly chosen matrix from the unitary group U(n), for the Haar measure, has no eigenvalues within an arc (η,θ) of the unit circle. We show that these tau functions satisfy a centerless Virasoro algebra of constraints, with a boundary part in the sense of Adler, Shiota and van Moerbeke. As an application, we obtain a new derivation of a differential equation due to Tracy and Widom, satisfied by these probabilities, linking it to the Painlevé VI equation.     

Convex bodies with equiframed two-dimensional sections

We show that a centred, convex body in (d ≥ 3) all of whose two-dimensional sections through the origin are equiframed is an ellipsoid. Received: 20 July 2005 Revised: 16 May 2006     

Complete monotonicity of some functions involving polygamma functions

In the present paper, we establish necessary and sufficient conditions for the functions x^α|ψ⁽ⁱ⁾(x+β)| and α|ψ⁽ⁱ⁾(x+β)|−x|ψ⁽ⁱ⁺¹⁾(x+β)| respectively to be monotonic and completely monotonic on (0,∞), where i∈N, α>0 and β≥0 are scalars, and ψ⁽ⁱ⁾(x) are polygamma functions.     

Computational properties of three-term recurrence relations for Kummer functions

Several three-term recurrence relations for confluent hypergeometric functions are analyzed from a numerical point of view. Minimal and dominant solutions for complex values of the variable z are given, derived from asymptotic estimates of the Whittaker functions with large parameters. The Laguerre polynomials and the regular Coulomb wave functions are studied as particular cases, with numerical examples of their computation.