graph
35411 papers tagged with this keyword
On density of subgraphs of Cartesian products
Published
• View Publication
• BIB
In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)α(H)$ holds, where $α(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products.
A note on the restricted arc connectivity of oriented graphs of girth four
Let $D$ be a strongly connected digraph.
An arc set $S$ of $D$ is a \emph{restricted arc-cut} of $D$ if $D-S$ has a non-trivial strong component $D_{1}$ such that $D-V(D_{1})$ contains an arc. The \emph{restricted arc-connectivity} $λ'(D)$ of a digraph $D$ is the minimum cardinality over all restricted arc-cuts of $D$. A strongly connected digraph $D$ is \emph{$λ'$-connected} when $λ'(D)$ exists. This paper presents a family $\cal{F}$ of strong digraphs of girth four that are not $λ'$-connected and for every strong digraph $D\notin \cal{F}$ with girth four it follows that it is $λ'$-connected. Also, an upper and lower bound for $λ'(D)$ are given.
Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians
Published in Duke Math. J. 168, no. 18 (2019), 3437-3527
• View Publication
• BIB
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $Φ_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $Φ_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $Φ_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $Δ_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $Φ_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $Δ_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.
Spanning closed walks with bounded maximum degrees of graphs on surfaces
Gao and Richter (1994) showed that every $3$-connected graph which embeds on the plane or the projective plane has a spanning closed walk meeting each vertex at most $2$ times. Brunet, Ellingham, Gao, Metzlar, and Richter (1995) extended this result to the torus and Klein bottle. Sanders and Zhao (2001) obtained a sharp result for higher surfaces by proving that every $3$-connected graph embeddable on a surface with Euler characteristic $χ\le -46$ admits a spanning closed walk meeting each vertex at most $\lceil \frac{6-2χ}{3}\rceil$ times. In this paper, we develop these results to the remaining surfaces with Euler characteristic $χ\le 0$.
Split-Decomposition Trees with Prime Nodes: Enumeration and Random Generation of Cactus Graphs
Published
• View Publication
• BIB
In this paper, we build on recent results by Chauve et al. (2014) and Bahrani and Lumbroso (2017), which combined the split-decomposition, as exposed by Gioan and Paul, with analytic combinatorics, to produce new enumerative results on graphs---in particular the enumeration of several subclasses of perfect graphs (distance-hereditary, 3-leaf power, ptolemaic). Our goal was to study a simple family of graphs, of which the split-decomposition trees have prime nodes drawn from an enumerable (and manageable!) set of graphs. Cactus graphs, which we describe in more detail further down in this paper, can be thought of as trees with their edges replaced by cycles (of arbitrary lengths). Their split-decomposition trees contain prime nodes that are cycles, making them ideal to study. We derive a characterization for the split-decomposition trees of cactus graphs, produce a general template of symbolic grammars for cactus graphs, and implement random generation for these graphs, building on work by Iriza (2015).
Unified theory for finite Markov chains
Published in Advances in Mathematics 347 (2019) 739-779
• View Publication
• BIB
We provide a unified framework to compute the stationary distribution of any finite irreducible Markov chain or equivalently of any irreducible random walk on a finite semigroup $S$. Our methods use geometric finite semigroup theory via the Karnofsky-Rhodes and the McCammond expansions of finite semigroups with specified generators; this does not involve any linear algebra. The original Tsetlin library is obtained by applying the expansions to $P(n)$, the set of all subsets of an $n$ element set. Our set-up generalizes previous groundbreaking work involving left-regular bands (or $\mathscr{R}$-trivial bands) by Brown and Diaconis, extensions to $\mathscr{R}$-trivial semigroups by Ayyer, Steinberg, Thiéry and the second author, and important recent work by Chung and Graham. The Karnofsky-Rhodes expansion of the right Cayley graph of $S$ in terms of generators yields again a right Cayley graph. The McCammond expansion provides normal forms for elements in the expanded $S$. Using our previous results with Silva based on work by Berstel, Perrin, Reutenauer, we construct (infinite) semaphore codes on which we can define Markov chains. These semaphore codes can be lumped using geometric semigroup theory. Using normal forms and associated Kleene expressions, they yield formulas for the stationary distribution of the finite Markov chain of the expanded $S$ and the original $S$. Analyzing the normal forms also provides an estimate on the mixing time.
A maximizing characteristic for critical configurations of chip-firing games on digraphs
Published
• View Publication
• BIB
Aval et al. proved that starting from a critical configuration of a chip- firing game on an undirected graph, one can never achieve a stable configuration by reverse firing any non-empty subsets of its vertices. In this paper, we generalize the result to digraphs with a global sink where reverse firing subsets of vertices is replaced with reverse firing multi-subsets of vertices. Consequently, a combinatorial proof for the duality between critical configurations and superstable configurations on digraphs is given. Finally, by introducing the concept of energy vector assigned to each configuration, we show that critical and superstable configurations are the unique ones with the greatest and smallest (w.r.t. the containment order), respectively, energy vectors in each of their equivalence classes.
The Alon-Tarsi number of planar graphs
Published
• View Publication
• BIB
This paper proves that the Alon-Tarsi number of any planar graph is at most $5$, which gives an alternate proof of the $5$-choosability as well as the $5$-paintability of planar graphs.
On a Greedy Algorithm to Construct Universal Cycles for Permutations
Published
• View Publication
• BIB
A universal cycle for permutations of length $n$ is a cyclic word or permutation, any factor of which is order-isomorphic to exactly one permutation of length $n$, and containing all permutations of length $n$ as factors. It is well known that universal cycles for permutations of length $n$ exist. However, all known ways to construct such cycles are rather complicated. For example, in the original paper establishing the existence of the universal cycles, constructing such a cycle involves finding an Eulerian cycle in a certain graph and then dealing with partially ordered sets.
In this paper, we offer a simple way to generate a universal cycle for permutations of length $n$, which is based on applying a greedy algorithm to a permutation of length $n-1$. We prove that this approach gives a unique universal cycle $Π_n$ for permutations, and we study properties of $Π_n$.
The rank of a complex unit gain graph in terms of the rank of its underlying graph
Published
• View Publication
• BIB
Let $Φ=(G, \varphi)$ be a complex unit gain graph (or $\mathbb{T}$-gain graph) and $A(Φ)$ be its adjacency matrix, where $G$ is called the underlying graph of $Φ$. The rank of $Φ$, denoted by $r(Φ)$, is the rank of $A(Φ)$. Denote by $θ(G)=|E(G)|-|V(G)|+ω(G)$ the dimension of cycle spaces of $G$, where $|E(G)|$, $|V(G)|$ and $ω(G)$ are the number of edges, the number of vertices and the number of connected components of $G$, respectively. In this paper, we investigate bounds for $r(Φ)$ in terms of $r(G)$, that is, $r(G)-2θ(G)\leq r(Φ)\leq r(G)+2θ(G)$, where $r(G)$ is the rank of $G$. As an application, we also prove that $1-θ(G)\leq\frac{r(Φ)}{r(G)}\leq1+θ(G)$. All corresponding extremal graphs are characterized.
On S-packing edge-colorings of cubic graphs
Given a non-decreasing sequence S = (s 1,s 2,. .. ,s k) of positive integers, an S-packing edge-coloring of a graph G is a partition of the edge set of G into k subsets {X 1 ,X 2,. .. ,X k } such that for each 1 $\le$ i $\le$ k, the distance between two distinct edges e, e ' $\in$ X i is at least s i + 1. This paper studies S-packing edge-colorings of cubic graphs. Among other results, we prove that cubic graphs having a 2-factor are (1,1,1,3,3)-packing edge-colorable, (1,1,1,4,4,4,4,4)-packing edge-colorable and (1,1,2,2,2,2,2)-packing edge-colorable. We determine sharper results for cubic graphs of bounded oddness and 3-edge-colorable cubic graphs and we propose many open problems.
The first order convergence law fails for random perfect graphs
We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that $G_n$ satisfies it does not converge as $n\to\infty$.
Balanced Spanning Caterpillars
A $p$-caterpillar is a caterpillar such that every non-leaf vertex is adjacent to exactly $p$ leaves. We give a tight minimum degree condition for a graph to have a spanning $p$-caterpillar.
A generative graph model for electrical infrastructure networks
Published
• View Publication
• BIB
We propose a generative graph model for electrical infrastructure networks that accounts for heterogeneity in both node and edge type. To inform the model design, we analyze the properties of power grid graphs derived from the U.S. Eastern Interconnection, Texas Interconnection, and Poland transmission system power grids. Across these datasets, we find subgraphs induced by nodes of the same voltage level exhibit shared structural properties atypical to small-world networks, including low local clustering, large diameter, and large average distance. On the other hand, we find subgraphs induced by transformer edges linking nodes of different voltage types contain a more limited structure, consisting mainly of small, disjoint star graphs. The goal of our proposed model is to match both these inter and intra-network properties by proceeding in two phases: the first phase adapts the Chung-Lu random graph model, taking desired vertex degrees and desired diameter as inputs, while the second phase of the model is based on a simpler random star graph generation process. We test the model's performance by comparing its output across many runs to the aforementioned real data. In nearly all categories tested, we find our model is more accurate in reproducing the unusual mixture of properties apparent in the data than the Chung-Lu model. We also include graph visualization comparisons, a brief analysis of edge-deletion resiliency, and guidelines for artificially generating the model inputs in the absence of real data.
Optimal $(t,r)$ Broadcasts On the Infinite Grid
Let $G=(V,E)$ be a graph and $t,r$ be positive integers. The signal that a vertex $v$ receives from a tower of signal strength $t$ located at vertex $T$ is defined as $sig(v,T)=max(t-dist(v,T),0)$, where $dist(v,T)$ denotes the distance between the vertices $v$ and $T$. In 2015 Blessing, Insko, Johnson, and Mauretour defined a $(t,r)$ broadcast dominating set, or simply a $(t,r)$ broadcast, on $G$ as a set $\mathbb{T}\subseteq V$ such that the sum of all signal received at each vertex $v \in V$ is at least $r$. We say that $\mathbb{T}$ is optimal if $|\mathbb{T}|$ is minimal among all such sets $\mathbb{T}$. The cardinality of an optimal $(t,r)$ broadcast on a finite graph $G$ is called the $(t,r)$ broadcast domination number of $G$. The concept of $(t,r)$ broadcast domination generalizes the classical problem of domination on graphs. In fact, the $(2,1)$ broadcasts on a graph $G$ are exactly the dominating sets of $G$.
In their paper, Blessing et al. considered $(t,r)\in\{(2,2),(3,1),(3,2),(3,3)\}$ and gave optimal $(t,r)$ broadcasts on $G_{m,n}$, the grid graph of dimension $m\times n$, for small values of $m$ and $n$. They also provided upper bounds on the optimal $(t,r)$ broadcast numbers for grid graphs of arbitrary dimensions. In this paper, we define the density of a $(t,r)$ broadcast, which allows us to provide optimal $(t,r)$ broadcasts on the infinite grid graph for all $t\geq2$ and $r=1,2$, and bound the density of the optimal $(t,3)$ broadcast for all $t\geq2$. In addition, we give a family of counterexamples to the conjecture of Blessing et al. that the optimal $(t,r)$ and $(t+1, r+2)$ broadcasts are identical for all $t\geq1$ and $r\geq1$ on the infinite grid.
Restricted lonesum matrices
Lonesum matrices are matrices that are uniquely reconstructible from their row and column sum vectors. These matrices are enumerated by the poly-Bernoulli numbers that are related to the multiple zeta values and have a rich literature in number theory. Combinatorially, lonesum matrices are in bijection with many other combinatorial objects: several permutation classes, other matrix classes, acyclic orientations in graphs etc. Motivated of these facts, we study in this paper lonesum matrices with restriction on the number of columns and rows of the same type.
Cycle double covers and non-separating cycles
Published
• View Publication
• BIB
Which $2$-regular subgraph $R$ of a cubic graph $G$ can be extended to a cycle double cover of $G$? We provide a condition which ensures that every $R$ satisfying this condition is part of a cycle double cover of $G$. As one consequence, we prove that every $2$-connected cubic graph which has a decomposition into a spanning tree and a $2$-regular subgraph $C$ consisting of $k$ circuits with $k\leq 3$, has a cycle double cover containing $C$.
An infinite quantum Ramsey theorem
Published
• View Publication
• BIB
We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided there is no obvious obstruction, there is an infinite rank projection P with the property that the compression PVP is either maximal or minimal in a certain natural sense.
Symmetric Grothendieck polynomials, skew Cauchy identities, and dual filtered Young graphs
Published
• View Publication
• BIB
Symmetric Grothendieck polynomials are analogues of Schur polynomials in the K-theory of Grassmannians. We build dual families of symmetric Grothendieck polynomials using Schur operators. With this approach we prove skew Cauchy identity and then derive various applications: skew Pieri rules, dual filtrations of Young's lattice, generating series and enumerative identities. We also give a new explanation of the finite expansion property for products of Grothendieck polynomials.
Inverse Perron values and connectivity of a uniform hypergraph
Published
• View Publication
• BIB
In this paper, we show that a uniform hypergraph $\mathcal{G}$ is connected if and only if one of its inverse Perron values is larger than $0$. We give some bounds on the bipartition width, isoperimetric number and eccentricities of $\mathcal{G}$ in terms of inverse Perron values. By using the inverse Perron values, we give an estimation of the edge connectivity of a $2$-design, and determine the explicit edge connectivity of a symmetric design. Moreover, relations between the inverse Perron values and resistance distance of a connected graph are presented.