Source author record

Tom Johnston

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Computer Science and Game Theory econ.TH math.PR

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Game connectivity and adaptive dynamics in many-action games

We study the typical structure of games in terms of their connectivity properties. A game is said to be `connected' if it has a pure Nash equilibrium and the property that there is a best-response path from every action profile which is not a pure Nash equilibrium to every pure Nash equilibrium, and it is generic if it has no indifferences. In previous work we showed that, among all $n$ -player $k$ -action generic games that admit a pure Nash equilibrium, the fraction that are connected tends to $1$ as $n$ gets sufficiently large relative to $k$ . The present paper considers the large- $k$ regime, which behaves differently: we show that the connected fraction tends to $1-ζ_n$ as $k$ gets large, where $ζ_n>0$ . In other words, a constant fraction of many-action games are not connected. However, $ζ_n$ is small and tends to $0$ rapidly with $n$ , so as $n$ increases all but a vanishingly small fraction of many-player-many-action games are connected. Since connectedness is conducive to equilibrium convergence we obtain, by implication, that there is a simple adaptive dynamic that is guaranteed to lead to a pure Nash equilibrium in all but a vanishingly small fraction of generic games that have one. Our results are based on new probabilistic and combinatorial arguments which allow us to address the large- $k$ regime that the approach used in our previous work could not tackle. We thus complement our previous work to provide a more complete picture of game connectivity across different regimes.

preprint2022arXiv

Perfect shuffling with fewer lazy transpositions

A lazy transposition $(a,b,p)$ is the random permutation that equals the identity with probability $1-p$ and the transposition $(a,b)\in S_n$ with probability $p$ . How long must a sequence of independent lazy transpositions be if their composition is uniformly distributed? It is known that there are sequences of length $\binom{n}2$ , but are there shorter sequences? This was raised by Fitzsimons in 2011, and independently by Angel and Holroyd in 2018. We answer this question negatively by giving a construction of length $\frac23 \binom{n}2+O(n\log n)$ , and consider some related questions.

preprint2022arXiv

Reconstructing the degree sequence of a sparse graph from a partial deck

The deck of a graph $G$ is the multiset of cards $\{G-v:v\in V(G)\}$ . Myrvold (1992) showed that the degree sequence of a graph on $n\geq7$ vertices can be reconstructed from any deck missing one card. We prove that the degree sequence of a graph with average degree $d$ can reconstructed from any deck missing $O(n/d^3)$ cards. In particular, in the case of graphs that can be embedded on a fixed surface (e.g. planar graphs), the degree sequence can be reconstructed even when a linear number of the cards are missing.

preprint2022arXiv

The lengths for which bicrucial square-free permutations exist

A square is a factor $S = (S_1; S_2)$ where $S_1$ and $S_2$ have the same pattern, and a permutation is said to be square-free if it contains no non-trivial squares. The permutation is further said to be bicrucial if every extension to the left or right contains a square. We completely classify for which $n$ there exists a bicrucial square-free permutation of length $n$ .

preprint2021arXiv

Cyclically covering subspaces in $\mathbb{F}_2^n$

A subspace of $\mathbb{F}_2^n$ is called cyclically covering if every vector in $\mathbb{F}_2^n$ has a cyclic shift which is inside the subspace. Let $h_2(n)$ denote the largest possible codimension of a cyclically covering subspace of $\mathbb{F}_2^n$ . We show that $h_2(p)= 2$ for every prime $p$ such that 2 is a primitive root modulo $p$ , which, assuming Artin's conjecture, answers a question of Peter Cameron from 1991. We also prove various bounds on $h_2(ab)$ depending on $h_2(a)$ and $h_2(b)$ and extend some of our results to a more general set-up proposed by Cameron, Ellis and Raynaud.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tom Johnston

Research overview

Is this your work?

5 publications

Game connectivity and adaptive dynamics in many-action games

Perfect shuffling with fewer lazy transpositions

Reconstructing the degree sequence of a sparse graph from a partial deck

The lengths for which bicrucial square-free permutations exist

Cyclically covering subspaces in $\mathbb{F}_2^n$

See the researcher in context

Building this map preview

Tom Johnston

Research overview

Is this your work?

5 publications

Game connectivity and adaptive dynamics in many-action games

Perfect shuffling with fewer lazy transpositions

Reconstructing the degree sequence of a sparse graph from a partial deck

The lengths for which bicrucial square-free permutations exist

Cyclically covering subspaces in F2n\mathbb{F}_2^nF2n​

See the researcher in context

Building this map preview

Cyclically covering subspaces in $\mathbb{F}_2^n$