graph
34489 papers tagged with this keyword
On Generalized Total Colourings of Planar Graphs
In this paper we study generalised total colourings of graphs where the colour classes formed by vertices and edges, respectively, induce forests, while incident edges/vertices receive distinct colours. In [M. Borowiecki and I. Broere, Hamiltonicity and Generalised Total Colourings of Planar Graphs, Discussiones Mathematicae Graph Theory 36 (2016) 243--257] it was conjectured that for planar graphs, four colours suffice for this type of colouring. We confirm this conjecture for two infinite families of planar graphs.
Connective constants of Grigorchuk graphs
The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We prove upper and lower bounds for the connective constants of Cayley graphs $G_ω$ of a general Grigorchuk group encoded by a sequence $ω\in\{0,1,2\}^{\Bbb N}$. In particular, $μ(G_ω) > φ$ for any such Cayley graph (subject to a simple condition on $ω$), where $φ:= \frac12(1+\sqrt 5)$ is the golden mean. This extends earlier work of the author and Zhongyang Li in "Cubic graphs and the golden mean'', Discrete Math. 343 (2020), article 111638, where it was conjectured that $μ(G)\geφ$ for all infinite, vertex-transitive, cubic graphs. The current work includes an analysis of the proportions of appearances of given label-sequences in the orbital Schreier graphs of general Grigorchuk groups.
Constructing solvable groups whose character degree graphs generalize the bowtie
We present here a generalized construction of a finite solvable group whose prime character degree graph has the shape and structure of the bowtie graph. As with the original bowtie, the graphs obtained by this generalized construction, under certain restrictions, cannot be realized by the usual method of taking direct products of smaller graphs. Within the condition of $n=1$, we show how this recovers the original bowtie graph, which has five vertices. We also provide examples and explicit choices of primes which generate graphs with more vertices.
Induced Subgraphs of Order Seven and Their Frequencies in $srg(n,k,1,2)$
In this paper, we examine the structure of strongly regular graphs with parameters $λ= 1$ and $μ= 2$. In particular, we provide a complete classification of induced subgraphs of order seven and determine their relative frequencies. These findings contribute to a finer understanding of the local structure of such graphs and may be useful in related combinatorial and algebraic investigations.
Connected Counterexamples to the Henning--Yeo Conjecture on Identifying Vertex Covers
Henning and Yeo conjectured an upper bound on the identifying vertex cover number of a graph in terms of its order, size, and maximum degree. We disprove the conjectured inequality with a two-parameter family $H_{t,r}$ of connected diameter-two graphs. After clearing denominators, the right-hand side minus the left-hand side is exactly $-(t-1)(r-1)$; hence a connected counterexample exists for every maximum degree at least four. Chaining copies through low-degree vertices preserves the maximum degree and allows the packing number to be determined exactly. At maximum degree five, this gives counterexamples of arbitrarily large order with additive gap $1/13$. For every fixed maximum degree $Δ\ge6$, suitable chains have unbounded additive violation. Thus neither rounding nor a fixed additive correction repairs the conjecture. The supremal normalized additive gap at maximum degree $Δ$ is $Θ(1/Δ)$. An exhaustive check of all graphs of order at most seven shows that the eight-vertex example $H_{2,2}$ has minimum possible order.
The minimum of the graph likelihood
The likelihood of a finite simple undirected graph $G$ on $n$ vertices is the probability that the uniform sequential attachment process, which at each step joins a new vertex to a uniformly random subset of uniformly random size of the vertices already present, outputs a graph isomorphic to $G$. Dervovic, Mocherla and Severini conjectured that the likelihood is minimised by the balanced complete bipartite graph. We prove that, among complete bipartite graphs of a given order, the balanced one uniquely minimises the likelihood. Exact computation shows that it also minimises over all graphs for every order from $6$ through $14$, and that the first counterexample occurs at $n=15$. The blow-up of the five cycle by independent sets of size three, equivalently the circulant on fifteen vertices with connection set $\{1,4,6\}$, has likelihood $0.20128\ldots$ times that of $K_{7,8}$, and it is again triangle-free. We show that the failure is not sporadic by proving that the likelihood of the balanced complete bipartite graph is $2^{-(1/2-1/(8\ln 2)+o(1))n^2}$, whereas the minimum over all graphs of order $n$ is $2^{-(1/2+o(1))n^2}$, so the conjectured minimiser exceeds the minimum by a factor exponential in $n^2$. We also determine the Shannon entropy of the process to leading order, namely $n^2/(4\ln 2)$ bits, which shows that the conjectured minimiser is in fact more likely than a typical output of the process. The proofs rest on a vertex deletion recurrence which evaluates the likelihood in time $O(n\,2^n)$ and which closes on the blow-ups of any fixed base graph.
Fast Algorithms for Stoquastic Spin Systems
We establish a general framework for developing fast sampling and counting algorithms for stoquastic spin systems at high temperature. Our framework is based on a rapidly mixing Markov chain for polymer models and a subcritical percolation process for sampling individual polymers. We apply our framework to obtain fast algorithms for approximating the partition function and sampling from the thermal distribution of (1) general stoquastic spin systems, (2) ferromagnetic Heisenberg models, and (3) antiferromagnetic Heisenberg models on bipartite graphs. For the Heisenberg models, we obtain an improved bound on the inverse temperature by using their respective cycle and loop representations.
On the number of solutions of systems of diagonal equations through diagonal GP-graphs: the general and the Hermitian-form cases
For any $m, s \in \mathbb{N}$, we study the number $N_{m\times s,q}(κ, β)$ of solutions $(x_1,\ldots,x_s) \in (\mathbb{F}_q)^s$ of the monic system of diagonal equations
$$ X_{1}^{k_i} + \cdots + X_{s}^{k_i}= β_i, \qquad (1\le i \le m), $$ with $κ=(k_1,\ldots,k_m) \in \mathbb{N}^m$ and $β=(β_1,\ldots,β_m) \in (\mathbb{F}_q)^m$. We show that this number can be obtained in terms of some data of \textit{diagonal} GP-graphs $Γ(κ,q)$. This is a new family of graphs that we introduce here, i.e. Cayley graphs of the form
$$ Γ(κ,q) = Cay(\mathbb{F}_{q}^{m}, R_κ) \quad \text{where} \quad
R_κ = \{ (x^{k_1},\ldots,x^{k_m}) : x \in \mathbb{F}_{q}^*\}, $$ with $κ=(k_1,\ldots,k_m)\in \mathbb{N}^{m}$. In particular, we give three different expressions for $N_{m\times s,q}(κ, β)$: one in terms of walks, another in terms of adjacency matrices of $Γ(κ,q)$ and the last one in terms of the spectrum of $Γ(κ,q)$. Finally, we explicitly derive combinatorial formulas for the number of solutions $N_{m}(s,q) = N_{m\times s,q}(κ_\ell, 0)$ of monic homogeneous systems of diagonal equations of the form $$ X_1^{q^{\ell_i}+1} + \cdots + X_s^{q^{\ell_i}+1} = 0 \qquad (1\le i \le m),$$ with $κ_\ell=(\ell_1,\ldots,\ell_m)=(1,3,\ldots,2m-1)$ and $m\ge 2$, via the known spectrum of Hermitian-form graphs, which can be viewed as diagonal GP-graphs. For any $m,s \in \mathbb{N}$, we give general summation and recursive formulas for $N_m(s,q) \in \mathbb{Z}[q]$. For the small cases $N_{1}(s,q)$, $N_{2}(s,q)$ and $N_{m}(s,q)$, with $1\le s \le 5$, we give explicit expressions.
From the Square-Energy Conjecture to Signed Graphs: Sharp Bounds for Positive Square Energy
Let $Σ=(G,σ)$ be a connected signed graph of order $n$ and size $m$, and let $s^{+}(Σ)$ and $s^{-}(Σ)$ denote the sums of the squares of its positive and negative adjacency eigenvalues, respectively. The square-energy conjecture of Elphick, Farber, Goldberg, and Wocjan states that every connected graph $G$ of order $n$ satisfies \[
\min\{s^{+}(G),s^{-}(G)\}\ge n-1. \] Liu and Ning~\cite{LiuNing2023} published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory", and this conjectures were placed first in their list of such problems. We prove that every signature $σ$ of a connected graph $G$ satisfies the sharp bound \[
s^{+}(Σ)\le 2m-n+1. \] For the all-positive signing this gives $s^{+}(G)\le 2m-n+1$, whereas for the all-negative signing it gives $s^{-}(G)\le 2m-n+1$. Since $s^{+}(G)+s^{-}(G)=2m$, these two special cases imply the square-energy conjecture; the present theorem is stronger in scope because the same bound holds for every signing of $G$. Applying the theorem to the negation $-Σ$ also yields \[
s^{+}(Σ)\ge n-1. \] Both bounds are sharp. The proof is based on a doubly nonnegative matrix inequality. We also shorten the proof of that inequality by replacing its final case distinction with a fixed convex combination.
Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem
The two-dimensional bandwidth minimization problem (2DBMP) seeks an injective embedding of a guest graph into a square grid that minimizes the maximum Manhattan distance over its edges. Heuristic methods can provide strong upper bounds, but these bounds do not by themselves certify optimality. We present an efficient exact SAT-based approach for 2DBMP that incrementally searches for the minimum feasible bandwidth and certifies optimality through satisfiability and unsatisfiability results. On the standard $\lceil\sqrt n\rceil \times \lceil\sqrt n\rceil$ host grid, under a 3600 s time limit, the proposed SAT approach certifies optimal bandwidths for 41 of 43 Regular instances and 42 of 93 Harwell--Boeing instances, achieving substantially broader optimality certification within the 3600 s time limit than a previous exact approach evaluated with a 72-hour time limit. In addition, it certifies three bandwidth values that improve all previously published comparison values considered in this study and establishes all three as optimal. We further evaluate the approach on alternative host geometries, namely $2\times\lceil n/2\rceil$ and $n\times n$ grids, to assess its effectiveness beyond the standard host. Overall, the results demonstrate that the proposed SAT approach provides an effective exact method for the small- and medium-sized benchmark instances considered in this study, with fewer than 400 vertices, while heuristic methods remain important for larger and more challenging instances.
Polytopes of Effective Boundary Expressions of Divisors on $\overline{M}_{0,n}$
For a divisor on $\overline{M}_{0,n}$, we introduce the polytope of its effective boundary expressions. We establish structural properties of these polytopes under the forgetful maps of $\overline{M}_{0,n}$ forgetting marked points, and give equivalent graph-theoretic descriptions. We compute these polytopes for several families of divisors. For psi-classes and their pullbacks by forgetful maps, we show that the polytopes are unimodular simplices. For the log-canonical class and its modifications by psi-classes, we prove that the nonnegative parts of the corresponding polytopes recover spanning forest polytopes and the subtour elimination (Held--Karp relaxation) polytope of the symmetric traveling salesman problem. As an application, we obtain a Minkowski-like decomposition of the subtour elimination polytope into simplices. Finally, for symmetric level-one $\mathfrak{sl}_p$ conformal block divisors, we show that the defining inequalities are local Turán bounds and the $0/1$-points are balanced Turán graphs. Moreover, for $p=2$ and $p=n/2$, these polytopes recover the perfect matching and fractional perfect matching polytopes.
Any $k$-graph with zero $\ell$-degree Turán density is layered
The codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $γ\in [0,1)$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. Ding, Lamaison, Liu, Wang, and Yang (JLMS, 2025) studied the problem of what 3-graphs $F$ satisfy $π_{\mathrm{co}}(F) = 0$. They introduced layered $3$-graphs and conjectured that a $3$-graph has zero codegree Turán density if and only if it is layered and has zero uniform Turán density. For $k\ge 3$, a $k$-graph is called layered if its vertices can be labelled so that every edge has a unique maximum label and two edges with the same maximum label have the same label multiset. In this paper, we show that every non-layered $k$-graph $F$ on $m$ vertices satisfies \[
π_{\mathrm{co}}(F)\ge q_{k,m}^{-q_{k,m}}>0,
\quad \text{where}\quad
q_{k,m}=\frac{(k-1)^{m+1}-1}{k-2}, \] which implies any $k$-graph with zero $\ell$-degree Turán density is layered, and the case $k=3$ confirms the conjecture of Ding, Lamaison, Liu, Wang, and Yang.
Minimizing the number of edges in $\mathcal{C}_{[4,6]}$-saturated graphs
Let $\mathcal{C}_{[4,r]}$ be the family of cycles $\{C_4, \dots, C_r\}$. A graph $G$ is said to be $\mathcal{C}_{[4,r]}$-saturated if $G$ does not contain a copy of cycle $C_i$ for $4\le i\le r$, but the addition of any edge $e\notin E(G)$ creates at least one copy of $C_i$ for $4\le i\le r.$ The saturation number $sat(n, \mathcal{C}_{[4,r]})$ is the minimum number of edges in an $n$-vertex $\mathcal{C}_{[4,r]}$-saturated graph. In 2025, Ma determined that $sat(n, \mathcal{C}_{[4,5]})=\lceil \frac{5n}{4} - \frac{3}{2} \rceil$, and conjectured that for any $r \ge 5$, $sat(n, \mathcal{C}_{[4,r]}) = \lceil\frac{5n}{4} - \frac{3}{2} \rceil$ holds for large $n$. In this paper we prove that $sat(n, \mathcal{C}_{[4,r]}) \le \lceil\frac{5n}{4} - \frac{r+1}{4}\rceil$ for $n \ge r+1$, which disproves Ma's conjecture for $r\ge 6.$ For $r=6,$ we determine that $sat(n, \mathcal{C}_{[4,6]})=\lceil\frac{5n}{4}-\frac{7}{4}\rceil.$
{\bf Keywords}: Saturation graphs; Saturation number; Cycles; Edge minimization
An Improved Degree Condition for Connectivity-Preserving Spanning $(u,v)$-Paths
Teng and Tian proved the following result. Let $k\ge 2$ and $t\ge 3$, and let $G$ be a $k$-connected graph of order $n$. If $n\ge 6k+1$ and $δ(G)\ge \lceil(n+6)/2\rceil$ when $t=3$, while $n\ge 6k+7t-17$ and $δ(G)\ge \lceil(n+t+2)/2\rceil$ when $t\ge 4$, then, for any two distinct vertices $u,v$ and every integer $s$ with $1\le s\le t$, there exist $s$ internally vertex-disjoint $(u,v)$-paths $P_1,\dots,P_s$ whose union spans $G$ and such that $G-E(P_1\cup\cdots\cup P_s)$ is $k$-connected. They asked whether the minimum-degree condition could be lowered to $δ(G)\ge \lceil(n+t)/2\rceil$ for every $t\ge 3$. We answer this question affirmatively and further reduce the required order to $n\ge \max\{6k+9-3t,\,2k+t+3\}$.
Hardness of Forcing Unique Perfect Matchings in Bipartite Graphs of Maximum Degree 3
In a graph $G$, a set of edges $F$ is called a \emph{forcing set} if there exists a unique perfect matching $M$ such that $F \subseteq M$. Similarly, a set of edges $A$ is called an \emph{anti-forcing set} if the graph with edge set $ E(G)\setminus A$ has a unique perfect matching. It is known that, given a bipartite graph $G$ of maximum degree~$3$ and a perfect matching $M$, the problem of deciding whether there exists a forcing set of size at most $k$ for $M$ is NP-complete. Moreover, given a bipartite graph $G$ of maximum degree~$4$ and a perfect matching $M$, the problem of deciding whether there exists an anti-forcing set of size at most $k$ for $M$ is NP-complete. Furthermore, given a bipartite graph of maximum degree~$5$, the problem of deciding whether there exists a perfect matching $M$ that can be made unique by a forcing set of size at most $k$ is also NP-complete. In contrast, the computational complexity of deciding whether there exists a perfect matching $M$ that can be made unique by an anti-forcing set of size at most $k$ is not known, even for general graphs. In this paper, we show that all of these problems remain NP-complete even when restricted to bipartite graphs of maximum degree~$3$.
Superlinear separation between linear and centered colorings
A vertex-coloring of a graph is centered if every connected subgraph has a vertex with a unique color. A vertex-coloring of a graph is linear if every path in the graph has a vertex with a unique color. Let $χ_{\mathrm{cen}}(G)$ and $χ_{\mathrm{lin}}(G)$ be the minimum number of colors in a centered (resp. linear) coloring of $G$. We present a family of graphs witnessing that if $f$ is a nondecreasing function such that $χ_{\mathrm{cen}}(G) \leq f(χ_{\mathrm{lin}}(G))$ for every graph $G$, then $f(k) = Ω(k^2 / \log k)$. The construction was found by OpenAI's GPT-5.6 Sol Pro.
The induced-$P_4$-free process
We study the random induced-$P_4$-free graph process. Let $e_1,\ldots,e_N$, where $N=\binom{n}{2}$, be a uniformly random ordering of the edges of $K_n$. Starting from the empty graph $G_0$, we add $e_{m+1}$ whenever $G_m+e_{m+1}$ contains no induced $P_4$, and otherwise leave the graph unchanged. We show that the terminal graph is a trivially perfect graph and we describe the structure and distribution of the connected components of the terminal graph $G_N$. Consequently, we derive the limiting values of several natural graph parameters. In particular, the terminal graph $G_N$ has $Θ(n)$ edges.
A local clique density theorem in $H$-free graphs
In 2016, Reiher's clique density theorem determined the minimum number of copies of $K_t$ in a graph with a prescribed edge density. In this paper, we investigate its local version and prove a local clique density theorem in $H$-free graphs as follows. For integers $r$ and $t$ with $2\leq t\leq r-1$, any $r$-chromatic graph $H$, any real numbers $γ$ and $α$ with $\frac{t-2}{2(t-1)}\leqγ\leq \frac{r-2}{2(r-1)}$ and $0\leqα\leq 1$, we determine the maximum value $β:=β(r,t,α,γ)$ such that for every $n$-vertex $H$-free graph $G$ with at least $γn^2$ edges, every $\lceilαn\rceil$-vertex subset in $G$ contains at least $(β-o(1))n^{t}$ copies of $K_t$. In particular, when $H=K_r$, every $\lceilαn\rceil$-vertex subset contains at least $\lfloorβn^t\rfloor$ copies of $K_t$, which is an exact bound. For suitable choices of $α$ and $γ$, namely, those for which all part ratios in the corresponding extremal construction are rational, this bound is attained for infinitely many values of $n$.
Reduction Operations and Structural Characterizations of $S^1$-Flows in Graphs
While every graph admitting a nowhere-zero $3$-flow also admits an $S^1$-flow, the converse does not hold in general as shown by Thomassen (2014). In this paper, we develop reduction techniques for $S^1$-flows based on graph operations including bull-growth, $2$-sums, and wheel contractions. A key tool is the two-terminal $S^1$-preflow, which enables us to prove that if a $2$-connected graph contains an odd wheel as a proper subgraph and contracting the wheel yields a graph with a nowhere-zero $3$-flow, then the original graph admits an $S^1$-flow. As applications, we completely characterize $S^1$-flows in two graph classes: a triangularly connected graph admits an $S^1$-flow if and only if it is not an odd wheel; and a graph containing a spanning triangle-tree admits an $S^1$-flow if and only if it is not an odd crystal.
Characteristic adjacency matrix associated with a hypergraph
We define a new matrix associated with a hypergraph. A study of this matrix is carried out, in particular the study of its spectrum, which shows the relevance of the construction. We demon- strate that this adjacency matrix is characterisitic of the hypergraph, that is to say, two isomorphic hypergraphs have similar matrices. Furthermore, starting from this matrix, we can reconstruct the hypergraph. Starting from this matrix, we introduce new graphs associated with the hypergraph.