Showing 1–50 of 79 results for author: Kaufmann, M

Quantum Phase diagrams and transitions for Chern topological insulators

Authors: Ralph M. Kaufmann, Mohamad Mousa, Birgit Wehefritz-Kaufmann

Abstract: Topological invariants such as Chern classes are by now a standard way to classify topological phases. Introducing and varying parameters in such systems leads to phase diagrams, where the Chern classes may jump when crossing a critical locus. These systems appear naturally when considering slicing of higher dimensional systems or when considering systems with parameters. As the Chern classes are… ▽ More Topological invariants such as Chern classes are by now a standard way to classify topological phases. Introducing and varying parameters in such systems leads to phase diagrams, where the Chern classes may jump when crossing a critical locus. These systems appear naturally when considering slicing of higher dimensional systems or when considering systems with parameters. As the Chern classes are topological invariants, they can only change if the "topology breaks down". We give a precise mathematical formulation of this phenomenon and show that synthetically any phase diagram of Chern topological phases can be designed and realized by a physical system, using covering, aka. winding maps. Here we provide explicit families realizing arbitrary Chern jumps. The critical locus of these maps is described by the classical rose curves. These realize the lower bound on the number of Dirac points necessary obtained from viewing them as local charges. We treat several concrete models and show that they have the predicted generic behavior. In particular, we focus on different types of lattices and tight-binding models, and show that effective winding maps, and thus higher Chern numbers, can be achieved using k-th nearest neighbors. We give explicit formulas for a family of 2D lattices using imaginary quadratic field extensions and their norms. Our study includes the square, triangular, honeycomb and Kagome lattices. △ Less

Submitted 19 May, 2025; v1 submitted 13 April, 2025; originally announced April 2025.

Comments: More details provided in v2

Adversarially-Robust Gossip Algorithms for Approximate Quantile and Mean Computations

Authors: Bernhard Haeupler, Marc Kaufmann, Raghu Raman Ravi, Ulysse Schaller

Abstract: This paper presents gossip algorithms for aggregation tasks that demonstrate both robustness to adversarial corruptions of any order of magnitude and optimality across a substantial range of these corruption levels. Gossip algorithms distribute information in a scalable and efficient way by having random pairs of nodes exchange small messages. Value aggregation problems are of particular interest… ▽ More This paper presents gossip algorithms for aggregation tasks that demonstrate both robustness to adversarial corruptions of any order of magnitude and optimality across a substantial range of these corruption levels. Gossip algorithms distribute information in a scalable and efficient way by having random pairs of nodes exchange small messages. Value aggregation problems are of particular interest in this setting as they occur frequently in practice and many elegant algorithms have been proposed for computing aggregates and statistics such as averages and quantiles. An important and well-studied advantage of gossip algorithms is their robustness to message delays, network churn, and unreliable message transmissions. These crucial robustness guarantees however only hold if all nodes follow the protocol and no messages are corrupted. In this paper, we remedy this by providing a framework to model both adversarial participants and message corruptions in gossip-style communications by allowing an adversary to control a small fraction of the nodes or corrupt messages arbitrarily. Despite this very powerful and general corruption model, we show that one can design robust gossip algorithms for many important aggregation problems. Our algorithms guarantee that almost all nodes converge to an approximately correct answer with optimal efficiency and essentially as fast as without corruptions. The design of adversarially-robust gossip algorithms poses completely new challenges. Despite this, our algorithms remain very simple variations of known non-robust algorithms with often only subtle changes to avoid non-compliant nodes gaining too much influence over outcomes. While our algorithms remain simple, their analysis is much more complex and often requires a completely different approach than the non-adversarial setting. △ Less

Submitted 30 April, 2025; v1 submitted 21 February, 2025; originally announced February 2025.

Comments: 36 pages

Sharp Thresholds for Factors in Random Graphs

Authors: Fabian Burghart, Annika Heckel, Marc Kaufmann, Noela Müller, Matija Pasch

Abstract: Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn a… ▽ More Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn and Vu established the thresholds for the existence of an $F$-factor for strictly 1-balanced $F$ -- up to the leading constant. The sharp thresholds, meaning the leading constants, were obtained only recently by Riordan and Heckel, but only for complete graphs $F=K_r$ and for so-called nice graphs. Their results rely on sophisticated couplings that utilize the recent, celebrated solution of Shamir's problem by Kahn. We extend the couplings by Riordan and Heckel to any strictly 1-balanced $F$ and thereby obtain the sharp threshold for the existence of an $F$-factor. In particular, we confirm the thirty year old conjecture by Rucínski that this sharp threshold indeed coincides with the sharp threshold for the disappearance of the last vertices which are not contained in a copy of $F$. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 17 pages

MSC Class: 05C70 (primary); 05C80; 60C05 (secondary)

Balanced Bidirectional Breadth-First Search on Scale-Free Networks

Authors: Sacha Cerf, Benjamin Dayan, Umberto De Ambroggio, Marc Kaufmann, Johannes Lengler, Ulysse Schaller

Abstract: To find a shortest path between two nodes $s_0$ and $s_1$ in a given graph, a classical approach is to start a Breadth-First Search (BFS) from $s_0$ and run it until the search discovers $s_1$. Alternatively, one can start two Breadth-First Searches, one from $s_0$ and one from $s_1$, and alternate their layer expansions until they meet. This bidirectional BFS can be balanced by always expanding a… ▽ More To find a shortest path between two nodes $s_0$ and $s_1$ in a given graph, a classical approach is to start a Breadth-First Search (BFS) from $s_0$ and run it until the search discovers $s_1$. Alternatively, one can start two Breadth-First Searches, one from $s_0$ and one from $s_1$, and alternate their layer expansions until they meet. This bidirectional BFS can be balanced by always expanding a layer on the side that has discovered fewer vertices so far. This usually results in significant speedups in real-world networks, and it has been shown that this indeed yields sublinear running time on scale-free graph models such as Chung-Lu graphs and hyperbolic random graphs. We improve this layer-balanced bidirectional BFS approach by using a finer balancing technique. Instead of comparing the size of the two BFS trees after each layer expansion, we perform this comparison after each vertex expansion. This gives rise to two algorithms that run faster than the layer-balanced bidirectional BFS on scale-free networks with power-law exponent $τ\in (2,3)$. The first one is an approximate shortest-path algorithm that outputs a path of length at most 1 longer than the shortest path in time $n^{(τ-2)/(τ-1)+o(1)}$. The second one is an exact shortest-path algorithm running in time $n^{1/2+o(1)}$. These runtime bounds hold with high probability when $s_0$ and $s_1$ are chosen uniformly at random among the $n$ vertices of the graph. We also develop an edge-balanced bidirectional BFS algorithm that works under adversarial conditions. This approximate shortest-path algorithm runs in time $n^{1/2+o(1)}$ with high probability when the adversary is allowed to choose $s_0$ and $s_1$ based on their (expected) degree. We complement our theoretical results with experiments on Chung-Lu graphs, Geometric Inhomogeneous Random Graphs, and real-world networks. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: 46 pages

Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs

Authors: Julia Katheder, Michael Kaufmann, Sergey Pupyrev, Torsten Ueckerdt

Abstract: Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts i… ▽ More Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts is the graph's stack number $sn(G)$, queue number $qn(G)$, and mixed number $mn(G)$, respectively. Already in 1992, Heath and Rosenberg asked whether $qn(G)$ is bounded in terms of $sn(G)$, that is, whether stacks "can be transformed into" queues. This is equivalent to bipartite $3$-stack graphs having bounded queue number (Dujmović and Wood, 2005). Recently, Alam et al. asked whether $qn(G)$ is bounded in terms of $mn(G)$, which we show to also be equivalent to the previous questions. We approach the problem by considering separated linear layouts of bipartite graphs. In this natural setting all vertices of one part must precede all vertices of the other part. Separated stack and queue numbers coincide, and for fixed vertex orders, graphs with bounded separated stack/queue number can be characterized and efficiently recognized, whereas the separated mixed layouts are more challenging. In this work, we thoroughly investigate the relationship between separated and non-separated, mixed and pure linear layouts. △ Less

