- Research
- Open Access
- Published:

# Near-medians that avoid the corners; a combinatorial probability approach

*BMC Genomics*
**volume 15**, Article number: S1 (2014)

## Abstract

### Background

The breakpoint median for a set of *k ≥* 3 random genomes tends to approach (any) one of these genomes ("corners") as genome length increases, although there are diminishing proportion of medians equidistant from all *k* ("medians in the middle"). Algorithms are likely to miss the latter, and this has consequences for the general case where input genomes share some or many gene adjacencies, where the tendency for the median to be closer to one input genome may be an artifact of the corner tendency.

### Results

We present a simple sampling procedure for constructing a "near median" that represents a compromise among *k* random genomes and that has only a slightly greater breakpoint distance to all of them than the median does. We generalize to the realistic case where genomes share varying proportions of gene adjacencies. We present a supplementary sampling scheme that brings the constructed genome even closer to median status.

### Conclusions

Our approach is of particular use in the phylogenetic context where medians are repeatedly calculated at ancestral nodes, and where the corner effect prevents different parts of the phylogeny from communicating with each other.

## Background

The *small phylogeny problem* is a familiar model for evolutionary biology: given a graph theoretical tree *T* with *k ≥* 3 vertices of degree 1 (*terminal, observed* or *present-day* nodes), each associated with a point in some metric space, and *h ≥* 1 vertices of degree 3 or higher (*non-terminal, hypothetical* or *ancestral* nodes), it is required that each of *h* ancestral nodes be associated with some point in the metric space so as to minimize the sum of the distances over all pairs of adjacent vertices in *T*. This is illustrated in Figure 1a. The prototypical small phylogeny problem is the case of *k* = 3 and *h* = 1. This is called the *median problem* and is illustrated in Figure 1b. The minimum sum of the distances between the ancestor and its adjacent vertices is called the *median score*.

The "steinerization" approach to the small phylogeny problem, dating from 1976 in sequence space [1] and from 1997 in gene order space [2], is illustrated in Figure 1c. We decompose *T* into *h* overlapping median problems, each problem focusing on one of the *h* ancestral points and the three or more vertices of *T* that are adjacent to it. Suppose we have a way of solving the median problem. After initializing the ancestral points in *T* randomly or in some other way, the ancestral positions can be improved one at a time. For each ancestral node, we simply apply the median solution to the current positions of its immediate neighbors. At each step the new median is retained only if it has a lower score than the current value. The process is iterated until no further improvement is possible. The output, not necessarily unique and not necessarily optimal, where every ancestor vertex is at the median position of its adjacent vertices, is called a "steinerized" solution for the small phylogeny problem, after the well-known Steiner problem in Euclidean 2-space.

The value of the median as a prototype and as a component step for the construction of gene-order phylogenies has been undermined by simulations that show the median for a set of *k ≥* 3 random input genomes tends, as genome length *n* increases, to coincide with any one of these *k* genomes themselves [3, 5]. The median thus reflects no gene-order information from any of the other *k −* 1 genomes: the "medians in the corner" effect. There are some medians that are "in the middle", containing information drawn from several, or all, the *k* genomes, but these become relatively rare as genome length increases [3]. Because these observations come from simulations followed by application of complex optimization algorithm [4], we can derive no precise analytic solutions about the probabilities of different kinds of median. These observations hold for all kinds of genomes, signed, unsigned, with single or multiple (with a bounded number of chromosomes), circular or linear chromosomes, and for all kinds of genomic distance: e.g., breakpoint distance and double-cut-and-join distance.

How important these findings are, for sets of genomes that have substantial gene order commonalities, is not clear. Even for random genomes, not only do we observe some medians in the middle, but any fixed genome can be shown to be the median, or close to the median, of *k ≥* 3 other genomes that are essentially random with respect to each other.

