Showing 1–23 of 23 results for author: Dey, H K

$q$-analogues of Fisher's inequality and oddtown theorem

Authors: Hiranya Kishore Dey

Abstract: A classical result in design theory, known as Fisher's inequality, states that if every pair of clubs in a town shares the same number of members, then the number of clubs cannot exceed the number of inhabitants in the town. In this short note, we establish a $q$-analogue of Fisher's inequality. Additionally, we present a $q$-analogue of the oddtown theorem for the case when $q$ is an odd prime po… ▽ More A classical result in design theory, known as Fisher's inequality, states that if every pair of clubs in a town shares the same number of members, then the number of clubs cannot exceed the number of inhabitants in the town. In this short note, we establish a $q$-analogue of Fisher's inequality. Additionally, we present a $q$-analogue of the oddtown theorem for the case when $q$ is an odd prime power. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Comments: 9 pages, Comments and suggestions are welcome

MSC Class: 05D05; 05A30

A descent-excedance correspondence in colored permutation groups

Authors: Hiranya Kishore Dey, Umesh Shankar, Sivaramakrishnan Sivasubramanian

Abstract: It is well known that descents and excedances are equidistributed in the symmetric group. We show that the descent and excedance enumerators, summed over permutations with a fixed first letter are identical when we perform a simple change of the first letter. We generalize this to type B and other colored permutation groups. We are led to defining descents and excedances through linear orders. Wit… ▽ More It is well known that descents and excedances are equidistributed in the symmetric group. We show that the descent and excedance enumerators, summed over permutations with a fixed first letter are identical when we perform a simple change of the first letter. We generalize this to type B and other colored permutation groups. We are led to defining descents and excedances through linear orders. With respect to a particular order, when the number of colors is even, we get a result that generalizes the type B results. Lastly, we get a type B counterpart of Conger's result which refines the well known Carlitz identity. △ Less

Submitted 30 October, 2024; originally announced October 2024.

Comments: 14 pages

MSC Class: 05A05; 05A15; 05E16

Sign-balance of excedances over mod-k-alternating permutations and gamma-positivity

Authors: Hiranya Kishore Dey, Iswar Mahato

Abstract: A permutation is called mod-k-alternating if its entries are restricted to having the same remainder as the index, modulo some integer $k \geq 1.$ In this paper, we find the sign-balance for mod-k-alternating permutations with respect to the statistic excedance. Moreover, we study the sign-balance for excedances over mod-k-alternating derangements. The results are obtained by constructing suitable… ▽ More A permutation is called mod-k-alternating if its entries are restricted to having the same remainder as the index, modulo some integer $k \geq 1.$ In this paper, we find the sign-balance for mod-k-alternating permutations with respect to the statistic excedance. Moreover, we study the sign-balance for excedances over mod-k-alternating derangements. The results are obtained by constructing suitable matrices and connecting their determinants with the signed excedance enumeration of mod-k-alternating permutations. As an application of the signed excedance enumeration, we prove that when $n \equiv k \pmod {2k}$, the excedance enumerating polynomials over the even and odd mod-k-alternating permutations, starting with a fixed remainder, are gamma-positive. △ Less

Submitted 31 July, 2024; originally announced July 2024.

Comments: Comments are welcome

MSC Class: 05A15; 15A15; 05E99

How large is the character degree sum compared to the character table sum for a finite group?

Authors: Arvind Ayyer, Hiranya Kishore Dey, Digjoy Paul

Abstract: In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many n… ▽ More In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many natural groups. Secondly, we extend a conjecture of Fields to postulate that this ratio is at least one with equality if and only if the group is abelian. We establish the validity of this property and conjecture for all finite irreducible Coxeter groups. In addition, we prove the conjecture for generalized symmetric groups. The main tool we use is that the sum of a column in the character table of an irreducible Coxeter group (resp. generalized symmetric group) is given by the number of square roots (resp. absolute square roots) of the corresponding conjugacy class representative. As a byproduct of our results, we show that the asymptotics of character table sums is the same as the number of involutions in symmetric, hyperoctahedral and demihyperoctahedral groups. We also derive explicit generating functions for the character table sums for these latter groups as infinite products of continued fractions. In the same spirit, we prove similar generating function formulas for the number of square roots and absolute square roots in $n$ for the generalized symmetric groups $G(r,1,n)$. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 28 pages, 3 appendices

