graph
34828 papers tagged with this keyword
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published
• View Publication
• BIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.
Four Edge-Independent Spanning Trees
Published
• View Publication
• BIB
We prove an ear-decomposition theorem for $4$-edge-connected graphs and use it to prove that for every $4$-edge-connected graph $G$ and every $r\in V(G)$, there is a set of four spanning trees of $G$ with the following property. For every vertex in $G$, the unique paths back to $r$ in each tree are edge-disjoint. Our proof implies a polynomial-time algorithm for constructing the trees.
Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs
Given two independent sets $I, J$ of a graph $G$, and imagine that a token (coin) is placed at each vertex of $I$. The Sliding Token problem asks if one could transform $I$ to $J$ via a sequence of elementary steps, where each step requires sliding a token from one vertex to one of its neighbors so that the resulting set of vertices where tokens are placed remains independent. This problem is $\mathsf{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded-treewidth. In this paper, we show that Sliding Token can be solved efficiently for cactus graphs and block graphs, and give upper bounds on the length of a transformation sequence between any two independent sets of these graph classes. Our algorithms are designed based on two main observations. First, all structures that forbid the existence of a sequence of token slidings between $I$ and $J$, if exist, can be found in polynomial time. A sufficient condition for determining no-instances can be easily derived using this characterization. Second, without such forbidden structures, a sequence of token slidings between $I$ and $J$ does exist. In this case, one can indeed transform $I$ to $J$ (and vice versa) using a polynomial number of token-slides.
Highly connected infinite digraphs without edge-disjoint back and forth paths between a certain vertex pair
Published in Journal of graph theory, volume 85, 1, p. 51--55, 2017
• View Publication
• BIB
We construct for all $ k\in \mathbb{N} $ a $ k $-edge-connected digraph $ D $ with $ s,t\in V(D) $ such that there are no edge-disjoint $ s \rightarrow t $ and $t\rightarrow s $ paths. We use in our construction "self-similar" graphs which technique could be useful in other problems as well.
Orientations of 1-Factorizations and the List Chromatic Index of Small Graphs
Published
• View Publication
• BIB
As starting point, we formulate a corollary to the Quantitative Combinatorial Nullstellensatz. This corollary does not require the consideration of any coefficients of polynomials, only evaluations of polynomial functions. In certain situations, our corollary is more directly applicable and more ready-to-go than the Combinatorial Nullstellensatz itself. It is also of interest from a numerical point of view. We use it to explain a well-known connection between the sign of 1-factorizations (edge colorings) and the List Edge Coloring Conjecture. For efficient calculations and a better understanding of the sign, we then introduce and characterize the sign of single 1-factors. We show that the product over all signs of all the 1-factors in a 1-factorization is the sign of that 1-factorization. Using this result in an algorithm, we attempt to prove the List Edge Coloring Conjecture for all graphs with up to 10 vertices. This leaves us with some exceptional cases that need to be attacked with other methods.
On the existence of 4-regular matchstick graphs
A matchstick graph is a planar unit-distance graph. We call it \emph{4-regular} if every vertex has degree 4. While examples of 4-regular matchstick graphs with fewer than 63 vertices are known only for $n \in \{52, 54, 57, 60\}$, we prove the existence of such graphs for every integer $n \geq 63$.
Spanning Tree Auxiliary Graphs
In this paper, we define a class of auxiliary graphs associated with simple undirected graphs. This class of auxiliary graphs is based on the set of spanning trees of the original graph and the edges constituting those spanning trees. A class of auxiliary graphs can be viewed as a function from the class of graphs to the class of graphs. We provide mathematical characterisation of graphs which are the spanning tree auxiliary graphs of some simple graph. Since the class of spanning tree auxiliary graphs of graphs do not have unique preimages (the forward function is not injective), we derive precisely the classes of graphs which have the same auxiliary graph. We design algorithms for computing a basic preimage and define rules to get other solutions for the same auxiliary graph. We also obtain several results expressing parameters of the auxiliary graph in terms of (not necessarily the same) parameters of the original graph.
Reflexive polytopes arising from partially ordered sets and perfect graphs
Published in Journal of Algebraic Combinatorics 49(2019), 69--81
• View Publication
• BIB
Reflexive polytopes which have the integer decomposition property are of interest. Recently, some large classes of reflexive polytopes with integer decomposition property coming from the order polytopes and the chain polytopes of finite partially ordered sets are known. In the present paper, we will generalize this result. In fact, by virtue of the algebraic technique on Gröbner bases, new classes of reflexive polytopes with the integer decomposition property coming from the order polytopes of finite partially ordered sets and the stable set polytopes of perfect graphs will be introduced. Furthermore, the result will give a polyhedral characterization of perfect graphs. Finally, we will investigate the Ehrhart $δ$-polynomials of these reflexive polytopes.
Zero divisors and units with small supports in group algebras of torsion-free groups
Published
• View Publication
• BIB
We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.
Pebbling on Jahangir graphs
The pebbling number of a graph $G$, $f(G)$, is the least $p$ such that, however $p$ pebbles are placed on the vertices of $G$, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. In this paper, we will show the pebbling number of Jahangir graphs $J_{n,m}$ with $n$ even, $m\geq8$.
Graham's pebbling conjecture on Cartesian product of the middle graphs of even cycles
A pebbling move on a graph $G$ consists of taking two pebbles off one vertex and placing one on an adjacent vertex. The pebbling number of a graph $G$, denoted by $f(G)$, is the least integer $n$ such that, however $n$ pebbles are located on the vertices of $G$, we can move one pebble to any vertex by a sequence of pebbling moves. Let $M(G)$ be the middle graph of $G$. For any connected graphs $G$ and $H$, Graham conjectured that $f(G\times H)\leq f(G)f(H)$. In this paper, we give the pebbling number of some graphs and prove that Graham's conjecture holds for the middle graphs of some even cycles.
A characterization of trees having a minimum vertex cover which is also a minimum total dominating set
A vertex cover of a graph $G = (V, E)$ is a set $X \subseteq V$ such that each edge of $G$ is incident to at least one vertex of $X$. A dominating set $D \subseteq V$ is a total dominating set of $G$ if the subgraph induced by $D$ has no isolated vertices. A $(γ_t-τ)$-set of $G$ is a minimum vertex cover which is also a minimum total dominating set. In this article we give a constructive characterization of trees having a $(γ_t-τ)$-set.
Coloring Properties of Categorical Product of General Kneser Hypergraphs
Published
• View Publication
• BIB
More than 50 years ago Hedetniemi conjectured that the chromatic number of categorical product of two graphs is equal to the minimum of their chromatic numbers. This conjecture has received a considerable attention in recent years. Hedetniemi's conjecture were generalized to hypergraphs by Zhu in 1992. Hajiabolhassan and Meunier (2016) introduced the first nontrivial lower bound for the chromatic number of categorical product of general Kneser hypergraphs and using this lower bound, they verified Zhu's conjecture for some families of hypergraphs. In this paper, we shall present some colorful type results for the coloring of categorical product of general Kneser hypergraphs, which generalize the Hajiabolhassan-Meunier result. Also, we present a new lower bound for the chromatic number of categorical product of general Kneser hypergraphs which can be extremely better than the Hajiabolhassan-Meunier lower bound. Using this lower bound, we enrich the family of hypergraphs satisfying Zhu's conjecture.
Generating simple near-bipartite bricks
Published
• View Publication
• BIB
A brick is a $3$-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick $G$ is near-bipartite if it has a pair of edges $α$ and $β$ such that $G-\{α,β\}$ is bipartite and matching covered; examples are $K_4$ and the triangular prism $\overline{C_6}$. The significance of near-bipartite bricks arises from the theory of ear decompositions of matching covered graphs.
The object of this paper is to establish a generation procedure which is specific to the class of simple near-bipartite bricks. In particular, we prove that every simple near-bipartite brick $G$ has an edge $e$ so that the graph obtained from $G-e$ by contracting each edge that is incident with a vertex of degree two is also a simple near-bipartite brick, unless $G$ belongs to any of eight well-defined infinite families. This is a refinement of the brick generation theorem of Norine and Thomas (Generating Bricks, J. Combin. Theory Ser. B, 2007) which is appropriate for the restricted class of near-bipartite bricks.
Earlier, the first author (Generating near-bipartite bricks, J. Graph Theory, 2019) proved a similar generation theorem for (not necessarily simple) near-bipartite bricks; we deduce our main result from this theorem. Our proof is based on the strategy of Carvalho, Lucchesi and Murty (2008) and uses several of their techniques and results. The results presented here also appear in the Ph.D. thesis of the first author.
On partitioning the edges of an infinite digraph into directed cycles
Nash-Williams proved that for an undirected graph $ G $ the set $ E(G) $ can be partitioned into cycles if and only if every cut has either even or infinite number of edges. Later C. Thomassen gave a simpler proof for this and conjectured the following directed analogue of the theorem: the edge set of a digraph can be partitioned into directed cycles if and only if for each subset of the vertices the cardinality of the ingoing and the outgoing edges are equal. The aim of the paper is to prove this conjecture.
The Doyen-Wilson theorem for 3-sun systems
Published
• View Publication
• BIB
A solution to the existence problem of G-designs with given subdesigns is known when G is a triangle with p=0,1, or 2 disjoint pendent edges: for p=0, it is due to Doyen and Wilson, the first to pose such a problem for Steiner triple systems; for p=1 and p=2, the corresponding designs are kite systems and bull designs, respectively. Here, a complete solution to the problem is given in the remaining case where G is a 3-sun, i.e. a graph on six vertices consisting of a triangle with three pendent edges which form a 1-factor.
Bulk Eigenvalue Correlation Statistics of Random Biregular Bipartite Graphs
This paper is the second chapter of three of the author's undergraduate thesis. In this paper, we consider the random matrix ensemble given by $(d_b, d_w)$-regular graphs on $M$ black vertices and $N$ white vertices, where $d_b \in [N^γ, N^{2/3 - γ}]$ for any $γ> 0$. We simultaneously prove that the bulk eigenvalue correlation statistics for both normalized adjacency matrices and their corresponding covariance matrices are stable for short times. Combined with an ergodicity analysis of the Dyson Brownian motion in another paper, this proves universality of bulk eigenvalue correlation statistics, matching normalized adjacency matrices with the GOE and the corresponding covariance matrices with the Gaussian Wishart Ensemble.
Equating two maximum degrees
Given a graph $G$, we would like to find (if it exists) the largest induced subgraph $H$ in which there are at least $k$ vertices realizing the maximum degree of $H$. This problem was first posed by Caro and Yuster. They proved, for example, that for every graph $G$ on $n$ vertices we can guarantee, for $k = 2$, such an induced subgraph $H$ by deleting at most $2\sqrt{n}$ vertices, but the question if $2\sqrt{n}$ is best possible remains open.
Among the results obtained in this paper we prove that:
1. For every graph $G$ on $n \geq 4$ vertices we can delete at most $\lceil \frac{- 3 + \sqrt{ 8n- 15}}{2 } \rceil$ vertices to get an induced subgraph $H$ with at least two vertices realizing $Δ(H)$, and this bound is sharp, solving the problems left open by Caro and Yuster.
2.For every graph $G$ with maximum degree $Δ\geq 1$ we can delete at most $\lceil \frac{ -3 + \sqrt{8Δ+1}}{2 } \rceil$ vertices to get an induced subgraph $H$ with at least two vertices realizing $Δ(H)$, and this bound is sharp.
3. Every graph $G$ with $Δ(G) \leq 2$ and least $2k - 1$ vertices (respectively $2k - 2$ vertices if k is even) contains an induced subgraph $H$ in which at least $k$ vertices realise $Δ(H)$, and these bound are sharp.
The Graovac-Pisanski Index of Armchair Nanotubes
Published in J. Math. Chem. 56 (2018) 1103-1116
• View Publication
• BIB
The Graovac-Pisanski index, which is also called the modified Wiener index, considers the symmetries and the distances in molecular graphs. Carbon nanotubes are molecules made of carbon with a cylindrical structure possessing unusual valuable properties. In a mathematical model we can consider them as a subgraph of a hexagonal lattice embedded on a cylinder with some vertices being identified. In the present paper, we investigate the automorphisms and the orbits of armchair nanotubes and derive the closed formulas for their Graovac-Pisanski index.
Pseudo Unique Sink Orientations
A unique sink orientation (USO) is an orientation of the $n$-dimensional cube graph ($n$-cube) such that every face (subcube) has a unique sink. The number of unique sink orientations is $n^{Θ(2^n)}$. If a cube orientation is not a USO, it contains a pseudo unique sink orientation (PUSO): an orientation of some subcube such that every proper face of it has a unique sink, but the subcube itself hasn't. In this paper, we characterize and count PUSOs of the $n$-cube. We show that PUSOs have a much more rigid structure than USOs and that their number is between $2^{Ω(2^{n-\log n})}$ and $2^{O(2^n)}$ which is negligible compared to the number of USOs. As tools, we introduce and characterize two new classes of USOs: border USOs (USOs that appear as facets of PUSOs), and odd USOs which are dual to border USOs but easier to understand.