group
10405 papers tagged with this keyword
A note on matchings in abelian groups
The question of finding sets of monomials which are removable from a generic homogeneous polynomial through a linear change in its variables was raised by E. K. Wakeford in 1916. This linear algebra question motivated J. Losonczy to define the concept of acyclic matchings in Z n, and later in abelian groups. In this paper, we give a constructive approach to study the acyclic matchings in cyclic groups. We also introduce the notion of weakly matched subsets and investigate its relation with matchings in abelian groups.
Extended Weyl groups, Hurwitz transitivity and weighted projective lines I: Generalities and the tubular case
We start the systematic study of extended Weyl groups, and continue the combinatorial description of thick subcategories in hereditary categories started by Ingalls-Thomas, Igusa-Schiffler-Thomas and Krause. We show that for a weighted projective line $\mathbb{X}$ there exists an order preserving bijection between the thick subcategories of $\mathrm{coh}(\mathbb{X})$ generated by an exceptional sequence and a subposet of the interval poset of a Coxeter transformation $c$ in the Weyl group of a simply-laced extended root system if the Hurwitz action is transitive on the reduced reflection factorizations of $c$ that generate the Weyl group. By using combinatorial and group theoretical tools we show that this assumption on the transitivity of the Hurwitz action is fulfilled for a weighted projective line $\mathbb{X}$ of tubular type.
The action of a Coxeter element on an affine root system
Published
• View Publication
• BIB
The characterization of orbits of roots under the action of a Coxeter element is a fundamental tool in the study of finite root systems and their reflection groups. This paper develops the analogous tool in the affine setting, adding detail and uniformity to a result of Dlab and Ringel.
Generating Graphs with Symmetry
Published
• View Publication
• BIB
In the field of complex networks and graph theory, new results are typically tested on graphs generated by a variety of algorithms such as the Erdős-Rényi model or the Barabási-Albert model. Unfortunately, most graph generating algorithms do not typically create graphs with symmetries, which have been shown to have an important role on the network dynamics. Here, we present an algorithm to generate graphs with prescribed symmetries. The algorithm can also be used to generate graphs with a prescribed equitable partition but possibly without any symmetry. We also use our graph generator to examine the recently raised question about the relation between the orbits of the automorphism group and a graph's minimal equitable partition.
Cycles in the burnt pancake graphs
Published
• View Publication
• BIB
The pancake graph $P_n$ is the Cayley graph of the symmetric group $S_n$ on $n$ elements generated by prefix reversals. $P_n$ has been shown to have properties that makes it a useful network scheme for parallel processors. For example, it is $(n-1)$-regular, vertex-transitive, and one can embed cycles in it of length $\ell$ with $6\leq\ell\leq n!$. The burnt pancake graph $BP_n$, which is the Cayley graph of the group of signed permutations $B_n$ using prefix reversals as generators, has similar properties. Indeed, $BP_n$ is $n$-regular and vertex-transitive. In this paper, we show that $BP_n$ has every cycle of length $\ell$ with $8\leq\ell\leq 2^n n!$. The proof given is a constructive one that utilizes the recursive structure of $BP_n$. We also present a complete characterization of all the $8$-cycles in $BP_n$ for $n \geq 2$, which are the smallest cycles embeddable in $BP_n$, by presenting their canonical forms as products of the prefix reversal generators.
Fully commutative elements of the complex reflection groups
Published
• View Publication
• BIB
We extend the usual notion of fully commutative elements from the Coxeter groups to the complex reflection groups. Then we decompose the sets of fully commutative elements into natural subsets according to their combinatorial properties, and investigate the structure of these decompositions. As a consequence, we enumerate and describe the form of these elements in the complex reflection groups.
Automorphism groups of Steiner triple systems
Published
• View Publication
• BIB
If $G$ is a finite group then there is an integer $M_G$ such that$,$ for $u\ge M_G$ and $u\equiv 1$ or $3$ (mod 6), there is a Steiner triple system $U$ on $u$ points for which ${\rm Aut} U \cong G. \ $ If $V$ is a Steiner triple system then there is an integer $N_V$ such that$,$ for $u\ge N_V$ and $u\equiv 1$ or $3$ $($mod $6),$ there is a Steiner triple system $U$ on $u$ points having $V$ as an ${\rm Aut} U$-invariant subsystem such that ${\rm Aut} U\cong{\rm Aut} V $ and ${\rm Aut} U $ induces ${\rm Aut} V$ on $V$.
Artin Groups and Iwahori-Hecke algebras over finite fields
In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases.
We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.
The commuting complex of the symmetric group with bounded number of $p$-cycles
For a fixed prime $p$, we consider a filtration of the commuting complex of elements of order $p$ in the symmetric group $\mathfrak{S}_n$. The filtration is obtained by imposing successively relaxed bounds on the number of disjoint $p$-cycles in the cycle decomposition of the elements. We show that each term in the filtration becomes highly acyclic as $n$ increases. We use $\mathbf{FI}$-modules in the proof.
Cores of Cubelike Graphs
A graph is $\textit{cubelike}$ if it is a Cayley graph for some elementary abelian $2$-group $\mathbb{Z}_2^n$. The core of a graph is its smallest subgraph to which it admits a homomorphism. More than ten years ago, Nešetřil and Šámal (On tension-continuous mappings. $\textit{European J. Combin.,}$ 29(4):1025--1054, 2008) asked whether the core of a cubelike graph is cubelike, but since then very little progress has been made towards resolving the question. Here we investigate the structure of the core of a cubelike graph, deducing a variety of structural, spectral and group-theoretical properties that the core "inherits" from the host cubelike graph. These properties constrain the structure of the core quite severely --- even if the core of a cubelike graph is not actually cubelike, it must bear a very close resemblance to a cubelike graph. Moreover we prove the much stronger result that not only are these properties inherited by the core of a cubelike graph, but also by the orbital graphs of the core. Even though the core and its orbital graphs look very much like cubelike graphs, we are unable to show that this is sufficient to characterise cubelike graphs. However, our results are strong enough to eliminate all non-cubelike vertex-transitive graphs on up to $32$ vertices as potential cores of cubelike graphs (of any size). Thus, if one exists at all, a cubelike graph with a non-cubelike core has at least $128$ vertices and its core has at least $64$ vertices.
On the number of real classes in the finite projective linear and unitary groups
Published
• View Publication
• BIB
We show that for any $n$ and $q$, the number of real conjugacy classes in $\mathrm{PGL}(n, \mathbb{F}_q)$ is equal to the number of real conjugacy classes of $\mathrm{GL}(n, \mathbb{F}_q)$ which are contained in $\mathrm{SL}(n, \mathbb{F}_q)$, refining a result of Lehrer, and extending the result of Gill and Singh that this holds when $n$ is odd or $q$ is even. Further, we show that this quantity is equal to the number of real conjugacy classes in $\mathrm{PGU}(n, \mathbb{F}_q)$, and equal to the number of real conjugacy classes of $\mathrm{U}(n, \mathbb{F}_q)$ which are contained in $\mathrm{SU}(n, \mathbb{F}_q)$, refining results of Gow and Macdonald. We also give a generating function for this common quantity.
Degenerate Schubert Varieties in Type A
We introduce rectangular elements in the symmetric group. In the framework of PBW degenerations, we show that in type A the degenerate Schubert variety associated to a rectangular element is indeed a Schubert variety in a partial flag variety of the same type with larger rank. Moreover, the degenerate Demazure module associated to a rectangular element is isomorphic to the Demazure module for this particular Schubert variety of larger rank. This generalizes previous results by Cerulli Irelli, Lanini and Littelmann for the PBW degenerate flag variety.
Notes On Group Distance Magicness of Product Graphs
Published in Contributions to Discrete Mathematics, 16(1), 2021
• View Publication
• BIB
In this paper, we provide few results on the group distance magic labeling of lexicographic product and direct product of two graphs. We also prove some necessary conditions for a graph to be group distance magic and provide a characterization for a tree to be group distance magic.
An inversion metric for reduced words
Published
• View Publication
• BIB
We study the graph on reduced words with edges given by the Coxeter relations for the symmetric group. We define a metric on reduced words for a given permutation, analogous to Coxeter length for permutations, for which the graph becomes ranked with unique maximal element. We show this metric extends naturally to balanced tableaux, and use it to recover enumerative results of Edelman and Greene and of Reiner and Roichman.
Distinguishing Numbers and Generalizations
The distinguishing number of a graph was introduced by Albertson and Collins as a measure of the amount of symmetry contained in the graph. Tymoczko extended this definition to faithful group actions on sets; taking the set to be the vertex set of a graph and the group to be the automorphism group of the graph allows one to recover the previous definition. Since then, several authors have studied properties of the distinguishing number as well as extensions of the notion. In this paper, we first answer a few open questions regarding the distinguishing number. Next we turn to generalizations regarding the labeling of Cartesian powers of a set and the different subgroups that can be obtained through labelings. We then introduce a new partially ordered set on partitions that follows naturally from extending the theory of distinguishing numbers to that of distinguishing partitions. Then we investigate the groups obtainable from partitioning Cartesian powers of a set in more detail and show how the original notion of the distinguishing number of a graph can be recovered in this way. Next, we introduce a polynomial and a symmetric function generalization of the distinguishing number. Finally, we present a large number of open questions and problems for further research.
The second eigenvalue of some normal Cayley graphs of high transitive groups
Published
• View Publication
• BIB
Let $Γ$ be a finite group acting transitively on $[n]=\{1,2,\ldots,n\}$, and let $G=\mathrm{Cay}(Γ,T)$ be a Cayley graph of $Γ$. The graph $G$ is called normal if $T$ is closed under conjugation. In this paper, we obtain an upper bound for the second (largest) eigenvalue of the adjacency matrix of the graph $G$ in terms of the second eigenvalues of certain subgraphs of $G$ (see Theorem 2.6). Using this result, we develop a recursive method to determine the second eigenvalues of certain Cayley graphs of $S_n$ and we determine the second eigenvalues of a majority of the connected normal Cayley graphs (and some of their subgraphs) of $S_n$ with $\max_{τ\in T}|\mathrm{supp}(τ)|\leq 5$, where $\mathrm{supp}(τ)$ is the set of points in $[n]$ non-fixed by $τ$.
Root systems in number fields
Published
• View Publication
• BIB
We classify the types of root systems $R$ in the rings of integers of number fields $K$ such that the Weyl group $W(R)$ lies in the group $\mathcal L(K)$ generated by ${\rm Aut} (K)$ and multiplications by the elements of $K^*$. We also classify the Weyl groups of roots systems of rank $n$ which are isomorphic to a subgroup of $\mathcal L(K)$ for a number field $K$ of degree $n$ over $\mathbb Q$.
Hurwitz Transitivity of Longer Reflection Factorizations in G4 and G5
We prove that the Hurwitz action on reflection factorizations of Coxeter elements is transitive up to certain natural constraints in the complex reflection groups G4 and G5. This affirms a more general conjecture by Lewis and Reiner in these specific cases. The proof uses induction on length of the factorization using the fact that the square of a reflection is also a reflection.
On local matching property in groups and vector space
In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of local matching property for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra.
Spectra of Cayley graphs
Published in Algebra and Logic, 58:4 (2019), 297--305
• View Publication
• BIB
Let $G$ be a group and $S\subseteq G$ its subset such that $S=S^{-1}$, where $S^{-1}=\{s^{-1}\mid s\in S\}$. Then {\it the Cayley graph ${\rm Cay}(G,S)$} is an undirected graph $Γ$ with the vertex set $V(Γ)=G$ and the edge set $E(Γ)=\{(g,gs)\mid g\in G, s\in S\}$. A graph $Γ$ is said to be {\it integral} if every eigenvalue of the adjacency matrix of $Γ$ is integer. In the paper, we prove the following theorem: {\it if a subset $S=S^{-1}$ of $G$ is normal and $s\in S\Rightarrow s^k\in S$ for every $k\in \mathbb{Z}$ such that $(k,|s|)=1$, then ${\rm Cay}(G,S)$ is integral.} In particular, {\it if $S\subseteq G$ is a normal set of involutions, then ${\rm Cay}(G,S)$ is integral.} We also use the theorem to prove that {\it if $G=A_n$ and $S=\{(12i)^{\pm1}\mid i=3,\dots,n\}$, then ${\rm Cay}(G,S)$ is integral.} Thus, we give positive solutions for both problems 19.50(a) and 19.50(b) in "Kourovka Notebook".