Showing 1–3 of 3 results for author: Martinez, S J

Grzegorczyk and Whitehead points: the story continues

Authors: Rafał Gruszczyński, Santiago Jockwich Martinez

Abstract: One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual… ▽ More One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual relationship between Whitehead and Grzegorczyk points, and put forward open problems for future investigation. △ Less

Submitted 30 September, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 21 pages, 1 figure

MSC Class: 00A30; 03G05; 06E25

Universal One-Dimensional Cellular Automata Derived for Turing Machines and its Dynamical Behaviour

Authors: Sergio J. Martinez, Ivan M. Mendoza, Genaro J. Martinez, Shigeru Ninagawa

Abstract: Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, t… ▽ More Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, they are: binary sum, rule 110 and a universal reversible Turing machine. △ Less

Submitted 6 July, 2019; originally announced July 2019.

Comments: 18 pages, 8 tables, 3 figures. https://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-14-number-2-2019/ijuc-14-2-p-121-138/

Journal ref: International Journal of Unconventional Computing 14(2) pages 121-138, 2019

Composition of Lorentz Transformations in Terms of Their Generators

Authors: B. Coll, F. San Jose Martinez

Abstract: Two-forms in Minkowski space-time may be considered as generators of Lorentz transformations. Here, the covariant and general expression for the composition law (Baker-Campbell-Hausdorff formula) of two Lorentz transformations in terms of their generators is obtained. Every subalgebra of the Lorentz algebra of such generators, up to one, may be generated by a sole pair of generators. When the su… ▽ More Two-forms in Minkowski space-time may be considered as generators of Lorentz transformations. Here, the covariant and general expression for the composition law (Baker-Campbell-Hausdorff formula) of two Lorentz transformations in terms of their generators is obtained. Every subalgebra of the Lorentz algebra of such generators, up to one, may be generated by a sole pair of generators. When the subalgebra is known, the above BCH formula for the two two-forms simplifies. Its simplified expressions for all such subalgebras are also given. △ Less

Submitted 15 June, 2001; originally announced June 2001.

Comments: 16 pages, no figures

Journal ref: Gen.Rel.Grav. 34 (2002) 1345-1356