planar
3156 papers tagged with this keyword
$k$-planar Placement and Packing of $Δ$-regular Caterpillars
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$.
Combinatorial reciprocity for non-intersecting paths
Published in Enumerative Combinatorics and Applications, 3(2), 2023
• View Publication
• BIB
We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths, and reciprocity for Schur function evaluations with repeated values.
From higher order free cumulants to non-separable hypermaps
Higher order free moments and cumulants, introduced by Collins, Mingo, Śniady and Speicher in 2006, describe the fluctuations of unitarily invariant random matrices in the limit of infinite size. The functional relations between their generating functions were only found last year by Borot, Garcia-Failde, Charbonnier, Leid and Shadrin and a combinatorial derivation is still missing. We simplify these relations and show how their combinatorial derivation reduces to the computation of generating functions of planar non-separable hypermaps with prescribed vertex valencies and weighted hyper-edges. The functional relations obtained by Borot et al. involve some remarkable simplifications, which can be formulated as identities satisfied by these generating functions. The case of third order free cumulants, whose combinatorial understanding was already out of reach, is derived explicitly.
Noncrossing partitions of an annulus
Published
• View Publication
• BIB
The noncrossing partition poset associated to a Coxeter group $W$ and Coxeter element $c$ is the interval $[1,c]_T$ in the absolute order on $W$. We construct a new model of noncrossing partititions for $W$ of classical affine type, using planar diagrams (affine types $\tilde A$ and $\tilde C$ in this paper and affine types $\tilde D$ and $\tilde B$ in the sequel). The model in type $\tilde A$ consists of noncrossing partitions of an annulus. In type $\tilde C$, the model consists of symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. Following the lead of McCammond and Sulway, we complete $[1,c]_T$ to a lattice by factoring the translations in $[1,c]_T$, but the combinatorics of the planar diagrams leads us to make different choices about how to factor.
Independence numbers of polyhedral graphs
Published
• View Publication
• BIB
A polyhedral graph is a $3$-connected planar graph. We find the least possible order $p(k,a)$ of a polyhedral graph containing a $k$-independent set of size $a$ for all positive integers $k$ and $a$. In the case $k = 1$ and $a$ even, we prove that the extremal graphs are exactly the vertex-face (radial) graphs of maximal planar graphs.
Rational tensegrities through the lens of toric geometry
Published
• View Publication
• BIB
A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. For a given rational tensegrity framework $\mathcal{F}$, we construct a glued toric surface $X_\mathcal{F}$. We show that the abelian group of tensegrities on $\mathcal{F}$ is isomorphic to a subgroup of the Chow group $A^1(X_\mathcal{F};\QQ)$. In the case of planar frameworks, we show how to explicitly carry out the computation of tensegrities via classical tools in toric geometry.
Planar Turán number of disjoint union of $C_3$ and $C_4$
Published
• View Publication
• BIB
The {\em planar Turán number} of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is a trivial value $3n-6$. Lan, Shi and Song determine the exact value of $ex_{\mathcal{P}}(n,2C_3)$. We continue to study planar Turán number of vertex-disjoint union of cycles and obtain the exact value of $ex_{\mathcal{P}}(n,H)$, where $H$ is vertex-disjoint union of $C_3$ and $C_4$. The extremal graphs are also characterized. We also improve the lower bound of $ex_{\mathcal{P}}(n,2C_k)$ when $k$ is sufficiently large.
Matching Cuts in Graphs of High Girth and H-Free Graphs
Published
• View Publication
• BIB
The (Perfect) Matching Cut problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The Disconnected Perfect Matching problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both Matching Cut and Disconnected Perfect Matching are NP-complete for planar graphs of girth 5, whereas Perfect Matching Cut is known to be NP-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that Matching Cut and Disconnected Perfect Matching are also NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for Matching Cut resolves a 20-year old open problem. We also show that the more general problem $d$-Cut, for every fixed $d \geq 1$, is NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that Matching Cut, Perfect Matching Cut and Disconnected Perfect Matching are NP-complete for $H$-free graphs whenever $H$ contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for $H$-free graphs and compare them with each other, and with a known and full classification of the Maximum Matching Cut problem, which is to determine a largest matching cut of a graph $G$. Finally, by combining existing results, we obtain a complete complexity classification of Perfect Matching Cut for $H$-subgraph-free graphs where $H$ is any finite set of graphs.
An Algebraic Approach for Counting DP-3-colorings of Sparse Graphs
Published
• View Publication
• BIB
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial of a graph $G$, $P(G,m)$, and the list color function, $P_{\ell}(G,m)$, the DP color function of $G$, denoted by $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. It follows that $P_{DP}(G,m) \le P_{\ell}(G,m) \le P(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is known that the DP color function is not chromatic-adherent, but there are only two known graphs that demonstrate this. Suppose $G$ is an $n$-vertex graph and $\mathcal{H}$ is a 3-fold cover of $G$, in this paper we associate with $\mathcal{H}$ a polynomial $f_{G, \mathcal{H}} \in \mathbb{F}_3[x_1, \ldots, x_n]$ so that the number of non-zeros of $f_{G, \mathcal{H}}$ equals the number of $\mathcal{H}$-colorings of $G$. We then use a well-known result of Alon and Füredi on the number of non-zeros of a polynomial to establish a non-trivial lower bound on $P_{DP}(G,3)$ when $2n > |E(G)|$. An easy consequence of this is that $P_{DP}(G, 3) \geq 3^{n/6}$ for every $n$-vertex planar graph $G$ of girth at least 5, improving the previously known bounds on both $P_{DP}(G, 3)$ and $P_{\ell}(G, 3)$. Finally, we use this bound to show that there are infinitely many graphs that demonstrate the non-chromatic-adherence of the DP color function.
Circular flows in mono-directed signed graphs
Published
• View Publication
• BIB
In this paper the concept of circular $r$-flows in a mono-directed signed graph $(G, σ)$ is introduced. That is a pair $(D, f)$, where $D$ is an orientation on $G$ and $f: E(G)\to (-r,r)$ satisfies that $|f(e)|\in [1, r-1]$ for each positive edge $e$ and $|f(e)|\in [0, \frac{r}{2}-1]\cup [\frac{r}{2}+1, r)$ for each negative edge $e$, and the total in-flow equals the total out-flow at each vertex. The circular flow index of a signed graph $(G, σ)$ with no positive bridge, denoted $Φ_c(G,σ)$, is the minimum $r$ such that $(G, σ)$ admits a circular $r$-flow. This is the dual notion of circular colorings and circular chromatic numbers of signed graphs recently introduced in [Circular chromatic number of signed graphs. R. Naserasr, Z. Wang, and X. Zhu. Electronic Journal of Combinatorics, 28(2)(2021), \#P2.44], and is distinct from the concept of circular flows in bi-directed graphs associated to signed graphs studied in the literature. We give several equivalent definitions, study basic properties of circular flows in mono-directed signed graphs, explore relations with flows in graphs, and focus on upper bounds on $Φ_c(G,σ)$ in terms of the edge-connectivity of $G$. Meanwhile, we note that for the particular values of $r_{_k}=\frac{2k}{k-1}$, and when restricted to two natural subclasses of signed graphs, the existence of a circular $r_{_k} $-flow is strongly connected with the existence of a modulo $k$-orientation, and in case of planar graphs, based on duality, with the homomorphisms to $C_{-k}$.
Edge separators for graphs excluding a minor
Published in Electronic Journal of Combinatorics, 30/4:P4.12, 2023
• View Publication
• BIB
We prove that every $n$-vertex $K_t$-minor-free graph $G$ of maximum degree $Δ$ has a set $F$ of $O(t^2(\log t)^{1/4}\sqrt{Δn})$ edges such that every component of $G - F$ has at most $n/2$ vertices. This is best possible up to the dependency on $t$ and extends earlier results of Diks, Djidjev, Sykora, and Vrťo (1993) for planar graphs, and of Sykora and Vrťo (1993) for bounded-genus graphs. Our result is a consequence of the following more general result: The line graph of $G$ is isomorphic to a subgraph of the strong product $H \boxtimes K_{\lfloor p \rfloor}$ for some graph $H$ with treewidth at most $t-2$ and $p = \sqrt{(t-3)Δ|E(G)|} + Δ$.
Color-Dressed Generalized Biadjoint Scalar Amplitudes: Local Planarity
Published in SIGMA 20 (2024), 016, 44 pages
• View Publication
• BIB
The biadjoint scalar theory has cubic interactions and fields transforming in the biadjoint representation of ${\rm SU}(N)\times {\rm SU}\big({\tilde N}\big)$. Amplitudes are "color" decomposed in terms of partial amplitudes computed using Feynman diagrams which are simultaneously planar with respect to two orderings. In 2019, a generalization of biadjoint scalar amplitudes based on generalized Feynman diagrams (GFDs) was introduced. GFDs are collections of Feynman diagrams derived by incorporating an additional constraint of "local planarity" into the construction of the arrangements of metric trees in combinatorics. In this work, we propose a natural generalization of color orderings which leads to color-dressed amplitudes. A generalized color ordering (GCO) is defined as a collection of standard color orderings that is induced, in a precise sense, from an arrangement of projective lines on $\mathbb{RP}^2$. We present results for $n\leq 9$ generalized color orderings and GFDs, uncovering new phenomena in each case. We discover generalized decoupling identities and propose a definition of the "colorless" generalized scalar amplitude. We also propose a notion of GCOs for arbitrary $\mathbb{RP}^{k-1}$, discuss some of their properties, and comment on their GFDs. In a companion paper, we explore the definition of partial amplitudes using CEGM integral formulas.
Flips in Two-dimensional Hypertriangulations
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
We study flips in hypertriangulations of planar points sets. Here a level-$k$ hypertriangulation of $n$ points in the planes is a subdivision induced by the projection of a $k$-hypersimplex, which is the convex hull of the barycenters of the $(k-1)$-dimensional faces of the standard $(n-1)$-simplex. In particular, we introduce four types of flips and prove that the level-2 hypertriangulations are connected by these flips.
Relaxation of Wegner's Planar Graph Conjecture for maximum degree 4
Published
• View Publication
• BIB
The famous Wegner's Planar Graph Conjecture asserts tight upper bounds on the chromatic number of the square $G^2$ of a planar graph $G$, depending on the maximum degree $Δ(G)$ of $G$. The only case that the conjecture is resolved is when $Δ(G)=3$, which was proven to be true by Thomassen, and independently by Hartke, Jahanbekam, and Thomas. For $Δ(G)=4$, Wegner's Planar Graph Conjecture states that the chromatic number of $G^2$ is at most 9; even this case is still widely open, and very recently Bousquet, de Meyer, Deschamps, and Pierron claimed an upper bound of 12.
We take a completely different approach, and show that a relaxation of properly coloring the square of a planar graph $G$ with $Δ(G)=4$ can be achieved with 9 colors. Instead of requiring every color in the neighborhood of a vertex to be unique, which is equivalent to a proper coloring of $G^2$, we seek a proper coloring of $G$ such that at most one color is allowed to be repeated in the neighborhood of a vertex of degree 4, but nowhere else.
Excluding Single-Crossing Matching Minors in Bipartite Graphs
Published
• View Publication
• BIB
\noindent By a seminal result of Valiant, computing the permanent of $(0,1)$-matrices is, in general, $\#\mathsf{P}$-hard. In 1913 Pólya asked for which $(0,1)$-matrices $A$ it is possible to change some signs such that the permanent of $A$ equals the determinant of the resulting matrix. In 1975, Little showed these matrices to be exactly the biadjacency matrices of bipartite graphs excluding $K_{3,3}$ as a \{matching minor}. This was turned into a polynomial time algorithm by McCuaig, Robertson, Seymour, and Thomas in 1999. However, the relation between the exclusion of some matching minor in a bipartite graph and the tractability of the permanent extends beyond $K_{3,3}.$ Recently it was shown that the exclusion of any planar bipartite graph as a matching minor yields a class of bipartite graphs on which the {permanent} of the corresponding $(0,1)$-matrices can be computed efficiently. In this paper we unify the two results above into a single, more general result in the style of the celebrated structure theorem for single-crossing-minor-free graphs. We identify a class of bipartite graphs strictly generalising planar bipartite graphs and $K_{3,3}$ which includes infinitely many non-Pfaffian graphs. The exclusion of any member of this class as a matching minor yields a structure that allows for the efficient evaluation of the permanent. Moreover, we show that the evaluation of the permanent remains $\#\mathsf{P}$-hard on bipartite graphs which exclude $K_{5,5}$ as a matching minor. This establishes a first computational lower bound for the problem of counting perfect matchings on matching minor closed classes.
A non-constructive proof of the Four Colour Theorem
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
On lattice extensions
Published
• View Publication
• BIB
A lattice $Λ$ is said to be an extension of a sublattice $L$ of smaller rank if $L$ is equal to the intersection of $Λ$ with the subspace spanned by $L$. The goal of this paper is to initiate a systematic study of the geometry of lattice extensions. We start by proving the existence of a small-determinant extension of a given lattice, and then look at successive minima and covering radius. To this end, we investigate extensions (within an ambient lattice) preserving the successive minima of the given lattice, as well as extensions preserving the covering radius. We also exhibit some interesting arithmetic properties of deep holes of planar lattices.
Product structure extension of the Alon--Seymour--Thomas theorem
Published in SIAM Journal on Discrete Mathematics, 38(3):2095--2107, 2024
• View Publication
• BIB
Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, Scott and Wood [2022], we prove that the treewidth bound can be reduced to $4$ while keeping blowups of order $O_t(\sqrt{n})$. As an extension of the Lipton--Tarjan theorem, in the case of planar graphs, we show that the treewidth can be further reduced to $2$, which is best possible. We generalise this result for $K_{3,t}$-minor-free graphs, with blowups of order $O(t\sqrt{n})$. This setting includes graphs embeddable on any fixed surface.
On the Difference Graph of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The enhanced power graph of a finite group $G$ is a simple undirected graph whose vertex set is the group $G$ and two vertices $a$ and $b$ are adjacent if there exists $c \in G$ such that both $a$ and $b$ are powers of $c$. In this paper, we investigate the difference graph $\mathcal{D}(G)$ of a finite group $G$, which is the difference of the enhanced power graph and the power graph of $G$ with all isolated vertices removed. We study the difference graphs of finite groups with forbidden subgraphs among other results. We first characterize an arbitrary finite group $G$ such that $\mathcal{D}(G)$ is a chordal graph, star graph, dominatable, threshold graph, and split graph. From this, we conclude that the latter four graph classes are equivalent for $\mathcal{D}(G)$. By applying these results, we classify the nilpotent groups $G$ such that $\mathcal{D}(G)$ belong to the aforementioned five graph classes. This shows that all these graph classes are equivalent for $\mathcal{D}(G)$ when $G$ is nilpotent. Then, we characterize the nilpotent groups whose difference graphs are cograph, bipartite, Eulerian, planar, and outerplanar. Finally, we consider the difference graph of non-nilpotent groups and determine the values of $n$ such that the difference graphs of the symmetric group $S_n$ and alternating group $A_n$ are cograph, chordal, split, and threshold.
Universal asymptotic properties of positive functional equations with one catalytic variable
Published
• View Publication
• BIB
Functional equations with one catalytic appear in several combinatorial applications, most notably in the enumeration of lattice paths and in the enumeration of planar maps. The main purpose of this paper is to show that under certain positivity assumptions the dominant singularity of the solutions have a universal behavior. We have to distinguish between linear catalytic equations, where a dominating square root singularity appears, and non-linear catalytic equations, where we - usually - have a singularity of type 3/2.