graph
35299 papers tagged with this keyword
On realization graphs of degree sequences
Published in Discrete Mathematics, vol. 339 (2016), no. 8, pp. 2146-2152
• View Publication
• BIB
Given the degree sequence $d$ of a graph, the realization graph of $d$ is the graph having as its vertices the labeled realizations of $d$, with two vertices adjacent if one realization may be obtained from the other via an edge-switching operation. We describe a connection between Cartesian products in realization graphs and the canonical decomposition of degree sequences described by R.I. Tyshkevich and others. As applications, we characterize the degree sequences whose realization graphs are triangle-free graphs or hypercubes.
Random Graphs Associated to some Discrete and Continuous Time Preferential Attachment Models
Published in Journal of Statistical Physics 162 (6), 1608-1638, 2016
• View Publication
• BIB
We give a common description of Simon, Barabási--Albert, II-PA and Price growth models, by introducing suitable random graph processes with preferential attachment mechanisms. Through the II-PA model, we prove the conditions for which the asymptotic degree distribution of the Barabási--Albert model coincides with the asymptotic in-degree distribution of the Simon model. Furthermore, we show that when the number of vertices in the Simon model (with parameter $α$) goes to infinity, a portion of them behave as a Yule model with parameters $(λ,β) = (1-α,1)$, and through this relation we explain why asymptotic properties of a random vertex in Simon model, coincide with the asymptotic properties of a random genus in Yule model. As a by-product of our analysis, we prove the explicit expression of the in-degree distribution for the II-PA model, given without proof in \cite{Newman2005}.
References to traditional and recent applications of the these models are also discussed.
Competition graphs induced by permutations
In prior work, Cho and Kim studied competition graphs arising from doubly partial orders. In this article, we consider a related problem where competition graphs are instead induced by permutations. We first show that this approach produces the same class of competition graphs as the doubly partial order. In addition, we observe that the $123$ and $132$ patterns in a permutation induce the edges in the associated competition graph. We classify the competition graphs arising from $132$-avoiding permutations and show that those graphs must avoid an induced path graph of length 3. Finally, we consider the weighted competition graph of permutations and give some initial enumerative and structural results in that setting.
Higher chordality: From graphs to complexes
Published
• View Publication
• BIB
We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac.
An Extension of hibi's palindromic theorem
Hibi showed that the polynomial in the numerator of the Ehrhart series of a reflexive polytope is palindromic. We proved that those in the numerator of the Ehrhart series of every graph polytope (defined later) of the bipartite graph is palindromic. From this, one of the conjectures (raised in the A205497 of OEIS \cite{[O]}) follows immediately.
Minimum spanning acycle and lifetime of persistent homology in the Linial-Meshulam process
Published
• View Publication
• BIB
This paper studies a higher dimensional generalization of Frieze's $ζ(3)$-limit theorem in the Erdös-Rényi graph process. Frieze's theorem states that the expected weight of the minimum spanning tree converges to $ζ(3)$ as the number of vertices goes to infinity. In this paper, we study the $d$-Linial-Meshulam process as a model for random simplicial complexes, where $d=1$ corresponds to the Erdös-Rényi graph process. First, we define spanning acycles as a higher dimensional analogue of spanning trees, and connect its minimum weight to persistent homology. Then, our main result shows that the expected weight of the minimum spanning acycle behaves in $O(n^{d-1})$.
Boxicity and topological invariants
Published in European J. Combin. 51 (2016), 495-499
• View Publication
• BIB
The boxicity of a graph $G=(V,E)$ is the smallest integer $k$ for which there exist $k$ interval graphs $G_i=(V,E_i)$, $1 \le i \le k$, such that $E=E_1 \cap \cdots \cap E_k$. In the first part of this note, we prove that every graph on $m$ edges has boxicity $O(\sqrt{m \log m})$, which is asymptotically best possible. We use this result to study the connection between the boxicity of graphs and their Colin de Verdière invariant, which share many similarities. Known results concerning the two parameters suggest that for any graph $G$, the boxicity of $G$ is at most the Colin de Verdière invariant of $G$, denoted by $μ(G)$. We observe that every graph $G$ has boxicity $O(μ(G)^4(\log μ(G))^2)$, while there are graphs $G$ with boxicity $Ω(μ(G)\sqrt{\log μ(G)})$. In the second part of this note, we focus on graphs embeddable on a surface of Euler genus $g$. We prove that these graphs have boxicity $O(\sqrt{g}\log g)$, while some of these graphs have boxicity $Ω(\sqrt{g \log g})$. This improves the previously best known upper and lower bounds. These results directly imply a nearly optimal bound on the dimension of the adjacency poset of graphs on surfaces.
Theta characteristics of tropical $K_4$-curves
Published
• View Publication
• BIB
A $K_4$-curve is a smooth, proper curve X of genus 3 over a nonarchimedean field whose Berkovich skeleton $Γ$ is a complete graph on 4 vertices. The curve X has 28 effective theta characteristics, i.e. the 28 bitangents to a canonical embedding, while $Γ$ has exactly seven tropical theta characteristics, as shown by Zharkov. We prove that the 28 effective theta characteristics of a $K_4$-curve specialize to the theta characteristics of its minimal skeleton in seven groups of four.
Counting hypergraph matchings up to uniqueness threshold
Published
• View Publication
• BIB
We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity parameter $λ$, each matching $M$ is assigned a weight $λ^{|M|}$. The counting problem is formulated as computing a partition function that gives the sum of the weights of all matchings in a hypergraph. This problem unifies two extensively studied statistical physics models in approximate counting: the hardcore model (graph independent sets) and the monomer-dimer model (graph matchings).
For this model, the critical activity $λ_c= \frac{d^d}{k (d-1)^{d+1}}$ is the threshold for the uniqueness of Gibbs measures on the infinite $(d+1)$-uniform $(k+1)$-regular hypertree. Consider hypergraphs of maximum degree at most $k+1$ and maximum size of hyperedges at most $d+1$. We show that when $λ< λ_c$, there is an FPTAS for computing the partition function; and when $λ= λ_c$, there is a PTAS for computing the log-partition function. These algorithms are based on the decay of correlation (strong spatial mixing) property of Gibbs distributions. When $λ> 2λ_c$, there is no PRAS for the partition function or the log-partition function unless NP$=$RP.
Towards obtaining a sharp transition of computational complexity of approximate counting, we study the local convergence from a sequence of finite hypergraphs to the infinite lattice with specified symmetry. We show a surprising connection between the local convergence and the reversibility of a natural random walk. This leads us to a barrier for the hardness result: The non-uniqueness of infinite Gibbs measure is not realizable by any finite gadgets.
Fourientations and the Tutte Polynomial
Published in Research in the Mathematical Sciences, 4, 2017
• View Publication
• BIB
A fourientation of a graph is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. Fixing a total order on the edges and a reference orientation of the graph, we investigate properties of cuts and cycles in fourientations which give trivariate generating functions that are generalized Tutte polynomial evaluations of the form \[(k+m)^{n-1}(k+l)^gT\left(\frac{αk + βl + m}{k+m},\frac{γk + l + δm}{k+l}\right)\] for $α,γ\in \{0,1,2\}$ and $β, δ\in \{0,1\}$. We introduce an intersection lattice of 64 cut-cycle fourientation classes enumerated by generalized Tutte polynomial evaluations of this form. We prove these enumerations using a single deletion-contraction argument and classify axiomatically the set of fourientation classes to which our deletion-contraction argument applies. This work unifies and extends earlier results for fourientations due to Gessel and Sagan, and results for partial orientations due to the first author, and the second author and David Perkinson, as well as results for total orientations due to many authors. We conclude by describing how these classes of fourientations relate to geometric, combinatorial, and algebraic objects including bigraphical arrangements, cycle-cocycle reversal systems, graphic Lawrence ideals, Riemann-Roch theory for graphs, zonotopal algebras, and the reliability polynomial.
Upper bound theorem for odd-dimensional flag triangulations of manifolds
Published in Mathematika 62 (2016) 909-928
• View Publication
• BIB
We prove that among all flag triangulations of manifolds of odd dimension 2r-1 with sufficiently many vertices the unique maximizer of the entries of the f-, h-, g- and gamma-vector is the balanced join of r cycles. Our proof uses methods from extremal graph theory.
Circuit diameter and Klee-Walkup constructions
Published
• View Publication
• BIB
Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets.
It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.
Asymptotic incidence energy and Laplacian-energy-like invariant of the Union Jack lattice
The incidence energy $\mathscr{IE}(G)$ of a graph $G$, defined as the sum of the singular values of the incidence matrix of a graph $G$, is a much studied quantity with well known applications in chemical physics. The Laplacian-energy-like invariant of $G$ is defined as the sum of square roots of the Laplacian eigenvalues. In this paper, we obtain the closed-form formulae expressing the incidence energy and the Laplacian-energy-like invariant of the Union Jack lattice. Moreover, the explicit asymptotic values of these quantities are calculated by utilizing the applications of analysis approach with the help of calculational software.
Generalized Hultman Numbers and Cycle Structures of Breakpoint Graphs
Published in Journal of Computational Biology 24:2 (2017), 93-105
• View Publication
• BIB
Genome rearrangements can be modeled as $k$-breaks, which break a genome at k positions and glue the resulting fragments in a new order. In particular, reversals, translocations, fusions, and fissions are modeled as $2$-breaks, and transpositions are modeled as $3$-breaks. While $k$-break rearrangements for $k>3$ have not been observed in evolution, they are used in cancer genomics to model chromothripsis, a catastrophic event of multiple breakages happening simultaneously in a genome. It is known that the $k$-break distance between two genomes (i.e., the minimum number of $k$-breaks required to transform one genome into the other) can be computed in terms of cycle lengths in the breakpoint graph of these genomes.
In the current work, we address the combinatorial problem of enumerating genomes at a given $k$-break distance from a fixed unichromosomal genome. More generally, we enumerate genome pairs, whose breakpoint graph has a given distribution of cycle lengths. We further show how our enumeration can be used for uniform sampling of random genomes at a given $k$-break distance, and describe its connection to various combinatorial objects such as Bell polynomials.
Resistance distances in corona and neighborhood corona graphs with Laplacian generalized inverse approach
Let $G_1$ and $G_2$ be two graphs on disjoint sets of $n_1$ and $n_2$ vertices, respectively. The corona of graphs $G_1$ and $G_2$, denoted by $G_1\circ G_2$, is the graph formed from one copy of $G_1$ and $n_1$ copies of $G_2$ where the $i$-th vertex of $G_1$ is adjacent to every vertex in the $i$-th copy of $G_2$. The neighborhood corona of $G_1$ and $G_2$, denoted by $G_1\diamond G_2$, is the graph obtained by taking one copy of $G_1$ and $n_1$ copies of $G_2$ and joining every neighbor of the $i$-th vertex of $G_1$ to every vertex in the $i$-th copy of $G_2$ by a new edge. In this paper, the Laplacian generalized inverse for the graphs $G_1\circ G_2$ and $G_1\diamond G_2$ are investigated, based on which the resistance distances of any two vertices in $G_1\circ G_2$ and $G_1\diamond G_2$ can be obtained. Moreover, some examples as applications are presented, which illustrate the correction and efficiency of the proposed method.
Almost-spanning universality in random graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $\mathcal H(n,Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. It is known that for any $\varepsilon > 0$ and any natural number $Δ$ there exists $c > 0$ such that the random graph $G(n,p)$ is asymptotically almost surely $\mathcal H((1-\varepsilon)n,Δ)$-universal for $p \geq c (\log n/n)^{1/Δ}$. Bypassing this natural boundary, we show that for $Δ\geq 3$ the same conclusion holds when $p = ω\left(n^{-\frac{1}{Δ-1}}\log^5 n\right)$.
Total [1,2]-domination in graphs
Published
• View Publication
• BIB
A subset $S\subseteq V$ in a graph $G=(V,E)$ is a total $[1,2]$-set if, for every vertex $v\in V$, $1\leq |N(v)\cap S|\leq 2$. The minimum cardinality of a total $[1,2]$-set of $G$ is called the total $[1,2]$-domination number, denoted by $γ_{t[1,2]}(G)$.
We establish two sharp upper bounds on the total [1,2]-domination number of a graph $G$ in terms of its order and minimum degree, and characterize the corresponding extremal graphs achieving these bounds. Moreover, we give some sufficient conditions for a graph without total $[1,2]$-set and for a graph with the same total $[1,2]$-domination number, $[1,2]$-domination number and domination number.
Spectra of infinite graphs with tails
Published
• View Publication
• BIB
We compute explicitly (modulo solutions of certain algebraic equations) the spectra of infinite graphs obtained by attaching one or several infinite paths to some vertices of certain finite graphs. The main result concerns a canonical form of the adjacency matrix of such infinite graphs. A complete answer is given in the case when the number of attached paths to each vertex is the same.
The Book Thickness of 1-Planar Graphs is Constant
Published
• View Publication
• BIB
In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, the best non-trivial previous upper-bound is $O(\sqrt{n})$, where $n$ is the number of vertices of the graph.
The threshold for jigsaw percolation on random graphs
Published in Electronic Journal of Combinatorics 24 (2017), #P2.36 (electronic, 14 pp.)
• Search Publication
Jigsaw percolation is a model for the process of solving puzzles within a social network, which was recently proposed by Brummitt, Chatterjee, Dey and Sivakoff. In the model there are two graphs on a single vertex set (the `people' graph and the `puzzle' graph), and vertices merge to form components if they are joined by an edge of each graph. These components then merge to form larger components if again there is an edge of each graph joining them, and so on. Percolation is said to occur if the process terminates with a single component containing every vertex. In this note we determine the threshold for percolation up to a constant factor, in the case where both graphs are Erdős--Rényi random graphs.