group
10275 papers tagged with this keyword
The Riordan Group and Symmetric Lattice Paths
In this paper, we study symmetric lattice paths. Let $d_{n}$, $m_{n}$, and $s_{n}$ denote the number of symmetric Dyck paths, symmetric Motzkin paths, and symmetric Schröder paths of length $2n$, respectively. By using Riordan group methods we obtain six identities relating $d_{n}$, $m_{n}$, and $s_{n}$ and also give two of them combinatorial proofs. Finally, we investigate some relations satisfied by the generic element of some special Riordan arrays and get the average mid-height and the average number of points on the x-axis of symmetric Dyck paths of length $2n.$
Approximating the Permanent via Nonabelian Determinants
Published
• View Publication
• BIB
Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an algebra A, and considering the determinant of the resulting matrix. When A is noncommutative, this determinant can be defined in several ways. We show that for estimators based on the conventional determinant, the critical ratio of the second moment to the square of the first--and therefore the number of trials we need to obtain a good estimate of the permanent--is (1 + O(1/d))^n when A is the algebra of d by d matrices. These results can be extended to group algebras, and semi-simple algebras in general. We also study the symmetrized determinant of Barvinok, showing that the resulting estimator has small variance when d is large enough. However, for constant d--the only case in which an efficient algorithm is known--we show that the critical ratio exceeds 2^{n} / n^{O(d)}. Thus our results do not provide a new polynomial-time approximation scheme for the permanent. Indeed, they suggest that the algebraic approach to approximating the permanent faces significant obstacles.
We obtain these results using diagrammatic techniques in which we express matrix products as contractions of tensor products. When these matrices are random, in either the Haar measure or the Gaussian measure, we can evaluate the trace of these products in terms of the cycle structure of a suitably random permutation. In the symmetrized case, our estimates are then derived by a connection with the character theory of the symmetric group.
On the half-plane property and the Tutte group of a matroid
Published in J. Combin. Theory Ser. B 100 (2010), no. 5, 485-492
• View Publication
• BIB
A multivariate polynomial is stable if it is non-vanishing whenever all variables have positive imaginary parts. A matroid has the weak half-plane property (WHPP) if there exists a stable polynomial with support equal to the set of bases of the matroid. If the polynomial can be chosen with all of its nonzero coefficients equal to one then the matroid has the half-plane property (HPP). We describe a systematic method that allows us to reduce the WHPP to the HPP for large families of matroids. This method makes use of the Tutte group of a matroid. We prove that no projective geometry has the WHPP and that a binary matroid has the WHPP if and only if it is regular. We also prove that T_8 and R_9 fail to have the WHPP.
Regular Polygonal Complexes in Space, I
Published
• View Publication
• BIB
A polygonal complex in euclidean 3-space is a discrete polyhedron-like structure with finite or infinite polygons as faces and finite graphs as vertex-figures, such that a fixed number r of faces surround each edge. It is said to be regular if its symmetry group is transitive on the flags. The present paper and its successor describe a complete classification of regular polygonal complexes in 3-space. In particular, the present paper establishes basic structure results for the symmetry groups, discusses geometric and algebraic aspects of operations on their generators, characterizes the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerates the simply flag-transitive complexes with mirror vector (1,2). The second paper will complete the enumeration.
A note on a question due to A. Garsia
Published
• View Publication
• BIB
Adriano Garsia has provided an explicit formula to enumerate a certain class of permutations in the symmetric group S_n. In this short note, we prove a stronger version of the assertion under a specific conjecture.
Total positivity in loop groups II: Chevalley generators
Published
• View Publication
• BIB
This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words.
The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element.
One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.
Tree Orbits under Permutation Group Action: Algorithm, Enumeration and Application to Viral Assembly
This paper uses combinatorics and group theory to answer questions about the assembly of icosahedral viral shells. Although the geometric structure of the capsid (shell) is fairly well understood in terms of its constituent subunits, the assembly process is not. For the purpose of this paper, the capsid is modeled by a polyhedron whose facets represent the monomers. The assembly process is modeled by a rooted tree, the leaves representing the facets of the polyhedron, the root representing the assembled polyhedron, and the internal vertices representing intermediate stages of assembly (subsets of facets). Besides its virological motivation, the enumeration of orbits of trees under the action of a finite group is of independent mathematical interest. If $G$ is a finite group acting on a finite set $X$, then there is a natural induced action of $G$ on the set $\mathcal{T}_X$ of trees whose leaves are bijectively labeled by the elements of $X$. If $G$ acts simply on $X$, then $|X| := |X_n| = n \cdot |G|$, where $n$ is the number of $G$-orbits in $X$. The basic combinatorial results in this paper are (1) a formula for the number of orbits of each size in the action of $G$ on $\mathcal{T}_{X_n}$, for every $n$, and (2) a simple algorithm to find the stabilizer of a tree $τ\in \mathcal{T}_X$ in $G$ that runs in linear time and does not need memory in addition to its input tree.
Affine Schubert classes, Schur positivity, and combinatorial Hopf algebras
Published
• View Publication
• BIB
We suggest the point of view that the Schubert classes of the affine Grassmannian of a simple algebraic group should be considered as Schur-positive symmetric functions. In particular, we give a geometric explanation of the Schur positivity of k-Schur functions (at t = 1). We also put this in the context of the theory of combinatorial Hopf algebras.
Riffle shuffles of a deck with repeated cards
Published
• View Publication
• BIB
We study the Gilbert-Shannon-Reeds model for riffle shuffles and ask
'How many times must a deck of cards be shuffled for the deck to be in close to random order?'. In 1992, Bayer and Diaconis gave a solution which gives exact and asymptotic results for all decks of practical interest, e.g. a deck of 52 cards. But what if one only cares about the colors of the cards or disregards the suits focusing solely on the ranks? More generally, how does the rate of convergence of a Markov chain change if we are interested in only certain features? Our exploration of this problem takes us through random walks on groups and their cosets, discovering along the way exact formulas leading to interesting combinatorics, an 'amazing matrix', and new analytic methods which produce a completely general asymptotic solution that is remarkable accurate.
Cell Complexes for Arrangements with Group Actions
For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quotient by the action of the corresponding reflection group. In particular, the Salvetti complex of the braid arrangement in $\ell$ dimensions modulo the action of the symmetric group is a cell complex which is homotopy equivalent to the space of unlabelled configurations of $\ell$ distinct points. Lastly, we describe a construction of the orbit complex from the dual complex for all finite reflection arrangements in dimension 2. This description yields an easy derivation of the so-called "braid relations" in the case of braid arrangement.
A diagrammatic representation of an affine $C$ Temperley--Lieb algebra
In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the same type. The Coxeter group of type affine $C$ contains an infinite number of fully commutative elements, and so the corresponding Temperley--Lieb algebra is of infinite rank. With the exception of type affine $A$, all other generalized Temperley--Lieb algebras with known diagrammatic representations are of finite rank. In the finite rank case, counting arguments are employed to prove faithfulness, but these techniques are not available in the affine $C$ case. To prove faithfulness, I classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. The classification of these irreducible elements provides the groundwork for inductive arguments that are used to prove faithfulness. The classification of the weak star irreducible elements of type $B$ also verifies C.K. Fan's unproved claim about about the set of fully commutative elements in a Coxeter group of type $B$ having no generator appearing in the left or right descent set that can be left or right cancelled, respectively. The results of this thesis will be used to construct a trace on the Hecke algebra of type affine $C$, which will then be used to compute leading coefficients of certain Kazhdan--Lusztig polynomials in a non-recursive way.
Remarks on a generalization of the Davenport constant
Published
• View Publication
• BIB
A generalization of the Davenport constant is investigated. For a finite abelian group $G$ and a positive integer $k$, let $D_k(G)$ denote the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $k$ disjoint non-empty zero-sum subsequences. For general $G$, expanding on known results, upper and lower bounds on these invariants are investigated and it is proved that the sequence $(D_k(G))_{k\in\mathbb{N}}$ is eventually an arithmetic progression with difference $\exp(G)$, and several questions arising from this fact are investigated. For elementary 2-groups, $D_k(G)$ is investigated in detail; in particular, the exact values are determined for groups of rank four and five (for rank at most three they were already known).
Enumeration of ${\rm AGL}(\frac m3, {\Bbb F}_{p^3})$-Invariant Extended Cyclic Codes
Published
• View Publication
• BIB
Let $p$ be a prime and let $r, e, m$ be positive integers such that $r|e$ and $e|m$. The enumeration of linear codes of length $p^m$ over ${\Bbb F}_{p^r}$ which are invariant under the affine linear group ${\rm AGL}(\frac me, {\Bbb F}_{p^e})$ is equivalent to the enumeration of certain ideals in a partially ordered set $({\mathcal U}, \prec)$ where ${\mathcal U}=\{0,1,...,\frac me(p-1)\}^e$ and $\prec$ is defined by an $e$-dimensional simplicial cone. When $e=2$, the enumeration problem was solved in an earlier paper. In the present paper, we consider the cases $e=3$. We describe methods for enumerating all ${\rm AGL}(\frac m3, {\Bbb F}_{p^3})$-invariant linear codes of length $p^m$ over ${\Bbb F}_{p^r}$
Perfect colourings of cyclotomic integers
Published
• View Publication
• BIB
Perfect colourings of the rings of cyclotomic integers with class number one are studied. It is shown that all colourings induced by ideals (q) are chirally perfect, and vice versa. A necessary and sufficient condition for a colouring to be perfect is obtained, depending on the factorisation of q. This result yields the colour symmetry group H in general. Furthermore, the colour preserving group K is determined in all but finitely many cases. An application to colourings of quasicrystals is given.
Rigid and super rigid quasigroups
Published in Quasigroups and Related Systems 17 (2009), 17-28
• Search Publication
The paper deals with quasigroups having a trivial group of automorphisms and a trivial group of autotopisms. Examples of such quasigroups and methods of their verification are given.
Involutory reflection groups and their models
Published
• View Publication
• BIB
A finite subgroup of $GL(n,\mathbb C)$ is involutory if the sum of the dimensions of its irreducible complex representations is given by the number of absolute involutions in the group. A uniform combinatorial model is constructed for all non-exceptional irreducible complex reflection groups which are involutory including, in particular, all infinite families of finite irreducible Coxeter groups.
A tropical view on the Bruhat-Tits building of SL and its compactifications
Published
• View Publication
• BIB
We describe the stabilizers of points in the Bruhat-Tits building of the group SL with tropical geometry. There are several compactifications of this building associated to algebraic representations of SL. We show that the fans used to compactify apartments in this theory are given by tropical Schur polynomials.
Gosset Polytopes in Picard groups of del Pezzo Surfaces
Published
• View Publication
• BIB
In this article, we research on the correspondences between the geometry of del Pezzo surfaces S_{r} and the geometry of Gosset polytopes (r-4)_{21}. We construct Gosset polytopes (r-4)_{21} in Pic S_{r}; Q whose vertices are lines, and we identify divisor classes in Pic S_{r} corresponding to (a-1)-simplexes, (r-1)-simplexes and (r-1)-crosspolytopes of the polytope (r-4)_{21}. Then we explain these classes correspond to skew a-lines, exceptional systems and rulings, respectively. As an application, we work on the monoidal transform for lines to study the local geometry of the polytope (r-4)_{21}. And we show Gieser transformation and Bertini transformation induce a symmetry of polytopes 3_{21} and 4_{21}, respectively.
On a Quasi-Phan Theorem for Orthogonal Groups
Published
• View Publication
• BIB
This paper constructs a presentation for the orthogonal groups. The amalgam is contained in that constructed by Ralf Gramlich Hendrik Van Maldeghem and arXiv:0708.1583 but it's shorter.
Cyclic sieving for longest reduced words in the hyperoctahedral group
Published
• View Publication
• BIB
We show that the set R(w_0) of reduced expressions for the longest element in the hyperoctahedral group exhibits the cyclic sieving phenomenon. More specifically, R(w_0) possesses a natural cyclic action given by moving the first letter of a word to the end, and we show that the orbit structure of this action is encoded by the generating function for the major index on R(w_0).