group
10399 papers tagged with this keyword
Combinatorial Markov chains on linear extensions
Published in Journal of Algebraic Combinatorics, Volume 39, Issue 4 (2014), Page 853-881
• View Publication
• BIB
We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids.
The probability of generating the symmetric group with a commutator condition
Let B(n) be the set of pairs of permutations from the symmetric group of degree n with a 3-cycle commutator, and let A(n) be the set of those pairs which generate the symmetric or the alternating group of degree n. We find effective formulas for calculating the cardinalities of both sets. More precisely, we show that #B(n)/n! is a discrete convolution of the partition function and a linear combination of divisor functions, while #A(n)/n! is the product of a polynomial and Jordan's totient function. In particular, it follows that the probability that a pair of random permutations with a 3-cycle commutator generates the symmetric or the alternating group of degree n tends to zero as n tends to infinity, which makes a contrast with Dixon's classical result.
Key elements of our proofs are Jordan's theorem from the 19th century, a formula by Ramanujan from the 20th century and a technique of square-tiled surfaces developed by French mathematicians Lelievre and Royer in the beginning of the 21st century. This paper uses and highlights elegant connections between algebra, geometry, and number theory.
A basis construction for the Shi arrangement of the type $B_{\ell}$ or $C_{\ell}$
Published
• View Publication
• BIB
The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the Weyl arrangement and their parallel translations. It was introduced by J.-Y. Shi in the study of the Kazhdan-Lusztig representation of the affine Weyl groups. M. Yoshinaga showed that the cone over every Shi arrangement is free. In this paper, we construct an explicit basis for the derivation module of the cone over the Shi arrangements of the type $B_{\ell}$ or $C_{\ell}$.
An inequality of Kostka numbers and Galois groups of Schubert problems
Published
• View Publication
• BIB
We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. Using a criterion of Vakil and a special position argument due to Schubert, this follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, an easy combinatorial injection proves the inequality. For the remaining cases, we use that these Kostka numbers appear in tensor product decompositions of sl_2(C)-modules. Interpreting the tensor product as the action of certain commuting Toeplitz matrices and using a spectral analysis and Fourier series rewrites the inequality as the positivity of an integral. We establish the inequality by estimating this integral.
On optimality of designs with three distinct eigenvalues
Published
• View Publication
• BIB
Let $\D_{v,b,k}$ denote the family of all connected block designs with $v$ treatments and $b$ blocks of size $k$. Let $d\in\D_{v,b,k}$. The replication of a treatment is the number of times it appears in the blocks of $d$. The matrix $C(d)=R(d)-\frac{1}{k}N(d)N(d)^\top$ is called the information matrix of $d$ where $N(d)$ is the incidence matrix of $d$ and $R(d)$ is a diagonal matrix of the replications. Since $d$ is connected, $C(d)$ has $v-1$ nonzero eigenvalues $μ_1(d),...,μ_{v-1}(d)$. Let $\D$ be the class of all binary designs of $\D_{v,b,k}$. We prove that if there is a design $d^*\in\D$ such that (i) $C(d^*)$ has three distinct eigenvalues, (ii) $d^*$ minimizes trace of $C(d)^2$ over $d\in\D$, (iii) $d^*$ maximizes the smallest nonzero eigenvalue and the product of the nonzero eigenvalues of $C(d)$ over $d\in\D$, then for all $p>0$, $d^*$ minimizes $(\sum_{i=1}^{v-1}μ_i(d)^{-p})^{1/p}$ over $d\in\D$. In the context of optimal design theory, this means that if there is a design $d^*\in\D$ such that its information matrix has three distinct eigenvalues satisfying the condition (ii) above and that $d^*$ is E- and D-optimal in $\D$, then $d^*$ is $Φ_p$-optimal in $\D$ for all $p>0$. As an application, we demonstrate the $Φ_p$-optimality of certain group divisible designs. Our proof is based on the method of KKT conditions in nonlinear programming.
Frobenius circulant graphs of valency six, Eisenstein-Jacobi networks, and hexagonal meshes
Published
• View Publication
• BIB
A Frobenius group is a transitive but not regular permutation group such that only the identity element can fix two points. A finite Frobenius group can be expressed as $G = K \rtimes H$ with $K$ a nilpotent normal subgroup. A first-kind $G$-Frobenius graph is a Cayley graph on $K$ with connection set $S$ an $H$-orbit on $K$ generating $K$, where $H$ is of even order or $S$ consists of involutions. We classify all 6-valent first-kind Frobenius circulant graphs such that the underlying kernel $K$ is cyclic. We give optimal gossiping and routing algorithms for such a circulant and compute its forwarding indices, Wiener indices and minimum gossip time. We also prove that its broadcasting time is equal to its diameter plus two or three. We prove that all 6-valent first-kind Frobenius circulants with cyclic kernels are Eisenstein-Jacobi graphs, the latter being Cayley graphs on quotient rings of the ring of Eisenstein-Jacobi integers. We also prove that larger Eisenstein-Jacobi graphs can be constructed from smaller ones as topological covers, and a similar result holds for 6-valent first-kind Frobenius circulants. As a corollary any Eisenstein-Jacobi graph with order congruent to 1 modulo 6 and underlying Eisenstein-Jacobi integer not an associate of a real integer, is a cover of a 6-valent first-kind Frobenius circulant. A distributed real-time computing architecture known as HARTS or hexagonal mesh is a special 6-valent first-kind Frobenius circulant.
Relating Signed Kazhdan-Lusztig Polynomials and Classical Kazhdan-Lusztig Polynomials
Published in Duke Math. J. 163, no. 11 (2014), 2161-2178
• View Publication
• BIB
Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationship between signed Kazhdan-Lusztig polynomials and classical Kazhdan-Lusztig polynomials: signed Kahzdan-Lusztig polynomials are shown to equal classical Kazhdan-Lusztig polynomials evaluated at $-q$ rather than $q$ and multiplied by a sign. This result has applications to finding the unitary dual for real reductive Lie groups since Harish-Chandra modules may be constructed by applying Zuckerman functors to highest weight modules.
Automorphism groups of Cayley graphs generated by connected transposition sets
Published in Discrete Mathematics, vol. 313, no. 21, pp. 2482-2485, November 2013
• View Publication
• BIB
Let $S$ be a set of transpositions that generates the symmetric group $S_n$, where $n \ge 3$. The transposition graph $T(S)$ is defined to be the graph with vertex set $\{1,\ldots,n\}$ and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. We prove that if the girth of the transposition graph $T(S)$ is at least 5, then the automorphism group of the Cayley graph $\Cay(S_n,S)$ is the semidirect product $R(S_n) \rtimes \Aut(S_n,S)$, where $\Aut(S_n,S)$ is the set of automorphisms of $S_n$ that fixes $S$. This strengthens a result of Feng on transposition graphs that are trees. We also prove that if the transposition graph $T(S)$ is a 4-cycle, then the set of automorphisms of the Cayley graph $\Cay(S_4,S)$ that fixes a vertex and each of its neighbors is isomorphic to the Klein 4-group and hence is nontrivial. We thus identify the existence of 4-cycles in the transposition graph as being an important factor in causing a potentially larger automorphism group of the Cayley graph.
Parking Structures: Fuss Analogs
Published
• View Publication
• BIB
For any irreducible real reflection group $W$ with Coxeter number $h$, Armstrong, Reiner, and the author introduced a pair of $W \times \ZZ_h$-modules which deserve to be called {\sf $W$-parking spaces} which generalize the type A notion of parking functions and conjectured a relationship between them. In this paper we give a Fuss analog of their constructions.
For a Fuss parameter $k \geq 1$, we define a pair of $W \times \ZZ_{kh}$-modules which deserve to be called {\sf $k$-$W$-parking spaces} and conjecture a relationship between them. We prove the weakest version of our conjectures for each of the infinite families ABCDI of finite reflection groups, together with proofs of stronger versions in special cases. Whenever our weakest conjecture holds for $W$, we have the following corollaries. First, there is a simple formula for the character of either $k$-$W$-parking space. Second, we recover a cyclic sieving result due to Krattenthaler and Müller which gives the cycle structure of a generalized rotation action on $k$-$W$-noncrossing partitions. Finally, when $W$ is crystallographic, the restriction of either $k$-$W$-parking space to $W$ isomorphic to the action of $W$ on the finite torus $Q / (kh+1)Q$, where $Q$ is the root lattice.
Edge Decompositions of Hypercubes by Paths and by Cycles
Published
• View Publication
• BIB
If $H$ is (or is isomorphic to) a subgraph of $G$, $H$ is said to {\it divide} $G$ if there is an edge-decomposition of $G$ by copies of $E(H)$, the edge set of $H$. A more restrictive version of this is when there is a subgroup ${\cal H}$ of {\rm Aut} $(G)$, the automorphism group of $G$, such that the copies of $E(H)$ are the translates of $E(H)$ by the elements of ${\cal H}$. In a paper by the second author, this situation was described by saying that $H$, or more precisely $E(H)$, is a {\it fundamental} set for $G$. Many authors have studied the notion of divisibility for various graphs, and in particular for various subgraphs of hypercubes, such as paths, trees, and cycles. We continue such a study in this paper; both for divisibilty, and, when possible, for fundamental sets. The final section of the paper lists our main results.
(2,m,n)-groups with Euler characteristic equal to -2^as^b
Published
• View Publication
• BIB
We study those $(2,m,n)$-groups which are almost simple and for which the absolute value of the Euler characteristic is a product of two prime powers. All such groups which are not isomorphic to $PSL_2(q)$ or $PGL_2(q)$ are completely classified.
Overgroups of the Automorphism Group of the Rado Graph
Published
• View Publication
• BIB
We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.
Quotient closed subcategories of quiver representations
Published in Compositio Math. 151 (2015) 568-602
• View Publication
• BIB
Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite additive quotient-closed subcategories of the category of finite dimensional right modules over kQ. We prove this correspondence by linking these subcategories to certain ideals in the preprojective algebra associated to Q, which are also indexed by elements of W_Q.
Non-D-finite excursions in the quarter plane
Published in Journal of Combinatorial Theory, Series A 121 (2014) 45-63
• View Publication
• BIB
The number of excursions (finite paths starting and ending at the origin) having a given number of steps and obeying various geometric constraints is a classical topic of combinatorics and probability theory. We prove that the sequence $(e^{\mathfrak{S}}_n)_{n\geq 0}$ of numbers of excursions in the quarter plane corresponding to a nonsingular step set $\mathfrak{S} \subseteq \{0,\pm 1 \}^2$ with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients. Accordingly, in those cases, the trivariate generating function of the numbers of walks with given length and prescribed ending point is not D-finite. Moreover, we display the asymptotics of $e^{\mathfrak{S}}_n$.
A graphical description of $(D_n,A_{n-1})$ Kazhdan-Lusztig polynomials
Published in GMJ, volume 55, pp. 313-340, 2013
• View Publication
• BIB
We give an easy diagrammatical description of the parabolic Kazhdan-Lusztig polynomials for the Weyl group $W_n$ of type $D_n$ with parabolic subgroup of type $A_n$ and consequently an explicit counting formula for the dimension of the morphism spaces between indecomposable projective objects in the corresponding category $Ø_0^\p$. As a byproduct we categorify irreducible $W_n$-modules corresponding to pairs of one-line partitions. Finally we indicate the motivation for introducing the combinatorics by connections to Springer theory, the category of perverse sheaves on isotropic Grassmannians and to Brauer algebras which will be treated in \cite{ES}.
Combinatorics of generalized Bethe equations
Published in Letters in Mathematical Physics 103:10 (2013) 1047-1077
• View Publication
• BIB
A generalization of the Bethe ansatz equations is studied, where a scalar two-particle S-matrix has several zeroes and poles in the complex plane, as opposed to the ordinary single pole/zero case. For the repulsive case (no complex roots), the main result is the enumeration of all distinct solutions to the Bethe equations in terms of the Fuss-Catalan numbers. Two new combinatorial interpretations of the Fuss-Catalan and related numbers are obtained. On the one hand, they count regular orbits of the permutation group in certain factor modules over Z^M, and on the other hand, they count integer points in certain M-dimensional polytopes.
On the critical ideals of graphs
Published in Linear Algebra and its Applications 439 (2013) 3870-3892
• View Publication
• BIB
We introduce some determinantal ideals of the generalized Laplacian matrix associated to a digraph G, that we call critical ideals of G. Critical ideals generalize the critical group and the characteristic polynomials of the adjacency and Laplacian matrices of a digraph. The main results of this article are the determination of some minimal generator sets and the reduced Grobner basis for the critical ideals of the complete graphs, the cycles and the paths. Also, we establish a bound between the number of trivial critical ideals and the stability and clique numbers of a graph.
Topological realizations and fundamental groups of higher-rank graphs
Published
• View Publication
• BIB
We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.
Algebraic games - Playing with groups and rings
Published in International J. Game Theory 47(2):417-450, 2018
• View Publication
• BIB
Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group $A$, a move consists of picking some nonzero element $a \in A$. The game then continues with the quotient group $A/ \langle a \rangle$. We prove that under the normal play rule, the second player has a winning strategy if and only if $A$ is a square, i.e. $A$ is isomorphic to $B \times B$ for some abelian group $B$. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague-Grundy values, of $2$-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as $R[X]$, where $R$ is a principal ideal domain.
Group Irregularity Strength of Connected Graphs
Published in Journal of Combinatorial Optimization, Vol. 30/1 (2015), 1--17
• View Publication
• BIB
We investigate the group irregularity strength ($s_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels at every vertex are distinct. We prove that for any connected graph $G$ of order at least 3, $s_g(G)=n$ if $n\neq 4k+2$ and $s_g(G)\leq n+1$ otherwise, except the case of some infinite family of stars.