The corner tendency has serious implications for "small phylogeny" analyses using a steinerization strategy, where each ancestral node in a given unrooted tree is the median of its three neighbours. Here, an ancestral genome is determined by iterating a median algorithm over the tree, starting with arbitrary initial genomes. When medians tend to fall at or near corners, the iteration process cannot effectively transfer relevant genomic commonalities between remote branches of the tree. How can we avoid this pathology in a principled way?

In this paper, we propose a simple initial construction for a genome which includes gene-order information from all the *k* given genomes. These are "near medians" in a well-defined sense, and they approximate true medians as *k* increases, and as the common gene-order information between subsets of the genomes increase. Because the construction is based on a binomial sampling scheme, we can analytically derive quantitative predictions about all the results. A second sampling step, somewhat more complicated, then substantially improves the initial construction.

## Results

### The basic construction

Consider three signed genomes, I, II and III, each consisting of one or more circular chromosomes, containing the same *n* genes and each containing *n* gene adjacencies. Since the genomes are signed, the genes have polarity, from the *−* end to the + end, or from + to *−*. Each adjacency is thus an unordered pair of the 2*n* gene ends, chosen from among (\begin{array}{c}2n\\ 2\end{array}) possibilities. The analysis is essentially the same for linear, circular, unichromosomal or multichromosomal genomes; the effect of allowing a bounded number *>*1 of chromosomes would be *o*(*n*) as would be the differences between circular and linear models. We assume that the genomes are randomly ordered, which means, for all intents and purposes, that they share virtually no adjacencies; the expected number of shared adjacencies is actually 0.5, a constant, even for very large *n*.

Motivated by the search for a median in the middle, we construct a set \mathcal{A} containing *n* adjacencies containing comparable amounts of information from each of genomes I, II and III. As a first step, we wish to select the same number of adjacencies *θn* from each of the three genomes, as in Figure 2a. Obviously, \theta \le \frac{1}{3}. Randomly select *θn* adjacencies from genome I. Turning our attention to genome II, the expected proportion of "two free ends", adjacencies where neither end appears in a previously selected genome I adjacency, is

Thus we can expect ample adjacencies in genome II from which to pick *θn* which do not conflict with any of those selected from genome I.

Similarly, having then selected *θn* pairs from each of genomes I and II, the expected proportion of pairs in genome III with two free ends is (1 *−* 2*θ*)^{2}.

We need at least *θn* such pairs to contribute the same number as the other two genomes. At the level of expectations,

Thus the maximum value of *θ* should be less than the root of

so \theta \le \frac{1}{4}. Setting \theta \le \frac{1}{4} produces a set {\mathcal{A}}^{\prime} of at most \frac{3}{4}n compatible adjacencies, drawn equally from genomes I, II and III. Compatibility simply means that no two adjacencies contain the same gene end. The value \frac{3}{4}n is attainable by fixing \theta =\frac{1}{4}.

We can construct an additional \frac{n}{4} compatible adjacencies to bring {\mathcal{A}}^{\prime} up to full genome status (containing linear and/or circular chromosomes), simply by using any (graph-theoretical) matching on the \frac{n}{2} gene ends that do not occur in {\mathcal{A}}^{\prime}.

The breakpoint distance between two genomes can be defined as *D* = *n − a*, where *a* is the number of adjacencies they contain in common. For a genome with set of adjacencies \mathcal{A}, the sum of the normalized distances to the three input genomes,

is called its score. With \theta =\frac{1}{4}, the score of \mathcal{A} is *≤* 2.25.

The second step in the construction of \mathcal{A} may be done in such a way as to decrease its score below 2.25, but this depends on the input genomes as well as our initial sampling of *θ* adjacencies per genome, so we cannot make statistical predictions as easily as we can for the first step. The second step will be discussed in detail later in this paper.

