Discriminant preserving linear maps

Consider the n-square matrices over an infiniie field Kas an n²-dimcnsional vector space M( nK). We determine all linear maps Ton M(nK) such that discriminant TX- discriminant Xfor all Xin M(nK)     

Enumeration of difference graphs

A difference graph is a bipartite graph G = (X, Y; E) such that all the neighborhoods of the vertices of X are comparable by inclusion. We enumerate labeled and unlabeled difference graphs with or without a bipartition of the vertices into two stable sets. The labeled enumerations are expressed in terms of combinatorial numbers related to the Stirling numbers of the second kind.     

A fixed point theorem and a norm inequality for operator means

There is one to one correspondence between positive operator monotone functions on (0, ∞) and operator connections. For a symmetric connection σ, it is proved that the map X → (AσX)σ(BσX) from positive operators on a Hilbert space to itself, has a unique fixed point. Here σ denotes the dual of σ. It is also proved that |||AσB||| |||A|||σ|||B||| for all unitarily invariant norms ||| · ||| and for all positive operators A,B.     

On topological Radon transformations

We construct a functor, which we call the topological Radon transform, from a category of complex algebraic varieties with morphisms given by divergent diagrams, to constructible functions. The topological Radon transform is thus the composition of a pull-back and a push-forward of constructible functions. We show that the Chern-Schwartz-MacPherson transformation makes the topological Radon transform of constructible functions compatible with a certain homological Verdier-Radon transform. We use this set-up to prove, given a projective variety X, a formula for the Chern-Mather class of the dual variety in terms of that of X.     

On the M/G/1 queue with D-policy

This paper deals with the M/G/1 queue with D-policy, i.e., the server is turned off at the end of a busy period and turned on when the cumulative amount of work firstly exceeds some fixed value D. We first concentrate on the computation of the steady-state probabilities. The first moments and relationships among the busy period, the number of customers served and other performance measures are investigated. Some variants of the main model and the special case of the M/M/1 are also studied.     

Stability of dominant weights of the tensor product module for orthosymplectic lie superalgebras

Let X be an orthosymplectie Lie superalgebra of type B or D. The weight structure of the tensor product moduleW=⊗^MV, of M-copies of the natural representation. V, of X is studied from a partition point of view. A combinatorial characterization of the dominant weights of W and the weights of W which are highest weights for the finite dimensional irreducible modules is given. This partition point of view allows us to prove that the dominant weights of W and the weights of W which are highest weights for the finite dimensional irreducible modules stabilize as the rank of X gets large.     

Instabilities of robot motion

Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its cohomology algebra) and the character of instabilities, which are unavoidable in any motion planning algorithm. More specifically, let X denote the space of all admissible configurations of a mechanical system. A motion planner is given by a splitting X×X=F₁F₂F_k (where F₁,…,F_k are pairwise disjoint ENRs, see below) and by continuous maps s_j :F_j→PX, such that Es_j=1_Fj. Here PX denotes the space of all continuous paths in X (admissible motions of the system) and E :PX→X×X denotes the map which assigns to a path the pair of its initial–end points. Any motion planner determines an algorithm of motion planning for the system. In this paper we apply methods of algebraic topology to study the minimal number of sets F_j in any motion planner in X. We also introduce a new notion of order of instability of a motion planner; it describes the number of essentially distinct motions which may occur as a result of small perturbations of the input data. We find the minimal order of instability, which may have motion planners on a given configuration space X. We study a number of specific problems: motion of a rigid body in R³, a robot arm, motion in R³ in the presence of obstacles, and others.     

Borel measures in consonant spaces

A topology on a set X is called consonant if the Scott topology of the lattice is compactly generated; equivalently, if the upper Kuratowski topology and the co-compact topology on closed sets of X coincide. It is proved that every completely regular consonant space is a Prohorov space, and that every first countable regular consonant space is hereditarily Baire. If X is metrizable separable and co-analytic, then X is consonant if and only if X is Polish. Finally, we prove that every pseudocompact topological group which is consonant is compact. Several problems of Dolecki, Greco and Lechicki, of Nogura and Shakmatov, are solved.     

The W-convexity and normal structure in banach spaces

