arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35436 papers tagged with this keyword
2020-07-01
A simple bipartite graph projection model for clustering in networks
Graph datasets are frequently constructed by a projection of a bipartite graph, where two nodes are connected in the projection if they share a common neighbor in the bipartite graph; for example, a coauthorship graph is a projection of an author-publication bipartite graph. Analyzing the structure of the projected graph is common, but we do not have a good understanding of the consequences of the projection on such analyses. Here, we propose and analyze a random graph model to study what properties we can expect from the projection step. Our model is based on a Chung-Lu random graph for constructing the bipartite representation, which enables us to rigorously analyze the projected graph. We show that common network properties such as sparsity, heavy-tailed degree distributions, local clustering at nodes, the inverse relationship between node degree, and global transitivity can be explained and analyzed through this simple model. We also develop a fast sampling algorithm for our model, which we show is provably optimal for certain input distributions. Numerical simulations where model parameters come from real-world datasets show that much of the clustering behavior in some datasets can just be explained by the projection step.
2020-06-30
Systems of parameters and the Cohen--Macaulay property
Published • View Publication • BIB
We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form $x_i-x_j$. This provides an algebraic characterization of König graphs. We use this special parameter systems for the study of the edge ideal of König graphs and the study of the order complex of a certain family of posets. Finally, for any simplicial complex $Δ$ we introduce a system of parameters for $K[Δ]$ with a universal construction principle, independent of the base field and only dependent on the faces of $Δ$. This system of parameters is an efficient tool to test Cohen--Macaulayness of the Stanley--Reisner ring of a simplicial complex.
Counting independent sets in Riordan graphs
Published • View Publication • BIB
The notion of a Riordan graph was introduced recently, and it is a far-reaching generalization of the well-known Pascal graphs and Toeplitz graphs. However, apart from a certain subclass of Toeplitz graphs, nothing was known on independent sets in Riordan graphs. In this paper, we give exact enumeration and lower and upper bounds for the number of independent sets for various classes of Riordan graphs. Remarkably, we offer a variety of methods to solve the problems that range from the structural decomposition theorem to methods in combinatorics on words. Some of our results are valid for any graph.
2020-06-30
Graph Laplacians, Riemannian Manifolds and their Machine-Learning
Published • View Publication • BIB
Graph Laplacians as well as related spectral inequalities and (co-)homology provide a foray into discrete analogues of Riemannian manifolds, providing a rich interplay between combinatorics, geometry and theoretical physics. We apply some of the latest techniques in data science such as supervised and unsupervised machine-learning and topological data analysis to the Wolfram database of some 8000 finite graphs in light of studying these correspondences. Encouragingly, we find that neural classifiers, regressors and networks can perform, with high efficiently and accuracy, a multitude of tasks ranging from recognizing graph Ricci-flatness, to predicting the spectral gap, to detecting the presence of Hamiltonian cycles, etc.
2020-06-30
Matchings in regular graphs: minimizing the partition function
For a graph $G$ on $v(G)$ vertices let $m_k(G)$ denote the number of matchings of size $k$, and consider the partition function $M_{G}(λ)=\sum_{k=0}^nm_k(G)λ^k$. In this paper we show that if $G$ is a $d$--regular graph and $0<λ<(4d)^{-2}$, then $$\frac{1}{v(G)}\ln M_G(λ)>\frac{1}{v(K_{d+1})}\ln M_{K_{d+1}}(λ).$$ The same inequality holds true if $d=3$ and $λ<0.3575$. More precise conjectures are also given.
2020-06-30 v2
Short survey on stable polynomials, orientations and matchings
This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.
Thinness of product graphs
Published in Discrete Applied Mathematics 312 (2022), 52-71 • View Publication • BIB
The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in general for products, in the sense that for most of the graph products defined in the literature, the thinness of the product of two graphs is bounded by a function (typically product or sum) of their thinness, or of the thinness of one of them and the size of the other. We also show for some cases the non-existence of such a function.
2020-06-30
A characterisation of virtually free groups via minor exclusion
Published • View Publication • BIB
We give a new characterisation of virtually free groups using graph minors. Namely, we prove that a finitely generated, infinite group is virtually free if and only if for any finite generating set, the corresponding Cayley graph is minor excluded. This answers a question of Ostrovskii and Rosenthal. The proof relies on showing that a finitely generated group that is minor excluded with respect to every finite generating set is accessible, using a graph-theoretic characterisation of accessibility due to Thomassen and Woess.
Precedence thinness in graphs
Published in Discrete Applied Mathematics 323 (2022), 76-95 • View Publication • BIB
Interval and proper interval graphs are very well-known graph classes, for which there is a wide literature. As a consequence, some generalizations of interval graphs have been proposed, in which graphs in general are expressed in terms of $k$ interval graphs, by splitting the graph in some special way. As a recent example of such an approach, the classes of $k$-thin and proper $k$-thin graphs have been introduced generalizing interval and proper interval graphs, respectively. The complexity of the recognition of each of these classes is still open, even for fixed $k \geq 2$. In this work, we introduce a subclass of $k$-thin graphs (resp. proper $k$-thin graphs), called precedence $k$-thin graphs (resp. precedence proper $k$-thin graphs). Concerning partitioned precedence $k$-thin graphs, we present a polynomial time recognition algorithm based on $PQ$-trees. With respect to partitioned precedence proper $k$-thin graphs, we prove that the related recognition problem is \NP-complete for an arbitrary $k$ and polynomial-time solvable when $k$ is fixed. Moreover, we present a characterization for these classes based on threshold graphs.
2020-06-30
Dichotomizing $k$-vertex-critical $H$-free graphs for $H$ of order four
Published • View Publication • BIB
For $k \geq 3$, we prove (i) there is a finite number of $k$-vertex-critical $(P_2+\ell P_1)$-free graphs and (ii) $k$-vertex-critical $(P_3+P_1)$-free graphs have at most $2k-1$ vertices. Together with previous research, these results imply the following characterization where $H$ is a graph of order four: There is a finite number of $k$-vertex-critical $H$-free graphs for fixed $k \geq 5$ if and only if $H$ is one of $\overline{K_4}, P_4, P_2 + 2P_1$, or $P_3 + P_1$. Our results imply the existence of new polynomial-time certifying algorithms for deciding the $k$-colorability of $(P_2+\ell P_1)$-free graphs for fixed $k$.
Hamiltonicity of the Double Vertex Graph and the Complete Double Vertex Graph of some Join Graphs
Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which $F_2(G)$ and $M_2(G)$ are Hamiltonian. This family of graphs is the set of join graphs $G=G_1 + G_2$, where $G_1$ and $G_2$ are of order $m\geq 1$ and $n\geq 2$, respectively, and $G_2$ has a Hamiltonian path. For this family of graphs, we show that if $m\leq 2n$ then $F_2(G)$ is Hamiltonian, and if $m\leq 2(n-1)$ then $M_2(G)$ is Hamiltonian.
2020-06-30 v2
Improved bounds on the Ramsey number of fans
Published in European Journal of Combinatorics, 96 (2021) 103347 • View Publication • BIB
For a given graph $H$, the Ramsey number $r(H)$ is the minimum $N$ such that any 2-edge-coloring of the complete graph $K_N$ yields a monochromatic copy of $H$. Given a positive integer $n$, a \emph{fan }$F_n$ is a graph formed by $n$ triangles that share one common vertex. We show that ${9n}/{2}-5\le r(F_n)\le {11n}/{2} + 6$ for any $n$. This improves previous best bounds $r(F_n) \le 6n$ of Lin and Li and $r(F_n) \ge 4n+2$ of Zhang, Broersma and Chen.
2020-06-29
Asymptotic enumeration of digraphs and bipartite graphs by degree sequence
Published • View Publication • BIB
We provide asymptotic formulae for the numbers of bipartite graphs with given degree sequence, and of loopless digraphs with given in- and out-degree sequences, for a wide range of parameters. Our results cover medium range densities and close the gaps between the results known for the sparse and dense ranges. In the case of bipartite graphs, these results were proved by Greenhill, McKay and Wang in 2006 and by Canfield, Greenhill and McKay in 2008, respectively. Our method also essentially covers the sparse range, for which much less was known in the case of loopless digraphs. For the range of densities which our results cover, they imply that the degree sequence of a random bipartite graph with m edges is accurately modelled by a sequence of independent binomial random variables, conditional upon the sum of variables in each part being equal to m. A similar model also holds for loopless digraphs.
2020-06-29 v2
Flexible List Colorings in Graphs with Special Degeneracy Conditions
Published in Journal of Graph Theory 101(4), 717-745, 2022; Proceedings: ISAAC 2020, 31:1-31:15 • View Publication • BIB
For a given $\varepsilon > 0$, we say that a graph $G$ is $\varepsilon$-flexibly $k$-choosable if the following holds: for any assignment $L$ of color lists of size $k$ on $V(G)$, if a preferred color from a list is requested at any set $R$ of vertices, then at least $\varepsilon |R|$ of these requests are satisfied by some $L$-coloring. We consider the question of flexible choosability in several graph classes with certain degeneracy conditions. We characterize the graphs of maximum degree $Δ$ that are $\varepsilon$-flexibly $Δ$-choosable for some $\varepsilon = \varepsilon(Δ) > 0$, which answers a question of Dvořák, Norin, and Postle [List coloring with requests, JGT 2019]. In particular, we show that for any $Δ\geq 3$, any graph of maximum degree $Δ$ that is not isomorphic to $K_{Δ+1}$ is $\frac{1}{6Δ}$-flexibly $Δ$-choosable. Our fraction of $\frac{1}{6 Δ}$ is within a constant factor of being the best possible. We also show that graphs of treewidth $2$ are $\frac{1}{3}$-flexibly $3$-choosable, answering a question of Choi et al.~[arXiv 2020], and we give conditions for list assignments by which graphs of treewidth $k$ are $\frac{1}{k+1}$-flexibly $(k+1)$-choosable. We show furthermore that graphs of treedepth $k$ are $\frac{1}{k}$-flexibly $k$-choosable. Finally, we introduce a notion of flexible degeneracy, which strengthens flexible choosability, and we show that apart from a well-understood class of exceptions, 3-connected non-regular graphs of maximum degree $Δ$ are flexibly $(Δ- 1)$-degenerate.
2020-06-29
Unicellular maps and filtrations of the mapping class group
This article first answers to questions about connectedness of a new family of graphs on unicellular maps. Answering these questions goes through a description of the mapping class group as surgeries on unicellular maps. We also show how unicellular maps encode subgroups of the mapping group and provide filtrations of the mapping class group. These facts add a layer on the ubiquitous character of unicellular maps.
2020-06-29
Generalized Turán problems for small graphs
Published • View Publication • BIB
For graphs $H$ and $F$, the generalized Turán number $ex(n,H,F)$ is the largest number of copies of $H$ in an $F$-free graph on $n$ vertices. We consider this problem when both $H$ and $F$ have at most four vertices. We give sharp results in almost all cases, and connect the remaining cases to well-known unsolved problems. Our main new contribution is applying the progressive induction method of Simonovits for generalized Turán problems.
2020-06-29
On Cohen-Macaulay Hopf monoids in species
We study Cohen-Macaulay Hopf monoids in the category of species. The goal is to apply techniques from topological combinatorics to the study of polynomial invariants arising from combinatorial Hopf algebras. Given a polynomial invariant arising from a linearized Hopf monoid, we show that under certain conditions it is the Hilbert polynomial of a relative simplicial complex. If the Hopf monoid is Cohen-Macaulay, we give necessary and sufficient conditions for the corresponding relative simplicial complex to be relatively Cohen-Macaulay, which implies that the polynomial has a nonnegative $h$-vector. We apply our results to the weak and strong chromatic polynomials of acyclic mixed graphs, and the order polynomial of a double poset.
2020-06-29 v2
Applying Skolem Sequences to Gracefully Label New Families of Triangular Windmills
A function $f$ is a \textit{graceful labelling} of a graph $G=(V,E)$ with $m$ edges if $f$ is an injection $f:V\mapsto \{0,1,2,\dots,m\}$ such that each edge $uv \in E$ is assigned the label $|f(u)-f(v)|$, and no two edge labels are the same. If a graph G has a graceful labelling, we say that $G$ itself is graceful. In this paper, we prove any Dutch windmill with three pendant triangles is (near) graceful, which settles Rosa's conjecture for a new family of triangular cacti.
2020-06-29 v3
Any Three Longest Paths In A Connected Graph Has A Common Vertex
A question was raised in 1995 at the British Combinatorial Conference: Do any three longest paths in a connected graph have a vertex in common? In this paper, it is shown that the answer to that question is yes.
Generalized Grassmann graphs associated to conjugacy classes of finite-rank self-adjoint operators
Published • View Publication • BIB
Two distinct projections of finite rank $m$ are adjacent if their difference is an operator of rank two or, equivalently, the intersection of their images is $(m-1)$-dimensional. We extend this adjacency relation on other conjugacy classes of finite-rank self-adjoint operators which leads to a natural generalization of Grassmann graphs. Let ${\mathcal C}$ be a conjugacy class formed by finite-rank self-adjoint operators with eigenspaces of dimension greater than $1$. Under the assumption that operators from ${\mathcal C}$ have at least three eigenvalues we prove that every automorphism of the corresponding generalized Grassmann graph is the composition of an automorphism induced by a unitary or anti-unitary operator and the automorphism obtained from a permutation of eigenspaces with the same dimensions. The case when the operators from ${\mathcal C}$ have two eigenvalues only is covered by classical Chow's theorem which says that there are graph automorphisms induced by semilinear automorphisms not preserving orthogonality.