Source author record

Anton Dochtermann

Anton Dochtermann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Minimal graphs for contractible and dismantlable properties

The notion of a contractible transformation on a graph was introduced by Ivashchenko as a means to study molecular spaces arising from digital topology and computer image analysis, and more recently has been applied to topological data analysis. Contractible transformations involve a list of four elementary moves that can be performed on the vertices and edges of a graph, and it has been shown by Chen, Yau, and Yeh that these moves preserve the simple homotopy type of the underlying clique complex. A graph is said to be ${\mathcal I}$-contractible if one can reduce it to a single isolated vertex via a sequence of contractible transformations. Inspired by the notions of collapsible and non-evasive simplicial complexes, in this paper we study certain subclasses of ${\mathcal I}$-contractible graphs where one can collapse to a vertex using only a subset of these moves. Our main results involve constructions of minimal examples of graphs for which the resulting classes differ. We also relate these classes of graphs to the notion of $k$-dismantlable graphs and $k$-collapsible complexes, which also leads to a minimal counterexample to an erroneous claim of Ivashchenko from the literature. We end with some open questions.

preprint2021arXiv

Exposed circuits, linear quotients, and chordal clutters

A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call `edge-erasures'. We show that these moves are in fact equivalent to a linear quotient ordering on $I_{\overline{G}}$, the edge ideal of the complement graph. Known results imply that $I_{\overline G}$ has linear quotients if and only if $G$ is chordal, and hence this recovers an algebraic proof of their characterization. We investigate higher-dimensional analogues of this result, and show that in fact linear quotients for more general circuit ideals of $d$-clutters can be characterized in terms of removing exposed circuits in the complement clutter. Restricting to properly exposed circuits can be characterized by a homological condition. This leads to a notion of higher dimensional chordal clutters which borrows from commutative algebra and simple homotopy theory. The interpretation of linear quotients in terms of shellability of simplicial complexes also has applications to a conjecture of Simon regarding the extendable shellability of $k$-skeleta of simplices. Other connections to combinatorial commutative algebra, chordal complexes, and hierarchical clustering algorithms are explored.

preprint2021arXiv

Warmth and connectivity of neighborhood complexes of graphs

In this paper we study a pair of numerical parameters associated to a graph $G$. One the one hand, one can construct $\text{Hom}(K_2, G)$, a space of homomorphisms from a edge $K_2$ into $G$ and study its (topological) connectivity. This approach dates back to the neighborhood complexes introduced by Lovász in his proof of the Kneser conjecture. In another direction Brightwell and Winkler introduced a graph parameter called the warmth $ζ(G)$ of a graph $G$, based on asymptotic behavior of $d$-branching walks in $G$ and inspired by constructions in statistical physics. Both the warmth of $G$ and the connectivity of $\text{Hom}(K_2,G)$ provide lower bounds on the chromatic number of $G$. Here we seek to relate these two constructions, and in particular we provide evidence for the conjecture that the warmth of a graph $G$ is always less than three plus the connectivity of $\text{Hom}(K_2, G)$. We succeed in establishing a first nontrivial case of the conjecture, by showing that $ζ(G) \leq 3$ if $\text{Hom}(K_2,G)$ has an infinite first homology group. We also calculate warmth for a family of `twisted toroidal' graphs that are important extremal examples in the context of $\text{Hom}$ complexes. Finally we show that $ζ(G) \leq n-1$ if a graph $G$ does not have the complete bipartite graph $K_{a,b}$ for $a+b=n$. This provides an analogue for a similar result in the context of $\text{Hom}$ complexes.

preprint2016arXiv

Face rings of cycles, associahedra, and standard Young tableaux

