On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract)

@inproceedings{Margenstern2008OnTI,
  title={On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract)},
  author={Maurice Margenstern},
  booktitle={CSP},
  year={2008}
}
In this paper, we look at the following question. We consider cellular automata in the hyperbolic plane, (see Margenstern, 2000, 2007 and Margenstern, Morita, 2001) and we consider the global function defined on all possible configurations. Is the injectivity of this function undecidable? The problem was answered positively in the case of the Euclidean plane by Jarkko Kari, in 1994. In the present paper, we show that the answer is also positive for the hyperbolic plane: the problem is… 
1 Citations

Figures from this paper

Research Notices: The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable

This paper considers cellular automata in the hyperbolic plane and considers the global function defined on all possible configurations and gives a partial answer: when the configurations are restricted to a certain condition, the problem is undecidable.

References

SHOWING 1-10 OF 18 REFERENCES

The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable

The answer is shown that the problem of the injectivity of the global function defined on all possible configurations of the hyperbolic plane is undecidable.

Research Notices: The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable

This paper considers cellular automata in the hyperbolic plane and considers the global function defined on all possible configurations and gives a partial answer: when the configurations are restricted to a certain condition, the problem is undecidable.

On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane

  • M. Margenstern
  • Mathematics, Computer Science
    Int. J. Found. Comput. Sci.
  • 2008
The new theorem is proved with full details in the case of the pentagrid and in the cases of the ternary heptagrid, and enough indications to show that it also holds on the grids {p, q} of the hyperbolic plane.

New Tools for Cellular Automata in the Hyperbolic Plane

  • M. Margenstern
  • Mathematics, Computer Science
    J. Univers. Comput. Sci.
  • 2000
A new technique in order to deal with cellular automata in the hyperbolic plane is introduced and new ones that should give better tools to develop the matter are given.

Cellular Automata in Hyperbolic Spaces

  • M. Margenstern
  • Mathematics
    Encyclopedia of Complexity and Systems Science
  • 2009
The chapter presents a bit more than fifteen years of research on cellular automata in hyperbolic spaces. After a short historical section, we remind the reader what is needed to know from hyperbolic

Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane

The construction which proves that the simple plane-filling property also holds for the hyperbolic plane is given.

A strongly aperiodic set of tiles in the hyperbolic plane

We construct the first known example of a strongly aperiodic set of tiles in the hyperbolic plane. Such a set of tiles does admit a tiling, but admits no tiling with an infinite cyclic symmetry. This