graph
34516 papers tagged with this keyword
A note on the second neighborhood problem for $k$-anti-transitive and $m$-free digraphs
Seymour Second Neighborhood Conjecture (SSNC) asserts that every finite oriented graph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is called a Seymour vertex. A digraph $D = (V, E)$ is $k$-anti-transitive if for every pair of vertices $u, v \in V$, the existence of a directed path of length $k$ from $u$ to $v$ implies that $(u, v) \notin E$. An $m$-free digraph is digraph having no directed cycles with length at most $m$. In this paper, we prove that if $D$ is $k$-anti-transitive and $(k-4)$-free digraph, then $D$ has a Seymour vertex. As a consequence, a special case of Caccetta-Haggkvist Conjecture holds on 7-anti-transitive oriented graphs. This work extends recently known results.
An optimal chromatic bound for ($P_2+P_3$, gem)-free graphs
Given a graph $G$, the parameters $χ(G)$ and $ω(G)$ respectively denote the chromatic number and the clique number of $G$. A function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that $f(1) = 1$ and $f(x) \geq x$, for all $x \in \mathbb{N}$ is called a $χ$-binding function for the given class of graphs $\cal{G}$ if every $G \in \cal{G}$ satisfies $χ(G) \leq f(ω(G))$, and the \emph{smallest $χ$-binding function} $f^*$ for $\cal{G}$ is defined as $f^*(x) := \max\{χ(G)\mid G\in {\cal G} \mbox{ and } ω(G)=x\}$. In general, the problem of obtaining the smallest $χ$-binding function for the given class of graphs seems to be extremely hard, and only a few classes of graphs are studied in this direction. In this paper, we study the class of ($P_2+ P_3$, gem)-free graphs, and prove that the function $φ:\mathbb{N}\rightarrow \mathbb{N}$ defined by $φ(1)=1$, $φ(2)=4$, $φ(3)=6$ and $φ(x)=\left\lceil\frac{1}{4}(5x-1)\right\rceil$, for $x\geq 4$ is the smallest $χ$-binding function for the class of ($P_2+ P_3$, gem)-free graphs.
Weak saturation rank: a failure of linear algebraic approach to weak saturation
Given a graph $F$ and a positive integer $n$, the weak $F$-saturation number $\mathrm{wsat}(K_n,F)$ is the minimum number of edges in a graph $H$ on $n$ vertices such that the edges missing in $H$ can be added, one at a time, so that every edge creates a copy of $F$. Kalai in 1985 introduced a linear algebraic approach that became one of the most efficient tools to prove lower bounds on weak saturation numbers. If $W$ is a vector space spanned by vectors $w(e)$ assigned to edges $e$ of $K_n$ in such a way that, for every copy $F'\subset K_n$ of $F$, there exist non-zero $λ_e$, $e\in E(F')$, satisfying $\sum_{e\in E(F')}λ_e w(e)=0$, then $\mathrm{dim}W\leq \mathrm{wsat}(K_n,F)$. In this paper, we prove limitations of this approach: we show infinitely many $F$ such that, for every vector space $W$ as above, $\mathrm{dim}W<\mathrm{wsat}(K_n,F)$. We also suggest a modification of this approach that allows to get tight lower bounds even when the original linear algebraic approach is not sufficient. Finally, we generalise our results to random graphs, complete multipartite graphs, and hypergraphs.
Regular Flips in mptopcom
A triangulation of a point configuration is regular if it can be given by a height function, that is every point gets lifted to a certain height and projecting the lower convex hull gives the triangulation. Checking regularity of a triangulation usually is done by solving a linear program. However when checking many flip-connected triangulations for regularity, one can instead ask which flips preserve regularity. When traversing the flip graph for enumerating all regular triangulations, this allows for vast reduction of the linear programs needing to be solved. At the same time the remaining linear programs will be much smaller.
A note on locating-dominating sets in twin-free graphs
In this short note, we prove that every twin-free graph on $n$ vertices contains a locating-dominating set of size at most $\lceil\frac{5}{8}n\rceil$. This improves the earlier bound of $\lfloor\frac{2}{3}n\rfloor$ due to Foucaud, Henning, Löwenstein and Sasse from 2016, and makes some progress towards the well-studied locating-dominating conjecture of Garijo, González and Márquez.
On the resistance regular graphs
For a connected graph $G$, its resistance distance matrix is denoted by $R(G)$. A graph is called resistance regular if all the row (or column) sums of $R(G)$ are equal. We provide a necessary and sufficient condition for a simple connected graph to be resistance regular. Additionally, we establish sharp bounds for the resistance spectral radius and present various bounds for the resistance energy of $G$. Furthermore, we compute the resistance spectrum and resistance energy of some resistance regular graphs.
On walk-regular graphs and optimal duals of frames generated by graphs
Erasures are a common problem that arises while signals or data are being transmitted. A profound challenge in frame theory is to find the optimal dual frames ($OD$-frames) to minimize the reconstruction error if erasures occur. In this paper, we study the optimal duals of frames generated by graphs. First, we characterize walk-regular graphs. Then, it is shown that the diagonal entries of the Moore-Penrose inverse of the Laplacian matrix (or adjacency matrix) of a walk-regular graph are equal. Besides, we prove that connected graphs generate full spark frames. Using these results, we establish that the canonical dual frames are the unique $OD$-frames of a frame generated by a walk-regular graph. A sufficient condition under which the canonical dual frame is the unique $OD$-frame is known. Here, we establish that the condition is also necessary if the frame is generated by a connected graph.
Bollobás-Erdős-Tuza conjecture for graphs with no induced $K_{s,t}$
A widely open conjecture proposed by Bollobás, Erdős, and Tuza in the early 1990s states that for any $n$-vertex graph $G$, if the independence number $α(G) = Ω(n)$, then there is a subset $T \subseteq V(G)$ with $|T| = o(n)$ such that $T$ intersects all maximum independent sets of $G$. In this paper, we prove that this conjecture holds for graphs that do not contain an induced $K_{s,t}$ for fixed $t \ge s$. Our proof leverages the probabilistic method at an appropriate juncture.
Coloring some $(P_6,C_4)$-free graphs with $Δ-1$ colors
The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. Let $C=v_1v_2v_3v_4v_5v_1$ be an induced $C_5$. A {\em $C_5^+$} is a graph obtained from $C$ by adding a $C_3=xyzx$ and a $P_2=t_1t_2$ such that (1) $x$ and $y$ are both exactly adjacent to $v_1,v_2,v_3$ in $V(C)$, $z$ is exactly adjacent to $v_2$ in $V(C)$, $t_1$ is exactly adjacent to $v_4,v_5$ in $V(C)$ and $t_2$ is exactly adjacent to $v_1,v_4,v_5$ in $V(C)$, (2) $t_1$ is exactly adjacent to $z$ in $\{x,y,z\}$ and $t_2$ has no neighbors in $\{x,y,z\}$. In this paper, we show that the Borodin-Kostochka Conjecture holds for ($P_6,C_4,H$)-free graphs, where $H\in \{K_7,C_5^+\}$. This generalizes some results of Gupta and Pradhan in \cite{GP21,GP24}.
Linear arboricity of robust expanders
In 1980, Akiyama, Exoo, and Harary conjectured that any graph $G$ can be decomposed into at most $\lceil(Δ(G)+1)/2\rceil$ linear forests. We confirm the conjecture for robust expanders of linear minimum degree.
As a consequence, the conjecture holds for dense quasirandom graphs of linear minimum degree
as well as for large $n$-vertex graphs with minimum degree arbitrarily close to $n/2$ from above.
Claw-free minimal matching covered graphs
A matching covered graph $G$ is minimal if for each edge $e$ of $G$, $G-e$ is not matching covered. An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Thus a matching covered graph is minimal if and only if it is free of removable edges. For bipartite graphs, Lovász and Plummer gave a characterization of bipartite minimal matching covered graphs. For bricks, Lovász showed that the only bricks that are minimal matching covered are $K_4$ and $\overline{C_6}$. In this paper, we present a complete characterization of minimal matching covered graphs that are claw-free. Moreover, for cubic claw-free matching covered graphs that are not minimal matching covered, we obtain the number of their removable edges (with respect to their bricks), and then prove that they have at least 12 removable edges (the bound is sharp).
The number of 1-nearly independent edge subsets
Let $G=(V(G),E(G))$ be a graph with set of vertices $V(G)$ and set of edges $E(G)$. A subset $S$ of $E(G)$ is called a $k$-nearly independent edge subsets if there are exactly $k$ pairs of elements of $S$ that share a common end. $Z_k(G)$ is the number of such subsets. This paper studies $Z_1$. Various properties of $Z_1$ are discussed. We characterise the two $n$-vertex trees with smallest $Z_1$, as well as the one with largest value. A conjecture on the $n$-vertex tree with second-largest $Z_1$ is proposed.
Partitioning Complete Geometric Graphs on Dense Point Sets into Plane Subgraphs
A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a positive constant $c<1$, such that every complete geometric graph on $n$ points can be partitioned into at most $cn$ plane graphs (that is, noncrossing subgraphs). We answer this question in the affirmative in the special case where the underlying point set $P$ is \emph{dense}, which means that the ratio between the maximum and the minimum distances in $P$ is of the order of $Θ(\sqrt{n})$.
Sublinear Cuts are the Exception in BDF-GIRGs
The introduction of geometry has proven instrumental in the efforts towards more realistic models for real-world networks. In Geometric Inhomogeneous Random Graphs (GIRGs), Euclidean Geometry induces clustering of the vertices, which is widely observed in networks in the wild. Euclidean Geometry in multiple dimensions however restricts proximity of vertices to those cases where vertices are close in each coordinate. We introduce a large class of GIRG extensions, called BDF-GIRGs, which capture arbitrary hierarchies of the coordinates within the distance function of the vertex feature space. These distance functions have the potential to allow more realistic modeling of the complex formation of social ties in real-world networks, where similarities between people lead to connections. Here, similarity with respect to certain features, such as familial kinship or a shared workplace, suffices for the formation of ties. It is known that - while many key properties of GIRGs, such as log-log average distance and sparsity, are independent of the distance function - the Euclidean metric induces small separators, i.e. sublinear cuts of the unique giant component in GIRGs, whereas no such sublinear separators exist under the component-wise minimum distance. Building on work of Lengler and Todorović, we give a complete classification for the existence of small separators in BDF-GIRGs. We further show that BDF-GIRGs all fulfill a stochastic triangle inequality and thus also exhibit clustering.
Quasi-transitive $K_\infty$-minor free graphs
We prove that every locally finite quasi-transitive graph that does not contain $K_\infty$ as a minor is quasi-isometric to some planar quasi-transitive locally finite graph. This solves a problem of Esperet and Giocanti and improves their recent result that such graphs are quasi-isometric to some planar graph of bounded degree.
The $e$-positivity of the chromatic symmetric function for twinned paths and cycles
Published in Discrete Math. 348, No. 12, Article ID 114687, 27 p. (2025)
• View Publication
• BIB
The operation of twinning a graph at a vertex was introduced by Foley, Hoàng, and Merkel (2019), who conjectured that twinning preserves $e$-positivity of the chromatic symmetric function. A counterexample to this conjecture was given by Li, Li, Wang, and Yang (2021). In this paper, we prove that $e$-positivity is preserved by the twinning operation on cycles, by giving an $e$-positive generating function for the chromatic symmetric function, as well as an $e$-positive recurrence. We derive similar $e$-positive generating functions and recurrences for twins of paths. Our methods make use of the important triple deletion formulas of Orellana and Scott (2014), as well as new symmetric function identities.
Turán number of complete multipartite graphs in multipartite graphs
In this paper we study a multi-partite version of the Erdős--Stone theorem. Given integers $r<k$ and $t\ge 1$, let $\text{ex}_k(n, K_{r+1}(t))$ be the maximum number of edges of $K_{r+1}(t)$-free $k$-partite graphs with $n$ vertices in each part, where $K_{r+1}(t)$ is the complete $(r+1)$-partite graph with $t$ vertices in each part. We determine the exact value of $\text{ex}_k(n, K_{r+1}(t))$ for $t\le 3$, $r<k\le 2r$ and sufficiently large $n$. We also characterize all extremal graphs for $r, k$ such that $r$ divides $k$, analogous to a result of Erd\H os and Simonovits on forbidding $K_{r+1}(t)$ in general graphs.
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph.
This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge-colorable if and only if it can be obtained from the Petersen graph by replacing each vertex by a 2-edge-connected planar cubic (multi)graph.
This result is a nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An unexpected consequence of this result is a coloring-flow duality statement for the projective plane: A cubic graph embedded in the projective plane is 3-edge-colorable if and only if its dual multigraph is 5-vertex-colorable. Moreover, we show that a 2-edge connected graph embedded in the projective plane admits a nowhere-zero 4-flow unless it is Peteren-like (in which case it does not admit nowhere-zero 4-flows). This proves a strengthening of the Tutte 4-flow conjecture for graphs on the projective plane.
Some of our proofs require extensive computer verification. The necessary source codes, together with the input and output files and the complete set of more than 6000 reducible configurations are available on Github (https://github.com/edge-coloring) which can be considered as an Addendum to this paper. Moreover, we provide pseudocodes for all our computer verifications.
Random walks on edge colored random graphs
We consider random walks on edge coloured random graphs, where the colour of an edge reflects the cost of using it. In the simplest instance, the edges are coloured red or blue. Blue edges are free to use, whereas red edges incur a unit cost every time they are traversed.
Generalized Ramsey numbers via conflict-free hypergraph matchings
Given graphs $G, H$ and an integer $q \ge 2$, the generalized Ramsey number, denoted $r(G,H,q)$, is the minimum number of colours needed to edge-colour $G$ such that every copy of $H$ receives at least $q$ colours. In this paper, we prove that for a fixed integer $k \ge 3$, we have $r(K_n,C_k,3) = n/(k-2)+o(n)$. This generalises work of Joos and Muybayi, who proved $r(K_n,C_4,3) = n/2+o(n)$. We also provide an upper bound on $r(K_{n,n}, C_k, 3)$, which generalises a result of Joos and Mubayi that $r(K_{n,n},C_4,3) = 2n/3+o(n)$. Both of our results are in fact specific cases of more general theorems concerning families of cycles.