graph
34604 papers tagged with this keyword
On the existence of graphs which can colour every regular graph
Published in Discrete Appl. Math. 337, 246--256 (2023). Share Link: https://authors.elsevier.com/c/1h8WP,3nuHsmJ6
• View Publication
• BIB
Let $H$ and $G$ be graphs. An $H$-colouring of $G$ is a proper edge-colouring $f:E(G)\rightarrow E(H)$ such that for any vertex $u\in V(G)$ there exists a vertex $v\in V(H)$ with $f\left (\partial_Gu\right )=\partial_Hv$, where $\partial_Gu$ and $\partial_Hv$ respectively denote the sets of edges in $G$ and $H$ incident to the vertices $u$ and $v$. If $G$ admits an $H$-colouring we say that $H$ colours $G$. The question whether there exists a graph $H$ that colours every bridgeless cubic graph is addressed directly by the Petersen Colouring Conjecture, which states that the Petersen graph colours every bridgeless cubic graph. In 2012, Mkrtchyan showed that if this conjecture is true, the Petersen graph is the unique connected bridgeless cubic graph $H$ which can colour all bridgeless cubic graphs. In this paper we extend this and show that if we were to remove all degree conditions on $H$, every bridgeless cubic graph $G$ can be coloured substantially only by a unique other graph: the subcubic multigraph $S_{4}$ on four vertices. A few similar results are provided also under weaker assumptions on the graph $G$. In the second part of the paper, we also consider $H$-colourings of regular graphs having degree strictly greater than $3$ and show that: (i) for any $r>3$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $r$-regular multigraph, and (ii) for every $r>1$, there does not exist a connected graph $H$ (possibly containing parallel edges) that colours every $2r$-regular simple graph.
Globally balancing spanning trees
We show that for every graph $G$ that contains two edge-disjoint spanning trees, we can choose two edge-disjoint spanning trees $T_1,T_2$ of $G$ such that $|d_{T_1}(v)-d_{T_2}(v)|\leq 5$ for all $v \in V(G)$. We also prove the more general statement that for every positive integer $k$, there is a constant $c_k \in O(\log k)$ such that for every graph $G$ that contains $k$ edge-disjoint spanning trees, we can choose $k$ edge-disjoint spanning trees $T_1,\ldots,T_k$ of $G$ satisfying $|d_{T_i}(v)-d_{T_j}(v)|\leq c_k$ for all $v \in V(G)$ and $i,j \in \{1,\ldots,k\}$. This resolves a conjecture of Kriesell.
Some coset actions in $G_2(q)$ and distance-transitive graphs
This paper studies whether there are distance-transitive graphs arising from the coset actions of $G_2(q)$ on the subfield subgroup $G_2(\sqrt{q})$ or $G_2(q)$ on the Ree subgroup $^2G_2(q)$. It is found that there are no such graphs, even if the groups are extended by outer automorphisms of $G_2(q)$.
On the automorphism groups of rank-4 primitive coherent configurations
Published
• View Publication
• BIB
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. Babai conjectured that if a primitive coherent configuration with $n$ vertices is not a Cameron scheme, then its automorphism group has minimal degree $\geq cn$ for some constant $c>0$. In 2014, Babai proved the desired lower bound on the minimal degree of the automorphism groups of strongly regular graphs, thus confirming the conjecture for primitive coherent configurations of rank 3.
In this paper, we extend Babai's result to primitive coherent configurations of rank 4, confirming the conjecture in this special case. The proofs combine structural and spectral methods.
Deletion-contraction for a unified Laplacian and applications
Published
• View Publication
• BIB
We define a graph Laplacian with vertex weights in addition to the more classical edge weights, which unifies the combinatorial Laplacian and the normalised Laplacian. Moreover, we give a combinatorial interpretation for the coefficients of the weighted Laplacian characteristic polynomial in terms of weighted spanning forests and use this to prove a deletion-contraction relation. We prove various interlacing theorems relating to deletion and contraction, as well as to rectangular tilings, drawing on the work of Brooks, Smith, Stone and Tutte on square tilings. Additionally, we show that the weighted Laplacian also satisfies a vertex analogue of deletion-contraction. We give applications of weighted Laplacian eigenvalues to sparse cuts, independent sets and graph colouring, and establish new cases of a conjecture of Stanley on distinguishing nonisomorphic trees.
Connected greedy colourings of perfect graphs and other classes: the good, the bad and the ugly
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (April 2, 2024) dmtcs:8715
• View Publication
• BIB
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings that are connected, we obtain {\em connected greedy colourings}. For some graphs, all connected greedy colourings use exactly $χ(G)$ colours; they are called {\em good graphs}. On the opposite, some graphs do not admit any connected greedy colouring using only $χ(G)$ colours; they are called {\em ugly graphs}.
We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no $K_4$-minor free graph is ugly.
Moreover, our proofs are constructive, and imply the existence of polynomial-time algorithms to compute good connected orderings for these graph classes.
Typical large graphs with given edge and triangle densities
Published
• View Publication
• BIB
The analysis of large simple graphs with extreme values of the densities of edges and triangles has been extended to the statistical structure of typical graphs of fixed intermediate densities, by the use of large deviations of Erdoes-Renyi graphs. We prove that the typical graph exhibits sharp singularities as the constraining densities vary between different curves of extreme values, and we determine the precise nature of the singularities. The extension to graphs with fixed densities of edges and k-cycles for odd k>3 is straightforward and we note the simple changes in the proof.
Chords of 2-factors in planar cubic bridgeless graphs
Published in Graphs and Combinatorics 38, 177 (2022)
• View Publication
• BIB
We show that every edge in a 2-edge-connected planar cubic graph is either contained in a 2-edge-cut or is a chord of some cycle that is contained in a 2-factor of the graph. As a consequence, we show that every edge in a cyclically 4-edge-connected planar cubic graph, except $K_2^3$ and $K_4$, is contained in a perfect matching whose removal disconnects the graph. We obtain a complete characterization of 2-edge-connected planar cubic graphs that have an edge such that every 2-factor containing the edge is a Hamiltonian cycle, and also of those that have an edge such that the complement of every perfect matching containing the edge is a Hamiltonian cycle. Another immediate consequence of the main result is that for any two edges contained in a facial cycle of a 2-edge-connected planar cubic graph, there exists a 2-factor in the graph such that both edges are contained in the same cycle of the 2-factor. We conjecture that this property holds for any two edges in a 2-edge-connected planar cubic graph, and prove it for planar cubic bipartite graphs. The main result is proved in the dual form by showing that every plane triangulation admits a vertex 3-coloring such that no face is monochromatic and there is exactly one specified edge between a specified pair of color classes.
On the average hitting times of the squares of cycles
Published
• View Publication
• BIB
The exact formula for the average hitting time (HT, as an abbreviation) of simple random walks from one vertex to any other vertex on the square $C^2_N$ of an $N$-vertex cycle graph $C_N$ was given by N. Chair [\textit{Journal of Statistical Physics}, \textbf{154} (2014) 1177-1190]. In that paper, the author gives the expression for the even $N$ case and the expression for the odd $N$ case separately. In this paper, by using an elementary method different from Chair (2014), we give a much simpler single formula for the HT's of simple random walks on $C^2_N$. Our proof is considerably short and fully combinatorial, in particular, has no-need of any spectral graph theoretical arguments. Not only the formula itself but also intermediate results through the process of our proof describe clear relations between the HT's of simple random walks on $C^2_N$ and the Fibonacci numbers.
Orders of the canonical vector bundles over configuration spaces of finite graphs
Published
• View Publication
• BIB
We prove that the order of the canonical vector bundle over the configuration space is $2$ for a general planar graph, and is $4$ for a nonplanar graph.
On the chromatic number of a family of odd hole free graphs
A hole is an induced cycle of length at least 4, and an odd hole is a hole of odd length. A full house is a graph composed by a vertex adjacent to both ends of an edge in $K_4$ . Let $H$ be the complement of a cycle on 7 vertices. Chudnovsky et al [6] proved that every (odd hole, $K_4$)-free graph is 4-colorable and is 3-colorable if it does not has $H$ as an induced subgraph. In this paper, we use the proving technique of Chudnovsky et al to generalize this conclusion to (odd hole, full house)-free graphs, and prove that for (odd hole, full house)-free graph $G$, $χ(G)\le ω(G)+1$, and the equality holds if and only if $ω(G)=3$ and $G$ has $H$ as an induced subgraph.
Saturated $2$-planar drawings with few edges
Published in Ars Math. Contemp. 24 (2024), #1.05
• View Publication
• BIB
A drawing of a graph is $k$-plane if every edge contains at most $k$ crossings. A $k$-plane drawing is saturated if we cannot add any edge so that the drawing remains $k$-plane. It is well-known that saturated $0$-plane drawings, that is, maximal plane graphs, of $n$ vertices have exactly $3n-6$ edges. For $k>0$, the number of edges of saturated $n$-vertex $k$-plane graphs can take many different values. In this note, we establish some bounds on the minimum number of edges of saturated $2$-plane graphs under different conditions. If two edges can cross at most once, then such a graph has at least $n-1$ edges. If two edges can cross many times, then we show the tight bound of $\lfloor2n/3\rfloor$ for the number of edges.
Minor exclusion in quasi-transitive graphs
Published
• View Publication
• BIB
In this note, we show that locally finite quasi-transitive graphs are quasi-isometric to trees if and only if every other locally finite quasi-transitive graph quasi-isometric to them is minor excluded. This generalizes results by Ostrovskii and Rosenthal and by Khukhro on minor exclusion for groups.
The diameter of caterpillar associahedra
The caterpillar associahedron $\mathcal{A}(G)$ is a polytope arising from the rotation graph of search trees on a caterpillar tree $G$, generalizing the rotation graph of binary search trees (BSTs) and thus the conventional associahedron. We show that the diameter of $\mathcal{A}(G)$ is $Θ(n + m \cdot (H+1))$, where $n$ is the number of vertices, $m$ is the number of leaves, and $H$ is the entropy of the leaf distribution of $G$.
Our proofs reveal a strong connection between caterpillar associahedra and searching in BSTs. We prove the lower bound using Wilber's first lower bound for dynamic BSTs, and the upper bound by reducing the problem to searching in static BSTs.
Small cocircuits in minimally vertically $4$-connected matroids
Published
• View Publication
• BIB
Halin proved that every minimally $k$-connected graph has a vertex of degree $k$. More generally, does every minimally vertically $k$-connected matroid have a $k$-element cocircuit? Results of Murty and Wong give an affirmative answer when $k \le 3$. We show that every minimally vertically $4$-connected matroid with at least six elements has a $4$-element cocircuit, or a $5$-element cocircuit that contains a triangle, with the exception of a specific non-binary $9$-element matroid. Consequently, every minimally vertically $4$-connected binary matroid with at least six elements has a $4$-element cocircuit.
A Novel AQC Factoring Algorithm
Due to recent technological advances, actual quantum devices are being constructed and used to perform computations. As a result, many classical problems are being restated so as to be solved on quantum computers. Some examples include satisfiability problems; clustering and classification; protein folding; and simulating many-body systems. Converting these classical problems to a quantum framework is not always straightforward. As such, instances where researchers explicitly elucidate the conversion process are not only valuable in their own right, but are likely to spawn new ideas and creative ways in regards to problem solving. In this paper, we propose a classical factoring algorithm, which we then convert into a quantum framework. Along the way, we discuss the subtle similarities and differences between the approaches, and provide a general comparison of their performance. It is our desire to not only introduce an interesting approach to factoring, but to hopefully promote more creative ways to solving problems using quantum computers. The key to our algorithm is that we convert the factoring problem to a graph theory problem using elements from group theory. The move to a graph-theoretic approach ultimately eases the transition to a quantum setting.
Multiset and Mixed Metric Dimension for Starphene and Zigzag-Edge Coronoid
Published
• View Publication
• BIB
Let $Γ=(V,E)$ be a simple connected graph. A vertex $a$ is said to recognize (resolve) two different elements $b_{1}$ and $b_{2}$ from $V(Γ)\cup E(Γ)$ if $d(a, b_{1})\neq d(a, b_{2}\}$. A subset of distinct ordered vertices $U_{M}\subseteq V(Γ)$ is said to be a mixed metric generator for $Γ$ if each pair of distinct elements from $V\cup E$ are recognized by some element of $U_{M}$. The mixed metric generator with a minimum number of elements is called a mixed metric basis of $Γ$. Then, the cardinality of this mixed metric basis for $Γ$ is called the mixed metric dimension of $Γ$, denoted by $mdim(Γ)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables researchers to more precisely and easily examines various chemical topologies and networks. In this paper, we consider two well known chemical structures; starphene $SP_{a,b,c}$ and six-sided hollow coronoid $HC_{a,b,c}$ and respectively compute their multiset dimension and mixed metric dimension.
On $A_α$-spectrum of joined union of graphs and its applications to power graphs of finite groups
Published
• View Publication
• BIB
For a simple graph $G$, the generalized adjacency matrix $A_α(G)$ is defined as $A_α(G)=αD(G)+(1-α)A(G), α\in [0,1]$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees of $G$. This matrix generalises the spectral theories of the adjacency matrix and the signless Laplacian matrix of $G$. In this paper, we find $ A_α $-spectrum of the joined union of graphs in terms of spectrum of adjacency matrices of its components and the zeros of the characteristic polynomials of an auxiliary matrix determined by the joined union. We determine the $ A_α$-spectrum of join of two regular graphs, the join of a regular graph with the union of two regular graphs of distinct degrees. As an applications, we investigate the $ A_α $-spectrum of certain power graphs of finite groups.
On I-eigenvalue free threshold graphs
A graph is said to be I-eigenvalue free if it has no eigenvalues in the interval I with respect to the adjacency matrix A. In this paper we present two algorithms for generating I-eigenvalue free threshold graphs.
Bootstrap percolation in random geometric graphs
Published
• View Publication
• BIB
Following Bradonjić and Saniee, we study a model of bootstrap percolation on the Gilbert random geometric graph on the $2$-dimensional torus. In this model, the expected number of vertices of the graph is $n$, and the expected degree of a vertex is $a\log n$ for some fixed $a>1$. Each vertex is added with probability $p$ to a set $A_0$ of initially infected vertices. Vertices subsequently become infected if they have at least $ θa \log n $ infected neighbours. Here $p, θ\in [0,1]$ are taken to be fixed constants.
We show that if $θ< (1+p)/2$, then a sufficiently large local outbreak leads with high probability to the infection spreading globally, with all but $o(n)$ vertices eventually becoming infected. On the other hand, for $ θ> (1+p)/2$, even if one adversarially infects every vertex inside a ball of radius $O(\sqrt{\log n} )$, with high probability the infection will spread to only $o(n)$ vertices beyond those that were initially infected.
In addition we give some bounds on the $(a, p, θ)$ regions ensuring the emergence of large local outbreaks or the existence of islands of vertices that never become infected. We also give a complete picture of the (surprisingly complex) behaviour of the analogous $1$-dimensional bootstrap percolation model on the circle. Finally we raise a number of problems, and in particular make a conjecture on an `almost no percolation or almost full percolation' dichotomy which may be of independent interest.