arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2015-12-30
A Generalization of Brown's Construction for the Degree/Diameter Problem
The degree/diameter problem is the problem of finding the largest possible number of vertices $n_{Δ,D}$ in a graph of given degree $Δ$ and diameter $D$. We consider the problem for the case of diameter $D=2$. William G Brown gave a lower bound of the order of $(Δ,2)$-graph. In this paper, we give a generalization of his construction and improve the lower bounds for the case of $Δ=306$ and $Δ=307$. One is $(306,2)$-graph with $88723$ vertices, the other is $(307,2)$-graph with $88724$ vertices.
Consistency and Derangements in Brane Tilings
Published in Journal of Physics A 49 (2016) 355401 • View Publication • BIB
Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary to specify a brane tiling. We show that geometric consistency for brane tilings, which ensures that the corresponding quantum field theories are well behaved, imposes constraints on the pair of permutations, restricting certain products constructed from the pair to have no one-cycles. Permutations without one-cycles are known as derangements. We illustrate this formulation of consistency with known brane tilings. Counting formulas for consistent brane tilings with an arbitrary number of chiral bifundamental fields are written down in terms of delta functions over symmetric groups.
Drawings of Kn with the same rotation scheme are the same up to Reidemeister moves. Gioan's Theorem
A {\em good drawing\/} of $K_n$ is a drawing of the complete graph with $n$ vertices in the sphere such that: no two edges with a common end cross; no two edges cross more than once; and no three edges all cross at the same point. Gioan's Theorem asserts that any two good drawings of $K_n$ that have the same rotations of incident edges at every vertex are equivalent up to Reidemeister moves. At the time of preparation, 10 years had passed between the statement in the WG 2005 conference proceedings and our interest in the proposition. Shortly after we completed our preprint, Gioan independently completed a preprint.
2015-12-30 v3
Limiting eigenvalue distribution of random matrices of Ihara zeta function of long-range percolation graphs
Published • View Publication • BIB
We consider the ensemble of $N\times N$ real random symmetric matrices $H_N^{(R)}$ obtained from the determinant form of the Ihara zeta function associated to random graphs $Γ_N^{(R)}$ of the long-range percolation radius model with the edge probability determined by a function $φ(t)$. We show that the normalized eigenvalue counting function of $H_N^{( R)}$ weakly converges in average as $N,R\to\infty$, $R=o(N)$ to a unique measure that depends on the limiting average vertex degree of $Γ_N^{(R)}$ given by $φ_1 = \int φ(t) dt$. This measure converges in the limit of infinite $φ_1$ to a shift of the Wigner semi-circle distribution. We discuss relations of these results with the properties of the Ihara zeta function and weak versions of the graph theory Riemann Hypothesis.
2015-12-30 v2
The Negative Cycle Vectors of Signed Complete Graphs
A signed graph is a graph where the edges are assigned labels of either "$+$" or "$-$". The sign of a cycle in the graph is the product of the signs of its edges. We equip each signed complete graph with a vector whose entries are the number of negative $k$-cycles for $k\in\{3,\dots,n\}$. These vectors generate an affine subspace of $\mathbb{R}^{n-2}$. We prove that this subspace is all of $\mathbb{R}^{n-2}$.
2015-12-29
Probing Graph Proper Total Colorings With Additional Constrained Conditions
Graph colorings are becoming an increasingly useful family of mathematical models for a broad range of applications, such as time tabling and scheduling, frequency assignment, register allocation, computer security and so on. Graph proper total colorings with additional constrained conditions have been investigated intensively in the last decade year. In this article some new graph proper total colorings with additional constrained conditions are defined, and approximations to the chromatic numbers of these colorings are researched, as well as some graphs having these colorings have been verified.
2015-12-29
Improper Graceful and Odd-graceful Labellings of Graph Theory
In this paper we define some new labellings for trees, called the in-improper and out-improper odd-graceful labellings such that some trees labelled with the new labellings can induce graceful graphs having at least a cycle. We, next, apply the new labellings to construct large scale of graphs having improper graceful/odd-graceful labellings or having graceful/odd-graceful labellings.
2015-12-29 v2
Packing spanning graphs from separable families
Published • View Publication • BIB
Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $ε$ and $Δ$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $Δ$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-ε)\binom{n}{2}$ packs into $K_n$. This improves results of Böttcher, Hladký, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás (1976) for the case that all trees have maximum degree at most $Δ$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
2015-12-28 v2
On restricted edge-connectivity of replacement product graphs
Published • View Publication • BIB
This paper considers the edge-connectivity and restricted edge-connectivity of replacement product graphs, gives some bounds on edge-connectivity and restricted edge-connectivity of replacement product graphs and determines the exact values for some special graphs. In particular, the authors further confirm that under certain conditions, the replacement product of two Cayley graphs is also a Cayley graph, and give a necessary and sufficient condition for such Cayley graphs to have maximum restricted edge-connectivity. Based on these results, the authors construct a Cayley graph with degree $d$ whose restricted edge-connectivity is equal to $d+s$ for given odd integer $d$ and integer $s$ with $d \geqslant 5$ and $1\leqslant s\leqslant d-3$, which answers a problem proposed ten years ago.
The data arrangement problem on binary trees
The data arrangement problem on regular trees (DAPT) consists in assigning the vertices of a given graph G, called the guest graph, to the leaves of a d-regular tree T, called the host graph, such that the sum of the pairwise distances of all pairs of leaves in T which correspond to the edges of G is minimised. Luczak and Noble have shown that this problem is NP-hard for every fixed d greater than or equal to 2. In this paper we show that the DAPT remains NP-hard even if the guest graph is a tree, an issue which was posed as an open question in by Luczak and Noble. We deal with a special case of the DAPT where both the guest and the host graph are binary regular trees and provide a 1.015-approximation algorithm for this special case. The solution produced by the algorithm and the corresponding value of the objective function are given in closed form. The analysis of the approximation algorithm involves an auxiliary problem which is interesting on its own, namely the k-balanced partitioning problem (kBPP) for binary regular trees and particular choices of k. We derive a lower bound for the later problem and obtain a lower bound for the original problem by solving hG instances of the k-BPP, where hG is the height of the host graph G.
2015-12-28 v2
On degree sequences of undirected, directed, and bidirected graphs
Published • View Publication • BIB
Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we extend the following four topics from (un)directed graphs to bidirected graphs: - Erdős-Gallai-type results: characterization of net-degree sequences, - Havel-Hakimi-type results: complete sets of degree-preserving operations, - Extremal degree sequences: characterization of uniquely realizable sequences, and - Enumerative aspects: counting formulas for net-degree sequences. To underline the similarities and differences to their (un)directed counterparts, we briefly survey the undirected setting and we give a thorough account for digraphs with an emphasis on the discrete geometry of degree sequences. In particular, we determine the tight and uniquely realizable degree sequences for directed graphs.
2015-12-27 v5
Graph reduction techniques and the multiplicity of the Laplacian eigenvalues
Published • View Publication • BIB
Let $M=[m_{ij}]$ be an $n\times m$ real matrix, $ρ$ be a nonzero real number, and $A$ be a symmetric real matrix. We denote by $D(M)$ the $n\times n$ diagonal matrix $diag(\sum_{j=1}^{m}m_{1j},\ldots,\sum_{j=1}^{m}m_{nj})$ and denote by $L_{A}^ρ$ the generalized Laplacian matrix $D(A)-ρA$. A well-known result of Grone et al. states that by connecting one of the end-vertices of $P_{3}$ to an arbitrary vertex of a graph, does not change the multiplicity of Laplacian eigenvalue $1$. We extend this theorem and some other results for a given generalized Laplacian eigenvalue $μ$. Furthermore, we give two proofs for a conjecture by Saito and Woei on the relation between the multiplicity of some Laplacian eigenvalues and pendant paths.
2015-12-26
Extracting list colorings from large independent sets
Published • View Publication • BIB
We take an application of the Kernel Lemma by Kostochka and Yancey to its logical conclusion. The consequence is a sort of magical way to draw conclusions about list coloring (and online list coloring) just from the existence of an independent set incident to many edges. We use this to prove an Ore-degree version of Brooks' Theorem for online list-coloring. The Ore-degree of an edge $xy$ in a graph $G$ is $θ(xy) = d_G(x) + d_G(y)$. The Ore-degree of $G$ is $θ(G) = \max_{xy\in E(G)}θ(xy)$. We show that every graph with $θ\ge18$ and $ω\le\fracθ{2}$ is online $\left\lfloor \fracθ{2}\right\rfloor $-choosable. In addition, we prove an upper bound for online list-coloring triangle-free graphs: $χ_{OL}\leΔ+1-\lfloor\frac{1}{4}\lg(Δ)\rfloor$. Finally, we characterize Gallai trees as the connected graphs $G$ with no independent set incident to at least $|G|$ edges.
Curvature and higher order Buser inequalities for the graph connection Laplacian
Published in SIAM Journal on Discrete Mathematics 33 (2019), no.1, 257-305 • View Publication • BIB
We study the eigenvalues of the connection Laplacian on a graph with an orthogonal group or unitary group signature. We establish higher order Buser type inequalities, i.e., we provide upper bounds for eigenvalues in terms of Cheeger constants in the case of nonnegative Ricci curvature. In this process, we discuss the concepts of Cheeger type constants and a discrete Ricci curvature for connection Laplacians and study their properties systematically. The Cheeger constants are defined as mixtures of the expansion rate of the underlying graph and the frustration index of the signature. The discrete curvature, which can be computed efficiently via solving semidefinite programming problems, has a characterization by the heat semigroup for functions combined with a heat semigroup for vector fields on the graph.
2015-12-26
Circulant $S_2$ graphs
Recently, Earl, Vander Meulen, and Van Tuyl characterized some families of Cohen-Macaulay or Buchsbaum circulant graphs discovered by Boros-Gurvich-Milani$\check{\text{c}}$, Brown-Hoshino, and Moussi. In this paper, we will characterize those families of circulant graphs which satisfy Serre's condition $S_2$. More precisely, we show that for some families of circulant graphs, $S_2$ property is equivalent to well-coveredness or Buchsbaumness, and for some other families it is equivalent to Cohen-Macaulayness. We also give examples of infinite families of circulant graphs which are Buchsbaum but not $S_2$, and vice versa.
2015-12-26 v2
Counterexamples to conjectures on graph distance measures based on topological indexes
In this paper we disprove three conjectures from [M. Dehmer, F. Emmert-Streib, Y. Shi, Interrelations of graph distance measures based on topological indices, PLoS ONE 9 (2014) e94985] on graph distance measures based on topological indices by providing explicit classes of trees that do not satisfy proposed inequalities. The constructions are based on the families of trees that have the same Wiener index, graph energy or Randic index - but different degree sequences.
2015-12-26 v3
Pattern avoiding permutations and independent sets in graphs
Published • View Publication • BIB
We introduce a new method for encoding permutations as weighted independent sets in a family of graphs we call cores. The encoding allows us to enumerate (1324, 2143)-, (1234, 1324, 2143)-, (1234, 1324, 1432, 3214)-avoiding permutations with respect to their number of "boundary points" and the size of the independent set in the graph they correspond to.
2015-12-25 v2
Classification of graphs based on homotopy equivalence. Homotopy equivalent graphs. Basic graphs and complexity of homotopy equivalence classes of graphs
Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of graphs. Graphs are called homotopy equivalent if one of them can be converted to the other one by contractible transformations. A basic graph and the complexity of a homotopy equivalence class are defined and investigated. It is shown all graphs belonging to a given homotopy equivalence class have similar topological properties and are represented by a basic graph with the minimal number of points and edges. Diagrams are given of basic graphs with the complexity N<7. The advantage of this classification is that it relies on computer experiments demonstrating a close connection between homotopy equivalent topological spaces and homotopy equivalent graphs.
Constructive and analytic enumeration of circulant graphs with $p^3$ vertices; $p=3,5$
Two methods, structural (constructive) and multiplier (analytical), of exact enumeration of undirected and directed circulant graphs of orders 27 and 125 are elaborated and represented in detail here together with intermediate and final numerical data. The first method is based on the known useful classification of circulant graphs in terms of $S$-rings and results in exhaustive listing (with the use of COCO and GAP) of all corresponding $S$-rings of the indicated orders. The latter method is conducted in the framework of a general approach developed earlier for counting circulant graphs of prime-power orders. It is a Redfield--Pólya type of enumeration based on an isomorphism criterion for circulant graphs of such orders. In particular, five intermediate enumeration subproblems arise, which are refined further into eleven subproblems of this type (5 and 11 are, not accidentally, the 3d Catalan and 3d little Schröder numbers, resp.). All of them are resolved for the four cases under consideration (again with the use of GAP). We give a brief survey of some background theory of the results which form the basis of our computational approach. Except for the case of undirected circulant graphs of orders 27, the numerical results obtained here are new. In particular the number (up to isomorphism) of directed circulant graphs of orders 27, regardless of valency, is shown to be equal to 3,728,891 while 457 of these are self-complementary. Some curious and rather unexpected identities are established between intermediate valency-specified enumerators (both for undirected and directed circulant graphs) and their validity is conjectured for arbitrary cubed odd prime $p^3$. We believe that this research can serve as the crucial step towards explicit uniform enumeration formulae for circulant graphs of orders $p^3$ for arbitrary prime $p>2$.
2015-12-24 v4
Directed rooted forests in higher dimension
Published • View Publication • BIB
For a graph G, the generating function of rooted forests, counted by the number of connected components, can be expressed in terms of the eigenvalues of the graph Laplacian. We generalize this result from graphs to cell complexes of arbitrary dimension. This requires generalizing the notion of rooted forest to higher dimension. We also introduce orientations of higher dimensional rooted trees and forests. These orientations are discrete vector fields which lead to open questions concerning expressing homological quantities combinatorially.