arXiv++ Combinatorics

The Varchenko matrix is known to have a well-structured determinant for complexes of oriented matroids (COMs). COMs can be characterized as partial cubes that do not have certain forbidden pc-minors. In this work, we generalize the Varchenko matrix and its determinant to partial cubes. We identify examples of partial cubes whose Varchenko determinants lack a clean factorization, as well as those that exhibit such a structure. These findings open the door for further research into the properties and potential characterizations of partial cubes with well-behaved Varchenko determinants.

This work builds on Varchenko et al's introduction of bilinear forms for hyperplane arrangements, where the determinant of the associated matrices factorizes into simple components. While one of the determinant formula developed by Varchenko has been generalized to complexes of oriented matroids (COMs) already, this question was open for another, distinct form. Motivated by work from Varchenko and Brylawski, who generalized the alternative bilinear form and its determinant formula from hyperplane arrangements to matroids, we examine whether this formula can similarly be generalized to COMs. Our findings affirm this generalization, and we further extend the determinant formula to bouquets of geometric lattices as introduced by Laurent et al.

We generalize the (signed) Varchenko matrix of a hyperplane arrangement to complexes of oriented matroids and show that its determinant has a nice factorization. This extends previous results on hyperplane arrangements and oriented matroids.

The separation theorem of Kirchberger can be proven using a combination of Farkas' Lemma and Caratheodory's Theorem. Since those theorems are at the heart of oriented matroids, we are interested in a generalization of Kirchberger's Theorem to them. This has already been done for rank 3 oriented matroids. Here we prove it for complexes of oriented matroids, which are a generalization of oriented matroids.