arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35436 papers tagged with this keyword
The Ising antiferromagnet and max cut on random regular graphs
Published • View Publication • BIB
The Ising antiferromagnet is an important statistical physics model with close connections to the {\sc Max Cut} problem. Combining spatial mixing arguments with the method of moments and the interpolation method, we pinpoint the replica symmetry breaking phase transition predicted by physicists. Additionally, we rigorously establish upper bounds on the {\sc Max Cut} of random regular graphs predicted by Zdeborová and Boettcher [Journal of Statistical Mechanics 2010]. As an application we prove that the information-theoretic threshold of the disassortative stochastic block model on random regular graphs coincides with the Kesten-Stigum bound.
2020-09-22
On the Powers of Signed Graphs
A signed graph is an ordered pair $Σ=(G,σ),$ where $G=(V,E)$ is the underlying graph of $Σ$ with a signature function $σ:E\rightarrow \{1,-1\}$. In this article, we define $n^{th}$ power of a signed graph and discuss some properties of these powers of signed graphs. As we can define two types of signed graphs as the power of a signed graph, necessary and sufficient conditions are given for an $n^{th}$ power of a signed graph to be unique. Also, we characterize balanced power signed graphs.
2020-09-22
On Two Laplacian Matrices for Skew Gain Graphs
Published • View Publication • BIB
Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two different types, Laplacian and $g$-Laplacian matrices for a skew gain graph where the skew gains are taken from the multiplicative group $F^\times$ of a field $F$ of characteristic zero. Defining incidence matrix, we also prove the matrix tree theorem for skew gain graphs in the case of the $g$-Laplacian matrix.
2020-09-22 v2
Graph limits: An alternative approach to s-graphons
We show that s-convergence of graph sequences is equivalent to the convergence of certain compact sets, called shapes, of Borel probability measures. This result is analogous to the characterization of graphon convergence (with respect to the cut distance) by the convergence of envelopes, due to Doležal, Grebík, Hladký, Rocha, and Rozhovv.
2020-09-22
A survey of graph burning
Published • View Publication • BIB
Graph burning is a deterministic, discrete-time process that models how influence or contagion spreads in a graph. Associated to each graph is its burning number, which is a parameter that quantifies how quickly the influence spreads. We survey results on graph burning, focusing on bounds, conjectures, and algorithms related to the burning number. We will discuss state-of-the-art results on the burning number conjecture, burning numbers of graph classes, and algorithmic complexity. We include a list of conjectures, variants, and open problems on graph burning.
2020-09-22 v2
Pure pairs. VI. Excluding an ordered tree
Published • View Publication • BIB
A pure pair in a graph $G$ is a pair $(Z_1,Z_2)$ of disjoint sets of vertices such that either every vertex in $Z_1$ is adjacent to every vertex in $Z_2$, or there are no edges between $Z_1$ and $Z_2$. With Maria Chudnovsky, we recently proved that, for every forest $F$, every graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair $(Z_1,Z_2)$ with $|Z_1|,|Z_2|$ linear in $|G|$. Here we investigate what we can say about pure pairs in an {\em ordered} graph $G$, when we exclude an ordered forest $F$ and its complement as induced subgraphs. Fox showed that there need not be a linear pure pair; but Pach and Tomon showed that if $F$ is a monotone path then there is a pure pair of size $c|G|/\log |G|$. We generalise this to all ordered forests, at the cost of a slightly worse bound: we prove that, for every ordered forest $F$, every ordered graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair of size $|G|^{1-o(1)}$.
2020-09-22 v4
Geometry of the minimal spanning tree in the heavy-tailed regime: new universality classes
Published • View Publication • BIB
A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [31,32,38,70] is as follows: for a large class of random graph models with degree exponent $τ\in (3,4)$, the distance between two typical points on the minimal spanning tree (MST) on the giant component in the supercritical regime scales like $n^{(τ-3)/(τ-1)}$. The aim of this paper is to make progress towards a proof of this conjecture. We consider a supercritical inhomogeneous random graph model with degree exponent $τ\in(3, 4)$ that is closely related to Aldous's multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by $n^{-(τ-3)/(τ-1)}$, converges in distribution with respect to the Gromov-Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals $(τ-1)/(τ-3)$. The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.
2020-09-22 v5
On the Locality of Nash-Williams Forest Decomposition and Star-Forest Decomposition
Published in SIAM Journal on Discrete Mathematics 37(2), pp. 800-830 (2023) • View Publication • BIB
Given a graph $G=(V,E)$ with arboricity $α$, we study the problem of decomposing the edges of $G$ into $(1+ε)α$ disjoint forests in the distributed LOCAL model. Barenboim and Elkin [PODC `08] gave a LOCAL algorithm that computes a $(2+ε)α$-forest decomposition using $O(\frac{\log n}ε)$ rounds. Ghaffari and Su [SODA `17] made further progress by computing a $(1+ε) α$-forest decomposition in $O(\frac{\log^3 n}{ε^4})$ rounds when $εα= Ω(\sqrt{α\log n})$, i.e. the limit of their algorithm is an $(α+ Ω(\sqrt{α\log n}))$-forest decomposition. This algorithm, based on a combinatorial construction of Alon, McDiarmid \& Reed [Combinatorica `92], in fact provides a decomposition of the graph into \emph{star-forests}, i.e. each forest is a collection of stars. Our main result in this paper is to reduce the threshold of $εα$ in $(1+ε)α$-forest decomposition and star-forest decomposition. This further answers the $10^{\text{th}}$ open question from Barenboim and Elkin's "Distributed Graph Algorithms" book. Moreover, it gives the first $(1+ε)α$-orientation algorithms with {\it linear dependencies} on $ε^{-1}$. At a high level, our results for forest-decomposition are based on a combination of network decomposition, load balancing, and a new structural result on local augmenting sequences. Our result for star-forest decomposition uses a more careful probabilistic analysis for the construction of Alon, McDiarmid, \& Reed; the bounds on star-arboricity here were not previously known, even non-constructively.
2020-09-22
Proof of the Erdős-Simonovits conjecture on walks
Published • View Publication • BIB
Let $G^n$ be a graph on $n$ vertices and let $w_k(G^n)$ denote the number of walks of length $k$ in $G^n$ divided by $n$. Erdős and Simonovits conjectured that $w_k(G^n)^t \geq w_t(G^n)^k$ when $k\geq t$ and both $t$ and $k$ are odd. We prove this conjecture.
2020-09-21 v2
The diameter of the uniform spanning tree of dense graphs
Published • View Publication • BIB
We show that the diameter of a uniformly drawn spanning tree of a simple connected graph on $n$ vertices with minimal degree linear in $n$ is typically of order $\sqrt{n}$. A byproduct of our proof, which is of independent interest, is that on such graphs the Cheeger constant and the spectral gap are comparable.
2020-09-21
Connected Fair Detachments of Hypergraphs
Published • View Publication • BIB
Let $\mathcal G$ be a hypergraph whose edges are colored. An {\it $(α,n)$-detachment} of $\mathcal G$ is a hypergraph obtained by splitting a vertex $α$ into $n$ vertices, say $α_1,\dots,α_n$, and sharing the incident hinges and edges among the subvertices. A detachment is {\it fair} if the degree of vertices and multiplicity of edges are shared as evenly as possible among the subvertices within the whole hypergraph as well as within each color class. In this paper we solve an open problem from 70s by finding necessary and sufficient conditions under which a $k$-edge-colored hypergraph $\mathcal G$ has a fair detachment in which each color class is connected. Previously, this was not even known for the case when $\mathcal G$ is an arbitrary graph (i.e. 2-uniform hypergraph). We exhibit the usefulness of our theorem by proving a variety of new results on hypergraph decompositions, and completing partial regular combinatorial structures.
2020-09-21
Triangular labyrinth fractals
Published in Fractals, Vol. 27, No. 8 (2019) 1959131 (31 pages) • View Publication • BIB
We define and study a class of fractal dendrites called triangular labyrinth fractals. For the construction, we use triangular labyrinth patterns systems that consist of two triangular patterns: a white and a yellow one. Correspondingly, we have two fractals: a white and a yellow one. The fractals studied here are self-similar, and fit into the framework of graph directed constructions. The main results consist in showing how special families of triangular labyrinth patterns systems, defined based on some shape features, can generate exactly three types of dendrites: labyrinth fractals where are all nontrivial arcs have infinite length, fractals where all nontrivial arcs have finite length, and fractals where the only arcs of finite length are line segments parallel to a certain direction. We also study the existence of tangents to arcs. The paper is inspired by research done on labyrinth fractals in the unit square that have been studied during the last decade. In the triangular case, due to the geometry of traingular shapes, some new techniques and ideas are necessary in order to obtain the results.
The domination game played on diameter 2 graphs
Let $γ_g(G)$ be the game domination number of a graph $G$. It is proved that if ${\rm diam}(G) = 2$, then $γ_g(G) \le \left\lceil \frac{n(G)}{2} \right\rceil- \left\lfloor \frac{n(G)}{11}\right\rfloor$. The bound is attained: if ${\rm diam}(G) = 2$ and $n(G) \le 10$, then $γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ if and only if $G$ is one of seven sporadic graphs with $n(G)\le 6$ or the Petersen graph, and there are exactly ten graphs of diameter $2$ and order $11$ that attain the bound.
2020-09-21 v2
The triangle-free graphs which are competition graphs of multipartite tournaments
Published • View Publication • BIB
In this paper, we discover all the triangle-free graphs that are competition graphs of multipartite tournaments.
2020-09-21 v2
Impact of Vertex Addition on Italian Domination Number
An Italian dominating function (IDF), of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V(G) $ with $ f(v) = 0, \sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V(G)}f(v) $ and Italian domination number, $ γ_I(G) $ is the minimum weight of an IDF. In this paper, we study the impact of corona operator and addition of twins on Italian domination number.
2020-09-21 v4
Cayley graphs of order 6pq are Hamiltonian
Published • View Publication • BIB
Assume G is a finite group, such that |G|= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
2020-09-20
The Terwilliger algebra of the twisted Grassmann graph: the thin case
Published in Electron. J. Combin. 28 (2020) #P4.15 • View Publication • BIB
The Terwilliger algebra $T(x)$ of a finite connected simple graph $Γ$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $Γ$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$-module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$-modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case.
2020-09-20 v2
Pure pairs. IV. Trees in bipartite graphs
Published in Journal of Combinatorial Theory, Series B, Volume 161, July 2023, Pages 120-146 • View Publication • BIB
In this paper we investigate the bipartite analogue of the strong Erdos-Hajnal property. We prove that for every forest $H$ and every $τ>0$ there exists $ε>0$, such that if $G$ has a bipartition $(A,B)$ and does not contain $H$ as an induced subgraph, and has at most $(1-τ)|A|\cdot|B|$ edges, then there is a stable set in $G$ that contains at least $ε|V_i|$ vertices of $V_i$, for $i=1,2$. No graphs $H$ except forests have this property.
2020-09-20 v3
Hernandez-Leclerc modules and snake graphs
In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called Hernandez-Leclerc modules. We characterize the highest $\ell$-weight monomials of Hernandez-Leclerc modules. We give a non-recursive formula for $q$-characters of Hernandez-Leclerc modules using snake graphs, which involves an explicit formula for $F$-polynomials. We also give a new recursive formula for $q$-characters of Hernandez-Leclerc modules.
2020-09-20 v2
Strongly regular graphs with parameters (81,30,9,12) and a new partial geometry pg(5,5,2)
Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.