arXiv++ Combinatorics

We consider a probabilistic cellular automaton (PCA) of evaporation-deposition on the one-dimensional lattice having $n$ sites with periodic boundary conditions, in which each site, during each epoch, can be in one of two states: $0$ and $1$. Fix a positive integer $m\geqslant 2$. There are two types of transitions at each discrete time, which are as follows: (i) the first site in every contiguous block of $m$ $0$s becomes a $1$ with probability $p_1$, and (ii) the first site in every contiguous block of $(m-1)$ $0$s followed immediately by a $1$ also becomes a $1$ with probability $(1-p_2)$. As in a PCA, all of these transitions occur simultaneously. We show that the resulting discrete-time Markov chain is ergodic, and we give an explicit formula for its limiting distribution, the partition function and the density. We also propose necessary and sufficient conditions for this Markov chain to be reversible. For $m=2$, we provide a fully analytical expression for the free energy of this model.

In this work, we investigate Maker-Breaker directed triangle games -- a directionally constrained variant of the classical Maker-Breaker triangle game. Our board of interest is a tournament, and the winning sets constitute all directed triangles ($3$-cycles) present in the tournament. We begin by studying the Maker-Breaker directed triangle game played on a specially defined tournament called the parity tournament, and we identify the board size threshold to be $n=7$, which is to say that if the size (i.e.\ the number of vertices) of the parity tournament equals $n$, Breaker has a winning strategy for $3\leq n< 7$, while Maker can ensure a win for herself for $n\geq 7$. For the $(1:b)$ biased version of this game, we prove that the bias threshold $b^*(n)$ satisfies $\sqrt{\left(1/12+o(1)\right)\ n}\leq b^{*}(n) \leq\sqrt{\left(8/3+o(1)\right)\ n}$, which matches the order of magnitude (\ $\sqrt{n}$) of the bias threshold for the undirected counterpart of this game. Next, we consider the game on random tournaments $T(n,p)$ with labeled vertices $1,2,\ldots,n$, such that the edge between $i$ and $j$, for each $i<j$, is directed from $i$ towards $j$ with probability $p$, independent of all else. We prove that Maker wins this game with probability approaching $1$ as $n \to \infty$ for any fixed $p \in (0,1)$. Extending the notion of `bias' from undirected games to our directed framework, we introduce the $(1: κ(n))$ flip-biased Maker-Breaker directed triangle game on the parity tournament, where we allow Breaker to strategically flip the directions of a fixed number of edges $κ(n)$ before the game begins. We show that the flip-bias threshold $κ^*(n)$ is asymptotically equal to $n^2/4$ as $n \to \infty$. This work opens up the possibility of studying a variety of directionally constrained Maker-Breaker positional games on tournaments (and more generally, on directed graphs).

This work is concerned with the study of the Game of Graph Nim -- a class of two-player combinatorial games -- on graphs with $4$ edges. To each edge of such a graph is assigned a positive-integer-valued edge-weight, and during each round of the game, the player whose turn it is to make a move selects a vertex, and removes a non-negative integer edge-weight from each of the edges incident on that vertex, such that the remaining edge-weight on each of these edges is a non-negative integer, and the total edge-weight removed during a round is strictly positive. The game continues for as long as the sum of the edge-weights remaining on all edges of the graph is strictly positive, and the player who plays the last round wins. An initial configuration of edge-weights is considered winning if the player who plays the first round wins the game, whereas it is defined as losing if the player who plays the second round wins. In this paper, we characterize, almost entirely, all winning and losing configurations for this game on all graphs with precisely $4$ edges each. Only one such graph defies our attempt to fully characterize the winning and losing configurations of edge-weights on its edges -- we are still able to provide a significant set of partial results pertaining to this graph.

We study a one-dimensional generalized probabilistic cellular automaton $E_{p, q}$ with universe $\mathbb Z$, alphabet $\mathcal A = \{0, 1\}$, parameters $p$ and $q$ such that $0 < p+q \leq 1$ and two neighbourhoods $\mathcal N_0 = \{0, 1\}$ and $\mathcal N = \{1, 2\}$. The state $E_{p, q} η(x)$ of any $x \in \mathbb Z$ under the application of $E_{p, q}$ is a random variable whose probability distribution depends on the states $η(x + y)$ for $y \in \mathcal N_i$ where $i$ has the same parity as $x$. We establish ergodicity of this GPCA for various ranges of values of $p$ and $q$ via its connection with a suitable percolation game on a two-dimensional lattice. For these same ranges of values of $p$ and $q$, we show that the above-mentioned game has probability $0$ of resulting in a draw.

Different versions of percolation games on $\mathbb{Z}^{2}$, with parameters $p$ and $q$ that indicate, respectively, the probability with which a site in $\mathbb{Z}^{2}$ is labeled a trap and the probability with which it is labeled a target, are shown to have probability $0$ of culminating in draws when $p+q > 0$. We show that, for fixed $p$ and $q$, the probability of draw in each of these games is $0$ if and only if a certain $1$-dimensional probabilistic cellular automaton (PCA) $F_{p,q}$ with a size-$3$ neighbourhood is ergodic. This allows us to conclude that $F_{p,q}$ is ergodic whenever $p+q > 0$, thereby rigorously establishing ergodicity for a considerable class of PCAs.

We study the $k$-jump normal and $k$-jump misère games on rooted Galton-Watson trees, expressing the probabilities of various outcomes of these games as specific fixed points of certain functions that depend on $k$ and the offspring distribution. We discuss results on phase transitions pertaining to draw probabilities when the offspring distribution is Poisson$(λ)$ (i.e. for which values of $λ$, the draw probability is strictly positive). We compare the probabilities of the various outcomes of the $2$-jump normal game with those of the $2$-jump misère game, and a similar comparison is drawn between the $2$-jump normal game and the $1$-jump normal game, under the Poisson regime. We describe the rate of decay of the probability that the first player loses the $2$-jump normal game as $λ\rightarrow \infty$. Finally, we discuss a sufficient condition for the average duration of the $k$-jump normal game to be finite.

When normal and misère games are played on bi-type binary Galton-Watson trees (with vertices coloured blue or red and each having either no child or precisely $2$ children), with one player allowed to move along monochromatic edges and the other along non-monochromatic edges, the draw probabilities equal $0$ unless every vertex gives birth to one blue and one red child. On bi-type Poisson trees where each vertex gives birth to Poisson$(λ)$ offspring in total, the draw probabilities approach $1$ as $λ\rightarrow \infty$. We study such \emph{novel} versions of normal, misère and escape games on rooted multi-type Galton-Watson trees, with the "permissible" edges for one player being disjoint from those of her opponent. The probabilities of the games' outcomes are analyzed, compared with each other, and their behaviours as functions of the underlying law explored.

A coupling of random walkers on the same finite graph, who take turns sequentially, is said to be an avoidance coupling if the walkers never collide. Previous studies of these processes have focused almost exclusively on complete graphs, in particular how many walkers an avoidance coupling can include. For other graphs, apart from special cases, it has been unsettled whether even two non-colliding simple random walkers can be coupled. In this article, we construct such a coupling on (i) any $d$-regular graph avoiding a fixed subgraph depending on $d$; and (ii) any square-free graph with minimum degree at least three. A corollary of the first result is that a uniformly random regular graph on $n$ vertices admits an avoidance coupling with high probability.

For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, showing that as $k \rightarrow \infty$, we have $α_{k} = \left(k - 2 - t(k)\right)^{-1}$ for some function $t(k) = Θ(k^{-2})$. We also establish the precise value of $α_{k}$ when $k = 4$.

Alternating quantifier depth is a natural measure of difficulty required to express first order logical sentences. We define a sequence of first order properties on rooted, locally finite trees in a recursive manner, and provide rigorous arguments for finding the alternating quantifier depth of each property in the sequence, using Ehrenfeucht-Fraïssé games.

Let $\mathcal{B}$ be the set of rooted trees containing an infinite binary subtree starting at the root. This set satisfies the metaproperty that a tree belongs to it if and only if its root has children $u$ and $v$ such that the subtrees rooted at $u$ and $v$ belong to it. Let $p$ be the probability that a Galton-Watson tree falls in $\mathcal{B}$. The metaproperty makes $p$ satisfy a fixed-point equation, which can have multiple solutions. One of these solutions is $p$, but what is the meaning of the others? In particular, are they probabilities of the Galton-Watson tree falling into other sets satisfying the same metaproperty? We create a framework for posing questions of this sort, and we classify solutions to fixed-point equations according to whether they admit probabilistic interpretations. Our proofs use spine decompositions of Galton-Watson trees and the analysis of Boolean functions.