Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Euler Maclaurin with remainder for a simple integral polytope
Published
• View Publication
• BIB
We give an Euler Maclaurin formula with remainder for the sum of the values of a smooth function on the integral points in a simple integral polytope. This formula is proved by elementary methods.
A mixed hook-length formula for affine Hecke algebras
Published in European J. Combinatorics 25 (2004), 1345-1376
• View Publication
• BIB
Consider the affine Hecke algebra $H_l$ corresponding to the group $GL_l$ over a $p$-adic field with the residue field of cardinality $q$. Regard $H_l$ as an associative algebra over the field $C(q)$. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two non-zero elements of the field $C(q)$. There is a canonical operator $J$ acting on $W$, it corresponds to the trigonometric $R$-matrix. The algebra $H_{l+m}$ contains the finite dimensional Hecke algebra of rank $l+m$ as a subalgebra, and the operator $J$ commutes with the action of this subalgebra on $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we give a formula for the ratio of two eigenvalues of $J$, corresponding to the ``highest'' and the ``lowest'' components. As an application, we derive the well known $q$-analogue of the hook-length formula for the number of standard tableaux of shape $λ$.
Rayleigh Matroids
Published
• View Publication
• BIB
Motivated by a property of linear resistive electrical networks, we introduce the class of Rayleigh matroids. This is a subclass of the balanced matroids introduced by Feder and Mihail [FM] in 1992. We prove a variety of results relating Rayleigh matroids to other well-known classes -- in particular, we show that a binary matroid is Rayleigh if and only if it does not contain S_8 as a minor. This has the consequence that a binary matroid is balanced if and only if it is Rayleigh, and provides the first complete proof in print that S_8 is the only minor-minimal binary non-balanced matroid, as claimed in [FM]. We also give an example of a balanced matroid which is not Rayleigh.
Quotients of a Universal Locally Projective Polytope of type {5,3,5}
Published
• View Publication
• BIB
This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quotients of the polytope. A total of 145 quotients are found, including 69 section regular polytopes with the same facets and vertex figures as $\CP$.
Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an overview
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below.
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal.
We call such a pair a Leonard pair on $V$. We give an overview of the theory of Leonard pairs.
The Number of Hierarchical Orderings
Published in Order, 21 (2004), 83-89
• View Publication
• BIB
An ordered set-partition (or preferential arrangement) of n labeled elements represents a single ``hierarchy''; these are enumerated by the ordered Bell numbers. In this note we determine the number of ``hierarchical orderings'' or ``societies'', where the n elements are first partitioned into m <= n subsets and a hierarchy is specified for each subset. We also consider the unlabeled case, where the ordered Bell numbers are replaced by the composition numbers. If there is only a single hierarchy, we show that the average rank of an element is asymptotic to n/(4 log 2) in the labeled case and to n/4 in the unlabeled case.
Compression and Erdos-Ko-Rado graphs
Published
• View Publication
• BIB
For a graph G and integer r\geq 1 we denote the collection of independent r-sets of G by I^{(r)}(G). If v\in V(G) then I_v^{(r)}(G) is the collection of all independent r-sets containing v. A graph G, is said to be r-EKR, for r\geq 1, iff no intersecting family A\subseteq I^{(r)}(G) is larger than max_{v\in V(G)}|I^{(r)}_v(G)|. There are various graphs which are known to have this property: the empty graph of order n\geq 2r (this is the celebrated Erdos-Ko-Rado theorem), any disjoint union of at least r copies of K_t for t\geq 2, and any cycle. In this paper we show how these results can be extended to other classes of graphs via a compression proof technique.
In particular we show that any disjoint union of at least r complete graphs, each of order at least two, is r-EKR. We also show that paths are r-EKR for all r\geq 1.
Graphs with the Erdos-Ko-Rado property
Published
• View Publication
• BIB
For a graph G and integer r \geq 1 we denote the family of independent r-sets of V(G) by I^{(r)}(G). A graph G is said to be r-EKR if no intersecting subfamily of I^{(r)}(G) is larger than the largest such family all of whose members contain some fixed v \in V(G). If this inequality is always strict, then G is said to be strictly r-EKR. We show that if a graph G is r-EKR then its lexicographic product with any complete graph is r-EKR.
For any graph G, we define μ(G) to be the minimum size of a maximal independent vertex set. We conjecture that, if 1 \leq r \leq 1/2μ(G), then G is r-EKR, and if r<1/2μ(G), then G is strictly r-EKR. This is known to be true when G is an empty graph, a cycle, a path or the disjoint union of complete graphs. We show that it is also true when G is the disjoint union of a pair of complete multipartite graphs.
Restricted 3412-Avoiding Involutions: Continued Fractions, Chebyshev Polynomials and Enumerations
Published
• View Publication
• BIB
Several authors have examined connections among restricted permutations, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues of these results for involutions which avoid 3412. Our results include a recursive procedure for computing the generating function for involutions which avoid 3412 and any set of additional patterns. We use our results to give enumerations and generating functions for involutions which avoid 3412 and various sets of additional patterns. In many cases we express these generating functions in terms of Chebyshev polynomials of the second kind.
Card shuffling and the decomposition of tensor products
Published
• View Publication
• BIB
Let H be a subgroup of a finite group G. We use Markov chains to quantify how large r should be so that the decomposition of the r tensor power of the representation of G on cosets on H behaves (after renormalization) like the regular representation of G. For the case where G is a symmetric group and H a parabolic subgroup, we find that this question is precisely equivalent to the question of how large r should be so that r iterations of a shuffling method randomize the Robinson-Schensted-Knuth shape of a permutation. This equivalence is rather remarkable, if only because the representation theory problem is related to a reversible Markov chain on the set of representations of the symmetric group, whereas the card shuffling problem is related to a nonreversible Markov chain on the symmetric group. The equivalence is also useful, and results on card shuffling can be applied to yield sharp results about the decomposition of tensor powers.
On combinatorics of quiver component formulas
Published in Journal of Algebraic Combinatorics, 21, 351-371, 2005
• View Publication
• BIB
Buch and Fulton conjectured the nonnegativity of the quiver coefficients appearing in their formula for a quiver variety. Knutson, Miller and Shimozono proved this conjecture as an immediate consequence of their ``component formula''. We present an alternative proof of the component formula by substituting combinatorics for Grobner degeneration. We relate the component formula to the work of Buch, Kresch, Tamvakis and the author where a ``splitting'' formula for Schubert polynomials in terms of quiver coefficients was obtained. We prove analogues of this latter result for the type BCD-Schubert polynomials of Billey and Haiman.
Divide-and-conquer generating functions. Part I. Elementary sequences
Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By giving several classes of ordinary generating functions together with recurrences, we hope to help with the analysis of many such sequences, and try to classify a part of the divide-and-conquer sequence zoo.
Cesaro asymptotics for the orders of SL_k(Z_n)$ and GL_k(Z_n) as n -> infinity
Published
• View Publication
• BIB
Given an integer k>0, our main result states that the sequence of orders of the groups SL_k(\Z_n) (respectively, of the groups GL_k(Z_n)) is Cesaro equivalent as n -> infinity to the sequence C_1(k) n^{k^2-1} (respectively, C_2(k)n^{k^2}), where the coefficients C_1(k) and C_2(k) depend only on k; we give explicit formulas for C_1(k) and C_2(k). This result generalizes the theorem (which was first published by I. Schoenberg) that says that the Euler function is Cesaro equivalent to n * 6/pi^2. We present some experimental facts related to the main result.
A Family of Well-Covered Graphs with Unimodal Independence Polynomials
If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that the independence polynomial of a well-covered graph $G$ (i.e., a graph whose all maximal independent sets are of the same size) is unimodal, that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing.
T. S. Michael and N. Traves (2002) provided examples of well-covered graphs whose independence polynomials are not unimodal.
A. Finbow, B. Hartnell and R. J. Nowakowski (1993) proved that under certain conditions, any well-covered graph equals G* for some $G$, where G* is the graph obtained from $G$ by appending a single pendant edge to each vertex of $G$. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees the independence polynomial is unimodal. V. E. Levit and E. Mandrescu (2002) validated the unimodality of the independence polynomials of some well-covered trees (e.g., $P_{n}^{*},K_{1,n}^{*}$, where $P_{n}$ is the path on $n$ vertices and $K_{1,n}$ is the $n$-star graph).
In this paper we show that for any graph $G$ with the stability number alpha(G) < 5, the independence polynomial of G* is unimodal.
Correspondence Between Two Antimatroid Algorithmic Characterizations
Published
• View Publication
• BIB
The basic distinction between already known algorithmic characterizations of matroids and antimatroids is in the fact that for antimatroids the ordering of elements is of great importance.
While antimatroids can also be characterized as set systems, the question whether there is an algorithmic description of antimatroids in terms of sets and set functions was open for some period of time.
This article provides a selective look at classical material on algorithmic characterization of antimatroids, i.e., the ordered version, and a new unordered version. Moreover we empathize formally the correspondence between these two versions.
Alternating signs of quiver coefficients
Published
• View Publication
• BIB
We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a short proof of the ratio formula for quiver varieties.
Two relations that generalize the $q$-Serre relations and the Dolan-Grady relations
We define an algebra on two generators which we call the Tridiagonal algebra, and we consider its irreducible modules. The algebra is defined as follows. Let K denote a field, and let $β, γ, γ^*, \varrho, \varrho^*$ denote a sequence of scalars taken from K. The corresponding Tridiagonal algebra $T$ is the associative K-algebra with 1 generated by two symbols $A$, $A^*$ subject to the relations (i) \lbrack A,A^2A^*-βAA^*A + A^*A^2 -γ(AA^*+A^*A)- \varrho A^*\rbrack = 0,
(ii) \lbrack A^*,A^{*2}A-βA^*AA^* + AA^{*2} -γ^* (A^*A+AA^*)- \varrho^* A\rbrack = 0, where $\lbrack r,s\rbrack $ means $rs-sr$. We call these relations the Tridiagonal relations. For $β= q+q^{-1}$, $γ= γ^*=0$, $\varrho=\varrho^*=0$, the Tridiagonal relations are the $q$-Serre relations. For $β= 2$, $γ= γ^*=0$, $\varrho=b^2$, $\varrho^*=b^{*2}$, the Tridiagonal relations are the Dolan-Grady relations. In the first part of this paper, we survey what is known about irreducible finite dimensional $T$-modules. We focus on how these modules are related to the Leonard pairs recently introduced by the present author, and the more general Tridiagonal pairs recently introduced by Ito, Tanabe, and the present author. In the second part of the paper, we construct an infinite dimensional irreducible $T$-module based on the Askey-Wilson polynomials.
On Lunn-Senior's Mathematical Model of Isomerism in Organic Chemistry. Part II
The second part of this paper is devoted to the following important question in organic chemistry: given two isomers of a molecule, how to identify them with their structural formulae using only type properties of that molecule? A classical answer of this question is given for benzene by the identification of its di-substituted (para, ortho, and meta), and tri-substituted (asymmetric, vicinal, and symmetric) derivatives via the Korner substitution reactions among them. Here we develop a machinery within the framework of the Lunn-Senior's mathematical model of isomerism in organic chemistry, which, in principle, answers this question. In particular, it is shown that the members of a chiral pair cannot be distinguished via substitution reactions. The examples of ethene, benzene, and cyclopropane are discussed.
Structures of boson and fermion Fock spaces in the space of symmetric functions
Published in Acta Applicandae Mathematica , 81, 1, e233-268 (2004)
• View Publication
• BIB
We realize the Weil representation of infinite dimensional symplectic group and spinor representation of infinite-dimensional group $GL$ by linear operators in the space of symmetric functions in infinite number of variables.
State Complexity and the Monoid of Transformations of a Finite Set
Published
• View Publication
• BIB
In this paper we consider the state complexity of an operation on formal languages, root(L). This naturally entails the discussion of the monoid of transformations of a finite set. We obtain good upper and lower bounds on the state complexity of root(L) over alphabets of all sizes.