arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-08-20 v2
Cluster algebras arising from cluster tubes
Published • View Publication • BIB
We study the cluster algebras arising from cluster tubes with rank bigger than $1$. Cluster tubes are $2-$Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object $T$ in the cluster tube $\mathcal{C}_n$ of rank $n$. For any indecomposable rigid object $M$ in $\mathcal{C}_n$, we define an analogous $X_M$ of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of $M$. We show that $X_M, X_{M'}$ satisfy the mutation formula when $M,M'$ form an exchange pair, and that $X_{?}: M\mapsto X_M$ gives a bijection from the set of indecomposable rigid objects in $\mathcal{C}_n$ to the set of cluster variables of cluster algebra of type $C_{n-1}$, which induces a bijection between the set of basic maximal rigid objects in $\mathcal{C}_n$ and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube $\mathcal{C}_n$ encode the combinatorics of the cluster algebra of type $B_{n-1}$ since the combinatorics of cluster algebras of type $B_{n-1}$ or of type $C_{n-1}$ are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type $C$.
2010-08-20 v2
Quadratic forms and four partition functions modulo 3
Published in Integers, 11, no. 1, (2011) 47-53 • View Publication • BIB
Recently, Andrews, Hirschhorn and Sellers have proven congruences modulo 3 for four types of partitions using elementary series manipulations. In this paper, we generalize their congruences using arithmetic properties of certain quadratic forms.
2010-08-19
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree $T$ and integer $d\geq2$: (1) What is the minimum number of degree-$d$ subtrees that partition $E(T)$? (2) What is the minimum number of degree-$d$ subtrees that cover $E(T)$? We answer the first question by providing an explicit formula for the minimum number of subtrees, and we describe a linear time algorithm that finds the corresponding partition. For the second question, we present a polynomial time algorithm that computes a minimum covering. We then establish a tight bound on the number of subtrees in coverings of trees with given maximum degree and pathwidth. Our results show that pathwidth is the right parameter to consider when studying coverings of trees by degree-3 subtrees. We briefly consider coverings of general graphs by connected subgraphs of bounded degree.
2010-08-19
Proximity Drawings of High-Degree Trees
Published in International J. of Computational Geometry and Applications 23:213-230, 2013 • View Publication • BIB
A drawing of a given (abstract) tree that is a minimum spanning tree of the vertex set is considered aesthetically pleasing. However, such a drawing can only exist if the tree has maximum degree at most 6. What can be said for trees of higher degree? We approach this question by supposing that a partition or covering of the tree by subtrees of bounded degree is given. Then we show that if the partition or covering satisfies some natural properties, then there is a drawing of the entire tree such that each of the given subtrees is drawn as a minimum spanning tree of its vertex set.
2010-08-19
Measure preserving homomorphisms and independent sets in tensor graph powers
Published in Discrete Mathematics. Vol. 309, Issue 4 (2009) pp. 955-958 • View Publication • BIB
In this note, we study the behavior of independent sets of maximum probability measure in tensor graph powers. To do this, we introduce an upper bound using measure preserving homomorphisms. This work extends some previous results about independence ratios of tensor graph powers.
2010-08-19 v3
A Dirac type condition for properly coloured paths and cycles
Published • View Publication • BIB
Let $c$ be an edge-colouring of a graph $G$ such that for every vertex $v$ there are at least $d \ge 2$ different colours on edges incident to $v$. We prove that $G$ contains a properly coloured path of length 2d or a properly coloured cycle of length at least $d+1$. Moreover, if $G$ does not contain any properly coloured cycle, then there exists a properly coloured path of length $3 \times 2^{d-1}-2$.
2010-08-19
Double Hurwitz numbers via the infinite wedge
Published • View Publication • BIB
We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.
Linear extension sums as valuations of cones
Published in Journal of Algebraic Combinatorics 35, 4 (2012) 573-610 • View Publication • BIB
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
2010-08-19 v2
Equivariant cohomology for Hamiltonian torus actions on symplectic orbifolds
Published • View Publication • BIB
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
2010-08-19 v2
Factors of sums and alternating sums involving binomial coefficients and powers of integers
Published in Int. J. Number Theory 7 (2011), 1959-1976 • View Publication • BIB
We study divisibility properties of certain sums and alternating sums involving binomial coefficients and powers of integers. For example, we prove that for all positive integers $n_1,..., n_m$, $n_{m+1}=n_1$, and any nonnegative integer $r$, there holds {align*} \sum_{k=0}^{n_1}ε^k (2k+1)^{2r+1}\prod_{i=1}^{m} {n_i+n_{i+1}+1\choose n_i-k} \equiv 0 \mod (n_1+n_m+1){n_1+n_m\choose n_1}, {align*} and conjecture that for any nonnegative integer $r$ and positive integer $s$ such that $r+s$ is odd, $$ \sum_{k=0}^{n}ε^k (2k+1)^{r}({2n\choose n-k}-{2n\choose n-k-1})^{s} \equiv 0 \mod{2n\choose n}, $$ where $ε=\pm 1$.
2-frieze patterns and the cluster structure of the space of polygons
Published • View Publication • BIB
We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its algebraic and arithmetic properties.
2010-08-19 v5
Good Random Matrices over Finite Fields
Published in Advances in Mathematics of Communications 6 (2012) 203-227 • View Publication • BIB
The random matrix uniformly distributed over the set of all m-by-n matrices over a finite field plays an important role in many branches of information theory. In this paper a generalization of this random matrix, called k-good random matrices, is studied. It is shown that a k-good random m-by-n matrix with a distribution of minimum support size is uniformly distributed over a maximum-rank-distance (MRD) code of minimum rank distance min{m,n}-k+1, and vice versa. Further examples of k-good random matrices are derived from homogeneous weights on matrix modules. Several applications of k-good random matrices are given, establishing links with some well-known combinatorial problems. Finally, the related combinatorial concept of a k-dense set of m-by-n matrices is studied, identifying such sets as blocking sets with respect to (m-k)-dimensional flats in a certain m-by-n matrix geometry and determining their minimum size in special cases.
2010-08-18
The Big-Line-Big-Clique Conjecture is False for Infinite Point Sets
The big-line-big-clique conjecture states that for all $k,\ell\geq2$ there is an integer $n$ such that every finite set of at least $n$ points in the plane contains $\ell$ collinear points or $k$ pairwise visible points. We show that this conjecture is false for infinite point sets, by constructing a countably infinite point set with no 4 collinear points and no 3 pairwise visible points.
2010-08-18
Graph Coloring and Function Simulation
Published • View Publication • BIB
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).
2010-08-18
Crossings, Motzkin paths and Moments
Published in Discrete Mathematics 311(18-19) (2011), 2064--2078 • View Publication • BIB
Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations.
2010-08-18 v2
The theory of Schur polynomials revisited
Published in Enseign. Math. 58 (2012), 147-163 • View Publication • BIB
We use Young's raising operators to give short and uniform proofs of several well known results about Schur polynomials and symmetric functions, starting from the Jacobi-Trudi identity.
Planar flows and Plücker's type quadratic relations over semirings
It is well known, due to Lindström, that the minors of a (real or complex) matrix can be expressed in terms of weights of flows in a planar directed graph. Another classical fact is that there are plenty of homogeneous quadratic relations involving flag minors, or Plücker coordinates of the corresponding flag manifold. Generalizing and unifying these facts and their tropical counterparts, we consider a wide class of functions on $2^{[n]}$ that are generated by flows in a planar graph and take values in an arbitrary commutative semiring, where $[n]=\{1,2,\ldots,n\}$. We show that the ``universal'' homogeneous quadratic relations fulfilled by such functions can be described in terms of certain matchings, and as a consequence, give combinatorial necessary and sufficient conditions on the collections of subsets of $[n]$ determining these relations.
2010-08-18 v4
Minimal Diagrams of Free Knots
Published in Journal of Knot Theory and Its Ramifications Vol. 23, No. 06 (2014) • View Publication • BIB
Manturov recently introduced the idea of a free knot, i.e. an equivalence class of virtual knots where equivalence is generated by crossing change and virtualization moves. He showed that if a free knot diagram is associated to a graph that is irreducibly odd, then it is minimal with respect to the number of classical crossings. Not all minimal diagrams of free knots are associated to irreducibly odd graphs, however. We introduce a family of free knot diagrams that arise from certain permutations that are minimal but not irreducibly odd.
2010-08-17
Decomposition theorem on matchable distributive lattices
Published in Discrete Applied Mathematics 166 (2014) 239--248 • View Publication • BIB
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.
2010-08-17 v3
New congruences for sums involving Apery numbers or central Delannoy numbers
Published • View Publication • BIB
The Apéry numbers $A_n$ and central Delannoy numbers $D_n$ are defined by $$A_n=\sum_{k=0}^{n}{n+k\choose 2k}^2{2k\choose k}^2, \quad D_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}. $$ Motivated by some recent work of Z.-W. Sun, we prove the following congruences: \sum_{k=0}^{n-1}(2k+1)^{2r+1}A_k &\equiv \sum_{k=0}^{n-1}\varepsilon^k (2k+1)^{2r+1}D_k \equiv 0\pmod n, where $n\geqslant 1$, $r\geqslant 0$, and $\varepsilon=\pm1$. For $r=1$, we further show that \sum_{k=0}^{n-1}(2k+1)^{3}A_k &\equiv 0\pmod{n^3}, \quad \sum_{k=0}^{p-1}(2k+1)^{3}A_k &\equiv p^3 \pmod{2p^6}, where $p>3$ is a prime. The following congruence \sum_{k=0}^{n-1} {n+k\choose k}^2{n-1\choose k}^2 \equiv 0 \pmod{n} plays an important role in our proof.