Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Grothendieck polynomials and quiver formulas
Published in Amer. J. Math., 127 (2005), 551--567.
• View Publication
• BIB
Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger.
Littlewood-Richardson rules for Grassmannians
Published
• View Publication
• BIB
We give elementary and short proofs of the Littlewood-Richardson rules for type A Grassmannians and maximal isotropic Grassmannians, based on the corresponding Pieri rules.
Grassmann-Berezin Calculus and Theorems of the Matrix-Tree Type
Published
• View Publication
• BIB
We prove two generalizations of the matrix-tree theorem. The first one, a result essentially due to Moon for which we provide a new proof, extends the ``all minors'' matrix-tree theorem to the ``massive'' case where no condition on row or column sums is imposed. The second generalization, which is new, extends the recently discovered Pfaffian-tree theorem of Masbaum and Vaintrob into a ``Hyperpfaffian-cactus'' theorem. Our methods are noninductive, explicit and make critical use of Grassmann-Berezin calculus that was developed for the needs of modern theoretical physics.
Symmetric products of surfaces and the cycle index
We express the signature ${\rm Sign}(SP^m_G(M))$ of the symmetric product $SP^n(M)$ of an (open) surface $M$ in terms of the cycle index $Z(G;\bar x)$ of $G$, a polynomial which originally appeared in P{\' o}lya enumeration theory of graphs, trees, chemical structures etc. The computations are used to show that there exist punctured Riemann surfaces $M_{g,k}, M_{g',k'}$ such that the manifolds $SP^{m}(M_{g,k})$ and $SP^{m}(M_{g',k'})$ are often not homeomorphic, although they always have the same homotopy type provided $2g+k = 2g'+k'$ and $k,k'\geq 1$.
Arrangements of symmetric products of spaces
Using the topological technique of diagrams of spaces, we calculate the homology of the union and the complement of finite arrangements of subspaces of the form $D + SP^{n-d}(X)$ in symmetric products $SP^n(X)$ where $D\in SP^d(X)$. As an application we include a computation of the homology of the homotopy end space of the open manifold $SP^n(M_{g,k})$, where $M_{g,k}$ is a Riemann surface of genus $g$ punctured at $k$ points, a problem which was originally motivated by the study of commutative $(m+k,m)$-groups.
A Phase Transition for the Metric Distortion of Percolation on the Hypercube
Published
• View Publication
• BIB
Let H_n be the hypercube {0,1}^n, and let H_{n,p} denote the same graph with Bernoulli bond percolation with parameter p=n^-α. It is shown that at α=1/2 there is a phase transition for the metric distortion between H_n and H_{n,p}. For α<1/2, asymptotically there is a map from H_n to H_{n,p} with constant distortion (depending only on α). For α>1/2 the distortion tends to infinity as a power of n. We indicate the similarity to the existence of a non-uniqueness phase in the context of infinite nonamenable graphs.
First steps in tropical geometry
Published
• View Publication
• BIB
Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.