Related papers: The quantale of order-preserving maps
In this paper, we consider chaotic dynamics and variational structures of area-preserving maps. There is a lot of study on the dynamics of their maps and the works of Poincare and Birkhoff are well-known. To consider variational structures…
It is well known that a countable group admits a left-invariant total order if and only if it acts faithfully on R by orientation preserving homeomorphisms. Such group actions are special cases of group actions on simply connected…
This work characterizes the general form of a bijective linear map $\Psi:\mathscr{M}_n(\mathbb{C}) \to \mathscr{M}_n(\mathbb{C})$ such that $[\Psi(A_1),~\Psi(A_2)]=D_2$ whenever $[A_1,~A_2]=D_1$ where $D_1~\text{and}~D_2$ are fixed…
Exchange interaction tends to favor collinear or coplanar magnetic orders in rotationally invariant spin systems. Indeed, such magnetic structures are usually selected by thermal or quantum fluctuations in highly frustrated magnets. Here we…
The ability to generate multiple plans is central to using planning in real-life applications. Top-quality planners generate sets of such top-cost plans, allowing flexibility in determining equivalent ones. In terms of the order between…
Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…
Unifying approaches by amongst others Archimedes, Kepler, Goldberg, Caspar and Klug, Coxeter, and Conway, and extending on a previous formalisation of the concept of local symmetry preserving (lsp) operations, we introduce a formal…
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear…
The aim of this paper is to show that if an order preserving bijective transformation of the Hilbert space effect algebra also preserves the probability with respect to a fixed pair of mixed states, then it is an ortho-order automorphism. A…
We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most…
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we…
Composition and lattice join (transitive closure of a union) of equivalence relations are operations taking pairs of decidable equivalence relations to relations that are semi-decidable, but not necessarily decidable. This article addresses…
In this paper, we investigate Li-Yorke composition operators and some of their variations on Lorentz spaces. Further, we also study expansive composition operators on these spaces. The work of the paper is essentially based on the work in…
In this paper, we consider the problem of order preservation under addition and multiplication operators over the vector space of univariate real-valued random variables. Consistent with the case of usual order over the real numbers-as…
We introduce a composition of quantum states of a bipartite system which is based on the reshuffling of density matrices. This non-Abelian product is associative and stems from the composition of quantum maps acting on a simple quantum…
Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally…
This paper examines operad structures derived from poset matrices by formulating a set of new construction rules for poset matrices. In this direction, eleven different partial composition operations will be introduced as the basis for the…
A long-standing question is what invariant sets can be shared by two maps acting on the same space. A similar question stands for invariant measures. A particular interesting case are expanding Markov maps of the circle. If the two involved…
There is one-to-one correspondence between quadratic operators (mapping $\mathbb R^m$ to itself) and cubic matrices. It is known that any quadratic operator corresponding to a stochastic (in a fixed sense) cubic matrix preserves the…
In this paper we give a construction for a linear quotient ordering of a class of products of two ideals which have linear quotients. We apply this construction to give a class of modified anticycle graphs whose square and cube have linear…