planar
3209 papers tagged with this keyword
Proper Minor-Closed Classes in Blowups of Fans
Dujmović et al. [arXiv:2407.05936] showed that any $n$-vertex planar graph is contained in a $O(\sqrt{n}\log^2(n))$-blowup of a fan, and asked if the same holds for any $n$-vertex $K_t$-minor-free graph. We answer this in the positive, showing that such a graph is contained in a $O_t(\sqrt{n}\log^2(n))$-blowup of a fan.
Cops against a cheating robber
Published
• View Publication
• BIB
We investigate a cheating robot version of Cops and Robber, first introduced by Huggan and Nowakowski, where both the cops and the robber move simultaneously, but the robber is allowed to react to the cops' moves. For conciseness, we refer to this game as Cops and Cheating Robot. The cheating robot number for a graph is the fewest number of cops needed to win on the graph. We introduce a new parameter for this variation, called the push number, which gives the value for the minimum number of cops that move onto the robber's vertex given that there are a cheating robot number of cops on the graph. After producing some elementary results on the push number, we use it to give a relationship between Cops and Cheating Robot and Surrounding Cops and Robbers. We investigate the cheating robot number for planar graphs and give a tight bound for bipartite planar graphs. We show that determining whether a graph has a cheating robot number at most fixed $k$ can be done in polynomial time. We also obtain bounds on the cheating robot number for strong and lexicographic products of graphs.
Multi-Virtual Knot Theory
Published
• View Publication
• BIB
This paper discusses a generalization of virtual knot theory that we call multi-virtual knot theory. Multi-virtual knot theory uses a multiplicity of types of virtual crossings. As we will explain, this multiplicity is motivated by the way it arises first in a graph-theoretic setting in relation to generalizing the Penrose evaluation for colorings of planar trivalent graphs to all trivalent graphs, and later by its uses in a virtual knot theory. As a consequence, the paper begins with the graph theory as a basis for our constructions, and then proceeds to the topology of multi-virtual knots and links. The second section of the paper is a review of our previous work (See arXiv:1511.06844). The reader interested in seeing our generalizations of the original Penrose evaluation, can begin this paper at the beginning and see the graph theory. A reader primarily interested in multi-virtual knots and links can begin reading in section 4 with references to the earlier part of the paper.
Large planar $(n,m)$-cliques
An \textit{$(n,m)$-graph} $G$ is a graph having both arcs and edges, and its arcs (resp., edges) are labeled using one of the $n$ (resp., $m$) different symbols. An \textit{$(n,m)$-complete graph} $G$ is an $(n,m)$-graph without loops or multiple edges in its underlying graph such that identifying any pair of vertices results in a loop or parallel adjacencies with distinct labels. We show that a planar $(n,m)$-complete graph cannot have more than $3(2n+m)^2+(2n+m)+1$ vertices, for all $(n,m) \neq (0,1)$ and that the bound is tight. This positively settles a conjecture by Bensmail \textit{et al.}~[Graphs and Combinatorics 2017].
A Toric Analogue for Greene's Rational Function of a Poset
Published
• View Publication
• BIB
Given a finite poset, Greene introduced a rational function obtained by summing certain rational functions over the linear extensions of the poset. This function has interesting interpretations, and for certain families of posets, it simplifies surprisingly. In particular, Greene evaluated this rational function for strongly planar posets in his work on the Murnaghan-Nakayama formula.
In 2012, Develin, Macauley, and Reiner introduced toric posets, which combinatorially are equivalence classes of posets (or rather acyclic quivers) under the operation of flipping maximum elements into minimum elements and vice versa. In this work, we introduce a toric analogue of Greene's rational function for toric posets, and study its properties. In addition, we use toric posets to show that the Kleiss-Kuijf relations, which appear in scattering amplitudes, are equivalent to a specific instance of Greene's evaluation of his rational function for strongly planar posets. Also in this work, we give an algorithm for finding the set of toric total extensions of a toric poset.
Subgraph-universal planar graphs for trees
Published
• View Publication
• BIB
We show that there exists an outerplanar graph on $O(n^{c})$ vertices for $c = \log_2(3+\sqrt{10}) \approx 2.623$ that contains every tree on $n$ vertices as a subgraph. This extends a result of Chung and Graham from 1983 who showed that there exist (non-planar) $n$-vertex graphs with $O(n \log n)$ edges that contain all trees on $n$ vertices as subgraphs and a result from Gol'dberg and Livshits from 1968 who showed that there exists a universal tree for $n$-vertex trees on $n^{O(\log(n))}$ vertices.
Furthermore, we determine the number of vertices needed in the worst case for a planar graph to contain three given trees as subgraph to be on the order of $\frac{3}{2}n$, even if the three trees are caterpillars. This answers a question recently posed by Alecu et al. in 2024.
Lastly, we investigate (outer)planar graphs containing all (outer)planar graphs as subgraph, determining exponential lower bounds in both cases. We also construct a planar graph on $n^{O(\log(n))}$ vertices containing all $n$-vertex outerplanar graphs as subgraphs.
Intersection Graphs with and without Product Structure
A graph class $\mathcal{G}$ admits product structure if there exists a constant $k$ such that every $G \in \mathcal{G}$ is a subgraph of $H \boxtimes P$ for a path $P$ and some graph $H$ of treewidth $k$. Famously, the class of planar graphs, as well as many beyond-planar graph classes are known to admit product structure. However, we have only few tools to prove the absence of product structure, and hence know of only a few interesting examples of classes. Motivated by the transition between product structure and no product structure, we investigate subclasses of intersection graphs in the plane (e.g., disk intersection graphs) and present necessary and sufficient conditions for these to admit product structure. Specifically, for a set $S \subset \mathbb{R}^2$ (e.g., a disk) and a real number $α\in [0,1]$, we consider intersection graphs of $α$-free homothetic copies of $S$. That is, each vertex $v$ is a homothetic copy of $S$ of which at least an $α$-portion is not covered by other vertices, and there is an edge between $u$ and $v$ if and only if $u \cap v \neq \emptyset$. For $α= 1$ we have contact graphs, which are in most cases planar, and hence admit product structure. For $α= 0$ we have (among others) all complete graphs, and hence no product structure. In general, there is a threshold value $α^*(S) \in [0,1]$ such that $α$-free homothetic copies of $S$ admit product structure for all $α> α^*(S)$ and do not admit product structure for all $α< α^*(S)$. We show for a large family of sets $S$, including all triangles and all trapezoids, that it holds $α^*(S) = 1$, i.e., we have no product structure, except for the contact graphs (when $α= 1$). For other sets $S$, including regular $n$-gons for infinitely many values of $n$, we show that $0 < α^*(S) < 1$ by proving upper and lower bounds.
Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs
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.
The planar Turán number of double star $S_{2,4}$
Published
• View Publication
• BIB
Planar Turán number $ex_{\mathcal{P}}(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. In this paper, we prove that $ex_{\mathcal{P}}(n,S_{2,4})\leq \frac{31}{14}n$ for $n\geq 1$, and show that equality holds for infinitely many integers $n$.
Planar point sets with forbidden $4$-point patterns and few distinct distances
Published
• View Publication
• BIB
We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).
On $k$-planar Graphs without Short Cycles
Published
• View Publication
• BIB
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.
Monotone Arc Diagrams with few Biarcs
Published
• View Publication
• BIB
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.
Rank-$N$ Dimer Models on Surfaces
The web trace theorem of Douglas, Kenyon, Shi expands the twisted Kasteleyn determinant in terms of traces of webs. We generalize this theorem to higher genus surfaces and expand the twisted Kasteleyn matrices corresponding to spin structures on the surface, analogously to the rank-1 case of Cimasoni, Reshetikhin. In the process of the proof, we give an alternate geometric derivation of the planar web trace theorem, relying on the spin geometry of embedded loops and a `racetrack construction' used to immerse loops in the blowup graph on the surface.
Partition subcubic planar graphs into independent sets
A packing $(1^{\ell}, 2^k)$-coloring of a graph $G$ is a partition of $V(G)$ into $\ell$ independent sets and $k$ $2$-packings (whose pairwise vertex distance is at least $3$). The square coloring of planar graphs was first studied by Wegner in 1977. Thomassen and independently Hartke et al. proved one can always square color a cubic planar graph with $7$ colors, i.e., every subcubic planar graph is packing $(2^7)$-colorable. We focus on packing $(1^{\ell}, 2^k)$-colorings, which lie between proper coloring and square coloring. Gastineau and Togni proved every subcubic graph is packing $(1,2^6)$-colorable and asked whether every subcubic graph except the Petersen graph is packing $(1,2^5)$-colorable.
In this paper, we prove an analogue result of Thomassen and Hartke et al. on packing coloring that every subcubic planar graph is packing $(1,2^5)$-colorable. This also answers the question of Gastineau and Togni affirmatively for subcubic planar graphs. Moreover, we prove that there exists an infinite family of subcubic planar graphs that are not packing $(1,2^4)$-colorable, which shows that our result is the best possible. Besides, our result is also sharp in the sense that the disjoint union of Petersen graphs is subcubic and non-planar, but not packing $(1,2^5)$-colorable.
Fat minors in finitely presented groups
Published
• View Publication
• BIB
We show that a finitely presented group virtually admits a planar Cayley graph if and only if it is asymptotically minor-excluded, partially answering a conjecture of Georgakopoulos and Papasoglu in the affirmative.
On the Cop Number of String Graphs
Published
• View Publication
• BIB
Cops and Robber is a well-studied two-player pursuit-evasion game played on a graph, where a group of cops tries to capture the robber. The \emph{cop number} of a graph is the minimum number of cops required to capture the robber. Gavenčiak et al.~[Eur. J. of Comb. 72, 45--69 (2018)] studied the game on intersection graphs and established that the cop number for the class of string graphs is at most 15, and asked as an open question to improve this bound for string graphs and subclasses of string graphs. We address this question and establish that the cop number of a string graph is at most 13. To this end, we develop a novel \textit{guarding} technique. We further establish that this technique can be useful for other Cops and Robber games on graphs admitting a representation. In particular, we show that four cops have a winning strategy for a variant of Cops and Robber, named Fully Active Cops and Robber, on planar graphs, addressing an open question of Gromovikov et al.~[Austr. J. Comb. 76(2), 248--265 (2020)]. In passing, we also improve the known bounds on the cop number of boxicity 2 graphs. Finally, as a corollary of our result on the cop number of string graphs, we establish that the chromatic number of string graphs with girth at least $5$ is at most $14$.
No new lower bound for the density of planar Sets avoiding Unit Distances
In a recently published article by G. Ambrus et al. a new \emph{upper bound} for the density of an unit avoiding, periodic set is given as $0.2470$, the first upper bound $< 1/4$. A construction of Croft 1967 gave a \emph{lower bound} $δ_C = 0.22936$ for the density. To this date, no better construction with a higher bound has been given. In the \emph{first versions} of this article I gave a construction of planar sets with a "higher" density than Croft's tortoises. No explicit value for this density was given, it was just shown that Croft's density is a local minima in the density of the constructed 1-parameter family of planar sets. But now I found a servere error. After the correction in this article none of the investigated sets of constant diameter resulted in a new lower bound. I did not withdraw the article, maybe something could be useful for somebody.
Proper edge colorings of planar graphs with rainbow $C_4$-s
Published in J. Graph Theory 107 (2024), no. 4, 833--846
• View Publication
• BIB
We call a proper edge coloring of a graph $G$ a B-coloring if every 4-cycle of $G$ is colored with four different colors. Let $q_B(G)$ denote the smallest number of colors needed for a B-coloring of $G$. Motivated by earlier papers on B-colorings, here we consider $q_B(G)$ for planar and outerplanar graphs in terms of the maximum degree $Δ= Δ(G)$. We prove that $q_B(G)\le 2Δ+8$ for planar graphs, $q_B(G)\le 2Δ$ for bipartite planar graphs and $q_B(G)\le Δ+1$ for outerplanar graphs with $Δ\ge 4$. We conjecture that, for $Δ$ sufficiently large, $q_B(G)\le 2Δ(G)$ for planar $G$ and $q_B(G)\le Δ(G)$ for outerplanar $G$.
B-colorings of planar and outerplanar graphs
A coloring of the edges of a graph $G$ in which every $K_{1,2}$ is totally multicolored is known as a proper coloring and a coloring of the edges of $G$ in which every $K_{1,2}$ and every $K_{2,2}$ is totally multicolored is called a B-coloring.
In this paper, we establish that a planar graph with maximum degree $Δ$ can be B-colored with $\max\{2Δ,32\}$ colors. This is best-possible for large $Δ$ because $K_{2,Δ}$ requires $2Δ$ colors. In addition, there is an example with $Δ=4$ that requires $12$ colors.
We also establish that an outerplanar graph with maximum degree $Δ$ can be B-colored with $\max\{Δ,6\}$ colors. This is almost best-possible because $Δ$ colors are necessary and there is an example with $Δ=4$ that requires $5$ colors.
Towards a Dual Version of Woodall's Conjecture for Partial 3-Trees
A dual version of a conjecture by Woodall asserts that, in a planar digraph, the length of a shortest dicycle equals the maximum number of pairwise disjoint feedback arc sets. We verify this conjecture for the case where the underlying graph is a 3-tree or a partial 3-tree with girth $3$. Additionally, we show that every 3-tree has a feedback arc set of size at most~$m/3-1$, where~$m$ is the number of arcs of the digraph, and this bound is tight. We further establish an upper bound on the size of a minimum feedback arc set in $k$-trees. Finally, we discuss some open problems and conjectures.