Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Formal Markoff maps are positive
This note defines a family of Laurent polynomials (indexed in the rational projective line) which generalize the Markoff numbers and relate to the character variety of the one-cusped torus. We describe which monomials appear in each polynomial and prove all the coefficients are positive integers. We also conjecture a generalization of that positivity result.
Five Guidelines for Partition Analysis with Applications to Lecture Hall-type Theorems
Published
• View Publication
• BIB
Five simple guidelines are proposed to compute the generating function for the nonnegative integer solutions of a system of linear inequalities. In contrast to other approaches, the emphasis is on deriving recurrences. We show how to use the guidelines strategically to solve some nontrivial enumeration problems in the theory of partitions and compositions. This includes a strikingly different approach to lecture hall-type theorems, with new $q$-series identities arising in the process. For completeness, we prove that the guidelines suffice to find the generating function for any system of homogeneous linear inequalities with integer coefficients. The guidelines can be viewed as a simplification of MacMahon's partition analysis with ideas from matrix techiniques, Elliott reduction, and ``adding a slice''.
Ported Tutte Functions of Extensors and Oriented Matroids
The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.
Statistics on ordered partitions of sets
We introduce several statistics on ordered partitions of sets, that is, set partitions where the blocks are permuted arbitrarily. The distribution of these statistics is closely related to the q-Stirling numbers of the second kind. Some of the statistics are generalizations of known statistics on set partitions, but others are entirely new. All the new ones are sums of two statistics, inspired by statistics on permutations, where one of the two statistics is based on a certain partial ordering of the blocks of a partition.
Face vectors of flag complexes
Published
• View Publication
• BIB
A conjecture of Kalai and Eckhoff that the face vector of an arbitrary flag complex is also the face vector of some particular balanced complex is verified.
Polynomials with the half-plane property and matroid theory
Published in Adv. Math. 216 (2007), no. 1, 302--320
• View Publication
• BIB
A polynomial f is said to have the half-plane property if there is an open half-plane H, whose boundary contains the origin, such that f is non-zero whenever all the variables are in H. This paper answers several open questions regarding multivariate polynomials with the half-plane property and matroid theory.
* We prove that the support of a multivariate polynomial with the half-plane property is a jump system. This answers an open question posed by Choe, Oxley, Sokal and Wagner and generalizes their recent result claiming that the same is true whenever the polynomial is also homogeneous.
* We characterize multivariate multi-affine polynomial with real coefficients that have the half-plane property (with respect to the upper half-plane) in terms of inequalities. This is used to answer two open questions posed by Choe and Wagner regarding strongly Rayleigh matroids.
* We prove that the Fano matroid is not the support of a polynomial with the half-plane property. This is the first instance of a matroid which does not appear as the support of a polynomial with the half-plane property and answers a question posed by Choe et al.
We also discuss further directions and open problems.
On the enumeration of positive cells in generalized cluster complexes and Catalan hyperplane arrangements
Published in J. Algebr. Comb. (2006) 23, 355-375
• View Publication
• BIB
Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$ and coroot lattice $\check{Q}$, spanning a Euclidean space $V$. Let $m$ be a positive integer and $\aA^m_Φ$ be the arrangement of hyperplanes in $V$ of the form $(α, x) = k$ for $α\in Φ$ and $k = 0, 1,...,m$. It is known that the number $N^+ (Φ, m)$ of bounded dominant regions of $\aA^m_Φ$ is equal to the number of facets of the positive part $Δ^m_+ (Φ)$ of the generalized cluster complex associated to the pair $(Φ, m)$ by S. Fomin and N. Reading.
We define a statistic on the set of bounded dominant regions of $\aA^m_Φ$ and conjecture that the corresponding refinement of $N^+ (Φ, m)$ coincides with the $h$-vector of $Δ^m_+ (Φ)$. We compute these refined numbers for the classical root systems as well as for all root systems when $m=1$ and verify the conjecture when $Φ$ has type $A$, $B$ or $C$ and when $m=1$. We give several combinatorial interpretations to these numbers in terms of chains of order ideals in the root poset of $Φ$, orbits of the action of $W$ on the quotient $\check{Q} / (mh-1) \check{Q}$ and coroot lattice points inside a certain simplex, analogous to the ones given by the first author in the case of the set of all dominant regions of $\aA^m_Φ$. We also provide a dual interpretation in terms of order filters in the root poset of $Φ$ in the special case $m=1$.
On sets of large exponential sums
Published
• View Publication
• BIB
Let A be a subset of Z / NZ, and let R be the set of large Fourier coefficients of A. Properties of R have been studied in works of M.-C. Chang and B. Green. Our result is the following : the number of quadruples (r_1, r_2, r_3, r_4) \in R^4 such that r_1 + r_2 = r_3 + r_4 is at least |R|^{2+ε}, ε>0. This statement shows that the set R is highly structured. We also discuss some of the generalizations and applications of our result.
Multiplication of polynomials on Hermitian symmetric spaces and Littlewood-Richardson coefficients
Published
• View Publication
• BIB
Let K be a complex reductive algebraic group and V a representation of K. Let S denote the ring of polynomials on V. Assume that the action of K on S is multiplicity free. If V_λ is an irreducible representation of K, let S_λ denote the corresponding isotypic component of S. Write S_λ S_μ for the subspace of S spanned by products of S_λ and S_μ. If V_ν occurs as an irreducible constituent of the tensor product of V_λ and V_μ, is it true that S_ν is contained in S_λ S_μ? We investigate this question for representations arising in the context of Hermitian symmetric pairs. We show that the answer is yes in some cases and, using an earlier result of Ruitenburg, that in the remaining classical cases, the answer is yes provided that a conjecture of Stanley on the multiplication of Jack polynomials is true. We also show how the conjecture connects multiplication in the ring S to the usual Littlewood-Richardson rule.
Monotonicity, asymptotic normality and vertex degrees in random graphs
Published in Bernoulli 2007, Vol. 13, No. 4, 952-965
• View Publication
• BIB
We exploit a result by Nerman which shows that conditional limit theorems hold when a certain monotonicity condition is satisfied. Our main result is an application to vertex degrees in random graphs, where we obtain asymptotic normality for the number of vertices with a given degree in the random graph ${G(n,m)}$ with a fixed number of edges from the corresponding result for the random graph ${G(n,p)}$ with independent edges. We also give some simple applications to random allocations and to spacings. Finally, inspired by these results, but logically independent of them, we investigate whether a one-sided version of the Cramér--Wold theorem holds. We show that such a version holds under a weak supplementary condition, but not without it.
Generic section of a hyperplane arrangement and twisted Hurewicz maps
Published
• View Publication
• BIB
We consider a twisted version of the Hurewicz map on the complement of a hyperplane arrangement. The purpose of this paper is to prove surjectivity of the twisted Hurewicz map under some genericity conditions. As a corollary, we also prove that a generic section of the complement of a hyperplane arrangement has non-trivial homotopy groups.
A Summary of Problems and Results related to the Caccetta-Haggkvist Conjecture
This paper is an attempt to survey the current state of our knowledge on the Caccetta-Haggkvist conjecture and related questions. In January 2006 there was a workshop hosted by the American Institute of Mathematics in Palo Alto, on the Caccetta-Haggkvist conjecture, and this paper partly originated there, as a summary of the open problems and partial results presented at the workshop. This summary includes results and open problems related to Caccetta-Haggkvist, Seymour's Second Neighborhood Conjecture, the k/2 Conjecture (for nonedges), and connections with algebraic number theory through Cayley graphs, along with a number of other related topics.
An Elliptic $BC_n$ Bailey Lemma, Multiple Rogers--Ramanujan Identities and Euler's Pentagonal Number Theorems
Published
• View Publication
• BIB
An elliptic $BC_n$ generalization of the classical two parameter Bailey Lemma is proved, and a basic one parameter $BC_n$ Bailey Lemma is obtained as a limiting case. Several summation and transformation formulas associated with the root system $BC_n$ are proved as applications, including a $_6φ_5$ summation formula, a generalized Watson transformation and an unspecialized Rogers--Selberg identity. The last identity is specialized to give an infinite family of multilateral Rogers--Selberg identities. Standard determinant evaluations are then used to compute $B_n$ and $D_n$ generalizations of the Rogers--Ramanujan identities in terms of determinants of theta functions. Starting with the $BC_n$ $_6φ_5$ summation formula, a similar program is followed to prove an infinite family of $D_n$ Euler's Pentagonal Number Theorems.
Constructing all irreducible Specht modules in a block of the symmetric group
For any prime p, we construct, and simultaneously count, all of the complex Specht modules in a given p-block of the symmetric group which remain irreducible when reduced modulo p. We call the Specht modules with this property p-irreducible modules. Recently Fayers has proven a conjecture of James and Mathas that provides a characterization of the partitions that correspond to the p-irreducible modules. In this paper we present a method for decomposing the partitions corresponding to p-irreducible modules, and we use this decomposition to construct and count all of the partitions corresponding to p-irreducible Specht modules in a given block.
Nonlinear Bipartite Matching
Published in Discrete Optimization, 5:53--65, 2008
• View Publication
• BIB
We study the problem of optimizing nonlinear objective functions over bipartite matchings. While the problem is generally intractable, we provide several efficient algorithms for it, including a deterministic algorithm for maximizing convex objectives, approximative algorithms for norm minimization and maximization, and a randomized algorithm for optimizing arbitrary objectives.
Representation theory of Mantaci-Reutenauer algebras
We study some aspects of the representation theory of Mantaci-Reutenauer algebras: Cartan matrix, Loewy length, modular representations.
Transversal and cotransversal matroids via the Lindstrom lemma
Published
• View Publication
• BIB
It is known that the duals of transversal matroids are precisely the strict gammoids. The purpose of this short note is to show how the Lindstrom-Gessel-Viennot lemma gives a simple proof of this result.
Tetrahedral curves via graphs and Alexander duality
Published
• View Publication
• BIB
A tetrahedral curve is a (usually nonreduced) curve in P^3 defined by an unmixed, height two ideal generated by monomials. We characterize when these curves are arithmetically Cohen-Macaulay by associating a graph to each curve and, using results from combinatorial commutative algebra and Alexander duality, relating the structure of the complementary graph to the Cohen-Macaulay property.
Flag arrangements and triangulations of products of simplices
Published
• View Publication
• BIB
We investigate the line arrangement that results from intersecting d complete flags in C^n. We give a combinatorial description of the matroid T_{n,d} that keeps track of the linear dependence relations among these lines. We prove that the bases of the matroid T_{n,3} characterize the triangles with holes which can be tiled with unit rhombi. More generally, we provide evidence for a conjectural connection between the matroid T_{n,d}, the triangulations of the product of simplices Delta_{n-1} x Δ_{d-1}, and the arrangements of d tropical hyperplanes in tropical (n-1)-space. Our work provides a simple and effective criterion to ensure the vanishing of many Schubert structure constants in the flag manifold, and a new perspective on Billey and Vakil's method for computing the non-vanishing ones.
Line-graphs of cubic graphs are normal
Published in Discrete Mathematics 308 (2008) 2351--2365
• View Publication
• BIB
A graph is called normal if its vertex set can be covered by cliques and also by stable sets, such that every such clique and stable set have non-empty intersection. This notion is due to Korner, who introduced the class of normal graphs as an extension of the class of perfect graphs. Normality has also relevance in information theory. Here we prove, that the line graphs of cubic graphs are normal.