Showing 1–16 of 16 results for author: Siegel, A

On the General Dead-Ending Universe of Partizan Games

Authors: Aaron N. Siegel

Abstract: The universe $\mathcal{E}$ of dead-ending partizan games has emerged as an important structure in the study of misère play. Here we attempt a systematic investigation of the structure of $\mathcal{E}$ and its subuniverses. We begin by showing that the dead-ends exhibit a rich "absolute" structure, in the sense that they behave identically in any universe in which they appear. We will use this re… ▽ More The universe $\mathcal{E}$ of dead-ending partizan games has emerged as an important structure in the study of misère play. Here we attempt a systematic investigation of the structure of $\mathcal{E}$ and its subuniverses. We begin by showing that the dead-ends exhibit a rich "absolute" structure, in the sense that they behave identically in any universe in which they appear. We will use this result to construct an uncountable family of dead-ending universes and show that they collectively admit an uncountable family of distinct comparison relations. We will then show that whenever the ends of a universe $\mathcal{U} \subset \mathcal{E}$ are computable, then there is a constructive test for comparison modulo $\mathcal{U}$. Finally, we propose a new type of generalized simplest form that works for arbitrary universes (including universes that are not dead-ending), and that is computable whenever comparison modulo $\mathcal{U}$ is computable. In particular, this gives a complete constructive theory for subuniverses of $\mathcal{E}$ with computable ends. This theory has been implemented in cgsuite as a proof of concept. As an application of these results, we will characterize the universe generated by misère Domineering, and we will compute the misère simplest forms of $2 \times n$ Domineering rectangles for small values of $n$. △ Less

Submitted 26 December, 2023; originally announced December 2023.

MSC Class: 05A99; 91A46

On the Structure of Misère Impartial Games

Authors: Aaron N. Siegel

Abstract: We consider the abstract structure of the monoid M of misère impartial game values. Several new results are presented, including a proof that the group of fractions of M is almost torsion-free; a method of calculating the number of distinct games born by day 7; and some new results on the structure of prime games. Also included are proofs of a few older results due to Conway, such as the Cancellat… ▽ More We consider the abstract structure of the monoid M of misère impartial game values. Several new results are presented, including a proof that the group of fractions of M is almost torsion-free; a method of calculating the number of distinct games born by day 7; and some new results on the structure of prime games. Also included are proofs of a few older results due to Conway, such as the Cancellation Theorem, that are essential to the analysis but whose proofs are not readily available in the literature. Much of the work presented here was done jointly with John Conway and Dan Hoey, and I dedicate this paper to their memory. △ Less

Submitted 3 September, 2021; v1 submitted 15 December, 2020; originally announced December 2020.

MSC Class: 05A99; 91A46

Memgames

Authors: Urban Larsson, Simon Rubinstein-Salzedo, Aaron N. Siegel

Abstract: In this article, we study the structure, and in particular the Grundy values, of a family of games known as memgames. In this article, we study the structure, and in particular the Grundy values, of a family of games known as memgames. △ Less

Submitted 30 October, 2023; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: Feedback welcome!

Finding Golden Nuggets by Reduction

Authors: Urban Larsson, Neil A. McKay, Richard J. Nowakowski, Angela A. Siegel

Abstract: We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of t… ▽ More We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation. △ Less

Submitted 24 October, 2015; originally announced October 2015.

Comments: 28 pages

MSC Class: 91A46; 11B39

A combinatorial approach to products of Pisot substitutions

Authors: Valérie Berthé, Jérémie Bourdon, Timo Jolivet, Anne Siegel

Abstract: We define a generic algorithmic framework to prove pure discrete spectrum for the substitutive symbolic dynamical systems associated with some infinite families of Pisot substitutions. We focus on the families obtained as finite products of the three-letter substitutions associated with the multidimensional continued fraction algorithms of Brun and Jacobi-Perron. Our tools consist in a reformula… ▽ More We define a generic algorithmic framework to prove pure discrete spectrum for the substitutive symbolic dynamical systems associated with some infinite families of Pisot substitutions. We focus on the families obtained as finite products of the three-letter substitutions associated with the multidimensional continued fraction algorithms of Brun and Jacobi-Perron. Our tools consist in a reformulation of some combinatorial criteria (coincidence conditions), in terms of properties of discrete plane generation using multidimensional (dual) substitutions. We also deduce some topological and dynamical properties of the Rauzy fractals, of the underlying symbolic dynamical systems, as well as some number-theoretical properties of the associated Pisot numbers. △ Less

Submitted 26 June, 2014; v1 submitted 3 January, 2014; originally announced January 2014.

Comments: 32 pages, v2 with many corrections and improvements

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 1757-1794

Substitutive Arnoux-Rauzy sequences have pure discrete spectrum

Authors: Valérie Berthé, Timo Jolivet, Anne Siegel

Abstract: We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation. We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation. △ Less

Submitted 26 June, 2014; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: 19 pages, v2 includes some corrections to match the published version, and a mistake in the graph of Fig. 1 has been corrected

