Couplages croissants pour les systèmes de particles interactives

Classical stochastic comparison results for spin systems are generalized to more complex interacting particle systems. The state space of each site is a finite partially ordered set and several sites may simultaneously change status. Two ways of obtaining comparison conditions are considered. The first one consists in adapting to interacting particle systems a result by Massey for Markov processes on countable spaces. The second is based on the explicit construction of Markov couplings. In particular, a generalization of the Vasershtein coupling for spin systems is used.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Natural dualities for three classes of relational structures

Motivated by the work of Hofmann [14] and Davey [7] on dualities for structures, we will construct natural dualities for the classes of quasi-ordered sets, equivalence-relationed sets, and reflexive (undirected) graphs. We describe the dual structures by giving finite sets of quasi-equations that axiomatise the dual categories. We also show that there is a natural connection between the duality we construct for finite quasi-ordered sets and Birkhoff’s representation theorem for finite ordered sets [2], and between the dualities constructed for quasi-ordered sets and equivalence-relationed sets.     

Strong stationary duality for M?bius monotone Markov chains

For Markov chains with a finite, partially ordered state space, we show strong stationary duality under the condition of M?bius monotonicity of the chain. We give examples of dual chains in this context which have no downwards transitions. We illustrate general theory by an analysis of nonsymmetric random walks on the cube with an interpretation for unreliable networks of queues.     

Generalized Gambler’s Ruin Problem: Explicit Formulas via Siegmund Duality

We give explicit formulas for ruin probabilities in a multidimensional Generalized Gambler’s ruin problem. The generalization is best interpreted as a game of one player against d other players, allowing arbitrary winning and losing probabilities (including ties) depending on the current fortune with particular player. It includes many previous other generalizations as special cases. Instead of usually utilized first-step-like analysis we involve dualities between Markov chains. We give general procedure for solving ruin-like problems utilizing Siegmund duality in Markov chains for partially ordered state spaces studied recently in context of Möbius monotonicity.     

Topological duality and lattice expansions,I: A topological construction of canonical extensions

The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the topological duality from (a) provides a construction of canonical extensions of bounded lattices. In previously known dualities for semilattices and bounded lattices, the dual spaces are compact 0-dimensional spaces with additional algebraic structure. For example, semilattices are dual to 0-dimensional compact semilattices. Here we establish dual categories in which the spaces are characterized purely in topological terms, with no additional algebraic structure. Thus the results can be seen as generalizing Stone’s duality for distributive lattices rather than Priestley’s. The paper is the first of two parts. The main objective of the sequel is to establish a characterization of lattice expansions, i.e., lattices with additional operations, in the topological setting built in this paper.     

Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Lattice subordinations and Priestley duality

There is a well-known correspondence between Heyting algebras and S4-algebras. Our aim is to extend this correspondence to distributive lattices by defining analogues of S4-algebras for them. For this purpose, we introduce binary relations on Boolean algebras that resemble de Vries proximities. We term such binary relations lattice subordinations. We show that the correspondence between Heyting algebras and S4-algebras extends naturally to distributive lattices and Boolean algebras with a lattice subordination. We also introduce Heyting lattice subordinations and prove that the category of Boolean algebras with a Heyting lattice subordination is isomorphic to the category of S4-algebras, thus obtaining the correspondence between Heyting algebras and S4-algebras as a particular case of our approach. In addition, we provide a uniform approach to dualities for these classes of algebras. Namely, we generalize Priestley spaces to quasi-ordered Priestley spaces and show that lattice subordinations on a Boolean algebra B correspond to Priestley quasiorders on the Stone space of B. This results in a duality between the category of Boolean algebras with a lattice subordination and the category of quasi-ordered Priestley spaces that restricts to Priestley duality for distributive lattices. We also prove that Heyting lattice subordinations on B correspond to Esakia quasi-orders on the Stone space of B. This yields Esakia duality for S4-algebras, which restricts to Esakia duality for Heyting algebras.     

Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras

In this work we give a duality for many classes of lattice ordered algebras, as Integral Commutative Distributive Residuated Lattices MTL-algebras, IMTL-algebras and MV-algebras (see page 604). These dualities are obtained by restricting the duality given by the second author for DLFI-algebras by means of Priestley spaces with ternary relations (see [2]). We translate the equations that define some known subvarieties of DLFI-algebras to relational conditions in the associated DLFI-space. The authors are supported by the Agentinian Consejo de Investigaciones Cientificas y Tecnicas (CONICET).     

Chu duality theory and coalgebraic representation of quantum symmetries

Building upon Vaughan Pratt's work on applications of Chu space theory to Stone duality, we develop a general theory of categorical dualities on the basis of Chu space theory and closure conditions, which encompasses a variety of dualities for topological spaces, convex spaces, closure spaces, and measurable spaces (some of which are new duality results on their own). It works as a general method to generate analogues of categorical dualities between frames (locales) and topological spaces beyond topology, e.g., for measurable spaces, convex spaces, and closure spaces. After establishing the Chu duality theory, we apply the state-observable duality between quantum lattices and closure spaces to coalgebraic representations of quantum symmetries, showing that the quantum symmetry groupoid fully embeds into a purely coalgebraic category, i.e., the category of Born coalgebras, which refines, through the quantum duality that follows from Chu duality theory, Samson Abramsky's fibred coalgebraic representations of quantum symmetries (which, in turn, builds upon his Chu representations of symmetries).     

