graph
34793 papers tagged with this keyword
Hamiltonian cycles and subsets of discounted occupational measures
Published
• View Publication
• BIB
We study a certain polytope arising from embedding the Hamiltonian cycle problem in a discounted Markov decision process. The Hamiltonian cycle problem can be reduced to finding particular extreme points of a certain polytope associated with the input graph. This polytope is a subset of the space of discounted occupational measures. We characterize the feasible bases of the polytope for a general input graph $G$, and determine the expected numbers of different types of feasible bases when the underlying graph is random. We utilize these results to demonstrate that augmenting certain additional constraints to reduce the polyhedral domain can eliminate a large number of feasible bases that do not correspond to Hamiltonian cycles. Finally, we develop a random walk algorithm on the feasible bases of the reduced polytope and present some numerical results. We conclude with a conjecture on the feasible bases of the reduced polytope.
An Analog of Matrix Tree Theorem for Signless Laplacians
Published
• View Publication
• BIB
A spanning tree of a graph is a connected subgraph on all vertices with the minimum number of edges. The number of spanning trees in a graph $G$ is given by Matrix Tree Theorem in terms of principal minors of Laplacian matrix of $G$. We show a similar combinatorial interpretation for principal minors of signless Laplacian $Q$. We also prove that the number of odd cycles in $G$ is less than or equal to $\frac{\det(Q)}{4}$, where the equality holds if and only if $G$ is a bipartite graph or an odd-unicyclic graph.
Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures.
We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorčević, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the $\emptyset$-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubička and Nešetril.
Finally, we consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems.
Revisiting the Hamiltonian Theme in the Square of a Block: The General Case
Published
• View Publication
• BIB
This is the second part of joint research in which we show that every $2$-connected graph $G$ has the ${\cal F}_4$ property. That is, given distinct $x_i\in V(G)$, $1\leq i\leq 4$, there is an $x_1x_2$-hamiltonian path in $G^2$ containing different edges $x_3y_3, x_4y_4\in E(G)$ for some $y_3,y_4\in V(G)$. However, it was shown already in \cite[Theorem 2]{cf1:refer} that 2-connected DT-graphs have the ${\cal F}_4$ property; based on this result we generalize it to arbitrary $2$-connected graphs. We also show that these results are best possible.
Approximating the position of a hidden agent in a graph
A cat and mouse play a pursuit and evasion game on a connected graph $G$ with $n$ vertices. The mouse moves to vertices $m_1,m_2,\dots$ of $G$ where $m_i$ is in the closed neighbourhood of $m_{i-1}$ for $i\geq2$. The cat tests vertices $c_1,c_2,\dots$ of $G$ without restriction and is told whether the distance between $c_i$ and $m_i$ is at most the distance between $c_{i-1}$ and $m_{i-1}$. The mouse knows the cat's strategy, but the cat does not know the mouse's strategy. We will show that the cat can determine the position of the mouse up to distance $O(\sqrt{n})$ within finite time and that this bound is tight up to a constant factor. This disproves a conjecture of Dayanikli and Rautenbach.
The Steiner $k$-Wiener index of graphs with given minimum degree
Published
• View Publication
• BIB
Let $G$ be a connected graph. The Steiner distance $d(S)$ of a set $S$ of vertices is the minimum size of a connected subgraph of $G$ containing all vertices of $S$. For $k\in \mathbb{N}$, the Steiner $k$-Wiener index $SW_k(G)$ is defined as $\sum_S d(S)$, where the sum is over all $k$-element subsets of the vertex set of $G$. The average Steiner $k$-distance $μ_k(G)$ of $G$ is defined as $\binom{n}{k}^{-1} SW_k(G)$.
In this paper we prove upper bounds on the Steiner Wiener index and the average Steiner distance of graphs with given order $n$ and minimum degree $δ$. Specifically we show that $SW_k(G) \leq \frac{k-1}{k+1}\frac{3n}{δ+1} \binom{n}{k} + O(n^{k})$, and that $μ_k(G) \leq \frac{k-1}{k+1}\frac{3n}{δ+1} + O(1)$. We improve this bound for triangle-free graphs to $SW_k(G) \leq \frac{k-1}{k+1}\frac{2n}δ \binom{n}{k} + O(n^{k})$, and $μ_k(G) \leq \frac{k-1}{k+1}\frac{2n}δ + O(1)$. All bounds are best possible.
Threshold functions for substructures in random subsets of finite vector spaces
Published
• View Publication
• BIB
The study of substructures in random objects has a long history, beginning with Erdős and Rényi's work on subgraphs of random graphs. We study the existence of certain substructures in random subsets of vector spaces over finite fields. First we provide a general framework which can be applied to establish coarse threshold results and prove a limiting Poisson distribution at the threshold scale. To illustrate our framework we apply our results to $k$-term arithmetic progressions, sums, right triangles, parallelograms and affine planes. We also find coarse thresholds for the property that a random subset of a finite vector space is sum-free, or is a Sidon set.
On Arbitrarily Long Periodic Orbits of Evolutionary Games on Graphs
Published
• View Publication
• BIB
A periodic behavior is a well observed phenomena in biological and economical systems. We show that evolutionary games on graphs with imitation dynamics can display periodic behavior for an arbitrary choice of game theoretical parameters describing social-dilemma games. We construct graphs and corresponding initial conditions whose trajectories are periodic with an arbitrary minimal period length. We also examine a periodic behavior of evolutionary games on graphs with the underlying graph being an acyclic (tree) graph. Astonishingly, even this acyclic structure allows for arbitrary long periodic behavior.
The number of independent sets in an irregular graph
Published in J. Combin. Theory Ser. B 138 (2019), 172--195
• View Publication
• BIB
Settling Kahn's conjecture (2001), we prove the following upper bound on the number $i(G)$ of independent sets in a graph $G$ without isolated vertices: \[ i(G) \le \prod_{uv \in E(G)} i(K_{d_u,d_v})^{1/(d_u d_v)}, \] where $d_u$ is the degree of vertex $u$ in $G$. Equality occurs when $G$ is a disjoint union of complete bipartite graphs. The inequality was previously proved for regular graphs by Kahn and Zhao.
We also prove an analogous tight lower bound: \[ i(G) \ge \prod_{v \in V(G)} i(K_{d_v+1})^{1/(d_v + 1)}, \] where equality occurs for $G$ a disjoint union of cliques. More generally, we prove bounds on the weighted versions of these quantities, i.e., the independent set polynomial, or equivalently the partition function of the hard-core model with a given fugacity on a graph.
On the Rainbow Turán number of paths
Published
• View Publication
• BIB
Let $F$ be a fixed graph. The rainbow Turán number of $F$ is defined as the maximum number of edges in a graph on $n$ vertices that has a proper edge-coloring with no rainbow copy of $F$ (where a rainbow copy of $F$ means a copy of $F$ all of whose edges have different colours). The systematic study of such problems was initiated by Keevash, Mubayi, Sudakov and Verstraëte.
In this paper, we show that the rainbow Turán number of a path with $k+1$ edges is less than $\left(\frac{9k}{7}+2\right) n$, improving an earlier estimate of Johnston, Palmer and Sarkar.
$P$-Matchings in Graphs: A Brief Survey with Some Open Problems
For a graph $G=(V,E),$ a matching $M$ is a set of independent edges. The topic of matchings is well studied in graph theory. In this paper many varieties of matchings are discussed.
Perfect Domination in Knights Graphs
For a graph $G = (V,E),$ a subset $S$ of $V$ is a perfect dominating set of $G$ if every vertex not in $S$ is adjacent to exactly one vertex in $S.$ The perfect domination number, $γ_p(G),$ is the minimum cardinality of a perfect dominating set of $G.$ The perfect domination number is found for knights graphs on square, rectangular, and infinite chessboards. Indeed, exact values or bounds are given for all chessboards except those with 3 rows and number of columns congruent to 1, 2, or 3 modulo 8.
Characterizing and decomposing classes of threshold, split, and bipartite graphs via 1-Sperner hypergraphs
Published
• View Publication
• BIB
A hypergraph is said to be $1$-Sperner if for every two hyperedges the smallest of their two set differences is of size one. We present several applications of $1$-Sperner hypergraphs and their structure to graphs. In particular, we consider the classical characterizations of threshold and domishold graphs and use them to obtain further characterizations of these classes in terms of $1$-Spernerness, thresholdness, and $2$-asummability of their vertex cover, clique, dominating set, and closed neighborhood hypergraphs. Furthermore, we apply a decomposition property of $1$-Sperner hypergraphs to derive decomposition theorems for two classes of split graphs, a class of bipartite graphs, and a class of cobipartite graphs. These decomposition theorems are based on certain matrix partitions of the corresponding graphs, giving rise to new classes of graphs of bounded clique-width and new polynomially solvable cases of several domination problems.
On the $α$-spectral radius of graphs
For $0\le α\le 1$, Nikiforov proposed to study the spectral properties of the family of matrices $A_α(G)=αD(G)+(1-α)A(G)$ of a graph $G$, where $D(G)$ is the degree diagonal matrix and $A(G)$ is the adjacency matrix. The $α$-spectral radius of $G$ is the largest eigenvalue of $A_α(G)$. We give upper bounds for $α$-spectral radius for unicyclic graphs $G$ with maximum degree $Δ\ge 2$, connected irregular graphs with given maximum degree and and some other graph parameters, and graphs with given domination number, respectively. We determine the unique tree with second maximum $α$-spectral radius among trees, and the unique tree with maximum $α$-spectral radius among trees with given diameter. For a graph with two pendant paths at a vertex or at two adjacent vertex, we prove results concerning the behavior of the $α$-spectral radius under relocation of a pendant edge in a pendant path. We also determine the unique graphs such that the difference between the maximum degree and the $α$-spectral radius is maximum among trees, unicyclic graphs and non-bipartite graphs, respectively.
A median-type condition for graph tiling
Published
• View Publication
• BIB
Komlos [Tiling Turan theorems, Combinatorica, 20,2 (2000), 203{218] determined the asymptotically optimal minimum degree condition for covering a given proportion of vertices of a host graph by vertex-disjoint copies of a fixed graph. We show that the minimum degree condition can be relaxed in the sense that we require only a given fraction of vertices to have the prescribed degree.
Strengthening strong immersions with Kempe chains
Every properly colored graph with $χ(G)=k$ colors has edge-disjoint Kempe "backbones", Kempe chains anchored by color-critical vertices for each pair of colors. Certain color permutations arrange these backbones into a clique-like structure, a strengthening of strong immersions of complete graphs. This strengthened immersion is suggested as a template for identifying the disjoint subgraphs comprising Hadwiger's conjectured $K_k$ minor present in $k$-chromatic graphs.
Cores, shell indices and the degeneracy of a graph limit
The $k$-core of a graph is the maximal subgraph in which every node has degree at least~$k$, the shell index of a node is the largest $k$ such that the $k$-core contains the node, and the degeneracy of a graph is the largest shell index of any node. After a suitable normalization, these three concepts generalize to limits of dense graphs (also called graphons). In particular, the degeneracy is continuous with respect to the cut metric.
Affirmative Solutions On Local Antimagic Chromatic Number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $χ_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $χ_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.
An analogue of Edmonds' Branching Theorem for infinite digraphs
Published
• View Publication
• BIB
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.
The interval number of a planar graph is at most three
The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three intervals suffice. \textit{J.~Comb.~Theory, Ser.~B}, 35:224--239, 1983] proved that the interval number of any planar graph is at most $3$. However the original proof has a flaw. We give a different and shorter proof of this result.