arXiv++ Combinatorics

Different types of two- and three-dimensional representations of a finite metric space are studied that focus on the accurate representation of the linear order among the distances rather than their actual values. Lower and upper bounds for representability probabilities are produced by experiments including random generation, a rubber-band algorithm for accuracy optimization, and automatic proof generation. It is proved that both farthest neighbour representations and cluster tree representations always exist in the plane. Moreover, a measure of order accuracy is introduced, and some lower bound on the possible accuracy is proved using some clustering method and a result on maximal cuts in graphs.

Let $G$ be a matroid on ground set \A. The Orlik-Solomon algebra $A(G)$ is the quotient of the exterior algebra \E on \A by the ideal \I generated by circuit boundaries. The quadratic closure $\bar{A}(G)$ of $A(G)$ is the quotient of \E by the ideal generated by the degree-two component of \I. We introduce the notion of \nbb set in $G$, determined by a linear order on \A, and show that the corresponding monomials are linearly independent in the quadratic closure $\bar{A}(G)$. As a consequence, $A(G)$ is a quadratic algebra only if $G$ is line-closed. An example of S.~Yuzvinsky proves the converse false. These results generalize to the degree $r$ closure of $\A(G)$. The motivation for studying line-closed matroids grew out of the study of formal arrangements. This is a geometric condition necessary for \A to be free and for the complement $M$ of \A to be a $K(π,1)$ space. Formality of \A is also necessary for $A(G)$ to be a quadratic algebra. We clarify the relationship between formality, line-closure, and other matroidal conditions related to formality. We give examples to show that line-closure of $G$ is not necessary or sufficient for $M$ to be a $K(π,1)$, or for \A to be free.