Submitted 10 January, 2025; v1 submitted 26 September, 2024; originally announced September 2024.

The hitting time of nice factors

Authors: Fabian Burghart, Marc Kaufmann, Noela Müller, Matija Pasch

Abstract: Consider the random $u$-uniform hypergraph (or $u$-graph) process on $n$ vertices, where $n$ is divisible by $r>u\ge 2$. It was recently shown that with high probability, as soon as every vertex is covered by a copy of the complete $u$-graph $K_r$, it also contains a $K_r$-factor (RSA, Vol. 65 II, Sept. 2024). The hitting time result is obtained using a process coupling, which is based on the proo… ▽ More Consider the random $u$-uniform hypergraph (or $u$-graph) process on $n$ vertices, where $n$ is divisible by $r>u\ge 2$. It was recently shown that with high probability, as soon as every vertex is covered by a copy of the complete $u$-graph $K_r$, it also contains a $K_r$-factor (RSA, Vol. 65 II, Sept. 2024). The hitting time result is obtained using a process coupling, which is based on the proof of the corresponding sharp threshold result (RSA, Vol. 61 IV, Dec. 2022). The latter, however, was not only derived for complete $u$-graphs, but for a broader class of so-called nice $u$-graphs. The purpose of this article is to extend the process coupling for complete $u$-graphs to the full scope of the sharp threshold result: nice $u$-graphs. As a byproduct, we obtain the extension of the hitting time result to nice $u$-graphs. Since the relevant combinatorial bounds in the proof for the $K_r$-case cannot be generalized, we introduce new arguments that do not only apply to nice u-graphs, but will be relevant for the broader class of strictly 1-balanced u-graphs. Further, we show how the remainder of the process coupling for the $K_r$-case can be utilized in a black-box manner for any u-graph. These advances pave the way for future generalizations. △ Less

Submitted 22 October, 2024; v1 submitted 26 September, 2024; originally announced September 2024.

Comments: 11 pages

MSC Class: 05C70 (primary); 05C80; 05C65; 60C05 (secondary)

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

Authors: Aaron Büngener, Michael Kaufmann

Abstract: The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$… ▽ More The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$ the $k$-planar graphs have substantially fewer edges if specific local configurations that occur in drawings of $k$-planar graphs of maximum density are forbidden. Therefore, we are able to derive better bounds for the crossing number $\text{cr}(G)$ of a given graph $G$. In particular, we achieve a bound of $\text{cr}(G) \ge \frac{37}{9}m-\frac{155}{9}(n-2)$ for the range of $5n < m \le 6n$, while our second bound $\text{cr}(G) \ge 5m - \frac{203}{9}(n-2)$ is even stronger for larger $m>6n$. For $m > 6.77n$, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of $c>1/27.48$ in the Crossing Lemma. Note that the previous constant was $1/29$. Although this improvement is not too impressive, we consider our technique as an important new tool, which might be helpful in various other applications. △ Less

Submitted 5 September, 2024; v1 submitted 3 September, 2024; originally announced September 2024.

ACM Class: G.2.2; F.2.2

On $k$-planar Graphs without Short Cycles

Authors: Michael A. Bekos, Prosenjit Bose, Aaron Büngener, Vida Dujmović, Michael Hoffmann, Michael Kaufmann, Pat Morin, Saeed Odak, Alexandra Weinberger

Abstract: We study the impact of forbidding short cycles to the edge density of $k$-planar graphs; a $k$-planar graph is one that can be drawn in the plane with at most $k$ crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are $3$-cycles, $4$-cycles or both of them (i.e., girth $\ge 5$). For all three settings and all $k\in\{1,2,3\}$, we present low… ▽ More We study the impact of forbidding short cycles to the edge density of $k$-planar graphs; a $k$-planar graph is one that can be drawn in the plane with at most $k$ crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are $3$-cycles, $4$-cycles or both of them (i.e., girth $\ge 5$). For all three settings and all $k\in\{1,2,3\}$, we present lower and upper bounds on the maximum number of edges in any $k$-planar graph on $n$ vertices. Our bounds are of the form $c\,n$, for some explicit constant $c$ that depends on $k$ and on the setting. For general $k \geq 4$ our bounds are of the form $c\sqrt{k}n$, for some explicit constant $c$. These results are obtained by leveraging different techniques, such as the discharging method, the recently introduced density formula for non-planar graphs, and new upper bounds for the crossing number of $2$-- and $3$-planar graphs in combination with corresponding lower bounds based on the Crossing Lemma. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: Appears in the Proceedings of the 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)

Monotone Arc Diagrams with few Biarcs

Authors: Steven Chaplick, Henry Förster, Michael Hoffmann, Michael Kaufmann

Abstract: We show that every planar graph has a monotone topological 2-page book embedding where at most (4n-10)/5 (of potentially 3n-6) edges cross the spine, and every edge crosses the spine at most once; such an edge is called a biarc. We can also guarantee that all edges that cross the spine cross it in the same direction (e.g., from bottom to top). For planar 3-trees we can further improve the bound to… ▽ More We show that every planar graph has a monotone topological 2-page book embedding where at most (4n-10)/5 (of potentially 3n-6) edges cross the spine, and every edge crosses the spine at most once; such an edge is called a biarc. We can also guarantee that all edges that cross the spine cross it in the same direction (e.g., from bottom to top). For planar 3-trees we can further improve the bound to (3n-9)/4, and for so-called Kleetopes we obtain a bound of at most (n-8)/3 edges that cross the spine. The bound for Kleetopes is tight, even if the drawing is not required to be monotone. A Kleetope is a plane triangulation that is derived from another plane triangulation T by inserting a new vertex v_f into each face f of T and then connecting v_f to the three vertices of f. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Comments: Appears in the Proceedings of the 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)

MSC Class: 68R10 (Primary) 05C10; 05C62 (Secondary) ACM Class: F.2.2; G.2.1

Rumour Spreading Depends on the Latent Geometry and Degree Distribution in Social Network Models

Authors: Marc Kaufmann, Kostas Lakis, Johannes Lengler, Raghu Raman Ravi, Ulysse Schaller, Konstantin Sturm

Abstract: We study push-pull rumour spreading in small-world models for social networks where the degrees follow a power-law. In a non-geometric setting Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread fast (SODA 2012). On the other hand, Janssen and Mehrabian have found that rumours spread slowly in a spatial preferential attachment model (SIDMA 2017). We study the question syst… ▽ More We study push-pull rumour spreading in small-world models for social networks where the degrees follow a power-law. In a non-geometric setting Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread fast (SODA 2012). On the other hand, Janssen and Mehrabian have found that rumours spread slowly in a spatial preferential attachment model (SIDMA 2017). We study the question systematically for the model of geometric inhomogeneous random graphs (GIRGs), which has been found to be a good theoretical and empirical fit for social networks. Our result is two-fold: with classical Euclidean geometry both slow and fast rumour spreading may occur, depending on the exponent of the power law and the prevalence of weak ties in the networks, and we fully characterise the phase boundaries between those two regimes. Depending on the parameters, fast spreading may either mean polylogarithmic time or even doubly logarithmic time. Secondly, we show that rumour spreading is always fast in a non-metric geometry. The considered non-metric geometry allows to model social connections where resemblance of vertices in a single attribute, such as familial kinship, already strongly indicates the presence of an edge. Classical Euclidean Geometry fails to capture such ties. For some regimes in the Euclidean setting, the efficient pathways for spreading rumours differ from previously identified paths. A vertex of degree $d$ can transmit the rumour efficiently to a vertex of larger degree by a chain of length $3$, where one of the two intermediaries has constant degree, and the other has degree $d^{c}$ for some constant $c<1$. △ Less

