Source author record

John Engbers

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Discrete Mathematics

Catalog footprint

Research overview

9works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Extremal H-colorings of graphs with fixed minimum degree

For graphs $G$ and $H$ , a homomorphism from $G$ to $H$ , or $H$ -coloring of $G$ , is a map from the vertices of $G$ to the vertices of $H$ that preserves adjacency. When $H$ is composed of an edge with one looped endvertex, an $H$ -coloring of $G$ corresponds to an independent set in $G$ . Galvin showed that, for sufficiently large $n$ , the complete bipartite graph $K_{δ,n-δ}$ is the $n$ -vertex graph with minimum degree $δ$ that has the largest number of independent sets. In this paper, we begin the project of generalizing this result to arbitrary $H$ . Writing $\hom(G,H)$ for the number of $H$ -colorings of $G$ , we show that for fixed $H$ and $δ= 1$ or $δ= 2$ , $\hom(G,H) \leq \max \{\hom(K_{δ+1},H)^{\frac{n}{δ+1}}, \hom(K_{δ,δ},H)^{\frac{n}{2δ}}, \hom(K_{δ,n-δ},H)\}$ for any $n$ -vertex $G$ with minimum degree $δ$ (for sufficiently large $n$ ). We also provide examples of $H$ for which the maximum is achieved by $\hom(K_{δ+1},H)^{\frac{n}{δ+1}}$ and other $H$ for which the maximum is achieved by $\hom(K_{δ,δ},H)^{\frac{n}{2δ}}$ . For $δ\geq 3$ (and sufficiently large $n$ ), we provide a infinite family of $H$ for which $\hom(G,H) \leq \hom(K_{δ,n-δ},H)$ for any $n$ -vertex $G$ with minimum degree $δ$ . The results generalize to weighted $H$ -colorings.

preprint2016arXiv

Extremal H-colorings of trees and 2-connected graphs

For graphs $G$ and $H$ , an $H$ -coloring of $G$ is an adjacency preserving map from the vertices of $G$ to the vertices of $H$ . $H$ -colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of $H$ -colorings. In this paper, we prove several results in this area. First, we find a class of graphs ${\mathcal H}$ with the property that for each $H \in {\mathcal H}$ , the $n$ -vertex tree that minimizes the number of $H$ -colorings is the path $P_n$ . We then present a new proof of a theorem of Sidorenko, valid for large $n$ , that for every $H$ the star $K_{1,n-1}$ is the $n$ -vertex tree that maximizes the number of $H$ -colorings. Our proof uses a stability technique which we also use to show that for any non-regular $H$ (and certain regular $H$ ) the complete bipartite graph $K_{2,n-2}$ maximizes the number of $H$ -colorings of $n$ -vertex $2$ -connected graphs. Finally, we show that the cycle $C_n$ maximizes the number of proper colorings of $n$ -vertex $2$ -connected graphs.

preprint2016arXiv

Maximizing $H$ -colorings of connected graphs with fixed minimum degree

For graphs $G$ and $H$ , an $H$ -coloring of $G$ is a map from the vertices of $G$ to the vertices of $H$ that preserves edge adjacency. We consider the following extremal enumerative question: for a given $H$ , which connected $n$ -vertex graph with minimum degree $δ$ maximizes the number of $H$ -colorings? We show that for non-regular $H$ and sufficiently large $n$ , the complete bipartite graph $K_{δ,n-δ}$ is the unique maximizer. As a corollary, for non-regular $H$ and sufficiently large $n$ the graph $K_{k,n-k}$ is the unique $k$ -connected graph that maximizes the number of $H$ -colorings among all $k$ -connected graphs. Finally, we show that this conclusion does not hold for all regular $H$ by exhibiting a connected $n$ -vertex graph with minimum degree $δ$ which has more $K_{q}$ -colorings (for sufficiently large $q$ and $n$ ) than $K_{δ,n-δ}$ .

preprint2015arXiv

Reversible peg solitaire on graphs

