graph
35252 papers tagged with this keyword
Unavoidable subgraphs in Ramsey graphs
We study subgraphs that appear in large Ramsey graphs for a given graph $F$. The recent girth Ramsey theorem of the first two authors asserts that there are Ramsey graphs such that all small subgraphs are `forests of copies of $F$' amalgamated on vertices and edges. We derive a few further consequences from this structural result and investigate to which extent such forests of copies must be present in Ramsey graphs.
The Partition Dimension of Corona Product of Complete and Wheel Graph
The graph G is a pair of sets (V(G), E(G)), where V(G) is a finite set whose elements are called vertices, and E(G) is a set of pairs of members of V(G), which is called the edges. Let G be a simple graph. For an ordered k-partition \{Π\} = \{S_1, S_2, \dots, S_k\} of V(G), the representation of u with respect to \{Π\} is k-ordered pairs, r(u \mid \{Π\}) = (d(u, S_1), d(u, S_2), \dots, d(u, S_k)). The partition \{Π\} is called a resolving partition of G if r(u \mid \{Π\}) \neq r(v \mid \{Π\}) for all distinct u, v \in V(G). The resolving partition \{Π\} with the minimum cardinality is called minimum resolving partition. The partition dimension of G, denoted pd(G), is the cardinality of a minimum resolving partition of G.
In this research, we determine the partition dimension of the corona product of a complete graph using some mathematical statements about resolving partitions, the concept of equivalent vertices, and same-level vertices. Several analysis results for the K_n \circ W_m vertices refer to equivalent vertices and the same-level vertices concept. The results show that for m = n, pd(K_n \circ W_m) = n, for n \geq 3, for m = n + 1, pd(K_n \circ W_m) = 3 for n = 3, and pd(K_n \circ W_m) = n for n \geq 3. For m = n + 2, pd(K_n \circ W_m) = 4 for n = 2, 3, and pd(K_n \circ W_m) = n for n \geq 4.
On Some Algorithmic and Structural Results on Flames
A directed graph $F$ with a root node $r$ is called a flame if for every vertex $v$ other than $r$ the local edge-connectivity value $λ(r,v)$ from $r$ to $v$ is equal to $\varrho_F(v)$, the in-degree of $v$. It is a classic, simple and beautiful result of Lovász that every digraph $D$ with a root node $r$ has a spanning subgraph $F$ that is a flame and the $λ(r,v)$ values are the same in $F$ as in $D$ for every vertex $v$ other than $r$. However, the complexity of finding the minimum weight of such a subgraph is open. In this paper we prove that this problem is solvable in strongly polynomial time for acyclic digraphs. Besides that, we prove a decomposition result of flames into a chain of smaller flames via edge-disjoint branchings and use this to prove a common generalization of Lovász's above mentioned theorem and Edmonds' classic disjoint arborescences theorem.
The radius capture number
In the classic cop and robber game, two players--the cop and the robber--take turns moving to a neighboring vertex or staying at their current position. The cop aims to capture the robber, while the robber tries to evade capture. A graph $G$ is called a cop-win graph if the cop can always capture the robber in a finite number of moves. In the cop and robber game with radius of capture $k$, the cop wins if he can come within distance $k$ of the robber. The radius capture number $\rc(G)$ of a graph $G$ is the smallest $k$ for which the cop has a winning strategy in this variant of the game.
In this paper, we establish that $\rc(H) \leq \rc(G)$ for any retract $H$ of $G$. We derive sharp upper and lower bounds for the radius capture number in terms of the graph's radius and girth, respectively. Additionally, we investigate the radius capture number in vertex-transitive graphs and identify several families $\cal{F}$ of vertex-transitive graphs with $\rc(G)=\rad(G)-1$ for any $G \in \cal{F}$. We further study the radius capture number in outerplanar graphs, Sierpiński graphs, harmonic even graphs, and graph products. Specifically, we show that for any outerplanar graph $G$, $\rc(G)$ depends on the size of its largest inner face. For harmonic even graphs and Sierpiński graphs $S(n,3)$, we prove that $\rc(G)=\rad(G)-1$. Regarding graph products, we determine exact values of the radius capture number for strong and lexicographic products, showing that they depend on the radius capture numbers of their factors. Lastly, we establish both lower and upper bounds for the radius capture number of the Cartesian product of two graphs.
Pangraphs as models of higher-order interactions
Graphs depict pairwise relationships between objects within a system. Higher-order interactions (HOIs), which involve more than two objects simultaneously, are common in nature. Such interactions can change the stability of a complex system. Hypergraphs can represent an HOI as an arbitrary subset of vertices. However, they fail to capture the specific roles of the vertices involved, which can be highly asymmetric, particularly in the case of interaction modifications.
We introduce pangraphs, a robust and quantitative generalisation of graphs that accurately captures arbitrarily complex higher-order interactions. We demonstrate that several higher-order representations proposed in the literature are specific instances of pangraphs. Additionally, we introduce an incidence multilayer digraph representation of a pangraph, referred to as Levi digraph. We adapt degree and Katz centrality measures to the pangraph framework and show that a consistent generalisation of recursive graph measures cannot be simplified to a Levi digraph of a pangraph.
We construct a pangraph for a real-world coffee agroecosystem and compare Katz centrality between its dihypergraph and pangraph representations, both analytically and numerically. The choice of representation significantly affects centrality values and alters vertex ranks. Additionally, we emphasise the use of real-valued incidence matrices to quantify interaction strengths and the roles of vertices within the system.
A Recolouring Version of a Conjecture of Reed
Reed conjectured that the chromatic number of any graph is closer to its clique number than to its maximum degree plus one. We consider a recolouring version of this conjecture, with respect to Kempe changes. Namely, we investigate the largest $\varepsilon$ such that all graphs $G$ are $k$-recolourable for all $k \ge \lceil \varepsilon ω(G) + (1 -\varepsilon)(Δ(G)+1) \rceil$. For general graphs, an existing construction of a frozen colouring shows that $\varepsilon \le 1/3$. We show that this construction is optimal in the sense that there are no frozen colourings below that threshold. For this reason, we conjecture that $\varepsilon = 1/3$. For triangle-free graphs, we give a construction of frozen colourings that shows that $\varepsilon \le 4/9$, and prove that it is also optimal. In the special case of odd-hole-free graphs, we show that $\varepsilon = 1/2$, and that this is tight up to one colour.
Network fault costs based on minimum leaf spanning trees
Published
• View Publication
• BIB
We study the fault-tolerance of networks from both the structural and computational point of view using the minimum leaf number of the corresponding graph $G$, i.e. the minimum number of leaves of the spanning trees of $G$, and its vertex-deleted subgraphs. We investigate networks that are leaf-guaranteed, i.e. which satisfy a certain stability condition with respect to minimum leaf numbers and vertex-deletion. Next to this, our main notion is the so-called fault cost, which is based on the number of vertices that have different degrees in minimum leaf spanning trees of the network and its vertex-deleted subgraphs. We characterise networks with vanishing fault cost via leaf-guaranteed graphs and describe, for any given network $N$, leaf-guaranteed networks containing $N$. We determine for all non-negative integers $k \le 8$ except $1$ the smallest network with fault cost $k$. We also give a detailed treatment of the fault cost $1$ case, prove that there are infinitely many $3$-regular networks with fault cost $3$, and show that for any non-negative integer $k$ there exists a network with fault cost exactly $k$.
State transfer in Grover walks on unitary and quadratic unitary Cayley graphs over finite commutative rings
Published
• View Publication
• BIB
This paper focuses on periodicity and perfect state transfer of Grover walks on two well-known families of Cayley graphs, namely, the unitary Cayley graphs and the quadratic unitary Cayley graphs. Let $R$ be a finite commutative ring. The unitary Cayley graph $G_R$ has vertex set $R$, where two vertices $u$ and $v$ are adjacent if $u-v$ is a unit in $R$. We provide a necessary and sufficient condition for the periodicity of the Cayley graph $G_R$. We also completely determine the rings $R$ for which $G_R$ exhibits perfect state transfer. The quadratic unitary Cayley graph $\mathcal{G}_R$ has vertex set $R$, where two vertices $u$ and $v$ are adjacent if $u-v$ or $v-u$ is a square of some units in $R$. It is well known that any finite commutative ring $R$ can be expressed as $R_1\times\cdots\times R_s$, where each $R_i$ is a local ring with maximal ideal $M_i$ for $i\in\{1,...,s\}$. We characterize periodicity and perfect state transfer on $\mathcal{G}_R$ under the condition that $|R_i|/|M_i|\equiv 1 \pmod 4$ for $i\in\{1,...,s\}$. Also, we characterize periodicity and perfect state transfer on $\mathcal{G}_R$, where $R$ can be expressed as $R_0\times\cdots\times R_s$ such that $|R_0|/|M_0|\equiv3\pmod 4$, and $|R_i|/|M_i|\equiv1\pmod4$ for $i\in\{1,..., s\}$, where $R_i$ is a local ring with maximal ideal $M_i$ for $i\in\{0,...,s\}$.
Totally odd immersions of complete graphs in graph products
For a graph $G$, let $im(G)$ denote the maximum integer $t$ such that $G$ contains $K_t$ as an immersion. A recent paper of Collins, Heenehan, and McDonald (2023) studied the behaviour of this parameter under graph products, asking how large can $im(G\ast H)$ be in terms of $im(G)$ and $im(H)$, when $\ast$ is one of the four standard graph products. We consider a similar question for the parameter $toi(G)$ which denotes the maximum integer $t$ such that $G$ contains $K_t$ as a totally odd immersion. As an application, we obtain that no minimum counterexample to the immersion-analogue of the Odd Hadwiger Conjecture can be obtained from the Cartesian, direct (tensor), lexicographic or strong product of graphs.
A tropical approach to rigidity: counting realisations of frameworks
Published
• View Publication
• BIB
A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underlying graph so long as we allow for complex solutions. We provide a characterisation of the realisation number - that is the cardinality of this complex solution set - of a minimally rigid graph. Our characterisation uses tropical geometry to express the realisation number as an intersection of Bergman fans of the graphic matroid. As a consequence, we derive a combinatorial upper bound on the realisation number involving the Tutte polynomial. Moreover, we provide computational evidence that our upper bound is usually an improvement on the mixed volume bound.
Gaussian Waves and Edge Eigenvectors of Random Regular Graphs
Backhausz and Szegedy (2019) demonstrated that the almost eigenvectors of random regular graphs converge to Gaussian waves with variance $0\leq σ^2\leq 1$. In this paper, we present an alternative proof of this result for the edge eigenvectors of random regular graphs, establishing that the variance must be $σ^2=1$. Furthermore, we show that the eigenvalues and eigenvectors are asymptotically independent. Our approach introduces a simple framework linking the weak convergence of the imaginary part of the Green's function to the convergence of eigenvectors, which may be of independent interest.
Bipartite Turán number of trees
We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define:
$(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$.
$(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free connected, bipartite graph can have with part sizes $a$ and $b$. We write $ex_{b,c}(n, F)$ for $ex{b,c}(n, n, F)$.
Both definitions are similar for a family $\mathcal{F}$ of graphs.
We prove general lower bounds depending on the maximum degree of $F$, as well as on the cardinalities of the two vertex classes of $F$.
We derive upper and lower bounds for $ex_b(n,F)$ in terms of $ex(2n,F)$ and $ex(n, F)$, the corresponding classical (not bipartite) Turán numbers.
We solve both problems for various classes of graphs, including all trees up to six vertices for any $n$, for double stars $D_{s ,t}$ if $a \geq f(s,t )$, for some families of spiders, and more.
We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning $ex_b( n, \mathcal{T}_{k,\ell} )$, where $\mathcal{T}_{k,\ell}$ is the family of all trees with vertex classes of respective cardinalities $k$ and $\ell$.
The asymptotic worst-case ratios between Turán-type functions are also inverstigated.
Regularities of Typical Sigma Index on Caterpillar Trees of Pendent Vertices
In this paper, topological indices play a significant role in the analysis of caterpillar trees, especially due to their applications in chemical graph theory. We presented a study on topological indices related to the Sigma index, which we carefully selected on caterpillar trees with multiple levels. Through the election of these topological indices, we provide efficient models of these indices on caterpillar trees, as it is known that the Albertson index is the basis on which most of the topological indices are built and we have shown this through the close correlation between the Albertson's index and the Sigma index.
On the stress transit function
Published
• View Publication
• BIB
The stress interval $S(u,v)$ between $u,v\in V(G)$ is the set of all vertices in a graph $G$ that lie on every shortest $u,v$-path. A set $U \subseteq V(G)$ is stress convex if $S(u,v) \subseteq U$ for any $u,v\in U$. A vertex $v \in V(G)$ is s-extreme if $V(G)-v$ is a stress convex set in $G$. The stress number $sn(G)$ of $G$ is the minimum cardinality of a set $U$ where $\bigcup_{u,v \in U}S(u,v)=V(G)$. The stress hull number $sh(G)$ of $G$ is the minimum cardinality of a set whose stress convex hull is $V(G)$. In this paper, we present many basic properties of stress intervals. We characterize s-extreme vertices of a graph $G$ and construct graphs $G$ with arbitrarily large difference between the number of s-extreme vertices, $sh(G)$ and $sn(G)$. Then we study these three invariants for some special graph families, such as graph products, split graphs, and block graphs. We show that in any split graph $G$, $sh(G)=sn(G)=|Ext_s(G)|$, where $Ext_s(G)$ is the set of s-extreme vertices of $G$. Finally, we show that for $k \in \mathbb{N}$, deciding whether $sn(G) \leq k$ is NP-complete problem, even when restricted to bipartite graphs.
The spectrum of dense kernel-based random graphs
Kernel-based random graphs (KBRGs) are a broad class of random graph models that account for inhomogeneity among vertices. We consider KBRGs on a discrete $d-$dimensional torus $\mathbf{V}_N$ of size $N^d$. Conditionally on an i.i.d.~sequence of {Pareto} weights $(W_i)_{i\in \mathbf{V}_N}$ with tail exponent $τ-1>0$, we connect any two points $i$ and $j$ on the torus with probability
$$p_{ij}= \frac{κ_σ(W_i,W_j)}{\|i-j\|^α} \wedge 1$$ for some parameter $α>0$ and $κ_σ(u,v)= (u\vee v)(u \wedge v)^σ$ for some $σ\in(0,τ-1)$.
We focus on the adjacency operator of this random graph and study its empirical spectral distribution. For $α<d$ and $τ>2$, we show that a non-trivial limiting distribution exists as $N\to\infty$ and that the corresponding measure $μ_{σ,τ}$ is absolutely continuous with respect to the Lebesgue measure. $μ_{σ,τ}$ is given by an operator-valued semicircle law, whose Stieltjes transform is characterised by a fixed point equation in an appropriate Banach space. We analyse the moments of $μ_{σ,τ}$ and prove that the second moment is finite even when the weights have infinite variance. In the case $σ=1$, corresponding to the so-called scale-free percolation random graph, we can explicitly describe the limiting measure and study its tail.
On the heat content of compact quantum graphs
Published
• View Publication
• BIB
We study the heat content for Laplacians on compact, finite metric graphs with Dirichlet conditions imposed at the "boundary" (i.e., a given set of vertices). We prove a closed formula of combinatorial flavour, as it is expressed as a sum over all closed orbits hitting the boundary. Our approach delivers a small-time asymptotic expansion that delivers information on crucial geometric quantities of the metric graph, much in the spirit of the celebrated corresponding result for manifolds due to Gilkey-van den Berg; but unlike other known formulae based on different methods, ours holds for all times $t>0$ and it displays stronger decay rate in the short time limit. Furthermore, we prove new surgery principles for the heat content and use them to derive comparison principles for the heat content between metric graphs of different topology.
Excluded power graphs of groups
Let $G$ be a group, and let $\mathcal{X}$ be a set of integers greater than one. We consider the directed $\mathcal{X}$-excluded power graph of $G$, which takes $G$ as its vertex set and has an edge from $g$ to each power of $g$ other than itself provided the power is not divisible by any element of $\mathcal{X}$. We show that when $G=H\times K$ for $H$ and $K$ with coprime orders, excluding the prime factors of $|H|$ yields a power graph with a quotient consisting of multiple copies of a quotient of the power graph (no exclusions) of $K$. For any prime $p$, we describe the groups whose directed and undirected $\{p\}$-excluded power graphs consist of disjoint (directed) cliques.
Erdős's integer dilation approximation problem and GCD graphs
Let $\mathcal{A}\subset\mathbb{R}_{\geqslant1}$ be a countable set such that $\limsup_{x\to\infty}\frac{1}{\log x}\sum_{α\in\mathcal{A}\cap[1,x]}\frac{1}α>0$. We prove that, for every $\varepsilon>0$, there exist infinitely many pairs $(α, β)\in \mathcal{A}^2$ such that $α\neq β$ and $|nα-β| <\varepsilon$ for some positive integer $n$. This resolves a problem of Erdős from 1948. A critical role in the proof is played by the machinery of GCD graphs, which were introduced by the first author and by James Maynard in their work on the Duffin--Schaeffer conjecture in Diophantine approximation.
Interpolating chromatic and homomorphism thresholds
The problem of chromatic thresholds seeks for minimum degree conditions that ensure $H$-free graphs to have a bounded chromatic number, or equivalently a bounded size homomorphic image. The strengthened homomorphism thresholds problem further requires that the homomorphic image itself is $H$-free. The purpose of this paper is two-fold. First, we define a generalized notion of threshold which encapsulates and interpolates chromatic and homomorphism thresholds via the theory of VC-dimension. Our first result shows a smooth transition between these two thresholds when varying the restrictions on homomorphic images. In particular, we proved that for $t \ge s \ge 3$ and $ε>0$, if $G$ is an $n$-vertex $K_s$-free graph with VC-dimension $d$ and $δ(G) \ge (\frac{(s-3)(t-s+2)+1}{(s-2)(t-s+2)+1} + ε)n$, then $G$ is homomorphic to a $K_t$-free graph $H$ with $|H| = O(1)$. Moreover, we construct graphs showing that this minimum degree condition is optimal. This extends and unifies the results of Thomassen, Łuczak and Thomassé, and Goddard, Lyle and Nikiforov, and provides a deeper insight into the cause of existences of homomorphic images with various properties.
Second, we introduce the blowup threshold $δ_B(H)$ as the infimum $α$ such that every $n$-vertex maximal $H$-free graph $G$ with $δ(G)\geαn$ is a blowup of some $F$ with $|F|=O(1)$. This notion strengthens homomorphism threshold. While the homomorphism thresholds for odd cycles remain unknown, we prove that $δ_B(C_{2k-1})=1/(2k-1)$ for any integer $k\ge 2$. This strengthens the result of Ebsen and Schacht and answers a question of Schacht and shows that, in sharp contrast to the chromatic thresholds, 0 is an accumulation point for blowup thresholds. Our proofs mix tools from VC-dimension theory and an iterative refining process, and draw connection to a problem concerning codes on graphs.
A note on toric ideals of graphs and Knutson-Miller-Yong decompositions
We use a Gröbner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height formula for the toric ideal of a graph $I_G$ and demonstrate an algebraic property that can detect when a graph deletion is bipartite. We also bound the chromatic number $χ(G)$ using information about an initial ideal of $I_G$.