graph
34828 papers tagged with this keyword
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$.
Dual equivalence graphs II: Transformations on locally Schur positive graphs
Dual equivalence graphs are a powerful tool in symmetric function theory that provide a general framework for proving that a given quasisymmetric function is symmetric and Schur positive. In this paper, we study a larger family of graphs that includes dual equivalence graphs and define maps that, in certain cases, transform graphs in this larger family into dual equivalence graphs. This allows us to broaden the applications of dual equivalence graphs and points the way toward a broader theory that could solve many important, long-standing Schur positivity problems.
Cohen-Macaulay binomial edge ideals of cactus graphs
Published
• View Publication
• BIB
We classify the Cohen-Macaulay binomial edge ideals of cactus and bicyclic graphs.
T-joins in infinite graphs as edge-disjoint system of paths matching the vertices in $ T $
We characterize the class of infinite connected graphs $ G $ for which there exists a $ T $-join for any choice of an infinite $ T \subseteq V(G) $. We also show that the following well-known fact remains true in the infinite case. If $ G $ is connected and does not contain a $ T $-join, then it will if we either remove an arbitrary vertex from $ T $ or add any new vertex to $ T $.
On the radius and the attachment number of tetravalent half-arc-transitive graphs
Published in Published in Discrete Mathematics, Vol 340, Issue 12, 2017
• View Publication
• BIB
In this paper, we study the relationship between the radius $r$ and the attachment number $a$ of a tetravalent graph admitting a half-arc-transitive group of automorphisms. These two parameters were first introduced in~[{\em J.~Combin.~Theory Ser.~B} {73} (1998), 41--76], where among other things it was proved that $a$ always divides $2r$. Intrigued by the empirical data from the census~[{\em Ars Math.\ Contemp.} {8} (2015)] of all such graphs of order up to 1000 we pose the question of whether all examples for which $a$ does not divide $r$ are arc-transitive. We prove that the answer to this question is positive in the case when $a$ is twice an odd number. In addition, we completely characterize the tetravalent graphs admitting a half-arc-transitive group with $r = 3$ and $a=2$, and prove that they arise as non-sectional split $2$-fold covers of line graphs of $2$-arc-transitive cubic graphs.
Symmetry properties of generalized graph truncations
Published in Published in Journal of Comb. Theory, Ser. B, Vol 137, 2019
• View Publication
• BIB
In the generalized truncation construction, one replaces each vertex of a $k$-regular graph $Γ$ with a copy of a graph $Υ$ of order $k$. We investigate the symmetry properties of the graphs constructed in this way, especially in connection to the symmetry properties of the graphs $Γ$ and $Υ$ used in the construction. We demonstrate the usefulness of our results by using them to obtain a classification of cubic vertex-transitive graphs of girths $3$, $4$, and $5$.
Rainbow spanning trees in properly coloured complete graphs
Published
• View Publication
• BIB
In this short note, we study pairwise edge-disjoint rainbow spanning trees in properly edge-coloured complete graphs, where a graph is rainbow if its edges have distinct colours. Brualdi and Hollingsworth conjectured that every $K_n$ properly edge-coloured by $n-1$ colours has $n/2$ edge-disjoint rainbow spanning trees. Kaneko, Kano and Suzuki later suggested this should hold for every properly edge-coloured $K_n$. Improving the previous best known bound, we show that every properly edge-coloured $K_n$ contains $Ω(n)$ pairwise edge-disjoint rainbow spanning trees.
Independently, Pokrovskiy and Sudakov recently proved that every properly edge-coloured $K_n$ contains $Ω(n)$ isomorphic pairwise edge-disjoint rainbow spanning trees.
Random Čech Complexes on Riemannian Manifolds
Published
• View Publication
• BIB
In this paper we study the homology of a random Cech complex generated by a homogeneous Poisson process in a compact Riemannian manifold M. In particular, we focus on the phase transition for "homological connectivity" where the homology of the complex becomes isomorphic to that of M. The results presented in this paper are an important generalization of [7], from the flat torus to general compact Riemannian manifolds. In addition to proving the statements related to homological connectivity, the methods we develop in this paper can be used as a framework for translating results for random geometric graphs and complexes from the Euclidean setting into the more general Riemannian one.
Coloring dense digraphs
Published
• View Publication
• BIB
The chromatic number of a digraph $D$ is the minimum number of acyclic subgraphs covering the vertex set of $D$. A tournament $H$ is a hero if every $H$-free tournament $T$ has chromatic number bounded by a function of $H$. Inspired by the celebrated Erdős--Hajnal conjecture, Berger et al. fully characterized the class of heroes in 2013. We extend this framework to dense digraphs: A digraph $H$ is a superhero if every $H$-free digraph $D$ has chromatic number bounded by a function of $H$ and $α(D)$, the independence number of the underlying graph of $D$. We prove here that a digraph is a superhero if and only if it is a hero, and hence characterize all superheroes. This answers a question of Aboulker, Charbit and Naserasr.
Hitting minors on bounded treewidth graphs. I. General upper bounds
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, deciding whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{\cal F}$ such that {${\cal F}$-M-DELETION can be solved in time $f_{\cal F}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We prove that $f_{\cal F}(tw) = 2^{2^{O(tw \cdot\log tw)}}$ for every collection ${\cal F}$, that $f_{\cal F}(tw) = 2^{O(tw \cdot\log tw)}$ if ${\cal F}$ contains a planar graph, and that $f_{\cal F}(tw) = 2^{O(tw)}$ if in addition the input graph $G$ is planar or embedded in a surface. We also consider the version of the problem where the graphs in ${\cal F}$ are forbidden as topological minors, called ${\cal F}$-TM-DELETION. We prove similar results for this problem, except that in the last two algorithms, instead of requiring ${\cal F}$ to contain a planar graph, we need it to contain a subcubic planar graph. This is the first of a series of articles on this topic.