It is remarkable that by blindly sampling adjacencies, with no view towards optimization, we can construct a genome which has a score of 2.25 or less, when a median would have a score of 2.0, not that much smaller. Moreover, {\mathcal{A}}^{\prime} represents each input genome equally, so \mathcal{A} is close to the "middle", whereas a median found through optimization is more likely to be in a "corner", especially as *n* increases. In addition, as we detail in the next subsection, we can obtain the probability distribution of properties of {\mathcal{A}}^{\prime} analytically. Finally and most important, this basic construction is the key to a number of other developments that we will detail later in this paper.

### Statistical properties of the construction

Once the selection of *θn* adjacencies has been made in genome I and genome II, the probability that *X* of *n* adjacencies in genome III each contains two free ends has a binomial probability *B*(*X*; *n, p*_{
θ
}) where *p*_{
θ
} = (1 *−* 2*θ*)^{2}. Thus

The standardized normal approximation to *X* is

taking into account the continuity correction (*±*0.5).

Table 1 shows the probability that the construction of sample of *θn* adjacencies can be carried out, based on the normal distribution constructed in Equation (6). Of note is the phase change at *θ* = 0.25, corresponding to our solution of Equation (3).

These results are also illustrated in Figure 3.

The case of *k >*3 genomes

When there are *k* = 4 input genomes, inequality (2) is replaced by

and Equation (3) by

The root of this is *θ* = 0.18858, so that \frac{\left|{\mathcal{A}}^{\prime}\right|}{n}=0.75432, leading to an \mathcal{A} having a score, the sum of the normalized distances to the four input genomes, of at most 3.24568, compared to the median score of 3.0 [3].

For a general *k ≥* 3 the maximum value of *θ* must satisfy

and must then be the root of

Thus

Note that that for *k ≥* 3 genomes drawn at random, the expected normalized median sum will be equal to *k −* 1 [3]. This score of a genome constructed with our method is

as *k → ∞*. An impression of the speed of convergence is given in Table 2, calculated using the normal approximation.

### Nonrandom genomes

We have hitherto analyzed the case of genomes that are completely random with respect to each other. In practice this is of limited interest, but the techniques and bounds developed for this case are essential to more realistic situations where an input genome shares a non-trivial proportion of its adjacencies with some or all of the other input genomes.

Suppose all three genomes share *ψn* adjacencies. If we have selected, from each of two genomes containing the same *n* genes, *θn* + *ψn* adjacencies, the number of remaining adjacencies with two free ends in the third genome is (1 *−* 2*θ − ψ*)^{2}*n*.

We need at least *θn* such adjacencies to contribute equally as the other two genomes. Thus

The maximum value of *θ* is the root of

namely

in which case the score of \mathcal{A} is at most

Similarly, for any *k ≥* 3 input genomes all sharing *ψn* adjacencies, *θ* satisfies

and the score of \mathcal{A} is at most

The median score for this case is

Comparing the expressions (18) and (19), as *k* gets larger, the two scores become closer and closer. Table 3 illustrates how our construction converges to the median as *k* increases, for one value of *ψ* = 0.625.

In the most general case for three input genomes, suppose all three genomes share *ψn* adjacencies and each pair of genomes (*i, j*)*, i* ≠ *j* share an additional number *ω*_{
i,j
}, where for *i* ≠ *h* ≠ *j*, we require

Note that in this case, there may be some asymmetry among the three genomes.

At the outset, all the adjacencies shared among at least two genomes are included in constructing \mathcal{A}. We then select from each of two genomes *θn* adjacencies from those that remain. The number of remaining adjacencies with two free ends in the third genome is {\left(1-2\theta -\psi -{\sum}_{i\ne j}{\omega}_{i,j}\right)}^{2}n. We need at least *θn* such adjacencies to contribute equally, so

where *θ* is constrained by \theta +\psi +\sum {\omega}_{i,j}\le 1, which is stronger than condition (20). The maximum value of *θ* must be the root of

Hence

and the score is

### Improving the set of compatible adjacencies