The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$ . If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not $z$ , then a {\em jump} places a peg on $z$ and removes the pegs from $x$ and $y$ . A graph is called solvable if, for some configuration of pegs occupying all but one vertex, some sequence of jumps leaves a single peg. We study the game of {\em reversible peg solitaire}, where there are again initially pegs on all but one vertex, but now both jumps and unjumps (the reversal of a jump) are allowed. We show that in this game all non-star graphs that contain a vertex of degree at least three are solvable, that cycles and paths on $n$ vertices, where $n$ is divisible by $2$ or $3$ , are solvable, and that all other graphs are not solvable. We also classify the possible starting hole and ending peg positions for solvable graphs.

preprint2014arXiv

Combinatorially interpreting generalized Stirling numbers

Let $w$ be a word in alphabet $\{x,D\}$ with $m$ $x$ 's and $n$ $D$ 's. Interpreting " $x$ " as multiplication by $x$ , and " $D$ " as differentiation with respect to $x$ , the identity $wf(x) = x^{m-n}\sum_k S_w(k) x^k D^k f(x)$ , valid for any smooth function $f(x)$ , defines a sequence $(S_w(k))_k$ , the terms of which we refer to as the {\em Stirling numbers (of the second kind)} of $w$ . The nomenclature comes from the fact that when $w=(xD)^n$ , we have $S_w(k)={n \brace k}$ , the ordinary Stirling number of the second kind. Explicit expressions for, and identities satisfied by, the $S_w(k)$ have been obtained by numerous authors, and combinatorial interpretations have been presented. Here we provide a new combinatorial interpretation that retains the spirit of the familiar interpretation of ${n \brace k}$ as a count of partitions. Specifically, we associate to each $w$ a quasi-threshold graph $G_w$ , and we show that $S_w(k)$ enumerates partitions of the vertex set of $G_w$ into classes that do not span an edge of $G_w$ . We also discuss some relatives of, and consequences of, our interpretation, including $q$ -analogs and bijections between families of labelled forests and sets of restricted partitions.

preprint2014arXiv

Trivial Meet and Join within the Lattice of Monotone Triangles

The lattice of monotone triangles $(\mathfrak{M}_n,\le)$ ordered by entry-wise comparisons is studied. Let $τ_{\min}$ denote the unique minimal element in this lattice, and $τ_{\max}$ the unique maximum. The number of $r$ -tuples of monotone triangles $(τ_1,\ldots,τ_r)$ with minimal infimum $τ_{\min}$ (maximal supremum $τ_{\max}$ , resp.) is shown to asymptotically approach $r|\mathfrak{M}_n|^{r-1}$ as $n \to \infty$ . Thus, with high probability this event implies that one of the $τ_i$ is $τ_{\min}$ ( $τ_{\max}$ , resp.). Higher-order error terms are also discussed.

preprint2012arXiv

Counting independent sets of a fixed size in graphs with a given minimum degree

Galvin showed that for all fixed $δ$ and sufficiently large $n$ , the $n$ -vertex graph with minimum degree $δ$ that admits the most independent sets is the complete bipartite graph $K_{δ,n-δ}$ . He conjectured that except perhaps for some small values of $t$ , the same graph yields the maximum count of independent sets of size $t$ for each possible $t$ . Evidence for this conjecture was recently provided by Alexander, Cutler, and Mink, who showed that for all triples $(n,δ, t)$ with $t\geq 3$ , no $n$ -vertex {\em bipartite} graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$ . Here we make further progress. We show that for all triples $(n,δ,t)$ with $δ\leq 3$ and $t\geq 3$ , no $n$ -vertex graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$ , and we obtain the same conclusion for $δ> 3$ and $t \geq 2δ+1$ . Our proofs lead us naturally to the study of an interesting family of critical graphs, namely those of minimum degree $δ$ whose minimum degree drops on deletion of an edge or a vertex.

preprint2012arXiv

H-coloring tori

