graph
34489 papers tagged with this keyword
All-Minors Matrix-Tree Theory for Superport Networks: Completed Quotient-Incidence Determinants and Conductance-Weighted Subdivision Extensions
An electrical network can be summarized at its boundary by a response matrix: prescribed boundary voltages determine boundary currents. A superport network adds a constraint by grouping boundary terminals into superports, requiring the total current in each group to be zero and making voltage differences inside the groups the natural coordinates. Earlier work determined forest formulas for a single response entry and for the determinant of the whole response matrix. The missing case was an arbitrary subdeterminant, or minor: one needs to know not only which spanning forests contribute, but also the sign carried by each forest. This paper supplies that sign rule. After choosing one reference vertex in each superport, the response is \[ L=\left(D^{T}K^{-1}D\right)^{-1}, \] with \(K\) the grounded weighted Laplacian and \(D\) recording the selected voltage differences. Contracting the components of a physical spanning forest \(F\) produces a much smaller quotient port graph \(H_F\). Its reduced incidence matrix \[ B_F=Q_FD \] has columns only of the forms \[ 0,\qquad \pm e_a,\qquad e_a-e_b. \] Hence every square incidence minor is exactly \(0\) or \(\pm1\). For a \(k\)-set of response coordinates \(I\), append to \(B_F\) the selector rows \(E_I^{T}\) and define the completed quotient-incidence determinant \[ \widehatχ_F(I) = \det \begin{pmatrix} B_F\\ E_I^{T} \end{pmatrix}. \] For coordinate sets \(I,J\) of the same size, the arbitrary response minor is a weighted spanning-forest sum whose coefficient is simply \[ \widehatχ_F(I)\widehatχ_F(J). \] Thus the Jacobi complementary-minor factors used in the derivation disappear from the final theorem. Direct block-triangular reduction gives \[ \widehatχ_F(I)\in\{0,\pm1\}, \] with nonvanishing occurring exactly when the complementary quotient edges \(N\setminus I\) form a spanning tree of \(H_F\).
Large induced subgraphs with $k$ vertices of maximum degree
We prove that, for every integer $k\ge 2$, there exists a constant $c_k>0$ such that every graph on $n\ge R(k,k)$ vertices with maximum degree $Δ$ contains an induced subgraph on at least $n-c_k\sqrtΔ$ vertices whose maximum degree is attained by at least $k$ vertices. This confirms a conjecture of Caro and Yuster in strong form.
Albertson's Conjecture Holds for r at Most 26
Albertson conjectured that every graph with chromatic number r has crossing number at least cr(K_r). The conjecture was verified for r <= 12 by Albertson, Cranston and Fox, for r <= 16 by Bar'at and T'oth, for r <= 18 by Ackerman, and recently for r <= 24 by Cranston, who reduced the remaining cases r in {25, 26} to three orders. We settle those three orders, so that Albertson's Conjecture holds for all r <= 26. Only published results are used, and an appendix reproves the range 19 <= r <= 24 so that the case r <= 26 does not rest on unpublished work. We also show that if chi(G) = 27 and cr(G) < cr(K_27), then G has a 27-critical subgraph of order 53 or 54 whose complement is connected.
The directional localization game on graphs
In the localization game on a graph $G$, a team of cops searches for an invisible, mobile robber on $G$ by "probing" vertices; each probe tells the cops the distance from the probed vertex to the robber. The cops win if they can uniquely determine the robber's location. In this paper, we introduce a related game: the directional localization game. In this game, instead of probes returning distances, they return directions: when the cops probe a vertex $v$, the robber must respond with one or more neighbors of $v$ that lie on a shortest path from $v$ to the robber's location. The minimum number of cops needed to win this game on $G$ is the directional localization number of $G$. We study the directional localization game on several classes of graphs, including chordal graphs, Cartesian products, and incidence graphs of projective planes. We also bound the directional localization number of a graph $G$ in terms of the degeneracy and the treewidth of $G$.
A short proof that $R(3,k)=Θ(k^2/\log k)$
We give a nibble-free construction proving $R(3,k)\ge(1/200+o(1))k^2/\log k$. We also include Shearer's proof bounding the independence number of a triangle-free graph, which implies $R(3,k)\le (1+o(1))(k^2/\log k)$.
Minimum Weakly Saturated Graphs and Bootstrap Percolation in General Host Graphs
A graph $G$ is weakly $H$-saturated if one can obtain $K_n$ by adding one edge to $G$ at a time, where each additional edge creates at least one new copy of $H$. The minimum number of edges needed for a weakly $H$-saturated graph $G$ of order $n$ is known as the weak saturation number of $H$, written $wsat(n,H)$. A graph $G$ is minimum weakly saturated if $wsat(n,G)=|E(G)|-1$ for some value of $n$.
We explore classes of minimum weakly saturated graphs and their connection to the $H$-bootstrap percolation process, as well as weak saturation in a more general setting than the complete graph.
The Multiorbital Bivariate Chromatic Polynomial
We introduce the multiorbital bivariate chromatic polynomial $F_Γ(G;x,y)=\sum_{H\le G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y)$, which aggregates orbital bivariate chromatic polynomials over the subgroup lattice of a finite group acting on a graph. We derive an equivalent element-wise representation $F_Γ(G;x,y)=\sum_{g\in G}c_G(g)P_{Γ/g}(x,y)$ with $c_G(g)=\sum_{H\le G,\,g\in H}\frac{1}{|H|}$. The coefficient function depends only on the cyclic subgroup generated by the group element and is constant on conjugacy classes. This yields corresponding decompositions by cyclic subgroups and conjugacy classes, as well as a natural Möbius-theoretic interpretation. After normalization, the coefficients define a probability distribution on the acting group, giving a probabilistic interpretation of the multiorbital polynomial as an expected quotient polynomial. We further investigate its behaviour under disjoint unions and its specialization to edgeless graphs, where a weighted cycle-index expression is obtained.
A stronger upper bound on the D-chromatic index
For a graph $G$, a proper edge coloring of $G$ is called a D-coloring if every diamond subgraph of $G$ is rainbow. Let $χ'_D(G)$ be the D-chromatic index of $G$, which is the smallest integer $k$ such that $G$ admits a D-coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. The only known Brooks-type upper bound on $χ'_D(G)$ is $\frac{9}{16}Δ^2 + \frac{1}{2}Δ$, given by a greedy coloring. In this paper, using a probabilistic method, we obtain the first improvement upon this upper bound by proving that $χ'_D(G) \le (1-c)\frac{9}{16}Δ^2$ for some $c > 0$ and sufficiently large $Δ$.
Sufficiency of Hall's Condition for Graphic List Coloring
For finite simple graphs $G,H$ on a common vertex set $V$, we say that $H$ is $G$-colorable if $H$ admits a proper list coloring with list assignment $L(v)=N_G(v)$ for all $v\in V$. This notion of coloring a graph using the neighborhood of another graph on the same vertex set, which we call \emph{graphic list coloring}, has connections to several classical topics, including systems of distinct representatives and graph factorizations. In this paper, we investigate when a necessary Hall-type condition, introduced by Hilton and Johnson in 1990, is also sufficient for $H$ to be $G$-colorable. We characterize all graphs $H$ that are $G$-colorable whenever the pair $(H,G)$ satisfies Hall's condition, answering a question raised by Johnson. We then consider the dual problem of characterizing graphs $G$ such that, whenever $(H,G)$ satisfies Hall's condition, $H$ is $G$-colorable. In this vein, we obtain complete results for several families of graphs, such as forests, complete multipartite graphs, and grid graphs.
Almost perfect graph classes
A graph $G$ is perfect if $ω(H) = χ(H)$ for each induced subgraph $H$ of $G$. In 2002, Chudnovsky, Robertson, Seymour, and Thomas famously proved the Strong Perfect Graph Theorem. Motivated by this forbidden induced subgraph characterization of the class of perfect graphs as well as the possible extension of efficient algorithms on perfect graphs, we consider the structure of graphs that are almost perfect. We say a graph is $c$-apex perfect if there is a constant $c$ number of vertices such that, upon the deletion of these vertices, what remains is a perfect graph. In this paper, we characterize the class of the sets of graphs $\mathcal{H}$ with $|\mathcal{H}|\leq 2$ for which there exists $c \in \mathbb{N}$ with the property that each $\mathcal{H}$-free graph is $c$-apex perfect. We also extend these results to several notable subclasses of perfect graphs, including chordal, interval, split, bipartite, and complete multipartite graphs.
On the Turán number of the expansion of the book
The book with $t$ pages is the graph on $t+2$ vertices consisting of $t$ triangles which intersect at exactly one common edge. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the book graph for sufficiently large $n$.
Graph Coloring with Color Preferences
We study graph coloring with color preferences, in which each vertex ranks the available colors. In addition to assigning different colors to adjacent vertices, we require the coloring to be stable: no group of vertices can cyclically exchange their assigned colors so that each strictly prefers its new color to its original one. We define the stable chromatic number $χ_\mathrm{stable}(G)$ of a graph $G$ as the minimum integer $k$ such that every preference profile admits a stable $k$-coloring of $G$. We establish several upper and lower bounds. In particular, for any acyclic orientation of the edges of $G$, the largest number of vertices reachable from a vertex by directed paths, including the vertex itself, is an upper bound on $χ_\mathrm{stable}(G)$. This shows that $χ_\mathrm{stable}(G)$ is well-defined. We also show that $O(t \log (1+n/t))$ colors suffice for an $n$-vertex graph $G$ of treewidth $t$, and complement this with a lower bound in terms of the Grundy number. Turning to the problem of finding a minimum stable coloring for a given profile, we show that stable $2$-colorability is polynomial-time solvable, whereas stable $k$-colorability is NP-complete for every fixed $k\ge 3$. Using the treewidth bound, we give a fixed-parameter tractable algorithm parameterized by treewidth.
Forcing monochromatic subdivisions
We prove that for every integers $d \ge 1$ and $s\ge2$ there exists an integer $D$, that depends only on $d$ and $s$, such that for every graph $P$ with maximum degree at most $ d$, there is a graph $H$ with maximum degree at most $D$ in which every $s$-coloring of $V(H)$ yields a monochromatic subdivision of $P$.
Improved bounds for the lazy cops and robbers on generalized hypercubes
In Lazy Cops and Robbers, at most one cop moves on each cop turn. We study the lazy cop number of the generalized hypercube $Q(n,m)$, whose vertex set is ${\{0,1,\ldots,m\}}^n$. For each fixed integer $m\geq2$, we prove the asymptotic upper bound $$c_{\mathrm{L}}(Q(n,m))=O\!\left(\frac{{(m+1)}^n}{n^{3/2}}\right).$$ This result improves the upper bound of Sim, Tan, and Wong by a factor of $\log n$. The proof combines a moving dominating-set argument with an explicit dominating-set construction inside the support classes of each level. As a separate domination result, we show that, for fixed integers $m\geq2$ and $d\geq1$, the Hamming graph $K_m^{\square k}$ has a distance-$d$ dominating set of asymptotic size $O(m^k/k^d)$. This order is optimal up to a constant factor.
Dominant-Degree Conditions for Ramsey--Turán Factors of Non-Directed Cycle Orientations
Let $\Cvec$ be a fixed orientation of the cycle $C_\ell$, $\ell\ge3$, which is not directed. For an oriented graph $D$, let
$d_D^*(v):=\max\{d_D^+(v),d_D^-(v)\},$ and let \[ \sigore(D):=\min\bigl\{d_D^*(x)+d_D^*(y):x\ne y,\ xy,yx\notin A(D)\bigr\}, \] with $\sigore(D)=\infty$ if the underlying graph of $D$ is complete. We prove that, for every $μ>0$, there exist $γ>0$ and $n_0$ such that every $n\ge n_0$ with $\ell\mid n$ and every $n$-vertex oriented graph $D$ satisfying \[ α(D)\leγn \text{ and }
{\sigore(D)\ge\left(\frac34+μ\right)n} \] contains a $\Cvec$-factor. {Additionally, for every fixed $s\ge2$ and every fixed real constant $C$, we construct arbitrarily large oriented graphs with $\sigore(D)\ge \frac34n+C$ that contain no $C_{2s}^{\ad}$-factor. More precisely, $C:=\frac34α(D)-2$ for $s=2$ and $C:=\frac14α(D)-\frac32$ for $s\ge3$.} This paper develops a weighted reduction framework adapted to dominant degree condition, proves the absorption lemma via closed-cluster merging with even-walk, and derives almost-perfect tiling structures by virtue of Farkas-lemma-based fractional decomposition.
Unbalanced spectral Turán problem for color-critical graphs with prescribed large maximum degree
Let $F$ be a connected color-critical graph with $χ(F)=r+1\ge4$, let $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$. We determine the graph of maximum adjacency spectral radius among all $n$-vertex $F$-free graphs with prescribed maximum degree $Δ$. There is a constant $s_F\in[0,1)$ such that, for all sufficiently large $n$, $\left\lceil\frac{(r-1)n}{r}\right\rceil\le Δ\le n-Θ(n^{s_F})$ implies that every $n$-vertex $F$-free graph $G$ with $Δ(G)=Δ$ satisfies $ρ(G)\le ρ\bigl(S_{n,Δ}^{(r)}\bigr)$, with equality if and only if $G\cong S_{n,Δ}^{(r)}$. This is the spectral counterpart of the edge theorem of [European J. Combin. 106 (2022), 103576.] and extends the clique result in [arXiv:2608.26634, 2026.]. This result also provides a benchmark for unbalanced spectral Turán problems arising from other extremal parameters.
Symbolic Rees algebras of complementary edge ideals
Let $G$ be a finite simple graph on $[n]$ and let $I_c(G)$ denote its complementary edge ideal in the polynomial ring $S = K[x_1,\dots,x_n]$. We give a combinatorial description, in terms of the structure of $G$, of the minimal generators of the symbolic Rees algebra $\mathcal{R}_s(I_c(G)) = \bigoplus_{k \geq 0} I_c(G)^{(k)} t^k$, and show that this algebra is generated in degree at most $6$. Moreover, we completely determine the minimal generators of $\mathcal{R}_{s}(I_{c}(G))$ in graph-theoretic terms. We then study in more detail the homological invariants of the symbolic powers $I_c(G)^{(k)}$ for the classes of cycle graphs and complete multipartite graphs. For theses families, we study the behavior of the symbolic depth function $k\mapsto\operatorname{depth} S/I_c(G)^{(k)}$, we obtain the limit depth of the symbolic powers and the Waldschmidt constant of $I_c(G)$, and further prove that all the symbolic powers $I_c(G)^{(k)}$ are componentwise linear.
Hamilton Starters and Path Decompositions in Directed Circulants
For integers q at least 3 and r at least 1, consider the directed Cayley graph on the cyclic group of order qr whose allowed steps are the integers from 1 through r. A Hamilton cycle H is called a q-layer balanced Hamilton starter if, for every step from 1 through r and every residue class modulo q, H contains exactly one arc of that step whose tail belongs to the given residue class. The r translates of H by successive multiples of q then form a Hamilton decomposition of the digraph. A q-layer balanced Hamilton starter is called chain-compatible if one arc can be selected from each Hamilton cycle in this decomposition so that the selected arcs form a simple directed path. In both constructions, the compatible deletion chain is the arithmetic step-2 path beginning at 0 and ending at 2r. For q equal to 4, a chain-compatible starter is obtained explicitly whenever r is congruent to 1 modulo 4 and r is at least 9, while for q equal to 3 one exists for all sufficiently large r congruent to 5 modulo 6. The proofs are constructive: the four-layer case uses an ABAB step word, while in the three-layer case a directed rotational terrace is lifted to a 3-layer balanced directed 1-factor and a fixed four-arc trade joins its two cycles. Deleting the unique prescribed-path arc from each translated Hamilton cycle gives r Hamilton paths; together with the prescribed path, these form an optimal decomposition of the arc set into r+1 directed paths in both cases.
Common neighbour conjectures for Saxl graphs fail at every base size
For a finite permutation group, a base is a set of points with trivial pointwise stabiliser, and the generalised Saxl graph records which pairs of points lie together in a base of minimum size. Burness and Giudici conjectured that any two vertices of the Saxl graph of a primitive group of base size two have a common neighbour, and Freedman, Huang, Lee and Rekvényi extended this conjecture to arbitrary base size. We disprove both. For each integer $B\ge2$ we construct infinitely many primitive groups of base size $B$ whose generalised Saxl graphs contain two nonadjacent vertices with no common neighbour. At base size two, where this is the usual Saxl graph, we obtain three further infinite families, one each of affine, product and twisted wreath type, so the conjecture fails in three of the five O'Nan--Scott types; in the affine and product type families the Saxl graphs have diameter exactly three. This answers Problem~21.29 in the Kourovka Notebook in the negative. In the positive direction, we prove the Burness--Giudici conjecture for every primitive affine group whose point stabiliser is almost quasisimple of sporadic type, completing work of Lee and Popiel. We conjecture that no base-two counterexample of almost simple or diagonal type exists.
Box-Delaunay graphs of large chromatic number
For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.