Free groups and ends of graphs

Let X be a connected graph. An automorphism of X is said to be parabolic if it leaves no finite subset of vertices in X invariant and fixes precisely one end of X and hyperbolic if it leaves no finite subset of vertices in X invariant and fixes precisely two ends of X. Various questions concerning dynamics of parabolic and hyperbolic automorphisms are discussed.The set of ends which are fixed by some hyperbolic element of a group G acting on X is denoted by ?(G). If G contains a hyperbolic automorphism of X and G fixes no end of X, then G contains a free subgroup F such that ?(F) is dense in ?(G) with respect to the natural topology on the ends of X.As an application we obtain the following: A group which acts transitively on a connected graph and fixes no end has a free subgroup whose directions are dense in the end boundary.     

New Criteria for the Existence of a Continuous <Emphasis Type="Italic">ε</Emphasis>-Selection

We study sets admitting a continuous selection of near-best approximations and characterize those sets in Banach spaces for which there exists a continuous ε-selection for each ε > 0. The characterization is given in terms of P-cell-likeness and similar properties. In particular, we show that a closed uniqueness set in a uniformly convex space admits a continuous ε-selection for each ε > 0 if and only if it is B-approximately trivial. We also obtain a fixed point theorem.     

On the hyperbolicity of flows

Let X be a C~1 vector field on a compact boundaryless Riemannian manifold M(dim M≥2),and A a compact invariant set of X.Suppose that A has a hyperbolic splitting,i.e.,T∧M = E~sX E~u with E~s uniformly contracting and E~u uniformly expanding.We prove that if,in addition,A is chain transitive,then the hyperbolic splitting is continuous,i.e.,A is a hyperbolic set.In general,when A is not necessarily chain transitive,the chain recurrent part is a hyperbolic set.Furthermore,we show that if the whole manifold M admits a hyperbolic splitting,then X has no singularity,and the flow is Anosov.     

On the structure of invariant attracting sets of systems of finite-difference equations generating Hénon-Lozi mappings

For Hénon-Lozi mappings F, we find sufficient conditions under which on the plane there exists a domain U such that its closure is mapped by F strictly inside U. This ensures the existence of a compact invariant set in U. We prove the existence of an open set of parameter values for which this invariant set contains a zero-dimensional locally maximal topologically transitive Markov set such that the restriction of the mapping to this set is topologically conjugate to the shift automorphism in the space of sequences of two symbols. We show that if this Markov set is hyperbolic, then the above-mentioned compact invariant set coincides with the closure of the unstable manifold of F at a fixed point lying in that set and is a topologically indecomposable one-dimensional continuum. We present the parameter values for which these results hold for the Hénon mapping. We thereby prove the existence of a parameter range in which the invariant set of the Hénon mapping is a one-dimensional topologically indecomposable Brauer-Janiszewski continuum that contains a zero-dimensional locally maximal set and lies in the attraction domain of itself.     

Dense 3-uniform hypergraphs containing a large clique

An r-uniform graph C is dense if and only if every proper subgraph G' of G satisfies λ(G') λ(G).,where λ(G) is the Lagrangian of a hypergraph G. In 1980's, Sidorenko showed that π(F), the Turán density of an γ-uniform hypergraph F is r! multiplying the supremum of the Lagrangians of all dense F-hom-free γ-uniform hypergraphs. This connection has been applied in the estimating Turán density of hypergraphs. When γ=2 the result of Motzkin and Straus shows that a graph is dense if and only if it is a complete graph. However,when r ≥ 3, it becomes much harder to estimate the Lagrangians of γ-uniform hypergraphs and to characterize the structure of all dense γ-uniform graphs. The main goal of this note is to give some sufficient conditions for3-uniform graphs with given substructures to be dense. For example, if G is a 3-graph with vertex set [t] and m edges containing [t-1]~(3),then G is dense if and only if m≥{t-2 3)+(t-2 2)+1. We also give a sufficient condition on the number of edges for a 3-uniform hypergraph containing a large clique minus 1 or 2 edges to be dense.     

Dominated Pesin theory: convex sum of hyperbolic measures

In the uniformly hyperbolic setting it is well known that the set of all measures supported on periodic orbits is dense in the convex space of all invariant measures. In this paper we consider the converse question, in the non-uniformly hyperbolic setting: assuming that some ergodic measure converges to a convex combination of hyperbolic ergodic measures, what can we deduce about the initial measures?To every hyperbolic measure μ whose stable/unstable Oseledets splitting is dominated we associate canonically a unique class H(μ) of periodic orbits for the homoclinic relation, called its intersection class. In a dominated setting, we prove that a measure for which almost every measure in its ergodic decomposition is hyperbolic with the same index, such as the dominated splitting, is accumulated by ergodic measures if, and only if, almost all such ergodic measures have a common intersection class.We provide examples which indicate the importance of the domination assumption.     

