graph
34516 papers tagged with this keyword
2-extendability of (4,5,6)-fullerenes
A (4,5,6)-fullerene is a plane cubic graph whose faces are only quadrilaterals, pentagons and hexagons, which includes all (4,6)- and (5,6)-fullerenes. A connected graph $G$ with at least $2k+2$ vertices is $k$-extendable if $G$ has perfect matchings and any matching of size $k$ is contained in a perfect matching of $G$. We know that each (4,5,6)-fullerene graph is 1-extendable and at most 2-extendable. It is natural to wonder which (4,5,6)-fullerene graphs are 2-extendable. In this paper, we completely solve this problem (see Theorem 3.3): All non-2-extendable (4,5,6)-fullerenes consist of four sporadic (4,5,6)-fullerenes ($F_{12},F_{14},F_{18}$ and $F_{20}$) and five classes of (4,5,6)-fullerenes. As a surprising consequence, we find that all (4,5,6)-fullerenes with the anti-Kekulé number 3 are non-2-extendable. Further, there also always exists a non-2-extendable (4,5,6)-fullerene with arbitrarily even $n\geqslant10$ vertices.
Low rank matrix completion and realization of graphs: results and problems
The Netflix problem (from machine learning) asks the following. Given a ratings matrix in which each entry $(i,j)$ represents the rating of movie $j$ by customer $i$, if customer $i$ has watched movie $j$, and is otherwise missing, we would like to predict the remaining entries in order to make good recommendations to customers on what to watch next. The remaining entries are predicted so as to minimize the {\it rank} of the completed matrix.
In this survey we study a more general problem, in which instead of knowing specific matrix elements, we know linear relations on such elements. We describe applications of these results to embeddings of graphs in surfaces (more precisely, embeddings with rotation systems, and embeddings modulo 2).
Oriented discrepancy of Hamilton cycles in oriented graphs satisfying Ore-type condition
Erd{\H o}s (1963) initiated extensive graph discrepancy research on 2-edge-colored graphs. Gishboliner, Krivelevich, and Michaeli (2023) launched similar research on oriented graphs. They conjectured the following extension of Dirac's theorem: If $D$ is an oriented graph on $n \ge 3$ vertices with minimum degree $δ(D) \ge n/ 2$, then $D$ contains a Hamilton oriented cycle with at least $δ(D)$ arcs in the same direction. This conjecture was proved by Freschi and Lo (2024) who posed an open problem to extend their result to an Ore-type condition. We propose two conjectures for such extensions and prove results which provide support to the conjectures.
Enumeration of Colored Tilings on Graphs via Generating Functions
In this paper, we study the problem of partitioning a graph into connected and colored components called blocks. Using bivariate generating functions and combinatorial techniques, we determine the expected number of blocks when the vertices of a graph $G$, for $G$ in certain families of graphs, are colored uniformly and independently. Special emphasis is placed on graphs of the form $G \times P_n$, where $P_n$ is the path graph on $n$ vertices. This case serves as a generalization of the problem of enumerating the number of tilings of an $m \times n$ grid using colored polyominoes.
Refined Brill-Noether Theory for Complete Graphs
The divisor theory of the complete graph $K_n$ is in many ways similar to that of a plane curve of degree $n$. We compute the splitting types of all divisors on the complete graph $K_n$. We see that the possible splitting types of divisors on $K_n$ exactly match the possible splitting types of line bundles on a smooth plane curve of degree $n$. This generalizes the earlier result of Cori and Le Borgne computing the ranks of all divisors on $K_n$, and the earlier work of Cools and Panizzut analyzing the possible ranks of divisors of fixed degree on $K_n$.
Critical $(P_5,W_4)$-Free Graphs
A graph $G$ is $k$-vertex-critical if $χ(G) = k$ but $χ(G-v)<k$ for all $v \in V(G)$. A graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A $W_4$ is the graph consisting of a $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$.
We show that there are finitely many $k$-vertex-critical $(P_5,W_4)$-free graphs for all $k \ge 1$ and we characterize all $5$-vertex-critical $(P_5,W_4)$-free graphs. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,W_4)$-free graphs for each $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.
Injective edge-coloring of graphs with small maximum degree
An injective $k$-edge-coloring of a graph $G$ is a mapping $φ$: $E(G)\rightarrow\{1,2,...,k\}$, such that $φ(e)\neφ(e')$ if edges $e$ and $e'$ are at distance two, or are in a triangle. The smallest integer $k$ such that $G$ has an injective $k$-edge-coloring is called the injective chromatic index of $G$, denoted by $χ_i'(G)$. In this paper, we prove that $χ_i'(G)\le 7$ for every graph $G$ with $Δ(G)\leq 4$ and mad$(G)<\frac{8}{3}$, where $Δ(G)$ is the maximum degree of $G$.
On the crossing profile of rectilinear drawings of $K_n$
We introduce the \textit{crossing profile} of a drawing of a graph. This is a sequence of integers whose $(k+1)^{\text{th}}$ entry counts the number of edges in the drawing which are involved in exactly $k$ crossings. The first and second entries of this sequence (which count uncrossed edges and edges with one crossing, respectively) have been studied by multiple authors. However, to the best of our knowledge, we are the first to consider the entire sequence. Most of our results concern crossing profiles of rectilinear drawings of the complete graph $K_n$. We show that for any $k\leq (n-2)^2/4$ there is such a drawing for which the $k^{\text{th}}$ entry of the crossing profile is of magnitude $Ω(n)$. On the other hand, we prove that for any $k \geq 1$ and any sufficiently large $n$, the $k^{\text{th}}$ entry can also be made to be $0$. As our main result, we essentially characterize the asymptotic behavior of both the maximum and minimum values that the sum of the first $k$ entries of the crossing profile might achieve. Our proofs are elementary and rely mostly on geometric constructions and classical results from discrete geometry and geometric graph theory.
An Aα-spectral radius for the existence of {P3, P4, P5}-factors in graphs
Let $G$ be a connected graph of order $n$ with $n\geq25$. A $\{P_3,P_4,P_5\}$-factor is a spanning subgraph $H$ of $G$ such that every component of $H$ is isomorphic to an element of $\{P_3,P_4,P_5\}$. Nikiforov introduced the $A_α$-matrix of $G$ as $A_α(G)=αD(G)+(1-α)A(G)$ [V. Nikiforov, Merging the $A$- and $Q$-spectral theories, Appl. Anal. Discrete Math. 11 (2017) 81--107], where $α\in[0,1]$, $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$, denoted by $λ_α(G)$, is called the $A_α$-spectral radius of $G$. In this paper, it is proved that $G$ has a $\{P_3,P_4,P_5\}$-factor unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $λ_α(G)\geqλ_α(K_1\vee(K_{n-2}\cup K_1))$, where $α$ be a real number with $0\leqα<\frac{2}{3}$.
D-Antimagic Labelings on Oriented Linear Forests
Let $\overrightarrow{G}$ be an oriented graph with the vertex set $V(\overrightarrow{G})$ and the arc set $A(\overrightarrow{G})$. Suppose that $D\subseteq \{0,1,\dots,\partial \}$ is a distance set where $\partial=\max \{d(u,v)<\infty|u,v\in V(\overrightarrow{G})\}$. Given a bijection $h:V(\overrightarrow{G}) \rightarrow\{1,2,\dots,|V(\overrightarrow{G})|\}$, the $D$-weight of a vertex $v\in V(\overrightarrow{G})$ is defined as $ω_D(v)=\sum_{u\in N_D(v)}h(u)$, where $N_D(v)=\{u\in V|d(v,u)\in D\}$. A bijection $h$ is called a $D$-antimagic labeling if for every pair of distinct vertices $x$ and $y$, $ω_D(x)\ne ω_D(y)$. An oriented graph $\overrightarrow{G}$ is called $D$-antimagic if it admits such a labeling.
In addition to introducing the notion of $D$-antimagic labeling for oriented graphs, we investigate some properties of $D$-antimagic oriented graphs. In particular, we study $D$-antimagic linear forests for some $D$. We characterize $D$-antimagic paths where $1 \in D$, $n-1\in D$, or $\{0,n-2\}\subset D$. We characterize distance antimagic trees and forests. We conclude by constructing $D$-antimagic labelings on oriented linear forests.
On the Boxicity of Line Graphs and of Their Complements
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.''
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded.
We finally extend our approach to upper and lower bounding the boxicity of line graphs.
Equivalence of labeled graphs and lattices
In $1973$, Harary and Palmer posed the problem of enumeration of labeled graphs on $n \geq 1$ unisolated vertices and $l \geq 0$ edges. In $1997$, Bender et al.\ obtained a recurrence relation representing the sequence $A054548$(OEIS) of labeled graphs on $n \geq 0$ unisolated vertices containing $q \geq \frac{n}{2}$ edges. In $2020$, Bhavale and Waphare obtained a recurrence relation representing the sequence of fundamental basic blocks on $n \geq 0$ comparable reducible elements, having nullity $l \geq \lfloor \frac{n+1}{2} \rfloor$. In this paper, we prove the equivalence of these two sequences. We also provide an edge labeling for a given vertex labeled finite simple graph.
D-Antimagic Labelings of Oriented 2-Regular Graphs
Given an oriented graph $\overrightarrow{G}$ and $D$ a distance set of $\overrightarrow{G}$, $\overrightarrow{G}$ is $D$-antimagic if there exists a bijective vertex labeling such that the sum of all labels of the $D$-out-neighbors of each vertex is distinct.
This paper investigates $D$-antimagic labelings of 2-regular oriented graphs. We characterize $D$-antimagic oriented cycles, when $|D|=1$; $D$-antimagic unidirectional odd cycles, when $|D|=2$; and $D$-antimagic $Θ$-oriented cycles. Finally, we characterize $D$-antimagic oriented 2-regular graphs, when $|D|=1$, and $D$-antimagic $Θ$-oriented 2-regular graphs.
On Maximum Induced Forests of the Balanced Bipartite Graphs
The decycling number $\nabla(G)$ of a graph $G$ is the minimum number of vertices that must be removed to eliminate all cycles in $G$. The forest number $f(G)$ is the maximum number of vertices that induce a forest in $G$. So $\nabla(G) + f(G) = |V(G)|$. For the Cartesian product $T \,\square\, T'$ of trees $T$ and $T'$ it is proved that $\nabla(S_n \,\square\, S_{n'}) \leq \nabla(T \,\square\, T')$, thus resolving the conjecture of Wang and Wu asserting that $f(T \,\square\, T') \leq f(S_n \,\square\, S_{n'})$. It is shown that $\nabla(T \,\square\, T') \ge\min\{ |V(T)|,|V(T')|\} - 1$ and the equality cases characterized. For prisms over trees, it is proved that $\nabla(T\,\square\, K_2) = α'(T)$, and for arbitrary graphs $G_1$ and $G_2$, it is proved that $\nabla(G_1 \,\square\, G_2) \geq α'(G_1) α'(G_2)$, where $α'$ is the matching number.
D-Antimagic Labelings of Oriented Star Forests
For a distance set $D$, an oriented graph $\overrightarrow{G}$ is $D$-antimagic if there exists a bijective vertex labeling such that the sum of all labels of $D$-out-neighbors is distinct for each vertex. This paper provides all orientations and all possible $D$s of a $D$-antimagic oriented star. We provide necessary and sufficient condition for $D$-antimagic oriented star forest containing isomorphic oriented stars. We show that for all possible $D$s, there exists an orientation for a star forest to admit a $D$-antimagic labeling.
Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs
Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When $\mathcal{F}$ is the family of empty graphs, this bound simplifies to $α(G) \le 2γ(G)$ for $K_{1,3}$-free (claw-free) graphs, where $α(G)$ is the \emph{independence number} of $G$. For $d$-regular graphs, this is further refined to the bound $α(G) \le 2\left(\frac{d+1}{d+2}\right)γ(G)$, which is tight for $d \in \{2, 3, 4\}$. Using Ramsey theory, we extend this framework to edge-hereditary graph families, showing that for $K_{1,r}$-free graphs, we have $α_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})γ(G)$, where $\mathcal{F^*}$ is the set of graphs not in $\mathcal{F}$. Specializing to $K_q$-free graphs, we show $α_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)γ(G)$. Finally, for the \emph{$k$-independence number} $α_k(G)$, we prove that if $G$ is $K_{1,r}$-free with order $n$ and minimum degree $δ\ge k+1$, \[ α_k(G) \le \left( \frac{(r-1)(k+1)}{δ- k + (r-1)(k+1)} \right) n, \] and this bound is sharp for all parameters.
Computational Graph Decompositions I: Oriented Berge-Fulkerson Conjecture
The Berge-Fulkerson conjecture states that every bridgeless cubic graph can be covered with six perfect matchings such that each edge is covered exactly twice. An equivalent reformulation is that it's possible to find a 6-cycle 4-cover. In this paper we discuss the oriented version (o6c4c) of the latter statement, pose it as a conjecture and prove it for the family of Isaacs flower snarks. Similarly to the case of oriented cycle double cover, we can always construct an orientable surface (possibly with boundary) from an o6c4c solution. If the o6c4c solution itself splits into two (not necessarily oriented) cycle double covers, then it's also possible to build another pair of orientable surfaces (also possibly with boundaries). Finally we show how to build a ribbon graph, and for some special o6c4c cases we show that this ribbon graph corresponds to an oriented 6-cycle double cover. Github: https://github.com/gexahedron/cycle-double-covers
A Path Variant of the Explorer Director Game on Graphs
The Explorer Director game, first introduced by Nedev and Muthukrishnan (2008), simulates a Mobile Agent exploring a ring network with an inconsistent global sense of direction. The two players, the Explorer and the Director, jointly control the movement of a token on the graph. During each turn, the Explorer calls any valid distance, $d$, with the aim of maximizing the number of vertices the token visits, and the Director moves the token to any vertex distance $d$ away with the aim of minimizing the number of visited vertices. The game, on graph $G$ with starting vertex $v$, ends when no new vertices could be visited assuming both players are playing optimally, and we denote the total number of visited vertices by $f_d(G,v)$. Since 2008, many authors have explored $f_d(G,v)$ for various graph families as well as analyses of complexity.
In this work, we study a variation of this game focused on path lengths rather than distances. In this variant, if the token is on vertex $u$, the Explorer is now allowed to select any valid \emph{path length}, $l$, and the Director can now move the token to any vertex $v$ such that $G$ contains a $uv$ path of length $l$. The corresponding parameter is denoted by $f_p(G,v)$. In this paper, we explore how far apart $f_d(G,v)$ and $f_p(G,v)$ can be for various graph families, proving that for any $n$ there are graphs $G$ and $H$ with $f_p(G,v)-f_d(G,v)>n$ and $f_d(G,v)-f_p(G,v)>n$.
Bounds on Box Codes
Let $n_q(M,d)$ be the minimum length of a $q$-ary code of size $M$ and minimum distance $d$. Bounding $n_q(M,d)$ is a fundamental problem that lies at the heart of coding theory. This work considers a generalization $n^\bx_q(M,d)$ of $n_q(M,d)$ corresponding to codes in which codewords have \emph{protected} and \emph{unprotected} entries; where (analogs of) distance and of length are measured with respect to protected entries only. Such codes, here referred to as \emph{box codes}, have seen prior studies in the context of bipartite graph covering. Upper and lower bounds on $n^\bx_q(M,d)$ are presented.
A symmetric function approach to log-concavity of independence polynomials
As introduced by Gutman and Harary, the independence polynomial of a graph serves as the generating polynomial of its independent sets. In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of all trees are unimodal. In this paper we come up with a new way for proving log-concavity of independence polynomials of graphs by means of their chromatic symmetric functions, which is inspired by a result of Stanley connecting properties of polynomials to positivity of symmetric functions. This method turns out to be more suitable for treating trees with irregular structures, and as a simple application we show that all spiders have log-concave independence polynomials, which provides more evidence for the above conjecture. Moreover, we present two symmetric function analogues of a basic recurrence formula for independence polynomials, and show that all pineapple graphs also have log-concave independence polynomials.