arXiv++ Combinatorics

A temporal-theoretic formalism for understanding game theory is described where a strict ordering relation on a set of time points $T$ defines a game on $T$. Using this formalism, a proof of Zermelo's Theorem, which states that every finite 2-player zero-sum game is determined, is given and an exhaustive analysis of the game of Nim is presented. Furthermore, a combinatorial analysis of games on a set of arbitrary time points is given; in particular, it is proved that the number of distinct games on a set $T$ with cardinality $n$ is the number of partial orders on a set of $n$ elements. By generalizing this theorem from temporal modal frames to S5 modal frames, it is proved that the number of isomorphism classes of S5 modal frames $\mathcal{F} = \ < W, R \ >$ with $|W|=n$ is equal to the partition function $p(n)$. As a corollary of the fact that the partition function is asymptotic to the Hardy-Ramanujan number $$\frac{1}{4\sqrt{3}n}e^{π\sqrt{2n/3}}$$ the number of isomorphism classes of S5 modal frames $\mathcal{F} = \ < W, R \ >$ with $|W|=n$ is asymptotically the Hardy-Ramanujan number. Lastly, we use these results to prove that an arbitrary modal frame is an S5 modal frame with probability zero.

Motivated from the theory of quantum error correcting codes, we investigate a combinatorial problem that involves a symmetric $n$-vertices colourable graph and a group of operations (colouring rules) on the graph: find the minimum sequence of operations that maps between two given graph colourings. We provide an explicit algorithm for computing the solution of our problem, which in turn is directly related to computing the distance (performance) of an underlying quantum error correcting code. Computing the distance of a quantum code is a highly non-trivial problem and our method may be of use in the construction of better codes.