arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
2017-08-14 v2
Cubic graphs with small independence ratio
Published • View Publication • BIB
Let $i(r,g)$ denote the infimum of the ratio $\frac{α(G)}{|V(G)|}$ over the $r$-regular graphs of girth at least $g$, where $α(G)$ is the independence number of $G$, and let $i(r,\infty) := \lim\limits_{g \to \infty} i(r,g)$. Recently, several new lower bounds of $i(3,\infty)$ were obtained. In particular, Hoppen and Wormald showed in 2015 that $i(3, \infty) \ge 0.4375$, and Csóka improved it to $i(3,\infty) \ge 0.44533$ in 2016. Bollobás proved the upper bound $i(3,\infty) < \frac{6}{13}$ in 1981, and McKay improved it to $i(3,\infty) < 0.45537$ in 1987. There were no improvements since then. In this paper, we improve the upper bound to $i(3,\infty) \le 0.454.$
2017-08-14 v2
Asymptotically Almost Every $2r$-regular Graph has an Internal Partition
Published • View Publication • BIB
An internal partition of a graph is a partitioning of the vertex set into two parts such that for every vertex, at least half of its neighbors are on its side. We prove that for every positive integer $r$, asymptotically almost every $2r$-regular graph has an internal partition.
2017-08-14 v3
Planarity, duality and Laplacian congruence
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 113 (2020), 299-321 • Search Publication
We discuss the connections tying Laplacian matrices to abstract duality and planarity of graphs.
2017-08-14 v3
The minimum color degree and a large rainbow cycle in an edge-colored graph
Let $G$ be an edge-colored graph with $n$ vertices. A subgraph $H$ of $G$ is called a rainbow subgraph of $G$ if the colors of each pair of the edges in $E(H)$ are distinct. We define the minimum color degree of $G$ to be the smallest number of the colors of the edges that are incident to a vertex $v$, for all $v\in V(G)$. Suppose that $G$ contains no rainbow-cycle subgraph of length four. We show that if the minimum color degree of $G$ is at least $\frac{n+3k-2}{2}$, then $G$ contains a rainbow-cycle subgraph of length at least $k$, where $k\geq 5$. Moreover, if the condition of $G$ is restricted to a triangle-free graph that contains a rainbow path of length at least $\frac{3k}{2}$, then the lower bound of the minimum color degree of $G$ that guarantees an existence of a rainbow-cycle subgraph of length to at least $k$ can be reduced to $\frac{2n+3k-1}{4}$.
2017-08-14 v4
Z-knotted triangulations of surfaces
Published • View Publication • BIB
A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We show that every triangulation of a connected closed $2$-dimensional surface admits a $z$-knotted shredding.
2017-08-13 v4
Free subgroups of free products and combinatorial hypermaps
Published in Discrete Mathematics, 2019 • View Publication • BIB
We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $Δ^+$, which correspond to isomorphism classes of hypermaps. Asymptotic formulas are provided for the numbers of free subgroups of given finite index, conjugacy classes of such subgroups, or, equivalently, various types of hypermaps and their isomorphism classes.
2017-08-13 v5
The Johansson--Molloy Theorem for DP-Coloring
Published in Random Structures and Algorithms, vol. 54, issue 4, 2019, 653--664 • View Publication • BIB
The aim of this note is twofold. On the one hand, we present a streamlined version of Molloy's new proof of the bound $χ(G) \leq (1+o(1))Δ(G)/\ln Δ(G)$ for triangle-free graphs $G$, avoiding the technicalities of the entropy compression method and only using the usual "lopsided" Lovász Local Lemma (albeit in a somewhat unusual setting). On the other hand, we extend Molloy's result to DP-coloring (also known as correspondence coloring), a generalization of list coloring introduced recently by Dvořák and Postle.
2017-08-13
Strong geodetic problem in grid like architectures
A recent variation of the classical geodetic problem, the strong geodetic problem, is defined as follows. If $G$ is a graph, then ${\rm sg}(G)$ is the cardinality of a smallest vertex subset $S$, such that one can assign a fixed geodesic to each pair $\{x,y\}\subseteq S$ so that these $\binom{|S|}{2}$ geodesics cover all the vertices of $G$. In this paper, the strong geodesic problem is studied on Cartesian product graphs. A general upper bound is proved on the Cartesian product of a path with an arbitrary graph and showed that the bound is tight on flat grids and flat cylinders.
2017-08-13 v12
Ribbon invariants I
A non-negative integer invariant, estimating from below the number of geometrically different critical points of a smooth function $f$ defined in the 2-disk, $f:\mathbb{B}^{2}\rightarrow\mathbb{R}$, is considered. (We denote it by "$γ$".) It depends on combined $C^{0}+C^{1}$ type conditions on the boundary $\partial(\mathbb{B}^{2})=\mathbb{S}^{1}$, that we call "ribbons" here. It turns out to be an alternative to the degree of the gradient map and almost independent from it. Note that the computation of the degree does not guarantee multiple critical points, unlike the ribbon invariant $γ$. In fact, this invariant is counting the number of essential components of the critical set, rather than simply the number of critical points. Various estimates of $γ$ are established. Some other "ribbon type" invariants of geometrical nature are defined and investigated. All these invariants turn out to be more combinatorial, rather than algebraic, in nature. Algorithms for the calculation of the ribbon invariants are presented. Interconnections with some different areas, such as the theory of immersed curves in the plane or independent domination in graphs, as well as various geometric applications, are commented. The latter topics will be investigated in detail in Part II of the present article. At the end, different questions about $γ$ are asked.
2017-08-13
Bivariate Domination Polynomial
We introduce a new bivariate polynomial ${\displaystyle J(G; x,y):=\sum\limits_{W \in V(G)} x^{|W|}y^{|N(W)|}}$ which contains the standard domination polynomial of the graph $G$ in two different ways. We build methods for efficient calculation of this polynomial and prove that there are still some families of graphs which have the same bivariate polynomial.
2017-08-11
From cycles to circles in Cayley graphs
For locally finite infinite graphs the notion of Hamilton cycles can be extended to Hamilton circles, homeomorphic images of $S^1$ in the Freudenthal compactification. In this paper we extend some well-known theorems of the Hamiltonicity of finite Cayley graphs to infinite Cayley graphs.
2017-08-11 v2
Tensor Models, Kronecker coefficients and Permutation Centralizer Algebras
Published in JHEP 11 (2017) 092 • View Publication • BIB
We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal basis for the tensor observables which diagonalizes the Gaussian two-point functions. The centres of the algebras are associated with correlators which are expressible in terms of Kronecker coefficients (Clebsch-Gordan multiplicities of symmetric groups). The color-exchange symmetry present in the Gaussian model, as well as a large class of interacting models, is used to refine the description of the permutation centralizer algebras. This discussion is extended to a general number of colors $d$: it is used to prove the integrality of an infinite family of number sequences related to color-symmetrizations of colored graphs, and expressible in terms of symmetric group representation theory data. Generalizing a connection between matrix models and Belyi maps, correlators in Gaussian tensor models are interpreted in terms of covers of singular 2-complexes. There is an intriguing difference, between matrix and higher rank tensor models, in the computational complexity of superficially comparable correlators of observables parametrized by Young diagrams.
2017-08-11
On the structure of graphs excluding $K_{4}$, $W_{4}$, $K_{2,4}$ and one other graph as a rooted minor
In this paper we give structural characterizations of graphs not containing rooted $K_{4}$, $W_{4}$, $K_{2,4}$, and a graph we call $L$.
Two-vertex generators of Jacobians of graphs
Published • View Publication • BIB
We give necessary and sufficient conditions under which the Jacobian of a graph is generated by a divisor that is the difference of two vertices. This answers a question posed by Becker and Glass and allows us to prove various other propositions about the order of divisors that are the difference of two vertices. We conclude with some conjectures about these divisors on random graphs and support them with empirical evidence.
2017-08-10
A note on the vertex arboricity of signed graphs
A signed tree-coloring of a signed graph $(G,σ)$ is a vertex coloring $c$ so that $G^{c}(i,\pm)$ is a forest for every $i\in c(u)$ and $u\in V(G)$, where $G^{c}(i,\pm)$ is the subgraph of $(G,σ)$ whose vertex set is the set of vertices colored by $i$ or $-i$ and edge set is the set of positive edges with two end-vertices colored both by $i$ or both by $-i$, along with the set of negative edges with one end-vertex colored by $i$ and the other colored by $-i$. If $c$ is a function from $V(G)$ to $M_n$, where $M_n$ is $\{\pm 1,\pm 2,\ldots,\pm k\}$ if $n=2k$, and $\{0,\pm 1,\pm 2,\ldots,\pm k\}$ if $n=2k+1$, then $c$ a signed tree-$n$-coloring of $(G,σ)$. The minimum integer $n$ such that $(G,σ)$ admits a signed tree-$n$-coloring is the signed vertex arboricity of $(G,σ)$, denoted by $va(G,σ)$. In this paper, we first show that two switching equivalent signed graphs have the same signed vertex arboricity, and then prove that $va(G,σ)\leq 3$ for every balanced signed triangulation and for every edge-maximal $K_5$-minor-free graph with balanced signature. This generalizes the well-known result that the vertex arboricity of every planar graph is at most 3.
2017-08-10
Twins and Vertex- Identification on Graphs
Recently, several vertex identifying notions were introduced (identifying coloring, lid-coloring, ...), these notions were inspired by identifying codes. All of them, as well as original identifying code, are based on separating two vertices according to some conditions on their closed neighborhood. Therefore, twins can not be identified. So most of known results focus on twin-free graph. Here, we show how twins can modify optimal value of vertex-identifying parameters for identifying coloring and locally identifying coloring. \textbf{Keyword :} Identifying coloring, locally identifying coloring, twins, separating.
Sampling perspectives on sparse exchangeable graphs
Published in Annals of Probability 47 (2019), no. 5, 2754-2800 • View Publication • BIB
Recent work has introduced sparse exchangeable graphs and the associated graphex framework, as a generalization of dense exchangeable graphs and the associated graphon framework. The development of this subject involves the interplay between the statistical modeling of network data, the theory of large graph limits, exchangeability, and network sampling. The purpose of the present paper is to clarify the relationships between these subjects by explaining each in terms of a certain natural sampling scheme associated with the graphex model. The first main technical contribution is the introduction of sampling convergence, a new notion of graph limit that generalizes left convergence so that it becomes meaningful for the sparse graph regime. The second main technical contribution is the demonstration that the (somewhat cryptic) notion of exchangeability underpinning the graphex framework is equivalent to a more natural probabilistic invariance expressed in terms of the sampling scheme.
2017-08-10 v2
The free-fermionic $C^{(1)}_2$ loop model, double dimers and Kashaev's recurrence
Published in Journal of Combinatorial Theory, Series A. Volume 158, August 2018, Pages 407-448 • View Publication • BIB
We study a two-color loop model known as the $C^{(1)}_2$ loop model. We define a free-fermionic regime for this model, and show that under this assumption it can be transformed into a double dimer model. We then compute its free energy on periodic planar graphs. We also study the star-triangle relation or Yang-Baxter equations of this model, and show that after a proper parametrization they can be summed up into a single relation known as Kashaev's relation. This is enough to identify the solution of Kashaev's relation as the partition function of a $C^{(1)}_2$ loop model with some boundary conditions, thus solving an open question of Kenyon and Pemantle about the combinatorics of Kashaev's relation.
2017-08-10 v3
Zero forcing in iterated line digraphs
Published in Discrete Applied Mathematics 255 (2019), 198-208 • View Publication • BIB
Zero forcing is a propagation process on a graph, or digraph, defined in linear algebra to provide a bound for the minimum rank problem. Independently, zero forcing was introduced in physics, computer science and network science, areas where line digraphs are frequently used as models. Zero forcing is also related to power domination, a propagation process that models the monitoring of electrical power networks. In this paper we study zero forcing in iterated line digraphs and provide a relationship between zero forcing and power domination in line digraphs. In particular, for regular iterated line digraphs we determine the minimum rank/maximum nullity, zero forcing number and power domination number, and provide constructions to attain them. We conclude that regular iterated line digraphs present optimal minimum rank/maximum nullity, zero forcing number and power domination number, and apply our results to determine those parameters on some families of digraphs often used in applications.
2017-08-09
A kind of conditional connectivity of transposition networks generated by $k$-trees
Published • View Publication • BIB
For a graph $G = (V, E)$, a subset $F\subset V(G)$ is called an $R_k$-vertex-cut of $G$ if $G -F$ is disconnected and each vertex $u \in V(G)- F$ has at least $k$ neighbors in $G -F$. The $R_k$-vertex-connectivity of $G$, denoted by $κ^k(G)$, is the cardinality of the minimum $R_k$-vertex-cut of $G$, which is a refined measure for the fault tolerance of network $G$. In this paper, we study $κ^2$ for Cayley graphs generated by $k$-trees. Let $Sym(n)$ be the symmetric group on $\{1, 2, \cdots ,n\}$ and $\mathcal{T}$ be a set of transpositions of $Sym(n)$. Let $G(\mathcal{T})$ be the graph on $n$ vertices $\{1, 2, . . . ,n\}$ such that there is an edge $ij$ in $G(\mathcal{T})$ if and only if the transposition $ij\in \mathcal{T}$. The graph $G(\mathcal{T})$ is called the transposition generating graph of $\mathcal{T}$. We denote by $Cay(Sym(n),\mathcal{T})$ the Cayley graph generated by $G(\mathcal{T})$. The Cayley graph $Cay(Sym(n),\mathcal{T})$ is denoted by $T_kG_n$ if $G(\mathcal{T})$ is a $k$-tree. We determine $κ^2(T_kG_n)$ in this work. The trees are $1$-trees, and the complete graph on $n$ vertices is a $n-1$-tree. Thus, in this sense, this work is a generalization of the such results on Cayley graphs generated by transposition generating trees and the complete-transposition graphs.