-
A Graph Minors Approach to Temporal Sequences
Authors:
Johannes Carmesin,
Will J. Turner
Abstract:
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This…
▽ More
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Lassos: Pushing Tree Decompositions Forward Along Homomorphisms
Authors:
Benjamin Merlin Bumpus,
James Fairbanks,
Will J. Turner
Abstract:
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the re…
▽ More
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the requirement that the decomposition shape must be preserved, we prove that this is indeed the case.
Our results provide a framework for answering questions of this sort for many other kinds of combinatorial data structures (such as directed multigraphs, hypergraphs, Petri nets, circular port graphs, half-edge graphs, databases, simplicial sets etc.) for which natural analogues of tree decompositions can be defined. Furthermore and of independent interest, we prove these results by introducing the notion of a lasso, a generalization of contractions of graphs to arbitrary categories with pushouts of monomorphisms.
△ Less
Submitted 10 June, 2025; v1 submitted 27 August, 2024;
originally announced August 2024.
-
Towards a Stallings-type theorem for finite groups
Authors:
Johannes Carmesin,
George Kontogeorgiou,
Jan Kurkofka,
Will J. Turner
Abstract:
A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible.
We use loc…
▽ More
A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible.
We use local separators and local coverings to discover and prove a low-order Stallings-type result for finite nilpotent groups $Γ$: the $r$-local covering of some Cayley graph $G$ of $Γ$ has $\geq 2$ ends that are separated by $\leq 2$ vertices iff $G$ has an $r$-local separator of size $\leq 2$ and $Γ$ has order $>r$, iff $Γ$ is isomorphic to $C_i\times C_j$ for some $i>r$ and $j\in\{1,2\}$.
△ Less
Submitted 14 January, 2025; v1 submitted 12 March, 2024;
originally announced March 2024.
-
TAG: Learning Circuit Spatial Embedding From Layouts
Authors:
Keren Zhu,
Hao Chen,
Walker J. Turner,
George F. Kokai,
Po-Hsuan Wei,
David Z. Pan,
Haoxing Ren
Abstract:
Analog and mixed-signal (AMS) circuit designs still rely on human design expertise. Machine learning has been assisting circuit design automation by replacing human experience with artificial intelligence. This paper presents TAG, a new paradigm of learning the circuit representation from layouts leveraging text, self-attention and graph. The embedding network model learns spatial information with…
▽ More
Analog and mixed-signal (AMS) circuit designs still rely on human design expertise. Machine learning has been assisting circuit design automation by replacing human experience with artificial intelligence. This paper presents TAG, a new paradigm of learning the circuit representation from layouts leveraging text, self-attention and graph. The embedding network model learns spatial information without manual labeling. We introduce text embedding and a self-attention mechanism to AMS circuit learning. Experimental results demonstrate the ability to predict layout distances between instances with industrial FinFET technology benchmarks. The effectiveness of the circuit representation is verified by showing the transferability to three other learning tasks with limited data in the case studies: layout matching prediction, wirelength estimation, and net parasitic capacitance prediction.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