For graphs $G$ and $H$ , an $H$ -coloring of $G$ is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$ -colorings encode graph theory notions such as independent sets and proper colorings, and are a natural setting for the study of hard-constraint models in statistical physics. We study the set of $H$ -colorings of the even discrete torus ${\mathbb Z}^d_m$ , the graph on vertex set ${0, ..., m-1}^d$ ( $m$ even) with two strings adjacent if they differ by 1 (mod $m$ ) on one coordinate and agree on all others. This is a bipartite graph, with bipartition classes ${\mathcal E}$ and ${\mathcal O}$ . In the case $m=2$ the even discrete torus is the discrete hypercube or Hamming cube $Q_d$ , the usual nearest neighbor graph on ${0,1}^d$ . We obtain, for any $H$ and fixed $m$ , a structural characterization of the space of $H$ -colorings of ${\mathbb Z}^d_m$ . We show that it may be partitioned into an exceptional subset of negligible size (as $d$ grows) and a collection of subsets indexed by certain pairs $(A,B) \in V(H)^2$ , with each $H$ -coloring in the subset indexed by $(A,B)$ having all but a vanishing proportion of vertices from ${\mathcal E}$ mapped to vertices from $A$ , and all but a vanishing proportion of vertices from ${\mathcal O}$ mapped to vertices from $B$ . This implies a long-range correlation phenomenon for uniformly chosen $H$ -colorings of ${\mathbb Z}^d_m$ with $m$ fixed and $d$ growing. Our proof proceeds through an analysis of the entropy of a uniformly chosen $H$ -coloring, and extends an approach of Kahn, who had considered the special case of $m=2$ and $H$ a doubly infinite path. All our results generalize to a natural weighted model of $H$ -colorings.

preprint2012arXiv

H-colouring bipartite graphs

For graphs $G$ and $H$ , an {\em $H$ -colouring} of $G$ (or {\em homomorphism} from $G$ to $H$ ) is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$ -colourings generalize such graph theory notions as proper colourings and independent sets. For a given $H$ , $k \in V(H)$ and $G$ we consider the proportion of vertices of $G$ that get mapped to $k$ in a uniformly chosen $H$ -colouring of $G$ . Our main result concerns this quantity when $G$ is regular and bipartite. We find numbers $0 \leq a^-(k) \leq a^+(k) \leq 1$ with the property that for all such $G$ , with high probability the proportion is between $a^-(k)$ and $a^+(k)$ , and we give examples where these extremes are achieved. For many $H$ we have $a^-(k) = a^+(k)$ for all $k$ and so in these cases we obtain a quite precise description of the almost sure appearance of a randomly chosen $H$ -colouring. As a corollary, we show that in a uniform proper $q$ -colouring of a regular bipartite graph, if $q$ is even then with high probability every colour appears on a proportion close to $1/q$ of the vertices, while if $q$ is odd then with high probability every colour appears on at least a proportion close to $1/(q+1)$ of the vertices and at most a proportion close to $1/(q-1)$ of the vertices. Our results generalize to natural models of weighted $H$ -colourings, and also to bipartite graphs which are sufficiently close to regular. As an application of this latter extension we describe the typical structure of $H$ -colourings of graphs which are obtained from $n$ -regular bipartite graphs by percolation, and we show that $p=1/n$ is a threshold function across which the typical structure changes. The approach is through entropy, and extends work of J. Kahn, who considered the size of a randomly chosen independent set of a regular bipartite graph.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

John Engbers

Research overview

Is this your work?

9 publications

Extremal H-colorings of graphs with fixed minimum degree

Extremal H-colorings of trees and 2-connected graphs

Maximizing $H$ -colorings of connected graphs with fixed minimum degree

Reversible peg solitaire on graphs

Combinatorially interpreting generalized Stirling numbers

Trivial Meet and Join within the Lattice of Monotone Triangles

Counting independent sets of a fixed size in graphs with a given minimum degree

H-coloring tori

H-colouring bipartite graphs

See the researcher in context

Building this map preview

John Engbers

Research overview

Is this your work?

9 publications

Extremal H-colorings of graphs with fixed minimum degree

Extremal H-colorings of trees and 2-connected graphs

Maximizing HHH-colorings of connected graphs with fixed minimum degree

Reversible peg solitaire on graphs

Combinatorially interpreting generalized Stirling numbers

Trivial Meet and Join within the Lattice of Monotone Triangles

Counting independent sets of a fixed size in graphs with a given minimum degree

H-coloring tori

H-colouring bipartite graphs

See the researcher in context

Building this map preview

Maximizing $H$ -colorings of connected graphs with fixed minimum degree