Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Toric Fano 3-folds with terminal singularities
Published in Tohoku Math. J. (2) 58 (2006), no. 1, 101-121
• View Publication
• BIB
This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.
Large-determinant sign matrices of order 4k+1
The Hadamard maximal determinant problem asks for the largest n-by-n determinant with entries in {+1,-1}. When n is congruent to 1 (mod 4), the maximal excess construction of Farmakis & Kounias has been the most successful general method for constructing large (though seldom maximal) determinants. For certain small n, however, still larger determinants have been known; several new records were recently reported in ArXiv preprint math.CO/0304410 . Here, we define ``3-normalized'' n-by-n Hadamard matrices, and construct large-determinant matrices of order n+1 from them. Our constructions account for most of the previous ``small n'' records, and set new records when n=37, 49, 65, 73, 77, 85, 93, and 97, most of which are beyond the reach of the maximal excess technique. We conjecture that our n=37 determinant, 72 x 9^{17} x 2^{36}, achieves the global maximum.
The Cherednik kernel and generalized exponents
We show how the knowledge of the Fourier coefficients of the Cherednik kernel leads to combinatorial formulas for generalized exponents. We recover known formulas for generalized exponents of irreducible representations parameterized by dominant roots, and obtain new formulas for the generalized exponents for irreducible representations parameterized by the dominant elements of the root lattice which are sums of two orthogonal short roots.
A combinatorial derivation of the number of labeled forests
Lajos Takacs gave a somewhat formidable alternating sum formula for the number of forests of unrooted trees on $n$ labeled vertices. Here we use a weight-reversing involution on suitable tree configurations to give a combinatorial derivation of Takacs' formula.
Lexicographic shellability for balanced complexes
Published in J. Algebraic Combinatorics, 17 (2003), no. 1, 27-52
• View Publication
• BIB
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $.
Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Published in J. Algebra 266 (2003), no. 2, 521-538
• View Publication
• BIB
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
A partitioning and related properties for the quotient complex $Δ(B_{lm})/S_l \wr S_m$
Published in J. Pure and Appl. Alg. 178 (2003), no. 3, 255-272
• View Publication
• BIB
We study the quotient complex $Δ(B_{lm})/S_l\wr S_m$ as a means of deducing facts about the ring $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. It is shown in [He] that this quotient complex is shellable when $l=2$, implying Cohen-Macaulayness of $k[x_1,..., x_{2m}]^{S_2\wr S_m}$ for any field $k$. We now confirm for all pairs $(l,m)$ with $l>2$ and $m>1$ that this quotient complex is not Cohen-Macaulay over $\integ /2\integ $, but it is Cohen-Macaulay over fields of characteristic $p>m$ (independent of $l$). This yields corresponding characteristic-dependent results for the ring of invariants $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. We also prove that this quotient complex and the links of many of its faces are collapsible, and we give a partitioning for this quotient complex.
A Hodge decomposition for the complex of injective words
Published
• View Publication
• BIB
Reiner and Webb compute the $S_n$-module structure for the complex of injective words in [RW]. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents.
The Laplacian acting on the top chain group in the complex of injective words is also shown to equal the signed random to random shuffle operator. Uyemura-Reyes conjectures in [Uy] that the (unsigned) random to random shuffle operator has integral spectrum. We prove that this conjecture would imply that the Laplacian on (each chain group in) the complex of injective words has integral spectrum.
On optimizing discrete Morse functions
Published
• View Publication
• BIB
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes.
Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].
Connectivity of h-complexes
Published
• View Publication
• BIB
This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity. This together with an Alexander duality result of Edelman and Reiner implies homology-vanishing also in high dimensions. Finally, possible generalizations to certain classes of supersolvable lattices are suggested.
M-partitions: Optimal partitions of weight for one scale pan
An M-partition of a positive integer m is a partition with as few parts as possible such that any positive integer less than m has a partition made up of parts taken from that partition of m. This is equivalent to partitioning a weight m so as to be able to weigh any integer weight l < m with as few weights as possible and only one scale pan.
We show that the number of parts of an M-partition is a log-linear function of m and the M-partitions of m correspond to lattice points in a polytope. We exhibit a recurrence relation for counting the number of M-partitions of m and, for ``half'' of the positive integers, this recurrence relation will have a generating function. The generating function will be, in some sense, the same as the generating function for counting the number of distinct binary partitions for a given integer.
A solution to the tennis ball problem
Published
• View Publication
• BIB
We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.
Multiple pattern avoidance with respect to fixed points and excedances
Published
• View Publication
• BIB
We study the distribution of the statistics 'number of fixed points' and 'number of excedances' in permutations avoiding subsets of patterns of length 3. We solve all the cases of simultaneous avoidance of more than one pattern, giving generating functions enumerating these two statistics. Some cases are generalized to patterns of arbitrary length. For avoidance of one single pattern we give partial results. We also describe the distribution of these statistics in involutions avoiding any subset of patterns of length 3.
The main technique is to use bijections between pattern-avoiding permutations and certain kinds of Dyck paths, in such a way that the statistics in permutations that we study correspond to statistics on Dyck paths that are easy to enumerate.
A Bijection between classes of Fully Packed Loops and Plane Partitions
Published
• View Publication
• BIB
It has recently been observed empirically that the number of FPL configurations with 3 sets of a, b and c nested arches equals the number of plane partitions in a box of size a x b x c. In this note, this result is proved by constructing explicitly the bijection between these FPL and plane partitions.
A Combinatorial Method for Counting Smooth Numbers in Sets of Integers
Published
• View Publication
• BIB
In this paper we present a method for producing asymptotic estimates for the number of integers in a given S having only ``small'' prime factors. The conditions that need to be verified are simpler than those required by other methods, and we apply our result to give an easy proof of a result which says that dense subsets A and B of {1,2,...,x} always produce asymptotically the expected number of x^r - smooth sums a+b, where a in A and b in B. Recall that a number n is said to be y-smooth if all its prime divisors are at most y.
The formal series Witt transform
Published in Discrete Mathematics 295 (2005), 143-160
• View Publication
• BIB
Given a formal power series f(z) we define, for any positive integer r, its rth Witt transform, W_f^{(r)}, by rW_f^{(r)}(z)=sum_{d|r}mu(d)f(z^d)^{r/d}, where mu is the Moebius function. The Witt transform generalizes the necklace polynomials M(a,n) that occur in the cyclotomic identity
1-ay=prod (1-y^n)^{M(a,n)}, where the product is over all positive integers.
Several properties of the Witt transform are established. Some examples relevant to number theory are considered.
On a combinatorial problem of Asmus Schmidt
Published in Electron. J. Combin. 11:1 (2004), #R22, 8 pages
• View Publication
• BIB
For any integer $r\ge2$, define a sequence of numbers $\{c_k^{(r)}\}_{k=0}^\infty$, independent of the parameter $n$, by $$ \sum_{k=0}^n{\binom nk}^r{\binom{n+k}k}^r =\sum_{k=0}^n\binom nk\binom{n+k}kc_k^{(r)}, \qquad n=0,1,2,...c. $$ We prove that all the numbers $c_k^{(r)}$ are integers.
Convoluted convolved Fibonacci numbers
Published in J. Integer Seq. 7 (2004), Aricle 04.2.2, pp. 14 (electronic)
• Search Publication
The convolved Fibonacci numbers F_j^(r) are defined by
(1-z-z^2)^{-r}=\sum_{j>=0}F_{j+1}^(r)z^j. In this note some related numbers that can be expressed in terms of convolved Fibonacci numbers are considered. These numbers appear in the numerical evaluation of a certain number theoretical constant.
This note is a case study of the transform {1/n}\sum_{d|n}mu(d)f(z^d)^{n/d}, with f any formal series and mu the Moebius function), which is studied in a companion paper entitled `The formal series Witt transform'.
Reconstructing Trees from Subtree Weights
Published
• View Publication
• BIB
The tree-metric theorem provides a necessary and sufficient condition for a dissimilarity matrix to be a tree metric, and has served as the foundation for numerous distance-based reconstruction methods in phylogenetics. Our main result is an extension of the tree-metric theorem to more general dissimilarity maps. In particular, we show that a tree with n leaves is reconstructible from the weights of the m-leaf subtrees provided that n \geq 2m-1.
Grassmannians and Cluster Algebras
Published
• View Publication
• BIB
This paper demonstrates that the homogeneous coordinate ring of the Grassmannian $\Bbb{G}(k,n)$ is a {\it cluster algebra of geometric type} - as defined by S. Fomin and A. Zelevinsky. Grassmannians having {\it finite cluster type} are classified and the associated cluster variables are studied in connection with the geometry of configurations of points in $\Bbb{R}\Bbb{P}^2$.