Consider our original construction where genomes I, II and III, with no adjacencies in common, each contribute \frac{n}{4} adjacencies to make up {\mathcal{A}}^{\prime}. Clearly there must be \frac{n}{2} gene ends, out of a total of 2*n*, not selected for inclusion in {\mathcal{A}}^{\prime}. We earlier suggested that any matching of these genes ends could be added to {\mathcal{A}}^{\prime} to make up a full genome. In fact this can be done in such a way as to decrease the score of \mathcal{A} below 2.25.

We revisit the selection of \theta n=\frac{1}{4}n adjacencies from the three genomes. After selecting these from genome I, a proportion 1-\theta =\frac{3}{4} of the gene ends will remain free, namely \frac{3}{2}n ends. This means that in each of genomes II and III, {\theta}^{2}=\frac{1}{16} of the adjacencies will have had two ends already selected, 2\theta \left(1-\theta \right)=\frac{6}{16} will have one free and one selected and {\left(1-\theta \right)}^{2}=\frac{9}{16} will have two free ends. After selecting \theta n=\frac{1}{4}n adjacencies from the \frac{9}{16}n to contribute to {\mathcal{A}}^{\prime}, we are left with \frac{5}{16}n with two free ends in genome II. These ends are individually available during the selection of adjacencies from genome III or, eventually, for the supplementary sampling.

At the same time, of the 2\left(1-\theta \right)=\frac{3}{2}n free ends left after the genome I selection, only 2\left(1-\theta \right)n-2\theta n=\frac{3}{2}n-2\times \frac{1}{4}n=n ends still remain free after the genome II selection. In other words \frac{2}{3} of the \frac{3}{2}n originally free genome ends still remain free. Of the \frac{3}{4}n adjacencies originally with two free ends in genome I, only \frac{3}{4}{\left(\frac{2}{3}\right)}^{2}n=\frac{1}{3}n still have two free ends. These are available for selection from genome III or, eventually, for the supplementary sampling.

Now consider the \frac{9}{16}n adjacencies left in genome III after selecting the \theta =\frac{1}{4}n from genome I. Of these only \frac{9}{16}{\left(\frac{2}{3}\right)}^{2}n=\frac{1}{4}n will have two free ends, and all of these must be contributed to {\mathcal{A}}^{\prime}.

These adjacencies contain \frac{n}{2} free ends. But we know that genome III contained *n* free ends before contributing \frac{n}{2} to {\mathcal{A}}^{\prime}. Thus after the contribution of 3\theta n=\frac{3}{4}n adjacencies to {\mathcal{A}}^{\prime} by the three genomes, there remain \frac{n}{2} free ends in genome III, all of which are adjacent to selected ends, and cannot participate in supplementary contributions to construct \mathcal{A}. Because the \frac{n}{2} ends are randomly distributed among the adjacencies in genomes I and II, as are the \frac{n}{2} selected for contribution to {\mathcal{A}}^{\prime}, in the supplementary sampling we know there remain \frac{1}{3}n free ends available in genome I and \frac{5}{16}n in genome II. Thus

adjacencies are available to be added to {\mathcal{A}}^{\prime} to construct \mathcal{A} with a better score than 2.25.

Some of these adjacencies may conflict, i.e., share an end, so the actual reduction in the score must be found by maximum matching and will differ substantially from one instance to another. Simulations show that the average number of compatible adjacencies is about \frac{3}{4}\times \frac{31}{192}n. The score of \mathcal{A}, once additional adjacencies not in genomes I, II or III have been formed by matching the remaining free ends, thus completing the set of *n* adjacencies, has been reduced to around 2.13, which is closer to the median value of 2.0.

We have thus constructed something very close to the median in two stages, the first being the random sampling of \theta n=\frac{1}{4} compatible adjacencies from each of the three genomes. The second stage is the search, in all of the genomes, for residual adjacencies where neither end has been chosen in the first stage, as in Figure 2b.

## Conclusions

