A topological characterization of complete distributive lattices

An ordered compact space is a compact topological space X, endowed with a partially ordered relation, whose graph is a closed set of X × X (cf. [4]). An important subclass of these spaces is that of Priestley spaces, characterized by the following property: for every x, y ? X with x ? y there is an increasing clopen set A (i.e. A is closed and open and such that a ? A, a ? z implies that z?A) which separates x from y, i.e., x ? A and y ? A. It is known (cf. [5, 6]) that there is a dual equivalence between the category Ld01 of distributive lattices with least and greatest element and the category P of Priestley spaces.In this paper we shall prove that a lattice L ? Ld01 is complete if and only if the associated Priestley space X verifies the condition: (E0) D ? X, D is increasing and open implies $\text{D}{}^1$ is increasing clopen (where A¹ denotes the least increasing set which includes A).This result generalizes a well-known characterization of complete Boolean algebras in terms of associated Stone spaces (see [2, Ch. III, Section 4, Lemma 1], for instance).We shall also prove that an ordered compact space that fulfils (E0) is necessarily a Priestley space.     

Cancellation for two-dimensional unique factorization domains

We show that if A and B are finitely generated two-dimensional unique factorization domains over an algebraically closed field, then A[x]≅B[x] implies A≅B. The proof is an application of an algebraic technique involving the AK invariant which has previously been used to obtain other cancellation theorems.     

Hyperbolicity of the invariant sets for the real polynomial maps

In this paper, the conditions under which there exits a uniformly hyperbolic invariant set for the map f_a(x) = ag(x) are studied, where a is a real parameter, and g(x) is a monic real-coefficient polynomial. It is shown that for certain parameter regions, the map has a uniformly hyperbolic invariant set on which it is topologically conjugate to the one-sided subshift of finite type for A, where ∣a∣ is sufficiently large, A is an eventually positive transition matrix, and g has at least two different real zeros or only one real zero. Further, it is proved that there exists an invariant set on which the map is topologically semiconjugate to the one-sided subshift of finite type for a particular irreducible transition matrix under certain conditions, and one type of these maps is not hyperbolic on the invariant set.     

Invariant Subspaces for Commuting Operators on a Real Banach Space

It is proved that the commutative algebra A of operators on a reflexive real Banach space has an invariant subspace if each operator T ∈ A satisfies the condition

$${\left\| {1 - \varepsilon {T^2}} \right\|_e} \leqslant 1 + o\left( \varepsilon \right)as\varepsilon \searrow 0,$$

where ║ · ║ _e denotes the essential norm. This implies the existence of an invariant subspace for any commutative family of essentially self-adjoint operators on a real Hilbert space.

     

Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition

In this paper, we study topological dynamics of high-dimensional systems which are perturbed from a continuous map on Rm×Rk of the form (f(x),g(x,y)). Assume that f has covering relations determined by a transition matrix A. If g is locally trapping, we show that any small C⁰ perturbed system has a compact positively invariant set restricted to which the system is topologically semi-conjugate to the one-sided subshift of finite type induced by A. In addition, if the covering relations satisfy a strong Liapunov condition and g is a contraction, we show that any small C¹ perturbed homeomorphism has a compact invariant set restricted to which the system is topologically conjugate to the two-sided subshift of finite type induced by A. Some other results about multidimensional perturbations of f are also obtained. The strong Liapunov condition for covering relations is adapted with modification from the cone condition in Zgliczyński (2009) [11]. Our results extend those in Juang et al. (2008) [1], Li et al. (2008) [2], Li and Malkin (2006) [3], Misiurewicz and Zgliczyński (2001) [4] by considering a larger class of maps f and their multidimensional perturbations, and by concluding conjugacy rather than entropy. Our results are applicable to both the logistic and Hénon families.     

Robust permanence for interacting structured populations

The dynamics of interacting structured populations can be modeled by where xi∈Rni, x=(x₁,…,xk), and Ai(x) are matrices with non-negative off-diagonal entries. These models are permanent if there exists a positive global attractor and are robustly permanent if they remain permanent following perturbations of Ai(x). Necessary and sufficient conditions for robust permanence are derived using dominant Lyapunov exponents λi(μ) of the Ai(x) with respect to invariant measures μ. The necessary condition requires maxiλi(μ)>0 for all ergodic measures with support in the boundary of the non-negative cone. The sufficient condition requires that the boundary admits a Morse decomposition such that maxiλi(μ)>0 for all invariant measures μ supported by a component of the Morse decomposition. When the Morse components are Axiom A, uniquely ergodic, or support all but one population, the necessary and sufficient conditions are equivalent. Applications to spatial ecology, epidemiology, and gene networks are given.     

