graph
35396 papers tagged with this keyword
Finding Balance: Split Graphs and Related Classes
Published
• View Publication
• BIB
A graph is a split graph if its vertex set can be partitioned into a clique and a stable set. A split graph is unbalanced if there exist two such partitions that are distinct. Cheng, Collins and Trenk (2016), discovered the following interesting counting fact: unlabeled, unbalanced split graphs on $n$ vertices can be placed into a bijection with all unlabeled split graphs on $n-1$ or fewer vertices. In this paper we translate these concepts and the theorem to different combinatorial settings: minimal set covers, bipartite graphs with a distinguished block and posets of height one.
Burning Circulant Graphs
In this paper we study the graph parameter of burning number, introduced by Bonato, Janssen, and Roshanbin (2014). We are particular interested in determining the burning number of Circulant graphs. In this paper, we find upper and lower bounds on the burning number of classes of circulant graphs of degree at most four. The burning number is found exactly for a family of circulant graphs of degree three, and two specific families of circulant graphs of degree four. Finally, we given upper and lower bounds on the burning number of families of circulant graphs of higher degree.
Complete colorings of planar graphs
Published in Discrete Applied Mathematics-2019
• View Publication
• BIB
In this paper, we study the achromatic and the pseudoachromatic numbers of planar and outerplanar graphs as well as planar graphs of girth 4 and graphs embedded on a surface. We give asymptotically tight results and lower bounds for maximal embedded graphs.
A characterization of $Q$-polynomial distance-regular graphs using the intersection numbers
Published
• View Publication
• BIB
We consider a primitive distance-regular graph $Γ$ with diameter at least $3$. We use the intersection numbers of $Γ$ to find a positive semidefinite matrix $G$ with integer entries. We show that $G$ has determinant zero if and only if $Γ$ is $Q$-polynomial.
Characterizations of Eulerian and even-face partial duals of ribbon graphs
Published
• View Publication
• BIB
Huggett and Moffatt characterized all bipartite partial duals of a plane graph in terms of all-crossing directions of its medial graph. Then Metsidik and Jin characterized all Eulerian partial duals of a plane graph in terms of semi-crossing directions of its medial graph. Plane graphs are ribbon graphs with genus 0. In this paper, we shall first extend Huggett and Moffatt's result to any orientable ribbon graph and provide an example to show that it is not true for non-orientable ribbon graphs. Then we characterize all Eulerian partial duals of any ribbon graph in terms of crossing-total directions of its medial graph, which are much more simple than semi-crossing directions.
Minor stars in plane graphs with minimum degree five
Published in Discrete Applied Mathematics, 257 (2019) 233--242
• View Publication
• BIB
The weight of a subgraph $H$ in $G$ is the sum of the degrees in $G$ of vertices of $H$. The {\em height} of a subgraph $H$ in $G$ is the maximum degree of vertices of $H$ in $G$. A star in a given graph is minor if its center has degree at most five in the given graph. Lebesgue (1940) gave an approximate description of minor $5$-stars in the class of normal plane maps with minimum degree five. In this paper, we give two descriptions of minor $5$-stars in plane graphs with minimum degree five. By these descriptions, we can extend several results and give some new results on the weight and height for some special plane graphs with minimum degree five.
Strong Forms of Stability from Flag Algebra Calculations
Published
• View Publication
• BIB
Given a hereditary family $\mathcal{G}$ of admissible graphs and a function $λ(G)$ that linearly depends on the statistics of order-$κ$ subgraphs in a graph $G$, we consider the extremal problem of determining $λ(n,\mathcal{G})$, the maximum of $λ(G)$ over all admissible graphs $G$ of order $n$. We call the problem perfectly $B$-stable for a graph $B$ if there is a constant $C$ such that every admissible graph $G$ of order $n\ge C$ can be made into a blow-up of $B$ by changing at most $C(λ(n,\mathcal{G})-λ(G)){n\choose2}$ adjacencies. As special cases, this property describes all almost extremal graphs of order $n$ within $o(n^2)$ edges and shows that every extremal graph of order $n\ge n_0$ is a blow-up of $B$.
We develop general methods for establishing stability-type results from flag algebra computations and apply them to concrete examples. In fact, one of our sufficient conditions for perfect stability is stated in a way that allows automatic verification by a computer. This gives a unifying way to obtain computer-assisted proofs of many new results.
The spectral determination of the multicone graphs Kw+P
The main aim of this study is to characterize new classes of multicone graphs which are determined by their signless Laplacian spectra, their Laplacian spectra and their adjacency spectra. A multicone graph is defined to be the join of a clique and a regular graph. Let P and Kw denote the Petersen graph and a complete graph on w vertices, respectively. In this paper, we show that multicone graphs Kw+P are determined by their signless Laplacian spectra, their Laplacian spectra and their adjacency spectra. Keywords: DS graph; Multicone graph; Signless Laplacian spectrum; Petersen graph.
Laplacian spectra of power graphs of certain finite groups
Published
• View Publication
• BIB
In this article, various aspects of Laplacian spectra of power graphs of finite cyclic, dicyclic and finite $p$-groups are studied. Algebraic connectivity of power graphs of the above groups are considered and determined completely for that of finite $p$-groups. Further, the multiplicity of Laplacian spectral radius of power graphs of the above groups are studied and determined completely for that of dicyclic and finite $p$-groups. The equality of the vertex connectivity and the algebraic connectivity is characterized for power graphs of all of the above groups. Orders of dicyclic groups, for which their power graphs are Laplacian integral, are determined. Moreover, it is proved that the notion of equality of the vertex connectivity and the algebraic connectivity and the notion of Laplacian integral are equivalent for power graphs of dicyclic groups. All possible values of Laplacian eigenvalues are obtained for power graphs of finite $p$-groups. This shows that power graphs of finite $p$-groups are Laplacian integral.
Relationship of Two Formulations for Shortest Bibranchings
Published
• View Publication
• BIB
The shortest bibranching problem is a common generalization of the minimum-weight edge cover problem in bipartite graphs and the minimum-weight arborescence problem in directed graphs. For the shortest bibranching problem, an efficient primal-dual algorithm is given by Keijsper and Pendavingh (1998), and the tractability of the problem is ascribed to total dual integrality in a linear programming formulation by Schrijver (1982). Another view on the tractability of this problem is afforded by a valuated matroid intersection formulation by Takazawa (2012). In the present paper, we discuss the relationship between these two formulations for the shortest bibranching problem. We first demonstrate that the valuated matroid intersection formulation can be derived from the linear programming formulation through the Benders decomposition, where integrality is preserved in the decomposition process and the resulting convex programming is endowed with discrete convexity. We then show how a pair of primal and dual optimal solutions of one formulation is constructed from that of the other formulation, thereby providing a connection between polyhedral combinatorics and discrete convex analysis.
Injective chromatic number of outerplanar graphs
Published
• View Publication
• BIB
An injective coloring of a graph is a vertex coloring where two vertices with common neighbor receive distinct colors. The minimum integer $k$ that $G$ has a $k-$injective coloring is called injective chromatic number of $G$ and denoted by $χ_i(G)$. In this paper, the injective chromatic number of outerplanar graphs with maximum degree $Δ$ and girth $g$ is studied. It is shown that for every outerplanar graph, $χ_i(G)\leq Δ+2$, and this bound is tight. Then, it is proved that for outerplanar graphs with $Δ=3$, $χ_i(G)\leq Δ+1$ and the bound is tight for outerplanar graphs of girth three and $4$. Finally, it is proved that, the injective chromatic number of $2-$connected outerplanar graphs with $Δ=3$, $g\geq 6$ and $Δ\geq 4$, $g\geq 4$ is equal to $Δ$.
Progressions and Paths in Colorings of $\mathbb Z$
A $\textit{ladder}$ is a set $S \subseteq \mathbb Z^+$ such that any finite coloring of $\mathbb Z$ contains arbitrarily long monochromatic progressions with common difference in $S$. Van der Waerden's theorem famously asserts that $\mathbb Z^+$ itself is a ladder. We also discuss variants of ladders, namely $\textit{accessible}$ and $\textit{walkable}$ sets, which are sets $S$ such that any coloring of $\mathbb Z$ contains arbitrarily long (for accessible sets) or infinite (for walkable sets) monochromatic sequences with consecutive differences in $S$. We show that sets with upper density 1 are ladders and walkable. We also show that all directed graphs with infinite chromatic number are accessible, and reduce the bound on the walkability order of sparse sets from 3 to 2, making it tight.
Defective 3-Paintability of Planar Graphs
Published
• View Publication
• BIB
A $d$-defective $k$-painting game on a graph $G$ is played by two players: Lister and Painter. Initially, each vertex is uncolored and has $k$ tokens. In each round, Lister marks a chosen set $M$ of uncolored vertices and removes one token from each marked vertex. In response, Painter colors vertices in a subset $X$ of $M$ which induce a subgraph $G[X]$ of maximum degree at most $d$. Lister wins the game if at the end of some round there is an uncolored vertex that has no more tokens left. Otherwise, all vertices eventually get colored and Painter wins the game. We say that $G$ is $d$-defective $k$-paintable if Painter has a winning strategy in this game. In this paper we show that every planar graph is 3-defective 3-paintable and give a construction of a planar graph that is not 2-defective 3-paintable.
An Upper Bound of 7n/6 for the Minimum Size 2EC on Cubic 3-Edge Connected Graphs
In this paper, we study the minimum size 2-edge connected spanning subgraph problem (henceforth 2EC) and show that every 3-edge connected cubic graph G=(V, E), with n=|V| allows a 2EC solution for G of size at most 7n/6, which improves upon Boyd, Iwata and Takazawa's guarantee of 6n/5.
Hypergraph $F$-designs for arbitrary $F$
We solve the existence problem for $F$-designs for arbitrary $r$-uniform hypergraphs $F$. In particular, this shows that, given any $r$-uniform hypergraph $F$, the trivially necessary divisibility conditions are sufficient to guarantee a decomposition of any sufficiently large complete $r$-uniform hypergraph $G=K_n^{(r)}$ into edge-disjoint copies of $F$, which answers a question asked e.g. by Keevash. The graph case $r=2$ forms one of the cornerstones of design theory and was proved by Wilson in 1975. The case when $F$ is complete corresponds to the existence of block designs, a problem going back to the 19th century, which was first settled by Keevash. More generally, our results extend to $F$-designs of quasi-random hypergraphs $G$ and of hypergraphs $G$ of suitably large minimum degree. Our approach builds on results and methods we recently introduced in our new proof of the existence conjecture for block designs.
Disproof of a packing conjecture of Alon and Spencer
Published
• View Publication
• BIB
A 1992 conjecture of Alon and Spencer says, roughly, that the ordinary random graph $G_{n,1/2}$ typically admits a covering of a constant fraction of its edges by edge-disjoint, nearly maximum cliques. We show that this is not the case. The disproof is based on some (partial) understanding of a more basic question: for $k\ll \sqrt{n}$ and $A_1\dots A_t$ chosen uniformly and independently from the $k$-subsets of $\{1\dots n\}$, what can one say about \[ \mathbb{P}(|A_i\cap A_j|\leq 1 ~\forall i\neq j)? \] Our main concern is trying to understand how closely the answers to this and a related question about matchings follow heuristics gotten by pretending that certain (dependent) choices are made independently.
The Smith group and the critical group of the Grassmann graph of lines in finite projective space and of its complement
Published in Bulletin of the Institute of Mathematics Academia Sinica 13 (4) (2018) 411-442
• View Publication
• BIB
We compute the elementary divisors of the adjacency and Laplacian matrices of the Grassmann graph on $2$-dimensional subspaces in a finite vector space. We also compute the corresponding invariants of the complementary graphs.
The minimum Manhattan distance and minimum jump of permutations
Published
• View Publication
• BIB
Let $π$ be a permutation of $\{1,2,\ldots,n\}$. If we identify a permutation with its graph, namely the set of $n$ dots at positions $(i,π(i))$, it is natural to consider the minimum $L^1$ (Manhattan) distance, $d(π)$, between any pair of dots. The paper computes the expected value (and higher moments) of $d(π)$ when $n\rightarrow\infty$ and $π$ is chosen uniformly, and settles a conjecture of Bevan, Homberger and Tenner (motivated by permutation patterns), showing that when $d$ is fixed and $n\rightarrow\infty$, the probability that $d(π)\geq d+2$ tends to $e^{-d^2 - d}$.
The minimum jump $mj(π)$ of $π$, defined by $mj(π)=\min_{1\leq i\leq n-1} |π(i+1)-π(i)|$, is another natural measure in this context. The paper computes the asymptotic moments of $mj(π)$, and the asymptotic probability that $mj(π)\geq d+1$ for any constant $d$.
The split-and-drift random graph, a null model for speciation
Published in Stochastic Processes and their Applications 129(6):2010-2048 (2019)
• View Publication
• BIB
We introduce a new random graph model motivated by biological questions relating to speciation. This random graph is defined as the stationary distribution of a Markov chain on the space of graphs on $\{1, \ldots, n\}$. The dynamics of this Markov chain is governed by two types of events: vertex duplication, where at constant rate a pair of vertices is sampled uniformly and one of these vertices loses its incident edges and is rewired to the other vertex and its neighbors; and edge removal, where each edge disappears at constant rate. Besides the number of vertices $n$, the model has a single parameter $r_n$.
Using a coalescent approach, we obtain explicit formulas for the first moments of several graph invariants such as the number of edges or the number of complete subgraphs of order $k$. These are then used to identify five non-trivial regimes depending on the asymptotics of the parameter $r_n$. We derive an explicit expression for the degree distribution, and show that under appropriate rescaling it converges to classical distributions when the number of vertices goes to infinity. Finally, we give asymptotic bounds for the number of connected components, and show that in the sparse regime the number of edges is Poissonian.
On the game total domination number
The total domination game is a two-person competitive optimization game, where the players, Dominator and Staller, alternately select vertices of an isolate-free graph $G$. Each vertex chosen must strictly increase the number of vertices totally dominated. This process eventually produces a total dominating set of $G$. Dominator wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The game total domination number of $G$, $γ_{\rm tg}(G)$, is the number of vertices chosen when Dominator starts the game and both players play optimally.
Recently, Henning, Klavžar, and Rall proved that $γ_{\rm tg}(G) \le \frac{4}{5}n$ holds for every graph $G$ which is given on $n$ vertices such that every component of it is of order at least $3$; they also conjectured that the sharp upper bound would be $\frac{3}{4}n$. Here, we prove that $γ_{\rm tg}(G)\le \frac{11}{14}n$ holds for every $G$ which contains no isolated vertices or isolated edges.