graph
35436 papers tagged with this keyword
A generating function approach to new representation stability phenomena in orbit configuration spaces
Published
• View Publication
• BIB
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit configuration space "generating function" into an infinite product, whose terms are surprisingly easy to understand. Beyond the intrinsic aesthetic of this decomposition and its quantitative consequences, it reveals a sequence of primary, secondary, and higher representation stability phenomena. Based on this, we give a simple geometric technique for identifying new stabilization actions with finiteness properties, which we use to unify and generalize known stability results. As a first new application of our methods, we establish secondary and higher stability for configuration spaces on $i$-acyclic spaces. For another application, we describe a natural filtration by which one observes a filtered representation stability phenomenon in configuration spaces on graphs.
On eigenvalue multiplicity in signed graphs
Published
• View Publication
• BIB
For signed graphs we provide a cubic polynomial upper bound on the multiplicity of its eigenvalues. We show that this bound is sharp by providing examples of signed graphs in which it is attained. We also discuss particular cases in which the bound can be decreased.
Proper rainbow connection number of graphs
Published
• View Publication
• BIB
A path in an edge-coloured graph is called \emph{rainbow path} if its edges receive pairwise distinct colours. An edge-coloured graph is said to be \emph{rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The minimum $k$ for which there exists such an edge-colouring is the rainbow connection number $rc(G)$ of $G.$ Recently, Bau et al. \cite{BJJKM2018} introduced this concept with the additional requirement that the edge-colouring must be proper. %An proper edge-coloured graph is said to be \emph{properly rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The \emph{proper rainbow connection number} of $G$, denoted by $prc(G)$, is the minimum number of colours needed in order to make it properly rainbow connected.
In this paper we first prove an improved upper bound $prc(G) \leq n$ for every connected graph $G$ of order $n \geq 3.$ Next we show that the difference $prc(G) - rc(G)$ can be arbitrarily large. Finally, we present several sufficient conditions for graph classes satisfying $prc(G) = χ'(G).$
Successive shortest paths in complete graphs with random edge weights
Published
• View Publication
• BIB
Consider a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$. The weight of the shortest (minimum-weight) path $P_1$ between two given vertices is known to be $\ln n / n$, asymptotically. Define a second-shortest path $P_2$ to be the shortest path edge-disjoint from $P_1$, and consider more generally the shortest path $P_k$ edge-disjoint from all earlier paths. We show that the cost $X_k$ of $P_k$ converges in probability to $2k/n+\ln n/n$ uniformly for all $k \leq n-1$. We show analogous results when the edge weights are drawn from an exponential distribution. The same results characterise the collectively cheapest $k$ edge-disjoint paths, i.e., a minimum-cost $k$-flow. We also obtain the expectation of $X_k$ conditioned on the existence of $P_k$.
Improved Bounds for Burning Fence Graphs
Published
• View Publication
• BIB
Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The burning number of a graph $G$ is the minimum number of rounds necessary for each vertex of $G$ to burn. We consider the burning number of the $m \times n$ Cartesian grid graphs, written $G_{m,n}$.\ For $m = ω(\sqrt{n})$, the asymptotic value of the burning number of $G_{m,n}$ was determined, but only the growth rate of the burning number was investigated in the case $m = O(\sqrt{n})$, which we refer to as fence graphs. We provide new explicit bounds on the burning number of fence graphs $G_{c\sqrt{n},n}$, where $c > 0$.
Persistency of Linear Programming Relaxations for the Stable Set Problem
Published
• View Publication
• BIB
The Nemhauser-Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency: for every optimal LP solution that assigns integer values to some variables, there exists an optimal integer solution in which these variables retain the same values. While the standard LP is defined by only non-negativity and edge constraints, a variety of other LP formulations have been studied and one may wonder whether any of them has this property as well. We show that any other formulation that satisfies mild conditions cannot have the persistency property on all graphs, unless it is always equal to the stable set polytope.
Halfway to Hadwiger's Conjecture
In 1943, Hadwiger conjectured that every $K_t$-minor-free graph is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Very recently, Norin and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^{0.354})$-colorable. Improving on the second part of their argument, we prove that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac{1}{4}$.
Combinatorial list-decoding of Reed-Solomon codes beyond the Johnson radius
Published
• View Publication
• BIB
List-decoding of Reed-Solomon (RS) codes beyond the so called Johnson radius has been one of the main open questions since the work of Guruswami and Sudan. It is now known by the work of Rudra and Wootters, using techniques from high dimensional probability, that over large enough alphabets most RS codes are indeed list-decodable beyond this radius.
In this paper we take a more combinatorial approach which allows us to determine the precise relation (up to the exact constant) between the decoding radius and the list size. We prove a generalized Singleton bound for a given list size, and conjecture that the bound is tight for most RS codes over large enough finite fields. We also show that the conjecture holds true for list sizes $2 \text{ and }3$, and as a by product show that most RS codes with a rate of at least $1/9$ are list-decodable beyond the Johnson radius. Lastly, we give the first explicit construction of such RS codes. The main tools used in the proof are a new type of linear dependency between codewords of a code that are contained in a small Hamming ball, and the notion of cycle space from Graph Theory. Both of them have not been used before in the context of list-decoding.
Multilateration of Random Networks with Community Structure
The minimal number of nodes required to multilaterate a network endowed with geodesic distance (i.e., to uniquely identify all nodes based on shortest path distances to the selected nodes) is called its metric dimension. This quantity is related to a useful technique for embedding graphs in low-dimensional Euclidean spaces and representing the nodes of a graph numerically for downstream analyses such as vertex classification via machine learning. While metric dimension has been studied for many kinds of graphs, its behavior on the Stochastic Block Model (SBM) ensemble has not. The simple community structure of graphs in this ensemble make them interesting in a variety of contexts. Here we derive probabilistic bounds for the metric dimension of random graphs generated according to the SBM, and describe algorithms of varying complexity to find---with high probability---subsets of nodes for multilateration. Our methods are tested on SBM ensembles with parameters extracted from real-world networks. We show that our methods scale well with increasing network size as compared to the state-of-the-art Information Content Heuristic algorithm for metric dimension approximation.
On the Standard (2,2)-Conjecture
The well-known 1-2-3 Conjecture asserts that the edges of every graph without an isolated edge can be weighted with $1$, $2$ and $3$ so that adjacent vertices receive distinct weighted degrees. This is open in general. We prove that every graph with minimum degree $δ\geq 10^6$ can be decomposed into two subgraphs requiring just weights $1$ and $2$ for the same goal. We thus prove the so-called Standard $(2,2)$-Conjecture for graphs with sufficiently large minimum degree. The result is in particular based on applications of the Lovász Local Lemma and theorems on degree-constrained subgraphs.
Shannon capacity and the categorical product
Published
• View Publication
• BIB
Shannon OR-capacity $C_{\rm OR}(G)$ of a graph $G$, that is the traditionally more often used Shannon AND-capacity of the complementary graph, is a homomorphism monotone graph parameter satisfying $C_{\rm OR}(F\times G)\le\min\{C_{\rm OR}(F),C_{\rm OR}(G)\}$ for every pair of graphs, where $F\times G$ is the categorical product of graphs $F$ and $G$. Here we initiate the study of the question when could we expect equality in this inequality. Using a strong recent result of Zuiddam, we show that if this "Hedetniemi-type" equality is not satisfied for some pair of graphs then the analogous equality is also not satisfied for this graph pair by some other graph invariant that has a much "nicer" behavior concerning some different graph operations. In particular, unlike Shannon capacity or the chromatic number, this other invariant is both multiplicative under the OR-product and additive under the join operation, while it is also nondecreasing along graph homomorphisms. We also present a natural lower bound on $C_{\rm OR}(F\times G)$ and elaborate on the question of how to find graph pairs for which it is known to be strictly less, than the upper bound $\min\{C_{\rm OR}(F),C_{\rm OR}(G)\}$. We present such graph pairs using the properties of Paley graphs.
Obstructions for bounded shrub-depth and rank-depth
Published in J. Combin. Theory Ser. B, 149:76-91, July 2021
• View Publication
• BIB
Shrub-depth and rank-depth are dense analogues of the tree-depth of a graph. It is well known that a graph has large tree-depth if and only if it has a long path as a subgraph. We prove an analogous statement for shrub-depth and rank-depth, which was conjectured by Hliněný, Kwon, Obdržálek, and Ordyniak [Tree-depth and vertex-minors, European J.~Combin. 2016]. Namely, we prove that a graph has large rank-depth if and only if it has a vertex-minor isomorphic to a long path. This implies that for every integer $t$, the class of graphs with no vertex-minor isomorphic to the path on $t$ vertices has bounded shrub-depth.
On the 12-representability of induced subgraphs of a grid graph
Published
• View Publication
• BIB
The notion of a 12-representable graph was introduced by Jones et al.. This notion generalizes the notions of the much studied permutation graphs and co-interval graphs. It is known that any 12-representable graph is a comparability graph, and also that a tree is 12-representable if and only if it is a double caterpillar. Moreover, Jones et al.\ initiated the study of 12-representability of induced subgraphs of a grid graph, and asked whether it is possible to characterize such graphs. This question in is meant to be about induced subgraphs of a grid graph that consist of squares, which we call square grid graphs. However, an induced subgraph in a grid graph does not have to contain entire squares, and we call such graphs line grid graphs.
In this paper we answer the question of Jones et al.\ by providing a complete characterization of $12$-representable square grid graphs in terms of forbidden induced subgraphs. Moreover, we conjecture such a characterization for the line grid graphs and give a number of results towards solving this challenging conjecture. Our results are a major step in the direction of characterization of all 12-representable graphs since beyond our characterization, we also discuss relations between graph labelings and 12-representability, one of the key open questions in the area.
Connectivity for quantum graphs
In quantum information theory there is a construction for quantum channels, appropriately called a quantum graph, that generalizes the confusability graph construction for classical channels in classical information theory. In this paper, we provide a definition of connectedness for quantum graphs that generalizes the classical definition. This is used to prove a quantum version of a particular case of the classical tree-packing theorem from graph theory. Generalizations for the related notions of $k$-connectedness and of orthogonal representation are also proposed for quantum graphs, and it is shown that orthogonal representations have the same implications for connectedness as they do in the classical case.
The Power Graph of a Torsion-Free Group of Nilpotency Class $2$
The directed power graph $\mathcal G(\mathbf G)$ of a group $\mathbf G$ is the simple digraph with vertex set $G$ in which $x\rightarrow y$ if $y$ is a power of $x$, the power graph is the underlying simple graph, and the enhanced power graph of $\mathbf G$ is the simple graph with the same vertex set such that two vertices are adjacent if they are powers of some element of $\mathbf G$.
In this paper three versions of the definition of the power graphs are discussed, and it is proved that the power graph by any of the three versions of the definitions determines the other two up to isomorphism. It is also proved that, if $\mathbf G$ is a torsion-free group of nilpotency class $2$ and if $\mathbf H$ is a group such that $\mathcal G(\mathbf H)\cong\mathcal G(\mathbf G)$, then $\mathbf G$ and $\mathbf H$ have isomorphic directed power graphs, which was an open problem proposed by Cameron, Guerra and Jurina.
A limit theorem for the $1$st Betti number of layer-$1$ subgraphs in random graphs
We initiate the study of local topology of random graphs. The high level goal is to characterize local "motifs" in graphs. In this paper, we consider what we call the layer-$r$ subgraphs for an input graph $G = (V,E)$: Specifically, the layer-$r$ subgraph at vertex $u \in V$, denoted by $G_{u; r}$, is the induced subgraph of $G$ over vertex set $Δ_{u}^{r}:= \left\{v \in V: d_G(u,v) = r \right\}$, where $d_G$ is shortest-path distance in $G$. Viewing a graph as a 1-dimensional simplicial complex, we then aim to study the $1$st Betti number of such subgraphs. Our main result is that the $1$st Betti number of layer-$1$ subgraphs in Erdős--Rényi random graphs $G(n,p)$ satisfies a central limit theorem.
Cops that surround a robber
Published
• View Publication
• BIB
We introduce the game of Surrounding Cops and Robbers on a graph, as a variant of the original game of Cops and Robbers. In contrast to the original game in which the cops win by occupying the same vertex as the robber, they now win by occupying each of the robber's neighbouring vertices. We denote by $σ(G)$ the {\em surrounding cop number} of $G$, namely the least number of cops required to surround a robber in the graph $G$. We present a number of results regarding this parameter, including general bounds as well as exact values for several classes of graphs. Particular classes of interest include product graphs, graphs arising from combinatorial designs, and generalised Petersen graphs.
Index of seaweed algebras and integer partitions
Published
• View Publication
• BIB
The index of a Lie algebra is an important algebraic invariant. In 2000, Vladimir Dergachev and Alexandre Kirillov defined seaweed subalgebras of $\mathfrak{gl}_n$ (or $\mathfrak{sl}_n$) and provided a formula for the index of a seaweed algebra using a certain graph, so-called a meander. In a recent paper, Vincent Coll, Andrew Mayers, and Nick Mayers defined a new statistic for partitions, namely the index of a partition, which arises from seaweed Lie algebras of type A. At the end of their paper, they presented an interesting conjecture, which involves integer partitions into odd parts. Motivated by their work, in this paper, we exploit various index statistics and the index weight generating functions for partitions. In particular, we examine their conjecture by considering the generating function for partitions into odd parts. We will also reprove another result from their paper using generating functions.
Orthogonal Colourings of Cayley Graphs
Published
• View Publication
• BIB
Two colourings of a graph are orthogonal if they have the property that when two vertices are coloured with the same colour in one colouring, then those vertices receive distinct colours in the other colouring. In this paper, orthogonal colourings of Cayley graphs are discussed. Firstly, the orthogonal chromatic number of cycle graphs are completely determined. Secondly, the orthogonal chromatic number of certain circulant graphs is explored. Lastly, orthogonal colourings of product graphs and Hamming graphs are studied.
A poset metric from the directed maximum common edge subgraph
We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented as weakly connected directed acyclic graphs. While most existing metrics assume that the underlying sets of the partial order are identical, and only the relationships between elements can differ, the metric defined here allows the partially ordered sets to be different. The proof that there is a metric based on DMCES involves the extension of the concept of line digraphs. Although this extension can be used to compute the metric by a reduction to the maximum clique problem, it is computationally feasible only for sparse graphs. We provide an alternative techniques for computing the metric for directed graphs that have the additional property of being transitively closed.