Related papers: Deficiency and abelianized deficiency of some virt…

For every pair of positive integers $p > q$ we construct a one-relator group $R_{p,q}$ whose Dehn function is $\simeq n^{2 \alpha}$ where $\alpha = \log_2(2p / q)$. The group $R_{p,q}$ has no subgroup isomorphic to a Baumslag-Solitar group…

Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is…

We consider a family of quantum graphs $\{(\Gamma,\mathcal{A}_\varepsilon)\}_{\varepsilon>0}$, where $\Gamma$ is a $\mathbb{Z}^n$-periodic metric graph and the periodic Hamiltonian $\mathcal{A}_\varepsilon$ is defined by the operation…

We construct $2$-generator non-Hopfian groups $G_m, m=3, 4, 5, \dots$, where each $G_m$ has a specific presentation $G_m=\langle a, b \, | \, u_{r_{m,0}}=u_{r_{m,1}}=u_{r_{m,2}}= \cdots =1 \rangle$ which satisfies small cancellation…

Classification of differential-difference equation of the form $\ddot{u}_{nm}=F_{nm}\big(t, \{u_{pq}\}|_{(p,q)\in \Gamma}\big)$ are considered according to their Lie point symmetry groups. The set $\Gamma$ represents the point $(n,m)$ and…

We study progression-free sets in the abelian groups $G=(\mathbb{Z}_m^n,+)$. Let $r_k(\mathbb{Z}_m^n)$ denote the maximal size of a set $S \subset \mathbb{Z}_m^n$ that does not contain a proper arithmetic progression of length $k$. We give…

All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$…

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... =…

In this paper, we proposed an interesting problem that might be classified into enumerative combinatorics. Featuring a distinctive two-fold dependence upon the sequences' terms, our problem can be really difficult, which calls for novel…

Let $X$ be a Banach space on which a discrete group $\Gamma$ acts by isometries. For certain natural choices of $X$, every element of the group algebra, when regarded as an operator on $X$, has empty residual spectrum. We show, for…

Let G=SO(n,1) and Gamma a geometrically finite Zariski dense subgroup of G which is contained in an arithmetic subgroup of G. Denoting by Gamma(q) the principal congruence subgroup of Gamma of level q, and fixing a positive number \lambda_0…

For any integers $p\geq 2$ and $q\geq 1$, let $\mathbb{H}^{p,q}$ be the pseudo-Riemannian hyperbolic space of signature $(p,q)$. We prove that if $\Gamma$ is the fundamental group of a closed aspherical $p$-manifold, then the set of…

We prove a necessary and sufficient condition for the graded algebra of automorphic forms on a symmetric domain of type IV to be free. From the necessary condition, we derive a classification result. Let $M$ be an even lattice of signature…

Let $\Gamma$ be a subset of $\{0,1,2,...\}$. We show that if $\Gamma$ has `gaps' then the completeness and frame properties of the system $\{t^ke^{2\pi i nt}: n\in\mathbb{Z},k\in\Gamma\}$ differ from those of the classical exponential…

Guralnick, Kantor, Kassabov and Lubotzky (J. Eur. Math. Soc. 13.2, 2011, 391-458) [GKKL] give 3-generator 7-relator presentations of $A_n$ and $S_n$ with bit-length $O(\log n)$ for $n\geq5$. This is the best possible bit-length, since…

In this communication, the co-maximal subgroup graph $\Gamma(G)$ of a finite group $G$ is examined when $G$ is a finite nilpotent group, finite abelian group, dihedral group $D_n$, dicyclic group $Q_{2^n}$, and $p$-group. We derive the…

The three gap theorem (or Steinhaus conjecture) asserts that there are at most three distinct gap lengths in the fractional parts of the sequence $\alpha,2\alpha,\ldots,N\alpha$, for any integer $N$ and real number $\alpha$. This statement…

Let $\Gamma$ be a lattice in a simply-connected nilpotent Lie group $N$ whose Lie algebra $\mathfrak{n}$ is $p$-filiform. We show that $\Gamma$ is either abelian or 2-step nilpotent if $\Gamma$ is isomorphic to the fundamental group of a…

A sufficient condition for the existence of HNN-extensions in the class of groups of odd exponent $n \gg 1$ is given in the following form. Let $Q$ be a group of odd exponent $n > 2^{48}$ and $\mathcal G$ be an HNN-extension of $Q$. If $A…

We prove that if $A$ is a non-separable abelian tracial von Neuman algebra then its free powers $A^{*n}, 2\leq n \leq \infty$, are mutually non-isomorphic and with trivial fundamental group, $\mathcal F(A^{*n})=1$, whenever $2\leq…