graph
34516 papers tagged with this keyword
Quantum independence and chromatic numbers
We construct a new graph on 120 vertices whose quantum and classical independence numbers are different. At the same time, we construct an infinite family of graphs whose quantum chromatic numbers are smaller than the classical chromatic numbers. Furthermore, we discover the relation to Kochen-Specker sets that characterizes quantum cocliques that are strictly bigger than classical ones. Finally, we prove that for graphs with independence number is two, quantum and classical independence numbers coincide.
Distance-balancing of cube-connected cycles graphs
We show that cube-connected cycles graphs $CCC_n$ are distance-balanced, and nicely distance-balanced if and only if $n$ is even.
On Total Bondage Number of Graphs
In this paper, we explore the concept of total bondage in finite graphs without isolated vertices. A vertex set $D$ is considered a total dominating set if every vertex $v$ in the graph $G$ has a neighbor in $D$. The minimum cardinality of all total dominating sets in $G$ is denoted as $γ_t(G)$. A total bondage edge set $B$ is a subset of the edges of $G$ such that the removal of $B$ from $G$ does not create isolated vertices, and the total dominating number of the resulting graph $G-B$ is strictly greater than $γ_t(G)$. The total bondage number of $G$, denoted $b_t(G)$, is defined as the minimum cardinality of such total bondage edge sets. Our paper establishes upper bounds on $b_t(G)$ based on the maximum degree of a graph. Notably, for planar graphs with minimum degree $δ(G) \geq 3$, we prove $b_t(G) \leq Δ+ 8$ or $b_t(G) \leq 10$. Additionally, for a connected planar graph with $δ(G) \geq 3$ and $g(G) \geq 4$, we show that $b_t(G) \leq Δ+ 3$ if $G$ does not contain an edge with degree sum at most 7. We also improve some upper bounds of the total bondage number for trees, enhance existing lemmas, and find upper bounds for total bondage in specific graph classes.
A note on girth-diameter cages
In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus on $(k;\,5,4)$-graphs. We show that $n_0(k;\,5,4) \geq k^2+k+2$ for all $k$, and report on the determination of all $(k;\,5,4)$-cages for $k=3, 4$ and $5$ and examples with $k = 6$, and describe some examples of $(k;\,5,4)$-graphs which prove that $n_0(k;\,5,4) \leq 2k^2$ for infinitely many values of $k$.
The Restricted Edge-Connectivity of Strong Product Graphs
The restricted edge-connectivity of a connected graph $G$, denoted by $λ^{\prime}(G)$, if it exists, is the minimum cardinality of a set of edges whose deletion makes $G$ disconnected and each component with at least 2 vertices. It was proved that if $G$ is not a star and $|V(G)|\geq4$, then $λ^{\prime}(G)$ exists and $λ^{\prime}(G)\leqξ(G)$, where $ξ(G)$ is the minimum edge-degree of $G$. Thus a graph $G$ is called maximally restricted edge-connected if $λ^{\prime}(G)=ξ(G)$; and a graph $G$ is called super restricted edge-connected if each minimum restricted edge-cut isolates an edge of $G$. The strong product of graphs $G$ and $H$, denoted by $G\boxtimes H$, is the graph with vertex set $V(G)\times V(H)$ and edge set $\{(x_1,y_1)(x_2,y_2)\ |\ x_1=x_2$ and $y_1y_2\in E(H)$; or $y_1=y_2$ and $x_1x_2\in E(G)$; or $x_1x_2\in E(G)$ and $y_1y_2\in E(H)$\}. In this paper, we determine, for any nontrivial connected graph $G$, the restricted edge-connectivity of $G\boxtimes P_n$, $G\boxtimes C_n$ and $G\boxtimes K_n$, where $P_n$, $C_n$ and $K_n$ are the path, the cycle and the complete graph on $n$ vertices, respectively. As corollaries, we give sufficient conditions for these strong product graphs $G\boxtimes P_n$, $G\boxtimes C_n$ and $G\boxtimes K_n$ to be maximally restricted edge-connected and super restricted edge-connected.
Two Laplacians for the resistance distance matrix of a graph
In this paper, we present two new matrices, namely the resistance Laplacian and resistance signless Laplacian matrix of a connected graph. We provide a generalized form of these matrices for different classes of graphs, including the complete graph, complete bipartite graph, and cycle. We investigate the spectral properties of these matrices, analyzing their eigenvalues and eigenvectors. Moreover, we introduce a concept similar to graph energy and define it as the resistance Laplacian energy of a graph and further discuss some bounds for this energy.
On $2$-integral Cayley graphs
In this paper, we introduce the concept of $k$-integral graphs. A graph $Γ$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $Γ$ over rational field $\mathbb Q$ is equal to $k$. We prove that the set of all finite connected graphs with given algebraic degree and maximum degree is finite. $1$-integral graphs are just integral ones, graphs all of whose eigenvalues are integer. We study
$2$-integral Cayley graphs over finite groups $G$ with respect to Cayley sets which are a union of conjugacy classes of $G$. Among other general results, we completely characterize all finite abelian groups having a connected $2$-integral Cayley graph with valency $2,3,4$ and $5$.
Furthermore, we classify finite groups $G$ for which all Cayley graphs over $G$ with bounded valency are $2$-integral.
$n\text{-}Lie_d$ Operad and its Koszul Dual
We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul dual of $n\text{-}Lie_d$, called $n\text{-}Com_{-d+n-2}$, whose relations are derived from the Specht module $S^{(n,n-1)}$ for a partition $(n,n-1)$ of $2n-1$. The intrinsic connection between these two operads come from the eigenvalues of the sequence of graphs $\{\mathcal{O}_n\}_{n\geq 0}$, called the Odd graphs, whose spectrum is related to the lower triangular sequence $\{\mathcal{E}_{r,n}\}$, called the Catalan triangle.
Partitioning a Planar Graph into two Triangle-Forests
We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs. After finishing the paper we noticed that our main result was already proved much earlier by Carsten Thomassen [Decomposing a Planar Graph into Degenerate Graphs, JCTB 1995].
Extremal density for subdivisions with length or sparsity constraints
Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu.
We observe that this linear bound on average degree is best possible whenever $H$ is logarithmically dense. We further show that this logarithmic density is the critical threshold: for many graphs $H$ below this density, its subdivisions are forcible by a sublinear-in-$e(H)$ bound on average degree. We provide such examples by proving that the subdivisions of any almost bipartite graph $H$ with sublogarithmic density are forcible by a sublinear-in-$e(H)$ bound on average degree, provided that $H$ satisfies some additional separability condition.
On extremal (almost) edge-girth-regular graphs
A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of egr-graphs.
Complexity results on locally-balanced $2$-partitions of graphs
A \emph{$2$-partition of a graph $G$} is a function $f:V(G)\rightarrow \{0,1\}$. A $2$-partition $f$ of a graph $G$ is a \emph{locally-balanced with an open neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}(v)\colon\,f(u)=0\}\vert - \vert \{u\in N_{G}(v)\colon\,f(u)=1\}\vert \right\vert\leq 1.$$ A $2$-partition $f^{\prime}$ of a graph $G$ is a \emph{locally-balanced with a closed neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=0\}\vert - \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=1\}\vert \right\vert\leq 1.$$ In this paper we prove that the problem of the existence of locally-balanced $2$-partition with an open (closed) neighborhood is $NP$-complete for some restricted classes of graphs. In particular, we show that the problem of deciding if a given graph has a locally-balanced $2$-partition with an open neighborhood is $NP$-complete for biregular bipartite graphs and even bipartite graphs with maximum degree $4$, and the problem of deciding if a given graph has a locally-balanced $2$-partition with a closed neighborhood is $NP$-complete even for subcubic bipartite graphs and odd graphs with maximum degree $3$. Last results prove a conjecture of Balikyan and Kamalian.
The forb-flex method for odd coloring and proper conflict-free coloring of planar graphs
We introduce a new tool useful for greedy coloring, which we call the forb-flex method, and apply it to odd coloring and proper conflict-free coloring of planar graphs. The odd chromatic number, denoted $χ_{\mathsf{o}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing an odd number of times in its neighborhood. The proper conflict-free chromatic number, denoted $χ_{\mathsf{PCF}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing uniquely in its neighborhood. Our new tool works by carefully counting the structures in the neighborhood of a vertex and determining if a neighbor of a vertex can be recolored at the end of a greedy coloring process to avoid conflicts. Combining this with the discharging method allows us to prove $χ_{\mathsf{PCF}}(G) \leq 4$ for planar graphs of girth at least 11, and $χ_{\mathsf{o}}(G) \leq 4$ for planar graphs of girth at least 10. These results improve upon the recent works of Cho, Choi, Kwon, and Park.
On a conjecture of Eǧecioǧlu and Iršič
In 2021, {Ö}. Eǧecioǧlu, V. Iršič introduced the concept of Fibonacci-run graph $\mathcal{R}_{n}$ as an induced subgraph of Hypercube. They conjectured that the diameter of $\mathcal{R}_{n}$ is given by $n-\lfloor(1+\frac{n}{2})^{\frac{1}{2}}-\frac{3}{4}\rfloor$. In this paper, we introduce the novel concept of distance-barriers between vertices in $\mathcal{R}_{n}$ and provide an elegant method to give lower bound for the diameter of $\mathcal{R}_{n}$ via distance-barriers. By constructing different types of distance-barriers, we show that the conjecture does not hold for all $n\geq 230$ and some of $n$ between $91$ and $229$. Furthermore, lower bounds for the diameter of some Fibonacci-run graphs are obtained, which turn out to be better than the result given in the conjecture.
Complete characterization of graphs with local total antimagic chromatic number 3
A total labeling of a graph $G = (V, E)$ is said to be local total antimagic if it is a bijection $f: V\cup E \to\{1,\ldots ,|V|+|E|\}$ such that adjacent vertices, adjacent edges, and incident vertex and edge have distinct induced weights where the induced weight of a vertex $v$, $w_f(v) = \sum f(e)$ with $e$ ranging over all the edges incident to $v$, and the induced weight of an edge $uv$ is $w_f(uv) = f(u) + f(v)$. The local total antimagic chromatic number of $G$, denoted by $χ_{lt}(G)$, is the minimum number of distinct induced vertex and edge weights over all local total antimagic labelings of $G$. In this paper, we first obtained general lower and upper bounds for $χ_{lt}(G)$ and sufficient conditions to construct a graph $H$ with $k$ pendant edges and $χ_{lt}(H) \in\{Δ(H)+1, k+1\}$. We then completely characterized graphs $G$ with $χ_{lt}(G)=3$. Many families of (disconnected) graphs $H$ with $k$ pendant edges and $χ_{lt}(H) \in\{Δ(H)+1, k+1\}$ are also obtained.
On Mixed Cages of Girth 6
A [z,r;g]-mixed cage is a mixed graph of minimum order such that each vertex has z in-arcs, z out-arcs, r edges, and it has girth g. We present an infinite family of mixed graphs with girth 6. This construction also provides an upper bound on the minimum order of mixed cages of girth 6. Additionally,we introduce a lower bound on the minimum order for any mixed cage.
On the Alexander polynomial of special alternating links
The Alexander polynomial (1928) is the first polynomial invariant of links devised to help distinguish links up to isotopy. Fox's conjecture (1962) -- stating that the absolute values of the coefficients of the Alexander polynomial for any alternating link are trapezoidal -- was settled for special alternating links by the present authors (2023); Kálmán, the second author, and Postnikov gave an alternative proof (2025). The present paper is a study of the special combinatorial and discrete geometric properties that Alexander polynomials of special alternating links possess along with a generalization to all Eulerian graphs, introduced by Murasugi and Stoimenow (2003). We prove that the Murasugi and Stoimenow generalized Alexander polynomials can be expressed in terms of volumes of root polytopes of unimodular matrices. The latter generalizes a result regarding the Alexander polynomials of special alternating links that follows by putting together the work of Li and Postnikov (2013) and Kálmán, the second author, and Postnikov (2025). Furthermore, we conjecture a generalization of Fox's conjecture to the generalized Alexander polynomials of Murasugi and Stoimenow and bijectively relate two longstanding combinatorial models for the Alexander polynomials of special alternating links: Crowell's state model (1959) and Kauffman's state model (1982, 2006).
$s$-Stable Kneser Graph are Hamiltonian
The Kneser Graph $K(n,k)$ has as vertices all $k$-subsets of $\{1,\ldots,n\}$ and edges connecting two vertices if they are disjoint. The $s$-stable Kneser Graph $K_{s-stab}(n, k)$ is obtained from the Kneser graph by deleting vertices with elements at cyclic distance less than $s$. In this article we show that connected $s$-Stable Kneser graph are Hamiltonian.
Borel Combinatorics of Abelian Group Actions
We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$.
Matching, odd $[1,b]$-factor and distance spectral radius of graphs with given some parameters
For a connected graph $G$, let $μ(G)$ denote the distance spectral radius of $G$. A matching in a graph $G$ is a set of disjoint edges of $G$. The maximum size of a matching in $G$ is called the matching number of $G$, denoted by $α(G)$. An odd $[1, b]$-factor of a graph $G$ is a spanning subgraph $G_0$ such that the degree $d_{G_0}(v)$ of $v$ in $G_0$ is odd and $1\le d_{G_0}(v)\le b$ for every vertex $v\in V (G)$. In this paper, we give a sharp upper bound in terms of the distance spectral radius to guarantee $α(G)>\frac{n-k}{2}$ in an $n$-vertex $t$-connected graph $G$, where $2\le k \le n-2$ is an integer. We also present a sharp upper bound in terms of distance spectral radius for the existence of an odd $[1,b]$-factor in a graph with given minimum degree $δ$.