graph
34828 papers tagged with this keyword
Ramanujan Graphs in Polynomial Time
Published
• View Publication
• BIB
The recent work by Marcus, Spielman and Srivastava proves the existence of bipartite Ramanujan (multi)graphs of all degrees and all sizes. However, that paper did not provide a polynomial time algorithm to actually compute such graphs. Here, we provide a polynomial time algorithm to compute certain expected characteristic polynomials related to this construction. This leads to a deterministic polynomial time algorithm to compute bipartite Ramanujan (multi)graphs of all degrees and all sizes.
Covering complete partite hypergraphs by monochromatic components
A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color.
Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture.
In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color.
Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set.
To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices.
Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.
Degree-associated edge-reconstruction numbers of double-brooms
An edge-deleted subgraph of a graph $G$ is an {\it edge-card}. A {\it decard} consists of an edge-card and the degree of the missing edge. The {\it degree-associated edge-reconstruction number} of a graph $G$, denoted $\dern(G)$, is the minimum number of decards that suffice to reconstruct $G$. The {\it adversary degree-associated edge-reconstruction number} $\adern(G)$ is the least $k$ such that every set of $k$ decards determines $G$. We determine these two parameters for all double-brooms. The answer is usually $1$ for $\dern(G)$, and $2$ for $\adern(G)$ when $G$ is double-broom. But there are exceptions in each case.
High Dimensional Random Walks and Colorful Expansion
Random walks on bounded degree expander graphs have numerous applications, both in theoretical and practical computational problems. A key property of these walks is that they converge rapidly to their stationary distribution.
In this work we {\em define high order random walks}: These are generalizations of random walks on graphs to high dimensional simplicial complexes, which are the high dimensional analogues of graphs. A simplicial complex of dimension $d$ has vertices, edges, triangles, pyramids, up to $d$-dimensional cells. For any $0 \leq i < d$, a high order random walk on dimension $i$ moves between neighboring $i$-faces (e.g., edges) of the complex, where two $i$-faces are considered neighbors if they share a common $(i+1)$-face (e.g., a triangle). The case of $i=0$ recovers the well studied random walk on graphs.
We provide a {\em local-to-global criterion} on a complex which implies {\em rapid convergence of all high order random walks} on it. Specifically, we prove that if the $1$-dimensional skeletons of all the links of a complex are spectral expanders, then for {\em all} $0 \le i < d$ the high order random walk on dimension $i$ converges rapidly to its stationary distribution.
We derive our result through a new notion of high dimensional combinatorial expansion of complexes which we term {\em colorful expansion}. This notion is a natural generalization of combinatorial expansion of graphs and is strongly related to the convergence rate of the high order random walks.
We further show an explicit family of {\em bounded degree} complexes which satisfy this criterion. Specifically, we show that Ramanujan complexes meet this criterion, and thus form an explicit family of bounded degree high dimensional simplicial complexes in which all of the high order random walks converge rapidly to their stationary distribution.
An asymptotic multipartite Kühn-Osthus theorem
Published in SIAM J. Discrete Math 31(3) 1498--1513 (2017)
• View Publication
• BIB
In this paper we prove an asymptotic multipartite version of a well-known theorem of Kühn and Osthus by establishing, for any graph $H$ with chromatic number $r$, the asymptotic multipartite minimum degree threshold which ensures that a large $r$-partite graph $G$ admits a perfect $H$-tiling. We also give the threshold for an $H$-tiling covering all but a linear number of vertices of $G$, in a multipartite analogue of results of Komlós and of Shokoufandeh and Zhao.
Generalized Whitney formulas for broken circuits in ambigraphs and matroids
We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases.
We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid.
We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg.
Canonical binary matrices related to bipartite graphs
The current paper is dedicated to the problem of finding the number of mutually non isomorphic bipartite graphs of the type $g=\langle R_g ,C_g ,E_g \rangle$ at given $n=|R_g |$ and $m=|C_g |$, where $R_g$ and $C_g$ are the two disjoint parts of the vertices of the graphs $g$, and $E_g$ is the set of edges, $Eg \subseteq R_g \times C_g$. For this purpose, the concept of canonical binary matrix is introduced. The different canonical matrices unambiguously describe the different with exactness up to isomorphism bipartite graphs. We have found a necessary and sufficient condition an arbitrary matrix to be canonical. This condition could be the base for realizing recursive algorithm for finding all $n \times m$ canonical binary matrices and consequently for finding all with exactness up to isomorphism binary matrices with cardinality of each part equal to $n$ and $m$.
Properties of minimally $t$-tough graphs
Published in Discrete Mathematics Volume 341, Issue 1, January 2018, Pages 221-231
• View Publication
• BIB
A graph $G$ is minimally $t$-tough if the toughness of $G$ is $t$ and the deletion of any edge from $G$ decreases the toughness. Kriesell conjectured that for every minimally $1$-tough graph the minimum degree $δ(G)=2$. We show that in every minimally $1$-tough graph $δ(G)\le\frac{n+2}{3}$. We also prove that every minimally $1$-tough claw-free graph is a cycle. On the other hand, we show that for every $t \in \mathbb{Q}$ any graph can be embedded as an induced subgraph into a minimally $t$-tough graph.
A New Method for Constructing Circuit Codes
Published in Bull. of the ICA, 80:40-60, 2017
• Search Publication
Circuit codes are constructed from induced cycles in the graph of the $n$ dimensional hypercube. They are both theoretically and practically important, as circuit codes can be used as error correcting codes. When constructing circuit codes, the length of the cycle determines its accuracy and a parameter called the spread determines how many errors it can detect. We present a new method for constructing a circuit code of spread $k+1$ from a circuit code of spread $k$. This method leads to record code lengths for circuit codes of spread $k=7 \text{ and } 8$ in dimension $22\le n\le 30$. We also derive a new lower bound on the length of circuit codes of spread 4, improving upon the current bound for dimension $n\ge 86$.
More on total monochromatic connection of graphs
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a path whose edges and internal vertices on the path have the same color. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. Note that a TMC-coloring does not exist if $G$ is not connected, in which case we simply let $tmc(G)=0$. In this paper, we first characterize all graphs of order $n$ and size $m$ with $tmc(G)=3,4,5,6,m+n-2,m+n-3$ and $m+n-4$, respectively. Then we determine the threshold function for a random graph to have $tmc(G)\geq f(n)$, where $f(n)$ is a function satisfying $1\leq f(n)<\frac{1}{2}n(n-1)+n$. Finally, we show that for a given connected graph $G$, and a positive integer $L$ with $L\leq m+n$, it is NP-complete to decide whether $tmc(G)\geq L$.
On 4-critical t-perfect graphs
It is an open question whether the chromatic number of $t$-perfect graphs is bounded by a constant. The largest known value for this parameter is 4, and the only example of a 4-critical $t$-perfect graph, due to Laurent and Seymour, is the complement of the line graph of the prism $Π$ (a graph is 4-critical if it has chromatic number 4 and all its proper induced subgraphs are 3-colorable).
In this paper, we show a new example of a 4-critical $t$-perfect graph: the complement of the line graph of the 5-wheel $W_5$. Furthermore, we prove that these two examples are in fact the only 4-critical $t$-perfect graphs in the class of complements of line graphs. As a byproduct, an analogous and more general result is obtained for $h$-perfect graphs in this class.
The class of $P_6$-free graphs is a proper superclass of complements of line graphs and appears as a natural candidate to further investigate the chromatic number of $t$-perfect graphs. We observe that a result of Randerath, Schiermeyer and Tewes implies that every $t$-perfect $P_6$-free graph is 4-colorable. Finally, we use results of Chudnovsky et al to show that $\overline{L(W_5)}$ and $\overline{L(Π)}$ are also the only 4-critical $t$-perfect $P_6$-free graphs.
An O(|E|)-linear Model for the MaxCut Problem
A polytope $P$ is a {\em model} for a combinatorial problem on finite graphs $G$ whose variables are indexed by the edge set $E$ of $G$ if the points of $P$ with (0,1)-coordinates are precisely the characteristic vectors of the subset of edges inducing the feasible configurations for the problem. In the case of the (simple) MaxCut Problem, which is the one that concern us here, the feasible subsets of edges are the ones inducing the bipartite subgraphs of $G$. In this paper we introduce a new polytope $\mathbb{P}_{12} \subset \mathbb{R}^{|E|}$ given by at most $11|E|$ inequalities, which is a model for the MaxCut Problem on $G$. Moreover, the left side of each inequality is the sum of at most 4 edge variables with coefficients $\pm1$ and right side 0,1, or 2. We restrict our analysis to the case of $G=K_{z}$, the complete graph in $z$ vertices, where $z$ is an even positive integer $z\ge 4$. This case is sufficient to study because the simple MaxCut problem for general graphs $G$ can be reduced to the complete graph $K_z$ by considering the obective function of the associated integer programming as the characteristic vector of the edges in $G \subseteq K_z$. This is a polynomial algorithmic transformation.
Arithmetical structures on graphs
Published
• View Publication
• BIB
Arithmetical structures on a graph were introduced by Lorenzini as some intersection matrices that arise in the study of degenerating curves in algebraic geometry. In this article we study these arithmetical structures, in particular we are interested in the arithmetical structures on complete graphs, paths, and cycles. We begin by looking at the arithmetical structures on a multidigraph from the general perspective of $M$-matrices. As an application, we recover the result of Lorenzini about the finiteness of the number of arithmetical structures on a graph. We give a description on the arithmetical structures on the graph obtained by merging and splitting a vertex of a graph in terms of its arithmetical structures. On the other hand, we give a description of the arithmetical structures on the clique--star transform of a graph, which generalizes the subdivision of a graph. As an application of this result we obtain an explicit description of all the arithmetical structures on the paths and cycles and we show that the number of the arithmetical structures on a path is a Catalan number.
Pendant-tree connectivity of line graphs
The concept of pendant-tree connectivity, introduced by Hager in 1985, is a generalization of classical vertex-connectivity. In this paper, we study pendant-tree connectivity of line graphs.
Fullerene graphs of small diameter
Published in MATCH Communications in Mathematical and in Computer Chemistry 77: 725-728, 2017
• Search Publication
A fullerene graph is a cubic bridgeless plane graph with only pentagonal and hexagonal faces. We exhibit an infinite family of fullerene graphs of diameter $\sqrt{4n/3}$, where $n$ is the number of vertices. This disproves a conjecture of Andova and Škrekovski [MATCH Commun. Math. Comput. Chem. 70 (2013) 205-220], who conjectured that every fullerene graph on $n$ vertices has diameter at least $\lfloor \sqrt{5n/3}\rfloor-1$.
Max k-cut and the smallest eigenvalue
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and size $m$, and let $\mathrm{mc}_{k}\left( G\right) $ be the maximum size of a $k$-cut of $G.$ It is shown that \[ \mathrm{mc}_{k}\left( G\right) \leq\frac{k-1}{k}\left( m-\frac{μ_{\min }\left( G\right) n}{2}\right) , \] where $μ_{\min}\left( G\right) $ is the smallest eigenvalue of the adjacency matrix of $G.$
An infinite class of graphs forcing equality in this bound is constructed.
Law of large numbers for the largest component in a hyperbolic model of complex networks
Published
• View Publication
• BIB
We consider the component structure of a recent model of random graphs on the hyperbolic plane that was introduced by Krioukov et al. The model exhibits a power law degree sequence, small distances and clustering, features that are associated with the so-called complex networks. The model is controlled by two parameters $α$ and $ν$ where, roughly speaking, $α$ controls the exponent of the power law and $ν$ controls the average degree. Refining earlier results, we are able to show a law of large numbers for the largest component. That is, we show that the fraction of points in the largest component tends in probability to a constant $c$ that depends only on $α,ν$, while all other components are sublinear. We also study how $c$ depends on $α, ν$. To deduce our results, we introduce a local approximation of the random graph by a continuum percolation model on $\mathbb{R}^2$ that may be of independent interest.
Existence of a Not Necessarily Symmetric Matrix with Given Distinct Eigenvalues and Graph
Published in Linear Algebra and its Applications, Volume 527, 15 August 2017, Pages 1-11
• View Publication
• BIB
For given k distinct complex conjugate pairs, l distinct real numbers, and a given graph G on 2k+l vertices with a matching of size at least k, we will show that there is a real matrix whose eigenvalues are the given numbers and its graph is G. In particular, this implies that any real matrix with distinct eigenvalues is similar to a real, irreducible, tridiagonal matrix.
Schrijver graphs and projective quadrangulations
Published in The final version of this paper was published in the collection of papers "A Journey through Discrete Mathematics: A Tribute to Jiří Matoušek" (M. Loebl, J. Nešetřil and R. Thomas, eds.), Springer, 2017, pp. 505-526
• View Publication
• BIB
In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture.
Topological Resonances on Quantum Graphs
In this paper, we try to put the results of Smilansky and al. on "Topological resonances" on a mathematical basis.A key role in the asymptotic of resonances near the real axis for Quantum Graphs is played by the set of metrics for which there exists compactly supported eigenfunctions. We give several estimateof the dimension of this semi-algebraic set, in particular in terms of the girth of the graph. The case oftrees is also discussed.