arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83342 papers, 48132 authors in database)
2011-10-16
Nonexistence Results for Tight Block Designs
Published • View Publication • BIB
Recall that combinatorial $2s$-designs admit a classical lower bound $b \ge \binom{v}{s}$ on their number of blocks, and that a design meeting this bound is called tight. A long-standing result of Bannai is that there exist only finitely many nontrivial tight $2s$-designs for each fixed $s \ge 5$, although no concrete understanding of `finitely many' is given. Here, we use the Smith Bound on approximate polynomial zeros to quantify this asymptotic nonexistence. Then, we outline and employ a computer search over the remaining parameter sets to establish (as expected) that there are in fact no such designs for $5 \le s \le 9$, although the same analysis could in principle be extended to larger $s$. Additionally, we obtain strong necessary conditions for existence in the difficult case $s=4$.
2011-10-16 v3
Vertex Collapsing and Cut Ideals
In this work we study how some elementary graph operations (like the disjoint union) and the collapse of two vertices modify the cut ideal of a graph. They pave the way for reducing the cut ideal of every graph to the cut ideal of smaller ones. To deal with the collapse operation we generalize the definition of cut ideal given in literature, introducing the concepts of edge labeling and edge multiplicity: in fact we state the \emph{non-classical behavior} of the cut ideal. Moreover we show the transformation of the toric map hidden behind these operations.
Tropical Combinatorics and Whittaker functions
Published in Duke Math. J. 163, no. 3 (2014), 513-563 • View Publication • BIB
We establish a fundamental connection between the geometric RSK correspondence and GL(N,R)-Whittaker functions, analogous to the well known relationship between the RSK correspondence and Schur functions. This gives rise to a natural family of measures associated with GL(N,R)-Whittaker functions which are the analogues in this setting of the Schur measures on integer partitions. The corresponding analogue of the Cauchy-Littlewood identity can be seen as a generalisation of an integral identity for GL(N,R)-Whittaker functions due to Bump and Stade. As an application, we obtain an explicit integral formula for the Laplace transform of the law of the partition function associated with a one-dimensional directed polymer model with log-gamma weights recently introduced by one of the authors (TS).
On perfect packings in dense graphs
Published • View Publication • BIB
We say that a graph G has a perfect H-packing if there exists a set of vertex-disjoint copies of H which cover all the vertices in G. We consider various problems concerning perfect H-packings: Given positive integers n, r, D, we characterise the edge density threshold that ensures a perfect K_r-packing in any graph G on n vertices and with minimum degree at least D. We also give two conjectures concerning degree sequence conditions which force a graph to contain a perfect H-packing. Other related embedding problems are also considered. Indeed, we give a structural result concerning K_r-free graphs that satisfy a certain degree sequence condition.
2011-10-16 v2
Determinants of Box Products of Paths
Published • View Publication • BIB
Suppose that G is the graph obtained by taking the box product of a path of length n and a path of length m. Let M be the adjacency matrix of G. If n=m, H.M. Rara showed in 1996 that det(M)=0. We extend this result to allow n and m to be any positive integers, and show that, if gcd(n+1,m+1)>1, then det(M)=0; otherwise, if gcd(n+1,m+1)=1, then det(M)=(-1)^(nm/2).
2011-10-16 v2
On the Erdős-Falconer distance problem for two sets of different size in vector spaces over finite fields
Published • View Publication • BIB
We consider a finite fields version of the Erdős-Falconer distance problem for two different sets. In a certain range for the sizes of the two sets we obtain results of the conjectured order of magnitude.
2011-10-16 v2
KP solitons, higher Bruhat and Tamari orders
Published • View Publication • BIB
In a tropical approximation, any tree-shaped line soliton solution, a member of the simplest class of soliton solutions of the Kadomtsev-Petviashvili (KP-II) equation, determines a chain of planar rooted binary trees, connected by right rotation. More precisely, it determines a maximal chain of a Tamari lattice. We show that an analysis of these solutions naturally involves higher Bruhat and higher Tamari orders.
2011-10-14 v2
Some inequalities for orderings of acyclic digraphs
Published • View Publication • BIB
Let $D=(V,A)$ be an acyclic digraph. For $x\in V$ define $e_{_{D}}(x)$ to be the difference of the indegree and the outdegree of $x$. An acyclic ordering of the vertices of $D$ is a one-to-one map $g: V \rightarrow [1,|V|] $ that has the property that for all $x,y\in V$ if $(x,y)\in A$, then $g(x) < g(y)$. We prove that for every acyclic ordering $g$ of $D$ the following inequality holds: \[\sum_{x\in V} e_{_{D}}(x)\cdot g(x) ~\geq~ \frac{1}{2} \sum_{x\in V}[e_{_{D}}(x)]^2~.\] The class of acyclic digraphs for which equality holds is determined as the class of comparbility digraphs of posets of order dimension two.
2011-10-14 v3
Deciding nonconstructibility of 3-balls with strict spanning edges
Published • View Publication • BIB
In this paper, we consider constructibility of simplicial 3-balls. In many cases, examining 1-dimensional subcomplexes of a simplicial 3-ball is efficient to solve the decision problem whether the simplicial 3-ball is constructible or not. From the point of view, we consider the case where a simplicial 3-ball has spanning edges and present a sufficient condition for nonconstructibility.
2011-10-14 v2
Rainbow connections for planar graphs and line 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 a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow connected. It was proved that computing $rc(G)$ is an NP-Hard problem, as well as that even deciding whether a graph has $rc(G)=2$ is NP-Complete. It is known that deciding whether a given edge-colored graph is rainbow connected is NP-Complete. We will prove that it is still NP-Complete even when the edge-colored graph is a planar bipartite graph. We also give upper bounds of the rainbow connection number of outerplanar graphs with small diameters. A vertex-colored graph is rainbow vertex-connected if any two vertices are connected by a path whose internal vertices have distinct colors. The rainbow vertex-connection number of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. It is known that deciding whether a given vertex-colored graph is rainbow vertex-connected is NP-Complete. We will prove that it is still NP-Complete even when the vertex-colored graph is a line graph.
2011-10-14
When will the Stanley depth increase
Published • View Publication • BIB
Let $I\subset S=\KK[x_1,...,x_n]$ be an ideal generated by squarefree monomials of degree $\ge d$. If the number of degree $d$ minimal generating monomials $μ_d(I)\le \min(\binom{n}{d+1},\sum_{j=1}^{n-d}\binom{2j-1}{j})$, then the Stanley depth $\sdepth_S(I)\ge d+1$.
2011-10-14
Note on parity factors of regular graphs
Published • View Publication • BIB
In this paper, we obtain a sufficient condition for the existence of parity factors in a regular graph in terms of edge-connectivity. Moreover, we also show that our condition is sharp.
Noncommutative symmetric functions with matrix parameters
Published in J. Algebraic Combin. 2012 • View Publication • BIB
We define new families of noncommutative symmetric functions and quasi-symmetric functions depending on two matrices of parameters, and more generally on parameters associated with paths in a binary tree. Appropriate specializations of both matrices then give back the two-vector families of Hivert, Lascoux, and Thibon and the noncommutative Macdonald functions of Bergeron and Zabrocki.
2011-10-14
Tron, a combinatorial Game on abstract Graphs
Published • View Publication • BIB
We study the combinatorial two-player game Tron. We answer the extremal question on general graphs and also consider smaller graph classes. Bodlaender and Kloks conjectured in [2] PSPACE- completeness. We proof this conjecture.
2011-10-14 v2
A Ramsey Theorem for Indecomposable Matchings
Published • View Publication • BIB
A matching is indecomposable if it does not contain a nontrivial contiguous segment of vertices whose neighbors are entirely contained in the segment. We prove a Ramsey-like result for indecomposable matchings, showing that every sufficiently long indecomposable matching contains a long indecomposable matching of one of three types: interleavings, broken nestings, and proper pin sequences.
2011-10-13
Testing perfection is hard
A graph property P is strongly testable if for every fixed ε>0 there is a one-sided ε-tester for P whose query complexity is bounded by a function of ε. In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable with query complexity bounded by a polynomial function of ε^{-1}, and otherwise it is hard. One of our main results shows that testing perfectness is hard. The proof shows that testing perfectness is at least as hard as testing triangle-freeness, which is hard. On the other hand, we show that induced P_3-freeness is easily testable. This settles one of the two exceptional graphs, the other being C_4 (and its complement), left open in the characterization by the first author and Shapira of graphs H for which induced H-freeness is easily testable.
2011-10-13 v2
Projective Dimension, Graph Domination Parameters, and Independence Complex Homology
Published • View Publication • BIB
We construct several pairwise-incomparable bounds on the projective dimensions of edge ideals. Our bounds use combinatorial properties of the associated graphs; in particular we draw heavily from the topic of dominating sets. Through Hochster's Formula, these bounds recover and strengthen existing results on the homological connectivity of graph independence complexes.
2011-10-13 v2
The competition number of a generalized line graph is at most two
Published in Discrete Mathematics & Theoretical Computer Science, Vol 14, No 2 (2012) 1-10 • View Publication • BIB
In 1982, Opsut showed that the competition number of a line graph is at most two and gave a necessary and sufficient condition for the competition number of a line graph being one. In this note, we generalize this result to the competition numbers of generalized line graphs, that is, we show that the competition number of a generalized line graph is at most two, and give necessary conditions and sufficient conditions for the competition number of a generalized line graph being one.
Competition Numbers, Quasi-Line Graphs and Holes
Published • View Publication • BIB
The competition graph of a directed acyclic graph D is the undirected graph on the same vertex set as D in which two distinct vertices are adjacent if they have a common out-neighbor in D. The competition number of an undirected graph G is the least number of isolated vertices that have to be added to G to make it the competition graph of a directed acyclic graph. We resolve two conjectures concerning competition graphs. First we prove a conjecture of Opsut by showing that the competition number of every quasi-line graph is at most 2. Recall that a quasi-line graph, also called a locally co-bipartite graph, is a graph for which the neighborhood of every vertex can partitioned into at most two cliques. To prove this conjecture we devise an alternative characterization of quasi-line graphs to the one by Chudnovsky and Seymour. Second, we prove a conjecture of Kim by showing that the competition number of any graph is at most one greater than the number of holes in the graph. Our methods also allow us to prove a strengthened form of this conjecture recently proposed by Kim, Lee, Park and Sano, showing that the competition number of any graph is at most one greater than the dimension of the subspace of the cycle space spanned by the holes.
2011-10-13
Prime bound of a graph
Given a graph G, a subset M of V (G) is a module of G if for each v \in V (G) \diagdownM, v is adjacent to all the elements of M or to none of them. For instance, V(G), \varnothing and {v} (v \in V(G)) are modules of G called trivial. Given a graph G, m(G) denotes the largest integer m such that there is a module M of G which is a clique or a stable set in G with |M|=m. A graph G is prime if |V(G)|\geq4 and if all its modules are trivial. The prime bound of G is the smallest integer p(G) such that there is a prime graph H with V(H)\supseteqV(G), H[V(G)] = G and |V(H)\diagdownV(G)|=p(G). We establish the following. For every graph G such that m(G)\geq2 and log_2(m(G)) is not an integer, p(G)=\lceil log_2(m(G)) \rceil. Then, we prove that for every graph G such that m(G)=2^k where k\geq1, p(G)=k or k + 1. Moreover p(G)=k+1 if and only if G or its complement admits 2^k isolated vertices. Lastly, we show that p(G) = 1 for every non-prime graph G such that |V(G)|\geq4 and m(G)=1.