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

Dominik Francoeur

Dominik Francoeur contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRFormal Languages and Automata Theory

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
2topics
3close 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

5 published item(s)

preprint2020arXiv

Infinite Automaton Semigroups and Groups Have Infinite Orbits

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On maximal subgroups of infinite index in branch and weakly branch groups

We generalise a technical tool, originally developed by Pervova for the study of maximal subgroups in Grigorchuk and GGS groups, to all weakly branch groups satisfying a natural condition, and in particular to all branch groups. We then use this tool to prove that every maximal subgroup of infinite index of a branch group is also a branch group. As a further application of this result, we show that every maximal subgroup of the Basilica group is of finite index.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the Orbits of Automaton Semigroups and Groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the stabilisers of points in groups with micro-supported actions

Given a group $G$ of homeomorphism of a first-countable Hausdorff space $\mathcal{X}$, we prove that if the action of $G$ on $\mathcal{X}$ is minimal and has rigid stabilisers that act locally minimally, then the neighbourhood stabilisers of any two points in $\mathcal{X}$ are conjugated by a homeomorphism of $\mathcal{X}$. This allows us to study stabilisers of points in many classes of groups, such as topological full groups of Cantor minimal systems, Thompson groups, branch groups, and groups acting on trees with almost prescribed local actions.

0 citations0 reviewsNo code linkedOpen access