A class of generalized positive linear maps on matrix algebras

We construct a class of positive linear maps on matrix algebras. We find conditions when these maps are atomic, decomposable and completely positive. We obtain a large class of atomic positive linear maps. As applications in quantum information theory, we discuss the structural physical approximation and optimality of entanglement witness associated with these maps.     

Characterizations and representations of the group inverse involving idempotents

This paper is to present some results on the group invertibility of products and differences of idempotents. In addition, some formulae for the group inverse of sums, differences and products of idempotents are established by using some given idempotents.     

Additive results for the generalized Drazin inverse in a Banach algebra

In this paper we investigate additive properties of the generalized Drazin inverse in a Banach algebra. We find some new conditions under which the generalized Drazin inverse of the sum a + b could be explicitly expressed in terms of a, a^d, b, b^d. Also, some recent results of Castro and Koliha [New additive results for the g-Drazin inverse, Proc. Roy. Soc. Edinburgh Sect. A 134 (2004) 1085-1097] are extended.     

On orthogonal systems of matrix algebras

In this work it is shown that certain interesting types of orthogonal system of subalgebras (whose existence cannot be ruled out by the trivial necessary conditions) cannot exist. In particular, it is proved that there is no orthogonal decomposition of M_n(C)⊗M_n(C)≡M_n²(C) into a number of maximal abelian subalgebras and factors isomorphic to M_n(C) in which the number of factors would be 1 or 3.In addition, some new tools are introduced, too: for example, a quantity c(A,B), which measures “how close” the subalgebras A,B⊂M_n(C) are to being orthogonal. It is shown that in the main cases of interest, c(A^′,B^′) - where A^′ and B^′ are the commutants of A and B, respectively - can be determined by c(A,B) and the dimensions of A and B. The corresponding formula is used to find some further obstructions regarding orthogonal systems.     

Recent developments of the operator Kantorovich inequality

First, we take a historical glimpse at some significant refinements and extensions of the Kantorovich inequality. Second, we present some operator Kantorovich inequalities involving unital positive linear mappings and the operator geometric mean in the framework of semi-inner product C^∗$C^{\ast }$-modules and give some new and classical results in a unified approach.     

The product of operators with closed range in Hilbert C-modules

Suppose T and S are bounded adjointable operators with close range between Hilbert C^∗-modules, then TS has closed range if and only if Ker(T)+Ran(S) is an orthogonal summand, if and only if Ker(S^∗)+Ran(T^∗) is an orthogonal summand. Moreover, if the Dixmier (or minimal) angle between Ran(S) and Ker(T)∩[Ker(T)∩Ran(S)]^⊥ is positive and is an orthogonal summand then TS has closed range.     

Results on infinite-dimensional topology and applications to the structure of the critical set of nonlinear Sturm-Liouville operators

We consider the nonlinear Sturm-Liouville differential operator F(u)=−u″+f(u) for u∈H_D²([0,π]), a Sobolev space of functions satisfying Dirichlet boundary conditions. For a generic nonlinearity we show that there is a diffeomorphism in the domain of F converting the critical set C of F into a union of isolated parallel hyperplanes. For the proof, we show that the homotopy groups of connected components of C are trivial and prove results which permit to replace homotopy equivalences of systems of infinite-dimensional Hilbert manifolds by diffeomorphisms.     

A combinatorial interpretation of the Seidel generation ofq-derangement numbers

In [8] Dumont and Randrianarivony have given several combinatorial interpretations for the coefficients of the Euler-Seidel matrix associated withn!. In this paper we consider aq-analogue of their results, which leads to the discovery of a new Mahonian statistic “maf” on the symmetric group. We then give new proofs and generalizations of some results of Gessel and Reutenauer [12] and Wachs [17].     

Cyclicity in weighted Bergman type spaces

We use the resolvent transform method to study the cyclicity of the one point mass singular inner function in weighted Bergman type spaces.     

An analogue of the Harer-Zagier formula for unicellular maps on general surfaces

A unicellular map is the embedding of a connected graph in a surface in such a way that the complement of the graph is simply connected. In a famous article, Harer and Zagier established a formula for the generating function of unicellular maps counted according to the number of vertices and edges. The keystone of their approach is a counting formula for unicellular maps on orientable surfaces with n edges, and with vertices colored using every color in [q] (adjacent vertices are authorized to have the same color). We give an analogue of this formula for general (locally orientable) surfaces.Our approach is bijective and is inspired by Lass?s proof of the Harer-Zagier formula. We first revisit Lass?s proof and twist it into a bijection between unicellular maps on orientable surfaces with vertices colored using every color in [q], and maps with vertex set [q] on orientable surfaces with a marked spanning tree. The bijection immediately implies Harer-Zagier?s formula and a formula by Jackson concerning bipartite unicellular maps. It also shed a new light on constructions by Goulden and Nica, Schaeffer and Vassilieva, and Morales and Vassilieva. We then extend the bijection to general surfaces and obtain a correspondence between unicellular maps on general surfaces with vertices colored using every color in [q], and maps on orientable surfaces with vertex set [q]with a marked planar submap. This correspondence gives an analogue of the Harer-Zagier formula for general surfaces. We also show that this formula implies a recursion formula due to Ledoux for the numbers of unicellular maps with given numbers of vertices and edges.     

A Corona Theorem for Multipliers on Dirichlet Space

We prove a corona theorem for infinitely many functions from the multiplier algebra on Dirichlet space.     

A gentle guide to the basics of two projections theory

This paper is a survey of the basics of the theory of two projections. It contains in particular the theorem by Halmos on two orthogonal projections and Roch, Silbermann, Gohberg, and Krupnik’s theorem on two idempotents in Banach algebras. These two theorems, which deliver the desired results usually very quickly and comfortably, are missing or wrongly cited in many recent publications on the topic, The paper is intended as a gentle guide to the field. The basic theorems are precisely stated, some of them are accompanied by full proofs, others not, but precise references are given in each case, and many examples illustrate how to work with the theorems.     

On the enumeration of a class of plane multigraphs

A class of plane multigraphs having a series-parallel structure is defined and enumerated. The enumeration is carried out both for the rooted graphs as originally defined, and also for those where no distinctions are made between the vertices. Some other related problems are also discussed.     

High order linear initial-value problems and Schauder bases

In this paper we approximate the solution of a linear initial-value problem, making use of a Schauder basis for certain Banach space associated with such a differential problem. In addition, we apply that results in order to calculate numerically the response from a structure modelled by a three degree-of-freedom mass–damper–spring system.     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.