Submitted 7 August, 2024; v1 submitted 2 August, 2024; originally announced August 2024.

Comments: 40 pages

MSC Class: 05C82; 91D25; 91D30

Heritability of Kőnig's Property from finite edge sets

Authors: Marc Kaufmann, Dominic van der Zypen

Abstract: A hypergraph $H = (V,E)$ is said to have Kőnig's Property if there is a matching $M\subseteq E$ and $S\subseteq V$ such that $|S \cap e| = 1$ for all $e\in M$, and $S$ is a vertex cover of $H$. Aharoni posed the question whether Kőnig's Property is inheritable from finite subsets of $E$. We provide a negative answer and investigate similar questions for weaker properties. A hypergraph $H = (V,E)$ is said to have Kőnig's Property if there is a matching $M\subseteq E$ and $S\subseteq V$ such that $|S \cap e| = 1$ for all $e\in M$, and $S$ is a vertex cover of $H$. Aharoni posed the question whether Kőnig's Property is inheritable from finite subsets of $E$. We provide a negative answer and investigate similar questions for weaker properties. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 8 pages

MSC Class: 05C15; 05C83

Sublinear Cuts are the Exception in BDF-GIRGs

Authors: Marc Kaufmann, Raghu Raman Ravi, Ulysse Schaller

Abstract: The introduction of geometry has proven instrumental in the efforts towards more realistic models for real-world networks. In Geometric Inhomogeneous Random Graphs (GIRGs), Euclidean Geometry induces clustering of the vertices, which is widely observed in networks in the wild. Euclidean Geometry in multiple dimensions however restricts proximity of vertices to those cases where vertices are close… ▽ More The introduction of geometry has proven instrumental in the efforts towards more realistic models for real-world networks. In Geometric Inhomogeneous Random Graphs (GIRGs), Euclidean Geometry induces clustering of the vertices, which is widely observed in networks in the wild. Euclidean Geometry in multiple dimensions however restricts proximity of vertices to those cases where vertices are close in each coordinate. We introduce a large class of GIRG extensions, called BDF-GIRGs, which capture arbitrary hierarchies of the coordinates within the distance function of the vertex feature space. These distance functions have the potential to allow more realistic modeling of the complex formation of social ties in real-world networks, where similarities between people lead to connections. Here, similarity with respect to certain features, such as familial kinship or a shared workplace, suffices for the formation of ties. It is known that - while many key properties of GIRGs, such as log-log average distance and sparsity, are independent of the distance function - the Euclidean metric induces small separators, i.e. sublinear cuts of the unique giant component in GIRGs, whereas no such sublinear separators exist under the component-wise minimum distance. Building on work of Lengler and Todorović, we give a complete classification for the existence of small separators in BDF-GIRGs. We further show that BDF-GIRGs all fulfill a stochastic triangle inequality and thus also exhibit clustering. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Schwarz Modular Operads Revisited: $\mathcal{SM}=\mathcal{S}\circ\mathcal{M}$

Authors: Ralph M. Kaufmann, Benjamin C. Ward

Abstract: We prove that the Feynman category encoding Schwarz's variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting. We prove that the Feynman category encoding Schwarz's variant of modular operads is Koszul. Our proof uses a generalization of the theory of distributive laws to the groupoid colored setting. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Faster Optimization Through Genetic Drift

Authors: Cella Florescu, Marc Kaufmann, Johannes Lengler, Ulysse Schaller

Abstract: The compact Genetic Algorithm (cGA), parameterized by its hypothetical population size $K$, offers a low-memory alternative to evolving a large offspring population of solutions. It evolves a probability distribution, biasing it towards promising samples. For the classical benchmark OneMax, the cGA has to two different modes of operation: a conservative one with small step sizes… ▽ More The compact Genetic Algorithm (cGA), parameterized by its hypothetical population size $K$, offers a low-memory alternative to evolving a large offspring population of solutions. It evolves a probability distribution, biasing it towards promising samples. For the classical benchmark OneMax, the cGA has to two different modes of operation: a conservative one with small step sizes $Θ(1/(\sqrt{n}\log n))$, which is slow but prevents genetic drift, and an aggressive one with large step sizes $Θ(1/\log n)$, in which genetic drift leads to wrong decisions, but those are corrected efficiently. On OneMax, an easy hill-climbing problem, both modes lead to optimization times of $Θ(n\log n)$ and are thus equally efficient. In this paper we study how both regimes change when we replace OneMax by the harder hill-climbing problem DynamicBinVal. It turns out that the aggressive mode is not affected and still yields quasi-linear runtime $O(n\cdot polylog (n))$. However, the conservative mode becomes substantially slower, yielding a runtime of $Ω(n^2)$, since genetic drift can only be avoided with smaller step sizes of $O(1/n)$. We complement our theoretical results with simulations. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Symmetric, Optimization-based, Cross-element Compatible Nodal Distributions for High-order Finite Elements

Authors: Julian M. Kaufmann, Matthew J. Zahr

Abstract: We present a general framework to construct symmetric, well-conditioned, cross-element compatible nodal distributions that can be used for high-order and high-dimensional finite elements. Starting from the inherent symmetries of an element geometry, we construct node groups in a systematic and efficient manner utilizing the natural coordinates of each element, while ensuring nodes stay within the… ▽ More We present a general framework to construct symmetric, well-conditioned, cross-element compatible nodal distributions that can be used for high-order and high-dimensional finite elements. Starting from the inherent symmetries of an element geometry, we construct node groups in a systematic and efficient manner utilizing the natural coordinates of each element, while ensuring nodes stay within the elements. Proper constraints on the symmetry group lead to nodal distributions that ensure cross-element compatibility (i.e., nodes of adjacent elements are co-located) on both homogeneous and mixed meshes. The final nodal distribution is defined as a minimizer of an optimization problem over symmetry group parameters with linear constraints that ensure nodes remain with an element and enforce other properties (e.g., cross-element compatibility). We demonstrate the merit of this framework by comparing the proposed optimization-based nodal distributions with other popular distributions available in the literature, and its robustness by generating optimized nodal distributions for otherwise difficult elements (such as simplex and pyramid elements). All nodal distributions are tabulated in the optnodes package [22]. △ Less

Submitted 3 March, 2025; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: 29 pages, 24 figures, 6 tables

Hardest Monotone Functions for Evolutionary Algorithms

Authors: Marc Kaufmann, Maxime Larcher, Johannes Lengler, Oliver Sieberling

Abstract: The study of hardest and easiest fitness landscapes is an active area of research. Recently, Kaufmann, Larcher, Lengler and Zou conjectured that for the self-adjusting $(1,λ)$-EA, Adversarial Dynamic BinVal (ADBV) is the hardest dynamic monotone function to optimize. We introduce the function Switching Dynamic BinVal (SDBV) which coincides with ADBV whenever the number of remaining zeros in the se… ▽ More The study of hardest and easiest fitness landscapes is an active area of research. Recently, Kaufmann, Larcher, Lengler and Zou conjectured that for the self-adjusting $(1,λ)$-EA, Adversarial Dynamic BinVal (ADBV) is the hardest dynamic monotone function to optimize. We introduce the function Switching Dynamic BinVal (SDBV) which coincides with ADBV whenever the number of remaining zeros in the search point is strictly less than $n/2$, where $n$ denotes the dimension of the search space. We show, using a combinatorial argument, that for the $(1+1)$-EA with any mutation rate $p \in [0,1]$, SDBV is drift-minimizing among the class of dynamic monotone functions. Our construction provides the first explicit example of an instance of the partially-ordered evolutionary algorithm (PO-EA) model with parameterized pessimism introduced by Colin, Doerr and Férey, building on work of Jansen. We further show that the $(1+1)$-EA optimizes SDBV in $Θ(n^{3/2})$ generations. Our simulations demonstrate matching runtimes for both static and self-adjusting $(1,λ)$ and $(1+λ)$-EA. We further show, using an example of fixed dimension, that drift-minimization does not equal maximal runtime. △ Less

