Spanning multi-paths in hypercubes

A set A of vertices of a hypercube is called balanced if . We prove that for every natural number n there exists a natural number π₁(n) such that for every hypercube Q with dim(Q)?π₁(n) there exists a family of pairwise vertex-disjoint paths P_i between A_i and B_i for i=1,2,…,n with if and only if {A_i,B_i∣i=1,2,…,n} is a balanced set.     

Likelihood ratio orderings of spacings of heterogeneous exponential random variables

Let X₁,X₂,…,X_n be independent exponential random variables such that X_i has failure rate λ for i=1,…,p and X_j has failure rate λ^* for j=p+1,…,n, where p≥1 and q=n-p≥1. Denote by D_i:n(p,q)=X_i:n-X_i-1:n the ith spacing of the order statistics , where X_0:n≡0. It is shown that D_i:n(p,q)?_lrD_i+1:n(p,q) for i=1,…,n-1, and that if λ?λ^* then , and for i=1,…,n, where ?_lr denotes the likelihood ratio order. The main results are used to establish the dispersive orderings between spacings.     

Stochastic matrices and a property of the infinite sequences of linear functionals

Our starting point is the proof of the following property of a particular class of matrices. Let T={T_i,j} be a n×m non-negative matrix such that ∑_jT_i,j=1 for each i. Suppose that for every pair of indices (i,j), there exists an index l such that T_i,l≠T_j,l. Then, there exists a real vector k=(k₁,k₂,…,k_m)^T,k_i≠k_j,i≠j;0<k_i?1, such that, if i≠j.Then, we apply that property of matrices to probability theory. Let us consider an infinite sequence of linear functionals , corresponding to an infinite sequence of probability measures {μ_(·)(i)}_i∈N, on the Borel σ-algebra such that, . The property of matrices described above allows us to construct a real bounded one-to-one piecewise continuous and continuous from the left function f such that

     

Quantum effects, sequential independence and majorization

A quantum effect is a positive Hilbert space contraction operator. If {E_i}, 1?i?n, are n quantum effects (defined on some Hilbert space H), then their sequential product is the operator . It is proved that the quantum effects {E_i}, 1?i?n, are sequentially independent if and only if for every permutation r₁r₂…r_n of the set S_n={1,2,…,n}. The sequential independence of the effects E_i, 1?i?n, implies E_noE_n-1o…oE_j+1oE_jo…oE₁=(E_noE_n-1o…E_j+1)oE_jo…oE₁ for every 1?j?n. It is proved that if there exists an effect E_j, 1?j?n, such that E_j?(E_noE_n-1o…E_j+1)oE_jo…oE₁, then the effects {E_i} are sequentially independent and satisfy .     

Beta-expansion and continued fraction expansion

For any real number β>1, let ε(1,β)=(ε₁(1),ε₂(1),…,εn(1),…) be the infinite β-expansion of 1. Define . Let x∈[0,1) be an irrational number. We denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n digits in the β-expansion of x. If is bounded, we obtain that for all x∈[0,1)?Q,

     

OMC for scalar multiples of unitaries

We establish the following case of the Determinantal Conjecture of Marcus [M. Marcus, Derivations, Plücker relations and the numerical range, Indiana Univ. Math. J. 22 (1973) 1137-1149] and de Oliveira [G.N. de Oliveira, Research problem: Normal matrices, Linear and Multilinear Algebra 12 (1982) 153-154]. Let A and B be unitary n × n matrices with prescribed eigenvalues a₁, … , a_n and b₁, … , b_n, respectively. Then for any scalars t and s

     

On approximately simultaneously diagonalizable matrices

