graph
35436 papers tagged with this keyword
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.
Treewidth and gonality of glued grid graphs
Published
• View Publication
• BIB
We compute the treewidth of a family of graphs we refer to as the glued grids, consisting of the stacked prism graphs and the toroidal grids. Our main technique is constructing strict brambles of large orders. We discuss connections to divisorial graph theory coming from tropical geometry, and use our results to compute the divisorial gonality of these graphs.
Strong cliques in vertex-transitive graphs
A clique (resp., independent set) in a graph is strong if it intersects every maximal independent sets (resp., every maximal cliques). A graph is CIS if all of its maximal cliques are strong and localizable if it admits a partition of its vertex set into strong cliques. In this paper we prove that a clique $C$ in a vertex-transitive graph $Γ$ is strong if and only if $|C||I|=|V(Γ)|$ for every maximal independent set $I$ of $Γ$. Based on this result we prove that a vertex-transitive graph is CIS if and only if it admits a strong clique and a strong independent set. We classify all vertex-transitive graphs of valency at most 4 admitting a strong clique, and give a partial characterization of $5$-valent vertex-transitive graphs admitting a strong clique. Our results imply that every vertex-transitive graph of valency at most $5$ that admits a strong clique is localizable. We answer an open question by providing an example of a vertex-transitive CIS graph which is not localizable.
Bisplit graphs satisfy the Chen-Chvátal conjecture
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (May 29, 2019) dmtcs:4813
• View Publication
• BIB
In this paper, we give a lengthy proof of a small result! A graph is bisplit if its vertex set can be partitioned into three stable sets with two of them inducing a complete bipartite graph. We prove that these graphs satisfy the Chen-Chvátal conjecture: their metric space (in the usual sense) has a universal line (in an unusual sense) or at least as many lines as the number of vertices.
Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces
Published in European Journal of Mathematics, 2020
• View Publication
• BIB
Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the Kronrod-Reeb graph of $f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is an important ingredient in determining the homotopy type of the orbit of $f$ with respect to the above action of $\mathcal{D}_{\mathrm{id}}(M)$ and it is trivial if $f$ is "generic", i.e. has at most one critical point at each level set $f^{-1}(c)$, $c\in\mathbb{R}$.
For the case when $M$ is distinct from $2$-sphere and $2$-torus we present a precise description of the family $\mathbf{G}(M,\mathbb{R})$ of isomorphism classes of groups $\mathbf{G}(f)$, where $f$ runs over all Morse functions on $M$, and of its subfamily $\mathbf{G}^{smp}(M,\mathbb{R}) \subset \mathbf{G}(M,\mathbb{R})$ consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set.
In fact, $\mathbf{G}(M,\mathbb{R})$, (resp. $\mathbf{G}^{smp}(M,\mathbb{R})$), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group $\mathbb{Z}_2$ only).
A Size Condition for Diameter Two Orientable Graphs
Published
• View Publication
• BIB
It was conjectured by Koh and Tay [Graphs Combin. 18(4) (2002), 745--756] that for $n\geq 5$ every simple graph of order $n$ and size at least $\binom{n}{2}-n+5$ has an orientation of diameter two. We prove this conjecture and hence determine for every $n\geq 5$ the minimum value of $m$ such that every graph of order $n$ and size $m$ has an orientation of diameter two.
Optimal Grid Drawings of Complete Multipartite Graphs and an Integer Variant of the Algebraic Connectivity
Published
• View Publication
• BIB
How to draw the vertices of a complete multipartite graph $G$ on different points of a bounded $d$-dimensional integer grid, such that the sum of squared distances between vertices of $G$ is (i) minimized or (ii) maximized? For both problems we provide a characterization of the solutions. For the particular case $d=1$, our solution for (i) also settles the minimum-2-sum problem for complete bipartite graphs; the minimum-2-sum problem was defined by Juvan and Mohar in 1992. Weighted centroidal Voronoi tessellations are the solution for (ii). Such drawings are related with Laplacian eigenvalues of graphs. This motivates us to study which properties of the algebraic connectivity of graphs carry over to the restricted setting of drawings of graphs with integer coordinates.
Alignment Strength and Correlation for Graphs
Published
• View Publication
• BIB
When two graphs have a correlated Bernoulli distribution, we prove that the alignment strength of their natural bijection strongly converges to a novel measure of graph correlation $ρ_T$ that neatly combines intergraph with intragraph distribution parameters. Within broad families of the random graph parameter settings, we illustrate that exact graph matching runtime and also matchability are both functions of $ρ_T$, with thresholding behavior starkly illustrated in matchability.
No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Published in Journal of Combinatorial Theory, Series A, Vol. 171, April 2020
• View Publication
• BIB
We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound.
On the isometric path partition problem
Published
• View Publication
• BIB
The isometric path cover (partition) problem of a graph is to find a minimum set of isometric paths which cover (partition) the vertex set of the graph. The isometric path cover (partition) number of a graph is the cardinality a minimum isometric path cover (partition). We prove that the isometric path partition problem and the isometric $k$-path partition problem for $k\geq 3$ are NP-complete on general graphs. Fisher and Fitzpatrick \cite{FiFi01} have shown that the isometric path cover number of $(r\times r)$-dimensional grid is $\lceil 2r/3\rceil$. We show that the isometric path cover (partition) number of $(r\times s)$-dimensional grid is $s$ when $r \geq s(s-1)$. We establish that the isometric path cover (partition) number of $(r\times r)$-dimensional torus is $r$ when $r$ is even and is either $r$ or $r+1$ when $r$ is odd. Then, we demonstrate that the isometric path cover (partition) number of an $r$-dimensional Benes network is $2^r$. In addition, we provide partial solutions for the isometric path cover (partition) problems for cylinder and multi-dimensional grids.
Hamilton cycles in vertex-transitive graphs of order a product of two primes
A step forward is made in a long standing Lovász's problem regarding hamiltonicity of vertex-transitive graphs by showing that every connected vertex-transitive graph of order a product of two primes, other than the Petersen graph, contains a Hamilton cycle. Essential tools used in the proof range from classical results on existence of Hamilton cycles, such as Chvátal's theorem and Jackson's theorem, to certain results on polynomial representations of quadratic residues at primitive roots in finite fields.
Asymptotically good edge correspondence colouring
Published
• View Publication
• BIB
We prove that every simple graph with maximum degree $Δ$ has an edge correspondence colouring with $Δ+o(Δ)$ colours.
A short exposition of S. Parsa's theorems on intrinsic linking and non-realizability
Published in Discr. Comp. Geom. 65:2 (2021), 584-585
• View Publication
• BIB
We present a short exposition of the following results by S. Parsa.
Let $L$ be a graph such that the join $L*\{1,2,3\}$ (i.e. the union of three cones over $L$ along their common bases) piecewise linearly (PL) embeds into $\mathbb R^4$. Then $L$ admits a PL embedding into $\mathbb R^3$ such that any two disjoint cycles have zero linking number.
There is $C$ such that every 2-dimensional simplicial complex having $n$ vertices and embeddable into $\mathbb R^4$ contains less than $Cn^{8/3}$ simplices of dimension 2.
We also present the analogue of the second result for intrinsic linking.
What is an answer? - remarks, results and problems on PIO formulas in combinatorial enumeration, part I
For enumerative problems, i.e. computable functions f from N to Z, we define the notion of an effective (or closed) formula. It is an algorithm computing f(n) in the number of steps that is polynomial in the combined size of the input n and the output f(n), both written in binary notation. We discuss many examples of enumerative problems for which such closed formulas are, or are not, known. These problems include (i) linear recurrence sequences and holonomic sequences, (ii) integer partitions, (iii) pattern-avoiding permutations, (iv) triangle-free graphs and (v) regular graphs. In part I we discuss problems (i) and (ii) and defer (iii)--(v) to part II. Besides other results, we prove here that every linear recurrence sequence of integers has an effective formula in our sense.
Simply Generated Unrooted Plane Trees
Published
• View Publication
• BIB
We study random unrooted plane trees with $n$ vertices sampled according to the weights corresponding to the vertex-degrees. Our main result shows that if the generating series of the weights has positive radius of convergence, then this model of random trees may be approximated geometrically by a Galton--Watson tree conditioned on having a large random size.
This implies that a variety of results for the well-studied planted case also hold for unrooted trees, including Gromov--Hausdorff--Prokhorov scaling limits, tail-bounds for the diameter, distributional graph limits, and limits for the maximum degree. Our work complements results by Wang~(2016), who studied random unrooted plane trees whose diameter tends to infinity.
Detecting strong cliques
A strong clique in a graph is a clique intersecting every maximal independent set. We study the computational complexity of six algorithmic decision problems related to strong cliques in graphs and almost completely determine their complexity in the classes of chordal graphs, weakly chordal graphs, line graphs and their complements, and graphs of maximum degree at most three. Our results rely on connections with matchings and relate to several graph properties studied in the literature, including well-covered graphs, localizable graphs, and general partition graphs.