graph
34585 papers tagged with this keyword
Universal graphs for the topological minor relation
Published
• View Publication
• BIB
A subgraph-universal graph/a topological minor-universal graph in a class of graphs $\mathcal{G}$ is a graph in $\mathcal{G}$ which contains every graph in $\mathcal{G}$ as a subgraph/topological minor. We prove that the class $\mathcal{P}$ of all countable planar graphs does not contain a topological minor-universal graph. This answers a question of Diestel and Kühn and strengthens a result of Pach stating that there is no subgraph-universal graph in $\mathcal{P}$. Furthermore, we characterise for which subdivided stars $T$ there is a topological minor-universal graph in the class of all countable $T$-free graphs.
The most general structure of graphs with hamiltonian or hamiltonian connected square
Published in Discrete Mathematics 347 (2024), 113702
• View Publication
• BIB
On the basis of recent results on hamiltonicity and hamiltonian connectedness in the square of a 2-block, we determine the most general block-cutvertex structure a graph $G$ may have in order to guarantee that $G^2$ is hamiltonian, hamiltonian connected, respectively. Such an approach was already developed for hamiltonian total graphs.
Neighbour sum distinguishing edge-weightings with local constraints
Published
• View Publication
• BIB
A $k$-edge-weighting of $G$ is a mapping $ω:E(G)\longrightarrow \{1,\ldots,k\}$. The edge-weighting of $G$ naturally induces a vertex-colouring $σ_ω:V(G)\longrightarrow \mathbb{N}$ given by$σ_ω(v)=\sum_{u\in N_G(v)}ω(vu)$ for every $v\in V(G)$. The edge-weighting $ω$ is neighbour sum distinguishing if it yields a proper vertex-colouring $σ_ω$, \emph{i.e.}, $σ_ω(u)\neq σ_ω(v)$ for every edge $uv$ of $G$.We investigate a neighbour sum distinguishing edge-weighting with local constraints, namely, we assume that the set of edges incident to a vertex of large degree is not monochromatic. A graph is nice if it has no components isomorphic to $K_2$. We prove that every nice graph with maximum degree at most~5 admits a neighbour sum distinguishing $(Δ(G)+2)$-edge-weighting such that all the vertices of degree at least~2 are incident with at least two edges of different weights. Furthermore, we prove that every nice graph admits a neighbour sum distinguishing $7$-edge-weighting such that all the vertices of degree at least~6 are incident with at least two edges of different weights. Finally, we show that nice bipartite graphs admit a neighbour sum distinguishing $6$-edge-weighting such that all the vertices of degree at least~2 are incident with at least two edges of different weights.
When all holes have the same length
For every integer $\ell \geq 7$, we give a structural description of the class of graphs whose chordless cycles of length at least 4 all have length $\ell$.
TS-Reconfiguration of $k$-Path Vertex Covers in Caterpillars for $k \geq 4$
Published in Theory and Applications of Graphs: Vol. 10: Iss. 1, Article 8 (2023)
• View Publication
• BIB
A $k$-path vertex cover ($k$-PVC) of a graph $G$ is a vertex subset $I$ such that each path on $k$ vertices in $G$ contains at least one member of $I$. Imagine that a token is placed on each vertex of a $k$-PVC. Given two $k$-PVCs $I, J$ of a graph $G$, the $k$-Path Vertex Cover Reconfiguration ($k$-PVCR) under Token Sliding ($\mathsf{TS}$) problem asks if there is a sequence of $k$-PVCs between $I$ and $J$ where each intermediate member is obtained from its predecessor by sliding a token from some vertex to one of its unoccupied neighbors. This problem is known to be $\mathtt{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded treewidth and can be solved in polynomial time for paths and cycles. Its complexity for trees remains unknown. In this paper, as a first step toward answering this question, for $k \geq 4$, we present a polynomial-time algorithm that solves $k$-PVCR under $\mathsf{TS}$ for caterpillars (i.e., trees formed by attaching leaves to a path).
Simplicial chromatic polynomials as Hilbert series of Stanley--Reisner rings
We find families of simplicial complexes where the simplicial chromatic polynomials defined by Cooper--de Silva--Sazdanovic \cite{CdSS} are Hilbert series of Stanley--Reisner rings of auxiliary simplicial complexes. As a result, such generalized chromatic polynomials are determined by $h$-vectors of auxiliary simplicial complexes. In addition to generalizing related results on graphs and matroids, the simplicial complexes used allow us to consider problems that are not necessarily analogues of those considered for graphs. Some examples include supports of cyclotomic polynomials, log concavity properties of a polynomial or some translate of the polynomial, and symmetry relations between a polynomial and its reciprocal polynomial.
If the $h$-vectors involed have sufficiently large entries, the Hilbert series are Hilbert polynomials of some $k$-algebra. As a consequence of connections between $h$-vectors and simplicial chromatic polynomials, we also find simplicial complexes whose $h$-vectors are determined by addition-contraction relations of simplicial complexes analogous to deletion-contraction relations of graphs. The constructions used involve generalizations of relations Euler characteristics of configuration spaces and chromatic polynomials of graphs.
Graph coloring-related properties of (generating functions of) Hodge-Deligne polynomials
Motivated by a connection between the topology of (generalized) configuration spaces and chromatic polynomials, we show that generating functions of Hodge-Deligne polynomials of quasiprojective varieties and colorings of acyclic directed graphs with the complete graph $K_n$ as the underlying undirected graph. In order to do this, we combine an interpretation of Crew-Spirkl for plethysms involving chromatic symmetric polynomials using colorings of directed acyclic graphs to plethystic exponentials often appearing Hodge-Deligne polynomials of varieties. Applying this to a recent result of Florentino-Nozad-Zamora, we find a connection between $GL_n$-character varieties of finitely presented groups and colorings of these "complete" directed graphs by (signed) variables used in the Hodge-Deligne polynomials of the irreducible representations.
As a consequence of the constructions used, generators of Hodge-Deligne polynomials carry over to generators of the plethystic exponentials as a power series in a way that is compatible with this graph coloring interpretation and gives interesting combinatorial information that simplifies when we consider Hodge-Deligne polynomials of birationally equivalent varieties to be equivalent. Finally, we give an application of methods used to symmetries of Hodge-Deligne polynomials of varieties and their configuration spaces and their relation to chromatic symmetric polynomials.
Kemeny's constant for non-backtracking random walks
Published
• View Publication
• BIB
Kemeny's constant for a connected graph $G$ is the expected time for a random walk to reach a randomly-chosen vertex $u$, regardless of the choice of the initial vertex. We extend the definition of Kemeny's constant to non-backtracking random walks and compare it to Kemeny's constant for simple random walks. We explore the relationship between these two parameters for several families of graphs and provide closed-form expressions for regular and biregular graphs. In nearly all cases, the non-backtracking variant yields the smaller Kemeny's constant.
Enumeration of interval graphs and $d$-representable complexes
Published
• View Publication
• BIB
For each fixed $d\ge 1$, we obtain asymptotic estimates for the number of $d$-representable simplicial complexes on $n$ vertices as a function of $n$. The case $d=1$ corresponds to counting interval graphs, and we obtain new results in this well-studied case as well. Our results imply that the $d$-representable complexes comprise a vanishingly small fraction of $d$-collapsible complexes.
On a conjecture of spectral extremal problems
Published
• View Publication
• BIB
For a simple graph $F$, let $\mathrm{Ex}(n, F)$ and $\mathrm{Ex_{sp}}(n,F)$ denote the set of graphs with the maximum number of edges and the set of graphs with the maximum spectral radius in an $n$-vertex graph without any copy of the graph $F$, respectively. The Turán graph $T_{n,r}$ is the complete $r$-partite graph on $n$ vertices where its part sizes are as equal as possible. Cioabă, Desai and Tait [The spectral radius of graphs with no odd wheels, European J. Combin., 99 (2022) 103420] posed the following conjecture: Let $F$ be any graph such that the graphs in $\mathrm{Ex}(n,F)$ are Turán graphs plus $O(1)$ edges. Then $\mathrm{Ex_{sp}}(n,F)\subset \mathrm{Ex}(n,F)$ for sufficiently large $n$. In this paper we consider the graph $F$ such that the graphs in $\mathrm{Ex}(n, F)$ are obtained from $T_{n,r}$ by adding $O(1)$ edges, and prove that if $G$ has the maximum spectral radius among all $n$-vertex graphs not containing $F$, then $G$ is a member of $\mathrm{Ex}(n, F)$ for $n$ large enough. Then Cioabă, Desai and Tait's conjecture is completely solved.
A Note on the Critical Groups of Strongly Regular Graphs and Their Generalizations
Published in Innov. Incidence Geom. 19 (2022) 95-109
• View Publication
• BIB
We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure of these groups using the pairing.
Plane Triangulations Without Spanning 2-Trees
Published
• View Publication
• BIB
A 2-tree is a graph that can be formed by starting with a triangle and iterating the operation of making a new vertex adjacent to two adjacent vertices of the existing graph. Leizhen Cai asked in 1995 whether every maximal planar graph contains a spanning 2-tree. We answer this question in the negative by constructing an infinite class of maximal planar graphs that have no spanning 2-tree.
Extremal spectral radius of nonregular graphs with prescribed maximum degree
Published
• View Publication
• BIB
Let $G$ be a graph attaining the maximum spectral radius among all connected nonregular graphs of order $n$ with maximum degree $Δ$. Let $λ_1(G)$ be the spectral radius of $G$. A nice conjecture due to Liu, Shen and Wang [On the largest eigenvalue of non-regular graphs, J. Combin. Theory Ser. B, 97 (2007) 1010--1018] asserts that \[ \lim_{n\to\infty} \frac{n^2(Δ-λ_1(G))}{Δ-1} = π^2 \] for each fixed $Δ$. Concerning an important structural property of the extremal graphs $G$, Liu and Li present another conjecture which states that $G$ has degree sequence $Δ,\ldots,Δ,δ$. Here, $δ=Δ-1$ or $δ=Δ-2$ depending on the parity of $nΔ$. In this paper, we make progress on the two conjectures. To be precise, we disprove the first conjecture for all $Δ\geq 3$ by showing that the limit superior is at most $π^2/2$. For small $Δ$, we determine the precise asymptotic behavior of $Δ-λ_1(G)$. In particular, we show that $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 1) = π^2/4$ if $Δ=3$; and $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 2) = π^2/2$ if $Δ= 4$. We also confirm the second conjecture for $Δ= 3$ and $Δ= 4$ by determining the precise structure of extremal graphs. Particularly, we show that the extremal graphs for $Δ\in\{3,4\}$ must have a path-like structure built from specific blocks.
On Structural Aspects of Friends-And-Strangers Graphs
Given two graphs $X$ and $Y$ with the same number of vertices, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all $n!$ bijections from $V(X)$ to $V(Y)$, with bijections $σ, τ$ adjacent if and only if they differ on two elements of $V(X)$, whose mappings are adjacent in $Y$. In this article, we study necessary and sufficient conditions for $\mathsf{FS}(X, Y)$ to be connected for all graphs $X$ from some set. In the setting that we take $X$ to be drawn from the set of all biconnected graphs, we prove that $\mathsf{FS}(X, Y)$ is connected for all biconnected $X$ if and only if $\overline{Y}$ is a forest with trees of jointly coprime size; this resolves a conjecture of Defant and Kravitz. We also initiate and make significant progress toward determining the girth of $\mathsf{FS}(X, \text{Star}_n)$ for connected graphs $X$, and in particular focus on the necessary trajectories that the central vertex of $\text{Star}_n$ takes around all such graphs $X$ to achieve the girth.
Countable Ramsey
Published
• View Publication
• BIB
The celebrated Erdős-Hajnal Conjecture says that in any proper hereditary class of finite graphs we are guaranteed to have a clique or anti-clique of size $n^c$, which is a much better bound than the logarithmic size that is provided by Ramsey's Theorem in general. On the other hand, in uncountable cardinalities, the model-theoretic property of stability guarantees a uniform set much larger than the bound provided by the Erdős-Rado Theorem in general.
Even though the consequences of stability in the finite have been much studied in the literature, the countable setting seems a priori quite different, namely, in the countably infinite the notion of largeness based on cardinality alone does not reveal any structure as Ramsey's Theorem already provides a countably infinite uniform set in general. In this paper, we show that the natural notion of largeness given by upper density reveals that these phenomena meet in the countable: a countable graph has an almost clique or anti-clique of positive upper density if and only if it has a positive upper density almost stable set. Moreover, this result also extends naturally to countable models of a universal theory in a finite relational language.
Our methods explore a connection with the notion of convergence in the theory of limits of dense combinatorial objects, introducing and studying a natural approximate version of the Erdős-Hajnal property that allows for a negligible error in the edges (in general, predicates) but requires linear-sized uniform sets in convergent sequences of models (this is much stronger than what stable regularity can provide as the error is required to go to zero). Finally, surprisingly, we completely characterize all hereditary classes of finite graphs that have this approximate Erdős-Hajnal property. The proof highlights both differences and similarities with the original conjecture.
Odd colourings, conflict-free colourings and strong colouring numbers
The odd chromatic number and the conflict-free chromatic number are new graph parameters introduced by Petruševski and Škrekovski [2021] and Fabrici, Lužar, Rindošová and Soták [2022] respectively. In this note, we show that graphs with bounded $2$-strong colouring number have bounded odd chromatic number and bounded conflict-free chromatic number. This implies that graph classes with bounded expansion have bounded odd chromatic number and bounded conflict-free chromatic number. Moreover, it follows by known results that the odd chromatic number and the conflict-free chromatic number of $k$-planar graphs is $O(k)$ which improves a recent result of Dujmović, Morin and Odak [2022].
On distance magic circulants of valency 6
Published in Published in Discrete Applied Mathematics, Volume 329, 2023, Pages 35-48
• View Publication
• BIB
A graph $Γ= (V,E)$ of order $n$ is {\em distance magic} if it admits a bijective labeling $\ell \colon V \to \{1,2, \ldots, n\}$ of its vertices for which there exists a positive integer $κ$ such that $\sum_{u \in N(v)} \ell(u) = κ$ for all vertices $v \in V$, where $N(v)$ is the neighborhood of $v$. %It is well known that a regular distance magic graph is necessarily of even valency.
A {\em circulant} is a graph admitting an automorphism cyclically permuting its vertices. In this paper we study distance magic circulants of valency $6$. We obtain some necessary and some sufficient conditions for a circulant of valency $6$ to be distance magic, thereby finding several infinite families of examples. The combined results of this paper provide a partial classification of all distance magic circulants of valency $6$. In particular, we classify distance magic circulants of valency $6$, whose order is not divisible by $12$.
Exact approaches for the Connected Vertex Cover problem
Published
• View Publication
• BIB
Given a graph $G$, the Connected Vertex Cover problem (CVC) asks to find a minimum cardinality vertex cover of $G$ that induces a connected subgraph. In this paper we describe some approaches to solve the CVC problem exactly. First, we give compact mixed-integer extended formulations for CVC: these are the first formulations proposed for this problem, and can be easily adapted to variations of the problem such as Tree Cover. Second, we describe a simple branch and bound algorithm for the CVC problem. Finally, we implement our algorithm and compare its performance against our best formulation: contrary to what usually happens for the classical Vertex Cover problem, our formulation outperforms the branch and bound algorithm.
On local antimagic chromatic number of a corona product graph
In this paper, we provide a correct proof for the lower bounds of the local antimagic chromatic number of the corona product of friendship and fan graphs with null graph respectively as in [On local antimagic vertex coloring of corona products related to friendship and fan graph, {\it Indon. J. Combin.}, 5(2) (2021) 110--121]. Consequently, we obtained a sharp lower bound that gives the exact local antimagic chromatic number of the corona product of friendship and null graph.
On the Nullity of Altans and Iterated Altans
Altanisation (formation of the altan of a parent structure) originated in the chemical literature as a formal device for constructing generalised coronenes from smaller structures. The altan of graph $G$, denoted $\mathfrak{a}(G, H)$, depends on the choice of attachment set $H$ (a cyclic $h$-tuple of vertices of $G$). From a given pair $(G, H)$, the altan construction produces a pair $(G', H')$, where $H'$ is called the induced attachment set. Repetition of the construction, using at each stage the attachment set induced in the previous step, defines the iterated altan. Here, we prove sharp bounds for the nullity of altan and iterated altan graphs based on a general parent graph: for any attachment set with odd $h$, nullities of altan and parent are equal; for any $h$ and all $k \geq 1$, the $k$-th altan has the same nullity as the first; for any attachment set with even $h$, the nullity of the altan exceeds the nullity of the parent graph by one of the three values $\{0, 1, 2\}$. The case of excess nullity $2$ has not been noticed before; for benzenoids with the natural attachment set consisting of the CH sites, it occurs first for a parent structure with $5$ hexagons. On the basis of extensive computation, it is conjectured that in fact no altan of a convex benzenoid has excess nullity $2$.