Related papers: A Topological proof that $O_2$ is $2$-MCFL
We prove that if the multiplication group $Mult(L)$ of a connected $2$-dimensional topological loop is a Lie group, then $Mult(L)$ is an elementary filiform nilpotent Lie group of dimension at least $4$. Moreover, we describe loops having…
Recently, Rips produced an example of a double of two free groups which has unsolvable generalized word problem. In this paper, we show that Rips's example fits into a large class of doubles of groups, each member of which contains F_2 x…
Motivated by recent connections to factorised databases, we analyse the efficiency of representations by context free grammars (CFGs). Concretely, we prove a recent conjecture by Kimelfeld, Martens, and Niewerth (ICDT 2025), that for finite…
Ramond has observed that the massless multiplet of eleven-dimensional supergravity can be generated from the decomposition of certain representation of the exceptional Lie group F4 into those of its maximal compact subgroup Spin(9). The…
We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher…
We show that the biflatness - in the sense of A. Ya. Helemskii - of the Fourier algebra $A(G)$ of a locally compact group $G$ forces $G$ to either have an abelian subgroup of finite index or to be non-amenable without containing $F_2$, the…
We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid…
We investigate the structure of finite groups whose non-central real class sizes have the same $2$-part. In particular, we prove that such groups are solvable and have $2$-length one. As a consequence, we show that a finite group is…
An analogue of Burnside's Lemma for 2-transitive groups is shown to hold for a class of topological groups. If the group is compact the representation is finite and splits into an irreducible and the constant functions. If both the group…
We provide the first examples of words in the free group of rank 2 which are not proper powers and for which the corresponding word maps are non-surjective on an infinite family of finite non-abelian simple groups.
Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content. We prove that subsumption of acyclic TFSs is well-founded,…
We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher…
If we pick two elements of a non-abelian group at random, the odds this pair commutes is at most 5/8, so there is a "gap" between abelian and non-abelian groups \cite{G}. We prove a "topological" generalization estimating the odds a word…
We verify Tutte's $3$-flow conjecture in the class of Cayley graphs on solvable groups of order $2n$, where $n$ is square-free. The proof relies on a new necessary and sufficient condition for a simple $5$-valent graph to admit a…
To expand a fundamental theory of context-free languages, we equip nondeterministic one-way pushdown automata with additional oracle mechanisms, which naturally induce various nondeterministic reducibilities among formal languages. As a…
We establish the rationality of the stable conjugation-invariant word norm on free groups and virtually free Coxeter groups.
We show that an element w of a free group F on n generators defines a surjective word map of PSL(2,C)^n onto PSL(2,C) unless w belongs to the second derived subgroup of F. We also describe certain words maps that are surjective on SL(2,C) x…
One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for…
We prove the local Langlands conjecture for the exceptional group $G_2(F)$ where $F$ is a non-archimedean local field of characteristic zero.
Starting from context-free inverse graphs, we introduce a new class of groups and study their structural properties. We establish closure properties, show that their co-word problems are context-free, analyze torsion elements, and realize…