group
10263 papers tagged with this keyword
Irreducible characters of the symmetric group and exponential growth
Published
• View Publication
• BIB
We consider sequences of degrees of ordinary irreducible $S_n$-characters. We assume that the corresponding Young diagrams have rows and columns bounded by some linear function of $n$ with leading coefficient less than one. We show that any such sequence has at least exponential growth and we compute an explicit bound.
Finite primitive groups and regular orbits of group elements
Published
• View Publication
• BIB
We prove that if $G$ is a finite primitive permutation group and if $g$ is an element of $G$, then either $g$ has a cycle of length equal to its order, or for some $r$, $m$ and $k$, the group $G \leq \mathrm{Sym}(m) \textrm{wr} \mathrm{Sym}(r)$ preserves the product structure of $r$ direct copies of the natural action of $\mathrm{Sym}(m)$ on $k$-sets. This gives an answer to a question of Siemons and Zalesski and a solution to a conjecture of Giudici, Praeger and the second author.
On models of the braid arrangement and their hidden symmetries
Published
• View Publication
• BIB
The De Concini-Procesi wonderful models of the braid arrangement of type $A_{n-1}$ are equipped with a natural $S_n$ action, but only the minimal model admits an `hidden' symmetry, i.e. an action of $S_{n+1}$ that comes from its moduli space interpretation. In this paper we explain why the non minimal models don't admit this extended action: they are `too small'. In particular we construct a {\em supermaximal} model which is the smallest model that can be projected onto the maximal model and again admits an extended $S_{n+1}$ action. We give an explicit description of a basis for the integer cohomology of this supermaximal model.
Furthermore, we deal with another hidden extended action of the symmetric group: we observe that the symmetric group $S_{n+k}$ acts by permutation on the set of $k$-codimensionl strata of the minimal model. Even if this happens at a purely combinatorial level, it gives rise to an interesting permutation action on the elements of a basis of the integer cohomology.
On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs
Published
• View Publication
• BIB
A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on the order of edge-stabilisers in locally $[L_1,L_2]$ graphs.
We also consider the corresponding question for amalgams of rank $k\geq 3$. We completely resolve this by showing that the order of the Borel subgroup is bounded by the permutation type $[L_1,...,L_k]$ only in the trivial case where each of $L_1,...,L_k$ is regular.
Maxwell-Laman counts for bar-joint frameworks in normed spaces
Published
• View Publication
• BIB
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary finite dimensional real normed vector spaces. Using this new matrix, we derive necessary Maxwell-Laman-type counting conditions for a well-positioned bar-joint framework in a real normed vector space to be infinitesimally rigid. Moreover, we derive symmetry-extended counting conditions for a bar-joint framework with a non-trivial symmetry group to be isostatic (i.e., minimally infinitesimally rigid). These conditions imply very simply stated restrictions on the number of those structural components that are fixed by the various symmetry operations of the framework. Finally, we offer some observations and conjectures regarding combinatorial characterisations of 2-dimensional symmetric, isostatic bar-joint frameworks where the unit ball is a quadrilateral.
Combinatorial representation theory of Lie algebras. Richard Stanley's work and the way it was continued
Published
• View Publication
• BIB
Richard Stanley played a crucial role, through his work and his students, in the development of the relatively new area known as combinatorial representation theory. In the early stages, he has the merit to have pointed out to combinatorialists the potential that representation theory has for applications of combinatorial methods. Throughout his distinguished career, he wrote significant articles which touch upon various combinatorial aspects related to representation theory (of Lie algebras, the symmetric group, etc.). I describe some of Richard's contributions involving Lie algebras, as well as recent developments inspired by them (including some open problems), which attest the lasting impact of his work.
The Hegselmann-Krause dynamics for equally spaced agents
Published
• View Publication
• BIB
We consider the Hegselmann-Krause bounded confidence dynamics for n equally spaced opinions on the real line, with gaps equal to the confidence bound r, which we take to be 1. We prove rigorous results on the evolution of this configuration, which confirm hypotheses previously made based on simulations for small values of n. Namely, for every n, the system evolves as follows: after every 5 time steps, a group of 3 agents become disconnected at either end and collapse to a cluster at the subsequent step. This continues until there are fewer than 6 agents left in the middle, and these finally collapse to a cluster, if n is not a multiple of 6. In particular, the final configuration consists of 2*[n/6] clusters of size 3, plus one cluster in the middle of size n (mod 6), if n is not a multiple of 6, and the number of time steps before freezing is 5n/6 + O(1). We also consider the dynamics for arbitrary, but constant, inter-agent spacings d \in [0, 1] and present three main findings. Firstly we prove that the evolution is periodic also at some other, but not all, values of d, and present numerical evidence that for all d something "close" to periodicity nevertheless holds. Secondly, we exhibit a value of d at which the behaviour is periodic and the time to freezing is n + O(1), hence slower than that for d = 1. Thirdly, we present numerical evidence that, as d --> 0, the time to freezing may be closer, in order of magnitude, to the diameter d(n-1) of the configuration rather than the number of agents n.
Sandpiles and Dominos
Published
• View Publication
• BIB
We consider the subgroup of the abelian sandpile group of the grid graph consisting of configurations of sand that are symmetric with respect to central vertical and horizontal axes. We show that the size of this group is (i) the number of domino tilings of a corresponding weighted rectangular checkerboard; (ii) a product of special values of Chebyshev polynomials; and (iii) a double-product whose factors are sums of squares of values of trigonometric functions. We provide a new derivation of the formula due to Kasteleyn and to Temperley and Fisher for counting the number of domino tilings of a 2m x 2n rectangular checkerboard and a new way of counting the number of domino tilings of a 2m x 2n checkerboard on a Möbius strip.
The relative sizes of sumsets and difference sets
Published in Integers vol. 15 (2015) A42
• Search Publication
Let A be a finite subset of a commutative additive group Z. The sumset and difference set of A are defined as the sets of pairwise sums and differences of elements of A, respectively. The well-known inequality $σ(A)^{1/2} \leq δ(A) \leq σ(A)^2,$ where $σ(A)=\frac{|A+A|}{|A|}$ is the doubling constant of A and $δ(A)=\frac{|A-A|}{|A|}$ is the difference constant of A, relates the relative sizes of the sumset and difference set of A. The exponent 2 in this inequality is known to be optimal, for the exponent 1/2 this is unknown. We determine those sets for which equality holds in the above inequality. We find that equality holds if and only if A is a coset of some finite subgroup of Z or, equivalently, if and only if both the doubling constant and difference constant are equal to 1. This implies that there is space for possible improvement of the exponent 1/2 in the inequality. We then use the derived methods to show that Plünnecke's inequality is strict when the doubling constant is larger than 1.
Charm bracelets and their application to the construction of periodic Golay pairs
Published in Discrete Applied Mathematics 188 (2015) 32-40
• View Publication
• BIB
A $k$-ary charm bracelet is an equivalence class of length $n$ strings with the action on the indices by the additive group of the ring of integers modulo $n$ extended by the group of units. By applying an $O(n^3)$ amortized time algorithm to generate charm bracelet representatives with a specified content, we construct 29 new periodic Golay pairs of length $68$.
Noncrossing arc diagrams and canonical join representations
Published
• View Publication
• BIB
We consider two problems that appear at first sight to be unrelated. The first problem is to count certain diagrams consisting of noncrossing arcs in the plane. The second problem concerns the weak order on the symmetric group. Each permutation $x$ has a canonical join representation: a unique lowest set of permutations joining to $x$. The second problem is to determine which sets of permutations appear as canonical join representations. The two problems turn out to be closely related because the noncrossing arc diagrams provide a combinatorial model for canonical join representations. The same considerations apply to more generally to lattice quotients of the weak order. Considering quotients produces, for example, a new combinatorial object counted by the Baxter numbers and an analogous new object in bijection with generic rectangulations.
Cayley Graph on Symmetric Group Generated by Elements Fixing $k$ Points
Published
• View Publication
• BIB
Let $\mathcal{S}_{n}$ be the symmetric group on $[n]=\{1, \ldots, n\}$. The $k$-point fixing graph $\mathcal{F}(n,k)$ is defined to be the graph with vertex set $\mathcal{S}_{n}$ and two vertices $g$, $h$ of $\mathcal{F}(n,k)$ are joined if and only if $gh^{-1}$ fixes exactly $k$ points. In this paper, we derive a recurrence formula for the eigenvalues of $\mathcal{F}(n,k)$. Then we apply our result to determine the sign of the eigenvalues of $\mathcal{F}(n,1)$.
A study of link graphs
Graph theory is a branch of mathematics in which pair-wise relations between objects are studied. My PhD thesis, supervised by David R. Wood, introduces and investigates a new family of graphs, called link graphs, that generalises the notions of line graphs and path graphs. An s-link is a walk of length s such that consecutive edges are different. The s-link graph of a given graph G is the graph with vertices the s-links of G, and two vertices are adjacent if their corresponding s-links form an (s + 1)-link; Or equivalently, one corresponding s-link can be shunted to the other in one step. For example, the 1-link graph of G is the line graph of G.
We give a characterisation for link graphs, which leads to algorithmic solutions to their recognition and determination problems, and implies that the recognition problem belongs to NP. Moreover, based on a recursive structure of linkgraphs, we obtain results about the chromatic number, Hadwiger number and isomorphism group of link graphs. We also obtain results about the uniqueness, tree-decomposition and better-quasi-ordering of the original graphs of a given link graph.
Structure of the largest idempotent-product free sequences in semigroups
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite semigroup, and let $E(\mathcal{S})$ be the set of all idempotents of $\mathcal{S}$. Gillam, Hall and Williams proved in 1972 that every $\mathcal{S}$-valued sequence $T$ of length at least $|\mathcal{S}|-|E(\mathcal{S})|+1$ is not (strongly) idempotent-product free, in the sense that it contains a nonempty subsequence the product of whose terms, in their natural order in $T$, is an idempotent, which affirmed a question of Erdős. They also showed that the value $|\mathcal{S}|-|E(\mathcal{S})|+1$ is best possible.
Here, motivated by Gillam, Hall and Williams' work, we determine the structure of the idempotent-product free sequences of length $|\mathcal{S}\setminus E(\mathcal{S})|$ when the semigroup $\mathcal{S}$ (not necessarily finite) satisfies $|\mathcal{S}\setminus E(\mathcal{S})|$ is finite, and we introduce a couple of structural constants for semigroups that reduce to the classical Davenport constant in the case of finite abelian groups.
2D Toda τ-functions as combinatorial generating functions
Published in Lett. Math. Phys. 105, 827-852 (2015)
• View Publication
• BIB
Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $τ$-functions of hypergeometric type. The second method is the standard construction of $τ$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.
Lossy gossip and composition of metrics
Published in Discrete Comput. Geom. 53(4), 890-913 (2015)
• View Publication
• BIB
We study the monoid generated by n-by-n distance matrices under tropical (or min-plus) multiplication. Using the tropical geometry of the orthogonal group, we prove that this monoid is a finite polyhedral fan of dimension n(n-1)/2, and we compute the structure of this fan for n up to 5. The monoid captures gossip among n gossipers over lossy phone lines, and contains the gossip monoid over ordinary phone lines as a submonoid. We prove several new results about this submonoid, as well. In particular, we establish a sharp bound on chains of calls in each of which someone learns something new.
Using recurrence relations to count in symmetric groups
Published in European J. Combin. 22 (2001), 497--501
• Search Publication
We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$. Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is $\prod_{d=1}^{\lfloor n/q\rfloor} (1-\frac{1}{dq})$.
Mixing and double recurrence in probability groups
Published in Fundamenta Mathematicae 260 (2023), 77-98
• View Publication
• BIB
We define a class of groups equipped with an invariant probability measure, which includes all compact groups and is closed under taking ultraproducts with the induced Loeb measure; in fact, this class also contains the ultraproducts all locally compact unimodular amenable groups. We call the members of this class probability groups and develop the basics of the theory of their measure-preserving actions on probability spaces, including a natural notion of mixing. A short proof reveals that for probability groups mixing implies double recurrence, which generalizes a theorem of Bergelson and Tao proved for ultraproducts of finite groups. Moreover, a quantitative version of our proof gives that $\varepsilon$-approximate mixing implies $3\sqrt{\varepsilon}$-approximate double recurrence. Examples of approximately mixing probability groups are quasirandom groups introduced by Gowers, so the last theorem generalizes and sharpens the corresponding results for quasirandom groups of Bergelson and Tao, as well as of Austin. Lastly, we point out that the fact that the ultraproduct of locally compact unimodular amenable groups is a probability group provides a general alternative to Furstenberg correspondence principle.
On the maximum order of nilpotent transitive permutation groups
Published
• View Publication
• BIB
Given two positive integers n and c, we determine an upper bound, as a function of n and c, for the maximum order of a finite nilpotent transitive group of degree n and nilpotency class at most c.
Some finite abelian group theory and some q-series identities
Published in Ann. Comb. 20 (2016), no. 2, 361-371
• View Publication
• BIB
For a fixed odd prime $\ell$, we present new families of identities defined on various subposets of the poset of isomorphism classes of finite abelian $\ell$-groups, generalizing identities of Hall and Cohen-Lenstra. We also present a $q$-series identity.