graph
34516 papers tagged with this keyword
On semi-transitive orientability of circulant graphs
Published in Discrete Applied Mathematics, Volume 377, 2025, Pages 498-509
• View Publication
• BIB
A graph $G = (V, E)$ is said to be word-representable if a word $w$ can be formed using the letters of the alphabet $V$ such that for every pair of vertices $x$ and $y$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. A \textit{semi-transitive} orientation is an acyclic directed graph where for any directed path $v_0 \rightarrow v_1 \rightarrow \ldots \rightarrow v_m$, $m \ge 2$ either there is no arc between $v_0$ and $v_m$ or for all $1 \le i < j \le m$ there is an arc between $v_i$ and $v_j$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. For given positive integers $n, a_1, a_2, \ldots, a_k$, we consider the undirected circulant graph with set of vertices $\{0, 1, 2, \ldots, n-1\}$ and the set of edges$\{ij ~ | ~ (i - j) \pmod n$ or $(j-i) \pmod n$ are in $\{a_1, a_2, \ldots, a_k\}\}$, where $ 0 < a_1 < a_2 < \ldots < a_k < (n+1)/2$. Recently, Kitaev and Pyatkin have shown that every $4$-regular circulant graph is semi-transitive. Further, they have posed an open problem regarding the semi-transitive orientability of circulant graphs for which the elements of the set $\{a_1, a_2, \ldots, a_k\}$ are consecutive positive integers.
In this paper, we solve the problem mentioned above. In addition, we show that under certain assumptions, some $k(\ge5)$-regular circulant graphs are semi-transitive, and some are not. Moreover, since a semi-transitive orientation is a characterisation of word-representability, we give some upper bound for the representation number of certain $k$-regular circulant graphs.
Sparse Sets in Triangle-free Graphs
Published
• View Publication
• BIB
A set of vertices is $k$-sparse if it induces a graph with a maximum degree of at most $k$. In this missive, we consider the order of the largest $k$-sparse set in a triangle-free graph of fixed order. We show, for example, that every triangle-free graph of order 11 contains a 1-sparse 5-set; every triangle-free graph of order 13 contains a 2-sparse 7-set; and every triangle-free graph of order 8 contains a 3-sparse 6-set. Further, these are all best possible.
For fixed $k$, we consider the growth rate of the largest $k$-sparse set of a triangle-free graph of order $n$. Also, we consider Ramsey numbers of the following type. Given $i$, what is the smallest $n$ having the property that all triangle-free graphs of order $n$ contain a 4-cycle or a $k$-sparse set of order $i$. We use both direct proof techniques and an efficient graph enumeration algorithm to obtain several values for defective Ramsey numbers and a parameter related to largest sparse sets in triangle-free graphs, along with their extremal graphs.
Nordhaus-Gaddum inequalities for the number of cliques in a graph
Nordhaus and Gaddum proved sharp upper and lower bounds on the sum and product of the chromatic number of a graph and its complement. Over the years, similar inequalities have been shown for a plenitude of different graph invariants. In this paper, we consider such inequalities for the number of cliques (complete subgraphs) in a graph $G$, denoted $k(G)$. We note that some such inequalities have been well-studied, e.g., lower bounds on $k(G)+k(\overline{G})=k(G)+i(G)$, where $i(G)$ is the number of independent subsets of $G$, has been come to be known as the study of Ramsey multiplicity. We give a history of such problems. One could consider fixed sized versions of these problems as well. We also investigate multicolor versions of these problems, meaning we $r$-color the edges of $K_n$ yielding graphs $G_1,G_2,\ldots,G_r$ and give bounds on $\sum k(G_i)$ and $\prod k(G_i)$.
Regular set in Cayley sum mgraph
A subset $C$ of the vertex set of a graph $Γ$ is said to be $(α,β)$-regular if $C$ induces an $α$-regular subgraph and every vertex outside $C$ is adjacent to exactly $β$ vertices in $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$ and a $(0,1)$-regular set is called a perfect code of $G$. By Sq$(G)$ and NSq$(G)$ we mean the set of all square elements and non-square elements of $G$. As one of the main results in this note, we show that a subgroup $H$ of a finite abelian group $G$ is an $(α,β)$-regular set of $G$, for each $0\leq α\leq |$NSq$(G)\cap H|$ and $0\leq β\leq \mathcal{L}(H)$, where $\mathcal{L}(H)=|H|$, if Sq$(G) \subseteq H$ and $\mathcal{L}(H)=|$NSq$(G)\cap H|$, otherwise. As a consequence of our result we give a very brief proof for the main results in \cite{mama, ma}. Also, we consider the dihedral group $G=D_{2n} $ and for each subgroup $H $ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α, β)$, where $H$ is an $(α,β)$-regular set of $G$.
Towards the essence of Šoltés' problem
We explore the question asking for graphs $G$ for which the total distance decreases, possibly by a fixed constant $k$, upon the removal of any of its vertices. We obtain results leading to intuition and doubts for the Šoltés' problem ($k=0$) and its conjectures.
Energy of a graph and Randić index of subgraphs
We give a new inequality between the energy of a graph and a weighted sum over the edges of the graph. Using this inequality we prove that $\mathcal{E}(G)\geq 2R(H)$, where $ \mathcal{E}(G)$ is the energy of a graph $G$ and $R(H)$ is the Randić index of any subgraph of $G$ (not necessarily induced). In particular, this generalizes well-known inequalities $\mathcal{E}(G)\geq 2R(G)$ and $\mathcal{E}(G)\geq 2μ(G)$ where $μ(G)$ is the matching number. We give other inequalities as applications to this result.
About the second neighborhood conjecture for tournaments missing two stars or disjoint paths
Seymour's Second Neighborhood Conjecture (SSNC) asserts that every oriented finite simple graph (without digons) has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). In this paper, we prove SSNC for tournaments missing two stars. We also study SSNC for tournaments missing disjoint paths and, particularly, in the case of missing paths of length 2. In some cases, we exhibit at least two vertices with the SNP.
An application of node and edge nonlinear hypergraph centrality to a protein complex hypernetwork
Published in PloS one. 2024;19(10):e0311433
• View Publication
• BIB
The use of graph centrality measures applied to biological networks, such as protein interaction networks, underpins much research into identifying key players within biological processes. This approach however is restricted to dyadic interactions and it is well-known that in many instances interactions are polyadic. In this study we illustrate the merit of using hypergraph centrality applied to a hypernetwork as an alternative. Specifically, we review and propose an extension to a recently introduced node and edge nonlinear hypergraph centrality model which provides mutually dependent node and edge centralities. A Saccharomyces Cerevisiae protein complex hypernetwork is used as an example application with nodes representing proteins and hyperedges representing protein complexes. The resulting rankings of the nodes and edges are considered to see if they provide insight into the essentiality of the proteins and complexes. We find that certain variations of the model predict essentiality more accurately and that the degree-based variation illustrates that the centrality-lethality rule extends to a hypergraph setting. In particular, through exploitation of the models flexibility, we identify small sets of proteins densely populated with essential proteins. One of the key advantages of applying this model to a protein complex hypernetwork is that it also provides a classification method for protein complexes, unlike previous approaches which are only concerned with classifying proteins.
A Ramsey-type theorem on deficiency
Ramsey's Theorem states that a graph $G$ has bounded order if and only if $G$ contains no complete graph $K_n$ or empty graph $E_n$ as its induced subgraph. The Gyárfás-Sumner conjecture says that a graph $G$ has bounded chromatic number if and only if it contains no induced subgraph isomorphic to $K_n$ or a tree $T$. The deficiency of a graph is the number of vertices that cannot be covered by a maximum matching. In this paper, we prove a Ramsey type theorem for deficiency, i.e., we characterize all the forbidden induced subgraphs for graphs $G$ with bounded deficiency. As an application, we answer a question proposed by Fujita, Kawarabayashi, Lucchesi, Ota, Plummer and Saito (JCTB, 2006).
Shellability of $3$-Cut Complexes of Squared Cycle Graphs
For a positive integer $k$, the $k$-cut complex of a graph $G$ is the simplicial complex whose facets are the $(|V(G)|-k)$-subsets $σ$ of the vertex set $V(G)$ of $G$ such that the induced subgraph of $G$ on $V(G) \setminus σ$ is disconnected. These complexes first appeared in the master thesis of Denker and were further studied by Bayer et al.\ in [Topology of cut complexes of graphs, SIAM Journal on Discrete Mathematics, 2024]. In the same article, Bayer et al.\ conjectured that for $k \geq 3$, the $k$-cut complexes of squared cycle graphs are shellable. Moreover, they also conjectured about the Betti numbers of these complexes when $k=3$. In this article, we prove these conjectures for $k=3$.
Degrees are Useless in SNORT When Measuring Temperature
Snort is a two-player game played on a simple graph in which players alternately colour a vertex such that they do not colour adjacent to their opponents' vertex. In combinatorial game theory, the temperature of a position is a measure of the urgency of moving first. It is known that the temperature of \snort in general is infinite ($K_{1,n}$ has temperature $n$). We show that the temperature in addition can be infinitely larger than the degree of the board being played on. We do so by constructing a family of positions in which the temperature grows twice as fast as the degree of the board.
Communication Complexity of Graph Isomorphism, Coloring, and Distance Games
In quantum information, nonlocal games are particularly useful for differentiating classical, quantum, and non-signalling correlations. An example of differentiation is given by the principle of no-collapse of communication complexity, which is often interpreted as necessary for a feasible physical theory. It is satisfied by quantum correlations but violated by some non-signalling ones.
In this work, we investigate this principle in the context of three nonlocal games related to graph theory, starting from the well-known graph isomorphism and graph coloring games, and introducing a new game, the vertex distance game, with a parameter $D\in\mathbb N$, that generalizes the former two to some extent. For these three games, we prove that perfect non-signalling strategies collapse communication complexity under favorable conditions. We also define a refinement of fractional isomorphism of graphs, namely D-fractional isomorphisms, and we show that this characterizes perfect non-signalling strategies for the vertex distance game. Surprisingly, we observe that non-signalling strategies provide a finer distinction for the new game compared to classical and quantum strategies since the parameter D is visible only in the non-signalling setting.
Seymour and Woodall's conjecture holds for graphs with independence number two
Woodall (and Seymour independently) in 2001 proposed a conjecture that every graph $G$ contains every complete bipartite graph on $χ(G)$ vertices as a minor, where $χ(G)$ is the chromatic number of $G$. In this paper, we prove that for each positive integer $\ell$ with $2\ell \leq χ(G)$, each graph $G$ with independence number two contains a $K^{\ell}_{\ell,χ(G)-\ell}$-minor, implying that Seymour and Woodall's conjecture holds for graphs with independence number two, where $K^{\ell}_{\ell,χ(G)-\ell}$ is the graph obtained from $K_{\ell,χ(G)-\ell}$ by making every pair of vertices on the side of the bipartition of size $\ell$ adjacent.
On the characterization of chordal graphs using Horn hypergeometric series
Radchenko and Villegas characterized the chordal graphs by the inverse of their independence polynomials being Horn hypergeometric series in Radchenko et al. in 2021. In this paper, we reprove their result using some elementary combinatorial methods. Our proof is different from their proof, and it is based on the connection between the inverse of the multi-variate independence polynomials and the multi-colored chromatic polynomials of graphs, established by Arunkumar et al. in 2018.
Restricted SDC Edge Cover Pebbling Number
The restricted edge pebbling distribution is a distribution of pebbles on the edges of $G$ is the placement of pebbles on the edges with the restriction that only an even number of pebbles should be placed on the edges with labels $0$. Given an SDC labeling of $G$, the restricted SDC edge cover pebbling number of a graph $G$, $ψ_{EC}(G)$, is the least positive integer $m$ for which any restricted edge pebbling distribution of $m$ pebbles such that at the end there are no pebbles on the edges having label $0$ will allow the shifting of a pebble simultaneously to all edges with label $1$ using a sequence of restricted edge pebbling moves. We compute the restricted SDC edge cover pebbling number for some graphs
Approximate path decompositions of regular graphs
We show that the edges of any $d$-regular graph can be almost decomposed into paths of length roughly $d$, giving an approximate solution to a problem of Kotzig from 1957. Along the way, we show that almost all of the vertices of a $d$-regular graph can be partitioned into $n/(d+1)$ paths, asymptotically confirming a conjecture of Magnant and Martin from 2009.
Weak Degeneracy of Planar Graphs
The weak degeneracy of a graph $G$ is a numerical parameter that was recently introduced by the first two authors with the aim of understanding the power of greedy algorithms for graph coloring. Every $d$-degenerate graph is weakly $d$-degenerate, but the converse is not true in general (for example, all connected $d$-regular graphs except cycles and cliques are weakly $(d-1)$-degenerate). If $G$ is weakly $d$-degenerate, then the list-chromatic number of $G$ is at most $d+1$, and the same upper bound holds for various other parameters such as the DP-chromatic number and the paint number. Here we rectify a mistake in a paper of the first two authors and give a correct proof that planar graphs are weakly $4$-degenerate, strengthening the famous result of Thomassen that planar graphs are $5$-list-colorable.
Detour Monophonic Vertex Cover Pebbling Number (DMVCPN) of Some Standard Graphs
Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. Pebbling shift is a deletion of two pebbles from a vertex and a placement of one pebble at a neighbouring vertex. The vertex cover set, $D_{vc}$ for graph $G$ is the subset of $V(G)$ such that every edge in $G$ has at least one end in $D_{vc}$. A detour monophonic path is considered to be a longest chordless path between two non adjacent vertices $x$ and $y$. A detour monophonic vertex cover pebbling number, $μ_{vc}(G),$ is a minimum number of pebbles required to cover all the vertices of the vertex cover set of $G$ with at least one pebble each on them after the transformation of pebbles by using detour monophonic paths. We determine the detour monophonic vertex cover pebbling number (DMVCPN) of the cycle, path, fan, and wheel graphs.
Guarding isometric subgraphs and Cops and Robber in planar graphs
Published in Europ. J. Combin. 119 (2024) 103809
• View Publication
• BIB
In the game of Cops and Robbers, one of the most useful results is that an isometric path in a graph can be guarded by one cop. In this paper, we introduce the concept of wide shadow in a subgraph, and use it to characterize all 1-guardable graphs. As an application, we show that 3 cops can capture a robber in any planar graph with the added restriction that at most two cops can move simultaneously, proving a conjecture of Yang and strengthening a classical result of Aigner and Fromme.
On the Classification of Planar-Rips complexes and their corresponding unit disk graphs
Given a metric space $(X,d)$, the Vietoris-Rips complex of $X$ at a scale of $r >0$ is a simplicial complex whose simplices are all those finite subsets of $X$ with diameter less than $r$. In this paper, we classify, up to simplicial isomorphism, all $n$-dimensional pseudomanifolds and weak-pseudomanifolds that can be realized as a Vietoris-Rips complex of planar point sets. We further classify two-dimensional, pure, and closed planar-Rips complexes up to homotopy. Additionally, we explore the hereditary properties and introduce the notion of obstructions in planar-Rips complexes. We also consolidate our findings to describe a class of unit disk graphs, having all maximal cliques of same cardinality. Several structural and geometric properties of planar-Rips complexes have also been derived.