Related papers: Certifying Anosov representations

We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our…

We prove that a random group, in Gromov's density model with $d<1/16$, satisfies a universal sentence $\sigma$ (in the language of groups) if and only if $\sigma$ is true in a nonabelian free group.

For $g\geq 2$, let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g$. In this paper, we provide necessary and sufficient conditions for the existence of infinite metacyclic subgroups of…

For a variety of finite groups $\mathbf H$, let $\overline{\mathbf H}$ denote the variety of finite semigroups all of whose subgroups lie in $\mathbf H$. We give a characterization of the subsets of a finite semigroup that are pointlike…

A 2-covering for a finite group $G$ is a set of proper subgroups of $G$ such that every pair of elements of $G$ is contained in at least one subgroup in the set. The minimal number of subgroups needed to 2-cover a group $G$ is called the…

Verifiable generation requires large language models (LLMs) to cite source documents supporting their outputs, thereby improve output transparency and trustworthiness. Yet, previous work mainly targets the generation of sentence-level…

We study Patterson-Sullivan measures for a class of discrete subgroups of higher rank semisimple Lie groups, called transverse groups, whose limit set is well-defined and transverse in a partial flag variety. This class of groups includes…

Using the mixed Lie algebras of Lazard, we extend the results of the first author on mild groups to the case p=2. In particular, we show that for any finite set S_0 of odd rational primes we can find a finite set S of odd rational primes…

Anosov representations give a higher-rank analogue of convex cocompactness in a rank-one Lie group which shares many of its good geometric and dynamical properties; geometric finiteness in rank one may be seen as a controlled weakening of…

In our pursuit of generic criteria for decidable ontology-based querying, we introduce 'finite-cliquewidth sets' (FCS) of existential rules, a model-theoretically defined class of rule sets, inspired by the cliquewidth measure from graph…

Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove the existence of a uniform quantifier elimination procedure for formulas of minimal rank (probably the superstable part of the…

We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…

We obtain new variations of the original McShane identity for those SL(2,C)-representations of the once punctured torus group which satisfy the Bowditch conditions, and also for those fixed up to conjugacy by an Anosov mapping class of the…

The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure (also called model). We study a class of problems that…

Mapping class groups are known to admit geometric (proper, cobounded) actions on injective spaces. Starting with such an action, and relying only on geometric arguments, we show that all finite generating sets resulting from taking large…

We prove that divergent, extended geometrically finite (in the sense of Weisman arXiv:2205.07183) representations can be interpreted as restricted Anosov (in the sense of Tholozan--Wang arXiv:2307.02934) representations over certain flow…

Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is…

The goal of this paper is to establish a general rigidity statement for abstract representations of elementary subgroups of Chevalley groups of rank at least 2 over a class of commutative rings that includes the localizations of 1-generated…

In 1990, Hitchin's proved a component of the space of representations of a surface group in SL(n,R) is homeomorphic to a ball. For n=2,3 this component has been identified with the holonomies of geometric structures (hyperbolic for n=2, or…

A group word $w$ is said to be strongly concise in a class $\mathscr C$ of profinite groups if, for any group $G$ in $\mathscr C$, either $w$ takes at least continuum values in $G$ or the verbal subgroup $w(G)$ is finite. It is conjectured…