MSC Class: 20C15; 05A15; 05A16; 05A17; 05E10

An exact enumeration of vertex connectivity of the enhanced power graphs of finite nilpotent groups

Authors: Sudip Bera, Hiranya Kishore Dey

Abstract: The enhanced power graph of a group $G$ is a graph with vertex set $G,$ where two distinct vertices $x$ and $y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ In this paper, we determine the vertex connectivity of the enhanced power graph of any finite nilpotent group. The enhanced power graph of a group $G$ is a graph with vertex set $G,$ where two distinct vertices $x$ and $y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ In this paper, we determine the vertex connectivity of the enhanced power graph of any finite nilpotent group. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 11 pages, Comments are welcome. arXiv admin note: text overlap with arXiv:2108.05175

MSC Class: 05C25; 20D15; 05A15

On the order sequence of a group

Authors: Peter J. Cameron, Hiranya Kishore Dey

Abstract: This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of… ▽ More This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following. M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum. The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order. If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$. There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime. The paper concludes with a number of open problems. △ Less

Submitted 21 March, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: Replacement incorporating Amiri's theorem

MSC Class: 20D15; 20D60; 20E22; 05E16

Distance matrix of enhanced power graphs of finite groups

Authors: Anita Arora, Hiranya Kishore Dey, Shivani Goel

Abstract: The enhanced power graph of a group $G$ is the graph $\mathcal{G}_E(G)$ with vertex set $G$ and edge set $ \{(u,v): u, v \in \langle w \rangle,~\mbox{for some}~ w \in G\}$. In this paper, we compute the spectrum of the distance matrix of the enhanced power graph of non-abelian groups of order $pq$, dihedral groups, dicyclic groups, elementary abelian groups $\mathrm{El}(p^n)$ and the non-cyclic ab… ▽ More The enhanced power graph of a group $G$ is the graph $\mathcal{G}_E(G)$ with vertex set $G$ and edge set $ \{(u,v): u, v \in \langle w \rangle,~\mbox{for some}~ w \in G\}$. In this paper, we compute the spectrum of the distance matrix of the enhanced power graph of non-abelian groups of order $pq$, dihedral groups, dicyclic groups, elementary abelian groups $\mathrm{El}(p^n)$ and the non-cyclic abelian groups $\mathrm{El}(p^n)\times\mathrm{El}(q^m)$ and $\mathrm{El}(p^n)\times \mathbb{Z}_m$, where $p$ and $q$ are distinct primes. For the non-cyclic abelian group $\mathrm{El}(p^n)\times \mathrm{El}(q^m)$, we also compute the spectrum of the adjacency matrix of its enhanced power graph and the spectrum of the adjacency and the distance matrix of its power graph. △ Less

Submitted 21 June, 2023; v1 submitted 9 April, 2023; originally announced April 2023.

MSC Class: 05C50; 05C25; 20K01

Sharp lower bound on the "number of nodal decomposition" of graphs

Authors: Hiranya Kishore Dey, Soumyajit Saha

Abstract: Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous Laplacian. In this article, using the same notion of partitioning, we discuss the lower bound (or lack thereof) on the number of nodal decomposition of eigenvectors… ▽ More Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous Laplacian. In this article, using the same notion of partitioning, we discuss the lower bound (or lack thereof) on the number of nodal decomposition of eigenvectors in the class of all graphs with a fixed number of vertices (however large). This can be treated as a discrete analogue to the results of Stern and Lewy in the continuous Laplacian case. △ Less

Submitted 19 April, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: Comments are most welcome!

MSC Class: 05C50

The solvability of a finite group by the sum of powers of element orders

Authors: Hiranya Kishore Dey