A collection A₁, A₂, …, A_k of n × n matrices over the complex numbers C has the ASD property if the matrices can be perturbed by an arbitrarily small amount so that they become simultaneously diagonalizable. Such a collection must perforce be commuting. We show by a direct matrix proof that the ASD property holds for three commuting matrices when one of them is 2-regular (dimension of eigenspaces is at most 2). Corollaries include results of Gerstenhaber and Neubauer-Sethuraman on bounds for the dimension of the algebra generated by A₁, A₂, …, A_k. Even when the ASD property fails, our techniques can produce a good bound on the dimension of this subalgebra. For example, we establish for commuting matrices A₁, …, A_k when one of them is 2-regular. This bound is sharp. One offshoot of our work is the introduction of a new canonical form, the H-form, for matrices over an algebraically closed field. The H-form of a matrix is a sparse “Jordan like” upper triangular matrix which allows us to assume that any commuting matrices are also upper triangular. (The Jordan form itself does not accommodate this.)     

Transition matrices for well-conditioned Markov chains

Let T∈R^n×n be an irreducible stochastic matrix with stationary distribution vector π. Set A = I − T, and define the quantity , where A_j, j = 1, … , n, are the (n − 1) × (n − 1) principal submatrices of A obtained by deleting the jth row and column of A. Results of Cho and Meyer, and of Kirkland show that κ₃ provides a sensitive measure of the conditioning of π under perturbation of T. Moreover, it is known that .In this paper, we investigate the class of irreducible stochastic matrices T of order n such that , for such matrices correspond to Markov chains with desirable conditioning properties. We identify some restrictions on the zero-nonzero patterns of such matrices, and construct several infinite classes of matrices for which κ₃ is as small as possible.     

Reduction of the c-numerical range to the classical numerical range

Let A be an n×n complex matrix and c=(c₁,c₂,…,c_n) a real n-tuple. The c-numerical range of A is defined as the set

     

A simple proof for a theorem of Luxemburg and Zaanen

In this paper a simple proof for the following theorem, due to Luxemburg and Zaanen is given: an Archimedean vector lattice A is Dedekind σ-complete if and only if A has the principal projection property and A is uniformly complete. As an application, we give a new and short proof for the following version of Freudenthal's spectral theorem: let A be a uniformly complete vector lattice with the principal projection property and let 0<u∈A. For any element w in A such that 0?w?u there exists a sequence in A which satisfies , where each element sn is of the form , with real numbers α₁,…,αk such that 0?αi?1 (i=1,…,k) and mutually disjoint components p₁,…,pk of u.     

The eigenvalue distribution on Schur complements of H-matrices

The paper studies the eigenvalue distribution of some special matrices. Tong in Theorem 1.2 of [Wen-ting Tong, On the distribution of eigenvalues of some matrices, Acta Math. Sinica (China), 20 (4) (1977) 273-275] gives conditions for an n × n matrix A ∈ SD_n ∪ ID_n to have |J_R+(A)| eigenvalues with positive real part, and |J_R-(A)| eigenvalues with negative real part. A counter-example is given in this paper to show that the conditions of the theorem are not true. A corrected condition is then proposed under which the conclusion of the theorem holds. Then the corrected condition is applied to establish some results about the eigenvalue distribution of the Schur complements of H-matrices with complex diagonal entries. Several conditions on the n × n matrix A and the subset α ⊆ N = {1, 2, … , n} are presented such that the Schur complement matrix A/α of the matrix A has eigenvalues with positive real part and eigenvalues with negative real part.     

A short proof of a cross-intersection theorem of Hilton

Families A₁,…,A_k of sets are said to be cross-intersecting if for any A_i∈A_i and A_j∈A_j, i≠j. A nice result of Hilton that generalises the Erd?s-Ko-Rado (EKR) Theorem says that if r≤n/2 and A₁,…,A_k are cross-intersecting sub-families of , then

     

The case of equality in the Dobrushin-Deutsch-Zenger bound

