Proper gromov transforms of metrics are metrics

In phylogenetic analysis, a standard problem is to approximate a given metric by an additive metric. Here it is shown that, given a metric D defined on some finite set X and a nonexpansive map f : X → , the one-parameter family of the Gromov transforms D^Δ,f of D relative to f and Δ that starts with D for large values of Δ and ends with an additive metric for Δ = 0 consists exclusively of metrics. It is expected that this result will help to better understand some standard tree reconstruction procedures considered in phylogenetic analysis.     

The large deviations theorem and ergodicity

In this paper, some relationships between stochastic and topological properties of dynamical systems are studied. For a continuous map f from a compact metric space X into itself, we show that if f satisfies the large deviations theorem then it is topologically ergodic. Moreover, we introduce the topologically strong ergodicity, and prove that if f is a topologically strongly ergodic map satisfying the large deviations theorem then it is sensitively dependent on initial conditions.     

Invertibility of linear maps preserving matrix invariants

There is a noninvertible linear map preserving a given function iff the function is constant on translates of a subspace. Any group preserving the function preserves the subspace. Hence it is often easy to isolate the cases in which such a noninvertible linear map can exist. For similarity invariants of matrices, this happens only for functions of the trace and for fuctions f satisfying f(X + λI) ≡ f(X).     

Topological entropy of a graph map

Let G be a graph and f : G → G be a continuous map. Denote by h(f), P(f), AP(f), R(f)and ω(x, f) the topological entropy of f, the set of periodic points of f, the set of almost periodic points of f, the set of recurrent points of f and the ω-limit set of x under f, respectively. In this paper,we show that the following statements are equivalent:(1) h(f) 0.(2) There exists an x ∈ G such that ω(x, f) ∩ P(f) = ? and ω(x, f) is an infinite set.(3) There exists an x ∈ G such that ω(x, f)contains two minimal sets.(4) There exist x, y ∈ G such that ω(x, f)-ω(y, f) is an uncountable set and ω(y, f) ∩ω(x, f) = ?.(5) There exist an x ∈ G and a closed subset A ? ω(x, f) with f(A) ? A such that ω(x, f)-A is an uncountable set.(6) R(f)-AP(f) = ?.(7) f |P(f)is not pointwise equicontinuous.     

On extensions of the domain invariance theorem

If f maps continuously a compact subset X of Rⁿ into Rⁿ and x is a point whose distance from the boundary ∂X is greater than double diameter of the fibres of the points in f(∂X) then f(x) is in the interior of f(X). This theorem extends some results due to Borsuk and Sitnikov.     

Recurrence of Transitive Points in Dynamical Systems with the Specification Property

Let T:X → X be a continuous map of a compact metric space X. A point x ∈ X is called Banach recurrent point if for all neighborhood V of x, {n ∈ N:Tⁿ(x) ∈ V } has positive upper Banach density. Denote by Tr(T), W(T), QW(T) and BR(T) the sets of transitive points, weakly almost periodic points, quasi-weakly almost periodic points and Banach recurrent points of (X, T). If (X, T) has the specification property, then we show that every transitive point is Banach recurrent and ∅≠W(T) ∩ Tr(T) _≠^⊂W^*(T) ∩ Tr(T) _≠^⊂ QW(T) ∩ Tr(T) _≠^⊂ BR(T) ∩ Tr(T), in which W^*(T) is a recurrent points set related to an open question posed by Zhou and Feng. Specifically the set Tr(T) ∩ W^*(T)\W(T) is residual in X. Moreover, we construct a point x ∈ BR\QW in symbol dynamical system, and demonstrate that the sets W(T), QW(T) and BR(T) of a dynamical system are all Borel sets.     

Factorization theorems for cohomological dimension

The well-known factorization theorems for covering dimension dim and compact Hausdorff spaces are here established for the cohomological dimension dim using a new characterization of dim In particular, it is proved that every mapping f: X → Y from a compact Hausdorff space X with to a compact metric space Y admits a factorization f = hg, where g: X → Z, h: Z → Y and Z is a metric compactum with . These results are applied to the well-known open problem whether . It is shown that the problem has a positive answer for compact Hausdorff spaces X if and only if it has a positive answer for metric compacta X.     