Submitted 13 November, 2023; originally announced November 2023.

MSC Class: 68W50

The Density Formula: One Lemma to Bound Them All

Authors: Michael Kaufmann, Boris Klemz, Kristin Knorr, Meghana M. Reddy, Felix Schröder, Torsten Ueckerdt

Abstract: We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan… ▽ More We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing several applications: we prove tight upper bounds on the edge density of various beyond-planar graph classes, including so-called $k$-planar graphs with $k=1,2$, fan-crossing / fan-planar graphs, $k$-bend RAC-graphs with $k=0,1,2$, quasiplanar graphs, and $k^+$-real face graphs. In some cases ($1$-bend and $2$-bend RAC-graphs and fan-crossing / fan-planar graphs), we thereby obtain the first tight upper bounds on the edge density of the respective graph classes. In other cases, we give new streamlined and significantly shorter proofs for bounds that were already known in the literature. Thanks to the Density Formula, all of our proofs are mostly elementary counting and mostly circumvent the typical intricate case analysis found in earlier proofs. Further, in some cases (simple and non-homotopic quasiplanar graphs), our alternative proofs using the Density Formula lead to the first tight lower bound examples. △ Less

Submitted 17 September, 2024; v1 submitted 10 November, 2023; originally announced November 2023.

Comments: To appear in the proceedings of the 32nd International Symposium on Graph Drawing and Network Visualization (GD 2024)

MSC Class: 05C62; 05C10 ACM Class: G.2.2

Size-Ramsey numbers of structurally sparse graphs

Authors: Nemanja Draganić, Marc Kaufmann, David Munhá Correia, Kalina Petrova, Raphael Steiner

Abstract: Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the can… ▽ More Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the canonical examples of graphs of unbounded treewidth are the grid graphs, for which the best known bound has only very recently been improved from $O(n^{3/2})$ to $O(n^{5/4})$ by Conlon, Nenadov and Trujić. In this paper, we prove a common generalization of these results by establishing new bounds on the size-Ramsey numbers in terms of treewidth (which may grow as a function of $n$). As a special case, this yields a bound of $\tilde{O}(n^{3/2 - 1/2Δ})$ for proper minor-closed classes of graphs. In particular, this bound applies to planar graphs, addressing a question of Kamcev, Liebenau, Wood and Yepremyan. Our proof combines methods from structural graph theory and classic Ramsey-theoretic embedding techniques, taking advantage of the product structure exhibited by graphs with bounded treewidth. △ Less

Submitted 2 September, 2023; v1 submitted 22 July, 2023; originally announced July 2023.

Comments: 21 pages

MSC Class: 05D10; 05C35; 05C55

Linear Layouts of Bipartite Planar Graphs

Authors: Henry Förster, Michael Kaufmann, Laura Merker, Sergey Pupyrev, Chrysanthi Raftopoulou

Abstract: A linear layout of a graph $ G $ consists of a linear order $\prec$ of the vertices and a partition of the edges. A part is called a queue (stack) if no two edges nest (cross), that is, two edges $ (v,w) $ and $ (x,y) $ with $ v \prec x \prec y \prec w $ ($ v \prec x \prec w \prec y $) may not be in the same queue (stack). The best known lower and upper bounds for the number of queues needed for p… ▽ More A linear layout of a graph $ G $ consists of a linear order $\prec$ of the vertices and a partition of the edges. A part is called a queue (stack) if no two edges nest (cross), that is, two edges $ (v,w) $ and $ (x,y) $ with $ v \prec x \prec y \prec w $ ($ v \prec x \prec w \prec y $) may not be in the same queue (stack). The best known lower and upper bounds for the number of queues needed for planar graphs are 4 [Alam et al., Algorithmica 2020] and 42 [Bekos et al., Algorithmica 2022], respectively. While queue layouts of special classes of planar graphs have received increased attention following the breakthrough result of [Dujmović et al., J. ACM 2020], the meaningful class of bipartite planar graphs has remained elusive so far, explicitly asked for by Bekos et al. In this paper we investigate bipartite planar graphs and give an improved upper bound of 28 by refining existing techniques. In contrast, we show that two queues or one queue together with one stack do not suffice; the latter answers an open question by Pupyrev [GD 2018]. We further investigate subclasses of bipartite planar graphs and give improved upper bounds; in particular we construct 5-queue layouts for 2-degenerate quadrangulations. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: An extended abstract of this paper appears in the Proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023

The hitting time of clique factors

Authors: Annika Heckel, Marc Kaufmann, Noela Müller, Matija Pasch

Abstract: In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting… ▽ More In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting of clique factors in the random graph process: At the time that the last vertex joins a copy of the complete graph $K_r$, the random graph process contains a $K_r$-factor. Our proof draws on a novel sequence of couplings, extending techniques of Riordan and the first author. An analogous result is proved for clique factors in the $s$-uniform hypergraph process ($s \ge 3$). △ Less

Submitted 16 February, 2023; originally announced February 2023.

MSC Class: 05C80; 05C70; 05C65

$k$-planar Placement and Packing of $Δ$-regular Caterpillars

Authors: Carla Binucci, Emilio Di Giacomo, Michael Kaufmann, Giuseppe Liotta, Alessandra Tappini

Abstract: This paper studies a \emph{packing} problem in the so-called beyond-planar setting, that is when the host graph is ``almost-planar'' in some sense. Precisely, we consider the case that the host graph is $k$-planar, i.e., it admits an embedding with at most $k$ crossings per edge, and focus on families of $Δ$-regular caterpillars, that are caterpillars whose non-leaf vertices have the same degree… ▽ More This paper studies a \emph{packing} problem in the so-called beyond-planar setting, that is when the host graph is ``almost-planar'' in some sense. Precisely, we consider the case that the host graph is $k$-planar, i.e., it admits an embedding with at most $k$ crossings per edge, and focus on families of $Δ$-regular caterpillars, that are caterpillars whose non-leaf vertices have the same degree $Δ$. We study the dependency of $k$ from the number $h$ of caterpillars that are packed, both in the case that these caterpillars are all isomorphic to one another (in which case the packing is called \emph{placement}) and when they are not. We give necessary and sufficient conditions for the placement of $h$ $Δ$-regular caterpillars and sufficient conditions for the packing of a set of $Δ_1$-, $Δ_2$-, $\dots$, $Δ_h$-regular caterpillars such that the degree $Δ_i$ and the degree $Δ_j$ of the non-leaf vertices can differ from one caterpillar to another, for $1 \leq i,j \leq h$, $i\neq j$. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Plethysm Products, Element and Plus Constructions

Authors: Ralph M. Kaufmann, Michael Monaco

Abstract: Motivated by viewing categories as bimodule monoids over their isomorphism groupoids, we construct monoidal structures called plethysm products on three levels: that is for bimodules, relative bimodules and factorizable bimodules. For the bimodules, we work in the general setting of actions by categories. We give a comprehensive theory linking these levels to each other as well as to Grothendieck… ▽ More Motivated by viewing categories as bimodule monoids over their isomorphism groupoids, we construct monoidal structures called plethysm products on three levels: that is for bimodules, relative bimodules and factorizable bimodules. For the bimodules, we work in the general setting of actions by categories. We give a comprehensive theory linking these levels to each other as well as to Grothendieck element constructions, indexed enrichments, decorations and algebras. Specializing to groupoid actions leads to applications including the plus construction. In this setting, the third level encompasses the known constructions of Baez-Dolan and its generalizations, as we prove. One new result is that that the plus construction can also be realized an element construction compatible with monoidal structures that we define. This allows us to prove a commutativity between element and plus constructions a special case of which was announced earlier. Specializing the results on the third level yield a criterion, when a definition of operad-like structure as a plethysm monoid -- as exemplified by operads -- is possible. △ Less

