arXiv++ Combinatorics

An orthodox dominating set on an $n\times n$ chessboard occupies every row of one parity and every column of a possibly different parity. For $n\ge400001$, every such set contains more than $(1/2+1/80000)n-2$ queens, on odd and even boards and with attacking or boundary queens allowed. Second-moment estimates and an exact rational line-weight certificate give a stronger bound for $p$-covers; finite diagonal completion and board extension transfer it to orthodox covers. The cost of extending an arbitrary dominating set to an orthodox cover yields an inequality with an explicit defect term. The previously constructed independent, border-free Type-A $1$-cover of $Q_{221}$ with $111$ queens supplies a finite seed. Classical amplification gives ordinary and independent domination upper bounds with coefficients $112/221$ and $113/221$, respectively. Its order 221 is below the density threshold 400001. For admissible seeds whose orders tend to infinity, the lower limit of these coefficients is at least $1/2+1/16000$.

Let $q(n)$ denote the largest number of queens that can be placed on an $n\times n$ chessboard so that no queen attacks more than one other queen. We prove that $q(n)=\lfloor4n/3\rfloor$ for every $n\geqslant6$, and that $q(n)=n$ for $n\leqslant5$, which settles a previously conjectural value. As a corollary, we also settle that, in the version of the problem where each queen attacks \emph{exactly} one other queen, the answer is $2\lfloor2n/3\rfloor$, again as previously conjectured.

Motivated by Hadwiger's conjecture and related problems for list-coloring, we study graphs $H$ for which every graph with minimum degree at least $|V(H)|-1$ contains $H$ as a minor. We prove that a large class of apex-outerplanar graphs satisfies this property. Our result gives the first examples of such graphs whose vertex cover numbers are significantly larger than half of the number of its vertices, which breaks a barrier for attacking related coloring problems via extremal functions, and recovers all known such graphs that have arbitrarily large maximum degree. Our proof can be adapted to directed graphs to show that if $\vec H$ is the digraph obtained from a directed cycle or an in-arborescence by adding an apex source, then every digraph with minimum out-degree $|V(\vec H)|-1$ contains $\vec H$ as a subdivision or a butterfly minor respectively. These results provide the optimal upper bound for the chromatic number and dichromatic number of graphs and digraphs that do not contain the aforementioned graphs or digraphs as a minor, butterfly minor and a subdivision, respectively. Special cases of our results solve an open problem of Aboulker, Cohen, Havet, Lochet, Moura and Thomassé and strengthen results of Gishboliner, Steiner and Szabó.

In Ehrhart theory, the well-konwn sign pattern problem asks: given a positive integer $d\geq 3$ and integers $1 \leq i_1 < \cdots < i_k \leq d-2$, does there exist a $d$-dimensional integral polytope $\mathcal{P}$ such that in its Ehrhart polynomial $i(\mathcal{P}, t)$ the coefficients of $t^{i_1}, \ldots, t^{i_k}$ are negative, while the remaining coefficients are positive? This problem was proposed by Hibi, Higashitani, Tsuchiya, and Yoshida. In this paper, we first construct a class of simplices $\mathcal{S}_d(m)$ whose Ehrhart polynomial has leading coefficient $m$ and all remaining coefficients fixed positive constants. Then, using the Cartesian product of $\mathcal{S}_d(m)$ and the Reeve tetrahedron, we obtain the first complete solution to the sign pattern problem. Finally, in attacking the sign pattern problem, we provide a fast algorithm for computing the $h^*$-polynomial of a class of simplices $Δ(0,q)$.

This paper considers the Cops and Attacking Robbers game, a variant of Cops and Robbers, where the robber is empowered to attack a cop in the same way a cop can capture the robber. In a graph $G$, the number of cops required to capture a robber in the Cops and Attacking Robbers game is denoted by $\attCop(G)$. We characterise the triangle-free graphs $G$ with $\attCop(G) \leq 2$ via a natural generalisation of the cop-win characterisation by Nowakowski and Winkler \cite{nowakowski1983vertex}. We also prove that all bipartite planar graphs $G$ have $\attCop(G) \leq 4$ and show this is tight by constructing a bipartite planar graph $G$ with $\attCop(G) = 4$. Finally we construct $17$ non-isomorphic graphs $H$ of order $58$ with $\attCop(H) = 6$ and $\cop(H)=3$. This provides the first example of a graph $H$ with $\attCop(H) - \cop(H) \geq 3$ extending work by Bonato, Finbow, Gordinowicz, Haidar, Kinnersley, Mitsche, Prałat, and Stacho \cite{bonato2014robber}. We conclude with a list of conjectures and open problems.