On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings

In this paper we study the multigraded Hilbert and Poincaré-Betti series of A=S/a, where S is the ring of polynomials in n indeterminates divided by the monomial ideal a. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case where the Taylor resolution is minimal. We introduce a conjecture about the minimal A-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves and, in addition, gives a formula for the Hilbert series. Using Algebraic Discrete Morse theory, we prove that the homology of the Koszul complex of A with respect to x₁,…,x_n is isomorphic to a graded commutative ring of polynomials over certain sets in the Taylor resolution divided by an ideal r of relations. This leads to a proof of our conjecture for some classes of algebras A. We also give an approach for the proof of our conjecture via Algebraic Discrete Morse theory in the general case.The conjecture implies that A is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of a implies Golodness for A.     

Absolute continuity of vector-valued self-affine measures

This paper is devoted to the absolute continuity of (scalar-valued or vector-valued) self-affine measures and their properties on the boundary of an invariant set. We first extend the definition of WSC to self-affine IFS, and then obtain a necessary and sufficient condition for the vector-valued self-affine measures to be absolutely continuous with respect to the Lebesgue measure. In addition, we prove that, for any IFS and any invariant open set V, the corresponding (scalar-valued or vector-valued) invariant measure is supported either in V or in ∂V.     

A substitute for Hall's theorem for families with infinite sets

A sufficient condition for the existence of a system of distinct representatives for a family S is that x?A?S implies the number of elements of A is not smaller than the number of sets in S to which x belongs.     

Riccati differential inequalities and dichotomies for linear systems

A general notion of dichotomy for linear differential systems is investigated. It is well known that a system x′=A(t)x in which the matrix A(t) is bounded and diagonally dominant by rows or columns has an invariant splitting of its solution space into two subspaces each uniformly asymptotically stable, one for increasing time and the other for decreasing time. Similar results are obtained here where the concept of diagonal dominance is weakened using Riccati inequalities.     

Perfect dexagon triple systems with given subsystems

The graph consisting of the six triples (or triangles) {a,b,c}, {c,d,e}, {e,f,a}, {x,a,y}, {x,c,z}, {x,e,w}, where a,b,c,d,e,f,x,y,z and w are distinct, is called a dexagon triple. In this case the six edges {a,c}, {c,e}, {e,a}, {x,a}, {x,c}, and {x,e} form a copy of K₄ and are called the inside edges of the dexagon triple. A dexagon triple system of order v is a pair (X,D), where D is a collection of edge disjoint dexagon triples which partitions the edge set of 3K_v. A dexagon triple system is said to be perfect if the inside copies of K₄ form a block design. In this note, we investigate the existence of a dexagon triple system with a subsystem. We show that the necessary conditions for the existence of a dexagon triple system of order v with a sub-dexagon triple system of order u are also sufficient.     

On the number of divisors of x2 + x + A

Let A be a positive or negative rational integer such that integers in the field of √1 ? 4A have unique prime factorization. An elementary criterion will be obtained for x² + x + A to be a prime number, where x is a positive integer. The criterion implies that for positive A the polynomial x² + x + A is prime for x = 0, 1,…, A ? 2.     

Convexity properties of harmonic measures

