Family Of Graphs Research Articles

Variants of the Gyárfás–Sumner conjecture: Oriented trees and rainbow paths

AbstractGiven a finite family of graphs, we say that a graph is “‐free” if does not contain any graph in as a subgraph. We abbreviate ‐free to just “‐free” when . A vertex‐colored graph is called “rainbow” if no two vertices of have the same color. Given an integer and a finite family of graphs , let denote the smallest integer such that any properly vertex‐colored ‐free graph having contains an induced rainbow path on vertices. Scott and Seymour showed that exists for every complete graph . A conjecture of N. R. Aravind states that . The upper bound on that can be obtained using the methods of Scott and Seymour setting are, however, super‐exponential. Gyárfás and Sárközy showed that . For , we show that and therefore, . This significantly improves Gyárfás and Sárközy's bound and also covers a bigger class of graphs. We adapt our proof to achieve much stronger upper bounds for graphs of higher girth: we prove that , where . Moreover, in each case, our results imply the existence of at least distinct induced rainbow paths on vertices. Along the way, we obtain some new results on an oriented variant of the Gyárfás–Sumner conjecture. For , let denote the orientations of in which one vertex has out‐degree or in‐degree . We show that every ‐free oriented graph having a chromatic number at least and every bikernel‐perfect oriented graph with girth having a chromatic number at least contains every oriented tree on at most vertices as an induced subgraph.

Structural and Spectral Properties of Chordal Ring, Multi-Ring, and Mixed Graphs

The chordal ring (CR) graphs are a well-known family of graphs used to model some interconnection networks for computer systems in which all nodes are in a cycle. Generalizing the CR graphs, in this paper, we introduce the families of chordal multi-ring (CMR), chordal ring mixed (CRM), and chordal multi-ring mixed (CMRM) graphs. In the case of mixed graphs, we can have edges (without direction) and arcs (with direction). The chordal ring and chordal ring mixed graphs are bipartite and 3-regular. They consist of a number r (for r≥1) of (undirected or directed) cycles with some edges (the chords) joining them. In particular, for CMR, when r=1, that is, with only one undirected cycle, we obtain the known families of chordal ring graphs. Here, we used plane tessellations to represent our chordal multi-ring graphs. This allowed us to obtain their maximum number of vertices for every given diameter. Additionally, we computationally obtained their minimum diameter for any value of the number of vertices. Moreover, when seen as a lift graph (also called voltage graph) of a base graph on Abelian groups, we obtained closed formulas for the spectrum, that is, the eigenvalue multi-set of its adjacency matrix.

Achromatic colorings of polarity graphs

A complete partition of a graph G is a partition of the vertex set such that there is at least one edge between any two parts. The largest r such that G has a complete partition into r parts, each of which is an independent set, is the achromatic number of G. We determine the achromatic number of polarity graphs of biaffine planes coming from generalized polygons. Our colorings of a family of unitary polarity graphs are used to solve a problem of Axenovich and Martin on complete partitions of C4-free graphs. Furthermore, these colorings prove that there are sequences of graphs which are optimally complete and have unbounded degree, a problem that had been studied for the sequence of hypercubes independently by Roichman, and Ahlswede, Bezrukov, Blokhuis, Metsch, and Moorhouse.

On the distribution of eigenvalues in families of Cayley graphs

On the distribution of eigenvalues in families of Cayley graphs

Graph realization of distance sets

The Distance Realization problem is defined as follows. Given an n×n matrix D of nonnegative integers, interpreted as inter-vertex distances, find an n-vertex weighted or unweighted graph G realizing D, i.e., whose inter-vertex distances satisfy distG(i,j)=Di,j for every 1≤i<j≤n, or decide that no such realizing graph exists. The problem was studied for general weighted and unweighted graphs, as well as for cases where the realizing graph is restricted to a specific family of graphs (e.g., trees or bipartite graphs). An extension of Distance Realization that was studied in the past is where each entry in the matrix D may contain a range of consecutive permissible values. We refer to this extension as Range Distance Realization (or Range-DR). Restricting each range to at most k values yields the problem k-Range Distance Realization (or k-Range-DR). The current paper introduces a new extension of Distance Realization, in which each entry Di,j of the matrix may contain an arbitrary set of acceptable values for the distance between i and j, for every 1≤i<j≤n. We refer to this extension as Set Distance Realization (Set-DR), and to the restricted problem where each entry may contain at most k values as k-Set Distance Realization (or k-Set-DR).We first show that 2-Range-DR is NP-hard for unweighted graphs (implying the same for 2-Set-DR). Next we prove that 2-Set-DR is NP-hard for unweighted and weighted trees.Finally, we explore Set-DR where the realization is restricted to the families of stars, paths, cycles, or caterpillars. For the weighted case, our positive results are that there exist polynomial time algorithms for the 2-Set-DR problem on stars, paths and cycles, and for the 1-Set-DR problem on caterpillars. On the hardness side, we prove that 6-Set-DR is NP-hard for stars and 5-Set-DR is NP-hard for paths, cycles and caterpillars. For the unweighted case, our results are the same, except for the case of unweighted stars, for which k-Set-DR is polynomially solvable for any k.