Submitted 11 May, 2025; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: minor changes concordant with the published version

Journal ref: C. R. Math. Acad. Sci. Paris 362 (2024), 357-411

Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories

Authors: Ralph M. Kaufmann, Michael Monaco

Abstract: Baez-Dolan type plus constructions serve three main purposes: They (1) corepresent categorical bimodules that are monoids with respect to a plethysm product, (2) allow to define functors as bimodule monoids, and thereby algebras over functors, (3) provide a theory of twists of monads. Unital (monoidal) bimodule monoids yield (monoidal) categories and the corepresentation is for indexed enrichmen… ▽ More Baez-Dolan type plus constructions serve three main purposes: They (1) corepresent categorical bimodules that are monoids with respect to a plethysm product, (2) allow to define functors as bimodule monoids, and thereby algebras over functors, (3) provide a theory of twists of monads. Unital (monoidal) bimodule monoids yield (monoidal) categories and the corepresentation is for indexed enrichments of categories. The original Baez--Dolan construction constructed algebras over operads. We define several of these constructions in the general context of categories and (symmetric) monoidal categories, show that they are functorial, and prove their corepresentation properties. One application is that the structures corepresented by an FC, like operads, props, etc. can be defined as plethysm monoids if and only if the corepresenting FC is a plus construction. In one direction, we prove that such a plus construction is based on the new notion of {Unique Factorization Category} (UFC). We also prove that the resulting FC has special properties, like being cubical. This explains why there is no monoid formulation for cyclic or modular operads or props, but there is for operads and properads. Using the bimodule monoids point of view, we prove that as monoidal bimodule monoids FCs are characterized by the fact that the functor constructing free algebras preserves the property of being strongly monoidal. We give a local presentation, as well as a global description, and a graphical version using decorated groupoid colored graphs. The global presentation utilizes pasting diagrams from 2-categories or equivalently double categories. In the special case of a UFC, we also present a graphical formalism with groupoid colored graphs. This allows us to identify our plus constructions as the step-by-step generalization of the Baez-Dolan plus constructions. △ Less

Submitted 25 March, 2025; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: Version 2. Shortened from previous and includes new material

Graph Product Structure for h-Framed Graphs

Authors: Michael A. Bekos, Giordano Da Lozzo, Petr Hliněný, Michael Kaufmann

Abstract: Graph product structure theory expresses certain graphs as subgraphs of the strong product of much simpler graphs. In particular, an elegant formulation for the corresponding structural theorems involves the strong product of a path and of a bounded treewidth graph, and allows to lift combinatorial results for bounded treewidth graphs to graph classes for which the product structure holds, such as… ▽ More Graph product structure theory expresses certain graphs as subgraphs of the strong product of much simpler graphs. In particular, an elegant formulation for the corresponding structural theorems involves the strong product of a path and of a bounded treewidth graph, and allows to lift combinatorial results for bounded treewidth graphs to graph classes for which the product structure holds, such as to planar graphs [Dujmović et al., J. ACM, 67(4), 22:1-38, 2020]. In this paper, we join the search for extensions of this powerful tool beyond planarity by considering the h-framed graphs, a graph class that includes 1-planar, optimal 2-planar, and k-map graphs (for appropriate values of h). We establish a graph product structure theorem for h-framed graphs stating that the graphs in this class are subgraphs of the strong product of a path, of a planar graph of treewidth at most 3, and of a clique of size $3\lfloor h/2 \rfloor +\lfloor h/3 \rfloor -1$. This allows us to improve over the previous structural theorems for 1-planar and k-map graphs. Our results constitute significant progress over the previous bounds on the queue number, non-repetitive chromatic number, and p-centered chromatic number of these graph classes, e.g., we lower the currently best upper bound on the queue number of 1-planar graphs and k-map graphs from 495 to 81 and from 32225k(k-3) to 61k, respectively. We also employ the product structure machinery to improve the current upper bounds of twin-width of planar and 1-planar graphs from 183 to 37, and from O(1) to 80, respectively. All our structural results are constructive and yield efficient algorithms to obtain the corresponding decompositions. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Self-adjusting Population Sizes for the $(1, λ)$-EA on Monotone Functions

Authors: Marc Kaufmann, Maxime Larcher, Johannes Lengler, Xun Zou

Abstract: We study the $(1,λ)$-EA with mutation rate $c/n$ for $c\le 1$, where the population size is adaptively controlled with the $(1:s+1)$-success rule. Recently, Hevia Fajardo and Sudholt have shown that this setup with $c=1$ is efficient on \onemax for $s<1$, but inefficient if $s \ge 18$. Surprisingly, the hardest part is not close to the optimum, but rather at linear distance. We show that this beha… ▽ More We study the $(1,λ)$-EA with mutation rate $c/n$ for $c\le 1$, where the population size is adaptively controlled with the $(1:s+1)$-success rule. Recently, Hevia Fajardo and Sudholt have shown that this setup with $c=1$ is efficient on \onemax for $s<1$, but inefficient if $s \ge 18$. Surprisingly, the hardest part is not close to the optimum, but rather at linear distance. We show that this behavior is not specific to \onemax. If $s$ is small, then the algorithm is efficient on all monotone functions, and if $s$ is large, then it needs superpolynomial time on all monotone functions. In the former case, for $c<1$ we show a $O(n)$ upper bound for the number of generations and $O(n\log n)$ for the number of function evaluations, and for $c=1$ we show $O(n\log n)$ generations and $O(n^2\log\log n)$ evaluations. We also show formally that optimization is always fast, regardless of $s$, if the algorithm starts in proximity of the optimum. All results also hold in a dynamic environment where the fitness function changes in each generation. △ Less

Submitted 12 July, 2023; v1 submitted 1 April, 2022; originally announced April 2022.

MSC Class: 68W50

Trees, graphs and aggregates: a categorical perspective on combinatorial surface topology, geometry, and algebra

Authors: Clemens Berger, Ralph M. Kaufmann

Abstract: Taking a Feynman categorical perspective, several key aspects of the geometry of surfaces are deduced from combinatorial constructions with graphs. This provides a direct route from combinatorics of graphs to string topology operations via topology, geometry and algebra. In particular, the inclusion of trees into graphs and the dissection of graphs into aggregates yield a concise formalism for c… ▽ More Taking a Feynman categorical perspective, several key aspects of the geometry of surfaces are deduced from combinatorial constructions with graphs. This provides a direct route from combinatorics of graphs to string topology operations via topology, geometry and algebra. In particular, the inclusion of trees into graphs and the dissection of graphs into aggregates yield a concise formalism for cyclic and modular operads as well as their polycyclic and surface type generalizations. The latter occur prominently in two-dimensional topological field theory and in string topology. The categorical viewpoint allows us to use left Kan extensions of Feynman operations as an efficient computational tool. The computations involve the study of certain categories of structured graphs which are expected to be of independent interest. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Koszul Feynman Categories

Authors: Ralph M. Kaufmann, Benjamin C. Ward

Abstract: A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul. The upshot is an explicit, minimal cofibrant resolution of any cubical Feynman category, which can be used to model $\infty$ versions of generalizations of oper… ▽ More A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul. The upshot is an explicit, minimal cofibrant resolution of any cubical Feynman category, which can be used to model $\infty$ versions of generalizations of operads for both graph based and non-graph based examples. △ Less

Submitted 8 August, 2023; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: final version with minor revisions

Journal ref: Proc. Amer. Math. Soc. 151 (2023), no. 8

