graph
34793 papers tagged with this keyword
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.
Two Erdős--Hajnal-type Theorems in Hypergraphs
Published
• View Publication
• BIB
The Erdős--Hajnal Theorem asserts that non-universal graphs, that is, graphs that do not contain an induced copy of some fixed graph $H$, have homogeneous sets of size significantly larger than one can generally expect to find in a graph. We obtain two results of this flavor in the setting of $r$-uniform hypergraphs.
A theorem of Rödl asserts that if an $n$-vertex graph is non-universal then it contains an almost homogeneous set (i.e one with edge density either very close to $0$ or $1$) of size $Ω(n)$. We prove that if a $3$-uniform hypergraph is non-universal then it contains an almost homogeneous set of size $Ω(\log n)$. An example of Rödl from 1986 shows that this bound is tight.
Let $R_r(t)$ denote the size of the largest non-universal $r$-graph $G$ so that neither $G$ nor its complement contain a complete $r$-partite subgraph with parts of size $t$. We prove an Erdős--Hajnal-type stepping-up lemma, showing how to transform a lower bound for $R_{r}(t)$ into a lower bound for $R_{r+1}(t)$. As an application of this lemma, we improve a bound of Conlon--Fox--Sudakov by showing that $R_3(t) \geq t^{Ω(t)}$.
On the Subnet Prune and Regraft Distance
Published in The Electronic Journal of Combinatorics 26(2) (2019), #P2.3
• View Publication
• BIB
Phylogenetic networks are rooted directed acyclic graphs that represent evolutionary relationships between species whose past includes reticulation events such as hybridisation and horizontal gene transfer. To search the space of phylogenetic networks, the popular tree rearrangement operation rooted subtree prune and regraft (rSPR) was recently generalised to phylogenetic networks. This new operation - called subnet prune and regraft (SNPR) - induces a metric on the space of all phylogenetic networks as well as on several widely-used network classes. In this paper, we investigate several problems that arise in the context of computing the SNPR-distance. For a phylogenetic tree $T$ and a phylogenetic network $N$, we show how this distance can be computed by considering the set of trees that are embedded in $N$ and then use this result to characterise the SNPR-distance between $T$ and $N$ in terms of agreement forests. Furthermore, we analyse properties of shortest SNPR-sequences between two phylogenetic networks $N$ and $N'$, and answer the question whether or not any of the classes of tree-child, reticulation-visible, or tree-based networks isometrically embeds into the class of all phylogenetic networks under SNPR.
Counting copies of a fixed subgraph in $F$-free graphs
Published
• View Publication
• BIB
Fix graphs $F$ and $H$ and let $ex(n,H,F)$ denote the maximum possible number of copies of the graph $H$ in an $n$-vertex $F$-free graph. The systematic study of this function was initiated by Alon and Shikhelman [{\it J. Comb. Theory, B}. {\bf 121} (2016)]. In this paper, we give new general bounds concerning this generalized Turán function. We also determine $ex(n,P_k,K_{2,t})$ (where $P_k$ is a path on $k$ vertices) and $ex(n,C_k,K_{2,t})$ asymptotically for every $k$ and $t$. For example, it is shown that for $t \geq 2$ and $k\geq 5$ we have $ex(n,C_k,K_{2,t})=\left(\frac{1}{2k}+o(1)\right)(t-1)^{k/2}n^{k/2}$. We also characterize the graphs $F$ that cause the function $ex(n,C_k,F)$ to be linear in $n$. In the final section we discuss a connection between the function $ex(n,H,F)$ and Berge hypergraph problems.
Decompositions into spanning rainbow structures
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. The study of rainbow subgraphs goes back more than two hundred years to the work of Euler on Latin squares and has been the focus of extensive research ever since. Euler posed a problem equivalent to finding properly $n$-edge-coloured complete bipartite graphs $K_{n,n}$ which can be decomposed into rainbow perfect matchings. While there are proper edge-colourings of $K_{n,n}$ without even a single rainbow perfect matching, the theme of this paper is to show that with some very weak additional constraints one can find many disjoint rainbow perfect matchings. In particular, we prove that if some fraction of the colour classes have at most $(1-o(1)) n$ edges then one can nearly-decompose the edges of $K_{n,n}$ into edge-disjoint perfect rainbow matchings. As an application of this, we establish in a very strong form a conjecture of Akbari and Alipour and asymptotically prove a conjecture of Barat and Nagy. Both these conjectures concern rainbow perfect matchings in edge-colourings of $K_{n,n}$ with quadratically many colours.
Using our techniques, we also prove a number of results on near-decompositions of graphs into other rainbow structures like Hamiltonian cycles and spanning trees. Most notably, we prove that any properly coloured complete graph can be nearly-decomposed into spanning rainbow trees. This asymptotically proves the Brualdi-Hollingsworth and Kaneko-Kano-Suzuki conjectures which predict that a perfect decomposition should exist under the same assumptions.
Structure of Cubic Lehman Matrices
Published
• View Publication
• BIB
A pair $(A,B)$ of square $(0,1)$-matrices is called a \emph{Lehman pair} if $AB^T=J+kI$ for some integer $k\in\{-1,1,2,3,\ldots\}$. In this case $A$ and $B$ are called \emph{Lehman matrices}. This terminology arises because Lehman showed that the rows with the fewest ones in any non-degenerate minimally nonideal (mni) matrix $M$ form a square Lehman submatrix of $M$. Lehman matrices with $k=-1$ are essentially equivalent to \emph{partitionable graphs} (also known as $(α,ω)$-graphs), so have been heavily studied as part of attempts to directly classify minimal imperfect graphs. In this paper, we view a Lehman matrix as the bipartite adjacency matrix of a regular bipartite graph, focusing in particular on the case where the graph is cubic. From this perspective, we identify two constructions that generate cubic Lehman graphs from smaller Lehman graphs. The most prolific of these constructions involves repeatedly replacing suitable pairs of edges with a particular $6$-vertex subgraph that we call a $3$-rung ladder segment. Two decades ago, Lütolf \& Margot initiated a computational study of mni matrices and constructed a catalogue containing (among other things) a listing of all cubic Lehman matrices with $k =1$ of order up to $17 \times 17$. We verify their catalogue (which has just one omission), and extend the computational results to $20 \times 20$ matrices. Of the $908$ cubic Lehman matrices (with $k=1$) of order up to $20 \times 20$, only two do not arise from our $3$-rung ladder construction. However these exceptions can be derived from our second construction, and so our two constructions cover all known cubic Lehman matrices with $k=1$.