graph
34793 papers tagged with this keyword
The Asymmetric Index of a Graph
Published
• View Publication
• BIB
A graph $G$ is asymmetric if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erdős and Rényi in 1963 where they measured the degree of asymmetry of an asymmetric graph. They proved that any asymmetric graph can be made non-asymmetric by removing some number $r$ of edges and/or adding adding some number $s$ of edges, and defined the degree of asymmetry of a graph to be the minimum value of $r+s$. In this paper, we define another property that how close a given non-asymmetric graph is to being asymmetric. We define the asymmetric index of a graph $G$, denoted $ai(G)$, to be the minimum of $r+s$ in order to change $G$ into an asymmetric graph.
On the Structure of Isometrically Embeddable Metric Spaces
Published
• View Publication
• BIB
Since its popularization in the 1970s the Fiedler vector of a graph has become a standard tool for clustering of the vertices of the graph. Recently, Mendel and Noar, Dumitriu and Radcliffe, and Radcliffe and Williamson have introduced geometric generalizations of the Fiedler vector. Motivated by questions stemming from their work we provide structural characterizations for when a finite metric space can be isometrically embedded in a Hilbert space.
The eternal dominating set problem for interval graphs
Published
• View Publication
• BIB
We prove that, in games in which all the guards move at the same turn, the eternal domination and the clique-connected cover numbers coincide for interval graphs. A linear algorithm for the eternal dominating set problem is obtained as a by-product.
Gallai-Ramsey numbers of $C_{10}$ and $C_{12}$
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in color $i$ for some $i \in \{1, \ldots, k\}$. When $H = H_1 = \cdots = H_k$, we simply write $GR_k(H)$. We continue to study Gallai-Ramsey numbers of even cycles and paths. For all $n\ge3$ and $k\ge1$, let $G_i=P_{2i+3}$ be a path on $2i+3$ vertices for all $i\in\{0,1, \ldots, n-2\}$ and $G_{n-1}\in\{C_{2n}, P_{2n+1}\}$. Let $ i_j\in\{0,1,\ldots, n-1\}$ for all $j\in\{1, \ldots, k\}$ with $ i_1\ge i_2\ge\cdots\ge i_k $. Song recently conjectured that $GR(G_{i_1}, \ldots, G_{i_k}) = 3+\min\{i_1, n^*-2\}+\sum_{j=1}^k i_j$, where $n^* =n$ when $G_{i_1}\ne P_{2n+1}$ and $n^* =n+1$ when $G_{i_1}= P_{2n+1}$. This conjecture has been verified to be true for $n\in\{3,4\}$ and all $k\ge1$. In this paper, we prove that the aforementioned conjecture holds for $n \in\{5, 6\}$ and all $k \ge1$. Our result implies that for all $k \ge 1$, $GR_k(C_{2n}) = GR_k(P_{2n}) = (n-1)k+n+1$ for $n\in\{5,6\}$ and $GR_k(P_{2n+1})= (n-1)k+n+2$ for $1\le n \le6 $.
The matching number of tree and bipartite degree sequences
Published
• View Publication
• BIB
We study the possible values of the matching number among all trees with a given degree sequence as well as all bipartite graphs with a given bipartite degree sequence. For tree degree sequences, we obtain closed formulas for the possible values. For bipartite degree sequences, we show the existence of realizations with a restricted structure, which allows to derive an analogue of the Gale-Ryser Theorem characterizing bipartite degree sequences. More precisely, we show that a bipartite degree sequence has a realization with a certain matching number if and only if a cubic number of inequalities similar to those in the Gale-Ryser Theorem are satisfied. For tree degree sequences as well as for bipartite degree sequences, the possible values of the matching number form intervals.
Foam evaluation and Kronheimer--Mrowka theories
Published
• View Publication
• BIB
We introduce and study combinatorial equivariant analogues of the Kronheimer--Mrowka homology theory of planar trivalent graphs.
Partitioning edge-coloured infinite complete bipartite graphs into monochromatic paths
In 1978, Richard Rado showed that every edge-coloured complete graph of countably infinite order can be partitioned into monochromatic paths of different colours. He asked whether this remains true for uncountable complete graphs and a notion of \emph{generalised paths}. In 2016, Daniel Soukup answered this in the affirmative and conjectured that a similar result should hold for complete bipartite graphs with bipartition classes of the same infinite cardinality, namely that every such graph edge-coloured with $r$ colours can be partitioned into $2r-1$ monochromatic generalised paths with each colour being used at most twice.
In the present paper, we give an affirmative answer to Soukup's conjecture.
Ramsey numbers of Berge-hypergraphs and related structures
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. Let the Ramsey number $R^r(BG,BG)$ be the smallest integer $n$ such that for any $2$-edge-coloring of a complete $r$-uniform hypergraph on $n$ vertices, there is a monochromatic Berge-$G$ subhypergraph. In this paper, we show that the 2-color Ramsey number of Berge cliques is linear. In particular, we show that $R^3(BK_s, BK_t) = s+t-3$ for $s,t \geq 4$ and $\max(s,t) \geq 5$ where $BK_n$ is a Berge-$K_n$ hypergraph. For higher uniformity, we show that $R^4(BK_t, BK_t) = t+1$ for $t\geq 6$ and $R^k(BK_t, BK_t)=t$ for $k \geq 5$ and $t$ sufficiently large. We also investigate the Ramsey number of trace hypergraphs, suspension hypergraphs and expansion hypergraphs.
Zero forcing and maximum nullity for hypergraphs
Published
• View Publication
• BIB
The concept of zero forcing is extended from graphs to uniform hypergraphs in analogy with the way zero forcing was defined as an upper bound for the maximum nullity of the family of symmetric matrices whose nonzero pattern of entries is described by a given graph: A family of symmetric hypermatrices is associated with a uniform hypergraph and zeros are forced in a null vector. The value of the hypergraph zero forcing number and maximum nullity are determined for various families of uniform hypergraphs and the effects of several graph operations on the hypergraph zero forcing number are determined. The hypergraph zero forcing number is compared to the infection number of a hypergraph and the iteration process in hypergraph power domination.
Kasteleyn cokernels and perfect matchings on planar bipartite graphs
Published
• View Publication
• BIB
The determinant method of Kasteleyn gives a method of computing the number of perfect matchings of a planar bipartite graph. In addition, results of Bernardi exhibit a bijection between spanning trees of a planar bipartite graph and elements of its Jacobian. In this paper, we explore an analogue of Bernardi's results, providing a canonical simply transitive group action of the Kasteleyn cokernel of a planar bipartite graph on its set of perfect matchings, when the planar bipartite graph in question is of the form $G^+$, as defined by Kenyon, Propp and Wilson.
Maximum and minimum degree conditions for embedding trees
Published
• View Publication
• BIB
We propose the following conjecture: For every fixed $α\in [0,\frac 13)$, each graph of minimum degree at least $(1+α)\frac k2$ and maximum degree at least $2(1-α)k$ contains each tree with $k$ edges as a subgraph. Our main result is an approximate version of the conjecture for bounded degree trees and large dense host graphs. We also show that our conjecture is asymptotically best possible. The proof of the approximate result relies on a second result, which we believe to be interesting on its own. Namely, we can embed any bounded degree tree into host graphs of minimum/maximum degree asymptotically exceeding $\frac k2$ and $\frac 43k$, respectively, as long as the host graph avoids a specific structure.
Note on the group edge irregularity strength of graphs
Published
• View Publication
• BIB
We investigate the \textit{edge group irregularity strength} ($es_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\mathcal{G}$ of order $s$, there exists a function $f:V(G)\rightarrow \mathcal{G}$ such that the sums of vertex labels at every edge are distinct. In this note we provide some upper bounds on $es_g(G)$ as well as for edge irregularity strength $es(G)$ and harmonious order $\rm{har}(G)$.
The Fundamental Morphism Theorem in the Categories of Graphs & Graph Reconstruction
The Fundamental Morphism Theorem is a categorical version of the First Noether Isomorphism Theorem for categories that do not have kernels or cokernels. We consider two categories of graphs. Both categories will admit graphs with multiple edges and loops, and are distinguished by allowing two different types of homomorphisms, standard graph homomorphisms and more general graph homomorphisms where the contraction of an edge is allowed. We establish the Fundamental Morphism Theorem in these two categories of graphs. We then use the result to provide an equivalent reformulation of the vertex and edge reconstruction conjectures. This reformulation shows that reconstructability is equivalent to the existence of a graph homomorphism satisfying an equation.
Improved Upper Bounds for Gallai-Ramsey Numbers of Odd Cycles
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and a graph $H$, the Gallai-Ramsey number $GR_k(H)$ is the least positive integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H$. Gyárfás, Sárközy, Sebő and Selkow proved in 2010 that $GR_k (H) $ is exponential in $k$ if $H$ is not bipartite, linear in $k$ if $H$ is bipartite but not a star, and constant (does not depend on $k$) when $H$ is a star. Hence, $GR_k(H)$ is more well-behaved than the classical Ramsey number $R_k(H)$. However, finding exact values of $GR_k (H)$ is far from trivial, even when $|V(H)|$ is small. In this paper, we first improve the existing upper bounds for Gallai-Ramsey numbers of odd cycles by showing that $GR_k(C_{2n+1}) \le (n\ln n) \cdot 2^k -(k+1)n+1$ for all $k \ge 3$ and $n \ge 8$. We then prove that $GR_k( C_{13})= 6\cdot 2^k+1$ and $GR_k( C_{15})= 7\cdot 2^k+1$ for all $k\ge1$.
The dispersion time of random walks on finite graphs
Published
• View Publication
• BIB
We study two random processes on an $n$-vertex graph inspired by the internal diffusion limited aggregation (IDLA) model. In both processes $n$ particles start from an arbitrary but fixed origin. Each particle performs a simple random walk until first encountering an unoccupied vertex, and at which point the vertex becomes occupied and the random walk terminates. In one of the processes, called \textit{Sequential-IDLA}, only one particle moves until settling and only then does the next particle start whereas in the second process, called \textit{Parallel-IDLA}, all unsettled particles move simultaneously. Our main goal is to analyze the so-called dispersion time of these processes, which is the maximum number of steps performed by any of the $n$ particles.
In order to compare the two processes, we develop a coupling which shows the dispersion time of the Parallel-IDLA stochastically dominates that of the Sequential-IDLA; however, the total number of steps performed by all particles has the same distribution in both processes. This coupling also gives us that dispersion time of Parallel-IDLA is bounded in expectation by dispersion time of the Sequential-IDLA up to a multiplicative $\log n$ factor. Moreover, we derive asymptotic upper and lower bound on the dispersion time for several graph classes, such as cliques, cycles, binary trees, $d$-dimensional grids, hypercubes and expanders. Most of our bounds are tight up to a multiplicative constant.
Gallai-Ramsey numbers of odd cycles
Given two graphs $G$ and $H$ and a positive integer $k$, the $k$-color Gallai-Ramsey number, denoted by $gr_{k}(G : H)$, is the minimum integer $N$ such that for all $n \geq N$, every $k$-coloring of the edges of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. We prove that $gr_{k} (K_{3} : C_{2\ell + 1}) = \ell \cdot 2^{k} + 1$ for all $k \geq 1$ and $\ell \geq 3$.
The Undirected Optical Indices of Trees
Published
• View Publication
• BIB
For a connected graph $G$, an instance $I$ is a set of pairs of vertices and a corresponding routing $R$ is a set of paths specified for all vertex-pairs in $I$. Let $\mathfrak{R}_I$ be the collection of all routings with respect to $I$. The undirected optical index of $G$ with respect to $I$ refers to the minimum integer $k$ to guarantee the existence of a mapping $φ:R\to\{1,2,\ldots,k\}$, such that $φ(P)\neqφ(P')$ if $P$ and $P'$ have common edge(s), over all routings $R\in\mathfrak{R}_I$. A natural lower bound of the undirected optical index is the edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible routings. Let $w(G,I)$ and $π(G,I)$ denote the undirected optical index and edge-forwarding index with respect to $I$, respectively. In this paper, we derive the inequality $w(T,I_A)<\frac{3}{2}π(T,I_A)$ for any tree $T$, where $I_A:=\{\{x,y\}:\,x,y\in V(T)\}$ is the all-to-all instance.
A Set of Conjectured Identities for Stirling Numbers of the First Kind
Given an integer g, g > 1, an integer w, -1 < w <g - 1, and a set of g distinct numbers, c_1, ..., c_g, we present a conjectured identity for Stirling numbers of the first kind. We have proven all the equalities in case g < 7; and for the case g = 7, provided w < 4. These expressions arise from an aspect of the study of the dimer-monomer problem on regular graphs.
Classification of Reconfiguration Graphs of Shortest Path Graphs With No Induced $4$-cycles
Published
• View Publication
• BIB
For any graph $G$ with $a,b\in V(G)$, a shortest path reconfiguration graph can be formed with respect to $a$ and $b$; we denote such a graph as $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths from $a$ to $b$ in $G$ while two vertices $U,W$ in $V(S(G,a,b))$ are adjacent if and only if the vertex sets of the paths that represent $U$ and $W$ differ in exactly one vertex. In a recent paper [Asplund et al., \textit{Reconfiguration graphs of shortest paths}, Discrete Mathematics \textbf{341} (2018), no. 10, 2938--2948], it was shown that shortest path graphs with girth five or greater are exactly disjoint unions of even cycles and paths. In this paper, we extend this result by classifying all shortest path graphs with no induced $4$-cycles.
Safe 3-coloring of graphs
The applications of graph coloring are diverse and many so lots of new types of coloring are being proposed and explored. Here we define a safe k-coloring, motivated by the application of coloring to secret sharing. Secret sharing is a way of securing a secret from a number of attackers by dividing it into parts and then distributing those parts to some persons, represented here by graph vertices. Parts of the secret are represented by colors which are then assigned to the vertices under certain conditions, making a coloring safe if a predetermined number of attackers cannot read the whole secret, nor disable the rest of the group from doing so. We observe a fixed number of colors, namely 3, and analyze what kind of graphs have a safe 3-coloring.