group
10226 papers tagged with this keyword
From Schubert Varieties to Doubly-Spherical Varieties
Horospherical Schubert varieties are determined. It is shown that the stabilizer of an arbitrary point in a Schubert variety is a strongly solvable algebraic group. The connectedness of this stabilizer subgroup is discussed. Moreover, a new family of spherical varieties, called doubly spherical varieties, is introduced. It is shown that every nearly toric Schubert variety is doubly spherical.
Bessenrodt--Ono inequalities for $\ell$-tuples of pairwise commuting permutations
Let $S_n$ denote the symmetric group. We consider \begin{equation*} N_{\ell}(n) := \frac{\left\vert Hom\left( \mathbb{Z}^{\ell},S_n\right) \right\vert}{n!} \end{equation*} which also counts the number of $\ell$-tuples $π=\left( π_1, \ldots, π_{\ell}\right) \in S_n^{\ell}$ with $π_i π_j = π_j π_i$ for $1 \leq i,j \leq \ell$ scaled by $n!$. A recursion formula, generating function, and Euler product have been discovered by Dey, Wohlfahrt, Bryman and Fulman, and White. Let $a,b, \ell \geq 2$. It is known by Bringman, Franke, and Heim, that the Bessenrodt--Ono inequality \begin{equation*} Δ_{a,b}^{\ell}:= N_{\ell}(a) \, N_{\ell}(b) - N_{\ell}(a+b) >0 \end{equation*} is valid for $a,b \gg 1$ and by Bessenrodt and Ono that it is valid for $\ell =2$ and $a+b >9$. In this paper we prove that for each pair $(a,b)$ the sign of $\{Δ_{a,b}^{\ell} \}_{\ell}$ is getting stable. In each case we provide an explicit bound. The numbers $N_{\ell}\left( n\right) $ had been identified by Bryan and Fulman as the $n$-th orbifold characteristics, generalizing work by Macdonald and Hirzebruch--Höfer concerning the ordinary and string-theoretic Euler characteristics of symmetric products, where $N_2(n)=p(n) $ represents the partition function.
The action of component groups on irreducible components of Springer fibers
Let $G$ be a simple Lie group. Consider a nilpotent element $e\in \mathfrak{g}$. Let $Z_G(e)$ be the centralizer of $e$ in $G$, and let $A_e:= Z_G(e)/Z_G(e)^{o}$ be its component group. Write $\text{Irr}(\mathcal{B}_e)$ for the set of irreducible components of the Springer fiber $\mathcal{B}_e$. We have an action of $A_e$ on $\text{Irr}(\mathcal{B}_e)$. When $\mathfrak{g}$ is exceptional, we give an explicit description of $\text{Irr}(\mathcal{B}_e)$ as an $A_e$-set. For $\mathfrak{g}$ of classical type, we describe the stabilizers for the $A_e$-action. With this description, we prove a conjecture of Lusztig and Sommers. These results suggest relations (first proposed by Lusztig) between Springer fibers and cells in Weyl groups.
Critical groups in harmonic abelian quotients
A harmonic cover of graphs $p:\widetilde{X}\to X$ induces a surjective pushforward morphism $p_*:\operatorname{Jac}(\widetilde{X})\to \operatorname{Jac}(X)$ on the critical groups. In the case when $p$ is Galois with abelian Galois group, we compute the order of the kernel of $p_*$, and hence the relationship between the numbers of spanning trees of $\widetilde{X}$ and $X$, in terms of Zaslavsky's bias matroid associated to the cover $p:\widetilde{X}\to X$.
On the size of sets avoiding a general structure
Published in Grad. J. Math., 9(2):22-26, 2024
• Search Publication
Given a finite abelian group $G$ and a subset $S\subseteq G$, we let $N_{G,\ S}$ be the smallest integer $N$ such that for any subset $A\subseteq G$ with $N$ elements, we have $g+S\subseteq A$ for some $g\in G$. Using the probabilistic method, we prove that
\begin{align*}
\frac{|H_G(S)|-1}{|H_G(S)|}|G|+\Biggl\lceil\biggl(\frac{|G|}{|H_G(S)|}\biggr)^{1-|H_G(S)|/|S|}\Biggr\rceil\le N_{G,\ S}\le \biggl\lfloor\frac{|S|-1}{|S|}|G|\biggr\rfloor+1,
\end{align*}
where $H_G(S)$ is the stabilizer of $S$.
On torsion in eulerian magnitude homology of Erdos-Renyi random graphs
In this paper we investigate the regimes where an Erdos-Renyi random graph has torsion free eulerian magnitude homology groups. To this end, we start be introducing the eulerian Asao-Izumihara complex - a quotient CW-complex whose homology groups are isomorphic to direct summands of the graph eulerian magnitude homology group. We then proceed by producing a vanishing threshold for a shelling of eulerian Asao-Izumihara complex. This will lead to a result establishing the regimes where eulerian magnitude homology of Erdos-Renyi random graphs is torsion free.
Condensed Ricci Curvature on Paley Graphs and their Generalizations
We explore properties of generalized Paley graphs and we extend a result of Lim and Praeger by providing a more precise description of the connected components of disconnected generalized Paley graphs. This result leads to a new characterization of when generalized Paley graphs are disconnected. We also provide necessary and sufficient divisibility conditions for the multiplicative group of the prime subfield of certain finite fields to be contained in the multiplicative subgroup of nonzero $k$-th powers. This latter result plays a crucial role in our development of a sorting algorithm on generalized Paley graphs that exploits the vector space structure of finite fields to partition certain subsets of vertices in a manner that decomposes the induced bipartite subgraph between them into complete balanced bipartite subgraphs. As a consequence, we establish a matching condition between these subsets of vertices that results in an explicit formula for the condensed Ricci curvature on certain Paley graphs and their generalizations.
On Oriented Diameter of Power Graphs
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of $2$-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group.
Combined voltage assignments, factored lifts, and their spectra
We consider lifting eigenvalues and eigenvectors of graphs to their {\em factored lifts}, derived by means of a {\em combined voltage assignment} in a group. The latter extends the concept of (ordinary) voltage assignments known from regular coverings and corresponds to the cases of generalized covers of Potočnik and Toledo (2021) in which a group of automorphisms of a lift acts freely on its arc set. With the help of group representations and certain matrices over complex group rings associated with the graphs to be lifted, we develop a method for the determination of the complete spectra of the factored lift graphs and derive a sufficient condition for lifting eigenvectors.
On the critical group of the k-partite graph
The critical group of a connected graph is closely related to the graph Laplacian, and is of high research value in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. In this paper, we study the k-partite graphs and introduce an algorithm to get the structure of their critical groups by calculating the Smith normal forms of their graph Laplacians. When k is from 2 to 6, we characterize the structure of the critical groups completely, which can generalize the results of the complete bipartite graphs.
Random sampling of permutations through quantum circuits
In this paper, we introduce a classical algorithm for random sampling of permutations, drawing inspiration from the Steinhaus-Johnson-Trotter algorithm. Our approach takes a comprehensive view of permutation sampling by expressing them as products of adjacent transpositions. Building on this, we develop a quantum analogue of the classical algorithm using a quantum circuit model for random sampling of permutations. As an application, we present a quantum algorithm for the two-sample randomization test to assess the difference of means in classical data. Finally, we propose a nested corona product graph generative model for symmetric groups, which facilitates random sampling of permutations from specific sets of permutations through a quantum circuit model.
Coxeter groups and Billey-Postnikov decompositions
In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schubert varieties. They have also been used in the study of inversion hyperplane arrangements and permutation pattern avoidance. We survey many of these applications.
Rank fluctuations of matrix products and a moment method for growing groups
We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275.
The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge.
On the fractional matching extendability of Cayley graphs of Abelian groups
Published in Published in the Electronic Journal of Combinatorics, 32 (2025), no. 3, Paper No. 3.9, 22 pp
• View Publication
• BIB
Fractional matching extendability is a concept that brings together two widely studied topics in graph theory, namely that of fractional matchings and that of matching extendability. A {\em fractional matching} of a graph $Γ$ with edge set $E$ is a function $f$ from $E$ to the real interval $[0,1]$ with the property that for each vertex $v$ of $Γ$, the sum of $f$-values of all the edges incident to $v$ is at most $1$. When this sum equals $1$ for each vertex $v$, the fractional matching is {\em perfect}. A graph of order at least $2t+1$ is {\em fractional $t$-extendable} if it contains a matching of size $t$ and if each such matching $M$ can be extended to a fractional perfect matching in the sense that the corresponding function $f$ assigns value $1$ to each edge of $M$.
In this paper, we study fractional matching extendability of Cayley graphs of Abelian groups. We show that, except for the odd cycles, all connected Cayley graphs of Abelian groups are fractional $1$-extendable and we classify the fractional $2$-extendable Cayley graphs of Abelian groups. This extends the classification of $2$-extendable (in the classical sense) connected Cayley graphs of Abelian groups of even order from 1995, obtained by Chan, Chen and Yu.
Orthogonal roots, Macdonald representations, and quasiparabolic sets
Published in Forum of Mathematics, Sigma 13 (2025) e110
• View Publication
• BIB
Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.
Coverings of Groups, Regular Dessins, and Surfaces
A coset geometry representation of regular dessins is established, and employed to describe quotients and coverings of regular dessins and surfaces. A characterization is then given of face-quasiprimitive regular dessins as coverings of unicellular regular dessins. It shows that there are exactly three O'Nan-Scott-Praeger types of face-quasiprimitive regular dessins which are smooth coverings of unicellular regular dessins, leading to new constructions of interesting families of regular dessins. Finally, a problem of determining smooth Schur covering of simple groups is initiated by studying coverings between $\SL(2,p)$ and $\PSL(2,p)$, giving rise to interesting regular dessins like Fibonacci coverings.
The quasi-polynomiality of mod q permutation representation for a linear finite group action on a lattice
For given linear action of a finite group on a lattice and a positive integer q, we prove that the mod q permutation representation is a quasi-polynomial in q. Additionally, we establish several results that can be considered as mod q-analogues of results by Stapledon for equivariant Ehrhart quasi-polynomials. We also prove a reciprocity-type result for multiplicities of irreducible decompositions.
Orbital categories and weak indexing systems
We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing categories and characterize various unitality conditions.
Within this sits a natural generalization $\mathrm{Index}_{\mathcal{T}} \subset \mathrm{wIndex}_{\mathcal{T}}$ of Blumberg-Hill's indexing systems, consisting of arities for structures possessing binary operations and unit elements. We characterize the relationship between the posets of unital weak indexing systems and indexing systems, the latter remaining isomorphic to transfer systems on this level of generality. We use this to characterize the poset of unital $C_{p^n}$-weak indexing systems.
On isomorphisms of $m$-Cayley digraphs
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In particular, $1$-Cayley digraph is just the Cayley digraph. We first characterize the normalizer of $G$ in the full automorphism group of an $m$-Cayley digraph of a finite group $G$. This generalizes a similar result for Cayley digraph achieved by Godsil in 1981. Then we use this to study the isomorphisms of $m$-Cayley digraphs. The CI-property of a Cayley digraph (CI stands for `Cayley isomorphism') and the DCI-groups (whose Cayley digraphs are all CI-digraphs) are two key topics in the study of isomorphisms of Cayley digraphs. We generalize these concepts into $m$-Cayley digraphs by defining $m$CI- and $m$PCI-digraphs, and correspondingly, $m$DCI- and $m$PDCI-groups. Analogues to Babai's criterion for CI-digraphs are given for $m$CI- and $m$PCI-digraphs, respectively. With these we then classify finite $m$DCI-groups for each $m\geq 2$, and finite $m$PDCI-groups for each $m\geq 4$. Similar results are also obtained for $m$-Cayley graphs. Note that 1DCI-groups are just DCI-groups, and the classification of finite DCI-groups is a long-standing open problem that has been worked on a lot.
Structural and Spectral Properties of Chordal Ring, Multi-ring and Mixed Graphs
The chordal ring (CR) graphs are a well-known family of graphs used to model some interconnection networks for computer systems in which all nodes are in a cycle. Generalizing the CR graphs, in this paper, we introduce the families of chordal multi-ring (CMR), chordal ring mixed (CRM), and chordal multi-ring mixed (CMRM) graphs. In the case of mixed graphs, we can have edges (without direction) and arcs (with direction). The chordal ring and chordal ring mixed graphs are bipartite and 3-regular. They consist of a number $r$ (for $r\geq 1$) of (undirected or directed) cycles with some edges (the chords) joining them. In particular, for CMR, when $r=1$, that is, with only one undirected cycle, we obtain the known families of chordal ring graphs. Here, we use plane tessellations to represent our chordal multi-ring graphs. This allows us to obtain their maximum number of vertices for every given diameter. Besides, we computationally obtain their minimum diameter for any value of the number of vertices. Moreover, when seen as a lift graph (also called voltage graph) of a base graph on Abelian groups, we obtain closed formulas for the spectrum, that is, the eigenvalue multi-set of its adjacency matrix.