group
10399 papers tagged with this keyword
Generalized Diagonals in Positive Semi-Definite Matrices
Published
• View Publication
• BIB
We describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.
The realization spaces of certain conic-line arrangements of degree 7
Published
• View Publication
• BIB
We study the embedded topology of certain conic-line arrangements of degree 7. Two new examples of Zariski pairs are given. Furthermore, we determine the number of connected components of the conic-line arrangements. We also calculate the fundamental groups using SageMath and the package Sirocco in the appendix.
Enumeration of dicirculant digraphs
Published
• View Publication
• BIB
Let $T_{4p}=\langle a,b\mid a^{2p}=1,a^p=b^2, b^{-1}ab=a^{-1}\rangle$ be the dicyclic group of order $4p$. A Cayley digraph over $T_{4p}$ is called a dicirculant digraph. In this paper, we calculate the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) and out-degree $k$ for every $k$.
Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs
Published
• View Publication
• BIB
In this article, we investigate symmetric designs admitting a flag-transitive and point-primitive affine automorphism group. We prove that if an automorphism group $G$ of a symmetric $(v,k,λ)$ design with $λ$ prime is point-primitive of affine type, then $G=2^{6}{:}\mathrm{S}_{6}$ and $(v,k,λ)=(16,6,2)$, or $G$ is a subgroup of $\mathrm{AΓL}_{1}(q)$ for some odd prime power $q$. In conclusion, we present a classification of flag-transitive and point-primitive symmetric designs with $λ$ prime, which says that such an incidence structure is a projective space $\mathrm{PG}(n,q)$, it has parameter set $(15,7,3)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 2)$, $(16,6,2)$ or $(45, 12, 3)$, or $v=p^d$ where $p$ is an odd prime and the automorphism group is a subgroup of $\mathrm{AΓL}_{1}(q)$.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
On the critical group of the k-partite graph
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.