graph
34905 papers tagged with this keyword
Graph properties of graph associahedra
Published in Sém. Lothar. Combin., B73d, 31 pp., 2015
• Search Publication
A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra.
The number of the maximal triangle-free graphs
Published in Bull. London Math. Soc. (2014) 46 (5): 1003-1006
• View Publication
• BIB
Paul Erdős suggested the following problem: Determine or estimate the number of maximal triangle-free graphs on $n$ vertices. Here we show that the number of maximal triangle-free graphs is at most $2^{n^2/8+o(n^2)}$, which matches the previously known lower bound. Our proof uses among others the Ruzsa-Szemerédi triangle removal lemma, and recent results on characterizing of the structure of independent sets in hypergraphs.
An upper bound on the extremal version of Hajnal's triangle-free game
A game starts with the empty graph on $n$ vertices, and two player alternate adding edges to the graph. Only moves which do not create a triangle are valid. The game ends when a maximal triangle-free graph is reached. The goal of one player is to end the game as soon as possible, while the other player is trying to prolong the game. With optimal play, the length of the game (number of edges played) is called the $K_3$ game saturation number.
In this paper we prove an upper bound for this number.
Using twins and scaling to construct cospectral graphs for the normalized Laplacian
Published
• View Publication
• BIB
The spectrum of the normalized Laplacian matrix cannot determine the number of edges in a graph, however finding constructions of cospectral graphs with differing number of edges has been elusive. In this paper we use basic properties of twins and scaling to show how to construct such graphs. We also give examples of families of graphs which are cospectral with a subgraph for the normalized Laplacian matrix.
Three-valued Gauss periods, circulant weighing matrices and association schemes
Published
• View Publication
• BIB
Gauss periods taking exactly two values are closely related to two-weight irreducible cyclic codes and strongly regular Cayley graphs. They have been extensively studied in the work of Schmidt and White and others. In this paper, we consider the question of when Gauss periods take exactly three rational values. We obtain numerical necessary conditions for Gauss periods to take exactly three rational values. We show that in certain cases, the necessary conditions obtained are also sufficient. We give numerous examples where the Gauss periods take exactly three vlaues. Furthermore, we discuss connections between three-valued Gauss periods and combinatorial structures such as circulant weighing matrices and 3-class association schemes.
The Random Transposition Dynamics on Random Regular Graphs and the Gaussian Free Field
Published
• View Publication
• BIB
A single permutation, seen as union of disjoint cycles, represents a regular graph of degree two. Consider $d$ many independent random permutations and superimpose their graph structures. It is a common model of a random regular (multi-) graph of degree $2d$. We consider the following dynamics. The dimension (i.e. size) of each permutation grows by coupled Chinese Restaurant Processes, while in time each permutation evolves according to the random transposition chain. Asymptotically in the size of the graph one observes a remarkable evolution of short cycles and linear eigenvalue statistics in dimension and time. In dimension, it was shown by Johnson and Pal (2014) that cycle counts are described by a Poisson field of Yule processes. Here, we give a Poisson random surface description in dimension and time of the limiting cycle counts for every $d$. As $d$ grows to infinity, the fluctuation of the limiting cycle counts, across dimension, converges to the Gaussian Free Field. In time this field is preserved by a stationary Gaussian dynamics. The laws of these processes are similar to eigenvalue fluctuations of the minor process of a real symmetric Wigner matrix whose coordinates evolve as i.i.d. stationary stochastic processes.
On the number of $r$-matchings in a Tree
Published
• View Publication
• BIB
An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. A $2$-matching is also called an induced matching. In this paper, we estimate the maximum number of $r$-matchings in a tree of fixed order. We also prove that the $n$-vertex path has the maximum number of induced matchings among all $n$-vertex trees.
Relations between edge removing and edge subdivision concerning domination number of a graph
Let $e$ be an edge of a connected simple graph $G$. The graph obtained by removing (subdividing) an edge $e$ from $G$ is denoted by $G-e$ ($G_e$). As usual, $γ(G)$ denotes the domination number of $G$. We call $G$ an SR-graph if $γ(G-e) = γ(G_e)$ for any edge $e$ of $G$, and $G$ is an ASR-graph if $γ(G - e) \neq (G_e)$ for any edge $e$ of $G$. In this work we give several examples of SR and ASR-graphs. Also, we characterize SR-trees and show that ASR-graphs are $γ$-insensitive.
The m-Degenerate Chromatic Number of a Digraph
Published in Noah Golowich. The m-degenerate chromatic number of a digraph, Discrete Mathematics, 339(6): 1734-1743, 2016
• View Publication
• BIB
The digraph chromatic number of a directed graph $D$, denoted $χ_A(D)$, is the minimum positive integer $k$ such that there exists a partition of the vertices of $D$ into $k$ disjoint sets, each of which induces an acyclic subgraph. For any $m \geq 1$, a digraph is weakly $m$-degenerate if each of its induced subgraphs has a vertex of in-degree or out-degree less than $m$. We introduce a generalization of the digraph chromatic number, namely $χ_m(D)$, which is the minimum number of sets into which the vertices of a digraph $D$ can be partitioned so that each set induces a weakly $m$-degenerate subgraph. We show that for all digraphs $D$ without directed 2-cycles, $χ_m(D) \leq \frac{2Δ(D)}{4m+1} + O(1)$. Because $χ_1(D) = χ_A(D)$, we obtain as a corollary that $χ_A(D) \leq 2/5 \cdot Δ(D) + O(1)$. We then use this bound to show that $χ_A(D) \leq \sqrt{2/3} \cdot \tildeΔ(D) + O(1)$, substantially improving a bound of Harutyunyan and Mohar that states that $χ_A(D) \leq (1 - e^{-13})\cdot \tildeΔ(D)$ for large enough $\tildeΔ(D)$.
On the structure of graphs which are locally indistinguishable from a lattice
Published
• View Publication
• BIB
We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d \geq 3$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.
Edges vs Circuits: a Hierarchy of Diameters in Polyhedra
Published
• View Publication
• BIB
The study of the graph diameter of polytopes is a classical open problem in polyhedral geometry and the theory of linear optimization. In this paper we continue the investigation initiated in [4] by introducing a vast hierarchy of generalizations to the notion of graph diameter. This hierarchy provides some interesting lower bounds for the usual graph diameter. After explaining the structure of the hierarchy and discussing these bounds, we focus on clearly explaining the differences and similarities among the many diameter notions of our hierarchy. Finally, we fully characterize the hierarchy in dimension two. It collapses into fewer categories, for which we exhibit the ranges of values that can be realized as diameters.
Superlinear subset partition graphs with dimension reduction, strong adjacency, and endpoint count
Published
• View Publication
• BIB
We construct a sequence of subset partition graphs satisfying the dimension reduction, adjacency, strong adjacency, and endpoint count properties whose diameter has a superlinear asymptotic lower bound. These abstractions of polytope graphs give further evidence against the Linear Hirsch Conjecture.
On spectral properties for graph matching and graph isomorphism problems
Published
• View Publication
• BIB
Problems related to graph matching and isomorphisms are very important both from a theoretical and practical perspective, with applications ranging from image and video analysis to biological and biomedical problems. The graph matching problem is challenging from a computational point of view, and therefore different relaxations are commonly used. Although common relaxations techniques tend to work well for matching perfectly isomorphic graphs, it is not yet fully understood under which conditions the relaxed problem is guaranteed to obtain the correct answer.
In this paper we prove that the graph matching problem and its most common convex relaxation, where the matching domain of permutation matrices is substituted with its convex hull of doubly-stochastic matrices, are equivalent for a certain class of graphs, such equivalence being based on spectral properties of the corresponding adjacency matrices. We also derive results about the automorphism group of a graph, and provide fundamental spectral properties of the adjacency matrix.
The Treewidth of Line Graphs
Published
• View Publication
• BIB
The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to determining the minimum vertex congestion of an embedding of $G$ into a tree. Using this result, we prove sharp lower bounds in terms of both the minimum degree and average degree of $G$. These results are precise enough to exactly determine the treewidth of the line graph of a complete graph and other interesting examples. We also improve the best known upper bound on the treewidth of a line graph. Analogous results are proved for pathwidth.
Some New Results in the Alcuin Number of Graphs
We prove some results concerning Alcuin number of graphs. First, we classify graphs which have unique minimum vertex cover. Then we present two necessary conditions for a graph to be of class two and show why one of them (condition on common neighbors) is sufficient as well. By using this classification theorem, we prove some results about class one and class two graphs such as cartesian product of graphs and classification of regular graphs.
Shortest Paths in Nearly Conservative Digraphs
We introduce the following notion: a digraph $D=(V,A)$ with arc weights $c: A\rightarrow \R$ is called nearly conservative if every negative cycle consists of two arcs. Computing shortest paths in nearly conservative digraphs is NP-hard, and even deciding whether a digraph is nearly conservative is coNP-complete.
We show that the "All Pairs Shortest Path" problem is fixed parameter tractable with various parameters for nearly conservative digraphs. The results also apply for the special case of conservative mixed graphs.
All graphs have tree-decompositions displaying their topological ends
Published
• View Publication
• BIB
We show that every connected graph has a spanning tree that displays all its topological ends. This proves a 1964 conjecture of Halin in corrected form, and settles a problem of Diestel from 1992.
Connectivity of pseudomanifold graphs from an algebraic point of view
Published
• View Publication
• BIB
The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings.
Quadratic-linear duality and rational homotopy theory of chordal arrangements
Published in Algebr. Geom. Topol. 16 (2016) 2637-2661
• View Publication
• BIB
To any graph and smooth algebraic curve $C$ one may associate a "hypercurve" arrangement and one can study the rational homotopy theory of the complement $X$. In the rational case ($C=\mathbb{C}$), there is considerable literature on the rational homotopy theory of $X$, and the trigonometric case ($C = \mathbb{C}^\times$) is similar in flavor. The case of when $C$ is a smooth projective curve of positive genus is more complicated due to the lack of formality of the complement. When the graph is chordal, we use quadratic-linear duality to compute the Malcev Lie algebra and the minimal model of $X$, and we prove that $X$ is rationally $K(π,1)$.
A Simplicial Tutte "5"-flow Conjecture
This paper concerns a generalization of nowhere-zero modular q-flows from graphs to simplicial complexes of dimension d greater than 1. A modular q-flow of a simplicial complex is an element of the kernel of the d-th boundary map with coefficients in Z/qZ; it is called nowhere-zero if it is not zero restricted to any of the facets of the complex. Briefly noting connections to other invariants of simplicial complexes, this paper provides a generalization of Tutte's 5-flow conjecture, which claims the universal existence of a 5-flow for all bridgeless graphs. Once phrased, this paper concludes with bounds on what "5" ought to be for simplicial complexes of dimension d: proving a lower bound linear in d and a partial upper bound exponential in d.