arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2004-06-23 v2
Haruspicy 2: The anisotropic generating function of self-avoiding polygons not D-finite
Published • View Publication • BIB
We prove that the anisotropic generating function of self-avoiding polygons is not a D-finite function - proving a conjecture of Guttmann and Enting. This result is also generalised to self-avoiding polygons on hypercubic lattices. Using the haruspicy techniques developed in an earlier paper we are also prove the form of the coefficients of the anisotropic generating function, which was first conjectured by Guttmann and Enting.
2004-06-23 v3
Crystals and coboundary categories
Published • View Publication • BIB
Following an idea of A. Berenstein, we define a commutor for the category of crystals of a finite dimensional complex reductive Lie algebra. We show that this endows the category of crystals with the structure of a coboundary category. Similar to the case of braided categories, there is a group naturally acting on multiple tensor products in coboundary categories. We call this group the cactus group and identify it as the fundamental group of the moduli space of marked real genus zero stable curves.
2004-06-23
The reflexive dimension of a lattice polytope
Published • View Publication • BIB
The reflexive dimension refldim(P) of a lattice polytope P is the minimal d so that P is the face of some d-dimensional reflexive polytope. We show that refldim(P) is finite for every P, and give bounds for refldim(kP) in terms of refldim(P) and k.
2004-06-22 v2
SM(2,4k) fermionic characters and restricted jagged partitions
Published in J.Phys. A38 (2005) 1699-1710 • View Publication • BIB
A derivation of the basis of states for the $SM(2,4k)$ superconformal minimal models is presented. It relies on a general hypothesis concerning the role of the null field of dimension $2k-1/2$. The basis is expressed solely in terms of $G_r$ modes and it takes the form of simple exclusion conditions (being thus a quasi-particle-type basis). Its elements are in correspondence with $(2k-1)$-restricted jagged partitions. The generating functions of the latter provide novel fermionic forms for the characters of the irreducible representations in both Ramond and Neveu-Schwarz sectors.
The laplacian of a graph as a density matrix: a basic combinatorial approach to separability of mixed states
Published in Annals of Combinatorics, Volume 10, No 3, 2006 • View Publication • BIB
We study entanglement properties of mixed density matrices obtained from combinatorial Laplacians. This is done by introducing the notion of the density matrix of a graph. We characterize the graphs with pure density matrices and show that the density matrix of a graph can be always written as a uniform mixture of pure density matrices of graphs. We consider the von Neumann entropy of these matrices and we characterize the graphs for which the minimum and maximum values are attained. We then discuss the problem of separability by pointing out that separability of density matrices of graphs does not always depend on the labelling of the vertices. We consider graphs with a tensor product structure and simple cases for which combinatorial properties are linked to the entanglement of the state. We calculate the concurrence of all graph on four vertices representing entangled states. It turns out that for some of these graphs the value of the concurrence is exactly fractional.
2004-06-21
Repeated Patterns of Dense Packings of Equal Disks in a Square
Published in The Electronic Journal of Combinatorics 3 (1996), #R16 • View Publication • BIB
We examine sequences of dense packings of n congruent non-overlapping disks inside a square which follow specific patterns as n increases along certain values, n = n(1), n(2),... n(k),.... Extending and improving previous work of Nurmela and Ostergard where previous patterns for n = n(k) of the form k*k, k*k-1, k*k-3, k(k+1), and 4k*k+k were observed, we identify new patterns for n = k*k-2 and n = k*k+[k/2]. We also find denser packings than those in [Nurmela, Ostergard] for n =21, 28, 34, 40, 43, 44, 45, and 47. In addition, we produce what we conjecture to be optimal packings for n =51, 52, 54, 55, 56, 60, and 61. Finally, for each identified sequence n(1), n(2),... n(k),... which corresponds to some specific repeated pattern, we identify a threshold index k_0, for which the packing appears to be optimal for k =< k_0, but for which the packing is not optimal (or does not exist) for k > k_0.
2004-06-21
SPM Bulletin 9
This is the ninth issue of this bulletin. CONTENTS: Proceedings of SPM Workshop; A brief remark on van der Waerden spaces; Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann; Cardinal invariants p, t and h and real functions; A comment on p<t; On squares of spaces and F_sigma-sets; Comparing the uniformity invariants of null sets for different measures; Maximal functions and the additivity of various families of null sets; How many miles to beta(omega)? -- Approximating beta(omega) by metric-dependent compactifications; The cardinal characteristic for relative gamma-sets; Uncountable intersections of open sets under CPA_prism; Covering R^{n+1} by graphs of n-ary functions and long linear orderings of Turing degrees; CONFERENCE: Foundations of the Formal Sciences V: Infinite Games; Problem of the month; Problems from earlier issues
2004-06-21
New results on the peak algebra
Published • View Publication • BIB
The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n-1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of this algebra. We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements. We use these bases to describe the Jacobson radical of the peak algebra and to characterize the elements of this algebra in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals such that the ideal at the bottom of the chain is the linear span of sums of permutations with a common set of interior peaks and the ideal at the top is the whole algebra. We extend the above results to these ideals, generalizing results of Schocker (the case of the bottom ideal).
2004-06-21
Van der Waerden Conjecture for Mixed Discriminants
Published • View Publication • BIB
We prove that the mixed discriminant of doubly stochastic $n$-tuples of semidefinite hermitian $n \times n$ matrices is bounded below by $\frac{n!}{n^{n}}$ and that this bound is uniquely attained at the $n$-tuple $(\frac{1}{n} I,...,\frac{1}{n} I)$. This result settles a conjecture posed by R. Bapat in 1989. We consider various generalizations and applications of this result.
2004-06-19 v2
Two Bijections for Dyck Path Parameters
Here we give two bijections, one to show that the number of UUU-free Dyck n-paths is the Motzkin number M_n, the other to obtain the (known) distributions of the parameters "number of UDUs" and "number of DDUs" on Dyck n-paths. The first bijection is straightforward, the second not quite so obvious.
2004-06-18
Collision Free Motion Planning on Graphs
Published • View Publication • BIB
A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(X) coincides with the minimal n such that there exists an n-valued random motion planning algorithm for the system; here $X$ denotes the configuration space. We study in detail the problem of collision free motion of several objects on a graph G. We describe an explicit motion planning algorithm for this problem. We prove that if G is a tree and if the number of objects is large enough, then the topological complexity of this motion planning problem equals 2m(G)+1 where m(G) is the number of the essential vertices of G. It turns out (in contrast with the results on the collision free control of many objects in space obtained earlier jointly with S. Yuzvinsky) that the topological complexity is independent of the number of particles.
2004-06-18 v2
Hyperplane arrangements and K-theory
Published • View Publication • BIB
We study the Z/2-equivariant K-theory of the complement of the complexification of a real hyperplane arrangement. We compute the rational K and KO rings, and give two different combinatorial descriptions of the subring of the integral KO ring generated by line bundles.
On Metric Ramsey-type Dichotomies
Published in J. London Math. Society 71(2): 289-303, 2005 • View Publication • BIB
The classical Ramsey theorem, states that every graph contains either a large clique or a large independent set. Here we investigate similar dichotomic phenomena in the context of finite metric spaces. Namely, we prove statements of the form "Every finite metric space contains a large subspace that is nearly quilateral or far from being equilateral". We consider two distinct interpretations for being "far from equilateral". Proximity among metric spaces is quantified through the metric distortion D. We provide tight asymptotic answers for these problems. In particular, we show that a phase transition occurs at D=2.
A combinatorial approach for studying LOCC transformations of multipartite states
Published • View Publication • BIB
We develop graph theoretic methods for analysing maximally entangled pure states distributed between a number of different parties. We introduce a technique called {\it bicolored merging}, based on the monotonicity feature of entanglement measures, for determining combinatorial conditions that must be satisfied for any two distinct multiparticle states to be comparable under local operations and classical communication (LOCC). We present several results based on the possibility or impossibility of comparability of pure multipartite states. We show that there are exponentially many such entangled multipartite states among $n$ agents. Further, we discuss a new graph theoretic metric on a class of multi-partite states, and its implications.
2004-06-18 v2
Combinatorial proofs of inverse relations and log-concavity for Bessel numbers
Published • View Publication • BIB
Let the Bessel number of the second kind B(n,k) be the number of set partitions of [n] into k blocks of size one or two, and let the Bessel number of the first kind b(n,k) be a certain coefficient in n-th Bessel polynomial. In this paper, we show that Bessel numbers satisfy two properties of Stirling numbers: The two kinds of Bessel numbers are related by inverse formulas, and both Bessel numbers of the first kind and the second kind form log-concave sequences. By constructing sign-reversing involutions, we prove the inverse formulas. We review Krattenthaler's injection for the log-concavity of Bessel numbers of the second kind, and give a new explicit injection for the log-concavity of signless Bessel numbers of the first kind.
2004-06-18 v2
Graph diameter in long-range percolation
Published in Random Structures & Algorithms 39 (2011), no. 2, 210--227 • View Publication • BIB
We study the asymptotic growth of the diameter of a graph obtained by adding sparse "long" edges to a square box in $\Z^d$. We focus on the cases when an edge between $x$ and $y$ is added with probability decaying with the Euclidean distance as $|x-y|^{-s+o(1)}$ when $|x-y|\to\infty$. For $s\in(d,2d)$ we show that the graph diameter for the graph reduced to a box of side $L$ scales like $(\log L)^{Δ+o(1)}$ where $Δ^{-1}:=\log_2(2d/s)$. In particular, the diameter grows about as fast as the typical graph distance between two vertices at distance $L$. We also show that a ball of radius $r$ in the intrinsic metric on the (infinite) graph will roughly coincide with a ball of radius $\exp\{r^{1/Δ+o(1)}\}$ in the Euclidean metric.
2004-06-17 v2
Remarks on one combinatorial application of the Aleksandrov-Fenchel inequalities
In 1981, Stanley applied the Aleksandrov-Fenchel inequalities to prove a logarithmic concavity theorem for regular matroids. Using ideas from electrical network theory we prove a generalization of this for the wider class of matroids with the ``half-plane property''. Then we explore a nest of inequalities for weighted basis-generating polynomials that are related to these ideas. As a first result from this investigation we find that every matroid of rank three or corank three satisfies a condition only slightly weaker than the conclusion of Stanley's theorem.
2004-06-17
Paperfolding and Catalan numbers
We reprove a few results concerning paperfolding sequences using properties of Catalan numbers modulo 2.
2004-06-16
Some formulae for bivariate Fibonacci and Lucas polynomials
We derive a collection of identities for bivariate Fibonacci and Lucas polynomials using essentially a matrix approach as well as properties of such polynomials when the variables $x$ and $y$ are replaced by polynomials. A wealth of combinatorial identities can be obtained for selected values of the variables.
2004-06-16
On some $q$-identities related to divisor functions
Published • View Publication • BIB
We give generalizations and simple proofs of some $q$-identities of Dilcher, Fu and Lascoux related to divisor functions.