graph
35396 papers tagged with this keyword
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.
Convex and isometric domination of (weak) dominating pair graphs
A set $D$ of vertices in a graph $G$ is a dominating set if every vertex of $G$, which is not in $D$, has a neighbor in $D$. A set of vertices $D$ in $G$ is convex (respectively, isometric), if all vertices in all shortest paths (respectively, all vertices in one of the shortest paths) between any two vertices in $D$ lie in $D$. The problem of finding a minimum convex dominating (respectively, isometric dominating) set is considered in this paper from algorithmic point of view. For the class of weak dominating pair graphs (i.e.,~the graphs that contain a dominating pair, which is a pair of vertices $x,y\in V(G)$ such that vertices of any path between $x$ and $y$ form a dominating set), we present an efficient algorithm that finds a minimum isometric dominating set of such a graph. On the other hand, we prove that even if one restricts to weak dominating pair graphs that are also chordal graphs, the problem of deciding whether there exists a convex dominating set bounded by a given arbitrary positive integer is NP-complete. By further restricting the class of graphs to chordal dominating pair graphs (i.e.,~the chordal graphs in which every connected induced subgraph has a dominating pair) we are able to find a polynomial time algorithm that determines the minimum size of a convex dominating set of such a graph.
A polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry
The paper develops a new technique to extract a characteristic subset from a random source that repeatedly samples from a set of elements. Here a characteristic subset is a set that when containing an element contains all elements that have the same probability. With this technique at hand the paper looks at the special case of the tournament isomorphism problem that stands in the way towards a polynomial-time algorithm for the graph isomorphism problem. Noting that there is a reduction from the automorphism (asymmetry) problem to the isomorphism problem, a reduction in the other direction is nevertheless not known and remains a thorny open problem. Applying the new technique, we develop a randomized polynomial-time Turing-reduction from the tournament isomorphism problem to the tournament automorphism problem. This is the first such reduction for any kind of combinatorial object not known to have a polynomial-time solvable isomorphism problem.
Local Marchenko-Pastur Law for Random Bipartite Graphs
This paper is the first chapter of three of the author's undergraduate thesis. We study the random matrix ensemble of covariance matrices arising from random $(d_b, d_w)$-regular bipartite graphs on a set of $M$ black vertices and $N$ white vertices, for $d_b \gg \log^4 N$. We simultaneously prove that the Green's functions of these covariance matrices and the adjacency matrices of the underlying graphs agree with the corresponding limiting law (e.g. Marchenko-Pastur law for covariance matrices) down to the optimal scale. This is an improvement from the previously known mesoscopic results. We obtain eigenvector delocalization for the covariance matrix ensemble as consequence, as well as a weak rigidity estimate.
The phase transition in bounded-size Achlioptas processes
Perhaps the best understood phase transition is that in the component structure of the uniform random graph process introduced by Erdős and Rényi around 1960. Since the model is so fundamental, it is very interesting to know which features of this phase transition are specific to the model, and which are `universal', at least within some larger class of processes (a `universality class'). Achlioptas process, a class of variants of the Erdős--Rényi process that are easy to define but difficult to analyze, have been extensively studied from this point of view. Here, settling a number of conjectures and open problems, we show that all `bounded-size' Achlioptas processes share (in a strong sense) all the key features of the Erdős--Rényi phase transition. We do not expect this to hold for Achlioptas processes in general.
Conserved quantities of Q-systems from dimer integrable systems
Published
• View Publication
• BIB
We study a discrete dynamic on weighted bipartite graphs on a torus, analogous to dimer integrable systems in Goncharov-Kenyon 2013. The dynamic on the graph is an urban renewal together with shrinking all 2-valent vertices, while it is a cluster transformation on the weight. The graph is not necessary obtained from an integral polygon. We show that all Hamiltonians, partition functions of all weighted perfect matchings with a common homology class, are invariant under a move on the weighted graph. This move coincides with a cluster mutation, analog to Y-seed mutation in dimer integrable systems. We construct graphs for Q-systems of type A and B and show that the Hamiltonians are conserved quantities of the systems. The conserved quantities can be written as partition functions of hard particles on a certain graph. For type A, they Poisson commute under a nondegenerate Poisson bracket.
Signed graphs: from modulo flows to integer-valued flows
Published
• View Publication
• BIB
Converting modulo flows into integer-valued flows is one of the most critical steps in the study of integer flows. Tutte and Jaeger's pioneering work shows the equivalence of modulo flows and integer-valued flows for ordinary graphs. However, such equivalence does not hold any more for signed graphs. This motivates us to study how to convert modulo flows into integer-valued flows for signed graphs. In this paper, we generalize some early results by Xu and Zhang (Discrete Math.~299, 2005), Schubert and Steffen (European J. Combin.~48, 2015), and Zhu (J. Combin. Theory Ser. B~112, 2015), and show that, for signed graphs, every modulo $(2+\frac{1}{p})$-flow with $p \in {\mathbb Z}^+ \cup \{\infty\}$ can be converted/extended into an integer-valued flow.
Triangle-free graphs that do not contain an induced subdivision of $K_4$ are 3-colorable
Published in J Graph Theory. 2019; 92: 67-95
• View Publication
• BIB
We show that triangle-free graphs that do not contain an induced subgraph isomorphic to a subdivision of K4 are 3-colorable. This proves a conjecture of Trotignon and Vuskovic.
Embeddability of arrangements of pseudocircles and graphs on surfaces
A pseudocircle is a simple closed curve on some surface; an arrangement of pseudocircles is a collection of pseudocircles that pairwise intersect in exactly two points, at which they cross. Ortner proved that an arrangement of pseudocircles is embeddable into the sphere if and only if all of its subarrangements of size at most four are embeddable into the sphere, and asked if an analogous result holds for embeddability into orientable surfaces of higher genus. We answer this question positively: An arrangement of pseudocircles is embeddable into an orientable surface of genus~$g$ if and only if all of its subarrangements of size at most $4g+4$ are. Moreover, this bound is tight. We actually have similar results for a much general notion of arrangement, which we call an \emph{arrangement of graphs}.
Tight bounds on the coefficients of partition functions via stability
Published
• View Publication
• BIB
Partition functions arise in statistical physics and probability theory as the normalizing constant of Gibbs measures and in combinatorics and graph theory as graph polynomials. For instance the partition functions of the hard-core model and monomer-dimer model are the independence and matching polynomials respectively.
We show how stability results follow naturally from the recently developed occupancy method for maximizing and minimizing physical observables over classes of regular graphs, and then show these stability results can be used to obtain tight extremal bounds on the individual coefficients of the corresponding partition functions.
As applications, we prove new bounds on the number of independent sets and matchings of a given size in regular graphs. For large enough graphs and almost all sizes, the bounds are tight and confirm the Upper Matching Conjecture of Friedland, Krop, and Markström and a conjecture of Kahn on independent sets for a wide range of parameters. Additionally we prove tight bounds on the number of $q$-colorings of cubic graphs with a given number of monochromatic edges, and tight bounds on the number of independent sets of a given size in cubic graphs of girth at least $5$.
Ribbon graphs and the fundamental group of surfaces
In the present work we are going to give a formal exposition of the ribbon graphs topic based on notes of Labourie \cite{Lab}, since is difficult to find as such in the literature.
List colourings of multipartite hypergraphs
Published
• View Publication
• BIB
Let $χ_l(G)$ denote the list chromatic number of the $r$-uniform hypergraph~$G$. Extending a result of Alon for graphs, Saxton and the second author used the method of containers to prove that, if $G$ is simple and $d$-regular, then $χ_l(G)\ge (1/(r-1)+o(1))\log_r d$.
To see how close this inequality is to best possible, we examine $χ_l(G)$ when $G$ is a random $r$-partite hypergraph with $n$ vertices in each class. The value when $r=2$ was determined by Alon and Krivelevich, here we show that $χ_l(G)= (g(r,α)+o(1))\log_r d$ almost surely, where $d$ is the expected average degree of~$G$ and $α=\log_nd$.
The function $g(r,α)$ is defined in terms of "preference orders" and can be determined fairly explicitly. This is enough to show that the container method gives an optimal lower bound on $χ_l(G)$ for $r=2$ and $r=3$, but, perhaps surprisingly, apparently not for $r\ge4$.