group
10258 papers tagged with this keyword
Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach
Published
• View Publication
• BIB
The symmetries of a finite graph are described by its automorphism group; in the setting of Woronowicz's quantum groups, a notion of a quantum automorphism group has been defined by Banica capturing the quantum symmetries of the graph. In general, there are more quantum symmetries than symmetries and it is a non-trivial task to determine when this is the case for a given graph: The question is whether or not the algebra associated to the quantum automorphism group is commutative. We use Gröbner base computations in order to tackle this problem; the implementation uses GAP and the SINGULAR package LETTERPLACE. We determine the existence of quantum symmetries for all connected, undirected graphs without multiple edges and without self-edges, for up to seven vertices. As an outcome, we infer within our regime that a classical automorphism group of order one or two is an obstruction for the existence of quantum symmetries.
Roots of Formal Power Series and New Theorems on Riordan Group Elements
Elements of the Riordan group $\cal R$ over a field $\mathbb F$ of characteristic zero are infinite lower triangular matrices which are defined in terms of pairs of formal power series. We wish to bring to the forefront, as a tool in the theory of Riordan groups, the use of multiplicative roots $a(x)^\frac{1}{n}$ of elements $a(x)$ in the ring of formal power series over $\mathbb F$ . Using roots, we give a Normal Form for non-constant formal power series, we prove a surprising simple Composition-Cancellation Theorem and apply this to show that, for a major class of Riordan elements (i.e., for non-constant $g(x)$ and appropriate $F(x)$), only one of the two basic conditions for checking that $\big(g(x), \, F(x)\big)$ has order $n$ in the group $\cal R$ actually needs to be checked. Using all this, our main result is to generalize C. Marshall [Congressus Numerantium, 229 (2017), 343-351] and prove: Given non-constant $g(x)$ satisfying necessary conditions, there exists a unique $F(x)$, given by an explicit formula, such that $\big(g(x), \, F(x)\big)$ is an involution in $\cal R$. Finally, as examples, we apply this theorem to ``aerated" series $h(x) = g(x^q),\ q\ \text{odd}$, to find the unique $K(x)$ such that $\big(h(x), K(x)\big)$ is an involution.
Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms
The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.
Factorization problems in complex reflection groups
Published in Canadian Journal of Mathematics 73 (2021), no. 4, 899--946
• View Publication
• BIB
We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions.
Alternating Catalan numbers and curves with triple ramification
Published
• View Publication
• BIB
It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g.
Linear independences of maps associated to partitions
Given a suitable collection of partitions of sets, there exists a connection to easy quantum groups via intertwiner maps. A sufficient condition for this correspondence to be one-to-one are particular linear independences on the level of those maps. In the case of non-crossing partitions, a proof of this linear independence can be traced back to a matrix determinant formula, developed by W. Tutte. We present a revised and adapted version of Tutte's work and the link to the problem above, believing that this self-contained article will assist others in the field of easy quantum groups. In particular, we fixed some errors in the original work and adapted notations, definitions, statements and proofs.
Weak Modularity and $\widetilde{A}_n$ Buildings
The $\widetilde{A}_n$ Coxeter groups are known to not be systolic or cocompactly cubulated for $n\geq 3$. We prove that these groups act geometrically on weakly modular graphs, a weak notion of nonpositive curvature generalizing the 1-skeleta of $\mathrm{CAT}(0)$ cube complexes and systolic complexes. To prove weak modularity we describe the canonical emeddings of the 1-skeleta of $\widetilde{A}_n$ Coxeter complexes into the Euclidean spaces $\mathbb{R}^{n+1}$. We also prove weak modularity for buildings of type $\widetilde{A}_3$.
Trivalent dihedrants and bi-dihedrants
Published
• View Publication
• BIB
A Cayley (resp. bi-Cayley) graph on a dihedral group is called a {\em dihedrant} (resp. {\em bi-dihedrant}). In 2000, a classification of trivalent arc-transitive dihedrants was given by Maru\v si\v c and Pisanski, and several years later, trivalent non-arc-transitive dihedrants of order $4p$ or $8p$ $(p$ a prime) were classified by Feng et al. As a generalization of these results, our first result presents a classification of trivalent non-arc-transitive dihedrants. Using this, a complete classification of trivalent vertex-transitive non-Cayley bi-dihedrants is given, thus completing the study of trivalent bi-dihedrants initiated in our previous paper [Discrete Math. 340 (2017) 1757--1772]. As a by-product, we generalize a theorem in [The Electronic Journal of Combinatorics 19 (2012) $\#$P53].
On PM-monoids and braid PM-monoids
In this paper, we shall introduce two monoids. One is called a PM-monoid which contains the symmetric group, the other is called a braid PM-monoid which contains the braid group. We shall develop the theory of PM-monoids and that of braid PM-monoids. The PM-monoids is obtained in the context of the compactification of projective linear group defined by Mutsumi Saito. The structure of PM-monoids is described in terms of matched pairs. We can define braid PM-monoid using a presentation for the PM-monoid. As main results, we show that braid PM-monoids are described by geometric braids and we find a solution to the word problem for the braid PM-monoids.
On edge-primitive graphs with soluble edge-stabilizers
Published
• View Publication
• BIB
A graph is edge-primitive if its automorphism group acts primitively on the edge set, and 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs. In this paper, we present a classification for those edge-primitive graphs which are 2-arc-transitive and have soluble edge-stabilizers.
A combinatorial study of affine Schubert varieties in affine Grassmannian
Published
• View Publication
• BIB
Let $\overline{\mathtt{X}}_λ$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_λ$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $λ$ is a coweight of $G$. We find a simple algorithm which describes the set $Ψ(λ)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_λ$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the coweight lattice. We also establish a duality between the set $Ψ(λ)$ and the weight system of the level one affine Demazure module $\hat{\mathscr{D}}_λ$ of $^L\tilde{\mathfrak{g}}$ indexed by $λ$, where $^L\tilde{\mathfrak{g}}$ is the affine Kac-Moody algebra dual to the affine Kac-Moody Lie algebra $\tilde{\mathfrak{g}}$ associated to the Lie algebra $\mathfrak{g}$ of $G$.
An overview on the bipartite divisor graph for the set of irreducible character degrees
Published
• View Publication
• BIB
Let $G$ be a finite group. The bipartite divisor graph for the set of irreducible complex character degrees is the undirected graph with vertex set consisting of the prime numbers dividing some character degree and of the non-identity character degrees, where a prime number $p$ is declared to be adjacent to a character degree $m$ if and only if $p$ divides $m$. This graph is bipartite and it encodes two of the most widely studied graphs associated to the character degrees of a finite group: the prime graph and the divisor graph on the set of irreducible character degrees.
The scope of this paper is two-fold. We draw some attention to the bipartite divisor graph for the set of irreducible complex character degrees by outlining the main results that have been proved so far. In this process we improve some of these results and we leave some open problems.
Random strict partitions and random shifted tableaux
Published in Sel. Math. New Ser. 26, 10 (2020)
• View Publication
• BIB
We study asymptotics of random shifted Young diagrams which correspond to a given sequence of reducible projective representations of the symmetric groups. We show limit results (Law of Large Numbers and Central Limit Theorem) for their shapes, provided that the representation character ratios and their cumulants converge to zero at some prescribed speed. Our class of examples includes uniformly random shifted standard tableaux with prescribed shape as well as shifted tableaux generated by some natural combinatorial algorithms (such as shifted Robinson-Schensted-Knuth correspondence) applied to a random input.
Group-theoretic generalisations of vertex and edge connectivities
Published
• View Publication
• BIB
Let $p$ be an odd prime. Let $P$ be a finite $p$-group of class $2$ and exponent $p$, whose commutator quotient $P/[P,P]$ is of order $p^n$. We define two parameters for $P$ related to central decompositions. The first parameter, $κ(P)$, is the smallest integer $s$ for the existence of a subgroup $S$ of $P$ satisfying (1) $S\cap [P,P]=[S,S]$, (2) $|S/[S,S]|=p^{n-s}$, and (3) $S$ admits a non-trivial central decomposition. The second parameter, $λ(P)$, is the smallest integer $s$ for the existence of a central subgroup $N$ of order $p^s$, such that $P/N$ admits a non-trivial central decomposition. While defined in purely group-theoretic terms, these two parameters generalise respectively the vertex and edge connectivities of graphs: For a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lovász (B. Braz. Math. Soc., 1989), there is a $p$-group of class $2$ and exponent $p$ $P_G$ that is naturally associated with $G$. Our main results show that the vertex connectivity $κ(G)$ is equal to $κ(P_G)$, and the edge connectivity $λ(G)$ is equal to $λ(P_G)$. We also discuss the relation between $κ(P)$ and $λ(P)$ for a general $p$-group $P$ of class $2$ and exponent $p$, as well as the computational aspects of these parameters.
On the coproduct in affine Schubert calculus
Published
• View Publication
• BIB
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.
Characterization of subgroup perfect codes in Cayley graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than $1$ to exactly one vertex of $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if $C$ is a perfect code in some Cayley graph of $G$. In this paper we give sufficient and necessary conditions for a subgroup $H$ of a finite group $G$ to be a perfect code of $G$. Based on this, we determine the finite groups that have no nontrivial subgroup as a perfect code, which answers a question by Ma, Walls, Wang and Zhou.
Crystals, semistandard tableaux and cyclic sieving phenomenon
In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and show the bicyclic sieving phenomenon given by $\mathsf{c}$ and $\mathsf{pr}^n$ for hook shape.
Asymptotic performance of metacyclic codes
Published
• View Publication
• BIB
A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form an asymptotically good family of codes. Our proof relies on a version of Artin's conjecture for primitive roots in arithmetic progression being true under the Generalized Riemann Hypothesis (GRH).
Associahedra for finite type cluster algebras and minimal relations between $\mathbf{g}$-vectors
Published in Proc. Lond. Math. Soc. 127(3):513-588, 2023
• View Publication
• BIB
We show that the mesh mutations are the minimal relations among the $\boldsymbol{g}$-vectors with respect to any initial seed in any finite type cluster algebra. We then use this algebraic result to derive geometric properties of the $\boldsymbol{g}$-vector fan: we show that the space of all its polytopal realizations is a simplicial cone, and we then observe that this property implies that all its realizations can be described as the intersection of a high dimensional positive orthant with well-chosen affine spaces. This sheds a new light on and extends earlier results of N. Arkani-Hamed, Y. Bai, S. He, and G. Yan in type $A$ and of V. Bazier-Matte, G. Douville, K. Mousavand, H. Thomas and E. Yildirim for acyclic initial seeds.
Moreover, we use a similar approach to study the space of polytopal realizations of the $\boldsymbol{g}$-vector fans of another generalization of the associahedron: non-kissing complexes (a.k.a. support $τ$-tilting complexes) of gentle algebras. We show that the space of realizations of the non-kissing fan is simplicial when the gentle bound quiver is brick and $2$-acyclic, and we describe in this case its facet-defining inequalities in terms of mesh mutations.
Along the way, we prove algebraic results on $2$-Calabi-Yau triangulated categories, and on extriangulated categories that are of independent interest. In particular, we prove, in those two setups, an analogue of a result of M. Auslander on minimal relations for Grothendieck groups of module categories.
Dyck Paths in Four-Dimensional Space
In analyzing balanced parentheses, we consider a group of related variables in Dyck paths. In the four-dimensional space, the Dyck triangle is constructed, i.e. an integer lattice with Dyck paths.