# Does the exact pair phenomenon for partial orders occur in your area of mathematics?

Suppose that I have a partial order P and an increasing sequence $a_0< a_1<a_2<\cdots$ of elements of $P$. A pair of elements (b,c) from P is said to be an exact pair for this sequence, if

• Both $b$ and $c$ are upper bounds for the sequence, so that $a_n<b$ and $a_n<c$ for every $n$, and
• Whenever $d\leq b$ and $d\leq c$ then $d\leq a_n$ for some $n$.
b     c
:
:
:
a_2
a_1
a_0

More generally, an ideal $I$ in $P$ admits an exact pair $(b,c)$, if $I=\{\ a \mid a< b\text{ and } a<c\ \}$.

Note that if a strictly increasing sequence has an exact pair, then the sequence cannot have a least upper bound, since such a bound would be below both b and c and therefore have to be below some $a_n$, and consequently not an upper bound of the sequence after all. Note also that if $b$ and $c$ form an exact pair for a strictly increasing sequence, then there can be no greatest lower bound for $\{b,c\}$, and so orders with such exact pairs are not lattices.

The exact pair property arises in computability theory, because in the hierarchy of Turing degrees, every increasing sequence admits an exact pair. This is one way of seeing that the set of Turing degrees is not a lattice. More generally, every countable ideal in the Turing degrees has an exact pair, and in the case of principal ideals, this implies that every Turing degree is the greatest lower bound of a pair of incomparable degrees. It also arises for certain hierarchies of complexity theory.

The exact pair property is so beautifully structural, serving as an alternative to completeness, and for this reason I have always wondered whether it could have applications in other contexts, but I have only ever heard of it in connection with the computability degrees. Therefore,

My question is: Does the exact pair phenomenon arise elsewhere in mathematics? Are there other natural orders studied outside logic that have the exact pair property?

Perhaps other natural hierarchies in mathematics exhibit the exact pair property? Or perhaps they do but this remains undiscovered...

-
I don't have much to say here, except that the poset $P = \mathbb{N} \cup \lbrace\infty_1,\infty_2\rbrace$ with the usual ordering on the natural numbers and the additional stipulations $n \leq \infty_1$, $n \leq \infty_2$ often serves as a counter-example in domain theory. –  Andrej Bauer Apr 21 '10 at 4:40
I understand that the theorem is due to Spector (1956) On degrees of recursive unsolvability, Annals of Mathematics 64:581-592. It's a very nice theorem: Shore stresses its use in eliminating second-order quantification. –  Charles Stewart Apr 21 '10 at 9:30
Thanks for the reference, Charles. –  Joel David Hamkins Apr 21 '10 at 10:45

Interesting property. You can create such a structure over the closure of the graph of $\sin(\frac{1}{x})$ for $x\in [-1,0)$. Partially order the points by the $x$ coordinate (of the graph). You then have a whole segment's worth of exact pairs over $0$.

One can probably generalize that construction to apply to landing rays (of the uniformizing map for the basin at infinity) of a non-locally connected polynomial Julia set for a ray which 'tries' to land on the critical orbit.

-
Thanks for the example, Jacques. I think that one could make many similar examples. What I am looking for ideally are examples akin to the Turing degrees, that is, large intensely studied hierarchies that have the properrty that every increasing sequence admits an exact pair. –  Joel David Hamkins Apr 23 '10 at 3:25

The mathematicians' idiom for a wide class of situations resembling this one is "blow-up", inspired by the term from algebraic geometry. It is used both as noun (a blow up of ...) and verb (to blow up ...).

It means to start from one structure and blow up (inflate) part of it, forming a larger or more complicated structure, keeping other parts the same.

For this example of "exact pairs", one can construct the partial order $P$ by starting with linear order consisting of the chain $a_i$ and its least upper bound $L$, then blowing up $L$ into a pair of points $b,c$. Identifying $b$ and $c$ is a quotient of posets that reverses the blow up (ie, restores $L$ in its original state of being a least upper bound to the $a_i$) and this is equivalent to the definition of exact pair. It is also clear from this observation how to define exact triples, or splittings of several least upper bounds.

So outside of recursion theory, I think math people would commonly describe such a diagram as a (two-fold) splitting or blowup of a point in a poset. I don't know of any compelling examples where this construction occurs but certainly the idea would feel very familiar to many if phrased in the language of blow-ups.

EDIT: something close to what Joel is asking about is the theory of R-trees (R as in "real numbers"). The minimal example of a dense order where any chain has a least exact-pair of upper bounds is some sort of infinite trivalent R-tree.

-
Thanks for your answer. In the Turing degrees, every increasing sequence has an exact pair, but they are never unique, and indeed I think that every upper bound $b$ forms an exact pair (b,c) with some c. Further, there are upper bounds below $b$, just not below both b and c. So if one were to identify all such pairs in the Turing degrees, the resulting partial order would not have the least-upper-bound property, and may very well continue to exhibit the exact pair property. So I don't really follow your proposal, unless you are just talking about one sequence and one exact pair for it. –  Joel David Hamkins Jun 17 '10 at 12:23