Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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.
Supercongruence conjectures of Rodriguez-Villegas
Published
• View Publication
• BIB
In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible supercongruences. We provide a framework of congruences covering all 22 cases. Using this framework we prove one of the outstanding supercongruence conjectures between a special value of a truncated ordinary hypergeometric series and the $p$-th Fourier coefficient of a modular form. In the course of this work we also establish two new binomial coefficient-harmonic sum identities.
Cutwidth and degeneracy of graphs
We prove an inequality involving the degeneracy, the cutwidth and the sparsity of graphs. It implies a quadratic lower bound on the cutwidth in terms of the degeneracy for all graphs and an improvement of it for clique-free graphs.
The Laplace transform of the cut-and-join equation and the Bouchard-Marino conjecture on Hurwitz numbers
Published in Publications of the Research Institute for Mathematical Sciences 47, 629--670 (2011)
• View Publication
• BIB
We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.
An involution for symmetry of hook length and part length of partitions
Published in Discrete Mathematics, 310(10-11), 1633-1639, 2010
• View Publication
• BIB
A {\em pointed partition} of $n$ is a pair $(λ, v)$ where $λ\vdash n$ and $v$ is a cell in its Ferrers diagram. We construct an involution on pointed partitions of $n$ exchanging "hook length" and "part length". This gives a bijective proof of a recent result of Bessenrodt and Han.
Betti numbers of chordal graphs and $f$-vectors of simplicial complexes
Published
• View Publication
• BIB
Let $G$ be a chordal graph and $I(G)$ its edge ideal. Let $β(I(G)) = (β_0, β_1, ..., β_p)$ denote the Betti sequence of $I(G)$, where $β_i$ stands for the $i$th total Betti number of $I(G)$ and where $p$ is the projective dimension of $I(G)$. It will be shown that there exists a simplicial complex $Δ$ of dimension $p$ whose $f$-vector $f (Δ) = (f_0, f_1, ..., f_p)$ coincides with $β(I(G))$.
Inductive Construction of 2-Connected Graphs for Calculating the Virial Coefficients
Published in J. Phys. A: Math. Theor. 43 (2010) 315004
• View Publication
• BIB
In this paper we give a method for constructing systematically all simple 2-connected graphs with n vertices from the set of simple 2-connected graphs with n-1 vertices, by means of two operations: subdivision of an edge and addition of a vertex. The motivation of our study comes from the theory of non-ideal gases and, more specifically, from the virial equation of state. It is a known result of Statistical Mechanics that the coefficients in the virial equation of state are sums over labelled 2-connected graphs. These graphs correspond to clusters of particles. Thus, theoretically, the virial coefficients of any order can be calculated by means of 2-connected graphs used in the virial coefficient of the previous order. Our main result gives a method for constructing inductively all simple 2-connected graphs, by induction on the number of vertices. Moreover, the two operations we are using maintain the correspondence between graphs and clusters of particles.