arXiv++ Combinatorics

We study the graph $\mathcal{AO}(G)$ of acyclic orientations of a graph $G$. Two acyclic orientations are adjacent in this graph if they disagree on the orientation of a single arc. In particular, we focus on the Hamiltonicity of the graphs $\mathcal{AO}(G)$. Using two methods of pattern lacing which generalize the zig-zag method of Brenner, Cardinal, McConville, Merino and Mütze, we characterize which multipaths are $\mathcal{AO}$-Hamiltonian. Moreover, we give a criterion for the gluing of a multipath on a given graph to preserve $\mathcal{AO}$-Hamiltonicity. Building towards an inductive certification of $\mathcal{AO}$-Hamiltonicity via the (open) ear decomposition of 2-connected graphs, we propose three ways of gluing several multipaths to a given graph. In addition, we define the acyclic polynomials to encapsulate both the number of acyclic orientations of a graph and the "parity problem" proposed by Savage, Squire and West: if $-1$ is not a root of the acyclic polynomial of $G$, then $G$ is not $\mathcal{AO}$-Hamiltonian. We explore numerous properties of the acyclic polynomials, proving that they are not instances of the famous Tutte-Whitney polynomials, but that they too exhibit a partial deletion-contraction phenomenon.

The class of subarrangements of the well-studied braid arrangement, so-called graphic hyperplane arrangements, is important for analysing new concepts and properties in hyperplane arrangement theory. While there is a nice characterization of free graphic arrangements, many interesting questions beyond the free case remain open. This paper introduces an explicit set of generators for the module of logarithmic derivations of a general graphic arrangement based on graph separators. We obtain new insights in the derivation degree sequence in the non-free case and give bounds on the highest degree in the sequence. Moreover, this can broadly be used for future research in this area.

We develop novel tools for computing the likelihood correspondence of an arrangement of hypersurfaces in a projective space. This uses the module of logarithmic derivations. This object is well-studied in the linear case, when the hypersurfaces are hyperplanes. We here focus on nonlinear scenarios and their applications in statistics and physics.

In 2010, Vershik proposed a new combinatorial invariant of metric spaces given by a class of polytopes that arise in the theory of optimal transport and are called ``Wasserstein polytopes'' or ``Kantorovich-Rubinstein polytopes'' in the literature. Answering a question posed by Vershik, we describe the stratification of the metric cone induced by the combinatorial type of these polytopes through a hyperplane arrangement. Moreover, we study its relationships with the stratification by combinatorial type of the injective hull (i.e., the tight span) and, in particular, with certain types of metrics arising in phylogenetic analysis. We also compute enumerative invariants in the case of metrics on up to six points.

A graphic arrangement is a subarrangement of the braid arrangement whose set of hyperplanes is determined by an undirected graph. A classical result due to Stanley, Edelman and Reiner states that a graphic arrangement is free if and only if the corresponding graph is chordal, i.e., the graph has no chordless cycle with four or more vertices. In this article we extend this result by proving that the module of logarithmic derivations of a graphic arrangement has projective dimension at most one if and only if the corresponding graph is weakly chordal, i.e., the graph and its complement have no chordless cycle with five or more vertices.