Chopsticks is a game played by two players where they start with one finger raised on each hand. On their turn, each player moves by pointing an attacking hand at one of their opponent's hands. The number of fingers on the pointed hand increases by the number of fingers on the attacking hand. If, after a move, a hand contains more than five fingers, it is removed from play. There are also other rules that allow players to move fingers from one hand to another, but we focus on this simple setup. We introduce a generalization of Chopsticks, called Simple Chopsticks, in which the players may have any number of $n$-fingered hands. We find that having more hands than your opponent is generally good, and use this fact to fully characterize the outcomes of \octopus/ in the case where the players have 2-fingered hands.

We study different domination problems of attacking and non-attacking rooks and queens on polyominoes and polycubes of all dimensions. Our main result proves that maximum independent domination is NP-complete for non-attacking queens and for non-attacking rooks on polycubes of dimension three and higher. We also analyze these problems for polyominoes and convex polyominoes, conjecture the complexity classes, and provide a computer tool for investigation. We have also computed new values for classical queen domination problems on chessboards (square polyominoes). For our computations, we have translated the problem into an integer linear programming instance. Finally, using this computational implementation and the game engine Godot, we have developed a video game of minimum domination of queens and rooks on randomly generated polyominoes.

Let $G$ be a simple graph. Denote by $n$, $Δ(G)$ and $χ' (G)$ be the order, the maximum degree and the chromatic index of $G$, respectively. We call $G$ \emph{overfull} if $|E(G)|/\lfloor n/2\rfloor > Δ(G)$, and {\it critical} if $χ'(H) < χ'(G)$ for every proper subgraph $H$ of $G$. Clearly, if $G$ is overfull then $χ'(G) = Δ(G)+1$. The \emph{core} of $G$, denoted by $G_Δ$, is the subgraph of $G$ induced by all its maximum degree vertices. We believe that utilizing the core degree condition could be considered as an approach to attacking the overfull conjecture. Along this direction, we in this paper show that for any integer $k\geq 2$, if $G$ is critical with $Δ(G)\geq \frac{2}{3}n+\frac{3k}{2}$ and $δ(G_Δ)\leq k$, then $G$ is overfull.

We study the m-eternal domination problem from the perspective of the attacker. For many graph classes, the minimum required number of guards to defend eternally is known. By definition, if the defender has less than the required number of guards, then there exists a sequence of attacks that ensures the attacker's victory. Little is known about such sequences of attacks, in particular, no bound on its length is known. We show that if the game is played on a tree $T$ on $n$ vertices and the defender has less than the necessary number of guards, then the attacker can win in at most $n$ turns. Furthermore, we present an efficient procedure that produces such an attacking strategy.

The simplicial rook graph ${\rm \mathcal{SR}}(m,n)$ is the graph whose vertices are vectors in $ \mathbb{N}^m$ such that for each vector the summation of its coordinates is $n$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. Martin and Wagner (Graphs Combin. (2015) 31:1589--1611) asked about the independence number of ${\rm \mathcal{SR}}(m,n)$ that is the maximum number of non attacking rooks which can be placed on a $(m-1)$-dimensional simplicial chessboard of side length $n+1$. In this work, we solve this problem and show that $α({\rm \mathcal{SR}}(m,n))=\big(1-o(1)\big)\frac{\binom{n+m-1}{n}}{m}$. We also prove that for the domination number of rook graphs we have $γ({\rm \mathcal{SR}}(m, n))= Θ(n^{m-2})$. Moreover we show that these graphs are Hamiltonian. The cyclic simplicial rook graph ${\rm \mathcal{CSR}}(m,n)$ is the graph whose vertices are vectors in $\mathbb{Z}^{m}_{n}$ such that for each vector the summation of its coordinates modulo $n$ is $0$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. In this work we determine several properties of these graphs such as independence number, chromatic number and automorphism group. Among other results, we also prove that computing the distance between two vertices of a given ${\rm \mathcal{CSR}}(m,n)$ is $ \mathbf{NP}$-hard in terms of $n$ and $m$.

Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici-Hester-Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size $t$ occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2-paths and Kneser graphs over pairs.

