graph
34828 papers tagged with this keyword
Graphs and obstruction theory for algebraic curves
In this paper we study a construction of algebraic curves from combinatorial data. In the study of algebraic curves through degeneration, graphs usually appear as the dual intersection graph of the central fiber. Properties of such graphs can be encoded in so-called tropical curves. Our main concern is the relation between algebraic curves and tropical curves where the deformation problem is obstructed. Particular emphasis is put on the role of higher valent vertices of tropical curves, which has not been developed well so far in spite of its importance in this area of study. We will give a general formula describing the obstruction, a new criterion for the vanishing of the obstruction, and a relation between the number of algebraic curves and the number of integral points in certain polytopes. We also prove the optimal version of the correspondence between tropical curves and algebraic curves when the tropical curves are regular, generalizing previous results.
Sum-of-squares lower bounds for planted clique
Published
• View Publication
• BIB
Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size k is planted in a random G(n, 1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for k ~ sqrt(n).
In this paper we study the complexity of the planted clique problem under algorithms from the Sum-of-squares hierarchy. We prove the first average case lower bound for this model: for almost all graphs in G(n,1/2), r rounds of the SOS hierarchy cannot find a planted k-clique unless k > n^{1/2r} (up to logarithmic factors). Thus, for any constant number of rounds planted cliques of size n^{o(1)} cannot be found by this powerful class of algorithms. This is shown via an integrability gap for the natural formulation of maximum clique problem on random graphs for SOS and Lasserre hierarchies, which in turn follow from degree lower bounds for the Positivestellensatz proof system.
We follow the usual recipe for such proofs. First, we introduce a natural "dual certificate" (also known as a "vector-solution" or "pseudo-expectation") for the given system of polynomial equations representing the problem for every fixed input graph. Then we show that the matrix associated with this dual certificate is PSD (positive semi-definite) with high probability over the choice of the input graph.This requires the use of certain tools. One is the theory of association schemes, and in particular the eigenspaces and eigenvalues of the Johnson scheme. Another is a combinatorial method we develop to compute (via traces) norm bounds for certain random matrices whose entries are highly dependent; we hope this method will be useful elsewhere.
Maximizing the order of a regular graph of given valency and second eigenvalue
From Alon and Boppana, and Serre, we know that for any given integer $k\geq 3$ and real number $λ<2\sqrt{k-1}$, there are finitely many $k$-regular graphs whose second largest eigenvalue is at most $λ$. In this paper, we investigate the largest number of vertices of such graphs.
On the size-Ramsey number of hypergraphs
Published
• View Publication
• BIB
The size-Ramsey number of a graph $G$ is the minimum number of edges in a graph $H$ such that every 2-edge-coloring of $H$ yields a monochromatic copy of $G$. Size-Ramsey numbers of graphs have been studied for almost 40 years with particular focus on the case of trees and bounded degree graphs.
We initiate the study of size-Ramsey numbers for $k$-uniform hypergraphs. Analogous to the graph case, we consider the size-Ramsey number of cliques, paths, trees, and bounded degree hypergraphs. Our results suggest that size-Ramsey numbers for hypergraphs are extremely difficult to determine, and many open problems remain.
Using novelty-biased GA to sample diversity in graphs satisfying constraints
Published
• View Publication
• BIB
The structure of the network underlying many complex systems, whether artificial or natural, plays a significant role in how these systems operate. As a result, much emphasis has been placed on accurately describing networks using network theoretic metrics. When it comes to generating networks with similar properties, however, the set of available techniques and properties that can be controlled for remains limited. Further, whilst it is becoming clear that some of the metrics currently used to control the generation of such networks are not very prescriptive so that networks could potentially exhibit very different higher-order structure within those constraints, network generating algorithms typically produce fairly contrived networks and lack mechanisms by which to systematically explore the space of network solutions. In this paper, we explore the potential of a multi-objective novelty-biased GA to provide a viable alternative to these algorithms. We believe our results provide the first proof of principle that (i) it is possible to use GAs to generate graphs satisfying set levels of key classical graph theoretic properties and (ii) it is possible to generate diverse solutions within these constraints. The paper is only a preliminary step, however, and we identify key avenues for further development.
Effective Resistances, Kirchhoff index and Admissible Invariants of Ladder Graphs
Published
• View Publication
• BIB
We explicitly compute the effective resistances between any two vertices of a ladder graph by using circuit reductions. Using our findings, we obtain explicit formulas for Kirchhoff index and admissible invariants of a ladder graph considering it as a model of a metrized graph. Comparing our formula for Kirchhoff index and previous results in literature, we obtain an explicit sum formula involving trigonometric functions. We also expressed our formulas in terms of certain generalized Fibonacci numbers that are the values of the Chebyshev polynomials of the second kind at $2$.
Castelnuovo-Mumford regularity of graphs
We present new combinatorial insights into the calculation of (Castelnuovo-Mumford) regularity of graphs.
Weighted Efficient Domination in Classes of $P_6$-free Graphs
In a graph $G$, an efficient dominating set is a subset $D$ of vertices such that $D$ is an independent set and each vertex outside $D$ has exactly one neighbor in $D$. The Minimum Weight Efficient Dominating Set (Min-WED) problem asks for an efficient dominating set of total minimum weight in a given vertex-weighted graph; the Maximum Weight Efficient Dominating Set (Max-WED) problem is defined similarly. The Min-WED/Max-WED is known to be $NP$-complete for $P_7$-free graphs, and is known to be polynomial time solvable for $P_5$-free graphs. However, the computational complexity of the Min-WED/Max-WED problem is unknown for $P_6$-free graphs. In this paper, we show that the Min-WED/Max-WED problem can be solved in polynomial time for two subclasses of $P_6$-free graphs, namely for ($P_6,S_{1,1,3}$)-free graphs, and for ($P_6$, bull)-free graphs.
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.