We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analog of the Plücker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gröbner basis for the grove ideal.

We make precise and prove a conjecture of Klivans about actions of the sandpile group on spanning trees. More specifically, the conjecture states that there exists a unique ‘suitably nice’ sandpile torsor structure on plane graphs which is induced by rotor-routing.

First, we rigorously define a sandpile torsor algorithm (on plane graphs) to be a map which associates each plane graph (i.e., planar graph with an appropriate ribbon structure) with a free transitive action of its sandpile group on its spanning trees. Then, we define a notion of consistency, which requires a torsor algorithm to be preserved with respect to a certain class of contractions and deletions. Using these definitions, we show that the rotor-routing sandpile torsor algorithm is consistent. Furthermore, we demonstrate that there are only three other consistent algorithms on plane graphs, which all have the same structure as rotor-routing.

We also define sandpile torsor algorithms on regular matroids and suggest a notion of consistency in this context. We conjecture that the Backman-Baker-Yuen algorithm is consistent, and that there are only three other consistent sandpile torsor algorithms on regular matroids, all with the same structure.

If ${\mathbf v} \in {\mathbb R}^{V(X)}$ is an eigenvector for eigenvalue $\lambda $ of a graph X and $\alpha $ is an automorphism of X, then $\alpha ({\mathbf v})$ is also an eigenvector for $\lambda $. Thus, it is rather exceptional for an eigenvalue of a vertex-transitive graph to have multiplicity one. We study cubic vertex-transitive graphs with a nontrivial simple eigenvalue, and discover remarkable connections to arc-transitivity, regular maps, and number theory.

We prove that if a unimodular random graph is almost surely planar and has finite expected degree, then it has a combinatorial embedding into the plane which is also unimodular. This implies the claim in the title immediately by a theorem of Angel, Hutchcroft, Nachmias and Ray [2]. Our unimodular embedding also implies that all the dichotomy results of [2] about unimodular maps extend in the one-ended case to unimodular random planar graphs.

We extend the notion of universal graphs to a geometric setting. A geometric graph is universal for a class $\mathcal H$ of planar graphs if it contains an embedding, that is, a crossing-free drawing, of every graph in $\mathcal H$. Our main result is that there exists a geometric graph with $n$ vertices and $O\!\left(n \log n\right)$ edges that is universal for $n$-vertex forests; this generalises a well-known result by Chung and Graham, which states that there exists an (abstract) graph with $n$ vertices and $O\!\left(n \log n\right)$ edges that contains every $n$-vertex forest as a subgraph. The upper bound of $O\!\left(n \log n\right)$ edges cannot be improved, even if more than $n$ vertices are allowed. We also prove that every $n$-vertex convex geometric graph that is universal for $n$-vertex outerplanar graphs has a near-quadratic number of edges, namely $\Omega _h(n^{2-1/h})$, for every positive integer $h$; this almost matches the trivial $O(n^2)$ upper bound given by the $n$-vertex complete convex geometric graph. Finally, we prove that there exists an $n$-vertex convex geometric graph with $n$ vertices and $O\!\left(n \log n\right)$ edges that is universal for $n$-vertex caterpillars.

A random two-cell embedding of a given graph $G$ is obtained by choosing a random local rotation around every vertex. We analyse the expected number of faces of such an embedding, which is equivalent to studying its average genus. In 1991, Stahl [5] proved that the expected number of faces in a random embedding of an arbitrary graph of order $n$ is at most $n\log (n)$ . While there are many families of graphs whose expected number of faces is $\Theta (n)$ , none are known where the expected number would be super-linear. This led the authors of [1] to conjecture that there is a linear upper bound. In this note we confirm their conjecture by proving that for any $n$ -vertex multigraph, the expected number of faces in a random two-cell embedding is at most $2n\log (2\mu )$ , where $\mu$ is the maximum edge-multiplicity. This bound is best possible up to a constant factor.

