The Involutive Quantaloid of Completely Distributive Lattices

Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic ⋆-autonomous) quantale if and only if L is a completely distributive lattice. If this is the case, then the dual tensor operation corresponds, via Raney's transforms, to composition in the (dual) quantale of meet-continuous endo-functions of L. Let sLatt be the category of sup-lattices and join-continuous functions and let cdLatt be the full subcategory of sLatt whose objects are the completely distributive lattices. We argue that (i) cdLatt is itself an involutive quantaloid, and therefore it is the largest full-subcategory of sLatt with this property; (ii) cdLatt is closed under the monoidal operations of sLatt and, consequently, if Q(L) is involutive, then Q(L) is completely distributive as well

Rough Sets Determined by Quasiorders

In this paper, the ordered set of rough sets determined by a quasiorder relation $R$ is investigated. We prove that this ordered set is a complete, completely distributive lattice. We show that on this lattice can be defined three different kinds of complementation operations, and we describe its completely join-irreducible elements. We also characterize the case in which this lattice is a Stone lattice. Our results generalize some results of J. Pomykala and J. A. Pomykala (1988) and M. Gehrke and E. Walker (1992) in case $R$ is an equivalence.Comment: 18 pages, major revisio

An Ordinal Approach to Risk Measurement

In this short note, we aim at a qualitative framework for modeling multivariate risk. To this extent, we consider completely distributive lattices as underlying universes, and make use of lattice functions to formalize the notion of risk measure. Several properties of risk measures are translated into this general setting, and used to provide axiomatic characterizations. Moreover, a notion of quantile of a lattice-valued random variable is proposed, which is shown to retain several desirable properties of its real-valued counterpart

Second order balance property on Christoffel words

International audienceIn this paper we study the balance matrix that gives the order of balance of any binary word. In addition, we define for Christoffel words a new matrix called second order balance matrix. This matrix gives more information on the balance property of a word that codes the number of occurrences of the letter 1 in successive blocks of the same length for the studied Christoffel word. By taking the maximum of the Second order balance matrix we define the second order of balance and we are able to order the Christoffel words according to these values. Our construction uses extensively the continued fraction associated with the slope of each Christoffel word, and we prove a recursive formula based on fine properties of the Stern-Brocot tree to construct second order matrices. Finally, we show that an infinite path on the Stern-Brocot tree, which minimizes the second order of balance is given by a path associated with the Fibonacci word