planar
3209 papers tagged with this keyword
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs
In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.
Transformations of 2-port networks and tiling by rectangles
Published
• View Publication
• BIB
In this paper, we study 2-port networks and introduce new concepts of voltage drop and $Π$-equivalence. The main result is that each planar network is $Π$-equivalent to a network with no more than 5 edges. This implies that if an octagon in the shape of the letter $Π$ can be tiled by squares then it can be tiled by no more than 5 rectangles with rational aspect ratios. Kenyon's theorem from 1998 proves this only for 6 rectangles.
Flexing infinite frameworks with applications to braced Penrose tilings
Published in Discrete Applied Mathematics. 324:1--17, 2023
• View Publication
• BIB
A planar framework -- a graph together with a map of its vertices to the plane -- is flexible if it allows a continuous deformation preserving the distances between adjacent vertices. Extending a recent previous result, we prove that a connected graph with a countable vertex set can be realized as a flexible framework if and only if it has a so-called NAC-coloring. The tools developed to prove this result are then applied to frameworks where every 4-cycle is a parallelogram, and countably infinite graphs with $n$-fold rotational symmetry. With this, we determine a simple combinatorial characterization that determines whether the 1-skeleton of a Penrose rhombus tiling with a given set of braced rhombi will have a flexible motion, and also whether the motion will preserve 5-fold rotational symmetry.
Further Extensions of the Grötzsch Theorem
Published
• View Publication
• BIB
The Grötzsch Theorem states that every triangle-free planar graph admits a proper $3$-coloring. Among many of its generalizations, the one of Grünbaum and Aksenov, giving $3$-colorability of planar graphs with at most three triangles, is perhaps the most known. A lot of attention was also given to extending $3$-colorings of subgraphs to the whole graph. In this paper, we consider $3$-colorings of planar graphs with at most one triangle. Particularly, we show that precoloring of any two non-adjacent vertices and precoloring of a face of length at most $4$ can be extended to a $3$-coloring of the graph. Additionally, we show that for every vertex of degree at most $3$, a precoloring of its neighborhood with the same color extends to a $3$-coloring of the graph. The latter result implies an affirmative answer to a conjecture on adynamic coloring. All the presented results are tight.
The early evolution of the random graph process in planar graphs and related classes
Published
• View Publication
• BIB
We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=ω(n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.
Two Disjoint Alternating Paths in Bipartite Graphs
A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.
Planar Turán Numbers of Cycles: A Counterexample
Published in Electronic Journal of Combinatorics. Vol. 29(3), 2022, #P3.31
• View Publication
• BIB
The planar Turan number $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ is the largest number of edges in an $n$-vertex planar graph with no $\ell$-cycle. For $\ell\in \{3,4,5,6\}$, upper bounds on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ are known that hold with equality infinitely often. Ghosh, Györi, Martin, Paulo, and Xiao [arxiv:2004.14094] conjectured an upper bound on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ for every $\ell\ge 7$ and $n$ sufficiently large. We disprove this conjecture for every $\ell\ge 11$. We also propose two revised versions of the conjecture.
A note on geometric duality in matroid theory and knot theory
Published
• View Publication
• BIB
We observe that for planar graphs, the geometric duality relation generates both 2-isomorphism and abstract duality. This observation has the surprising consequence that for links, the equivalence relation defined by isomorphisms of checkerboard graphs is the same as the equivalence relation defined by 2-isomorphisms of checkerboard graphs.
The strong fractional choice number and the strong fractional paint number of graphs
Published
• View Publication
• BIB
This paper studies the strong fractional choice number $ch^s_f(G)$ and the strong fractional paint number $χ^s_{f,P}(G)$ of a graph $G$. We prove that these parameters of any finite graph are rational numbers. On the other hand, for any positive integers $p,q$ satisfying $2 \le \frac{2p}{2q+1} \leq \lfloor\frac{p}{q}\rfloor$, there exists a graph $G$ with $ch^s_f(G) = χ^s_{f,P}(G) = \frac{p}{q}$. The relationship between $χ^s_{f,P}(G)$ and $ch^s_f(G)$ is explored. We prove that the gap $χ^s_{f,P}(G)-ch^s_f(G)$ can be arbitrarily large. The strong fractional choice number of a family $\mathcal{G}$ of graphs is the supremum of the strong fractional choice number of graphs in $\mathcal{G}$. Let $\mathcal{P}$ denote the class of planar graphs and $\mathcal{P}_{k_1,\ldots, k_q}$ denote the class of planar graphs without $k_i$-cycles for $i=1,\ldots, q$. We prove that $3 + \frac{1}{2} \leq ch^s_f(\mathcal{P}_{ 4}) \leq 4$, $ch^s_f(\mathcal{P}_{ k})=4$ for $k \in \{5,6\}$, $3 +\frac{1}{12} \leq ch^s_f(\mathcal{P}_{ 4,5}) \leq 4$ and $ch^s_f(\mathcal{P}) \ge 4+\frac 13$. The last result improves the lower bound $4+\frac 29$ in [X. Zhu, multiple list colouring of planar graphs, Journal of Combin. Th. Ser. B,122(2017),794-799].
On monoid graphs
Published
• View Publication
• BIB
We investigate Cayley graphs of finite semigroups and monoids. First, we look at semigroup digraphs, i.e., directed Cayley graphs of semigroups, and give a Sabidussi-type characterization in the case of monoids. We then correct a proof of Zelinka from '81 that characterizes semigroup digraphs with outdegree $1$. Further, answering a question of Knauer and Knauer, we construct for every $k\geq 2$ connected $k$-outregular non-semigroup digraphs. On the other hand, we show that every sink-free directed graph is a union of connected components of a monoid digraph.
Second, we consider monoid graphs, i.e., underlying simple undirected graphs of Cayley graphs of monoids. We show that forests and threshold graphs form part of this family. Conversely, we construct the -- to our knowledge -- first graphs, that are not monoid graphs. We present non-monoid graphs that are planar, have arboricity $2$, and treewidth $3$ on the one hand, and non-monoid graphs of arbitrarily high connectivity on the other hand.
Third, we study generated monoid trees, i.e., trees that are monoid graphs with respect to a generating set. We give necessary and sufficient conditions for a tree to be in this family, allowing us to find large classes of trees inside and outside the family.
Structural Properties of Graph Products
Published
• View Publication
• BIB
Dujmović, Joret, Micek, Morin, Ueckerdt, and Wood [J. ACM 2020] established that every planar graph is a subgraph of the strong product of a graph with bounded treewidth and a path. Motivated by this result, this paper systematically studies various structural properties of cartesian, direct and strong products. In particular, we characterise when these graph products contain a given complete multipartite subgraph, determine tight bounds for their degeneracy, establish new lower bounds for the treewidth of cartesian and strong products, and characterise when they have bounded treewidth and when they have bounded pathwidth.
Associahedra minimize $f$-vectors of secondary polytopes of planar point sets
Published in Discrete Comput. Geom., Vol. 74, 1-22, 2025
• View Publication
• BIB
Kupavskii, Volostnov, and Yarovikov have recently shown that any set of $n$ points in general position in the plane has at least as many (partial) triangulations as the convex $n$-gon. We generalize this in two directions: we show that regular triangulations are enough, and we extend the result to all regular subdivisions, graded by the dimension of their corresponding face in the secondary polytope.
$2$-distance list $(Δ+2)$-coloring of planar graphs with girth at least 10
Published
• View Publication
• BIB
Given a graph $G$ and a list assignment $L(v)$ for each vertex of $v$ of $G$. A proper $L$-list-coloring of $G$ is a function that maps every vertex to a color in $L(v)$ such that no pair of adjacent vertices have the same color. We say that a graph is list $k$-colorable when every vertex $v$ has a list of colors of size at least $k$. A $2$-distance coloring is a coloring where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance list ($Δ+2$)-coloring for planar graphs with girth at least $10$ and maximum degree $Δ\geq 4$.
Electrical Networks, Lagrangian Grassmannians and Symplectic Groups
Published
• View Publication
• BIB
We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.
Signed bipartite circular cliques and a bipartite analogue of Grötzsch's theorem
Published
• View Publication
• BIB
The notion of the circular coloring of signed graphs is a recent one that simultaneously extends both notions of the circular coloring of graphs and $0$-free coloring of signed graphs. A circular $r$-coloring of a signed graph $(G, σ)$ is to assign points of a circle of circumference $r$, $r\geq 2$, to the vertices of $G$ such that vertices connected by a positive edge are at circular distance at least $1$ and vertices connected by a negative edge are at circular distance at most $\frac{r}{2}-1$. The infimum of all $r$ for which $(G, σ)$ admits a circular $r$-coloring is said to be the circular chromatic number of $(G, σ)$ and is denoted by $χ_c(G, σ)$. For any rational number $r=\frac{p}{q}$, two notions of circular cliques are presented corresponding to the edge-sign preserving homomorphism and the switching homomorphism.
It is also shown that the restriction of the study of circular chromatic numbers to the class of signed bipartite simple graphs already captures the study of circular chromatic numbers of graphs via basic graph operations, even though the circular chromatic number of every signed bipartite graph is bounded above by $4$.
In this work, we consider the restriction of the circular chromatic number to this class of signed graphs and construct signed bipartite circular cliques with respect to both notions of homomorphisms. We then present reformulations of the $4$-Color Theorem and the Grötzsch theorem. As a bipartite analogue of Grötzsch's theorem, we prove that every signed bipartite planar graph of negative girth at least $6$ has circular chromatic number at most $3$.
$2$-distance $(Δ+2)$-coloring of sparse graphs
A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+2$)-coloring for graphs with maximum average degree less than $\frac{8}{3}$ (resp. $\frac{14}{5}$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$). As a corollary, every planar graph with girth at least $8$ (resp. $7$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$) admits a $2$-distance $(Δ+2)$-coloring.
On Crossing-Families in Planar Point Sets
Published in Computational Geometry: Theory and Applications 107 (2022), Paper No. 101899, 8 pp
• View Publication
• BIB
A $k$-crossing family in a point set $S$ in general position is a set of $k$ segments spanned by points of $S$ such that all $k$ segments mutually cross. In this short note we present two statements on crossing families which are based on sets of small cardinality: (1) Any set of at least 15 points contains a crossing family of size 4. (2) There are sets of $n$ points which do not contain a crossing family of size larger than $8\lceil \frac{n}{41} \rceil$. Both results improve the previously best known bounds.
A Quantization of the Loday-Ronco Hopf Algebra
Published in Esteves, J.N. A Quantization of the Loday-Ronco Hopf Algebra. Algebr Represent Theor (2024)
• View Publication
• BIB
We propose a quantization algebra of the Loday-Ronco Hopf algebra $k[Y^\infty]$, based on the Topological Recursion formula of Eynard and Orantin. We have shown in previous works that the Loday-Ronco Hopf algebra of planar binary trees is a space of solutions for the genus 0 version of Topological Recursion, and that an extension of the Loday Ronco Hopf algebra as to include some new graphs with loops is the correct setting to find a solution space for arbitrary genus. Here we show that this new algebra $k[Y^\infty]_h$ is still a Hopf algebra that can be seen in some sense to be made precise in the text as a quantization of the Hopf algebra of planar binary trees, and that the solution space of Topological Recursion $\mathcal{A}^h_{\text{TopRec}}$ is a subalgebra of a quotient algebra $\mathcal{A}_{\text{Reg}}^h$ obtained from $k[Y^\infty]_h$ that nevertheless doesn't inherit the Hopf algebra structure. We end the paper with a discussion on the cohomology of $\mathcal{A}^h_{\text{TopRec}}$ in low degree.
Non-Abelian Flows in Networks
In this work we consider a generalization of graph flows. A graph flow is, in its simplest formulation, a labeling of the directed edges with real numbers subject to various constraints. A common constraint is conservation in a vertex, meaning that the sum of the labels on the incoming edges of this vertex equals the sum of those on the outgoing edges. One easy fact is that if a flow is conserving in all but one vertex, then it is also conserving in the remaining one. In our generalization we do not label the edges with real numbers, but with elements from an arbitrary group, where this fact becomes false in general. As we will show, graphs with the property that conservation of a flow in all but one vertex implies conservation in all vertices are precisely the planar graphs.
Hopf algebras of parking functions and decorated planar trees
Published
• View Publication
• BIB
We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon.
We define partial orders on the objects indexing each of these three Hopf algebras, one of which, when restricting to (m+1)-ary trees, coarsens the m-Tamari order of Bergeron and Préville-Ratelle. We show that multiplication of dual fundamental basis elements are given by intervals in each of these orders.
Finally, we use an axiomatized version of the techniques of Aguiar and Sottile on the Malvenuto-Reutenauer Hopf algebra to define a monomial basis on each of our Hopf algebras, and to show that comultiplication is cofree on the monomial elements. This in particular, implies the cofreeness of the Hopf algebra on planar trees. We also find explicit positive formulas for the multiplication on monomial basis and a cancellation-free and grouping-free formula for the antipode of monomial elements.