graph
34516 papers tagged with this keyword
On cuts of small chromatic number in sparse graphs
For a given integer $k$, let $\ell_k$ denote the supremum $\ell$ such that every sufficiently large graph $G$ with average degree less than $2\ell$ admits a separator $X \subseteq V(G)$ for which $χ(G[X]) < k$. Motivated by the values of $\ell_1$, $\ell_2$ and $\ell_3$, a natural conjecture suggests that $\ell_k = k$ for all $k$. We prove that this conjecture fails dramatically: asymptotically, the trivial lower bound $\ell_k \geq \tfrac{k}{2}$ is tight. More precisely, we prove that for every $\varepsilon>0$ and all sufficiently large $k$, we have $\ell_k \leq (1+\varepsilon)\tfrac{k}{2}$.
Well quasi-order and atomicity for combinatorial structures under consecutive orders
We consider partially ordered sets of combinatorial structures under consecutive orders, meaning that two structures are related when one embeds in the other such that `consecutive' elements remain consecutive in the image. Given such a partially ordered set, we may ask decidability questions about its avoidance sets: subsets defined by a finite number of forbidden substructures. Two such questions ask, given a finite set of structures, whether its avoidance set is well quasi-ordered (i.e. contains no infinite antichains) or atomic (i.e. cannot be expressed as the union of two proper subsets). Extending some recent new approaches, we will establish a general framework, which enables us to answer these problems for a wide class of combinatorial structures, including graphs, digraphs and collections of relations.
Two conjectures on vertex-disjoint rainbow triangles
In 1963, Dirac proved that every $n$-vertex graph has $k$ vertex-disjoint triangles if $n\geq 3k$ and minimum degree $δ(G)\geq \frac{n+k}{2}$. The base case $n=3k$ can be reduced to the Corrádi-Hajnál Theorem. Towards a rainbow version of Dirac's Theorem, Hu, Li, and Yang conjectured that for all positive integers $n$ and $k$ with $n\geq 3k$, every edge-colored graph $G$ of order $n$ with $δ^c(G)\geq \frac{n+k}{2}$ contains $k$ vertex-disjoint rainbow triangles. In another direction, Wu et al. conjectured an exact formula for anti-Ramsey number $ar(n,kC_3)$, generalizing the earlier work of Erdős, Sós and Simonovits. The conjecture of Hu, Li, and Yang was confirmed for the cases $k=1$ and $k=2$. However, Lo and Williams disproved the conjecture when $n\leq \frac{17k}{5}.$ It is therefore natural to ask whether the conjecture holds for $n=Ω(k)$.
In this paper, we confirm this by showing that the Hu-Li-Yang conjecture holds when $n\ge 42.5k+48$. We disprove the conjecture of Wu et al. and propose a modified conjecture. This conjecture is motivated by previous works due to Allen, Böttcher, Hladký, and Piguet on Turán number of vertex-disjoint triangles.
The odd independence number of graphs, II: Finite and infinite grids and chessboard graphs
An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$.
This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$.
A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdotχ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number.
In the present work, which is a companion to our first paper on the subject [The odd independence number of graphs, I: Foundations and classical classes], we focus on grid-like and chessboard-like graphs and compute or estimate their odd independence number and their strong odd chromatic number. Among the many results obtained, the following give the flavour of this paper:
(1) $0.375 \leq \varrho_{od}(P_\infty \Box P_\infty) \leq 0.384615...$, where $\varrho_{od}(P_\infty \Box P_\infty)$ is the odd independence ratio.
(2) $χ_{so}(G_d) = 3$ for all $d \geq 1$, where $G_d$ is the infinite $d$-dimensional grid. As a consequence, $\varrho_{od}(G_d) \geq 1/3$.
(3) The $r$-King graph $G$ on $n^2$ vertices has $α_{od}(G) = \lceil n/(2r+1) \rceil^2$. Moreover, $χ_{so}(G) = (2r + 1)^2$ if $n \geq 2r + 1$, and $χ_{so}(G) = n^2$ if $n \leq 2r$.
Many open problems are given for future research.
A High-Dimensional Extension of Wagner's Theorem and the Geometrization of Hypergraphs
This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.
On Kotzig's conjecture in random graphs
In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still wide open and here we consider a variant of it for the binomial random graph $G(n,p)$. We prove that, for every fixed $k$, there exists a constant $C=C(k)$ such that, when $p\ge \frac{C \log n}{n}$, with high probability, $G(n,p)$ contains $k$ edge-disjoint perfect matchings with the property that every pair of them forms a Hamilton cycle. In fact, our main result is a very precise counting result for $K_n$. We show that, given any $k$ edge-disjoint perfect matchings $M_1,\dots,M_k$, the probability that a uniformly random perfect matching $M^*$ in $K_n$ has the property that $M^*\cup M_i$ forms a Hamilton cycle for each $i\in [k]$ is $Θ_k(n^{-k/2})$. This is proved by building on a variety of methods, including a random process analysis, the absorption method, the entropy method and the switching method. The result on the binomial random graph follows from a slight strengthening of our counting result via the recent breakthroughs on the expectation threshold conjecture.
On the "second" Kahn--Kalai Conjecture: cliques, cycles, and trees
We prove a few simple cases of a random graph statement that would imply the "second" Kahn--Kalai Conjecture. Even these cases turn out to be reasonably challenging, and it is hoped that the ideas introduced here may lead to further interest in, and further progress on, this natural problem.
A Note on Conjectures of Gullerud, Johnson, and Mbirika
In 2023, Gullerud, Johnson, and Mbirika presented results on their study of certain tridiagonal real symmetric matrices. As part of their work, they studied the roots to nonhomogeneous equations related to characteristic polynomials of adjacency matrices for path graphs. They showed that a subset of these polynomials give a Fibonacci number when evaluated at the imaginary unit, leading them to make several intriguing conjectures. In this work, we further explore their conjectures regarding the distribution of roots. We make partial progress towards establishing two conjectures, identify an infinite class of polynomials for which a third is false, and give evidence against a fourth.
Partitioning triangle-free planar graphs into a forest and a linear forest
Raspaud and Wang conjectured that every triangle-free planar graph can be vertex-partitioned into an independent set and a forest. Independently, Kawarabayashi and Thomassen also remarked that this might be true, after providing another proof of a result of Borodin and Glebov, showing this result for planar graphs of girth~5. Subsequently, Dross, Montassier, and Pinlou raised the same question and proved that every triangle-free planar graph can be partitioned into a forest and another forest of maximum degree~5. More recently, Feghali and Šámal improved this bound on the maximum degree to~3. In this note, we further improve the result by showing that every triangle-free planar graph can be partitioned into a forest and a linear forest, that is, a forest of maximum degree~2.
Hamiltonicity of Step-graphon
A step-graphon has the strong (resp., weak) $H$-property if a directed, random graph sampled from it has a Hamilton cycle (resp., a node-wise disjoint cycle cover) asymptotically almost surely. The weak/strong $H$-property is essentially a zero-one property. We identify key objects associated with the step-graphon that matter for the zero-one law and provide a complete characterization.
Evaluation of lattice sums via telescoping over topographs
Topographs, introduced by Conway in 1997, are infinite trivalent planar trees used to visualize the values of binary quadratic forms. In this work, we study series whose terms are indexed by the vertices of a topograph and show that they can be evaluated using telescoping sums over its edges.
Our technique provides arithmetic proofs for modular graph function identities arising in string theory, yields alternative derivations of Hurwitz-style class number formulas, and provides a unified framework for well-known Mordell-Tornheim series and Hata's series for the Euler constant $γ$.
Our theorems are of the following spirit: we cut a topograph along an edge (called the root) into two parts, and then sum $\frac{1}{rst}$ (the reciprocal of the product of labels on regions adjacent to a vertex) over all vertices of one part. We prove that such a sum is equal to an explicit expression depending only on the root and the discriminant of the topograph.
Minimal Trails in Restricted DAGs
In this paper, the properties of minimal trails in a directed acyclic graph that is restricted not to contain an active cycle are studied. We are motivated by an application of the results in the copula-based Bayesian Network model developed recently. We propose a partial order on the set of trails activated by a certain subset of nodes, and show that every minimal trail, according to such an order, has a simple structure.
A polynomial algorithm to compute the boxicity and threshold dimension of complements of block graphs
The boxicity of a graph $G$ is the minimum dimension $d$ that admits a representation of $G$ as the intersection graph of a family of axis-parallel boxes in $\mathbb{R}^d$. Computing boxicity is an NP-hard problem, and there are few known graph classes for which it can be computed in polynomial time. One such class is the class of block graphs. A block graph is a graph in which every maximal $2$-connected component is a clique. Since block graphs are known to have boxicity at most two, computing their boxicity amounts to the linear-time interval graph recognition problem. On the other hand, complements of block graphs have unbounded boxicity, yet we show that there is also a polynomial algorithm that computes the boxicity of complements of block graphs. An adaptation of our approach yields a polynomial algorithm for computing the threshold dimension of the complements of block graphs, which for general graphs is an NP-hard problem. Our method suggests a general technique that may show the tractability of similar problems on block-restricted graph classes.
Bounds on the propagation radius in power domination
Let $G$ be a graph and let $S \subseteq V(G)$. It is said that $S$ \textit{dominates} $N[S]$. We say that $S$ \textit{monitors} vertices of $G$ as follows. Initially, all dominated vertices are monitored. This step is called the \textit{domination} step. Thereafter, the set of unmonitored vertices of which each is the only unmonitored neighbour of a monitored vertex, is monitored. This step is called a \textit{propagation} step and is repeated until the process terminates. The process terminates when the there are no monitored vertices which have exactly one unmonitored neighbour. This combined process of initial domination and subsequent propagation is called \textit{power domination}. If all vertices of $G$ are monitored at termination, then $S$ is said to be a \textit{power dominating set (PDS) of $G$}. The \textit{power domination number of $G$}, denoted as $γ_p(G)$, is the minimum cardinality of a PDS of $G$. The \textit{propagation radius of $G$} is the minimum number of steps it takes a minimum PDS to monitor $V(G)$. In this paper we determine an upper bound on the propagation radius of $G$ with regards to power domination, in terms of $δ$ and $n$. We show that this bound is only attained when $γ_p(G)=1$ and then improve this bound for $γ_p(G)\geq 2$. Sharpness examples for these bounds are provided. We also present sharp upper bounds on the propagation radius of split graphs. We present sharpness results for a known lower bound of the propagation radius for all $Δ\geq 3$.
Two Proofs of the Hamiltonian Cycle Identity
The Hamiltonian cycle polynomial can be evaluated to count the number of Hamiltonian cycles in a graph. It can also be viewed as a list of all spanning cycles of length $n$. We adopt the latter perspective and present a pair of original proofs for the Hamiltonian cycle identity which relates the Hamiltonian cycle polynomial to the important determinant and permanent polynomials. The first proof is a more accessible combinatorial argument. The second proof relies on viewing polynomials as both linear algebraic and combinatorial objects whose monomials form lists of graphs. Finally, a similar identity is derived for the Hamiltonian path polynomial.
Construction of infinitely many trace-minimal graphs with maximum number of spanning trees
A longstanding problem in spectral graph theory asks for graphs with maximum number of spanning trees among all connected simple graphs with a prescribed number of vertices and edges. Such graphs are called t-optimal graphs. Petingi and Rodríguez [Discrete Math. 244 (2002), 351--373] achieved in finding infinitely many t-optimal graphs. Basically, they reduced the problem of finding t-optimal graphs to the determination of almost-regular graphs with minimum number of induced 3-paths.
In this work we revisit the construction of t-optimal graphs given by Petingi and Rodríguez. Then, we generalize the previous construction using the key concept of trace-minimal graph introduced by Ábrego et al. [Linear Algebra Appl. 412 (2006) 161--221]. Finally, as a consequence, we construct infinitely many new t-optimal regular graphs.
Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse.
The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty.
We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
Throttling for metric dimension and its variants
Metric dimension is a graph parameter that has been applied to robot navigation and finding low-dimensional vector embeddings. Throttling entails minimizing the sum of two available resources when solving certain graph problems. In this paper, we introduce throttling for metric dimension, edge metric dimension, and mixed metric dimension. In the context of vector embeddings, metric dimension throttling finds a low-dimensional, low-magnitude embedding with integer coordinates. We show that computing the throttling number is NP-hard for all three variants. We give formulas for the throttling numbers of special families of graphs, and characterize graphs with extremal throttling numbers. We also prove that the minimum possible throttling number of a graph of order $n$ is $Θ\left(\frac{\log{n}}{\log{\log{n}}}\right)$, while the minimum possible throttling number of a tree of order $n$ is $Θ(n^{1/3})$ or $Θ(n^{1/2})$ depending on the variant of metric dimension.
On the variety of general position problems under vertex and edge removal
Let ${\rm gp}_{\rm t}(G)$, ${\rm gp}_{\rm o}(G)$, and ${\rm gp}_{\rm d}(G)$ be the total, the outer, and the dual general position number of a graph $G$, respectively. This paper investigates how removing a vertex or removing an edge affects these graph invariants. It is proved that if $x$ is not a cut vertex, then ${\rm gp}_{\rm t}(G) -1 \le {\rm gp}_{\rm t}(G-x) \le {\rm gp}_{\rm t}(G) + {\rm deg}_G(x)$. On the other hand, ${\rm gp}_{\rm o}(G-x)$ and ${\rm gp}_{\rm d}(G-x)$ can be respectively arbitrarily larger/smaller than ${\rm gp}_{\rm o}(G)$ and ${\rm gp}_{\rm d}(G)$. On the positive side, it is proved that if $x$ lies in some ${\rm gp}_{\rm o}$-set, then ${\rm gp}_{\rm o}(G)-1 \le {\rm gp}_{\rm o}(G-x)$, and that if $x$ is not a cut vertex and lies in some ${\rm gp}_{\rm d}$-set of $G$, then $ {\rm gp}_{\rm d}(G)-1 \le {\rm gp}_{\rm d}(G-x)$. For the edge removal, it is proved that (i) ${\rm gp}_{\rm t}(G) -|S(G)_{e}| \le {\rm gp}_{\rm t}(G-e) \le {\rm gp}_{\rm t}(G) +2$, where $S(G)_{e}$ is the set of simplicial vertices adjacent to both endvertices of $e$, (ii) ${\rm gp}_{\rm o}(G)/2\le {\rm gp}_{\rm o}(G-e)\leq\ 2{\rm gp}_{\rm o}(G)$, and (iii) that ${\rm gp}_{\rm d}(G) - {\rm gp}_{\rm d}(G-e)$ can be arbitrarily large. All bounds are demonstrated to be sharp.
A note on the $k$-defect number: Vertex Coloring with a Fixed Number of Monochromatic Edges
In this paper, we introduce and study a novel graph parameter called the $k$-defect number, denoted $φ_{k}(G)$, for a graph $G$ and an integer $0\leq k\leq |E(G)|$. Unlike traditional defective colorings that bound the local degree within monochromatic components, the $k$-defect number represents the smallest number of colors required to achieve a vertex coloring of $G$ having exactly \emph{$k$ monochromatic edges (also termed ``bad edges")}. This parameter generalizes the well-known chromatic number of a graph, $χ(G)$, which is precisely $φ_{0}(G)$. We establish fundamental properties of the $k$-defect number and derive bounds on $φ_{k}(G)$ for specific graph classes, including trees, cycles, and wheels. Furthermore, we extend and generalize several classical properties of the chromatic number to this new edge-centric $k$-defect framework for values of $1\leq k\leq |E(G)|$.