graph
35299 papers tagged with this keyword
Proof of a conjecture on `plateaux' phenomenon of graph Laplacian eigenvalues
Published
• View Publication
• BIB
Let $G$ be a simple graph. A pendant path of $G$ is a path such that one of its end vertices has degree $1$, the other end has degree $\ge3$, and all the internal vertices have degree $2$. Let $p_k(G)$ be the number of pendant paths of length $k$ of $G$, and $q_k(G)$ be the number of vertices with degree $\ge3$ which are an end vertex of some pendant paths of length $k$. Motivated by the problem of characterizing dendritic trees, N. Saito and E. Woei conjectured that any graph $G$ has some Laplacian eigenvalue with multiplicity at least $p_k(G)-q_k(G)$. We prove a more general result for both Laplacian and signless Laplacian eigenvalues from which the conjecture follows.
On the Principal Permanent Rank Characteristic Sequences of Graphs and Digraphs
Published
• View Publication
• BIB
The principal permanent rank characteristic sequence is a binary sequence $r_0 r_1 \ldots r_n$ where $r_k = 1$ if there exists a principal square submatrix of size $k$ with nonzero permanent and $r_k = 0$ otherwise, and $r_0 = 1$ if there is a zero diagonal entry.
A characterization is provided for all principal permanent rank sequences obtainable by the family of nonnegative matrices as well as the family of nonnegative symmetric matrices. Constructions for all realizable sequences are provided.
Results for skew-symmetric matrices are also included.
On the decomposition of random hypergraphs
Published
• View Publication
• BIB
For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was introduced by Graham and Pollak in 1971. In 1988, Erdős conjectured that if $G \in G(n,1/2)$, then with high probability $f(G)=n-α(G)$, where $α(G)$ is the independence number of $G$. This conjecture and related problems have received a lot of attention recently. In this paper, we study the value of $f(H)$ for a typical $r$-uniform hypergraph $H$. More precisely, we prove that if $(\log n)^{2.001}/n \leq p \leq 1/2$ and $H \in H^{(r)}(n,p)$, then with high probability $f(H)=(1-π(K^{(r-1)}_r)+o(1))\binom{n}{r-1}$, where $π(K^{(r-1)}_r)$ is the Turán density of $K^{(r-1)}_r$.
Chvátal-type results for degree sequence Ramsey numbers
A sequence of nonnegative integers $π=(d_1,d_2,...,d_n)$ is graphic if there is a (simple) graph $G$ of order $n$ having degree sequence $π$. In this case, $G$ is said to realize or be a realization of $π$. Given a graph $H$, a graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph.
In this paper, we consider a degree sequence analogue to classical graph Ramsey numbers. For graphs $H_1$ and $H_2$, the potential-Ramsey number $r_{pot}(H_1,H_2)$ is the minimum integer $N$ such that for any $N$-term graphic sequence $π$, either $π$ is potentially $H_1$-graphic or the complementary sequence $\overlineπ=(N-1-d_N,\dots, N-1-d_1)$ is potentially $H_2$-graphic.
We prove that if $s\ge 2$ is an integer and $T_t$ is a tree of order $t> 7(s-2)$, then $$r_{pot}(K_s, T_t) = t+s-2.$$ This result, which is best possible up to the bound on $t$, is a degree sequence analogue to a classical 1977 result of Chvátal on the graph Ramsey number of trees vs. cliques. To obtain this theorem, we prove a sharp condition that ensures an arbitrary graph packs with a forest, which is likely to be of independent interest.
Linear sequential dynamical systems, incidence algebras, and Möbius functions
Published in Linear Algebra Appl. 553 (2018), 270-291
• View Publication
• BIB
A sequential dynamical system (SDS) consists of a graph, a set of local functions and an update schedule. A linear sequential dynamical system is an SDS whose local functions are linear. In this paper, we derive an explicit closed formula for any linear SDS as a synchronous dynamical system. We also show constructively, that any synchronous linear system can be expressed as a linear SDS, i.e. it can be written as a product of linear local functions. Furthermore, we study the connection between linear SDS and the incidence algebras of partially ordered sets (posets). Specifically, we show that the Möbius function of any poset can be computed via an SDS, whose graph is induced by the Hasse diagram of the poset. Finally, we prove a cut theorem for the Möbius functions of posets with respect to certain chain decompositions.
A Pfaffian formula for monomer-dimer partition functions
Published
• View Publication
• BIB
We consider the monomer-dimer partition function on arbitrary finite planar graphs and arbitrary monomer and dimer weights, with the restriction that the only non-zero monomer weights are those on the boundary. We prove a Pfaffian formula for the corresponding partition function. As a consequence of this result, multipoint boundary monomer correlation functions at close packing are shown to satisfy fermionic statistics. Our proof is based on the celebrated Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the authors, and a careful labeling and directing procedure of the vertices and edges of the graph.
Equitable Decompositions of Graphs
Published
• View Publication
• BIB
We investigate connections between the symmetries (automorphisms) of a graph and its spectral properties. Whenever a graph has a symmetry, i.e. a nontrivial automorphism $φ$, it is possible to use $φ$ to decompose any matrix $M\in\mathbb{C}^{n \times n}$ appropriately associated with the graph. The result of this decomposition is a number of strictly smaller matrices whose collective eigenvalues are the same as the eigenvalues of the original matrix $M$. Some of the matrices that can be decomposed are the graph's adjaceny matrix, Laplacian matrix, etc. Because this decomposition has connections to the theory of equitable partitions it is referred to as an equitable decomposition. Since the graph structure of many real-world networks is quite large and has a high degree of symmetry, we discuss how equitable decompositions can be used to effectively bound both the network's spectral radius and spectral gap, which are associated with dynamic processes on the network. Moreover, we show that the techniques used to equitably decompose a graph can be used to bound the number of simple eigenvalues of undirected graphs, where we obtain sharp results of Petersdorf-Sachs type.
Graph polynomials and link invariants as positive type functions on Thompson's group F
Published in J. Knot Theory Ramif. Vol. 28, No. 02, 1950006 (2019)
• View Publication
• BIB
In a recent paper Jones introduced a correspondence between elements of the Thompson group $F$ and certain graphs/links. It follows from his work that several polynomial invariants of links, such as the Kauffman bracket, can be reinterpreted as coefficients of certain unitary representations of $F$. We give a somewhat different and elementary proof of this fact for the Kauffman bracket evaluated at certain roots of unity by means of a statistical mechanics model interpretation. Moreover, by similar methods we show that, for some particular specializations of the variables, other familiar link invariants and graph polynomials, namely the number of $N$-colourings and the Tutte polynomial, can be viewed as positive definite functions on $F$.
An $O(\log OPT)$-approximation for covering and packing minor models of $θ_r$
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, we define $\textsf{v-cover}_{H}(G)$ (resp. $\textsf{e-cover}_{H}(G)$) as the minimum number of vertices (resp. edges) whose removal from $G$ produces a graph without any minor isomorphic to ${H}$. Also $\textsf{v-pack}_{H}(G)$ (resp. $\textsf{v-pack}_{H}(G)$) is the maximum number of vertex- (resp. edge-) disjoint subgraphs of $G$ that contain a minor isomaorphic to $H$. We denote by $θ_r$ the graph with two vertices and $r$ parallel edges between them. When $H=θ_r$, the parameters $\textsf{v-cover}_{H}$, $\textsf{e-cover}_{H}$, $\textsf{v-pack}_{H}$, and $\textsf{v-pack}_{H}$ are NP-hard to compute (for sufficiently big values of $r$). Drawing upon combinatorial results in [Minors in graphs of large $θ_r$-girth, Chatzidimitriou et al., arXiv:1510.03041], we give an algorithmic proof that if $\textsf{v-pack}_{θ_r}(G)\leq k$, then $\textsf{v-cover}_{θ_r}(G) = O(k\log k)$, and similarly for $\textsf{v-pack}_{θ_r}$ and $\textsf{e-cover}_{θ_r}$. In other words, the class of graphs containing ${θ_r}$ as a minor has the vertex/edge Erdős-Pósa property, for every positive integer $r$. Using the algorithmic machinery of our proofs, we introduce a unified approach for the design of an $O(\log {\rm OPT})$-approximation algorithm for $\textsf{v-pack}_{θ_r}$, $\textsf{v-cover}_{θ_r}$, $\textsf{v-pack}_{θ_r}$, and $\textsf{e-cover}_{θ_r}$ that runs in $O(n\cdot \log(n)\cdot m)$ steps. Also, we derive several new Erdős-Pósa-type results from the techniques that we introduce.
On the Ramsey-Turán number with small $s$-independence number
Published
• View Publication
• BIB
Let $s$ be an integer, $f=f(n)$ a function, and $H$ a graph. Define the Ramsey-Turán number $RT_s(n,H, f)$ as the maximum number of edges in an $H$-free graph $G$ of order $n$ with $α_s(G) < f$, where $α_s(G)$ is the maximum number of vertices in a $K_s$-free induced subgraph of $G$. The Ramsey-Turán number attracted a considerable amount of attention and has been mainly studied for $f$ not too much smaller than $n$. In this paper we consider $RT_s(n,K_t, n^δ)$ for fixed $δ<1$. We show that for an arbitrarily small $\varepsilon>0$ and $1/2<δ< 1$, $RT_s(n,K_{s+1}, n^δ) = Ω(n^{1+δ-\varepsilon})$ for all sufficiently large $s$. This is nearly optimal, since a trivial upper bound yields $RT_s(n,K_{s+1}, n^δ) = O(n^{1+δ})$. Furthermore, the range of $δ$ is as large as possible. We also consider more general cases and find bounds on $RT_s(n,K_{s+r},n^δ)$ for fixed $r\ge2$. Finally, we discuss a phase transition of $RT_s(n, K_{2s+1}, f)$ extending some recent result of Balogh, Hu and Simonovits.
On the Classes of Interval Graphs of Limited Nesting and Count of Lengths
In 1969, Roberts introduced proper and unit interval graphs and proved that these classes are equal. Natural generalizations of unit interval graphs called $k$-length interval graphs were considered in which the number of different lengths of intervals is limited by $k$. Even after decades of research, no insight into their structure is known and the complexity of recognition is open even for $k=2$. We propose generalizations of proper interval graphs called $k$-nested interval graphs in which there are no chains of $k+1$ intervals nested in each other. It is easy to see that $k$-nested interval graphs are a superclass of $k$-length interval graphs.
We give a linear-time recognition algorithm for $k$-nested interval graphs. This algorithm adds a missing piece to Gajarský et al. [FOCS 2015] to show that testing FO properties on interval graphs is FPT with respect to the nesting $k$ and the length of the formula, while the problem is W2-hard when parameterized just by the length of the formula. We show that a generalization of recognition called partial representation extension is NP-hard for $k$-length interval graphs, even when $k=2$, while Klavík et al. show that it is polynomial-time solvable for $k$-nested interval graphs.
Ends and Tangles
Published in Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 87 (2017), 223-244
• View Publication
• BIB
We show that an arbitrary infinite graph can be compactified by its ${\aleph_0}$-tangles in much the same way as the ends of a locally finite graph compactify it in its Freudenthal compactification. In general, the ends then appear as a subset of its ${\aleph_0}$-tangles.
The ${\aleph_0}$-tangles of a graph are shown to form an inverse limit of the ultrafilters on the sets of components obtained by deleting a finite set of vertices. The ${\aleph_0}$-tangles that are ends are precisely the limits of principal ultrafilters.
The ${\aleph_0}$-tangles that correspond to a highly connected part, or $\aleph_0$-block, of the graph are shown to be precisely those that are closed in the topological space of its finite-order separations.
List coloring digraphs
Published
• View Publication
• BIB
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the least number $k$ such that the vertex set of $D$ can be partitioned into $k$ parts each of which induces an acyclic subdigraph. Introduced by Neumann-Lara in 1982, this digraph invariant shares many properties with the usual chromatic number of graphs and can be seen as the natural analog of the graph chromatic number. In this paper, we study the list dichromatic number of digraphs, giving evidence that this notion generalizes the list chromatic number of graphs. We first prove that the list dichromatic number and the dichromatic number behave the same in many contexts, such as in small digraphs (by proving a directed version of Ohba's Conjecture), tournaments, and random digraphs. We then consider bipartite digraphs, and show that their list dichromatic number can be as large as $Ω(\log_2 n)$. We finally give a Brooks-type upper bound on the list dichromatic number of digon-free digraphs.
Self 2-distance graphs
Published in Can. Math. Bull. 60 (2017) 26-42
• View Publication
• BIB
All finite simple self $2$-distance graphs with no $4$-cycle, diamond, or triangles with a common vertex are determined. Utilizing these results, it is shown that there is no cubic self $2$-distance graphs.
Excluding a full grid minor
Published in Abh. Math. Semin. Univ. Hambg. (2017) 87: 265
• View Publication
• BIB
In this paper we characterise the graphs containing a $\mathbb{Z} \times \mathbb{Z}$ grid minor in a similar way as it has been done by Halin for graphs with an $\mathbb{N} \times \mathbb{Z}$ grid minor. Using our characterisation, we describe the structure of graphs without $\mathbb{Z} \times \mathbb{Z}$ grid minors in terms of tree-decompositions.
Relative Cayley graphs of finite groups
The relative Cayley graph of a group $G$ with respect to its proper subgroup $H$, is a graph whose vertices are elements of $G$ and two vertices $h\in H$ and $g\in G$ are adjacent if $g=hc$ for some $c\in C$, where $C$ is an inversed-closed subset of $G$. We study the relative Cayley graphs and, among other results, we discuss on their connectivity and forbidden structures, and compute some of their important numerical invariants.
On the Complexity of Rainbow Coloring Problems
Published
• View Publication
• BIB
An edge-colored graph $G$ is said to be rainbow connected if between each pair of vertices there exists a path which uses each color at most once. The rainbow connection number, denoted by $rc(G)$, is the minimum number of colors needed to make $G$ rainbow connected. Along with its variants, which consider vertex colorings and/or so-called strong colorings, the rainbow connection number has been studied from both the algorithmic and graph-theoretic points of view.
In this paper we present a range of new results on the computational complexity of computing the four major variants of the rainbow connection number. In particular, we prove that the \textsc{Strong Rainbow Vertex Coloring} problem is $NP$-complete even on graphs of diameter $3$. We show that when the number of colors is fixed, then all of the considered problems can be solved in linear time on graphs of bounded treewidth. Moreover, we provide a linear-time algorithm which decides whether it is possible to obtain a rainbow coloring by saving a fixed number of colors from a trivial upper bound. Finally, we give a linear-time algorithm for computing the exact rainbow connection numbers for three variants of the problem on graphs of bounded vertex cover number.
Treetopes and their Graphs
Published in Discrete & Computational Geometry 64 (2): 259-289, 2020
• View Publication
• BIB
We define treetopes, a generalization of the three-dimensional roofless polyhedra (Halin graphs) to arbitrary dimensions. Like roofless polyhedra, treetopes have a designated base facet such that every face of dimension greater than one intersects the base in more than one point. We prove an equivalent characterization of the 4-treetopes using the concept of clustered planarity from graph drawing, and we use this characterization to recognize the graphs of 4-treetopes in polynomial time. This result provides one of the first classes of 4-polytopes, other than pyramids and stacked polytopes, that can be recognized efficiently from their graphs.
Duality between star and plus connected components in percolation
Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. Star and plus connected components containing the origin have been previously studied using unicoherence and interface graphs. In this paper, we use the structure of the outermost boundaries derived in Ganesan (2015) to alternately obtain duality between star and plus connected components in the following sense: There is a plus connected cycle of vacant squares attached to surrounding the finite star connected component containing the origin. There is a star connected cycle of vacant squares attached to and surrounding the finite plus connected component containing the origin.
On flow polytopes, order polytopes, and certain faces of the alternating sign matrix polytope
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.