graph
34516 papers tagged with this keyword
Simultaneous Graph Parameters and How to Bound Them
Beisegel et al. [SWAT 2024] introduced the concept of simultaneous $\mathcal{C}$-numbers which associate a graph class $\mathcal{C}$ with a graph parameter. Given a graph $G$, the simultaneous $\mathcal{C}$-number is the smallest number $d$ for which there is a graph $H \in \mathcal{C}$ and a function $L : V(G) \to \mathcal{P}(\{1,\dots,d\})$ such that two vertices $u$ and $v$ are adjacent in $G$ if and only if they are adjacent in $H$ and their sets $L(u)$ and $L(v)$ are not disjoint. We study the relation of these simultaneous $\mathcal{C}$-numbers to other graph parameters. In particular, we investigate which parameters fulfill the following property: Parameter $p$ is bounded on class $\mathcal{C}$ if and only if $p$ is bounded on the class of graphs of simultaneous $\mathcal{C}$-number $d$ for any fixed $d$. We show that many well-known graph parameters have this property. Examples are cliquewidth, twin-width, mim-width, tree independence number, thinness as well as boxicity. We furthermore present some parameters, including modular-width and tree-length, that do no have this property. We also study when a parameter forms an upper bound on a simultaneous $\mathcal{C}$-number. We characterize those graph classes $\mathcal{C}$ for which the parameters treewidth, pathwidth, bandwidth, and treedepth upper bound the simultaneous $\mathcal{C}$-number. Furthermore, we present sufficient conditions on a class $\mathcal{C}$, such that $\mathcal{P}$-modular cardinality upper bounds the simultaneous $\mathcal{C}$-number, where $\mathcal{P}$ is replaced by the complete graphs, the edgeless graphs, cographs, or the class $\mathcal{C}$ itself. On the contrary, we show that modular width never forms an upper bound on a non-trivial simultaneous $\mathcal{C}$-number. Finally, we present some general algorithmic results on the clique problem and computation of simultaneous $\mathcal{C}$-numbers.
3-Neighbor bootstrap percolation on two-dimensional grids
In the $3$-neighbor bootstrap percolation process, a vertex becomes (and remains) infected if at least three of its neighbors are infected. We say that an initial configuration of infected vertices percolates if eventually all vertices are infected. We exactly determine the size of the minimum percolating set for the $3$-neighbor bootstrap percolation process on all remaining open cases for rectangular grid graphs $P_m\square P_n$. This extends earlier work of Dukes, Noel, and Romer. Additionally, we consider the same question for the toroidal grids $C_m\square C_n$, proving upper and lower bounds which are at most one apart and determining the answer precisely in many divisibility cases.
Majority Dynamics on Resampled Sparse Erdős--Rényi Graphs: Gaussian Winner Selection and Pace to Unanimity
We study the two-opinion majority dynamics process: at each time step, every vertex adopts the majority opinion among its neighbors, retaining its current opinion if there is a tie. Independently at each step, the interaction graph is resampled from the sparse Erdős--Rényi model $\mathbb G(N,p)$ with $p=b\log N/N$ and fixed $b>1$.
Our results identify three regimes governed by the initial advantage $Δ_0=|B_0|-|R_0|$, where $|B_0|$ and $|R_0|$ denote the initial blue and red camps, respectively. First, an initial blue advantage above an explicit constant multiple of $N/\sqrt{\log N}$ leads to blue unanimity within two updates with high probability. Second, throughout the intermediate regime $\sqrt{N/\log N}\llΔ_0\lesssim N/\sqrt{\log N}$, we obtain explicit high-probability upper and lower bounds on the blue-unanimity time. Finally, uniformly in the critical window $Δ_0\sqrt p=O(1)$, the blue- and red-unanimity probabilities equal $Φ(\sqrt{2/π}\,Δ_0\sqrt p)+o(1)$ and $Φ(-\sqrt{2/π}\,Δ_0\sqrt p)+o(1)$, respectively, and unanimity is reached within $(1+o(1))\log N/\log\log N$ many updates with high probability. This resolves the resampled version of the \emph{optimal power-of-few} conjecture raised by Tran and Vu (2025).
Minimal Cayley graphs with large chromatic number
Resolving Babai's minimal Cayley graph problem, we construct finite minimal Cayley graphs with arbitrarily large chromatic number.
Universality in random graphs via optimal linking systems: trees and beyond
We develop a framework for proving universality results in sparse random graphs. As a first application, we show that there exists an absolute constant $C>1$ such that, with high probability, for every fixed constant $Δ$, the binomial random graph $G(n,C\ln n/n)$ contains every $n$-vertex tree with maximum degree at most $Δ$. This answers a question of Montgomery (Advances in Mathematics, 2019). We also determine, for every $p$ satisfying $C\ln n/n\leq p=n^{-1+o(1)}$, the minimum girth $\ell$ (up to an absolute multiplicative constant) for which with high probability $G(n,p)$ contains all cycle factors of girth at least $Ω(\ell)$. In particular, with high probability $G(n,C\ln n/n)$ contains all cycle factors of girth at least $100\ln n/\ln\ln n$, which is optimal up to a constant factor. This extends an earlier result of Ferber, Kronenberg, and Luh (Transaction of the American Mathematical Society, 2019) and significantly improves a corollary of a deep result of Kahn, Lubetzky, and Wormald (Communications on Pure and Applied Mathematics, 2017). One of the key ingredients in the proofs is establishing the optimal depth of linking systems in sparse random graphs.
A proof of Andersen's rainbow path conjecture for large $n$
We show that, for sufficiently large $n$, every properly edge-coloured $n$-vertex complete graph contains a path with $n-1$ vertices which uses each colour at most once (that is, a rainbow path). This resolves a conjecture of Andersen from 1989 for all large $n$ and improves previous results of Alon-Pokrovskiy-Sudakov, and then Balogh-Molla, which showed that rainbow paths/cycles of length $n-O(n^{1/2}\log n)$ exist in this setting. Furthermore, with related methods, we show that, for every sufficiently large $n$, every Latin square of order $n$ contains a cycle-free transversal of order $n-2$, confirming a conjecture of Gyárfás and Sárközy from 2014 for large $n$.
Squarefree Matrix Formulas for the CWR Invariant of Alternating Knots and Links
We give weighted-matrix formulas for the components of the $CWR$ invariant of oriented non-split alternating links. After recalling the known trace formulas for $CWR_{2}$ and $CWR_{3}$, we give a construction uniform in $k$: attaching an independent commuting variable to each vertex of a consolidated Tait graph and extracting the squarefree part of the resulting trace isolates simple cycles from closed walks. This yields a formula for $CWR_k$ for every $k\ge 3$, a log-determinant generating polynomial for each of the two Tait graphs, and an equivalent Moebius-inversion formula over principal submatrices.
Specializing the uniform formula, we obtain explicit closed weighted formulas for $CWR_{4}$ and $CWR_{5}$. We also record a bipartiteness criterion for the vanishing of all odd components and a characteristic-polynomial formula for the unweighted specialization of the first nonvanishing odd component. The graph-theoretic constructions apply to arbitrary finite simple loopless weighted graphs; the alternating-link hypothesis enters through the invariance theorem for $CWR$.
A Moser-spindle-free 5-chromatic unit distance graph on 2131 vertices in the plane
With regard to the Hadwiger-Nelson problem, several 5-chromatic unit distance graphs in the Euclidean plane have been discovered in recent years. While most constructions rely heavily on the Moser spindle, Voronov \textit{et al.} found examples on 64513 vertices that completely avoid it. In this note, we improve upon this result by presenting a 5-chromatic unit distance graph on 2131 vertices that similarly does not contain the Moser spindle. It is constructed utilizing the arcs of a 7-fold symmetric unit distance graph on 21 vertices.
Maximum Edge Open Packing in Permutation, Interval, and Well-Partitioned Chordal Graphs
Edge open packing is a relaxation of induced matching in which the selected edges may induce disjoint stars. We study the \textsc{Maximum Edge Open Packing} problem on permutation graphs, interval graphs, and well-partitioned chordal graphs. For the first two classes, we introduce an oriented star-conflict graph whose vertices are ordered edges. We prove that its compatibility graph admits a natural transitive orientation: a product-order orientation for permutation graphs and a left-to-right orientation for interval graphs. In each case, a maximum edge open packing is obtained from a maximum clique, equivalently a longest directed path, in the compatibility graph. Given the corresponding representation, both algorithms run in \(O(n^2+m^2)\leq O(n^4)\) time, where \(n=|V(G)|\) and \(m=|E(G)|\). For well-partitioned chordal graphs, we give a dynamic program over a partition tree. Its states use the fact that the endpoint set of an edge open packing meets each clique bag in at most two vertices. Given a partition-tree representation, the edge open packing number is computed in \(O(n^4)\) time, and an optimal packing can be reconstructed within the same time bound.
On k-coalition partitions of graphs
In a graph, a set $D$ is $k$-dominating if every vertex in $V(G) \setminus D$ has at least $k$ neighbors in $D$. Jafari, Alikhani, and Bakhshesh introduced the concept of a $k$-coalition, which is a pair of disjoint sets $X_1$ and $X_2$ of vertices such that neither is a $k$-dominating set but $X_1 \cup X_2$ is a $k$-dominating set. A $k$-coalition partition is a vertex partition in which each set either forms a $k$-coalition with some other set or is itself a $k$-dominating set with exactly $k$ vertices. The $k$-coalition number $\operatorname{CO_k}(G)$ is the maximum number of sets in a $k$-coalition partition. We compute the $k$-coalition number for several families and bound the $k$-coalition number under disjoint union and graph join. We show that the set of possible sizes of $k$-coalition partitions forms an interval. Finally, we investigate $k$-coalition graphs and prove that every graph is a $k$-coalition graph.
Extremal Graphs for the Energy-Independence Number Inequality
For a graph $G$ of order $n$, let $\mathcal E(G)$ denote its adjacency energy and let $α(G)$ denote its independence number. A recent theorem of Kumar and Pragada states that $$\mathcal E(G)\ge 2\bigl(n-α(G)\bigr).$$ We determine all graphs attaining equality. More precisely, equality holds if and only if every connected component of $G$ is an isolated vertex, a balanced complete multipartite graph, or a graph obtained by taking the disjoint union of $K_{a,\ldots,a}$ and $K_{b,\ldots,b}$, with the same number $r\ge3$ of parts, and then completely joining corresponding parts.
Hamilton cycles of semisymmetric graphs of order $2p^3$
In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, Du and Yuan considered a natural variant: what if vertex-transitivity is relaxed, while a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, they studied semisymmetric graphs (i.e. regular, edge-transitive, but not vertex-transitive graphs) and showed that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are distinct primes, contains a Hamilton cycle. In this paper, it is shown that for any prime $p$, every connected semisymmetric graph of order $2p^3$ also contains a Hamilton cycle.
Bond thickenings of the simplicial boundary of Outer space
We study the simplicial boundary $\partial\mathcal{FS}$ of Culler-Vogtmann Outer space via thickenings defined by graph-theoretic connectivity. Let $C'$ be the subcomplex of the free splitting complex obtained from $\partial\mathcal{FS}$ by adding all stable graphs that are not $3$-edge connected, together with their faces. We prove that the inclusion $\partial\mathcal{FS}\hookrightarrow C'$ is $(2n-3)$-connected. The proof shows, more precisely, that adding graphs with cut vertices is a homotopy equivalence, while the only non-contractible fibres in the $2$-bond thickening occur over $θ$-graphs. The result gives further evidence that $\partial\mathcal{FS}$ may be $(2n-3)$-spherical, an $\operatorname{Out}(F_n)$-analogue of Rognes's connectivity conjecture for the common basis complex. It also gives a topological, universal-cover perspective that unifies several existing results about the commutative graph complex.
Edge-spectra supersaturation for tripartite color-critical graphs
We study edge-spectral supersaturation for two families of color-critical graphs with chromatic number three. For an integer $r\geq 1$, we define the spectral threshold \[ g_r(m):=\frac{r-1+\sqrt{4m-r^2+1}}{2}, \] which is the tight upper bound on the spectral radius of graphs avoiding $K_{s,t}^+$ (when $t+1\geq s\geq 3$) and $C_{2k+1}$ (when $r=k$), realized by split-graph constructions. First, let $t+1 \geq s\geq 3$ be fixed integers, and let $K_{s,t}^{+}$ be obtained by adding an edge to the part of size $s$ in $K_{s,t}$. We prove that every sufficiently large $m$-edge graph $G$ with $ρ(G)>g_{s-1}(m)$ contains $Ω(m^{(s+t-1)/2})$ copies of $K_{s,t}^{+}$. Second, for any fixed $k\geq 2$, the condition $ρ(G)>g_k(m)$ forces $N(C_{2k+1},G)=Ω(m^k).$ We also construct graphs showing that both lower bounds are tight up to constant factors. These results establish that exceeding the tight spectral Turán threshold $g_r(m)$ forces not just a single copy, but the optimal polynomial number of copies of these color-critical graphs. Thus, crossing the relevant split-graph spectral threshold forces the optimal polynomial order of copies, extending edge-spectral existence theorems to supersaturation results in the delicate three-chromatic regime.
A Two-Player Zero Forcing Game
We introduce a competitive two-player zero forcing game on a connected graph. Alice and Bob alternately seed white vertices or perform legal zero forces in their own colours, and each player seeks to minimise their own number of seeds. A force preservation rule prevents avoidable blocking of an opponent's established force. Because distinct continuations can be equally good for the player to move, optimal play is defined by a set-valued backward induction, and \(Z_g(G)\) is the minimum total number of seeds among the resulting optimal outcomes. We prove that \(Z_g(G)\geq Z(G)\), determine \(Z_g\) for paths, cycles, stars, complete graphs, and complete bipartite graphs, and characterise the graphs with \(Z_g(G)=2\) by an alternating two-chain forcing schedule. We also show that \(Z_g\) is not minor-monotone and that edge subdivision can either increase or decrease the parameter. Exact computation verifies \(Z_g(G)\leq2Z(G)\) through order nine.
Information and Locality in Cayley Graphs
A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window.
The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.
The $(t,p)$-Norm in Classical Extremal Problems
Given integers $r>t\ge1$ and a real number $p>0$, the $(t,p)$-norm $||\mathcal{H}||_{t,p}$ of an $r$-graph $\mathcal{H}$ is the sum of the $p$-th powers of the degrees $d_{\mathcal{H}}(T)$ over all $t$-subsets $T\subseteq V(\mathcal{H})$. When $t=r-1$, this is the codegree $p$-norm. For all sufficiently large $n$, we obtain the following results. The first two apply in both the convex range $p>1$ and the concave range $0<p<1$. First, for $r$-graphs with matching number at most $s$, we determine the maximum $(t,p)$-norm. Second, for $k$-intersecting families, we establish an Erdős--Ko--Rado-type theorem for the $(t,p)$-norm. Third, for $P_\ell^r$-free hypergraphs, we determine the maximum $(t,p)$-norm for every $1\le t\le r-1$ and $p>1$. In each of the three settings, we also characterize all extremal families.
Subdivided expanders and counterexamples to the Tree Product Conjecture
Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood (2023) conjectured that graphs of degree-$d$ polynomial growth can be embedded into the strong product of $d$ trees, each with linear growth, and a constant-size complete graph. Very recently, the case $d = 4$ of the conjecture was disproved by Illingworth, Norin and Steiner (2026). In this paper, we provide counterexamples to the conjecture for every integer $d \geq 2$, thus leaving $d=1$ as the only open case. Our counterexamples are appropriately subdivided cubic expanders. Our main contribution is to construct, for every real number $d>1$, subdivisions of cubic expanders with degree-$d$ polynomial growth and whose balanced separators have size $Ω(n^{1-1/d}\log n)$, where $n$ denotes the number of vertices.
Intervals of uniform Turán densities
We prove that the set $Π_{\therefore,\infty}$ of uniform Turán densities of possibly infinite families of $3$-graphs contains a terminal interval: there exists $δ>0$ such that $[1-δ,1]\subseteqΠ_{\therefore,\infty}$. Consequently, $Π_{\therefore,\infty}$ has positive Lebesgue measure and Hausdorff dimension $1$.
Entropy Transference for Rainbow-$H$-Free Colourings of Random Graphs
Let $H$ be a fixed graph with $q=e(H)\ge3$ and containing two adjacent edges, and let $\ell\ge q$ be fixed. We establish an entropy-transference principle for rainbow-$H$-free edge-colourings of the binomial random graph at the natural scale $p=n^{-1/m_2(H)}$. Below a sufficiently small constant multiple of this scale, almost all host edges may be coloured freely; above a sufficiently large constant multiple, the exponential counting rate is governed exactly by a deterministic template-entropy optimisation on complete graphs. An exact Hall-palette inequality evaluates this rate throughout the universal range $q\le\ell\le(q-1)^{q/(q-2)}$, where the dense-side base is $q-1$, and a robust form yields counting stability below the endpoint. For arbitrary fixed $\ell$, deletion-profile bounds determine the first-order many-colour behaviour and characterise when the $(q-1)$-colour rate persists for every fixed number of colours. This extends the random Gallai-colouring transition from triangles to every fixed non-matching graph and provides a general mechanism for transferring dense template entropy to sparse random hosts.