We define smooth notions of concordance and sliceness for spatial graphs. We prove that sliceness of a spatial graph is equivalent to a condition on a set of linking numbers together with sliceness of a link associated with the graph. This generalizes the result of Taniyama for $\theta $-curves.

Recently, Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph as a generating function that enumerates all partial duals of the ribbon graph by Euler genus. It is analogous to the extensively studied polynomial in topological graph theory that enumerates by Euler genus all embeddings of a given graph. To investigate the partial-dual polynomial, one only needs to focus on bouquets: that is, ribbon graphs with exactly one vertex. In this paper, we shall further show that the partial-dual polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say, two bouquets with the same signed intersection graph have the same partial-dual polynomial. We then give a characterisation of when a bouquet has a planar partial dual in terms of its signed intersection graph. Finally, we consider a conjecture posed by Gross, Mansour and Tucker that there is no orientable ribbon graph whose partial-dual polynomial has only one nonconstant term; this conjecture is false, and we give a characterisation of when all partial duals of a bouquet have the same Euler genus.

A handlebody link is a union of handlebodies of positive genus embedded in 3-space, which generalises the notion of links in classical knot theory. In this paper, we consider handlebody links with a genus two handlebody and $n-1$ solid tori, $n>1$ . Our main result is the classification of such handlebody links with six crossings or less, up to ambient isotopy.

