planar
3156 papers tagged with this keyword
Strict inequalities for arm exponents in planar percolation
We discuss a general method to prove quantitative improvements on correlation inequalities and apply it to arm estimates for Bernoulli bond percolation on the square lattice. Our first result is that the two-arm exponent is strictly larger than twice the one-arm exponent and can be seen as a quantitative improvement on the Harris-FKG inequality. This answers a question of Garban and Steif, which was motivated by the study of exceptional times in dynamical percolation. Our second result is that the monochromatic arm exponents are strictly larger than their polychromatic versions, and can be seen as a quantitative improvement on Reimer's main lemma. This second result is not new and was already proved by Beffara and Nolin using a different argument.
Dual Mixed Volume
We define and study the dual mixed volume rational function of a sequence of polytopes, a dual version of the mixed volume polynomial. This concept has direct relations to the adjoint polynomials and the canonical forms of polytopes. We show that dual mixed volume is additive under mixed subdivisions, and is related by a change of variables to the dual volume of the Cayley polytope. We study dual mixed volume of zonotopes, generalized permutohedra, and associahedra. The latter reproduces the planar $φ^3$-scalar amplitude at tree level.
Maximal Independent Sets in Planar Triangulations
We show that every planar triangulation on $n$ vertices has a maximal independent set of size at most $n/3$. This affirms a conjecture by Botler, Fernandes and Gutiérrez [Electron.\ J.\ Comb., 2024], which in turn would follow if an open question of Goddard and Henning [Appl.\ Math.\ Comput., 2020] which asks if every planar triangulation has three disjoint maximal independent sets were answered in the affirmative. Since a maximal independent set is a special type of dominating set (independent dominating set), this is a structural strengthening of a major result by Matheson and Tarjan [Eur.\ J.\ Comb., 1996] that every triangulated disc has a dominating set of size at most $n/3$, but restricted to triangulations.
Two classes of connectivity-related non-Hamiltonian 1-planar perfect graphs
The existence of Hamiltonian cycles in 1-planar graphs with higher connectivity has attracted considerable attention. Recently, the authors and Dong proved that 4-connected 1-planar chordal graphs are Hamiltonian-connected. In this paper, we investigate the non-Hamiltonicity of a broader class of graphs, specifically perfect graphs, under the constraint of 1-planarity, with a focus on connectivity of at most 5. We also propose some unsolved problems.
Interplay of Cubic Graphs and Simplicial Surfaces
Simplicial surfaces describe the incidence relations between vertices, edges and faces of triangulated 2-dimensional manifolds in a purely combinatorial way. By considering only the incidences of edges and faces, simplicial surfaces are closely related to cubic graphs. In this paper we investigate how properties of simplicial surfaces and cubic graphs can be transferred to each other. Furthermore, we study embeddings of cubic graphs on simplicial surfaces and how they are connected to strong graph embeddings. For instance, 3-connected cubic planar graphs are uniquely embeddable on simplicial spheres, which is a direct consequence of Whitney's embedding theorem. Moreover, 3-connected cubic planar graphs can also be embedded on simplicial surfaces of higher genus. We characterise the properties that a simplicial sphere must possess such that the cubic graph describing its edge-face incidence relation can be embedded on a simplicial surface of non-negative Euler characteristic.
Planar wheel-like bricks
An edge e in a matching covered graph G is removable if G-e is matching covered; a pair {e; f} of edges of G is a removable doubleton if G-e-f is matching covered, but neither G-e nor G-f is. Removable edges and removable doubletons are called removable classes, which was introduced by Lovasz and Plummer in connection with ear decompositions of matching covered graphs. A brick is a nonbipartite matching covered graph without nontrivial tight cuts. A brick G is wheel-like if G has a vertex h, such that every removable class of G has an edge incident with h. Lucchesi and Murty conjectured that every planar wheel-like brick is an odd wheel. We present a proof of this conjecture in this paper.
Pancyclicity of almost-planar graphs
A non-planar graph is almost-planar if either deleting or contracting any edge makes it planar. A graph with $n$ vertices is pancyclic if it contains a cycle of every length from $3$ to $n$, and it is Hamiltonian if it contains a cycle of length $n$. A Hamiltonian path is a path of length $n$ and a graph with a Hamiltonian path between every pair of vertices is called Hamiltonian-connected. In 1990, Gubser characterized the class of almost-planar graphs. This paper explores the pancyclicity of these graphs. We prove that a $3$-connected almost-planar graph is pancyclic if and only if it has a cycle of length 3. Furthermore, we prove that a 4-connected almost-planar graph is both pancyclic and Hamiltonian-connected.
Treewidth, Hadwiger Number, and Induced Minors
Treewidth and Hadwiger number are two of the most important parameters in structural graph theory.
This paper studies graph classes in which large treewidth implies the existence of a large complete graph minor.
To formalise this, we say that a graph class $\mathcal{G}$ is (tw,had)-bounded if there is a function $f$ (called the (tw,had)-bounding function) such that tw$(G)$ $\leq$ $f$(had$(G)$) for every graph $G \in \mathcal{G}$.
We characterise (tw,had)-bounded graph classes as those that exclude some planar graph as an induced minor, and use this characterisation to show that every proper vertex-minor-closed class is (tw,had)-bounded. Furthermore, we demonstrate that any (tw,had)-bounded graph class has a (tw,had)-bounding function in O(had$(G)^9$polylog(had$(G)$)). Our bound comes from the bound for the Grid Minor Theorem given by Chuzhoy and Tan, and any quantitative improvement to their result will lead directly to an improvement to our result.
More strongly, we conjecture that every (tw,had)-bounded graph class has a linear (tw,had)-bounding function.
In support of this conjecture, we show that it holds for the class of outer-string graphs, and for a natural generalisation of outer-string graphs: intersection graphs of strings rooted at the boundary of a fixed surface. We also verify our conjecture for low-rank perturbations of circle graphs, which is an important step towards verifying it for all proper vertex-minor-closed classes.
Some open mathematical problems on fullerenes
Fullerenes are hollow carbon molecules where each atom is connected to exactly three other atoms, arranged in pentagonal and hexagonal rings. Mathematically, they can be combinatorially modeled as planar, 3-regular graphs with facets composed only of pentagons and hexagons. In this work, we outline a few of the many open questions about fullerenes, beginning with the problem of generating fullerenes randomly. We then introduce an infinite family of fullerenes on which the generalized Stone-Wales operation is inapplicable. Furthermore, we present numerical insights on a graph invariant, called \textit{character} of a fullerene, derived from its adjacency and degree matrices. This descriptor may lead to a new method for linear enumeration of all fullerenes.
On the theory of Lucas coloring
In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.
K5 and K3,3 are Toroidal Penny Graphs
In this article we emphasize on the connection between two fields of study that are Penny Graphs, and the Optimal Packing of Spheres on the Flat Torus. We give a brief litterature overview on related results in the fields of planar graphs, penny graphs, toroidal penny graphs and spherical codes.We also show that $K5$ and $K_{3,3}$ are penny graphs on the flat square torus.
Amplituhedra and origami
We establish a precise correspondence between points of momentum amplituhedra and origami crease patterns. As an application, we prove that the BCFW cells triangulate the momentum amplituhedron when all Mandelstam variables are nonnegative. As another application, we show that every weighted planar bipartite graph $Γ$ admits a t-embedding, i.e., an embedding of the planar dual of $Γ$ such that the sum of angles of white (equivalently, black) faces around each vertex is equal to $π$.
Enumeration of planar bipartite tight irreducible maps
We consider planar bipartite maps which are both tight, i.e. without vertices of degree $1$, and $2b$-irreducible, i.e. such that each cycle has length at least $2b$ and such that any cycle of length exactly $2b$ is the contour of a face. It was shown by Budd that the number $\mathcal N_n^{(b)}$ of such maps made out of a fixed set of $n$ faces with prescribed even degrees is a polynomial in both $b$ and the face degrees. In this paper, we give an explicit expression for $\mathcal N_n^{(b)}$ by a direct bijective approach based on the so-called slice decomposition. More precisely, we decompose any of the maps at hand into a collection of $2b$-irreducible tight slices and a suitable two-face map. We show how to bijectively encode each $2b$-irreducible slice via a $b$-decorated tree drawn on its derived map, and how to enumerate collections thereof. We then discuss the polynomial counting of two-face maps, and show how to combine it with the former enumeration to obtain $\mathcal N_n^{(b)}$.
Block coupling and rapidly mixing k-heights
A $k$-height on a graph $G=(V, E)$ is an assignment $V\to\{0, \ldots, k\}$ such that the value on ajacent vertices differs by at most $1$. We study the Markov chain on $k$-heights that in each step selects a vertex at random, and, if admissible, increases or decreases the value at this vertex by one. In the cases of $2$-heights and $3$-heights we show that this Markov chain is rapidly mixing on certain families of grid-like graphs and on planar cubic $3$-connected graphs.
The result is based on a novel technique called block coupling, which is derived from the well-established monotone coupling approach. This technique may also be effective when analyzing other Markov chains that operate on configurations of spin systems that form a distributive lattice. It is therefore of independent interest.
Cut covers of acyclic digraphs
A cut in a digraph $D=(V,A)$ is a set of arcs $\{uv \in A: u\in U, v\notin U\}$, for some $U\subseteq V$. It is known that the arc set $A$ is covered by $k$ cuts if and only if it admits a $k$-coloring such that no two consecutive arcs $uv, vw$ receive the same color. Alon, Bollobás, Gyárfás, Lehel and Scott (2007) observed that every acyclic digraph of maximum indegree at most $\binom{k}{\lfloor k/2 \rfloor}-1$ is covered by $k$ cuts. We prove that this degree condition is best possible (if an enormous outdegree is allowed). Notably, for $k\geq 5$, powers of directed paths do not suffice as extremal examples. Instead, we locate the maximum $d$ such that the $d$-th power of an arbitrarily long directed path is covered by $k$ cuts between $(1-o(1)) \frac{1}{e} 2^k$ and $\frac{1}{2}2^k-2$. Let $k\geq 3$ and $D$ be an acyclic digraph that is not covered by $k$ cuts. We prove that the decision problem whether a digraph that admits a homomorphism to $D$ is covered by $k$ cuts is NP-complete. If $k=3$ and $D$ is the third power of the directed path on 12 vertices, then even the restriction to planar digraphs of maximum indegree and outdegree $3$ holds.
Geometric Combinatorics of Polynomials II: Polynomials and Cell Structures
This article introduces a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed rectangular region. We call this the branched rectangle complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed rectangle. The vertices of the cell structure are indexed by the combinatorial "basketballs" studied by Martin, Savitt and Singer. Structurally, the branched rectangle complex is a full subcomplex of a direct product of two copies of the order complex of the noncrossing partition lattice. Topologically, it is homeomorphic to the closed $2n$-dimensional ball where $n=d-1$. Metrically, the simplices in each factor are orthoschemes. It can also be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$.
We also introduce a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed annular region. We call this the branched annulus complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed annulus.It can be constructed from the branched rectangle complex as a cellular quotient by isometric face identifications. And it can be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$ with distinct roots.
Finally, the branched annulus complex deformation retracts to the branched circle complex, which we identify with the dual braid complex. Our explicit embedding of the dual braid complex as a spine for the space of polynomials with distinct roots provides a direct proof that these two classifying spaces for the braid group are homotopy equivalent.
On strong odd colorings of graphs
A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products.
The bunkbed conjecture is false
We give an explicit counterexample to the Bunkbed Conjecture introduced by Kasteleyn in 1985. The counterexample is given by a planar graph on $7222$ vertices, and is built on the recent work of Hollom (2024).
Spectral Extremal Graphs of Planar Graphs with Fixed Size
Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] determined the unique spectral extremal graph over all outerplanar graphs and the unique spectral extremal graph over all planar graphs when the number of vertices is sufficiently large. In this paper we consider the spectral extremal problems of outerplanar graphs and planar graphs with fixed number of edges. We prove that the outerplanar graph on $m \geq 64$ edges with the maximum spectral radius is $S_m$, where $S_m$ is a star with $m$ edges. For planar graphs with $m$ edges, our main result shows that the spectral extremal graph is $K_2 \vee \frac{m-1}{2} K_1$ when $m$ is odd and sufficiently large, and $K_1 \vee (S_{\frac{m-2}{2}} \cup K_1)$ when $m$ is even and sufficiently large. Additionally, we obtain spectral extremal graphs for path, cycle and matching in outerplanar graphs and spectral extremal graphs for path, cycle and complete graph on $4$ vertices in planar graphs.
Coloring Trivalent Graphs: A Defect TFT Approach
We show that the combinatorial matter of graph coloring is, in fact, quantum in the sense of satisfying the sum over all the possible intermediate state properties of a path integral. In our case, the topological field theory (TFT) with defects gives meaning to it. This TFT has the property that when evaluated on a planar trivalent graph, it provides the number of Tait-Coloring of it. Defects can be considered as a generalization of groups. With the Klein-four group as a 1-defect condition, we reinterpret graph coloring as sections of a certain bundle, distinguishing a coloring (global-sections) from a coloring process (local-sections.) These constructions also lead to an interpretation of the word problem, for a finitely presented group, as a cobordism problem and a generalization of (trivial) bundles at the level of higher categories.