graph
34516 papers tagged with this keyword
Putting Tutte's counterexample to Tait's conjecture in perspective to hamiltonicity and non-hamiltonicity in certain planar cubic graphs
Using the graphs of prisms and Tutte Fragments, we construct an infinite family of hamiltonian and non-hamiltonian graphs in which Tutte's counterexample to Tait's conjecture appears in a certain sense as a minimal element. We observe that generalizations of the minimum-cardinality counterexamples of Holton and McKay to Tait's conjecture are as well contained in this family.
Isolation of non-triangle cycles in graphs
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $ι(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors proved that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not a copy of one of nine graphs. Various authors proved that $ι(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $ι(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ is triangle-free. Our result yields the inequality $ι(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.
Uniform mixing in continuous-time quantum walks on oriented, nonabelian Cayley graphs
A family of oriented, normal, nonabelian Cayley graphs is presented, whose continuous-time quantum walks exhibit uniform mixing.
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles II: Vertex and Edge Deletion Numbers
We consider the problem of finding a Hamiltonian path or cycle with precedence constraints in the form of a partial order on the vertex set. We study the complexity for graph width parameters for which the ordinary problems $\mathsf{Hamiltonian\ Path}$ and $\mathsf{Hamiltonian\ Cycle}$ are in $\mathsf{FPT}$. In particular, we focus on parameters that describe how many vertices and edges have to be deleted to become a member of a certain graph class. We show that the problems are $\mathsf{W[1]}$-hard for such restricted cases as vertex distance to path and vertex distance to clique. We complement these results by showing that the problems can be solved in $\mathsf{XP}$ time for vertex distance to outerplanar and vertex distance to block. Furthermore, we present some $\mathsf{FPT}$ algorithms, e.g., for edge distance to block. Additionally, we prove para-$\mathsf{NP}$-hardness when considered with the edge clique cover number.
Remoteness, order, size and connectivity constraints in digraphs
Let \( D \) be a strongly connected digraph. The average distance of a vertex \( v \) in \( D \) is defined as the arithmetic mean of the distances from \( v \) to all other vertices in \( D \). The remoteness \( ρ(D) \) of \( D \) is the maximum of the average distances of the vertices in \( D \).
In this paper, we provide a sharp upper bound on the remoteness of a strong digraph with given order, size, and vertex-connectivity. We then characterise the extremal digraphs that maximise remoteness among all strong digraphs of order \(n\), size at least \(m\), and vertex-connectivity \(κ\). Finally, we demonstrate that the upper bounds on the remoteness of a graph given its order, size, and connectivity constraints (see \cite{DanMafMal2025}) can be extended to a larger class of digraphs containing all graphs, the Eulerian digraphs.
On defining Kemeny's constant for non-backtracking random walks
We propose two possible definitions for a version of Kemeny's constant of a graph based on non-backtracking random walks (in place of the usual simple random walk). We show that these two definitions coincide for edge-transitive graphs, and give a condition generalizing edge-transitive for which equality holds, and investigate by how much they can differ in general. We compute our non-backtracking Kemeny's constant for several families of graphs.
Spectral gap of $G(n, αn, α^2 n)$ graphs and the giant component theorem
The spectrum of a graph $G$ is the set of the eigenvalues of its adjacency matrix. It turns out that one can say a lot about a graph with the only knowledge being the spectrum of this graph. In this paper we obtain new results about the spectrum of $G(n, αn, α^2 n)$ graphs. We then apply these results to get a giant component theorem for them.
Grobner bases for determinantal facet ideals of simplicial complexes
We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and determinantal ideals, we introduce two new classes of simplicial complexes-strong closed and poor closed-that generalize the notion of closedness in higher dimensions. Our main theorem offers a unified framework that recovers and refines several known results, including those for unit interval graphs and determinantal ideals of complete graphs. In particular, we correct and generalize prior characterizations of Grobner bases for determinantal facet ideals, establishing radicality for strong closed complexes and providing a new proof for the Grobner basis of maximal minors.
Cop number of partial cubes
The game of Cops and Robbers on graphs is a well-studied pursuit--evasion model whose central parameter, the cop number, captures the minimum number of pursuers required to guarantee capture of an adversary on a given graph. While the cop number has been determined for many classical graph families, relatively little is known about the important class of partial cubes, i.e., isometric subgraphs of hypercubes.
In this paper, we establish a lower bound for the cop number of partial cubes and present an upper bound on a subclass of partial cubes. Additionally, we improve these bounds for a particular family of partial cubes: Fibonacci cubes. These graphs are defined as induced subgraphs of hypercubes obtained by forbidding consecutive ones in binary strings. Beyond their natural combinatorial interest, Fibonacci cubes have connections to chemical graph theory, where they serve as models for resonance graphs of certain classes of polycyclic aromatic hydrocarbons.
Extending Ghouila-Houri's Characterization of Comparability Graphs to Temporal Graphs
An orientation of a given static graph is called transitive if for any three vertices $a,b,c$, the presence of arcs $(a,b)$ and $(b,c)$ forces the presence of the arc $(a,c)$. If only the presence of an arc between $a$ and $c$ is required, but its orientation is unconstrained, the orientation is called quasi-transitive. A fundamental result presented by Ghouila-Houri guarantees that any static graph admitting a quasi-transitive orientation also admits a transitive orientation. In a seminal work, Mertzios et al. introduced the notion of temporal transitivity in order to model information flows in simple temporal networks. We revisit the model introduced by Mertzios et al. and propose an analogous to Ghouila-Houri's characterization for the temporal scenario. We present a structure theorem that will allow us to express by a 2-SAT formula all the constraints imposed by temporal transitive orientations. The latter produces an efficient recognition algorithm for graphs admitting such orientations. Additionally, we extend the temporal transitivity model to temporal graphs having multiple time-labels associated to their edges and claim that the previous results hold in the multilabel setting. Finally, we propose a characterization of temporal comparability graphs via forbidden temporal ordered patterns.
Toughness in regular graphs from eigenvalues
The {\it toughness} $τ(G)=\mathrm{min}\{\frac{|S|}{c(G-S)}: S~\mbox{is a vertex cut in}~G\}$ for $G\ncong K_n,$ which was initially proposed by Chvátal in 1973. A graph $G$ is called {\it $t$-tough} if $τ(G)\geq t.$ Let $λ_i(G)$ be the $i$-th largest eigenvalue of the adjacency matrix of a graph $G$. In 1996, Brouwer conjectured that $τ(G)\geq\frac{d}λ-1$ for a connected $d$-regular graph $G,$ where $λ=\mathrm{max}\{|λ_2|, |λ_n|\}.$ Gu [SIAM J. Discrete Math. 35 (2021) 948-952] completely confirmed this conjecture. From Brouwer and Gu's result $τ(G)\geq\frac{d}λ-1,$ we know that if $G$ is a connected $d$-regular graph and $λ\leq\frac{bd}{b+1}$, then $τ(G)\geq\frac{1}{b}$ for an integer $b\geq1.$ Inspired by the above result and utilizing typical spectral techniques and graph construction methods from Cioabă et al. [J. Combin. Theory Ser. B 99 (2009) 287-297], we prove that if $G$ is a connected $d$-regular graph and $λ_2(G)<φ(d,b)$, then $τ(G)\geq\frac{1}{b}$. Meanwhile, we construct graphs implying that the upper bound on $λ_2(G)$ is best possible. Our theorem strengthens the result of Chen et al. [Discrete Math. 348 (2025) 114404]. Finally, we also prove an upper bound of $λ_{b+1}(G)$ to guarantee a connected $d$-regular graph to be $\frac{1}{b}$-tough.
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
The binomial notation (w u) represents the number of occurrences of the word u as a (scattered) subword in w. We first introduce and study possible uses of a geometrical interpretation of (w ab) and (w ba) when a and b are distinct letters. We then study the structure of the 2-binomial equivalence class of a binary word w (two words are 2-binomially equivalent if they have the same binomial coefficients, that is, the same numbers of occurrences, for each word of length at most 2). Especially we prove the existence of an isomorphism between the graph of the 2-binomial equivalence class of w with respect to a particular rewriting rule and the lattice of partitions of the integer (w ab) with (w a) parts and greatest part bounded by (w b). Finally we study binary fair words, the words over {a, b} having the same numbers of occurrences of ab and ba as subwords ((w ab) = (w ba)). In particular, we prove a recent conjecture related to a special case of the least square approximation.
Diffusion Codes: Self-Correction from Small(er)-Set Expansion with Tunable Non-locality
Optimal constructions of classical LDPC codes can be obtained by choosing the Tanner graph uniformly at random among biregular graphs. We introduce a class of codes that we call ``diffusion codes'', defined by placing each edge connecting bits and checks on some graph, and acting on that graph with a random SWAP network. By tuning the depth of the SWAP network, we can tune a tradeoff between the amount of randomness -- and hence the optimality of code parameters -- and locality with respect to the underlying graph. For diffusion codes defined on the cycle graph, if the SWAP network has depth $\sim Tn$ with $T> n^{2β}$ for arbitrary $β>0$, then we prove that almost surely the Tanner graph is a lossless ``smaller set'' vertex expander for small sets up size $δ\sim \sqrt T \sim n^β$, with bounded bit and check degree. At the same time, the geometric size of the largest stabilizer is bounded by $\sqrt T$ in graph distance. We argue, based on physical intuition, that this result should hold more generally on arbitrary graphs. By taking hypergraph products of these classical codes we obtain quantum LDPC codes defined on the torus with smaller-set boundary and co-boundary expansion and the same expansion/locality tradeoffs as for the classical codes. These codes are self-correcting and admit single-shot decoding, while having the geometric size of the stabilizer growing as an arbitrarily small power law. Our proof technique establishes mixing of a random SWAP network on small subsystems at times scaling with only the subsystem size, which may be of independent interest.
A quantum N-dimer model
We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.
Multiplexons: Limits of Multiplex Networks
In a multiplex network, a set of nodes is connected by different types of interactions, each represented as a separate layer within the network. Multiplexes have emerged as a key instrument for modeling large-scale complex systems, due to the widespread coexistence of diverse interactions in social, industrial, and biological domains. This motivates the development of a rigorous and readily applicable framework for studying properties of large multiplex networks. In this article, we provide a self-contained introduction to the limit theory of dense multiplex networks, analogous to the theory of graphons (limit theory of dense graphs). As applications, we derive limiting analogues of commonly used multiplex features, such as degree distributions and clustering coefficients. We also present a range of illustrative examples, including correlated versions of Erdős-Rényi and inhomogeneous random graph models and dynamic networks. Finally, we discuss how multiplex networks fit within the broader framework of decorated graphs, and how the convergence results can be recovered from the limit theory of decorated graphs. Several future directions are outlined for further developing the multiplex limit theory.
On the irreducibility and monodromy of Tutte polynomials
We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{ü}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{ü}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.
Divisible subdivisions of graphs in subdivisions of complete graphs
Let $\mathbb{Z}_q$ denote the cyclic group of order $q$. A $\mathbb{Z}_q$-edge-weighted $K_f$ is the complete graph $K_f$ equipped with a weight function $ω: E(K_f) \to \mathbb{Z}_q$. A subdivision of a graph $H$ in a $\mathbb{Z}_q$-edge-weighted $K_f$ is called a $q$-divisible subdivision of $H$ if every subdivision path has weight congruent to zero modulo $q$. Let $q\ge 2$ be an integer and let $H$ be a graph with $n$ vertices and $m$ edges. Define $s_q(H)$ to be the smallest number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_{f}$ contains a $q$-divisible subdivision of $H$. Das, Draganić, and Steiner raised the following question (Problem 4.1 in [Tight bounds for divisible subdivisions, J. Combin. Theory, Ser. B 165 (2024) 1-19]): Given $q\in\mathbb{N}$ and a subcubic graph $H$ with $n$ vertices and $m$ edges, is it true $s_q(H)= m(q - 1) + n$? They also established the upper bound $s_q(H)\le 7mq+8n+14q$ for such a graph $H$. In this paper, we improve this bound by showing that $s_q(H)\le (2q - 1)m + 2n - 1 + 4q$, and establishing a sharper bound $s_p(H)\le \frac{3p - 1}{2}m - \frac{p - 1}{2}n + \frac{p + 1}{2}$ for prime $p$ and connected $H$. We resolve this problem in the case $q=2$ by proving that $s_2(H) = m + n$ for any 5-degenerate graph $H$, and in the case $q\ge 2$ and $T$ being a tree, by showing that $s_q(T) = nq - q + 1$. Let $s_q(H,t)$ be the minimum number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_f$ contains a $q$-divisible $t$-subdivision of $H$, where a $t$-subdivision of $H$ is a subdivision of $H$ such that each edge of $H$ is subdivided exactly $t$ times. We also prove that $s_2(H,1)= m + n$, where $H$ is a tree or a cycle on $n$ vertices with $m$ edges.
Fractionally colouring $P_5$-free graphs
We obtain some $d\ge2$ such that every graph $G$ with no induced copy of the five-vertex path $P_5$ has at most $α(G)ω(G)^d$ vertices. This ``off-diagonal Ramsey'' statement implies that every such graph $G$ has fractional chromatic number at most $ω(G)^d$, and is another step towards the polynomial Gyárfás-Sumner conjecture for $P_5$. The proof uses the recent Erdős-Hajnal result for $P_5$ and adapts a decomposition argument for $P_5$-free graphs developed by the author in an earlier paper.
Möbius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
We generalize the concept of Möbius inversion and Shapley values to directed acyclic multigraphs and weighted versions thereof. We further allow value functions (games) and thus their Möbius transforms (synergy function) and Shapley values to have values in any abelian group that is a module over a ring that contains the graph weights, e.g. vector-valued functions. To achieve this and overcome the obstruction that the classical axioms (linearity, efficiency, null player, symmetry) are not strong enough to uniquely determine Shapley values in this more general setting, we analyze Shapley values from two novel points of view: 1) We introduce projection operators that allow us to interpret Shapley values as the recursive projection and re-attribution of higher-order synergies to lower-order ones; 2) we propose a strengthening of the null player axiom and a localized symmetry axiom, namely the weak elements and flat hierarchy axioms. The former allows us to remove coalitions with vanishing synergy while preserving the rest of the hierarchical structure. The latter treats player-coalition bonds uniformly in the corner case of hierarchically flat graphs. Together with linearity these axioms already imply a unique explicit formula for the Shapley values, as well as classical properties like efficiency, null player, symmetry, and novel ones like the projection property. This whole framework then specializes to finite inclusion algebras, lattices, partial orders and mereologies, and also recovers certain previously known cases as corner cases, and presents others from a new perspective. The admission of general weighted directed acyclic multigraph structured hierarchies and vector-valued functions and Shapley values opens up the possibility for new analytic tools and application areas, like machine learning, language processing, explainable artificial intelligence, and many more.
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
We study the parameterized complexity of maximum temporal connected components (tccs) in temporal graphs, i.e., graphs that deterministically change over time. In a tcc, any pair of vertices must be able to reach each other via a time-respecting path. We consider both problems of maximum open tccs (openTCC), which allow temporal paths through vertices outside the component, and closed tccs (closedTCC) which require at least one temporal path entirely within the component for every pair. We focus on the structural parameter of treewidth, tw, and the recently introduced temporal parameter of temporal path number, tpn, which is the minimum number of paths needed to fully describe a temporal graph. We prove that these parameters on their own are not sufficient for fixed parameter tractability: both openTCC and closedTCC are NP-hard even when tw=9, and closedTCC is NP-hard when tpn=6. In contrast, we prove that openTCC is in XP when parameterized by tpn. On the positive side, we show that both problem become fixed parameter tractable under various combinations of structural and temporal parameters that include, tw plus tpn, tw plus the lifetime of the graph, and tw plus the maximum temporal degree.