The Degree Energy of a Graph

The incidence of edges on vertices is a cornerstone of graph theory, with profound implications for various graph properties and applications. Understanding degree distributions and their implications is crucial for analyzing and modeling real-world networks. This study investigates the impact of vertex degree distribution on the energy landscape of graphs in network theory. By analyzing how vertex connectivity influences graph energy, the research enhances the understanding of network structure and dynamics. It establishes important properties and sharp bounds related to degree spectra and degree energy. Furthermore, the study determines the degree spectra and degree energy for several key families of graphs, providing valuable insights with potential applications across various fields.

A linear algorithm for radio k-coloring of powers of paths having small diameters

The radio k-chromatic number rck(G) of a graph G is the minimum integer λ such that there exists a function ϕ:V(G)→{0,1,⋯,λ} satisfying |ϕ(u)−ϕ(v)|≥k+1−d(u,v), where d(u,v) denotes the distance between u and v. A considerable amount of attention has been given to find the exact values or providing polynomial time algorithms to determine rck(G) for several basic graph families such as paths, cycles, trees, and powers of paths, usually for some specific values of k. In this article, we find the exact values of rck(G) where G is a power of a path with diameter strictly less than k. Our proof readily provides a linear time algorithm for assigning a radio k-coloring of G. Furthermore, our proof technique is a potential tool for solving the same problem for other classes of graphs having “small” diameters.

Generation and Analysis of a Dataset of Optimal Double-Loop Circulant Networks

Optimal circulant networks are of practical interest as graph models of reliable communication networks for supercomputer systems and networks on a chip. A large dataset of parameters of optimal double-loop circulant networks with a number of nodes of up to 50,000 and 451,000 points has been constructed. The dataset contains, for each number of vertices, all generators corresponding to optimal or suboptimal (in the absence of optimal) descriptions of the graph. This made it possible to find analytical dependencies of the parameters that define families of optimal graphs. Based on the analysis of the constructed dataset, the solution to the problem of determining optimal two-dimensional circulant networks is studied. A process is automated for determining analytical, parametric descriptions of the families of optimal double-loop networks, described polynomials of diameter. Having applied the methods of integrating differential evolution and reduced local search to the analysis of the generated dataset, we rediscovered a number of previously known families and found more than 200 new, different from all those known in literature, families of optimal double-loop networks with generators of linear and quadratic types of polynomials. Our new ap­proach can be applied to studing datasets of other promising classes of graphs and networks.

A Note on Wiener and Hyper-Wiener Indices of Abid-Waheed Graph

A Hosoya polynomial is a polynomial connected to a molecular graph, which is a graph representation of a chemical compound with atoms as vertices and chemical bonds as edges. A graph invariant is the Hosoya polynomial; it is a graph attribute that does not change under graph isomorphism. It provides information about the number of unique non-empty subgraphs in a given graph. A molecular graph's size and branching complexity are determined by a topological metric known as the Wiener index. The Wiener index of each pair of vertices in a molecular network is the sum of those distances. The topological index, one of the various classes of graph invariants, is a real number related to a connected graph's structure .The goal of this article is to compute the Hosoya polynomial of some class of Abid-Waheed graph. Further, this research focused on a C++ algorithm to calculate the wiener index of and . The Wiener index (W∗I) and Hyper-Wiener index (H∗W∗I) are calculated using Hosoya polynomial (H∗-polynomial) of some family of Abid-Waheed graphs and . Illustrations and applications are given to enhance the research work.

Scattering and Sparse Partitions, and Their Applications

