Color-blind index in graphs of very low degree

Let $c:E(G)\to [k]$ be an edge-coloring of a graph $G$, not necessarily proper. For each vertex $v$, let $\bar{c}(v)=(a_1,\ldots,a_k)$, where $a_i$ is the number of edges incident to $v$ with color $i$. Reorder $\bar{c}(v)$ for every $v$ in $G$ in nonincreasing order to obtain $c^*(v)$, the color-blind partition of $v$. When $c^*$ induces a proper vertex coloring, that is, $c^*(u)\neq c^*(v)$ for every edge $uv$ in $G$, we say that $c$ is color-blind distinguishing. The minimum $k$ for which there exists a color-blind distinguishing edge coloring $c:E(G)\to [k]$ is the color-blind index of $G$, denoted $\operatorname{dal}(G)$. We demonstrate that determining the color-blind index is more subtle than previously thought. In particular, determining if $\operatorname{dal}(G) \leq 2$ is NP-complete. We also connect the color-blind index of a regular bipartite graph to 2-colorable regular hypergraphs and characterize when $\operatorname{dal}(G)$ is finite for a class of 3-regular graphs.Comment: 10 pages, 3 figures, and a 4 page appendi

The Erd\H{o}s-Rothschild problem on edge-colourings with forbidden monochromatic cliques

Let $\mathbf{k} := (k_1,\dots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\mathbf{k})$ to denote the maximum of $F(G;\mathbf{k})$ over all graphs $G$ on $n$ vertices. This problem was first considered by Erd\H{o}s and Rothschild in 1974, but it has been solved only for a very small number of non-trivial cases. We prove that, for every $\mathbf{k}$ and $n$, there is a complete multipartite graph $G$ on $n$ vertices with $F(G;\mathbf{k}) = F(n;\mathbf{k})$. Also, for every $\mathbf{k}$ we construct a finite optimisation problem whose maximum is equal to the limit of $\log_2 F(n;\mathbf{k})/{n\choose 2}$ as $n$ tends to infinity. Our final result is a stability theorem for complete multipartite graphs $G$, describing the asymptotic structure of such $G$ with $F(G;\mathbf{k}) = F(n;\mathbf{k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem.Comment: 16 pages, to appear in Math. Proc. Cambridge Phil. So

Extending Edge-Colorings of Complete Uniform Hypergraphs

A hypergraph $V(\mathcal{G})$ is an ordered pair$\mathcal{G}=(V(\mathcal{G}),E(\mathcal{G}))$ where $V(\mathcal{G})$ is a set of vertices of $\mathcal{G}$ and $E(\mathcal{G})$ is a collection of edge multisets of $\mathcal{G}$. If the size of every edge in the hypergraph is equal, then we call it a uniform hypergraph. A \textit{complete $h$-uniform hypergraph}, written $K^h_n$, is a uniform hypergraph with edge sizes equal to $h$ and has $n$ vertices where the edges set is the collection of all $h$-elements subset of its vertex set (so the total number of the edges is $\binom{n}{h}$). A hypergraph is called \textit{regular} if the degree of all vertices is the same. An $r$-factorization of a hypergraph is a coloring of the edges of a hypergraph such that the number of times each element appears in each color class is exactly $r$. A partial $r$-factorization is a coloring in which the degree of each vertex in each color class is at most $r$. The main problem under consideration in this thesis is motivated by Baranyai\u27s famous theorem and Cameron\u27s question from 1976. Given a partial $r$-factorization of $K^h_m$, we are interested in finding the necessary and sufficient conditions under which we can extend this partial $r$-factorization to an $r$-factorization of $K^h_n$. The case $h=3$ of this problem was partially solved by Bahmanian and Rodger in 2012, and the cases $h=4,5$ were partially solved by Bahmanian in 2018. Recently, Bahmanian and Johnsen showed that as long as $n\geq (h-1)(2m-1)$, the obvious necessary conditions are also sufficient. In this thesis, we improve this bound for all $h\in \{6,7,\dots,89\}$. Our proof is computer-assisted

A reverse Sidorenko inequality

Let $H$ be a graph allowing loops as well as vertex and edge weights. We prove that, for every triangle-free graph $G$ without isolated vertices, the weighted number of graph homomorphisms $\hom(G, H)$ satisfies the inequality $$\hom(G, H ) \le \prod_{uv \in E(G)} \hom(K_{d_u,d_v}, H )^{1/(d_ud_v)},$$ where $d_u$ denotes the degree of vertex $u$ in $G$. In particular, one has $$\hom(G, H )^{1/|E(G)|} \le \hom(K_{d,d}, H )^{1/d^2}$$ for every $d$-regular triangle-free $G$. The triangle-free hypothesis on $G$ is best possible. More generally, we prove a graphical Brascamp-Lieb type inequality, where every edge of $G$ is assigned some two-variable function. These inequalities imply tight upper bounds on the partition function of various statistical models such as the Ising and Potts models, which includes independent sets and graph colorings. For graph colorings, corresponding to $H = K_q$, we show that the triangle-free hypothesis on $G$ may be dropped; this is also valid if some of the vertices of $K_q$ are looped. A corollary is that among $d$-regular graphs, $G = K_{d,d}$ maximizes the quantity $c_q(G)^{1/|V(G)|}$ for every $q$ and $d$, where $c_q(G)$ counts proper $q$-colorings of $G$. Finally, we show that if the edge-weight matrix of $H$ is positive semidefinite, then $$\hom(G, H) \le \prod_{v \in V(G)} \hom(K_{d_v+1}, H )^{1/(d_v+1)}.$$ This implies that among $d$-regular graphs, $G = K_{d+1}$ maximizes $\hom(G, H)^{1/|V(G)|}$. For 2-spin Ising models, our results give a complete characterization of extremal graphs: complete bipartite graphs maximize the partition function of 2-spin antiferromagnetic models and cliques maximize the partition function of ferromagnetic models. These results settle a number of conjectures by Galvin-Tetali, Galvin, and Cohen-Csikv\'ari-Perkins-Tetali, and provide an alternate proof to a conjecture by Kahn.Comment: 30 page