-
Sneaky Angel and Devil Game
Authors:
Cameron Bernstein,
Logan Crone,
Alexandria Kwon,
Sydney Le
Abstract:
In this paper we introduce an imperfect information variant of the Angel and Devil game, which was first introduced in 1982 by Berlekamp, Conway, and Guy. The Devil player has a winning strategy in this game, but the main problem they pose is whether this changes if the Angel player is allowed two moves for every one of the Devil. This and many other variants of the game have been considered, and…
▽ More
In this paper we introduce an imperfect information variant of the Angel and Devil game, which was first introduced in 1982 by Berlekamp, Conway, and Guy. The Devil player has a winning strategy in this game, but the main problem they pose is whether this changes if the Angel player is allowed two moves for every one of the Devil. This and many other variants of the game have been considered, and the original question was only solved in 2007, when it was shown that the so-called power 2 Angel could win. Our main theorem, Theorem 4, is that the Devil player wins the imperfect information variant of the game. This generalizes the result that the Devil player has a winning strategy in the original Angel and Devil game.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
The no-$β$ McMullen game and the perfect set property
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary…
▽ More
Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary norms on $\mathbb{R}^d$, and even more generally with respect to general convex sets. We show that for strictly convex sets in $\mathbb{R}^d$, polytopes in $\mathbb{R}^d$, and general convex sets in $\mathbb{R}^2$, that player $\boldsymbol{I}$ wins the no-$β$ McMullen game iff $A$ contains a perfect set and player $\boldsymbol{I}\kern-0.05cm\boldsymbol{I}$ wins iff $A$ is countable. So, the no-$β$ McMullen game is equivalent to the perfect set game for $A$ in these cases. The proofs of these results use a connection between the geometry of the game and techniques from logic. Because of the geometry of this game, this result has strong implications for the geometry of uncountable sets in $\mathbb{R}^d$. We also present an example of a compact, convex set in $\mathbb{R}^3$ to which our methods do not apply, and also an example due to D.\ Simmons of a closed, convex set in $\ell_2(\mathbb{R})$ which illustrate the obstacles in extending the results further.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Hausdorff Dimension Regularity Properties and Games
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use…
▽ More
The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use this to derive a number of consequences for Hausdorff dimension. We show that under $\mathsf{AD}$ any wellordered union of sets each of which has Hausdorff dimension $\leq δ$ has dimension $\leq δ$. We establish a continuous uniformization result for Hausdorff dimension. The unfolded game also provides a new proof that every $\boldsymbolΣ^1_1$ set of Hausdorff dimension $\geq δ$ contains a compact subset of dimension $\geq δ'$ for any $δ'<δ$, and this result generalizes to arbitrary sets under $\mathsf{AD}$.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Equivalence Relations and Determinacy
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy.…
▽ More
We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\mathbb{Z}$.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
The Measure Game
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson,
Houston Schuerger,
David Simmons
Abstract:
We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding r…
▽ More
We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding result for the game which gives, for example, the measurability of $\boldsymbolΣ^1_1$ sets. We also use the game to give a new, more constructive, proof of a strong form of the Rényi-Lamperti lemma, an important result in probability theory with many applications to number theory. The proofs we give are all direct combinatorial arguments using the game, and do not depend on known measure theoretic arguments.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
Equivalence of the Rothberger and $2$-Rothberger Games for Hausdorff Spaces
Authors:
Logan Crone,
Lior Fishman,
Nathaniel Hiers,
Stephen Jackson
Abstract:
We prove that in any Hausdorff space, the Rothberger game is equivalent to the $k$-Rothberger game, i.e. the game in which player II chooses $k$ open sets in each move. This result follows from a more general theorem in which we show these games are equivalent to a game we call the restricted Menger game. In this game I knows immediately in advance of playing each open cover how many open sets II…
▽ More
We prove that in any Hausdorff space, the Rothberger game is equivalent to the $k$-Rothberger game, i.e. the game in which player II chooses $k$ open sets in each move. This result follows from a more general theorem in which we show these games are equivalent to a game we call the restricted Menger game. In this game I knows immediately in advance of playing each open cover how many open sets II will choose from that open cover. This result illuminates the relationship between the Rothberger and Menger games in Hausdorff spaces. The equivalence of these games answers a question posed by Aurichi, Bella, and Dias, at least in the context of Hausdorff spaces.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Determinacy of Schmidt's Game and Other Intersection Games
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games,…
▽ More
Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games, $\mathsf{AD}_\mathbb{R}$, which is a much stronger axiom than that asserting all integer games are determined, $\mathsf{AD}$. One of our main results is a general theorem which under the hypothesis $\mathsf{AD}$ implies the determinacy of intersection games which have a property allowing strategies to be simplified. In particular, we show that Schmidt's $(α,β,ρ)$ game on $\mathbb{R}$ is determined from $\mathsf{AD}$ alone, but on $\mathbb{R}^n$ for $n \geq 3$ we show that $\mathsf{AD}$ does not imply the determinacy of this game. We also prove several other results specifically related to the determinacy of Schmidt's game. These results highlight the obstacles in obtaining the determinacy of Schmidt's game from $\mathsf{AD}$.
△ Less
Submitted 4 December, 2017;
originally announced December 2017.