graph
34629 papers tagged with this keyword
On the maximum number of maximum dissociation sets in trees with given dissociation number
Published
• View Publication
• BIB
In a graph $G$, a subset of vertices is a dissociation set if it induces a subgraph with vertex degree at most 1. A maximum dissociation set is a dissociation set of maximum cardinality. The dissociation number of $G$, denoted by $ψ(G)$, is the cardinality of a maximum dissociation set of $G$. Extremal problems involving counting the number of a given type of substructure in a graph have been a hot topic of study in extremal graph theory throughout the last few decades. In this paper, we determine the maximum number of maximum dissociation sets in a tree with prescribed dissociation number and the extremal trees achieving this maximum value.
Star-critical Gallai-Ramsey numbers of graphs
Published
• View Publication
• BIB
The Gallai-Ramsey number $gr_{k}(K_{3}: H_{1}, H_{2}, \cdots, H_{k})$ is the smallest integer $n$ such that every $k$-edge-colored $K_{n}$ contains either a rainbow $K_3$ or a monochromatic $H_{i}$ in color $i$ for some $i\in [k]$. We find the largest star that can be removed from $K_n$ such that the underlying graph is still forced to have a rainbow $K_3$ or a monochromatic $H_{i}$ in color $i$ for some $i\in [k]$. Thus, we define the star-critical Gallai-Ramsey number $gr_{k}^{*}(K_3: H_{1}, H_{2}, \cdots, H_{k})$ as the smallest integer $s$ such that every $k$-edge-colored $K_{n}-K_{1, n-1-s}$ contains either a rainbow $K_3$ or a monochromatic $H_{i}$ in color $i$ for some $i\in [k]$. When $H=H_{1}=\cdots=H_{k}$, we simply denote $gr_{k}^{*}(K_{3}: H_{1}, H_{2}, \cdots, H_{k})$ by $gr_{k}^{*}(K_{3}: H)$. We determine the star-critical Gallai-Ramsey numbers for complete graphs and some small graphs. Furthermore, we show that $gr_{k}^{*}(K_3: H)$ is exponential in $k$ if $H$ is not bipartite, linear in $k$ if $H$ is bipartite but not a star and constant (not depending on $k$) if $H$ is a star.
Star Chromatic Index of Halin Graphs
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every path and cycle of length four in $G$ uses at least three different colors. The star chromatic index of $G$, is the smallest integer $k$ for which $G$ admits a star edge coloring with $k$ colors.
In this paper, we obtain tight upper bound $\left\lfloor\frac{3Δ}{2}\right\rfloor+2$ for the star chromatic index of every Halin graph, that proves the conjecture of Dvo{ř}{á}k et al. (J Graph Theory, 72 (2013), 313--326) for cubic Halin graphs.
The success probability in Lionel Levine's hat problem is strictly decreasing with the number of players, and this is related to interesting questions regarding Hamming powers of Kneser graphs and independent sets in random subgraphs
Lionel Levine's hat challenge has $t$ players, each with a (very large, or infinite) stack of hats on their head, each hat independently colored at random black or white. The players are allowed to coordinate before the random colors are chosen, but not after. Each player sees all hats except for those on her own head. They then proceed to simultaneously try and each pick a black hat from their respective stacks. They are proclaimed successful only if they are all correct. Levine's conjecture was the success probability tends to zero when the number of players grows. We prove that this success probability is strictly decreasing in the number of players, and present some connections to questions in graph theory.
On chromatic symmetric homology and planarity of graphs
Published in Electron. J. Combin. 30.1 (2023), Paper No. 1.15
• View Publication
• BIB
Sazdanovic and Yip defined a categorification of Stanley's chromatic function called the chromatic symmetric homology. In this paper we prove that (as conjectured by Chandler, Sazdanovic, Stella and Yip), if a graph $G$ is non-planar, then its chromatic symmetric homology in bidegree (1,0) contains $\mathbb{Z}_2$-torsion. Our proof follows a recursive argument based on Kuratowsky's theorem.
Block Elimination Distance
Published
• View Publication
• BIB
We introduce the block elimination distance as a measure of how close a graph is to some particular graph class. Formally, given a graph class ${\cal G}$, the class ${\cal B}({\cal G})$ contains all graphs whose blocks belong to ${\cal G}$ and the class ${\cal A}({\cal G})$ contains all graphs where the removal of a vertex creates a graph in ${\cal G}$. Given a hereditary graph class ${\cal G}$, we recursively define ${\cal G}^{(k)}$ so that ${\cal G}^{(0)}={\cal B}({\cal G})$ and, if $k\geq 1$, ${\cal G}^{(k)}={\cal B}({\cal A}({\cal G}^{(k-1)}))$. The block elimination distance of a graph $G$ to a graph class ${\cal G}$ is the minimum $k$ such that $G\in{\cal G}^{(k)}$ and can be seen as an analog of the elimination distance parameter, with the difference that connectivity is now replaced by biconnectivity. We show that, for every non-trivial hereditary class ${\cal G}$, the problem of deciding whether $G\in{\cal G}^{(k)}$ is NP-complete. We focus on the case where ${\cal G}$ is minor-closed and we study the minor obstruction set of ${\cal G}^{(k)}$. We prove that the size of the obstructions of ${\cal G}^{(k)}$ is upper bounded by some explicit function of $k$ and the maximum size of a minor obstruction of ${\cal G}$. This implies that the problem of deciding whether $G\in{\cal G}^{(k)}$ is constructively fixed parameter tractable, when parameterized by $k$. Our results are based on a structural characterization of the obstructions of ${\cal B}({\cal G})$, relatively to the obstructions of ${\cal G}$. We give two graph operations that generate members of ${\cal G}^{(k)}$ from members of ${\cal G}^{(k-1)}$ and we prove that this set of operations is complete for the class ${\cal O}$ of outerplanar graphs. This yields the identification of all members ${\cal O}\cap{\cal G}^{(k)}$, for every $k\in\mathbb{N}$ and every non-trivial minor-closed graph class ${\cal G}$.
Size-Ramsey numbers of powers of hypergraph trees and long subdivisions
The $s$-colour size-Ramsey number of a hypergraph $H$ is the minimum number of edges in a hypergraph $G$ whose every $s$-edge-colouring contains a monochromatic copy of $H$. We show that the $s$-colour size-Ramsey number of the $t$-power of the $r$-uniform tight path on $n$ vertices is linear in $n$, for every fixed $r, s, t$, thus answering a question of Dudek, La Fleur, Mubayi, and Rödl (2017).
In fact, we prove a stronger result that allows us to deduce that powers of bounded degree hypergraph trees and powers of `long subdivisions' of bounded degree hypergraphs have size-Ramsey numbers that are linear in the number of vertices. This extends and strongly generalises recent results about the linearity of size-Ramsey numbers of powers of bounded degree trees and of long subdivisions of bounded degree graphs.
The existence of uniform hypergraphs for which interpolation property of complete coloring fails
Published
• View Publication
• BIB
In 1967 Harary, Hedetniemi, and Prins showed that every graph $G$ admits a complete $t$-coloring for every $t$ with $χ(G) \le t \le ψ(G)$, where $χ(G)$ denotes the chromatic number of $G$ and $ψ(G)$ denotes the achromatic number of $G$ which is the maximum number $r$ for which $G$ admits a complete $r$-coloring. Recently, Edwards and Rz\c ażewski (2020) showed that this result fails for hypergraphs by proving that for every integer $k$ with $k\ge 9$, there exists a $k$-uniform hypergraph $H$ with a complete $χ(H)$-coloring and a complete $ψ(H)$-coloring, but no complete $t$-coloring for some $t$ with $χ(H)< t<ψ(H)$. They also asked whether there would exist such an example for $3$-uniform hypergraphs and posed another problem to strengthen their result. In this paper, we generalize their result to all cases $k$ with $k\ge 3$ and settle their problems by giving several kinds of $3$-uniform hypergraphs. In particular, we disprove a recent conjecture due to Matsumoto and the third author (2020) who suggested a special family of $3$-uniform hypergraph to satisfy the desired interpolation property.
Graphs With Minimal Strength
Published
• View Publication
• BIB
For any graph $G$ of order $p$, a bijection $f: V(G)\to [1,p]$ is called a numbering of the graph $G$ of order $p$. The strength $str_f(G)$ of a numbering $f: V(G)\to [1,p]$ of $G$ is defined by $str_f(G) = \max\{f(u)+f(v)\; |\; uv\in E(G)\},$ and the strength $str(G)$ of a graph $G$ itself is $str(G) = \min\{str_f(G)\;|\; f \mbox{ is a numbering of } G\}.$ A numbering $f$ is called a strength labeling of $G$ if $str_f(G)=str(G)$. In this paper, we obtained a sufficient condition for a graph to have $str(G)=|V(G)|+\d(G)$. Consequently, many questions raised in [Bounds for the strength of graphs, {\it Aust. J. Combin.} {\bf72(3)}, (2018) 492--508] and [On the strength of some trees, {\it AKCE Int. J. Graphs Comb.} (Online 2019) doi.org/10.1016/j.akcej.2019.06.002] are solved. Moreover, we showed that every graph $G$ either has $str(G)=|V(G)|+\d(G)$ or is a proper subgraph of a graph $H$ that has $str(H) = |V(H)| + \d(H)$ with $\d(H)=\d(G)$. Further, new good lower bounds of $str(G)$ are also obtained. Using these, we determined the strength of 2-regular graphs and obtained new lower bounds of $str(Q_n)$ for various $n$, where $Q_n$ is the $n$-regular hypercube.
Deviation Estimates for Eulerian Edit Numbers of Random Graphs
Published
• View Publication
• BIB
Consider the random graph~\(G(n,p)\) obtained by allowing each edge in the complete graph on~\(n\) vertices to be present with probability~\(p\) independent of the other edges. In this paper, we study the minimum number of edge edit operations needed to convert~\(G(n,p)\) into an Eulerian graph. We obtain deviation estimates for three types Eulerian edit numbers based on whether we perform only edge additions or only edge deletions or a combination of both and show that with high probability, roughly~\(\frac{n}{4}\) operations suffice in all three cases.
From non-unitary wheeled PROPs to smooth amplitudes and generalised convolutions
Published
• View Publication
• BIB
We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products and Permutations) without unit. TRAPs are equipped with a horizontal concatenation and partial trace maps. Continuous morphisms on an infinite dimensional topological space and smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP but not a wheeled PROP. We build the free objects in the category of TRAPs as TRAPs of graphs and show that a TRAP can be completed to a unitary TRAP (or wheeled PROP). We further show that it can be equipped with a vertical concatenation, which on the TRAP of linear homomorphisms of a vector space, amounts to the usual composition. The vertical concatenation in the TRAP of smooth kernels gives rise to generalised convolutions. Graphs whose vertices are decorated by smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP. From their universal properties we build smooth amplitudes associated with the graph.
The Erdős--Faber--Lovász Conjecture revisited
Published in Note Mat. 41, No. 2, 1-8 (2021)
• View Publication
• BIB
The Erdős--Faber--Lovász Conjecture, posed in 1972, states that if a graph $G$ is the union of $n$ cliques of order $n$ (referred to as defining $n$-cliques) such that two cliques can share at most one vertex, then the vertices of $G$ can be properly coloured using $n$ colours. Although still open after almost 50 years, it can be easily shown that the conjecture is true when every shared vertex belongs to exactly two defining $n$-cliques. We here provide a quick and easy algorithm to colour the vertices of $G$ in this case, and discuss connections with clique-decompositions and edge-colourings of graphs.
k-apices of minor-closed graph classes. I. Bounding the obstructions
Published
• View Publication
• BIB
Let $\mathcal{G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of $\mathcal{G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to $\mathcal{G}.$ We denote by $\mathcal{A}_k (\mathcal{G})$ the set of all graphs that are $k$-apices of $\mathcal{G}.$ We prove that every graph in the obstruction set of $\mathcal{A}_k (\mathcal{G}),$ i.e., the minor-minimal set of graphs not belonging to $\mathcal{A}_k (\mathcal{G}),$ has size at most $2^{2^{2^{2^{\mathsf{poly}(k)}}}},$ where $\mathsf{poly}$ is a polynomial function whose degree depends on the size of the minor-obstructions of $\mathcal{G}.$ This bound drops to $2^{2^{\mathsf{poly}(k)}}$ when $\mathcal{G}$ excludes some apex graph as a minor.
Ricci-flat graphs with maximum degree at most 4
Published
• View Publication
• BIB
A graph is called Ricci-flat if its Ricci curvatures vanish on all edges, here the definition of Ricci curvature on graphs was given by Lin-Lu-Yau. The authors in arXiv:1301.0102 and arXiv:1802.02982 obtained a complete characterization for all Ricci-flat graphs with girth at least five. In this paper, we completely determined all Ricci-flat graphs with maximum degree at most 4.
Preferential attachment hypergraph with high modularity
Published
• View Publication
• BIB
Numerous works have been proposed to generate random graphs preserving the same properties as real-life large scale networks. However, many real networks are better represented by hypergraphs. Few models for generating random hypergraphs exist and no general model allows to both preserve a power-law degree distribution and a high modularity indicating the presence of communities. We present a dynamic preferential attachment hypergraph model which features partition into communities. We prove that its degree distribution follows a power-law and we give theoretical lower bounds for its modularity. We compare its characteristics with a real-life co-authorship network and show that our model achieves good performances. We believe that our hypergraph model will be an interesting tool that may be used in many research domains in order to reflect better real-life phenomena.
Strongly connected orientation with minimum lexicographic order of indegrees
Published
• View Publication
• BIB
Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we give a positive answer to the conjecture, that is we show that the algorithm SC-PATH-REVERSAL finds a strongly connected orientation that minimizes the lexicographic order of indegrees.
On Vietoris--Rips complexes of hypercube graphs
Published
• View Publication
• BIB
We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at small scale parameters. In more detail, let $Q_n$ be the vertex set of the hypercube graph with $2^n$ vertices, equipped with the shortest path metric. Equivalently, $Q_n$ is the set of all binary strings of length $n$, equipped with the Hamming distance. The Vietoris-Rips complex of $Q_n$ at scale parameter zero is $2^n$ points, and the Vietoris-Rips complex of $Q_n$ at scale parameter one is the hypercube graph, which is homotopy equivalent to a wedge sum of circles. We show that the Vietoris-Rips complex of $Q_n$ at scale parameter two is homotopy equivalent to a wedge sum of 3-spheres, and furthermore we provide a formula for the number of 3-spheres. Many questions about the Vietoris-Rips complexes of $Q_n$ at larger scale parameters remain open.
The rotor-routing torsor and the Bernardi torsor disagree for every non-planar ribbon graph
Published
• View Publication
• BIB
Let $G$ be a ribbon graph. Matthew Baker and Yao Wang proved that the rotor-routing torsor and the Bernardi torsor for $G$, which are two torsor structures on the set of spanning trees for the Picard group of $G$, coincide when $G$ is planar. We prove the conjecture raised by them that the two torsors disagree when $G$ is non-planar.
Generalizing Cographs to 2-Cographs
Published
• View Publication
• BIB
A graph in which every connected induced subgraph has a disconnected complement is called a cograph. Such graphs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We define a $2$-cograph to be a graph in which the complement of every $2$-connected induced subgraph is not $2$-connected. We show that, like cographs, $2$-cographs can be recursively defined. But, unlike cographs, $2$-cographs are closed under induced minors. We characterize the class of non-$2$-cographs for which every proper induced minor is a $2$-cograph. We further find the finitely many members of this class whose complements are also induced-minor-minimal non-$2$-cographs.
Graphs with constant adjacency dimension
Published
• View Publication
• BIB
For a set W of vertices and a vertex v in a graph G, the k-vector r2(v|W) = (aG(v,w1),...,aG(v,wk)) is the adjacency representation of v with respect to W, where W = {w1,...,wk} and aG(x,y) is the minimum of 2 and the distance between the vertices x and y. The set W is an adjacency resolving set for G if distinct vertices of G have distinct adjacency representations with respect to W. The minimum cardinality of an adjacency resolving set for G is its adjacency dimension. It is clear that the adjacency dimension of an n-vertex graph G is between 1 and n-1. The graphs with adjacency dimension 1 and n-1 are known. All graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are studied in this paper. In terms of the diameter and order of G, a sharp upper bound is found for adjacency dimension of G. Also, a sharp lower bound for adjacency dimension of G is obtained in terms of order of G. Using these two bounds, all graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are characterized.