planar
3156 papers tagged with this keyword
On the size of planar graphs with positive Lin-Lu-Yau Ricci curvature
Published
• View Publication
• BIB
We show that if a planar graph $G$ with minimum degree at least $3$ has positive Lin-Lu-Yau Ricci curvature on every edge, then $Δ(G)\leq 17$, which then implies that $G$ is finite. This is an analogue of a result of DeVos and Mohar [{\em Trans. Amer. Math. Soc., 2007}] on the size of planar graphs with positive combinatorial curvature.
Substitution discrete plane tilings with $2n$-fold rotational symmetry for odd n
Published
• View Publication
• BIB
We study substitution tilings that are also discrete plane tilings, that is, satisfy a relaxed version of cut-and-projection. We prove that the Sub Rosa substitution tilings with a 2n-fold rotational symmetry for odd n greater than 5 defined by Kari and Rissanen are not discrete planes, and therefore not cut-and-project tilings either. We then define new Planar Rosa substitution tilings with a 2n-fold rotational symmetry for any odd n, and show that these satisfy the discrete plane condition. The tilings we consider are edge-to-edge rhombus tilings. We give an explicit construction for the 10-fold case, and provide a construction method for the general case of any odd n.
Well-Totally-Dominated Graphs
A subset of vertices in a graph is called a total dominating set if every vertex of the graph is adjacent to at least one vertex of this set. A total dominating set is called minimal if it does not properly contain another total dominating set. In this paper, we study graphs whose all minimal total dominating sets have the same size, referred to as well-totally-dominated (WTD) graphs. We first show that WTD graphs with bounded total domination number can be recognized in polynomial time. Then we focus on WTD graphs with total domination number two. In this case, we characterize triangle-free WTD graphs and WTD graphs with packing number two, and we show that there are only finitely many planar WTD graphs with minimum degree at least three. Lastly, we show that if the minimum degree is at least three then the girth of a WTD graph is at most 12. We conclude with several open questions.
Tree densities in sparse graph classes
Published
• View Publication
• BIB
What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the answer is $Θ(n^{α_d(T)})$ where $α_d(T)$ is the size of the largest stable set in the subforest of $T$ induced by the vertices of degree at most $d$, for some integer $d$ that depends on $\mathcal{G}$. For example, when $\mathcal{G}$ is the class of $k$-degenerate graphs then $d=k$; when $\mathcal{G}$ is the class of graphs containing no $K_{s,t}$-minor ($t\geq s$) then $d=s-1$; and when $\mathcal{G}$ is the class of $k$-planar graphs then $d=2$. All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.
On the signed chromatic number of some classes of graphs
Published
• View Publication
• BIB
A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, σ)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, π)$ to which $(G, σ)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).
Planar lattice subsets with minimal vertex boundary
Published
• View Publication
• BIB
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are congruent to any other minimal set of the same size. We also classify all efficient sets of X: those that have maximal size amongst all such sets with a fixed vertex boundary. We define and investigate the graph G of minimal sets whose vertices are congruence classes of minimal sets of X and whose edges connect vertices which can be represented by minimal sets that differ by exactly one vertex. We prove that G has exactly one infinite component, has infinitely many isolated vertices and has bounded components of arbitrarily large size. Finally, we show that all minimal sets, except one, are connected.
On boundary correlations in planar Ashkin-Teller models
Published
• View Publication
• BIB
We generalize the switching lemma of Griffiths, Hurst and Sherman to the random current representation of the Ashkin-Teller model. We then use it together with properties of two-dimensional topology to derive linear relations for multi-point boundary spin correlations and bulk order-disorder correlations in planar models. We also show that the same linear relations are satisfied by products of Pfaffians. As a result a clear picture arises in the noninteracting case of two independent Ising models where multi-point correlation functions are given by Pfaffians and determinants of their respective two-point functions. This gives a unified treatment of both the classical Pfaffian identities and recent total positivity inequalities for boundary spin correlations in the planar Ising model. We also derive the Simon and Gaussian inequality for general Ashkin-Teller models with negative four-body coupling constants.
Fractional vertex-arboricity of planar graphs
We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be generalized to the setting of fractional vertex-arboricity. In 1979, Albertson and Berman conjectured that every planar graph has an induced forest on at least half of its vertices, in 1987, Akiyama and Watanabe conjectured that every bipartite planar graph has an induced forest on at least five-eighths of its vertices, and in 2010, Kowalik, Lužar, and Škrekovski conjectured that every planar graph of girth at least five has an induced forest on at least seven-tenths of its vertices. We make progress toward the fractional generalization of the latter of these, by proving that every planar graph of girth at least five has fractional vertex-arboricity at most $2 - 1/324$.
Restrained Italian domination in graphs
Published in RAIRO-Operations Research, 55 (2021), 319-332
• View Publication
• BIB
For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) $f:V(G)\rightarrow\{0,1,2\}$ has the property that for every vertex $v\in V(G)$ with $f(v)=0$, either $v$ is adjacent to a vertex assigned $2$ under $f$ or $v$ is adjacent to least two vertices assigned $1$ under $f$. The weight of an ID function is $\sum_{v\in V(G)}f(v)$. The Italian domination number is the minimum weight taken over all ID functions of $G$.
In this paper, we initiate the study of a variant of ID functions. A restrained Italian dominating function (RID function) $f$ of $G$ is an ID function of $G$ for which the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices, and the restrained Italian domination number $γ_{rI}(G)$ is the minimum weight taken over all RID functions of $G$. We first prove that the problem of computing this parameter is NP-hard, even when restricted to bipartite graphs and chordal graphs as well as planar graphs with maximum degree five. We prove that $γ_{rI}(T)$ for a tree $T$ of order $n\geq3$ different from the double star $S_{2,2}$ can be bounded from below by $(n+3)/2$. Moreover, all extremal trees for this lower bound are characterized in this paper. We also give some sharp bounds on this parameter for general graphs and give the characterizations of graphs $G$ with small or large $γ_{rI}(G)$.
Stability of $\mathbb{Z}^2$ configurations in 3D
Published
• View Publication
• BIB
Inspired by the issue of stability of molecular structures, we investigate the strict minimality of point sets with respect to configurational energies featuring two- and three-body contributions. Our main focus is on characterizing those configurations which cannot be deformed without changing distances between first neighbors or angles formed by pairs of first neighbors. Such configurations are called {\it angle-rigid}.
We tackle this question in the class of finite configurations in $\mathbb{Z}^2$, seen as planar three-dimensional point sets. A sufficient condition preventing angle-rigidity is presented. This condition is also proved to be necessary when restricted to specific subclasses of configurations.
On Weak Flexibility in Planar Graphs
Published in Graphs and Combinatorics 38(6), 180:1-180:33, 2022
• View Publication
• BIB
Recently, Dvořák, Norin, and Postle introduced flexibility as an extension of list coloring on graphs [JGT 19']. In this new setting, each vertex $v$ in some subset of $V(G)$ has a request for a certain color $r(v)$ in its list of colors $L(v)$. The goal is to find an $L$ coloring satisfying many, but not necessarily all, of the requests.
The main studied question is whether there exists a universal constant $ε>0$ such that any graph $G$ in some graph class $\mathcal{C}$ satisfies at least $ε$ proportion of the requests. More formally, for $k > 0$ the goal is to prove that for any graph $G \in \mathcal{C}$ on vertex set $V$, with any list assignment $L$ of size $k$ for each vertex, and for every $R \subseteq V$ and a request vector $(r(v): v\in R, ~r(v) \in L(v))$, there exists an $L$-coloring of $G$ satisfying at least $ε|R|$ requests. If this is true, then $\mathcal{C}$ is called $ε$-flexible for lists of size $k$.
Choi et al. [arXiv 20'] introduced the notion of weak flexibility, where $R = V$. We further develop this direction by introducing a tool to handle weak flexibility. We demonstrate this new tool by showing that for every positive integer $b$ there exists $ε(b)>0$ so that the class of planar graphs without $K_4, C_5 , C_6 , C_7, B_b$ is weakly $ε(b)$-flexible for lists of size $4$ (here $K_n$, $C_n$ and $B_n$ are the complete graph, a cycle, and a book on $n$ vertices, respectively). We also show that the class of planar graphs without $K_4, C_5 , C_6 , C_7, B_5$ is $ε$-flexible for lists of size $4$. The results are tight as these graph classes are not even 3-colorable.
Tight gaps in the cycle spectrum of 3-connected planar graphs
Published
• View Publication
• BIB
For any positive integer $k$, define $f(k)$ (respectively, $f_3(k)$) to be the minimal integer $\ge k$ such that every 3-connected planar graph $G$ (respectively, 3-connected cubic planar graph $G$) of circumference $\ge k$ has a cycle whose length is in the interval $[k, f(k)]$ (respectively, $[k, f_3(k)]$).
Merker showed that $f_3(k) \le 2k + 9$ for any $k \ge 2$, and $f_3(k) \ge 2k + 2$ for any even $k \ge 4$. He conjectured that $f_3(k) \le 2k + 2$ for any $k \ge 2$. This conjecture was disproved by Zamfirescu, who gave an infinite family of counterexamples for every even $k \ge 6$ whose graphs have no cycle length in $[k, 2k + 2]$, i.e. $f_3(k) \ge 2k + 3$ for any even $k \ge 6$. However, the exact value of $f_3(k)$ was only known for $k \le 4$, and it was left open to determine $f_3(k)$ for $k \ge 5$. In this paper we improve Merker's upper bound, and give the exact value of $f_3(k)$ for every $k \ge 5$. We show that $f_3(5) = 10$, $f_3(7) = 15$, $f_3(9) = 20$, and $f_3(k) = 2k + 3$ for any $k = 6, 8$ or $\ge 10$.
For general 3-connected planar graphs, Merker conjectured that there exists some positive integer $c$ such that $f(k) \le 2k + c$ for any positive integer $k$. We give a complete positive answer to this conjecture. We prove that $f(k) = 5$ for any $k \le 3$, $f(4) = 10$, and $f(k) = 2k + 3$ for any $k \ge 5$.
Exact square coloring of subcubic planar graphs
Published in Discrete Applied Mathematics 293:74-89, 2021
• View Publication
• BIB
We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.
Charting the space of chemical nut graphs
Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a singular adjacency matrix that has one zero eigenvalue and a non-trivial kernel eigenvector without zero entries. Nut graphs have no vertices of degree $1$: they are leafless. The intersection of these two sets, the chemical nut graphs, is of interest in applications in chemistry and molecular physics, corresponding to structures with fully distributed radical reactivity and omniconducting behaviour at the Fermi level. A chemical nut graph consists of $v_2 \ge 0$ vertices of degree $2$ and an even number, $v_3 > 0$, of vertices of degree $3$. With the aid of systematic local constructions that produce larger nut graphs from smaller, the combinations $(v_3, v_2)$ corresponding to realisable chemical nut graphs are characterised. Apart from a finite set of small cases, and two simply defined infinite series, all combinations $(v_3, v_2 )$ with even values of $v_3 > 0$ are realisable as chemical nut graphs. Of these combinations, only $(20,0)$ cannot be realised by a planar chemical nut graph. The main result characterises the ranges of edge counts for chemical nut graphs of all orders $n$.
Homomorphisms of planar $(m, n)$-colored-mixed graphs to planar targets
Published
• View Publication
• BIB
An $(m, n)$-colored-mixed graph $G=(V, A_1, A_2,\cdots, A_m, E_1, E_2,\cdots, E_n)$ is a graph having $m$ colors of arcs and $n$ colors of edges. We do not allow two arcs or edges to have the same endpoints. A homomorphism from an $(m,n)$-colored-mixed graph $G$ to another $(m, n)$-colored-mixed graph $H$ is a morphism $\varphi:V(G)\rightarrow V(H)$ such that each edge (resp. arc) of $G$ is mapped to an edge (resp. arc) of $H$ of the same color (and orientation). An $(m,n)$-colored-mixed graph $T$ is said to be $P_g^{(m, n)}$-universal if every graph in $P_g^{(m, n)}$ (the planar $(m, n)$-colored-mixed graphs with girth at least $g$) admits a homomorphism to $T$.
We show that planar $P_g^{(m, n)}$-universal graphs do not exist for $2m+n\ge3$ (and any value of $g$) and find a minimal (in the number vertices) planar $P_g^{(m, n)}$-universal graphs in the other cases.
Counterexamples to a conjecture of Merker on 3-connected cubic planar graphs with a large cycle spectrum gap
Published
• View Publication
• BIB
Merker conjectured that if $k \ge 2$ is an integer and $G$ a 3-connected cubic planar graph of circumference at least $k$, then the set of cycle lengths of $G$ must contain at least one element of the interval $[k, 2k+2]$. We here prove that for every even integer $k \ge 6$ there is an infinite family of counterexamples.
Graph colorings with restricted bicolored subgraphs: I. Acyclic, star, and treewidth colorings
Published
• View Publication
• BIB
We show that for any fixed integer $m \geq 1$, a graph of maximum degree $Δ$ has a coloring with $O(Δ^{(m+1)/m})$ colors in which every connected bicolored subgraph contains at most $m$ edges. This result unifies previously known upper bounds on the number of colors sufficient for certain types of graph colorings, including star colorings, for which $O(Δ^{3/2})$ colors suffice, and acyclic colorings, for which $O(Δ^{4/3})$ colors suffice. Our proof uses a probabilistic method of Alon, McDiarmid, and Reed. This result also gives previously unknown upper bounds, including the fact that a graph of maximum degree $Δ$ has a proper coloring with $O(Δ^{9/8})$ colors in which every bicolored subgraph is planar, as well as a proper coloring with $O(Δ^{13/12})$ colors in which every bicolored subgraph has treewidth at most $3$.
Characterizing Circular Colouring Mixing for $\frac{p}{q}<4$
Published
• View Publication
• BIB
Given a graph $G$, the $k$-mixing problem asks: Can one obtain all $k$-colourings of $G$, starting from one $k$-colouring $f$, by changing the colour of only one vertex at a time, while at each step maintaining a $k$-colouring? More generally, for a graph $H$, the $H$-mixing problem asks: Can one obtain all homomorphisms $G \to H$, starting from one homomorphism $f$, by changing the image of only one vertex at a time, while at each step maintaining a homomorphism $G \to H$?
This paper focuses on a generalization of $k$-colourings, namely $(p,q)$-circular colourings. We show that when $2 < \frac{p}{q} < 4$, a graph $G$ is $(p,q)$-mixing if and only if for any $(p,q)$-colouring $f$ of $G$, and any cycle $C$ of $G$, the wind of the cycle under the colouring equals a particular value (which intuitively corresponds to having no wind). As a consequence we show that $(p,q)$-mixing is closed under a restricted homomorphism called a fold. Using this, we deduce that $(2k+1,k)$-mixing is co-NP-complete for all $k \in \mathbb{N}$, and by similar ideas we show that if the circular chromatic number of a connected graph $G$ is $\frac{2k+1}{k}$, then $G$ folds to $C_{2k+1}$. We use the characterization to settle a conjecture of Brewster and Noel, specifically that the circular mixing number of bipartite graphs is $2$. Lastly, we give a polynomial time algorithm for $(p,q)$-mixing in planar graphs when $3 \leq \frac{p}{q} <4$.
Simple Topological Drawings of $k$-Planar Graphs
Published
• View Publication
• BIB
Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For instance, \emph{$k$-planar graphs} are those graphs that can be drawn so that every edge has at most $k$ crossings (i.e., they admit a \emph{$k$-plane drawing}). It is known that for $k\le 3$, every $k$-planar graph admits a $k$-plane simple drawing. But for $k\ge 4$, there exist $k$-planar graphs that do not admit a $k$-plane simple drawing. Answering a question by Schaefer, we show that there exists a function $f : \mathbb{N}\rightarrow\mathbb{N}$ such that every $k$-planar graph admits an $f(k)$-plane simple drawing, for all $k\in\mathbb{N}$. Note that the function $f$ depends on $k$ only and is independent of the size of the graph. Furthermore, we develop an algorithm to show that every $4$-planar graph admits an $8$-plane simple drawing.
Drawing Tree-Based Phylogenetic Networks with Minimum Number of Crossings
Published
• View Publication
• BIB
In phylogenetics, tree-based networks are used to model and visualize the evolutionary history of species where reticulate events such as horizontal gene transfer have occurred. Formally, a tree-based network $N$ consists of a phylogenetic tree $T$ (a rooted, binary, leaf-labeled tree) and so-called reticulation edges that span between edges of $T$. The network $N$ is typically visualized by drawing $T$ downward and planar and reticulation edges with one of several different styles. One aesthetic criteria is to minimize the number of crossings between tree edges and reticulation edges. This optimization problem has not yet been researched. We show that, if reticulation edges are drawn x-monotone, the problem is NP-complete, but fixed-parameter tractable in the number of reticulation edges. If, on the other hand, reticulation edges are drawn like "ears", the crossing minimization problem can be solved in quadratic time.