arXiv++ Combinatorics

We describe here how the recent Wagner's approach for applying reinforcement learning to construct examples in graph theory can be used in the search for critical graphs for small Ramsey numbers. We illustrate this application by providing lower bounds for the small Ramsey numbers $R(K_{2,5}, K_{3,5})$, $R(B_3, B_6)$ and $R(B_4, B_5)$ and by improving the lower known bound for $R(W_5, W_7)$.

We reimplement here the recent approach of Adam Zsolt Wagner [arXiv:2104.14516], which applies reinforcement learning to construct (counter)examples in graph theory, in order to make it more readable, more stable and much faster. The presented concepts are illustrated by constructing counterexamples for a number of published conjectured bounds for the Laplacian spectral radius of graphs.

Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.

An inversion in a matrix of zeros and ones consists of two entries both of which equal $1$, and one of which is located to the top-right of the other. It is known that in the class $\mathcal{A}(R,S)$ of $(0,1)$--matrices with row sum vector $R$ and column sum vector $S$, the number of inversions in a matrix is monotonic with respect to the secondary Bruhat order. Hence any two matrices in the same class $\mathcal{A}(R,S)$ having the same number of inversions, are incomparable in the secondary Bruhat order. We use this fact to construct antichains in the Bruhat order of $\mathcal{A}(n,2)$, the class of all $n\times n$ binary matrices with common row and column sum~$2$. A product construction of antichains in the Bruhat order of $\mathcal{A}(R,S)$ is given. This product construction is applied in finding antichains in the Bruhat order of the class $\mathcal{A}(2k,k)$ of square $(0,1)$--matrices of order $2k$ and common row and column sum~$k$.

The Wiener index W(G) of a graph G is the sum of distances between all unordered pairs of its vertices. Dobrynin and Mel'nikov [in: Distance in Molecular Graphs - Theory, 2012, p. 85-121] propose the study of estimates for extremal values of the ratio R_k(G) = W(L^k(G))/W(G) where L^k(G) denotes the k-th iterated line graph of G. Hriňáková, Knor and Škrekovski [Art Discrete Appl. Math. 1 (2018) #P1.09] prove that for each k>2, the path P_n has the smallest value of the ratio R_k among all trees of large order n, and they conjecture that the same holds for the case k=2. We give a counterexample of every order n>21 to this conjecture.

The triangle-degree of a vertex v of a simple graph G is the number of triangles in G that contain v. A simple graph is triangle-distinct if all its vertices have distinct triangle-degrees. Berikkyzy et al. [Discrete Math. 347 (2024) 113695] recently asked whether there exists a regular graph that is triangle-distinct. Here we showcase the examples of regular, triangle-distinct graphs with orders between 21 and 27, and report on the methodology used to find them.

For every integer $r\ge3$ and every $\eps>0$ we construct a graph with maximum degree $r-1$ whose circular total chromatic number is in the interval $(r,r+\eps)$. This proves that (i) every integer $r\ge3$ is an accumulation point of the set of circular total chromatic numbers of graphs, and (ii) for every $Δ\ge2$, the set of circular total chromatic numbers of graphs with maximum degree $Δ$ is infinite. All these results hold for the set of circular total chromatic numbers of bipartite graphs as well.