graph
35150 papers tagged with this keyword
The global structure of locally chordal graphs
A graph is locally chordal if each of its small-radius balls is chordal. In an earlier work [AKK25], the authors and Kobler proved that locally chordal graphs can be characterized by having chordal local covers, by forbidding short cycles and wheels as induced subgraphs, and by the property that each of their minimal local separators is a clique. In this paper, we address the global structure of locally chordal graphs. The global structure of chordal graphs is given by the following characterizations: a graph is chordal if and only if it is the intersection graph of subtrees of a tree, if and only if it admits a tree-decomposition into cliques. We prove a local analog of this characterization, which essentially says that a graph is locally chordal if and only if it is the intersection graph of special subtrees of a high-girth graph, if and only if it admits a special graph-decomposition over a high-girth graph into cliques. We also prove that these global representations of locally chordal graphs can be efficiently computed.
This paper has two major contributions. The first is to exhibit for locally chordal graphs an ideal "local to global" analysis: given a graph class defined by restricted local structure, we fully describe the global structure of graphs in the class. The second is to develop the theory of graph-decompositions. Much of the work in this paper is devoted to properties of graph-decompositions that represent the global structure of graphs. This theory will be useful to find global decompositions for graph classes beyond locally chordal graphs.
Chromatic numbers for contact graphs of congruent cuboids
We initiate the study of chromatic numbers for contact graphs of configurations of integer-sized cuboids in three dimensions, all of which are mutually congruent. Disallowing rotations, we show a global upper bound of 8 for the chromatic numbers, which implies that there is a global upper bound of 48 when the cuboids may be rotated freely. Specializing further to cuboids that are required to have a side length of one we obtain more precise upper bounds.
Such upper bounds are compared to examples of configurations having relatively large chromatic numbers, leading to a complete determination of some of these chromatic numbers, but in general, the gaps between our upper and lower bounds are rather wide. In particular, we know of no such configuration of any size leading to a chromatic number above 6.
3-path-connectivity of Cayley graphs generated by wheel graphs
Let $G = (V(G), E(G))$ be a simple connected graph and $Ω$ a subset of $ V(G)$ with $|Ω|\geq2$. An $Ω$-path in $G$ is a path that connects all vertices of $Ω$. Two $Ω$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=Ω$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote $π_G(Ω)$ by the maximum number of internally disjoint $Ω$-paths in $G$. For an integer $k\geq2$, the $k$-path-connectivity $π_k(G)$ of $G$ is defined as $\min\{π_G(Ω)\midΩ\subseteq V(G)$ and $|Ω|=k\}$. Let $CW_n$ denote the Cayley graph generated by the $n$-vertex wheel graph. In this paper, we investigate the $3$-path-connectivity of $CW_n$ and prove that $π_3(CW_n)=\lfloor\frac{6n-9}4\rfloor$ for all $n\geq4$.
The number of rooted spanning forests of bicirculant graphs
A bi-Cayley graph over the cyclic group $(\mathbb{Z}_n, +)$ is called a bicirculant graph. Let $Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=-R\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T={-}T\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula for the number of rooted spanning forests of $Γ$. Moreover, we investigate some arithmetic properties of the number of rooted spanning forests of $Γ$, and find its asymptotic behaviour as $n$ tends infinity.
Open XOR-magic odd graphs and closed XOR-magic even graphs
XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.
On induced subgraphs with degree parity conditions in Paley graphs and Paley tournaments
In this paper, we investigate the number of induced subgraphs and subdigraphs of Paley graphs and Paley tournaments where the (out-)degree of each vertex has the same parity. For Paley graphs, we establish a lower bound for the number of large even induced subgraphs, particularly those containing a constant proportion of vertices. We determine the number of even-even partitions of Paley graphs, showing it is exponential if $q\equiv 1\Mod{8}$ and is trivial if $q\equiv 5\Mod{8}$, while proving the non-existence of even-even partition for Paley tournaments. Furthermore, we derive asymptotic formulas for the numbers of even induced sub(di)graphs of order $r=o(q^{1/4})$ in Paley graphs and Paley tournaments, demonstrating their concentration around the expected values in the corresponding random (di)graph models.
In the context of coding theory, we establish a correspondence between even/odd induced sub(di)graphs of Paley graphs (tournaments) and maximum distance separable (MDS) self-dual codes that can be constructed via (extended) generalized Reed-Solomon codes from subsets of finite fields. As a consequence, our contribution on induced subgraphs leads to new existence and counting results about MDS self-dual codes.
On the number of maximal independent sets and maximal induced bipartite subgraphs in $K_4$-free graphs
Let $G$ be a $K_4$-free graph of order $n$ and let $k$ be an integer with $0\leq k\leq n$. We show the existence of positive constants $η$ and $ν$ such that $G$ has at most $(4-η)^{(5-η)k-n}(5-η)^{n-(4-η)k}$ maximal independent sets of order $k$ and at most $O\left((12-ν)^{\frac{n}{4}}\right)$ maximal induced bipartite subgraphs.
A survey of edge-spectral-Turán type problems in spectral graph theory: Results, conjectures and open problems
Published
• View Publication
• BIB
The edge-spectral-Turán type problem is also called the Brualdi-Hoffman-Turán type problem, which is a central topic in spectral graph theory, seeking to determine the maximum spectral radius $λ(G)$ of an $F$-free graph $G$ with $m$ edges. This problem has attracted significant attention in recent years. In this paper, we will sort out several closely related results in this type of problem and then propose some conjectures for further research.
On Spectral Properties of Lanzhou Matrix of Graphs
Let $Γ$ be a simple graph on $n$ vertices. Lanzhou index is defined as $Lz(Γ)=\sum\limits_{u \in V(Γ)}d_Γ(u)^2d_{\overlineΓ}(u).$ In this manuscript, the Lanzhou matrix, denoted by $A_{Lz}(Γ)$, has been defined, and its spectral properties are studied. The $uv^{th}$ entry in $A_{Lz}(Γ)$ is $d_Γ(u)d_{\overlineΓ}(u)+d_Γ(v)d_{\overlineΓ}(v)$ if $u$ and $v$ are adjacent. Otherwise, the entry is zero. Some bounds on Lanzhou energy and spread on the Lanzhou matrix are obtained. Also, Lanzhou eigenvalues and inertia for some standard graphs have been obtained. Additionally, characterizations for the symmetricity of Lanzhou eigenvalues about the origin are obtained.
Pattern Avoiding Permutations as Walks
The Stanley-Wilf limit of the pattern 1324 is known to lie between 10.271 and 13.5. We obtain lower bounds on this limit by encoding permutations as walks in directed graphs: building a permutation by successive insertion of maxima corresponds to traversing edges, and the growth rate of walks equals the spectral radius of the adjacency matrix. For 1324, this graph is too large for direct computation, so we pass to a quotient graph with weighted edges. Conditional on a natural conjecture, this yields a lower bound of 10.418.
Chromatic Polynomial Evaluation Spectra
Around 10 years ago, Agol and Krushkal showed that the number of chromatic polynomials $P_{G}$ arising from graphs $G$ on $n$ vertices grows exponentially with $n$, by establishing that the (dual) flow polynomial $F_{G}\left(\frac{3+\sqrt{5}}{2}\right)$ already takes on exponentially many values, if one varies $G$ over all planar cubic graphs $G$ on $n$ vertices. We show, more generally, that the size of the set $\{P_G(q): |V(G)|=n\}$ is exponential in $n$, for every fixed real number $q \neq 0,1,2$. In fact, our approach can also be pushed to show that $P_{G}(q)$ already takes on exponentially many values, if we only vary $G$ over all planar graphs on $n$ vertices. The case $q=3$ confirms a conjecture of Agol, which was initially motivated by the $\mathsf{NP}$-completeness of planar $3$-colorability.
Graph Sensitivity under Join and Decomposition
The sensitivity, $σ(G)$, of a finite undirected simple graph $G$ is the smallest maximum degree of an induced subgraph on more than the maximum number of independent vertices. Call an indexed family of graphs $G_n$ with maximum degree $Δ(G_n) \to \infty$ as $n \to \infty$ sensitive if $σ(G_n) \to \infty$, and insensitive otherwise. We describe sensitivity under the join operation and decomposition into stable blocks and construct sensitive and insensitive, primarily non-regular, graph families. We determine the sensitivity explicitly for numerous singly- and doubly-indexed graph families, including certain generalized joins - e.g., complete multipartite graphs and some generalized windmill graphs; general rooted products; and families of corona graphs.
Induced minors and subpolynomial treewidth
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.
On the Ban-Linial Conjecture
Let $G$ be a graph and let $\{X_0,X_1\}$ be a partition of $V(G)$. This partition is called external or unfriendly if every $x \in X_i$ has at least as many neighbours in $X_{1-i}$ as in $X_i$. Every maximum edge-cut gives rise to an external partition, so these partitions are always guaranteed to exist. However, it remains a challenge to find such partitions with additional restrictions. Ban and Linial have conjectured that in the case when $G$ is cubic, there always exists an external partition $\{X_0,X_1\}$ for which $-2 \le |X_0| - |X_1| \le 2$. We prove this in two special cases: whenever $G$ can be decomposed into a cycle and a tree, and whenever $G$ has a cubic tree $T$ for which $G - E(T)$ is bipartite.
Nowhere-zero 8-flows in 3-edge-connected signed graphs
In 1983, A. Bouchet extended W.T. Tutte's notion of nowhere-zero flows to signed graphs, and conjectured that every flow-admissible signed graph has a nowhere-zero 6-flow. In this paper we prove that every flow-admissible signed graph that is 3-edge-connected has a nowhere-zero 8-flow. This is a continuation of a previous paper where we proved the same conclusion under stronger assumptions.
Fibonacci and Lucas numbers arising from two-component spanning forests of wheel graphs
In this paper, we present a constructive bijection between a conditioned spanning forest of the wheel graph $W_{n+1}$ and a spanning tree of the fan graph $F_n$. In addition, by applying the effective resistance formula obtained by Bapat and Gupta \cite{bapat-gupta}, we derive an explicit formula for the number of two-component spanning forests of $W_{n+1}$ in which two specified vertices $u$ and $v$ lie in distinct components. Based on this result, we obtain explicit formulas for the following three conditioned two-component spanning forests $F_{W_{n+1}}(v_1\mid v_2)$, $F_{W_{n+1}}(v_1\mid v_3)$, and $F_{W_{n+1}}(v_1\mid v_c)$. These formulas are $F_{W_{n+1}}(v_1\mid v_2)=2(f_{2n-1}-1)$, $F_{W_{n+1}}(v_1\mid v_3)=2(\ell_{2n-2}-3)$, $F_{W_{n+1}}(v_1\mid v_c)=f_{2n}$, where $f_i$ and $\ell_j$ denote the $i$-th Fibonacci number and $j$-th Lucas number, respectively. As these identities show, the enumerations naturally lead to formulas involving Fibonacci numbers and Lucas numbers. Taken together, these two approaches show a unified perspective. One is the constructive combinatorial bijection, and the other is the analytic method based on effective resistance. Together they provide a new integrated framework for studying the structure of spanning forests on $W_{n+1}$.
Strong Central 2-Trees with Tail Degrees {2, 3}: Structural Characterization and Uniqueness Criteria
We study strong $r$-central $2$-trees whose non-central vertices have degrees in $\{2,3\}$, focusing on the cases $r=1,2,3$. For each $r$, we derive exact degree constraints relating the maximum degree $Δ$ to the numbers of degree-$3$ and degree-$2$ tail vertices. In the unicentral case ($r=1$), we prove that the fan graph is the unique realization for all $n\ge 3$. For bicentral $2$-trees ($r=2$), we show that the number of degree-$3$ vertices is always even, establish sharp uniqueness results for $x\in\{0,2\}$, prove existence for all feasible values of $Δ$, and obtain linear lower bounds on the number of non-isomorphic realizations. For tricentral $2$-trees ($r=3$), we characterize extremal configurations, establish a divisibility constraint on the tail parameters, and prove a quadratic lower bound on the number of non-isomorphic graphs for infinitely many values of $n$. These results provide a unified structural framework for central $2$-trees with bounded tail degrees and highlight sharp transitions between rigidity and combinatorial growth.
A cop-robber game on metric graphs
We study a variant of the classical cop-robber game played on compact metric graphs, where each edge is assigned a positive length and identified with a real interval of corresponding length. In this setting, both the cop and the robber move continuously along the edges, subject to upper bounds on their speeds. The cop has no knowledge of the robber's location and must choose a continuous path through the graph that is guaranteed to intersect the robber's trajectory at some point in time. We show that for every compact metric graph, there exists a constant s > 0 such that if the cop's speed exceeds s times the robber's speed, then the cop can guarantee capture.
Canonical tree-decompositions of chordal graphs
Halin characterised the chordal locally finite graphs as those that admit a tree-decomposition into cliques. We show that these tree-decompositions can be chosen to be canonical, that is, so that they are invariant under all the graph's automorphisms. As an application, we show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ which displays its $r$-global structure is into cliques. Our results also serve as tools for further characterisations of $r$-locally chordal graphs.
An Induced $A$-Path Theorem
Given a graph $G$ and $\mathcal{A}\subseteq V(G)$, a classical theorem of Gallai (1964) states that for every positive integer $k$, the graph $G$ contains $k$ pairwise vertex-disjoint $\mathcal{A}$-paths, or a set $Z\subseteq V(G)$ of size at most $2(k-1)$ such that $G-Z$ contains no $\mathcal{A}$-paths. We generalise Gallai's theorem to the induced setting: We prove that $G$ contains $k$ pairwise anti-complete $\mathcal{A}$-paths, or a set $Z$ of size at most $78(k-1)$ such that, after removing the closed neighbourhood of $Z$, the resulting graph has no $\mathcal{A}$-path. Here, two paths are anti-complete if they are vertex disjoint and there is no edge in $G$ having one endpoint in each of them.
We further show that the bound $78(k-1)$ on the size of $Z$ can be reduced to $4(k-1)$ if one removes the balls of radius $4$ around the vertices of $Z$ (instead of radius $1$), which is within a factor $2$ of optimal. We also establish analogous results for long induced $\mathcal{A}$-paths.