group
10258 papers tagged with this keyword
The sandpile group of a trinity and a canonical definition for the planar Bernardi action
Published in Combinatorica 42 (2022), suppl. 2, 1283--1316
• Search Publication
Baker and Wang define the so-called Bernardi action of the sandpile group of a ribbon graph on the set of its spanning trees. This potentially depends on a fixed vertex of the graph but it is independent of the base vertex if and only if the ribbon structure is planar, moreover, in this case the Bernardi action is compatible with planar duality. Earlier, Chan, Church and Grochow and Chan, Glass, Macauley, Perkinson, Werner and Yang proved analogous results about the rotor-routing action. Baker and Wang moreover showed that the Bernardi and rotor-routing actions coincide for plane graphs.
We clarify this still confounding picture by giving a canonical definition for the planar Bernardi/rotor-routing action, and also a canonical isomorphism between sandpile groups of planar dual graphs. Our canonical definition implies the compatibility with planar duality via an extremely short argument. We also show hidden symmetries of the problem by proving our results in the slightly more general setting of balanced plane digraphs.
Any balanced plane digraph gives rise to a trinity, i.e., a triangulation of the sphere with a three-coloring of the $0$-simplices. Our most important tool is a group associated to trinities, introduced by Cavenagh and Wanless, and a result of a subset of the authors characterizing the Bernardi bijection in terms of a dissection of a root polytope.
Preservation of normality by non-oblivious group selection
We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems.
Asymptotic normality of the major index on standard tableaux
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
$16$-vertex graphs with automorphism groups $A_{4}$ and $A_{5}$ from icosahedron
The article deals with the problem of finding vertex-minimal graphs with a given automorphism group. We exhibit two undirected $16$-vertex graphs having automorphism groups $A_{4}$ and $A_{5}$. It improves the Babai's bound for $A_{4}$ and the graphical regular representation bound for $A_{5}$. The graphs are constructed using projectivisation of the vertex-face graph of icosahedron.
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
Published in IEEE Transactions on Information Theory, volume 66, issue 12 (2020) pages 7739-7751
• View Publication
• BIB
We present new constructions for perfect and odd perfect sequences over the quaternion group $Q_8$. In particular, we show for the first time that perfect and odd perfect quaternion sequences exist in all lengths $2^t$ for $t\geq0$. In doing so we disprove the quaternionic form of Mow's conjecture that the longest perfect $Q_8$-sequence that can be constructed from an orthogonal array construction is of length 64. Furthermore, we use a connection to combinatorial design theory to prove the existence of a new infinite class of Williamson sequences, showing that Williamson sequences of length $2^t n$ exist for all $t\geq0$ when Williamson sequences of odd length $n$ exist. Our constructions explain the abundance of Williamson sequences in lengths that are multiples of a large power of two.
Skew product groups for monolithic groups
Skew morphisms, which generalise automorphisms for groups, provide a fundamental tool for the study of regular Cayley maps and, more generally, for finite groups with a complementary factorisation $G=BY$, where $Y$ is cyclic and core-free in $G$. In this paper, we classify all examples in which $B$ is monolithic (meaning that it has a unique minimal normal subgroup, and that subgroup is not abelian) and core-free in $G$. As a consequence, we obtain a classification of all proper skew morphisms of finite non-abelian simple groups.
A generalization of Steinberg theory and an exotic moment map
Published in International Mathematics Research Notices IMRN (2022), no. 1, 1-62
• Search Publication
For a reductive group $G$, Steinberg established a map from the Weyl group to the set of nilpotent $G$-orbits by using moment maps on double flag varieties. In particular, in the case of the general linear group, it provides a geometric interpretation of the Robinson-Schensted correspondence between permutations and pairs of standard tableaux of the same shape.
We extend Steinberg's approach to the case of a symmetric pair $(G,K)$ to obtain two different maps, namely a \emph{generalized Steinberg map} and an \emph{exotic moment map}.
Although the framework is general, in this paper we focus on the pair $(G,K) = (\mathrm{GL}_{2n}(\mathbb{C}), \mathrm{GL}_n(\mathbb{C}) \times \mathrm{GL}_n(\mathbb{C}))$. Then the generalized Steinberg map is a map from \emph{partial} permutations to the pairs of nilpotent orbits in $ \mathfrak{gl}_n(\mathbb{C}) $. It involves a generalization of the classical Robinson--Schensted correspondence to the case of partial permutations.
The other map, the exotic moment map, establishes a combinatorial map from the set of partial permutations to that of signed Young diagrams, i.e., the set of nilpotent $K$-orbits in the Cartan space $(\mathrm{Lie}(G)/\mathrm{Lie}(K))^* $.
We explain the geometric background of the theory and combinatorial algorithms which produce the above mentioned maps.
On Erdős-Ginzburg-Ziv inverse theorems for Dihedral and Dicyclic groups
Let $G$ be a finite group and exp$(G)$ = lcm$\{$ord$(g)$$\mid$$g \in G \}$. A finite unordered sequence of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. We denote by $\mathsf s (G)$ (or $\mathsf E (G)$ respectively) the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $\exp (G)$ (or $|G|$ respectively). In this paper, we provide the exact values of $\mathsf s (G)$ and $\mathsf E (G)$ for Dihedral and Dicyclic groups and we provide explicit characterizations of all sequences of length $\mathsf s (G) - 1$ (or $\mathsf E (G) - 1$ respectively) having no product-one subsequence of length $\exp (G)$ (or $|G|$ respectively).
Padded Schubert polynomials and weighted enumeration of Bruhat chains
Published in Proc. Amer. Math. Soc. 148 (2020), 3749-3759
• View Publication
• BIB
We prove a common generalization of the fact that the weighted number of maximal chains in the strong Bruhat order on the symmetric group is ${n \choose 2}!$ for both the code weights and the Chevalley weights. We also define weights which give a one-parameter family of strong order analogues of Macdonald's reduced word identity for Schubert polynomials.
On varieties defined by large sets of quadrics and their application to error-correcting codes
Let $U$ be a $({ k-1 \choose 2}-1)$-dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$. We will prove that if there is a group $G$ which fixes $U$ and no line of $\mathrm{PG}(k-1,{\mathbb F})$ and $V(U)$ spans $\mathrm{PG}(k-1,{\mathbb F})$ then any hyperplane of $\mathrm{PG}(k-1,{\mathbb F})$ is incident with at most $k$ points of $V(U)$. If ${\mathbb F}$ is a finite field then the linear code generated by the matrix whose columns are the points of $V(U)$ is a $k$-dimensional linear code of length $|V(U)|$ and minimum distance at least $|V(U)|-k$. A linear code with these parameters is an MDS code or an almost MDS code. We will construct examples of such subspaces $U$ and groups $G$, which include the normal rational curve, the elliptic curve, Glynn's arc from \cite{Glynn1986} and other examples found by computer search. We conjecture that the projection of $V(U)$ from any $k-4$ points is contained in the intersection of two quadrics, the common zeros of two linearly independent quadratic forms. This would be a strengthening of a classical theorem of Fano, which itself is an extension of a theorem of Castelnuovo, for which we include a proof using only linear algebra.
Strong minuscule elements in the finite Weyl groups
We introduce the notion of a strong minuscule element, and prove that the dominant integral weight associated to a strong minuscule element is the fundamental weight corresponding to a short simple root. In addition, we enumerate the strong minuscule elements explicitly, and then as an application of this enumeration, determine the dimension of certain Demazure modules in the finite-dimensional irreducible modules whose highest weights are minuscule weights.
Random generation with cycle type restrictions
Published
• View Publication
• BIB
We study random generation in the symmetric group when cycle type restrictions are imposed. Given $π, π' \in S_n$, we prove that $π$ and a random conjugate of $π'$ are likely to generate at least $A_n$ provided only that $π$ and $π'$ have not too many fixed points and not too many $2$-cycles. As an application, we investigate the following question: For which positive integers $m$ should we expect two random elements of order $m$ to generate $A_n$? Among other things, we give a positive answer for any $m$ having any divisor $d$ in the range $3 \leq d \leq o(n^{1/2})$.
The Lifting Properties of A-Homotopy Theory
In classical homotopy theory, two spaces are homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory that recognizes the difference between the vertices and edges of a graph was invented, called A-homotopy theory [1-5]. In classical homotopy theory, covering spaces and lifting properties are often used to compute the fundamental group of the circle. In this paper, we develop the lifting properties for A-homotopy theory. Using a covering graph and these lifting properties, we compute the fundamental group of the 5-cycle, giving an alternate approach to [4].
A survey of recent developments on Hessenberg varieties
This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.
Constructing cocyclic Hadamard matrices of order 4p
Cocyclic Hadamard matrices (CHMs) were introduced by de Launey and Horadam as a class of Hadamard matrices with interesting algebraic properties. Ó Catháin and Röder described a classification algorithm for CHMs of order $4n$ based on relative difference sets in groups of order $8n$; this led to the classification of all CHMs of order at most 36. Based on work of de Launey and Flannery, we describe a classification algorithm for CHMs of order $4p$ with $p$ a prime; we prove refined structure results and provide a classification for $p \leqslant 13$. Our analysis shows that every CHM of order $4p$ with $p\equiv 1\bmod 4$ is equivalent to a Hadamard matrix with one of five distinct block structures, including Williamson type and (transposed) Ito matrices. If $p\equiv 3 \bmod 4$, then every CHM of order $4p$ is equivalent to a Williamson type or (transposed) Ito matrix.
Group codes over fields are asymptotically good
Group codes are right or left ideals in a group algebra of a finite group over a finite field. Following ideas of Bazzi and Mitter on group codes over the binary field, we prove that group codes over finite fields of any characteristic are asymptotically good.
On the automorphism group of the Morse complex
Let $K$ be a finite, connected, abstract simplicial complex. The Morse complex of $K$, first introduced by Chari and Joswig, is the simplicial complex constructed from all gradient vector fields on $K$. We show that if $K$ is neither the boundary of the $n$-simplex nor a cycle, then $\mathrm{Aut}(\mathcal{M}(K))\cong \mathrm{Aut}(K)$. In the case where $K= C_n$, a cycle of length $n$, we show that $\mathrm{Aut}(\mathcal{M}(C_n))\cong \mathrm{Aut}(C_{2n})$. In the case where $K=\partialΔ^n$, we prove that $\mathrm{Aut}(\mathcal{M}(\partialΔ^n))\cong \mathrm{Aut}(\partialΔ^n)\times \mathbb{Z}_2$. These results are based on recent work of Capitelli and Minian.
Combinatorial encoding of continious dynamics, and transfer of the space of paths of the graded graphs
These notes follow my articles [1, 6], and give some new important details. We propose here a new combinatorial method of encoding of measure spaces with measure preserving transformations, (or groups of transformations) in order to give new, mostly locally finite geometrical models for investigation of dynamical properties of these objects.
Coxeter submodular functions and deformations of Coxeter permutahedra
We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.
Palindromic intervals in Bruhat order and hyperplane arrangements
An element $w$ of the Weyl group is called rationally smooth if the corresponding Schubert variety is rationally smooth. This happens exactly when the lower interval $[id,w]$ in the Bruhat order is palindromic. For each element $w$ of the Weyl group, we construct a certain hyperplane arrangement. After analyzing the palindromic intervals inside the maximal quotients, we use this result to show that the generating function for regions of the arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.