# Group Theory (math.GR)

• We show that loop groups and the universal cover of $\mathrm{Diff}_+(S^1)$ can be expressed as colimits of groups of loops/diffeomorphisms supported in subintervals of $S^1$. Analogous results hold for based loop groups and for the based diffeomorphism group of $S^1$. These results continue to hold for the corresponding centrally extended groups. We use the above results to construct a comparison functor from the representations of a loop group conformal net to the representations of the corresponding affine Lie algebra. We also establish an equivalence of categories between solitonic representations of the loop group conformal net, and locally normal representations of the based loop group.
• Jun 27 2017 math.GR cs.FL arXiv:1706.08429v1
We introduce and study cellular automata whose cell spaces are left-homogeneous spaces. Examples of left-homogeneous spaces are spheres, Euclidean spaces, as well as hyperbolic spaces acted on by isometries; uniform tilings acted on by symmetries; vertex-transitive graphs, in particular, Cayley graphs, acted on by automorphisms; groups acting on themselves by multiplication; and integer lattices acted on by translations. For such automata and spaces, we prove, in particular, generalisations of topological and uniform variants of the Curtis-Hedlund-Lyndon theorem, of the Tarski-Følner theorem, and of the Garden-of-Eden theorem on the full shift and certain subshifts. Moreover, we introduce signal machines that can handle accumulations of events and using such machines we present a time-optimal quasi-solution of the firing mob synchronisation problem on finite and connected graphs.
• Given a finite group $G$, the invariably generating graph of $G$ is defined as the undirected graph in which the vertices are the nontrivial conjugacy classes of $G$, and two classes are connected if and only if they invariably generate $G$. In this paper we study this object for alternating and symmetric groups. First we observe that in most cases it has isolated vertices. Then, we prove that if we take them out we obtain a connected graph. Finally, we bound the diameter of this new graph from above and from below --- apart from trivial cases, it is between $3$ and $6$ ---, and in about half of the cases we compute it exactly.
• Artin-Tits groups act on a certain delta-hyperbolic complex, called the "additional length complex". For an element of the group, acting loxodromically on this complex is a property analogous to the property of being pseudo-Anosov for elements of mapping class groups. By analogy with a well-known conjecture about mapping class groups, we conjecture that "most" elements of Artin-Tits groups act loxodromically. More precisely, in the Cayley graph of a subgroup $G$ of an Artin-Tits group, the proportion of loxodromically acting elements in a ball of large radius should tend to one as the radius tends to infinity. In this paper, we give a condition guaranteeing that this proportion stays away from zero. This condition is satisfied e.g. for Artin-Tits groups of spherical type, their pure subgroups and some of their commutator subgroups.
• In this paper we construct a new "pro-p-complete" topological Kac-Moody group and compare it to various known topological Kac-Moody groups. We come across this group by investigating the process of completion of groups with BN-pairs. We would like to know whether the completion of such a group admits a BN-pair. We give explicit criteria for this to happen.
• We determine the structure of automorphism group or each nonsplit metacyclic 2-group. This completes the work on automorphism groups of metacyclic $p$-groups.
• Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $\beta(G)$ denote the largest indispensable degree in such generating sets. In this paper, for various explicit values of $\epsilon > 0$, we establish upper bounds for $\beta(G)$ of the form $|C|^{\epsilon}{|G|}^{1-\epsilon}$ where $C$ denotes a characteristic cyclic subgroup in $G$ of largest possible size. For the proof we establish bounds for finite simple groups and for small affine groups.
• We study fibers of word maps in finite, profinite, and residually finite groups. Our main result is that, for any word w in the free group on d generators, there exists $\epsilon > 0$ such that if G is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map $w\colon G^d \to G$ have Hausdorff dimension at most $d-\epsilon$. We conclude that the profinite completion of a group G as above satisfies no probabilistic identity. It is therefore randomly free; namely, for any d > 0, the probability that d randomly chosen elements freely generate a free subgroup of G is 1. This solves an open problem of Dixon, Pyber, Seress, and Shalev. Additional applications and related results are also established. For example, combining our results with recent results of Bors, we conclude that a profinite group in which the set of elements of finite odd order has positive measure has an open prosolvable subgroup. This may be regarded as a probabilistic version of the Feit-Thompson theorem.
• A regular ordered semigroup $S$ is called right inverse if every principal left ideal of $S$ is generated by an $\mathcal{R}$-unique ordered idempotent. Here we explore the theory of right inverse ordered semigroups. We show that a regular ordered semigroup is right inverse if and only if any two right inverses of an element $a\in S$ are $\mathcal{R}$-related. Furthermore, different characterizations of right Clifford, right group-like, group like ordered semigroups are done by right inverse ordered semigroups. Thus a foundation of right inverse semigroups has been developed.
• Jun 27 2017 math.GR arXiv:1706.08213v1
An element e of an ordered semigroup $(S,\cdot,\leq)$ is called an ordered idempotent if $e\leq e^2$. We call an ordered semigroup $S$ idempotent ordered semigroup if every element of $S$ is an ordered idempotent. Every idempotent semigroup is a complete semilattice of rectangular idempotent semigroups and in this way we arrive to many other important classes of idempotent ordered semigroups.
• In the paper we introduce a new family of "small" sets which is tightly connected with two well known $\sigma$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of an topological group $X$ to be $Haar$-$finite$ if there exists an infinite compact subset $K\subset X$ such that for every $x\in X$ the intersection $K\cap (x+A)$ is finite. We prove that each Borel Haar-finite set in a complete metric group is Haar-null and Haar-meager. Next we apply Haar-finite sets to give a short proof of Bernstein-Doetsch theorem in linear metric spaces and also to resolve an old problem in the theory of functional equations and inequalities posed by Baron and Ger in 1983. Namely, we prove that a Jensen convex function $f:X\to\mathbb R$ on a complete linear metric space $X$ is continuous if it is upper bounded on a subset which is not Haar-finite. Consequently, a Jensen convex function $f:X\to\mathbb R$ on a complete linear metric space $X$ is continuous if it is upper bounded on a Borel subset which is not Haar-null or not Haar-meager in $X$.
• We show that the (2,4,5) triangle Coxeter group is not systolic.
• Jun 27 2017 math.GR arXiv:1706.07970v1
We complete the classification up to conjugacy of all subgroups of $E_6(2)$ isomorphic to $L_2(8)$, $L_3(2)$ or $2^3.L_3(2)$. In particular, we prove that $E_6(2)$ is not a Hurwitz group.
• This is an old article of 2000. Its aim is to illustrate how a Lie-theoretic result of Zelmanov enables one to treat various problems in group theory.
• We generalise the notion of a separating intersection of links (SIL) to give necessary and sufficient criteria on the defining graph $\Gamma$ of a right-angled Coxeter group $W_\Gamma$ so that its outer automorphism group is large: that is, it contains a finite index subgroup that admits the free group $F_2$ as a quotient. When $Out(W_\Gamma)$ is not large, we show it is virtually abelian. We also show that the same dichotomy holds for the outer automorphism groups of graph products of finite abelian groups. As a consequence, these groups have property (T) if and only if they are finite, or equivalently $\Gamma$ contains no SIL.
• This article computes the number of fuzzy subgroups of symmetric group $S_{5 }$ . First, an equivalence relation on the set of all fuzzy subgroups of a group G is defined.Without any equivalence relation on fuzzy subgroups of group G, the number of fuzzy subgroups is infinite, even for the trivial group.\{The\emph Inclusion-Exclusion principle is used to determine the number of distinct fuzzy subgroups of \textbf symmetric group $S_{5}$ . Some inequalities satisfied by this number are also established for $n \geq 5$
• If matrices almost satisfying a group relation are close to matrices exactly satisfying the relation, then we say that a group is matricially stable. Here "almost" and "close" are in terms of the Hilbert-Schmidt norm. Using tracial 2-norm on $II_1$-factors we similarly define $II_1$-factor stability for groups. Our main result is that all 1-relator groups with non-trivial center are $II_{1}$-factor stable. Many of them are also matricially stable and RFD. For amenable groups we give a complete characterization of matricial stability in terms of the following approximation property for characters: each character must be a pointwise limit of traces of finite-dimensional representations. This allows us to prove matricial stability for the discrete Heisenberg group $\mathbb H_3$ and for all virtually abelian groups. For non-amenable groups the same approximation property is a necessary condition for being matricially stable. We study this approximation property and show that RF groups with character rigidity have it.

Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

...(continued)