graph
34665 papers tagged with this keyword
An improved procedure for colouring graphs of bounded local density
Published in Advances in Combinatorics, 2022:7, 33pp
• View Publication
• BIB
We develop an improved bound for the chromatic number of graphs of maximum degree $Δ$ under the assumption that the number of edges spanning any neighbourhood is at most $(1-σ)\binomΔ{2}$ for some fixed $0<σ<1$. The leading term in the reduction of colours achieved through this bound is best possible as $σ\to0$. As two consequences, we advance the state of the art in two longstanding and well-studied graph colouring conjectures, the Erdős-Nešetřil conjecture and Reed's conjecture. We prove that the strong chromatic index is at most $1.772Δ^2$ for any graph $G$ with sufficiently large maximum degree $Δ$. We prove that the chromatic number is at most $\lceil 0.881(Δ+1)+0.119ω\rceil$ for any graph $G$ with clique number $ω$ and sufficiently large maximum degree $Δ$. Additionally, we show how our methods can be adapted under the additional assumption that the codegree is at most $(1-σ)Δ$, and establish what may be considered first progress towards a conjecture of Vu.
Coloring and Maximum Weight Independent Set of Rectangles
Published
• View Publication
• BIB
In 1960, Asplund and Grünbaum proved that every intersection graph of axis-parallel rectangles in the plane admits an $O(ω^2)$-coloring, where $ω$ is the maximum size of a clique. We present the first asymptotic improvement over this six-decade-old bound, proving that every such graph is $O(ω\logω)$-colorable and presenting a polynomial-time algorithm that finds such a coloring. This improvement leads to a polynomial-time $O(\log\log n)$-approximation algorithm for the maximum weight independent set problem in axis-parallel rectangles, which improves on the previous approximation ratio of $O(\frac{\log n}{\log\log n})$.
On the spectral radius of block graphs having all their blocks of the same size
Published
• View Publication
• BIB
Let $\mathcal{B}(n,q)$ be the class of block graphs on $n$ vertices having all their blocks of the same size. We prove that if $G\in \mathcal{B}(n,q)$ has at most three pairwise adjacent cut vertices then the minimum spectral radius $ρ(G)$ is attained at a unique graph. In addition, we present a lower bound for $ρ(G)$ when $G\in \mathcal{B}(n,q)$.
The maximum spectral radius of wheel-free graphs
Published
• View Publication
• BIB
A wheel graph is a graph formed by connecting a single vertex to all vertices of a cycle. A graph is called wheel-free if it does not contain any wheel graph as a subgraph. In 2010, Nikiforov proposed a Brualdi-Solheid-Turán type problem: what is the maximum spectral radius of a graph of order $n$ that does not contain subgraphs of particular kind. In this paper, we study the Brualdi-Solheid-Turán type problem for wheel-free graphs, and we determine the maximum (signless Laplacian) spectral radius of a wheel-free graph of order $n$. Furthermore, we characterize the extremal graphs.
The $A_α$-spectral radius and perfect matchings of graphs
Published
• View Publication
• BIB
Let $α\in[0,1)$, and let $G$ be a graph of even order $n$ with $n\geq f(α)$, where $f(α)=10$ for $0\leq α\leq1/2$, $f(α)=14$ for $1/2<α\leq 2/3$ and $f(α)=5/(1-α)$ for $2/3<α<1$. In this paper, it is shown that if the $A_α$-spectral radius of $G$ is not less than the largest root of $x^3 - ((α+ 1)n +α-4)x^2 + (αn^2 + (α^2 - 2α- 1)n - 2α+1)x -α^2n^2 + (5α^2 - 3α+ 2)n - 10α^2 + 15α- 8=0$ then $G$ has a perfect matching unless $G=K_1\nabla(K_{n-3}\cup 2K_1)$. This generalizes a result of S. O [Spectral radius and matchings in graphs, Linear Algebra Appl. 614 (2021) 316--324], which gives a sufficient condition for the existence of a perfect matching in a graph in terms of the adjacency spectral radius.
Inverse Turán numbers
For given graphs $G$ and $F$, the Turán number $ex(G,F)$ is defined to be the maximum number of edges in an $F$-free subgraph of $G$. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number $k$, one maximizes the number of edges in a host graph $G$ for which $ex(G,H) < k$.
Addressing a problem of Briggs and Cox, we determine the asymptotic value of the inverse Turán number of the paths of length $4$ and $5$ and provide an improved lower bound for all paths of even length. Moreover, we obtain bounds on the inverse Turán number of even cycles giving improved bounds on the leading coefficient in the case of $C_4$. Finally, we give multiple conjectures concerning the asymptotic value of the inverse Turán number of $C_4$ and $P_{\ell}$, suggesting that in the latter problem the asymptotic behavior depends heavily on the parity of $\ell$.
Moduli of hybrid curves I: Variations of canonical measures
Published
• View Publication
• BIB
The present paper is the first in a series devoted to the study of asymptotic geometry of Riemann surfaces and their moduli spaces.
We introduce the moduli space of hybrid curves as a new compactification of the moduli space of curves, refining the one obtained by Deligne and Mumford. This is the moduli space for multiscale geometric objects which mix complex and higher rank tropical and non-Archimedean geometries, reflecting both discrete and continuous features.
We define canonical measures on hybrid curves which combine and generalize Arakelov-Bergman measures on Riemann surfaces and Zhang measures on metric graphs.
We then show that the universal family of canonically measured hybrid curves over this moduli space varies continuously. This provides a precise link between the non-Archimedean Zhang measure and variations of Arakelov-Bergman measures in families of Riemann surfaces, answering a question which has been open since the pioneering work of Zhang on admissible pairing in the nineties.
Alon -- Tarsi numbers of direct products
Published in Moscow J. Comb. Number Th. 10 (2021) 271-279
• View Publication
• BIB
We provide a general framework on the coefficients of the graph polynomials of graphs which are Cartesian products. As a corollary, we prove that if $G=(V,E)$ is a graph with degrees of vertices $2d(v), v\in V$, and the graph polynomial $\prod_{(i,j)\in E} (x_j-x_i)$ contains an "almost central" monomial (that means a monomial $\prod_v x_v^{c_v}$, where $|c_v-d(v)|\leqslant 1$ for all $v\in V$), then the Cartesian product $G\square C_{2n}$ is $(d(\cdot)+2)$-choosable.
On sampling symmetric Gibbs distributions on sparse random graphs and hypergraphs
We introduce efficient algorithms for approximate sampling from symmetric Gibbs distributions on the sparse random (hyper)graph. The examples we consider include (but are not restricted to) important distributions on spin systems and spin-glasses such as the q state antiferromagnetic Potts model for $q\geq 2$, including the colourings, the uniform distributions over the Not-All-Equal solutions of random k-CNF formulas. Finally, we present an algorithm for sampling from the spin-glass distribution called the k-spin model. To our knowledge this is the first, rigorously analysed, efficient algorithm for spin-glasses which operates in a non trivial range of the parameters.
Our approach builds on the one that was introduced in [Efthymiou: SODA 2012]. For a symmetric Gibbs distribution $μ$ on a random (hyper)graph whose parameters are within an certain range, our algorithm has the following properties: with probability $1-o(1)$ over the input instances, it generates a configuration which is distributed within total variation distance $n^{-Ω(1)}$ from $μ$. The time complexity is $O((n\log n)^2)$.
The algorithm requires a range of the parameters which, for the graph case, coincide with the tree-uniqueness region, parametrised w.r.t. the expected degree d. For the hypergraph case, where uniqueness is less restrictive, we go beyond uniqueness. Our approach utilises in a novel way the notion of contiguity between Gibbs distributions and the so-called teacher-student model.
Cubic graphs induced by bridge trisections
Published in Math. Res. Lett. 30 (2023), no. 4, 1207-1231
• View Publication
• BIB
Every embedded surface $\mathcal{K}$ in the 4-sphere admits a bridge trisection, a decomposition of $(S^4,\mathcal{K})$ into three simple pieces. In this case, the surface $\mathcal{K}$ is determined by an embedded 1-complex, called the $\textit{1-skeleton}$ of the bridge trisection. As an abstract graph, the 1-skeleton is a cubic graph $Γ$ that inherits a natural Tait coloring, a 3-coloring of the edge set of $Γ$ such that each vertex is incident to edges of all three colors. In this paper, we reverse this association: We prove that every Tait-colored cubic graph is isomorphic to the 1-skeleton of a bridge trisection corresponding to an unknotted surface. When the surface is nonorientable, we show that such an embedding exists for every possible normal Euler number. As a corollary, every tri-plane diagram for a knotted surface can be converted to a tri-plane diagram for an unknotted surface via crossing changes and interior Reidemeister moves.
Kemeny's constant and the Kirchhoff index for the cluster of highly symmetric graphs
Published
• View Publication
• BIB
We find closed form formulas for the Kemeny's constant and the Kirchhoff index for the cluster $G_1\{G_2\}$ of two highly symmetric graphs $G_1$, $G_2$, in terms of the parameters of the original graphs. We also discuss some necessary conditions for a graph to be highly symmetric.
Kemeny's constant and Kirchhoffian indices for a family of non-regular graphs
Published
• View Publication
• BIB
We find closed form formulas for Kemeny's constant and its relationship with two Kirchhoffian indices for some composite graphs that use as basic building block a graph endowed with one of several symmetry properties.
Macdonald polynomials and extended Gelfand-Tsetlin graph
Published in Selecta Mathematica, New Ser. 27, 41 (2021)
• View Publication
• BIB
Using Okounkov's $q$-integral representation of Macdonald polynomials we construct an infinite sequence $Ω_1,Ω_2,Ω_3,\dots$ of countable sets linked by transition probabilities from $Ω_N$ to $Ω_{N-1}$ for each $N=2,3,\dots$. The elements of the sets $Ω_N$ are the vertices of the extended Gelfand-Tsetlin graph, and the transition probabilities depend on the two Macdonald parameters, $q$ and $t$. These data determine a family of Markov chains, and the main result is the description of their entrance boundaries. This work has its origin in asymptotic representation theory. In the subsequent paper, the main result is applied to large-$N$ limit transition in $(q,t)$-deformed $N$-particle beta-ensembles.
Perfectly Sampling $k\geq (8/3 +o(1))Δ$-Colorings in Graphs
Published
• View Publication
• BIB
We present a randomized algorithm which takes as input an undirected graph $G$ on $n$ vertices with maximum degree $Δ$, and a number of colors $k \geq (8/3 + o_Δ(1))Δ$, and returns -- in expected time $\tilde{O}(nΔ^{2}\log{k})$ -- a proper $k$-coloring of $G$ distributed perfectly uniformly on the set of all proper $k$-colorings of $G$. Notably, our sampler breaks the barrier at $k = 3Δ$ encountered in recent work of Bhandari and Chakraborty [STOC 2020]. We also sketch how to modify our methods to relax the restriction on $k$ to $k \geq (8/3 - ε_0)Δ$ for an absolute constant $ε_0 > 0$.
As in the work of Bhandari and Chakraborty, and the pioneering work of Huber [STOC 1998], our sampler is based on Coupling from the Past [Propp&Wilson, Random Struct. Algorithms, 1995] and the bounding chain method [Huber, STOC 1998; Häggström&Nelander, Scand. J. Statist., 1999]. Our innovations include a novel bounding chain routine inspired by Jerrum's analysis of the Glauber dynamics [Random Struct. Algorithms, 1995], as well as a preconditioning routine for bounding chains which uses the algorithmic Lovász Local Lemma [Moser&Tardos, J.ACM, 2010].
Relations between the properties of a complete rooted tree and the properties of a distribution of lengths of randomly generated strings
Let's denote a complete $m$-ary rooted tree graph of height $n$ as $G$. In scope of this paper we prove the certain relations between the properties of $G$ and the expectation and variance of the distribution of lengths of strings, generated as follows: starting from an empty string we pick a random symbol from the alphabet $\{ α_1, α_2, \dots α_m \}$ and append it to the string, the process continues until we see $n$ instances of a specific symbol in a row.
Consider a random variable $ξ_{m,n}$ that represents a length of a string generated according to the described process. The expectation $\mathbb{E}[ξ_{m,n}]$ and variance $\mathrm{Var}[ξ_{m,n}]$ depend on $m$ (the size of the alphabet) and $n$ (a parameter that defines a stopping criteria of the string generation process). Also, let's denote the sum of the common path length over all 2-tuples of nodes of $G$ as $S_{m,n}$, and let's denote the total number of edges in $G$ as $T_{m,n}$. In scope of this paper we prove that the following relations are true for all $m,n \geq 1$: $\mathbb{E}[ξ_{m,n}] = T_{m,n}$ and $\mathrm{Var}[ξ_{m,n}] = (m-1) \cdot S_{m,n}$.
While it is known that both $\mathbb{E}[ξ_{2,n}]$ and $T_{2,n}$ are described by the sequence A000918 from the On-Line Encyclopedia of Integer Sequences (OEIS), and it is known that $S_{2,n}$ is described by the OEIS sequence A286778, we demonstrate a new interpretation for A286778: this sequence describes $\mathrm{Var}[ξ_{2,n}]$ - a variance of the number of tosses of a fair coin until we see $n$ heads in a row.
A complete characterisation of vertex-multiplications of trees with diameter 5
Published in Theory Appl. Graphs, 8, (2021), Article 6
• View Publication
• BIB
Koh and Tay introduced a new family of graphs, $G$ vertex-multiplications, as an extension of complete $n$-partite graphs. They proved a fundamental classification of $G$ vertex-multiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. It was shown that any vertex-multiplication of a tree with diameter at least 3 does not belong to the class $\mathscr{C}_2$. Furthermore, for vertex-multiplications of trees with diameter $5$, some necessary and sufficient conditions for $\mathscr{C}_0$ were established. In this paper, we give a complete characterisation of vertex-multiplications of trees with diameter $5$ in $\mathscr{C}_0$ and $\mathscr{C}_1$.
Presentations for Vertex Transitive Graphs
Published
• View Publication
• BIB
We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex transitive graph. As an intermediate step, we prove that every countably infinite, connected, vertex transitive graph has a perfect matching. Incidentally, we construct an example of a 2-ended cubic vertex transitive graph which is not a Cayley graph, answering a question of Watkins from 1990.
Asymptotically Optimal Vertex Ranking of Planar Graphs
A (vertex) $\ell$-ranking is a colouring $\varphi:V(G)\to\mathbb{N}$ of the vertices of a graph $G$ with integer colours so that for any path $u_0,\ldots,u_p$ of length at most $\ell$, $\varphi(u_0)\neq\varphi(u_p)$ or $\varphi(u_0)<\max\{\varphi(u_0),\ldots,\varphi(u_p)\}$. We show that, for any fixed integer $\ell\ge 2$, every $n$-vertex planar graph has an $\ell$-ranking using $O(\log n/\log\log\log n)$ colours and this is tight even when $\ell=2$; for infinitely many values of $n$, there are $n$-vertex planar graphs, for which any 2-ranking requires $Ω(\log n/\log\log\log n)$ colours. This result also extends to bounded genus graphs.
In developing this proof we obtain optimal bounds on the number of colours needed for $\ell$-ranking graphs of treewidth $t$ and graphs of simple treewidth $t$. These upper bounds are constructive and give $O(n)$-time algorithms. Additional results that come from our techniques include new sublogarithmic upper bounds on the number of colours needed for $\ell$-rankings of apex minor-free graphs and $k$-planar graphs.
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games
Two-player mean-payoff Stackelberg games are nonzero-sum infinite duration games played on a bi-weighted graph by Leader (Player 0) and Follower (Player 1). Such games are played sequentially: first, Leader announces her strategy, second, Follower chooses his best-response. If we cannot impose which best-response is chosen by Follower, we say that Follower, though strategic, is adversarial towards Leader. The maximal value that Leader can get in this nonzero-sum game is called the adversarial Stackelberg value (ASV) of the game.
We study the robustness of strategies for Leader in these games against two types of deviations: (i) Modeling imprecision - the weights on the edges of the game arena may not be exactly correct, they may be delta-away from the right one. (ii) Sub-optimal response - Follower may play epsilon-optimal best-responses instead of perfect best-responses. First, we show that if the game is zero-sum then robustness is guaranteed while in the nonzero-sum case, optimal strategies for ASV are fragile. Second, we provide a solution concept to obtain strategies for Leader that are robust to both modeling imprecision, and as well as to the epsilon-optimal responses of Follower, and study several properties and algorithmic problems related to this solution concept.
Reconstruction in one dimension from unlabeled Euclidean lengths
Published
• View Publication
• BIB
Let $G$ be a $3$-connected ordered graph with $n$ vertices and $m$ edges. Let $\mathbf{p}$ be a randomly chosen mapping of these $n$ vertices to the integer range $\{1, 2,3, \ldots, 2^b\}$ for $b\ge m^2$. Let $\ell$ be the vector of $m$ Euclidean lengths of $G$'s edges under $\mathbf{p}$. In this paper, we show that, with high probability over $\mathbf{p}$, we can efficiently reconstruct both $G$ and $\mathbf{p}$ from $\ell$. This reconstruction problem is NP-HARD in the worst case, even if both $G$ and $\ell$ are given. We also show that our results stand in the presence of small amounts of error in $\ell$, and in the real setting, with sufficiently accurate length measurements.
Our method combines lattice reduction, which has previously been used to solve random subset sum problems, with an algorithm of Seymour that can efficiently reconstruct an ordered graph given an independence oracle for its matroid.