Abstract: We prove a new criterion for the solvability of the finite groups, depending on the function $ψ_k(G)$ which is defined as the sum of $k$-th powers of the element orders of $G$. We show that our result can be used to show the solvability of some groups for which the solvability does not follow from earlier similar kind of results and we emphasize the following: looking at $ψ_k(G)$ for $k>1$ can be… ▽ More We prove a new criterion for the solvability of the finite groups, depending on the function $ψ_k(G)$ which is defined as the sum of $k$-th powers of the element orders of $G$. We show that our result can be used to show the solvability of some groups for which the solvability does not follow from earlier similar kind of results and we emphasize the following: looking at $ψ_k(G)$ for $k>1$ can be useful to get further pieces of information about the group $G$. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 7 pages, Comments are welcome

MSC Class: 20D60; 20E34; 20F16

$q$-enumeration of type B and D Eulerian polynomials based on parity of descents

Authors: Hiranya Kishore Dey, Umesh Shankar, Sivaramakrishnan Sivasubramanian

Abstract: Carlitz and Scoville in 1973 considered a four variable polynomial that enumerates permutations in $\mathfrak{S}_n$ with respect to the parity of its descents and ascents. In recent work, Pan and Zeng proved a $q$-analogue of Carlitz-Scoville's generating function by enumerating permutations with the above four statistice along with the inversion number. Further, they also proved a type B analogue… ▽ More Carlitz and Scoville in 1973 considered a four variable polynomial that enumerates permutations in $\mathfrak{S}_n$ with respect to the parity of its descents and ascents. In recent work, Pan and Zeng proved a $q$-analogue of Carlitz-Scoville's generating function by enumerating permutations with the above four statistice along with the inversion number. Further, they also proved a type B analogue by enumerating signed permutations with respect to the parity of descents and ascents. In this work we prove a $q$-analogue of the type B result of Pan and Zeng by enumerating permutations in $\mathfrak{B}_n$ with the above four statistics and the type B inversion number. We also obtain a $q$-analogue of the generating function for the type B bivariate alternating descent polynomials. We consider a similar five-variable polynomial in the type D Coxeter groups as well and give their egf. Alternating descents for the type D groups were previously also defined by Remmel, but our definition is slightly different. As a by-product of our proofs, we get bivariate $q$-analogues of Hyatt's recurrences for the type B and type D Eulerian polynomials. Further corollaries of our results are some symmetry relations for these polynomials and $q$-analogues of generating functions for snakes of types B and D. △ Less

Submitted 13 February, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 27 pages. Comments are welcome

MSC Class: 05A05; 05A15; 05E16

An exact upper bound for the sum of powers of element orders in non-cyclic finite groups

Authors: Hiranya Kishore Dey, Archita Mondal

Abstract: For a finite group $G$, let $ψ(G)$ denote the sum of element orders of $G$. This function was introduced by Amiri, Amiri, and Isaacs in 2009 and they proved that for any finite group $G$ of order $n$, $ψ(G)$ is maximum if and only if $G \simeq \mathbb{Z}_n$ where $\mathbb{Z}_n$ denotes the cyclic group of order $n$. Furthermore, Herzog, Longobardi, and Maj in 2018 proved that if $G$ is non-cyclic,… ▽ More For a finite group $G$, let $ψ(G)$ denote the sum of element orders of $G$. This function was introduced by Amiri, Amiri, and Isaacs in 2009 and they proved that for any finite group $G$ of order $n$, $ψ(G)$ is maximum if and only if $G \simeq \mathbb{Z}_n$ where $\mathbb{Z}_n$ denotes the cyclic group of order $n$. Furthermore, Herzog, Longobardi, and Maj in 2018 proved that if $G$ is non-cyclic, $ψ(G) \leq \frac{7}{11} ψ(\mathbb{Z}_n)$. Amiri and Amiri in 2014 introduced the function $ψ_k(G)$ which is defined as the sum of the $k$-th powers of element orders of $G$ and they showed that for every positive integer $k$, $ψ_k(G)$ is also maximum if and only if $G$ is cyclic. In this paper, we have been able to prove that if $G$ is a non-cyclic group of order $n$, then $ψ_k(G) \leq \frac{1+3.2^k}{1+2.4^k+2^k} ψ_k(\mathbb{Z}_n)$. Setting $k=1$ in our result, we immediately get the result of Herzog et al. as a simple corollary. Besides, a recursive formula for $ψ_k(G)$ is also obtained for finite abelian $p$-groups $G$, using which one can explicitly find out the exact value of $ψ_k(G)$ for finite abelian groups $G$. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 19 pages. Comments are welcome. arXiv admin note: text overlap with arXiv:1610.03669 by other authors

