planar
3209 papers tagged with this keyword
Weak diameter coloring of graphs on surfaces
Consider a graph $G$ drawn on a fixed surface, and assign to each vertex a list of colors of size at least two if $G$ is triangle-free and at least three otherwise. We prove that we can give each vertex a color from its list so that each monochromatic connected subgraph has bounded weak diameter (i.e., diameter measured in the metric of the whole graph $G$, not just the subgraph). In case that $G$ has bounded maximum degree, this implies that each connected monochromatic subgraph has bounded size. This solves a problem of Esperet and Joret for planar triangle-free graphs, and extends known results in the general case to the list setting, answering a question of Wood.
Geometric nature of relations on plabic graphs and totally non-negative Grassmannians
Published
• View Publication
• BIB
The standard parametrization of totally non-negative Grassmannians was obtained by A. Postnikov [45] introducing the boundary measurement map in terms of discrete path integration on planar bicolored (plabic) graphs in the disk. An alternative parametrization was proposed by T. Lam [38] introducing systems of relations on vectors on such graphs, depending on some signatures defined on edges. The problem of characterizing the signatures corresponding to the totally non-negative cells, was left open in [38]. In our paper we provide an explicit construction of such signatures, satisfying both the full rank condition and the total non-negativity property on the full positroid cell. If the graph $\mathcal G$ satisfies the following natural constraint: each edge belongs to some oriented path from the boundary to the boundary, then such signature is unique up to a vertex gauge transformation. Such signature is uniquely identified by geometric indices (local winding and intersection number) ruled by the orientation $\mathcal O$ and gauge ray direction $\mathfrak l$ on $\mathcal G$. Moreover, we provide a combinatorial representation of geometric signatures by showing that the total signature of every finite face just depends on the number of white vertices on it. The latter characterization is a Kasteleyn-type property [7,1] and we conjecture a mechanical-statistical interpretation of such relations. An explicit connection between the solution of Lam system of relations and the value of Postnikov boundary measurement map is established using the generalization of Talaska formula [50] obtained in [6]. In particular, the components of the edge vectors are rational in the edge weights with subtraction-free denominators. Finally, we provide explicit formulas for transformations of signatures under Postnikov moves and reductions, and amalgamations of networks.
Weak degeneracy of graphs
Published
• View Publication
• BIB
Motivated by the study of greedy algorithms for graph coloring, we introduce a new graph parameter, which we call weak degeneracy. By definition, every $d$-degenerate graph is also weakly $d$-degenerate. On the other hand, if $G$ is weakly $d$-degenerate, then $χ(G) \leq d + 1$ (and, moreover, the same bound holds for the list-chromatic and even the DP-chromatic number of $G$). It turns out that several upper bounds in graph coloring theory can be phrased in terms of weak degeneracy. For example, we show that planar graphs are weakly $4$-degenerate, which implies Thomassen's famous theorem that planar graphs are $5$-list-colorable. We also prove a version of Brooks's theorem for weak degeneracy: a connected graph $G$ of maximum degree $d \geq 3$ is weakly $(d-1)$-degenerate unless $G \cong K_{d + 1}$. (By contrast, all $d$-regular graphs have degeneracy $d$.) We actually prove an even stronger result, namely that for every $d \geq 3$, there is $ε> 0$ such that if $G$ is a graph of weak degeneracy at least $d$, then either $G$ contains a $(d+1)$-clique or the maximum average degree of $G$ is at least $d + ε$. Finally, we show that graphs of maximum degree $d$ and either of girth at least $5$ or of bounded chromatic number are weakly $(d - Ω(\sqrt{d}))$-degenerate, which is best possible up to the value of the implied constant.
On Asymptotic Packing of Geometric Graphs
Published in Discrete Applied Math. Volume 322, 15 December 2022, Pages 142-152
• View Publication
• BIB
A set of geometric graphs is {\em geometric-packable} if it can be asymptotically packed into every sequence of drawings of the complete graph $K_n$. For example, the set of geometric triangles is geometric-packable due to the existence of Steiner Triple Systems. When $G$ is the $4$-cycle (or $4$-cycle with a chord), we show that the set of plane drawings of $G$ is geometric-packable. In contrast, the analogous statement is false when $G$ is nearly any other planar Hamiltonian graph (with at most 3 possible exceptions). A convex geometric graph is {\em convex-packable} if it can be asymptotically packed into the convex drawings of the complete graphs. For each planar Hamiltonian graph $G$, we determine whether or not a plane $G$ is convex-packable. Many of our proofs explicitly construct these packings; in these cases, the packings exhibit a symmetry that mirrors the vertex transitivity of $K_n$.
Hilbert series of Parallelogram Polyominoes
Published
• View Publication
• BIB
We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.
Extended Double Covers and Homomorphism Bounds of Signed Graphs
Published in The Electronic Journal of Combinatorics 30(3):P3.31, 2023
• View Publication
• BIB
A \emph{signed graph} $(G, σ)$ is a graph $G$ together with an assignment $σ:E(G) \rightarrow \{+,-\}$. The notion of homomorphisms of signed graphs is a relatively new development which allows to strengthen the connection between the theories of minors and colorings of graphs. Following this thread of thoughts, we investigate this connection through the notion of Extended Double Covers of signed graphs, which was recently introduced by Naserasr, Sopena and Zaslavsky. More precisely, we say that a signed graph $(B, π)$ is planar-complete if any planar signed graph $(G, σ)$ which verifies the conditions of a basic no-homomorphism lemma with respect to $(B,π)$ admits a homomorphism to $(B, π)$. Our conjecture then is that: if $(B, π)$ is a connected signed graph with no positive odd closed walk which is planar-complete, then its Extended Double Cover ${\rm EDC}(B,π)$ is also planar-complete. We observe that this conjecture largely extends the Four-Color Theorem and is strongly connected to a number of conjectures in extension of this famous theorem.
A given (signed) graph $(B,π)$ \emph{bounds} a class of (signed) graphs if every (signed) graph in the class admits a homomorphism to $(B,π)$. In this work, and in support of our conjecture, we prove it for the subclass of signed $K_4$-minor free graphs. Inspired by this development, we then investigate the problem of finding optimal homomorphism bounds for subclasses of signed $K_4$-minor-free graphs with restrictions on their girth and we present nearly optimal solutions. Our work furthermore leads to the development of weighted signed graphs.
Growing uniform planar maps face by face
Published
• View Publication
• BIB
We provide "growth schemes" for inductively generating uniform random $2p$-angulations of the sphere with $n$ faces, as well as uniform random simple triangulations of the sphere with $2n$ faces. In the case of $2p$-angulations, we provide a way to insert a new face at a random location in a uniform $2p$-angulation with $n$ faces in such a way that the new map is precisely a uniform $2p$-angulation with $n+1$ faces. Similarly, given a uniform simple triangulation of the sphere with $2n$ faces, we describe a way to insert two new adjacent triangles so as to obtain a uniform simple triangulation of the sphere with $2n+2$ faces. The latter is based on a new bijective presentation of simple triangulations that relies on a construction by Poulalhon and Schaeffer.
Chords of 2-factors in planar cubic bridgeless graphs
Published in Graphs and Combinatorics 38, 177 (2022)
• View Publication
• BIB
We show that every edge in a 2-edge-connected planar cubic graph is either contained in a 2-edge-cut or is a chord of some cycle that is contained in a 2-factor of the graph. As a consequence, we show that every edge in a cyclically 4-edge-connected planar cubic graph, except $K_2^3$ and $K_4$, is contained in a perfect matching whose removal disconnects the graph. We obtain a complete characterization of 2-edge-connected planar cubic graphs that have an edge such that every 2-factor containing the edge is a Hamiltonian cycle, and also of those that have an edge such that the complement of every perfect matching containing the edge is a Hamiltonian cycle. Another immediate consequence of the main result is that for any two edges contained in a facial cycle of a 2-edge-connected planar cubic graph, there exists a 2-factor in the graph such that both edges are contained in the same cycle of the 2-factor. We conjecture that this property holds for any two edges in a 2-edge-connected planar cubic graph, and prove it for planar cubic bipartite graphs. The main result is proved in the dual form by showing that every plane triangulation admits a vertex 3-coloring such that no face is monochromatic and there is exactly one specified edge between a specified pair of color classes.
Orders of the canonical vector bundles over configuration spaces of finite graphs
Published
• View Publication
• BIB
We prove that the order of the canonical vector bundle over the configuration space is $2$ for a general planar graph, and is $4$ for a nonplanar graph.
Saturated $2$-planar drawings with few edges
Published in Ars Math. Contemp. 24 (2024), #1.05
• View Publication
• BIB
A drawing of a graph is $k$-plane if every edge contains at most $k$ crossings. A $k$-plane drawing is saturated if we cannot add any edge so that the drawing remains $k$-plane. It is well-known that saturated $0$-plane drawings, that is, maximal plane graphs, of $n$ vertices have exactly $3n-6$ edges. For $k>0$, the number of edges of saturated $n$-vertex $k$-plane graphs can take many different values. In this note, we establish some bounds on the minimum number of edges of saturated $2$-plane graphs under different conditions. If two edges can cross at most once, then such a graph has at least $n-1$ edges. If two edges can cross many times, then we show the tight bound of $\lfloor2n/3\rfloor$ for the number of edges.
Simplicial complexes from finite projective planes and colored configurations
Published
• View Publication
• BIB
In the 7-vertex triangulation of the torus, the 14 triangles can be partitioned as $T_{1} \sqcup T_{2}$, such that each $T_{i}$ represents the lines of a copy of the Fano plane $PG(2, \mathbb{F}_{2})$. We generalize this observation by constructing, for each prime power $q$, a simplicial complex $X_{q}$ with $q^{2} + q + 1$ vertices and $2(q^{2} + q + 1)$ facets consisting of two copies of $PG(2, \mathbb{F}_{q})$.
Our construction works for any colored $k$-configuration, defined as a $k$-configuration whose associated bipartite graph $G$ is connected and has a $k$-edge coloring $χ\colon E(G) \to [k]$, such that for all $v \in V(G)$, $a, b, c \in [k]$, following edges of colors $a, b, c, a, b, c$ from $v$ brings us back to $v$. We give one-to-one correspondences between (1) Sidon sets of order 2 and size $k + 1$ in groups with order $n$, (2) linear codes with radius 1 and index $n$ in the lattice $A_{k}$, and (3) colored $(k + 1)$-configurations with $n$ points and $n$ lines. (The correspondence between (1) and (2) is known.) As a result, we suggest possible topological obstructions to the existence of Sidon sets, and in particular, planar difference sets.
Planar Turán Number of Double Stars
Given a graph $F$, the planar Turán number of $F$, denoted $\text{ex}_{\mathcal{P}}(n, F)$, is the maximum number of edges in an $n$-vertex $F$-free planar graph. Such an extremal graph problem was initiated by Dowden while determining sharp upper bound for $\text{ex}_{\mathcal{P}}(n,C_4)$ and $\text{ex}_{\mathcal{P}}(n,C_5)$, where $C_4$ and $C_5$ are cycles of length four and five respectively. In this paper we determined an upper bound for $\text{ex}_{\mathcal{P}}(n,S_{2,2})$, $\text{ex}_{\mathcal{P}}(n,S_{2,3})$, $\text{ex}_{\mathcal{P}}(n,S_{2,4})$, $\text{ex}_{\mathcal{P}}(n,S_{2,5})$, $\text{ex}_{\mathcal{P}}(n,S_{3,3})$ and $\text{ex}_{\mathcal{P}}(n,S_{3,4})$, where $S_{m,n}$ is a double star with $m$ and $n$ leafs. Moreover, the bounds for $\text{ex}_{\mathcal{P}}(n,S_{2,2})$ and $\text{ex}_{\mathcal{P}}(n,S_{2,3})$ are sharp.
Eternal Domination and Clique Covering
Published
• View Publication
• BIB
We study the relationship between the eternal domination number of a graph and its clique covering number using both large-scale computation and analytic methods. In doing so, we answer two open questions of Klostermeyer and Mynhardt. We show that the smallest graph having its eternal domination number less than its clique covering number has $10$ vertices. We determine the complete set of $10$-vertex and $11$-vertex graphs having eternal domination numbers less than their clique covering numbers. We show that the smallest triangle-free graph with this property has order $13$, as does the smallest circulant graph. We describe a method to generate an infinite family of triangle-free graphs and an infinite family of circulant graphs with eternal domination numbers less than their clique covering numbers. We also consider planar graphs and cubic graphs. Finally, we show that for any integer $k \geq 2$ there exist infinitely many graphs having domination number and eternal domination number equal to $k$ containing dominating sets which are not eternal dominating sets.
Planar Median Graphs and Cubesquare-Graphs
Published
• View Publication
• BIB
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. In this paper we provide several novel characterizations of planar median graphs. More specifically, we characterize when a planar graph $G$ is a median graph in terms of forbidden subgraphs and the structure of isometric cycles in $G$, and also in terms of subgraphs of $G$ that are contained inside and outside of 4-cycles with respect to an arbitrary planar embedding of $G$. These results lead us to a new characterization of planar median graphs in terms of cubesquare-graphs that is, graphs that can be obtained by starting with cubes and square graphs, and iteratively replacing 4-cycle boundaries (relative to some embedding) by cubes or square-graphs. As a corollary we also show that a graph is planar median if and only if it can be obtained from cubes and square-graphs by a sequence of ``square-boundary'' amalgamations. These considerations also lead to an $\mathcal{O}(n\log n)$-time recognition algorithm to compute a decomposition of a planar median graph with $n$ vertices into cubes and square-graphs.
Gallai's path decomposition in planar graphs
In 1968, Gallai conjectured that the edges of any connected graph with $n$ vertices can be partitioned into $\lceil \frac{n}{2} \rceil$ paths. We show that this conjecture is true for every planar graph. More precisely, we show that every connected planar graph except $K_3$ and $K_5^-$ ($K_5$ minus one edge) can be decomposed into $\lfloor \frac{n}{2} \rfloor$ paths.
Exploring the infinitesimal rigidity of planar configurations of points and rods
Published
• View Publication
• BIB
This article is concerned with the rigidity properties of geometric realizations of incidence geometries of rank two as points and lines in the Euclidean plane; we care about the distance being preserved among collinear points. We discuss the rigidity properties of geometric realizations of incidence geometries in relation to the rigidity of geometric realizations of other well-known structures, such as graphs and hypergraphs.The $2$-plane matroid is also discussed.
Further, we extend a result of Whiteley to determine necessary conditions for an incidence geometry of points and lines with exactly three points on each line, or 3-uniform hypergraphs, to have a minimally rigid realization as points and lines in the plane. We also give examples to show that these conditions are not sufficient.
Finally, we examine the rigidity properties of $v_k$-configurations. We provide several examples of rigid $v_3$-configurations, and families of flexible geometric $v_3$-configurations. The exposition of the material is supported by many figures.
Planar graphs with the maximum number of induced 6-cycles
Published in Electronic Journal of Combinatorics 30 (2023), P4.6
• View Publication
• BIB
For large $n$ we determine the maximum number of induced 6-cycles which can be contained in a planar graph on $n$ vertices, and we classify the graphs which achieve this maximum. In particular we show that the maximum is achieved by the graph obtained by blowing up three pairwise non-adjacent vertices in a 6-cycle to sets of as even size as possible, and that every extremal example closely resembles this graph. This extends previous work by the author which solves the problem for 4-cycles and 5-cycles. The 5-cycle problem was also solved independently by Ghosh, Győri, Janzer, Paulos, Salia, and Zamora.
Proper orientations and proper chromatic number
Published
• View Publication
• BIB
The proper chromatic number $\Vecχ(G)$ of a graph $G$ is the minimum $k$ such that there exists an orientation of the edges of $G$ with all vertex-outdegrees at most $k$ and such that for any adjacent vertices, the outdegrees are different. Two major conjectures about the proper chromatic number are resolved. First it is shown, that $\Vecχ(G)$ of any planar graph $G$ is bounded (in fact, it is at most 14). Secondly, it is shown that for every graph, $\Vecχ(G)$ is at most $O(\frac{r\log r}{\log\log r})+\tfrac{1}{2}\MAD(G)$, where $r=χ(G)$ is the usual chromatic number of the graph, and $\MAD(G)$ is the maximum average degree taken over all subgraphs of $G$. Several other related results are derived. Our proofs are based on a novel notion of fractional orientations.
Kempe Equivalent List Edge-Colorings of Planar Graphs
Published in Discrete Math Vol. 346, no. 11, November 2023, 113180
• View Publication
• BIB
For a list assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap in $\varphi$ is \emph{$L$-valid} if it yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from another by a sequence of $L$-valid Kempe swaps. And a graph $G$ is \emph{$L$-swappable} if every two of its $L$-colorings are $L$-equivalent. We consider $L$-swappability of line graphs of planar graphs with large maximum degree. Let $G$ be a planar graph with $Δ(G)\ge 9$ and let $H$ be the line graph of $G$. If $L$ is a $(Δ(G)+1)$-assignment to $H$, then $H$ is $L$-swappable. Let $G$ be a planar graph with $Δ(G)\ge 15$ and let $H$ be the line graph of $G$. If $L$ is a $Δ(G)$-assignment to $H$, then $H$ is $L$-swappable. The first result is analogous to one for $L$-choosability by Borodin, which was later strengthened by Bonamy. The second result is analogous to another for $L$-choosability by Borodin, which was later strengthened by Borodin, Kostochka, and Woodall.
Length and area generating functions for height-restricted Motzkin meanders
Published in Phys. Rev. E 105, 024102, 2 February 2022
• View Publication
• BIB
We derive the length and area generating function of planar height-restricted forward-moving discrete paths of increments +1, 0, or -1 with arbitrary starting and ending points, the so-called Motzkin meanders, and the more general length-area generating functions for Motzkin paths with markers monitoring the number of passages from the two height boundaries ('floor' and 'ceiling') and the time spent there. The results are obtained by embedding Motzkin paths in a two-step anisotropic Dyck path process and using propagator, exclusion statistics and bosonization techniques. We also present a cluster expansion of the logarithm of the generating functions that makes their polynomial structure explicit. These results are relevant to the derivation of statistical mechanical properties of physical systems such as polymers, vesicles, and solid-on-solid interfaces.