In this paper, we started with a simple construction of a set of adjacencies drawing equally on three random genomes, in an effort to avoid degenerate medians consisting of one of the input medians. This construction produced a normalized sum of distances score of 2.25 instead of the median value of 2. (See reference [5] for a proof of the median value.) We then generalized this to *k ≥* 3 input genomes, leading to better and better approximations to the median value of *k −* 1.

The results for *k* = 3 could then be generalized to the more realistic situation where the genomes have adjacencies in common.

Finally for the case of *k* = 3, we found a way of improving the construction to come within 6-7% of a median genome, containing roughly equal contributions from each of the inputs.

It should be noted that the basic construction we start out with is severely non-unique, since it is based on one random sample among {\left(\begin{array}{c}n\\ \frac{n}{4}\end{array}\right)}^{3} possibilities. On the other hand, it does contain information about all three input genomes, rather than just one as in the case of a corner median. In realistic situation where the input genomes have some or many adjacencies in common, these are all captured (for *k* = 3, at least) and the basic construction only organizes the rest of the near-median.

The sampling we describe here runs in time linear with *n*, including the supplementary sampling as long as each gene end carries sufficient information. If a maximum matching algorithm is used at the end, this is theoretically *O*(*n*^{3}), but in practice only a small number of gene ends are involved at this step. This contrasts with classical median solvers, e.g., [6], which are severely exponential in running time, especially for genomes that are highly rearranged with respect to each other.

We propose that near-medians may be more useful than corner medians in the phylogenetic context, lacking any technical capacity to detect medians in the middle (also non-unique) for large *n* without costly multiple runs of median solvers.

## References

Sankoff D, Cedergren RJ, Lapalme J: Frequency of insertion-deletion, transversion, and transition in the evolution of 5S ribosomal RNA. Journal of Molecular Evolution. 1976, 7: 133-149. 10.1007/BF01732471.

Sankoff D, Blanchette M: Multiple genome rearrangement and breakpoint phylogeny. Journal of Computational Biology. 1998, 5: 555-570. 10.1089/cmb.1998.5.555.

Haghighi M, Sankoff D: Medians seek the corners, and other conjectures. BMC Bioinformatics. 2012, 13: S19:S5-10.1186/1471-2105-13-195.

Boyd S, Haghighi M: A fast method for large-scale multichromosomal breakpoint median problems. Journal of Bioinformatics and Computational Biology. 2012, 10: 1240008-10.1142/S0219720012400082.

Jamshidpey Arash, Jamshidpey Aryo, Sankoff D: Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints. BMC Genomics. 2014, 15 (Suppl 6): S3-10.1186/1471-2164-15-S6-S3.

Xu AW: A fast and exact algorithm for the median of three problem: A graph decomposition approach. Journal of Computational Biology. 2009, 1369-1381. 16

## Acknowledgements

Research supported in part by grants from the Natural Sciences and Engineering Research Council of Canada. DS holds the Canada Research Chair in Mathematical Genomics.

**Declarations**

The publication charges for this article were funded by the Canada Research Chair in Mathematical Genomics, and by the University of Ottawa.

This article has been published as part of *BMC Genomics* Volume 15 Supplement 6, 2014: Proceedings of the Twelfth Annual Research in Computational Molecular Biology (RECOMB) Satellite Workshop on Comparative Genomics. The full contents of the supplement are available online at http://www.biomedcentral.com/bmcgenomics/supplements/15/S6.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

All authors carried out the research, wrote the paper, read and approved the manuscript.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

The Creative Commons Public Domain Dedication waiver (https://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated in a credit line to the data.

## About this article

### Cite this article

Larlee, C.A., Zheng, C. & Sankoff, D. Near-medians that avoid the corners; a combinatorial probability approach.
*BMC Genomics* **15**
(Suppl 6), S1 (2014). https://doi.org/10.1186/1471-2164-15-S6-S1

Published:

DOI: https://doi.org/10.1186/1471-2164-15-S6-S1

### Keywords

- median problem
- breakpoint distance
- combinatorial probabilities