Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Classical and Signed Kazhdan-Lusztig Polynomials: Character Multiplicity Inversion by Induction
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.
Root polytopes and abelian ideals
Published in J. Algebraic Combin. 39 (2014), n.3, 607-645
• View Publication
• BIB
We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_Φ^+$.
Betti numbers associated to the facet ideal of a matroid
Published
• View Publication
• BIB
To a matroid M with n edges, we associate the so-called facet ideal F(M) generated by monomials corresponding to bases of M. We show that the Betti numbers related to an N-graded minimal free resolution of F(M) are determined by the Betti numbers related to the blocks of M. Similarly, we show that the higher weight hierarchy of M is determined by the weight hierarchies of the blocks, as well. Drawing on these results, we show that when M is the cycle matroid of a cactus graph, the Betti numbers determine the higher weight hierarchy -- and vice versa. Finally, we demonstrate by way of counterexamples that this fails to hold for outerplanar graphs in general.
Infinite ternary square-free words concatenated from permutations of a single word
Published
• View Publication
• BIB
We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad.
Moments of Askey-Wilson polynomials
Published
• View Publication
• BIB
New formulas for the nth moment of the Askey-Wilson polynomials are given. These are derived using analytic techniques, and by considering three combinatorial models for the moments: Motzkin paths, matchings, and staircase tableaux. A related positivity theorem is given and another one is conjectured.
On the Number of Fixed-Length Semiorders
A semiorder is a partially ordered set $P$ with two certain forbidden induced subposets. This paper establishes a bijection between $n$-element semiorders of length $H$ and $(n+1)$-node ordered trees of height $H+1$. This bijection preserves not only the number of elements, but also much additional structure. Based on this correspondence, we calculate the generating functions and explicit formulas for the numbers of labeled and unlabeled $n$-element semiorders of length $H$. We also prove several concise recurrence relations and provide combinatorial proofs for special cases of the explicit formulas.
Minimal Convex Decompositions
Let $P$ be a set of $n$ points on the plane in general position. We say that a set $Γ$ of convex polygons with vertices in $P$ is a convex decomposition of $P$ if: Union of all elements in $Γ$ is the convex hull of $P,$ every element in $Γ$ is empty, and for any two different elements of $Γ$ their interiors are disjoint. A minimal convex decomposition of $P$ is a convex decomposition $Γ'$ such that for any two adjacent elements in $Γ'$ its union is a non convex polygon. It is known that $P$ always has a minimal convex decomposition with at most $\frac{3n}{2}$ elements. Here we prove that $P$ always has a minimal convex decomposition with at most $\frac{10n}{7}$ elements.
Escape and Evasion on Finite Graphs
In this paper we will be introducing a type of game which as far as this author is aware has never been studied before. These are games where there are two players, one who is trying to get one of his pieces, called a King to a predefined escape vertex, and the other, called attackers, who is trying to capture him by occupying all of his neighbours. We will be showing that this game is PSpace-complete if it is limited to $M$ moves and taking a brief look at some potential ways to simplify the problem and work out how many attackers are needed to capture the King on different types of graphs.
Torsion pairs in cluster tubes
Published in Journal of Algebraic Combinatorics 39 (2014), 587-605
• View Publication
• BIB
We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluster tubes, and obtain that the torsion pairs in cluster tubes exhibit a cyclic sieving phenomenon.
Equivariant Schubert calculus and jeu de taquin
Published in Ann. Inst. Fourier (Grenoble) 68 (2018), no. 1, 275-318
• View Publication
• BIB
We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others.
Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].
Braess' Paradox in a Generalised Traffic Network
Published
• View Publication
• BIB
The classical network configuration introduced by Braess in 1968 is of fundamental significance because Valiant and Roughgarden showed in 2006 that `the "global" behaviour of an equilibrium flow in a large random network is similar to that in Braess' original four-node example'. In this paper, a natural generalisation of Braess' network is introduced and conditions for the occurrence of Braess' paradox are formulated for the generalised network.
The Braess' paradox has been studied mainly in the context of the classical problem introduced by Braess and his colleagues, assuming a certain type of networks. Specifically, two pairs of links in those networks are assumed to have the same volume-delay functions. The occurrence of Braess' paradox for this specific case of network symmetry was investigated by Pas and Principio in 1997. Such a symmetry is not common in real-life networks because the parameters of volume-delay functions are associated with roads physical and functional characteristics, which typically differ from one link to another (e.g. roads in networks are of different length). Our research provides an extension of previous studies on Braess' paradox by considering arbitrary volume-delay functions, i.e. symmetry properties are not assumed for any of the network's links and the occurrence of Braess' paradox is studied for a general configuration.
Statistical Distributions and $q$-Analogues of $k$-Fibonacci Numbers
Published
• View Publication
• BIB
We study $q$-analogues of $k$-Fibonacci numbers that arise from weighted tilings of an $n\times1$ board with tiles of length at most $k$. The weights on our tilings arise naturally out of distributions of permutations statistics and set partitions statistics. We use these $q$-analogues to produce $q$-analogues of identities involving $k$-Fibonacci numbers. This is a natural extension of results of the first author and Sagan on set partitions and the first author and Mathisen on permutations. In this paper we give general $q$-analogues of $k$-Fibonacci identities for arbitrary weights that depend only on lengths and locations of tiles. We then determine weights for specific permutation or set partition statistics and use these specific weights and the general identities to produce specific identities.
A refinement for ordered labeled trees
Published in Korean Journal of Mathematics, 20(2), 225-261, 2012
• View Publication
• BIB
Let $\mathcal{O}_n$ be the set of ordered labeled trees on ${0,...,n}$. A maximal decreasing subtree of an ordered labeled tree is defined by the maximal ordered subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\mathcal{O}_{n,k}$ of $\mathcal{O}_n$, which is the set of ordered labeled trees whose maximal decreasing subtree has $k+1$ vertices.
Quantum extremal loop weight modules and monomial crystals
Published in Pacific J. Math. 267 (2014) 185-241
• View Publication
• BIB
In this paper we construct a new family of representations for the quantum toroidal algebras of type $A_n$, which are $\ell$-extremal in the sense of Hernandez [24]. We construct extremal loop weight modules associated to level 0 fundamental weights $\varpi_\ell$ when $n=2r+1$ is odd and $\ell=1, r+1$ or $n$. To do it, we relate monomial realizations of level 0 extremal fundamental weight crystals with integrable representations of $\mathcal{U}_q(sl_{n+1}^{tor})$, and we introduce promotion operators for the level 0 extremal fundamental weight crystals. By specializing the quantum parameter, we get finite-dimensional modules of quantum toroidal algebras at roots of unity. In general, we give a conjectural process to construct extremal loop weight modules from monomial realizations of crystals.
Restricted integer partition functions
Published
• View Publication
• BIB
For two sets $A$ and $M$ of positive integers and for a positive integer $n$, let $p(n,A,M)$ denote the number of partitions of $n$ with parts in $A$ and multiplicities in $M$, that is, the number of representations of $n$ in the form $n=\sum_{a \in A} m_a a$ where $m_a \in M \cup {0}$ for all $a$, and all numbers $m_a$ but finitely many are 0. It is shown that there are infinite sets $A$ and $M$ so that $p(n,A,M)=1$ for every positive integer $n$. This settles (in a strong form) a problem of Canfield and Wilf. It is also shown that there is an infinite set $M$ and constants $c$ and $n_0$ so that for $A={k!}_{k \geq 1}$ or for $A=\{k^k\}_{k \geq 1}$, $0<p(n,A,M) \leq n^c$ for all $n>n_0$. This answers a question of Ljujić and Nathanson.
Lower bound for the rank of rigidity matrix of 4-valent graphs under various connectivity assumptions
In this paper we study the rank of planar rigidity matrix of 4-valent graphs, both in case of generic realizations and configurations in general position, under various connectivity assumptions on the graphs. For each case considered, we prove a lower bound and provide an example which shows the order of the bound we proved is sharp. This work is closed related to work in \cite{Luo:Rigidity} and answers some questions raised there.
On Kirchhoff's theorems with coefficients in a line bundle
Published
• View Publication
• BIB
We prove `twisted' versions of Kirchhoff's network theorem and Kirchhoff's matrix-tree theorem on connected finite graphs. Twisting here refers to chains with coefficients in a flat unitary line bundle.
Homologies of path complexes and digraphs
In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
Search Algorithms for Conceptual Graph Databases
Published
• View Publication
• BIB
We consider a database composed of a set of conceptual graphs. Using conceptual graphs and graph homomorphism it is possible to build a basic query-answering mechanism based on semantic search. Graph homomorphism defines a partial order over conceptual graphs. Since graph homomorphism checking is an NP-Complete problem, the main requirement for database organizing and managing algorithms is to reduce the number of homomorphism checks. Searching is a basic operation for database manipulating problems. We consider the problem of searching for an element in a partially ordered set. The goal is to minimize the number of queries required to find a target element in the worst case. First we analyse conceptual graph database operations. Then we propose a new algorithm for a subclass of lattices. Finally, we suggest a parallel search algorithm for a general poset. Keywords. Conceptual Graph, Graph Homomorphism, Partial Order, Lattice, Search, Database.
Equivariant Topology of Configuration Spaces
Published
• View Publication
• BIB
We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including:
(1) an extended equivariant Goresky-MacPherson formula,
(2) a complete description of the top homology of the partition lattice Pi_p as an F_p[Z_p]-module, and
(3) a generalized Dold theorem for elementary abelian groups.
The results on the Fadell-Husseini index yield a new proof of the Nandakumar & Ramana Rao conjecture for a prime. For n=p^k a prime power, we compute the Lusternik-Schnirelmann category cat(F(R^d,n)/S_n)=(d-1)(n-1). Moreover, we extend coincidence results related to the Borsuk-Ulam theorem, as obtained by Cohen & Connett, Cohen & Lusk, and Karasev & Volovikov.