It is shown that any convex combination of harmonic measures , where U₁,…,Uk are relatively compact open neighborhoods of a given point x∈Rd, d?2, can be approximated by a sequence of harmonic measures such that each Wn is an open neighborhood of x in U₁∪?∪Uk.This answers a question raised in connection with Jensen measures. Moreover, it implies that, for every Green domain X containing x, the extremal representing measures for x with respect to the convex cone of potentials on X (these measures are obtained by balayage of the Dirac measure at x on Borel subsets of X) are dense in the compact convex set of all representing measures.This is achieved approximating balayage on open sets by balayage on unions of balls which are pairwise disjoint and very small with respect to their mutual distances and then reducing the size of these balls in a suitable manner.These results, which are presented simultaneously for the classical potential theory and for the theory of Riesz potentials, can be sharpened if the complements or the boundaries of the open sets have a capacity doubling property. The methods developed for this purpose (continuous balayage on increasing families of compact sets, approximation using scattered sets with small capacity) finally lead to answers even in a very general potential-theoretic setting covering a wide class of second order partial differential operators (uniformly elliptic or in divergence form, or sums of squares of vector fields satisfying Hörmander's condition, for example, sub-Laplacians on stratified Lie algebras).     

Observability of Nonlinear Systems

We consider the observability of systems of the form = Ax +Nx, y = Fx, where A is a linear operator and N and F are nonlinear.We show that if the system is linearized about an equilibriumpoint x_e and the linearized system is continuously initiallyobservable, then the nonlinear system is continuously initiallyobservable in some neighbourhood of x_e. We then look at conditionsunder which solutions of the nonlinear system can be extendedfor all time and consider the problem of stabilizing the systemby feedback controls such that the solutions are eventuallyin the observability neighbourhood of x_e. Finally, we applythese ideas to two systems: a wave equation and a diffusionequation with nonlinear perturbations and nonlinear observations.     

Max-algebraic attraction cones of nonnegative irreducible matrices

It is known that the max-algebraic powers A^r of a nonnegative irreducible matrix are ultimately periodic. This leads to the concept of attraction cone Attr(A, t), by which we mean the solution set of a two-sided system λ^t(A)A^r⊗x=A^r+t⊗x, where r is any integer after the periodicity transient T(A) and λ(A) is the maximum cycle geometric mean of A. A question which this paper answers, is how to describe Attr(A,t) by a concise system of equations without knowing T(A). This study requires knowledge of certain structures and symmetries of periodic max-algebraic powers, which are also described. We also consider extremals of attraction cones in a special case, and address the complexity of computing the coefficients of the system which describes attraction cone.     

Heat flow and Hardy inequality in complete Riemannian manifolds with singular initial conditions

Upper bounds are obtained for the heat content of an open set D with singular initial condition f on a complete Riemannian manifold, provided (i) the Dirichlet-Laplace-Beltrami operator satisfies a strong Hardy inequality, and (ii) f satisfies an integrability condition. Precise asymptotic results for the heat content are obtained for an open bounded and connected set D in Euclidean space with C² boundary, and with initial condition f(x)=δ(x)^−α,0<α<2, where δ(x) is the distance from x to the boundary of D.     

Positive Lyapunov exponent for generic one-parameter families of unimodal maps

Letf _{a a∈A} be a C² one-parameter family of non-flat unimodal maps of an interval into itself anda* a parameter value such that

1. f_a* satisfies the Misiurewicz Condition,
2. f_a* satisfies a backward Collet-Eckmann-like condition,
3. the partial derivatives with respect tox anda of f _a ⁿ (x), respectively at the critical value and ata*, are comparable for largen.

Thena* is a Lebesgue density point of the set of parameter valuesa such that the Lyapunov exponent of f_a at the critical value is positive, and f_a admits an invariant probability measure absolutely continuous with respect to the Lebesgue measure. We also show that given f_a* satisfying (a) and (b), condition (c) is satisfied for an open dense set of one-parameter families passing through f_a*.     

A group of integral points in a matrix parallelepiped

Let A be an n×n integral matrix with determinant D>0, and let P(A) be the n-parallelepiped determined by the columns {A_i}ⁿ_i=1 of A,

$\text{P(A)=}\text{∑}\text{i=1}\text{n}\text{x}{}_{\mathrm{i}}\text{A}{}_{\mathrm{i}}\text{0<x}{}_{\mathrm{i}}\text{<1}$

Let L be the set of integral vectors in P(A), and let G(A) be the subset of L consisting of vectors whose coefficients x_i satisfy 0?x_i<1. We show that G(A), equipped with addition modulo 1 on the coefficients x_i, is an Abelian group of order D, whose invariant factors are the invariant factors of the integral matrix A. We give a formula for |L|, and show that |L| is not a similarity invariant.     

Voter model in a random environment in ? d

We consider the voter model with flip rates determined by {?? _e , e ?? E _d }, where E _d is the set of all non-oriented nearest-neighbour edges in the Euclidean lattice ? ^d . Suppose that {?? _e , e ?? E _d } are independent and identically distributed (i.i.d.) random variables satisfying ?? _e ? 1. We prove that when d = 2, almost surely for all random environments, the voter model has only two extremal invariant measures: ?? ₀ and ?? ₁.