Journal ref: Uniform Distribution Theory 7 (2012), no. 1, 173-197

Connectedness of fractals associated with Arnoux-Rauzy substitutions

Authors: Valérie Berthé, Timo Jolivet, Anne Siegel

Abstract: Rauzy fractals are compact sets with fractal boundary that can be associated with any unimodular Pisot irreducible substitution. These fractals can be defined as the Hausdorff limit of a sequence of compact sets, where each set is a renormalized projection of a finite union of faces of unit cubes. We exploit this combinatorial definition to prove the connectedness of the Rauzy fractal associated w… ▽ More Rauzy fractals are compact sets with fractal boundary that can be associated with any unimodular Pisot irreducible substitution. These fractals can be defined as the Hausdorff limit of a sequence of compact sets, where each set is a renormalized projection of a finite union of faces of unit cubes. We exploit this combinatorial definition to prove the connectedness of the Rauzy fractal associated with any finite product of three-letter Arnoux-Rauzy substitutions. △ Less

Submitted 26 June, 2014; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: 15 pages, v2 includes minor corrections to match the published version

Journal ref: RAIRO-Theor. Inf. Appl. 48 (2014) 249-266

Fractal tiles associated with shift radix systems

Authors: Valérie Berthé, Anne Siegel, Wolfgang Steiner, Paul Surer, Jörg Thuswaldner

Abstract: Shift radix systems form a collection of dynamical systems depending on a parameter $\mathbf{r}$ which varies in the $d$-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such… ▽ More Shift radix systems form a collection of dynamical systems depending on a parameter $\mathbf{r}$ which varies in the $d$-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out to be important for studying properties of expansions in several settings. In the present paper we associate a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters $\mathbf{r}$ these tiles coincide with affine copies of the well-known tiles associated with beta-expansions and canonical number systems. On the other hand, these tiles provide natural families of tiles for beta-expansions with (non-unit) Pisot numbers as well as canonical number systems with (non-monic) expanding polynomials. We also prove basic properties for tiles associated with shift radix systems. Indeed, we prove that under some algebraic conditions on the parameter $\mathbf{r}$ of the shift radix system, these tiles provide multiple tilings and even tilings of the $d$-dimensional real vector space. These tilings turn out to have a more complicated structure than the tilings arising from the known number systems mentioned above. Such a tiling may consist of tiles having infinitely many different shapes. Moreover, the tiles need not be self-affine (or graph directed self-affine). △ Less

Submitted 1 September, 2010; v1 submitted 28 July, 2009; originally announced July 2009.

Journal ref: Advances in Mathematics 226, 1 (2011) 139-175

Rational numbers with purely periodic $β$-expansion

Authors: Boris Adamczewski, Christiane Frougny, Anne Siegel, Wolfgang Steiner

Abstract: We study real numbers $β$ with the curious property that the $β$-expansion of all sufficiently small positive rational numbers is purely periodic. It is known that such real numbers have to be Pisot numbers which are units of the number field they generate. We complete known results due to Akiyama to characterize algebraic numbers of degree 3 that enjoy this property. This extends results previo… ▽ More We study real numbers $β$ with the curious property that the $β$-expansion of all sufficiently small positive rational numbers is purely periodic. It is known that such real numbers have to be Pisot numbers which are units of the number field they generate. We complete known results due to Akiyama to characterize algebraic numbers of degree 3 that enjoy this property. This extends results previously obtained in the case of degree 2 by Schmidt, Hama and Imahashi. Let $γ(β)$ denote the supremum of the real numbers $c$ in $(0,1)$ such that all positive rational numbers less than $c$ have a purely periodic $β$-expansion. We prove that $γ(β)$ is irrational for a class of cubic Pisot units that contains the smallest Pisot number $η$. This result is motivated by the observation of Akiyama and Scheicher that $γ(η)=0.666 666 666 086 ...$ is surprisingly close to 2/3. △ Less

Submitted 22 January, 2010; v1 submitted 1 July, 2009; originally announced July 2009.

MSC Class: 11A63; 11J72; 11R06; 28A80; 37B50

Boundary of central tiles associated with Pisot beta-numeration and purely periodic expansions

Authors: S. Akiyama, G. Barat, V. Berthe, A. Siegel

Abstract: This paper studies tilings related to the beta-transformation when beta is a Pisot number (that is not supposed to be a unit). Then it applies the obtained results to study the set of rational numbers having a purely periodic beta-expansion. Special focus is given to some quadratic examples. This paper studies tilings related to the beta-transformation when beta is a Pisot number (that is not supposed to be a unit). Then it applies the obtained results to study the set of rational numbers having a purely periodic beta-expansion. Special focus is given to some quadratic examples. △ Less

Submitted 18 October, 2007; originally announced October 2007.

MSC Class: 11A63; 03D45; 11S99; 28A75; 52C23

Misere quotients for impartial games: Supplementary material

Authors: Thane E. Plambeck, Aaron N. Siegel