The Mixed Page Number of Graphs

Authors: Jawaherul Md. Alam, Michael A. Bekos, Martin Gronemann, Michael Kaufmann, Sergey Pupyrev

Abstract: A linear layout of a graph typically consists of a total vertex order, and a partition of the edges into sets of either non-crossing edges, called stacks, or non-nested edges, called queues. The stack (queue) number of a graph is the minimum number of required stacks (queues) in a linear layout. Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a qu… ▽ More A linear layout of a graph typically consists of a total vertex order, and a partition of the edges into sets of either non-crossing edges, called stacks, or non-nested edges, called queues. The stack (queue) number of a graph is the minimum number of required stacks (queues) in a linear layout. Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. In this work we initiate the study of the mixed page number of a graph which corresponds to the minimum number of such sets. First, we study the edge density of graphs with bounded mixed page number. Then, we focus on complete and complete bipartite graphs, for which we derive lower and upper bounds on their mixed page number. Our findings indicate that combining stacks and queues is more powerful in various ways compared to the two traditional layouts. △ Less

Submitted 11 July, 2021; originally announced July 2021.

A combinatorial ${E_\infty}$-algebra structure on cubical cochains and the Cartan-Serre map

Authors: Ralph M. Kaufmann, Anibal M. Medina-Mardones

Abstract: Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to a full ${E_\infty}$-structure. As an application we prove that the Cartan-Serre map, which relates the cubical and simplicial singular cochains of spaces, is a… ▽ More Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to a full ${E_\infty}$-structure. As an application we prove that the Cartan-Serre map, which relates the cubical and simplicial singular cochains of spaces, is a quasi-isomorphism of ${E_\infty}$-algebras. △ Less

Submitted 30 August, 2022; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: After referee suggestions

Report number: MPIM-Bonn-2021 MSC Class: 55N45; 18M70; 18M85

Pathlike Co/Bialgebras and their Antipodes with Applications to Bi- and Hopf Algebras Appearing in Topology, Number Theory and Physics

Authors: Ralph M. Kaufmann, Yang Mo

Abstract: We develop an algebraic theory of colored, semigrouplike-flavored and pathlike co-, bi- and Hopf algebras. This is the right framework in which to discuss antipodes for bialgebras naturally appearing in combinatorics, topology, number theory and physics. In particular, we can precisely give conditions for the invertibility of characters that is needed for renormalization in the formulation of Conn… ▽ More We develop an algebraic theory of colored, semigrouplike-flavored and pathlike co-, bi- and Hopf algebras. This is the right framework in which to discuss antipodes for bialgebras naturally appearing in combinatorics, topology, number theory and physics. In particular, we can precisely give conditions for the invertibility of characters that is needed for renormalization in the formulation of Connes and Kreimer. These are met in the relevant examples. In order to construct antipodes, we discuss formal localization constructions and quantum deformations. These allow to define and explain the appearance of Brown style coactions. Using previous results, we can interpret all the relevant coalgebras as stemming from a categorical construction, tie the bialgebra structures to Feynman categories, and apply the developed theory in this setting. △ Less

Submitted 11 July, 2022; v1 submitted 18 April, 2021; originally announced April 2021.

Journal ref: SIGMA 18 (2022), 053, 42 pages

Cochain level May-Steenrod operations

Authors: Ralph M. Kaufmann, Anibal M. Medina-Mardones

Abstract: Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain approximation to the diagonal. He later defined his homonymous operations for all primes using the homology of symmetric groups. This approach enhanced the conceptual… ▽ More Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain approximation to the diagonal. He later defined his homonymous operations for all primes using the homology of symmetric groups. This approach enhanced the conceptual understanding of the operations and allowed for many advances, but lacked the concreteness of their definition at the even prime. In recent years, thanks to the development of new applications of cohomology, the need to have an effectively computable definition of Steenrod operations has become a key issue. Using the operadic viewpoint of May, this article provides such definitions at all primes introducing multioperations that generalize the Steenrod cup-$i$ products on the simplicial and cubical cochains of spaces. △ Less

Submitted 13 October, 2021; v1 submitted 6 October, 2020; originally announced October 2020.

Comments: Published in Forum Mathematicum, 2021

Report number: MPIM-Bonn-2021 MSC Class: 55S05; 55U05; 55S10; 55S12; 55-04; 55U15; 55S15

Four Pages Are Indeed Necessary for Planar Graphs

Authors: Michael A. Bekos, Michael Kaufmann, Fabian Klute, Sergey Pupyrev, Chrysanthi Raftopoulou, Torsten Ueckerdt

Abstract: An embedding of a graph in a book consists of a linear order of its vertices along the spine of the book and of an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The book thickness of a graph is the minimum number of pages over all its book embeddings. Accordingly, the book thickness of a class of graphs is the maximum book thickness over all its mem… ▽ More An embedding of a graph in a book consists of a linear order of its vertices along the spine of the book and of an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The book thickness of a graph is the minimum number of pages over all its book embeddings. Accordingly, the book thickness of a class of graphs is the maximum book thickness over all its members. In this paper, we address a long-standing open problem regarding the exact book thickness of the class of planar graphs, which previously was known to be either three or four. We settle this problem by demonstrating planar graphs that require four pages in any of their book embeddings, thus establishing that the book thickness of the class of planar graphs is four. △ Less

Submitted 16 April, 2020; originally announced April 2020.

Three Hopf algebras from number theory, physics & topology, and their common background II: general categorical formulation

Authors: Imma Gálvez-Carrillo, Ralph M. Kaufmann, Andrew Tonks

Abstract: We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial obje… ▽ More We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, co-operads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretations of known constructions in a large common framework which is presented step-by-step with examples throughout. In this second part of two papers, we give the general categorical formulation. △ Less

Submitted 23 January, 2020; originally announced January 2020.

Comments: This is the second part of the final version of arXiv 1607.00196. The first part is available as the replacement of arXiv 1607.00196

Report number: MPIM 2019-47

Coloring outerplanar graphs and planar 3-trees with small monochromatic components

Authors: Michael A. Bekos, Carla Binucci, Michael Kaufmann, Chrysanthi Raftopoulou, Antonios Symvonis, Alessandra Tappini

Abstract: In this work, we continue the study of vertex colorings of graphs, in which adjacent vertices are allowed to be of the same color as long as each monochromatic connected component is of relatively small cardinality. We focus on colorings with two and three available colors and present improved bounds on the size of the monochromatic connected components for two meaningful subclasses of planar grap… ▽ More In this work, we continue the study of vertex colorings of graphs, in which adjacent vertices are allowed to be of the same color as long as each monochromatic connected component is of relatively small cardinality. We focus on colorings with two and three available colors and present improved bounds on the size of the monochromatic connected components for two meaningful subclasses of planar graphs, namely maximal outerplanar graphs and complete planar 3-trees. △ Less

Submitted 25 November, 2019; originally announced November 2019.

Feynman categories and Representation Theory

Authors: Ralph M. Kaufmann

Abstract: We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching generalization of groups, algebras and modules. Taking a new algebraic approach, we provide more examples and more details for several key constructions. This l… ▽ More We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching generalization of groups, algebras and modules. Taking a new algebraic approach, we provide more examples and more details for several key constructions. This leads to new applications and results. The text is intended to be a self--contained basis for a crossover of more elevated constructions and results in the fields of representation theory and Feynman categories, whose applications so far include number theory, geometry, topology and physics. △ Less

Submitted 25 October, 2020; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: Revised version includes details on double categories and other ameliorations

The QuaSEFE Problem

Authors: Patrizio Angelini, Henry Förster, Michael Hoffmann, Michael Kaufmann, Stephen Kobourov, Giuseppe Liotta, Maurizio Patrignani

