graph
35436 papers tagged with this keyword
A spectral bound for vertex-transitive graphs
Published
• View Publication
• BIB
For any finite, undirected, non-bipartite, vertex-transitive graph, we establish an explicit lower bound for the smallest eigenvalue of its normalised adjacency operator, which depends on the graph only through its degree and its isoperimetric constant.
Regular graphs with few longest cycles
Published
• View Publication
• BIB
Motivated by work of Haythorpe, Thomassen and the author showed that there exists a positive constant $c$ such that there is an infinite family of 4-regular 4-connected graphs, each containing exactly $c$ hamiltonian cycles. We complement this by proving that the same conclusion holds for planar 4-regular 3-connected graphs, although it does not hold for planar 4-regular 4-connected graphs by a result of Brinkmann and Van Cleemput, and that it holds for 4-regular graphs of connectivity 2 with the constant $144 < c$, which we believe to be minimal among all hamiltonian 4-regular graphs of sufficiently large order. We then disprove a conjecture of Haythorpe by showing that for every non-negative integer $k$ there is a 5-regular graph on $26 + 6k$ vertices with $2^{k+10} \cdot 3^{k+3}$ hamiltonian cycles. We prove that for every $d \ge 3$ there is an infinite family of hamiltonian 3-connected graphs with minimum degree $d$, with a bounded number of hamiltonian cycles. It is shown that if a 3-regular graph $G$ has a unique longest cycle $C$, at least two components of $G - E(C)$ have an odd number of vertices on $C$, and that there exist 3-regular graphs with exactly two such components.
Independence equivalence classes of cycles
Published in Discrete Math 344 (12) (2021), 112605
• View Publication
• BIB
The independence equivalence class of a graph $G$ is the set of graphs that have the same independence polynomial as $G$. Beaton, Brown and Cameron (arXiv:1810.05317) found the independence equivalence classes of even cycles, and raised the problem of finding the independence equivalence class of odd cycles. The problem is completely solved in this paper.
Homotopy, homology, and persistent homology using closure spaces
Published in J. Appl. Comput. Topol. 8 (2024), no. 3, 579-641
• View Publication
• BIB
We develop persistent homology in the setting of filtrations of (Cech) closure spaces. Examples of filtrations of closure spaces include metric spaces, weighted graphs, weighted directed graphs, and filtrations of topological spaces. We use various products and intervals for closure spaces to obtain six homotopy theories, six cubical singular homology theories, and three simplicial singular homology theories. Applied to filtrations of closure spaces, these homology theories produce persistence modules. We extend the definition of Gromov-Hausdorff distance from metric spaces to filtrations of closure spaces and use it to prove that any persistence module obtained from a homotopy-invariant functor on closure spaces is stable.
What are higher-order networks?
Published in SIAM Review 65(3), 686-731 (2023)
• View Publication
• BIB
Network-based modeling of complex systems and data using the language of graphs has become an essential topic across a range of different disciplines. Arguably, this graph-based perspective derives its success from the relative simplicity of graphs: A graph consists of nothing more than a set of vertices and a set of edges, describing relationships between pairs of such vertices. This simple combinatorial structure makes graphs interpretable and flexible modeling tools. The simplicity of graphs as system models, however, has been scrutinized in the literature recently. Specifically, it has been argued from a variety of different angles that there is a need for higher-order networks, which go beyond the paradigm of modeling pairwise relationships, as encapsulated by graphs. In this survey article we take stock of these recent developments. Our goals are to clarify (i) what higher-order networks are, (ii) why these are interesting objects of study, and (iii) how they can be used in applications.
Irredundance Trees of Diameter 3
Published
• View Publication
• BIB
A set D of vertices of a graph G with vertex set V is irredundant if each non-isolated vertex of G[D] has a neighbour in V-D that is not adjacent to any other vertex in D. The upper irredundance number IR(G) is the largest cardinality of an irredundant set of G; an IR(G)-set is an irredundant set of cardinality IR(G). The IR-graph of G has the IR(G)-sets as vertex set, and sets A and B are adjacent if and only if B can be obtained from A by exchanging a single vertex of A for an adjacent vertex in B. An IR-tree is an IR-graph that is a tree. We characterize IR-trees of diameter 3 by showing that these graphs are precisely the double stars S(2n,2n), i.e., trees obtained by joining the central vertices of two disjoint stars K_{1,2n}.
On Fault-Tolerant Resolvability of Double Antiprism and its related Graphs
For a connected graph $Γ=(V,E)$, a subset $R$ of ordered vertices in $V$ is said to be a resolving set in $Γ$, if the vector of distances to the vertices in $R$ is unique for each $u^{i}\in V(Γ)$. The metric dimension of $Γ$ is the minimum cardinality of such a set $R$. If $R\setminus \{u^{i}\}$ is still a resolving set $\forall$ $u^{i}\in R$, then $R$ is called a fault-tolerant resolving set (FTRS) for $Γ$ and its least cardinality is the fault-tolerant metric dimension (FTMD) of $Γ$. In this article, we introduce the concept of an independent fault-tolerant resolving set (IFTRS) and investigate it for several well-known graphs. We also show that the FTMD is four for three closely related families of convex polytopes available in the literature (viz., double antiprism $\mathbb{A}_{n}$, $S_{n}$, and $T_{n}$).
On sublinear approximations for the Petersen coloring conjecture
If $f:\mathbb{N}\rightarrow \mathbb{N}$ is a function, then let us say that $f$ is sublinear if \[\lim_{n\rightarrow +\infty}\frac{f(n)}{n}=0.\] If $G=(V,E)$ is a cubic graph and $c:E\rightarrow \{1,...,k\}$ is a proper $k$-edge-coloring of $G$, then an edge $e=uv$ of $G$ is poor (rich) in $c$, if the edges incident to $u$ and $v$ are colored with three (five) colors. An edge is abnormal if it is neither rich nor poor. The Petersen coloring conjecture of Jaeger states that any bridgeless cubic graph admits a proper 5-edge-coloring $c$, such that there is no an abnormal edge of $G$ with respect to $c$. For a proper 5-edge-coloring $c$ of $G$, let $N_G(c)$ be the set of abnormal edges of $G$ with respect to $c$. In this paper we show that (a) The Petersen coloring conjecture is equivalent to the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all bridgeless cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$; (b) for $k=2,3,4$, the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$ is equivalent to the statement that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq 2k+1$.
Twin-width and generalized coloring numbers
Published
• View Publication
• BIB
In this paper, we prove that a graph $G$ with no $K_{s,s}$-subgraph and twin-width $d$ has $r$-admissibility and $r$-coloring numbers bounded from above by an exponential function of $r$ and that we can construct graphs achieving such a dependency in $r$.
More about sparse halves in triangle-free graphs
Published
• View Publication
• BIB
One of Erdos's conjectures states that every triangle-free graph on $n$ vertices has an induced subgraph on $n/2$ vertices with at most $n^2/50$ edges. We report several partial results towards this conjecture. In particular, we establish the new bound $\frac{27}{1024}n^2$ on the number of edges in general case. We completely prove the conjecture for graphs of girth $\geq 5$, for graphs with independence number $\geq 2n/5$ and for strongly regular graphs. Each of these three classes includes both known (conjectured) extremal configurations, the 5-cycle and the Petersen graph.
On the Curved Patterns Seen in the Graph of PPTs
Dr. Ron Knott constructed a graph of all Primitive Pythagorean Triples (PPTs) with legs up to length 10,000, using Mathematica. The patterns are very interesting, suggesting conic sections. We show that they indeed are parabolic curves which follow in a natural way from the mathematics of the subject matter.
The Explorer-Director Game on Graphs
Published
• View Publication
• BIB
The Explorer-Director game, first introduced by Nedev and Muthukrishnan, can be described as a game where two players -- Explorer and Director -- determine the movement of a token on the vertices of a graph. At each time step, the Explorer specifies a distance that the token must move hoping to maximize the amount of vertices ultimately visited, and the Director adversarially chooses where to move token in an effort to minimize this number. Given a graph and a starting vertex, the number of vertices that are visited under optimal play is denoted by $f_d(G,v)$.
In this paper, we first reduce the study of $f_d (G,v)$ to the determination of the minimal sets of vertices that are \textit{closed} in a certain combinatorial sense, thus providing a structural understanding of each player's optimal strategies. As an application, we address the problem on lattices and trees. In the case of trees, we also provide a complete solution even in the more restrictive setting where the strategy used by the Explorer is not allowed to depend on their opponent's responses. In addition to this paper, a supplementary companion note will be posted to arXiv providing additional results about the game in a variety of specific graph families.
Rough Sets in Graphs Using Similarity Relations
Published
• View Publication
• BIB
In this paper, we use theory of rough set to study graphs using the concept of orbits. We investigate the indiscernibility partitions and approximations of graphs induced by orbits of graphs. We also study rough membership functions, essential sets, discernibility matrix and their relationships for graphs.
Irreducible Non-Metrizable Path Systems in Graphs
Published
• View Publication
• BIB
A path system $\mathcal{P}$ in a graph $G=(V,E)$ is said to be irreducible if there does not exist a partition $V= A\sqcup B$ such that $\mathcal{P}$ restricts to a path system on both $G[A]$ and $G[B]$. In this paper, we construct an infinite family of non-metrizable irreducible path systems defined on certain Paley graphs.
On balanced characteristic functions of canonical cliques in Paley graphs of square order
In this paper we prove that balanced characteristic functions of canonical cliques in a Paley graph of square order $P(q^2)$ span the $\frac{-1+q}{2}$-eigenspace of the graph. This is the first of two steps to a second proof of the analogue of Erdös-Ko-Rado theorem for Paley graphs of square order (the first proof was given by A. Blokhuis in 1984).
Jet Graphs
Published in Involve 14 (2021) 793-812
• View Publication
• BIB
We define an operation of jets on graphs inspired by the corresponding notion in commutative algebra and algebraic geometry. We examine a few graph theoretic properties and invariants of this construction, including chromatic numbers, co-chordality, and vertex covers.
Periodicity of quantum walks defined by mixed paths and mixed cycles
Published in Linear Algebra and its Applications, Volume 630, Pages 15-38 (2021)
• View Publication
• BIB
In this paper, we determine periodicity of quantum walks defined by mixed paths and mixed cycles. By the spectral mapping theorem of quantum walks, consideration of periodicity is reduced to eigenvalue analysis of $η$-Hermitian adjacency matrices. First, we investigate coefficients of the characteristic polynomials of $η$-Hermitian adjacency matrices. We show that the characteristic polynomials of mixed trees and their underlying graphs are same. We also define $n+1$ types of mixed cycles and show that every mixed cycle is switching equivalent to one of them. We use these results to discuss periodicity. We show that the mixed paths are periodic for any $η$. In addition, we provide a necessary and sufficient condition for a mixed cycle to be periodic and determine their periods.
Laplacian Coefficients of a Forest in terms of the Number of Closed Walks in the Forest and its Line Graph
Let $G$ be a finite simple graph with Laplacian polynomial $ψ(G,λ)=\sum_{k=0}^n(-1)^{n-k}c_kλ^k$. In an earlier paper, the coefficients $c_{n-4}$ and $c_{n-5}$ for tree with respect to some degree-based graph invariants were computed. The aim of this paper is to continue this work by giving an exact formula for the coefficients $c_{n-6}$. As a consequence of this work, the Laplacian coefficients $c_{n-k}$ of a forest $F$, $1\leq k \leq 6$, are computed in terms of the number of closed walks in $F$ and its line graph.
Minimal obstructions to $(\infty, k)$-polarity in cographs
Published
• View Publication
• BIB
A graph is a cograph if it does not contain a 4-vertex path as an induced subgraph. An $(s, k)$-polar partition of a graph $G$ is a partition $(A, B)$ of its vertex set such that $A$ induces a complete multipartite graph with at most $s$ parts, and $B$ induces the disjoint union of at most $k$ cliques with no other edges. A graph $G$ is said to be $(s, k)$-polar if it admits an $(s, k)$-polar partition. The concepts of $(s, \infty)$-, $(\infty, k)$-, and $(\infty, \infty)$-polar graphs can be analogously defined.
Ekim, Mahadev and de Werra pioneered in the research on polar cographs, obtaining forbidden induced subgraph characterizations for $(\infty, \infty)$-polar cographs, as well as for the union of $(\infty, 1)$- and $(1, \infty)$-polar cographs. Recently, a recursive procedure for generating the list of cograph minimal $(s,1)$-polar obstructions for any fixed integer $s$ was found, as well as the complete list of $(\infty, 1)$-polar obstructions. In addition to these results, complete lists of minimal $(s, k)$-polar cograph obstructions are known only for the pair $(2, 2)$.
In this work we are concerned with the problem of characterizing $(\infty, k)$-polar cographs for a fixed $k$ through a finite family of forbidden induced subgraphs. As our main result, we provide complete lists of forbidden induced subgraphs for the cases $k=2$ and $k=3$. Additionally, we provide a partial recursive construction for the general case. By considering graph complements, these results extend to $(s, \infty)$-polar cographs.
On the power of random greedy algorithms
Published in European Journal of Combinatorics 105 (2022), 103551
• View Publication
• BIB
In this paper we solve two problems of Esperet, Kang and Thomasse as well as Li concerning (i) induced bipartite subgraphs in triangle-free graphs and (ii) van der Waerden numbers. Each time random greedy algorithms allow us to go beyond the Lovasz Local Lemma or alteration method used in previous work, illustrating the power of the algorithmic approach to the probabilistic method.