Preservers of spectral radius, numerical radius, or spectral norm of the sum on nonnegative matrices

Let be the set of entrywise nonnegative n×n matrices. Denote by r(A) the spectral radius (Perron root) of . Characterization is obtained for maps such that r(f(A)+f(B))=r(A+B) for all . In particular, it is shown that such a map has the form

     

Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

Quasi-convex density and determining subgroups of compact abelian groups

For an abelian topological group G, let denote the dual group of all continuous characters endowed with the compact open topology. Given a closed subset X of an infinite compact abelian group G such that w(X)<w(G), and an open neighborhood U of 0 in T, we show that . (Here, w(G) denotes the weight of G.) A subgroup D of G determines G if the map defined by r(χ)=χ?D for , is an isomorphism between and . We prove that

     

Extension of Fourier algebra homomorphisms to duals of algebras of uniformly continuous functionals

For a locally compact group G, let XG be one of the following introverted subspaces of VN(G): , the C^∗-algebra of uniformly continuous functionals on A(G); , the space of weakly almost periodic functionals on A(G); or , the C^∗-algebra generated by the left regular representation on the measure algebra of G. We discuss the extension of homomorphisms of (reduced) Fourier-Stieltjes algebras on G and H to cb-norm preserving, weak^∗-weak^∗-continuous homomorphisms of into , where (XG,XH) is one of the pairs , , or . When G is amenable, these extensions are characterized in terms of piecewise affine maps.     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Several remarks on dimensions modulo ANR-compacta

We investigate a dimension function L-dim (L is a class of ANR-compacta). Main results are as follows.Let L be an ANR-compactum.(1) If L*L is not contractible, then for every n?0 there is a cube Im with .(2) If L is simply connected and f:X→Y is an acyclic mapping from a finite-dimensional compact Hausdorff space X onto a finite-dimensional space Y, then .(3) If L is simply connected and L*L is not contractible, then for every n?2 there exists a compact Hausdorff space such that , and for an arbitrary closed set either or .     

The coarse shape groups

The (pointed) coarse shape category Sh^* (), having (pointed) topological spaces as objects and having the (pointed) shape category as a subcategory, was recently constructed. Its isomorphisms classify (pointed) topological spaces strictly coarser than the (pointed) shape type classification. In this paper we introduce a new algebraic coarse shape invariant which is an invariant of shape and homotopy, as well. For every pointed space (X,?) and for every k∈N₀, the coarse shape group , having the standard shape group for its subgroup, is defined. Furthermore, a functor is constructed. The coarse shape and shape groups already differ on the class of polyhedra. An explicit formula for computing coarse shape groups of polyhedra is given. The coarse shape groups give us more information than the shape groups. Generally, does not imply (e.g. for solenoids), but from pro-πk(X,?)=0 follows . Moreover, for pointed metric compacta (X,?), the n-shape connectedness is characterized by , for every k?n.     

A non-linear structure preserving matrix method for the low rank approximation of the Sylvester resultant matrix

A non-linear structure preserving matrix method for the computation of a structured low rank approximation of the Sylvester resultant matrix S(f,g) of two inexact polynomials f=f(y) and g=g(y) is considered in this paper. It is shown that considerably improved results are obtained when f(y) and g(y) are processed prior to the computation of , and that these preprocessing operations introduce two parameters. These parameters can either be held constant during the computation of , which leads to a linear structure preserving matrix method, or they can be incremented during the computation of , which leads to a non-linear structure preserving matrix method. It is shown that the non-linear method yields a better structured low rank approximation of S(f,g) and that the assignment of f(y) and g(y) is important because may be a good structured low rank approximation of S(f,g), but may be a poor structured low rank approximation of S(g,f) because its numerical rank is not defined. Examples that illustrate the differences between the linear and non-linear structure preserving matrix methods, and the importance of the assignment of f(y) and g(y), are shown.     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

On spaces which are D, linearly D and transitively D

In this note, we comment on D-spaces, linearly D-spaces and transitively D-spaces. We show that every meta-Lindelöf space is transitively D. If X is a weak -refinable TD-scattered space, then X is transitively D, where TD is the class of all transitively D-spaces. If X is a weak -refinable -scattered space, then X is a D-space, where is the class of all D-spaces, and hence every weak -refinable (or submetacompact) scattered space is a D-space. This gives a positive answer to a question mentioned by Martínez and Soukup. In the last part of this note, we show that if X is a weak -refinable space then X is linearly D.     

Holomorphic cohomology groups on compact Kähler complex spaces

Let (X,OX) be a compact (reduced) complex space, bimeromorphic to a Kähler manifold. The singular cohomology groups Hq(X,C) carry a mixed Hodge structure. In particular they carry a weight filtration W−lHq(X,C) (l=0,…,q), and the graded quotients have a direct sum decomposition into holomorphic invariants as . Here we investigate the relationships between the above invariants for r=0 and the cohomology groups , where is the sheaf of weakly holomorphic functions on X. Moreover, according to the smooth case, we characterize the topological line bundles L on X such that the class of c₁(L) in has pure type (1,1).     

