arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2024-03-02
A family of symmetric graphs in relation to 2-point-transitive linear spaces
Published • View Publication • BIB
A graph $Γ$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $Γ$, where an arc is an ordered pair of adjacent vertices. Let $Γ$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(Γ, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup Γ_{\cal B}(α)$, for $B \in {\cal B}$ and $α\in B$, where $Γ_{\cal B}(α)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $α$ in $Γ$. In this paper we classify all $G$-symmetric graphs $Γ$ such that $Γ_{\cal B}(α) \ne Γ_{\cal B}(β)$ for distinct $α, β\in B$, the quotient graph of $Γ$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(Γ, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.
2024-03-01 v2
Irreducible components of sets of points in the plane that satisfy distance conditions
Published • View Publication • BIB
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
2024-03-01
Connected Domination in Plane Triangulations
Published • View Publication • BIB
A set of vertices of a graph $G$ such that each vertex of $G$ is either in the set or is adjacent to a vertex in the set is called a dominating set of $G$. If additionally, the set of vertices induces a connected subgraph of $G$ then the set is a connected dominating set of $G$. The domination number $γ(G)$ of $G$ is the smallest number of vertices in a dominating set of $G$, and the connected domination number $γ_c(G)$ of $G$ is the smallest number of vertices in a connected dominating set of $G$. We find the connected domination numbers for all triangulations of up to thirteen vertices. For $n\ge 15$, $n\equiv 0$ (mod 3), we find graphs of order $n$ and $γ_c=\frac{n}{3}$. We also show that the difference $γ_c(G)-γ(G)$ can be arbitrarily large.
2024-03-01
On Hoffman polynomials of $λ$-doubly stochastic irreducible matrices and commutative association schemes
Let $Γ$ denote a finite (strongly) connected regular (di)graph with adjacency matrix $A$. The {\em Hoffman polynomial} $h(t)$ of $Γ=Γ(A)$ is the unique polynomial of smallest degree satisfying $h(A)=J$, where $J$ denotes the all-ones matrix. Let $X$ denote a nonempty finite set. A nonnegative matrix $B\in{\mbox{Mat}}_X({\mathbb R})$ is called {\em $λ$-doubly stochastic} if $\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=λ$ for each $y\in X$. In this paper we first show that there exists a polynomial $h(t)$ such that $h(B)=J$ if and only if $B$ is a $λ$-doubly stochastic irreducible matrix. This result allows us to define the Hoffman polynomial of a $λ$-doubly stochastic irreducible matrix. Now, let $B\in{\mbox{Mat}}_X({\mathbb R})$ denote a normal irreducible nonnegative matrix, and ${\cal B}=\{p(B)\mid p\in{\mathbb{C}}[t]\}$ denote the vector space over ${\mathbb{C}}$ of all polynomials in $B$. Let us define a $01$-matrix $\widehat{A}$ in the following way: $(\widehat{A})_{xy}=1$ if and only if $(B)_{xy}>0$ $(x,y\in X)$. Let $Γ=Γ(\widehat{A})$ denote a (di)graph with adjacency matrix $\widehat{A}$, diameter $D$, and let $A_D$ denote the distance-$D$ matrix of $Γ$. We show that ${\cal B}$ is the Bose--Mesner algebra of a commutative $D$-class association scheme if and only if $B$ is a normal $λ$-doubly stochastic matrix with $D+1$ distinct eigenvalues and $A_D$ is a polynomial in $B$.
2024-03-01
Reverse Degree-Based Topological Indices and QSPR Analysis of Cancer Drugs
A topological index of a graph $G$ is a numerical quantity that describes its topology. Reverse degree-based topological indices play an important role in finding topological descriptors. Azacitidine, Decitabine, and Guadecitabine are hypomethylating agents which are used for the treatment of patients with higher-risk myelodysplastic syndromes, acute myeloid leukemia, and chronic myelomonocytic leukemia which are not suitable for in-depth treatments such as induction chemotherapy. In this article, some reverse degree-based topological indices of the three said drugs are computed. Furthermore, QSPR analysis of the said topological indices is discussed and it is shown that these topological indices are highly correlated with the physical properties of the three cancer drugs. These findings may help chemists and people working in the pharmaceutical industry to predict the properties of cancer drugs without experimenting.
2024-03-01
Edge open packing: complexity, algorithmic aspects, and bounds
Given a graph $G$, two edges $e_{1},e_{2}\in E(G)$ are said to have a common edge $e$ if $e$ joins an endvertex of $e_{1}$ to an endvertex of $e_{2}$. A subset $B\subseteq E(G)$ is an edge open packing set in $G$ if no two edges of $B$ have a common edge in $G$, and the maximum cardinality of such a set in $G$ is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. In this paper, we prove that the decision version of the edge open packing number is NP-complete even when restricted to graphs with universal vertices, Eulerian bipartite graphs, and planar graphs with maximum degree $4$, respectively. In contrast, we present a linear-time algorithm that computes the edge open packing number of a tree. We also resolve two problems posed in the seminal paper [Edge open packing sets in graphs, RAIRO-Oper.\ Res.\ 56 (2022) 3765--3776]. Notably, we characterize the graphs $G$ that attain the upper bound $ρ_e^o(G)\le |E(G)|/δ(G)$, and provide lower and upper bounds for the edge-deleted subgraph of a graph and establish the corresponding realization result.
2024-03-01
Contact Lie poset algebras of types B, C, and D
We extend a recently established combinatorial index formula applying to Lie poset algebras of types B, C, and D. Then, using the extended index formula, we determine a characterization of contact Lie poset algebras of types B, C, and D corresponding to posets of height one in terms of an associated graph.
2024-03-01 v2
Extending Graph Burning to Hypergraphs
Published • View Publication • BIB
Graph burning is a round-based game or process that discretely models the spread of influence throughout a network. We introduce a generalization of graph burning which applies to hypergraphs, as well as a variant called ''lazy'' hypergraph burning. Interestingly, lazily burning a graph is trivial, while lazily burning a hypergraph can be quite complicated. Moreover, the lazy burning model is a useful tool for analyzing the round-based model. One of our key results is that arbitrary hypergraphs do not satisfy a bound analogous to the one in the Burning Number Conjecture for graphs. We also obtain bounds on the burning number and lazy burning number of a hypergraph in terms of its parameters, and present several open problems in the field of (lazy) hypergraph burning.
2024-02-29 v2
A necessary and sufficient condition for bounds on the sum of a list of real numbers and its applications
Let $x_1,...,x_n$ be a list of real numbers, let $s :=\sum_{i=1}^{n}x_i$ and let $h:\mathbb{N} \rightarrow \mathbb{R}$ be a function. We gave a necessary and sufficient condition for $s>h(n)$ (respectively, $s<h(n)$). Let $G=(V,E)$ be a graph, let $\{H_1,...,H_n\}$ and $\{V_1,...,V_n\}$ be a decomposition and a partition of $G$, respectively. Let $H_{i,j}$ and $V_{i,j}, i\leq j,$ be the union of $H_i,...,H_j$ and $V_i,...,V_j$, respectively, where subscripts are taken modulo $n$. $G$ is \emph{generalized periodic} or \emph{partition-transitive} if for each pair of integers $(i,j)$, $H_{i,i+k}$ and $H_{j,j+k}$ or $V_{i,i+k}$ and $V_{j,j+k}$ are isomorphic for all $k$, $1\leq k\leq n$, respectively. Let $f:E \rightarrow \mathbb{R}$ and $g:V \rightarrow \mathbb{R}$ be mappings, let the \emph{weight} of $f$ or $g$ on $G$ be $Σ_{e\in E}f(e)$ or $Σ_{v\in V}g(v)$, respectively. Suppose that parameters $λ$ and $ξ$ of $G$ can be expressed as the minimum or maximum weight of specified $f$ and $g$, respectively. Then our conditions imply a necessary and sufficient condition for $λ(G_1)=h(n)$ (respectively, $ξ(G_2)=h(n)$), where $G_1$ is generalized periodic and $G_2$ is partition-transitive. For example, the crossing number $\textrm{cr}(\odot(T^n))$ of a periodic graph $\odot(T^n)$, $\textrm{cr}(\odot(T^n))=h(n)$. As applications, we obtained $\textrm{cr}(C(4n;\{1,4\}))$ of the circulant $C(4n;\{1,4\})$, the paired domination number of $C_5\Box C_n$ and the upper total domination number of $C_4\Box C_n$.
2024-02-29
Evaluating the Gilbert-Varshamov Bound for Constrained Systems
Published • View Publication • BIB
We revisit the well-known Gilbert-Varshamov (GV) bound for constrained systems. In 1991, Kolesnik and Krachkovsky showed that GV bound can be determined via the solution of some optimization problem. Later, Marcus and Roth (1992) modified the optimization problem and improved the GV bound in many instances. In this work, we provide explicit numerical procedures to solve these two optimization problems and hence, compute the bounds. We then show the procedures can be further simplified when we plot the respective curves. In the case where the graph presentation comprise a single state, we provide explicit formulas for both bounds.
2024-02-29
Generalized Eulerian Numbers and Directed Friends-and-seats Graphs
Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents, or, due to the Foata transform, the number of permutations on $[n]$ with exactly $m$ excedances. Friends-and-seats graphs, also known as friends-and-strangers graphs, are a seemingly unrelated recent construction in graph theory. In this paper, we introduce directed friends-and-seats graphs and establish a connection between these graphs and a generalization of the Eulerian numbers. We use this connection to reprove and extend a Worpitzky-like identity on generalized Eulerian numbers.
Graph Burning: Bounds and Hardness
Let $G=(V,E)$ be an undirected graph. The graph burning is defined as follows: at time $t=0$, all vertices in $G$ are unburned. For each time $t\geq 1$, an unburned vertex is chosen to burn, and at each subsequent time, the fire spreads from each burned vertex to all its neighbors. Once a vertex is burned, it remains burned for all future steps. The process continues until all vertices in $V$ are burned. The burning number of a graph $G$, denoted $b(G)$, is the smallest integer $k$ such that there exists a sequence of vertices $(v_1,v_2,\ldots, v_k)\subseteq V$, where $v_i$ is burned at time $i$, and all vertices in $V$ are burned within time step $k$. The Burning Number problem asks whether the burning number of an input graph $G$ is at most $k$ or not. In this paper, we study the Burning Number problem both from an algorithmic and a structural point of view. The Burning Number problem is known to be NP-complete for interval graphs. Here, we prove that this problem is NP-complete even when restricted to connected proper interval graphs. The well-known burning number conjecture asserts that all the vertices of a graph of order $n$ can be burned in $\lceil \sqrt{n}~\rceil$ steps. In line with this conjecture, the upper and lower bounds of $b(G)$ are well-studied for various graph classes. Here, we provide an improved upper bound for the burning number of connected $P_k$-free graphs and show that the bound is tight up to an additive constant $1$. Finally, we study two variants of the problem, namely edge burning (only edges are burned) and total burning (both vertices and edges are burned). In particular, we establish their relationship with the burning number problem and evaluate the algorithmic complexity of these variants.
2024-02-29
Broadcast independence number of oriented circulant graphs
Published • View Publication • BIB
In 2001, D. Erwin \cite{Erw01} introduced in his Ph.D. dissertation the notion of broadcast independence in unoriented graphs. Since then, some results but not many, are published on this notion, including research work on the broadcast independence number of unoriented circulant graphs \cite{LBS23}. In this paper, we are focused in the same parameter but of the class of oriented circulant graphs. An independent broadcast on an oriented graph $\overrightarrow{G}$ is a function $f: V\longrightarrow \{0,\ldots,\diam(\overrightarrow{G})\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(\overrightarrow{G})$, where $\diam(\overrightarrow{G})$ denotes the diameter of $\overrightarrow{G}$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d_{\overrightarrow{G}}(u,v) > f(u)$ for every distinct vertices $u$, $v$ with $f(u)$, $f(v)>0$, where $d_{\overrightarrow{G}}(u,v)$ denotes the length of a shortest oriented path from $u$ to $v$. The broadcast independence number $β_b(\overrightarrow{G})$ of $\overrightarrow{G}$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $\overrightarrow{G}$. The goal of this paper is to study the properties of independent broadcasts of oriented circulant graphs $\overrightarrow{C}(n;1,a)$, for any integers $n$ and $a$ with $n>|a|\geq 1$ and $a \notin \{1,n-1\}$. Then, we give some bounds and some exact values for the number $β_b(\overrightarrow{C}(n;1,a))$.
2024-02-29
More algorithmic results for problems of spread of influence in edge-weighted graphs with and without incentives
Published • View Publication • BIB
Many phenomena in real world social networks are interpreted as spread of influence between activated and non-activated network elements. These phenomena are formulated by combinatorial graphs, where vertices represent the elements and edges represent social ties between elements. A main problem is to study important subsets of elements (target sets or dynamic monopolies) such that their activation spreads to the entire network. In edge-weighted networks the influence between two adjacent vertices depends on the weight of their edge. In models with incentives, the main problem is to minimize total amount of incentives (called optimal target vectors) which can be offered to vertices such that some vertices are activated and their activation spreads to the whole network. Algorithmic study of target sets and vectors is a hot research field. We prove an inapproximability result for optimal target sets in edge weighted networks even for complete graphs. Some other hardness and polynomial time results are presented for optimal target vectors and degenerate threshold assignments in edge-weighted networks.
2024-02-29 v5
Coloring locally sparse graphs
Published • View Publication • BIB
A graph $G$ is $k$-locally sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ edges. Alon, Krivelevich, and Sudakov showed that for $f > 0$ if a graph $G$ of maximum degree $Δ$ is $Δ^2/f$-locally-sparse, then $χ(G) = O\left(Δ/\log f\right)$. We introduce a more general notion of local sparsity by defining graphs $G$ to be $(k, F)$-locally-sparse for some graph $F$ if for each vertex $v \in V(G)$ the subgraph induced by the neighborhood of $v$ contains at most $k$ copies of $F$. Employing the Rödl nibble method, we prove the following generalization of the above result: for every bipartite graph $F$, if $G$ is $(k, F)$-locally-sparse, then $χ(G) = O\left( Δ/\log\left(Δk^{-1/|V(F)|}\right)\right)$. This improves upon results of Davies, Kang, Pirot, and Sereni who consider the case when $F$ is a path. Our results also recover the best known bound on $χ(G)$ when $G$ is $K_{1, t, t}$-free for $t \geq 4$, and hold for list and correspondence coloring in the more general so-called ''color-degree'' setting.
Oriented trees in $O(k \sqrt{k})$-chromatic digraphs, a subquadratic bound for Burr's conjecture
Published • View Publication • BIB
In 1980, Burr conjectured that every directed graph with chromatic number $2k-2$ contains any oriented tree of order $k$ as a subdigraph. Burr showed that chromatic number $(k-1)^2$ suffices, which was improved in 2013 to $\frac{k^2}{2} - \frac{k}{2} + 1$ by Addario-Berry et al. We give the first subquadratic bound for Burr's conjecture, by showing that every directed graph with chromatic number $8\sqrt{\frac{2}{15}} k \sqrt{k} + O(k)$ contains any oriented tree of order $k$. Moreover, we provide improved bounds of $\sqrt{\frac{4}{3}} k \sqrt{k}+O(k)$ for arborescences, and $(b-1)(k-3)+3$ for paths on $b$ blocks, with $b\ge 2$.
2024-02-29 v3
$C_{10}$ has positive Turán density in the hypercube
Published • View Publication • BIB
The $n$-dimensional hypercube $Q_n$ is a graph with vertex set $\{0,1\}^n$ such that there is an edge between two vertices if and only if they differ in exactly one coordinate. For any graph $H$, define $\text{ex}(Q_n,H)$ to be the maximum number of edges of a subgraph of $Q_n$ without a copy of $H$. In this short note, we prove that for any $n \in \mathbb{N}$ $$\text{ex}(Q_n, C_{10}) > 0.024 \cdot e(Q_n).$$ Our construction is strongly inspired by the recent breakthrough work of Ellis, Ivan, and Leader, who showed that "daisy" hypergraphs have positive Turán density with an extremely clever and simple linear-algebraic argument.
On the Treewidth of Token and Johnson Graphs
Published • View Publication • BIB
Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The \textit{$k$-token graph} of $G$ is the graph $F_k(G)$ whose vertex set consists of all $k$-subsets of the vertex set of $G$, where two vertices $A$ and $B$ are adjacent in $F_k(G)$ whenever their symmetric difference $A\triangle B$ is an edge of $G$. In this paper we study the treewidth of $F_k(G)$ when $G$ is a star, path, or a complete graph. We show that in the first two cases, the treewidth is of order $Θ(n^{k-1})$, and of order $Θ(n^k)$ in the third case. We conjecture that our upper bound for the treewidth of $F_k(K_n)$ is tight. This is particularly relevant since $F_k(K_n)$ is isomorphic to the well known Johnson graph $J(n,k)$.
Note on vertex disjoint rainbow triangles in edge-colored graphs
Given an edge-colored graph $G$, we denote the number of colors as $c(G)$, and the number of edges as $e(G)$. An edge-colored graph is rainbow if no two edges share the same color. A proper $mK_3$ is a vertex disjoint union of $m$ rainbow triangles. Rainbow problems have been studied extensively in the context of anti-Ramsey theory, and more recently, in the context of Turán problems. B. Li. et al. \textit{European J. Combin. 36 (2014)} found that a graph must contain a rainbow triangle if $e(G)+c(G) \geq \binom{n}{2}+ n$. L. Li. and X. Li. \textit{Discrete Applied Mathematics 318 (2022)} conjectured a lower bound on $e(G)+c(G)$ such that $G$ must contain a proper $mK_3$. In this paper, we provide a construction that disproves the conjecture. We also introduce a result that guarantees the existence of $m$ vertex disjoint rainbow $K_k$ subgraphs in general host graphs, and a sharp result on the existence of proper $mK_3$ in complete graphs.
2024-02-28 v2
Generic Global Rigidity in $\ell_p$-Space and the Identifiability of the $p$-Cayley-Menger Varieties
Published • View Publication • BIB
The celebrated result of Gortler-Healy-Thurston (independently, Jackson-Jordán for $d=2$) shows that the global rigidity of graphs realised in the $d$-dimensional Euclidean space is a generic property. Extending this result to the global rigidity problem in $\ell_p$-spaces remains an open problem. In this paper we affirmatively solve this problem when $d=2$ and $p$ is an even positive integer. A key tool in our proof is a sufficient condition for the $d$-tangential weak non-defectivity of projective varieties due to Bocci, Chiantini, Ottaviani, and Vannieuwenhoven. By specialising the condition to the $p$-Cayley-Menger variety, which is the $\ell_p$-analogue of the Cayley-Menger variety for Euclidean distance, we provide an $\ell_p$-extension of the generic global rigidity theory of Connelly. As a by-product of our proof, we also offer a purely graph-theoretical characterisation of the $2$-identifiability of an orthogonal projection of the $p$-Cayley-Menger variety along a coordinate axis of the ambient affine space.