Related papers: On the Double Coset Membership Problem for Permuta…

A proof of the Borel completeness of torsion free abelian groups is presented. This proof differs considerably from the approach of Paolini-Shelah.

This is a contribution to the number theory of the dimer problem. The number of dimer coverings (i.e., perfect matchings) of a square lattice graph is discussed modulo powers of 2.

We study the notion of zero-knowledge secure against quantum polynomial-time verifiers (referred to as quantum zero-knowledge) in the concurrent composition setting. Despite being extensively studied in the classical setting, concurrent…

In this paper, we give a simple proof for the small cancellation conditions of the upper presentations of 2-bridge link groups, which holds the key to the proof of the main result of [1]. We also give an alternative proof of the main result…

Let $G$ be a finite $p$-group with normal subgroup $N$, and $R$ a complete discrete valuation ring in mixed characteristic. We characterize permutation $RG$-modules in terms of modules for $RN$ and $R[G/N]$. The result generalizes both the…

We describe an algorithm that computes the index of a finitely generated subgroup in a finitely $L$-presented group provided that this index is finite. This algorithm shows that the subgroup membership problem for finite index subgroups in…

Twisted Wirtinger presentations are generalizations of the classical Wirtinger presentations of knot and link groups. In this paper, we prove that if a finitely generated group admitting a twisted Wirtinger presentation is Gromov…

We consider a group-theoretic analogue of the classic subset sum problem. In this brief note, we show that the subset sum problem is NP-complete in the first Grigorchuk group. More generally, we show NP-hardness of that problem in weakly…

Let $G$ be a linear algebraic group defined over an algebraically closed field. The double coset question addressed in this paper is the following: Given closed subgroups $X$ and $P$, is the double coset collection $X\backslash G/P$ finite…

Here we demonstrate, firstly, the construction of dualities using the exact renormalization group approach and, secondly, that spatial non-commutativity can emerge as such a duality. This is done in a simple quantum mechanical setting that…

The existence and construction of self-dual codes in a permutation module of a finite group for the semisimple case are described from two aspects, one is from the point of view of the composition factors which are self-dual modules, the…

In this paper we show that there is an infinite number of finite groups with two relative subgroup commutativity degrees. Also, we indicate a sufficient condition such that a finite group has at least three relative subgroup commutativity…

Motivated by some problems in genome assembling, we investigate properties of spacings from absolutely continuous distributions. Several results on the asymptotic behavior of the maximal uniform and non-uniform $k$-spacings are presented.…

Let $G$ be a cyclic $p$-group for some prime number $p>0$ and let $R$ be a complete discrete valuation ring in mixed characteristic. In this paper, we present a generalization of two results that characterize $RG$-permutation modules,…

This article studies the complexity of the word problem in groups of automorphisms of subshifts. We show in particular that for any Turing degree, there exists a subshift whose automorphism group contains a subgroup whose word problem has…

We show that the bipartite perfect matching problem is in quasi-NC$^2$. That is, it has uniform circuits of quasi-polynomial size $n^{O(\log n)}$, and $O(log^2 n)$ depth. Previously, only an exponential upper bound was known on the size of…

We show that the $p$-part of the degree of an irreducible character of a symmetric group is completely determined by the set of vanishing elements of $p$-power order. As a corollary we deduce that the set of zeros of prime power order…

We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…

We extend the work of Kock (2007) and Bremner & Madariaga (2016) on commutativity in double interchange semigroups (DIS) to relations with 10 arguments. Our methods involve the free symmetric operad generated by two binary operations with…

In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method…