-
Mixed partition functions and exponentially bounded edge-connection rank
Authors:
Guus Regts,
Bart Sevenster
Abstract:
We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Har…
▽ More
We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227] and they are related to invariant theory of orthosymplectic supergroup. We moreover show that evaluations of the characteristic polynomial of a simple graph are examples of mixed partition functions, answering a question of de la Harpe and Jones.
△ Less
Submitted 15 June, 2020; v1 submitted 12 July, 2018;
originally announced July 2018.
-
On the circular chromatic number of a subgraph of the Kneser graph
Authors:
Bart Litjens,
Sven Polak,
Bart Sevenster,
Lluís Vena
Abstract:
Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $\text{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ a…
▽ More
Let $n,k,r$ be positive integers with $n \geq rk$ and $r \geq 2$. Consider a circle $C$ with~$n$ points~$1,\ldots,n$ in clockwise order. The $r$-stable \emph{interlacing graph} $\text{IG}_{n,k}^{(r)}$ is the graph with vertices corresponding to $k$-subsets $S$ of $\{1,...,n\}$ such that any two distinct points in~$S$ have distance at least~$r$ around the circle, and edges between~$k$-subsets $P$ and $Q$ if they \emph{interlace}: after removing the points in~$P$ from $C$, the points in~$Q$ are in different connected components. In this paper we prove that the circular chromatic number of $\text{IG}_{n,k}^{(r)}$ is equal to $ n/k $ (hence the chromatic number is $\lceil n/k \rceil$) and that its circular clique number is also $ n/k $. Furthermore, we show that its independence number is $\binom{n-(r-1)k-1}{k-1}$, thereby strengthening a result by Talbot.
△ Less
Submitted 10 September, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Partition functions and a generalized coloring-flow duality for embedded graphs
Authors:
Bart Litjens,
Bart Sevenster
Abstract:
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges inc…
▽ More
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
△ Less
Submitted 7 November, 2017; v1 submitted 2 January, 2017;
originally announced January 2017.
-
Enumerative Aspects of Nullstellensatz Certificates
Authors:
Bart Sevenster,
Jacob Turner
Abstract:
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These cer…
▽ More
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by systems of polynomial equations satisfying special properties. If the equations are infeasible, Hilbert's Nullstellensatz gives a certificate of this fact. These certificates have been studied and exhibit combinatorial meaning. In this paper, we generalize some known results and show that the Nullstellensatz certificate can be viewed as enumerating combinatorial structures. As such, Gröbner basis algorithms for solving these decision problems may implicitly be solving the enumeration problem as well.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Graph parameters from symplectic group invariants
Authors:
Guus Regts,
Bart Sevenster
Abstract:
In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (…
▽ More
In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207-227]. Yet they give a completely different class of graph invariants. We moreover show that certain evaluations of the cycle partition polynomial, as defined by Martin [P. Martin, Enumérations eulériennes dans les multigraphes et invariants de Tutte-Grothendieck, Diss. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1977], give examples of graph parameters that can be obtained this way.
△ Less
Submitted 17 October, 2016; v1 submitted 5 February, 2016;
originally announced February 2016.
-
The Strong Arnold Property for 4-connected flat graphs
Authors:
Alexander Schrijver,
Bart Sevenster
Abstract:
We show that if $G=(V,E)$ is a 4-connected flat graph, then any real symmetric $V\times V$ matrix $M$ with exactly one negative eigenvalue and satisfying, for any two distinct vertices $i$ and $j$, $M_{ij}<0$ if $i$ and $j$ are adjacent, and $M_{ij}=0$ if $i$ and $j$ are nonadjacent, has the Strong Arnold Property: there is no nonzero real symmetric $V\times V$ matrix $X$ with $MX=0$ and…
▽ More
We show that if $G=(V,E)$ is a 4-connected flat graph, then any real symmetric $V\times V$ matrix $M$ with exactly one negative eigenvalue and satisfying, for any two distinct vertices $i$ and $j$, $M_{ij}<0$ if $i$ and $j$ are adjacent, and $M_{ij}=0$ if $i$ and $j$ are nonadjacent, has the Strong Arnold Property: there is no nonzero real symmetric $V\times V$ matrix $X$ with $MX=0$ and $X_{ij}=0$ whenever $i$ and $j$ are equal or adjacent. (A graph $G$ is {\em flat} if it can be embedded injectively in $3$-dimensional Euclidean space such that the image of any circuit is the boundary of some disk disjoint from the image of the remainder of the graph.)
This applies to the Colin de Verdière graph parameter, and extends similar results for 2-connected outerplanar graphs and 3-connected planar graphs.
△ Less
Submitted 10 December, 2015;
originally announced December 2015.
-
On the existence of real R-matrices for virtual link invariants
Authors:
Guus Regts,
Alexander Schrijver,
Bart Sevenster
Abstract:
We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon-Wales theorem on…
▽ More
We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon-Wales theorem on the decomposition of Brauer algebras, and the Procesi-Schwarz theorem on inequalities for closed orbits.
△ Less
Submitted 6 March, 2015;
originally announced March 2015.
-
On partition functions for 3-graphs
Authors:
Guus Regts,
Alexander Schrijver,
Bart Sevenster
Abstract:
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1…
▽ More
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$).
Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces.
△ Less
Submitted 1 August, 2016; v1 submitted 1 March, 2015;
originally announced March 2015.
