-
The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We extend the notion of activity for automaton semigroups and monoids introduced by Bartholdi, Godin, Klimann and Picantin to a more general setting. Their activity notion was already a generalization of Sidki's activity hierarchy for automaton groups. Using the concept of expandability introduced earlier by the current authors, we show that the language of $ω$-words with infinite orbits is effect…
▽ More
We extend the notion of activity for automaton semigroups and monoids introduced by Bartholdi, Godin, Klimann and Picantin to a more general setting. Their activity notion was already a generalization of Sidki's activity hierarchy for automaton groups. Using the concept of expandability introduced earlier by the current authors, we show that the language of $ω$-words with infinite orbits is effectively a deterministic Büchi language for our extended activity. This generalizes a similar previous result on automaton groups by Bondarenko and the third author. By a result of Francoeur and the current authors, the description via a Büchi automaton immediately yields that the finiteness problem for complete automaton semigroups and monoids of bounded activity is decidable. In fact, we obtain a stronger result where we may consider sub-orbits under the action of a regular, suffix-closed language over the generators. This, in particular, also yields that it is decidable whether a finitely generated subsemigroup (or -monoid) of a bounded complete automaton semigroup is finite.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
The Freeness Problem for Automaton Semigroups
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We show that the freeness problems for automaton semigroups and for automaton monoids are undecidable by giving a reduction from Post's Correspondence Problem. This construction seems to be quite versatile and we also immediately obtain that the problems of testing whether a given automaton semigroup (monoid) is (left) cancellative or whether it is equidivisible are undecidable. We also obtain tha…
▽ More
We show that the freeness problems for automaton semigroups and for automaton monoids are undecidable by giving a reduction from Post's Correspondence Problem. This construction seems to be quite versatile and we also immediately obtain that the problems of testing whether a given automaton semigroup (monoid) is (left) cancellative or whether it is equidivisible are undecidable. We also obtain that it is undecidable whether a given map extends into a homomorphism of automaton semigroups. Finally, we adapt our construction to show that it is undecidable whether a given automaton generates a free monoid whose basis is given by the states (but where we allow one state to act as the identity). In the semigroup case, we show a weaker version of this statement.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Generalizations of the Muller-Schupp theorem and tree-like inverse graphs
Authors:
Emanuele Rodaro
Abstract:
We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $Γ$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or having the automorphism group $Aut(Γ)$ that is virtually free, are all equivalent conditions. Furthermore, we add to the previous equivalences a group theoretic analo…
▽ More
We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $Γ$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or having the automorphism group $Aut(Γ)$ that is virtually free, are all equivalent conditions. Furthermore, we add to the previous equivalences a group theoretic analog to the representation theorem of Chomsky-Schützenberger that is fundamental in solving a weaker version of a conjecture of T. Brough which also extends Muller and Schupp' result to the class of groups that are virtually finitely generated subgroups of direct product of free groups. We show that such groups are precisely those whose word problem is the intersection of a finite number of languages accepted by quasi-transitive, tree-like inverse graphs.
△ Less
Submitted 21 July, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
The Self-Similarity of Free Semigroups and Groups
Authors:
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We give a survey on results regarding self-similar and automaton presentations of free groups and semigroups and related products. Furthermore, we discuss open problems and results with respect to algebraic decision problems in this area.
We give a survey on results regarding self-similar and automaton presentations of free groups and semigroups and related products. Furthermore, we discuss open problems and results with respect to algebraic decision problems in this area.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
On the Orbits of Automaton Semigroups and Groups
Authors:
Daniele D'Angeli,
Dominik Francoeur,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem for automaton groups is undecidable. This problem is equivalent to the finiteness problem for left principal ideals in automaton semigroups generated by complet…
▽ More
We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem for automaton groups is undecidable. This problem is equivalent to the finiteness problem for left principal ideals in automaton semigroups generated by complete and reversible automata. Then, we look at $ω$-word (i.e. right infinite words) with a finite orbit. We show that every automaton yielding an $ω$-word with a finite orbit already yields an ultimately periodic one, which is not periodic in general, however. On the algorithmic side, we observe that it is not possible to decide whether a given periodic $ω$-word has an infinite orbit and that we cannot check whether a given reversible and complete automaton admits an $ω$-word with a finite orbit, a reciprocal problem to the finiteness problem for automaton semigroups in the reversible case. Finally, we look at automaton groups generated by reversible but not bi-reversible automata and show that many words have infinite orbits under the action of such automata.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Infinite Automaton Semigroups and Groups Have Infinite Orbits
Authors:
Daniele D'Angeli,
Dominik Francoeur,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We show that an automaton group or semigroup is infinite if and only if it admits an $ω$-word (i. e. a right-infinite word) with an infinite orbit, which solves an open problem communicated to us by Ievgen V. Bondarenko. In fact, we prove a generalization of this result, which can be applied to show that finitely generated subgroups and subsemigroups as well as principal left ideals of automaton s…
▽ More
We show that an automaton group or semigroup is infinite if and only if it admits an $ω$-word (i. e. a right-infinite word) with an infinite orbit, which solves an open problem communicated to us by Ievgen V. Bondarenko. In fact, we prove a generalization of this result, which can be applied to show that finitely generated subgroups and subsemigroups as well as principal left ideals of automaton semigroups are infinite if and only if there is an $ω$ -word with an infinite orbit under their action. The proof also shows some interesting connections between the automaton semigroup and its dual. Finally, our result is interesting from an algorithmic perspective as it allows for a reformulation of the finiteness problem for automaton groups and semigroups.
△ Less
Submitted 21 August, 2020; v1 submitted 1 March, 2019;
originally announced March 2019.
-
Orbit Expandability of Automaton Semigroups and Groups
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We introduce the notion of expandability in the context of automaton semigroups and groups: a word is k-expandable if one can append a suffix to it such that the size of the orbit under the action of the automaton increases by at least k. This definition is motivated by the question which ω-words admit infinite orbits: for such a word, every prefix is expandable.
In this paper, we show that, on…
▽ More
We introduce the notion of expandability in the context of automaton semigroups and groups: a word is k-expandable if one can append a suffix to it such that the size of the orbit under the action of the automaton increases by at least k. This definition is motivated by the question which ω-words admit infinite orbits: for such a word, every prefix is expandable.
In this paper, we show that, on input of a word u, an automaton T and a number k, it is decidable to check whether u is k-expandable with respect to the action of T. In fact, this can be done in exponential nondeterministic space. From this nondeterministic algorithm, we obtain a bound on the length of a potential orbit-increasing suffix x. Moreover, we investigate the situation if the automaton is invertible and generates a group. In this case, we give an algebraic characterization for the expandability of a word based on its shifted stabilizer. We also give a more efficient algorithm to decide expandability of a word in the case of automaton groups, which allows us to improve the upper bound on the maximal orbit-increasing suffix length. Then, we investigate the situation for reversible (and complete) automata and obtain that every word is expandable with respect to these automata. Finally, we give a lower bound example for the length of an orbit-increasing suffix.
△ Less
Submitted 15 January, 2020; v1 submitted 18 December, 2018;
originally announced December 2018.
-
On the Structure Theory of Partial Automaton Semigroups
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
We study automaton structures, i.e. groups, monoids and semigroups generated by an automaton, which, in this context, means a deterministic finite-state letter-to-letter transducer. Instead of considering only complete automata, we specifically investigate semigroups generated by partial automata. First, we show that the class of semigroups generated by partial automata coincides with the class of…
▽ More
We study automaton structures, i.e. groups, monoids and semigroups generated by an automaton, which, in this context, means a deterministic finite-state letter-to-letter transducer. Instead of considering only complete automata, we specifically investigate semigroups generated by partial automata. First, we show that the class of semigroups generated by partial automata coincides with the class of semigroups generated by complete automata if and only if the latter class is closed under removing a previously adjoined zero, which is an open problem in (complete) automaton semigroup theory stated by Cain. Then, we show that no semidirect product (and, thus, also no direct product) of an arbitrary semigroup with a (non-trivial) subsemigroup of the free monogenic semigroup is an automaton semigroup. Finally, we concentrate on inverse semigroups generated by invertible but partial automata, which we call automaton-inverse semigroups, and show that any inverse automaton semigroup can be generated by such an automaton (showing that automaton-inverse semigroups and inverse automaton semigroups coincide).
△ Less
Submitted 16 July, 2020; v1 submitted 23 November, 2018;
originally announced November 2018.
-
Automaton Semigroups and Groups: On the Undecidability of Problems Related to Freeness and Finiteness
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton (semi)groups and their dynamics on the boundary. First, we show that it is undecidable to check whether the group generated by a given invertible automaton has a posi…
▽ More
In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton (semi)groups and their dynamics on the boundary. First, we show that it is undecidable to check whether the group generated by a given invertible automaton has a positive relation, i.e. a relation p = 1 such that p only contains positive generators. Besides its obvious relation to the freeness of the group, the absence of positive relations has previously been studied and is connected to the triviality of some stabilizers of the boundary. We show that the emptiness of the set of positive relations is equivalent to the dynamical property that all (directed positive) orbital graphs centered at non-singular points are acyclic.
Gillibert showed that the finiteness problem for automaton semigroups is undecidable. In the second part of the paper, we show that this undecidability result also holds if the input is restricted to be bi-reversible and invertible (but, in general, not complete). As an immediate consequence, we obtain that the finiteness problem for automaton subsemigroups of semigroups generated by invertible, yet partial automata, so called automaton-inverse semigroups, is also undecidable.
Erratum: Contrary to a statement in a previous version of the paper, our approach does not show that that the freeness problem for automaton semigroups is undecidable. We discuss this in an erratum at the end of the paper.
△ Less
Submitted 9 April, 2020; v1 submitted 20 December, 2017;
originally announced December 2017.
-
A bound for the shortest reset words for semisimple synchronizing automata via the packing number
Authors:
Emanuele Rodaro
Abstract:
We show that if a semisimple synchronizing automaton with $n$ states has a minimal reachable non-unary subset of cardinality $r\ge 2$, then there is a reset word of length at most $(n-1)D(2,r,n)$, where $D(2,r,n)$ is the $2$-packing number for families of $r$-subsets of $[1,n]$.
We show that if a semisimple synchronizing automaton with $n$ states has a minimal reachable non-unary subset of cardinality $r\ge 2$, then there is a reset word of length at most $(n-1)D(2,r,n)$, where $D(2,r,n)$ is the $2$-packing number for families of $r$-subsets of $[1,n]$.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
Synchronizing automata and the language of minimal reset words
Authors:
Emanuele Rodaro
Abstract:
We study a connection between synchronizing automata and its set $M$ of minimal reset words, i.e., such that no proper factor is a reset word. We first show that any synchronizing automaton having the set of minimal reset words whose set of factors does not contain a word of length at most $\frac{1}{4}\min\{|u|: u\in I\}+\frac{1}{16}$ has a reset word of length at most $(n-\frac{1}{2})^{2}$ In the…
▽ More
We study a connection between synchronizing automata and its set $M$ of minimal reset words, i.e., such that no proper factor is a reset word. We first show that any synchronizing automaton having the set of minimal reset words whose set of factors does not contain a word of length at most $\frac{1}{4}\min\{|u|: u\in I\}+\frac{1}{16}$ has a reset word of length at most $(n-\frac{1}{2})^{2}$ In the last part of the paper we focus on the existence of synchronizing automata with a given ideal $I$ that serves as the set of reset words. To this end, we introduce the notion of the tail structure of the (not necessarily regular) ideal $I=Σ^{*}MΣ^{*}$. With this tool, we first show the existence of an infinite strongly connected synchronizing automaton $\mathcal{A}$ having $I$ as the set of reset words and such that every other strongly connected synchronizing automaton having $I$ as the set of reset words is an homomorphic image of $\mathcal{A}$. Finally, we show that for any non-unary regular ideal $I$ there is a strongly connected synchronizing automaton having $I$ as the set of reset words with at most $(km^{k})2^{km^{k}n}$ states, where $k=|Σ|$, $m$ is the length of a shortest word in $M$, and $n$ is the dimension of the smallest automaton recognizing $M$ (state complexity of $M$). This automaton is computable and we show an algorithm to compute it in time $\mathcal{O}((k^{2}m^{k})2^{km^{k}n})$.
△ Less
Submitted 16 August, 2017;
originally announced August 2017.
-
On the Complexity of the Word Problem for Automaton Semigroups and Automaton Groups
Authors:
Daniele D'Angeli,
Emanuele Rodaro,
Jan Philipp Wächter
Abstract:
In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSPACE-c…
▽ More
In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSPACE-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSPACE-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.
△ Less
Submitted 28 June, 2017; v1 submitted 29 November, 2016;
originally announced November 2016.
-
Boundary action of automaton groups without singular points and Wang tilings
Authors:
D. D'Angeli,
Th. Godin,
I. Klimann,
M. Picantin,
E. Rodaro
Abstract:
We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has me…
▽ More
We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has measure zero. Then we focus our attention on several classes of automata. We characterize those contracting automata generating groups without singular points, and apply this characterization to the Basilica group. We prove that potential examples of reversible automata generating infinite groups without singular points are necessarily bireversible. Then we provide some necessary conditions for such examples to exist, and study some dynamical properties of their Schreier graphs in the boundary. Finally we relate some of those automata with aperiodic tilings of the discrete plane via Wang tilings. This has a series of consequences from the algorithmic and dynamical points of view, and is related to a problem of Gromov regarding the searching for examples of CAT(0) complexes whose fundamental groups are not hyperbolic and contain no subgroup isomorphic to $\mathbb{Z}^{2}$.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
The lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$ generated by a bireversible automaton
Authors:
I. Bondarenko,
D. D'Angeli,
E. Rodaro
Abstract:
We construct a bireversible self-dual automaton with $3$ states over an alphabet with $3$ letters which generates the lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$.
We construct a bireversible self-dual automaton with $3$ states over an alphabet with $3$ letters which generates the lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
Representation of (Left) Ideal Regular Languages by Synchronizing Automata
Authors:
Marina Maslennikova,
Emanuele Rodaro
Abstract:
We follow language theoretic approach to synchronizing automata and Černý's conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a strict connection between principal left ideals and synchronizing automata. We characterize regular languages whose minimal deterministic finite automaton is synchronizing…
▽ More
We follow language theoretic approach to synchronizing automata and Černý's conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a strict connection between principal left ideals and synchronizing automata. We characterize regular languages whose minimal deterministic finite automaton is synchronizing and possesses a reset word belonging to the recognized language.
△ Less
Submitted 21 December, 2014;
originally announced December 2014.
-
Freeness of automata groups vs boundary dynamics
Authors:
Daniele D'Angeli,
Emanuele Rodaro
Abstract:
We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially no…
▽ More
We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of non-bireversible transducers defining free groups, we show examples of transducers with sink accessible from every state which generate free groups, and, in general, we link this problem to the nonexistence of certain words with interesting combinatorial and geometrical properties.
△ Less
Submitted 3 November, 2014; v1 submitted 22 October, 2014;
originally announced October 2014.
-
A geometric approach to (semi)-groups defined by automata via dual transducers
Authors:
Daniele D'Angeli,
Emanuele Rodaro
Abstract:
We give a geometric approach to groups defined by automata via the notion of enriched dual of an inverse transducer. Using this geometric correspondence we first provide some finiteness results, then we consider groups generated by the dual of Cayley type of machines. Lastly, we address the problem of the study of the action of these groups in the boundary. We show that examples of groups having e…
▽ More
We give a geometric approach to groups defined by automata via the notion of enriched dual of an inverse transducer. Using this geometric correspondence we first provide some finiteness results, then we consider groups generated by the dual of Cayley type of machines. Lastly, we address the problem of the study of the action of these groups in the boundary. We show that examples of groups having essentially free actions without critical points lie in the class of groups defined by the transducers whose enriched dual generate a torsion-free semigroup. Finally, we provide necessary and sufficient conditions to have finite Schreier graphs on the boundary yielding to the decidability of the algorithmic problem of checking the existence of Schreier graphs on the boundary whose cardinalities are upper bounded by some fixed integer.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Groups and Semigroups Defined by Colorings of Synchronizing Automata
Authors:
Daniele D'Angeli,
Emanuele Rodaro
Abstract:
In this paper we combine the algebraic properties of Mealy machines generating self-similar groups and the combinatorial properties of the corresponding deterministic finite automata (DFA). In particular, we relate bounded automata to finitely generated synchronizing automata and characterize finite automata groups in terms of nilpotency of the corresponding DFA. Moreover, we present a decidable s…
▽ More
In this paper we combine the algebraic properties of Mealy machines generating self-similar groups and the combinatorial properties of the corresponding deterministic finite automata (DFA). In particular, we relate bounded automata to finitely generated synchronizing automata and characterize finite automata groups in terms of nilpotency of the corresponding DFA. Moreover, we present a decidable sufficient condition to have free semigroups in an automaton group. A series of examples and applications is widely discussed, in particular we show a way to color the De Bruijn automata into Mealy automata whose associated semigroups are free, and we present some structural results related to the associated groups.
△ Less
Submitted 19 October, 2013;
originally announced October 2013.
-
A multi-lane traffic simulation model via continuous cellular automata
Authors:
Emanuele Rodaro,
Öznur Yeldan
Abstract:
Traffic models based on cellular automata have high computational efficiency because of their simplicity in describing unrealistic vehicular behavior and the versatility of cellular automata to be implemented on parallel processing. On the other hand, the other microscopic traffic models such as car-following models are computationally more expensive, but they have more realistic driver behaviors…
▽ More
Traffic models based on cellular automata have high computational efficiency because of their simplicity in describing unrealistic vehicular behavior and the versatility of cellular automata to be implemented on parallel processing. On the other hand, the other microscopic traffic models such as car-following models are computationally more expensive, but they have more realistic driver behaviors and detailed vehicle characteristics. We propose a new class between these two categories, defining a traffic model based on continuous cellular automata where we combine the efficiency of cellular automata models with the accuracy of the other microscopic models. More precisely, we introduce a stochastic cellular automata traffic model in which the space is not coarse-grain but continuous. The continuity also allows us to embed a multi-agent fuzzy system proposed to handle uncertainties in decision making on road traffic. Therefore, we simulate different driver behaviors and study the effect of various compositions of vehicles within the traffic stream from the macroscopic point of view. The experimental results show that our model is able to reproduce the typical traffic flow phenomena showing a variety of effects due to the heterogeneity of traffic.
△ Less
Submitted 3 February, 2013;
originally announced February 2013.
-
On periodic points of free inverse monoid endomorphisms
Authors:
Emanuele Rodaro,
Pedro V. Silva
Abstract:
It is proved that the periodic point submonoid of a free inverse monoid endomorphism is always finitely generated. Using Chomsky's hierarchy of languages, we prove that the fixed point submonoid of an endomorphism of a free inverse monoid can be represented by a context-sensitive language but, in general, it cannot be represented by a context-free language.
It is proved that the periodic point submonoid of a free inverse monoid endomorphism is always finitely generated. Using Chomsky's hierarchy of languages, we prove that the fixed point submonoid of an endomorphism of a free inverse monoid can be represented by a context-sensitive language but, in general, it cannot be represented by a context-free language.
△ Less
Submitted 18 December, 2012;
originally announced December 2012.
-
Fixed points of endomorphisms of trace monoids
Authors:
Pedro V. Silva,
Emanuele Rodaro
Abstract:
It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a finiteness theorem is proved for the infinite fixed points of the continuous extension to real traces.
It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a finiteness theorem is proved for the infinite fixed points of the continuous extension to real traces.
△ Less
Submitted 19 November, 2012;
originally announced November 2012.
