graph
35436 papers tagged with this keyword
On crossing families of complete geometric graphs
Published in Acta Mathematica Hungarica-2019
• View Publication
• BIB
A crossing family is a collection of pairwise crossing segments, this concept was introduced by Aronov et. al. (1994). They prove that any set of $n$ points (in general position) in the plain contains a crossing family of size $\sqrt{n/12}$. In this paper we present a generalization of the concept and give several results regarding this generalization.
GraphChallenge.org: Raising the Bar on Graph Analytic Performance
Published
• View Publication
• BIB
The rise of graph analytic systems has created a need for new ways to measure and compare the capabilities of graph processing systems. The MIT/Amazon/IEEE Graph Challenge has been developed to provide a well-defined community venue for stimulating research and highlighting innovations in graph analysis software, hardware, algorithms, and systems. GraphChallenge.org provides a wide range of pre-parsed graph data sets, graph generators, mathematically defined graph algorithms, example serial implementations in a variety of languages, and specific metrics for measuring performance. Graph Challenge 2017 received 22 submissions by 111 authors from 36 organizations. The submissions highlighted graph analytic innovations in hardware, software, algorithms, systems, and visualization. These submissions produced many comparable performance measurements that can be used for assessing the current state of the art of the field. There were numerous submissions that implemented the triangle counting challenge and resulted in over 350 distinct measurements. Analysis of these submissions show that their execution time is a strong function of the number of edges in the graph, $N_e$, and is typically proportional to $N_e^{4/3}$ for large values of $N_e$. Combining the model fits of the submissions presents a picture of the current state of the art of graph analysis, which is typically $10^8$ edges processed per second for graphs with $10^8$ edges. These results are $30$ times faster than serial implementations commonly used by many graph analysts and underscore the importance of making these performance benefits available to the broader community. Graph Challenge provides a clear picture of current graph analysis systems and underscores the need for new innovations to achieve high performance on very large graphs.
Some degree and distance-based invariants of wreath products of graphs
Published in Discrete Applied Mathematics 277 (2020), 22-43
• View Publication
• BIB
The wreath product of graphs is a graph composition inspired by the notion of wreath product of groups, with interesting connections with Geometric Group Theory and Probability. This paper is devoted to the description of some degree and distance-based invariants, of large interest in Chemical Graph Theory, for a wreath product of graphs. An explicit formula is obtained for the Zagreb indices, in terms of the Zagreb indices of the factor graphs. A detailed analysis of distances in a wreath product is performed, allowing to describe the antipodal graph and to provide a formula for the Wiener index. Finally, a formula for the Szeged index is obtained. Several explicit examples are given.
The Thickness of K_1,n,n and K_2,n,n
Published
• View Publication
• BIB
The thickness of a graph G is the minimum number of planar subgraphs whose union is G. In this paper, we obtain the thickness of complete 3-partite graph K_1,n,n, K_2,n,n and complete 4-partite graph K_1,1,n,n.
Dungeons and Dragons: Combinatorics for the $dP_3$ Quiver
Published
• View Publication
• BIB
In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.
On a lower bound for the eccentric connectivity index of graphs
Published in In: Panda B., Goswami P. (eds) Algorithms and Discrete Applied Mathematics. CALDAM 2018. Lecture Notes in Computer Science, vol 10743, PP 179-187, Springer, Cham (2018)
• View Publication
• BIB
The eccentric connectivity index of a graph $G$, denoted by $ξ^{c}(G)$, defined as $ξ^{c}(G)$ = $\sum_{v \in V(G)}ε(v) \cdot d(v)$, where $ε(v)$ and $d(v)$ denotes the eccentricity and degree of a vertex $v$ in a graph $G$, respectively. The volcano graph $V_{n,d}$ is a graph obtained from a path $P_{d+1}$ and a set $S$ of $n-d-1$ vertices, by joining each vertex in $S$ to a central vertex or vertices of $P_{d+1}$. In (A lower bound on the eccentric connectivity index of a graph, Discrete Applied Math., 160, 248 to 258, (2012)), Morgan et al. proved that $ξ^{c}(G) \geq ξ^{c}(V_{n,d})$ for any graph of order $n$ and diameter $d \geq 3$. In this paper, we present a short and simple proof of this result by considering the adjacency of vertices in graphs.
Coloring general Kneser graphs and hypergraphs via high-discrepancy hypergraphs
Published
• View Publication
• BIB
We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative constant. Our method extends to Kneser hypergraphs as well.
Spectral lower bounds for the quantum chromatic number of a graph
Published
• View Publication
• BIB
The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many spectral lower bounds for the chromatic number, $χ(G)$, are also lower bounds for $χ_q(G)$. This is achieved using techniques from linear algebra called pinching and twirling. We illustrate our results with some examples.
Rainbow structures in locally bounded colourings of graphs
Published
• View Publication
• BIB
We prove several results on approximate decompositions of edge-coloured quasirandom graphs into rainbow spanning structures. More precisely, we say that an edge-colouring of a graph is locally $\ell$-bounded if no vertex is incident to more than $\ell$ edges of any given colour, and that it is (globally) $g$-bounded if no colour appears more than $g$ times in the colouring. Note that every proper colouring of an $n$-vertex graph is locally $1$-bounded, and (globally) $n/2$-bounded. Our results imply the following:
(i) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow almost-spanning cycles, provided that the colouring is $\frac{n}{2}$-bounded and locally $o(n)$-bounded. (ii) The existence of approximate decompositions of edge-coloured $K_n$ into rainbow Hamilton cycles, provided that the colouring is $(1-o(1))\frac n2$-bounded and locally $o\big(\frac{n}{\log^4 n}\big)$-bounded. (iii) A bipartite version of our results implies that every $n\times n$ array, where each symbol appears $(1-o(1))n$ times in total and appears only $o\big(\frac{n}{\log^2 n}\big)$ times in each row or column, has an approximate decomposition into full transversals.
We also prove analogues of (i) and (ii) for $F$-factors, where $F$ is any fixed graph. Apart from the logarithmic factor in (ii), all these bounds are essentially best possible. (i) can be viewed as a generalization of a recent result of Alon, Pokrovskiy and Sudakov, who showed the existence of an almost spanning cycle in a properly coloured complete graph. Both (i) and (ii) imply approximate versions of a conjecture of Brualdi and Hollingsworth, stating that every properly edge-coloured complete graph can be decomposed into rainbow spanning trees.
The restricted $h$-connectivity of balanced hypercubes
The restricted $h$-connectivity of a graph $G$, denoted by $κ^h(G)$, is defined as the minimum cardinality of a set of vertices $F$ in $G$, if exists, whose removal disconnects $G$ and the minimum degree of each component of $G-F$ is at least $h$. In this paper, we study the restricted $h$-connectivity of the balanced hypercube $BH_n$ and determine that $κ^1(BH_n)=κ^2(BH_n)=4n-4$ for $n\geq2$. We also obtain a sharp upper bound of $κ^3(BH_n)$ and $κ^4(BH_n)$ of $n$-dimension balanced hypercube for $n\geq3$ ($n\neq4$). In particular, we show that $κ^3(BH_3)=κ^4(BH_3)=12$.
On resilience of connectivity in the evolution of random graphs
Published
• View Publication
• BIB
In this note we establish a resilience version of the classical hitting time result of Bollobás and Thomason regarding connectivity. A graph $G$ is said to be $α$-resilient with respect to a monotone increasing graph property $\mathcal{P}$ if for every spanning subgraph $H \subseteq G$ satisfying $\mathrm{deg}_H(v) \leq α\cdot \mathrm{deg}_G(v)$ for all $v \in V(G)$, the graph $G - H$ still possesses $\mathcal{P}$. Let $\{G_i\}$ be the random graph process, that is a process where, starting with an empty graph on $n$ vertices $G_0$, in each step $i \geq 1$ an edge $e$ is chosen uniformly at random among the missing ones and added to the graph $G_{i - 1}$. We show that the random graph process is almost surely such that starting from $m \geq (\tfrac{1}{6} + o(1)) n \log n$, the largest connected component of $G_m$ is $(\tfrac{1}{2} - o(1))$-resilient with respect to connectivity. The result is optimal in the sense that the constants $1/6$ in the number of edges and $1/2$ in the resilience cannot be improved upon. We obtain similar results for $k$-connectivity.
Flow polynomials of a signed graph
Published
• View Publication
• BIB
In contrast to ordinary graphs, the number of the nowhere-zero group-flows in a signed graph may vary with different groups, even if the groups have the same order. In fact, for a signed graph $G$ and non-negative integer $d$, it was shown that there exists a polynomial $F_d(G,x)$ such that the number of the nowhere-zero $Γ$-flows in $G$ equals $F_d(G,x)$ evaluated at $k$ for every Abelian group $Γ$ of order $k$ with $ε(Γ)=d$, where $ε(Γ)$ is the largest integer $d$ for which $Γ$ has a subgroup isomorphic to $\mathbb{Z}^d_2$. We focus on the combinatorial structure of $Γ$-flows in a signed graph and the coefficients in $F_d(G,x)$. We first define the fundamental directed circuits for a signed graph $G$ and show that all $Γ$-flows (not necessarily nowhere-zero) in $G$ can be generated by these circuits. It turns out that all $Γ$-flows in $G$ can be evenly classified into $2^{ε(Γ)}$-classes specified by the elements of order 2 in $Γ$, each class of which consists of the same number of flows depending only on the order of the group. This gives an explanation for why the number of $Γ$-flows in a signed graph varies with different $ε(Γ)$, and also gives an answer to a problem posed by Beck and Zaslavsky. Secondly, using an extension of Whitney's broken circuit theory we give a combinatorial interpretation of the coefficients in $F_d(G,x)$ for $d=0$, in terms of the broken bonds. As an example, we give an analytic expression of $F_0(G,x)$ for a class of the signed graphs that contain no balanced circuit. Finally, we show that the sets of edges in a signed graph that contain no broken bond form a homogeneous simplicial complex.
Number of Vertices of the Polytope of Integer Partitions and Factorization of the Partitioned Number
Published
• View Publication
• BIB
The polytope of integer partitions of $n$ is the convex hull of the corresponding $n$-dimensional integer points. Its vertices are of importance because every partition is their convex combination. Computation shows intriguing features of $v(n),$ the number of the polytope vertices: its graph has a saw-toothed shape with the highest peaks at prime $n$'s. We explain the shape of $v(n)$ by the large number of partitions of even $n$'s that were counted by N. Metropolis and P. R. Stein. These partitions are convex combinations of two others. We reveal that divisibility of $n$ by 3 also reduces the value of $v(n),$ which is caused by partitions that are convex combinations of three but not two others, and characterize convex representations of such integer points in arbitrary integral polytope. To approach the prime $n$ phenomenon, we use a specific classification of integers and demonstrate that the graph of $v(n)$ is stratified to layers corresponding to resulting classes. Our main conjecture claims that $v(n)$ depends on collections of divisors of $n.$ We also offer an initial argument for that the number of vertices of the Gomory's master corner polyhedron on the cyclic group has features similar to those of $v(n).$
On graphs with exactly two positive eigenvalues
Published
• View Publication
• BIB
The inertia of a graph $G$ is defined to be the triplet $In(G) = (p(G), n(G), $ $η(G))$, where $p(G)$, $n(G)$ and $η(G)$ are the numbers of positive, negative and zero eigenvalues (including multiplicities) of the adjacency matrix $A(G)$, respectively. Traditionally $p(G)$ (resp. $n(G)$) is called the positive (resp. negative) inertia index of $G$. In this paper, we introduce three types of congruent transformations for graphs that keep the positive inertia index and negative inertia index. By using these congruent transformations, we determine all graphs with exactly two positive eigenvalues and one zero eigenvalue.
A complete characterization of graphs with exactly two positive eigenvalues
Published
• View Publication
• BIB
In 1977 Smith characterized graphs with exactly one positive eigenvalue. Since then, many particular results related to graphs with exactly two positive eigenvalues have emerged. In this paper we conclude this investigation by giving a full characterization of these graphs.
On the Complexity of the Cogrowth Sequence
Published
• View Publication
• BIB
Given a finitely generated group with generating set $S$, we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks in a Cayley graph with steps from $S$. We prove that the cogrowth sequence is not $P$-recursive when~$G$ is an amenable group of superpolynomial growth, answering a question of Garrabant and Pak.
Steiner Wiener index of block graphs
Let $S$ be a set of vertices of a connected graph $G$. The Steiner distance of $S$ is the minimum size of a connected subgraph of $G$ containing all the vertices of $S$. The Steiner $k$-Wiener index is the sum of all Steiner distances on sets of $k$ vertices of $G$. Different simple methods for calculating the Steiner $k$-Wiener index of block graphs are presented.
Colouring Square-Free Graphs without Long Induced Paths
Published
• View Publication
• BIB
The complexity of {\sc Colouring} is fully understood for $H$-free graphs, but there are still major complexity gaps if two induced subgraphs $H_1$ and $H_2$ are forbidden. Let $H_1$ be the $s$-vertex cycle $C_s$ and $H_2$ be the $t$-vertex path $P_t$. We show that {\sc Colouring} is polynomial-time solvable for $s=4$ and $t\leq 6$, strengthening several known results. Our main approach is to initiate a study into the boundedness of the clique-width of atoms (graphs with no clique cutset) of a hereditary graph class. We first show that the classifications of boundedness of clique-width of $H$-free graphs and $H$-free atoms coincide. We then show that this is not the case if two graphs are forbidden: we prove that $(C_4,P_6)$-free atoms have clique-width at most~18. Our key proof ingredients are a divide-and-conquer approach for bounding the clique-width of a subclass of $C_4$-free graphs and the construction of a new bound on the clique-width for (general) graphs in terms of the clique-width of recursively defined subgraphs induced by homogeneous pairs and triples of sets. As a complementary result we prove that {\sc Colouring} is \NP-complete for $s=4$ and $t\geq 9$, which is the first hardness result on {\sc Colouring} for $(C_4,P_t)$-free graphs. Combining our new results with known results leads to an almost complete dichotomy for \cn restricted to $(C_s,P_t)$-free graphs.
Anti-regular graphs with loops and their spectrum
We characterize the graphs with loops whose degree sequences have no repeated values and find their adjacency spectrum. In the case of simple graphs, such graphs are called anti-regular graphs and are examples of threshold graphs. The spectrum is found by using the known relationship between tridiagonal matrices and orthogonal polynomials.
Periodicity of Grover walks on distance-regular graphs
Published
• View Publication
• BIB
Characterizations graphs of some classes to induce periodic Grover walks have been studied for recent years. In particular, for the strongly regular graphs, it has been known that there are only three kinds of such graphs. Here, we focus on the periodicity of the Grover walks on distance-regular graphs. The distance-regular graph can be regarded as a kind of generalization of the strongly regular graphs and the typical graph with an equitable partition. In this paper, we find some classes of such distance-regular graphs and obtain some useful necessary conditions to induce periodic Grover walks on the general distance-regular graphs. Also, we apply this necessary condition to give another proof for the strong regular graphs.