graph
34516 papers tagged with this keyword
Degree theory of the partition graph: exact maxima, profiles, and fibres
For the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary unit transfers between parts, we develop a degree theory with three levels: exact value theory, exact profile theory, and fibre-level geometry. Writing $n=T_s+q$ with $T_s=s(s+1)/2$ and $0\le q\le s$, we prove that every degree-maximizing partition lies in the support-maximal stratum and obtain the exact formula \[ Δ_n=s(s-1)+\lfloor\sqrt{4q+1}\rfloor-1 \] for the maximal degree in $G_n$.
For a support-maximal partition $λ$, let $A(λ)$ and $B(λ)$ denote the numbers of active gap bonuses and multiplicity bonuses. We prove that the set of realized maximizing profiles is \[ Π_n=\{(a,b)\in\mathbb Z_{\ge0}^2:a+b=ρ(q),\ T_a+T_b\le q\}, \qquad ρ(q)=\lfloor\sqrt{4q+1}\rfloor-1. \] Thus the exact global theory stops at the profile level. For each realized profile we then study the corresponding fibre of maximizers: we prove nonemptiness, construct canonical representatives, obtain lower bounds for mixed fibres, and show that conjugation induces a bijection between the fibres for $(a,b)$ and $(b,a)$. We also classify exactly the first near-triangular fibre windows and formulate localization and stability questions for the remaining fixed-$q$ regime.
Largest $2$-regular Subgraphs in complete $S$-partite Graphs
In this paper, we focus on the class of complete $S$-partite graphs, for $S$ an undirected graph possibly with self-loops, and address the problem of finding largest $2$-regular subgraphs of these graphs, which can be formulated as an integer linear program. Roughly speaking, a complete $S$-partite graph is obtained by replacing every single node of $S$ with a number of nodes, preserving the edge/non-edge relations of $S$. Our motivation in finding largest $2$-regular subgraphs is rooted in the structural systems theory, particularly in the problem of finding largest subnetworks that can sustain controllability or asymptotic stability of the corresponding subsystems. A main contribution of the paper is to show that the integer linear problem can be solved efficiently in $O(|V(S)|^3)$, independent of the order/size of the $S$-partite graph itself. Furthermore, we demonstrate through simulations that with high probability, a random $S$-partite graph contains a largest $2$-regular subgraph of the same order as its complete counterpart does.
Bounds on median eigenvalues of graphs of bounded degree
We prove that for every integer $d \ge 3$, the median eigenvalues of any graph of maximum degree $d$ are bounded above by $\sqrt{d-1}$. We also prove that, in three separate cases, the median eigenvalues of a graph of maximum degree $d$ are bounded below by $-\sqrt{d-1}$: when the graph is triangle-free, when $d-1$ is a perfect square, or when $d \ge 75$. These results resolve, for all but finitely many values of $d$, an open problem of Mohar on median eigenvalues of graphs of maximum degree $d$. As a byproduct, we establish an upper bound on the average energy of graphs of maximum degree at most $d$, generalizing a previous result of van Dam, Haemers, and Koolen for $d$-regular graphs.
Computing fixed point free automorphisms of graphs
In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut remains NP-complete when restricted to split, bipartite, k-subdivided, and H-free graphs, if H is not an induced subgraph of P_4. The class of P_4-free graphs receives the special name of cographs. We provide a polynomial time algorithm for three extensions of cographs: bounded modular-width graphs, tree-cographs and P_4-sparse graphs. Our approach uses the well known modular decomposition of graphs. As a consequence, we generalize a result of Abiad et. al. on the problem of computing 2-homogeneous equitable partitions.
List packing of graphs with bounded tree-width
Assume $L$ is a $k$-assignment of a graph $G$. An $L$-packing $φ$ of $G$ is a sequence $φ=(φ_1, \ldots, φ_k)$ of $k$-mappings such that each $φ_i$ is an $L$-coloring of $G$, and for each vertex $v$ of $G$, $\{φ_1(v), \ldots, φ_k(v)\} = L(v)$ (and hence $φ_i(v) \ne φ_j(v)$ when $i \ne j$). We say $G$ is list $k$-packable if for any $k$-assignment $L$ of $G$, there is an $L$-packing of $G$. The list packing number $χ_l^{\star}(G)$ of $G$ is the minimum integer $k$ such that $G$ is $k$-packable. For a positive integer $d$, let $t(d)$ be the maximum packing number of graphs of tree-width at most $d$. It was known that $d+1 \le t(d) \le 2d$ for any $d$. In this paper, we prove that $t(d) \le 2d-1$ for $d \ge 3$, and $t(d) \ge d+2$ for $d \ge 2$. In particular, $t(2)=4$ and $t(3)=5$. Furthermore, we show that for constant positive integers $k, d$, the problem of determining $χ_l^{\star}(G)\leq k$ or not for a graph $G$ of tree-width at most $d$ is solvable in linear time.
Optimal b-Colourings and Fall Colourings in $H$-Free Graphs
In a colouring of a graph, a vertex is b-chromatic if it is adjacent to a vertex of every other colour. We consider four well-studied colouring problems: b-Chromatic Number, Tight b-Chromatic Number, Fall Chromatic Number and Fall Achromatic Number, which fit into a framework based on whether every colour class has (i) at least one b-chromatic vertex, (ii) exactly one b-chromatic vertex, or (iii) all of its vertices being b-chromatic. By combining known and new results, we fully classify the computational complexity of b-Chromatic Number, Fall Chromatic Number and Fall Achromatic Number in $H$-free graphs. For Tight b-Chromatic Number in $H$-free graphs, we develop a general technique to determine new graphs $H$, for which the problem is polynomial-time solvable, and we also determine new graphs $H$, for which the problem is still NP-complete. We show, for the first time, the existence of a graph $H$ such that in $H$-free graphs, b-Chromatic Number is NP-hard, while Tight b-Chromatic Number is polynomial-time solvable.
Effect of edge-stretching on Steklov eigenvalues and sharp Steklov eigenvalue bounds on leaf--boundary trees
Let $T$ be a finite tree with leaf set $\dO$ as the boundary and let $λ_2$ be the first nontrivial Steklov eigenvalue. Let $D$ and $\ell$ be the maximum vertex degree and the number of leaves, respectively. Motivated by the spectral influence of neck-stretching on Riemannian manifolds, we investigate a discrete counterpart--edge-stretching--and its effect on the Steklov eigenvalues of graphs. We prove that Steklov eigenvalues decrease monotonically under the edge--stretching operation. As a consequence, we prove that $λ_2\le D/\ell$, with equality if and only if $T$ is a star. This fundamentally improves the constant in He--Hua's bound $λ_2\le 4(D-1)/\ell$ to the optimal value~$1$.
We also provide a closed-form diagonalization of the Steklov problem on level--regular trees, yielding explicit eigenvalues and multiplicities. In addition, we provide a general upper bound $λ_k\le \min\{1,\,16Dk/\ell\}$ for higher eigenvalues. Systematic numerical experiments verify the sharp bound and provide evidence for the extremal conjecture of Lin--Zhao on balanced minimum--height trees.
Complete Causal Identification from Ancestral Graphs under Selection Bias
Many causal discovery algorithms, including the celebrated FCI algorithm, output a Partial Ancestral Graph (PAG). PAGs serve as an abstract graphical representation of the underlying causal structure, modeled by directed acyclic graphs with latent and selection variables. This paper develops a characterization of the set of extended-type conditional independence relations that are invariant across all causal models represented by a PAG. This theory allows us to formulate a general measure-theoretic version of Pearl's causal calculus and a sound and complete identification algorithm for PAGs under selection bias. Our results also apply when PAGs are learned by certain algorithms that integrate observational data with experimental data and incorporate background knowledge.
The Bollobás--Nikiforov Conjecture for Complete Multipartite Graphs and Dense $K_4$-Free Graphs
The Bollobás--Nikiforov conjecture asserts that for any graph $G \neq K_n$ with $m$ edges and clique number $ω(G)$, \[
λ_1^2(G) + λ_2^2(G)
\;\leq\;
2\!\left(1 - \frac{1}{ω(G)}\right)m, \] where $λ_1(G) \geq λ_2(G) \geq \cdots \geq λ_n(G)$ are the adjacency eigenvalues of $G$. We prove the conjecture for all complete multipartite graphs $K_{n_1,\ldots,n_r}$ with $n_1 + \cdots + n_r > r$. The proof computes the full spectrum via a secular equation, establishes that $λ_2 = 0$ whenever the graph has more vertices than parts, and then applies Nikiforov's spectral Turán theorem; equality holds if and only if all parts have equal size. We also prove a stability result for $K_4$-free graphs whose spectral radius is near the Turán maximum: such graphs are structurally close to the balanced complete tripartite graph, and as a consequence the conjecture holds for all $K_4$-free graphs with $m = Ω(n^2)$ when $n$ is sufficiently large. Finally, we identify the precise obstruction preventing a Hoffman-bound approach from settling the conjecture for $K_4$-free graphs with independence number $α(G) \geq n/3$.
Resonances on geometrically finite graphs
In analogy with the spectral theory of geometrically finite hyperbolic manifolds, we initiate the study of resonances on geometrically finite (q+1)-regular graphs of groups. We prove the meromorphic continuation of the resolvent of the adjacency operator on such spaces and give a geometric characterization of the resonant states. In contrast to the hyperbolic surfaces setting, geometrically finite graphs have only finitely many resonances and may be computed explicitly, yet exhibit many of the same qualitative phenomena as in the hyperbolic manifolds setting. Particularly interesting examples arise from algebraic curves over finite fields.
Surfaces without quasi-isometric simplicial triangulations
We construct a complete Riemannian surface $Σ$ that admits no triangulation $G\subset Σ$ such that the inclusion $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$. Our construction is without boundary, has arbitrarily large systole, and furthermore, there is no embedded graph $G\subsetΣ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry. This answers a question of Georgakopoulos.
Numerical topology of the clique complex of the partition graph: Euler characteristic, clique counts, and sequence data
We study the numerical topology of the clique complex $K_n=\mathrm{Cl}(G_n)$, where $G_n$ is the partition graph on the set of integer partitions of $n$. Building on the previously established homotopy equivalence $K_n \simeq \vee^{\,b_n} S^2$, we shift the focus from qualitative topology to its numerical content. Our main objects are the Euler characteristic $χ(K_n)$, the derived sequence $b_n=χ(K_n)-1$, the clique counts $c_r(n)$, and several related maximal-simplex counts. We develop two exact counting languages for the same invariant. The first is the direct clique-counting formula $χ(K_n)=\sum_{r\ge 1}(-1)^{r-1}c_r(n)$, which expresses Euler characteristic through clique counts in the partition graph. The second is a nerve-side formula arising from the canonical good cover by distinct full star- and full top-simplices, which yields $χ(K_n)=χ(N_n)$, where $N_n$ is the corresponding nerve. We further use the classification of maximal simplices into star-, top-, and edge-type pieces to formulate a local-to-global counting framework based on local admissibility data and global deduplication. The paper is primarily organizational and computational. It fixes a consistent counting dictionary, separates intrinsic global counts from auxiliary based counts, records exact data for the full main sequence package on $1\le n\le 25$, and extends the low-dimensional clique-count layer through $n=60$. We do not claim closed formulas for $χ(K_n)$ or for the full family of clique counts. Rather, the paper provides a framework in which such questions can be studied systematically.
Impact of local girth on the S-packing coloring of k-saturated subcubic graphs
For a non-decreasing sequence $S=(s_1,s_2,\dots,s_k)$, an $S$-packing coloring of a graph $G$ is a vertex coloring using the colors $s_1,s_2,\dots,s_k$ such that any two vertices assigned the same color $s_i$ are at distance greater than $s_i$. A subcubic graph is said to be $k$-saturated, for $0\le k\le3$, if every vertex of degree 3 is adjacent to at most $k$ vertices of degree~3. The \emph{local girth} of a vertex is the length of the smallest cycle containing it. Brešar, Kuenzel, and Rall [\textit{Discrete Math.} 348(8) (2025),~114477] proved that every claw-free cubic graph is $(1,1,2,2)$-packing colorable, confirming the conjecture for this family. Equivalently, a claw-free cubic graph is one in which each $3$-vertex has local girth~3. Motivated by this observation and by recent progress on $S$-packing colorings of $k$-saturated subcubic graphs, we study the influence of local girth on their $S$-packing colorability. We establish a series of results describing how the parameters of saturation and local girth jointly determine the admissible $S$-packing sequences. Sharpness is verified through explicit constructions, and several open problems are posed to delineate the remaining cases.
Further results on \([k]\)-Roman domination on cylindrical grids \(C_m \Box P_n\)
In this paper, we study the $[k]$-Roman domination number of cylindrical graphs $C_m \Box P_n$. Our analysis begins with a general lower bound based on local neighborhood constraints, showing that $γ_{[k]R}(C_m\Box P_n) > (k+1)\left\lceil\frac{mn}{5}\right\rceil.$ By exploiting the connection between $[k]$-Roman domination and efficient domination, we characterize those cylindrical graphs whose optimal $[k]$-Roman domination number is realized by configurations with minimum possible local neighborhood weight. For fixed small values $m\in\{5,\ldots,8\}$, we construct explicit periodic $[k]$-Roman dominating functions that yield constructive upper bounds. These constructions are further refined using ceiling-type adjustments and reductions based on packing sets. A systematic comparison of the resulting bounds shows how their relative strength depends on the parameter $k$ and on the length of the path.
Inverse Kazhdan--Lusztig polynomials of fan matroids
The inverse Kazhdan--Lusztig polynomial of a matroid was introduced by Gao and Xie, and the inverse $Z$-polynomial of a matroid was introduced by Ferroni, Matherne, Stevens, and Vecchi. In this paper, we study these two polynomials for fan matroids, a family of graphic matroids associated with fan graphs. We first derive the generating functions for the inverse Kazhdan--Lusztig polynomials of fan matroids using their recursive definition, and then deduce the explicit formulas of these polynomials therefrom. For the inverse $Z$-polynomials of fan matroids, we obtain their generating functions using a parallel generating function approach, and further derive their explicit expansions based on these generating functions. Additionally, we provide alternative proofs for the above generating functions using the deletion formulas for inverse Kazhdan--Lusztig and inverse $Z$-polynomials. As an application of the explicit formula for inverse Kazhdan--Lusztig polynomials, we prove that the coefficients of the inverse Kazhdan--Lusztig polynomial of the fan matroid form a log-concave sequence with no internal zeros.
Localization of the clique spectral version of Zykov's theorem
Zykov's theorem shows that $r$-partite Turán graph uniquely has the maximum number of $K_t$ among all $n$-vertex $K_{r+1}$-free graphs for $2\le t\le r$. The clique tensor is a high-order extension of the adjacency matrix of a graph. Yu and Peng \cite{peng1} gave a spectral version of the Zykov's theorem via clique tensor. In this paper, we give some upper bounds on the spectral radius of the clique tensor of a graph, which can be viewed as the localizations of the spectral version of Zykov's theorem.
Characterizing globally linked pairs in graphs
A pair $\{u,v\}$ of vertices is said to be globally linked in
a $d$-dimensional framework $(G,p)$ if there exists no other
framework $(G,q)$ with the same edge lengths, in which the
distance between the points corresponding to $u$ and $v$
is different from that in $(G,p)$.
We say that $\{u,v\}$ is globally linked in $G$ in $\R^d$ if
$\{u,v\}$ is globally linked in every generic $d$-dimensional framework $(G,p)$.
We give a complete combinatorial characterization of globally linked
vertex pairs in graphs in $\R^2$, solving a
conjecture of Jackson, Jordán and Szabadka from 2006 in the affirmative.
Our result provides a refinement of the characterization of globally rigid graphs in $\R^2$ as well as an efficient algorithm for finding the globally linked pairs in a graph. We can also deduce that globally linked pairs in $\R^2$, globally linked pairs in ${\mathbb C}^2$, and stress-linked pairs in ${\mathbb R}^2$ are all the same,
settling conjectures of Jackson and Owen, and Garamvölgyi, respectively.
In higher dimensions we determine the
globally linked pairs in body-bar graphs in $\R^d$, for all $d\geq 1$, verifying
a conjecture of Connelly, Jordán and Whiteley.
Ramsey size linear and generalization
More than thirty years ago, Erdős, Faudree, Rousseau, and Schelp posed a fundamental question in extremal graph theory: What is the optimal constant $c_k$ such that $r(C_{2k+1}, G) \le c_k m$ for any graph $G$ with $m$ edges and no isolated vertices? In this paper, we make a significant step towards answering this question by proving that $r(C_{2k+1}, G) \le (2 + o(1)) m + p,$ where $p$ denotes the number of vertices in $G$. This result provides the first improvement on the original open problem. Additionally, we extend the work of Goddard and Kleitman and independently Sidorenko, who proved that $r(K_3, G) \le 2m + 1$ for any graph $G$ with $m$ edges and no isolated vertices. We generalize their findings to the clique version, establishing that $r(K_r, G) \le c_r m^{(r-1)/2}$, and to the multicolor setting, showing that $r_{k+1}(K_3; G) \le c_k m^{(k+1)/2}.$
Directional Geometry and Anisotropy in the Partition Graph
We develop a directional formalism for the partition graph G_n based on several canonical reference sets: the main chain, the self-conjugate axis, the spine, and the boundary framework. For each such set S, the graph distance d_S induces a shell structure and a local trichotomy of edges into inward, outward, and level classes. Passing from edges to paths, we define directional corridors as monotone inward geodesics toward a chosen reference set and prove that every vertex admits at least one.
We then prove a structural non-equivalence theorem: for connected G_n, two nonempty reference sets induce the same edgewise directional field if and only if the difference of their distance functions is constant; in particular, distinct reference sets induce distinct directional fields. This gives a first precise formalization of anisotropy in G_n. We also show that every bounded neighborhood of a reference set is accessible by a monotone inward corridor, which gives a directional interpretation to previously established controlled regions around the axis, the spine, and the framework.
Finally, we complement the strict theory with a computational atlas illustrating edgewise directional statistics, directional mixing, local invariant drift, and corridor-based transport profiles.
Augmentation Lemma for Halin Conjecture
The longstanding conjecture of Halin characterizing the existence of normal spanning trees in infinite graphs has been recently proved by Max Pitz [3]. A critical step in the proof involves the construction of dominated torsos, whose properties are essential to the overall proof. In this note, we provide a correction to the proof of a key property of this construction.