Abstract: We initiate the study of Simultaneous Graph Embedding with Fixed Edges in the beyond planarity framework. In the QuaSEFE problem, we allow edge crossings, as long as each graph individually is drawn quasiplanar, that is, no three edges pairwise cross. We show that a triple consisting of two planar graphs and a tree admit a QuaSEFE. This result also implies that a pair consisting of a 1-planar grap… ▽ More We initiate the study of Simultaneous Graph Embedding with Fixed Edges in the beyond planarity framework. In the QuaSEFE problem, we allow edge crossings, as long as each graph individually is drawn quasiplanar, that is, no three edges pairwise cross. We show that a triple consisting of two planar graphs and a tree admit a QuaSEFE. This result also implies that a pair consisting of a 1-planar graph and a planar graph admits a QuaSEFE. We show several other positive results for triples of planar graphs, in which certain structural properties for their common subgraphs are fulfilled. For the case in which simplicity is also required, we give a triple consisting of two quasiplanar graphs and a star that does not admit a QuaSEFE. Moreover, in contrast to the planar SEFE problem, we show that it is not always possible to obtain a QuaSEFE for two matchings if the quasiplanar drawing of one matching is fixed. △ Less

Submitted 23 August, 2019; originally announced August 2019.

Comments: Appears in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)

MSC Class: 68R10

Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity

Authors: Patrizio Angelini, Michael A. Bekos, Michael Kaufmann, Thomas Schneck

Abstract: Beyond-planarity focuses on combinatorial properties of classes of non-planar graphs that allow for representations satisfying certain local geometric or topological constraints on their edge crossings. Beside the study of a specific graph class for its maximum edge density, another parameter that is often considered in the literature is the size of the largest complete or complete bipartite graph… ▽ More Beyond-planarity focuses on combinatorial properties of classes of non-planar graphs that allow for representations satisfying certain local geometric or topological constraints on their edge crossings. Beside the study of a specific graph class for its maximum edge density, another parameter that is often considered in the literature is the size of the largest complete or complete bipartite graph belonging to it. Overcoming the limitations of standard combinatorial arguments, we present a technique to systematically generate all non-isomorphic topological representations of complete and complete bipartite graphs, taking into account the constraints of the specific class. As a proof of concept, we apply our technique to various beyond-planarity classes and achieve new tight bounds for the aforementioned parameter. △ Less

Submitted 26 August, 2019; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: Appears in the Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)

The number of crossings in multigraphs with no empty lens

Authors: Michael Kaufmann, Janos Pach, Geza Toth, Torsten Ueckerdt

Abstract: Let $G$ be a multigraph with $n$ vertices and $e>4n$ edges, drawn in the plane such that any two parallel edges form a simple closed curve with at least one vertex in its interior and at least one vertex in its exterior. Pach and Tóth (A Crossing Lemma for Multigraphs, SoCG 2018) extended the Crossing Lemma of Ajtai et al. (Crossing-free subgraphs, North-Holland Mathematics Studies, 1982) and Leig… ▽ More Let $G$ be a multigraph with $n$ vertices and $e>4n$ edges, drawn in the plane such that any two parallel edges form a simple closed curve with at least one vertex in its interior and at least one vertex in its exterior. Pach and Tóth (A Crossing Lemma for Multigraphs, SoCG 2018) extended the Crossing Lemma of Ajtai et al. (Crossing-free subgraphs, North-Holland Mathematics Studies, 1982) and Leighton (Complexity issues in VLSI, Foundations of computing series, 1983) by showing that if no two adjacent edges cross and every pair of nonadjacent edges cross at most once, then the number of edge crossings in $G$ is at least $αe^3/n^2$, for a suitable constant $α>0$. The situation turns out to be quite different if nonparallel edges are allowed to cross any number of times. It is proved that in this case the number of crossings in $G$ is at least $αe^{2.5}/n^{1.5}$. The order of magnitude of this bound cannot be improved. △ Less

Submitted 19 October, 2021; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: Appears in the Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)

A detailed look on actions on Hochschild complexes especially the degree $1$ co-product and actions on loop spaces

Authors: Ralph M. Kaufmann

Abstract: We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action, specialize to the aforementioned coproduct and prove that the assumption of commutativity, made for convenience in [Kau08a], is not needed. We give detailed background… ▽ More We explain our previous results about Hochschild actions [Kau07a, Kau08a] pertaining in particular to the coproduct which appeared in a different form in [GH09] and provide a fresh look at the results. We recall the general action, specialize to the aforementioned coproduct and prove that the assumption of commutativity, made for convenience in [Kau08a], is not needed. We give detailed background material on loop spaces, Hochschild complexes and dualizations, and discuss details and extensions of these techniques which work for all operations of [Kau07a, Kau08a]. With respect to loop spaces, we show that the co--product is well defined modulo constant loops and going one step further that in the case of a graded Gorenstein Frobenius algebra, the co--product is well defined on the reduced normalized Hochschild complex. We discuss several other aspects such as ``time reversal'' duality and several homotopies of operations induced by it. This provides a cohomology operation which is a homotopy of the anti--symmetrization of the coproduct. The obstruction again vanishes on the reduced normalized Hochschild complex if the Frobenius algebra is graded Gorenstein. Further structures such as ``animation'' and the BV structure and a coloring for operations on chains and cochains and a Gerstenhaber double bracket are briefly treated. △ Less

Submitted 13 October, 2021; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: Changes: Rearranged exposition. More explanations and more material on actions on Hochschild chains and cochains, animation and double brackets

On Dispersable Book Embeddings

Authors: Jawaherul Md. Alam, Michael A. Bekos, Martin Gronemann, Michael Kaufmann, Sergey Pupyrev

Abstract: In a dispersable book embedding, the vertices of a given graph $G$ must be ordered along a line l, called spine, and the edges of G must be drawn at different half-planes bounded by l, called pages of the book, such that: (i) no two edges of the same page cross, and (ii) the graphs induced by the edges of each page are 1-regular. The minimum number of pages needed by any dispersable book embedding… ▽ More In a dispersable book embedding, the vertices of a given graph $G$ must be ordered along a line l, called spine, and the edges of G must be drawn at different half-planes bounded by l, called pages of the book, such that: (i) no two edges of the same page cross, and (ii) the graphs induced by the edges of each page are 1-regular. The minimum number of pages needed by any dispersable book embedding of $G$ is referred to as the dispersable book thickness $dbt(G)$ of $G$. Graph $G$ is called dispersable if $dbt(G) = Δ(G)$ holds (note that $Δ(G) \leq dbt(G)$ always holds). Back in 1979, Bernhart and Kainen conjectured that any $k$-regular bipartite graph $G$ is dispersable, i.e., $dbt(G)=k$. In this paper, we disprove this conjecture for the cases $k=3$ (with a computer-aided proof), and $k=4$ (with a purely combinatorial proof). In particular, we show that the Gray graph, which is 3-regular and bipartite, has dispersable book thickness four, while the Folkman graph, which is 4-regular and bipartite, has dispersable book thickness five. On the positive side, we prove that 3-connected 3-regular bipartite planar graphs are dispersable, and conjecture that this property holds, even if 3-connectivity is relaxed. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comprehensive factorisation systems

Authors: Clemens Berger, Ralph M. Kaufmann

Abstract: We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems exist for the categories of topological spaces, simplicial sets, small multicategories and Feynman categories. In each case comprehensive factorisation induces a… ▽ More We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems exist for the categories of topological spaces, simplicial sets, small multicategories and Feynman categories. In each case comprehensive factorisation induces a natural notion of universal covering, leading to a Galois-type definition of fundamental group for based objects of the category. △ Less

Submitted 5 January, 2018; v1 submitted 25 October, 2017; originally announced October 2017.

Comments: 22 pages. Final version. Section 3 extended. References completed

MSC Class: Primary 18A25; 18A32; Secondary 18D50; 12F10

