arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2008-10-11
Counting cocircuits and convex two-colourings is #P-complete
We prove that the problem of counting the number of colourings of the vertices of a graph with at most two colours, such that the colour classes induce connected subgraphs is #P-complete. We also show that the closely related problem of counting the number of cocircuits of a graph is #P-complete.
2008-10-11
High degree graphs contain large-star factors
Published • View PublicationBIB
We show that any finite simple graph with minimum degree $d$ contains a spanning star forest in which every connected component is of size at least $Ω((d/\log d)^{1/3})$. This settles a problem of J. Kratochvil.
On connectivity of fibers with positive marginals in multiple logistic regression
Published in J. Multivariate Anal., Vol.101 (2010), 909-925 • View PublicationBIB
In this paper we consider exact tests of a multiple logistic regression, where the levels of covariates are equally spaced, via Markov beses. In usual application of multiple logistic regression, the sample size is positive for each combination of levels of the covariates. In this case we do not need a whole Markov basis, which guarantees connectivity of all fibers. We first give an explicit Markov basis for multiple Poisson regression. By the Lawrence lifting of this basis, in the case of bivariate logistic regression, we show a simple subset of the Markov basis which connects all fibers with a positive sample size for each combination of levels of covariates.
Markov bases of binary graph models of K_4-minor free graphs
Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of $K_n$.
On the computation of black hole entropy in loop quantum gravity
Published in Class.Quant.Grav.26:035017,2009 • View PublicationBIB
We discuss some issues related to the computation of black hole entropy in loop quantum gravity from the novel point of view provided by the recent number-theoretical methods introduced by the authors and their collaborators. In particular we give exact expressions, in the form of integral transforms, for the black hole entropy in terms of the area. We do this by following several approaches based both on our combinatorial techniques and also on functional equations similar to those employed by Meissner in his pioneering work on this subject. To put our results in perspective we compare them with those of Meissner. We will show how our methods confirm some of his findings, extend the validity of others, and correct some mistakes. At the end of the paper we will discuss the delicate issue of the asymptotics of black hole entropy.
2008-10-09
Towards a Better Understanding of the Semigroup Tree
Published • View PublicationBIB
In this paper we elaborate on the structure of the semigroup tree and the regularities on the number of descendants of each node observed earlier. These regularites admit two different types of behavior and in this work we investigate which of the two types takes place in particular for well-known classes of semigroups. Also we study the question of what kind of chains appear in the tree and characterize the properties (like being (in)finite) thereof. We conclude with some thoughts that show how this study of the semigroup tree may help in solving the conjecture of Fibonacci-like behavior of the number of semigroups with given genus.
2008-10-09
On the existence of shortest directed networks
Published in J. Combin. Math. Combin. Comput. 33 (2000), 97--102 • Search Publication
A directed network connecting a set A to a set B is a digraph containing an a-b path for each a in A and b in B. Vertices in the directed network not in A or B are called Steiner points. We show that in a finitely compact metric space in which geodesics exist, any two finite sets A and B are connected by a shortest directed network. We also bound the number of Steiner points by a function of the sizes of A and B. Previously, such an existence result was known only for the Euclidean plane [M. Alfaro, Pacific J. Math. 167 (1995) 201-214]. The main difficulty is that, unlike the undirected case (Steiner minimal trees), the underlying graphs need not be acyclic. Existence in the undirected case was first shown by E. J. Cockayne [Canad. Math. Bull. 10 (1967) 431-450].
2008-10-09
Identifying almost sorted permutations from TCP buffer dynamics
Published • View PublicationBIB
Associate to each sequence $A$ of integers (intending to represent packet IDs) a sequence of positive integers of the same length ${\mathcal M}(A)$. The $i$'th entry of ${\mathcal M}(A)$ is the size (at time $i$) of the smallest buffer needed to hold out-of-order packets, where space is accounted for unreceived packets as well. Call two sequences $A$, $B$ {\em equivalent} (written $A\equiv_{FB} B$) if ${\mathcal M}(A)={\mathcal M}(B)$. We prove the following result: any two permutations $A,B$ of the same length with $SUS(A)$, $SUS(B)\leq 3$ (where SUS is the {\em shuffled-up-sequences} reordering measure), and such that $A\equiv_{FB} B$ are identical. The result (which is no longer valid if we replace the upper bound 3 by 4) was motivated by RESTORED, a receiver-oriented model of network traffic we have previously introduced.
2008-10-09
Most actions on regular trees are almost free
Let T be a d-regular tree (d > 2) and A=Aut(T), its automorphism group. Let G be a group generated by n independent Haar-random elements of A. We show that almost surely, every nontrivial element of G has finitely many fixed points on T.
2008-10-08
Enumeration of bilaterally symmetric 3-noncrossing partitions
Published • View PublicationBIB
Schutzenberger's theorem for the ordinary RSK correspondence naturally extends to Chen et. al's correspondence for matchings and partitions. Thus the counting of bilaterally symmetric $k$-noncrossing partitions naturally arises as an analogue for involutions. In obtaining the analogous result for 3-noncrossing partitions, we use a different technique to develop a Maple package for 2-dimensional vacillating lattice walk enumeration problems. The package also applies to the hesitating case. As applications, we find several interesting relations for some special bilaterally symmetric partitions.
Double Schubert polynomials for the classical groups
Published in Advances in Mathematics 226 (2011), 840--886 • View PublicationBIB
For each infinite series of the classical Lie groups of type B,C or D, we introduce a family of polynomials parametrized by the elements of the corresponding Weyl group of infinite rank. These polynomials represent the Schubert classes in the equivariant cohomology of the appropriate flag variety. They satisfy a stability property, and are a natural extension of the (single) Schubert polynomials of Billey and Haiman, which represent non-equivariant Schubert classes. They are also positive in a certain sense, and when indexed by maximal Grassmannian elements, or by the longest element in a finite Weyl group, these polynomials can be expressed in terms of the factorial analogues of Schur's Q- or P-functions defined earlier by Ivanov.
2008-10-08 v3
Gorenstein Semigroup Algebras of Weighted Trees
Published in J. Algebra 354 (2012), 110-120 • View PublicationBIB
We classify exactly when the toric algebras $\C[S_{\tree}(\br)]$ are Gorenstein. These algebras arise as toric deformations of algebras of invariants of the Cox-Nagata ring of the blow-up of $n-1$ points on $\mathbb{P}^{n-3}$, or equivalently algebras of the ring of global sections for the Plücker embedding of weight varieties of the Grassmanian $Gr_2(\C^n)$, and algebras of global sections for embeddings of moduli of weighted points on $\mathbb{P}^1$. As a corollary, we find exactly when these families of rings are Gorenstein as well.
2008-10-08 v2
A bijection between noncrossing and nonnesting partitions of types A and B
Published in Contributions to Discrete Mathematics , Vol 6, No 2 (2011), 70-90 • View PublicationBIB
The total number of noncrossing partitions of type $Ψ$ is the $n$th Catalan number $\frac{1}{n+1}\binom{2n}{n}$ when $Ψ=A_{n-1}$, and the binomial $\binom{2n}{n}$ when $Ψ=B_n$, and these numbers coincide with the correspondent number of nonnesting partitions. For type A, there are several bijective proofs of this equality, being the intuitive map that locally converts each crossing to a nesting one of them. In this paper we present a bijection between nonnesting and noncrossing partitions of types A and B that generalizes the type A bijection that locally converts each crossing to a nesting.
2008-10-08
A note on 3-colorable plane graphs without 5- and 7-cycles
Published • View PublicationBIB
Borodin et al figured out a gap of the paper published at J. Combinatorial Theory Ser. B (Vol.96 (2006) 958--963), and gave a new proof with the similar technique. The purpose of this note is to fix the gap by slightly revising the definition of special faces, and adding a few lines of explanation in the proofs (new added text are all in black font).
2008-10-08 v2
Fulton-MacPherson compactification, cyclohedra, and the polygonal pegs problem
The cyclohedron (Bott-Taubes polytope) arises both as the polyhedral realization of the poset of all cyclic bracketings of a circular word and as an essential part of the Fulton-MacPherson compactification of the configuration space of n distinct, labelled points on the circle S^1. The "polygonal pegs problem" asks whether every simple, closed curve in the plane or in the higher dimensional space admits an inscribed polygon of a given shape. We develop a new approach to the polygonal pegs problem based on the Fulton-MacPherson (Axelrod-Singer, Kontsevich) compactification of the configuration space of (cyclically) ordered n-element subsets in S^1. Among the results obtained by this method are proofs of Grunbaum's conjecture about affine regular hexagons inscribed in smooth Jordan curves and a new proof of the conjecture of Hadwiger about inscribed parallelograms in smooth, simple, closed curves in the 3-space (originally established by Victor Makeev).
2008-10-08
Sumsets and the convex hull
Published • View PublicationBIB
We extend Freiman's inequality on the cardinality of the sumset of a $d$ dimensional set. We consider different sets related by an inclusion of their convex hull, and one of them added possibly several times.
Plunnecke's inequality for different summands
Published • View PublicationBIB
The aim of this paper is to prove a general version of Plünnecke's inequality. Namely, assume that for finite sets $A$, $B_1, ... B_k$ we have information on the size of the sumsets $A+B_{i_1}+... +B_{i_l}$ for all choices of indices $i_1, ... i_l.$ Then we prove the existence of a non-empty subset $X$ of $A$ such that we have `good control' over the size of the sumset $X+B_1+... +B_k$. As an application of this result we generalize an inequality of \cite{gymr} concerning the submultiplicativity of cardinalities of sumsets.
2008-10-08 v2
The Fundamental Group of Balanced Simplicial Complexes and Posets
Published in Electronic Journal of Combinatorics, 16 (2009-10) no. 2, Research Paper 7, 12pp • View PublicationBIB
We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.
2008-10-07 v2
(G,m)-multiparking functions
The conceptions of $G$-parking functions and $G$-multiparking functions were introduced in [15] and [12] respectively. In this paper, let $G$ be a connected graph with vertex set $\{1,2,...,n\}$ and $m\in V(G)$. We give the definition of $(G,m)$-multiparking function. This definition unifies the conceptions of $G$-parking function and $G$-multiparking function. We construct bijections between the set of $(G,m)$-multiparking functions and the set of $\mathcal{F}_{G,m}$ of spanning color $m$-forests of $G$. Furthermore we define the $(G,m)$-multiparking complement function, give the reciprocity theorem for $(G,m)$-multiparking function and extend the results [25,12] to $(G,m)$-multiparking function. Finally, we use a combinatorial methods to give a recursion of the generating function of the sum $\sum\limits_{i=1}^na_i$ of $G$-parking functions $(a_1,...,a_n)$.
2008-10-06 v2
The enumeration of independent sets on some lattices
In this paper, firstly we show that the entropy constants of the number of independent sets on certain plane lattices are the same as the entropy constants of the corresponding cylindrical and toroidal lattices. Secondly, we consider three more complex lattices which can not be handled by a single transfer matrix as in the plane quadratic lattice case. By introducing the concept of transfer multiplicity, we obtain the lower and upper bounds of the entropy constants of crossed quadratic lattice, generalized aztec diamond lattice and 8-8-4 lattice.