Complex convexity and monotonicity in quasi-Banach lattices

In this paper we study the monotonicity and convexity properties in quasi-Banach lattices. We establish relationship between uniform monotonicity, uniform ?-convexity, H-and PL-convexity. We show that if the quasi-Banach lattice E has α-convexity constant one for some 0 < α < ∞, then the following are equivalent: (i) E is uniformly PL-convex; (ii) E is uniformly monotone; and (iii) E is uniformly ?-convex. In particular, it is shown that if E has α-convexity constant one for some 0 < α < ∞ and if E is uniformly ?-convex of power type then it is uniformly H-convex of power type. The relations between concavity, convexity and monotonicity are also shown so that the Maurey-Pisier type theorem in a quasi-Banach lattice is proved.Finally we study the lifting property of uniform PL-convexity: if E is a quasi-Köthe function space with α-convexity constant one and X is a continuously quasi-normed space, then it is shown that the quasi-normed Köthe-Bochner function space E(X) is uniformly PL-convex if and only if both E and X are uniformly PL-convex.     

Weak fixed point property for nonexpansive mappings with respect to orbits in Banach spaces

In this paper, we first show that a Banach space X has weak normal structure if and only if X has the weak fixed point property for nonexpansive mappings with respect to (wrt) orbits. Then, we give a counterexample to show that the Goebel–Karlovitz lemma does not hold for minimal invariant sets of nonexpansive mappings wrt orbits, and we present a modified version of the Goebel–Karlovitz lemma.     

Detecting fixed points of nonexpansive maps by illuminating the unit ball

We give necessary and sufficient conditions for a nonexpansive map on a finite-dimensional normed space to have a nonempty, bounded set of fixed points. Among other results we show that if f: V → V is a nonexpansive map on a finite-dimensional normed space V, then the fixed point set of f is nonempty and bounded if and only if there exist w₁,..., w _m in V such that {f(w _i ) ? w _i : i = 1,..., m} illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite-dimensional spaces. We also discuss applications of this procedure to certain nonlinear eigenvalue problems arising in game theory and mathematical biology.     

Density of characters of bounded <Emphasis Type="Italic">p</Emphasis>-adic analytic functions in the topological dual

Let K be an ultrametric complete algebraically closed field, let D be a disk {x ∈ K ‖x| < R} (with R in the set of absolute values of K) and let A be the Banach algebra of bounded analytic functions in D. The vector space generated by the set of characters of A is dense in the topological dual of A if and only if K is not spherically complete. Let H(D) be the Banach algebra of analytic elements in D. The vector space generated by the set of characters of H(D) is never dense in the topological dual of H(D).     

Non-closed isometry-invariant geodesics

Let c be a non-closed and bounded geodesic in a complete Riemannian manifold M. Assume that c is invariant under an isometry A of M and that c is not contained in the set of fixed points of A. We prove that, for some \({k\ge 2}\), the geodesic flow line ? corresponding to c is dense in a k-dimensional torus N embedded in TM. In particular, every geodesic with initial vector in N is A-invariant.     

On Galvin’s theorem for compact Hausdorff right-topological semigroups with dense topological centers

We generalize an important theorem of Fred Galvin from the Stone-Cˇech compactification βT of any discrete semigroup T to any compact Hausdorff right-topological semigroup with a dense topological center;and then apply it to Ellis' semigroups to prove that a point is distal if and only if it is IP*-recurrent, for any semiflow(T, X) with arbitrary compact Hausdorff phase space X not necessarily metrizable and with arbitrary phase semigroup T not necessarily cancelable.     

Separation Theorems for Group Invariant Polynomials

We study the existence of separation theorems by polynomials that are invariant under a group action. We show that if G is a finite subgroup of \(\textit{GL}(n,{\mathbb {C}})\), K is a set in \({\mathbb {C}}^{n}\) that is invariant under the action of G and z is a point in \({\mathbb {C}}^{n}\setminus K\) that can be separated from K by a polynomial Q, then z can be separated from K by a G-invariant polynomial P. Furthermore, if Q is homogeneous then P can be chosen to be homogeneous. As a particular case, if K is a symmetric polynomially convex compact set in \({\mathbb {C}}^{n}\) and \(z\notin K\) then there exists a symmetric polynomial that separates z and K.     

Indestructibility and destructible measurable cardinals