On the Pathwise Comparison of Jump Processes Driven by Stochastic Intensities

In this paper we present a pathwise comparison theorem for jump processes governed by stochastic intensities and taking values in an arbitrary partially ordered Polish space. This generalizes recent results for the real-valued case. The proof given here is based on competing risk arguments rather than on thinning and allows to avoid additional domination conditions. For real valued processes we obtain an almost sure pathwise representation of the comparison result based on an i.i.d. sequence of (0, 1)-uniformly distributed random variables. For Markov chains our conditions coincide with the classical comparison conditions.     

Using coloured ordered sets to study finite-level full dualities

We consider all the full dualities for the class of finite bounded distributive lattices that are based on the three-element chain 3. Under a natural quasi-order, these full dualities form a doubly algebraic lattice ${\mathcal{F}_{\underline{3}}}$ . Using Priestley duality, we establish a correspondence between the elements of ${\mathcal{F}_{\underline{3}}}$ and special enriched ordered sets, which we call ‘coloured ordered sets’. We can then use combinatorial arguments to show that the lattice ${\mathcal{F}_{\underline{3}}}$ has cardinality ${2^{\aleph_{0}}}$ and is non-modular. This is the first investigation into the structure of an infinite lattice of finite-level full dualities.     

Dual nonlinear programming problems in partially ordered Banach spaces

Summary The concept of duality plays an important role in mathematical programming and has been studied extensively in a finite dimensional Eucledian space, (see e.g. [13, 4, 6, 8]). More recently various dual problems with functionals as objective functions have been studied in infinite dimensional vector spaces [5, 7, 1, 10, 12].In this note we consider a nonlinear minimization problem in a partially ordered Banach space. It is assumed that the objective function of this problem is given by a (nonlinear) operator and that its feasible domain is defined by a system of (nonlinear) operator inequalities. In analogy to the finite dimensional case we associate with this minimization problem a dual maximization problem which is defined in the Cartesian product of certain Banach spaces. It is shown that under suitable assumptions the main results of the finite dimensional duality theory can be extended to this general case. This extension is based on optimality conditions obtained in [11].     

Strong Stationary Duality for Diffusion Processes

We develop the theory of strong stationary duality for diffusion processes on compact intervals. We analytically derive the generator and boundary behavior of the dual process and recover a central tenet of the classical Markov chain theory in the diffusion setting by linking the separation distance in the primal diffusion to the absorption time in the dual diffusion. We also exhibit our strong stationary dual as the natural limiting process of the strong stationary dual sequence of a well-chosen sequence of approximating birth-and-death Markov chains, allowing for simultaneous numerical simulations of our primal and dual diffusion processes. Lastly, we show how our new definition of diffusion duality allows the spectral theory of cutoff phenomena to extend naturally from birth-and-death Markov chains to the present diffusion context.     

A Spectral-style Duality for Distributive Posets

In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ₁-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.     

Group duality with the topology of precompact convergence

The Pontryagin-van Kampen (P-vK) duality, defined for topological Abelian groups, is given in terms of the compact-open topology. Polar reflexive spaces, introduced by Köthe, are those locally convex spaces satisfying duality when the dual space is equipped with the precompact-open topology. It is known that the additive groups of polar reflexive spaces satisfy P-vK duality. In this note we consider the duality of topological Abelian groups when the topology of the dual is the precompact-open topology. We characterize the precompact reflexive groups, i.e., topological groups satisfying the group duality defined in terms of the precompact-open topology. As a consequence, we obtain a new characterization of polar reflexive spaces. We also present an example of a space which satisfies P-vK duality and is not polar reflexive. Some of our results respond to questions appearing in the literature.     

Poisson process Fock space representation, chaos expansion and covariance inequalities

We consider a Poisson process ?? on an arbitrary measurable space with an arbitrary sigma-finite intensity measure. We establish an explicit Fock space representation of square integrable functions of ??. As a consequence we identify explicitly, in terms of iterated difference operators, the integrands in the Wiener?CIt? chaos expansion. We apply these results to extend well-known variance inequalities for homogeneous Poisson processes on the line to the general Poisson case. The Poincaré inequality is a special case. Further applications are covariance identities for Poisson processes on (strictly) ordered spaces and Harris?CFKG-inequalities for monotone functions of ??.     

Esakia Style Duality for Implicative Semilattices

We develop a new duality for implicative semilattices, generalizing Esakia duality for Heyting algebras. Our duality is a restricted version of generalized Priestley duality for distributive semilattices, and provides an improvement of Vrancken-Mawet and Celani dualities. We also show that Heyting algebra homomorphisms can be characterized by means of special partial functions between Esakia spaces. On the one hand, this yields a new duality for Heyting algebras, which is an alternative to Esakia duality. On the other hand, it provides a natural generalization of Köhler’s partial functions between finite posets to the infinite case.     

New-from-old full dualities via axiomatisation

We study different full dualities based on the same finite algebra. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too. We use this theorem to obtain a better understanding of several important examples from the theory of natural dualities. We also clarify what it means for two full dualities based on the same finite algebra to be different. Throughout the paper, a fundamental role is played by the universal Horn theory of the dual categories.