Eulerian subgraphs containing given edges

For an integer l0, define to be the family of graphs such that if and only if for any edge subset XE(G) with |X|l, G has a spanning eulerian subgraph H with XE(H). The graphs in are known as supereulerian graphs. Let f(l) be the minimum value of k such that every k-edge-connected graph is in . Jaeger and Catlin independently proved f(0)=4. We shall determine f(l) for all values of l0. Another problem concerning the existence of eulerian subgraphs containing given edges is also discussed, and former results in [J. Graph Theory 1 (1977) 79–84] and [J. Graph Theory 3 (1979) 91–93] are extended.     

Hopf bifurcation near a double singular point

The nonlinear equation f(x,λ,) = 0, f:X × R²→X, where X is a Banach space and f satisfies a Z₂-symmetry relation is considered. Interest centres on a certain type of double singular point, where the solution x is symmetric and f_x has a double zero eigenvalue, with one eigenvector symmetric and one antisymmetric.

We show that under certain nondegeneracy conditions, which are stated both algebraically and geometrically, there exists a path of Hopf bifurcations or imaginary Hopf bifurcations passing through the double singular point, and for which x is not symmetric except at the double singular point. An easy geometrical test is found to decide which type of phenomenon occurs. A biproduct of the analysis is that explicit expressions are obtained for quantities which help to provide a reliable numerical method to compute these paths. A pseudo-spectral method was used to obtain numerical results for the Brusselator equations to illustrate the theory.     

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.     

Symbolic dynamics in investigation of quaternionic Julia sets

We focus our attention on the dynamics of the simplest quaternionic quadratic function f_Q(X) = X² + Q. The discussion can be reduced to a complex parameter Q and a three dimensional subspace. The images of quaternionic Julia sets suggest a natural decomposition. We find that it can be derived from a certain symbolic dynamics giving rise to fractal fibrations. The starting point are the equators and their preimages. If the parameter Q is real, fibrations are trivial, obtained by rotation of the complex Julia set. Repeating itineraries, on the other hand, define curves connecting periodic points.     

Additive Maps Preserving Nilpotent Perturbation of Scalars

Let X be a Banach space over F(= R or C) with dimension greater than 2. Let N(X) be the set of all nilpotent operators and B_0(X) the set spanned by N(X). We give a structure result to the additive maps on FI + B_0(X) that preserve rank-1 perturbation of scalars in both directions. Based on it, a characterization of surjective additive maps on FI + B_0(X) that preserve nilpotent perturbation of scalars in both directions are obtained. Such a map Φ has the form either Φ(T) = cAT A~(-1)+ φ(T)I for all T ∈ FI + B_0(X) or Φ(T) = cAT*A~(-1)+ φ(T)I for all T ∈ FI + B_0(X), where c is a nonzero scalar,A is a τ-linear bijective transformation for some automorphism τ of F and φ is an additive functional.In addition, if dim X = ∞, then A is in fact a linear or conjugate linear invertible bounded operator.     

On Quasi-weakly Almost Periodic Points of Continuous Flows

Let X be a compact metric space, F : X ×R→ X be a continuous flow and x ∈ X a proper quasi-weakly almost periodic point, that is, x is quasi-weakly almost periodic but not weakly almost periodic. The aim of this paper is to investigate whether there exists an invariant measure generated by the orbit of x such that the support of this measure coincides with the minimal center of attraction of x? In order to solve the problem, two continuous flows are constructed. In one continuous flow,there exist a proper quasi-weakly almost periodic point and an invariant measure generated by its orbit such that the support of this measure coincides with its minimal center of attraction; and in the other,there is a proper quasi-weakly almost periodic point such that the support of any invariant measure generated by its orbit is properly contained in its minimal center of attraction. So the mentioned problem is sufficiently answered in the paper.     

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 extreme set condition of a graph

Let G be a simple graph. The size of any largest matching in G is called the matching number of G and is denoted by ν(G). Define the deficiency of G, def(G), by the equation def(G)=|V(G)|−2ν(G). A set of points X in G is called an extreme set if def(G−X)=def(G)+|X|. Let c₀(G) denote the number of the odd components of G. A set of points X in G is called a barrier if c₀(G−X)=def(G)+|X|. In this paper, we obtain the following:

