BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mark Wildon

Mark Wildon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.RTmath.GRDiscrete Mathematicsmath.PRmath.QA

Catalog footprint

What is connected

21works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2025arXiv

A new bijective proof of the $q$-Pfaff--Saalschütz identity with applications to quantum groups

We present a combinatorial proof of the $q$-Pfaff--Saalschütz identity by a composition of explicit bijections, in which $q$-binomial coefficients are interpreted as counting subspaces of $\mathbb{F}_q$-vector spaces. As a corollary, we obtain a new multiplication rule for quantum binomial coefficients and hence a new presentation of Lusztig's integral form $\mathcal{U}_{\mathbb{Z}[q, q^{-1}]}(\mathfrak{sl}_2)$ of the Cartan subalgebra of the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Modular plethystic isomorphisms for two-dimensional linear groups

Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar explicit generalisation of the classical Wronskian isomorphism, namely $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \bigwedge^m \mathrm{Sym}^{\ell+m-1} E$. We also generalise a result first proved by King, by showing that if $\nabla^λ$ is the Schur functor for the partition $λ$ and $λ^\circ$ is the complement of $λ$ in a rectangle with $\ell+1$ rows, then $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ^\circ} \mathrm{Sym}_\ell E$. To illustrate that the existence of such `plethystic isomorphisms' is far from obvious, we end by proving that the generalisation $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ'} \mathrm{Sym}^{\ell + \ell(λ') - \ell(λ)}E$ of the Wronskian isomorphism, known to hold for a large class of partitions over the complex field, does not generalise to fields of prime characteristic, even after considering all possible dualities.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Involutive random walks on total orders and the anti-diagonal eigenvalue property

This paper studies a family of random walks defined on the finite ordinals using their order reversing involutions. Starting at $x \in \{0,1,\ldots,n-1\}$, an element $y \le x$ is chosen according to a prescribed probability distribution, and the walk then steps to $n-1-y$. We show that under very mild assumptions these walks are irreducible, recurrent and ergodic. We then find the invariant distributions, eigenvalues and eigenvectors of a distinguished subfamily of walks whose transition matrices have the global anti-diagonal eigenvalue property studied in earlier work by Ochiai, Sasada, Shirai and Tsuboi. We prove that this subfamily of walks is characterised by their reversibility. As a corollary, we obtain the invariant distributions and rate of convergence of the random walk on the set of subsets of $\{1,\ldots, m\}$ in which steps are taken alternately to subsets and supersets, each chosen equiprobably. We then consider analogously defined random walks on the real interval $[0,1]$ and use techniques from the theory of self adjoint compact operators on Hilbert spaces to prove analogues of the main results in the discrete case.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A generalized SXP rule proved by bijections and involutions

This paper proves a combinatorial rule expressing the product $s_τ(s_{λ/μ} \circ p_r)$ of a Schur function and the plethysm of a skew Schur function with a power sum symmetric function as an integral linear combination of Schur functions. This generalizes the SXP rule for the plethysm $s_λ\circ p_r$. Each step in the proof uses either an explicit bijection or a sign-reversing involution. The proof is inspired by an earlier proof of the SXP rule due to Remmel and Shimozono, A simple proof of the Littlewood--Richardson rule and applications, Discrete Mathematics 193 (1998) 257--266. The connections with two later combinatorial rules for special cases of this plethysm are discussed. Two open problems are raised. The paper is intended to be readable by non-experts.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On signed p-Kostka numbers and the indecomposable signed Young permutation modules

We prove the existence and main properties of signed Young modules for the symmetric group, using only basic facts about symmetric group representations and the Brou{é} correspondence. We then prove new reduction theorems for the signed $p$-Kostka numbers, defined to be the multiplicities of signed Young modules as direct summands of signed Young permutation modules. We end by classifying the indecomposable signed Young permutation modules and determining their endomorphism algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A combinatorial proof of a plethystic Murnaghan--Nakayama rule

This article gives a combinatorial proof of a plethystic generalization of the Murnaghan--Nakayama rule. The main result expresses the product of a Schur function with the plethysm $p_r \circ h_n$ as an integral linear combination of Schur functions. The proof uses a sign-reversing involution on sequences of bead moves on James' abacus, inspired by the arguments in N. Loehr, Abacus proofs of Schur function identities, SIAM J. Discrete Math. 24 (2010), 1356-1370.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Bell numbers, partition moves and the eigenvalues of the random-to-top shuffle in Dynkin Types A, B and D

Let $B_t(n)$ be the number of set partitions of a set of size~$t$ into at most $n$ parts and let $B'_t(n)$ be the number of set partitions of $\{1,\ldots, t\}$ into at most $n$ parts such that no part contains both $1$ and~$t$ or both $i$ and $i+1$ for any $i \in \{1,\ldots,t-1\}$. We give two new combinatorial interpretations of the numbers $B_t(n)$ and $B'_t(n)$ using sequences of random-to-top shuffles, %that leave a deck of cards invariant, and sequences of box moves on the Young diagrams of partitions. Using these ideas we obtain a very short proof of a generalization of a result of Phatarfod on the eigenvalues of the random-to-top shuffle. We also prove analogous results for random-to-top shuffles that may flip certain cards. The proofs use the Solomon descent algebras of Types A, B and~D. We give generating functions and asymptotic results for all the combinatorial quantities studied in this paper.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Indecomposable summands of Foulkes modules

In this paper we study the modular structure of the permutation module $H^{(2^n)}$ of the symmetric group $S_{2n}$ acting on set partitions of a set of size $2n$ into $n$ sets each of size $2$, defined over a field of odd characteristic $p$. In particular we characterize the vertices of the indecomposable summands of $H^{(2^n)}$ and fully describe all of its indecomposable summands that lie in blocks of $p$-weight at most two. When $2n < 3p$ we show that there is a unique summand of $H^{(2^n)}$ in the principal block of $S_{2n}$ and that this summand exhibits many of the extensions between simple modules in its block.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Foulkes modules and decomposition numbers of the symmetric group

The decomposition matrix of a finite group in prime characteristic p records the multiplicities of its p-modular irreducible representations as composition factors of the reductions modulo p of its irreducible representations in characteristic zero. The main theorem of this paper gives a combinatorial description of certain columns of the decomposition matrices of symmetric groups in odd prime characteristic. The result applies to blocks of arbitrarily high weight. It is obtained by studying the p-local structure of certain twists of the permutation module given by the action of the symmetric group of even degree 2m on the collection of set partitions of a set of size 2m into m sets each of size two. In particular, the vertices of the indecomposable summands of all such modules are characterized; these summands form a new family of indecomposable p-permutation modules for the symmetric group. As a further corollary it is shown that for every natural number w there is a diagonal Cartan number in a block of the symmetric group of weight w equal to w+1.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Searching for knights and spies: a majority/minority game

There are n people, each of whom is either a knight or a spy. It is known that at least k knights are present, where n/2 < k < n. Knights always tell the truth. We consider both spies who always lie and spies who answer as they see fit. This paper determines the number of questions required to find a spy or prove that everyone in the room is a knight. We also determine the minimum number of questions needed to find at least one person's identity, or a nominated person's identity, or to find a spy (under the assumption that a spy is present). For spies who always lie, we prove that these searching problems, and the problem of finding a knight, can be solved by a simultaneous optimal strategy. We also give some computational results on the problem of finding all identities when spies always lie, and end by stating some open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Set families and Foulkes modules

We construct a new family of homomorphisms from Specht modules into Foulkes modules for the symmetric group. These homomorphisms are used to give a combinatorial description of the minimal partitions (in the dominance order) which label irreducible characters appearing as summands of the characters of Foulkes modules. The homomorphisms are defined using certain families of subsets of the natural numbers. These families are of independent interest; we prove a number of combinatorial results concerning them.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sylow subgroups of symmetric and alternating groups and the vertex of $S^{(kp-p,1^p)}$ in characteristic $p$

We show that the Sylow $p$-subgroups of a symmetric group, respectively an alternating group, are characterized as the $p$-subgroups containing all elementary abelian $p$-subgroups up to conjugacy of the symmetric group, respectively the alternating group. We apply the characterization result for symmetric groups to compute the vertices of the hook Specht modules associated to the partition $(kp-p,1^p)$ under the assumption that $k \equiv 1$ mod $p$ and $k \not\equiv 1$ mod $p^2$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The majority game with an arbitrary majority

The $k$-majority game is played with $n$ numbered balls, each coloured with one of two colours. It is given that there are at least $k$ balls of the majority colour, where $k$ is a fixed integer greater than $n/2$. On each turn the player selects two balls to compare, and it is revealed whether they are of the same colour; the player's aim is to determine a ball of the majority colour. It has been correctly stated by Aigner that the minimum number of comparisons necessary to guarantee success is $2(n-k) - B(n-k)$, where $B(m)$ is the weight of the binary expansion of $m$. However his proof contains an error. We give an alternative proof of this result, which generalizes an argument of Saks and Werman.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Character deflations and a generalization of the Murnaghan--Nakayama rule

Given natural numbers m and n, we define a deflation map from the characters of the symmetric group S_{mn} to the characters of S_n. This map is obtained by first restricting a character of S_{mn} to the wreath product S_m \wr S_n, and then taking the sum of the irreducible constituents of the restricted character on which the base group S_m \times ... \times S_m acts trivially. We prove a combinatorial formula which gives the values of the images of the irreducible characters of S_{mn} under this map. We also prove an analogous result for more general deflation maps in which the base group is not required to act trivially. These results generalize the Murnaghan--Nakayama rule and special cases of the Littlewood--Richardson rule. As a corollary we obtain a new combinatorial formula for the character multiplicities that are the subject of the long-standing Foulkes' Conjecture. Using this formula we verify Foulkes' Conjecture in some new cases.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On types of matrices and centralizers of matrices and permutations

It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy, only on the type of the matrix, in the sense defined by J. A. Green. In this paper an analogue of the type invariant is defined that in general captures more information; using this invariant the result on centralizers is extended to arbitrary fields. The converse is also proved: thus two matrices have conjugate centralizers if and only if they have the same generalized type. The paper ends with the analogous results for symmetric and alternating groups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Finding a princess in a palace: A pursuit-evasion problem

This paper solves a pursuit-evasion problem in which a prince must find a princess who is constrained to move on each day from one vertex of a finite graph to another. Unlike the related and much studied `Cops and Robbers Game', the prince has no knowledge of the position of the princess; he may, however, visit any single room he wishes on each day. We characterize the graphs for which the prince has a winning strategy, and determine, for each such graph, the minimum number of days the prince requires to guarantee to find the princess.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Orbit coherence in permutation groups