Let X be a Banach space, S(X) - x ε X : #x02016; = 1 be the unit sphere of X.The parameter, modulus of W^*-convexity, W^*(ε) = inf <(x − y)/2, f_x> : x, y S(X), x − y ≥ ε, f_x Δ_x , where 0 ≤ ε ≤ 2 and Δ_x S(X^*) be the set of norm 1 supporting functionals of S(X) at x, is investigated_ The relationship among uniform nonsquareness, uniform normal structure and the parameter W^*(ε) are studied, and a known result is improved. The main result is that for a Banach space X, if there is ε, where 0 < ε < 1/2, such that W^*(1 + ε) > ε/2 where W^*(1 + ε) = lim_→ε W^* (1 + ), then X has normal structure.     

The Wijsman and Attouch-Wets topologies on hyperspaces revisited

In this paper we will prove that, for an arbitrary metric space X and a fairly arbitrary collection Σ of subsets of X, it is possible to endow the hyperspace CL(X) of all nonempty closed subsets of X (to be identified with their distance functionals) with a canonical distance function having the topology of uniform convergence on members of Σ as topological coreflection and the Hausdorff metric as metric coreflection. For particular choices of Σ, we obtain canonical distance functions overlying the Wijsman and Attouch-Wets topologies. Consequently we apply the general theory of spaces endowed with a distance function and compare the results with those obtained for the classical hyperspace topologies. In all cases we are able to prove results which are both stronger and more general than the classical ones.     

Compact open topology and CW homotopy type

The class of spaces having the homotopy type of a CW complex is not closed under formation of function spaces. In 1959, Milnor proved the fundamental theorem that, given a space and a compact Hausdorff space X, the space Y^X of continuous functions X→Y, endowed with the compact open topology, belongs to . P.J. Kahn extended this in 1982, showing that if X has finite n-skeleton and π_k(Y)=0, k>n.

Using a different approach, we obtain a further generalization and give interesting examples of function spaces where is not homotopy equivalent to a finite complex, and has infinitely many nontrivial homotopy groups. We also obtain information about some topological properties that are intimately related to CW homotopy type.

As an application we solve a related problem concerning towers of fibrations between spaces of CW homotopy type.     

Neighborhood assignments and cardinal functions: a unified approach to metrization and uniformity

We use neighborhood assignments and cardinal functions to give a unified approach to metrizability and uniformity. This leads to a number of characterizations of m(X), the metrizability degree of X, u(X), the uniform weight of X, and w(X), the weight of X. For X normal (and regular), m(X) = u(X); it is unknown whether this result extends to completely regular spaces.     

Isomorphisms in pro-categories

A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In (Dydak and Ruiz del Portal (Monomorphisms and epimorphisms in pro-categories, preprint)) we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-C, where C has direct sums (resp. weak push-outs). In this paper, we introduce the notions of strong monomorphism and strong epimorphism. Part of their significance is that they are preserved by functors. These notions and their characterizations lead us to important classical properties and problems in shape and pro-homotopy. For instance, strong epimorphisms allow us to give a categorical point of view of uniform movability and to introduce a new kind of movability, the sequential movability. Strong monomorphisms are connected to a problem of K. Borsuk regarding a descending chain of retracts of ANRs. If f : X→Y is a bimorphism in the pointed shape category of topological spaces, we prove that f is a weak isomorphism and f is an isomorphism provided Y is sequentially movable and X or Y is the suspension of a topological space. If f : X→Y is a bimorphism in the pro-category pro-H₀ (consisting of inverse systems in H₀, the homotopy category of pointed connected CW complexes) we show that f is an isomorphism provided Y is sequentially movable.     

A characterization of adding machine maps

Let f :X→X be a continuous map of a compact metric space to itself. We prove that f is topologically conjugate to an adding machine map if and only if X is an infinite minimal set for f and each point of X is regularly recurrent. Moreover, if X is an infinite minimal set for f and one point of X is regularly recurrent, then f is semiconjugate to an adding machine map.     

Stable 2-pairs and (X,Y)-intersection graphs

Given two fixed graphs X and Y, the (X,Y)-intersection graph of a graph G is a graph where