MSC Class: 20D60; 20E34; 20F18

On Difference of Enhanced Power Graph and Power Graph of a Finite Group

Authors: Sucharita Biswas, Peter J. Cameron, Angsuman Das, Hiranya Kishore Dey

Abstract: The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$. The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$. △ Less

Submitted 17 October, 2022; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: 28 pages

MSC Class: 05C25; 05C17

Journal ref: Journal of Combinatorial Theory, Series A Volume 208 , November 2024, 105932

The Young matroid: A multiset extension of the Catalan matroid to arbitrary Young diagrams

Authors: Hiranya Kishore Dey, Brahadeesh Sankarnarayanan, S. Venkitesh

Abstract: Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila)… ▽ More Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases. △ Less

Submitted 26 September, 2022; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: Section 2 has outlines of all proofs, and not complete proofs. While completing the proof of Theorem 1.2, an error was found which cannot be fixed. In fact, The claim of Theorem 1.2 was later found to be incorrect: a counterexample was found which was an integer polytope but not a matroid basis polytope

On connectivity, domination number and spectral radius of the proper enhanced power graphs of finite nilpotent groups

Authors: Sudip Bera, Hiranya Kishore Dey

Abstract: For a group $G,$ the enhanced power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x, y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ The proper enhanced power graph is the induced subgraph of the enhanced power graph on the set $G \setminus S,$ where $S$ is the set of dominating vertices of the enhanced p… ▽ More For a group $G,$ the enhanced power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x, y$ are adjacent if and only if there exists an element $w$ in $G$ such that both $x$ and $y$ are powers of $w.$ The proper enhanced power graph is the induced subgraph of the enhanced power graph on the set $G \setminus S,$ where $S$ is the set of dominating vertices of the enhanced power graph. In this paper, we first characterize the dominating vertices of enhanced power graph of any finite nilpotent group. Thereafter, we classify all nilpotent groups $G$ such that the proper enhanced power graphs are connected and find out their diameter. We also explicitly find out the domination number of proper enhanced power graphs of finite nilpotent groups. Finally, we determine the multiplicity of the Laplacian spectral radius of the enhanced power graphs of nilpotent groups. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 20 pages

MSC Class: 05C25; 20D10

Combinatorial proof of the log-convexity for the derangements in the Coxeter groups

Authors: Hiranya Kishore Dey, Subhajit Ghosh

Abstract: We provide the combinatorial proofs of the log-convexity for the derangement numbers in the symmetric group $\mathfrak{S}_n$, hyperoctahedral group $\mathfrak{B}_n$, and the demihyperoctahedral group $\mathfrak{D}_n$. We also show that the sequences of the even and odd derangement numbers in $\mathfrak{S}_n$ and $\mathfrak{B}_n$ are log-convex. We provide the combinatorial proofs of the log-convexity for the derangement numbers in the symmetric group $\mathfrak{S}_n$, hyperoctahedral group $\mathfrak{B}_n$, and the demihyperoctahedral group $\mathfrak{D}_n$. We also show that the sequences of the even and odd derangement numbers in $\mathfrak{S}_n$ and $\mathfrak{B}_n$ are log-convex. △ Less

Submitted 14 August, 2023; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: The mapping that is defined in Theorem 3.12 is not injective. Hence, the proof is not complete

MSC Class: 05A20; 05A05

Signed Alternating-runs enumeration in Classical Weyl Groups

Authors: Hiranya Kishore Dey, Sivaramakrishnan Sivasubramanian

Abstract: The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent… ▽ More The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent of $(1+t)$ when it divides the alternating-runs polynomial in the alternating group $\mathcal{A}_n$. Other applications include a moment-type identity and enumeration of alternating permutations in $\mathcal{A}_n$. Similar results are obtained for the type B and type D Coxeter groups. △ Less

Submitted 18 October, 2020; originally announced October 2020.

Log-concavity of the Excedance Enumerators in positive elements of Type A and Type B Coxeter Groups