A partition \(\mathcal{P}\) of a weighted graph \(G\) is \((\sigma,\tau,\Delta)\) -sparse if every cluster has diameter at most \(\Delta\) , and every ball of radius \(\Delta/\sigma\) intersects at most \(\tau\) clusters. Similarly, \(\mathcal{P}\) is \((\sigma,\tau,\Delta)\) -scattering if instead for balls, we require that every shortest path of length at most \(\Delta/\sigma\) intersects at most \(\tau\) clusters. Given a graph \(G\) that admits a \((\sigma,\tau,\Delta)\) -sparse partition for all \(\Delta &gt; 0\) , Jia et al. constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch \(O(\tau\sigma^{2} \log _{\tau}n)\) . Given a graph \(G\) that admits a \((\sigma,\tau,\Delta)\) -scattering partition for all \(\Delta &gt; 0\) , we construct a solution for the Steiner Point Removal problem with stretch \(O(\tau^{3}\sigma^{3})\) . We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.

Stability of Rose Window graphs

AbstractA graph is said to be stable if for the direct product is isomorphic to ; otherwise, it is called unstable. An unstable graph is called nontrivially unstable when it is not bipartite and no two vertices have the same neighborhood. Wilson described nine families of unstable Rose Window graphs and conjectured that these contain all nontrivially unstable Rose Window graphs (2008). In this paper we show that the conjecture is true.

Performance paradox of dynamic matching models under greedy policies

We consider the stochastic matching model on a non-bipartite compatibility graph and analyze the impact of adding an edge to the expected number of items in the system. One may see adding an edge as increasing the flexibility of the system, for example, asking a family registering for social housing to list fewer requirements in order to be compatible with more housing units. Therefore, it may be natural to think that adding edges to the compatibility graph will lead to a decrease in the expected number of items in the system and the waiting time to be assigned. In our previous work, we proved this is not always true for the First Come First Matched discipline and provided sufficient conditions for the existence of the performance paradox: despite a new edge in the compatibility graph, the expected total number of items can increase. These sufficient conditions are related to the heavy-traffic assumptions in queueing systems. The intuition behind this is that the performance paradox occurs when the added edge in the compatibility graph disrupts the draining of a bottleneck. In this paper, we generalize this performance paradox result to a family of so-called greedy matching policies and explore the type of compatibility graphs where such a paradox occurs. Intuitively, a greedy matching policy never leaves compatible items unassigned, so the state space of the system consists of finite words of item classes that belong to an independent set of the compatibility graph. Some examples of greedy matching policies are First Come First Match, Match the Longest, Match the Shortest, Random, Priority. We prove several results about the existence of performance paradoxes for greedy disciplines for some family of graphs. More precisely, we prove several results about the lifting of the paradox from one graph to another one. For a certain family of graphs, we prove that there exists a paradox for the whole family of greedy policies. Most of these results are based on strong aggregation of Markov chains and graph theoretical properties.

Quantum walks on blow-up graphs

A blow-up of n copies of a graph G is the graph obtained by replacing every vertex of G by an independent set of size n, where the copies of two vertices in G are adjacent in the blow-up if and only if they are adjacent in G. In this work, we characterize strong cospectrality, periodicity, perfect state transfer (PST) and pretty good state transfer (PGST) in blow-up graphs. We prove that if a blow-up admits PST or PGST, then n = 2. In particular, if G has an invertible adjacency matrix, then each vertex in a blow of two copies of G pairs up with a unique vertex to exhibit strong cospectrality. Under mild conditions, we show that periodicity (resp., almost periodicity) of a vertex in G guarantees PST (resp. PGST) between the two copies of the vertex in the blow-up. This allows us to construct new families of graphs with PST from graphs that do not admit PST. We also characterize PST and PGST in the blow-ups of complete graphs, paths, cycles and cones. Finally, while trees in general do not admit PST, we provide infinite families of stars and subdivided stars whose blow-ups admit PST.

Graceful Antimagic Path and Cycle Related Graphs

A graph with vertices and edges is said to be antimagic if its edges can be labeled with such that the weights of vertices of are pairwise distinct. The graceful labeling of a graph with edges is an assignment of integers from the set to the vertices of , such that no two vertices receive the same label, where each edge is assigned the absolute value of the difference between the labels of its end vertices and the resulting edge labeling runs from to is inclusive. Moreover, if the induced edge labeling is simultaneously antimagic, that is, the sums of the labels of all edges incident to a given vertex are pairwise distinct for different vertices, we call the graceful labeling graceful antimagic. In this study, we will exhibit the existence of graceful antimagic labeling for two families of graphs the first derived from the path graph Pn, and the second from the cycle graph Cn. Both families were derived using the idea of a rooted product between the two graphs.

