Showing 20 papers (Total: 81623 papers, 47312 authors in database)
An Approach to the Hirsch Conjecture
W. M. Hirsch formulated a beautiful conjecture on diameters of convex polyhedra.I suggest a new viewpoint with the deformation and moduli of polytopes.
Simple permutations and algebraic generating functions
Published
• View Publication
• BIB
A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on.
Problems on Polytopes, Their Groups, and Realizations
Published
• View Publication
• BIB
The paper gives a collection of open problems on abstract polytopes that were either presented at the Polytopes Day in Calgary or motivated by discussions at the preceding Workshop on Convex and Abstract Polytopes at the Banff International Research Station in May 2005.
Mixed powers of generating functions
Published in Discrete Mathematics and Theoretical Computer Science Proceedings, AG, 171-182, 2006
• View Publication
• BIB
Given an integer m>=1, let || || be a norm in R^{m+1} and let S denote the set of points with nonnegative coordinates in the unit sphere with respect to this norm. Consider for each 1<= j<= m a function f_j(z) that is analytic in an open neighborhood of the point z=0 in the complex plane and with possibly negative Taylor coefficients. Given a vector n=(n_0,...,n_m) with nonnegative integer coefficients, we develop a method to systematically associate a parameter-varying integral to study the asymptotic behavior of the coefficient of z^{n_0} of the Taylor series of (f_1(z))^{n_1}...(f_m(z))^{n_m}, as ||n|| tends to infinity. The associated parameter-varying integral has a phase term with well specified properties that make the asymptotic analysis of the integral amenable to saddle-point methods: for many directions d in S, these methods ensure uniform asymptotic expansions for the Taylor coefficient of z^{n_0} of (f_1(z))^{n_1}...(f_m(z))^{n_m}, provided that n/||n|| stays sufficiently close to d as ||n|| blows up to infinity. Our method finds applications in studying the asymptotic behavior of the coefficients of a certain multivariable generating functions as well as in problems related to the Lagrange inversion formula for instance in the context random planar maps.
Cluster algebras and triangulated surfaces. Part I: Cluster complexes
Published in Acta Mathematica, 201:83-146, 2008
• View Publication
• BIB
We establish basic properties of cluster algebras associated with oriented bordered surfaces with marked points. In particular, we show that the underlying cluster complex of such a cluster algebra does not depend on the choice of coefficients, describe this complex explicitly in terms of "tagged triangulations" of the surface, and determine its homotopy type and its growth rate.
Kempf collapsing and quiver loci
Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree.
Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ Ωis the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly).
Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobiński-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new).
Fleck quotients and Bernoulli numbers
Let p be a prime, and let n>0 and r be integers. In 1913 Fleck showed that $$F_p(n,r)=(-p)^{-[(n-1)/(p-1)]}\sum_{k=r(mod p)}\binom{n}{k}(-1)^k\in\Z.$$ Nowadays this result plays important roles in many aspects. Recently Sun and Wan investigated $F_p(n,r)$ mod p in [SW2]. In this paper, using p-adic methods we determine $(F_p(m,r)-F_p(n,r))/(m-n)$ modulo p in terms of Bernoulli numbers, where m>0 is an integer with $m\not=n$ and $m=n (mod p(p-1))$. Consequently, $F_p(n,r)$ mod $p^{ord_p(n)+1}$ is determined; for example, if $n=n_*(mod p-1)$ with $0<n_*<p-2$ then $$\frac{F_p(pn,0)}{pn}=\frac{n_*!}{n_*+1}B_{p-1-n_*} (mod p).$$ This yields an application to Stirling numbers of the second kind. We also study extended Fleck quotients; in particular we prove that if $a>0$ and $l\ge 0$ are integers with $2\le n-l\le p$ then $$\frac{1}{p^{n-l}}\sum_{l<k\le n} \binom{p^a n-d}{p^a k-d}(-1)^{pk}\binom{k-1}{l} =\frac{(-1)^{l-1}n!}{l!(n-l)}B_{p-n+l} (mod p)$$ for all d=1,...,max{p^{a-2},1}.
Riemann-Roch and Abel-Jacobi theory on a finite graph
Published
• View Publication
• BIB
It is well-known that a finite graph can be viewed, in many respects, as a discrete analogue of a Riemann surface. In this paper, we pursue this analogy further in the context of linear equivalence of divisors. In particular, we formulate and prove a graph-theoretic analogue of the classical Riemann-Roch theorem. We also prove several results, analogous to classical facts about Riemann surfaces, concerning the Abel-Jacobi map from a graph to its Jacobian. As an application of our results, we characterize the existence or non-existence of a winning strategy for a certain chip-firing game played on the vertices of a graph.
Eigenvalues and forbidden subgraphs I
Published
• View Publication
• BIB
We present sharp inequalities relating the number of vertices, edges, and triangles of a graph to the smallest eigenvalue of its adjacency matrix and the largest eigenvalue of its Laplacian.
Poisson representation of a Ewens fragmentation process
Published
• View Publication
• BIB
A simple explicit construction is provided of a partition-valued fragmentation process whose distribution on partitions of $[n]=\{1,...,n\}$ at time $θ\ge 0$ is governed by the Ewens sampling formula with parameter $θ$. These partition-valued processes are exchangeable and consistent, as $n$ varies. They can be derived by uniform sampling from a corresponding mass fragmentation process defined by cutting a unit interval at the points of a Poisson process with intensity $θx^{-1} \diff x$ on ${\mathbb R}_+$, arranged to be intensifying as $θ$ increases.
On reconstructing reducible n-ary quasigroups and switching subquasigroups
Published in Quasigroups Relat. Syst. 16(1) 2008, 55-67
• View Publication
• BIB
(1) We prove that, provided n>=4, a permutably reducible n-ary quasigroup is uniquely specified by its values on the n-ples containing zero. (2) We observe that for each n,k>=2 and r<=[k/2] there exists a reducible n-ary quasigroup of order k with an n-ary subquasigroup of order r. As corollaries, we have the following: (3) For each k>=4 and n>=3 we can construct a permutably irreducible n-ary quasigroup of order k. (4) The number of n-ary quasigroups of order k>3 has double-exponential growth as n tends to infinity; it is greater than exp exp(n ln[k/3]) if k>=6, and exp exp(n (ln 3)/3 - 0.44) if k=5.
On the number of 1-perfect binary codes: a lower bound
Published in IEEE Trans. Inf. Theory 54(4) 2008, 1760-1765
• View Publication
• BIB
We present a construction of 1-perfect binary codes, which gives a new lower bound on the number of such codes. We conjecture that this lower bound is asymptotically tight.
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.