graph
34828 papers tagged with this keyword
Maximising the number of induced cycles in a graph
Published
• View Publication
• BIB
We determine the maximum number of induced cycles that can be contained in a graph on $n\ge n_0$ vertices, and show that there is a unique graph that achieves this maximum. This answers a question of Tuza. We also determine the maximum number of odd or even cycles that can be contained in a graph on $n\ge n_0$ vertices and characterise the extremal graphs. This resolves a conjecture of Chvátal and Tuza from 1988.
Quasirandom Cayley graphs
Published in Discrete Analysis 2017:6, 14 pp
• View Publication
• BIB
We prove that the properties of having small discrepancy and having small second eigenvalue are equivalent in Cayley graphs, extending a result of Kohayakawa, Rödl, and Schacht, who treated the abelian case. The proof relies on Grothendieck's inequality. As a corollary, we also prove that a similar result holds in all vertex-transitive graphs.
Reducing the generalised Sudoku problem to the Hamiltonian cycle problem
Published
• View Publication
• BIB
The generalised Sudoku problem with $N$ symbols is known to be NP-complete, and hence is equivalent to any other NP-complete problem, even for the standard restricted version where $N$ is a perfect square. In particular, generalised Sudoku is equivalent to the, classical, Hamiltonian cycle problem. A constructive algorithm is given that reduces generalised Sudoku to the Hamiltonian cycle problem, where the resultant instance of Hamiltonian cycle problem is sparse, and has $O(N^3)$ vertices. The Hamiltonian cycle problem instance so constructed is a directed graph, and so a (known) conversion to undirected Hamiltonian cycle problem is also provided so that it can be submitted to the best heuristics. A simple algorithm for obtaining the valid Sudoku solution from the Hamiltonian cycle is provided. Techniques to reduce the size of the resultant graph are also discussed.
Upper k-tuple total domination in graphs
Published in Pure_and_Applied_Mathematics_Quarterly_13_4_2017_563-579
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several classes of graphs, as well as finding general bounds and characterizations. Also, we find some results on the upper $k$-tuple total domination number of the Cartesian and cross product graphs.
Double Total Domination in Harary Graphs
Published in Pure_and_Applied_Mathematics_Quarterly_8_1_2017_1-6
• Search Publication
Let $G$ be a graph with minimum degree at least 2. A set $D\subseteq V$ is a double total dominating set of $G$ if each vertex is adjacent to at least two vertices in $D$. The double total domination number $γ_{\times 2,t}(G)$ of $G$ is the minimum cardinality of a double total dominating set of $G$. In this paper, we will find double total domination number of Harary graphs.
k-Tuple Restrained Domination in Graphs
Published
• View Publication
• BIB
For $k \ge 1$ an integer, a set $S$ of vertices in a graph $G$ with minimum degree at least~$k-1$ is a $k$-tuple dominating set of $G$ if every vertex of $S$ is adjacent to at least $k-1$ vertices in $S$ and every vertex of $V(G) \setminus S$ is adjacent to at least $k$ vertices in $S$; that is, $|N_G[v] \cap S| \ge k$ for every vertex $v$ of $G$ where $N_G[v]$ denotes the closed neighborhood of $v$ which consists of $v$ and all neighbors of $v$. A $k$-tuple restrained dominating set of $G$ is a $k$-tuple dominating set $S$ of $G$ with the additional property that every vertex outside $S$ has at least $k$ neighbors outside $S$. The minimum cardinality of a $k$-tuple restrained dominating set of $G$ is the $k$-tuple restrained domination number of $G$. When $k=1$, the $k$-tuple restrained domination number is the well-studied restrained domination number. In this paper, we determine the $k$-tuple restrained domination number of several classes of graphs. Tight upper bounds on the $k$-tuple restrained domination number of a general graph are established. We present basic properties of the $k$-tuple restrained domatic number of a graph which is the maximum number of the classes of a partition of $V(G)$ into $k$-tuple restrained dominating sets of $G$.
The Erdos-Posa Property for Directed Graphs
A classical result by Erdos and Posa states that there is a function $f: {\mathbb N} \rightarrow {\mathbb N}$ such that for every $k$, every graph $G$ contains $k$ pairwise vertex disjoint cycles or a set $T$ of at most $f(k)$ vertices such that $G-T$ is acyclic. The generalisation of this result to directed graphs is known as Younger's conjecture and was proved by Reed, Robertson, Seymour and Thomas in 1996. This so-called Erdos-Posa-property can naturally be generalised to arbitrary graphs and digraphs. Robertson and Seymour proved that a graph $H$ has the Erdos-Posa-property if, and only if, $H$ is planar. In this paper we study the corresponding problem for digraphs. We obtain a complete characterisation of the class of strongly connected digraphs which have the Erdos-Posa-property (both for topological and butterfly minors). We also generalise this result to classes of digraphs which are not strongly connected. In particular, we study the class of vertex-cyclic digraphs (digraphs without trivial strong components). For this natural class of digraphs we obtain a nearly complete characterisation of the digraphs within this class with the Erdos-Posa-property. In particular we give positive and algorithmic examples of digraphs with the Erdos-Posa-property by using directed tree decompositions in a novel way.
Tensor Product Multiplicities via Upper Cluster Algebras
Published in Annales de l'ENS, volume 54, issue 6 (2021)
• View Publication
• BIB
For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.
A minimum-change version of the Chung-Feller theorem for Dyck paths
Published in European Journal of Combinatorics 69:260-275, 2018
• View Publication
• BIB
A Dyck path with $2k$ steps and $e$ flaws is a path in the integer lattice that starts at the origin and consists of $k$ many $\nearrow$-steps and $k$ many $\searrow$-steps that change the current coordinate by $(1,1)$ or $(1,-1)$, respectively, and that has exactly $e$ many $\searrow$-steps below the line $y=0$. Denoting by $D_{2k}^e$ the set of Dyck paths with $2k$ steps and $e$ flaws, the Chung-Feller theorem asserts that the sets $D_{2k}^0,D_{2k}^1,\ldots,D_{2k}^k$ all have the same cardinality $\frac{1}{k+1}\binom{2k}{k}=C_k$, the $k$-th Catalan number. The standard combinatorial proof of this classical result establishes a bijection $f'$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ that swaps certain parts of the given Dyck path $x$, with the effect that $x$ and $f'(x)$ may differ in many positions. In this paper we strengthen the Chung-Feller theorem by presenting a simple bijection $f$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ which has the additional feature that $x$ and $f(x)$ differ in only two positions (the least possible number). We also present an algorithm that allows to compute a sequence of applications of $f$ in constant time per generated Dyck path. As an application, we use our minimum-change bijection $f$ to construct cycle-factors in the odd graph $O_{2k+1}$ and the middle levels graph $M_{2k+1}$ --- two intensively studied families of vertex-transitive graphs --- that consist of $C_k$ many cycles of the same length.
On Resolvability of a Graph Associated to a Finite Vector Space
Published
• View Publication
• BIB
The metric dimension of non-component graph, associated to a finite vector space, is determined.
It is proved that the exchange property holds for resolving sets of the graph, except a special case.
Some results are also related to an intersection graph.
Co-adjoint polynomial
In this note we study a certain graph polynomial arising from a special recursion. This recursion is a member of a family of four recursions where the other three recursions belong to the chromatic polynomial, the modified matching polynomial, and the adjoint polynomial, respectively. The four polynomials share many common properties, for instance all of them are of exponential type, i. e., they satisfy the identity $$\sum_{S\subseteq V(G)}f(G[S],x)f(G[V\setminus S],y)=f(G,x+y)$$ for every graph $G$.
It turns out that the new graph polynomial is a specialization of the Tutte polynomial.
Spectral radius and fractional matchings in graphs
Published in European Journal of Combinatorics, Volume 55, 2016, Pages 144-148
• View Publication
• BIB
A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e \in Γ(v)} f(e) \le 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_*(G)$, is the maximum of $\sum_{e \in E(G)} f(e)$ over all fractional matchings $f$. Let $G$ be an $n$-vertex connected graph with minimum degree $d$, let $λ_1(G)$ be the largest eigenvalue of $G$, and let $k$ be a positive integer less than $n$. In this paper, we prove that if $λ_1(G) < d\sqrt{1+\frac{2k}{n-k}}$, then $α'_*(G) > \frac{n-k}{2}$. As a result, we prove $α'_*(G) \ge \frac{nd^2}{λ_1(G)^2 + d^2}$, we characterize when equality holds in the bound.
An explicit prime geodesic theorem for discrete tori and the hypergeometric functions
Published in Math. Z., 289 (2018) No. 1, 361 -- 376
• View Publication
• BIB
The discrete tori are graph analogues of the real tori, which are defined by the Cayley graphs of a finite product of finite cyclic groups. In this paper, using the theory of the heat kernel on the discrete tori established by Chinta, Jorgenson and Karlsson, we derive an explicit prime geodesic theorem for the discrete tori, which is not an asymptotic formula. To describe the formula, we need generalizations of the classical Jacobi polynomials, which are defined by the Lauricella multivariable hypergeometric function of type C.
Independent Sets in Classes Related to Chair/Fork-free Graphs
Published in LNCS 9602 (2016) pp. 224-232
• View Publication
• BIB
The Maximum Weight Independent Set (MWIS) problem on graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum total weight. MWIS is known to be $NP$-complete in general, even under various restrictions. Let $S_{i,j,k}$ be the graph consisting of three induced paths of lengths $i, j, k$ with a common initial vertex. The complexity of the MWIS problem for $S_{1, 2, 2}$-free graphs, and for $S_{1, 1, 3}$-free graphs are open. In this paper, we show that the MWIS problem can solved in polynomial time for ($S_{1, 2, 2}$, $S_{1, 1, 3}$, co-chair)-free graphs, by analyzing the structure of the subclasses of this class of graphs. This extends some known results in the literature.
There is no (95,40,12,20) strongly regular graph
Published
• View Publication
• BIB
We show that there is no $(95,40,12,20)$ strongly regular graph and, consequently, there is no $(96,45,24,18)$ strongly regular graph, no two-graph on $96$ vertices, and no partial geometry $\rm{pg}(5,9,3)$. The main idea of the result is based on the star complement technique and requires a small amount of computation.
Counting surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group with motivations from string theory and QFT
Published in Nuclear Physics B 910 (2016), 712-723
• View Publication
• BIB
Graphs embedded into surfaces have many important applications, in particular, in combinatorics, geometry, and physics. For example, ribbon graphs and their counting is of great interest in string theory and quantum field theory (QFT). Recently, Koch, Ramgoolam, and Wen [Nuclear Phys.\,B {\bf 870} (2013), 530--581] gave a refined formula for counting ribbon graphs and discussed its applications to several physics problems. An important factor in this formula is the number of surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group. The aim of this paper is to give an explicit and practical formula for the number of such epimorphisms. As a consequence, we obtain an `equivalent' form of the famous Harvey's theorem on the cyclic groups of automorphisms of compact Riemann surfaces. Our main tool is an explicit formula for the number of solutions of restricted linear congruence recently proved by Bibak et al. using properties of Ramanujan sums and of the finite Fourier transform of arithmetic functions.
Staggered Quantum Walks on Graphs
Published in Phys. Rev. A 93, 062335 (2016)
• View Publication
• BIB
The staggered quantum walk model allows to establish an unprecedented connection between discrete-time quantum walks and graph theory. We call attention to the fact that a large subclass of the coined model is included in Szegedy's model, which in its turn is entirely included in the staggered model. In order to compare those three quantum walk models, we put them in the staggered formalism and we show that the Szegedy and coined models are defined on a special subclass of graphs. This inclusion scheme is also true when the searching framework is added. We use graph theory to characterize which staggered quantum walks can be reduced to the Szegedy or coined quantum walk model. We analyze a staggered-based search that cannot be included in Szegedy's model and we show numerically that this search is more efficient than a random-walk-based search.
On almost-planar graphs
Published
• View Publication
• BIB
A nonplanar graph G is called almost-planar if for every edge e of G, at least one of G\e and G/e is planar. In 1990, Gubser characterized 3-connected almost-planar graphs in his dissertation. However, his proof is so long that only a small portion of it was published. The main purpose of this paper is to provide a short proof of this result. We also discuss the structure of almost-planar graphs that are not 3-connected.
Toric rings and ideals of stable set polytopes
Published in Mathematics 7 (2019), 613
• View Publication
• BIB
In this paper, we discuss the normality of the toric rings of stable set polytopes, and the set of generators and Gröbner bases of toric ideals of stable set polytopes by using the results on that of edge polytopes of finite nonsimple graphs. In particular, for a graph of stability number two, we give a graph theoretical characterization of the set of generators of the toric ideal of the stable set polytope, and a criterion to check whether the toric ring of the stable set polytope is normal or not. One of the application of the results is an infinite family of stable set polytopes whose toric ideal is generated by quadratic binomials and has no quadratic Gröbner bases.
Isomorphisms of Cayley graphs on nilpotent groups
Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. For the special case where the groups are abelian, these results were previously proved by A.A.Ryabchenko and C.Loeh, respectively.