arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83502 papers, 48219 authors in database)
2013-04-26
Unimodular triangulations of dilated 3-polytopes
Published in Trans. Moscow Math. Soc. 74 (2013), 293-311 • View Publication • BIB
A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study the values of $k$ for which the result holds showing that: 1. It contains all composite numbers. 2. It is an additive semigroup. These two properties imply that the only values of $k$ that may not work (besides 1 and 2, which are known not to work) are $k\in\{3,5,7,11\}$. With an ad-hoc construction we show that $k=7$ and $k=11$ also work, except in this case the triangulation cannot be guaranteed to be "standard" in the boundary. All in all, the only open cases are $k=3$ and $k=5$.
2013-04-25 v2
Approximation Hardness of Graphic TSP on Cubic Graphs
Published • View Publication • BIB
We prove explicit approximation hardness results for the Graphic TSP on cubic and subcubic graphs as well as the new inapproximability bounds for the corresponding instances of the (1,2)-TSP. The proof technique uses new modular constructions of simulating gadgets for the restricted cubic and subcubic instances. The modular constructions used in the paper could be also of independent interest.
2013-04-25
Polynomial Time Algorithm for Min-Ranks of Graphs with Simple Tree Structures
Published • View Publication • BIB
The min-rank of a graph was introduced by Haemers (1978) to bound the Shannon capacity of a graph. This parameter of a graph has recently gained much more attention from the research community after the work of Bar-Yossef et al. (2006). In their paper, it was shown that the min-rank of a graph G characterizes the optimal scalar linear solution of an instance of the Index Coding with Side Information (ICSI) problem described by the graph G. It was shown by Peeters (1996) that computing the min-rank of a general graph is an NP-hard problem. There are very few known families of graphs whose min-ranks can be found in polynomial time. In this work, we introduce a new family of graphs with efficiently computed min-ranks. Specifically, we establish a polynomial time dynamic programming algorithm to compute the min-ranks of graphs having simple tree structures. Intuitively, such graphs are obtained by gluing together, in a tree-like structure, any set of graphs for which the min-ranks can be determined in polynomial time. A polynomial time algorithm to recognize such graphs is also proposed.
2013-04-25
Cored Hypergraphs, Power Hypergraphs and Their Laplacian H-Eigenvalues
Published • View Publication • BIB
In this paper, we introduce the class of cored hypergraphs and power hypergraphs, and investigate the properties of their Laplacian H-eigenvalues. From an ordinary graph, one may generate a $k$-uniform hypergraph, called the $k$th power hypergraph of that graph. Power hypergraphs are cored hypergraphs, but not vice versa. Hyperstars, hypercycles, hyperpaths are special cases of power hypergraphs, while sunflowers are a subclass of cored hypergraphs, but not power graphs in general. We show that the largest Laplacian H-eigenvalue of an even-uniform cored hypergraph is equal to its largest signless Laplacian H-eigenvalue. Especially, we find out these largest H-eigenvalues for even-uniform sunflowers. Moreover, we show that the largest Laplacian H-eigenvalue of an odd-uniform sunflower, hypercycle and hyperpath is equal to the maximum degree, i.e., 2. We also compute out the H-spectra of the class of hyperstars. When $k$ is odd, the H-spectra of the hypercycle of size 3 and the hyperpath of length 3 are characterized as well.
2013-04-25 v2
Association schemoids and their categories
Published • View Publication • BIB
We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner algebra of an association scheme appears as a subalgebra in the category algebra of the underlying category of a schemoid. In this paper, the equivalence between the categories of grouopids and that of thin association schemoids is established. Moreover linear extensions of schemoids are considered. A general theory of the Baues-Wirsching cohomology deduces a classification theorem for such extensions of a schemoid. We also introduce two relevant categories of schemoids into which the categories of schemes due to Hanaki and due to French are embedded, respectively.
2013-04-25 v2
Strongly light subgraphs in the 1-planar graphs with minimum degree 7
Published in Ars Math. Contemp. 8 (2015) 409--416 • View Publication • BIB
A graph is {\em $1$-planar} if it can be drawn in the plane such that every edge crosses at most one other edge. A connected graph $H$ is {\em strongly light} in a family of graphs $\mathfrak{G}$, if there exists a constant $λ$, such that every graph $G$ in $\mathfrak{G}$ contains a subgraph $K$ isomorphic to $H$ with $°_{G}(v) \leq λ$ for all $v \in V(K)$. In this paper, we present some strongly light subgraphs in the family of $1$-planar graphs with minimum degree~$7$.
2013-04-25 v3
Fractional and integer matchings in uniform hypergraphs
Published • View Publication • BIB
Our main result improves bounds of Markstrom and Rucinski on the minimum d-degree which forces a perfect matching in a k-uniform hypergraph on n vertices. We also extend bounds of Bollobas, Daykin and Erdos by asymptotically determining the minimum vertex degree which forces a matching of size t < n/2(k-1) in a k-uniform hypergraph on n vertices. Further asymptotically tight results on d-degrees which force large matchings are also obtained. Our approach is to prove fractional versions of the above results and then translate these into integer versions.
2013-04-25 v2
Graham's Number is Less Than 2^^^6
In [5] Graham and Rothschild consider a geometric Ramsey problem: finding the least n such that if all edges of the complete graph on the points {+1,-1}^n are 2-colored, there exist 4 coplanar points such that the 6 edges between them are monochromatic. They give an explicit upper bound: F(F(F(F(F(F(F(12))))))), where F(m) = 2^^(m)^^3, an extremely fast-growing function. By reducing the problem to a variant of the Hales-Jewett problem, we find an upper bound which is between F(4) and F(5).
2013-04-25
The ubiquity of Psi-matroids
Solving (for tame matroids) a problem of Aigner-Horev, Diestel and Postle, we prove that every tame matroid M can be reconstructed from its canonical tree decomposition into 3-connected pieces, circuits and cocircuits together with information about which ends of the decomposition tree are used by M . For every locally finite graph G, we show that every tame matroid whose circuits are topological circles of G and whose cocircuits are bonds of G is determined by the set Psi of ends it uses, that is, it is a Psi-matroid.
2013-04-25
A refinement of the Shuffle Conjecture with cars of two sizes and $t=1/q$
Published • View Publication • BIB
The original Shuffle Conjecture of Haglund et al. has a symmetric function side and a combinatorial side. The symmetric function side may be simply expressed as $<\nabla e_n, h_μ>$ where \nabla is the Macdonald polynomial eigen-operator of Bergeron and Garsia and $h_μ$ is the homogeneous basis indexed by $μ=(μ_1,μ_2,...,μ_k)$ partitions of n. The combinatorial side q,t-enumerates a family of Parking Functions whose reading word is a shuffle of k successive segments of 1,2,3,...,n of respective lengths $μ_1,μ_2,...,μ_k$. It can be shown that for t=1/q the symmetric function side reduces to a product of q-binomial coefficients and powers of q. This reduction suggests a surprising combinatorial refinement of the general Shuffle Conjecture. Here we prove this refinement for k=2 and t=1/q. The resulting formula gives a q-analogue of the well studied Narayana numbers.
2013-04-25
Ideals generated by superstandard tableaux
Published • View Publication • BIB
We investigate products J of ideals of "row initial" minors in the polynomial ring K[X] defined by a generic m-by-n matrix. Such ideals are shown to be generated by a certain set of standard bitableaux that we call superstandard. These bitableaux form a Gröbner basis of J, and J has a linear minimal free resolution. These results are used to derive a new generating set for the Grothendieck group of finitely generated (T_m x GL_n(K))-equivariant modules over K[X]. We employ the Knuth--Robinson--Schensted correspondence and a toric deformation of the multi-Rees algebra that parameterizes the ideals J.
2013-04-24
Representation of matroids with a modular plane
We prove that if M is a vertically 4-connected matroid with a modular flat X of rank at least three, then every representation of M | X over a finite field F extends to a unique F-representation of M. A corollary is that when F has order q, any vertically 4-connected matroid with a PG(2, F)-restriction is either F-representable or has a U_{2, q^2+1}-minor. We also show that no excluded minor for the class of F-representable matroids has a PG(2, F)-restriction.
On independence domination
Published • View Publication • BIB
Let G be a graph. The independence-domination number is the maximum over all independent sets I in G of the minimal number of vertices needed to dominate I. In this paper we investigate the computational complexity of independence domination for graphs in several graph classes related to cographs. We present an exact exponential algorithm. We also present a PTAS for planar graphs.
2013-04-24 v2
Representability of matroids with a large projective geometry minor
Published in J. Combin. Theory Ser. B 112 (2015), 154-161 • View Publication • BIB
We prove that for each prime power $q$ there is an integer $n$ such that if $M$ is a $3$-connected, representable matroid with a PG$(n-1,q)$-minor and no $U_{2,q^2+1}$-minor, then $M$ is representable over GF$(q)$. We also show that for $\ell >= 2$, if $M$ is a $3$-connected, representable matroid of sufficiently high rank with no $U_{2,\ell+2}$-minor and $|E(M)| \geq (4\ell)^{r(M)/2}$, then $M$ is representable over a field of order at most $\ell$.
2013-04-24
New skew Laplacian energy of a simple digraph
For a simple digraph $G$ of order $n$ with vertex set $\{v_1,v_2,\ldots, v_n\}$, let $d_i^+$ and $d_i^-$ denote the out-degree and in-degree of a vertex $v_i$ in $G$, respectively. Let $D^+(G)=diag(d_1^+,d_2^+,\ldots,d_n^+)$ and $D^-(G)=diag(d_1^-,d_2^-,\ldots,d_n^-)$. In this paper we introduce $\widetilde{SL}(G)=\widetilde{D}(G)-S(G)$ to be a new kind of skew Laplacian matrix of $G$, where $\widetilde{D}(G)=D^+(G)-D^-(G)$ and $S(G)$ is the skew-adjacency matrix of $G$, and from which we define the skew Laplacian energy $SLE(G)$ of $G$ as the sum of the norms of all the eigenvalues of $\widetilde{SL}(G)$. Some lower and upper bounds of the new skew Laplacian energy are derived and the digraphs attaining these bounds are also determined.
2013-04-24
Planar Ramsey Numbers of Four Cycles Versus Wheels
For two given graphs $G$ and $H$ the planar Ramsey number $PR(G,H)$ is the smallest integer $n$ such that every planar graph $F$ on $n$ vertices either contains a copy of $G$, or its complement contains a copy of $H$. In this paper, we first characterize some structural properties of $C_4$-free planar graphs, and then we determine all planar Ramsey numbers $PR(C_4, W_n)$, for $n\ge 3$.
2013-04-24 v2
Intertwining connectivities in representable matroids
Published • View Publication • BIB
Let $M$ be a representable matroid, and $Q, R, S, T$ subsets of the ground set. We prove that, if $M$ is sufficiently large, then there is an element $e$ such that deleting or contracting $e$ preserves both the $Q$-$R$ and the $S$-$T$ connectivities. For matroids representable over a finite field we prove a stronger result: we show that we can remove $e$ such that both a connectivity and a minor of $M$ are preserved.
2013-04-24
A Note on Hadwiger's Conjecture
Hadwiger's Conjecture states that every $K_{t+1}$-minor-free graph is $t$-colourable. It is widely considered to be one of the most important conjectures in graph theory. If every $K_{t+1}$-minor-free graph has minimum degree at most $δ$, then every $K_{t+1}$-minor-free graph is $(δ+1)$-colourable by a minimum-degree-greedy algorithm. The purpose of this note is to prove a slightly better upper bound.
On some noncommutative symmetric functions analogous to Hall-Littlewood and Macdonald polynomials
Published • View Publication • BIB
We investigate the connections between various noncommutative analogues of Hall-Littlewood and Macdonald polynomials, and define some new families of noncommutative symmetric functions depending on two sequences of parameters.
2013-04-24 v2
The probability measure corresponding to 2-plane trees
Published in Probability and Mathematical Statistics, vol. 33, Fasc. 2 (2013), pp. 255-264, (10 pages) • Search Publication
We study the probability measure $μ_{0}$ for which the moment sequence is $\binom{3n}{n}\frac{1}{n+1}$. We prove that $μ_{0}$ is absolutely continuous, find the density function and prove that $μ_{0}$ is infinitely divisible with respect to the additive free convolution.