graph
34516 papers tagged with this keyword
Fixed point results for set-contractions on dislocated metric space with a directed graph
Generalized (rational) graph contractions in the framework of a dislocated metric space endowed with a directed graph are investigated. Fixed point results for set-contractions are obtained. We also provide some examples to illustrate our main results. Moreover, the well-posedness of obtained fixed point results are also shown. Our obtained results extend many results in the existing literature.
Action convergence of general hypergraphs and tensors
Action convergence provides a limit theory for linear bounded operators $A_n:L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$ where $Ω_n$ are potentially different probability spaces. This notion of convergence emerged in graph limits theory as it unifies and generalizes many notions of graph limits. We generalize the theory of action convergence to sequences of multi-linear bounded operators $A_n:L^{\infty}(Ω_n)\times \ldots \times L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$. Similarly to the linear case, we obtain that for a uniformly bounded (under an appropriate norm) sequence of multi-linear operators, there exists an action convergent subsequence. Additionally, we explain how to associate different types of multi-linear operators to a tensor and we study the different notions of convergence that we obtain for tensors and in particular for adjacency tensors of hypergraphs. We obtain several hypergraphs convergence notions and we link these with the hierarchy of notions of quasirandomness for hypergraph sequences. This convergence also covers sparse and inhomogeneous hypergraph sequences and it preserves many properties of adjacency tensors of hypergraphs. Moreover, we explain how to obtain a meaningful convergence for sequences of non-uniform hypergraphs and, therefore, also for simplicial complexes. Additionally, we highlight many connections with the theory of dense uniform hypergraph limits (hypergraphons) and we conjecture the equivalence of this theory with a modification of multi-linear action convergence.
Lie algebras associated with labeled directed graphs
We present a construction of 2-step nilpotent Lie algebras using labeled directed simple graphs, which allows us to give a criterion to detect certain ideals and subalgebras by finding special subgraphs. We prove that if a label occurs only once, then reversing the orientation of that edge leads to an isomorphic Lie algebra. As a consequence, if every edge is labeled differently, the Lie algebra depends only on the underlying undirected graph. In addition, we construct the labeled directed graphs of all 2-step nilpotent Lie algebras of dimension $\leq6$ and we compute the algebra of strata preserving derivations of the Lie algebra associated with the complete bipartite graph $K_{m,n}$ with two different labelings.
Random Walk Labelings of Perfect Trees and Other Graphs
A Random walk labeling of a graph $G$ is any labeling of $G$ that could have been obtained by performing a random walk on $G$. Continuing two recent works, we calculate the number of random walk labelings of perfect trees, combs, and double combs, the torus $C_2\times C_n$, and the graph obtained by connecting three path graphs to form two cycles.
A short note on cospectral and integral chain graphs for Seidel matrix
In this brief communication, we investigate the cospectral as well integral chain graphs for Seidel matrix, a key component to study the structural properties of equiangular lines in space. We derive a formula that allows to generate an infinite number of inequivalent chain graphs with identical spectrum. In addition, we obtain a family of Seidel integral chain graphs. This contrapositively answers a problem posed by Greaves ["Equiangular line systems and switching classes containing regular graphs", Linear Algebra Appl., (2018)] ("Does every Seidel matrix with precisely three distinct rational eigenvalues contain a regular graph in its switching class?"). Our observation is- "no".
Some results on 2-distance coloring of planar graphs with girth five
Published in Journal of Combinatorial Optimization, 47(4), 68, 2024
• View Publication
• BIB
A vertex coloring of a graph $G$ is called a 2-distance coloring if any two vertices at a distance at most $2$ from each other receive different colors. Suppose that $G$ is a planar graph with girth $5$ and maximum degree $Δ$. We prove that $G$ admits a $2$-distance $Δ+7$ coloring, which improves the result of Dong and Lin (J. Comb. Optim. 32(2), 645-655, 2016). Moreover, we prove that $G$ admits a $2$-distance $Δ+6$ coloring when $Δ\geq 10$.
Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth
The height $H(n)$ of $n$ is the least integer $i$ such that the $i$-th iterate of Euler's totient function $\varphi^{(i)}(n)$ equals $1$. H. N. Shapiro showed that this $H$ is almost completely additive. Building on the fact that this function can be modified to yield a completely additive function, we establish a general correspondence: to every multi-partition structure there corresponds a completely additive function. In this paper, a \emph{height function} is a completely additive map $H:\mathbb{N}\to\mathbb{N}_0$ with $H(1)=0$ whose prime fibres $\{p:\,H(p)=k\}$ are finite for every $k\ge1$. Writing \[ π_k=\#\{p:\,H(p)=k\},\qquad N_k=\#\{n:\,H(n)=k\}, \] complete additivity forces the identity \[ \sum_{k\ge0}N_k q^k \;=\; \prod_{j\ge1}(1-q^j)^{-π_j}. \] Thus, the prime--height profile $(π_k)$ canonically determines the height multiplicities $(N_k)$, linking to the asymptotic theory of weighted partitions. We introduce a broad class of iteratively defined heights on primes, encompassing Matula-type heights (encoding rooted trees) and Shapiro-type totient heights, and show they extend to genuine height functions. In the Matula case this yields a purely number-theoretic proof of the classical extremal bounds for minimal and maximal Matula numbers, answering a question of Gutman and Ivić without recourse to graph theory. Using Meinardus' theorem we prove an \emph{inverse-growth} principle in the polynomial regime: if $Π(x)=\sum_{j\le x}π_j \sim (C/α)x^α$, then $\log N_k$ satisfies a stretched-exponential law with an explicit constant, and conversely under a standard Tauberian hypothesis. We further derive average-order consequences in this regime for a canonical sequential realization of a given profile. Finally, we briefly discuss behavior beyond the polynomial setting, with computations in the Shapiro case suggesting substantially richer phenomena.
Slow graph bootstrap percolation I: Cycles
Given a fixed graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap percolation process on $G$ is defined to be the sequence of graphs $G_i$, $i\geq 0$ which starts with $G_0:=G$ and in which $G_{i+1}$ is obtained from $G_i$ by adding every edge that completes a copy of $H$. We are interested in $M_H(n)$ which is the maximum number of steps, over all $n$-vertex graphs $G$, that this process takes to stabilise. We determine this maximum running time precisely when $H$ is a cycle, giving the first infinite family of graphs $H$ for which an exact solution is known. We find that $M_{C_k}(n)$ is of order $\log_{k-1}(n)$ for all $3\leq k\in \mathbb{N}$. Interestingly though, the function exhibits different behaviour depending on the parity of $k$ and the exact location of the values of $n$ for which $M_H(n)$ increases is determined by the Frobenius number of a certain numerical semigroup depending on $k$.
New results on the 1-isolation number of graphs without short cycles
Let $G$ be a graph. A subset $D \subseteq V(G)$ is called a 1-isolating set of $G$ if $Δ(G-N[D]) \leq 1$, that is, $G-N[D]$ consists of isolated edges and isolated vertices only. The $1$-isolation number of $G$, denoted by $ι_1(G)$, is the cardinality of a smallest $1$-isolating set of $G$. In this paper, we prove that if $G \notin \{P_3,C_3,C_7,C_{11}\}$ is a connected graph of order $n$ without $6$-cycles, or without induced 5- and 6-cycles, then $ι_1(G) \leq \frac{n}{4}$. Both bounds are sharp.
On Rödl's Theorem for Cographs
A theorem of Rödl states that for every fixed $F$ and $\varepsilon>0$ there is $δ=δ_F(\varepsilon)$ so that every induced $F$-free graph contains a vertex set of size $δn$ whose edge density is either at most $\varepsilon$ or at least $1-\varepsilon$. Rödl's proof relied on the regularity lemma, hence it supplied only a tower-type bound for $δ$. Fox and Sudakov conjectured that $δ$ can be made polynomial in $\varepsilon$, and a recent result of Fox, Nguyen, Scott and Seymour shows that this conjecture holds when $F=P_4$. In fact, they show that the same conclusion holds even if $G$ contains few copies of $P_4$. In this note we give a short proof of a more general statement.
Minimizing the number of edges in $(C_4, K_{1,k})$-co-critical graphs
Given graphs $H_1, H_2$, a {red, blue}-coloring of the edges of a graph $G$ is a critical coloring if $G$ has neither a red $H_1$ nor a blue $ H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G$ admits a critical coloring, but $G+e$ has no critical coloring for every edge $e$ in the complement of $G$. Motivated by a conjecture of Hanson and Toft from 1987, we study the minimum number of edges over all $(C_4, K_{1,k})$-co-critical graphs on $n$ vertices. We show that for all $k \ge 2 $ and $ n \ge k +\lfloor \sqrt {k-1} \rfloor +2$, if $G$ is a $(C_4,K_{1,k})$-co-critical graph on $n$ vertices, then \[e(G) \ge \frac{(k+2)n}2-3- \frac{(k-1)(k+ \lfloor \sqrt {k-2}\rfloor)}2.\] Moreover, this linear bound is asymptotically best possible for all $k\ge3$ and $n\ge3k+4$. It is worth noting that our constructions for the case when $ k$ is even have at least three different critical colorings. For $k=2$, we obtain the sharp bound for the minimum number of edges of $(C_4, K_{1,2})$-co-critical graphs on $n\ge5 $ vertices by showing that all such graphs have at least $2n-3$ edges. Our proofs rely on the structural properties of $(C_4,K_{1,k})$-co-critical graphs and a result of Ollmann on the minimum number of edges of $C_4$-saturated graphs.
Component order edge connectivity, vertex degrees, and integer partitions
Given a finite, simple graph $G$, the $k$-component order edge connectivity of $G$ is the minimum number of edges whose removal results in a subgraph for which every component has order at most $k-1$. In general, determining the $k$-component order edge connectivity of a graph is NP-hard. We determine conditions on the vertex degrees of $G$ that can be used to imply a lower bound on the $k$-component order edge connectivity of $G$. We will discuss the process for generating such conditions for a lower bound of 1 or 2, and we explore how the complexity increases when the desired lower bound is 3 or more. In the process, we prove some related results about integer partitions.
Improved 2-Distance Coloring of Planar Graphs with Maximum Degree 5
A 2-distance $k$-coloring of a graph $G$ is a proper $k$-coloring such that any two vertices at distance two or less get different colors. The 2-distance chromatic number of $G$ is the minimum $k$ such that $G$ has a 2-distance $k$-coloring, denote as $χ_2(G)$. In this paper, we show that $χ_2(G) \leq 17$ for every planar graph $G$ with maximum degree $Δ\leq 5$, which improves a former bound $χ_2(G) \leq 18$.
Structure and Noise in Dense and Sparse Random Graphs: Percolated Stochastic Block Model via the EM Algorithm and Belief Propagation with Non-Backtracking Spectra
In this survey paper it is illustrated how spectral clustering methods for unweighted graphs are adapted to the dense and sparse regimes. Whereas Laplacian and modularity based spectral clustering is apt to dense graphs, recent results show that for sparse ones, the non-backtracking spectrum is the best candidate to find assortative clusters of nodes. Here belief propagation in the sparse stochastic block model is derived with arbitrarily given model parameters that results in a non-linear system of equations; with linear approximation, the spectrum of the non-backtracking matrix is able to specify the number $k$ of clusters. Then the model parameters themselves can be estimated by the EM algorithm.
Bond percolation in the assortative model is considered in the following two senses: the within- and between-cluster edge probabilities decrease with the number of nodes and edges coming into existence in this way are retained with probability $β$. As a consequence, the optimal $k$ is the number of the structural real eigenvalues (greater than $\sqrt{c}$, where $c$ is the average degree) of the non-backtracking matrix of the graph. Assuming, these eigenvalues $μ_1 >\dots > μ_k$ are distinct, the multiple phase transitions obtained for $β$ are $β_i =\frac{c}{μ_i^2}$; further, at $β_i$ the number of detectable clusters is $i$, for $i=1,\dots ,k$. Inflation-deflation techniques are also discussed to classify the nodes themselves, which can be the base of the sparse spectral clustering. Simulation results, as well as real life examples are presented.
On the Kohayakawa-Kreuter conjecture
Let us say that a graph $G$ is Ramsey for a tuple $(H_1,\dots,H_r)$ of graphs if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$, for some $i \in [r]$. A famous conjecture of Kohayakawa and Kreuter, extending seminal work of Rödl and Ruciński, predicts the threshold at which the binomial random graph $G_{n,p}$ becomes Ramsey for $(H_1,\dots,H_r)$ asymptotically almost surely. In this paper, we resolve the Kohayakawa-Kreuter conjecture for almost all tuples of graphs. Moreover, we reduce its validity to the truth of a certain deterministic statement, which is a clear necessary condition for the conjecture to hold. All of our results actually hold in greater generality, when one replaces the graphs $H_1,\dots,H_r$ by finite families $\mathcal{H}_1,\dots,\mathcal{H}_r$. Additionally, we pose a natural (deterministic) graph-partitioning conjecture, which we believe to be of independent interest, and whose resolution would imply the Kohayakawa-Kreuter conjecture.
Proof of the Kohayakawa--Kreuter conjecture for the majority of cases
For graphs $G, H_1,\dots,H_r$, write $G \to (H_1, \ldots, H_r)$ to denote the property that whenever we $r$-colour the edges of $G$, there is a monochromatic copy of $H_i$ in colour $i$ for some $i \in \{1,\dots,r\}$. Mousset, Nenadov and Samotij proved an upper bound on the threshold function for the property that $G_{n,p} \to (H_1,\dots,H_r)$, thereby resolving the $1$-statement of the Kohayakawa--Kreuter conjecture. We reduce the $0$-statement of the Kohayakawa--Kreuter conjecture to a natural deterministic colouring problem and resolve this problem for almost all cases, which in particular includes (but is not limited to) when $H_2$ is strictly $2$-balanced and either has density greater than $2$ or is not bipartite. In addition, we extend our reduction to hypergraphs, proving the colouring problem in almost all cases there as well.
On bipartite coverings of graphs and multigraphs
A bipartite covering of a (multi)graph $G$ is a collection of bipartite graphs, so that each edge of $G$ belongs to at least one of them. The capacity of the covering is the sum of the numbers of vertices of these bipartite graphs. In this note we establish a (modest) strengthening of old results of Hansel and of Katona and Szemerédi, by showing that the capacity of any bipartite covering of a graph on $n$ vertices in which the maximum size of an independent set containing vertex number $i$ is $α_i$, is at least $\sum_i \log_2 (n/α_i).$ We also obtain slightly improved bounds for a recent result of Kim and Lee about the minimum possible capacity of a bipartite covering of complete multigraphs.
Antimagic Labelings of Forests
An antimagic labeling of a graph $G(V,E)$ is a bijection $f: E \to \{1,2, \dots, |E|\}$ so that $\sum_{e \in E(u)} f(e) \neq \sum_{e \in E(v)} f(e)$ holds for all $u, v \in V(G)$ with $u \neq v$, where $E(v)$ is the set of edges incident to $v$. We call $G$ antimagic if it admits an antimagic labeling. A forest is a graph without cycles; equivalently, every component of a forest is a tree. It was proved by Kaplan, Lev, and Roditty [2009], and by Liang, Wong, and Zhu [2014] that every tree with at most one vertex of degree-2 is antimagic. A major tool used in the proof is the zero-sum partition introduced by Kaplan, Lev, and Roditty [2009]. In this article, we provide an algorithmic representation for the zero-sum partition method and apply this method to show that every forest with at most one vertex of degree-2 is also antimagic.
Eternal Distance-2 Domination in Trees
We consider the eternal distance-2 domination problem, recently proposed by Cox, Meger, and Messinger, on trees. We show that finding a minimum eternal distance-2 dominating set of a tree is linear time in the order of the graph by providing a fast algorithm. Additionally, we characterise when trees have an eternal distance-2 domination number equal to their domination number or their distance-2 domination number, along with characterizing which trees are eternal distance-2 domination critical. We conclude by providing general upper and lower bounds for the eternal distance-k domination number of a graph, as well as constructing an infinite family of trees which meet said upper bound and another which meets the given lower bound.
Boundedness for proper conflict-free and odd colorings
Published in Discrete Mathematics, 349(2): 114730, 2026
• View Publication
• BIB
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$.
In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.