group
10258 papers tagged with this keyword
The classification of local m-GCI-group on finite nonabelian simple groups
Li and Praeger classified finite nonabelian simple groups, it has only one or two fusion classes of any certain value. As a by-product, they classified m-CI-groups, which is critical in the research of Cayley graphs. In the paper, we will consider generalized Cayley graphs. This concept is proposed by Marusic et al. In the paper, (local) m- GCI-group is defined, and we get many properties and characterizations based on the generalized Cayley isomorphism, which are the key measures for the classification of (local) m-GCI-group. And above all, we will give a classification of local 2-GCI-groups and 2-GCI-groups for finite nonabelian simple groups.
Some combinatorial aspects of generalised Bott-Samelson varieties
We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties.
Determinantal probability measures on Grassmannians
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 9 (2022), no. 4, pp. 659-732
• View Publication
• BIB
We introduce and study a class of determinantal probability measures generalising the class of discrete determinantal point processes. These measures live on the Grassmannian of a real, complex, or quaternionic inner product space that is split into pairwise orthogonal finite-dimensional subspaces. They are determined by a positive self-adjoint contraction of the inner product space, in a way that is equivariant under the action of the group of isometries that preserve the splitting.
Cayley Graphs on Billiard Surfaces, and Their Genus
Published in Involve 18 (2025) 567-582
• View Publication
• BIB
In this article we discuss a connection between two famous constructions in mathematics: a Cayley graph of a group and a (rational) billiard surface. For each rational billiard surface, there is a natural way to draw a Cayley graph of a dihedral group on that surface. Both of these objects have the concept of "genus" attached to them. For the Cayley graph, the genus is defined to be the lowest genus amongst all surfaces that the graph can be drawn on without edge crossings. We prove that the genus of the Cayley graph associated to a billiard surface arising from a triangular billiard table is always zero or one. One reason this is interesting is that there exist triangular billiard surfaces of arbitrarily high genus , so the genus of the associated graph is usually much lower than the genus of the billiard surface.
Exponents of Jacobians of Graphs and Regular Matroids
Let $G$ be a finite undirected multigraph with no self-loops. The Jacobian $\operatorname{Jac}(G)$ is a finite abelian group associated with $G$ whose cardinality is equal to the number of spanning trees of $G$. There are only a finite number of biconnected graphs $G$ such that the exponent of $\operatorname{Jac}(G)$ equals $2$ or $3$. The definition of a Jacobian can also be extended to regular matroids as a generalization of graphs. We prove that there are finitely many connected regular matroids $M$ such that $\operatorname{Jac}(M)$ has exponent $2$ and characterize all such matroids.
On the automorphism groups of graphs with twice prime valency
Published
• View Publication
• BIB
A graph is edge-transitive if its automorphism group acts transitively on the edge set. In this paper, we investigate the automorphism groups of edge-transitive graphs of odd order and twice prime valency. Let $Γ$ be a connected graph of odd order and twice prime valency, and let $G$ be a subgroup of the automorphism group of $\Ga$. In the case where $G$ acts transitively on the edges and quasiprimitively on the vertices of $\Ga$, we prove that either $G$ is almost simple or $G$ is a primitive group of affine type. If further $G$ is an almost simple primitive group then, with two exceptions, the socle of $G$ acts transitively on the edges of $Γ$.
Tree automata and pigeonhole classes of matroids: I
Published
• View Publication
• BIB
Hlineny's Theorem shows that any sentence in the monadic second-order logic of matroids can be tested in polynomial time, when the input is limited to a class of F-representable matroids with bounded branch-width (where F is a finite field). If each matroid in a class can be decomposed by a subcubic tree in such a way that only a bounded amount of information flows across displayed separations, then the class has bounded decomposition-width. We introduce the pigeonhole property for classes of matroids: if every subclass with bounded branch-width also has bounded decomposition-width, then the class is pigeonhole. An efficiently pigeonhole class has a stronger property, involving an efficiently-computable equivalence relation on subsets of the ground set. We show that Hlineny's Theorem extends to any efficiently pigeonhole class. In a sequel paper, we use these ideas to extend Hlineny's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and H-gain-graphic matroids, where H is any finite group. We also give a characterisation of the families of hypergraphs that can be described via tree automata: a family is defined by a tree automaton if and only if it has bounded decomposition-width. Furthermore, we show that if a class of matroids has the pigeonhole property, and can be defined in monadic second-order logic, then any subclass with bounded branch-width has a decidable monadic second-order theory.
Tree automata and pigeonhole classes of matroids: II
Published
• View Publication
• BIB
Let $ψ$ be a sentence in the counting monadic second-order logic of matroids and let $\mathbb{F}$ be a finite field. Hliněný's Theorem says that we can test whether $\mathbb{F}$-representable matroids satisfy $ψ$ using an algorithm that is fixed-parameter tractable with respect to branch-width. In a previous paper we proved there is a similar fixed-parameter tractable algorithm that can test the members of any efficiently pigeonhole class. In this sequel we apply results from the first paper and thereby extend Hliněný's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and $H$-gain-graphic matroids, when $H$ is a finite group. As a consequence, we can obtain a new proof of Courcelle's Theorem.
Crystal structure on King tableaux and semistandard oscillating tableaux
Published
• View Publication
• BIB
In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(2m)$ in terms of semistandard oscillating tableaux.
On the signed domination number of some Cayley graphs
Published
• View Publication
• BIB
A signed dominating function of graph $Γ$ is a function $g :V(Γ) \longrightarrow \{-1,1\}$ such that $\sum_{u \in N[v]}g(u) >0$ for each $v \in V(Γ)$. The signed domination number $γ_{_S}(Γ)$ is the minimum weight of a signed dominating function on $Γ$. Let $G=\langle S \rangle$ be a finite group such that $e \not\in S=S^{-1}$. In this paper, we obtain the signed domination number of $Cay(S:G)$ based on cardinality of $S$. Also we determine the classification of group $G$ by $|S|$ and $γ_{_S}(Cay(S:G))$.
On the joint distribution of descents and signs of permutations
Published
• View Publication
• BIB
We study the joint distribution of descents and sign for elements of the symmetric group and the hyperoctahedral group (Coxeter groups of types $A$ and $B$). For both groups, this has an application to riffle shuffling: for large decks of cards the sign is close to random after a single shuffle. In both groups, we derive generating functions for the Eulerian distribution refined according to sign, and use them to give two proofs of central limit theorems for positive and negative Eulerian numbers.
Nonexistence of Strong External Difference Families in Abelian Groups of Order Being Product of At Most Three Primes
Published
• View Publication
• BIB
Let $v$ be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group $G$ of order $v$, except possibly when $G=C_p^3$ and $p$ is a prime greater than $3 \times 10^{12}$.
The facial weak order on hyperplane arrangements
Published in Discrete Comput. Geom., 67(1):166-202, 2022
• View Publication
• BIB
We extend the facial weak order from finite Coxeter groups to central hyperplane arrangements. The facial weak order extends the poset of regions of a hyperplane arrangement to all its faces. We provide four non-trivially equivalent definitions of the facial weak order of a central arrangement: (1) by exploiting the fact that the faces are intervals in the poset of regions, (2) by describing its cover relations, (3) using covectors of the corresponding oriented matroid, and (4) using certain sets of normal vectors closely related to the geometry of the corresponding zonotope. Using these equivalent descriptions, we show that when the poset of regions is a lattice, the facial weak order is a lattice. In the case of simplicial arrangements, we further show that this lattice is semidistributive and give a description of its join-irreducible elements. Finally, we determine the homotopy type of all intervals in the facial weak order.
Small Youden Rectangles, Near Youden Rectangles, and Their Connections to Other Row-Column Designs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (March 1, 2023) dmtcs:6754
• View Publication
• BIB
In this paper we first study $k \times n$ Youden rectangles of small orders. We have enumerated all Youden rectangles for a range of small parameter values, excluding the almost square cases where $k = n-1$, in a large scale computer search. In particular, we verify the previous counts for $(n,k) = (7,3), (7,4)$, and extend this to the cases $(11,5), (11,6), (13,4)$ and $(21,5)$. For small parameter values where no Youden rectangles exist, we also enumerate rectangles where the number of symbols common to two columns is always one of two possible values, differing by 1, which we call \emph{near Youden rectangles}. For all the designs we generate, we calculate the order of the autotopism group and investigate to which degree a certain transformation can yield other row-column designs, namely double arrays, triple arrays and sesqui arrays. Finally, we also investigate certain Latin rectangles with three possible pairwise intersection sizes for the columns and demonstrate that these can give rise to triple and sesqui arrays which cannot be obtained from Youden rectangles, using the transformation mentioned above.
Enumeration of Sets of Mutually Orthogonal Latin Rectangles
We study sets of mutually orthogonal Latin rectangles (MOLR), and a natural variation of the concept of self-orthogonal Latin squares which is applicable on larger sets of mutually orthogonal Latin squares and MOLR, namely that each Latin rectangle in a set of MOLR is isotopic to each other rectangle in the set. We call such a set of MOLR \emph{homogeneous}. In the course of doing this, we perform a complete enumeration of non-isotopic sets of $t$ mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$, for all $t < n$. Specifically, we keep track of homogeneous sets of MOLR, as well as sets of MOLR where the autotopism group acts transitively on the rectangles, and we call such sets of MOLR \emph{transitive}. We build the sets of MOLR row by row, and in this process we also keep track of which of the MOLR are homogeneous and/or transitive in each step of the construction process. We use the prefix \emph{stepwise} to refer to sets of MOLR with this property. Sets of MOLR are connected to other discrete objects, notably finite geometries and certain regular graphs. Here we observe that all projective planes of order at most 9 except the Hughes plane can be constructed from a stepwise transitive MOLR.
A versatile combinatorial approach of studying products of long cycles in symmetric groups
Published in Advances in Applied Mathematics, 133 (2022), Article 102283
• View Publication
• BIB
In symmetric groups, studies of permutation factorizations or triples of permutations satisfying certain conditions have a long history. One particular interesting case is when two of the involved permutations are long cycles, for which many surprisingly simple formulas have been obtained. Here we combinatorially enumerate the pairs of long cycles whose product has a given cycle-type and separates certain elements, extending several lines of studies, and we obtain general quantitative relations. As consequences, in a unified way, we recover a number of results expecting simple combinatorial proofs, including results of Boccara (1980), Zagier (1995), Stanley (2011), Féray and Vassilieva (2012), as well as Hultman (2014). We obtain a number of new results as well. In particular, for the first time, given a partition of a set, we obtain an explicit formula for the number of pairs of long cycles on the set such that the product of the long cycles does not mix the elements from distinct blocks of the partition and has an independently prescribed number of cycles for each block of elements. As applications, we obtain new explicit formulas concerning factorizations of any even permutation into long cycles and the first nontrivial explicit formula for computing strong separation probabilities solving an open problem of Stanley (2010).
Minimum supports of eigenfunctions with the second largest eigenvalue of the Star graph
Published
• View Publication
• BIB
The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue and obtain a characterization of eigenfunctions with the minimum cardinality of the support.
On counting centralizer subgroups of symmetric groups
Published in The Electronic Journal of Combinatorics, Volume 30, Issue 2 (2023), Article Number P2.47
• View Publication
• BIB
Let $S_{2m}$ be the symmetric group, $h=(1\ 2)(3\ 4)\cdots(2m-1\ 2m)$ and $H=C(h)$. We consider the structure of $gHg^{-1}\cap H$ for any $g\in S_{2m}$. We prove the permutations $g$ which makes $gHg^{-1}\cap H$ have size of polynomial in $m$ have density zero.
A strong stationary time for random transpositions
We show that the random transposition walk on the symmetric group $S_n$ has cutoff in separation distance at $\frac{1}{2}n \log n$, by constructing a strong stationary time. The construction involves working with cycle types of permutations and some partition combinatorics.
Homogeneous coherent configurations from spherical buildings and other edge-coloured graphs
Published
• View Publication
• BIB
We study a class of edge-coloured graphs, including the chamber systems of buildings and other geometries such as affine planes, from which we build coherent configurations (also known as non-commutative association schemes). The condition we require is that the graph be endowed with a certain distance function, taking its values in the adjacency algebra (itself generated by the adjacency operators). When all the edges are of the same colour, the condition is equivalent to the graph being distance-regular, so our result is a generalization of the classical fact that distance-regular graphs give rise to association schemes.
The Bose-Mesner algebra of the coherent configuration is then isomorphic to the adjacency algebra of the graph. The latter is more easily computed, and comes with a "small" set of generators, so we are able to produce examples of Bose-Mesner algebras with particularly simple presentations.
When a group acts "strongly transitively", in a certain sense, on a graph, we show that a distance function as above exists canonically; moreover, when the graph is (the chamber system of) a building, we show that strong transitivity is equivalent to the usual condition involving pairs of incident chambers and apartments.
We study affine planes in detail. These are not buildings, yet the machinery developed allows us to state and prove some results which are directly analogous to classical facts in the theory of projective planes (which {\em are} buildings). In particular, we prove that an affine plane with a group acting strongly transitively on it must be Desarguesian.