The local variational principle of topological pressure for sub-additive potentials

Let (X,T) be a topological dynamical system and be a sub-additive potential on C(X,R). Let U be an open cover of X. Then for any T-invariant measure μ, let . The topological pressure for open covers U is defined for sub-additive potentials. Then we have a variational principle:

     

Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

We define and investigate extension groups in the context of Arakelov geometry. The “arithmetic extension groups” we introduce are extensions by groups of analytic types of the usual extension groups attached to OX-modules F and G over an arithmetic scheme X. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over X - and we especially consider the case when X is an “arithmetic curve”, namely the spectrum SpecOK of the ring of integers in some number field K. Then the study of arithmetic extensions over X is related to old and new problems concerning lattices and the geometry of numbers.Namely, for any two hermitian vector bundles and over X:=SpecOK, we attach a logarithmic size to any element α of , and we give an upper bound on in terms of slope invariants of and . We further illustrate this notion by relating the sizes of restrictions to points in P¹(Z) of the universal extension over to the geometry of PSL₂(Z) acting on Poincaré's upper half-plane, and by deducing some quantitative results in reduction theory from our previous upper bound on sizes. Finally, we investigate the behaviour of size by base change (i.e., under extension of the ground field K to a larger number field K^′): when the base field K is Q, we establish that the size, which cannot increase under base change, is actually invariant when the field K^′ is an abelian extension of K, or when is a direct sum of root lattices and of lattices of Voronoi's first kind.The appendices contain results concerning extensions in categories of sheaves on ringed spaces, and lattices of Voronoi's first kind which might also be of independent interest.     

Uniformly minimum variance nonnegative quadratic unbiased estimation in a generalized growth curve model

Consider the generalized growth curve model subject to R(X_m)⊆?⊆R(X₁), where B_i are the matrices of unknown regression coefficients, and E=(ε₁,…,ε_s)^′ and are independent and identically distributed with the same first four moments as a random vector normally distributed with mean zero and covariance matrix Σ. We derive the necessary and sufficient conditions under which the uniformly minimum variance nonnegative quadratic unbiased estimator (UMVNNQUE) of the parametric function with C≥0 exists. The necessary and sufficient conditions for a nonnegative quadratic unbiased estimator with of to be the UMVNNQUE are obtained as well.     

On the Brauer group of a semisimple algebraic group

Let k be a field with algebraic closure , G a semisimple algebraic k-group, and a maximal torus with character group X(T). Denote Λ the abstract weight lattice of the roots system of G, and by and the n-torsion subgroup of the Brauer group of k and G, respectively. We prove that if chark does not divide n and n is prime to the order of Λ/X(T) then the natural homomorphism is an isomorphism.     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

The oscillation of differential transforms - entire Jacobi expansions

Let L=(1−x²)D²−((β−α)−(α+β+2)x)D with , and . Let f∈C^∞[−1,1], , with normalized Jacobi polynomials and the Cn decrease sufficiently fast. Set Lk=L(Lk−1), k?2. Let ρ>1. If the number of sign changes of (Lkf)(x) in (−1,1) is O(k1/(ρ+1)), then f extends to be an entire function of logarithmic order . For Legendre expansions, the result holds with replaced with .     

More on almost self-complementary graphs

A graph X is called almost self-complementary if it is isomorphic to one of its almost complements , where denotes the complement of X and I a perfect matching (1-factor) in . If I is a perfect matching in and is an isomorphism, then the graph X is said to be fairly almost self-complementary if φ preserves I setwise, and unfairly almost self-complementary if it does not.In this paper we construct connected graphs of all possible orders that are fairly and unfairly almost self-complementary, fairly but not unfairly almost self-complementary, and unfairly but not fairly almost self-complementary, respectively, as well as regular graphs of all possible orders that are fairly and unfairly almost self-complementary.Two perfect matchings I and J in are said to be X-non-isomorphic if no isomorphism from X+I to X+J induces an automorphism of X. We give a constructive proof to show that there exists a graph X that is almost self-complementary with respect to two X-non-isomorphic perfect matchings for every even order greater than or equal to four.     

Topological entropy for set valued maps

Any continuous map T on a compact metric space X induces in a natural way a continuous map on the space K(X) of all non-empty compact subsets of X. Let T be a homeomorphism on the interval or on the circle. It is proved that the topological entropy of the induced set valued map is zero or infinity. Moreover, the topological entropy of is zero, where C(X) denotes the space of all non-empty compact and connected subsets of X. For general continuous maps on compact metric spaces these results are not valid.