graph
34828 papers tagged with this keyword
Reconstruction from $k$-decks for graphs with maximum degree 2
The $k$-deck of a graph is its multiset of induced subgraphs on $k$ vertices. We prove that $n$-vertex graphs with maximum degree $2$ have the same $k$-decks if each cycle has at least $k+1$ vertices, each path component has at least $k-1$ vertices, and the number of edges is the same. Using this for lower bounds, we obtain for each graph with maximum degree at most $2$ the least $k$ such that it is determined by its $k$-deck. For the $n$-vertex cycle this value is $\lfloor n/2 \rfloor$, and for the $n$-vertex path it is $\lfloor n/2 \rfloor+1$. Also, the least $k$ such that the $k$-deck of an $n$-vertex graph always determines whether it is connected is at least $\lfloor n/2 \rfloor +1$.
Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings
Published
• View Publication
• BIB
It is known that every graph of sufficiently large chromatic number and bounded clique number contains, as an induced subgraph, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, forests and triangles are pervasive, where H is pervasive (in some class of graphs) if for all s>0, every graph in the class with bounded clique number and sufficiently large chromatic number contains an induced subdivision of H, with every edge subdivided at least s times.
Which other graphs are pervasive? Chalopin, Esperet, Li and Ossona de Mendez proved that every such graph is a forest of lanterns: roughly, the blocks are lanterns (graphs obtained from a tree by adding one extra vertex), and there are rules about how blocks fit together. It is not known whether every forest of lanterns is pervasive; but in another paper two of us prove that banana trees (multigraphs obtained from a forest by adding parallel edges) are pervasive, thus generalizing the two results above. This paper contains the first half of the proof, which works for any forest of lanterns, not just for banana trees.
A class of graphs is r-controlled if for every graph in the class, its chromatic number is at most some function (determined by the class) of the largest chromatic number of an r-ball in the graph. In this paper we prove that for all r>1, every forest of lanterns is pervasive in every r-controlled class
These results turn out particularly nicely when applied to string graphs (intersection graphs of sets of curves in the plane). A chandelier is a graph obtained from a tree by adding a vertex adjacent to its leaves. We prove that the class of string graphs is 2-controlled, and thus forests of lanterns are pervasive in this class. Furthermore, string graphs of sufficiently large chromatic number and bounded clique number contain any fixed chandelier as an induced subgraph.
Note on von Neumann and Rényi entropies of a Graph
Published
• View Publication
• BIB
We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$. We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$, $K_n$ maximizes Rényi $α$-entropy over graphs of order $n$. We show that adding an edge to a graph can lower its von Neumann entropy.
A note on graphs with exactly two main eigenvalues
Published
• View Publication
• BIB
In this note, we consider connected graphs with exactly two main eigenvalues. We will give several constructions for them, and as a consequence we show a family of those graphs with an unbounded number of distinct valencies.
Density of Zeros of the Tutte Polynomial
Published
• View Publication
• BIB
The Tutte polynomial of a graph is a two-variable polynomial whose zeros and evaluations encode many interesting properties of the graph. In this article we investigate the zeros of the Tutte polynomials of graphs, and show that they form a dense subset of certain regions of the plane. This is the first density result for the zeros of the Tutte polynomial in a region of positive volume. Our result almost confirms a conjecture of Jackson and Sokal except for one region which is related to an open problem on flow polynomials.
Constructing Large-scale Low-latency Network from Small Optimal Networks
Published
• View Publication
• BIB
The construction of large-scale, low-latency networks becomes difficult as the number of nodes increases. In general, the way to construct a theoretically optimal solution is unknown. However, it is known that some methods can construct suboptimal networks with low-latency. One such method is to construct large-scale networks from optimal or suboptimal small networks, using the product of graphs. There are two major advantages to this method. One is that we can reuse small, already known networks to construct large-scale networks. The other is that the networks obtained by this method have graph-theoretical symmetry, which reduces the overhead of communication between nodes. A network can be viewed as a graph, which is a mathematical term from combinatorics. The design of low-latency networks can be treated as a mathematical problem of finding small diameter graphs with a given number of nodes ( called order ) and a given number of connections between each node ( called degree ). In this paper, we overview how to construct large graphs from optimal or suboptimal small graphs by using graph-theoretical products. We focus on the case of diameter 2 in particular. As an example, we introduce a graph of order 256, degree 22 and diameter 2, which granted us the Deepest Improvement Award at the Graph Golf competition. Moreover, the average shortest path length of the graph is the smallest in graphs of order 256 and degree 22.
An application of Hoffman graphs for spectral characterizations of graphs
Published
• View Publication
• BIB
In this paper, we present the first application of Hoffman graphs for spectral characterizations of graphs. In particular, we show that the $2$-clique extension of the $(t+1)\times(t+1)$-grid is determined by its spectrum when $t$ is large enough. This result will help to show that the Grassmann graph $J_2(2D,D)$ is determined by its intersection numbers as a distance regular graph, if $D$ is large enough.
Dimension of posets with planar cover graphs excluding two long incomparable chains
Published in J. Comb. Theory Ser. A 164 (2019) 1-23
• View Publication
• BIB
It has been known for more than 40 years that there are posets with planar cover graphs and arbitrarily large dimension. Recently, Streib and Trotter proved that such posets must have large height. In fact, all known constructions of such posets have two large disjoint chains with all points in one chain incomparable with all points in the other. Gutowski and Krawczyk conjectured that this feature is necessary. More formally, they conjectured that for every $k\geq 1$, there is a constant $d$ such that if $P$ is a poset with a planar cover graph and $P$ excludes $\mathbf{k}+\mathbf{k}$, then $\dim(P)\leq d$. We settle their conjecture in the affirmative. We also discuss possibilities of generalizing the result by relaxing the condition that the cover graph is planar.
Extremal theory of locally sparse multigraphs
Published
• View Publication
• BIB
An $(n,s,q)$-graph is an $n$-vertex multigraph where every set of $s$ vertices spans at most $q$ edges. In this paper, we determine the maximum product of the edge multiplicities in $(n,s,q)$-graphs if the congruence class of $q$ modulo ${s\choose 2}$ is in a certain interval of length about $3s/2$. The smallest case that falls outside this range is $(s,q)=(4,15)$, and here the answer is $a^{n^2+o(n^2)}$ where $a$ is transcendental assuming Schanuel's conjecture. This could indicate the difficulty of solving the problem in full generality. Many of our results can be seen as extending work by Bondy-Tuza and Füredi-Kündgen about sums of edge multiplicities to the product setting.
We also prove a variety of other extremal results for $(n,s,q)$-graphs, including product-stability theorems. These results are of additional interest because they can be used to enumerate and to prove logical 0-1 laws for $(n,s,q)$-graphs. Our work therefore extends many classical enumerative results in extremal graph theory beginning with the Erdős-Kleitman-Rothschild theorem to multigraphs.
Gonality of Expander Graphs
Published
• View Publication
• BIB
We provide lower bounds on the gonality of a graph in terms of its spectral and edge expansion. As a consequence, we see that the gonality of a random 3-regular graph is asymptotically almost surely greater than one seventh its genus.
The structure of typical eye-free graphs and a Turan-type result for two weighted colours
Published
• View Publication
• BIB
The $(a,b)$-eye is the graph $I_{a,b} = K_{a+b}-K_b$ obtained by deleting the edges of a clique of size $b$ from a clique of size $a+b$. We show that for any $a,b \ge 2$ and $p \in (0,1)$, if we condition the random graph $G \sim G(n,p)$ on having no induced copy of $I_{a,b}$, then with high probability $G$ is close to an $a$-partite graph or the complement of a $(b-1)$-partite graph. Our proof uses the recently developed theory of hypergraph containers, and a stability result for an extremal problem with two weighted colours. We also apply the stability method to obtain an exact Turán-type result for this extremal problem.
Rainbow Turán problems for paths and forests of stars
Published
• View Publication
• BIB
For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a {\emph rainbow copy} of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n,F)$, is the {\emph rainbow Turán number} of $F$, and its systematic study was initiated by Keevash, Mubayi, Sudakov and Verstraëte in 2007. We determine $ex^*(n,F)$ exactly when $F$ is a forest of stars, and give bounds on $ex^*(n,F)$ when $F$ is a path with $k$ edges, disproving a conjecture in Keevash et al.
Topological Drawings of Complete Bipartite Graphs
Published
• View Publication
• BIB
Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been studied extensively in the context of crossing number problems. We consider a natural class of simple topological drawings of complete bipartite graphs, in which we require that one side of the vertex set bipartition lies on the outer boundary of the drawing.
We investigate the combinatorics of such drawings. For this purpose, we define combinatorial encodings of the drawings by enumerating the distinct drawings of subgraphs isomorphic to $K_{2,2}$ and $K_{3,2}$, and investigate the constraints they must satisfy. We prove that a drawing of $K_{k,n}$ exists if and only if some simple local conditions are satisfied by the encodings. This directly yields a polynomial-time algorithm for deciding the existence of such a drawing given the encoding. We show the encoding is equivalent to specifying which pairs of edges cross, yielding a similar polynomial-time algorithm for the realizability of abstract topological graphs.
We also completely characterize and enumerate such drawings of $K_{k,n}$ in which the order of the edges around each vertex is the same for vertices on the same side of the bipartition. Finally, we investigate drawings of $K_{k,n}$ using straight lines and pseudolines, and consider the complexity of the corresponding realizability problems.
An Unoriented Variation on de Bruijn Sequences
Published
• View Publication
• BIB
For positive integers $k,n$, a de Bruijn sequence $B(k,n)$ is a finite sequence of elements drawn from $k$ characters whose subwords of length $n$ are exactly the $k^n$ words of length $n$ on $k$ characters. This paper introduces the unoriented de Bruijn sequence $uB(k,n)$, an analog to de Bruijn sequences, but for which the sequence is read both forwards and backwards to determine the set of subwords of length $n$. We show that nontrivial unoriented de Bruijn sequences of optimal length exist if and only if $k$ is two or odd and $n$ is less than or equal to 3. Unoriented de Bruijn sequences for any $k$, $n$ may be constructed from certain Eulerian paths in Eulerizations of unoriented de Bruijn graphs.
The number of ideals of $\mathbb{Z}[x]$ containing $x(x-α)(x-β)$ with given index
It is well-known that a connected regular graph is strongly-regular if and only if its adjacency matrix has exactly three eigenvalues. Let $B$ denote an integral square matrix and $\langle B \rangle$ denote the subring of the full matrix ring generated by $B$. Then $\langle B \rangle$ is a free $\mathbb{Z}$-module of finite rank, which guarantees that there are only finitely many ideals of $\langle B \rangle$ with given finite index. Thus, the formal Dirichlet series $ζ_{\langle B \rangle}(s)=\sum_{n\geq 1}a_n n^{-s}$ is well-defined where $a_n$ is the number of ideals of $\langle B \rangle$ with index $n$. In this article we aim to find an explicit form of $ζ_{\langle B \rangle}(s)$ when $B$ has exactly three eigenvalues all of which are integral, e.g., the adjacency matrix of a strongly-regular graph which is not a conference graph with a non-squared number of vertices. By isomorphism theorem for rings, $\langle B \rangle$ is isomorphic to $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ where $m(x)$ is the minimal polynomial of $B$ over $\mathbb{Q}$, and $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ is isomorphic to $\mathbb{Z}[x]/m(x+γ)\mathbb{Z}[x]$ for each $γ\in \mathbb{Z}$. Thus, the problem is reduced to counting the number of ideals of $\mathbb{Z}[x]/x(x-α)(x-β)\mathbb{Z}[x]$ with given finite index where $0,α$ and $β$ are distinct integers.
Species substitution, graph suspension, and graded Hopf algebras of painted tree polytopes
Published in Algebr. Geom. Topol. 19 (2019) 1019-1078
• View Publication
• BIB
Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here include ordered and unordered binary trees and ordered lists (labeled corollas). Some of the polytopes that constitute our main results are well known in other contexts. First we see the classical permutohedra, and then certain generalized permutohedra: specifically the graph associahedra of suspensions of certain simple graphs. As an aside we show that the stellohedra also appear as liftings of generalized permutohedra: graph composihedra for complete graphs. Thus our results give examples of Hopf algebras of tubings and marked tubings of graphs. We also show an alternative associative algebra structure on the graph tubings of star graphs.
Global rigidity of 2-dimensional direction-length frameworks with connected rigidity matroids
Published
• View Publication
• BIB
A two-dimensional direction-length framework $(G,p)$ consists of a multigraph $G=(V;D,L)$ whose edge set is formed of "direction" edges $D$ and "length" edges $L$, and a realisation $p$ of this graph in the plane. The edges of the framework represent geometric constraints: length edges fix the distance between their endvertices, whereas direction edges specify the gradient of the line through both endvertices. A direction-length framework $(G,p)$ is globally rigid if every framework $(G,q)$ which satisfies the same direction and length constraints as $(G,p)$ can be obtained by translating $(G,p)$ in the plane, and/or rotating $(G,p)$ by $180^{\circ}$.
In this paper, we characterise global rigidity for generic direction-length frameworks whose associated rigidity matroid is connected, by showing that such frameworks are globally rigid if and only if every 2-separation of the underlying graph is direction-balanced.
On the purity of minor-closed classes of graphs
Published
• View Publication
• BIB
Given a graph $H$ with at least one edge, let $\operatorname{gap}_{H}(n)$ denote the maximum difference between the numbers of edges in two $n$-vertex edge-maximal graphs with no minor $H$. We show that for exactly four connected graphs $H$ (with at least two vertices), the class of graphs with no minor $H$ is pure, that is, $\operatorname{gap}_{H}(n) = 0$ for all $n \geq 1$; and for each connected graph $H$ (with at least two vertices) we have the dichotomy that either $\operatorname{gap}_{H}(n) = O(1)$ or $\operatorname{gap}_{H}(n) = Θ(n)$. Further, if $H$ is 2-connected and does not yield a pure class, then there is a constant $c>0$ such that $\operatorname{gap}_{H}(n) \sim cn$. We also give some partial results when $H$ is not connected or when there are two or more excluded minors.
Applications of a theorem by Ky Fan in the theory of weighted Laplacian graph energy
Published
• View Publication
• BIB
The energy of a graph $G$ is equal to the sum of the absolute values of the eigenvalues of $G$ , which in turn is equal to the sum of the singular values of the adjacency matrix of $G$. Let $X$, $Y$ and $Z$ be matrices, such that $X+Y= Z$. The Ky Fan theorem establishes an inequality between the sum of the singular values of $Z$ and the sum of the sum of the singular values of $X$ and $Y$. This theorem is applied in the theory of graph energy, resulting in several new inequalities, as well as new proofs of some earlier known inequalities.
Connectedness of the dart digraph and the squared-dart digraph
In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3.