Say that \({\kappa}\)’s measurability is destructible if there exists a < \({\kappa}\)-closed forcing adding a new subset of \({\kappa}\) which destroys \({\kappa}\)’s measurability. For any δ, let λ_δ =_df The least beth fixed point above δ. Suppose that \({\kappa}\) is indestructibly supercompact and there is a measurable cardinal λ > \({\kappa}\). It then follows that \({A_{1} = \{\delta < \kappa \mid \delta}\) is measurable, δ is not a limit of measurable cardinals, δ is not δ⁺ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below λ_δ} is unbounded in \({\kappa}\). On the other hand, under the same hypotheses, \({A_{2} = \{\delta < \kappa \mid \delta}\) is measurable, δ is not a limit of measurable cardinals, δ is not δ⁺ strongly compact, and δ′s measurability is indestructible when forcing with either Add(δ, 1) or Add(δ, δ⁺)} is unbounded in \({\kappa}\) as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either \({A_{1} = \emptyset}\) or \({A_{2} = \emptyset}\). In each of these models, both of which have restricted large cardinal structures above \({\kappa}\), every measurable cardinal δ which is not a limit of measurable cardinals is δ⁺ strongly compact, and there is an indestructibly supercompact cardinal \({\kappa}\). In the model in which \({A_{1} = \emptyset}\), every measurable cardinal δ which is not a limit of measurable cardinals is <λ_δ strongly compact and has its <λ_δ strong compactness (and hence also its measurability) indestructible when forcing with δ-directed closed partial orderings having rank below λ_δ. The choice of the least beth fixed point above δ is arbitrary, and other values of λ_δ are also possible.     

Approximate Solutions of Variational Inequalities on Sets of Common Fixed Points of a One-Parameter Semigroup of Nonexpansive Mappings

Let \(\mathcal{T}\) be a one-parameter semigroup of nonexpansive mappings on a nonempty closed convex subset C of a strictly convex and reflexive Banach space X. Suppose additionally that X has a uniformly Gâteaux differentiable norm, C has normal structure, and \(\mathcal{T}\) has a common fixed point. Then it is proved that, under appropriate conditions on nonexpansive semigroups and iterative parameters, the approximate solutions obtained by the implicit and explicit viscosity iterative processes converge strongly to the same common fixed point of \(\mathcal{T}\), which is a solution of a certain variational inequality.     

An extendability condition for bilipschitz functions

We give a new definition of λ-relatively connected set, some generalization of a uniformly perfect set. This definition is equivalent to the old definition for large λ but makes it possible to obtain stable properties for small λ. We prove the λ-relative connectedness of Cantor sets for corresponding λ. The main result is as follows: A ? ? admits the extension of all M-bilipschitz functions f: A → ? to M-bilipschitz functions F: ? → ? if and only if A is λ-relatively connected. We give exact estimates of the dependence of M and λ.     

On Hyperbolic Metric and Invariant Beltrami Differentials for Rational Maps

Given a rational map R, we consider the complement of the postcritical set \(S_R\). In this paper we discuss the existence of invariant Beltrami differentials supported on an R invariant subset X of \(S_R\). Under some geometrical restrictions on X, we show the absence of invariant Beltrami differentials with support intersecting X. In particular, we show that if X has finite hyperbolic area, then X cannot support invariant Beltrami differentials except in the case where R is a Lattès map.     

Non-associative Ore extensions

We introduce non-associative Ore extensions, S = R[X; σ, δ], for any nonassociative unital ring R and any additive maps σ, δ: R → R satisfying σ(1) = 1 and δ(1) = 0. In the special case when δ is either left or right R _δ -linear, where R _δ = ker(δ), and R is δ-simple, i.e. {0} and R are the only δ-invariant ideals of R, we determine the ideal structure of the nonassociative differential polynomial ring D = R[X; id _R , δ]. Namely, in that case, we show that all non-zero ideals of D are generated by monic polynomials in the center Z(D) of D. We also show that Z( _D ) = R _δ [p] for a monic p ∈ R _δ [X], unique up to addition of elements from Z(R) _δ . Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of D to show that D is simple if and only if R is δ-simple and Z(D) equals the field R _δ ∩ Z(R). This provides us with a non-associative generalization of a result by Öinert, Richter and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of D in the cases when the characteristic of the field R _δ ∩ Z(R) is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces.     

On the <Emphasis Type="Italic">σ</Emphasis>-countable compactness of spaces of continuous functions with the set-open topology

For a Tychonoff space X, we obtain a criterion of the σ-countable compactness of the space of continuous functions C(X) with the set-open topology. In particular, for the class of extremally disconnected spaces X, we prove that the space C _λ(X) is σ-countably compact if and only if X is a pseudocompact space, the set X(P) of all P-points of the space X is dense in X, and the family λ consists of finite subsets of the set X(P).     

Skew inverse power series rings over a ring with projective socle

A ring R is called a right PS-ring if its socle, Soc(R _R ), is projective. Nicholson and Watters have shown that if R is a right PS-ring, then so are the polynomial ring R[x] and power series ring R[[x]]. In this paper, it is proved that, under suitable conditions, if R has a (flat) projective socle, then so does the skew inverse power series ring R[[x ^?1; α, δ]] and the skew polynomial ring R[x; α, δ], where R is an associative ring equipped with an automorphism α and an α-derivation δ. Our results extend and unify many existing results. Examples to illustrate and delimit the theory are provided.