arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2004-02-13
The lattice dimension of a graph
Published in Eur. J. Combinatorics 26(6):585-592, 2005 • View Publication • BIB
We describe a polynomial time algorithm for, given an undirected graph G, finding the minimum dimension d such that G may be isometrically embedded into the d-dimensional integer lattice Z^d.
Normal Order: Combinatorial Graphs
Published • View Publication • BIB
A conventional context for supersymmetric problems arises when we consider systems containing both boson and fermion operators. In this note we consider the normal ordering problem for a string of such operators. In the general case, upon which we touch briefly, this problem leads to combinatorial numbers, the so-called Rook numbers. Since we assume that the two species, bosons and fermions, commute, we subsequently restrict ourselves to consideration of a single species, single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, specifically Bell and Stirling numbers. We explicitly give the generating functions for some classes of these numbers. In this note we concentrate on the combinatorial graph approach, showing how some important classical results of graph theory lead to transparent representations of the combinatorial numbers associated with the boson normal ordering problem.
2004-02-12
Cyclotomic and simplicial matroids
Published in Israel J. Math. 150 (2005), 229-240 • View Publication • BIB
Two naturally occurring matroids representable over Q are shown to be dual: the {\it cyclotomic matroid} $μ_n$ represented by the $n^{th}$ roots of unity $1,ζ,ζ^2,...,ζ^{n-1}$ inside the cyclotomic extension $Q(ζ)$, and a direct sum of copies of a certain simplicial matroid, considered originally by Bolker in the context of transportation polytopes. A result of Adin leads to an upper bound for the number of $Q$-bases for $Q(ζ)$ among the $n^{th}$ roots of unity, which is tight if and only if $n$ has at most two odd prime factors. In addition, we study the Tutte polynomial of $μ_n$ in the case that $n$ has two prime factors.
2004-02-12
Signed Mahonians
Published • View Publication • BIB
A classical result of MacMahon gives a simple product formula for the generating function of major index over the symmetric group. A similar factorial-type product formula for the generating function of major index together with sign was given by Gessel and Simion. Several extensions are given in this paper, including a recurrence formula, a specialization at roots of unity and type $B$ analogues.
2004-02-11
Stochastic processes in random graphs
Published • View Publication • BIB
We study the asymptotics of large, moderate and normal deviations for the connected components of the sparse random graph by the method of stochastic processes. We obtain the logarithmic asymptotics of large deviations of the joint distribution of the number of connected components, of the sizes of the giant components, and of the numbers of the excess edges of the giant components. For the supercritical case, we obtain the asymptotics of normal deviations and the logarithmic asymptotics of large and moderate deviations of the joint distribution of the number of components, of the size of the largest component, and of the number of the excess edges of the largest component. For the critical case, we obtain the logarithmic asymptotics of moderate deviations of the joint distribution of the sizes of connected components and of the numbers of the excess edges. Some related asymptotics are also established. The proofs of the large and moderate deviation asymptotics employ methods of idempotent probability theory. As a byproduct of the results, we provide some additional insight into the nature of phase transitions in sparse random graphs.
2004-02-11
Pattern avoidance classes and subpermutations
Published • View Publication • BIB
Pattern avoidance classes of permutations that cannot be expressed as unions of proper subclasses can be described as the set of subpermutations of a single bijection. In the case that this bijection is a permutation of the natural numbers a structure theorem is given. The structure theorem shows that the class is almost closed under direct sums or has a rational generating function.
2004-02-10 v2
Filamentations for Virtual Links
Published in Schellhorn, William J., "Filamentations for Virtual Links", Journal of Knot Theory and Its Ramifications, Vol. 15, No. 3 (March 2006), pp. 327-338 • View Publication • BIB
In 2002, D. Hrencecin and L.H. Kauffman defined a filamentation invariant on oriented chord diagrams that may determine whether the corresponding flat virtual knot diagrams are non-trivial. A virtual knot diagram is non-classical if its related flat virtual knot diagram is non-trivial. Hence filamentations can be used to detect non-classical virtual knots. We extend these filamentation techniques to virtual links with more than one component. We also give examples of virtual links that they can detect as non-classical.
2004-02-09
Inversion of the Pieri formula for Macdonald polynomials
Published in Adv. Math. 202 (2) (2006), 289-325 • View Publication • BIB
We give the explicit analytic development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.
A Lower Bound on the Density of Sphere Packings via Graph Theory
Using graph-theoretic methods we give a new proof that for all sufficiently large $n$, there exist sphere packings in $\R^n$ of density at least $cn2^{-n}$, exceeding the classical Minkowski bound by a factor linear in $n$. This matches up to a constant the best known lower bounds on the density of sphere packings due to Rogers, Davenport-Rogers, and Ball. The suggested method makes it possible to describe the points of such a packing with complexity $\exp(n\log n)$, which is significantly lower than in the other approaches.
2004-02-09 v3
Normalizers of ad-nilpotent ideals
Published • View Publication • BIB
Let $\be$ be a Borel subalgebra of a complex simple Lie algebra $\g$. An ideal of $\be$ is called ad-nilpotent, if it is contained in $[\be,\be]$. We give several descriptions of the normalizer of an ad-nilpotent ideal: using the weight of an ideal, or the affine Weyl group, or a relationship with dominant regions of the Shi arrangement. We also give a description of those ideals whose normalizer is equal to $\be$. For sl(n) and sp(2n), explicit enumerative results are obtained, which demonstrate a connection with some famous integer sequences.
2004-02-09 v2
Poisson, Dobinski, Rota and coherent states
Published in Bulletin de la Societe des Sciences et des Lettres de £ódê (54) Serie: Recherches sur les Deformations Vol. 45 (2004) 17-19 • Search Publication
New q- Dobinski formula might also be interpreted as the average of specific q-powers of random variable X with the usual Poisson distribution.
2004-02-09 v3
Fujita's very ampleness conjecture for singular toric varieties
Published in Tohoku Math. J. (2) 58 (2006), no. 3, 447--459. • View Publication • BIB
We present a self-contained combinatorial approach to Fujita's conjectures in the toric case. Our main new result is a generalization of Fujita's very ampleness conjecture for toric varieties with arbitrary singularities. In an appendix, we use similar methods to give a new proof of an analogous toric generalization of Fujita's freeness conjecture due to Fujino.
Coefficients and Roots of Ehrhart Polynomials
Published in Cont. Math. 374 (2005), 15-36 • View Publication • BIB
The Ehrhart polynomial of a convex lattice polytope counts integer points in integral dilates of the polytope. We present new linear inequalities satisfied by the coefficients of Ehrhart polynomials and relate them to known inequalities. We also investigate the roots of Ehrhart polynomials. We prove that for fixed d, there exists a bounded region of C containing all roots of Ehrhart polynomials of d-polytopes, and that all real roots of these polynomials lie in [-d, [d/2]). In contrast, we prove that when the dimension d is not fixed the positive real roots can be arbitrarily large. We finish with an experimental investigation of the Ehrhart polynomials of cyclic polytopes and 0/1-polytopes.
2004-02-07 v2
BC_n-symmetric abelian functions
Published • View Publication • BIB
We construct a family of BC_n-symmetric biorthogonal abelian functions generalizing Koornwinder's orthogonal polynomials, and prove a number of their properties, most notably analogues of Macdonald's conjectures. The construction is based on a direct construction for a special case generalizing Okounkov's interpolation polynomials. We show that these interpolation functions satisfy a collection of generalized hypergeometric identities, including new multivariate elliptic analogues of Jackson's summation and Bailey's transformation.
2004-02-06
Partition Identities for the Multiple Zeta Function
Published in pp. 19--29 in Zeta Functions, Topology, and Quantum Physics, Developments in Mathematics, Vol. 14, Springer, New York, 2005. T. Aoki, S. Kanemitsu, M. Nakahara, Y. Ohno (eds.) ISBN: 978-0-387-24972-8. MR 2179270 (2006f:11105) • View Publication • BIB
We define a class of expressions for the multiple zeta function, and show how to determine whether an expression in the class vanishes identically. The class of such identities, which we call partition identities, is shown to coincide with the class of identities that can be derived as a consequence of the stuffle multiplication rule for multiple zeta values.
2004-02-06 v2
Duality for Finite Multiple Harmonic q-Series
Published in Discrete Mathematics, 300 (2005), no. 1--3, pp. 44--56. MR2170113 (2006m:05019) • View Publication • BIB
We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial coefficients. Special cases of these identities--for example, with all parameters equal to 1--have occurred in the literature. The special case with only one parameter reduces to an identity for the divisor generating function, which has received some attention in connection with problems in sorting theory. The general case can be viewed as a duality result, reminiscent of the duality relation for the ordinary multiple zeta function.
2004-02-05
Combinatorics of rank jumps in simplicial hypergeometric systems
Published • View Publication • BIB
Let A be an integer (d x n) matrix, and assume that the convex hull conv(A) of its columns is a simplex of dimension d-1. Write \NA for the semigroup generated by the columns of A. It was proved by M. Saito [math.AG/0012257] that the semigroup ring \CC[\NA] over the complex numbers \CC is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system H_A(beta) equals the normalized volume of conv(A) for all complex parameters beta in \CC^d. Our refinement here shows, in this simplicial case, that H_A(beta) has rank strictly larger than the volume of conv(A) if and only if beta lies in the Zariski closure in \CC^d of all \ZZ^d-graded degrees where the local cohomology H^i_m(\CC[\NA]) at the maximal ideal m is nonzero for some i < d.
2004-02-05
Towards psi-extension of Rota`s Finite Operator Calculus
Published in Reports on Mathematical Physics Vol. 48 No 3 (2001) : 305-342 • View Publication • BIB
A class of extended umbral calculi in operator form is presented. Extensions of all basic theorems of classical Finite Operator Calculus are shown to hold. The impossibility of straightforward extending of quantum q-plane formulation of the q-umbral caculus to the general psi-calculus case is demonstrated.
2004-02-05 v2
Cambrian Lattices
Published in Adv. Math. 205 (2006), no. 2, 313-353. • View Publication • BIB
For an arbitrary finite Coxeter group W we define the family of Cambrian lattices for W as quotients of the weak order on W with respect to certain lattice congruences. We associate to each Cambrian lattice a complete fan, which we conjecture is the normal fan of a polytope combinatorially isomorphic to the generalized associahedron for W. In types A and B we obtain, by means of a fiber-polytope construction, combinatorial realizations of the Cambrian lattices in terms of triangulations and in terms of permutations. Using this combinatorial information, we prove in types A and B that the Cambrian fans are combinatorially isomorphic to the normal fans of the generalized associahedra and that one of the Cambrian fans is linearly isomorphic to Fomin and Zelevinsky's construction of the normal fan as a "cluster fan." Our construction does not require a crystallographic Coxeter group and therefore suggests a definition, at least on the level of cellular spheres, of a generalized associahedron for any finite Coxeter group. The Tamari lattice is one of the Cambrian lattices of type A, and two "Tamari" lattices in type B are identified and characterized in terms of signed pattern avoidance. We also show that open intervals in Cambrian lattices are either contractible or homotopy equivalent to spheres.
2004-02-05
Combinatorics hidden in hyperbolic polynomials and related topics
The main topic of this paper is various "hyperbolic" generalizations of the Edmonds-Rado theorem on the rank of intersection of two matroids. We prove several results in this direction and pose a few questions. We also give generalizations of the Obreschkoff theorem and recent results of J. Borcea and B. Shapiro.