Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Governing Singularities of Schubert Varieties
Published in J. Algebra, Vol. 320 (2008), No. 2, p. 495--520
• View Publication
• BIB
We present a combinatorial and computational commutative algebra methodology for studying singularities of Schubert varieties of flag manifolds.
We define the combinatorial notion of *interval pattern avoidance*. For "reasonable" invariants P of singularities, we geometrically prove that this governs (1) the P-locus of a Schubert variety, and (2) which Schubert varieties are globally not P. The prototypical case is P="singular"; classical pattern avoidance applies admirably for this choice [Lakshmibai-Sandhya'90], but is insufficient in general.
Our approach is analyzed for some common invariants, including Kazhdan-Lusztig polynomials, multiplicity, factoriality, and Gorensteinness, extending [Woo-Yong'05]; the description of the singular locus (which was independently proved by [Billey-Warrington '03], [Cortez '03], [Kassel-Lascoux-Reutenauer'03], [Manivel'01]) is also thus reinterpreted.
Our methods are amenable to computer experimentation, based on computing with *Kazhdan-Lusztig ideals* (a class of generalized determinantal ideals) using Macaulay 2. This feature is supplemented by a collection of open problems and conjectures.
An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences
Published in Ars Combinatoria, 94(2010), 289-298.
• Search Publication
Let $K_k$, $C_k$, $T_k$, and $P_{k}$ denote a complete graph on $k$ vertices, a cycle on $k$ vertices, a tree on $k+1$ vertices, and a path on $k+1$ vertices, respectively. 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}$). 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}-H, n)$ for $n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$ where $H$ is a graph on $k$ vertices which contains a tree on 4 vertices but not contains a cycle on 3 vertices. We also determine the values of $σ(K_{r+1}-P_2, n)$ for $n\geq 4r+8, r\geq 3$. There are a number of graphs on $k$ vertices which containing a tree on 4 vertices but not containing a cycle on 3 vertices (for example, the cycle on $k$ vertices, the tree on $k$ vertices, and the complete 2-partite graph on $k$ vertices, etc).
Transitive projective planes
Published
• View Publication
• BIB
A long-standing conjecture is that any transitive finite projective plane is Desarguesian. We make a contribution towards a proof of this conjecture by showing that a group acting transitively on the the points of a non-Desarguesianprojective plane must not contain any components.
An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions
Published
• View Publication
• BIB
We prove an asymptotically tight bound (asymptotic with respect to the number of polynomials for fixed degrees and number of variables) on the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of real polynomials. More precisely, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of $s$ polynomials in $\R[X_1,...,X_k]$ whose degrees are at most $d$ is bounded by \[ \frac{(2d)^k}{k!}s^k + O(s^{k-1}). \] This improves the best upper bound known previously which was \[ {1/2}\frac{(8d)^k}{k!}s^k + O(s^{k-1}). \] The new bound matches asymptotically the lower bound obtained for families of polynomials each of which is a product of generic polynomials of degree one.
Boundary slopes of 2-bridge links determine the crossing number
A diagonal surface in a link exterior M is a properly embedded, incompressible, boundary incompressible surface which furthermore has the same number of boundary components and same slope on each component of the boundary of M. We derive a formula for the boundary slope of a diagonal surface in the exterior of a 2-bridge link which is analogous to the formula for the boundary slope of a 2-bridge knot found by Hatcher and Thurston. Using this formula we show that the diameter of a 2-bridge link, that is, the difference between the smallest and largest finite slopes of diagonal surfaces, is equal to the crossing number.
Thresholds and expectation thresholds
Published
• View Publication
• BIB
Consider a random graph G in G(n,p) and the graph property: G contains a copy of a specific graph H. (Note: H depends on n; a motivating example: H is a Hamiltonian cycle.) Let q be the minimal value for which the expected number of copies of H' in G is at least 1/2 for every subgraph H' of H. Let p be the value for which the probability that G contains a copy of H is 1/2. Conjecture: p/q = O(log n). Related conjectures for general Boolean functions, and a possible connection with discrete isoperimetry are discussed.
Grid polygons from permutations and their enumeration by the kernel method
A grid polygon is a polygon whose vertices are points of a grid. We define an injective map between permutations of length n and a subset of grid polygons on n vertices, which we call consecutive-minima polygons. By the kernel method, we enumerate sets of permutations whose consecutive-minima polygons satisfy specific geometric conditions. We deal with 2-variate and 3-variate generating functions involving derivatives, cases which are not routinely solved by the kernel method.
Poincare series of subsets of affine Weyl groups
Published
• View Publication
• BIB
In this note, we identify a natural class of subsets of affine Weyl groups whose Poincare series are rational functions. This class includes the sets of minimal coset representatives of reflection subgroups. As an application, we construct a generalization of the classical length-descent generating function, and prove its rationality.
The Horn recursion for Schur P- and Q- functions: Extended Abstract
A consequence of work of Klyachko and of Knutson-Tao is the Horn recursion to determine when a Littlewood-Richardson coefficient is non-zero. Briefly, a Littlewood-Richardson coefficient is non-zero if and only if it satisfies a collection of Horn inequalities which are indexed by smaller non-zero Littlewood-Richardson coefficients. There are similar Littlewood-Richardson numbers for Schur P- and Q- functions. Using a mixture of combinatorics of root systems, combinatorial linear algebra in Lie algebras, and the geometry of certain cominuscule flag varieties, we give Horn recursions to determine when these other Littlewood-Richardson numbers are non-zero. Our inequalities come from the usual Littlewood-Richardson numbers, and while we give two very different Horn recursions, they have the same sets of solutions. Another combinatorial by-product of this work is a new Horn-type recursion for the usual Littlewood-Richardson coefficients.
Hankel Determinants for Some Common Lattice Paths
Published
• View Publication
• BIB
For a single value of $\ell$, let $f(n,\ell)$ denote the number of lattice paths that use the steps $(1,1)$, $(1,-1)$, and $(\ell,0)$, that run from $(0,0)$ to $(n,0)$, and that never run below the horizontal axis. Equivalently, $f(n,\ell)$ satisfies the quadratic functional equation $F(x) = \sum_{n\ge 0}f(n,\ell) x^n = 1+x^{\ell}F(x)+x^2F(x)^2.$
Let $H_n$ denote the $n$ by $n$ Hankel matrix, defined so that $[H_n]_{i,j} = f(i+j-2,\ell)$. Here we investigate the values of such determinants where $\ell = 0,1,2,3$. For $\ell = 0,1,2$ we are able to employ the Gessel-Viennot-Lindström method. For the case $\ell=3$, the sequence of determinants forms a sequence of period 14, namely, $$ (\det(H_n))_{n \ge 1} = (1,1,0,0,-1,-1,-1,-1,-1,0,0,1,1,1,1,1,0,0,-1,-1,-1,...)$$ For this case we are able to use the continued fractions method recently introduced by Gessel and Xin.
We also apply this technique to evaluate Hankel determinants for other generating functions satisfying a certain type of quadratic functional equation.
A complete algorithm to find flows in the one-way measurement model
This article is the complement to [quant-ph/0611284], which proves that flows (as introduced by [quant-ph/0506062]) can be found efficiently for patterns in the one-way measurement model which have non-empty input and output subsystems of the same size. This article presents a complete algorithm for finding flows, and a proof of its' correctness, without assuming any knowledge of graph-theoretic algorithms on the part of the reader. This article is a revised version of [quant-ph/0603072v2], where the results of [quant-ph/0611284] also first appeared.
Multinets, resonance varieties, and pencils of plane curves
Published
• View Publication
• BIB
We show that a line arrangement in the complex projective plane supports a nontrivial resonance variety if and only if it is the underlying arrangement of a "multinet," a multi-arrangement with a partition into three or more equinumerous classes which have equal multiplicities at each inter-class intersection point, and satisfy a connectivity condition. We also prove that this combinatorial structure is equivalent to the existence of a pencil of plane curves, also satisfying a connectivity condition, whose singular fibers include at least three products of lines, which comprise the arrangement. We derive numerical conditions which impose restrictions on the number of classes, and the line and point multiplicities that can appear in multinets, and allow us to detect whether the associated pencils yield nonlinear fiberings of the complement.
Paths and tableaux descriptions of Jacobi-Trudi determinant associated with quantum affine algebra of type D_n
Published in J. Alg. Combin. 26 (2007) 253-290
• View Publication
• BIB
We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type D_n. Unlike the A_n and B_n cases, a simple application of the Gessel-Viennot path method does not yield a positive sum expression of the determinant over a set of tuples of paths. However, applying an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.
Koszul algebras and the quantum MacMahon Master Theorem
Published
• View Publication
• BIB
We give a new proof of the quantum version of MacMahon's Master Theorem due to Garoufalidis, Le and Zeilberger (one-parameter case) and to Konvalinka and Pak (multiparameter case) by deriving it from known facts about Koszul algebras.
Degrees of stretched Kostka coefficients
Published
• View Publication
• BIB
Given a partition l and a composition b, the stretched Kostka coefficient K_{l, b}(n) is the map sending each positive integer n to the Kostka coefficient indexed by nl and nb. Kirillov and Reshetikhin (1986) have shown that stretched Kostka coefficients are polynomial functions of n. King, Tollu, and Toumazet have conjectured that these polynomials always have nonnegative coefficients (2004), and they have given a conjectural expression for their degrees (2006).
We prove the values conjectured by King, Tollu, and Toumazet for the degrees of stretched Kostka coefficients. Our proof depends upon the polyhedral geometry of Gelfand--Tsetlin polytopes and uses tilings of GT-patterns, a combinatorial structure introduced in De Loera & McAllister (2004).
Schubert polynomials for the affine Grassmannian
Published
• View Publication
• BIB
Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.
Two step flag manifolds and the Horn conjecture
We give a simplification of Belkale's geometric proof of the Horn conjecture. Our approach uses the geometry of two-step flag manifolds to explain the occurrence of the Horn inequalities in a very straightforward way. The arguments for both necessity and sufficiency of the Horn inequalities are fairly conceptual when viewed in this framework. We provide examples to illustrate the method of proof.
New Identities for 7-cores with prescribed BG-rank
Published
• View Publication
• BIB
A q-series with nonnegative power series coefficients is called positive. The partition statistics BG-rank is defined as an alternating sum of parities of parts of a partition. It is known that the generating function for the number of partitions of n that are 7-cores with given BG-rank can be written as certain sum of multi-theta functions. We give explicit representations for these generating functions in terms of sums of positive eta-quotients and derive inequalities for the their coefficients. New identities for the generating function of unrestricted 7-cores and inequalities for their coefficients are also obtained. Our proofs utilize Ramanujan's theory of modular equations.
Combinatorial point for higher spin loop models
Published
• View Publication
• BIB
Integrable loop models associated with higher representations (spin k/2) of U_q(sl(2)) are investigated at the point q=-e^{iπ/(k+2)}. The ground state eigenvalue and eigenvectors are described. Introducing inhomogeneities into the models allows to derive a sum rule for the ground state entries.
Introduction to Partially Ordered Patterns
Published
• View Publication
• BIB
We review selected known results on partially ordered patterns (POPs) that include co-unimodal, multi- and shuffle patterns, peaks and valleys ((modified) maxima and minima) in permutations, the Horse permutations and others. We provide several (new) results on a class of POPs built on an arbitrary flat poset, obtaining, as corollaries, the bivariate generating function for the distribution of peaks (valleys) in permutations, links to Catalan, Narayna, and Pell numbers, as well as generalizations of few results in the literature including the descent distribution. Moreover, we discuss q-analogue for a result on non-overlapping segmented POPs. Finally, we suggest several open problems for further research.