group
10405 papers tagged with this keyword
On semilinear sets and asymptotically approximate groups
Let $G$ be any group and $A$ be an arbitrary subset of $G$ (not necessarily symmetric and not necessarily containing the identity). The $h$-fold product set of $A$ is defined as $$A^{h} :=\lbrace a_{1}.a_{2}...a_{h} : a_{1},\ldots,a_n \in A \rbrace.$$ Nathanson considered the concept of an asymptotic approximate group. Let $r,l \in \mathbb{N}$. The set $A$ is said to be an $(r,l)$ approximate group in $G$ if there exists a subset $X$ in $G$ such that $|X|\leqslant l$ and $A^{r}\subseteq XA$. The set $A$ is an asymptotic $(r,l)$-approximate group if the product set $A^{h}$ is an $(r,l)$-approximate group for all sufficiently large $h$. Recently, Nathanson showed that every finite subset $A$ of an abelian group is an asymptotic $(r,l')$ approximate group (with the constant $l'$ explicitly depending on $r$ and $A$). We generalise the result and show that, in an arbitrary abelian group $G$, the union of $k$ (unbounded) generalised arithmetic progressions is an asymptotic $(r,(4rk)^k)$-approximate group.
Prescribing Symmetries and Automorphisms for Polytopes
We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $Γ$. These symmetry-breaking results then are applied to show that for every abelian group $Γ$ of even order and every involution $σ$ of $Γ$, there is a centrally symmetric convex polytope with geometric symmetry group $Γ$ such that $σ$ corresponds to the central symmetry.
Surface Words are Determined by Word Measures on Groups
Published in Israel Journal of Mathematics 241, 749--774, 2021
• View Publication
• BIB
Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator $\left[g,h\right]$ of two independent, Haar-random elements of $G$. Back in 1896, Frobenius showed that if $G$ is a finite group and $ψ$ an irreducible character, then the expected value of $ψ\left(\left[g,h\right]\right)$ is $\frac{1}{ψ\left(e\right)}$. This is true for any compact group, and completely determines the $\left[x,y\right]$-measure on these groups. An analogous result holds with the commutator word replaced by any surface word.
We prove a converse to this theorem: if $w$ induces the same measure as $\left[x,y\right]$ on every compact group, then, up to an automorphism of the free group, $w$ is equal to $\left[x,y\right]$. The same holds when $\left[x,y\right]$ is replaced by any surface word.
The proof relies on the analysis of word measures on unitary groups and on orthogonal groups, which appears in separate papers, and on new analysis of word measures on generalized symmetric groups that we develop here.
Topological dynamics of Polish group extensions
We consider a short exact sequence $1\to H\to G\to K\to 1$ of Polish groups and consider what can be deduced about the dynamics of $G$ given information about the dynamics of $H$ and $K$. We prove that if the respective universal minimal flows $M(H)$ and $M(K)$ are metrizable, then so is $M(G)$. Furthermore, we show that if $M(H)$ and $M(K)$ are metrizable and both $H$ and $K$ are uniquely ergodic, then so is $G$. We then discuss several examples of these phenomena
Unique ergodicity of the automorphism group of the semigeneric directed graph
We prove that the automorphism group of the semigeneric directed graph (in the sense of Cherlin's classification) is uniquely ergodic.
A Sundaram type bijection for $\mathrm{SO}(2k+1)$: vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau
We present a bijection between vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau for the special orthogonal group $\mathrm{SO}(2k+1)$. This bijection is motivated by the direct-sum-decomposition of the $r$th tensor power of the defining representation of $\mathrm{SO}(2k+1)$. To formulate it, we use Kwon's orthogonal Littlewood-Richardson tableaux and introduce new alternative tableaux they are in bijection with. Moreover we use a suitably defined descent set for vacillating tableaux to determine the quasi-symmetric expansion of the Frobenius characters of the isotypic components.
All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubička and Nešetřil and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubička and J. Nešetřil: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property.
Our results have numerous applications, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction.
Embedding onto Wheel-like Networks
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper we compute the lower bound for dilation and congestion of embedding onto wheel-like networks. Further, we compute the exact dilation of embedding wheel-like networks into hypertrees, proving that the lower bound obtained is sharp. Again, we compute the exact congestion of embedding windmill graphs into circulant graphs, proving that the lower bound obtained is sharp. Further, we compute the exact wirelength of embedding wheels and fans into 1,2-fault hamiltonian graphs. Using this we estimate the exact wirelength of embedding wheels and fans into circulant graphs, generalized Petersen graphs, augmented cubes, crossed cubes, Möbius cubes, twisted cubes, twisted $n$-cubes, locally twisted cubes, generalized twisted cubes, odd-dimensional cube connected cycle, hierarchical cubic networks, alternating group graphs, arrangement graphs, 3-regular planer hamiltonian graphs, star graphs, generalised matching networks, fully connected cubic networks, tori and 1-fault traceable graphs.
On expander Cayley graphs from Galois rings
In this paper, we study new Cayley graphs over the additive group of Galois rings. First we prove that they are expander graphs by using a Weil-Carlitz-Uchiyama type estimation of character sums for Galois rings. We also show that Cayley graphs from Galois rings of characteristic 4 form a new infinite family of Ramanujan graphs by an elementary eigenvalue estimation. Moreover some other spectral properties of our graphs are also discussed.
An Euler phi function for the Eisenstein integers and some applications
Published in Electronic Journal of Combinatorial Number Theory, 20, Paper No. A20 (2020), 28pp
• Search Publication
The Euler phi function on a given integer $n$ yields the number of positive integers less than $n$ that are relatively prime to $n$. Equivalently, it gives the order of the group of units in the quotient ring $\mathbb{Z}/(n)$. We generalize the Euler phi function to the Eisenstein integer ring $\mathbb{Z}[ρ]$ where $ρ$ is the primitive third root of unity $e^{2πi/3}$ by finding the order of the group of units in the ring $\mathbb{Z}[ρ]/(θ)$ for any given Eisenstein integer $θ$. As one application we investigate a sufficiency criterion for when certain unit groups $\left(\mathbb{Z}[ρ]/(γ^n)\right)^\times$ are cyclic where $γ$ is prime in $\mathbb{Z}[ρ]$ and $n \in \mathbb{N}$, thereby generalizing well-known results of similar applications in the integers and some lesser known results in the Gaussian integers. As another application, we prove that the celebrated Euler-Fermat theorem holds for the Eisenstein integers.
On divisibility by primes in columns of character tables of symmetric groups
For an arbitrary prime $p$ we prove that the proportion of entries divisible by $p$ in certain columns of the character table of the symmetric group $S_n$ tends to 1 as $n\to\infty$. This is done by finding lower bounds on the number of $k$-cores, for $k$ large enough with respect to $n$.
Comments on "Discrete Groups, Expanding Graphs and Invariant Measures", by Alexander Lubotzky
This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation to this book, which are however not necessary for its understanding. The aim of this document, which is not quite complete in that respect, is to provide, together with Lubotzky's book, a self-contained read.
Lattices from tight frames and vertex transitive graphs
We show that real tight frames that generate lattices must be rational, and use this observation to describe a construction of lattices from vertex transitive graphs. In the case of irreducible group frames, we show that the corresponding lattice is always strongly eutactic. This is the case for the more restrictive class of distance transitive graphs. We show that such lattices exist in arbitrarily large dimensions and demonstrate examples arising from some notable families of graphs. In particular, some well-known root lattices and those related to them can be recovered this way. We discuss various properties of this construction and also mention some potential applications of lattices generated by incoherent systems of vectors.
Mutation-finite quivers with real weights
We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrizable matrix has a geometric realization by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.
The exact phase diagram for a semipermeable TASEP with nonlocal boundary jumps
Published in J. Phys. A: Math. Theor. 52 (2019) 355001 (19pp)
• View Publication
• BIB
We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site, move rightwards, and leave from either the last or penultimate site. Conversely, particles of species $\bar{1}$ enter from the right reservoir into either the last or penultimate site, move leftwards, and leave from either the first or last site. This dynamics is motivated by a natural random walk on the Weyl group of type D. We compute the exact nonequilibrium steady state distribution using a matrix ansatz building on earlier work of Arita. We then give explicit formulas for the nonequilibrium partition function as well as densities and currents of all species in the steady state, and derive the phase diagram.
Consecutive patterns in restricted permutations and involutions
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Combinatorics (June 5, 2019) dmtcs:5175
• View Publication
• BIB
It is well-known that the set $\mathbf I_n$ of involutions of the symmetric group $\mathbf S_n$ corresponds bijectively - by the Foata map $F$ - to the set of $n$-permutations that avoid the two vincular patterns $\underline{123},$ $\underline{132}.$ We consider a bijection $Γ$ from the set $\mathbf S_n$ to the set of histoires de Laguerre, namely, bicolored Motzkin paths with labelled steps, and study its properties when restricted to $\mathbf S_n(1\underline{23},1\underline{32}).$ In particular, we show that the set $\mathbf S_n(\underline{123},{132})$ of permutations that avoids the consecutive pattern $\underline{123}$ and the classical pattern $132$ corresponds via $Γ$ to the set of Motzkin paths, while its image under $F$ is the set of restricted involutions $\mathbf I_n(3412).$ We exploit these results to determine the joint distribution of the statistics des and inv over
$\mathbf S_n(\underline{123},{132})$ and over $\mathbf I_n(3412).$
Moreover, we determine the distribution in these two sets of every consecutive pattern of length three. To this aim, we use a modified version of the well-known Goulden-Jacson cluster method.
Splitting groups with cubic Cayley graphs of connectivity two
Published in Algebr. Comb,(4)6,971--987, 2021
• View Publication
• BIB
A group $G$ splits over a subgroup $C$ if $G$ is either a free product with amalgamation $A \underset{C}{\ast} B$ or an HNN-extension $G=A \underset{C}{\ast} (t)$. We invoke Bass-Serre theory and classify all infinite groups which admit cubic Cayley graphs of connectivity two in terms of splittings over a subgroup.
Generic Newton points and the Newton poset in Iwahori double cosets
We consider the Newton stratification on Iwahori double cosets in the loop group of a reductive group. We describe a group-theoretic condition on the generic Newton point, called cordiality, under which the Newton poset (i.e. the index set for non-empty Newton strata) is saturated and Grothendieck's conjecture on closures of the Newton strata holds. Finally, we give several large classes of Iwahori double cosets for which this condition is satisfied by studying certain paths in the associated quantum Bruhat graph.
Flip cycles in plabic graphs
Published in Sel. Math. New Ser. 26, 15 (2020)
• View Publication
• BIB
Planar bicolored (plabic) graphs are combinatorial objects introduced by Postnikov to give parameterizations of the positroid cells of the totally nonnegative Grassmannian $\text{Gr}^{\geq 0}(n,k)$. Any two plabic graphs for the same positroid cell can be related by a sequence of certain moves. The flip graph has plabic graphs as vertices and has edges connecting the plabic graphs which are related by a single move. A recent result of Galashin shows that plabic graphs can be seen as cross-sections of zonotopal tilings for the cyclic zonotope $Z(n,3)$. Taking this perspective, we show that the fundamental group of the flip graph is generated by cycles of length 4, 5, and 10, and use this result to prove a related conjecture of Dylan Thurston about triple crossing diagrams. We also apply our result to make progress on an instance of the generalized Baues problem.
Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds
We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we thus obtain the first non-abelian versions of such theorems. We derive these results from a general structure theorem for cubic couplings, thereby unifying these results with the Host-Kra Ergodic Structure Theorem. A unification of this kind had been propounded as a conceptual prospect by Host and Kra. Our work also provides new results on nilspaces. In particular, we obtain a new stability result for nilspace morphisms. We also strengthen a result of Gutman, Manners and Varjú, by proving that a $k$-step compact nilspace of finite rank is a toral nilspace (in particular, a connected nilmanifold) if and only if its $k$-dimensional cube set is connected. We also prove that if a morphism from a cyclic group of prime order into a compact finite-rank nilspace is sufficiently balanced (i.e. equidistributed in a certain quantitative and multidimensional sense), then the nilspace is toral. As an application of this, we obtain a new proof of a refinement of the Green-Tao-Ziegler inverse theorem.