graph
34489 papers tagged with this keyword
The Homotopy Types of the Independence and Perfect Matching Complex of Möbius Ladder Graph
The independence complex and the perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining the homotopy types and other topological properties of these complexes is, in general, a difficult problem, and explicit descriptions are known only for relatively restricted classes of graphs, typically possessing substantial combinatorial regularity or symmetry. Although these complexes have been extensively investigated for several families of graphs, including square grid graphs, comparatively little is known for other natural families of highly symmetric graphs.
In this article, we determine the homotopy types of the independence complex and the perfect matching complex of the Möbius ladder graphs $M_{2n}$. Möbius ladder graphs form a natural and highly symmetric family of cubic graphs obtained from a $2n$-cycle by joining pairs of opposite vertices. We prove that the homotopy type of the independence complex $\operatorname{Ind}(M_{2n})$ depends periodically on $n$ modulo $4$: for $n=4k$, it is homotopy equivalent to $\mathbb{S}^{2k-1}$; for $n=4k+2$, it is homotopy equivalent to a wedge of three copies of $\mathbb{S}^{2k}$; and for $n=4k+1$ or $4k+3$, it is homotopy equivalent to $\mathbb{S}^{2k}$. We further determine the homotopy type of the perfect matching complex $\mathcal{M}_p(M_{2n})$. For even $n$, it is homotopy equivalent to a wedge of two copies of $\mathbb{S}^{(n-2)/2}$, while for odd $n$ its homotopy type depends periodically on $n$ modulo $6$. Thus, our results provide explicit descriptions of two fundamental simplicial complexes associated with an important family of highly symmetric cubic graphs.
A Full-Sequence Quantitative Gap Between the Chromatic and Cochromatic Numbers of a Random Graph
Let $ζ(G)$ denote the minimum number of parts in a partition of $V(G)$ in which every part induces either a clique or an independent set. Erdős and Gimbel asked whether, for $G_n\sim G(n,1/2)$, the difference $χ(G_n)-ζ(G_n)$ tends to infinity with high probability. We resolve this problem along the full sequence $n\to\infty$ and prove that $\mathbb P(χ(G_n)-ζ(G_n)\ge ((\log 2)^2/4)\log(200/153)\,n/(\log n)^3)\to1$. This gives a lower bound at the conjectured scale $n/(\log n)^3$. We also obtain a phase-resolved refinement: if $δ_n$ is the fractional part of the standard independence-number center, then the coefficient may be replaced by $(\log 2)^2A_4(δ_n)/4-o(1)$, where $A_4$ is explicit, continuous, nonconstant, and satisfies $A_4(δ)>\log(200/153)$ for every $δ\in[0,1]$. The proof uses signed cocoloring profiles supported on four consecutive class sizes and remains uniform across jumps of the natural class-size cutoff. An exact signed-overlap identity separates local cell rewards from a binary cycle-space factor. A canonical decomposition into high cells and a capped residual matching, together with an endpoint-table comparison and an injective restriction of residual even edge sets, yields the required second-moment bound. A bounded-differences argument then amplifies the resulting rare signed witness to a high-probability cocoloring.
Cycle-Structure Generating Functions for Special Breakpoint Graphs
Breakpoint graphs originate in comparative genomics, where their alternating cycles encode relationships between genomes. We study a constrained class of three-colored breakpoint graphs associated with permutations and develop cycle-refined generating functions for two extremal families. These families have a natural topological interpretation: their canonical surfaces are, respectively, the sphere and the projective plane. The spherical family is characterized by noncrossing configurations, while the projective-plane family admits a different decomposition involving a distinguished family of Möbius ladders.
The resulting generating-function equations retain the full cycle structure but nevertheless admit substantial reductions. This leads to explicit Catalan-weighted evaluations, polynomiality results for refined cycle statistics, and a connection between a natural diagonal specialization and noncrossing trees. The two topological families exhibit markedly different combinatorial mechanisms, providing complementary examples of how local transformations of breakpoint graphs can control refined permutation enumerations.
As a further application, the same Catalan-weighted sums arise in asymptotic unitary-Weingarten expansions for entanglement of random Gaussian states in linear optics. The combinatorial results determine the leading and constant-order moment polynomials entering the Rényi entropy expansion, with the projective-plane contribution giving the finite-size constant correction.
On the structure of graphs with given odd girth and large algebraic connectivity
A classical result of Andrásfai, Erdős, and Sós states that every $n$-vertex graph with odd girth at least $2k+1$ and minimum degree larger than $\frac{2n}{2k+1}$ is bipartite. Rather than imposing a minimum-degree condition, in this paper we investigate conditions on algebraic connectivity that force graphs of given odd girth to have a simple structure. The algebraic connectivity of a graph $G$, denoted by $μ_2(G)$, is the second smallest eigenvalue of its Laplacian matrix. Our main results are as follows.
1. Every $n$-vertex triangle-free graph $G$ with $μ_2(G)\geq \frac{n}{3}$ is bipartite. Moreover, the constant $\frac{1}{3}$ is asymptotically best possible.
2. For $k\geq 3$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{4n}{6k-1}$ is bipartite.
3. For $k\geq 22$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{3456n}{k^3}$ is bipartite. Moreover, the term $k^{-3}$ is asymptotically best possible.
Exponential random graph models with soft clique constraints
Let $r\geq3$ be fixed, and let $\mathbf{G}_n$ be the set of all simple graphs with vertex set $[n]=\{1,\ldots,n\}$. We consider an exponential random graph model which gives higher probability to $G \in \mathbf{G}_n$ than to $H \in \mathbf{G}_n$ if $G$ has fewer $r$-cliques than $H$. But all graphs in $\mathbf{G}_n$ have positive probability. The degree to which graphs with fewer $r$-cliques are given higher probability is determined by a positive weight $w$. We prove that, asymptotically almost surely as $n \to \infty$, a random graph from $\mathbf{G}_n$ has a vertex partition into $r-1$ parts of roughly equal size, the density of edges between the parts is close to $1/2$, and for every $\varepsilon > 0$ the density of edges within any part is less than $\varepsilon$. The asymptotic structural properties are independent of the weight $w$ as long as it is positive. We also extend the result to the context of several clique sizes, each one with its own weight.
The Cayley Completion of a Graph
A finite connected graph is rarely a Cayley graph. We measure how far it is from being one: given $G$ with $n$ vertices and $m$ edges, how few edges must be added, or added and deleted, before the result is a Cayley graph of an abelian group of order $n$ on the same vertex set? This defines two invariants, the completion number $γ^{+}$ (additions only) and the Cayley edit distance $γ_{\triangle}$ (both), each normalized by $m$. We show that deciding the edit version is NP-complete already for a fixed cyclic host, by a reduction from Hamiltonian Cycle in which the edit cost of a labeling is $n+m-2k$ when it realizes a longest path with $k$ edges; the optimal cost is $m-n+2pp(G)$, bounded in polynomial time by the matching number. We prove that irregularity alone forces $γ^{+}(G)\ge nΔ^{*}/(2m)-1$, where $Δ^{*}$ is the least $d\geΔ$ with $nd$ even, computable in linear time from the degree sequence; we characterize equality exactly. It is attained on the star, where $γ^{+}(K_{1,q})=(q-1)/2$ and the star maximizes $γ^{+}$, while $γ_{\triangle}$ stays bounded by an absolute constant. We determine paths and grids exactly, $γ^{+}(P_n)=γ^{+}(P_n\,\square\,P_n)=1/(n-1)$, and show $γ_{\triangle}(K_{1,q})\to 2$, not the $3/2$ suggested by the additive case. We report an exhaustive certified census of all $995$ connected graphs on at most seven vertices. The degree bound is attained on $89.4\%$ and the two invariants separate strictly on $84.7\%$, though both rates vary sharply with order: attainment $100\%,100\%,84.8\%,89.7\%$ and separation $0\%,61.9\%,73.2\%,87.7\%$ for $n=4,5,6,7$, dominated by the $853$ graphs on seven vertices. The star uniquely maximizes both. Edit count and the bi-Lipschitz distortion of the completed host are independent, moving oppositely on stars and paths.Data and certificates at doi:10.5281/zenodo.21852006.
Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
We give the first polynomial-time algorithm, after half a century, for the celebrated Győri-Lovász theorem, which resolved a conjecture of Frank (1975). The theorem, one of the simplest existential theorems to explain, states that every $k$-connected graph can be partitioned into $k$ disjoint connected subgraphs of arbitrary prescribed positive sizes. This is a fundamental structural result with broad applications, such as flexible allocation of connected subnetworks of prescribed sizes in sufficiently connected cloud infrastructures.
While Lovász (1977) gave a highly non-constructive proof for a stronger directed version using algebraic topology, Győri's original constructive proof (1976) requires exponential time. Despite more than 50 years of effort, no polynomial-time algorithm was known even for $k>4$. Determining the computational complexity of the Győri-Lovász theorem---whether it admits even a sub-exponential-time algorithm or is computationally hard (in particular, PLS-complete or PPAD)---has remained one of the central open problems in algorithmic graph theory.
In this paper, we finally resolve this long-standing problem by a fundamentally new proof of the existential theorem via introducing the novel concept of \emph{flow-essential assignment}, which genuinely marries matching and cut structures and yields the first polynomial-time constructive algorithm for the Győri-Lovász theorem. In fact, we obtain a polynomial-time algorithm for Lovász's stronger directed version, whose proof was non-constructive even for DAGs; for DAGs, we further obtain a near-linear-time algorithm. We also develop polynomial-time algorithms for weighted generalizations where the seminal work of Chen, Kleinberg, Lovász, Rajaraman, Sundaram, and Vetta (JACM'07) on confluent flows established only existential non-constructive results.
The toughness of random graphs
For a connected and non-complete graph $G$ of order $n$, its toughness is defined as \[
τ(G)=\min\bigl\{|S|/c(G-S):S\subseteq V(G),\ c(G-S)>1\bigr\}, \] where $c(G-S)$ denotes the number of components of $G-S$. Let $α(G)$ denote the independence number of $G$. An elementary bound on toughness is $$τ(G)\leq\frac{n-α(G)}{α(G)}.$$
Let $G(n,p)$ be the binomial random graph on vertex set $[n]$. Set $a=α(G(n,p))$. In this paper, we prove that \[
τ(G(n,p))=\frac{n-a}{a}+o(1) \] with high probability. Moreover, we show that there is a sequence $n_m\to\infty$ such that with high probability, \[
τ(G(n_{m},p))
\le\frac{n_{m}-a}a-\frac{1}{a}. \]
Properties of the $\mathcal V$-Monoid of Weighted Leavitt Path Algebras
For a row-finite weighted graph $(E,w)$, Preusser showed that the monoid $\mathcal{V}(L_k(E,w))$ of finitely generated projective modules over the weighted Leavitt path algebra $L_k(E,w)$ is isomorphic to a combinatorially defined weighted graph monoid $\mathcal{M}(E,w)$. We study two structural properties of $\mathcal{M}(E,w)$: confluence and cancellativity. We introduce a reduction system on the free commutative monoid presenting $\mathcal{M}(E,w)$, obtain sufficient conditions for non-confluence by constructing explicit non-confluent triples, and provide a complete confluence characterization for certain classes of weighted graphs. Turning to cancellativity, we work within Preusser's class of weighted graphs satisfying Condition (LPA), for which $L_k(E,w)$ is isomorphic to an unweighted Leavitt path algebra $L_k(F)$ via a two-step construction. We introduce an auxiliary graph associated to the intermediate step of this construction and use it to give a graph-theoretic characterization of when $\mathcal{M}(E,w)$ is cancellative. Finally, under Condition (LPA), we show that Preusser's construction upgrades to a graded isomorphism $L_k(E,w) \cong_{\operatorname{gr}} L_k(F)$ with respect to the standard $\mathbb{Z}^{λ(E,w)}$-grading of weighted Leavitt path algebras, yielding $\mathcal{V}^{\operatorname{gr}}(L_k(E,w)) \cong \mathcal{V}^{\operatorname{gr}}(L_k(F))$ as $\mathbb{Z}^{λ(E,w)}$-monoids.
Colorful Exponential Random Graph Models
In this paper, we initiate the study of colored exponential random graph models (ERGMs), a class of exponential-family models for networks with multiple types of edge relations. Using the framework of probability graphons, we first derive a variational representation for the limiting free energy, whose maximizers determine the asymptotic structure of typical samples from the model. Then we identify several general families of colored ERGMs exhibiting replica symmetry, where the variational problem has constant maximizers and the model asymptotically concentrates on product colorings with independent edges. For general colored ERGMs, we derive Euler-Lagrange fixed-point equations for the variational maximizers, which in turn yield a general high-temperature uniqueness criterion. In the complementary zero-temperature regime, we establish a two-level selection principle: the leading energy term determines the ground states, while the lower-order energy terms, combined with entropy, act as a tie-breaker to determine the asymptotic zero-temperature structure of the model. We illustrate this principle through the induced wedge and rainbow triangle ERGMs. Both models have natural interpretations in multitype networks, and their zero-temperature limits exhibit interesting structures that connect to well-known results in extremal combinatorics. We further establish finite-temperature symmetry breaking for both these models and complement the rigorous results with numerical experiments.
Energy Maximisation for Integral Circulant Graphs with Opposite-Parity Exponents
For a finite graph, its energy is the sum of the absolute values of its adjacency eigenvalues. Let p and q be distinct odd primes with q at least 5, and let r be at least 1 and s be nonnegative. We determine the maximum energy among all integral circulant graphs whose order is p to the power 2r times q to the power 2s plus 1. The unique energy-maximising divisor set is the checkerboard set consisting of all divisors p raised to the power i times q raised to the power j, where i ranges from zero to 2r, j ranges from zero to 2s plus 1, and i plus j is even, and we obtain an explicit closed formula for the corresponding maximum energy. In particular, for q at least 5, when r and s are both equal to 1, our theorem establishes the conjectured maximality of Roldan's checkerboard divisor set and recovers his closed-form energy formula. The main ingredient is a semidefinite parity theorem for weighted prime-power Ramanujan transforms, proved by a parity-independent congruence reduction and a block Schur recurrence. Centring the divisor matrix then yields a sharp sign-matrix inequality from semidefinite bounds for a Kronecker-product operator. Analysing equality identifies the checkerboard pattern and proves uniqueness.
Anti-Ramsey Number for Suspension of Edge-Critical Graphs
An edge-colored graph is called a rainbow graph if all its edges have distinct colors. The \textit{anti-Ramsey number}, denoted by $\ar(n,F),$ for a fixed graph $F$ and a positive integer $n$, is the maximum number of colors used in an edge-coloring of the complete graph $K_n$ that contains no rainbow copy of $F$. Meanwhile, the \textit{Turán number}, denoted by $\ex(n,F),$ for graph $F$ and $n$, is the maximum number of edges in an $n$-vertex graph that does not contain $F$ as a subgraph. For a vertex $v$ and a multiset $\mathcal{H}$ of graphs, the \textit{suspension} $\mathcal{H} + v$ of $\mathcal{H}$ is the graph obtained by connecting the vertex $v$ to all vertices of $H$ for each $H \in \mathcal{H}$. Let integers $k\ge 1$ and $r\ge 2$ be fixed, and suppose that $\mathcal{H}_{k+1}=\{H_1, H_2, \ldots, H_{k+1}\}+v$ satisfying $H_1, H_2, \ldots, H_{k+1}$ are pairwise vertex-disjoint edge-critical graphs, and $χ(H_i)=r$ for $i=1,2,\ldots, k+1$.In this paper, we determine $
\ar(n,\mathcal{H}_{k+1}) $
for $k\ge 1$, $r\ge 2$ and sufficiently large $n$. This result unifies and generalizes a result of Liu et al. (arXiv:2411.08475) concerning the friendship graph, and a result of Lu et al. (arXiv:2507.13165) on the intersecting cliques.
FirstFit online coloring in the random order model
The average performance of FirstFit online coloring on trees in the random order model is completely determined in recent works of Frei et al. and Bosek et al., showing $Θ(\log n /\log\log n)$ number of colors, improving the $Θ(\log n)$ colors in the adversarial model. We provide a few further results on slightly more general graph classes. Firstly, we extend their method to obtain a simple path-counting principle for sparse graph classes, which immediately yields for example that cactus graphs and uniform hypertrees exhibit a similar improvement. We then show that FirstFit uses only $O(1)$ colors on crown graphs, a standard example where adversarial arrival forces $Θ(n)$ colors. We further show that density alone (even linear minimum degree) is insufficient to guarantee $O(1)$ colors even on bipartite graphs. Finally, we identify graph classes, including unit interval graphs and some graphs of high chromatic number, for which random arrival provides only limited improvement. We end with some open problems.
Fair Division of Graphs: Beyond Traceability
In this paper, we study fair division problems in which resources are structured as graphs and agents must receive connected bundles. This connectivity requirement fundamentally alters the problem, making it significantly more challenging than its classical counterpart. We focus on the fairness notion of $\mathrm{EF1}_{\mathrm{outer}}$, where envy can be eliminated by removing at most one vertex whose deletion does not disconnect the bundle -- a critical constraint for applications such as land division and network allocation.
Our first result extends prior work by establishing the existence of $\mathrm{EF1}_{\mathrm{outer}}$ allocations for an infinite family of non-traceable graphs (that is, graphs that do not admit a Hamiltonian path), answering a central open question and generalizing Bilò et al.'s result for traceable graphs. We then make progress on a conjecture concerning the $\mathrm{EF1}_{\mathrm{outer}}$ spectrum of trees due to Chen and Zwicker. Finally, we complement our structural results with algorithmic insights, showing that deciding the existence of an $\mathrm{EF1}_{\mathrm{outer}}$ allocation is NP-complete even for binary additive valuations, thereby resolving an open complexity question. Taken together, our results deepen the connection between graph theory and fair division, and offer new tools for studying fairness in structured resource environments.
Recovering Laplacian Lattices from $L$-Functions of Graphs
We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that Lorenzini's zeta function is invariant under contraction of bridges, explaining the necessity of the bridge-free hypothesis in the main theorem. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determine the Laplacian lattice.
Equivariant Analytic Spectral Invariants of Açıkmeşe Lifts of Graphs with Self-Loops
We introduce and study equivariant analytic spectral invariants associated with the Açıkmeşe lift of a graph with self-loops $G_S$. The canonical $\mathbb{Z}_2$-action yields an orthogonal isotypic decomposition of the lifted Laplacian into the anti-symmetric part $\mathcal{L}(G_S)$ and the symmetric part $M_{sym}$, from which we prove that the spectrum of $\mathcal{L}(G_S)$ is exactly the even-indexed spectrum of the lifted Laplacian. We express twisted moments of these blocks as traces of the generalised twisted moment operator against the corresponding $\mathbb{Z}_2$-projections, and obtain a tight upper bound under certain restriction with a characterization of the equality case. We introduce the equivariant heat character and establish a trace-norm stability estimate. For the matrix element of the resolvent $(pI+\mathcal{L}(G_S))^{-1}$ associated with the loop vector, we derive a Laplace-transform identity for the equivariant heat character, a determinant formula, a spectral representation, and a Laurent expansion. We further characterize the case where $S$ is a union of connected components through resolvent and equivariant heat-character identities, and obtain explicit equivariant heat characters for joins of full-loop graphs and the line graph of a full-loop connected regular graph. Finally, we introduce the regularized equivariant heat integral and derive spectral and trace formulas for it.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
Generalized Spectral Closedness and the Nonexistence of Walk-Realizable Supporters for Split Graphs
Let $\mathcal F=\{2K_2,C_4,C_5\}$, so that $\operatorname{Forb}(\mathcal F)$ is the class of split graphs. Resolving a conjecture of Wang and Tang, we prove that the class of split graphs is generalized spectrally closed and that it admits no walk-realizable $\mathcal F$-supporter of any finite order.
Proper Conflict-Free Choosability for Graphs with Bounded Average Degree
For a graph $G$, a proper coloring of $G$ is called proper conflict-free if for every non-isolated vertex $u$, there is at least one color appearing exactly once in $N_G(u)$. A graph $G$ is proper conflict-free $f$-choosable if for every list assignment $L$ with $|L(v)|\ge f(v)$ for each vertex $v$, $G$ admits a proper conflict-free $L$-coloring.
Recently, Kashima, Škrekovski, and Xu proposed a conjecture on proper conflict-free list coloring. For a graph $G$, let $κ_G:V(G)\to \mathbb{N}$ be defined by \[ κ_G(v)= \begin{cases} 4, & \text{if } d_G(v)=2,\\[4pt] d_G(v)+1, & \text{if } d_G(v)\neq 2. \end{cases} \] They conjectured that every connected graph other than $C_5$ is proper conflict-free $κ_G$-choosable.
In this paper, we confirm this conjecture in two classes of graphs with bounded average degree, thereby generalizing results of Kashima, Škrekovski, and Xu and of Wang and Zhang. We prove that every connected graph $G\neq C_5$ with either $\operatorname{mad}(G)<\frac{12}{5}$ or $Δ(G)\le3$ is proper conflict-free $κ_G$-choosable. To prove these results, we introduce a method based on systems of proper conflict-free representatives and develop a construction of auxiliary graphs that preserves the maximum average degree bound.
It's Hard to PArcK
We show that Partizan Arc Kayles (PArcK), a generalization of Domineering to graphs, is PSPACE-complete via a reduction from Positive CNF and with recently-discovered techniques for creating PArcK positions with high temperature. The reduction uses only red and blue edges.