arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2006-05-18 v2
Boolean functions with small spectral norm
Published in Geom. Funct. Anal. 18 (2008), no. 1, 144-162 • View Publication • BIB
Suppose that f is a boolean function from F_2^n to {0,1} with spectral norm (that is the sum of the absolute values of its Fourier coefficients) at most M. We show that f may be expressed as +/- 1 combination of at most 2^(2^(O(M^4))) indicator functions of subgroups of F_2^n.
2006-05-18 v3
Toric vector bundles, branched covers of fans, and the resolution property
Published in J. Algebraic Geom. 18 (2009), 1--36. • View Publication • BIB
We associate to each toric vector bundle on a toric variety X(Delta) a "branched cover" of the fan Delta together with a piecewise-linear function on the branched cover. This construction generalizes the usual correspondence between toric Cartier divisors and piecewise-linear functions. We apply this combinatorial geometric technique to investigate the existence of resolutions of coherent sheaves by vector bundles, using singular nonquasiprojective toric threefolds as a testing ground. Our main new result is the construction of complete toric threefolds that have no nontrivial toric vector bundles of rank less than or equal to three. The combinatorial geometric sections of the paper, which develop a theory of cone complexes and their branched covers, can be read independently.
2006-05-17 v2
Knot invariants and the Bollobas-Riordan polynomial of embedded graphs
Published in European J. Combin., 29 (2008) 95-107 • View Publication • BIB
For a graph G embedded in an orientable surface Σ, we consider associated links L(G) in the thickened surface Σ\times I. We relate the HOMFLY polynomial of L(G) to the recently defined Bollobas-Riordan polynomial of a ribbon graph. This generalizes celebrated results of Jaeger and Traldi. We use knot theory to prove results about graph polynomials and, after discussing questions of equivalence of the polynomials, we go on to use our formulae to prove a duality relation for the Bollobas-Riordan polynomial. We then consider the specialization to the Jones polynomial and recent results of Chmutov and Pak to relate the Bollobas-Riordan polynomials of an embedded graph and its tensor product with a cycle.
2006-05-17 v2
An algebraic approach to Polya processes
Published in Annales de l'IHP - Probabilités et Statistiques (2008) Vol. 44, No. 2, 293-323 • View Publication • BIB
Pólya processes are natural generalization of Pólya-Eggenberger urn models. This article presents a new approach of their asymptotic behaviour {\it via} moments, based on the spectral decomposition of a suitable finite difference operator on polynomial functions. Especially, it provides new results for {\it large} processes (a Pólya process is called {\it small} when 1 is simple eigenvalue of its replacement matrix and when any other eigenvalue has a real part $\leq 1/2$; otherwise, it is called large).
2006-05-17 v2
BG-ranks and 2-cores
Published • View Publication • BIB
We find the number of partitions of $n$ whose BG-rank is $j$, in terms of $pp(n)$, the number of pairs of partitions whose total number of cells is $n$, giving both bijective and generating function proofs. Next we find congruences mod 5 for $pp(n)$, and then we use these to give a new proof of a refined system of congruences for $p(n)$ that was found by Berkovich and Garvan.
2006-05-17 v4
Saturation points on faces of a rational polyhedral cone
Published in Integer Points in Polyhedra - Geometry, Number Theory, Representation Theory, Algebra, Optimization, Statistics. edited by Matthias Beck et al., 147-161. 2008. • View Publication • BIB
Different commutative semigroups may have a common saturation. We consider distinguishing semigroups with a common saturation based on their ``sparsity''. We propose to qualitatively describe sparsity of a semigroup by considering which faces of the corresponding rational polyhedral cone have saturation points. For a commutative semigroup we give a necessary and sufficient condition for determining which faces have saturation points. We also show that we can construct a commutative semigroup with arbitrary consistent patterns of faces with saturation points.
2006-05-17
An upper bound for Cubicity in terms of Boxicity
An axis-parallel b-dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_b$ where each $R_i$ (for $1 \leq i \leq b$) is a closed interval of the form $[a_i,b_i]$ on the real line. The boxicity of any graph $G$, box(G) is the minimum positive integer b such that G can be represented as the intersection graph of axis parallel b-dimensional boxes. A b-dimensional cube is a Cartesian product $R_1 \times R_2\times ... \times R_b$, where each $R_i$ (for $1 \leq i \leq b$) is a closed interval of the form [$a_i$,$a_i$+1] on the real line. When the boxes are restricted to be axis-parallel cubes in b-dimension, the minimum dimension b required to represent the graph is called the cubicity of the graph (denoted by cub(G)). In this paper we prove that $cub(G)\leq \lceil \log n \rceil \boxi(G)$} where n is the number of vertices in the graph. This upper bound is tight.
2006-05-17 v2
Whiskers and sequentially Cohen-Macaulay graphs
Published in J. Combin. Theory Ser. A 115 (2008), no. 2, 304-316 • View Publication • BIB
Let G be a simple (i.e., no loops and no multiple edges) graph. We investigate the question of how to modify G combinatorially to obtain a sequentially Cohen-Macaulay graph. We focus on modifications given by adding configurations of whiskers to G, where to add a whisker one adds a new vertex and an edge connecting this vertex to an existing vertex in G. We give various sufficient conditions and necessary conditions on a subset S of the vertices of G so that the graph G \cup W(S), obtained from G by adding a whisker to each vertex in S, is a sequentially Cohen-Macaulay graph. For instance, we show that if S is a vertex cover of G, then G \cup W(S) is a sequentially Cohen-Macaulay graph. On the other hand, we show that if G \backslash S is not sequentially Cohen-Macaulay, then G \cup W(S) is not a sequentially Cohen-Macaulay graph. Our work is inspired by and generalizes a result of Villarreal on the use of whiskers to get Cohen-Macaulay graphs.
2006-05-17
On the Likelihood of Comparability in Bruhat Order
The poset of permutations of [n] under Bruhat ordering is studied. We give nontrivial upper and lower bounds for the number of comparable pairs of permutations in both the weak and strong versions of this order. In light of numerical experiments, we conjecture that in either case the upper bound is qualitatively close to the actual number of comparable pairs.
Universality for the distance in finite variance random graphs: Extended version
Published • View Publication • BIB
We generalize the asymptotic behavior of the graph distance between two uniformly chosen nodes in the configuration model to a wide class of random graphs. Among others, this class contains the Poissonian random graph, the expected degree random graph and the generalized random graph (including the classical Erdos-Renyi graph). In the paper we assign to each node a deterministic capacity and the probability that there exists an edge between a pair of nodes is equal to a function of the product of the capacities of the pair divided by the total capacity of all the nodes. We consider capacities which are such that the degrees of a node has uniformly bounded moments of order strictly larger than two, so that, in particular, the degrees have finite variance. We prove that the graph distance grows like \log_νN, where the νdepends on the capacities. In addition, the random fluctuations around this asymptotic mean \log_νN are shown to be tight. We also consider the case where the capacities are independent copies of a positive random Λwith \prob{Λ> x}\leq cx^{1-τ}, for some constant c and τ>3, again resulting in graphs where the degrees have finite variance. The method of proof of these results is to couple each member of the class to the Poissonian random graph, for which we then give the complete proof by adapting the arguments of the corresponding result for the configuration model.
2006-05-16
Double crystals of binary and integral matrices
Published • View Publication • BIB
We define a set of operations called crystal operations on matrices with entries either in {0,1} or in N. There are horizontal and vertical crystal operations, giving rise to two commuting structures of a crystal graph on these matrices. They provide a new perspective on many aspects of the RSK correspondence and its dual, and related constructions. Under a straightforward encoding of semistandard tableaux by matrices, the operations correspond to crystal operations on tableaux, respectively to individual moves occurring during a jeu de taquin slide. We show that the (dual) RSK correspondence and the Burge correspondence arise as decompositions: a matrix M can be transformed by crystal operations into each of the matrices encoding P and Q symbol associated to M under these correspondences, and it can be reconstructed from P and Q. These decomposition can also be interpreted as computing Robinson's correspondence, or as the Robinson-Schensted correspondence for pictures. From a particular way of applying crystal operations, the computation of these decompositions by growth diagrams can be deduced, as well as the local rules that are to be used. We show that that crystal operations leave a version of Greene's poset invariant defined for matrices unchanged, so that for such questions in the setting of matrices they can take the place of elementary Knuth transformations on words.
2006-05-16
Domino tilings and the six-vertex model at its free fermion point
Published in J. Phys. A: Math. Gen. 39 (2006), 10297-10306 • View Publication • BIB
At the free-fermion point, the six-vertex model with domain wall boundary conditions (DWBC) can be related to the Aztec diamond, a domino tiling problem. We study the mapping on the level of complete statistics for general domains and boundary conditions. This is obtained by associating to both models a set of non-intersecting lines in the Lindstroem-Gessel-Viennot (LGV) scheme. One of the consequence for DWBC is that the boundaries of the ordered phases are described by the Airy process in the thermodynamic limit.
2006-05-16 v2
Generalized symmetric functions
Published • View Publication • BIB
It is well known that over an infinite field the ring of symmetric functions in a finite number of variables is isomorphic to the one of polynomial functions on matrices that are invariants by the action of conjugation by general linear group. We generalize this result showing that the abelianization of the algebra of the symmetric tensors of fixed order over a free associative algebra is isomorphic to the algebra of the polynomials invariants of several matrices over an infinite field or the integers. While proving the main result we find generators and relations of abelianized divided powers of an algebra over any commutative ring.
2006-05-15
On Schur-Szego composition of polynomials
Published • View Publication • BIB
Schur-Szego composition of polynomials of degree N introduces an interesting semigroup structure on polynomial spaces. In this note we show how it interacts with the stratification of polynomials according to the multiplicity of their zeros and present the induced semigroup structure on the set of all ordered partitions of N.
2006-05-15 v2
Statistics on Ordered Partitions of Sets and q-Stirling Numbers
An ordered partition of [n]:={1,2,..., n} is a sequence of its disjoint subsets whose union is [n]. The number of ordered partitions of [n] with k blocks is k!S(n,k), where S(n,k) is the Stirling number of second kind. In this paper we prove some refinements of this formula by showing that the generating function of some statistics on the set of ordered partitions of [n] with k blocks is a natural $q$-analogue of k!S(n,k). In particular, we prove several conjectures of Steingrímsson. To this end, we construct a mapping from ordered partitions to walks in some digraphs and then, thanks to transfer-matrix method, we determine the corresponding generating functions by determinantal computations.
2006-05-15
A note on heterogeneous decompositions into spanning trees
Published in Bull. ICA Vol. 51(2007) 69-71. • Search Publication
In answer to a question of Eggleton, we prove that the complete multigraph on 5 vertices with edge multiplicity 6, namely $K_{5}^{(6)}$, has a decomposition into 5 copies of the family of trees of order 5 and that $K_{7}^{(22)}$ has a decomposition into 7 copies of the family of trees of order 7. We prove something similar for $K_{2n+1}$ for $n \le 13$.
2006-05-14
Order preserving transformations of the Hilbert grassmannian
Published • View Publication • BIB
Let $H$ be a separable real Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion relation. We show that every order preserving transformation of ${\mathcal G}_{\infty}(H)$ can be extended to an automorphism of the lattice of closed subspaces of $H$. It follows from Mackey's result \cite{Mackey} that automorphisms of this lattice are induced by invertible bounded linear operators.
2006-05-12
Shifted and Shiftless Partition Identities II
Published • View Publication • BIB
Let S and T be sets of positive integers and let a be a fixed positive integer. An a-shifted partition identity has the form p(S,n)=p(T,n-a), for all n greater or equal to a. Here p(S,n) is the number partitions of n whose parts are elements of S. For all known nontrivial shifted partition identities, the sets S and T are unions of arithmetic progressions modulo M for some M. In 1987, Andrews found two 1-shifted examples (M=32, 40) and asked whether there were any more. In 1989, Kalvade responded with a further six. In 2000, the first author found 59 new 1-shifted identities using a computer search and showed how these could be proved using the theory of modular functions. Modular transformation of certain shifted identities leads to shiftless partition identities. Again let a be a fixed positive integer, and S, T be distinct sets of positive integers. A shiftless partition identity has the form p(S,n)=p(T,n), for all n not equal to a. In this paper, we show, except in one case, how all known 1-shifted and shiftless identities follow from a four parameter theta function identity due to Jacobi. New shifted and shiftless partition identities are proved.
2006-05-12
Bijective counting of Kreweras walks and loopless triangulations
Published in Journal of Combinatorial Theory Series A 114, 5 (2007) 931-956 • View Publication • BIB
We consider lattice walks in the plane starting at the origin, remaining in the first quadrant and made of West, South and North-East steps. In 1965, Germain Kreweras discovered a remarkably simple formula giving the number of these walks (with prescribed length and endpoint). Kreweras' proof was very involved and several alternative derivations have been proposed since then. But the elegant simplicity of the counting formula remained unexplained. We give the first purely combinatorial explanation of this formula. Our approach is based on a bijection between Kreweras walks and triangulations with a distinguished spanning tree. We obtain simultaneously a bijective way of counting loopless triangulations.
2006-05-12 v4
A comparison theorem for $f$-vectors of simplicial polytopes
Published • View Publication • BIB
Let $f_i(P)$ denote the number of $i$-dimensional faces of a convex polytope $P$. Furthermore, let $S(n,d)$ and $C(n,d)$ denote, respectively, the stacked and the cyclic $d$-dimensional polytopes on $n$ vertices. Our main result is that for every simplicial $d$-polytope $P$, if $$ f_r(S(n_1,d))\le f_r(P) \le f_r(C(n_2,d)) $$ for some integers $n_1, n_2$ and $r$, then $$ f_s(S(n_1,d))\le f_s(P) \le f_s(C(n_2,d)) $$ for all $s$ such that $r<s$. For $r=0$ these inequalities are the well-known lower and upper bound theorems for simplicial polytopes. The result is implied by a certain ``comparison theorem'' for $f$-vectors, formulated in Section 4. Among its other consequences is a similar lower bound theorem for centrally-symmetric simplicial polytopes.