graph
34516 papers tagged with this keyword
Construction of graph coverings with prescribed Iwasawa invariants
For a $\mathbb{Z}_p$-covering of connected graphs, an analogue of Iwasawa's class number formula describes the growth of the number of spanning trees in terms of Iwasawa $λ$- and $μ$-invariants. In this paper, we show that any pair $(λ, μ)$ can be realized as the Iwasawa invariants of an unramified $\mathbb{Z}_p$-covering of a bouquet, provided that the necessary condition that $λ$ is odd is satisfied. We further show that any pair $(λ, μ)$, without a parity condition, can be realized if we allow ramified $\mathbb{Z}_p$-coverings.
Extending partial edge-colorings of bounded size in Cartesian products of graphs
This paper studies edge-precoloring extensions in Cartesian products of graphs, motivated by a conjecture of Casselgren, Petros, and Fufa. We formulate a general hypothesis stating that if every edge-precoloring of $G$ and $H$ of sizes $k<χ'(G)$ and $l<χ'(H)$, respectively, is extendable, then any edge-precoloring of $G \square H$ of size $k+l+1$ can be extended to a proper $(χ'(G)+χ'(H))$-coloring. We provide partial progress toward this conjecture by establishing the result in cases where $k<Δ(G)$, $G$ is a triangle-free $r$-regular graph and $H$ is a star, an even cycle, a path or, more generally, an arbitrary tree $F$. Furthermore, we prove the conjecture in the case where $G$ is a subcubic graph and $H = K_2$.
Shellability of 3-cut complexes of powers of cycle graphs
In connection with commutative algebra, Bayer et al. introduced cut complexes in [Topology of cut complexes of graphs, SIAM J.\ Discrete Math., 38(2):1630-1675, 2024]. For a positive integer $k$, the $k$-cut complex of a graph $G$, denoted as $Δ_k(G)$, is the simplicial complex whose facets are the $(|V(G)|-k)$-subsets $σ$ of the vertex set $V(G)$ of $G$ such that the induced subgraph $G[V(G) \setminus σ]$ is disconnected. Let $C_n^p$ denote the $p$-th power graph of the cycle graph $C_n$ on $n$ vertices. In this article, we show that $Δ_3(C_n^p)$ is shellable for $n \geq 6p-3$, and therefore these complexes are homotopy equivalent to a wedge of spheres of dimension $n-4$. We provide an explicit shelling order on the facets of $Δ_3(C_n^p)$. We also characterize and count the number of spanning facets in this shelling order, and determine the number of spheres appearing in the wedge in the homotopy type of $Δ_3(C_n^p)$.
Total coloring of (sub)cubic Halin graphs
Total coloring of a graph is a coloring of its vertices and edges such that adjacent or incident elements receive distinct colors. Total coloring conjecture (stipulating that the total chromatic number of a graph $G$ is at most $Δ(G)+2$) is known to be true for subcubic graphs -- five colors are always enough. However, deciding whether a total coloring with only four colors exists remains a difficult problem, even in the class of bipartite cubic graphs. We solve the problem completely for cubic and subcubic Halin graphs, proving that there are only finitely many such graphs requiring five colors.
Simplex Stratification and Phase Boundaries in the Partition Graph
We study the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. We introduce the simplex stratification of $G_n$: for each vertex $λ$, let $\dim_{\mathrm{loc}}(λ)$ denote the largest dimension of a simplex of the clique complex $K_n = \mathrm{Cl}(G_n)$ containing $λ$. This defines a decomposition of $V(G_n)$ into layers $L_r(n)=\{λ\in V(G_n): \dim_{\mathrm{loc}}(λ)=r\}$. We formalize the graph-theoretic interfaces between consecutive layers, called phase boundaries, and study the associated interface graphs and boundary thresholds. Using the previously established star/top description of cliques through a fixed vertex, we show that $\dim_{\mathrm{loc}}(λ)$ is determined exactly by the maximal star and top capacities through $λ$. This yields explicit local criteria for membership in higher simplex layers and reformulates their first appearance in terms of local star/top capacity thresholds. We also present an exhaustive computational study for $n\le 30$, including exact-layer thresholds, boundary thresholds, selected layer profiles, and the behaviour of the boundary framework. The computations suggest a rigid threshold pattern related to staircase partitions and their one-cell extensions, while the corresponding global statements are left as conjectures and open problems.
A Characterization of Edge Ideals with $reg(R/I(G)) = 3$
Let $G$ be a graph and $I(G)$ its edge ideal. In this paper, we give a complete characterization of the graphs $G$ for which $\reg(R/I(G)) = 3$.
Graph Puzzles II.1: Counterexamples to Jain's Second Unit Vector Flows Conjecture
A $3$-dimensional nowhere-zero flow on a graph $G$ is a flow where each edge is assigned a $3$-dimensional vector with unit norm (which corresponds to the points of a $2$-dimensional unit sphere $S^2$). K. Jain posed two conjectures related to this idea. First one suggests that such a flow exists for all bridgeless graphs. The second conjecture states that we can assign values $\{-4,-3,-2,-1,1,2,3,4\}$ to the points of $S^2$, such that antipodal points get opposite values, and values of any three equidistant points on great circles sum to zero. If both conjectures would be true, together they would imply Tutte's 5-flow conjecture. We show 2 counterexamples to the second conjecture, by constructing sets of points each of which additionally requires values $\{-5, 5\}$. Github: https://github.com/gexahedron/unit-vector-flows
Frugal colourings of graphs via sparse hypergraph colouring
A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours needed for a $β$-frugal colouring of $G$. For a fixed value of $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a construction of Alon certifies the tightness of this upper bound up to a constant factor. We show that, for all fixed $β\ge 2$ and $t\ge 2$, if $G$ does not contain $C_{2t}$ as a subgraph, or if $G$ does not contain $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. The upper bounds are obtained via a sparse hypergraph colouring theorem of Li and Postle.
Every connected subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable
For a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, a packing $S$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, V_2, \ldots, V_k$ such that each $V_i$ has pairwise distance at least $s_i+1$. The packing chromatic number (PCN) of a graph $G$ is the minimum $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. The $1$-subdivision of $G$ is obtained by replacing each edge of $G$ with a path of two edges. In 2016, Gastineau and Togni asked an open question whether the $1$-subdivision of every subcubic graph has PCN at most $5$, and later Bre\v sar, Klav\v zar, Rall, and Wash conjectured it is true. Balogh, Kostochka, and Liu proved the first upper bound of $8$, and it was later improved to $6$ by Liu, Zhang, and Zhang.
In this paper, we prove that every connected subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable. Our result implies a solution to the conjecture of Bre\v sar, Klav\v zar, Rall, and Wash, and answers the question of Gastineau and Togni in the affirmative. Furthermore, our result answers an open question of Kostochka and Liu and solves a conjecture of Liu, Zhang, and Zhang.
Characterization of strongly $\mathbb{Z}_\ell$-connected graphs of small order
A graph is strongly $\Z_{\ell}$-connected if for each boundary function $β: V(G)\mapsto \Z_{\ell}$ with $β(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} β(v) \equiv 0 \pmod{2\ell}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2\ell}$ for each $v \in V(G)$. This is a useful notion for studying circular flows of graphs. This note presents a fully self-contained, manual proof of a characterization of $4$-vertex strongly $\mathbb{Z}_\ell$-connected graphs for any integer $\ell\geq 2$, which will be used in our further study in this topic.
Hypercube Embeddings And Median Structure In The Intersection Lattice Of Discriminantal Arrangements B(n,k)
We investigate the metric structure of the intersection lattice L(B(n,k)) of the discriminantal arrange ment using circuit supports. We show that the cover graph associated with L(B(n,k)) is isometrically embedded into a hypercube, making it a partial cube and a median graph, with distances given by the Hamming distance and geodesics described by symmetric differences. We also prove a Poisson limit and a sharp threshold for overlaps of random circuit families, revealing an underlying hypercube geometry.
Axial Morphology of the Partition Graph: Self-Conjugate Axis, Spine, and Concentration
We study the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary unit transfers between parts. We define the self-conjugate axis, its distance neighborhoods, and the thin spine, a first off-axis layer built from common neighbors of distinct axial vertices. We prove that distinct self-conjugate vertices are never adjacent, that the thin spine is a conjugation-invariant induced subgraph, and that axial and spinal concentration radii differ by at most one. Computations for $1 \le n \le 30$ show that the main local invariants are maximized near the axis and the spine.
On Coprime-Preserving Transformations and Dynamic Coprime Labeling
In this paper, we introduce dynamic coprime labeling (DCL), a novel extension of coprime labeling for time-sensitive networks. In particular, we explore whether there exists a graph labeling scheme that maintains relative coprimality among adjacent vertices as the graph evolves over time. We extend the definition of coprime labeling to include an injective labeling function, a time variable, and a transformation function.
A DCL on a finite simple graph is a sequence of injective vertex labelings with the property that every edge is labeled by coprime integers at each time step, and the evolution is given by a time-independent coprime-preserving transformation. We prove that a graph admits a DCL if and only if it admits a classical coprime labeling (existence equivalence).
We characterize families of coprime-preserving transformations and provide proofs of the existence of DCLs for paths, wheels, cycles, and the $n$-hypercube. We also introduce two classes of coprime-preserving transformations and present an application of DCL to Carmichael's theorem. These results establish DCL as a rigorous framework for further algorithmic and applied investigations.
On the combinatorial structure of graphs with a spectral idempotent of small dual diameter
Let $Γ$ be a connected regular graph with an eigenvalue $λ$ and corresponding idempotent $E_λ$. Let ${\cal E}_λ=\langle J,E_λ\rangle^\circ$ be the algebra generated by $J$ and $E_λ$ with respect to the entrywise-Hadamard product, where $J$ is the all-$1$ matrix. We study the combinatorial structure of a graph $Γ$ for which ${\cal E}_λ$ has dimension $2$, giving a combinatorial characterization of such graphs in terms of equitable partitions. We present many examples and classify the distance-regular graphs with this property, as well as graphs that generate a $3$-class association scheme. We also study the graphs that have two eigenvalues $λ$ for which ${\rm dim}({\cal E}_λ)=2$ and determine all such graphs with four distinct eigenvalues.
Perfect divisibility of some bull-free graphs and its application
A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Hoàng [Discrete Math. 349 (2026) 114809] proposed four conjectures: 1. $P_5$-free graphs are perfectly divisible; 2. Odd hole-free graphs are perfectly divisible; 3. Even hole-free graphs are perfectly divisible; and 4. $4K_1$-free graphs are perfectly divisible. Karthick et al. [Electron. J. Combin. 29 (2022) P3.19] proposed a conjecture: Fork-free graphs are perfectly divisible. In this paper, we prove that all of five conjectures above hold for bull-free graphs. Our results also generalize some results of Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54--60] and Karthick et al. [Electron. J. Combin. 29 (2022) P3.19].
We say that a class ${\cal C}$ is {\em perfect-Pollyanna} if ${\cal C}\cap {\cal G}$ is perfectly divisible for any hereditary class ${\cal G}$ in which each triangle-free graph is 3-colorable. Let $H\in\{\text{house, hammer, diamond}\}$. In this paper, we prove that the class of $(\text{bull}, H)$-free graphs is perfect-Pollyanna. Let ${\cal C}$ be the class of $(\text{bull}, H)$-free graphs. This implies that ${\cal C}\cap {\cal G}$ is perfectly divisible if and only if all of triangle-free graphs in ${\cal G}$ are perfectly divisible. As corollaries, we show that $(\text{bull},{\cal H})$-free graphs are perfectly divisible, where ${\cal H}$ is one of $\{P_{11},C_4\},\{P_{14},C_5,C_4\}$, and $\{P_{17},C_6,C_5,C_4\}$.
On the transitivity of Gilbert graphs and their complements
The Gilbert graph $\text{Gilbert}(q,n,d)$, which arises naturally in graph theory and coding theory, is the regular graph on $\mathbb{F}_q^n$ in which two vertices are adjacent if their Hamming distance is less than $d$, and it is vertex-transitive. We classify all parameters $(q,n,d)$ for which $\text{Gilbert}(q,n,d)$ is edge-transitive or distance-transitive, and separately classify all parameters for which its complement has these properties. We prove that $\text{Gilbert}(q,n,d)$ is edge-transitive if and only if it is distance-transitive, and that this occurs precisely when $d=2$, $(q,d)=(2,3)$, or $(q,d)=(2,n)$. For the complement graphs, we determine all parameters yielding edge- or distance-transitivity using spectral methods based on Krawtchouk polynomials and the structure of the Hamming association scheme. In contrast to the Gilbert graphs, where the parameter sets corresponding to edge- and distance-transitivity coincide, we show that for their complements the set of parameters yielding distance-transitivity is strictly contained in the set yielding edge-transitivity. As an application, we compute the exact values of the Lovász $\vartheta$-function of Gilbert graphs, as well as of their complements, in all cases where either one of them is edge-transitive.
Turán-type and tiling problems in oriented graphs
Given $a,b,c\in\mathbb N$, let $D_{a,b,c}$ be the tournament on $a+b+c$ vertices obtained by replacing the vertices of the directed triangle $C_3$ with transitive tournaments $TT_a$, $TT_b$, and $TT_c$, respectively. Keevash and Sudakov (2009) showed that every sufficiently large oriented graph $G$ on $n$ vertices with $δ^{0}(G)\geqslant (1/2-o(1))n$ contains a $C_3$-tiling, equivalently a $D_{1,1,1}$-tiling, covering all but at most three vertices. We generalize this result to arbitrary blow-ups $D_{a,b,c}$. Specifically, for any fixed $a,b,c$, every sufficiently large oriented graph $G$ on $n$ vertices with $δ^{0}(G)\geqslant (1/2-o(1))n$ contains a $D_{a,b,c}$-tiling covering all but at most $2(a+b+c)-3$ vertices. Moreover, this bound is essentially sharp. We also establish a stronger stability result: if $(a+b+c)\mid n$, then either $G$ contains a $D_{a,b,c}$-factor, or $G$ is close to an extremal graph.
Our interest in $D_{a,b,c}$ is also motivated by oriented Turán theory: a seminal theorem of Bollobás and Häggkvist (1990) shows that a tournament $T$ is Turánable (i.e., contained in every sufficiently large regular tournament) if and only if $T\subseteq D_{s,s,s}$ for some $s$. Complementing our tiling results, we also investigate related semi-degree thresholds for powers of directed cycles and paths. In particular, we present two $n$-vertex constructions that give lower bounds, showing that the minimum semi-degree thresholds for $C^2_l$ with $l\not\equiv 0\pmod 6$ and for $P^2_l$ with $l\geqslant 7$ are at least $4n/9$ and $3n/8$, respectively.
Compatible Hamilton cycles in graphs with large minimum degree
The renowned theorem of Dirac states that if $G$ is a graph with minimum degree at least $n/2$ then $G$ has a Hamilton cycle. A natural generalisation asks what properties of an edge-colouring of $G$ guarantee the existence of a properly edge-coloured Hamilton cycle in $G$. This concept can be further generalised as follows: an \emph{incompatibility system} for $G$ is a set~$\mathcal{F}$ of `forbidden' pairs of adjacent edges, that is, $\mathcal{F}\subseteq \{\{uv,vw\}\in \binom{E(G)}2\}$. A cycle in $G$ is then \emph{compatible} if no two of its edges form a pair in $\mathcal{F}$. The system $\mathcal{F}$ is called \emph{$μn$-bounded} if for all $v\in V(G)$ and $uv\in E(G)$, there are at most $μn$ pairs $\{uv,vw\}\in \mathcal{F}$. How small must $μ$ be to guarantee the existence of a compatible Hamilton cycle in $G$? Krivelevich, Lee and Sudakov showed that $μ=10^{-16}$ suffices (for $n$ large), while an example of Bollobás and Erdős shows that $μ\leq 1/4$ is necessary. We significantly reduce this gap for large graphs of minimum degree at least $(1/2+\varepsilon)n$, by showing that $μ=1/8$ suffices but $μ\leq 1/6$ is necessary for such graphs. In fact, we give more precise bounds which are functions of $δ(G)/n$.
Cayley colour integral groups
A finite group $G$ is said to be Cayley integral if every undirected Cayley graph $\operatorname{Cay}(G,S)$ on $G$ is integral. In this paper, we introduce three natural extensions of this concept; namely as: Cayley colour integral, $\mathfrak{F}$-Cayley colour integral and normal Cayley integral groups. We characterize the first two families in its entirety. The last family of groups is shown to be coinciding with inverse semi-rational groups introduced by Chillag and Dolfi, thereby providing an alternative characterization for the same. We also establish an inclusion hierarchy among these families.
Kirchhoff index of a nested geometric graph with weighted multiple edges
Kirchhoff index, Kf(G), introduced by Klein and Randic in 1993, represents the total effective resistances between all pairs of vertices in a graph G, where each edge is regarded as a resistor. In this paper, the Kirchhoff indices of a particular sequence of nested geometric graphs with weighted multiple edges, denoted by Gn, are investigated. A recurrence relation for the characteristic polynomial of the Laplacian matrix L(Gn) is derived, and an explicit formula for Kf(Gn) is obtained. These facilitate the analysis of the variation of Kf(Gn) as as n goes to infinity. Consequently, Kf(Gn) is shown to grow asymptotically linearly, characterized by a specific asymptotic formula. In the course of this derivation, a recurrence relation for the determinant of a block tridiagonal matrix is established. The Kirchhoff index of a 4-regular graph constructed from Gn is also determined.