group
10226 papers tagged with this keyword
Chern-Simons theories with defects, Rogers-Ramanujan type functions and eta-products
We study the line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric Chern-Simons (CS) theories with (special)unitary, symplectic, orthogonal and exceptional gauge groups. We find that they have several beautiful infinite product $q$-series expressions in terms of Ramanujan's general theta function. For the theories with fundamental chiral multiplets, the pairs of the Neumann half-indices and one-point functions of the fundamental Wilson lines form a basis for the line defect indices in terms of the Rogers-Ramanujan type functions. Furthermore, the theories with an adjoint chiral admit the expressions as the eta-products. In particular, for the $SU(N)_{-2N}$ CS theory, there is a one-to-one correspondence between the BPS boundary local operators and the $N$-core partitions.
Congruence Classes of Simplex Structures in Finite Field Vector Spaces
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs.
Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.
Combinatorics of the irreducible components of $\mathcal{H}_n^Γ$ in type $D$ and $E$
In this article, we give a combinatorial model in terms of symmetric cores of the indexing set of the irreducible components of $\mathcal{H}_n^Γ$ (the $Γ$-fixed points of the Hilbert scheme of $n$ points in $\mathbb{C}^2$) containing a monomial ideal, whenever $Γ$ is a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ isomorphic to the binary dihedral group. Moreover, we show that if $Γ$ is a subgroup of $\mathrm{SL}_2(\mathbb{C})$ isomorphic to the binary tetrahedral group, to the binary octahedral group or to the binary icosahedral group, then the $Γ$-fixed points of $\mathcal{H}_n$ which are also fixed under $\mathbb{T}_1$, the maximal diagonal torus of $\mathrm{SL}_2(\mathbb{C})$, are in fact $\mathrm{SL}_2(\mathbb{C})$-fixed points. Finally, we prove that in that case, the irreducible components of $\mathcal{H}_n^Γ$ containing a $\mathbb{T}_1$-fixed point are of dimension $0$.
Homology of Segre powers of Boolean and subspace lattices
Published in Enumer. Comb. Appl. 5 (2025), no. 3, Paper No. S2R19, 21 pp
• View Publication
• BIB
Segre products of posets were defined by Björner and Welker (2005). We investigate the homology representations of the $t$-fold Segre power $B_n^{(t)}$ of the Boolean lattice $B_n$. The direct product $\sym_n^{\times t}$ of the symmetric group $\sym_n$ acts on the homology of rank-selected subposets of $B_n^{(t)}$. We give an explicit formula for the decomposition into $\sym_n^{\times t}$-irreducibles of the homology of the full poset, as well as formulas for the diagonal action of the symmetric group $\sym_n$. For the rank-selected homology, we show that the stable principal specialisation of the product Frobenius characteristic of the $\sym_n^{\times t}$-module coincides with the corresponding rank-selected invariant of the $t$-fold Segre power of the subspace lattice.
Partition of Abelian groups into zero-sum sets by complete mappings and its application to the existence of a magic rectangle set
Published in Journal of Algebraic Combinatorics 61(24) (2025)
• View Publication
• BIB
A complete mapping of a group $Γ$ is a bijection $\varphi\colon Γ\to Γ$ for which the mapping $x \mapsto x+\varphi(x)$ is a bijection. In this paper we consider the existence of a complete mapping $\varphi$ of $Γ$ and a partition $S_1,S_2,\ldots S_t$ of elements of $Γ$, such that $\sum_{s\in S_i}s=\sum_{s\in S_i}\varphi(s)=0$ for every $i$, $1 \leq i \leq t$.
A $Γ$-magic rectangle set $MRS_Γ(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $Γ$ of order $abc$, each appearing once, with all row sums in every rectangle equal to a constant $ω\in Γ$ and all column sums in every rectangle equal to a constant $δ\in Γ$.
While a complete characterization of MRS$_Γ(a,b;c)$ exists for cases where $\{a,b\}\not=\{2k+1,2^α\}$, the scenario where $\{a,b\}=\{2k+1,2^α\}$ remains unsolved for $α>1$. Using the partition of $Γ$ into zero-sum sets by complete mappings, we give some sufficient conditions that a $Γ$-magic rectangle set MRS$_Γ(2k+1, 2^α;c)$ exists.
The balancing index over the alternating group
The balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used.
Poisson approximation for large permutation groups
Published in Advances in Applied Mathematics Volume 167, Article 102883 (2025)
• View Publication
• BIB
Let $G_{k,n}$ be a group of permutations of $kn$ objects which permutes things independently in disjoint blocks of size $k$ and then permutes the blocks. We investigate the probabilistic and/or enumerative aspects of random elements of $G_{k,n}$. This includes novel limit theorems for fixed points, cycles of various lengths, number of cycles and inversions. The limits are compound Poisson distributions with interesting dependence structure.
Rational points of fixed denominator in real toric arrangements
We give a sufficient condition on a positive integer $m$ for every stratum of a given real toric hyperplane arrangement to contain a rational point of denominator $m$. As a consequence, we give a sufficient condition on $m$ for the degree $m$ Frobenius pushforward of the structure sheaf on a smooth toric variety to contain all possible summands in the Picard group.
Proportion-Based Hypergraph Burning
Graph burning is a discrete process that models the spread of influence through a network using a fire as a proxy for the type of influence being spread. This process was recently extended to hypergraphs. We introduce a variant of hypergraph burning that uses an alternative propagation rule for how the fire spreads - if some fixed proportion of vertices are on fire in a hyperedge, then in the next round the entire hyperedge catches fire. This new variant has more potential for applications than the original model, and it is similarly viable for obtaining deep theoretical results. We obtain bounds which apply to general hypergraphs, and introduce the concept of the burning distribution, which describes how the model changes as the proportion ranges over (0,1). We also obtain computational results which suggest there is a strong correlation between the automorphism group order and the lazy burning number of a balanced incomplete block design.
On a conjecture by Sylwia Cichacz and Tomasz Hinc, and a related problem
A $Γ$-magic rectangle set $\mathrm{MRS}_Γ(a, b; c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are the elements of an abelian group $Γ$ of order $abc$, each one appearing once and in a unique array in such a way that the sum of the elements of each row is equal to a constant $ω\in Γ$ and the sum of the elements of each column is equal to a constant $δ\in Γ$. In this paper we provide new evidences for the validity of a conjecture proposed by Sylwia Cichacz and Tomasz Hinc on the existence of an $\mathrm{MRS}_Γ(a,b;c)$. We also generalize this problem, describing constructions of $Γ$-magic rectangle sets, whose elements are partially filled arrays.
Irreducible characters of the generalized symmetric group
Published in J. Lie Theory 35 (2025), 593--616
• Search Publication
The paper studies how to compute irreducible characters of the generalized symmetric group $C_k\wr{S}_n$ by iterative algorithms. After reproving the Ariki-Koike version of the Murnaghan-Nakayama rule by vertex algebraic methods, we formulate a new iterative formula for characters of the generalized symmetric group. As applications, we find a numerical relation between the character values of $C_k\wr S_n$ and modular characters of $S_{kn}$.
Random Subwords and Pipe Dreams
Fix a probability $p\in(0,1)$. Let $s_i$ denote the transposition in the symmetric group $\mathfrak{S}_n$ that swaps $i$ and $i+1$. Given a word $\mathsf{w}$ over the alphabet $\{s_1,\ldots,s_{n-1}\}$, we can generate a random subword by independently deleting each letter of $\mathsf{w}$ with probability $1-p$. For a large class of starting words $\mathsf{w}$ -- including all alternating reduced words for the decreasing permutation -- we compute precise asymptotics (as $n\to\infty$) for the expected number of inversions of the permutation represented by the random subword. This result can also be seen as an asymptotic formula for the expected number of inversions of a permutation represented by a certain random (non-reduced) pipe dream. In the special case when $\mathsf{w}$ is the word $(s_{n-1})(s_{n-2}s_{n-1})\cdots(s_1s_2\cdots s_{n-1})$, we find that the expected number of inversions of the permutation represented by the random subword is asymptotically equal to \[\frac{2\sqrt{2}}{3\sqrtπ}\sqrt{\frac{p}{1-p}}\,n^{3/2};\] this settles a conjecture of Morales, Panova, Petrov, and Yeliussizov.
A Vershik-Kerov theorem for wreath products
Let $G_{n,k}$ be the group of permutations of $\{1,2,\ldots, kn\}$ that permutes the first $k$ symbols arbitrarily, then the next $k$ symbols and so on through the last $k$ symbols. Finally the $n$ blocks of size $k$ are permuted in an arbitrary way. For $σ$ chosen uniformly in $G_{n,k}$, let $L_{n,k}$ be the length of the longest increasing subsequence in $σ$. For $k,n$ growing, we determine that the limiting mean of $L_{n,k}$ is asymptotic to $4\sqrt{nk}$. This is different from parallel variations of the Vershik-Kerov theorem for colored permutations.
Orthogonal and oriented Fano planes, triangular embeddings of $K_7,$ and geometrical representations of the Frobenius group $F_{21}$
In this paper we present some geometrical representations of the Frobenius group of order $21$ (henceforth, $F_{21}$). The main focus is on investigating the group of common automorphisms of two orthogonal Fano planes and the automorphism group of a suitably oriented Fano plane. We show that both groups are isomorphic to $F_{21},$ independently of the choice of the two orthogonal Fano planes and of the choice of the orientation.
We show, moreover, that any triangular embedding of the complete graph $K_7$ into a surface is isomorphic to the classical toroidal biembedding and hence is face $2$-colorable, with the two color classes defining a pair of orthogonal Fano planes. As a consequence, we show that, for any triangular embedding of $K_7$ into a surface, the group of the automorphisms that preserve the color classes is the Frobenius group of order $21.$
This way we provide three geometrical representations of $F_{21}$. Also, we apply the representation in terms of two orthogonal Fano planes to give an alternative proof that $F_{21}$ is the automorphism group of the Kirkman triple system of order $15$ that is usually denoted as #61.
Co-Engel graphs of certain finite non-Engel groups
Let $G$ be a group. The co-Engel graph of $G$) with $G$ whose vertex set is $G$ and two distinct vertices $x$ and $y$ are adjacent if $[x,{}_k y]\neq1$ and $[y,{}_k x] \neq 1$ for all positive integer $k$, where $[x,{}_ky]$ is the iterated commutator $[x,y,y,\ldots,y]$, with $k$ terms $y$ in the expression; usually we delete isolated vertices (these are the left Engel elements).
This graph, under the name ``Engel graph'', was introduced by Abdollahi~\cite{aa}. However, we argue that it is more naturally called the ``co-Engel graph''.
We compute genus, various spectra, energies and Zagreb indices of co-Engel graphs for groups including the dihedral and generalized quaternion groups and nonabelian groups of order $pq$ where $p$ and $q$ are primes. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel is at most $4$ and the graph is toroidal or projective. Further, we show that the co-Engel graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper.
We also look briefly at the directed Engel graph, with an arc $x\to y$ if $[y,{}_kx]=1$ for some $k$. We show that, if $G$ is a finite soluble group, this graph either is the complete directed graph (which occurs only if $G$ is nilpotent), or has pairs of vertices joined only by single arcs. We also show that the (directed or undirected) Engel graph of a group $G$ is the lexicographic product of a complete graph of order $Z_\infty(G)$ by the (directed or undirected) Engel graph of $G/Z_\infty(G)$, where $Z_\infty(G)$ is the hypercenter of $G$.
On the Automorphisms of Token Graphs Generated by $2$-cuts with the Same Neighbours
Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces an automorphism of $F_k(G)$ in a natural way. Suppose that $S:=\{x,y\}$ is a cut set of $G$, such that $x$ and $y$ have the same neighbours in $G\setminus \{x,y\}$. In this paper we show that there exist a large number of automorphisms of $F_k(G)$ defined by $S$ that are not induced by automorphisms of $G$. We also describe the group produced by all such $2$-cuts of $G$.
Local permutation polynomials and their companions
Gutierrez and Urroz (2023) have proposed a family of local permutation polynomials over finite fields of arbitrary characteristic based on a class of symmetric subgroups without fixed points called $e$-Klenian groups. The polynomials within this family are referred to as $e$-Klenian polynomials. Furthermore, they have shown the existence of companions for the $e$-Klenian polynomials when the characteristic of the finite field is odd. Here, we present three new families of local permutation polynomials over finite fields of even characteristic. We also consider the problem of the existence of companions for the $e$-Klenian polynomials over finite fields of even characteristic. More precisely, we prove that over finite fields of even characteristic, the $0$-Klenian polynomials do not have any companions. However, for $e \geq 1$, we explicitly provide a companion for the $e$-Klenian polynomials. Moreover, we provide a companion for each of the new families of local permutation polynomials that we introduce.
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Symmetrizing polytopes and posets
Motivated by the authors' work on permuto-associahedra, which can be considered as a symmetrization of the associahedron using the symmetric group, we introduce and study the $\mathfrak{G}$-symmetrization of an arbitrary polytope $P$ for any reflection group $\mathfrak{G}$. We show that the combinatorics, and moreover, the normal fan of such a symmetrization can be recovered from its refined fundamental fan, a decorated poset describing how the normal fan of $P$ subdivides the fundamental chamber associated to the reflection group $\mathfrak{G}$.
One important application of our results is providing a way to approach the realization problem of a $\mathfrak{G}$-symmetric poset F, that is, the problem of constructing a polytope whose face poset is F. Instead of working with the original poset F, we look at its dual poset T (which is $\mathfrak{G}$-symmetric as well) and focus on a generating subposet Z of T, and reduce the problem to realizing Z as a refined fundamental fan.
Non-isomorphic Cayley Graphs with Same Random Walk Distributions
We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2.