Suppose that A=(a_i,j) is an n×n real matrix with constant row sums μ. Then the Dobrushin-Deutsch-Zenger (DDZ) bound on the eigenvalues of A other than μ is given by . When A a transition matrix of a finite homogeneous Markov chain so that μ=1,Z(A) is called the coefficient of ergodicity of the chain as it bounds the asymptotic rate of convergence, namely, , of the iteration , to the stationary distribution vector of the chain.In this paper we study the structure of real matrices for which the DDZ bound is sharp. We apply our results to the study of the class of graphs for which the transition matrix arising from a random walk on the graph attains the bound. We also characterize the eigenvalues λ of A for which |λ|=Z(A) for some stochastic matrix A.     

Singular values, norms, and commutators

Let and X_i, i=1,…,n, be bounded linear operators on a separable Hilbert space such that X_i is compact for i=1,…,n. It is shown that the singular values of are dominated by those of , where ‖·‖ is the usual operator norm. Among other applications of this inequality, we prove that if A and B are self-adjoint operators such that a₁?A?a₂ and b₁?B?b₂ for some real numbers and b₂, and if X is compact, then the singular values of the generalized commutator AX-XB are dominated by those of max(b₂-a₁,a₂-b₁)(X⊕X). This inequality proves a recent conjecture concerning the singular values of commutators. Several inequalities for norms of commutators are also given.     

The inversion formula for automorphisms of the Weyl algebras and polynomial algebras

Let A_n be the nth Weyl algebra and P_m be a polynomial algebra in m variables over a field K of characteristic zero. The following characterization of the algebras {A_n⊗P_m} is proved: an algebraAadmits a finite setδ₁,…,δ_sof commuting locally nilpotent derivations with generic kernels andiffA?A_n⊗P_mfor somenandmwith2n+m=s, and vice versa. The inversion formula for automorphisms of the algebra A_n⊗P_m (and for ) has been found (giving a new inversion formula even for polynomials). Recall that (see [H. Bass, E.H. Connell, D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (New Series) 7 (1982) 287-330]) given, then (the proof is algebro-geometric). We extend this result (using [non-holonomic] D-modules): given, then. Any automorphism is determined by its face polynomials [J.H. McKay, S.S.-S. Wang, On the inversion formula for two polynomials in two variables, J. Pure Appl. Algebra 52 (1988) 102-119], a similar result is proved for .One can amalgamate two old open problems (the Jacobian Conjecture and the Dixmier Problem, see [J. Dixmier, Sur les algèbres de Weyl, Bull. Soc. Math. France 96 (1968) 209-242. [6]] problem 1) into a single question, (JD): is aK-algebra endomorphismσ:A_n⊗P_m→A_n⊗P_man algebra automorphism providedσ(P_m)⊆P_mand? (P_m=K[x₁,…,x_m]). It follows immediately from the inversion formula that this question has an affirmative answer iff both conjectures have (see below) [iff one of the conjectures has a positive answer (as follows from the recent papers [Y. Tsuchimoto, Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math. 42(2) (2005) 435-452. [10]] and [A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier Conjecture. ArXiv:math.RA/0512171. [5]])].     

Semidefinite descriptions of low-dimensional separable matrix cones

Let K⊂E, K^′⊂E^′ be convex cones residing in finite-dimensional real vector spaces. An element y in the tensor product E⊗E^′ is K⊗K^′-separable if it can be represented as finite sum , where x_l∈K and for all l. Let S(n), H(n), Q(n) be the spaces of n×n real symmetric, complex Hermitian and quaternionic Hermitian matrices, respectively. Let further S₊(n), H₊(n), Q₊(n) be the cones of positive semidefinite matrices in these spaces. If a matrix A∈H(mn)=H(m)⊗H(n) is H₊(m)⊗H₊(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m)⊗S(n), H(m)⊗S(n), and for m?2 in the space Q(m)⊗S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n)⊗S(2) is Q₊(n)⊗S₊(2)- separable if and only if it is positive semidefinite.     

On the spectral radius of positive operators on Banach sequence spaces

Let K₁,…,K_n be (infinite) non-negative matrices that define operators on a Banach sequence space. Given a function f:[0,∞)×…×[0,∞)→[0,∞) of n variables, we define a non-negative matrix and consider the inequality