Abstract: We provide supplementary appendices to the paper Misere quotients for impartial games. These include detailed solutions to many of the octal games discussed in the paper, and descriptions of the algorithms used to compute most of our solutions. We provide supplementary appendices to the paper Misere quotients for impartial games. These include detailed solutions to many of the octal games discussed in the paper, and descriptions of the algorithms used to compute most of our solutions. △ Less

Submitted 16 May, 2007; originally announced May 2007.

Comments: Supplement to the paper Misere Quotients for Impartial Games. 17 pages

MSC Class: 91A46

Misère canonical forms of partizan games

Authors: Aaron N. Siegel

Abstract: We show that partizan games admit canonical forms in misère play. The proof is a synthesis of the canonical form theorems for normal-play partizan games and misère-play impartial games. It is fully constructive, and algorithms readily emerge for comparing misère games and calculating their canonical forms. We use these techniques to show that there are precisely 256 games born by day 2, and to… ▽ More We show that partizan games admit canonical forms in misère play. The proof is a synthesis of the canonical form theorems for normal-play partizan games and misère-play impartial games. It is fully constructive, and algorithms readily emerge for comparing misère games and calculating their canonical forms. We use these techniques to show that there are precisely 256 games born by day 2, and to obtain a bound on the number of games born by day 3. △ Less

Submitted 19 March, 2007; originally announced March 2007.

Comments: 12 pages

MSC Class: 91A46

The structure and classification of misère quotients

Authors: Aaron N. Siegel

Abstract: A \emph{bipartite monoid} is a commutative monoid $\Q$ together with an identified subset $¶\subset \Q$. In this paper we study a class of bipartite monoids, known as \emph{misère quotients}, that are naturally associated to impartial combinatorial games. We introduce a structure theory for misère quotients with $|¶| = 2$, and give a complete classification of all such quotients up to isomorph… ▽ More A \emph{bipartite monoid} is a commutative monoid $\Q$ together with an identified subset $¶\subset \Q$. In this paper we study a class of bipartite monoids, known as \emph{misère quotients}, that are naturally associated to impartial combinatorial games. We introduce a structure theory for misère quotients with $|¶| = 2$, and give a complete classification of all such quotients up to isomorphism. One consequence is that if $|¶| = 2$ and $\Q$ is finite, then $|\Q| = 2^n+2$ or $2^n+4$. We then develop computational techniques for enumerating misère quotients of small order, and apply them to count the number of non-isomorphic quotients of order at most~18. We also include a manual proof that there is exactly one quotient of order~8. △ Less

Submitted 2 March, 2007; originally announced March 2007.

Comments: 23 pages

MSC Class: 91A46

Misère Games and Misère Quotients

Authors: Aaron N. Siegel

Abstract: These lecture notes are based on a short course on misère quotients offered at the Weizmann Institute of Science in Rehovot, Israel, in November 2006. They include an introduction to impartial games, starting from the beginning; the basic misère quotient construction; a proof of the Guy--Smith--Plambeck Periodicity Theorem; and statements of some recent results and open problems in the subject. These lecture notes are based on a short course on misère quotients offered at the Weizmann Institute of Science in Rehovot, Israel, in November 2006. They include an introduction to impartial games, starting from the beginning; the basic misère quotient construction; a proof of the Guy--Smith--Plambeck Periodicity Theorem; and statements of some recent results and open problems in the subject. △ Less

Submitted 21 December, 2006; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: 34 pages; fixed references

MSC Class: 91A46

Misere quotients for impartial games

Authors: Thane E. Plambeck, Aaron N. Siegel

Abstract: We announce misere-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misere quotients--commutative monoids that encode the additive structure of specific misere-play games. We also introduce several advances in the structure theory of misere quotients, including a connection between the combinatorial structure of normal and misere play. We announce misere-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misere quotients--commutative monoids that encode the additive structure of specific misere-play games. We also introduce several advances in the structure theory of misere quotients, including a connection between the combinatorial structure of normal and misere play. △ Less

Submitted 13 August, 2007; v1 submitted 28 September, 2006; originally announced September 2006.

Comments: Paper has been split into two parts: this part, and a supplement at arXiv:0705.2404v1

MSC Class: 91A46; 20M14

Journal ref: Journal of Combinatorial Theory, Series A (May 2008) pp 593-622

Purely periodic beta-expansions in the Pisot non-unit case

Authors: Valerie Berthe, Anne Siegel

Abstract: It is well known that real numbers with a purely periodic decimal expansion are the rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta which is not necessarily a unit: we characterize real numbers having a purely periodic expansion in such a base; this characterization is given in terms of an exp… ▽ More It is well known that real numbers with a purely periodic decimal expansion are the rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta which is not necessarily a unit: we characterize real numbers having a purely periodic expansion in such a base; this characterization is given in terms of an explicit set, called generalized Rauzy fractal, which is shown to be a graph-directed self-affine compact subset of non-zero measure which belongs to the direct product of Euclidean and p-adic spaces. △ Less

Submitted 15 July, 2004; originally announced July 2004.

MSC Class: Primary 37B10; Secondary 11R06; 11A63; 11J70; 68R15