Related papers: Certifying Anosov representations
We present a novel and well automatable approach to formal verification of programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to…
Motivated by a theorem of Groves and Wilton, we propose the study of the lattice of numberings of isomorphism classes of marked groups as a rigorous and comprehensive framework to study global decision problems for finitely generated…
We investigate the surjectivity of the word map defined by the n-th Engel word on the groups PSL(2,q) and SL(2,q). For SL(2,q), we show that this map is surjective onto the subset SL(2,q)\{-id} provided that q>Q(n) is sufficiently large.…
We prove, when $S$ is a $2$-group of order at most $2^9$, that each reduced fusion system over $S$ is the fusion system of a finite simple group and is tame. It then follows that each saturated fusion system over a $2$-group of order at…
We introduce the problem of temporal coverability for realizability and synthesis. Namely, given a language of words that must be covered by a produced system, how to automatically produce such a system. We consider the case of coverability…
Let $G$ denote the projective special linear group $\text{PSL}(2,q)$, for a prime power $q$. It is shown that a finite 2-subgroup of the group $V(\mathbb{Z}G)$ of augmentation 1 units in the integral group ring $\mathbb{Z}G$ of $G$ is…
We prove that generic elements of braid groups are pseudo-Anosov, in the following sense: in the Cayley graph of the braid group with n $\ge$ 3 strands, with respect to Garside's generating set, we prove that the proportion of pseudo-Anosov…
Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regular input languages of finite words, decide whether there…
In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper is to show that $\Sigma$-testing can be accomplished…
It is conjectured that every manifold admitting an Anosov diffeomorphism is, up to homeomorphism, finitely covered by a nilmanifold. Motivated by this conjecture, an important problem is to determine which nilmanifolds admit an Anosov…
The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been…
We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to…
Automatic and efficient verification of multiplier designs, especially through a provably correct method, is a difficult problem. We show how to utilize a theorem prover, ACL2, to implement an efficient rewriting algorithm for multiplier…
We prove that any Borel Anosov representations of a surface group into $Sp(4,\mathbb{R})$ that has maximal Toledo invariant must be Hitchin. We also prove that a representation of a surface group into $Sp(2n,\mathbb{R})$ that is…
A conjecture of Dehornoy claims that, given a presentation of an Artin-Tits group, every word that represents the identity can be transformed into the trivial word using the braid relations, together with certain rules (between pairs of…
Group testing is a well-known search problem that consists in detecting of $s$ defective members of a set of $t$ samples by carrying out tests on properly chosen subsets of samples. In classical group testing the goal is to find all…
We show that any finite monoid or semigroup presentation satisfying the small overlap condition C(4) has word problem which is a deterministic rational relation. It follows that the set of lexicographically minimal words forms a regular…
Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.
The study of verbal subgroups within a group is well-known for being an effective tool to obtain structural information about a group. Therefore, conditions that allow the classification of words in a free group are of paramount importance.…
We study expression learning problems with syntactic restrictions and introduce the class of finite-aspect checkable languages to characterize symbolic languages that admit decidable learning. The semantics of such languages can be defined…