(1) Let G be a simple graph containing an independent set of size i, where i2. If X is extreme in G for every independent set X of size i in G, then there exists a perfect matching in G.

(2) Let G be a connected simple graph containing an independent set of size i, where i2. Then X is extreme in G for every independent set X of size i in G if and only if G=(U,W) is a bipartite graph with |U|=|W|i, and |Γ(Y)||U|−i+m+1 for any Y U, |Y|=m (1mi−1).

(3) Let G be a connected simple graph containing an independent set of size i, where i2. Then X is a barrier in G for every independent set X of size i in G if and only if G=(U,W) is a bipartite graph with |U|=|W|=i, and |Γ(Y)|m+1 for any Y U, |Y|=m (1mi−1).     

Decompositions of positive self-dual boolean functions

A coterie, which is used to realize mutual exclusion in distributed systems, is a family C of subsets such that any pair of subsets in C has at least one element in common, and such that no subset in C contains any other subset in C. Associate with a family of subsets C a positive Boolean function f_c such that f_c(x) = 1 if the Boolean vector x is equal to or greater than the characteristic vector of some subset in C, and 0 otherwise. It is known that C is a coterie if and only if f_c is dual-minor, and is a non-dominated (ND) coterie if and only if f_c is self-dual. We study in this paper the decomposition of a positive self-dual function into smaller positive self-dual functions, as it explains how to represent and how to construct the corresponding ND coterie. A key step is how to decompose a positive dual-minor function f into a conjunction of positive self-dual functions f₁,f₂,…, f_k. In addition to the general condition for this decomposition, we clarify the condition for the decomposition into two functions f₁, and f₂, and introduce the concept of canonical decomposition. Then we present an algorithm that determines a minimal canonical decomposition, and a very simple algorithm that usually gives a decomposition close to minimal. The decomposition of a general self-dual function is also discussed.     

Stability of Periodic Orbits and Return Trajectories of Continuous Multi-valued Maps on Intervals

Let I be a compact interval of real axis R, and(I, H) be the metric space of all nonempty closed subintervals of I with the Hausdorff metric H and f : I → I be a continuous multi-valued map. Assume that Pn =(x_0, x_1,..., xn) is a return tra jectory of f and that p ∈ [min Pn, max Pn] with p ∈ f(p). In this paper, we show that if there exist k(≥ 1) centripetal point pairs of f(relative to p)in {(x_i; x_i+1) : 0 ≤ i ≤ n-1} and n = sk + r(0 ≤ r ≤ k-1), then f has an R-periodic orbit, where R = s + 1 if s is even, and R = s if s is odd and r = 0, and R = s + 2 if s is odd and r 0. Besides,we also study stability of periodic orbits of continuous multi-valued maps from I to I.     

Maps of manifolds into the plane which lift to standard embeddings in codimension two

Let be a smooth map of a closed n-dimensional manifold (n2) into the plane and let be an orthogonal projection. We say that f has the standard lifting property, if every embedding with is standard in a certain sense. In this paper we give some sufficient conditions for a generic smooth map f to have the standard lifting property when M is a closed surface or an n-dimensional homotopy sphere.     

Degrees in a digraph whose nodes are graphs

By an f-graph we mean an unlabeled graph having no vertex of degree greater than f. Let D(n, f) denote the digraph whose node set is the set of f-graphs of order n and such that there is an arc from the node corresponding to graph H to the node corresponding to the graph K if and only if K is obtainable from H by the addition of a single edge. In earlier work, algorithms were developed which produce exact results about the structure of D(n, f), nevertheless many open problems remain. For example, the computation of the order and size of D(n, f) for a number of values of n and f have been obtained. Formulas for the order and size for f = 2 have also been derived. However, no closed form formulas have been determined for the order and size of D(n, f) for any value of f. Here we focus on questions concerning the degrees of the nodes in D(n,n − 1) and comment on related questions for D(n,f) for 2 f < n − 1.     

Noncommutative-nilpotent matrices and the jacobian conjecture

We prove that a polynomial map F = X + H ∈ k[X] with homogeneous H(k is a field of characteristic zero) is linear triangularizable if and only if the Jacobian matrix J(H) is a noncommutative-nilpotent matrix.