Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A combinatorial rule for (co)minuscule Schubert calculus
Published in Adv. Math. 222 (2009), no. 2, 596--620.
• View Publication
• BIB
We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.
The Combinatorics of Quiver Representations
Published
• View Publication
• BIB
We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.
q-Eulerian Polynomials: Excedance Number and Major index
Published
• View Publication
• BIB
In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.
Coverage of space in Boolean models
Published in IMS Lecture Notes--Monograph Series 2006, Vol. 48, 119-127
• View Publication
• BIB
For a marked point process $\{(x_i,S_i)_{i\geq 1}\}$ with $\{x_i\in Λ:i\geq 1\}$ being a point process on $Λ\subseteq \mathbb{R}^d$ and $\{S_i\subseteq R^d:i\geq 1\}$ being random sets consider the region $C=\cup_{i\geq 1}(x_i+S_i)$. This is the covered region obtained from the Boolean model $\{(x_i+S_i):i\geq 1\}$. The Boolean model is said to be completely covered if $Λ\subseteq C$ almost surely. If $Λ$ is an infinite set such that ${\bf s}+Λ\subseteq Λ$ for all ${\bf s}\in Λ$ (e.g. the orthant), then the Boolean model is said to be eventually covered if ${\bf t}+Λ\subseteq C$ for some ${\bf t}$ almost surely. We discuss the issues of coverage when $Λ$ is $\mathbb{R}^d$ and when $Λ$ is $[0,\infty)^d$.
Symmetric functions, parabolic category O and the Springer fiber
Published in Duke Math. J. 143 (2008), 41-79.
• View Publication
• BIB
We prove that the center of a regular block of parabolic category O for the general linear Lie algebra is isomorphic to the cohomology algebra of a corresponding Springer fiber. This was conjectured by Khovanov. We also find presentations for the centers of singular blocks, which are cohomology algebras of Spaltenstein varieties.
The smallest degree sum that yields potentially K_{r+1}-Z-graphical Sequences
Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). We use the symbol $Z_4$ to denote $K_4-P_2.$ A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-Z, n)$ for $n\geq 5r+19, r+1 \geq k \geq 5,$ $j \geq 5$ where $Z$ is a graph on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices. We also determine the values of $σ(K_{r+1}-Z_4, n)$, $σ(K_{r+1}-(K_4-e), n)$, $σ(K_{r+1}-K_4, n)$ for $n\geq 5r+16, r\geq 4$. There are a number of graphs on $k$ vertices and $j$ edges which contains a graph $Z_4$ but not contains a cycle on 4 vertices.
Arrovian juntas
This article explicitly constructs and classifies all arrovian voting systems on three or more alternatives. If we demand orderings to be complete, we have, of course, Arrow's classical dictator theorem, and a closer look reveals the classification of all such voting systems as dictatorial hierarchies. If we leave the traditional realm of complete orderings, the picture changes. Here we consider the more general setting where alternatives may be incomparable, that is, we allow orderings that are reflexive and transitive but not necessarily complete. Instead of a dictator we exhibit a junta whose internal hierarchy or coalition structure can be surprisingly rich. We give an explicit description of all such voting systems, generalizing and unifying various previous results.
Ihara's zeta function for periodic graphs and its approximation in the amenable case
Published in Journal of Functional Analysis 255 (2008) no. 6, 1339-1361
• View Publication
• BIB
In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised by Grigorchuk and Zuk. Accordingly, we show that the zeta function of a periodic graph with an amenable group action is the limit of the zeta functions of a suitable sequence of finite subgraphs.
Quantum Grothendieck Polynomials
Quantum K-theory is a K-theoretic version of quantum cohomology, which was recently defined by Y.-P. Lee. Based on a presentation for the quantum K-theory of the classical flag variety Fl_n, we define and study quantum Grothendieck polynomials. We conjecture that they represent Schubert classes (i.e., the natural basis elements) in the quantum K-theory of Fl_n, and present strong evidence for this conjecture. We describe an efficient algorithm which, if the conjecture is true, computes the quantum K-invariants of Gromov-Witten type for Fl_n. Two explicit constructions for quantum Grothendieck polynomials are presented. The natural generalizations of several properties of Grothendieck polynomials and of the quantum Schubert polynomials due to Fomin, Gelfand, and Postnikov are proved for our quantum Grothendieck polynomials. For instance, we use a quantization map satisfying a factorization property similar to the cohomology quantization map, and we derive a Monk-type multiplication formula. We also define quantum double Grothendieck polynomials and derive a Cauchy identity. Our constructions are considerably more complex than those for quantum Schubert polynomials. In particular, a crucial ingredient in our work is the Pieri formula for Grothendieck polynomials due to the first author and Sottile.
High order expansion of matrix models and enumeration of maps
Perturbation of the GUE are known in physics to be related to enumeration of graphs on surfaces. We investigate this idea and show that for a small convex perturbation, we can perform a genus expansion: the moments of the empirical measure can be developed into a series whose g-th term is a generating function of graphs on a surface of genus g.
Linear combinations of graph eigenvalues
Published
• View Publication
• BIB
Let F(G) be a fixed linear combination of the k extremal eigenvalues of a graph G and of its complement. The problem of finding max{F(G):v(G)=n} generalizes a number of problems raised previously in the literature. We show that the limit max{F(G):v(G)=n}/n exists when n tends to infinity. We also answer a question of Gernert about the sum of the two maximal eigenvalues of a graph.
An extension of Maclaurin's inequalities
We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense equaivalent. These results complete and extend earlier results of Motzkin and Straus, Khadzhiivanov, Sos and Straus, Fisher and Ryan, and Petingi and Rodriguez.
A Combinatorial Analog of a Theorem of F.J.Dyson
Published
• View Publication
• BIB
Tucker's Lemma is a combinatorial analog of the Borsuk-Ulam theorem and the case n=2 was proposed by Tucker in 1945. Numerous generalizations and applications of the Lemma have appeared since then. In 2006 Meunier proved the Lemma in its full generality in his Ph.D. thesis. There are generalizations and extensions of the Borsuk-Ulam theorem that do not yet have combinatorial analogs. In this note, we give a combinatorial analog of a result of Freeman J. Dyson and show that our result is equivalent to Dyson's theorem. As with Tucker's Lemma, we hope that this will lead to generalizations and applications and ultimately a combinatorial analog of Yang's theorem of which both Borsuk-Ulam and Dyson are special cases.
Riemann sums over polytopes
Published
• View Publication
• BIB
We show that the Euler-MacLaurin formula for Riemann sums has an n-dimensional analogue in which intervals on the line get replaced by convex polytopes.
Uniformly cross intersecting families
Published
• View Publication
• BIB
Let $\mathcal{A}$ and $\matchcal{B}$ denote two families of subsets of an $n$-element set. The pair $(\mathcal{A},\mathcal{B})$ is said to be $\ell$-cross-intersecting iff $|A\cap B| = \ell$ for all $A\in\mathcal{A}$ and $B\in\mathcal{B}$. Denote by $P_\ell(n)$ the maximum value of $|\mathcal{A}||\mathcal{B}|$ over all such pairs. The best known upper bound on $P_\ell(n)$ is $Θ(2^n)$, by Frankl and Rödl. For a lower bound, Ahlswede, Cai and Zhang showed, for all $n \geq 2\ell$, a simple construction of an $\ell$-cross-intersecting pair $(\mathcal{A},\mathcal{B})$ with $|\mathcal{A}||\mathcal{B}| = \binom{2\ell}{\ell}2^{n-2\ell}=Θ(2^n/\sqrt{\ell})$, and conjectured that this is best possible. Consequently, Sgall asked whether or not $P_\ell(n)$ decreases with $\ell$.
In this paper, we confirm the above conjecture of Ahlswede et al. for any sufficiently large $\ell$, implying a positive answer to the above question of Sgall as well. By analyzing the linear spaces of the characteristic vectors of $\mathcal{A},\mathcal{B}$ over $\mathbb{R}$, we show that there exists some $\ell_0>0$, such that $P_\ell(n) \leq \binom{2\ell}{\ell}2^{n-2\ell}$ for all $\ell \geq \ell_0$. Furthermore, we determine the precise structure of all the pairs of families which attain this maximum.
On multiplicity-free skew characters and the Schubert Calculus
Published in Annals of Combinatorics: Volume 14, Issue 3 (2010), Page 339
• View Publication
• BIB
In this paper we classify the multiplicity-free skew characters of the symmetric group. Furthermore we show that the Schubert calculus is equivalent to that of skew characters in the following sense: If we decompose the product of two Schubert classes we get the same as if we decompose a skew character and replace the irreducible characters by Schubert classes of the `inverse' partitions (Theorem 4.2).
Sets with more sums than differences
Published in Integers 7 (2007), A5: 1--24
• Search Publication
Let A be a finite subset of the integers or, more generally, of any abelian group, written additively. The set A has "more sums than differences" if |A+A|>|A-A|. A set with this property is called an MSTD set. This paper gives explicit constructions of families of MSTD sets of integers.
Primitive sets and an Euler phi function for subsets of {1,2,...,n}
A nonempty subset A of {1,2,...,n} is called primitive if gcd(A)=1. Let f(n) and f_k(n) denote, respectively, the number of primitive subsets and the number of primitive subsets of cardinality k of {1,2,...,n}. Recursion formulas and asymptotic estimates are obtained for both functions.
$k$-Dependence and Domination in Kings Graphs
Published
• View Publication
• BIB
We study k-dependence and half domination problems for king's graphs in dimension n (n>1). Various sharp bounds are provided and a few conjectures are formulated in the cases the estimates are not the best possible.
Full heaps and representations of affine Weyl groups
We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.