arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
About the second neighborhood conjecture for tournaments missing two stars or disjoint paths
Published • View Publication • BIB
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.
2024-06-04 v2
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.
2024-06-04
A Ramsey-type theorem on deficiency
Published • View Publication • BIB
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).
2024-06-04 v2
Shellability of $3$-Cut Complexes of Squared Cycle Graphs
Published • View Publication • BIB
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$.
2024-06-04
Degrees are Useless in SNORT When Measuring Temperature
Published • View Publication • BIB
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.
2024-06-04 v2
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.
2024-06-04 v3
Seymour and Woodall's conjecture holds for graphs with independence number two
Published • View Publication • BIB
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.
2024-06-04 v2
On the characterization of chordal graphs using Horn hypergeometric series
Published • View Publication • BIB
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
Published • View Publication • BIB
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
Published • View Publication • BIB
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.
2024-06-03
Detour Monophonic Vertex Cover Pebbling Number (DMVCPN) of Some Standard Graphs
Published • View Publication • BIB
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.
2024-06-03 v2
On the Classification of Planar-Rips complexes and their corresponding unit disk graphs
Published • View Publication • BIB
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.
Convex Geometries yielded by Transit Functions
Published • View Publication • BIB
Let $V$ be a finite nonempty set. A transit function is a map $R:V\times V\rightarrow 2^V$ such that $R(u,u)=\{u\}$, $R(u,v)=R(v,u)$ and $u\in R(u,v)$ hold for every $u,v\in V$. A set $K\subseteq V$ is $R$-convex if $R(u,v)\subset K$ for every $u,v\in K$ and all $R$-convex subsets of $V$ form a convexity $\mathcal{C}_R$. We consider Minkowski-Krein-Milman property that every $R$-convex set $K$ in a convexity $\mathcal{C}_R$ is the convex hull of the set of extreme points of $K$ from axiomatic point of view and present a characterization of it. Later we consider several well-known transit functions on graphs and present the use of the mentioned characterizations on them.
2024-06-03 v3
Chromatic symmetric functions of conjoined graphs
Published • View Publication • BIB
We introduce path-conjoined graphs defined for two rooted graphs by joining their roots with a path, and investigate the chromatic symmetric functions of its two generalizations: spider-conjoined graphs and chain-conjoined graphs. By using the composition method developed by Zhou and the third author recently, we obtain neat positive $e_I$-expansions for the chromatic symmetric functions of clique-path-cycle graphs, path-clique-path graphs, and clique-clique-path graphs. We pose the $e$-positivity conjecture for hat-chains.
2024-06-03
Applications of Sparse Hypergraph Colorings
Published • View Publication • BIB
Many problems in extremal combinatorics can be reduced to determining the independence number of a specific auxiliary hypergraph. We present two such problems, one from discrete geometry and one from hypergraph Turán theory. Using results on hypergraph colorings by Cooper-Mubayi and Li-Postle, we demonstrate that for those two problems the trivial lower bound on the independence number can be improved upon: Erdős, Graham, Ruzsa and Taylor asked to determine the largest size, denoted by $g(n)$, of a subset $P$ of the grid $[n]^2$ such that every pair of points in $P$ span a different slope. Improving on a lower bound by Zhang from 1993, we show that $$g(n)=Ω\left( \frac{n^{2/3} (\log \log n)^{1/3} }{ \log^{1/3}n} \right).$$ Let $H^r_3$ denote an $r$-graph with $r+1$ vertices and $3$ edges. Recently, Sidorenko proved the following lower bounds for the Turán density of this $r$-graph: $π(H^r_3)\geq r^{-2}$ for every $r$, and $π(H^r_3)\geq (1.7215 - o(1)) r^{-2}$. We present an improved asymptotic bound: $π(H^r_3)=Ω\left(r^{-2} \log^{1/2} r \right).$
2024-06-03
Šoltés' hypergraphs
Published • View Publication • BIB
More than $30$ years ago, Šoltés observed that the total distance of the graph $C_{11}$ does not change by deleting a vertex, and wondered about the existence of other such graphs, called Šoltés graphs. We extend the definition of Šoltés' graphs to Šoltés' hypergraphs, determine all orders for which a Šoltés' hypergraph exists, observe infinitely many uniform Šoltés' hypergraphs, and find the Šoltés' hypergraph with minimum size (spoiler: it is not $C_{11}$).
2024-06-03
The bunkbed conjecture is not robust to generalisation
Published • View Publication • BIB
The bunkbed conjecture, which has featured in the folklore of probability theory since at least 1985, concerns bond percolation on the product graph $G\Box K_2$. We have two copies $G_0$ and $G_1$ of $G$, and if $x^{(0)}$ and $x^{(1)}$ are the copies of a vertex $x\in V(G)$ in $G_0$ and $G_1$ respectively, then edge $x^{(0)}x^{(1)}$ is present. The conjecture states that, for vertices $u,v\in V(G)$, percolation from $u^{(0)}$ to $v^{(0)}$ is at least as likely as percolation from $u^{(0)}$ to $v^{(1)}$. While the conjecture is widely expected to be true, having attracted significant attention, a general proof has not been forthcoming. In this paper we consider three natural generalisations of the bunkbed conjecture; to site percolation, to hypergraphs, and to directed graphs. Our main aim is to show that all these generalisations are false, and to this end we construct a sequence of counterexamples to these statements. However, we also consider under what extra conditions these generalisations might hold, and give some classes of graph for which the bunkbed conjecture for site percolation does hold.
2024-06-02
A note on the Nearly Dispersability of Odd Toroidal Grids
Published • View Publication • BIB
The \emph{matching book thickness} $mbt(G)$ of $G$ is the minimum integer $m$ such that an $m$-page matching book embedding exists. A graph $G$ is called \emph{dispersable} if $mbt(G)=Δ(G)$, \emph{nearly dispersable} if $mbt(G)=Δ(G)+1$. Recently, the authors determined the nearly dispersability of odd toroidal grids $T_{s,t}$. In this note, we further present a brief proof for this result.