We show that J_n, the Stanley-Reisner ideal of the n-cycle, has a free resolution supported on the (n-3)-dimensional simplicial associahedron A_n. This resolution is not minimal for n > 5; in this case the Betti numbers of J_n are strictly smaller than the f-vector of A_n. We show that in fact the Betti numbers of J_n are in bijection with the number of standard Young tableaux of shape (d+1, 2, 1^{n-d-3}). This complements the fact that the number of (d-1)-dimensional faces of A_n are given by the number of standard Young tableaux of (super)shape (d+1, d+1, 1^{n-d-3}); a bijective proof of this result was first provided by Stanley. An application of discrete Morse theory yields a cellular resolution of J_n that we show is minimal at the first syzygy. We furthermore exhibit a simple involution on the set of associahedron tableaux with fixed points given by the Betti tableaux, suggesting a Morse matching and in particular a poset structure on these objects.

preprint2016arXiv

Laplacian ideals, arrangements, and resolutions

The Laplacian matrix of a graph G describes the combinatorial dynamics of the Abelian Sandpile Model and the more general Riemann-Roch theory of G. The lattice ideal associated to the lattice generated by the columns of the Laplacian provides an algebraic perspective on this recently (re)emerging field. This ideal I_G has a distinguished monomial initial ideal M_G, characterized by the property that the standard monomials are in bijection with the G-parking functions of the graph G. The ideal M_G was also introduced by Postnikov and Shapiro (2004) in the context of monotone monomial ideals. We study resolutions of M_G and show that a minimal free cellular resolution is supported on the bounded subcomplex of a section of the graphical arrangement of G. This generalizes constructions from Postnikov and Shapiro (for the case of the complete graph) and connects to work of Manjunath and Sturmfels, and of Perkinson et al. on the commutative algebra of Sandpiles. As a corollary we verify a conjecture of Perkinson et al. regarding the Betti numbers of M_G, and in the process provide a combinatorial characterization in terms of acyclic orientations.

preprint2013arXiv

Cellular resolutions from mapping cones

One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal resolution if $I$ has linear quotients, in which case the mapping cone in each step cones a Koszul complex onto the previously constructed resolution. Here we consider cellular realizations of these resolutions. Extending a construction of Mermin we describe a regular CW-complex that supports the resolutions of Herzog and Takayama in the case that $I$ has a `regular decomposition function'. By varying the choice of chain map we recover other known cellular resolutions, including the `box of complexes' resolutions of Corso, Nagel, and Reiner and the related `homomorphism complex' resolutions of Dochtermann and Engström. Other choices yield combinatorially distinct complexes with interesting structure, and suggests a notion of a `space of cellular resolutions'.

preprint2010arXiv

Cellular resolutions of cointerval ideals

Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.

preprint2010arXiv

Topology of Hom complexes and test graphs for bounding chromatic number

We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from graphs to posets, and introduce a functor $(-)^1$ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of $\Hom$ complexes in terms of spaces of equivariant poset maps and $Γ$-twisted products of spaces. When $P = F(X)$ is the face poset of a simplicial complex $X$, this provides a useful way to control the topology of $\Hom$ complexes. Our foremost application of these results is the construction of new families of `test graphs' with arbitrarily large chromatic number - graphs $T$ with the property that the connectivity of $\Hom(T,G)$ provides the best possible lower bound on the chromatic number of $G$. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of `spherical graphs' have connections to the notion of homomorphism duality, whereas the family of `twisted toroidal graphs' lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex $X$ with a free action by the symmetric group $S_n$ can be approximated up to $S_n$-homotopy equivalence as $\Hom(K_n,G)$ for some graph $G$; this is a generalization of a result of Csorba. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.

preprint2010arXiv

Tropical types and associated cellular resolutions

An arrangement of finitely many tropical hyperplanes in the tropical torus leads to a notion of `type' data for points, with the underlying unlabeled arrangement giving rise to `coarse type'. It is shown that the decomposition of the tropical torus induced by types gives rise to minimal cocellular resolutions of certain associated monomial ideals. Via the Cayley trick from geometric combinatorics this also yields cellular resolutions supported on mixed subdivisions of dilated simplices, extending previously known constructions. Moreover, the methods developed lead to an algebraic algorithm for computing the facial structure of arbitrary tropical complexes from point data.