group
10258 papers tagged with this keyword
Transition between characters of classical groups, decomposition of Gelfand-Tsetlin patterns and last passage percolation
Published in Adv. Math., 404-B, 108453 (2022)
• View Publication
• BIB
We study the combinatorial structure of the irreducible characters of the classical groups ${\rm GL}_n(\mathbb{C})$, ${\rm SO}_{2n+1}(\mathbb{C})$, ${\rm Sp}_{2n}(\mathbb{C})$, ${\rm SO}_{2n}(\mathbb{C})$ and the "non-classical" odd symplectic group ${\rm Sp}_{2n+1}(\mathbb{C})$, finding new connections to the probabilistic model of Last Passage Percolation (LPP). Perturbing the expressions of these characters as generating functions of Gelfand-Tsetlin patterns, we produce two families of symmetric polynomials that interpolate between characters of ${\rm Sp}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$ and between characters of ${\rm SO}_{2n}(\mathbb{C})$ and ${\rm SO}_{2n+1}(\mathbb{C})$. We identify the first family as a one-parameter specialization of Koornwinder polynomials, for which we thus provide a novel combinatorial structure; on the other hand, the second family appears to be new. We next develop a method of Gelfand-Tsetlin pattern decomposition to establish identities between all these polynomials that, in the case of irreducible characters, can be viewed as branching rules. Through these formulas we connect orthogonal and symplectic characters, and more generally the interpolating polynomials, to LPP models with various symmetries, thus going beyond the link with classical Schur polynomials originally found by Baik and Rains (Duke Math. J., 2001). Taking the scaling limit of the LPP models, we finally provide an explanation of why the Tracy-Widom GOE and GSE distributions from random matrix theory admit formulations in terms of both Fredholm determinants and Fredholm Pfaffians.
Separable elements in Weyl groups
Published in Adv. Appl. Math., Volume 113, 2020
• View Publication
• BIB
We define the notion of a separable element in a finite Weyl group, generalizing the well-studied class of separable permutations. We prove that the upper and lower order ideals in weak Bruhat order generated by a separable element are rank-symmetric and rank-unimodal, and that the product of their rank generating functions gives that of the whole group, answering an open problem of Fan Wei. We also prove that separable elements are characterized by pattern avoidance in the sense of Billey and Postnikov.
Difference families, skew Hadamard matrices, and Critical groups of doubly regular tournaments
In this paper we investigate the structure of the critical groups of doubly regular tournaments (DRTs) associated with skew Hadamard difference families (SDFs) with one, two, or four blocks. Brown and Reid found the existence of a skew Hadamard matrix of order $n+1$ to be equivalent to the existence of a DRT on $n$ vertices. A well known construction of a skew Hadamard matrix order $n$ is by constructing skew Hadamard difference sets in abelian groups of order $n-1$. The Paley skew Hadamard matrix is an example of one such construction. Szekeres and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with two blocks. Wallis and Whiteman constructed skew Hadamard matrices from skew Hadamard difference families with four blocks. In this paper we consider the critical groups of DRTs associated with skew Hadamard matrices constructed from skew Hadamard difference families with one, two or four blocks. We compute the critical groups of DRTs associated with skew Hadamard difference families with two or four blocks. We also compute the critical group of the Paley tournament and show that this tournament is inequivalent to the other DRTs we considered. Consequently we prove that the associated skew Hadamard matrices are not equivalent.
Covering Radius of Permutation Groups with Infinity-Norm
The covering radius of permutation group codes are studied in this paper with $l_{\infty}$-metric. We determine the covering radius of the $(p,q)$-type group, which is a direct product of two cyclic transitive groups. We also deduce the maximum covering radius among all the relabelings of this group under conjugation, that is, permutation groups with the same algebraic structure but with relabelled members. Finally, we give a lower bound of the covering radius of the dihedral group code, which differs from the trivial upper bound by a constant at most one. This improves the result of Karni and Schwartz in 2018, where the gap between their lower and upper bounds tends to infinity as the code length grows.
Asymptotic Semigroups and Two-sided Weak Orders
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain intervals of the Putcha poset of a dual canonical monoid are isomorphic to the Renner monoids of matrices. The notion of a two-sided weak order on a normal reductive monoid is introduced. A criterion, in terms of type maps, for the covering relations in a two-sided weak order to have degree 2 is found. It is shown that, for the unique equivariant divisor of a dual canonical monoid (the asymptotic semigroup), the covering relations of the two-sided weak order are always of degree 1. These computations provide new insights for the two-sided weak orders on Coxeter groups. In type A, some enumerative results for the covering relations are presented.
Perfect 1-factorisations of $K_{16}$
Published in Bull. Aust. Math. Soc. 101 (2020), 177-185
• View Publication
• BIB
We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa).
We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.
All group-based latin squares possess near transversals
In a latin square of order $n$, a near transversal is a collection of $n-1$ cells which intersects each row, column, and symbol class at most once. A longstanding conjecture of Brualdi, Ryser, and Stein asserts that every latin square possesses a near transversal. We show that this conjecture is true for every latin square that is main class equivalent to the Cayley table of a finite group.
Association schemes for diagonal groups
For any finite group $G$, and any positive integer $n$, we construct an association scheme which admits the diagonal group $D_n(G)$ as a group of automorphisms. The rank of the association scheme is the number of partitions of $n$ into at most $|G|$ parts, so is $p(n)$ if $|G|\ge n$; its parameters depend only on $n$ and $|G|$. For $n=2$, the association scheme is trivial, while for $n=3$ its relations are the Latin square graph associated with the Cayley table of $G$ and its complement.
A transitive permutation group $G$ is said to be \emph{AS-free} if there is no non-trivial association scheme admitting $G$ as a group of automorphisms. A consequence of our construction is that an AS-free group must be either $2$-homogeneous or almost simple.
We construct another association scheme, finer than the above scheme if $n>3$, from the Latin hypercube consisting of $n$-tuples of elements of $G$ with product the identity.
On planar Cayley graphs and Kleinian groups
Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y \subseteq \mathbb{S}^2$.
We also prove that if a group $H$ has a finitely generated Cayley (multi-)graph $C$ covariantly embeddable in $\mathbb{S}^2$, then $C$ can be chosen so as to have no infinite path on the boundary of a face.
The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class.
In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.
Doubly transitive lines II: Almost simple symmetries
We study lines through the origin of finite-dimensional complex vector spaces that enjoy a doubly transitive automorphism group. This paper classifies those lines that exhibit almost simple symmetries. We introduce a general recipe involving Schur covers to recover doubly transitive lines from their automorphism group. Combining our results with recent work on the affine case by Dempwolff and Kantor, we deduce a classification of all linearly dependent doubly transitive lines in real or complex space.
Phase transition in random intersection graphs with communities
The `random intersection graph with communities' models networks with communities, assuming an underlying bipartite structure of groups and individuals. Each group has its own internal structure described by a (small) graph, while groups may overlap. The group memberships are generated by a bipartite configuration model. The model generalizes the classical random intersection graph model that is included as the special case where each community is a complete graph (or clique).
The `random intersection graph with communities' is analytically tractable. We prove a phase transition in the size of the largest connected component based on the choice of model parameters. Further, we prove that percolation on our model produces a graph within the same family, and that percolation also undergoes a phase transition. Our proofs rely on the connection to the bipartite configuration model, however, with the arbitrary structure of the groups, it is not completely straightforward to translate results on the group structure into results on the graph. Our related results on the bipartite configuration model are not only instrumental to the study of the random intersection graph with communities, but are also of independent interest, and shed light on interesting differences from the unipartite case.
A Hales--Jewett type property of finite solvable groups
A conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if" direction of their conjecture follows if all finite groups have a Hales--Jewett type property. In this paper, we show that this property is satisfied in the case of finite solvable groups. Our result can be used to recover the work of Kříž in Euclidean Ramsey theory.
Group distance magic Cartesian product of two cycles
Published in Discrete Mathematics 343 (2020)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $Γ$ an Abelian group both of order $n$. A $Γ$-distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow Γ$ for which there exists $μ\in Γ$ such that $% \sum_{x\in N(v)}\ell (x)=μ$ for all $v\in V$, where $N(v)$ is the neighborhood of $v$. Froncek %(\cite{ref_CicAus}) showed that the Cartesian product $C_m \square C_n$, $m, n\geq3$ is a $\mathbb{Z}_{mn}$-distance magic graph if and only if $mn$ is even. It is also known that if $mn$ is even then $C_m \square C_n$ has $\mathbb{Z}_α\times \mathcal{A}$-magic labeling for any $α\equiv 0 \pmod {{\rm lcm}(m,n)}$ and any Abelian group $\mathcal{A}$ of order $mn/α$. %\cite{ref_CicAus} However, the full characterization of group distance magic Cartesian product of two cycles is still unknown.
In the paper we make progress towards the complete solution this problem by proving some necessary conditions. We further prove that for $n$ even the graph $C_{n}\square C_{n}$ has a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $n^{2}$. Moreover we show that if $m\neq n$, then there does not exist a $(\mathbb{Z}_2)^{m+n}$-distance magic labeling of the Cartesian product $C_{2^m} \square C_{2^{n}}$. We also give necessary and sufficient condition for $C_{m} \square C_{n}$ with $\gcd(m,n)=1$ to be $Γ$-distance magic.
Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.
Bijective proofs of skew Schur polynomial factorizations
Published in Journal of Combinatorial Theory, Series A Volume 174, August 2020, 105241, 40pp
• View Publication
• BIB
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.
Orbits of Hamiltonian Paths and Cycles in Complete Graphs
Published in Journal of Integer Sequences, Vol.23 (2020)
• Search Publication
We enumerate certain geometric equivalence classes of subgraphs induced by Hamiltonian paths and cycles in complete graphs. Said classes are orbits under the action of certain direct products of dihedral and cyclic groups on sets of strings representing subgraphs. These orbits are enumerated using Burnside's lemma. The technique used also provides an alternative proof of the formulae found by S. W. Golomb and L. R. Welch which give the number of distinct $n$-gons on fixed, regularly spaced vertices up to rotation and optionally reflection.
New Expander Bounds from Affine Group Energy
The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov.
We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rudnev and Shkredov by exploiting a connection with collinear quadruples.
Our motivation for seeking to generalise and improve the incidence bound obtained by Rudnev and Shkredov comes from possible applications to sum-product problems. For example, we prove that, for any finite $A \subset \mathbb R$ the following superquadratic bound holds:
\[
\left| \left \{ \frac{ab-cd}{a-c} : a,b,c,d \in A \right \} \right| \gg |A|^{2+\frac{1}{14}}.
\]
This improves the previously known bound with exponent $2$. We also give a threshold-beating asymmetric sum-product estimate for sets with small sum set by proving that there exists a positive constant $c$ such that for all finite $A,B \subset \mathbb R$,
\[
|A+A| \ll K|A| \Rightarrow |AB| \gg_K |A||B|^{1/2+c}.
\]
New necessary conditions for (negative) Latin square type partial difference sets in abelian groups
Partial difference sets (for short, PDSs) with parameters ($n^2$, $r(n-ε)$, $εn+r^2-3εr$, $r^2-εr$) are called Latin square type (respectively negative Latin square type) PDSs if $ε=1$ (respectively $ε=-1$). In this paper, we will give restrictions on the parameter $r$ of a (negative) Latin square type partial difference set in an abelian group of non-prime power order. As far as we know no previous general restrictions on $r$ were known. Our restrictions are particularly useful when $a$ is much larger than $b$. As an application, we show that if there exists an abelian negative Latin square type PDS with parameter set $(9p^{4s}, r(3p^{2s}+1),-3p^{2s}+r^2+3r,r^2+r)$, $1 \le r \le \frac{3p^{2s}-1}{2}$, $p\equiv 1 \pmod 4$ a prime number and $s$ is an odd positive integer, then there are at most three possible values for $r$. For two of these three $r$ values, J. Polhill gave constructions in 2009.
$N_\infty$-operads and associahedra
Published in Pacific J. Math. 315 (2021) 285-304
• View Publication
• BIB
We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.
Koszul Algebras and Flow Lattices
We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated $A_{Γ,T}$ modules is isomorphic to the Euclidean lattice $\mathbb Z^{E(Γ)}$, and we describe the sublattices of integer cuts and integer flows on $Γ$ in terms of the representation theory of $A_{Γ,T}$. The grading on $A_{Γ,T}$ gives rise to $q$-analogs of the lattices of integer cuts and flows; these $q$-lattices depend non-trivially on the choice of spanning tree. We give a $q$-analog of the matrix-tree theorem, and prove that the $q$-flow lattice of $(Γ_1,T_1)$ is isomorphic to the $q$-flow lattice of $(Γ_2,T_2)$ if and only if there is a cycle preserving bijection from the edges of $Γ_1$ to the edges of $Γ_2$ taking the spanning tree $T_1$ to the spanning tree $T_2$. This gives a $q$-analog of a classical theorem of Caporaso-Viviani and Su-Wagner.