Authors: Hiranya Kishore Dey

Abstract: The classical Eulerian Numbers $A_{n,k}$ are known to be log-concave. Let $P_{n,k}$ and $Q_{n,k}$ be the number of even and odd permutations with $k$ excedances. In this paper, we show that $P_{n,k}$ and $Q_{n,k}$ are log-concave. For this, we introduce the notion of strong synchronisation and ratio-alternating which are motivated by the notion of synchronisation and ratio-dominance, introduced by… ▽ More The classical Eulerian Numbers $A_{n,k}$ are known to be log-concave. Let $P_{n,k}$ and $Q_{n,k}$ be the number of even and odd permutations with $k$ excedances. In this paper, we show that $P_{n,k}$ and $Q_{n,k}$ are log-concave. For this, we introduce the notion of strong synchronisation and ratio-alternating which are motivated by the notion of synchronisation and ratio-dominance, introduced by Gross, Mansour, Tucker and Wang in 2014. We show similar results for Type B Coxeter Groups. We finish with some conjectures to emphasize the following: though strong synchronisation is stronger than log-concavity, many pairs of interesting combinatorial families of sequences seem to satisfy this property. △ Less

Submitted 20 October, 2020; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: 18 Pages, some typos of the last version corrected and more details added in the proof of Theorem 5

MSC Class: 05A05; 05A20

Determining Number of Kneser Graphs: Exact Values and Improved Bounds

Authors: Angsuman Das, Hiranya Kishore Dey

Abstract: The determining number of a graph $G = (V,E)$ is the minimum cardinality of a set $S\subseteq V$ such that pointwise stabilizer of $S$ under the action of $Aut(G)$ is trivial. In this paper, we provide some improved upper and lower bounds on the determining number of Kneser graphs. Moreover, we provide the exact value of the determining number for some subfamilies of Kneser graphs. The determining number of a graph $G = (V,E)$ is the minimum cardinality of a set $S\subseteq V$ such that pointwise stabilizer of $S$ under the action of $Aut(G)$ is trivial. In this paper, we provide some improved upper and lower bounds on the determining number of Kneser graphs. Moreover, we provide the exact value of the determining number for some subfamilies of Kneser graphs. △ Less

Submitted 22 March, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 9 pages, 1 figure

MSC Class: 05C25

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 30, 2022) dmtcs:7627

On the Alternating runs polynomial in type B and D Coxeter Groups

Authors: Hiranya Kishore Dey, Sivaramakrishnan Sivasubramanian

Abstract: Wilf showed that the the alternating runs polynomial $R_n(t)$ counting the number of permutations in the Symmetric group is divisible by $(1+t)^m$ where $m = \lfloor (n-2)/2 \rfloor$. Recently, Bóna gave a group action based proof. Type B and D analogues of Wilf's result are known. In this note, we extend Bóna's proof to prove the type B and D analogue. Wilf showed that the the alternating runs polynomial $R_n(t)$ counting the number of permutations in the Symmetric group is divisible by $(1+t)^m$ where $m = \lfloor (n-2)/2 \rfloor$. Recently, Bóna gave a group action based proof. Type B and D analogues of Wilf's result are known. In this note, we extend Bóna's proof to prove the type B and D analogue. △ Less

Submitted 26 November, 2021; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 9 pages. Added a section on applications of this result to refining moment-type identities

On the connectivity of enhanced power graph of finite group

Authors: Sudip Bera, Hiranya Kishore Dey, Sajal Kumar Mukherjee

Abstract: This paper deals with the vertex connectivity of enhanced power graph of finite group. We classify all abelian groups G such that vertex connectivity of enhanced power graph of G is 1. We derive an upper bound of vertex connectivity for the enhanced power graph of any general abelian group G. Also we completely characterize all abelian group G, such that the proper enhanced power graph is connecte… ▽ More This paper deals with the vertex connectivity of enhanced power graph of finite group. We classify all abelian groups G such that vertex connectivity of enhanced power graph of G is 1. We derive an upper bound of vertex connectivity for the enhanced power graph of any general abelian group G. Also we completely characterize all abelian group G, such that the proper enhanced power graph is connected. Moreover, we study some special class of non-abelian group G such that the proper enhanced power graph is connected and we find their vertex connectivity. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: 12 pages, 0 figures

