graph
34516 papers tagged with this keyword
Minor-excluded graphs and soficity
A random rooted graph is said to be sofic if it is the Benjamini-Schramm limit of a sequence of finite graphs. Given any finite graph $H$, we prove that every one-ended, unimodular random rooted graph that does not have H as a minor must be sofic. The hypothesis regarding the number of ends can be dropped under the additional assumption that the graph is quasi-transitive.
Parameterized complexity of isometric path partition: treewidth and diameter
We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that graph problems that are expressible as MSO formulas of constant size admit FPT algorithms parameterized by the treewidth of the input graph. This encompasses many natural graph problems. However, many metric-based graph problems, where the solution is defined using some metric-based property of the graph (often the distance) are not expressible as MSO formulas of constant size. These types of problems, Isometric Path Partition being one of them, require individual attention and often draw the boundary for the success story of parameterization by treewidth.
We prove that Isometric Path Partition is $W[1]$-hard when parameterized by treewidth (in fact, even pathwidth), answering the question by Dumas et al. [SIDMA, 2024], Fernau et al. [CIAC, 2023], and confirming the aforementioned tendency. We complement this hardness result by designing a tailored dynamic programming algorithm running in $n^{O(\mathrm{tw})}$ time. This dynamic programming approach also results in an algorithm running in time $\textrm{diam}^{O(\mathrm{tw}^2)} \cdot n^{O(1)}$, where $\textrm{diam}$ is the diameter of the graph. Note that the dependency on treewidth is unusually high, as most problems admit algorithms running in time $2^{O(\mathrm{tw})}\cdot n^{O(1)}$ or $2^{O(\mathrm{tw} \log (\mathrm{tw}))}\cdot n^{O(1)}$. However, we rule out the possibility of a significantly faster algorithm by proving that Isometric Path Partition does not admit an algorithm running in time $\textrm{diam}^{o(\mathrm{tw}^2/(\log^3(\mathrm{tw})))} \cdot n^{O(1)}$, unless the Randomized-ETH fails.
Spectral Turán problem for $\mathcal{K}_{3,3}^{-}$-free signed graphs
The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n$. Zhai and Wang [Linear Algebra Appl, 437 (2012) 1641-1647] determined the maximum spectral radius of ${C}_{4}$-free graphs of given order. Additionally, Nikiforov obtained spectral strengthenings of the Kővari-Sós-Turán theorem [Linear Algebra Appl, 432 (2010) 1405-1411] when the forbidden graphs are complete bipartite. The spectral Turán problem concerning forbidden complete bipartite graphs in signed graphs has also attracted considerable attention. Let $\mathcal{K}_{s,t}^-$ be the set of all unbalanced signed graphs with underlying graphs $K_{s,t}$. Since the cases where $s=1$ or $t=1$ do not conform to the definition of $\mathcal{K}_{s,t}^-$, it follows that $s,t\geq 2$. Wang and Lin [Discrete Appl. Math, 372 (2025) 164-172] have solved the case of $s=t=2$ since $\mathcal{K}_{2,2}^-$ is $\mathcal{C}_{4}^{-}$ in this situation. This paper gives an answer for $s=t=3$ and completely characterizes the corresponding extremal signed graphs.
On Relative Ordered Turán Density
For an ordered graph $F$, denote the Turán density by $\vecπ(F)$. The relative Turán density, denoted by $ρ(F)$, is the supremum over $α\in [0,1]$ such that every ordered graph $G$ contains an $F$-free subgraph $G'$ with $e(G') \geq αe(G)$. Reiher, Rödl, Sales and Schacht showed that $ρ(P) = \vecπ(P)/2$ and $ρ(K) = \vecπ(K)$ for any ascending path $P$ or clique $K$. They asked if there are any ordered graphs $F$ with $\vecπ(F)/2 < ρ(F) < \vecπ(F)$. We answer this question in the affirmative by describing a family of such $F$. We also show that the relative Turán densities of a large family of ordered matchings (including $\{\{1,6\}, \{2,3\}, \{4,5\}\}$ and $\{\{1,3\}, \{2,5\}, \{4,6\}\}$) are $0$.
Improved lower bounds on the maximum size of graphs with girth 5
We present a new algorithm for improving lower bounds on $ex(n;\{C_3,C_4\})$, the maximum size (number of edges) of an $n$-vertex graph of girth at least 5. The core of our algorithm is a variant of a hill-climbing heuristic introduced by Exoo, McKay, Myrvold and Nadon (2011) to find small cages. Our algorithm considers a range of values of $n$ in multiple passes. In each pass, the hill-climbing heuristic for a specific value of $n$ is initialized with a few graphs obtained by modifying near-extremal graphs previously found for neighboring values of $n$, allowing to `propagate' good patterns that were found. Focusing on the range $n\in \{74,75, \dots, 198\}$, which is currently beyond the scope of exact methods, our approach yields improvements on existing lower bounds for $ex(n;\{C_3,C_4\})$ for all $n$ in the range, except for two values of $n$ ($n=96,97$).
On the Maximum Spread of Non-Negative Matrices
Given a directed graph $G$, the spread of $G$ is the largest distance between any two eigenvalues of its adjacency matrix. In 2022, Breen, Riasanovsky, Tait, and Urschel asked what $n$-vertex directed graph maximizes spread, and whether this graph is undirected. We prove the more general result that the spread of any $n \times n$ non-negative matrix $A$ with $\|A\|_{\max} \le 1$ is at most $2n/\sqrt{3}$, which is tight up to an additive factor and exact when $n$ is a multiple of three. Furthermore, our results show that the matrix with maximum spread is always symmetric.
The gonality of circulant graphs
The gonality of a graph measures how difficult it is to move chips around the entirety of a graph according to certain chip-firing rules without introducing debt. In this paper we study the gonality of circulant graphs, a class of vertex-transitive graphs that can be specified by their number of vertices together with a list of cyclic adjacency relations satisfied by all vertices. We provide a universal upper bound on the gonality of all circulant graphs with a fixed adjacency list, which holds irrespective of the number of vertices. We use this upper bound together with computational methods to determine that the gonality of the \(4\)-regular Harary graph on \(n\) vertices is \(10\) for \(n\geq 16\). As a special case, this gives the gonality of sufficiently large antiprism graphs to be \(10\).
On the strong metric dimension of the complement of the zero-divisor graph of a lattice
In this paper, we compute the strong metric dimension of the complement of the zero-divisor graph of the blow-up of a Boolean lattice. Using these results, we calculate the strong metric dimension of the total graph, the maximal graph, the intersection graph of ideals, the complement of the zero-divisor graph of a reduced ring, and the component graph of a vector space.
Clique complexes of strongly regular graphs, their eigenvalues, and cohomology groups
It is known that non-isomorphic strongly regular graphs with the same parameters must be cospectral (have the same eigenvalues). In this paper, we investigate whether the spectra of higher order Laplacians associated with these graphs can distinguish them. In this direction, we study the clique complexes of strongly regular graphs, and determine the spectra of the triangle complexes of several families of strongly regular graphs including Hamming graphs and Triangular graphs. In many cases, the spectrum of the triangle complex distinguishes between strongly regular graphs with the same parameters, but we find some examples where that is not the case. We also prove that if a graph has the property that for any induced cycle, there are four consecutive vertices on the cycle with a common neighbor, then the first cohomology group of the graph is trivial and we apply this result to several families of graphs.
The Ubiquitous Sparse Matrix-Matrix Products
Multiplication of a sparse matrix with another (dense or sparse) matrix is a fundamental operation that captures the computational patterns of many data science applications, including but not limited to graph algorithms, sparsely connected neural networks, graph neural networks, clustering, and many-to-many comparisons of biological sequencing data.
In many application scenarios, the matrix multiplication takes places on an arbitrary algebraic semiring where the scalar operations are overloaded with user-defined functions with certain properties or a more general heterogenous algebra where even the domains of the input matrices can be different. Here, we provide a unifying treatment of the sparse matrix-matrix operation and its rich application space including machine learning, computational biology and chemistry, graph algorithms, and scientific computing.
Connectedness of independence attractors of graphs with independence number three
An independent set in a simple graph $G$ is a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$, denoted by $I_G$ is defined as $1 + a_1 z + a_2 z^2+\cdots+a_d z^{d}$, where $a_i$ denotes the number of independent sets with cardinality $i$ and $d$ is the cardinality of a largest independent set in $G$. This $d$ is known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$ is defined as $\mathcal{A}(G) = \lim\limits_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric defined on the space of all compact subsets of the plane. This paper investigates the connectedness of the independence attractors of all graphs with independence number three. Let the independence polynomial of $G$ be $1+a_1 z +a_2 z^2 +a_3 z^3$. For $a_1 =3$, $\mathcal{A}(G)$ turns out to be $ \{-1\} \cup \{z: |z+1|=1\} $. For $a_1 >3$, we prove the following.
If $a_2 ^2 \leq 3 a_1 a_3$, or $3 a_1 a_3 < a_2 ^2 < 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ is totally disconnected. For $a_2 ^2 =4a_3 (a_1 -1) $, $\mathcal{A}(G)$ is connected when $a_1 =5$ and is disconnected but not totally disconnected for all other values of $a_1$. If $a_2 ^2 > 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ can be connected, totally disconnected or disconnected but not totally disconnected depending on further conditions involving $a_1, a_2$ and $a_3$. Examples of graphs exhibiting all the possibilities are provided.
Polynomial-time sampling despite disorder chaos
A distribution over instances of a sampling problem is said to exhibit transport disorder chaos if perturbing the instance by a small amount of random noise dramatically changes the stationary distribution (in Wasserstein distance). Seeking to provide evidence that some sampling tasks are hard on average, a recent line of work has demonstrated that disorder chaos is sufficient to rule out "stable" sampling algorithms, such as gradient methods and some diffusion processes.
We demonstrate that disorder chaos does not preclude polynomial-time sampling by canonical algorithms in canonical models. We show that with high probability over a random graph $\boldsymbol{G} \sim G(n,1/2)$: (1) the hardcore model (at fugacity $λ= 1$) on $\boldsymbol{G}$ exhibits disorder chaos, and (2) Glauber dynamics run for $O(n)$ time can approximately sample from the hardcore model on $\boldsymbol{G}$ (in Wasserstein distance).
When Are Standard Graph Products Isomorphic?
This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.
Sums of Laplacian eigenvalues and sums of degrees
Let $X$ be a simplicial complex. For $1\le i\le\dim(X)$, let $X(i)$ be the set of $i$-dimensional faces of $X$, and let $f_i(X)=|X(i)|$. For $0\le i\le \dim(X)-1$, let $L_i^+(X)$ be the $i$-th upper Laplacian operator of $X$. For $σ\in X$ and $1\le r\le \dim(X)$, we denote by $\text{deg}_X^{(r)}(σ)$ the number of $r$-dimensional faces of $X$ containing $σ$. For a symmetric matrix $M\in \mathbb{R}^{n\times n}$ and $1\le i\le n$, let $λ_i(M)$ be the $i$-th largest eigenvalue of $M$. We prove that for every complex $X$, $1\le r\le\dim(X)$, and $1\le k\le f_{r-1}(X)/(r+1)$, \[ \sum_{i=1}^k λ_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{σ\in A} \text{deg}_X^{(r)}(σ) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. \] This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case $k=1,\, r=1$. As a consequence, we show that for all $1\le r\le \dim(X)$ and $1\le k\le f_{r-1}(X)$, \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. \] In the case $r=1$, we obtain the following improved bound: for every $k\ge 1$ and every graph $G=(V,E)$ with $|V|\ge k$, \[
\sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2, \] where $L(G)=L_0^{+}(G)$ is the Laplacian matrix of $G$. This improves upon previously known bounds for all $k\ge 3$, and may be seen as a further step towards Brouwer's conjecture, which states that $\sum_{i=1}^k λ_i(L(G)) \leq |E|+\binom{k+1}{2}.$
As an additional application, we show that if $X$ is an $(r+1)$-partite $r$-dimensional simplicial complex on vertex set $V$, and $1\le k\le f_{r-1}(X)$, then \[
\sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. \] This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.
Unimodality and Cluster Algebras from Surfaces
We prove that the rank polynomial of the lattice of order ideals of a loop fence poset is unimodal. This poset arises as the poset of join-irreducibles in the lattice of good matchings of loop graphs associated with notched arcs. Equivalently, such polynomials can be obtained by evaluating all coefficient variables in an F-polynomial at a single variable q. We also conclude that the rank polynomial of any tagged arc, whether plain or notched, is not only unimodal but also satisfies a symmetry condition known as almost interlacing. Furthermore, when the lamination consists of a single curve, the cluster expansion-evaluated by setting all cluster variables to 1 and all coefficient variables to q-is also unimodal. We conjecture that polynomials in this case are log-concave.
Treedepth and 2-treedepth in graphs with no long induced paths
Huynh, Joret, Micek, Seweryn, and Wollan (Combinatorica, 2022) introduced a graph parameter, later referred to as 2-treedepth and denoted $\mathrm{td}_2(\cdot)$. The parameter is the natural 2-connected version of treedepth. For every graph, 2-treedepth is at most the treedepth but can be much smaller: long paths have arbitrary treedepth but 2-treedepth equal to 2. We prove a converse showing that every graph with no induced path on $t$ vertices and 2-treedepth at most $k$ has treedepth at most $g(k, t)$. In fact, we determine the value of the function $g$ up to a multiplicative factor of 2.
Additionally, we give asymptotically tight bounds for the problem of forcing long induced paths in graphs with long paths and bounded 2-treedepth or bounded pathwidth. The latter result answers a question of Hilaire and Raymond (E-JC, 2024).
Distance restricted matching extensions in regular non-bipartite graphs
Let $m$ and $r$ be integers with $m \ge r \ge 3$ and let $G$ be an $r$-regular graph of even order. Let $M$ be a matching in $G$ of size $m$ such that each pair of edges in $M$ is at distance at least $3$. In 2023, Aldred et al. proved that if $G$ is cyclically $(mr-r+1)$-edge-connected and $G$ is bipartite, then there exists a perfect matching of $G$ containing $M$. In this paper, we present non-bipartite analogues of Aldred et al.'s theorem. An odd ear of $U \subseteq V(G)$ is a path of odd length whose ends lie in $U$ but whose internal vertices do not, or a cycle of odd length having exactly one vertex in $U$. Our first result shows that if $G$ is cyclically $(mr - m +1)$-edge-connected and there exist $mr - \left\lceil \frac{r}{2} \right\rceil + 1$ edge-disjoint odd ears of $V(M)$, then $M$ can be extended to a perfect matching of $G$. We further show that if $G$ contains $mr-r+1$ edge-disjoint odd ears of $V(M)$ and no cyclic edge cut in $G$ of size less than $(2m-1)(r-1)$ separates an odd cycle from another cycle, then $M$ can still be extended to a perfect matching. The second result extends Aldred et al.'s theorem to non-bipartite graphs in the case $r \ge 4$, and in the case when $r = 3$ and each pair of edges in $M$ is at distance at least $5$. It is also shown that the above results hold when $m \le r - 1$, without assuming the distance condition on $M$.
Bounds of Trees with Degree Sequence-Based Topological Indices on Specialized Graph Classes
In this paper, the investigates Adriatic indices, specifically the sum lordeg index where it defined as $SL(G) = \sum_{u \in V(G)} °_G(u) \sqrt{\ln °_G(u)}$ and the variable sum exdeg index $SEI_a(G)$ for $a>0$, $a\neq 1$. We present several sharp bounds and characterizations of these and related topological indices on specialized graph classes, including regular graphs, thorny graphs, and chemical trees. Using the strict convexity of function $f$, inequalities for degree-based graph invariants $H_f(T)$ are derived under structural constraints on trees such as branching vertices and maximum degree. Examples on caterpillar trees illustrate the computation of indices like $^{m}M_2(G)$, $F(G)$, $M_2(G)$, and others, revealing the interplay between degree sequences and index values. Additionally, upper and lower bounds on the Sombor index $SO(G^*)$ of thorny graphs $G^*$ are established as \[ \operatorname{SO} \leqslant \sum_{uv\in E(G)}\sqrt{\frac{1}{°_{G}(u)^2+°_{G}(v)^2}+°_{G}(u)+°_{G}(v)}, \]
including criteria for equality, with implications for regular and thorn-regular graphs. The treatment includes detailed formulas, constructive examples, and inequalities critical for understanding the relationship between graph topology and vertex-degree-based descriptors.
Chain characteristic polynomials of matroids
In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials.
Backbone colouring of chordal graphs
A proper $k$-colouring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$ for every edge $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-colouring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-colouring of $(G,H)$ is a proper $k$-colouring $c$ of $G$ such that $\lvert c(u)-c(v)\rvert \ge q$ for every edge $uv\in E(H)$. The $q$-backbone chromatic number ${\rm BBC}_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-colouring of $(G,H)$. In their seminal paper, Broersma et al.~\cite{BFGW07} ask whether, for any chordal graph $G$ and any spanning forest $H$ of $G$, we have that ${\rm BBC}_2(G,H)\leq χ(G)+O(1)$.
In this work, we first show that this is true as long as $H$ is bipartite and $G$ is an interval graph in which each vertex belongs to at most two maximal cliques. We then show that this does not extend to bipartite graphs as backbone by exhibiting a family of chordal graphs $G$ with spanning bipartite subgraphs $H$ satisfying ${\rm BBC}_2(G,H)\geq \frac{5χ(G)}{3}$. Then, we show that if $G$ is chordal and $H$ has bounded maximum average degree (in particular, if $H$ is a forest), then ${\rm BBC}_2(G,H)\leq χ(G)+O(\sqrt{χ(G)})$. We finally show that ${\rm BBC}_2(G,H)\leq \frac{3}{2}χ(G)+O(1)$ holds whenever $G$ is chordal and $H$ is $C_4$-free.