675 research outputs found
The mathematical research of William Parry FRS
In this article we survey the mathematical research of the late William (Bill) Parry, FRS
Realization of aperiodic subshifts and uniform densities in groups
A theorem of Gao, Jackson and Seward, originally conjectured to be false by
Glasner and Uspenskij, asserts that every countable group admits a
-coloring. A direct consequence of this result is that every countable group
has a strongly aperiodic subshift on the alphabet . In this article,
we use Lov\'asz local lemma to first give a new simple proof of said theorem,
and second to prove the existence of a -effectively closed strongly
aperiodic subshift for any finitely generated group . We also study the
problem of constructing subshifts which generalize a property of Sturmian
sequences to finitely generated groups. More precisely, a subshift over the
alphabet has uniform density if for every
configuration the density of 's in any increasing sequence of balls
converges to . We show a slightly more general result which implies
that these subshifts always exist in the case of groups of subexponential
growth.Comment: minor typos correcte
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical
theorems show that many problems are undecidable for general structures, but
become decidable if some rigidity is imposed on the structure. For example, the
set of theorems in many finitely axiomatisable theories is nonrecursive, but
the set of theorems for any finitely axiomatisable complete theory is
recursive. Finitely presented groups might have an nonrecursive word problem,
but finitely presented simple groups have a recursive word problem. In this
article we introduce a topological framework based on closure spaces to show
that many of these proofs can be obtained in a similar setting. We will show in
particular that these statements can be generalized to cover arbitrary
structures, with no finite or recursive presentation/axiomatization. This
generalizes in particular work by Kuznetsov and others. Examples from first
order logic and symbolic dynamics will be discussed at length
Aperiodic Subshifts of Finite Type on Groups
In this note we prove the following results:
If a finitely presented group admits a strongly aperiodic SFT,
then has decidable word problem. More generally, for f.g. groups that are
not recursively presented, there exists a computable obstruction for them to
admit strongly aperiodic SFTs.
On the positive side, we build strongly aperiodic SFTs on some new
classes of groups. We show in particular that some particular monster groups
admits strongly aperiodic SFTs for trivial reasons. Then, for a large class of
group , we show how to build strongly aperiodic SFTs over . In particular, this is true for the free group with 2 generators,
Thompson's groups and , and any f.g. group of
rational matrices which is bounded.Comment: New version. Adding results about monster group
- …