MSC Class: 05C25

Eulerian Central Limit Theorems and Carlitz identities in positive elements of Classical Weyl Groups

Authors: Hiranya Kishore Dey, Sivaramakrishnan Sivasubramanian

Abstract: Central Limit Theorems are known for the Eulerian statistic "descent" (or "excedance") in the symmetric group $\SSS_n$. Recently, Fulman, Kim, Lee and Petersen gave a Central Limit Theorem for "descent" over the alternating group $\AAA_n$ and also gave a Carlitz identity in $\AAA_n$ using descents. In this paper, we give a Central Limit Theorem in $\AAA_n$ involving excedances. We extend these t… ▽ More Central Limit Theorems are known for the Eulerian statistic "descent" (or "excedance") in the symmetric group $\SSS_n$. Recently, Fulman, Kim, Lee and Petersen gave a Central Limit Theorem for "descent" over the alternating group $\AAA_n$ and also gave a Carlitz identity in $\AAA_n$ using descents. In this paper, we give a Central Limit Theorem in $\AAA_n$ involving excedances. We extend these to the positive elements in type B and type D Coxeter groups. Boroweic and Młotkowski enumerated type B descents over $\DD_n$, the type D Coxeter group and gave similar results. We refine their results for both the positive and negative part of $\DD_n$. Our results are a consequence of signed enumeration over these subsets. △ Less

Submitted 14 June, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: Corrected a wrong spelling of an author "Borowiec". The earlier version mis-spelled all occurrences. Thanks to Prof. Młotkowski for pointing this out

Gamma positivity of the Excedance based Eulerian polynomial in positive elements of Classical Weyl Groups

Authors: Hiranya Kishore Dey, Sivaramakrishnan Sivasubramanian

Abstract: The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $\mathsf{AExc^{+}}_n(t)$ as the polynomial obtained when we sum excedances over the alternating group. We show that $\mathsf{AExc^{+}}_n(t)$ is gamma positive iff $n \geq 5$ and $n \equiv 1$ (mod 2). When $n \geq 4$, and $n \equiv 0$ (mod 2) we show that $\mathsf{AExc^{+}}_n(t)$ can… ▽ More The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $\mathsf{AExc^{+}}_n(t)$ as the polynomial obtained when we sum excedances over the alternating group. We show that $\mathsf{AExc^{+}}_n(t)$ is gamma positive iff $n \geq 5$ and $n \equiv 1$ (mod 2). When $n \geq 4$, and $n \equiv 0$ (mod 2) we show that $\mathsf{AExc^{+}}_n(t)$ can be written as a sum of two gamma positive polynomials. Similar results are shown when we consider the positive type-D and type-D Eulerian polynomials. Finally, we show gamma positivity results when we sum excedances over derangements with positive and negative sign. Our main resuls is that the polynomial obtained by summing excedance over a conjugacy class indexed by $λ$ is gamma positive. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Comments: 20 pages. arXiv admin note: text overlap with arXiv:1812.01927

Gamma positivity of the Descent based Eulerian polynomial in positive elements of Classical Weyl Groups

Authors: Hiranya Kishore Dey, Sivaramakrishnan Sivasubramanian

Abstract: The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $A_n^+(t)$ as the polynomial obtained when we sum descents over the alternating group. We show that $A_n^+(t)$ is gamma positive iff $n \equiv 0,1$ (mod 4). When $n \equiv 2$ (mod 4) we show that $A_n^+(t)$ can be written as a sum of two gamma positive polynomials while if… ▽ More The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $A_n^+(t)$ as the polynomial obtained when we sum descents over the alternating group. We show that $A_n^+(t)$ is gamma positive iff $n \equiv 0,1$ (mod 4). When $n \equiv 2$ (mod 4) we show that $A_n^+(t)$ can be written as a sum of two gamma positive polynomials while if $n \equiv 3$ (mod 4), we show that $A_n^+(t)$ can be written as a sum of three gamma positive polynomials. Similar results are shown when we consider the positive type-D and type-D Eulerian polynomials. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 24 pages