graph
35150 papers tagged with this keyword
Multicolor Ramsey and list Ramsey numbers for star-like trees
For a graph \(H\), the \(k\)-color Ramsey number \(r(H;k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of \(K_N\) contains a monochromatic copy of \(H\). A \(k\)-list assignment has \(|L(e)|=k\) for every edge. The list Ramsey number \(r_\ell(H;k)\) is the least integer \(N\) for which there exists a \(k\)-list assignment on \(E(K_N)\) such that every coloring from the lists contains a monochromatic copy of \(H\). Let \(K_{1,n}\) be a star, \(S(n,m)\) the double star obtained by joining the centers of \(K_{1,n}\) and \(K_{1,m}\), and \(S_n^m\) the graph obtained from \(K_{1,n}\) by subdividing \(m\) edges once. Alon et al.\ conjectured that \(r_\ell(K_{1,n};k)=r(K_{1,n};k)\) for all \(k,n\ge1\). In this paper, we confirm their conjecture for all \(k\ge1\) and \(n\ge3\) by a unified direct proof. For even \(k\ge4\) and under explicit parameter conditions, we prove that \(r(S(n,m);k)=kn+m+2\) for even \(n\) and \(r(S_n^m;k)=k(n-1)+m+2\) for odd \(n\). For two colors, we establish a general list Ramsey lower bound and determine the common values of Ramsey and list Ramsey numbers for double and subdivided stars in explicit parameter ranges. These results close several gaps in the known bounds.
A proof of the maximum Laplacian energy conjecture for connected graphs via a sharp eigenvalue-sum bound
Let $S_k(G)$ denote the sum of the $k$ largest Laplacian eigenvalues of a connected graph $G$ of order $n$ and size $m$. Write $\mathrm{PA}_{n,ω}$ for the graph obtained from an $ω$-vertex clique by attaching $n-ω$ pendant vertices to one of its vertices, and set \[ M_{n,k}:=\binom{k+1}{2}+n-k-1, \] the number of edges of $\mathrm{PA}_{n,k+1}$. For $n/2<k\le n-2$, we prove the sharp bound \[ S_k(G)\le \frac{2k}{n}m+ \frac{2(n-k)}{n}M_{n,k}-(n-k-1), \] with equality attained by $\mathrm{PA}_{n,k+1}$. This bound is complementary to Brouwer's inequality and is strictly stronger when $m<M_{n,k}$. Combining our bound with Brouwer's inequality, we resolve and strengthen a conjecture of Vinagre, Del-Vecchio, Justo, and Trevisan: for every $n$, the pineapple $\mathrm{PA}_{n,1+\lfloor2n/3\rfloor}$ maximizes the Laplacian energy among all connected graphs of order $n$; moreover, for $n>4$, it is the unique maximizer.
On the maximum number of triangles in tripartite graphs with no $4$-cycles between any two parts
Let $G$ be a $3$-partite graph with $k$ vertices in each part such that the bipartite graph induced by any two parts contains no cycle of length four. Fischer and Matoušek [J. Combin. Theory Ser. A, 2001] asked for the maximum number of triangles in such a graph. They obtained the lower bound $(1-o(1))k^{3/2}$ and the upper bound $k^{7/4}+O(k^{3/2})$. Coulter, Matthews and Timmons [J. Combin. Theory Ser. B, 2018] later constructed such graphs using planar polynomials over finite fields and improved the lower bound to $(1-o(1))k^{5/3}$. In this note, we use a new triple of planar polynomials and further improve the lower bound to $(1-o(1))k^{17/10}$.
Computing and Bounding the Number of Eulerian Orientations for Certain Classes of $4$-Regular Graphs
An Eulerian orientation of a $4$-regular undirected graph (simple or multigraph) $G=(V,E)$ with $n=|V|$ vertices is an assignment of directions to its edges such that every vertex $v \in V$ has the same indegree and outdegree. In the present article, we improve the bounds on the number of Eulerian orientations for certain classes of connected, loopless $4$-regular graphs. The previous bound is due to M. Las Vergnas (1983) and is exactly $9\cdot 2^{n-3}$, which is a sharp bound for a certain family of multigraphs with $n\geq 4$. Here, we show that the number of Eulerian orientations for all biconnected $4$-regular multigraphs is at most $2^n+2$, which is also sharp. We exhibit families of graphs that attain this maximum value. For simple graphs, we prove an upper bound of $\mathcal{O}(3^{n/2})$ in the biconnected case and $\mathcal{O}(6^{n/3})$ for the separable case. Additionally, we provide a divide-and-conquer algorithm that leverages structural properties to compute the exact number of Eulerian orientations for separable graphs without exhaustive enumeration. Finally, we analyze the effect of standard inductive construction operations, used to generate $4$-regular graphs from smaller ones, as shown by F.Bories et.al. (1983) for simple graphs and by G.Ding et.al. (2003) for multigraphs, on the number of Eulerian orientations.
Cyclic Incidence Orderings of Complete Graphs and 3-Uniform Hypergraphs
We study cyclic orderings of all edges of a complete $k$-uniform hypergraph on $n$ vertices in which the binary incidence sequences of the vertices are cyclic shifts of a common word. The shifts are chosen independently, with no prescribed action on the vertices. For $2\leq k<n$, coprimality $\gcd(n,k)=1$ is known to suffice even when consecutive edges must differ by a single vertex exchange. We recall a short orbit construction and prove the converse for the first two nontrivial uniformities without any adjacency requirement. For $k=2$, an ordering exists exactly when $n=2$ or $n$ is odd; for $k=3$, exactly when $n=3$ or $3\nmid n$. The necessity proofs use reflected convolution identities and pair-intersection counts to constrain the vertex shifts to a torsion coset. For triples, multiplicity-preserving dilation and conditional prime-power capacity bounds complete the argument.
Punctured adjacency-degree algebras of Cartesian products
For a connected regular graph G and a vertex a, we study the algebra generated by the adjacency and degree matrices of G-a and its cyclic module P_a generated by the all-ones vector. Our main theorem determines dim P_a for Cartesian products whose factors have equitable distance partitions at the chosen roots. A normalized logarithmic derivative of the local spectral generating function partitions the factors into boundary classes. We identify the boundary-return space exactly and express dim P_a as a sum of affine ranks on additive spectral fibres. For a distance-regular factor with distinct spectrum Θ, this gives dim P_a(F^{\square m}) = |mΘ| - 1. For products of powers of two distinct complete graphs, we evaluate the fibre formula in closed form. We also determine the full punctured algebras of all Hamming graphs: equality with the compressed Terwilliger algebra holds precisely in dimensions at most four for the hypercube and at most two for larger alphabets. For distance-regular graphs, adjacency moments alone determine the intersection array, with an explicit finite reconstruction. Finally, Cartesian stabilizer formulas separate metric loss from orbit splitting; on Doob graphs their distance-graded defect recovers the number of Shrikhande factors.
Positive Square Energy of Graphs with Minimum Degree at Least Two
Let $s^+(G)$ denote the sum of the squares of the positive adjacency eigenvalues of a graph $G$. The square-energy conjecture of Elphick, Farber, Goldberg, and Wocjan, proved by Liu, Tang, and Zhang, gives a lower bound of $n-1$ for any connected graph of order $n$. We strengthen this bound to $s^+(G)\ge n$ for every connected graph $G$ of order $n$ with minimum degree at least two, unless $G$ is a cycle.
Distance statistics of block-weighted planar quadrangulations
We study random planar quadrangulations in which each block -- i.e., each simple (without multiple edges) component -- is assigned a weight $u$. We derive an explicit expression for the distance-dependent two-point function, defined as the generating function of such block-weighted maps with two marked edges at a fixed graph distance. Using contour integral representations in two variables combined with a delicate saddle-point analysis, we compute the associated distance profile in the scaling limit of large quadrangulations. We recover the known phase transition at $u = 9/5$, characterized by distinct scaling exponents and different scaling functions, below, at, and above criticality. We also discuss the block distance profile, where the two marked edges are conditioned to lie within the same block.
All polyhedral graphs with at most 16 vertices are Schurian: a computational verification
Li, Ponomarenko and Zeman state their belief that every polyhedral graph (i.e. every $3$-connected planar graph) is Schurian: that its coherent closure $WL(X)$ coincides with the orbital configuration of $Aut(X)$. Combined with their Theorem 1.1, this would imply that every polyhedral graph has Weisfeiler-Leman dimension at most $2$. We report a computational verification of the Schurian property for all polyhedral graphs with at most $16$ vertices, a total of 413,024,847,068 graphs, none of which is non-Schurian. The computation combines the generator plantri with a one-sided $1$-WL discreteness filter and, for every graph surviving that filter, a full comparison of the stable $2$-WL partition of $Ω^2$ with the orbit partition of $Aut(X)$. The computation is guarded by the published anchor counts, a seeded re-enumeration of the two largest stages, independent nauty cross-checks and control graphs with mathematically fixed verdicts; code, checkpoints and a verification script accompany the note as ancillary files. For $n\le 13$ the result reproduces what already follows from the published enumeration of coherent configurations, by an entirely different route; from $n=14$ on, deriving it from that side would require a step we could not find in the literature, and at $n=16$ the all-graphs statement fails outright - the Shrikhande graph is non-Schurian - so there the polyhedral restriction carries the result. The statement is established by exhaustive computation; with respect to the general conjecture it is instance evidence, not a proof. A companion note treats the torus side, where non-Schurian triangulation graphs do occur at $n = 16$.
Rooted spanning forests in wheel graphs: Fibonacci-Lucas formulas and extremal root configurations
In this paper, we study rooted spanning forests in the wheel graph $W_{N+1}$. For a root set $R$ consisting of rim vertices, we give an explicit formula, in terms of Fibonacci and Lucas numbers, for the number of rooted spanning forests in which each connected component contains exactly one vertex of $R$. When the central vertex is also included in the root set, we obtain a simple product formula involving only Fibonacci numbers.
Furthermore, by using the correspondence between rooted spanning forests and vertex identification, we derive explicit formulas for the number of spanning trees of quotient graphs of wheel graphs obtained by identifying several vertices into one vertex. We then rewrite the obtained formulas combinatorially in terms of the numbers of matchings in path graphs and cycle graphs. In addition, for a fixed number $r$ of rim root vertices, we express the sum of the numbers of rooted spanning forests over all rim root sets of size $r$ as coefficients of generating functions, and we solve the extremal problem for the arrangement of roots.
Random independent sets and local sparsity
We analyze random constructions of independent sets in locally sparse graphs, specifically graphs with bounded maximum average degree in neighborhoods or with fractionally $r$-colorable neighborhoods. Specializing our methods to finding large independent sets and low-weight fractional colorings, we focus on optimizing for marginals, but we also derive results that find many independent sets (i.e.\ give lower bounds on the independence polynomial) by optimizing for entropy. Our main results generalize the local Shearer bound of Martinsson and Steiner for triangle-free graphs to graphs with few triangles and to graphs with fractionally $r$-colorable neighborhoods, in the latter case improving upon a result of Dhawan. We also extend independence polynomial bounds obtained via induction to such graphs, improving upon known bounds obtained by local occupancy by relaxing the necessary hypotheses from a maximum degree condition to an average degree condition.
On the exact quantum chromatic number of generalized Johnson graphs
The quantum chromatic number is a fundamental parameter in the study of nonlocal games, capturing the extent to which entanglement can improve performance in distributed tasks. In this paper, we investigate the quantum chromatic number of generalized Johnson graphs. By constructing modulus-one orthogonal representations, we obtain general upper bounds on their quantum chromatic numbers. We further analyze the smallest eigenvalue of these graphs. Combining the resulting Hoffman-type lower bounds with the upper bounds obtained from orthogonal representations, we determine the exact quantum chromatic numbers of two infinite families of generalized Johnson graphs. Finally, applying a forbidden-distance theorem for binary codes, we show that the classical chromatic numbers of these families grow exponentially with $n$, whereas their quantum chromatic numbers grow linearly. These families exhibit an exponential separation between the classical and quantum chromatic numbers.
Small graphs without power-of-two cycles: a lower bound of 24, a correction to a construction of Exoo, and explicit bounds for f(k)
The Erdos-Gyarfas conjecture states that every graph with minimum degree at least 3 contains a cycle whose length is a power of two. We prove by a SAT-based exhaustive search, certified by DRAT proofs, that every graph with minimum degree at least 3 on at most 23 vertices contains a cycle of length 4 or a cycle of length 8; consequently any counterexample has at least 24 vertices, improving the previously published bound of 16, and the smallest graph of minimum degree 3 with no 4-cycle and no 8-cycle has exactly 24 vertices. We show that the lemma underlying Exoo's 450-vertex construction for the bound f(5) at most 450 is false: the Tutte-Coxeter graph contains 8-cycles alternating between outer and chord edges, and the graph as specified contains 32-cycles. We repair the construction and verify the corrected graph, so the bound stands. We also give an exact window calculus for vertex-replacement constructions, prove that f(k) is at most 15 times the order of the smallest known cubic graph of girth 2 to the power (k-2) plus 1 for all k at least 4 (in particular f(6) is at most 32640, the first bound for f(6)), and show that Exoo's 78-vertex witness for f(4) at most 78 is optimal among gadget designs on bases with at most 12 vertices. All graphs, scripts and certificates are archived at doi:10.5281/zenodo.22180583.
Stability of independence polynomials of spiders
For a graph $G$, let $i_k(G)$ denote the number of independent sets
of cardinality $k$, and let
\[
I(G,z)=\sum_{k\ge0} i_k(G)z^k
\]
be its independence polynomial. Following Brown and Cameron \cite{BrownCameron2018}, a graph is called stable if all zeros
of its independence polynomial lie in the closed left half-plane.
They proved that every star is stable, but also constructed nonstable
trees. They then asked for a characterization of stable trees.
In this paper, we extend and strengthen their result by proving that every spider,
obtained from a star by arbitrary and possibly nonuniform subdivisions
of its edges, has all its independence roots in the open left
half-plane. Hence, every spider is stable.
Spectral properties of the resistance Laplacian with applications to data clustering and anomaly detection
The resistance Laplacian is a graph matrix associated with the effective resistance metric and provides a global counterpart of the classical graph Laplacian. Although it inherits several fundamental properties of the ordinary Laplacian, including a connected graph partitioning theorem analogous to that of Fiedler, its intrinsic spectral structure has remained largely unexplored.
In this paper, we develop a structural theory of the resistance Laplacian. We derive a canonical decomposition that separates its intrinsic, average, and deviation components, thereby revealing how the global geometry induced by effective resistance differs from the local geometry encoded by the ordinary Laplacian. Building upon this decomposition, we establish several structural and spectral properties of the associated deviation operator, obtain variational characterizations of the largest eigenvalue and its corresponding eigenspace, and express the resistance Laplacian in Laplacian coordinates, thereby elucidating the relationship between the eigenspaces of the two operators.
Finally, we formulate resistance-based graph partitioning objectives whose spectral relaxations recover the dominant eigenvector of the resistance Laplacian, providing a variational interpretation of the connected partition theorem. Experimental results on synthetic and real-life datasets demonstrate the effectiveness of the proposed framework for graph partitioning, data clustering, and exploratory anomaly detection.
Albertson's Conjecture for Chromatic Numbers at Most 29
Albertson's conjecture asserts that every finite simple graph $G$ with $χ(G) \ge r$ satisfies $\operatorname{cr}(G) \ge \operatorname{cr}(K_r)$. Building on Cranston's verification for $r \le 24$ and his reduction of $r \in \{25,26\}$ to three residual orders, we eliminate those residual cases and then prove the cases $r=27,28,29$.
The first structural ingredient is a Kempe-chain construction: if a $k$-critical graph has a vertex of degree $k-1$, then it contains a branch-clean essential immersion of $K_k$. Essential immersions are crossing-monotone, so a critical counterexample must have minimum degree at least $k$. For $r=27$, this one-unit degree gain, Gallai's join structure, critical-graph edge bounds, and induced-subgraph averaging close every possible order. For $r=28$ and $r=29$, the remaining near-$2r$ orders are converted to dense complements. Stehlík's coloring theorem makes the odd-order complements factor-critical; a clique-partition obstruction yields an anti-tight matching property; and Tutte barriers, Hall-type expansion, and deficit bookkeeping eliminate the final cases. At order 58 for $r=29$, Rabern's coloring inequality handles the regular case, while the last degree-deficit-two case is reduced to two disjoint triangles and a finite barrier analysis.
On the closed neighborhood ideal of the square of broom and double broom graphs
Classes of squarefree monomial ideals were intensively studied being an important connection between two main areas in mathematics: commutative algebra and combinatorics. Many algebraic invariants of the squarefree monomial ideals are given in terms of properties of the combinatorial associated objects (graphs, simplicial complexes etc.).
The Erdős-Pósa Property for Colorful Minors
A colorful graph relation enhances the minor relation by merging color sets along contractions and by allowing the removal of colors; it generalizes rooted minors and models problems on graphs with several, possibly overlapping, annotated vertex sets. A graph has the Erdős-Pósa property for minors if and only if it is planar, by a classical theorem of Robertson and Seymour. In this work we determine, for the colorful minor relation, exactly which colorful graphs have the Erdős-Pósa property. Our characterization takes three equivalent forms. The first is structural: the colorful graphs with the property are those that can be drawn with all their colored vertices on one face and whose colors are, in a precise sense, laid out along that face without interleaving. The second is given by an obstruction set: they are those excluding every member of an explicit infinite family $\mathcal{O},$ of which only $\mathbf{O}(|I|^{4})$ members have colors that are a subset of $I,$ for every finite set $I$ of colors. The third is grid-like: they are exactly the colorful minors of unions of particular families of segregated grids, the colorful analogues of the grids that drive the classical proof.
$L_2$ Turán Problems for Small Tournaments and Stability
We investigate the $L_2$ Turán problems for various small directed graphs, specifically focusing on self-converse tournaments and stability versions. First, we determine the exact maximum $L_2$ norm squared of the out-degree sequence for digraphs avoiding the transitive tournament $TT_4$ and the strongly connected tournament $R_4$, answering open questions from recent paper. We prove that the complete directed 3-partite Turán graph $T_3(m)$ exactly maximizes the $L_2$ norm squared for $TT_4$-free digraphs. For $R_4$-free digraphs, the maximum is achieved by $T_3(m)$ except when $m \equiv 1 \pmod 3$, where peeling off a terminal sink vertex to form $T_3(m-1) \to v$ strictly increases the objective. We complement these results with exact values and a conjecture for the regular tournament $Reg_5$. Furthermore, we prove a stability version for $\vec{C}_3$-free digraphs: any sequence of digraphs asymptotically achieving the maximum $L_2$ density must have an edit distance of $O(δ^{1/2})m^2$ to the extremal ordered digon-chain $\vec{F}_{m,2}$.
A comparison of the v-number of a monomial ideal and its integral closure
Let $I$ be a monomial ideal in a standard graded polynomial ring and let $\overline{I}$ denote its integral closure. We study the relationship between $\mathrm{v}(I)$ and $\mathrm{v}(\overline{I})$. We prove that $\mathrm{v}(\overline{I}) \leq \mathrm{v}(I)$ for monomial ideals in two variables, for equigenerated monomial ideals in three variables and for several special classes of monomial ideals, while providing examples showing that this inequality does not hold in general. For the edge ideal $I(G)$ of a connected graph $G$, we show that $\mathrm{v}(I(G)^k)=\mathrm{v}(\overline{I(G)^k}) =
2k-1$ for all $k \geq 1+|E(G)|$. Moreover, when $G$ is disconnected, we prove that $\mathrm{v}(\overline{I(G)^k})\leq\mathrm{v}({I(G)^k})$ for all sufficiently large $k$.