1. each vertex corresponds to a distinct induced subgraph in G isomorphic to Y, and

2. two vertices are adjacent iff the intersection of their corresponding subgraphs contains an induced subgraph isomorphic to X.

This notion generalizes the classical concept of line graphs since the (K₁,K₂)-intersection graph of a graph G is precisely the line graph of G.

Let ( , respectively) denote the family of line graphs of bipartite graphs (bipartite multigraphs, respectively), and refer to a pair (X,Y) as a 2-pair if Y contains exactly two induced subgraphs isomorphic to X. Then and , respectively, are the smallest families amongst the families of (X,Y)-intersection graphs defined by so called hereditary 2-pairs and hereditary non-compact 2-pairs. Furthermore, they can be characterized through forbidden induced subgraphs. With this motivation, we investigate the properties of a 2-pair (X,Y) for which the family of (X,Y)-intersection graphs coincides with (or ). For this purpose, we introduce a notion of stability of a 2-pair and obtain the desired characterization for such stable 2-pairs. An interesting aspect of the characterization is that it is based on a graph determined by the structure of (X,Y).     

Efficient robust estimation of parameter in the random censorship model

For an open set Θ of ^k, let \s{P_θ: θ Θ\s} be a parametric family of probabilities modeling the distribution of i.i.d. random variables X₁,…, X_n. Suppose X_i's are subject to right censoring and one is only able to observe the pairs (min(X_i, Y_i), [X_i Y_i]), i = 1,…, n, where [A] denotes the indicator function of the event A, Y₁,…, Y_n are independent of X₁,…, X_n and i.i.d. with unknown distribution Q₀. This paper investigates estimation of the value θ that gives a fitted member of the parametric family when the distributions of X₁ and Y₁ are subject to contamination. The constructed estimators are adaptive under the semi-parametric model and robust against small contaminations: they achieve a lower bound for the local asymptotic minimax risk over Hellinger neighborhoods, in the Hájel—Le Cam sense. The work relies on Beran (1981). The construction employs some results on product-limit estimators.     

A recognition algorithm for orders of interval dimension two

From a partially ordered set (X, <) one may construct the collection PS(X) consisting of a collection of subsets of X ordered by inclusion. We show that the interval dimension of X equals the dimension of PS(X) and give an O(n³) algorithm to determine whether X has interval dimension 2 and construct an interval realizer of X.     

Some complex Grassmannian manifolds that do not fibre nontrivially

A finite CW complex X is said to be prime if, given a Hurewicz fibration F→E→B with E homotopy equivalent to X, and B and F homotopy equivalent to finite CW complexes, either B or F is contractible. We show that certain 3- and 4-plane complex Grassmanian manifolds are prime.     

Some explicit formulas for the polynomial decomposition of the matrix exponential and applications

This paper is devoted to the study of some formulas for polynomial decomposition of the exponential of a square matrix A. More precisely, we suppose that the minimal polynomial M_A(X) of A is known and has degree m. Therefore, e^tA is given in terms of P₀(A),…,P_m−1(A), where the P_j(A) are polynomials in A of degree less than m, and some explicit analytic functions. Examples and applications are given. In particular, the two cases m=5 and m=6 are considered.     

Function-space compactifications of function spaces

If X and Y are Hausdorff spaces with X locally compact, then the compact-open topology on the set C(X,Y) of continuous maps from X to Y is known to produce the right function-space topology. But it is also known to fail badly to be locally compact, even when Y is locally compact. We show that for any Tychonoff space Y, there is a densely injective space Z containing Y as a densely embedded subspace such that, for every locally compact space X, the set C(X,Z) has a compact Hausdorff topology whose relative topology on C(X,Y) is the compact-open topology. The following are derived as corollaries: (1) If X and Y are compact Hausdorff spaces then C(X,Y) under the compact-open topology is embedded into the Vietoris hyperspace V(X×Y). (2) The space of real-valued continuous functions on a locally compact Hausdorff space under the compact-open topology is embedded into a compact Hausdorff space whose points are pairs of extended real-valued functions, one lower and the other upper semicontinuous. The first application is generalized in two ways.