group
10226 papers tagged with this keyword
The length of the longest increasing subsequence of Mallows permutation models with $L^1$ and $L^2$ distances
Introduced by Mallows in statistical ranking theory, Mallows permutation model is a class of non-uniform probability measures on the symmetric group $S_n$ that depend on a distance metric $d(σ,τ)$ on $S_n$ and a scale parameter $β$. Taking the distance metric to be the $L^1$ and $L^2$ distances--which are respectively known as Spearman's footrule and Spearman's rank correlation in the statistics literature--leads to Mallows permutation models with $L^1$ and $L^2$ distances.
In this paper, we study the length of the longest increasing subsequence of random permutations drawn from Mallows permutation models with $L^1$ and $L^2$ distances. For both models and various regimes of the scale parameter $β$, we determine the typical order of magnitude of the length of the longest increasing subsequence and establish a law of large numbers for this length. For Mallows permutation model with the $L^1$ distance, when $β\sim θn^{-1}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-1}\ll β\ll 1$, this typical length is of order $n\sqrtβ$. For Mallows permutation model with the $L^2$ distance, when $β\sim θn^{-2}$ for some fixed $θ>0$, the typical length of the longest increasing subsequence is of order $\sqrt{n}$; when $n^{-2}\ll β\ll 1$, this typical length is of order $nβ^{\frac{1}{4}}$.
Cycle matrices: A combinatorial approach to the set-theoretic solutions of the Quantum Yang-Baxter Equation
An $n\times n$ matrix $M=[m_{ij}]$ with $m_{ij}\in U_n=\{1,2,\ldots,n\}$ will be called a cycle matrix if $(U_n,\cdot)$ is a cycle set, where $i\cdot j=m_{ij}$. We study these matrices in this article. Using these matrices, we give some recipes to construct solutions, which include the multipermutation level $2$ solutions. As an application of these, we construct a multi-permutation solution of level $r$ for all $r\geq 1$. Our method gives alternate proof that the class of permutation groups of solutions contains all finite abelian groups.
Irregular labeling on Abelian groups of digraphs
Let $\overrightarrow{G}$ be a directed graph of order $n$ with no component of order less than $4$, and let $Γ$ be a finite Abelian group such that $|Γ|\geq n+6$. We show that there exists a mapping $ψ$ from the arc set $E(\overrightarrow{G})$ of $\overrightarrow{G}$ to an Abelian group $Γ$ such that if we define a mapping $\varphi_ψ$ from the vertex set $V(\overrightarrow{G})$ of $\overrightarrow{G}$ to $Γ$ by $$\varphi_ψ(x)=\sum_{y\in N^+(x)}ψ(xy)-\sum_{y\in N^-(x)}ψ(yx),\;\;\;(x\in V(\overrightarrow{G})),$$ then $\varphi_ψ$ is injective. Such a labeling $ψ$ is called \textit{irregular}.
$\mathbb Z_3^8$ is not a CI-group
A Cayley graph Cay$(G;S)$ has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay$(G;T)$, there is a group automorphism $α$ of $G$ such that $S^α=T$. The DCI (Directed Cayley Isomorphism) property is defined analogously on digraphs. A group $G$ is a CI-group if every Cayley graph on $G$ has the CI property, and is a DCI-group if every Cayley digraph on $G$ has the DCI property. Since a graph is a special type of digraph, this means that every DCI-group is a CI-group, and if a group is not a CI-group then it is not a DCI-group, but there are well-known examples of groups that are CI-groups but not DCI-groups.
In 2009, Spiga showed that $\mathbb Z_3^8$ is not a DCI-group, by producing a digraph that does not have the DCI property. He also showed that $\mathbb Z_3^5$ is a DCI-group (and therefore also a CI-group). Until recently the question of whether there are elementary abelian $3$-groups that are not CI-groups remained open. In a recent preprint with Dave Witte Morris, we showed that $\mathbb Z_3^{10}$ is not a CI-group. In this paper we show that with slight modifications, the underlying undirected graph of order $3^8$ described by Spiga is does not have the CI property, so $\mathbb Z_3^8$ is not a CI-group.
Sign-twisted generating functions of the odd length for Weyl groups of type $D$
The odd length in Weyl groups is a new statistic analogous to the classical Coxeter length, and features combinatorial and parity conditions. We establish explicit closed product formulas for the sign-twisted generating functions of the odd length for parabolic quotients of Weyl groups of type $D$. As a consequence, we verify three conjectures of Brenti and Carnevale on evaluating closed forms for these generating functions. We then give an equivalent condition for the sign-twisted generating functions to be expressible as products of cyclotomic polynomials, settling a conjecture of Stembridge.
Contractibility of the orbit space of the $p$-subgroup complex via Brown-Forman discrete Morse theory
We give a simple proof that the orbit space of the $p$-subgroup complex of a finite group is contractible using Brown-Forman discrete Morse theory. This result was originally conjectured by Webb and proved by Symonds.
The Gini index in the representation theory of the general linear group
The Gini index is a function that attempts to measure the amount of inequality in the distribution of a finite resource throughout a population. It is commonly used in economics as a measure of inequality of income or wealth. We define a discrete Gini index on the set of integer partitions with at most $n$ parts and show how this function emerges in the representation theory of the complex general linear group.
Classifying quotients on Coxeter groups by isomorphism in Bruhat order
We classify all quotients $W/W_J$ up to isomorphism in Bruhat order, with $(W,S)$ a Coxeter system and $W_J$ a parabolic subgroup of $W$. In particular, the non-trivial isomorphisms fall into a small number of cases which are highly restricted; all have $W$ finite and $W_J$ a maximal parabolic. This has the immediate application of classifying dominant and antidominant blocks of category $\mathcal O$ for Kac-Moody algebras up to equivalence.
The set-theoretic Yang-Baxter equation, Kimura semigroups and functional graphs
Published in Research in the Mathematical Sciences, volume 12, article number 34, (2025)
• Search Publication
We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.
Chromatic numbers of Cayley graphs of abelian groups: A matrix method
Published in Linear Algebra and its Applications, Volume 676, 1 November 2023, Pages 277-295
• View Publication
• BIB
In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.
An alternate proof of Payan's theorem on cubelike graphs
A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply this method of Heuberger matrices to give an alternate proof of Payan's theorem.
Chromatic numbers of Cayley graphs of abelian groups: Cases of small dimension and rank
A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a previous article, the authors laid the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberger matrix the {\it dimension}, and the number of columns the {\it rank}. In this paper, we give precise numerical conditions that completely determine the chromatic number in all cases with dimension $1$; with rank $1$; and with dimension $\leq 3$ and rank $\leq 2$. For such a graph without loops, we show that it is $4$-colorable if and only if it does not contain a $5$-clique, and it is $3$-colorable if and only if it contains neither a diamond lanyard nor a $C_{13}(1,5)$, both of which we define herein. It is shown in another paper that as a special case of our theorem for dimension $3$ and rank $2$, we obtain improved upper bounds for minimal periods of optimal colorings of $6$-valent integer distance graphs.
A generalization of Zhu's theorem on six-valent integer distance graphs
Published
• View Publication
• BIB
Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on the group of integers under addition. In a previous paper, the authors develop general methods to approach the problem of finding chromatic numbers of Cayley graphs on abelian groups. To each such graph one associates an integer matrix. In some cases the chromatic number can be determined directly from the matrix entries. In particular, the authors completely determine the chromatic number whenever the matrix is of size $3\times 2$ -- precisely the size of the matrices associated to the graphs studied by Zhu. In this paper, then, we demonstrate that Zhu's theorem can be recovered as a special case of the authors' previous results.
The trianguline variety, tangent spaces and the Grothendieck-Springer resolution
By the work of Breuil-Hellmann-Schraen, we know that the trianguline variety contains crystalline companion points which are parametrised by pairs (w,w_sat) of permutations. We first define and study a certain combinatorial property of a pair (w',w) of permutations, linked to the Bruhat order, in the context of Weyl groups of root systems. We call good pairs the pairs satisfying this property (which is the vast majority of pairs) and bad pairs the other ones. We then give an exact formula for the dimension of the tangent space to the trianguline variety at (generic) crystalline companion points such that (w,w_sat) is a good pair. The method (due to Breuil-Hellmann-Schraen) is to first compute an analogous dimension for a local model of the trianguline variety built out of Grothendieck's simultaneous resolution. To achieve this, we prove a conjecture of Breuil-Hellmann-Schraen, describing the intersection of the closure of a Schubert cell with another Schubert cell on this local model (in the context of an arbitrary split reductive group), when this pair of cells is parametrised by a good pair of permutations. We give counter-examples to this conjecture for an infinite family of pairs of cells (associated to bad pairs).
The fundamental group in discrete homotopy theory
Published in Adv. in Appl. Math. 164 (2025), Paper No. 102838, 56 pp
• Search Publication
We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen theorem.
Fast computation of permutation equivariant layers with the partition algebra
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
On the cop number and the weak Meyniel conjecture for algebraic graphs
Published in European Journal of Combinatorics (2025)
• Search Publication
We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a result of Bollobás--Janson--Riordan, we show that the weak Meyniel conjecture holds for these algebraic graphs.
Restricted Partitions and $SL_2$ Cohomology
The aim of this paper is twofold. First, we study the number of partitions of a positive integer $m$ into at most $n$ parts in a given set $A$. We prove that such a number is bounded by the $n$-th Fibonacci number $F(n)$ for any $m$ and some family of sets $A$ including sets of powers of an integer. Then, in the second part of the paper, we provide new results in bounding the cohomology of the simple algebraic group $SL_2$ with coefficients in Weyl modules.
The group vertex magicness of unicyclic and bicyclic graphs
In this paper, we give a characterization of unicyclic graphs with diameter at most 4 which are A-vertex magic. Moreover, let G be a bicyclic graph of diameter 3, then G is group vertex magic if and only if G = M11(0, 0).
Error Correcting Codes From General Linear Groups
The parameters of the AG codes on general linear groups are found. The hyperplane sections having the minimum (or maximum) number of rational points are determined.