Given a fixed graph H that embeds in a surface $\Sigma$ , what is the maximum number of copies of H in an n-vertex graph G that embeds in $\Sigma$ ? We show that the answer is $\Theta(n^{f(H)})$ , where f(H) is a graph invariant called the ‘flap-number’ of H, which is independent of $\Sigma$ . This simultaneously answers two open problems posed by Eppstein ((1993) J. Graph Theory17(3) 409–416.). The same proof also answers the question for minor-closed classes. That is, if H is a $K_{3,t}$ minor-free graph, then the maximum number of copies of H in an n-vertex $K_{3,t}$ minor-free graph G is $\Theta(n^{f'(H)})$ , where f′(H) is a graph invariant closely related to the flap-number of H. Finally, when H is a complete graph we give more precise answers.

The Bollobás–Riordan (BR) polynomial [(2002), Math. Ann.323 81] is a universal polynomial invariant for ribbon graphs. We find an extension of this polynomial for a particular family of combinatorial objects, called rank 3 weakly coloured stranded graphs. Stranded graphs arise in the study of tensor models for quantum gravity in physics, and generalize graphs and ribbon graphs. We present a seven-variable polynomial invariant of these graphs, which obeys a contraction/deletion recursion relation similar to that of the Tutte and BR polynamials. However, it is defined on a much broader class of objects, and furthermore captures properties that are not encoded by the Tutte or BR polynomials.

We define a new ribbon group action on ribbon graphs that uses a semidirect product of a permutation group and the original ribbon group of Ellis-Monaghan and Moffatt to take (partial) twists and duals, or twuals, of ribbon graphs. A ribbon graph is a fixed point of this new ribbon group action if and only if it is isomorphic to one of its (partial) twuals. This extends the original ribbon group action, which only used the canonical identification of edges, to the more natural setting of self-twuality up to isomorphism. We then show that every ribbon graph has in its orbit an orientable embedded bouquet and prove that the (partial) twuality properties of these bouquets propagate through their orbits. Thus, we can determine (partial) twualities via these one vertex graphs, for which checking isomorphism reduces simply to checking dihedral group symmetries. Finally, we apply the new ribbon group action to generate all self-trial ribbon graphs on up to seven edges, in contrast with the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin. We also show how the automorphism group of a ribbon graph yields self-dual, -petrial or –trial graphs in its orbit, and produce an infinite family of self-trial graphs that do not arise as covers or parallel connections of regular maps, thus answering a question of Jones and Poulton.

A (not necessarily proper) vertex colouring of a graph has clustering c if every monochromatic component has at most c vertices. We prove that planar graphs with maximum degree $\Delta$ are 3-colourable with clustering $O(\Delta^2)$. The previous best bound was $O(\Delta^{37})$. This result for planar graphs generalises to graphs that can be drawn on a surface of bounded Euler genus with a bounded number of crossings per edge. We then prove that graphs with maximum degree $\Delta$ that exclude a fixed minor are 3-colourable with clustering $O(\Delta^5)$. The best previous bound for this result was exponential in $\Delta$.

In this short note, we prove the following analog of the Kővári–Sós–Turán theorem for intersection graphs of boxes. If G is the intersection graph of n axis-parallel boxes in $${{\mathbb{R}}^d}$$ such that G contains no copy of Kt,t, then G has at most ctn( log n)2d+3 edges, where c = c(d)>0 only depends on d. Our proof is based on exploring connections between boxicity, separation dimension and poset dimension. Using this approach, we also show that a construction of Basit, Chernikov, Starchenko, Tao and Tran of K2,2-free incidence graphs of points and rectangles in the plane can be used to disprove a conjecture of Alon, Basavaraju, Chandran, Mathew and Rajendraprasad. We show that there exist graphs of separation dimension 4 having superlinear number of edges.

Le nombre chromatique relatif $c_0(S)$ d’une surface compacte S à bord est défini comme la borne supérieure des nombres chromatiques des graphes plongés dans S avec tous leurs sommets sur $\partial S$ . Cet invariant topologique a été introduit pour l’étude de la multiplicité de la première valeur propre de Steklov sur S. Dans cet article, on montre que $c_0(S)$ est aussi pertinent pour l’étude des plongements polyédraux tendus de S en établissant deux résultats. Le premier est que s’il existe un plongement polyédral tendu de S dans $\mathbb {R}^n$ qui n’est pas contenu dans un hyperplan, alors $n\leq c_0(S)-1$ . Le second est que cette inégalité est optimale pour les surfaces de petit genre.

We give the crossing number of the join product $W_{4}+D_{n}$, where $W_{4}$ is the wheel on five vertices and $D_{n}$ consists of $n$ isolated vertices. The proof is based on calculating the minimum number of crossings between two different subgraphs from the set of subgraphs which do not cross the edges of the graph $W_{4}$ and from the set of subgraphs which cross the edges of $W_{4}$ exactly once.

Archdeacon and Grable (1995) proved that the genus of the random graph $G\in {\mathcal{G}}_{n,p}$ is almost surely close to $pn^{2}/12$ if $p=p(n)\geqslant 3(\ln n)^{2}n^{-1/2}$. In this paper we prove an analogous result for random bipartite graphs in ${\mathcal{G}}_{n_{1},n_{2},p}$. If $n_{1}\geqslant n_{2}\gg 1$, phase transitions occur for every positive integer $i$ when $p=\unicode[STIX]{x1D6E9}((n_{1}n_{2})^{-i/(2i+1)})$. A different behaviour is exhibited when one of the bipartite parts has constant size, i.e., $n_{1}\gg 1$ and $n_{2}$ is a constant. In that case, phase transitions occur when $p=\unicode[STIX]{x1D6E9}(n_{1}^{-1/2})$ and when $p=\unicode[STIX]{x1D6E9}(n_{1}^{-1/3})$.

We take an elementary and systematic approach to the problem of extending the Tutte polynomial to the setting of embedded graphs. Four notions of embedded graphs arise naturally when considering deletion and contraction operations on graphs on surfaces. We give a description of each class in terms of coloured ribbon graphs. We then identify a universal deletion-contraction invariant (i.e., a ‘Tutte polynomial’) for each class. We relate these to graph polynomials in the literature, including the Bollobás–Riordan, Krushkal and Las Vergnas polynomials, and give state-sum formulations, duality relations, deleton-contraction relations, and quasi-tree expansions for each of them.

We prove a generalmulti-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers D. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss possible extensions to maps of higher genus and to weighted maps.

We prove that for every surface $\Sigma $ of Euler genus $g$, every edge-maximal embedding of a graph in $\Sigma $ is at most $O(g)$ edges short of a triangulation of $\Sigma $. This provides the first answer to an open problem of Kainen (1974).