Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Generating Functions of Nestohedra and Applications
We examine the family of nestohedra resulting from the complete bipartite graph through the medium of a generating function and demonstrate some of their combinatorial invariants.
Dualities and dual pairs in Heyting algebras
Published in Order, 27(3), pp. 327-342, 2010
• View Publication
• BIB
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.
The early evolution of the H-free process
Published
• View Publication
• BIB
The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is formed. Let G be the random maximal H-free graph obtained at the end of the process. When H is strictly 2-balanced, we show that for some c>0, with high probability as $n \to \infty$, the minimum degree in G is at least $cn^{1-(v_H-2)/(e_H-1)}(\log n)^{1/(e_H-1)}$. This gives new lower bounds for the Turán numbers of certain bipartite graphs, such as the complete bipartite graphs $K_{r,r}$ with $r \ge 5$. When H is a complete graph $K_s$ with $s \ge 5$ we show that for some C>0, with high probability the independence number of G is at most $Cn^{2/(s+1)}(\log n)^{1-1/(e_H-1)}$. This gives new lower bounds for Ramsey numbers R(s,t) for fixed $s \ge 5$ and t large. We also obtain new bounds for the independence number of G for other graphs H, including the case when H is a cycle. Our proofs use the differential equations method for random graph processes to analyse the evolution of the process, and give further information about the structure of the graphs obtained, including asymptotic formulae for a broad class of subgraph extension variables.
Some Ramsey theorems for finite $n$-colorable and $n$-chromatic graphs
Published in Contrib. Discrete Math., 5 (2), 7 pages, 2010
• Search Publication
Given a fixed integer $n$, we prove Ramsey-type theorems for the classes of all finite ordered $n$-colorable graphs, finite $n$-colorable graphs, finite ordered $n$-chromatic graphs, and finite $n$-chromatic graphs.
Graphs whose flow polynomials have only integral roots
Published
• View Publication
• BIB
We show if the flow polynomial of a bridgeless graph G has only integral roots, then G is the dual graph to a planar chordal graph. We also show that for 3-connected cubic graphs, the same conclusion holds under the weaker hypothesis that it has only real flow roots. Expressed in the language of matroid theory, this result says that the cographic matroids with only integral characteristic roots are the cycle matroids of planar chordal graphs.
A Pieri rule for skew shapes
Published in Journal of Combinatorial Theory (Series A), 118 (1) (2011), 277-290
• View Publication
• BIB
The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product of a skew Schur function and a single row Schur function in terms of skew Schur functions. Like the classical rule, our rule involves simple additions of boxes to the original skew shape. Our proof is purely combinatorial and extends the combinatorial proof of the classical case.
A Combinatorial Result on Block Matrices
Given a matrix with partitions of its rows and columns and entries from a field, we give the necessary and sufficient conditions that it has a non--singular submatrix with certain number of rows from each row partition and certain number of columns from each column partition.
On Young tableau involutions and patterns in permutations
This thesis deals with three different aspects of the combinatorics of permutations. In the first two papers, two flavours of pattern avoiding permutations are examined; and in the third paper Young tableaux, which are closely related to permutations via representation theory, are studied.
In the first paper we give solutations to several interesting problems regarding pattern avoiding doubly alternating permutations, such as finding a bijection between 1234-avoiding permutations and 1234-avoiding doubly alternating permutations of twice the size.
In the second paper partial permutations which can be extended to pattern avoiding permutations are examined. A general algorithm is presented which is subsequently used to solve many different problems.
The third paper deals with involutions on Young tableaux. There is a surprisingly large collection of relations among these involutions and in the paper we make the effort to study them systematically in order to create a coherent theory. The most interesting result is that for Littlewood-Richardson tableaux, $a^3=1$, wher5e $a$ is the composition of three different involutions: the fundamental symmetry map, the reversal and rotation involutions.
Mixed Statistics on 01-Fillings of Moon Polyominoes
Published
• View Publication
• BIB
We establish a stronger symmetry between the numbers of northeast and southeast chains in the context of 01-fillings of moon polyominoes. Let $\M$ be a moon polyomino with $n$ rows and $m$ columns. Consider all the 01-fillings of $\M$ in which every row has at most one 1. We introduce four mixed statistics with respect to a bipartition of rows or columns of $\M$. More precisely, let $S \subseteq \{1,2,..., n\}$ and $\mathcal{R}(S)$ be the union of rows whose indices are in $S$. For any filling $M$, the top-mixed (resp. bottom-mixed) statistic $α(S; M)$ (resp. $β(S; M)$) is the sum of the number of northeast chains whose top (resp. bottom) cell is in $\mathcal{R}(S)$, together with the number of southeast chains whose top (resp. bottom) cell is in the complement of $\mathcal{R}(S)$. Similarly, we define the left-mixed and right-mixed statistics $γ(T; M)$ and $δ(T; M)$, where $T$ is a subset of the column index set $\{1,2,..., m\}$. Let $λ(A; M)$ be any of these four statistics $α(S; M)$, $β(S; M)$, $γ(T; M)$ and $δ(T; M)$, we show that the joint distribution of the pair $(λ(A; M), λ(\bar A; M))$ is symmetric and independent of the subsets $S, T$. In particular, the pair of statistics $(λ(A;M), λ(\bar A; M))$ is equidistributed with $(\se(M),\ne(M))$, where $\se(M)$ and $\ne(M)$ are the numbers of southeast chains and northeast chains of $M$, respectively.
The Geometry of the Neighbor-Joining Algorithm for Small Trees
Published in It is published in the proceedings of Algebraic Biology, Springer LNC Series (2008), p82-96
• View Publication
• BIB
In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstruction are each determined by a polyhedral subdivision of the space of dissimilarity maps ${\R}^{n \choose 2}$, where $n$ is the number of taxa. In this paper, we will analyze the behavior of the Neighbor-Joining algorithm on five and six taxa and study the geometry and combinatorics of the polyhedral subdivision of the space of dissimilarity maps for six taxa as well as hyperplane representations of each polyhedral subdivision. We also study simulations for one of the questions stated by Eickmeyer et al., that is, the robustness of the NJ algorithm to small perturbations of tree metrics, with tree models which are known to be hard to be reconstructed via the NJ algorithm.
Fifty Years of the Spectrum Problem: Survey and New Results
Published in Bulletin of Symbolic Logic, 18.4 (2012) pp. 505-553
• View Publication
• BIB
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached in terms of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally in terms of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. One appendix paraphrases the contents of several early and not easily accesible papers by G. Asser, A. Mostowski, J. Bennett and S. Mo. Another appendix contains a compendium of questions and conjectures which remain open.
Longest Run of Equal Parts in a Random Integer Composition
Published
• View Publication
• BIB
This note examines a problem in enumerative and asymptotic combinatorics involving the classical structure of integer compositions. What is sought is an analysis on average and in distribution of the length of the longest run of consecutive equal parts in a composition of size n. The problem was recently posed by Herbert Wilf (see arXiv: 0906.5196).
Ramsey games with giants
Published
• View Publication
• BIB
The classical result in the theory of random graphs, proved by Erdos and Renyi in 1960, concerns the threshold for the appearance of the giant component in the random graph process. We consider a variant of this problem, with a Ramsey flavor. Now, each random edge that arrives in the sequence of rounds must be colored with one of R colors. The goal can be either to create a giant component in every color class, or alternatively, to avoid it in every color. One can analyze the offline or online setting for this problem. In this paper, we consider all these variants and provide nontrivial upper and lower bounds; in certain cases (like online avoidance) the obtained bounds are asymptotically tight.
Optimal Pebbling in Products of Graphs
We prove a generalization of Graham's Conjecture for optimal pebbling with arbitrary sets of target distributions. We provide bounds on optimal pebbling numbers of products of complete graphs and explicitly find optimal $t$-pebbling numbers for specific such products. We obtain bounds on optimal pebbling numbers of powers of the cycle $C_5$. Finally, we present explicit distributions which provide asymptotic bounds on optimal pebbling numbers of hypercubes.
Toroidal Embeddings of Right Groups
In this note we study embeddings of Cayley graphs of right groups on surfaces. We characterize those right groups which have a toroidal but no planar Cayley graph, such that the generating system of the right group has a minimal generating system of the group as a factor.
Betti numbers are testable
Published
• View Publication
• BIB
We prove that the Betti numbers of simplicial complexes of bounded vertex degrees are testable in constant time.
Profiles of permutations
Published in Electronic Journal of Combinatorics, vol. 16(1) (2009), #R99
• View Publication
• BIB
This paper develops an analogy between the cycle structure of, on the one hand, random permutations with cycle lengths restricted to lie in an infinite set $S$ with asymptotic density $σ$ and, on the other hand, permutations selected according to the Ewens distribution with parameter $σ$. In particular we show that the asymptotic expected number of cycles of random permutations of $[n]$ with all cycles even, with all cycles odd, and chosen from the Ewens distribution with parameter 1/2 are all ${1 \over 2} \log n + O(1)$, and the variance is of the same order. Furthermore, we show that in permutations of $[n]$ chosen from the Ewens distribution with parameter $σ$, the probability of a random element being in a cycle longer than $γn$ approaches $(1-γ)^σ$ for large $n$. The same limit law holds for permutations with cycles carrying multiplicative weights with average $σ$. We draw parallels between the Ewens distribution and the asymptotic-density case and explain why these parallels should exist using permutations drawn from weighted Boltzmann distributions.
Definability of Combinatorial Functions and Their Linear Recurrence Relations
Published in Lecture Notes in Computer Science, vol. 6300, pages 444-462, 2010
• View Publication
• BIB
We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, s uch as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these functions satisfy a linear recurrence relation over $\mathbb Z$ or ${\mathbb Z}_m$ and allow an interpretation as counting the number of relations satisfying a property expressible in Monadic Second Order Logic (MSOL).
C. Blatter and E. Specker (1981) showed that if such a function $f$ counts the number of binary relations satisfying a property expressible in MSOL then $f$ satisfies for every $m \in \mathbb{N}$ a linear recurrence relation over $\mathbb{Z}_m$.
In this paper we give a complete characterization in terms of definability in MSOL of the combinatorial functions which satisfy a linear recurrence relation over $\mathbb{Z}$, and discuss various extensions and limitations of the Specker-Blatter theorem.
Topology of Hom complexes and test graphs for bounding chromatic number
Published
• View Publication
• BIB
We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from graphs to posets, and introduce a functor $(-)^1$ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of $\Hom$ complexes in terms of spaces of equivariant poset maps and $Γ$-twisted products of spaces. When $P = F(X)$ is the face poset of a simplicial complex $X$, this provides a useful way to control the topology of $\Hom$ complexes.
Our foremost application of these results is the construction of new families of `test graphs' with arbitrarily large chromatic number - graphs $T$ with the property that the connectivity of $\Hom(T,G)$ provides the best possible lower bound on the chromatic number of $G$. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of `spherical graphs' have connections to the notion of homomorphism duality, whereas the family of `twisted toroidal graphs' lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex $X$ with a free action by the symmetric group $S_n$ can be approximated up to $S_n$-homotopy equivalence as $\Hom(K_n,G)$ for some graph $G$; this is a generalization of a result of Csorba. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.
A Note on Colored Tornheim's Double Series
Published in Integers 10 (2010) A59, pp. 879-882
• View Publication
• BIB
In this short note, we provide an explicit formula to compute every colored double Tornheim's series by using double polylogarithm values at roots of unity. When the colors are given by $\pm 1$ our formula is different from that of Tsumura [On alternating analogues of Tornheim's double series II, Ramanujan J. 18 (2009), 81-90] even though numerical data confirm both are correct in almost all the cases. This agreement can also be checked rigorously by using regularized double shuffle relations of the alternating double zeta values in weights less than eight.