graph
34516 papers tagged with this keyword
Spectral multiplicity functions of adjacency operators of graphs and cospectral infinite graphs
The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this article is to review some examples of infinite graphs for which the spectral multiplicity function of the adjacency operator has been determined. The second purpose of this article is to show explicit examples of infinite connected graphs which are cospectral, i.e., which have unitarily equivalent adjacency operators, and explicit examples of infinite connected graphs which are uniquely determined by their spectrum.
Ramsey problems for monotone paths in graphs and hypergraphs
The study of ordered Ramsey numbers of monotone paths for graphs and hypergraphs has a long history, going back to the celebrated work by Erdős and Szekeres in the early days of Ramsey theory. In this paper we obtain several results in this area, establishing two conjectures of Mubayi and Suk and improving bounds due to Balko, Cibulka, Král and Kynčl. We also obtain a color-monotone version of the well-known Canonical Ramsey Theorem of Erdős and Rado, which could be of independent interest.
On the approximability of the burning number
The burning number of a graph $G$ is the smallest number $b$ such that the vertices of $G$ can be covered by balls of radii $0, 1, \dots, b-1$. As computing the burning number of a graph is known to be NP-hard, even on trees, it is natural to consider polynomial time approximation algorithms for the quantity. The best known approximation factor in the literature is $3$ for general graphs and $2$ for trees. In this note we give a $2/(1-e^{-2})+\varepsilon=2.313\dots$-approximation algorithm for the burning number of general graphs, and a PTAS for the burning number of trees and forests. Moreover, we show that computing a $(\frac53-\varepsilon)$-approximation of the burning number of a general graph $G$ is NP-hard.
Acyclic graphs with at least $2\ell+1$ vertices are $\ell$-recognizable
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs with no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$). As a consequence, the family of $n$-vertex trees is $\ell$-recognizable when $n\ge2\ell+1$ and $\ell\ne2$. It is known that this fails when $n=2\ell$.
Spartan Bipartite Graphs are Essentially Elementary
Published
• View Publication
• BIB
We study a two-player game on a graph between an attacker and a defender. To begin with, the defender places guards on a subset of vertices. In each move, the attacker attacks an edge. The defender must move at least one guard across the attacked edge to defend the attack. The defender wins if and only if the defender can defend an infinite sequence of attacks. The smallest number of guards with which the defender has a winning strategy is called the eternal vertex cover number of a graph $G$ and is denoted by $evc(G)$. It is clear that $evc(G)$ is at least $mvc(G)$, the size of a minimum vertex cover of $G$. We say that $G$ is Spartan if $evc(G) = mvc(G)$. The characterization of Spartan graphs has been largely open. In the setting of bipartite graphs on $2n$ vertices where every edge belongs to a perfect matching, an easy strategy is to have $n$ guards that always move along perfect matchings in response to attacks. We show that these are essentially the only Spartan bipartite graphs.
Critical $(P_5,dart)$-Free Graphs
Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. Let $P_t$ be the path on $t$ vertices. A dart is the graph obtained from a diamond by adding a new vertex and making it adjacent to exactly one vertex with degree 3 in the diamond.
In this paper, we show that there are finitely many $k$-vertex-critical $(P_5,dart)$-free graphs for $k \ge 1$ To prove these results, we use induction on $k$ and perform a careful structural analysis via Strong Perfect Graph Theorem combined with the pigeonhole principle based on the properties of vertex-critical graphs. Moreover, for $k \in \{5, 6, 7\}$ we characterize all $k$-vertex-critical $(P_5,dart)$-free graphs using a computer generation algorithm. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,dart)$-free graphs for $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.
Tyshkevich's Graph Decomposition and the Distinguishing Numbers of Unigraphs
A $c$-labeling $φ: V(G) \rightarrow \{1, 2, \hdots, c \}$ of graph $G$ is distinguishing if, for every non-trivial automorphism $π$ of $G$, there is some vertex $v$ so that $φ(v) \neq φ(π(v))$. The distinguishing number of $G$, $D(G)$, is the smallest $c$ such that $G$ has a distinguishing $c$-labeling.
We consider a compact version of Tyshkevich's graph decomposition theorem where trivial components are maximally combined to form a complete graph or a graph of isolated vertices. Suppose the compact canonical decomposition of $G$ is $G_{k} \circ G_{k-1} \circ \cdots \circ G_1 \circ G_0$. We prove that $φ$ is a distinguishing labeling of $G$ if and only if $φ$ is a distinguishing labeling of $G_i$ when restricted to $V(G_i)$ for $i = 0, \hdots, k$. Thus, $D(G) = \max \{D(G_i), i = 0, \hdots, k \}$. We then present an algorithm that computes the distinguishing number of a unigraph in linear time.
Average height for Abelian sandpiles and the looping constant on Sierpinski graphs
For the Abelian sandpile model on Sierpinski graphs, we investigate several statistics such as average height, height probabilities and looping constant. In particular, we calculate the expected average height of a recurrent sandpile on the finite iterations of the Sierpinski gasket and we also give an algorithmic approach for calculating the height probabilities of recurrent sandpiles under stationarity by using the connection between recurrent configurations of the Abelian sandpile Markov chain and uniform spanning trees. We also calculate the expected fraction of vertices of height $i$ for $i\in\{0,1,2,3\}$ of sandpiles under stationarity and relate the bulk average height to the looping constant on the Sierpinski gasket.
On 1-Konig-Egervary Graphs
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in $G=\left( V,E\right) $. Let $ξ(G)$ denote the size of the intersection of all maximum independent sets. It is known that if $α(G)+μ(G)=n(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph. If $α(G)+μ(G)=n(G) -1$, then $G$ is a $1$-König-Egerváry graph. If $G$ is not a König-Egerváry graph, and there exists a vertex $v\in V$ (an edge $e\in E$) such that $G-v$ ($G-e$) is König-Egerváry, then $G$ is called a vertex (an edge) almost König-Egerváry graph (respectively). The critical difference $d(G)$ is $\max\{d(I):I\in\mathrm{Ind}(G)\}$, where $\mathrm{Ind}(G)$ denotes the family of all independent sets of $G$. If $A\in\mathrm{Ind}(G)$ with $d\left( X\right) =d(G)$, then $A$ is a critical independent set. Let $diadem (G)=\bigcup\{S:S$ is a critical independent set in $G\}$, and $\varrho_{v}\left( G\right) $ denote the number of vertices $v\in V\left( G\right) $, such that $G-v$ is a König-Egerváry graph.
In this paper, we characterize all types of almost König-Egerváry graphs and present interrelationships between them. We also show that if $G$ is a $1$-König-Egerváry graph, then $\varrho_{v}\left( G\right) \leq n\left( G\right) +d\left( G\right) -ξ\left( G\right) -β(G)$, where $β(G)=\left\vert diadem(G)\right\vert $. As an application, we characterize the $1$-König-Egerváry graphs that become König-Egerváry after deleting any vertex.
A note on monotonicity in Maker-Breaker graph colouring games
In the Maker-Breaker vertex colouring game, first publicised by Gardner in 1981, Maker and Breaker alternately colour vertices of a graph using a fixed palette, maintaining a proper colouring at all times. Maker aims to colour the whole graph, and Breaker aims to make some vertex impossible to colour. We are interested in the following question, first asked by Zhu in 1999: if Maker wins with $k$ colours available, must they also win with $k+1$? This question has remained open, attracting significant attention and being reposed for many similar games. While we cannot resolve this problem for the vertex colouring game, we can answer it in the affirmative for the game of arboricity, resolving a question of Bartnicki, Grytczuk, and Kierstead from 2008. We then consider how one might approach the question of monotonicity for the vertex colouring game, and work with a related game in which the vertices must be coloured in a prescribed order. We demonstrate that this `ordered vertex colouring game' does not have the above monotonicity property, and discuss the implications of this fact to the unordered game. Finally, we provide counterexamples to two open problems concerning a connected version of the graph colouring game.
Counting two-forests and random cut size via potential theory
We prove a lower bound on the number of spanning two-forests in a graph, in terms of the number of vertices, edges, and spanning trees. This implies an upper bound on the average cut size of a random two-forest. The main tool is an identity relating the number of spanning trees and two-forests to pairwise effective resistances in a graph. Along the way, we make connections to potential theoretic invariants on metric graphs.
Borsuk and Vázsonyi problems through Reuleaux polyhedra
Published in European Journal of Combinatorics 2025
• View Publication
• BIB
The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of a bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in $\mathbb{R}^3$ and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter lead to a full characterization of all finite sets in $\mathbb{R}^3$ with Borsuk number 4.
The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with strongly critical configuration for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.
On the spectral radius of clique trees with a given zero forcing number
Let $G(n,k)$ be the class of clique trees on $n$ vertices and zero forcing number $k$, where $\left \lfloor \frac{n}{2} \right \rfloor + 1 \le k \le n-1$ and each block is a clique of size at least $3$. In this article, we proved the existence and uniqueness of a clique tree in $G(n,k)$ that attains maximal spectral radius among all graphs in $G(n,k)$. We also provide an upper bound for the spectral radius of the extremal graph.
On the automorphism group of a putative Conway 99-graph
Let $Γ$ be a {Conway 99-graph}, that is, a strongly regular graph with parameters $(99,14,1,2)$. In Makhnev and Minakova (On automorphisms of strongly regular graphs with parameters $λ=1$, $μ= 2$, Discrete Math.\ Appl.\ 14 (2) (2004) 201-210), the authors prove that the automorphism group $G$ of $Γ$ must have order dividing $2\cdot 3^3\cdot 7\cdot 11$. They further show that if $|G|$ is divisible by $2$ then $|G|$ must divide $42$. In the present paper, we refine these results by proving that divisibility by $7$ implies $G \cong\mathbb Z_7$. As a consequence, divisibility by $2$ implies $|G|$ divides $6$, \ie $G$ is isomorphic to one of $\mathbb Z_2, \mathbb Z_6, S_3$.
Factoring Pattern-Free Permutations into Separable ones
We show that for any permutation $π$ there exists an integer $k_π$ such that every permutation avoiding $π$ as a pattern is a product of at most $k_π$ separable permutations. In other words, every strict class $\mathcal C$ of permutations is contained in a bounded power of the class of separable permutations. This factorisation can be computed in linear time, for any fixed $π$. The central tool for our result is a notion of width of permutations, introduced by Guillemot and Marx [SODA '14] to efficiently detect patterns, and later generalised to graphs and matrices under the name of twin-width. Specifically, our factorisation is inspired by the decomposition used in the recent result that graphs with bounded twin-width are polynomially $χ$-bounded. As an application, we show that there is a fixed class $\mathcal C$ of graphs of bounded twin-width such that every class of bounded twin-width is a first-order transduction of $\mathcal C$.
Algebraic degrees of quasi-abelian semi-Cayley digraphs
For a digraph $Γ$, if $F$ is the smallest field that contains all roots of the characteristic polynomial of the adjacency matrix of $Γ$, then $F$ is called the splitting field of $Γ$. The extension degree of $F$ over the field of rational numbers $\mathbb{Q}$ is said to be the algebraic degree of $Γ$. A digraph is a semi-Cayley digraph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. A semi-Cayley digraph $\mathrm{SC}(G,T_{11},T_{22},T_{12},T_{21})$ is called quasi-abelian if each of $T_{11},T_{22},T_{12}$ and $T_{21}$ is a union of some conjugacy classes of $G$. This paper determines the splitting field and the algebraic degree of a quasi-abelian semi-Cayley digraph over any finite group in terms of irreducible characters of groups. This work generalizes the previous works on algebraic degrees of Cayley graphs over abelian groups and any group having a subgroup of index 2, and semi-Cayley digraphs over abelian groups.
Burning a binary tree and its generalization
Graph burning is a graph process that models the spread of social contagion. Initially, all the vertices of a graph $G$ are unburnt. At each step, an unburnt vertex is put on fire and the fire from burnt vertices of the previous step spreads to their adjacent unburnt vertices. This process continues till all the vertices are burnt. The burning number $b(G)$ of the graph $G$ is the minimum number of steps required to burn all the vertices in the graph. The burning number conjecture by Bonato et al. states that for a connected graph $G$ of order $n$, its burning number $b(G) \leq \lceil \sqrt{n} \rceil$. It is easy to observe that in order to burn a graph it is enough to burn its spanning tree. Hence it suffices to prove that for any tree $T$ of order $n$, its burning number $b(T) \leq \lceil \sqrt{n} \rceil$ where $T$ is the spanning tree of $G$. It was proved in 2018 that $b(T) \leq \lceil \sqrt{n + n_2 + 1/4} +1/2 \rceil$ for a tree $T$ where $n_2$ is the number of degree $2$ vertices in $T$. In this paper, we provide an algorithm to burn a tree and we improve the existing bound using this algorithm. We prove that $b(T)\leq \lceil \sqrt{n + n_2 + 8}\rceil -1$ which is an improved bound for $n\geq 50$. We also provide an algorithm to burn some subclasses of the binary tree and prove the burning number conjecture for the same.
Fundamental Groups of Hamming Graphs
Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a homotopy category, a fundamental group for graphs under this homotopy, and a way of computing covers of graphs that lift homotopy via this fundamental group. In this paper, we compute the fundamental groups of all Hamming graphs, show that they are direct products of cyclic groups, and use this result to describe some $\times$-homotopy covers of Hamming graphs.
Total outer-connected domination number of middle graphs
In this paper, we study the total outer-connected domination number of the middle graph of a simple graph and we obtain tight bounds for this number in terms of the order of the middle graph. We also compute the total outer-connected domination number of some families of graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the total outer-connected domination number of middle graphs.
Fractional revival on semi-Cayley graphs over abelian groups
In this paper, we investigate the existence of fractional revival on semi-Cayley graphs over finite abelian groups. We give some necessary and sufficient conditions for semi-Cayley graphs over finite abelian groups admitting fractional revival. We also show that integrality is necessary for some semi-Cayley graphs admitting fractional revival. Moreover, we characterize the minimum time when semi-Cayley graphs admit fractional revival. As applications, we give examples of certain Cayley graphs over the generalized dihedral groups and generalized dicyclic groups admitting fractional revival.