Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Extensions of the well-poised and elliptic well-poised Bailey lemma
Published in Indag. Math. (N.S.) 14 (2003), 571-588
• View Publication
• BIB
We establish a number of extensions of the well-poised Bailey lemma and elliptic well-poised Bailey lemma. As application we prove some new transformation formulae for basic and elliptic hypergeometric series, and embed some recent identities of Andrews, Berkovich and Spiridonov in a well-poised Bailey tree.
Summation formulae for elliptic hypergeometric series
Published in Proc. Amer. Math. Soc. 133 (2005), 519-527
• View Publication
• BIB
Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.
On the sign-imbalance of partition shapes
Published in Journal of Combinatorial Theory, Series A 111 (2005) 190-203
• Search Publication
Let the sign of a standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. A conjecture by Richard Stanley says that the sum of the signs of all SYTs with n squares is 2^[n/2]. We present a stronger theorem with a purely combinatorial proof using the Robinson-Schensted correspondence and a new concept called chess tableaux.
We also prove a sharpening of another conjecture by Stanley concerning weighted sums of squares of sign-imbalances. The proof is built on a remarkably simple relation between the sign of a permutation and the signs of its RS-corresponding tableaux.
Hecke operators on rational functions
Published in Forum Math. 17 (2005), no. 4, 519-554
• View Publication
• BIB
We define Hecke operators U_m that sift out every m-th Taylor series coefficient of a rational function in one variable, defined over the reals. We prove several structure theorems concerning the eigenfunctions of these Hecke operators, including the pleasing fact that the point spectrum of the operator U_m is simply the set {+/- m^k, k in N} U {0}. It turns out that the simultaneous eigenfunctions of all of the Hecke operators involve Dirichlet characters mod L, giving rise to the result that any arithmetic function of m that is completely multiplicative and also satisfies a linear recurrence must be a Dirichlet character times a power of m. We also define the notions of level and weight for rational eigenfunctions, by analogy with modular forms, and we show the existence of some interesting finite-dimensional subspaces of rational eigenfunctions (of fixed weight and level), whose union gives all of the rational functions whose coefficients are quasi-polynomials.
The repulsive lattice gas, the independent-set polynomial, and the Lovász local lemma
Published in J. Stat. Phys. 118, 1151-1261 (2005)
• View Publication
• BIB
We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovasz local lemma in probabilistic combinatorics. We show that the conclusion of the Lovasz local lemma holds for dependency graph G and probabilities {p_x} if and only if the independent-set polynomial for G is nonvanishing in the polydisc of radii {p_x}. Furthermore, we show that the usual proof of the Lovasz local lemma -- which provides a sufficient condition for this to occur -- corresponds to a simple inductive argument for the nonvanishing of the independent-set polynomial in a polydisc, which was discovered implicitly by Shearer and explicitly by Dobrushin. We also present some refinements and extensions of both arguments, including a generalization of the Lovasz local lemma that allows for "soft" dependencies. In addition, we prove some general properties of the partition function of a repulsive lattice gas, most of which are consequences of the alternating-sign property for the Mayer coefficients. We conclude with a brief discussion of the repulsive lattice gas on countably infinite graphs.
The Computational Complexity of Rules for the Character Table of S_n
Published
• View Publication
• BIB
The Murnaghan-Nakayama rule is the classical formula for computing the character table of S_n. Y. Roichman has recently discovered a rule for the Kazhdan-Lusztig characters of q-Hecke algebras of type A, which can also be used for the character table of S_n. For each of the two rules, we give an algorithm for computing entries in the character table of S_n. We then analyze the computational complexity of the two algorithms, and in the case of characters indexed by partitions in the (k,l)-hook, compare their complexities to each other. It turns out that the algorithm based on the Murnaghan-Nakayama rule requires far less operations than the other algorithm. We note the algorithms' complexities' relation to two enumeration problems of Young diagrams and Young tableaux.
Maximal triangulations of a regular prism
Published
• View Publication
• BIB
In this paper, we resolve two conjectures of De Loera, Santos, and Takeuchi in the affirmative, computing the maximal size of any regular triangulation of the $n$-prism and $n$-antiprism.
Tricyclic graphs with exactly two main eigenvalues
An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, all connected tricyclic graphs with exactly two main eigenvalues are determined.
Ennea-algebras
Published
• View Publication
• BIB
We propose a generalisation of a recent work of M. Aguiar and J.-L. Loday on Quadri-algebras, called Ennea-algebras. In this second version, this paper has been extended. We show that the augmented free Ennea-algebra is a connected Hopf algebra and construct explicit formal deformations of dendriform dialgebras, quari-algebras and ennea-algebras via Baxter operators.
Affine Weyl groups in K-theory and representation theory
Published
• View Publication
• BIB
We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.
Ramanujan's "Lost Notebook" and the Virasoro Algebra
Published in Commun.Math.Phys. 251 (2004) 567-588
• View Publication
• BIB
By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd moduli; thus, we generalized the result of Ramanujan.
Blocking sets in small finite linear spaces II
The contents of this paper has been incorporated into math.CO/0308288.
Small examples of non-constructible simplicial balls and spheres
Published
• View Publication
• BIB
We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.
On the entropy of spanning trees on a large triangular lattice
Published in Ramanujian J. 10, 205-214 (2005).
• View Publication
• BIB
The double integral representing the entropy S_{tri} of spanning trees on a large triangular lattice is evaluated using two different methods, one algebraic and one graphical. Both methods lead to the same result S_{tri} = [1/(2 Pi)]^2 \int_0^{2 Pi} dθ\int_0^{2 Pi} dφln [6-2 cos(θ) - 2 cos(φ) -2 cos(θ+φ)] = [3(\sqrt 3)/Pi](1 - 5^{-2} + 7^{-2} - 11^{-2} + 13^{-2} - ...)
Independence polynomials of well-covered graphs: generic counterexamples for the unimodality conjecture
Published
• View Publication
• BIB
A graph $G$ is well-covered if all its maximal stable sets have the same size, denoted by alpha(G) (M. D. Plummer, 1970). 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 I(G;x) 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) for any well-covered graph $G$. T. S. Michael and W. N. Traves (2002) proved that this assertion is true for alpha(G) < 4, while for alpha(G) from the set {4,5,6,7} they provided counterexamples.
In this paper we show that for any integer $alpha$ > 7, there exists a (dis)connected well-covered graph $G$ with $alpha$ = alpha(G), whose independence polynomial is not unimodal. In addition, we present a number of sufficient conditions for a graph $G$ with alpha(G) < 7 to have unimodal independence polynomial.
Test Sets for Integer Programs with Z-Convex Objective
In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem.
Non-crossing frameworks with non-crossing reciprocals
Published in Discrete Comput. Geom., 32:4 (2004), 567-600
• View Publication
• BIB
We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.
Logarithmic Derivatives of Solutions to Linear Differential Equations
Published
• View Publication
• BIB
Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact using Gröbner basis techniques and give a direct method for finding a polynomial over $K$ that $y'/y$ satisfies. Moreover, we provide explicit degree bounds and extend the result to fields with positive characteristic. Finally, we give an application of our method to a class of nonlinear differential equations.
Indecomposable Ideals in Incidence Algebras
Published in Mod.Phys.Lett. A18 (2003) 2491-2500
• View Publication
• BIB
The elements of a finite partial order $P$ can be identified with the maximal indecomposable two-sided ideals of its incidence algebra $\A$, and then for two such ideals, $I\prec J \iff IJ \not=0$. This offers one way to recover a poset from its incidence algebra. In the course of proving the above, we classify all of the two-sided ideals of $\A$.
Aztec Diamonds and Baxter Permutations
Published in The Electronic Journal of Combinatorics 17 (2010), #R105
• View Publication
• BIB
We present a proof of a conjecture about the relationship between Baxter permutations and pairs of alternating sign matrices that are produced from domino tilings of Aztec diamonds. It is shown that if and only if a tiling corresponds to a pair of ASMs that are both permutation matrices, the larger permutation matrix corresponds to a Baxter permutation.
There has been a thriving literature on both pattern-avoiding permutations of various kinds and tilings of regions using dominos or rhombuses as tiles. However, there have not as of yet been many links between these two areas of enumerative combinatorics. This paper gives one such link.