Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Mutation classes of skew-symmetrizable 3x3 matrices
Published
• View Publication
• BIB
In this paper, we determine representatives for the mutation classes of skew-symmetrizable 3x3 matrices and associated graphs using a natural minimality condition, generalizing and strengthening results of Beineke-Brustle-Hille and Felikson-Shapiro-Tumarkin. Furthermore, we obtain a new numerical invariant for the mutation operation on skew-symmetrizable matrices of arbitrary size.
On the Homology of the Real Complement of the $k$-Parabolic Subspace Arrangement
Published
• View Publication
• BIB
In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.
On Multivariate Chromatic Polynomials of Hypergraphs and Hyperedge Elimination
Published
• View Publication
• BIB
In this paper, we consider multivariate hyperedge elimination polynomials and multivariate chromatic polynomials for hypergraphs. The first set of polynomials is defined in terms of a deletion-contraction-extraction recurrence, previously investigated for graphs by Averbouch, Godlin, and Makowsky. The multivariate chromatic polynomial is an equivalent polynomial defined in terms of colorings, and generalizes the coboundary polynomial of Crapo, and the bivariate chromatic polynomial of Dohmen, Pönitz and Tittman. We show that specializations of these new polynomials recover polynomials which enumerate hyperedge coverings, matchings, transversals, and section hypergraphs. We also prove that the polynomials can be defined in terms of Möbius inversion on the bond lattice of a hypergraph, as well as compute these polynomials for various classes of hypergraphs.
Cofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and in the theory of species. We prove that the composition of two cofree coalgebras is again cofree, and we give sufficient conditions that ensure the composition is a one-sided Hopf algebra. We show these conditions are satisfied when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by computing the primitive elements for compositions of coalgebras built on the vertices of multiplihedra, composihedra, and hypercubes.
Uncoverings on graphs and network reliability
We propose a network protocol similar to the $k$-tree protocol of Itai and Rodeh [{\em Inform.\ and Comput.}\ {\bf 79} (1988), 43--59]. To do this, we define an {\em $t$-uncovering-by-bases} for a connected graph $G$ to be a collection $\mathcal{U}$ of spanning trees for $G$ such that any $t$-subset of edges of $G$ is disjoint from at least one tree in $\mathcal{U}$, where $t$ is some integer strictly less than the edge connectivity of $G$. We construct examples of these for some infinite families of graphs. Many of these infinite families utilise factorisations or decompositions of graphs. In every case the size of the uncovering-by-bases is no larger than the number of edges in the graph and we conjecture that this may be true in general.
Average Degree in Graph Powers
Published
• View Publication
• BIB
The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular graph on n vertices with diameter at least 3k+3, then the average degree of G^{3k+2} is at least (2k+1)(d+1) - k(k+1) (d+1)^2/n - 1. Both of these results are shown to be essentially best possible; the second is best possible even when n/d is arbitrarily large.
Relative symmetric polynomials and money change problem
This article is devoted to the number of non-negative solutions of the linear Diophantine equation $$ a_1t_1+a_2t_2+... a_nt_n=d, $$ where $a_1, ..., a_n$, and $d$ are positive integers. We obtain a relation between the number of solutions of this equation and characters of the symmetric group, using {\em relative symmetric polynomials}. As an application, we give a necessary and sufficient condition for the space of the relative symmetric polynomials to be non-zero.
Coarse types of tropical matroid polytopes
Describing the combinatorial structure of the tropical complex $C$ of a tropical matroid polytope, we obtain a formula for the coarse types of the maximal cells of $C$. Due to the connection between tropical complexes and resolutions of monomial ideals, this yields the generators for the corresponding coarse type ideal introduced in a recent paper of Dochtermann, Joswig and Sanyal (2010, preprint arXiv.org:1001.0237). Furthermore, a complete description of the minimal tropical halfspaces of the uniform tropical matroid polytopes, i.e. the tropical hypersimplices, is given.
Cutting Mutually Congruent Pieces from Convex Regions
What is the shape of the 2D convex region P from which, when 2 mutually congruent convex pieces with maximum possible area are cut out, the highest fraction of the area of P is left over? When P is restricted to the set of all possible triangular shapes, our computational search yields an approximate upper bound of 5.6% on the area wasted when any triangle is given its best (most area utilizing) partition into 2 convex pieces. We then produce evidence for the general convex region which wastes the most area for its best convex 2-partition not being a triangle and briefly discuss some further generalizations of the question.
Maximum union-free subfamilies
Published
• View Publication
• BIB
An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. We show that every family of m sets contains a union-free subfamily of size at least \lfloor \sqrt{4m+1}\rfloor - 1 and that this bound is tight. This solves Moser's problem and proves a conjecture of Erdős and Shelah from 1972. More generally, a family of sets is a-union-free if there are no a+1 distinct sets in the family such that one of them is equal to the union of a others. We determine up to an absolute multiplicative constant factor the size of the largest guaranteed a-union-free subfamily of a family of m sets. Our result verifies in a strong form a conjecture of Barat, Füredi, Kantor, Kim and Patkos.
On sums involving products of three binomial coefficients
Published in Acta Arith. 156(2012), 123-141
• View Publication
• BIB
In this paper we mainly employ the Zeilberger algorithm to study congruences for sums of terms involving products of three binomial coefficients. Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{2k}{k+d}}{64^k}\equiv 0\pmod{p^2}$$ for all $d\in\{0,\ldots,p-1\}$ with $d\equiv (p+1)/2\pmod2$. If $p\equiv 1\pmod4$ and $p=x^2+y^2$ with $x\equiv 1\pmod4$ and $y\equiv 0\pmod2$, then we show $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{2k}{k+1}}{(-8)^k}\equiv 2p-2x^2\pmod{p^2}\ \ \mbox{and}\ \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{2k}{k+1}^2}{(-8)^k}\equiv-2p\pmod{p^2}$$ by means of determining $x$ mod $p^2$ via $$(-1)^{(p-1)/4}\,x\equiv\sum_{k=0}^{(p-1)/2}\frac{k+1}{8^k}\binom{2k}k^2\equiv\sum_{k=0}^{(p-1)/2}\frac{2k+1}{(-16)^k}\binom{2k}k^2\pmod{p^2}.$$ We also solve the remaining open cases of Rodriguez-Villegas' conjectural congruences on $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}k}{108^k},\ \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{256^k}, \ \ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}\binom{3k}k\binom{6k}{3k}}{12^{3k}}$$ modulo $p^2$.
There are only finitely many distance-regular graphs with valency k at least three, fixed ratio k2/k and large diameter
Published
• View Publication
• BIB
In this paper, we show that for given positive integer C, there are only finitely many distance-regular graphs with valency k at least three, diameter D at least six and k2/k<=C. This extends a conjecture of Bannai and Ito.
Nordhaus-Gaddum-type theorem for rainbow connection number of graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of $G$, denoted $rc(G)$, is the minimum number of colors that are used to make $G$ rainbow connected. In this paper we give a Nordhaus-Gaddum-type result for the rainbow connection number. We prove that if $G$ and $\bar{G}$ are both connected, then $4\leq rc(G)+rc(\bar{G})\leq n+2$. Examples are given to show that the upper bound is sharp for all $n\geq 4$, and the lower bound is sharp for all $n\geq 8$. For the rest small $n=4,5,6,7,$ we also give the sharp bounds.
A solution to a conjecture on the rainbow connection number
For a graph $G$, Chartrand et al. defined the rainbow connection number $rc(G)$ and the strong rainbow connection number $src(G)$ in "G. Charand, G.L. John, K.A. Mckeon, P. Zhang, Rainbow connection in graphs, Mathematica Bohemica, 133(1)(2008) 85-98". They raised the following conjecture: for two given positive $a$ and $b$, there exists a connected graph $G$ such that $rc(G)=a$ and $src(G)=b$ if and only if $a=b\in\{1,2\}$ or $ 3\leq a\leq b$". In this short note, we will show that the conjecture is true.
Dense locally testable codes cannot have constant rate and distance
Published
• View Publication
• BIB
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important question is whether there exist LTCs that have the ccc-property: constant relative rate, constant relative distance, and that can be tested with a constant number of queries. Such codes are sometimes referred to as "asymptotically good".
We show that dense LTCs cannot be ccc. The density of a tester is roughly the average number of distinct local views in which a coordinate participates. An LTC is dense if it has a tester with density >> 1.
More precisely, we show that a 3-query locally testable code with a tester of density >> 1 cannot be ccc. Moreover, we show that a q-query locally testable code (q>3) with a tester of density >> n^{q-2} cannot be ccc. Our results hold when the tester has the following two properties: 1) "no weights": Every q-tuple of queries occurs with the same probability. 2) "last-one-fixed": In every `test' of the tester, the value to any q-1 of the symbols determines the value of the last symbol. (Linear codes have constraints of this type).
We also show that several natural ways to quantitatively improve our results would already resolve the general ccc-question, i.e. also for non-dense LTCs.
Packing directed circuits exactly
Published
• View Publication
• BIB
We give an "excluded minor" and a "structural" characterization of digraphs D that have the property that for every subdigraph H of D, the maximum number of disjoint circuits in H is equal to the minimum cardinality of a subset T of V(H) such that H\T is acyclic.
The Discrete Fundamental Group of the Associahedron, and the Exchange Module
Published
• View Publication
• BIB
The associahedron is an object that has been well studied and has numerous applications, particularly in the theory of operads, the study of non-crossing partitions, lattice theory and more recently in the study of cluster algebras. We approach the associahedron from the point of view of discrete homotopy theory. We study the abelianization of the discrete fundamental group, and show that it is free abelian of rank $\binom{n+2}{4}$. We also find a combinatorial description for a basis of this rank. We also introduce the exchange module of the type $A_n$ cluster algebra, used to model the relations in the cluster algebra. We use the discrete fundamental group to the study of exchange module, and show that it is also free abelian of rank $\binom{n+2}{3}$.
Exponentially many perfect matchings in cubic graphs
Published in Adv. Math. 227 (2011), 1646-1664
• View Publication
• BIB
We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer.
This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper.
Proof of Andrews' conjecture on a_4φ_3 summation
Published
• View Publication
• BIB
We give a new proof of a_4φ_3 summation due to G.E. Andrews and confirm another_4φ_3 summation conjectured by him recently. Some variations of these two_4φ_3 summations are also given.
Algebraic arctic curves in the domain-wall six-vertex model
Published in J. Phys. A: Math. Theor. 44 (2011) 195201
• View Publication
• BIB
The arctic curve, i.e. the spatial curve separating ordered (or `frozen') and disordered (or `temperate) regions, of the six-vertex model with domain wall boundary conditions is discussed for the root-of-unity vertex weights. In these cases the curve is described by algebraic equations which can be worked out explicitly from the parametric solution for this curve. Some interesting examples are discussed in detail. The upper bound on the maximal degree of the equation in a generic root-of-unity case is obtained.