arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34604 papers tagged with this keyword
2021-12-03 v2
Hall-Littlewood polynomials, boundaries, and $p$-adic random matrices
We prove that the boundary of the Hall-Littlewood $t$-deformation of the Gelfand-Tsetlin graph is parametrized by infinite integer signatures, extending results of Gorin and Cuenca on boundaries of related deformed Gelfand-Tsetlin graphs. In the special case when $1/t$ is a prime $p$ we use this to recover results of Bufetov-Qiu and Assiotis on infinite $p$-adic random matrices, placing them in the general context of branching graphs derived from symmetric functions. Our methods rely on explicit formulas for certain skew Hall-Littlewood polynomials. As a separate corollary to these, we obtain a simple expression for the joint distribution of the cokernels of products $A_1, A_2A_1, A_3A_2A_1,\ldots$ of independent Haar-distributed matrices $A_i$ over the $p$-adic integers $\mathbb{Z}_p$. This expression generalizes the explicit formula for the classical Cohen-Lenstra measure on abelian $p$-groups.
2021-12-02 v2
Optimally reconstructing caterpillars
For a graph $G$, the $\ell$-deck of $G$ is the multiset of induced subgraphs on $G$ having $\ell$ vertices. Recently, Groenland et al. proved that any tree can be reconstructed from its $(8/9+o(1))n$-deck. For the particular case of caterpillar graphs, we show that the $(1/2+o(1))n$-deck suffices, which is asymptotically tight.
On the Dominant of the Multicut Polytope
Published • View PublicationBIB
Given a graph $G=(V,E)$ and a set $S \subseteq \binom{V}{2}$ of terminal pairs, the minimum multicut problem asks for a minimum edge set $δ\subseteq E$ such that there is no $s$-$t$-path in $G -δ$ for any $\{s,t\}\in S$. For $|S|=1$ this is the well known $s$-$t$-cut problem, but in general the minimum multicut problem is NP-complete, even if the input graph is a tree. The multicut polytope $\text{MultC}^\square (G,S)$ is the convex hull of all multicuts in $G$; the multicut dominant is given by $\text{MultC}(G,S)=\text{MultC}^\square (G,S)+\mathbb{R}^E$. The latter is the relevant object for the minimization problem. While polyhedra associated to several cut problems have been studied intensively there is only little knowledge for multicut. We investigate properties of the multicut dominant and in particular derive results on liftings of facet-defining inequalities. This yields a classification of all facet-defining path- and edge inequalities. Moreover, we investigate the effect of graph operations such as node splitting, edge subdivisions, and edge contractions on the multicut-dominant and its facet-defining inequalities. In addition, we introduce facet-defining inequalities supported on stars, trees, and cycles and show that the former two can be separated in polynomial time when the input graph is a tree.
2021-12-02
Counterexamples of the Bhattacharya-Friedland-Peled conjecture
Published • View PublicationBIB
The Brauldi-Hoffman conjecture, proved by Rowlinson in 1988, characterized the graph with maximal spectral radius among all simple graphs with prescribed number of edges. In 2008, Bhattacharya, Friedland, and Peled proposed an analog, which will be called the BFP conjecture in the following, of the Brauldi-Hoffman conjecture for the bipartite graphs with fixed numbers of edges in the graph and vertices in the bipartition. The BFP conjecture was proved to be correct if the number of edges is large enough by several authors. However, in this paper we provide some counterexamples of the BFP conjecture.
On the computational complexity of the Steiner $k$-eccentricity
The Steiner $k$-eccentricity of a vertex $v$ of a graph $G$ is the maximum Steiner distance over all $k$-subsets of $V (G)$ which contain $v$. A linear time algorithm for calculating the Steiner $k$-eccentricity of a vertex on block graphs is presented. For general graphs, an $O(n^{ν(G)+1}(n(G) + m(G) + k))$ algorithm is designed, where $ν(G)$ is the cyclomatic number of $G$. A linear algorithm for computing the Steiner $3$-eccentricities of all vertices of a tree is also presented which improves the quadratic algorithm from [Discrete Appl.\ Math.\ 304 (2021) 181--195].
2021-12-02
Minimum leader selection for Structural Controllability of Undirected Graphs with Leader-follower Framework
Published • View PublicationBIB
The optimization problem of the minimum set of leaders for the controllability of undirected graphs are addressed. It is difficult to find not only its optimal solution but also its approximate algorithm. We propose a new concept, namely minimal perfect critical set (MPCS), to obtain an optimal solution. Some properties are presented, and on the basis of these theorems, the problem of the minimum set of leaders of two typical self-similar bipartite networks, namely deterministic scale-free networks (DSFN) and Cayley trees, is solved completely.
2021-12-02 v2
The GHP scaling limit of uniform spanning trees in high dimensions
Published • View PublicationBIB
We show that the Brownian continuum random tree is the Gromov-Hausdorff-Prohorov scaling limit of the uniform spanning tree on high-dimensional graphs including the $d$-dimensional torus $\mathbb{Z}_n^d$ with $d>4$, the hypercube $\{0,1\}^n$, and transitive expander graphs. Several corollaries for associated quantities are then deduced: convergence in distribution of the rescaled diameter, height and simple random walk on these uniform spanning trees to their continuum analogues on the continuum random tree.
2021-12-02
Constructing tree-decompositions that display all topological ends
Published • View PublicationBIB
We give a short, topological proof that all graphs admit tree-decompositions displaying their topological ends.
2021-12-02 v4
Strong Edge-Coloring of Cubic Bipartite Graphs: A Counterexample
Published in Discrete Applied Math. Volume 321, 15 November 2022, pp. 258-260 • View PublicationBIB
A strong edge-coloring $\varphi$ of a graph $G$ assigns colors to edges of $G$ such that $\varphi(e_1)\ne \varphi(e_2)$ whenever $e_1$ and $e_2$ are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of $G$. In 1990 Faudree, Schelp, Gyárfás, and Tuza conjectured that if $G$ is a bipartite graph with maximum degree 3 and sufficiently large girth, then $G$ has a strong edge-coloring with at most 5 colors. In 2021 this conjecture was disproved by Lužar, Mačajová, Škoviera, and Soták. Here we give an alternative construction to disprove the conjecture.
Explicit Abelian Lifts and Quantum LDPC Codes
For an abelian group $H$ acting on the set $[\ell]$, an $(H,\ell)$-lift of a graph $G_0$ is a graph obtained by replacing each vertex by $\ell$ copies, and each edge by a matching corresponding to the action of an element of $H$. In this work, we show the following explicit constructions of expanders obtained via abelian lifts. For every (transitive) abelian group $H \leqslant \text{Sym}(\ell)$, constant degree $d \ge 3$ and $ε> 0$, we construct explicit $d$-regular expander graphs $G$ obtained from an $(H,\ell)$-lift of a (suitable) base $n$-vertex expander $G_0$ with the following parameters: (i) $λ(G) \le 2\sqrt{d-1} + ε$, for any lift size $\ell \le 2^{n^δ}$ where $δ=δ(d,ε)$, (ii) $λ(G) \le ε\cdot d$, for any lift size $\ell \le 2^{n^{δ_0}}$ for a fixed $δ_0 > 0$, when $d \ge d_0(ε)$, or (iii) $λ(G) \le \widetilde{O}(\sqrt{d})$, for lift size ``exactly'' $\ell = 2^{Θ(n)}$. As corollaries, we obtain explicit quantum lifted product codes of Panteleev and Kalachev of almost linear distance (and also in a wide range of parameters) and explicit classical quasi-cyclic LDPC codes with wide range of circulant sizes. Items $(i)$ and $(ii)$ above are obtained by extending the techniques of Mohanty, O'Donnell and Paredes [STOC 2020] for $2$-lifts to much larger abelian lift sizes (as a byproduct simplifying their construction). This is done by providing a new encoding of special walks arising in the trace power method, carefully "compressing'" depth-first search traversals. Result $(iii)$ is via a simpler proof of Agarwal et al. [SIAM J. Discrete Math 2019] at the expense of polylog factors in the expansion.
Parameters for certain locally-regular graphs
A graph is called $(k,t)$-regular if it is $k$-regular and the induced subgraph on the neighbourhood of every vertex is $t$-regular. We find new conditions on $(k,t)$ for the existence of such graphs and provide a wide range of examples.
Orientation of Fitch Graphs and Detection of Horizontal Gene Transfer in Gene Trees
Published • View PublicationBIB
Horizontal gene transfer events partition a gene tree $T$ and thus, its leaf set into subsets of genes whose evolutionary history is described by speciation and duplication events alone. Indirect phylogenetic methods can be used to infer such partitions $\mathcal{P}$ from sequence similarity or evolutionary distances without any a priory knowledge about the underlying tree $T$. In this contribution, we assume that such a partition $\mathcal{P}$ of a set of genes $X$ is given and that, independently, an estimate $T$ of the original gene tree on $X$ has been derived. We then ask to what extent $T$ and the xenology information, i.e., $\mathcal{P}$ can be combined to determine the horizontal transfer edges in $T$. We show that for each pair of genes $x$ and $y$ with $x,y$ being in different parts of $\mathcal{P}$, it can be decided whether there always exists or never exists a horizontal gene transfer in $T$ along the path connecting $y$ and the most recent common ancestor of $x$ and $y$. This problem is equivalent to determining the presence or absence of the directed edge $(x,y)$ in so-called Fitch graphs; a more fine-grained version of graphs that represent the dependencies between the sets in $\mathcal{P}$. We then consider the generalization to insufficiently resolved gene trees and show that analogous results can be obtained. We show that the classification of $(x,y)$ can be computed in constant time after linear-time preprocessing. Using simulated gene family histories, we observe empirically that the vast majority of horizontal transfer edges in the gene tree $T$ can be recovered unambiguously.
2021-12-01
Algorithm for monochromatic vertex-disconnection of graphs
Let G be a vertex-colored graph. We call a vertex cut S of G a monochromatic vertex cut if the vertices of S are colored with the same color. The graph G is monochromatically vertex-disconnected if any two nonadjacent vertices of G has a monochromatic vertex cut separating them. The monochromatic vertex-disconnection number of G, denoted by mvd(G), is the maximum number of colors that are used to make G monochromatically vertex-disconnected. In this paper, we propose an algorithm to compute mvd(G) and give an mvd-coloring of the graph G. We run this algorithm with an example written in Java. The main part of the code is shown in Appendix B and the complete code is given on Github: https://github.com/fumiaoT/mvd-coloring.git. Secondly, inspired by the previous localization principle, we obtain a upper bound of mvd(G) for some special classes of graphs. In addition, when mvd(G) is large and all blocks of G are minimally 2-connected triangle-free graphs, we characterize G. On these bases, we show that any graph whose blocks are all minimally 2-connected graphs of small order, can be computed mvd(G) and given an mvd-coloring in polynomial time.
2021-12-01 v4
The Automorphism Group of $NU(3,q^2)$
Published • View PublicationBIB
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n,q^2)$, $n \geq 2$. Let $NU(n+1,q^2)$ be the graph whose vertices are the points of $PG(n,q^2) \setminus H(n,q^2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $H(n, q^2 )$. Then $NU(n + 1, q^2)$ is a strongly regular graph. In this paper we show that the automorphism group of the graph $NU(3,q^2)$ is isomorphic either to $PΓU(3,q)$, the automorphism group of the projective unitary group $PGU(3,q)$, or to $S_{3} \wr S_{4}$, according as $q \neq 2$, or $q=2$.
2021-12-01 v2
Classifying grounded intersection graphs via ordered forbidden patterns
It was noted already in the 90s that many classic graph classes, such as interval, chordal, and bipartite graphs, can be characterized by the existence of an ordering of the vertices avoiding some ordered subgraphs, called patterns. Very recently, all the classes corresponding to patterns on three vertices (including the ones mentioned above) have been listed, and proved to be efficiently recognizable. In contrast, very little is known about patterns on four vertices. One of the few graph classes characterized by a pattern on four vertices is the class of intersection graphs of rectangles that are said to be grounded on a line. This class appears naturally in the study of intersection graphs, and similar grounded classes have recently attracted a lot of attention. This paper contains three parts. First, we make a survey of grounded intersection graph classes, summarizing all the known inclusions between these various classes. Second, we show that the correspondence between a pattern on four vertices and grounded rectangle graphs is not an isolated phenomenon. We establish several other pattern characterizations for geometric classes, and show that the hierarchy of grounded intersection graph classes is tightly interleaved with the classes defined patterns on four vertices. We claim that forbidden patterns are a useful tool to classify grounded intersection graphs. Finally, we give an overview of the complexity of the recognition of classes defined by forbidden patterns on four vertices and list several interesting open problems.
Recolouring planar graphs of girth at least five
Published • View PublicationBIB
For a positive integer $k$, the $k$-recolouring graph of a graph $G$ has as vertex set all proper $k$-colourings of $G$ with two $k$-colourings being adjacent if they differ by the colour of exactly one vertex. A result of Dyer et al. regarding graphs of bounded degeneracy implies that the $7$-recolouring graphs of planar graphs, the $5$-recolouring graphs of triangle-free planar graphs and the $4$-recolouring graphs planar graphs of girth at least six are connected. On the other hand, there are planar graphs whose $6$-recolouring graph is disconnected, triangle-free planar graphs whose $4$-recolouring graph is disconnected and planar graphs of any given girth whose $3$-recolouring graph is disconnected. The main result of this paper consists in showing, via a novel application of the discharging method, that the $4$-recolouring graph of every planar graph of girth five is connected. This completes the classification of the connectedness of the recolouring graph for planar graphs of given girth. We also prove some theorems regarding the diameter of the recolouring graph of planar graphs.
2021-12-01 v3
On torsional rigidity and ground-state energy of compact quantum graphs
Published • View PublicationBIB
We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigidity of general metric graphs with that of intervals of the same total length. In the spirit of the Kohler-Jobin Inequality, we also derive sharp bounds on the ground-state energy of a quantum graph in terms of its torsional rigidity: this is particularly attractive since computing the torsional rigidity reduces to inverting a matrix whose size is the number of the graph's vertices and is, thus, much easier than computing eigenvalues.
2021-11-30 v2
Periodicity of Grover walks on bipartite regular graphs with at most five distinct eigenvalues
Published • View PublicationBIB
We determine connected bipartite regular graphs with four distinct adjacency eigenvalues that induce periodic Grover walks, and show that it is only $C_6$. We also show that there are only three kinds of the second largest eigenvalues of bipartite regular periodic graphs with five distinct eigenvalues. Using walk-regularity, we enumerate feasible spectra for such graphs.
2021-11-30 v2
An extension of Thomassen's result on choosability
Published in Applied Mathematics and Computation, 425 (2022) 127100 • View PublicationBIB
Thomassen proved that all planar graphs are $5$-choosable. Škrekovski strengthened the result by showing that all $K_{5}$-minor-free graphs are $5$-choosable. Dvořák and Postle pointed out that all planar graphs are DP-$5$-colorable. In this note, we first improve these results by showing that every $K_{5}$-minor-free or $K_{3, 3}$-minor-free graph is DP-$5$-colorable. In the final section, we further improve these results under the term strictly $f$-degenerate transversal.
Finding counterexamples for a conjecture of Akbari, Alazemi and Andjelić
For a graph $G$, its energy $\mathcal{E}(G)$ is the sum of absolute values of the eigenvalues of its adjacency matrix, the matching number $μ(G)$ is the number of edges in a maximum matching of $G$, while $Δ$ is the maximum vertex degree of $G$. Akbari, Alazemi and Anđelić in [Appl. Anal. Discrete Math. 15 (2021), 444--459] proved that $\mathcal{E}(G) \leq 2μ(G)$ when $G$ is connected and $Δ\geq6$, and conjectured that the same inequality is also valid when $2\leqΔ\leq5$. Here we first computationally enumerate small counterexamples for this conjecture and then provide two infinite families of counterexamples.