An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Turán-type questions on the maximum of the sum of the edge multiplicities in such multigraphs have been studied since the 1990s. More recently, Mubayi and Terry [An extremal problem with a transcendental solution, Combinatorics Probability and Computing 2019] posed the problem of determining the maximum of the product of the edge multiplicities in $(n,s,q)$-graphs. We give a general lower bound construction for this problem for many pairs $(s,q)$, which we conjecture is asymptotically best possible. We prove various general cases of our conjecture, and in particular we settle a conjecture of Mubayi and Terry on the $(s,q)=(4,6a+3)$ case of the problem (for $a\geq2$); this in turn answers a question of Alon. We also determine the asymptotic behaviour of the problem for `sparse' multigraphs (i.e. when $q\leq 2\binom{s}{2}$). Finally we introduce some tools that are likely to be useful for attacking the problem in general.

A permutation $σ=[σ_1,\dots,σ_n] \in S_n$ is called a {\em cylindrical king permutation} if $ |σ_{i+1}-σ_{i}|>1$ for each $1\leq i \leq n-1$ and $|σ_1-σ_n|>1$. The name comes from the the way one can see these permutations as describing locations of $n$ kings on a chessboard of order $n\times n$ in such a way that (each row and each column contains exactly one king and) no two kings are attacking each other, with the additional condition that a king can move off a certain row and reappear at the beginning of that row. In a recent paper, we dealt with the more general set of 'king permutations' i.e. the ones which satisfy only the first of the two conditions above. This set constitutes a poest under the well known containment relation on permutations. In this article we investigate the sub-poset of the cylindrical king permutations and its structure. We examine those cylindrical king permutations whose downset is as large as possible in the upper ranks. We use a modification of Manhattan distance of the plot of a permutation and some of its applications to the cylindrical context to find a criterion for such a permutation to be $k-$ prolific. One of our main results is that the maximal gap between two permutations in the poset of cylindrical permutations is $4$.

Let $G$ be a simple graph with maximum degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. We say $G$ is of \emph{Class 1} if $χ'(G)=Δ$, and is of \emph{Class 2} otherwise. A graph $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ+1$ and $χ'(H)<Δ+1$ for every proper subgraph $H$ of $G$, and is \emph{overfull} if $|E(G)|>Δ\lfloor (|V(G)|-1)/2 \rfloor$. Clearly, overfull graphs are Class 2. Hilton and Zhao in 1997 conjectured that if $G$ is obtained from an $n$-vertex $Δ$-regular Class 1 graph with maximum degree greater than $n/3$ by splitting a vertex, then being overfull is the only reason for $G$ to be Class 2. This conjecture was only confirmed when $Δ\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. In this paper, we improve the bound on $Δ$ from $\frac{n}{2}(\sqrt{7}-1)$ to $0.75n$. Considering the structure of $Δ$-critical graphs with a vertex of degree 2, we also show that for an $n$-vertex $Δ$-critical graph with $Δ\ge \frac{3n}{4}$, if it contains a vertex of degree 2, then it is overfull. We actually obtain a more general form of this result, which partially supports the overfull conjecture of Chetwynd and Hilton from 1986, which states that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ>n/3$, then $G$ contains an overfull subgraph $H$ with $Δ(H)=Δ$. Our proof techniques are new and might shed some light on attacking both of the conjectures when $Δ$ is large.

We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems.

Given a digraph $D$ with $m$ arcs and a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$, we say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs, biregular bipartite graphs, and graphs with large maximum degree. In this paper, we establish more evidence for the aforementioned conjecture by studying antimagic orientations of graphs $G$ with independence number at least $|V(G)|/2$ or at most four. We obtain several results. The method we develop in this paper may shed some light on attacking the aforementioned conjecture.

Given an integer $r\ge1$ and graphs $G, H_1, \ldots, H_r$, we write $G \rightarrow ({H}_1, \ldots, {H}_r)$ if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$ for some $i\in\{1, \ldots, r\}$. A non-complete graph $G$ is $(H_1, \ldots, H_r)$-co-critical if $G \nrightarrow ({H}_1, \ldots, {H}_r)$, but $G+e\rightarrow ({H}_1, \ldots, {H}_r)$ for every edge $e$ in $\overline{G}$. In this paper, motivated by Hanson and Toft's conjecture [Edge-colored saturated graphs, J Graph Theory 11(1987), 191--196], we study the minimum number of edges over all $(K_t, \mathcal{T}_k)$-co-critical graphs on $n$ vertices, where $\mathcal{T}_k$ denotes the family of all trees on $k$ vertices. Following Day [Saturated graphs of prescribed minimum degree, Combin. Probab. Comput. 26 (2017), 201--207], we apply graph bootstrap percolation on a not necessarily $K_t$-saturated graph to prove that for all $t\ge4 $ and $k\ge \max\{6, t\}$, there exists a constant $c(t, k)$ such that, for all $n \ge (t-1)(k-1)+1$, if $G$ is a $(K_t, \mathcal{T}_k)$-co-critical graph on $n$ vertices, then $$ e(G)\ge \left(\frac{4t-9}{2}+\frac{1}{2}\left\lceil \frac{k}{2} \right\rceil\right)n-c(t, k).$$ Furthermore, this linear bound is asymptotically best possible when $t\in\{4,5\}$ and $k\ge6$. The method we develop in this paper may shed some light on attacking Hanson and Toft's conjecture.

We apply a one-dimensional discrete dynamical system originally considered by Arnol'd reminiscent of mathematical billiards to the study of two-move riders, a type of fairy chess piece. In this model, particles travel through a bounded convex region along line segments of one of two fixed slopes. We apply this dynamical system to characterize the vertices of the inside-out polytope arising from counting placements of nonattacking chess pieces and also to give a bound for the period of the counting quasipolynomial. The analysis focuses on points of the region that are on trajectories that contain a corner or on cycles of full rank, or are crossing points thereof. As a consequence, we give a simple proof that the period of the bishops' counting quasipolynomial is 2, and provide formulas bounding periods of counting quasipolynomials for many two-move riders including all partial nightriders. We draw parallels to the theory of mathematical billiards and pose many new open questions.

In Parts I-III we showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. In this part we focus on the periods of those quasipolynomials. We calculate denominators of vertices of the inside-out polytope, since the period is bounded by, and conjecturally equal to, their least common denominator. We find an exact formula for that denominator of every piece with one move and of two-move pieces having a horizontal move. For pieces with three or more moves, we produce geometrical constructions related to the Fibonacci numbers that show the denominator grows at least exponentially with $q$.

Tutte paths are one of the most successful tools for attacking Hamiltonicity problems in planar graphs. Unfortunately, results based on them are non-constructive, as their proofs inherently use an induction on overlapping subgraphs and these overlaps hinder to bound the running time to a polynomial. For special cases however, computational results of Tutte paths are known: For 4-connected planar graphs, Tutte paths are in fact Hamiltonian paths and Chiba and Nishizeki showed how to compute such paths in linear time. For 3-connected planar graphs, Tutte paths have a more complicated structure, and it has only recently been shown that they can be computed in polynomial time. However, Tutte paths are defined for general 2-connected planar graphs and this is what most applications need. Unfortunately, no computational results are known. We give the first efficient algorithm that computes a Tutte path (for the general case of 2-connected planar graphs). One of the strongest existence results about such Tutte paths is due to Sanders, which allows to prescribe the end vertices and an intermediate edge of the desired path. Encompassing and strengthening all previous computational results on Tutte paths, we show how to compute this special Tutte path efficiently. Our method refines both, the results of Thomassen and Sanders, and avoids overlapping subgraphs by using a novel iterative decomposition along 2-separators. Finally, we show that our algorithm runs in quadratic time.