This paper introduces the notion of orbit coherence in a permutation group. Let $G$ be a group of permutations of a set $Ω$. Let $π(G)$ be the set of partitions of $Ω$ which arise as the orbit partition of an element of $G$. The set of partitions of $Ω$ is naturally ordered by refinement, and admits join and meet operations. We say that $G$ is join-coherent if $π(G)$ is join-closed, and meet-coherent if $π(G)$ is meet-closed. Our central theorem states that the centralizer in $\Sym(Ω)$ of any permutation $g$ is meet-coherent, and subject to a certain finiteness condition on the orbits of $g$, also join-coherent. In particular, if $Ω$ is a finite set then the orbit partitions of elements of the centralizer in $\Sym(Ω)$ of $g$ form a lattice. A related result states that the intransitive direct product and the imprimitive wreath product of two finite permutation groups are join-coherent if and only if each of the groups is join-coherent. We also classify the groups $G$ such that $π(G)$ is a chain and prove two further theorems classifying the primitive join-coherent groups of finite degree, and the join-coherent groups of degree $n$ normalizing a subgroup generated by an $n$-cycle.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The probability that a pair of elements of a finite group are conjugate

Let $G$ be a finite group, and let $κ(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $κ(G) \geq 1/4$, and shows that $G$ is abelian whenever $κ(G)|G| < 7/4$. It is also shown that $κ(G)|G|$ depends only on the isoclinism class of $G$. Specialising to the symmetric group $S_n$, the paper shows that $κ(S_n) \leq C/n^2$ for an explicitly determined constant $C$. This bound leads to an elementary proof of a result of Flajolet \emph{et al}, that $κ(S_n) \sim A/n^2$ as $n\rightarrow \infty$ for some constant $A$. The same techniques provide analogous results for $ρ(S_n)$, the probability that two elements of the symmetric group have conjugates that commute.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On types and classes of commuting matrices over finite fields

This paper addresses various questions about pairs of similarity classes of matrices which contain commuting elements. In the case of matrices over finite fields, we show that the problem of determining such pairs reduces to a question about nilpotent classes; this reduction makes use of class types in the sense of Steinberg and Green. We investigate the set of scalars that arise as determinants of elements of the centralizer algebra of a matrix, providing a complete description of this set in terms of the class type of the matrix. Several results are established concerning the commuting of nilpotent classes. Classes which are represented in the centralizer of every nilpotent matrix are classified--this result holds over any field. Nilpotent classes are parametrized by partitions; we find pairs of partitions whose corresponding nilpotent classes commute over some finite fields, but not over others. We conclude by classifying all pairs of classes, parametrized by two-part partitions, that commute. Our results on nilpotent classes complement work of Košir and Oblak.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

On the distribution of conjugacy classes between the cosets of a finite group in a cyclic extension

Let G be a finite group and H a normal subgroup such that G/H is cyclic. Given a conjugacy class g^G of G we define its centralizing subgroup to be HC_G(g). Let K be such that H\le K\le G. We show that the G-conjugacy classes contained in K whose centralizing subgroup is K, are equally distributed between the cosets of H in K. The proof of this result is entirely elementary. As an application we find expressions for the number of conjugacy classes of K under its own action, in terms of quantities relating only to the action of G.

0 citations0 reviewsNo code linkedOpen access