Journal ref: Tbilisi Math. J. 10 (2017), 255-277

Lectures on Feynman categories

Authors: Ralph M. Kaufmann

Abstract: These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical way to encode operations and relations. This includes the aspects of operad--like theories such as PROPs, modular operads, twisted (modular) operads, properads,… ▽ More These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical way to encode operations and relations. This includes the aspects of operad--like theories such as PROPs, modular operads, twisted (modular) operads, properads, hyperoperads and their colored versions. There is more depth to the general theory as it applies as well to algebras over operads and an abundance of other related structures, such as crossed simplicial groups, the augmented simplicial category or FI--modules. Through decorations and transformations the theory is also related to the geometry of moduli spaces. Furthermore the morphisms in a Feynman category give rise to Hopf-- and bi--algebras with examples coming from topology, number theory and quantum field theory. All these aspects are covered. △ Less

Submitted 22 February, 2017; originally announced February 2017.

Comments: This is a longer version of the lectures given at the "Workshop on Higher Structures" at MATRIX Melbourne in Creswick, June 7 and 9, 2016

1-Fan-Bundle-Planar Drawings of Graphs

Authors: Patrizio Angelini, Michael A. Bekos, Michael Kaufmann, Philipp Kindermann, Thomas Schneck

Abstract: Edge bundling is an important concept heavily used for graph visualization purposes. To enable the comparison with other established near-planarity models in graph drawing, we formulate a new edge-bundling model which is inspired by the recently introduced fan-planar graphs. In particular, we restrict the bundling to the end segments of the edges. Similarly to 1-planarity, we call our model 1-fan-… ▽ More Edge bundling is an important concept heavily used for graph visualization purposes. To enable the comparison with other established near-planarity models in graph drawing, we formulate a new edge-bundling model which is inspired by the recently introduced fan-planar graphs. In particular, we restrict the bundling to the end segments of the edges. Similarly to 1-planarity, we call our model 1-fan-bundle-planarity, as we allow at most one crossing per bundle. For the two variants where we allow either one or, more naturally, both end segments of each edge to be part of bundles, we present edge density results and consider various recognition questions, not only for general graphs, but also for the outer and 2-layer variants. We conclude with a series of challenging questions. △ Less

Submitted 6 September, 2018; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017)

Journal ref: Theor. Comput. Sci. 723: 23-50 (2018)

Iterated Ultrapowers for the Masses

Authors: Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Abstract: We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory. We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory. △ Less

Submitted 30 July, 2017; v1 submitted 11 February, 2017; originally announced February 2017.

Comments: 24 pages plus appendix with solutions to the exercises

MSC Class: 03C20; 03C50

Three Hopf algebras from number theory, physics & topology, and their common background I: operadic & simplicial aspects

Authors: Imma Gálvez-Carrillo, Ralph M. Kaufmann, Andrew Tonks

Abstract: We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial obje… ▽ More We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, co-operads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretations of known constructions in a large common framework, which is presented step-by-step with examples throughout. In this first part of two papers, we concentrate on the simplicial and operadic aspects. △ Less

Submitted 23 January, 2020; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: This replacement is part I of the final version of the paper, which has been split into two parts. The second part is available from the arXiv under the title "Three Hopf algebras from number theory, physics & topology, and their common background II: general categorical formulation" arXiv:2001.08722

Report number: previous version MPIM 2019-47

Largest initial segments pointwise fixed by automorphisms of models of set theory

Authors: Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Abstract: Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$, let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$ for every $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed within $\mathcal{M}$). Here we study the class $\mathcal{C}$ of… ▽ More Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$, let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$ for every $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed within $\mathcal{M}$). Here we study the class $\mathcal{C}$ of structures of the form $\mathcal{I}_{\mathrm{fix}}(j)$, where the ambient model $\mathcal{M}$ satisfies a frugal yet robust fragment of $\mathrm{ZFC}$ known as $\mathrm{MOST}$, and $j(m)=m$ whenever $m$ is a finite ordinal in the sense of $\mathcal{M}$. We show that every structure in $\mathcal{C}$ satisfies $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$. We also show that the following countable structures are in $\mathcal{C}$: (a) transitive models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$, (b) recursively saturated models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$, (c) models of $\mathrm{ZFC}$. It follows from (b) that the theory of $\mathcal{C}$ is precisely $\mathrm{MOST+Δ}_{0}^{\mathcal{P}}$-Collection. We conclude by proving a refinement of a result due to Amir Togha. △ Less

Submitted 23 November, 2016; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 44 pages

MSC Class: 03C62

Permutahedral Structures of $E_2$ Operads

Authors: Ralph M. Kaufmann, Yongheng Zhang

Abstract: There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces. We show how the second breed can be covered by permutahedra as well. Even more is true, the quotient is actually already an operad up to homotopy, which induce… ▽ More There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces. We show how the second breed can be covered by permutahedra as well. Even more is true, the quotient is actually already an operad up to homotopy, which induces the operad structure on cellular chains adapted to prove Deligne's conjecture, while no such structure is known on Milgram's space. We show, explicitely, that these two quotients are homotopy equivalent. This gives a new topological proof that operads of this type are indeed of the right homotopy type. It also furnishes a very nice clean description in terms of polyhedra, and with it PL topology, for the whole story. The permutahedra and partial orders play a central role. This, in turn, provides direct links to other fields of mathematics. We for instance find a new cellular decomposition of permutahedra using partial orders and that the permutahedra give the cells for the Dyer--Lashof operations. △ Less

Submitted 26 February, 2016; originally announced February 2016.

Comments: 25 figures

Decorated Feynman Categories

Authors: Ralph M. Kaufmann, Jason Lucas

Abstract: In [KW14], the new concept of Feynman categories was introduced to simplify the discussion of operad--like objects. In this present paper, we demonstrate the usefulness of this approach, by introducing the concept of decorated Feynman categories. The procedure takes a Feynman category $\mathfrak F$ and a functor $\mathcal O$ to a monoidal category to produce a new Feynman category… ▽ More In [KW14], the new concept of Feynman categories was introduced to simplify the discussion of operad--like objects. In this present paper, we demonstrate the usefulness of this approach, by introducing the concept of decorated Feynman categories. The procedure takes a Feynman category $\mathfrak F$ and a functor $\mathcal O$ to a monoidal category to produce a new Feynman category ${\mathfrak F}_{dec {\mathcal O}}$. This in one swat explains the existence of non--sigma operads, non--sigma cyclic operads, and the non--sigma--modular operads of Markl as well as all the usual candidates simply from the category $\mathfrak G$, which is a full subcategory of the category of graphs of [BM08]. Moreover, we explain the appearance of terminal objects noted in [Mar15]. We can then easily extend this for instance to the dihedral case. Furthermore, we obtain graph complexes and all other known operadic type notions from decorating and restricting the basic Feynman category $\mathfrak G$ of aggregates of corollas. We additionally show that the construction is functorial. There are further geometric and number theoretic applications, which will follow in a separate preprint. △ Less

Submitted 13 November, 2017; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: Updated version from 6/8/16 to appear in J. of Noncommutative Geometry

Vertex-Coloring with Star-Defects

Authors: Patrizio Angelini, Michael A. Bekos, Michael Kaufmann, Vincenzo Roselli

Abstract: Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the s… ▽ More Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components. In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors. △ Less

Submitted 23 March, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

The Book Thickness of 1-Planar Graphs is Constant

Authors: Michael A. Bekos, Till Bruckdorfer, Michael Kaufmann, Chrysanthi N. Raftopoulou

Abstract: In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, th… ▽ More In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, the best non-trivial previous upper-bound is $O(\sqrt{n})$, where $n$ is the number of vertices of the graph. △ Less

Submitted 30 March, 2015; v1 submitted 17 March, 2015; originally announced March 2015.