Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Graded Sparse Graphs and Matroids
Published in Journal of Universal Computer Science, vol. 13, no. 10, (2007)
• Search Publication
Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of generically rigid structures. We define a new family called {\bf graded sparse graphs}, arising from generically pinned (completely immobilized) bar-and-joint frameworks and prove that they also form matroids.
We address five problems on graded sparse graphs: {\bf Decision}, {\bf Extraction}, {\bf Components}, {\bf Optimization}, and {\bf Extension}. We extend our {\bf pebble game algorithms} to solve them.
Rainbow number of matchings in regular bipartite graphs
Published
• View Publication
• BIB
Given a graph $G$ and a subgraph $H$ of $G$, let $rb(G,H)$ be the minimum number $r$ for which any edge-coloring of $G$ with $r$ colors has a rainbow subgraph $H$. The number $rb(G,H)$ is called the rainbow number of $H$ with respect to $G$. Denote $mK_2$ a matching of size $m$ and $B_{n,k}$ a $k$-regular bipartite graph with bipartition $(X,Y)$ such that $|X|=|Y|=n$ and $k\leq n$. In this paper we give an upper and lower bound for $rb(B_{n,k},mK_2)$, and show that for given $k$ and $m$, if $n$ is large enough, $rb(B_{n,k},mK_2)$ can reach the lower bound. We also determine the rainbow number of matchings in paths and cycles.
On the existence of a rainbow 1-factor in proper coloring of K_{rn}^{(r)}
El-Zanati et al proved that for any 1-factorization $\mathcal{F}$ of the complete uniform hypergraph $\mathcal {G}=K_{rn}^{(r)}$ with $r\geq 2$ and $n\geq 3$, there is a rainbow 1-factor. We generalize their result and show that in any proper coloring of the complete uniform hypergraph $\mathcal {G}=K_{rn}^{(r)}$ with $r\geq 2$ and $n\geq 3$, there is a rainbow 1-factor.
Partitioning complete graphs by heterochromatic trees
Published
• View Publication
• BIB
A {\it heterochromatic tree} is an edge-colored tree in which any two edges have different colors. The {\it heterochromatic tree partition number} of an $r$-edge-colored graph $G$, denoted by $t_r(G)$, is the minimum positive integer $p$ such that whenever the edges of the graph $G$ are colored with $r$ colors, the vertices of $G$ can be covered by at most $p$ vertex-disjoint heterochromatic trees. In this paper we determine the heterochromatic tree partition number of an $r$-edge-colored complete graph.
On the link pattern distribution of quarter-turn symmetric FPL configurations
Published
• View Publication
• BIB
We present new conjectures on the distribution of link patterns for fully-packed loop (FPL) configurations that are invariant, or almost invariant, under a quarter turn rotation, extending previous conjectures of Razumov and Stroganov and of de Gier. We prove a special case, showing that the link pattern that is conjectured to be the rarest does have the prescribed probability. As a byproduct, we get a formula for the enumeration of a new class of quasi-symmetry of plane partitions.
Two way subtable sum problems and quadratic Groebner bases
Published in Proc. Amer. Math. Soc. 137 (2009), 1539-1542
• View Publication
• BIB
Hara, Takemura and Yoshida discuss toric ideals arising from two way subtable sum problems and shows that these toric ideals are generated by quadratic binomials if and only if the subtables are either diagonal or triangular. In the present paper, we show that if the subtables are either diagonal or triangular, then their toric ideals possess quadratic Groebner bases.
Diamond Solitaire
Published in The Games and Puzzles Journal, Issue 41, September-October 2005 http://gpj.connectfree.co.uk/gpjw.htm
• Search Publication
We investigate the game of peg solitaire on different board shapes, and find those of diamond or rhombus shape have interesting properties. When one peg captures many pegs consecutively, this is called a sweep. Rhombus boards of side 6 have the property that no matter which peg is missing at the start, the game can be solved to one peg using a maximal sweep of length 16. We show how to construct a solution on a rhombus board of side 6i, where the final move is a maximal sweep of length r, where r=(9i-1)(3i-1) is a "rhombic matchstick number".
Natural realizations of sparsity matroids
Published
• View Publication
• BIB
A hypergraph G with n vertices and m hyperedges with d endpoints each is (k,l)-sparse if for all sub-hypergraphs G' on n' vertices and m' edges, m'\le kn'-l. For integers k and l satisfying 0\le l\le dk-1, this is known to be a linearly representable matroidal family.
Motivated by problems in rigidity theory, we give a new linear representation theorem for the (k,l)-sparse hypergraphs that is natural; i.e., the representing matrix captures the vertex-edge incidence structure of the underlying hypergraph G.
A new proof of a theorem of Mansour and Sun
Published in European J. Combin. 29 (2008), 1582--1584
• View Publication
• BIB
We give a new proof of a theorem of Mansour and Sun by using number theory and Rothe's identity.
Parameter testing with bounded degree graphs of subexponential growth
Published
• View Publication
• BIB
Parameter testing algorithms are using constant number of queries to estimate the value of a certain parameter of a very large finite graph. It is well-known that graph parameters such as the independence ratio or the edit-distance from 3-colorability are not testable in bounded degree graphs. We prove, however, that these and several other interesting graph parameters are testable in bounded degree graphs of subexponential growth.
On the universal Gröbner bases of varieties of minimal degree
Published
• View Publication
• BIB
A universal Gröbner basis of an ideal is the union of all its reduced Gröbner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp degree bound for their elements, is a nontrivial task.
In their '95 paper, Graham, Diaconis and Sturmfels give a nice combinatorial description of the Graver basis for any rational normal curve in terms of primitive partition identities. Their result is extended here to rational normal scrolls. The description of the Graver bases is given in terms of colored partition identities. This leads to a sharp bound on the degree of Graver basis elements, which is always attained by a circuit.
Finally, for any variety obtained from a scroll by a sequence of projections to some of the coordinate hyperplanes, the degree of any element in any reduced Gröbner basis is bounded by the degree of the variety.
On the Ramsey numbers for a combination of paths and Jahangirs
For given graphs $G$ and $H,$ the \emph{Ramsey number} $R(G,H)$ is the least natural number $n$ such that for every graph $F$ of order $n$ the following condition holds: either $F$ contains $G$ or the complement of $F$ contains $H.$ In this paper, we improve the Surahmat and Tomescu's result \cite{ST:06} on the Ramsey number of paths versus Jahangirs. We also determine the Ramsey number $R(\cup G,H)$, where $G$ is a path and $H$ is a Jahangir graph.
Computing the Tutte polynomial in vertex-exponential time
The deletion--contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomials in graph theory, the Jones polynomial of an alternating link in knot theory, and the partition functions of the models of Ising, Potts, and Fortuin--Kasteleyn in statistical physics. Prior to this work, deletion--contraction was also the fastest known general-purpose algorithm for these invariants, running in time roughly proportional to the number of spanning trees in the input graph. Here, we give a substantially faster algorithm that computes the Tutte polynomial--and hence, all the aforementioned invariants and more--of an arbitrary graph in time within a polynomial factor of the number of connected vertex sets. The algorithm actually evaluates a multivariate generalization of the Tutte polynomial by making use of an identity due to Fortuin and Kasteleyn. We also provide a polynomial-space variant of the algorithm and give an analogous result for Chung and Graham's cover polynomial. An implementation of the algorithm outperforms deletion--contraction also in practice.
The VPN Tree Routing Conjecture for Outerplanar Networks
The VPN Tree Routing Conjecture is a conjecture about the Virtual Private Network Design problem. It states that the symmetric version of the problem always has an optimum solution which has a tree-like structure. In recent work, Hurkens, Keijsper and Stougie (Proc. IPCO XI, 2005; SIAM J. Discrete Math., 2007) have shown that the conjecture holds when the network is a ring. A shorter proof of the VPN Conjecture for rings was found a few months ago by Grandoni, Kaibel, Oriolo and Skutella (to appear in Oper. Res. Lett., 2008). In their paper, Grandoni et al. introduce another conjecture, called the Pyramidal Routing Conjecture (or simply PR Conjecture), which implies the VPN Conjecture. Here we consider a strengthened version of the PR Conjecture. First we establish several general tools which can be applied in arbitrary networks. Then we use them to prove that outerplanar networks satisfy the PR Conjecture.
A note on random walks in a hypercube
We study a simple random walk on an n-dimensional hypercube. For any starting position we find the probability of hitting vertex a before hitting vertex b, whenever a and b share the same edge. This generalizes the model in Doyle, P., and Snell, J., "Random Walks and Electric Networks", Mathematical Association of America, 1984 (see Exercise 1.3.7 there).
Bijections from Dyck paths to 321-avoiding permutations revisited
There are (at least) three bijections from Dyck paths to 321-avoiding permutations in the literature, due to Billey-Jockusch-Stanley, Krattenthaler, and Mansour-Deng-Du. How different are they? Denoting them B,K,M respectively, we show that M = B \circ L = K \circ L' where L is the classical Kreweras-Lalanne involution on Dyck paths and L', also an involution, is a sort of derivative of L. Thus K^{-1} \circ B, a measure of the difference between B and K, is the product of involutions L' \circ L and turns out to be a very curious bijection: as a permutation on Dyck n-paths it is an nth root of the "reverse path" involution. The proof of this fact boils down to a geometric argument involving pairs of nonintersecting lattice paths.
On the Rank of Random Sparse Matrices
Published
• View Publication
• BIB
We investigate the rank of random (symmetric) sparse matrices. Our main finding is that with high probability, any dependency that occurs in such a matrix is formed by a set of few rows that contains an overwhelming number of zeros. This allows us to obtain an exact estimate for the co-rank.
The fundamental group of random 2-complexes
Published in J. Amer. Math. Soc. 24 (2011), 1-28
• View Publication
• BIB
We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.
Every longest circuit of a 3-connected, $K_{3,3}$-minor free graph has a chord
Published in Journal of Graph Theory, 58 (4): 293-298, 2008
• View Publication
• BIB
Carsten Thomassen conjectured that every longest circuit in a 3-connected graph has a chord. We prove the conjecture for graphs having no $K_{3,3}$ minor, and consequently for planar graphs.
Describing the set of words generated by interval exchange transformation
Published in Comm. in Algebra, 2010, 38, N. 7, 2588--2605
• View Publication
• BIB
Let $W$ be an infinite word over finite alphabet $A$. We get combinatorial criteria of existence of interval exchange transformations that generate the word W.