arXiv++ Combinatorics

Browse math.CO papers from arXiv

planar

3209 papers tagged with this keyword
2019-12-23
Another proof of the $1/N$ expansion of the rank three tensor model with tetrahedral interaction
The rank three tensor model with tetrahedral interaction was shown by Carrozza and Tanasa to admit a $1/N$ expansion, dominated by melonic diagrams, and double tadpoles decorated with melons at next-to-leading order. This model has generated a renewed interest in tensor models because it has the same large $N$ limit as the SYK model. In contrast with matrix models, there is no method which would be able to prove the existence of $1/N$ expansions in arbitrary tensor models. The method used by Carrozza and Tanasa proves the existence of the $1/N$ expansion using two-dimensional topology, before identifying the leading order and next-to-leading graphs. However, another method was required for complex, rank three tensor models with planar interactions, which is based on flips. The latter are moves which cut two propagators of Feynman graphs and reglue them differently. They allow transforming graphs while tracking their orders in the $1/N$ expansion. Here we use this method to re-prove the results of Carrozza and Tanasa, thereby proving the existence of the $1/N$ expansion, the melonic dominance at leading order and the melon-decorated double tadpoles at next-to-leading order, all in one go.
Isoradial immersions
Published • View Publication • BIB
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.
Planar Matrices and Arrays of Feynman Diagrams
Published • View Publication • BIB
Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.
Long Cycles and Spanning Subgraphs of Locally Maximal 1-planar Graphs
Published in Journal of Graph Theory 2020 • View Publication • BIB
A graph is $1$-planar if it has a drawing in the plane such that each edge is crossed at most once by another edge. Moreover, if this drawing has the additional property that for each crossing of two edges the end vertices of these edges induce a complete subgraph, then the graph is locally maximal $1$-planar. For a $3$-connected locally maximal $1$-planar graph $G$, we show the existence of a spanning $3$-connected planar subgraph and prove that $G$ is hamiltonian if $G$ has at most three $3$-vertex-cuts, and that $G$ is traceable if $G$ has at most four $3$-vertex-cuts. Moreover, infinitely many non-traceable $5$-connected $1$-planar graphs are presented.
Petruska's question on planar convex sets
Published • View Publication • BIB
Given $2k-1$ convex sets in $R^2$ such that no point of the plane is covered by more than $k$ of the sets, is it true that there are two among the convex sets whose union contains all $k$-covered points of the plane? This question due to Gy. Petruska has an obvious affirmative answer for $k=1,2,3$; we show here that the claim is also true for $k=4$, and we present a counterexample for $k=5$. We explain how Petruska's geometry question fits into the classical hypergraph extremal problems, called arrow problems, proposed by P. Erdős.
2019-12-17
Non-perturbative geometries for planar $\mathcal{N}=4$ SYM amplitudes
Published • View Publication • BIB
There is a remarkable well-known connection between the G$(4,n)$ cluster algebra and $n$-particle amplitudes in $\mathcal{N}=4$ SYM theory. For $n \ge 8$ two long-standing open questions have been to find a mathematically natural way to identify a finite list of amplitude symbol letters from among the infinitely many cluster variables, and to find an explanation for certain algebraic functions, such as the square roots of four-mass-box type, that are expected to appear in symbols but are not cluster variables. In this letter we use the notion of "stringy canonical forms" to construct polytopal realizations of certain compactifications of (the positive part of) the configuration space Conf${}_n(\mathbb{P}^{k-1}) \cong {\rm G}(k,n)/T$ that are manifestly finite for all $k$ and $n$. Some facets of these polytopes are naturally associated to cluster variables, while others are naturally associated to algebraic functions constructed from Lusztig's canonical basis. For $(k,n) = (4,8)$ the latter include precisely the expected square roots, revealing them to be related to certain "overpositive" functions of the kinematical invariants.
2019-12-16
The Last Temptation of William T. Tutte
Published • View Publication • BIB
In 1999, at one of his last public lectures, Tutte discussed a question he had considered since the times of the Four Color Conjecture. He asked whether the 4-coloring complex of a planar triangulation could have two components in which all colorings had the same parity. In this note we answer Tutte's question to the contrary of his speculations by showing that there are triangulations of the plane whose coloring complexes have arbitrarily many even and odd components. We end up with a closely related conjecture, which is based on an extensive computation, and which claims that for every planar triangulation whose 4-coloring complex is disconnected has a component of even parity and one of odd parity.
2019-12-15
Small Connected Planar Graph with 1-Cop-Move Number 4
This paper describes a 720-vertex connected planar graph G such that cop1(G), denoting the minimum number of cops needed to catch the robber in the 1-cop-move game on G, is at least 4 and at most 7. Furthermore, G has a connected subgraph H such that cop1(H) is exactly 4, meaning that 4 cops are barely sufficient to catch the robber in the 1-cop-move game on H. This is a significant improvement over the graph given by Gao and Yang in 2017.
2019-12-14
Planar maps and random partitions
This habilitation thesis summarizes the research that I have carried out from 2005 to 2019. It is organized in four chapters. The first three deal with random planar maps. Chapter 1 is about their metric properties: from a general map-mobile bijection, we compute the three-point function of quadrangulations, before discussing the connection with continued fractions. Chapter 2 presents the slice decomposition, a unified bijective approach that applies notably to irreducible maps. Chapter 3 concerns the $O(n)$ loop model on planar maps: by a combinatorial decomposition, we obtain the phase diagram before studying loop nesting statistics. Chapter 4 deals with random partitions and Schur processes, from steep domino tilings to fermionic systems.
2019-12-06
Laurent polynomials of planar graphs
By using Laurent graph polynomials instead of the usual ones, i.e. by allowing negative powers of the variables, we simplify an existing method of determining the Alon-Tarsi numbers of planar graphs.
The Maximum Wiener Index of Maximal Planar Graphs
Published • View Publication • BIB
The Wiener index of a connected graph is the sum of the distances between all pairs of vertices in the graph. It was conjectured that the Wiener index of an $n$-vertex maximal planar graph is at most $\lfloor\frac{1}{18}(n^3+3n^2)\rfloor$. We prove this conjecture and for every $n$, $n \geq 10$, determine the unique $n$-vertex maximal planar graph for which this maximum is attained.
2019-12-04 v2
Ubiquity and the Farey graph
Published • View Publication • BIB
We construct a countable planar graph which, for any two vertices $u,v$ and any integer $k\ge 1$, contains $k$ edge-disjoint order-compatible $u$--$v$ paths but not infinitely many. This graph has applications in Ramsey theory, in the study of connectivity and in the characterisation of the Farey graph.
Jones' Conjecture in subcubic graphs
Published in The Electronic Journal of Combinatorics 28(4), 5:1-5:12, 2021 • View Publication • BIB
We confirm Jones' Conjecture for subcubic graphs. Namely, if a subcubic planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to obtain a forest.
2019-11-30 v4
On a Conjecture on the Wiener Index of a Maximal Planar Graph
We prove that the Wiener Index $W(G)$ of a Maximal Planar graph $G$ with $n$ vertices satisfies $W(G) \leq \Big{\lfloor} \frac{1}{18}(n^3 + 3n^2) \Big{\rfloor}$ for $3 \leq n \leq 18$.
2019-11-30 v2
Almost sharp bounds on the number of discrete chains in the plane
Published • View Publication • BIB
The following generalisation of the Erdős unit distance problem was recently suggested by Palsson, Senger and Sheffer. Given $k$ positive real numbers $δ_1,\dots,δ_k$, a $(k+1)$-tuple $(p_1,\dots,p_{k+1})$ in $\mathbb{R}^d$ is called a $(δ,k)$-chain if $\|p_j-p_{j+1}\| = δ_j$ for every $1\leq j \leq k$. What is the maximum number $C_k^d(n)$ of $(k,δ)$-chains in a set of $n$ points in $\mathbb{R}^d$, where the maximum is taken over all $δ$? Improving the results of Palsson, Senger and Sheffer, we essentially determine this maximum for all $k$ in the planar case. error term It is only for $k\equiv 1$ (mod) $3$ that the answer depends on the maximum number of unit distances in a set of $n$ points. We also obtain almost sharp results for even $k$ in $3$ dimension.
Large independent sets in triangle-free cubic graphs: beyond planarity
Published in Advances in Combinatorics, 2020:7, 45 pp • View Publication • BIB
Every $n$-vertex planar triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$. This was first conjectured by Albertson, Bollobás and Tucker, and was later proved by Heckman and Thomas. Fraughnaugh and Locke conjectured that the planarity requirement could be relaxed into just forbidding a few specific nonplanar subgraphs: They described a family $\mathcal{F}$ of six nonplanar graphs (each of order at most $22$) and conjectured that every $n$-vertex triangle-free graph with maximum degree at most $3$ having no subgraph isomorphic to a member of $\mathcal{F}$ has an independent set of size at least $\frac{3}{8}n$. In this paper, we prove this conjecture. As a corollary, we obtain that every $2$-connected $n$-vertex triangle-free graph with maximum degree at most $3$ has an independent set of size at least $\frac{3}{8}n$, with the exception of the six graphs in $\mathcal{F}$. This confirms a conjecture made independently by Bajnok and Brinkmann, and by Fraughnaugh and Locke.
Coloring outerplanar graphs and planar 3-trees with small monochromatic components
In this work, we continue the study of vertex colorings of graphs, in which adjacent vertices are allowed to be of the same color as long as each monochromatic connected component is of relatively small cardinality. We focus on colorings with two and three available colors and present improved bounds on the size of the monochromatic connected components for two meaningful subclasses of planar graphs, namely maximal outerplanar graphs and complete planar 3-trees.
2019-11-25 v3
Dynamic list coloring of 1-planar graphs
Published • View Publication • BIB
A graph is $k$-planar if it can be drawn in the plane so that each edge is crossed at most $k$ times. Typically, the class of 1-planar graphs is among the most investigated graph families within the so-called "beyond planar graphs". A dynamic $\ell$-list coloring of a graph is a proper coloring so that each vertex receives a color from a list of $\ell$ distinct candidate colors assigned to it, and meanwhile, there are at least two colors appearing in the neighborhood of every vertex of degree at least two. In this paper, we prove that each 1-planar graph has a dynamic $11$-list coloring. Moreover, we show a relationship between the dynamic coloring of 1-planar graphs and the proper coloring of 2-planar graphs, which states that the dynamic (list) chromatic number of the class of 1-planar graphs is at least the (list) chromatic number of the class of 2-planar graphs.
2019-11-24
Wheels in planar graphs and Hajós graphs
Published • View Publication • BIB
It was conjectured by Hajós that graphs containing no $K_5$-subdivision are 4-colorable. Previous results show that any possible minimum counterexample to Hajós' conjecture, called Hajós graph, is 4-connected but not 5-connected. In this paper, we show that if a Hajós graph admits a 4-cut or 5-cut with a planar side then the planar side must be small or contains a special wheel. This is a step in our effort to reduce Hajós' conjecture to the Four Color Theorem.
Pushable chromatic number of graphs with degree constraints
Published • View Publication • BIB
Pushable homomorphisms and the pushable chromatic number $χ_p$ of oriented graphs were introduced by Klostermeyer and MacGillivray in 2004. They notably observed that, for any oriented graph $\overrightarrow{G}$, we have $χ_p(\overrightarrow{G}) \leq χ_o(\overrightarrow{G}) \leq 2 χ_p(\overrightarrow{G})$, where $χ_o(\overrightarrow{G})$ denotes the oriented chromatic number of $\overrightarrow{G}$. This stands as first general bounds on $χ_p$. This parameter was further studied in later works.This work is dedicated to the pushable chromatic number of oriented graphs fulfilling particular degree conditions. For all $Δ\geq 29$, we first prove that the maximum value of the pushable chromatic number of an oriented graph with maximum degree $Δ$ lies between $2^{\fracΔ{2}-1}$ and $(Δ-3) \cdot (Δ-1) \cdot 2^{Δ-1} + 2$ which implies an improved bound on the oriented chromatic number of the same family of graphs. For subcubic oriented graphs, that is, when $Δ\leq 3$, we then prove that the maximum value of the pushable chromatic number is~$6$ or~$7$. We also prove that the maximum value of the pushable chromatic number of oriented graphs with maximum average degree less than~$3$ lies between~$5$ and~$6$. The former upper bound of~$7$ also holds as an upper bound on the pushable chromatic number of planar oriented graphs with girth at least~$6$.