d097e1d262e81b23.tex
1: \begin{abstract}
2: 
3: In order theory, a rank function measures the vertical ``level'' of a
4: poset element. It is an integer-valued function on a poset which increments
5: with the covering relation, and is
6: only available on a graded poset. Defining a vertical measure to an
7: arbitrary finite poset can be accomplished by extending a rank
8: function to be interval-valued \cite{JoCHoE14}. This establishes
9: an order homomorphism from a base poset to a poset over real
10: intervals, and a standard (canonical) specific interval rank function
11: is available as an extreme case. Various ordering relations are available over
12: intervals, and we begin in this paper by considering conjugate orders
13: which ``partition'' the space of pairwise comparisons of order
14: elements. For us, these elements are real intervals, and we consider
15: the weak and subset interval orders as (near) conjugates. It is also
16: natural to ask about interval rank functions applied reflexively on whatever
17: poset of intervals we have chosen, and thereby a general iterative
18: strategy for interval ranks. We explore the convergence properties of
19: standard and conjugate interval ranks, and conclude with a discussion
20: of the experimental mathematics needed to support this work.
21: 
22: \end{abstract}
23: