graph
34604 papers tagged with this keyword
Graphs with at most two moplexes
Published
• View Publication
• BIB
A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in chordal graphs: unlike in the moplex setting, properties of chordal graphs with a bounded number of simplicial modules are well understood. For instance, chordal graphs having at most two simplicial modules are interval.
In this work, we initiate an investigation of $k$-moplex graphs, which are defined as graphs containing at most $k$ moplexes. Of particular interest is the smallest nontrivial case $k=2$, which forms a counterpart to the class of interval graphs. As our main structural result, we show that, when restricted to connected graphs, the class of $2$-moplex graphs is sandwiched between the classes of proper interval graphs and cocomparability graphs; moreover, both inclusions are tight for hereditary classes. From a complexity theoretic viewpoint, this leads to the natural question of whether the presence of at most two moplexes guarantees a sufficient amount of structure to efficiently solve problems that are known to be intractable on cocomparability graphs, but not on proper interval graphs. We develop new reductions that answer this question negatively for two prominent problems fitting this profile, namely Graph Isomorphism and Max-Cut. On the other hand, we prove that every connected $2$-moplex graph contains a Hamiltonian path, generalising the same property of connected proper interval graphs.
Sparse Random Block Matrices
Published
• View Publication
• BIB
The spectral moments of ensembles of sparse random block matrices are analytically evaluated in the limit of large order. The structure of the sparse matrix corresponds to the Erdös-Renyi random graph. The blocks are i.i.d. random matrices of the classical ensembles GOE or GUE. The moments are evaluated for finite or infinite dimension of the blocks. The correspondences between sets of closed walks on trees and classes of irreducible partitions studied in free probability together with functional relations are powerful tools for analytic evaluation of the limiting moments. They are helpful to identify probability laws for the blocks and limits of the parameters which allow the evaluation of all the spectral moments and of the spectral density.
A Spectral Moore Bound for Bipartite Semiregular Graphs
Published in SIDMA 37.1 (2023) 315-331
• View Publication
• BIB
Let $b(k,\ell,θ)$ be the maximum number of vertices of valency $k$ in a $(k,\ell)$-semiregular bipartite graph with second largest eigenvalue $θ$. We obtain an upper bound for $b(k,\ell,θ)$ for $0 < θ< \sqrt{k-1} + \sqrt{\ell-1}$. This bound is tight when there exists a distance-biregular graph with particular parameters, and we develop the necessary properties of distance-biregular graphs to prove this.
Two Hamiltonian cycles
Published in Discrete Math., 345 (2022), article 112797, 3 pp
• View Publication
• BIB
If the line graph of a graph $G$ decomposes into Hamiltonian cycles, what is $G$? We answer this question for decomposition into two cycles.
Some tight bounds on the minimum and maximum forcing numbers of graphs
Published in Discrete Applied Mathematics 2023
• View Publication
• BIB
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. We denote by $f(G)$ and $F(G)$ the minimum and maximum forcing number of $G$, respectively.
Hetyei obtained that the maximum number of edges of graphs $G$ with a unique perfect matching is $n^2$. We know that $G$ has a unique perfect matching if and only if $f(G)=0$. Along this line, we generalize the classical result to all graphs $G$ with $f(G)=k$ for $0\leq k\leq n-1$, and characterize corresponding extremal graphs as well. Hence we get a non-trivial lower bound of $f(G)$ in terms of the order and size. For bipartite graphs, we gain corresponding stronger results. Further, we obtain a new upper bound of $F(G)$. For bipartite graphs $G$, Che and Chen (2013) obtained that $f(G)=n-1$ if and only if $G$ is complete bipartite graph $K_{n,n}$. We completely characterize all bipartite graphs $G$ with $f(G)= n-2$.
On the spectral radius of unicyclic and bicyclic graphs with a fixed diameter
Published
• View Publication
• BIB
The $α$-spectral radius of a connected graph $G$ is the spectral radius of $A_α$-matrix of $G$. In this paper, we discuss the methods for comparing $α$-spectral radius of graphs. As applications, we characterize the graphs with the maximal $α$-spectral radius among all unicyclic and bicyclic graphs of order $n$ with diameter $d$, respectively. Finally, we determine the unique graph with maximal signless Laplacian spectral radius among bicyclic graphs of order $n$ with diameter $d$.
Reconstructing simplicial polytopes from their graphs and affine $2$-stresses
Published
• View Publication
• BIB
A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$, the combinatorial type of a simplicial $d$-polytope $P$ is uniquely determined by the $(k-1)$-skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$-stresses on $P$. We establish the first non-trivial case of this conjecture, namely, the case of $k=2$. We also prove that for a general $k$, Kalai's conjecture holds for the class of $k$-neighborly polytopes.
Vertex-regular $1$-factorizations in infinite graphs
Published
• View Publication
• BIB
The existence of $1$-factorizations of an infinite complete equipartite graph $K_m[n]$ (with $m$ parts of size $n$) admitting a vertex-regular automorphism group $G$ is known only when $n=1$ and $m$ is countable (that is, for countable complete graphs) and, in addition, $G$ is a finitely generated abelian group $G$ of order $m$.
In this paper, we show that a vertex-regular $1$-factorization of $K_m[n]$ under the group $G$ exists if and only if $G$ has a subgroup $H$ of order $n$ whose index in $G$ is $m$. Furthermore, we provide a sufficient condition for an infinite Cayley graph to have a regular $1$-factorization. Finally, we construct 1-factorizations that contain a given subfactorization, both having a vertex-regular automorphism group.
On Tutte cycles containing three prescribed edges
Published
• View Publication
• BIB
A cycle $C$ in a graph $G$ is called a Tutte cycle if, after deleting $C$ from $G$, each component has at most three neighbors on $C$. Tutte cycles play an important role in the study of Hamiltonicity of planar graphs. Thomas and Yu and independently Sanders proved the existence of Tutte cycles containining three specified edges of a facial cycle in a 2-connected plane graph. We prove a quantitative version of this result, bounding the number of components of the graph obtained by deleting a Tutte cycle. As a corollary, we can find long cycles in essentially 4-connected plane graphs that also contain three prescribed edges of a facial cycle.
A Ramsey-Turán theory for tilings in graphs
Published
• View Publication
• BIB
For a $k$-vertex graph $F$ and an $n$-vertex graph $G$, an $F$-tiling in $G$ is a collection of vertex-disjoint copies of $F$ in $G$. For $r\in \mathbb{N}$, the $r$-independence number of $G$, denoted $α_r(G)$ is the largest size of a $K_r$-free set of vertices in $G$. In this paper, we discuss Ramsey--Turán-type theorems for tilings where one is interested in minimum degree and independence number conditions (and the interaction between the two) that guarantee the existence of optimal $F$-tilings. For cliques, we show that for any $k\geq 3$ and $η>0$, any graph $G$ on $n$ vertices with $δ(G)\geq ηn$ and $α_k(G)=o(n)$ has a $K_k$-tiling covering all but $\lfloor\tfrac{1}η\rfloor(k-1)$ vertices. All conditions in this result are tight; the number of vertices left uncovered can not be improved and for $η<\tfrac{1}{k}$, a condition of $α_{k-1}(G)=o(n)$ would not suffice. When $η>\tfrac{1}{k}$, we then show that $α_{k-1}(G)=o(n)$ does suffice, but not $α_{k-2}(G)=o(n)$. These results unify and generalise previous results of Balogh-Molla-Sharifzadeh, Nenadov-Pehova and Balogh-McDowell-Molla-Mycroft on the subject. We further explore the picture when $F$ is a tree or a cycle and discuss the effect of replacing the independence number condition with $α^*(G)=o(n)$ (meaning that any pair of disjoint linear sized sets induce an edge between them) where one can force perfect $F$-tilings covering all the vertices. Finally we discuss the consequences of these results in the randomly perturbed setting.
The necessity of conditions for graph quantum ergodicity and Cartesian products with an infinite graph
Published
• View Publication
• BIB
Anantharaman and Le Masson proved that any family of eigenbases of the adjacency operators of a family of graphs is quantum ergodic (a form of delocalization) assuming the graphs satisfy conditions of expansion and high girth. In this paper, we show that neither of these two conditions is sufficient by itself to necessitate quantum ergodicity. We also show that having conditions of expansion and a specific relaxation of the high girth constraint present in later papers on quantum ergodicity is not sufficient. We do so by proving new properties of the Cartesian product of two graphs where one is infinite.
On global offensive alliance in zero-divisor graphs
Published
• View Publication
• BIB
Let $\G(V,E)$ be a simple graph without loops nor multiple edges. A nonempty subset $S \subseteq V$ is said a {\em global offensive alliance} if every vertex $v \in V- S$ satisfies that $\d_S(v) \geq \d_{\overline{S}}(v)+1$. The {\em global offensive alliance number} $\g^o(Γ)$ is defined as the minimum cardinality among all global offensive alliances. Let $R$ be a finite commutative ring with identity. In this paper, we initiate the study of the global offensive alliance number of the zero-divisor graph $\G(R)$.
Injective coloring of graphs revisited
Published in Discrete Mathematics, 2023
• View Publication
• BIB
An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.
The differential on Graph Operator $§{G}$
Let $G=(V(G),E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is defined as $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V$ is the differential $\partial(G)$ of $G$. A graph operator is a mapping $F: G\rightarrow G'$, where $G$ and $G'$ are families of graphs.The graph $§{G}$ is defined as the graph obtained from $G$ con bipartición de vértices $V(G)\cup E(G)$, donde hay tantas aristas entre $v \in V(G)$ y $e \in E(G)$, como veces $e$ sea incidente con $v$ en $G$. In this paper we study the relationship between $\partial(G)$ and $\partial(§{G})$. Besides, we relate the differential of a graph with known parameters of a graph, namely, its domination and independence number.
Restrained double Roman domination of a graph
Published
• View Publication
• BIB
For a graph G=(V,E), a restrained double Roman dominating function is a function f:V\rightarrow\{0,1,2,3\} having the property that if f(v)=0, then the vertex v must have at least two neighbors assigned 2 under f or one neighbor w with f(w)=3, and if f(v)=1, then the vertex v must have at least one neighbor w with f(w)\geq2, and at the same time, the subgraph G[V_0] which includes vertices with zero labels has no isolated vertex. The weight of a restrained double Roman dominating function f is the sum f(V)=\sum_{v\in V}f(v), and the minimum weight of a restrained double Roman dominating function on G is the restrained double Roman domination number of G. We initiate the study of restrained double Roman domination with proving that the problem of computing this parameter is NP-hard. Then we present an upper bound on the restrained double Roman domination number of a connected graph G in terms of the order of G and characterize the graphs attaining this bound. We study the restrained double Roman domination versus the restrained Roman domination. Finally, we characterized all trees T attaining the exhibited bound.
Sufficient conditions for 2-dimensional global rigidity
Published
• View Publication
• BIB
The 2-dimensional global rigidity has been shown to be equivalent to 3-connectedness and redundant rigidity by a combination of two results due to Jackson and Jordán, and Connelly, respectively. By the characterization, a theorem of Lovász and Yemini implies that every $6$-connected graph is redundantly rigid, and thus globally rigid. The 6-connectedness is best possible, since there exist infinitely many 5-connected non-rigid graphs. Jackson, Servatius and Servatius used the idea of ``essential connectivity'' and proved that every 4-connected ``essentially 6-connected'' graph is redundantly rigid and thus global rigid. Since 3-connectedness is a necessary condition of global rigidity, it is interesting to study 3-connected graphs for redundant rigidity and thus globally rigidity. We utilize a different ``essential connectivity'', and prove that every 3-connected essentially 9-connected graph is redundantly rigid and thus globally rigid. The essential 9-connectedness is best possible. Under this essential connectivity, we also prove that every 4-connected essentially 6-connected graph is redundantly rigid and thus global rigid. Our proofs are based on discharging arguments.
Colouring graphs with no induced six-vertex path or diamond
Published
• View Publication
• BIB
The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.
$1$-independent percolation on $\mathbb{Z}^2 \times K_n$
Published
• View Publication
• BIB
A random graph model on a host graph H is said to be 1-independent if for every pair of vertex-disjoint subsets A,B of E(H), the state of edges (absent or present) in A is independent of the state of edges in B. For an infinite connected graph H, the 1-independent critical percolation probability $p_{1,c}(H)$ is the infimum of the p in [0,1] such that every 1-independent random graph model on H in which each edge is present with probability at least p almost surely contains an infinite connected component.
Balister and Bollobás observed in 2012 that $p_{1,c}(\mathbb{Z}^d)$ is nonincreasing and tends to a limit in [1/2, 1] as d tends to infinity. They asked for the value of this limit. We make progress towards this question by showing that \[\lim_{n\rightarrow \infty}p_{1,c}(\mathbb{Z}^2\times K_n)=4-2\sqrt{3}=0.5358\ldots \ .\] In fact, we show that the equality above remains true if the sequence of complete graphs $K_n$ is replaced by a sequence of weakly pseudorandom graphs on n vertices with average degree $ω(\log n)$. We conjecture that the equality also remains true if $K_n$ is replaced instead by the n-dimensional hypercube $Q_n$. This latter conjecture would imply the answer to Balister and Bollobás's question is $4-2\sqrt{3}$.
Using our results, we are also able to resolve a problem of Day, Hancock and the first author on the emergence of long paths in 1-independent random graph models on $\mathbb{Z}\times K_n$. Finally, we prove some results on component evolution in 1-independent random graphs, and discuss a number of open problems arising from our work that may pave the way for further progress on the question of Balister and Bollobás.
Divisible design graphs with parameters $(4n,n+2,n-2,2,4,n)$ and $(4n,3n-2,3n-6,2n-2,4,n)$
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. $4\times n$-lattice graph is the line graph of $K_{4,n}$. This graph is a DDG with parameters $(4n,n+2,n-2,2,4,n)$. In the paper we consider DDGs with these parameters. We prove that if $n$ is odd then such graph can only be a $4\times n$-lattice graph. If $n$ is even we characterise all DDGs with such parameters. Moreover, we characterise all DDGs with parameters $(4n,3n-2,3n-6,2n-2,4,n)$ which are related to $4\times n$-lattice graphs.
Counting $H$-free orientations of graphs
In 1974, Erdős posed the following problem. Given an oriented graph $H$, determine or estimate the maximum possible number of $H$-free orientations of an $n$-vertex graph. When $H$ is a tournament, the answer was determined precisely for sufficiently large $n$ by Alon and Yuster. In general, when the underlying undirected graph of $H$ contains a cycle, one can obtain accurate bounds by combining an observation of Kozma and Moran with celebrated results on the number of $F$-free graphs. As the main contribution of the paper, we resolve all remaining cases in an asymptotic sense, thereby giving a rather complete answer to Erdős's question. Moreover, we determine the answer exactly when $H$ is an odd cycle and $n$ is sufficiently large, answering a question of Araújo, Botler and Mota.