-
Minimal bricks
Authors:
Serguei Norine,
Robin Thomas
Abstract:
A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick is minimal if for every edge e the deletion of e results in a graph that is not a brick. We prove a generation theorem for minimal bricks and two corollaries: (1) for n>4, every minimal brick on 2n vertices has at most 5n-7 edges, and (2) every minimal brick has…
▽ More
A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick is minimal if for every edge e the deletion of e results in a graph that is not a brick. We prove a generation theorem for minimal bricks and two corollaries: (1) for n>4, every minimal brick on 2n vertices has at most 5n-7 edges, and (2) every minimal brick has at least three vertices of degree three.
△ Less
Submitted 29 June, 2019;
originally announced July 2019.
-
On the Space of 2-Linkages
Authors:
Guantao Chen,
Serguei Norine,
Robin Thomas,
Hein van der Holst
Abstract:
Let $G=(V,E)$ be a finite undirected graph. If $P$ is an oriented path from $r_1\in V$ to $r_2\in V$, we define $\partial(P) = r_2-r_1$. If $R, S\subseteq V$, we denote by $P(G; R, S)$ the span of the set of all $\partial P\otimes \partial Q$ with $P$ and $Q$ disjoint oriented paths of $G$ connecting vertices in $R$ and $S$, respectively. By $L(R, S)$, we denote the submodule of…
▽ More
Let $G=(V,E)$ be a finite undirected graph. If $P$ is an oriented path from $r_1\in V$ to $r_2\in V$, we define $\partial(P) = r_2-r_1$. If $R, S\subseteq V$, we denote by $P(G; R, S)$ the span of the set of all $\partial P\otimes \partial Q$ with $P$ and $Q$ disjoint oriented paths of $G$ connecting vertices in $R$ and $S$, respectively. By $L(R, S)$, we denote the submodule of $\mathbb{Z}\langle R\rangle\otimes\mathbb{Z}\langle S\rangle$ consisting all $\sum_{r\in R, s\in S} c(r,s)r\otimes s$ such that $c(r,r) = 0$ for all $r\in R\cap S$, $\sum_{r\in R} c(r, s) = 0$ for all $s\in S$, and $\sum_{s\in S} c(r, s) = 0$ for all $r\in R$.
In this paper, we provide, when $G$ is sufficiently connected, characterizations when $P(G; R, S)$ is a proper subset of $L(R, S)$.
△ Less
Submitted 18 April, 2019; v1 submitted 11 December, 2017;
originally announced December 2017.
-
On $2$-cycles of graphs
Authors:
Serguei Norine,
Robin Thomas,
Hein van der Holst
Abstract:
Let $G=(V,E)$ be a finite undirected graph. Orient the edges of $G$ in an arbitrary way. A $2$-cycle on $G$ is a function $d : E^2\to \mathbb{Z}$ such for each edge $e$, $d(e, \cdot)$ and $d(\cdot, e)$ are circulations on $G$, and $d(e, f) = 0$ whenever $e$ and $f$ have a common vertex. We show that each $2$-cycle is a sum of three special types of $2$-cycles: cycle-pair $2$-cycles, Kuratowski…
▽ More
Let $G=(V,E)$ be a finite undirected graph. Orient the edges of $G$ in an arbitrary way. A $2$-cycle on $G$ is a function $d : E^2\to \mathbb{Z}$ such for each edge $e$, $d(e, \cdot)$ and $d(\cdot, e)$ are circulations on $G$, and $d(e, f) = 0$ whenever $e$ and $f$ have a common vertex. We show that each $2$-cycle is a sum of three special types of $2$-cycles: cycle-pair $2$-cycles, Kuratowski $2$-cycles, and quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each $2$-cycle is a sum of cycle-pair $2$-cycles and at most one Kuratowski $2$-cycle. Furthermore, if $G$ is Kuratowski connected, we characterize when every Kuratowski $2$-cycle is a sum of cycle-pair $2$-cycles. A $2$-cycles $d$ on $G$ is skew-symmetric if $d(e,f) = -d(f,e)$ for all edges $e,f\in E$. We show that each $2$-cycle is a sum of two special types of skew-symmetric $2$-cycles: skew-symmetric cycle-pair $2$-cycles and skew-symmetric quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each skew-symmetric $2$-cycle is a sum of skew-symmetric cycle-pair $2$-cycles. Similar results like this had previously been obtained by one of the authors for symmetric $2$-cycles. Symmetric $2$-cycles are $2$-cycles $d$ such that $d(e,f)=d(f,e)$ for all edges $e,f\in E$.
△ Less
Submitted 5 December, 2022; v1 submitted 11 November, 2017;
originally announced November 2017.
-
The entropy of random-free graphons and properties
Authors:
Hamed Hatami,
Serguei Norine
Abstract:
Every graphon defines a random graph on any given number $n$ of vertices. It was known that the graphon is random-free if and only if the entropy of this random graph is subquadratic. We prove that for random-free graphons, this entropy can grow as fast as any subquadratic function. However, if the graphon belongs to the closure of a random-free graph property, then the entropy is $O(n \log n)$. W…
▽ More
Every graphon defines a random graph on any given number $n$ of vertices. It was known that the graphon is random-free if and only if the entropy of this random graph is subquadratic. We prove that for random-free graphons, this entropy can grow as fast as any subquadratic function. However, if the graphon belongs to the closure of a random-free graph property, then the entropy is $O(n \log n)$. We also give a simple construction of a non-stepfunction random-free graphon for which this entropy is linear, refuting a conjecture of Janson.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.
-
K_6 minors in large 6-connected graphs
Authors:
Ken-ichi Kawarabayashi,
Serguei Norine,
Robin Thomas,
Paul Wollan
Abstract:
Jorgensen conjectured that every 6-connected graph with no K_6 minor has a vertex whose deletion makes the graph planar. We prove the conjecture for all sufficiently large graphs.
Jorgensen conjectured that every 6-connected graph with no K_6 minor has a vertex whose deletion makes the graph planar. We prove the conjecture for all sufficiently large graphs.
△ Less
Submitted 9 March, 2012;
originally announced March 2012.
-
K_6 minors in 6-connected graphs of bounded tree-width
Authors:
Ken-ichi Kawarabayashi,
Serguei Norine,
Robin Thomas,
Paul Wollan
Abstract:
We prove that every sufficiently big 6-connected graph of bounded tree-width either has a K_6 minor, or has a vertex whose deletion makes the graph planar. This is a step toward proving that the same conclusion holds for all sufficiently big 6-connected graphs. Jorgensen conjectured that it holds for all 6-connected graphs.
We prove that every sufficiently big 6-connected graph of bounded tree-width either has a K_6 minor, or has a vertex whose deletion makes the graph planar. This is a step toward proving that the same conclusion holds for all sufficiently big 6-connected graphs. Jorgensen conjectured that it holds for all 6-connected graphs.
△ Less
Submitted 5 April, 2013; v1 submitted 9 March, 2012;
originally announced March 2012.
-
The inducibility of blow-up graphs
Authors:
Hamed Hatami,
James Hirst,
Serguei Norine
Abstract:
The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up.
We show that any graph which contains the maximum number of induced copies of a sufficiently large balanc…
▽ More
The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up.
We show that any graph which contains the maximum number of induced copies of a sufficiently large balanced blow-up of H is itself essentially a blow-up of H. This gives an asymptotic answer to a question in [BEHJ95].
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
Non-three-colorable common graphs exist
Authors:
Hamed Hatami,
Jan Hladky,
Daniel Kral,
Serguei Norine,
Alexander Razborov
Abstract:
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are v…
▽ More
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are very rare. Answering a question of Sidorenko and of Jagger, Stovicek and Thomason from 1996 we show that the 5-wheel is common. This provides the first example of a common graph that is not three-colorable.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
On the Number of Pentagons in Triangle-Free Graphs
Authors:
Hamed Hatami,
Jan Hladký,
Daniel Král,
Serguei Norine,
Alexander Razborov
Abstract:
Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficie…
▽ More
Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficiently large. This settles a conjecture made by Erdős in 1984.
△ Less
Submitted 5 December, 2012; v1 submitted 8 February, 2011;
originally announced February 2011.
-
Exponentially many perfect matchings in cubic graphs
Authors:
Louis Esperet,
Frantisek Kardos,
Andrew King,
Daniel Kral,
Serguei Norine
Abstract:
We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer.
This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper.
We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer.
This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper.
△ Less
Submitted 5 September, 2011; v1 submitted 13 December, 2010;
originally announced December 2010.
-
Undecidability of linear inequalities in graph homomorphism densities
Authors:
Hamed Hatami,
Serguei Norine
Abstract:
The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum graphs the validity of such an inequality is equivalent to the positivity of a corresponding quantum graph. Similar to the setting of polynomials, a quantum graph th…
▽ More
The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum graphs the validity of such an inequality is equivalent to the positivity of a corresponding quantum graph. Similar to the setting of polynomials, a quantum graph that can be represented as a sum of squares of labeled quantum graphs is necessarily positive. Lovász asks whether the opposite is also true. We answer this question and also a related question of Razborov in the negative by introducing explicit valid inequalities that do not satisfy the required conditions. Our solution to these problems is based on a reduction from real multivariate polynomials and uses the fact that there are positive polynomials that cannot be expressed as sums of squares of polynomials.
It is known that the problem of determining whether a multivariate polynomial is positive is decidable. Hence it is very natural to ask "Is the problem of determining the validity of a linear inequality between homomorphism densities decidable?" We give a negative answer to this question which shows that such inequalities are inherently difficult in their full generality. Furthermore we deduce from this fact that the analogue of Artin's solution to Hilbert's seventeenth problem does not hold in the setting of quantum graphs.
△ Less
Submitted 18 October, 2010; v1 submitted 13 May, 2010;
originally announced May 2010.
-
Holographic algorithms without matchgates
Authors:
J. M. Landsberg,
Jason Morton,
Serguei Norine
Abstract:
The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedu…
▽ More
The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedure, and generalize their applicability to new signatures. Instead of matchgates, which are weighted graph fragments that replace vertices of a natural bipartite graph G associated to a problem P, our approach uses only only a natural number-of-edges by number-of-edges matrix associated to G. An easy-to-compute multiple of its Pfaffian is the number of solutions to the counting problem. This simplification improves our understanding of the applicability of holographic algorithms, indicates a more geometric approach to complexity classes, and facilitates practical implementations. The generalized applicability arises because our approach allows for new algebraic tests that are different from the "Grassmann-Plucker identities" used up until now. Natural problems treatable by these new methods have been previously considered in a different context, and we present one such example.
△ Less
Submitted 2 April, 2009;
originally announced April 2009.
-
Voting in agreeable societies
Authors:
Deborah E. Berg,
Serguei Norine,
Francis Edward Su,
Robin Thomas,
Paul Wollan
Abstract:
When can a majority of voters find common ground, that is, a position they all agree upon? How does the shape of the political spectrum influence the outcome? When mathematical objects have a social interpretation, the associated theorems have social applications. In this article we give examples of situations where sets model preferences and develop extensions of classical theorems about convex…
▽ More
When can a majority of voters find common ground, that is, a position they all agree upon? How does the shape of the political spectrum influence the outcome? When mathematical objects have a social interpretation, the associated theorems have social applications. In this article we give examples of situations where sets model preferences and develop extensions of classical theorems about convex sets, such as Helly's theorem, that can be used in the analysis of voting in "agreeable" societies.
△ Less
Submitted 19 November, 2008;
originally announced November 2008.
-
Markov bases of binary graph models of K_4-minor free graphs
Authors:
Daniel Král',
Serguei Norine,
Ondrej Pangrác
Abstract:
Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of…
▽ More
Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of $K_n$.
△ Less
Submitted 10 October, 2008;
originally announced October 2008.
-
Rank of divisors on tropical curves
Authors:
Jan Hladký,
Daniel Král',
Serguei Norine
Abstract:
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of…
▽ More
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of a divisor D on a (non-metric) graph is equal to the rank of D on the corresponding metric graph is confirmed, and an algorithm for computing the rank of a divisor on a tropical curve is constructed.
△ Less
Submitted 21 February, 2016; v1 submitted 27 September, 2007;
originally announced September 2007.
-
Harmonic morphisms and hyperelliptic graphs
Authors:
Matthew Baker,
Serguei Norine
Abstract:
We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and harmonic 1-forms induced by a harmonic morphism, and present a discrete analogue of the canonical map from a Riemann surface to projective space. We also disc…
▽ More
We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and harmonic 1-forms induced by a harmonic morphism, and present a discrete analogue of the canonical map from a Riemann surface to projective space. We also discuss several equivalent formulations of the notion of a hyperelliptic graph, all motivated by the classical theory of Riemann surfaces. As an application of our results, we show that for a 2-edge-connected graph G which is not a cycle, there is at most one involution $ι$ on G for which the quotient $G/ι$ is a tree. We also show that the number of spanning trees in a graph G is even if and only if G admits a non-constant harmonic morphism to the graph B_2 consisting of 2 vertices connected by 2 edges. Finally, we use the Riemann-Hurwitz formula and our results on hyperelliptic graphs to classify all hyperelliptic graphs having no Weierstrass points.
△ Less
Submitted 18 July, 2007; v1 submitted 9 July, 2007;
originally announced July 2007.
-
Riemann-Roch and Abel-Jacobi theory on a finite graph
Authors:
Matthew Baker,
Serguei Norine
Abstract:
It is well-known that a finite graph can be viewed, in many respects, as a discrete analogue of a Riemann surface. In this paper, we pursue this analogy further in the context of linear equivalence of divisors. In particular, we formulate and prove a graph-theoretic analogue of the classical Riemann-Roch theorem. We also prove several results, analogous to classical facts about Riemann surfaces,…
▽ More
It is well-known that a finite graph can be viewed, in many respects, as a discrete analogue of a Riemann surface. In this paper, we pursue this analogy further in the context of linear equivalence of divisors. In particular, we formulate and prove a graph-theoretic analogue of the classical Riemann-Roch theorem. We also prove several results, analogous to classical facts about Riemann surfaces, concerning the Abel-Jacobi map from a graph to its Jacobian. As an application of our results, we characterize the existence or non-existence of a winning strategy for a certain chip-firing game played on the vertices of a graph.
△ Less
Submitted 9 July, 2007; v1 submitted 14 August, 2006;
originally announced August 2006.