planar
3156 papers tagged with this keyword
Diverse beam search to find densest-known planar unit distance graphs
Published
• View Publication
• BIB
This paper addresses the problem of determining the maximum number of edges in a unit distance graph (UDG) of $n$ vertices using computer search. An unsolved problem of Paul Erdős asks the maximum number of edges $u(n)$ a UDG of $n$ vertices can have. Those UDGs that attain $u(n)$ are called "maximally dense." In this paper, we seek to demonstrate a computer algorithm to generate dense UDGs for vertex counts up to at least 100. Via beam search with an added visitation metric, our algorithm finds all known maximally dense UDGs up to isomorphism at the push of a button. In addition, for $15 < n$, where $u(n)$ is unknown, i) the algorithm finds all previously published densest UDGs up to isomorphism for $15 < n \le 30$, and ii) the rate of growth of $u(n)/n$ remains similar for $30 < n$. The code and database of over 60 million UDGs found by our algorithm can be found at https://codeberg.org/zsamboki/dbs-udg.
Enumeration of maps with tight boundaries and the Zhukovsky transformation
We consider maps with tight boundaries, i.e. maps whose boundaries have minimal length in their homotopy class, and discuss the properties of their generating functions $T^{(g)}_{\ell_1,\ldots,\ell_n}$ for fixed genus $g$ and prescribed boundary lengths $\ell_1,\ldots,\ell_n$, with a control on the degrees of inner faces. We find that these series appear as coefficients in the expansion of $ω^{(g)}_n(z_1,\ldots,z_n)$, a fundamental quantity in the Eynard-Orantin theory of topological recursion, thereby providing a combinatorial interpretation of the Zhukovsky transformation used in this context. This interpretation results from the so-called trumpet decomposition of maps with arbitrary boundaries. In the planar bipartite case, we obtain a fully explicit formula for $T^{(0)}_{2\ell_1,\ldots,2\ell_n}$ from the Collet-Fusy formula. We also find recursion relations satisfied by $T^{(g)}_{\ell_1,\ldots,\ell_n}$, which consist in adding an extra tight boundary, keeping the genus $g$ fixed. Building on a result of Norbury and Scott, we show that $T^{(g)}_{\ell_1,\ldots,\ell_n}$ is equal to a parity-dependent quasi-polynomial in $\ell_1^2,\ldots,\ell_n^2$ times a simple power of the basic generating function $R$. In passing, we provide a bijective derivation in the case $(g,n)=(0,3)$, generalizing a recent construction of ours to the non bipartite case.
Parameterized Shortest Path Reconfiguration
An st-shortest path, or st-path for short, in a graph G is a shortest (induced) path from s to t in G. Two st-paths are said to be adjacent if they differ on exactly one vertex. A reconfiguration sequence between two st-paths P and Q is a sequence of adjacent st-paths starting from P and ending at Q. Deciding whether there exists a reconfiguration sequence between two given $st$-paths is known to be PSPACE-complete, even on restricted classes of graphs such as graphs of bounded bandwidth (hence pathwidth). On the positive side, and rather surprisingly, the problem is polynomial-time solvable on planar graphs. In this paper, we study the parameterized complexity of the Shortest Path Reconfiguration (SPR) problem. We show that SPR is W[1]-hard parameterized by k + \ell, even when restricted to graphs of bounded (constant) degeneracy; here k denotes the number of edges on an st-path, and \ell denotes the length of a reconfiguration sequence from P to Q. We complement our hardness result by establishing the fixed-parameter tractability of SPR parameterized by \ell and restricted to nowhere-dense classes of graphs. Additionally, we establish fixed-parameter tractability of SPR when parameterized by the treedepth, by the cluster-deletion number, or by the modular-width of the input graph.
Independent [k]-Roman Domination on Graphs
Given a function $f\colon V(G) \to \mathbb{Z}_{\geq 0}$ on a graph $G$, $AN(v)$ denotes the set of neighbors of $v \in V(G)$ that have positive labels under $f$. In 2021, Ahangar et al.~introduced the notion of $[k]$-Roman Dominating Function ([$k$]-RDF) of a graph $G$, which is a function $f\colon V(G) \to \{0,1,\ldots,k+1\}$ such that $\sum_{u \in N[v]}f(u) \geq k + |AN(v)|$ for all $v \in V(G)$ with $f(v)<k$. The weight of $f$ is $\sum_{v \in V(G)}f(v)$. The $[k]$-Roman domination number, denoted by $γ_{[kR]}(G)$, is the minimum weight of a $[k]$-RDF of $G$. The notion of [$k$]-RDF for $k=1$ has been extensively investigated in the scientific literature since 2004, when introduced by Cockayne et al. as Roman Domination. An independent [$k$]-Roman dominating function ([$k$]-IRDF) $f\colon V(G) \to \{0,1,\ldots,k+1\}$ of a graph $G$ is a [$k$]-RDF of $G$ such that the set of vertices with positive labels is an independent set. The independent [$k$]-Roman domination number of $G$ is the minimum weight of a [$k$]-IRDF of $G$ and is denoted by $i_{[kR]}(G)$. In this paper, we propose the study of independent [$k$]-Roman domination on graphs for arbitrary $k \geq 1$. We prove that, for all $k\geq 3$, the decision problems associated with $i_{[kR]}(G)$ and $γ_{[kR]}(G)$ are NP-complete for planar bipartite graphs with maximum degree 3. We also present lower and upper bounds for $i_{[kR]}(G)$. Moreover, we present lower and upper bounds for the parameter $i_{[kR]}(G)$ for two families of 3-regular graphs called generalized Blanuša snarks and Loupekine snarks.
Colouring negative exact-distance graphs of signed graphs
The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which the signed graph has a sign-preserving homomorphism. We study the chromatic number of negative exact-distance graphs of signed graphs that are planar, and also the relation of these chromatic numbers with the generalised colouring numbers of the underlying graphs. Our results are related to a theorem of Alon and Marshall about homomorphisms of signed graphs.
Signed projective cubes, a homomorphism point of view
The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.
Cycle Matroids of Graphings: From Convergence to Duality
A recent line of research has concentrated on exploring the links between analytic and combinatorial theories of submodularity, uncovering several key connections between them. In this context, Lovász initiated the study of matroids from an analytic point of view and introduced the cycle matroid of a graphing. Motivated by the limit theory of graphs, the authors introduced a form of right-convergence, called quotient-convergence, for a sequence of submodular setfunctions, leading to a notion of convergence for matroids through their rank functions. In this paper, we study the connection between local-global convergence of graphs and quotient-convergence of their cycle matroids. We characterize the exposed points of associated convex sets, forming an analytic counterpart of matroid independence- and base-polytopes. Finally, we consider dual planar graphings and show that the cycle matroid of one is the cocycle matroid of its dual if and only if the underlying graphings are hyperfinite.
Unified study of the phase transition for block-weighted random planar maps
Published in Eurocomb'23, pages 790-798, 2023
• View Publication
• BIB
In [Fleurat, Salvy 2024], we introduced a model of block-weighted random maps that undergoes a phase transition as the density of separating elements changes. The purpose of this note is to demonstrate that the methodology we developed can be extended to many other families of maps. We prove that a phase transition exists and provide detailed information about the size of the largest blocks in each regime.
Degree-truncated choosability of planar graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. Answering a question of Richter, it was proved in [Zhou,Zhu,Zhu, Degree-truncated choice number of graphs, arXiv:2308.15853] that there exists a 3-connected non-complete planar graph that is not degree-truncated 7-choosable, and every 3-connected non-complete planar graph is degree-truncated 16-choosable. This paper improves the bounds, and proves that there exists a 3-connected non-complete planar graph that is not degree-truncated 8-choosable, and that every 3-connected non-complete planar graph is degree-truncated $12$-choosable.
Planar Turán number for balanced double stars
Planar Turán number, denoted by $ex_{\mathcal{P}}(n,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. For balanced double star, $S_{3,3}$ is the only remaining graph need to be considered. In this paper, we give the exact value of $ex_{\mathcal{P}}(n,S_{3,3})$, forcing the planar Turán number for all balanced double stars completely determined.
Asymptotic normality of pattern occurrences in random maps
The purpose of this paper is to study the limiting distribution of special {\it additive functionals} on random planar maps, namely the number of occurrences of a given {\it pattern}. The main result is a central limit theorem for these pattern counts in the case of pattern with a simple boundary. The proof relies on a combination of analytic and combinatorial methods together with a moment method due to Gao and Wormald~\cite{GaoWormald}. It is an important issue to handle the overlap structure of two pattern which is the main difficulty in the proof.
More on the number of distinct values of a class of functions
In a previous article the authors determined the best-known upper bound for the cardinality of the image set for several classes of functions, including planar functions. Here, we show that the upper bound cannot be tight for planar functions over finite fields. This follows from a more general result proving that the upper bound cannot be tight for a much larger class of functions over an abelian group of order $y^n$ with $n>1$. Moreover, the tightness of the upper bound for the larger class of functions is equivalent to the existence of planar difference sets.
To obtain better upper bounds, we first completely resolve an optimization problem involving the partitioning of a number into triangular parts. Our solution, which is algorithmic and constructive, allows us to determine tight upper bounds provided the relevant parameters are given explicitly. We also provide a suite of upper bounds which can be applied across a range of parameters. These are established via a well-studied Diophantine equation and are related to class numbers of quadratic number fields.
Weak Degeneracy of Planar Graphs
The weak degeneracy of a graph $G$ is a numerical parameter that was recently introduced by the first two authors with the aim of understanding the power of greedy algorithms for graph coloring. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse is not true in general (for example, all connected $d$-regular graphs except cycles and cliques are weakly $(d-1)$-degenerate). If $G$ is weakly $d$-degenerate, then the list-chromatic number of $G$ is at most $d+1$, and the same upper bound holds for various other parameters such as the DP-chromatic number and the paint number. Here we rectify a mistake in a paper of the first two authors and give a correct proof that planar graphs are weakly $4$-degenerate, strengthening the famous result of Thomassen that planar graphs are $5$-list-colorable.
Guarding isometric subgraphs and Cops and Robber in planar graphs
Published in Europ. J. Combin. 119 (2024) 103809
• View Publication
• BIB
In the game of Cops and Robbers, one of the most useful results is that an isometric path in a graph can be guarded by one cop. In this paper, we introduce the concept of wide shadow in a subgraph, and use it to characterize all 1-guardable graphs. As an application, we show that 3 cops can capture a robber in any planar graph with the added restriction that at most two cops can move simultaneously, proving a conjecture of Yang and strengthening a classical result of Aigner and Fromme.
On the Classification of Planar-Rips complexes and their corresponding unit disk graphs
Given a metric space $(X,d)$, the Vietoris-Rips complex of $X$ at a scale of $r >0$ is a simplicial complex whose simplices are all those finite subsets of $X$ with diameter less than $r$. In this paper, we classify, up to simplicial isomorphism, all $n$-dimensional pseudomanifolds and weak-pseudomanifolds that can be realized as a Vietoris-Rips complex of planar point sets. We further classify two-dimensional, pure, and closed planar-Rips complexes up to homotopy. Additionally, we explore the hereditary properties and introduce the notion of obstructions in planar-Rips complexes. We also consolidate our findings to describe a class of unit disk graphs, having all maximal cliques of same cardinality. Several structural and geometric properties of planar-Rips complexes have also been derived.
Long cycles and spectral radii in planar graphs
There is a rich history of studying the existence of cycles in planar graphs. The famous Tutte theorem on the Hamilton cycle states that every 4-connected planar graph contains a Hamilton cycle. Later on, Thomassen (1983), Thomas and Yu (1994) and Sanders (1996) respectively proved that every 4-connected planar graph contains a cycle of length $n-1, n-2$ and $n-3$. Chen, Fan and Yu (2004) further conjectured that every 4-connected planar graph contains a cycle of length $\ell$ for $\ell\in\{n,n-1,\ldots,n-25\}$ and they verified that $\ell\in \{n-4, n-5, n-6\}$. When we remove the ``4-connected" condition, how to guarantee the existence of a long cycle in a planar graph? A natural question asks by adding a spectral radius condition: What is the smallest constant $C$ such that for sufficiently large $n$, every graph $G$ of order $n$ with spectral radius greater than $C$ contains a long cycle in a planar graph? In this paper, we give a stronger answer to the above question. Let $G$ be a planar graph with order $n\geq 1.8\times 10^{17}$ and $k\leq \lfloor\log_2(n-3)\rfloor-8$ be a non-negative integer, we show that if $ρ(G)\geq ρ(K_2\vee(P_{n-2k-4}\cup 2P_{k+1}))$ then $G$ contains a cycle of length $\ell$ for every $\ell\in \{n-k, n-k-1, \ldots, 3\}$ unless $G\cong K_2\vee(P_{n-2k-4}\cup 2P_{k+1})$.
Monochromatic graph decompositions inspired by anti-Ramsey colorings
Published in Discrete Applied Mathematics, 363 (2025), 190-200
• Search Publication
We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent.
Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$.
The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973.
Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$.
The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$.
(1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$.
(2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$.
Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more.
We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples.
For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.
A Hanani-Tutte Theorem for Cycles
Given a drawing $D$ of a graph $G$, we define the crossing number between any two cycles $C_{1}$ and $C_{2}$ in $D$ to be the number of crossings that involve at least one edge from each of $C_1$ and $C_2$ except the crossings between edges that are common to both cycles. We show that if the crossing number between every two cycles in $G$ is even in a drawing of $G$ on the plane, then there is a planar drawing of $G$. This result can be extended to arbitrary surfaces. We also establish an equivalence between our result and a fundamental result due to Cairns-Nikolayevsky and Pelsmajer-Schaefer-Štefankovič, about drawing graphs on surfaces, and derive the Loebl-Masbaum theorem from it.
Quasi-transitive $K_\infty$-minor free graphs
We prove that every locally finite quasi-transitive graph that does not contain $K_\infty$ as a minor is quasi-isometric to some planar quasi-transitive locally finite graph. This solves a problem of Esperet and Giocanti and improves their recent result that such graphs are quasi-isometric to some planar graph of bounded degree.
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph.
This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge-colorable if and only if it can be obtained from the Petersen graph by replacing each vertex by a 2-edge-connected planar cubic (multi)graph.
This result is a nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An unexpected consequence of this result is a coloring-flow duality statement for the projective plane: A cubic graph embedded in the projective plane is 3-edge-colorable if and only if its dual multigraph is 5-vertex-colorable. Moreover, we show that a 2-edge connected graph embedded in the projective plane admits a nowhere-zero 4-flow unless it is Peteren-like (in which case it does not admit nowhere-zero 4-flows). This proves a strengthening of the Tutte 4-flow conjecture for graphs on the projective plane.
Some of our proofs require extensive computer verification. The necessary source codes, together with the input and output files and the complete set of more than 6000 reducible configurations are available on Github (https://github.com/edge-coloring) which can be considered as an Addendum to this paper. Moreover, we provide pseudocodes for all our computer verifications.