graph
34516 papers tagged with this keyword
Garbage disposal game on finite graphs
The garbage disposal game involves a finite set of individuals, each of whom updates their garbage by either receiving from or dumping onto others. We examine the case where only social neighbors, whose garbage levels differ by a given threshold, can offload an equal proportion of their garbage onto others. Remarkably, in the absence of this threshold, the garbage amounts of all individuals converge to the initial average on any connected social graph that is not a star.
The difference between the chromatic and the cochromatic number of a random graph
The cochromatic number $ζ(G)$ of a graph $G$ is the minimum number of colours needed for a vertex colouring where every colour class is either an independent set or a clique. Let $χ(G)$ denote the usual chromatic number. Around 1991 Erdős and Gimbel asked: For the random graph $G \sim G_{n, 1/2}$, does $χ(G)-ζ(G) \rightarrow \infty$ whp? Erdős offered \$100 for a positive and \$1,000 for a negative answer.
We give a positive answer to this question for roughly 95% of all values $n$.
Powers of large matrices on GPU platforms to compute the Roman domination number of cylindrical graphs
Published in IEEE Access, vol. 9, pp. 29346-29355, 2021
• View Publication
• BIB
The Roman domination in a graph $G$ is a variant of the classical domination, defined by means of a so-called Roman domination function $f\colon V(G)\to \{0,1,2\}$ such that if $f(v)=0$ then, the vertex $v$ is adjacent to at least one vertex $w$ with $f(w)=2$. The weight $f(G)$ of a Roman dominating function of $G$ is the sum of the weights of all vertices of $G$, that is, $f(G)=\sum_{u\in V(G)}f(u)$. The Roman domination number $γ_R(G)$ is the minimum weight of a Roman dominating function of $G$. In this paper we propose algorithms to compute this parameter involving the $(\min,+)$ powers of large matrices with high computational requirements and the GPU (Graphics Processing Unit) allows us to accelerate such operations. Specific routines have been developed to efficiently compute the $(\min ,+)$ product on GPU architecture, taking advantage of its computational power. These algorithms allow us to compute the Roman domination number of cylindrical graphs $P_m\Box C_n$ i.e., the Cartesian product of a path and a cycle, in cases $m=7,8,9$, $ n\geq 3$ and $m\geq $10$, n\equiv 0\pmod 5$. Moreover, we provide a lower bound for the remaining cases $m\geq 10, n\not\equiv 0\pmod 5$.
On quadratic embeddability of bipartite graphs and theta graphs
We compute the quadratic embedding constant for complete bipartite graphs with disjoint edges removed. Moreover, we study the quadratic embedding property for theta graphs, i.e., graphs consisting of three paths with common initial points and common endpoints. As a result, we provide an infinite family of primary graphs which are not quadratically embeddable.
Spectral Turán problems for nondegenerate hypergraphs
Keevash, Lenz and Mubayi developed a general criterion for hypergraph spectral extremal problems in their seminal work (SIAM J. Discrete Math., 2014). Their framework shows that extremal results on the $α$-spectral radius (for $α> 1$) may be deduced from a corresponding hypergraph Turán problem exhibiting stability properties, provided its extremal construction satisfies certain continuity assumptions. In this paper, we establish a spectral stability result for nondegenerate hypergraphs, extending the Keevash--Lenz--Mubayi criterion. Applying this result, we derive two general spectral Turán theorems for hypergraphs with bipartite or multipartite pattern, thereby transforming spectral Turán problems into the corresponding purely combinatorial problems related to degree-stability in nondegenerate $k$-graph families. As applications, we determine the maximum $α$-spectral radius for several classes of hypergraph and characterize the corresponding extremal hypergraphs, such as the expansion of complete graphs, the generalized fans, the cancellative hypergraphs, the generalized triangles, and a special book hypergraph.
HPC acceleration of large (min, +) matrix products to compute domination-type parameters in graphs
Published in Journal of Supercomputing 78, pp. 17826-17843, 2022
• View Publication
• BIB
The computation of the domination-type parameters is a challenging problem in Cartesian product graphs. We present an algorithmic method to compute the $2$-domination number of the Cartesian product of a path with small order and any cycle, involving the $(\min,+)$ matrix product. We establish some theoretical results that provide the algorithms necessary to compute that parameter, and the main challenge to run such algorithms comes from the large size of the matrices used, which makes it necessary to improve the techniques to handle these objects. We analyze the performance of the algorithms on modern multicore CPUs and on GPUs and we show the advantages over the sequential implementation. The use of these platforms allows us to compute the $2$-domination number of cylinders such that their paths have at most $12$ vertices.
Forest Cuts in Sparse Graphs
We propose the conjecture that every graph $G$ of order $n$ with less than $3n-6$ edges has a vertex cut that induces a forest. Maximal planar graphs do not have such vertex cuts and show that the density condition would be best possible. We verify the conjecture for planar graphs and show that every graph $G$ of order $n$ with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest.
The hitting time of nice factors
Consider the random $u$-uniform hypergraph (or $u$-graph) process on $n$ vertices, where $n$ is divisible by $r>u\ge 2$. It was recently shown that with high probability, as soon as every vertex is covered by a copy of the complete $u$-graph $K_r$, it also contains a $K_r$-factor (RSA, Vol. 65 II, Sept. 2024). The hitting time result is obtained using a process coupling, which is based on the proof of the corresponding sharp threshold result (RSA, Vol. 61 IV, Dec. 2022). The latter, however, was not only derived for complete $u$-graphs, but for a broader class of so-called nice $u$-graphs.
The purpose of this article is to extend the process coupling for complete $u$-graphs to the full scope of the sharp threshold result: nice $u$-graphs. As a byproduct, we obtain the extension of the hitting time result to nice $u$-graphs. Since the relevant combinatorial bounds in the proof for the $K_r$-case cannot be generalized, we introduce new arguments that do not only apply to nice u-graphs, but will be relevant for the broader class of strictly 1-balanced u-graphs. Further, we show how the remainder of the process coupling for the $K_r$-case can be utilized in a black-box manner for any u-graph. These advances pave the way for future generalizations.
Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs
Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts is the graph's stack number $sn(G)$, queue number $qn(G)$, and mixed number $mn(G)$, respectively.
Already in 1992, Heath and Rosenberg asked whether $qn(G)$ is bounded in terms of $sn(G)$, that is, whether stacks "can be transformed into" queues. This is equivalent to bipartite $3$-stack graphs having bounded queue number (Dujmović and Wood, 2005). Recently, Alam et al. asked whether $qn(G)$ is bounded in terms of $mn(G)$, which we show to also be equivalent to the previous questions.
We approach the problem by considering separated linear layouts of bipartite graphs. In this natural setting all vertices of one part must precede all vertices of the other part. Separated stack and queue numbers coincide, and for fixed vertex orders, graphs with bounded separated stack/queue number can be characterized and efficiently recognized, whereas the separated mixed layouts are more challenging. In this work, we thoroughly investigate the relationship between separated and non-separated, mixed and pure linear layouts.
Extremal number of arborescences
In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices.
In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament.
We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.
Number of Eulerian orientations for Benjamini--Schramm convergent graph sequences
For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.
Interval edge-colorings of Cartesian products of graphs II
An \emph{interval $t$-coloring} of a graph $G$ is a proper edge-coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A graph $G$ is called \emph{interval colorable} if it has an interval $t$-coloring for some positive integer $t$. Let $\mathfrak{N}$ be the set of all interval colorable graphs. For a graph $G\in \mathfrak{N}$, we denote by $w(G)$ and $W(G)$ the minimum and maximum number of colors in an interval coloring of a graph $G$, respectively. In this paper we present some new sharp bounds on $W(G\square H)$ for graphs $G$ and $H$ satisfying various conditions. In particular, we show that if $G,H\in \mathfrak{N}$ and $H$ is an $r$-regular graph, then $W(G\square H)\geq W(G)+W(H)+r$. We also derive a new upper bound on $W(G)$ for interval colorable connected graphs with additional distance conditions. Based on these bounds, we improve known lower and upper bounds on $W(C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}})$ for $k$-dimensional tori $C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}}$ and on $W(K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}})$ for Hamming graphs $K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}}$, and these new bounds coincide with each other for hypercubes. Finally, we give several results on interval colorings of Fibonacci cubes $Γ_{n}$.
Canonical labelling of sparse random graphs
We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.
The Distinguishing Index of Mycielskian Graphs
The distinguishing index gives a measure of symmetry in a graph. Given a graph $G$ with no $K_2$ component, a distinguishing edge coloring is a coloring of the edges of $G$ such that no non-trivial automorphism preserves the edge coloring. The distinguishing index, denoted $\operatorname{Dist^{\prime}}(G)$, is the smallest number of colors needed for a distinguishing edge coloring. The Mycielskian of a graph $G$, denoted $μ(G)$, is an extension of $G$ introduced by Mycielski in 1955. In 2020, Alikhani and Soltani conjectured a relationship between $operatorname{Dist^{\prime}}(G)$ and $operatorname{Dist^{\prime}}(μ(G))$. We prove that for all graphs $G$ with at least 3 vertices, no connected $K_2$ component, and at most one isolated vertex, $\operatorname{Dist^{\prime}}(μ(G)) \le \operatorname{Dist^{\prime}}(G)$, exceeding their conjecture. We also prove analogous results about generalized Mycielskian graphs. Together with the work in 2022 of Boutin, Cockburn, Keough, Loeb, Perry, and Rombach this completes the conjecture of Alikhani and Soltani.
A Linear Lower Bound for the Square Energy of Graphs
Let $G$ be a graph of order $n$ with eigenvalues $λ_1 \geq \cdots \geqλ_n$. Let \[s^+(G)=\sum_{λ_i>0} λ_i^2, \qquad s^-(G)=\sum_{λ_i<0} λ_i^2.\] The smaller value, $s(G)=\min\{s^+(G), s^-(G)\}$ is called the \emph{square energy} of $G$. In 2016, Elphick, Farber, Goldberg and Wocjan conjectured that for every connected graph $G$ of order $n$, $s(G)\geq n-1.$ No linear bound for $s(G)$ in terms of $n$ is known. Let $H_1, \ldots, H_k$ be disjoint vertex-induced subgraphs of $G$. In this note, we prove that \[s^+(G)\geq\sum_{i=1}^{k} s^+(H_i) \quad \text{ and } \quad s^-(G)\geq\sum_{i=1}^{k} s^-(H_i),\] which implies that $s(G)\geq \frac{3n}{4}$ for every connected graph $G$ of order $n\ge 4$.
A bounded diameter strengthening of Kőnig's Theorem
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at most the independence number of $G$.
We prove the following strengthening of K\H onig's theorem: In every $2$-colouring of the edges of a graph $G$, the number of monochromatic subgraphs of bounded diameter needed to cover the vertex set of $G$ is at most the independence number of $G$.
On Chip-Firing on Undirected Binary Trees
Chip-firing is a combinatorial game played on an undirected graph in which we place chips on vertices. We study chip-firing on an infinite binary tree in which we add a self-loop to the root to ensure each vertex has degree 3. A vertex can fire if the number of chips placed on it is at least its degree. In our case, a vertex can fire if it has at least 3 chips, and it fires by dispersing $1$ chip to each neighbor. Motivated by a 2023 paper by Musiker and Nguyen on this setting of chip-firing, we give an upper bound for the number of stable configurations when we place $2^\ell - 1$ labeled chips at the root. When starting with $N$ chips at the root where $N$ is a positive integer, we determine the number of times each vertex fires when $N$ is not necessarily of the form $2^\ell - 1$. We also calculate the total number of fires in this case.
The 2-domination number of cylindrical graphs
Published in Comp. Appl. Math. 41, 424 (2022)
• View Publication
• BIB
A vertex subset S of a graph G is said to 2-dominate the graph if each vertex not in S has at least two neighbors in it. As usual, the associated parameter is the minimum cardinal of a 2-dominating set, which is called the 2-domination number of the graph G. We present both lower and upper bounds of the 2-domination number of cylinders, which are the Cartesian products of a path and a cycle. These bounds allow us to compute the exact value of the 2-domination number of cylinders where the path is arbitrary, and the order of the cycle is n $\equiv$ 0(mod 3) and as large as desired. In the case of the lower bound, we adapt the technique of the wasted domination to this parameter and we use the so-called tropical matrix product to obtain the desired bound. Moreover, we provide a regular patterned construction of a minimum 2-dominating set in the cylinders having the mentioned cycle order.
On generic 3-rigidity of graphs
We give a necessary condition of generic 3 -rigidity of graphs relying on partitioning the edges into 3 subsets; such that each subset-pair gives a generically 2-rigid graph, either by themselves or after an appropriate edge-deletion. Notably, as pointed out by Dewar and Gallet, the condition is still not sufficient.
A variant of the Erdős-Gyárfás problem for $K_8$
Recently, Alon initiated the study of graph codes and their linear variants in analogy to the study of error correcting codes in theoretical computer science. Alon related the maximum density of a linear graph code which avoids images of a small graph $H$ to the following variant of the Erdős-Gyárfás problem on edge-colourings of $K_n$. A copy of $H$ in an edge-colouring of $K_n$ is even-chromatic if each colour occupies an even number of edges in the copy. We seek an edge-colouring of $K_n$ using $n^{o(1)}$ colours such that there are no even-chromatic copies of $H$. Such an edge-colouring is conjectured to exist for all cliques $K_t$ with an even number of edges. To date, edge-colourings satisfying this property have been constructed for $K_4$ and $K_5$.
We construct an edge-colouring using $n^{o(1)}$ colours which avoids even-chromatic copies of $K_8$. This was the smallest open case of the above conjecture, as $K_6, K_7$ each has an odd number of edges. We also study a stronger condition on edge-colourings, where for each copy of $H$, there is a colour occupying exactly one edge in the copy. We conjecture that an edge-colouring using $n^{o(1)}$ colours and satisfying this stronger requirement exists for all cliques $K_t$ regardless of the parity of the number of its edges. We construct edge-colourings satisfying this stronger property for $K_4$ and $K_5$. These constructions also improve upon the number of colours needed for the original problem of avoiding even-chromatic copies of $K_4$ and $K_5$.