Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On the number of combinations without certain separations
Published in European Journal of Combinatorics; V.29, Iss.5, July 2008, Pages 1200-1206
• View Publication
• BIB
In this paper we enumerate the number of ways of selecting $k$ objects from $n$ objects arrayed in a line such that no two selected ones are separated by $m-1,2m-1,...,pm-1$ objects and provide three different formulas when $m,p\geq 1$ and $n\geq pm(k-1)$. Also, we prove that the number of ways of selecting $k$ objects from $n$ objects arrayed in a circle such that no two selected ones are separated by $m-1,2m-1,...,pm-1$ objects is given by $\frac{n}{n-pk}\binom{n-pk}{k}$, where $m,p\geq 1$ and $n\geq mpk+1$.
The Star of David Rule
Published
• View Publication
• BIB
In this note, a new concept called {\em $SDR$-matrix} is proposed, which is an infinite lower triangular matrix obeying the generalized rule of David star. Some basic properties of $SDR$-matrices are discussed and two conjectures on $SDR$-matrices are presented, one of which states that if a matrix is a $SDR$-matrix, then so is its matrix inverse (if exists).
Identities involving Narayana polynomials and Catalan numbers
Published
• View Publication
• BIB
We first establish the result that the Narayana polynomials can be represented as the integrals of the Legendre polynomials. Then we represent the Catalan numbers in terms of the Narayana polynomials by three different identities. We give three different proofs for these identities, namely, two algebraic proofs and one combinatorial proof. Some applications are also given which lead to many known and new identities.
A simple bijection between binary trees and colored ternary trees
Published
• View Publication
• BIB
In this short note, we first present a simple bijection between binary trees and colored ternary trees and then derive a new identity related to generalized Catalan numbers.
Pattern Avoidance in Generalized Non-crossing Trees
Published
• View Publication
• BIB
In this paper, the problem of pattern avoidance in generalized non-crossing trees is studied. The generating functions for generalized non-crossing trees avoiding patterns of length one and two are obtained. Lagrange inversion formula is used to obtain the explicit formulas for some special cases. Bijection is also established between generalized non-crossing trees with special pattern avoidance and the little Schröder paths.
Classification of bijections between 321- and 132-avoiding permutations
Published
• View Publication
• BIB
It is well-known, and was first established by Knuth in 1969, that the number of 321-avoiding permutations is equal to that of 132-avoiding permutations. In the literature one can find many subsequent bijective proofs of this fact. It turns out that some of the published bijections can easily be obtained from others. In this paper we describe all bijections we were able to find in the literature and show how they are related to each other via ``trivial'' bijections. We classify the bijections according to statistics preserved (from a fixed, but large, set of statistics), obtaining substantial extensions of known results. Thus, we give a comprehensive survey and a systematic analysis of these bijections. We also give a recursive description of the algorithmic bijection given by Richards in 1988 (combined with a bijection by Knuth from 1969). This bijection is equivalent to the celebrated bijection of Simion and Schmidt (1985), as well as to the bijection given by Krattenthaler in 2001, and it respects 11 statistics--the largest number of statistics any of the bijections respects.
A note on the enumeration of directed animals via gas considerations
Published in Annals of Applied Probability 2009, Vol. 19, No. 5, 1860-1879
• View Publication
• BIB
In the literature, most of the results about the enumeration of directed animals on lattices via gas considerations are obtained by a formal passage to the limit of enumeration of directed animals on cyclical versions of the lattice. Here we provide a new point of view on this phenomenon. Using the gas construction given in [Electron. J. Combin. (2007) 14 R71], we describe the gas process on the cyclical versions of the lattices as a cyclical Markov chain (roughly speaking, Markov chains conditioned to come back to their starting point). Then we introduce a notion of convergence of graphs, such that if $(G_n)\to G$ then the gas process built on $G_n$ converges in distribution to the gas process on $G$. That gives a general tool to show that gas processes related to animals enumeration are often Markovian on lines extracted from lattices. We provide examples and computations of new generating functions for directed animals with various sources on the triangular lattice, on the $\mathcal {T}_n$ lattices introduced in [Ann. Comb. 4 (2000) 269--284] and on a generalization of the $\mathcaligr {L}_n$ lattices introduced in [J. Phys. A 29 (1996) 3357--3365].
The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications
Published
• View Publication
• BIB
The paper is devoted to the derivation of the expansion formula for the powers of the Euler Product in terms of partition hook lengths, discovered by Nekrasov and Okounkov in their study of the Seiberg-Witten Theory. We provide a refinement based on a new property of t-cores, and give an elementary proof by using the Macdonald identities. We also obtain an extension by adding two more parameters, which appears to be a discrete interpolation between the Macdonald identities and the generating function for t-cores. Several applications are derived, including the "marked hook formula".
f-Vectors of 3-Manifolds
Published
• View Publication
• BIB
In 1970, Walkup completely described the set of $f$-vectors for the four 3-manifolds $S^3$, $S^2 twist S^1$, $S^2 \times S^1$, and $RP^3$. We improve one of Walkup's main restricting inequalities on the set of $f$-vectors of 3-manifolds. As a consequence of a bound by Novik and Swartz, we also derive a new lower bound on the number of vertices that are needed for a combinatorial $d$-manifold in terms of its $β_1$-coefficient, which partially settles a conjecture of Kühnel. Enumerative results and a search for small triangulations with bistellar flips allow us, in combination with the new bounds, to completely determine the set of $f$-vectors for twenty further 3-manifolds, that is, for the connected sums of sphere bundles $(S^2 \times S^1)^{# k}$ and twisted sphere bundles $(S^2 twist S^1)^{# k}$, where $k=2,3,4,5,6,7,8,10,11,14$. For many more 3-manifolds of different geometric types we provide small triangulations and a partial description of their set of $f$-vectors. Moreover, we show that the 3-manifold $RP^3 # RP^3$ has (at least) two different minimal $g$-vectors.
Lattice polytopes cut out by root systems and the Koszul property
Published in Adv. Math. 220 (2009), 926--935.
• View Publication
• BIB
We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes whose Minkowski sums are cut out by root systems. The proofs are based on a combinatorial characterization of diagonally split toric varieties.
Probabilistic proofs of hook length formulas involving trees
Recently, Han discovered two formulas involving binary trees which have the interestig property that hooklengths appear as exponents. The purpose of this note is to give a probabilistic proof of one of Han's formulas. Yang has generalized Han's results to ordered trees. We show how the probabilistic approach can also be used in Yang's setting, as well as for a generalization of Han's formula in terms of certain infinite trees.
Nonlinear Optimization over a Weighted Independence System
Published in SIAM Journal on Discrete Mathematics, 23:1667--1681, 2009
• View Publication
• BIB
We consider the problem of optimizing a nonlinear objective function over a weighted independence system presented by a linear-optimization oracle. We provide a polynomial-time algorithm that determines an r-best solution for nonlinear functions of the total weight of an independent set, where r is a constant that depends on certain Frobenius numbers of the individual weights and is independent of the size of the ground set. In contrast, we show that finding an optimal (0-best) solution requires exponential time even in a very special case of the problem.
Fibonacci Identities and Graph Colorings
Published
• View Publication
• BIB
We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\]
Bounds on Fake Weighted Projective Space
Published in Kodai Mathematical Journal, 32 (2009), 197-208
• View Publication
• BIB
A fake weighted projective space X is a Q-factorial toric variety with Picard number one. As with weighted projective space, X comes equipped with a set of weights (λ_0,...,λ_n). We see how the singularities of P(λ_0,...,λ_n) influence the singularities of X, and how the weights bound the number of possible fake weighted projective spaces for a fixed dimension. Finally, we present an upper bound on the ratios λ_j/\sumλ_i if we wish X to have only terminal (or canonical) singularities.
Selecting universities: personal preference and rankings
Polyhedral geometry can be used to quantitatively assess the dependence of rankings on personal preference, and provides a tool for both students and universities to assess US News and World Report rankings.
The Euler characteristic as a polynomial in the Chern classes
Published in International Journal of Algebra, Vol. 2, 2008, no. 13-16, 757-769.
• Search Publication
In this paper we obtain some explicit expressions for the Euler characteristic of a rank n coherent sheaf F on P^N and of its twists F(t) as polynomials in the Chern classes c_i(F), also giving algorithms for the computation. The employed methods use techniques of umbral calculus involving symmetric functions and Stirling numbers.
Quasiperiodic and Lyndon episturmian words
Published in Theoretical Computer Science 409 (2008) 578-600
• View Publication
• BIB
Recently the second two authors characterized quasiperiodic Sturmian words, proving that a Sturmian word is non-quasiperiodic if and only if it is an infinite Lyndon word. Here we extend this study to episturmian words (a natural generalization of Sturmian words) by describing all the quasiperiods of an episturmian word, which yields a characterization of quasiperiodic episturmian words in terms of their "directive words". Even further, we establish a complete characterization of all episturmian words that are Lyndon words. Our main results show that, unlike the Sturmian case, there is a much wider class of episturmian words that are non-quasiperiodic, besides those that are infinite Lyndon words. Our key tools are morphisms and directive words, in particular "normalized" directive words, which we introduced in an earlier paper. Also of importance is the use of "return words" to characterize quasiperiodic episturmian words, since such a method could be useful in other contexts.
Curvature extrema and four-vertex theorems for polygons and polyhedra
Published in Journal of Mathematical Sciences, Vol. 119, No 2, 268-277, 2004
• Search Publication
Discrete analogs of extrema of curvature and generalizations of the four-vertex theorem to the case of polygons and polyhedra are suggested and developed. For smooth curves and polygonal lines in the plane, a formula relating the number of extrema of curvature to the winding numbers of the curves (polygonal lines) and their evolutes is obtained. Also are considered higher-dimensional analogs of the four-vertex theorem for regular and shellable triangulations.
Dendriform Equations
Published in Journal of Algebra 322 (2009), 4053-4079
• View Publication
• BIB
We investigate solutions for a particular class of linear equations in dendriform algebras. Motivations as well as several applications are provided. The latter follow naturally from the intimate link between dendriform algebras and Rota-Baxter operators, e.g. the Riemann integral or Jackson's q-integral.
Splitting Polytopes
A split of a polytope $P$ is a (regular) subdivision with exactly two maximal cells. It turns out that each weight function on the vertices of $P$ admits a unique decomposition as a linear combination of weight functions corresponding to the splits of $P$ (with a split prime remainder). This generalizes a result of Bandelt and Dress [Adv. Math. 92 (1992)] on the decomposition of finite metric spaces.
Introducing the concept of compatibility of splits gives rise to a finite simplicial complex associated with any polytope $P$, the split complex of $P$. Complete descriptions of the split complexes of all hypersimplices are obtained. Moreover, it is shown that these complexes arise as subcomplexes of the tropical (pre-)Grassmannians of Speyer and Sturmfels [Adv. Geom. 4 (2004)].