BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Maurice Margenstern

Maurice Margenstern contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Discrete MathematicsFormal Languages and Automata Theorynlin.CGComputational GeometryComputation and LanguageComputational ComplexityEmerging TechnologiesHuman-Computer Interactionmath.COnlin.PSOther Quantitative Biology

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

The domino problem of the hyperbolic plane is undecidable, new proof

The present paper is a new version of the arXiv paper revisiting the proof given in a previous paper of the author published in 2008 proving that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean plane, initially proved by Robert Berger in 1966. The present construction improves that of the recent arXiv paper. It also strongly reduces the number of prototiles.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A family of weakly universal cellular automata in the hyperbolic plane with two states

In this paper, we construct a family of weakly universal rotation invariant cellular automaton for all grids $\{p,3\}$ of the hyperbolic plane for $p\geq 13$. The scheme is general for $p\geq 17$ and for $13\leq p<17$, we give such a cellular automaton for $p=13$, which is enough. Also, an important property of this family is that the set of cells of the cellular automaton which are subject to changes is actually a planar set. The problem for $p<13$ for a truly planar construction is still open. The best result, for $p=7$, is four states and was obtained by the same author.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

An application of Grossone to the study of a family of tilings of the hyperbolic plane

In this paper, we look at the improvement of our knowledge on a family of tilings of the hyperbolic plane which is brought in by the use of Sergeyev&#39;s numeral system based on grossone. It appears that the information we can get by using this new numeral system depends on the way we look at the tilings. The ways are significantly different but they confirm some results which were obtained in the traditional but constructive frame and allow us to obtain an additional precision with respect to this information.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Computation with competing patterns in Life-like automaton

We study a Life-like cellular automaton rule $B2/S2345$ where a cell in state `0&#39; takes state `1&#39; if it has exactly two neighbors in state `1&#39; and the cell remains in the state `1&#39; if it has between two and five neighbors in state `1.&#39; This automaton is a discrete analog spatially extended chemical media, combining both properties of sub-excitable and precipitating chemical media. When started from random initial configuration B2/S2345 automaton exhibits chaotic behavior. Configurations with low density of state `1&#39; show emergence of localized propagating patterns and stationary localizations. We construct basic logical gates and elementary arithmetical circuits by simulating logical signals with mobile localizations reaction propagating geometrically restricted by stationary non-destructible localizations. Values of Boolean variables are encoded into two types of patterns --- symmetric (False) and asymmetric (True) patterns --- which compete for the `empty&#39; space when propagate in the channels. Implementations of logical gates and binary adders are illustrated explicitly.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification

In this paper, we first describe the isothermal constrained loop extension DNA amplification (ICLEDA), which is a new variant of amplification combining the advantages of rolling circle amplification (RCA) and of strand displacement amplification (SDA). Then, we formalize this process in terms of the theory of formal languages and show, on the basis of this formulation, how to manage OR and AND gates. We then explain how to introduce negation, which allows us to prove that, in principle, it is possible to implement the computation of any boolean function on DNA strands using ICLEDA.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Using Grossone to count the number of elements of infinite sets and the connection with bijections

In this paper, we look at how to count the number of elements of a set within the frame of Sergeyev&#39;s numeral system. We also look at the connection between the number of elements of a set and the notion of bijection in this new setting. We also show the difference between this new numeral system and the results of the traditional naive set theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An upper bound on the number of states for a strongly universal hyperbolic cellular automaton on the pentagrid

In this paper, following the way opened by a previous paper deposited on arXiv, we give an upper bound to the number of states for a hyperbolic cellular automaton in the pentagrid. Indeed, we prove that there is a hyperbolic cellular automaton which is rotation invariant and whose halting problem is undecidable and which has 9~states.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

On a characterization of cellular automata in tilings of the hyperbolic plane

In this paper, we look at the extention of Hedlund&#39;s characterization of cellular automata to the case of cellular automata in the hyperbolic plane. This requires an additionnal condition. The new theorem is proved with full details in the case of the pentagrid and in the case of the ternary heptagrid and enough indications to show that it holds also on the grids $\{p,q\}$ of the hyperbolic plane.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

On the communication between cells of a cellular automaton on the penta- and heptagrids of the hyperbolic plane

This contribution belongs to a combinatorial approach to hyperbolic geometry and it is aimed at possible applications to computer simulations. It is based on the splitting method which was introduced by the author and which is reminded in the second section of the paper. Then we sketchily remind the application to the classical case of the pentagrid, i.e. the tiling of the hyperbolic plane which is generated by reflections of the regular rectangular pentagon in its sides and, recursively, of its images in their sides. From this application, we derived a system of coordinates to locate the tiles, allowing an implementation of cellular automata. At the software level, cells exchange messages thanks to a new representation which improves the speed of contacts between cells. In the new setting, communications are exchanged along actual geodesics and the contribution of the cellular automaton is also linear in the coordinates of the cells.

0 citations0 reviewsNo code linkedOpen access