group
10224 papers tagged with this keyword
An extremal problem for completely unclustered Burrows-Wheeler images
The Burrows--Wheeler transform is usually viewed as a clustering transform: it tends to group equal letters into long runs. We study the opposite extremal regime, where the BWT output is completely unclustered, that is, has as many equal-letter runs as positions. Known results imply, on the one hand, that the number of runs in the BWT of a Lyndon word can increase by at most a factor of two, and, on the other hand, that over every alphabet of size at least three completely unclustered BWT images exist in every length. This leads to the extremal problem lying between these two facts. For \(k\ge3\), let \(U_k(n)\) be the minimum cyclic run number of a primitive necklace of length \(n\) whose BWT has \(n\) runs.
We prove the universal lower bound \(U_k(n)\ge\lceil n/2\rceil\), reduce the sharpness problem for one-cycle BWT images \(L\) to the Hamming identity \[
\cruns(\BWT^{-1}(L))=\dH(L,\sort(L)), \] and develop a natural multiset-of-necklaces relaxation with an explicit constant-cycle correction. We compute the small values, including the exceptional value \(U_k(6)=4\), prove a parity obstruction for the Parikh vectors of sharp examples, and determine the multiset relaxation exactly. Finally, for every prime \(p\equiv5\pmod8\) for which \(2\) is a primitive root modulo \(p\), we prove sharpness in the adjacent lengths \(p-1\) and \(p\). Under the corresponding Artin-type infinitude hypothesis, this gives infinitely many adjacent sharp pairs.
A Refinement of the Fixed--Pixed Points Equidistribution on restricted Permutations
Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $Π$, let $\mathfrak{S}_n(Π)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $Π$ in the sense of pattern avoidance. For each set $Π$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(Π)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.
AHA! RSK
We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.
Vertex-transitive quantum graphs
We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.
Remarks about the Moebius-Kantor graph
The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.
Comparative monotonicity of linear codes by Hermitian and symplectic hull dimensions
Extending recent work on the Euclidean hull, we derive closed-form ratio decompositions for the number of linear codes with prescribed Hermitian and symplectic hull dimension. The Hermitian ratio admits a uniform lower bound of at least $2/3$, while the symplectic ratio decays to $1/q^2$ asymptotically; a comparative analysis traces this qualitative difference to the Witt classification of the corresponding classical groups. The results translate directly into monotonicity statements for the number of entanglement-assisted quantum codes obtainable from Hermitian-hull-graded $[n, k]_{q^2}$ and symplectic-hull-graded $[2n, k]_q$ classical codes via the Guenda-Jitman-Gulliver and Wilde-Brun constructions, respectively.
Diameter Thresholds of Random Cayley Graphs
Given a group $G$, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of $G$ where each element of $G$ is included in the generating set independently at random with probability $p$.
In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let $d_N = (1-γ)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}$, where $γ\in (0,1)$ is any fixed real number. We show that for any $\varepsilon > 0$, any family of groups $G_k$ of order $N_k$ for which $N_k \to \infty$, and any integer $2 \leqslant d\leqslant d_{N_k}$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most $d$ if $p \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}$, and diameter greater than $d$ if $p \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}$.
Up to a constant factor, these thresholds are similar to those for the usual Erdős-Rényi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.
Intersection Orbital Graphs of Permutation Groups and Reconstruction of Simple Groups
We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.
Cutoff profiles for conjugacy invariant random walks on symmetric groups
We prove asymptotic equivalents for finite-level representations of symmetric groups, that is, for Young diagrams having all but finitely many boxes on their first row. We deduce that random walks on symmetric groups generated by conjugacy classes with a macroscopic number of fixed points have a Poissonian cutoff profile. We also prove that the random involution walk exhibits cutoff and find its cutoff profile. Finally, we obtain numerics for the random transposition walk on a deck of 52 cards, giving concrete estimates on the question that originally motivated Diaconis and Shahshahani.
The sum-product conjecture is false for real numbers
We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $\asymp \log\lvert A\rvert$) such that \[\max(\lvert A+A\rvert ,\lvert AA\rvert)\leq \lvert A\rvert^{2-c}\] where $c>0$ is an absolute constant.
We also disprove the many sums and products conjecture by constructing, for any $k\geq 3$, arbitrarily large $A\subset \mathbb{R}$ such that \[\max(\lvert kA\rvert,\lvert A^{(k)}\rvert)\leq \lvert A\rvert^{C\frac{\log k}{\log\log k}}\] for some constant $C>0$. We obtain similar constructions for $p$-adics, finite fields, and function fields in positive characteristic, and also obtain new lower bounds for the number of solutions to linear equations in a multiplicative group and the number of solutions to the unit equation in sufficiently many variables.
The $k$-out-of-$n$ picture-hanging puzzle: shorter solutions for small $k$ and $n-k$
The picture-hanging puzzle, popularized by Demaine et al. (2014), asks for a way to wrap a wire around $n$ nails such that the picture hangs as long as fewer than $k$ nails are removed, but falls as soon as any $k$ are removed. Solutions correspond to words in the free group $F_n$. We give explicit, deterministic, polynomial-length constructions for two regimes: $2$-out-of-$n$ with word length at most $\tfrac{8}{3}n^{\log_2 6} - 4n^2$, and $(n-2)$-out-of-$n$ with word length $6n\log_2(n/2)$, both for $n$ a power of two. These improve on Wästlund's quasi-polynomial deterministic construction in their respective regimes. We also report, via exhaustive computer search, the exact minimum length of $16$ for the $2$-out-of-$4$ puzzle, attained by two structurally distinct solutions. As an additional contribution, we observe that the natural workshop realization with carabiners on a flat board introduces an over/under ambiguity at every wire crossing; a wrong choice can produce a Whitehead link, which is topologically distinct from the intended commutator.
Motivic Segre classes of Schubert cells and the connective formal group law
We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$. We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. The proof of the puzzle formula involves intertwiners for representations of the multi-parameter quantum group of type $\widehat{a}_2$. We show that our $β$-deformations can be viewed as quotients of canonical elements in a quotient of the equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition.
Two Arc-Disjoint Hamiltonian Paths in Finite Two-Generated Abelian Cayley Digraphs
We prove the finite abelian two-generator conjecture of Darijani--Miraftab--Witte Morris: every directed Cayley digraph on a finite abelian group with two distinct nonzero generators has two arc-disjoint Hamiltonian paths. The proof uses a cut-reflection theorem for Hamiltonian cut values in the family Cay(Z_k; a, a+1): if Z is the set of such values and N=k-1, then, with N-Z={N-z : z in Z}, dist(Z,N-Z)<=1. The proof uses sector-filling inequalities for primitive-ray multiplicities and an extremal graph recording pairs at minimal reflected distance. The estimate is sharp modulo parity: exact reflection occurs for odd k, while distance one occurs for even k. The second remaining cyclic family, Cay(Z_k; -a, a+1), is treated by an explicit quotient--fiber construction. We also prove the remaining three-factor case for Cartesian products of directed cycles. Together with the two-factor and at-least-four-factor theorems of Darijani--Miraftab--Witte Morris, this resolves their directed-cycle product conjecture for all numbers of factors.
On partial groups of small order
There are 123,650 partial groups of order at most 9 and 178,937,003 partial groups of order 10. We explain a computer enumeration of these results and provide a complete list of indecomposable partial groups of order at most 5. We also indicate results that were discovered through computational experiments.
Flag positroid pipe dreams
We introduce flag positroid pipe dreams (FPPs), whose role in the study of complete flag positroids is analogous to the role of Le-diagrams in the study of positroids. We develop the combinatorics of these diagrams and highlight some of their properties. FPPs are in bijection with intervals in the Bruhat order of the symmetric group, and the number of elbows in an FPP is the dimension of the corresponding Richardson cell in the decomposition of the nonnegative flag variety. We show how complete flag positroids can be built rank by rank via FPPs, and how the Le-diagrams of the positroid constituents of the flag can be obtained from the FPP via a simple standardization operation. Using partial FPPs, we give an alternative proof of a conjecture of Benedetti, Chavez, and Tamayo on the problem of characterizing elementary positroid quotients via cyclic shifts of decorated permutations, in the nonnegatively representable case. Our proof partially addresses a problem of Chen et al. regarding an explicit characterization of the cyclic shift operators purely in terms of decorated permutations. We show that the poset of nonnegatively representable elementary positroid quotients is self-dual. The maximal chains of this poset are in bijection with FPPs.
Amply regular graphs with $μ$ close to half the valency and group divisible designs
In this paper, we classify connected amply regular graphs with diameter $d \geq 4$ and parameters $(v, k, λ, μ)$ satisfying $μ= \frac{k-1}{2}$, where $k\geq 5$ is odd. We prove that such a graph must be exactly one of the following: the $5$-cube, the graph $\K_2 \square Λ$, where $Λ$ is the unique bipartite $(0,2)$-graph on $14$ vertices, or the point--block incidence graph of a group divisible design with the dual property, namely a $GDDDP\left(2, k+1;\, k;\, 0, \frac{k-1}{2}\right)$. For the last family, we give equivalent characterizations in terms of bipartite $Q$-regular graphs and relation graphs of symmetric association schemes with five classes. Furthermore, we present constructions of such amply regular graphs, yielding infinite families of examples derived from Paley graphs, Peisert graphs, and Paley digraphs.
On the maximal dimension of an irreducible representation of the symmetric group
We prove that the maximal dimension $d_N$ of an irreducible representation of the symmetric group $S_N$ satisfies
$$d_N=\sqrt{N!} \, e^{-(\mathfrak{d}+o(1))\sqrt{N} }, \quad N\to \infty,$$
for some constant $\mathfrak{d}>0$. This answers a question raised by Vershik--Kerov in 1985.
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
Combinatorial counting problems pervade artificial intelligence, statistics, and discrete mathematics. Whether the task is enumerating subsets, multisets, permutations, partitions, or compositions under structural and arithmetic constraints, solving it remains a stubbornly manual exercise. Closed-form derivations are powerful but brittle, while naive encodings to propositional model counting or constraint satisfaction destroy the exchangeability that makes counting tractable in the first place. We present Cofola (COmbinatorial counting LAnguage with First-Order logic), a typed declarative language whose primitives are the combinatorial objects that recur in everyday counting questions, including sets, bags, tuples, sequences, circles, partitions, and compositions, together with natural relational and arithmetic constraints over them. A denotational semantics maps every Cofola program to a well-defined combinatorial counting problem, and a three-phase compilation pipeline (preprocessing, decomposition, and symmetry-preserving encoding) reduces this problem to a weighted first-order model counting (WFOMC) instance augmented with coefficient-extraction constraints. To stay inside known domain-liftable fragments whenever possible, the encoding groups indistinguishable entities, breaks the symmetry of unordered groupings lexicographically, and encodes sequences and circles via order axioms. On a suite of representative combinatorial counting problems, ranging from textbook math problems to multi-object scenarios that the closest prior framework cannot express, Cofola produces concise specifications and a uniform solving pipeline that is practical end-to-end.
The limits of Schur multipliers in Pólya conversion problems for the $q$-permanent function
This paper studies generalized Pólya conversion problems for the $q$-permanent \[ \operatorname{P}_q(A)=\sum_{σ\in S_n} q^{\ell(σ)} a_{1,σ(1)} \cdots a_{n,σ(n)}, \] where $q\in\mathbb{C}^*$ and $\ell(σ)$ is the permutation length. We show that for $n\geq 3$ and $q\neq \pm1$, the $q$-permanent is not linearly convertible to the determinant or the permanent, and we completely classify and give a geometric interpretation of the special case $n=2$. Focusing on Schur multiplier transformations, we characterize the space of Schur multiplier preservers. For $|q|\neq1$, the preserver exponents is a $(2n-2)$-dimensional vector space consisting of additive matrices satisfying a discrete Monge relation. In contrast, for $q$ on the unit circle, the solution space becomes a countable union of affine lattices. For lower Hessenberg matrices, we prove that the rigidity phenomenon disappears, yielding an explicit determinantal reduction of the $q$-permanent and an $O(n^3)$ evaluation algorithm.
The central results of this paper establish sharp rigidity thresholds governing permutational symmetries and mixed conversion identities. First, we classify permutational converter exponents and show that, for $n\geq4$, the admissible symmetries are precisely the elements of the dihedral group. Second, we solve a mixed conversion problem that expresses the $q$-permanent as a linear combination of the determinant and the permanent, and prove that the corresponding solution space is nonempty if and only if $n\leq4$, in which case it decomposes into finitely many affine components modeled on the preserver exponent space. This mixed formulation yields a direct algebraic characterization of the $q$-permanent's zero locus for $n \le 4$ via a generalized Pólya identity.
Complex Representations of Groups and Involutions of its Automorphisms
In this work, we establish a relationship between the sum of irreducible character degrees and the number of twisted involutions associated with the automorphisms of a finite group. We develop algorithmic frameworks for evaluating these quantities in the context of inner automorphisms and the symmetric group $\mathfrak{S}_n$. As an application, we provide a criterion for identifying groups that possess complex (non-real) irreducible representations and explore the structural consequences arising from these results.