Planar Turán Number of the Θ6

Let F be a nonempty family of graphs. A graph 𝐺 is called F -free if it contains no graph from F as a subgraph. For a positive integer 𝑛, the planar Turán number of F, denoted by exp (𝑛, F), is the maximum number of edges in an 𝑛-vertex F -free planar graph.Let Θ𝑘 be the family of Theta graphs on 𝑘 ≥ 4 vertices, that is, graphs obtained by joining a pair of non-consecutive of a 𝑘-cycle with an edge. Lan, Shi and Song determined an upper bound exp (𝑛, Θ6) ≤ 18𝑛/7−36𝑛/7, but for large 𝑛, they did not verify that the bound is sharp. In this paper, we improve their bound by proving exp (𝑛, Θ6) ≤ 18𝑛/−48𝑛/7 and then we demonstrate the existence of infinitely many positive integer 𝑛 and an 𝑛-vertex Θ6-free planar graph attaining the bound.

On Three Domination-based Identification Problems in Block Graphs

The problems of determining the minimum-sized identifying, locating-dominating and open locating-dominating codes of an input graph are special search problems that are challenging from both theoretical and computational viewpoints. In these problems, one selects a dominating set C of a graph G such that the vertices of a chosen subset of V(G) (i.e. either V(G) \ C or V(G) itself) are uniquely determined by their neighborhoods in C. A typical line of attack for these problems is to determine tight bounds for the minimum codes in various graph classes. In this work, we present tight lower and upper bounds for all three types of codes for block graphs (i.e. diamond-free chordal graphs). Our bounds are in terms of the number of maximal cliques (or blocks) of a block graph and the order of the graph. Two of our upper bounds verify conjectures from the literature with one of them being now proven for block graphs in this article. As for the lower bounds, we prove them to be linear in terms of both the number of blocks and the order of the block graph. We provide examples of families of block graphs whose minimum codes attain these bounds, thus showing each bound to be tight.

Beyond conjugacy for chain event graph model selection

Chain event graphs are a family of probabilistic graphical models that generalise Bayesian networks and have been successfully applied to a wide range of domains. Unlike Bayesian networks, these models can encode context-specific conditional independencies as well as asymmetric developments within the evolution of a process. More recently, new model classes belonging to the chain event graph family have been developed for modelling time-to-event data to study the temporal dynamics of a process. However, existing Bayesian model selection algorithms for chain event graphs and its variants rely on all parameters having conjugate priors. This is unrealistic for many real-world applications. In this paper, we propose a mixture modelling approach to model selection in chain event graphs that does not rely on conjugacy. Moreover, we show that this methodology is more amenable to being robustly scaled than the existing model selection algorithms used for this family. We demonstrate our techniques on simulated datasets.

Upper bounds for the global cyclicity index

Abstract We find new upper bounds for the global cyclicity index, a variant of the Kirchhoff index, and discuss the wide family of graphs for which the bounds are attained.

Secure metric dimension of new classes of graphs

The metric representation of a vertex v of a graph G is a finite vector representing distances of v with respect to vertices of some ordered subset S⊆V (G). If no suitable subset of S provides separate representations for each vertex of V(G), then the set S is referred to as a minimal resolving set. The metric dimension of G is the cardinality of the smallest (with respect to its cardinality) minimal resolving set. A resolving set S is secure if for any v∈V–S, there exists x∈S such that (S–{x})∪{v} is a resolving set. For various classes of graphs, the value of the secure resolving number is determined and defined. The secure metric dimension of the graph classes is being studied in this work. The results show that different graph families have different metric dimensions.

Spectral arbitrariness for trees fails spectacularly

Given a graph G, consider the family of real symmetric matrices with the property that the pattern of their nonzero off-diagonal entries corresponds to the edges of G. For the past 30 years a central problem has been to determine which spectra are realizable in this matrix class. Using combinatorial methods, we identify a family of graphs and multiplicity lists whose realizable spectra are highly restricted. In particular, we construct trees with multiplicity lists that require a unique spectrum, up to shifting and scaling. This represents the most extreme possible failure of spectral arbitrariness for a multiplicity list, and greatly extends all previously known instances of this phenomenon, in which only single linear constraints on the eigenvalues were observed.