group
10258 papers tagged with this keyword
Groups whose locally maximal product-free sets are complete
Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000.
Optimal line packings from nonabelian groups
Published
• View Publication
• BIB
We use group schemes to construct optimal packings of lines through the origin. In this setting, optimal line packings are naturally characterized using representation theory, which in turn leads to a necessary integrality condition for the existence of equiangular central group frames. We conclude with an infinite family of optimal line packings using the group schemes associated with certain Suzuki 2-groups, specifically, extensions of Heisenberg groups. Notably, this is the first known infinite family of equiangular tight frames generated by representations of nonabelian groups.
Geometry of mutation classes of rank $3$ quivers
Published in Arnold Math. J. 5 (2019), 37-55
• View Publication
• BIB
We present a geometric realization for all mutation classes of quivers of rank $3$ with real weights. This realization is via linear reflection groups for acyclic mutation classes and via groups generated by $π$-rotations for the cyclic ones. The geometric behavior of the model turns out to be controlled by the Markov constant $p^2+q^2+r^2-pqr$, where $p,q,r$ are the elements of exchange matrix. We also classify skew-symmetric mutation-finite real $3\times 3$ matrices and explore the structure of acyclic representatives in finite and infinite mutation classes.
Structural characterization of Cayley graphs
We show that the directed labelled Cayley graphs coincide with the rooted deterministic vertex-transitive simple graphs. The Cayley graphs are also the strongly connected deterministic simple graphs of which all vertices have the same cycle language, or just the same elementary cycle language. Under the assumption of the axiom of choice, we characterize the Cayley graphs for all group subsets as the deterministic, co-deterministic, vertex-transitive simple graphs.
On involutions in Weyl groups
Published
• View Publication
• BIB
Let $(W,S)$ be a Coxeter system and $\ast$ be an automorphism of $W$ with order $\leq 2$ such that $s^{\ast}\in S$ for any $s\in S$. Let $I_{\ast}$ be the set of twisted involutions relative to $\ast$ in $W$. In this paper we consider the case when $\ast=\text{id}$ and study the braid $I_\ast$-transformations between the reduced $I_\ast$-expressions of involutions. If $W$ is the Weyl group of type $B_n$ or $D_n$, we explicitly describe a finite set of basic braid $I_\ast$-transformations for all $n$ simultaneously, and show that any two reduced $I_\ast$-expressions for a given involution can be transformed into each other through a series of basic braid $I_\ast$-transformations. In both cases, these basic braid $I_\ast$-transformations consist of the usual basic braid transformations plus some natural "right end transformations" and plus exactly one extra transformation. The main result generalizes our previous work for the Weyl group of type $A_{n}$.
Finite flag-transitive affine planes with a solvable automorphism group
Published
• View Publication
• BIB
In this paper, we consider finite flag-transitive affine planes with a solvable automorphism group. Under a mild number-theoretic condition involving the order and dimension of the plane, the translation complement must contain a linear cyclic subgroup that either is transitive or has two equal-sized orbits on the line at infinity. We develop a new approach to the study of such planes by associating them with planar functions and permutation polynomials in the odd order and even order case respectively. In the odd order case, we characterize the Kantor-Suetake family by using Menichetti's classification of generalized twisted fields and Blokhuis, Lavrauw and Ball's classifcation of rank two commutative semifields. In the even order case, we develop a technique to study permutation polynomials of DO type by quadratic forms and characterize such planes that have dimensions up to four over their kernels.
Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture
Published
• View Publication
• BIB
The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.
The Euclidean geometry of cardinal welfare functions
We exploit the standard inner product of Euclidean space to provide a new direction from which one can understand and analyze certain voting methods. Using this perspective along with the action of the symmetric and special orthogonal groups on the vector space of profiles, we extend some natural voting criteria to ballots of arbitrary composition type.
Strongly regular graphs from orthogonal groups $O^+(6,2)$ and $O^-(6,2)$
In this paper we construct all strongly regular graphs, with at most 600 vertices, admitting a transitive action of the orthogonal group $O^+(6,2)$ or $O^-(6,2)$. Consequently, we prove the existence of strongly regular graphs with parameters (216,40,4,8) and (540,187,58,68). We also construct a strongly regular graph with parameters (540,224,88,96) that was to the best of our knowledge previously unknown. Further, we show that under certain conditions an orbit matrix $M$ of a strongly regular graph $Γ$ can be used to define a new strongly regular graph $\widetildeΓ$, where the vertices of the graph $\widetildeΓ$ correspond to the orbits of $Γ$ (the rows of $M$). We show that some of the obtained graphs are related to each other in a way that one can be constructed from an orbit matrix of the other.
Cayley graphs with metric dimension two - A characterization
In this paper, we study the metric dimension of Cayley graphs. Specially, we present a complete characterization of Cayley graphs on Abelian groups whose metric dimension is two.
Spectral properties of the Cayley Graphs of split metacyclic groups
Let $Γ(G,S)$ denote the Cayley graph of a group $G$ with respect to a set $S \subset G$. In this paper, we analyze the spectral properties of the Cayley graphs $\mathcal{T}_{m,n,k} = Γ(\mathbb{Z}_m \ltimes_k \mathbb{Z}_n, \{(\pm 1,0),(0,\pm 1)\})$, where $m,n \geq 3$ and $k^m \equiv 1 \pmod{n}$. We show that the adjacency matrix of $\mathcal{T}_{m,n,k}$, upto relabeling, is a block circulant matrix, and we also obtain an explicit description of these blocks. By extending a result due to Walker-Mieghem to Hermitian matrices, we show that $\mathcal{T}_{m,n,k}$ is not Ramanujan, when either $m > 8$, or $n \geq 400$.
Affine Hecke algebras and quantum symmetric pairs
Published
• View Publication
• BIB
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n)$, and $\big({\mathbf U}(\hat{ \mathfrak{gl}}_n), {\mathbf K}^{\mathfrak c}_n)$ forms a quantum symmetric pair. The modified coideal subalgebra is shown to admit monomial and stably canonical bases. We also formulate several variants of the affine Schur algebra and the (modified) coideal subalgebra above, as well as their monomial and canonical bases. This work provides a new and algebraic approach which complements and sheds new light on our previous geometric approach on the subject. In the appendix by four of the authors, new length formulas for the Weyl groups of affine classical types are obtained in a symmetrized fashion.
Stability phenomena in the homology of tree braid groups
Published in Algebr. Geom. Topol. 18 (2018) 2305-2337
• View Publication
• BIB
For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := π_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and construct this polynomial explicitly in terms of invariants of the tree $G$. To accomplish this we prove that the group $\bigoplus_n H_i(B_nG)$ can be endowed with the structure of a finitely generated graded module over an integral polynomial ring, and further prove that it naturally decomposes as a direct sum of graded shifts of squarefree monomial ideals. Following this, we spend time considering how our methods might be generalized to braid groups of arbitrary graphs, and make various conjectures in this direction.
Enumeration of cubic Cayley graphs on dihedral groups
Published in Acta Mathematica Sinica, English Series, 2017, 33(7): 996-1010
• View Publication
• BIB
Let $p$ be an odd prime, and $D_{2p}=\langle a,b\mid a^p=b^2=1,bab=a^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we completely classify the cubic Cayley graphs on $D_{2p}$ up to isomorphism by means of spectral method. By the way, we show that two cubic Cayley graphs on $D_{2p}$ are isomorphic if and only if they are cospectral. Moreover, we obtain the number of isomorphic classes of cubic Cayley graphs on $D_{2p}$ by using Gauss' celebrated law of quadratic reciprocity.
On two-quotient strong starters for $\mathbb{F}_q$
Published in Utilitas Mathematica-2019
• Search Publication
Let $G$ be a finite additive abelian group of odd order $n$, and let $G^*=G\setminus\{0\}$ be the set of non-zero elements. A starter for $G$ is a set $S=\{\{x_i,y_i\}:i=1,\ldots,\frac{n-1}{2}\}$ such that $\{x_1,\ldots,x_\frac{n-1}{2},y_1,\ldots,y_\frac{n-1}{2}\}=G^*$ and $\{\pm(x_i-y_i):i=1,\ldots,\frac{n-1}{2}\}=G^*$. Moreover, if $\left|\left\{x_i+y_i:i=1,\ldots,\frac{n-1}{2}\right\}\right|=\frac{n-1}{2}$, then $S$ is called a strong starter for $G$. A starter $S$ for $G$ is a $k$ quotient starter if there exists $Q\subseteq G^*$ of cardinality $k$ such that $y_i/x_i\in Q$ or $x_i/y_i\in Q$, for $i=1,\ldots,\frac{n-1}{2}$. In this paper, we give examples of two-quotient strong starters for $\mathbb{F}_q$, where $q=2^kt+1$ is a prime power with $k>1$ a positive integer and $t$ an odd integer greater than 1.
Linked systems of symmetric group divisible designs
Published
• View Publication
• BIB
We introduce the concept of linked systems of symmetric group divisible designs. The connection with association schemes is established, and as a consequence we obtain an upper bound on the number of symmetric group divisible designs which are linked. Several examples of linked systems of symmetric group divisible designs are provided.
Automorphism groups of a class of cubic Cayley graphs on symmetric groups
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $Γ_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $Γ_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $Γ_n$ is equal to $\mathrm{Aut}(Γ_n)=R(S_n)\rtimes \langle\mathrm{Inn}(φ)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $φ=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(φ)$ is the inner isomorphism of $S_n$ induced by $φ$.
Asymptotics of Symmetry in Matroids
Published
• View Publication
• BIB
We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group.
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
Markov Chains from Descent Operators on Combinatorial Hopf Algebras
We develop a general theory for Markov chains whose transition probabilities are the coefficients of descent operators on combinatorial Hopf algebras. These model the breaking-then-recombining of combinational objects. Examples include the various card-shuffles of Diaconis, Fill and Pitman, Fulman's restriction-then-induction chains on the representations of the symmetric group, and a plethora of new chains on trees, partitions and permutations. The eigenvalues of these chains can be calculated in a uniform manner using Hopf algebra structure theory, and there is a simple expression for their stationary distributions. For an important subclass of chains analogous to the top-to-random shuffle, we derive a full right eigenbasis, from which follow exact expressions for expectations of certain statistics of interest. This greatly generalises the coproduct-then-product chains previously studied in joint work with Persi Diaconis and Arun Ram.