graph
35299 papers tagged with this keyword
Contraction Obstructions for Connected Graph Searching
Published
• View Publication
• BIB
We consider the connected variant of the classic mixed search game where, in each search step, cleaned edges form a connected subgraph. We consider graph classes with bounded connected (and monotone) mixed search number and we deal with the question whether the obstruction set, with respect of the contraction partial ordering, for those classes is finite. In general, there is no guarantee that those sets are finite, as graphs are not well quasi ordered under the contraction partial ordering relation.
In this paper we provide the obstruction set for $k=2$, where $k$ is the number of searchers we are allowed to use. This set is finite, it consists of 177 graphs and completely characterises the graphs with connected (and monotone) mixed search number at most 2. Our proof reveals that the "sense of direction" of an optimal search searching is important for connected search which is in contrast to the unconnected original case. We also give a double exponential lower bound on the size of the obstruction set for the classes where this set is finite.
Combinatorics and algorithms for augmenting graphs
Published
• View Publication
• BIB
The notion of augmenting graphs generalizes Berge's idea of augmenting chains, which was used by Edmonds in his celebrated solution of the maximum matching problem. This problem is a special case of the more general maximum independent set (MIS) problem. Recently, the augmenting graph approach has been successfully applied to solve MIS in various other special cases. However, our knowledge of augmenting graphs is still very limited, and we do not even know what the minimal infinite classes of augmenting graphs are. In the present paper, we find an answer to this question and apply it to extend the area of polynomial-time solvability of the maximum independent set problem.
Induced cycles in triangle graphs
The triangle graph of a graph $G$, denoted by ${\cal T}(G)$, is the graph whose vertices represent the triangles ($K_3$ subgraphs) of $G$, and two vertices of ${\cal T}(G)$ are adjacent if and only if the corresponding triangles share an edge. In this paper, we characterize graphs whose triangle graph is a cycle and then extend the result to obtain a characterization of $C_n$-free triangle graphs. As a consequence, we give a forbidden subgraph characterization of graphs $G$ for which ${\cal T}(G)$ is a tree, a chordal graph, or a perfect graph. For the class of graphs whose triangle graph is perfect, we verify a conjecture of the third author concerning packing and covering of triangles.
Multispecies quantum Hurwitz numbers
Published in Sigma 11, 097 (2015)
• Search Publication
The construction of hypergeometric 2D Toda $τ$-functions as generating functions for quantum Hurwitz numbers is extended here to multispecies families. Both the enumerative geometrical significance of these multispecies quantum Hurwitz numbers as weighted enumerations of branched coverings of the Riemann sphere and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived.
Codes for DNA Storage Channels
Published
• View Publication
• BIB
We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Dimer-monomer Model on the Towers of Hanoi Graphs
Published
• View Publication
• BIB
The number of dimer-monomers (matchings) of a graph $G$ is an important graph parameter in statistical physics. Following recent research, we study the asymptotic behavior of the number of dimer-monomers $m(G)$ on the Towers of Hanoi graphs and another variation of the Sierpiński graphs which is similar to the Towers of Hanoi graphs, and derive the recursion relations for the numbers of dimer-monomers. Upper and lower bounds for the entropy per site, defined as $μ_{G}=\lim_{v(G)\rightarrow\infty}\frac{\ln m(G)}{v(G)}$, where $v(G)$ is the number of vertices in a graph $G$, on these Sierpiński graphs are derived in terms of the numbers at a certain stage. As the difference between these bounds converges quickly to zero as the calculated stage increases, the numerical value of the entropy can be evaluated with more than a hundred significant figures accuracy.
Multigraded Betti numbers of some path ideals
Published
• View Publication
• BIB
We determine (multi)graded Betti numbers of path ideals of lines and star graphs.
Contemplating some invariants of the Jaco Graph, $J_n(1), n \in \Bbb N$
Kok et.al. [7] introduced Jaco Graphs (\emph{order 1}). In this essay we present a recursive formula to determine the \emph{independence number} $α(J_n(1)) = |\Bbb I|$ with, $\Bbb I = \{v_{i,j}| v_1 = v_{1,1} \in \Bbb I$ and $v_i = v_{i,j} =v_{(d^+(v_{m, (j-1)}) + m +1)}\}.$ We also prove that for the Jaco Graph, $J_n(1), n \in \Bbb N$ with the prime Jaconian vertex $v_i$ the chromatic number, $χ(J_n(1))$ is given by: \begin{equation*} χ(J_n(1)) \begin{cases} = (n-i) + 1, &\text{if and only if the edge $v_iv_n$ exists,}\\ \\ = n-i &\text{otherwise.} \end{cases} \end{equation*} We further our exploration in respect of \emph{domination numbers, bondage numbers} and declare the concept of the \emph{murtage number} of a simple connected graph $G$, denoted $m(G)$. We conclude by proving that for any Jaco Graph $J_n(1), n \in \Bbb N$ we have that $0 \leq m(J_n(1)) \leq 3.$
On the cardinality of a factor set in the symmetric group
Published in Asian-European Journal of Mathematics,Vol. 7, No. 2 (2014) 1450027
• View Publication
• BIB
Let $n$ be a positive integer, $σ$ be an element of the symmetric group $\mathcal{S}_n$ and let $σ$ be a cycle of length $n$. The elements $α,β\in \mathcal{S}_n$ are $σ$-equivalent, if there are natural numbers $k$ and $l$, such that $σ^k α=βσ^l$, which is the same as the condition to exist natural numbers $k_1$ and $l_1$, such that $α= σ^{k_1} βσ^{l_1}$. In this work we examine some properties of the so defined equivalence relation. We build a finite oriented graph $Γ_n$ with the help of which is described an algorithm for solving the combinatorial problem for finding the number of equivalence classes according to this relation.
Cops, robbers, and infinite graphs
Cops and robbers is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known that on a finite graph the cop has a winning strategy if and only if the graph is constructible and that finiteness is necessary for this result.
We propose the notion of weakly cop-win graphs, a winning criterion for infinite graphs which could lead to a generalisation. In fact, we generalise one half of the result, that is, we prove that every constructible graph is weakly cop-win. We also show that a similar notion studied by Chastand et al. (which they also dubbed weakly cop-win) is not sufficient to generalise the above result to infinite graphs.
In the locally finite case we characterise the constructible graphs as the graphs for which the cop has a so-called protective strategy and prove that the existence of such a strategy implies constructibility even for non-locally finite graphs.
Normally Regular Digraphs
A normally regular digraph with parameters $(v,k,λ,μ)$ is a directed graph on $v$ vertices whose adjacency matrix $A$ satisfies the equation $AA^t=k I+λ(A+A^t)+μ(J-I-A-A^t)$. This means that every vertex has out-degree $k$, a pair of non-adjacent vertices have $μ$ common out-neighbours, a pair of vertices connected by an edge in one direction have $λ$ common out-neighbours and a pair of vertices connected by edges in both directions have $2λ-μ$ common out-neighbours. We often assume that two vertices can not be connected in both directions.
We prove that the adjacency matrix of a normally regular digraph is normal. A connected $k$-regular digraph with normal adjacency matrix is a normally regular digraph if and only if all eigenvalues other than $k$ are on one circle in the complex plane. We prove several non-existence results, structural characterizations, and constructions of normally regular digraphs. In many cases these graphs are Cayley graphs of abelian groups and the construction is then based on a generalization of difference sets.
We also show connections to other combinatorial objects: strongly regular graphs, symmetric 2-designs and association schemes.
Incidences between points and generalized spheres over finite fields and related problems
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of $q$ elements where $q$ is a large odd prime power and $Q =a_1 x_1^{c_1}+...+a_dx_d^{c_d}\in \mathbb{F}_q[x_1,...,x_d]$, where $2\le c_i\le N$, $\gcd(c_i,q)=1$, and $a_i\in \mathbb{F}_q$ for all $1\le i\le d$. A $Q$-sphere is a set of the form $\lbrace x\in \mathbb{F}_q^d | Q(x-b)=r\rbrace$, where $b\in \mathbb{F}_q^d, r\in \mathbb{F}_q$. We prove bounds on the number of incidences between a point set $\mathcal{P}$ and a $Q$-sphere set $\mathcal{S}$, denoted by $I(\mathcal{P},\mathcal{S})$, as the following.
$$| I(\mathcal{P},\mathcal{S})-\frac{|\mathcal{P}||\mathcal{S}|}{q}|\le q^{d/2}\sqrt{|\mathcal{P}||\mathcal{S}|}.$$
We prove this estimate by studying the spectra of directed graphs. We also give a version of this estimate over finite rings $\mathbb{Z}_q$ where $q$ is an odd integer. As a consequence of the above bounds, we give an estimate for the pinned distance problem. In Sections $4$ and $5$, we prove a bound on the number of incidences between a random point set and a random $Q$-sphere set in $\mathbb{F}_q^d$. We also study the finite field analogues of some combinatorial geometry problems, namely, the number of generalized isosceles triangles, and the existence of a large subset without repeated generalized distances.
The genus of curve, pants and flip graphs
Published
• View Publication
• BIB
This article is about the graph genus of certain well studied graphs in surface theory: the curve, pants and flip graphs. We study both the genus of these graphs and the genus of their quotients by the mapping class group. The full graphs, except for in some low complexity cases, all have infinite genus. The curve graph once quotiented by the mapping class group has the genus of a complete graph so its genus is well known by a theorem of Ringel and Youngs. For the other two graphs we are able to identify the precise growth rate of the graph genus in terms of the genus of the underlying surface. The lower bounds are shown using probabilistic methods.
A Description of the Subgraph Induced at a Labeling of a Graph by the Subset of Vertices with an Interval Spectrum
Published
• View Publication
• BIB
The sets of vertices and edges of an undirected, simple, finite, connected graph $G$ are denoted by $V(G)$ and $E(G)$, respectively. An arbitrary nonempty finite subset of consecutive integers is called an interval. An injective mapping $\varphi:E(G)\rightarrow \{1,2,...,|E(G)|\}$ is called a labeling of the graph $G$. If $G$ is a graph, $x$ is its arbitrary vertex, and $\varphi$ is its arbitrary labeling, then the set $S_G(x,\varphi)\equiv\{\varphi(e)/ e\in E(G), e \textrm{is incident with} x$\} is called a spectrum of the vertex $x$ of the graph $G$ at its labeling $\varphi$. For any graph $G$ and its arbitrary labeling $\varphi$, a structure of the subgraph of $G$, induced by the subset of vertices of $G$ with an interval spectrum, is described.
Tutte polynomial of a fractal scale-free lattice
The Tutte polynomial of a graph, or equivalently the $q$-state Potts model partition function, is a two-variable polynomial graph invariant of considerable importance in both combinatorics and statistical physics. The computation of this invariant for a graph is NP-hard in general. In this paper, based on their self-similar structures, we recursively describe the Tutte polynomials of an infinite family of scale-free lattices. Furthermore, we give some exact analytical expressions of the Tutte polynomial for several special points at $(X,Y)$-plane.
Spectral zeta functions of graphs and the Riemann zeta function in the critical strip
Published
• View Publication
• BIB
We initiate the study of spectral zeta functions $ζ_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions. The Riemann hypothesis is shown to be equivalent to an approximate functional equation of graph zeta functions. The latter holds at all points where Riemann's zeta function $ζ(s)$ is non-zero. This connection arises via a detailed study of the asymptotics of the spectral zeta functions of finite torus graphs in the critcal strip and estimates on the real part of the logarithmic derivative of $ζ(s)$. We relate $ζ_{\mathbb{Z}}$ to Euler's beta integral and show how to complete it giving the functional equation $ξ_{\mathbb{Z}}(1-s)=ξ_{\mathbb{Z}}(s)$. This function appears in the theory of Eisenstein series although presumably with this spectral intepretation unrecognized. In higher dimensions $d$ we provide a meromorphic continuation of $ζ_{\mathbb{Z}^{d}}(s)$ to the whole plane and identify the poles. From our aymptotics several known special values of $ζ(s)$ are derived as well as its non-vanishing on the line $Re(s)=1$. We determine the spectral zeta functions of regular trees and show it to be equal to a specialization of Appell's hypergeometric function $F_{1}$ via an Euler-type integral formula due to Picard.
Uniform regular weighted graphs with large degree: Wigner's law, asymptotic freeness and graphons limit
For each $N\geq 1$, let $G_N$ be a simple random graph on the set of vertices $[N]=\{1,2, ..., N\}$, which is invariant by relabeling of the vertices. The asymptotic behavior as $N$ goes to infinity of correlation functions:
$$ \mathfrak C_N(T)= \mathbb E\bigg[ \prod_{(i,j) \in T} \Big(\mathbf 1_{\big(\{i,j\} \in G_N \big)} - \mathbb P(\{i,j\} \in G_N) \Big)\bigg], \ T \subset [N]^2 \textrm{finite}$$ furnishes informations on the asymptotic spectral properties of the adjacency matrix $A_N$ of $G_N$. Denote by $d_N = N\times \mathbb P(\{i,j\} \in G_N) $ and assume $d_N, N-d_N\underset{N \rightarrow \infty}{\longrightarrow} \infty$. If $\mathfrak C_N(T) =\big(\frac{d_N}N\big)^{|T|} \times O\big(d_N^{-\frac {|T|}2}\big)$ for any $T$, the standardized empirical eigenvalue distribution of $A_N$ converges in expectation to the semicircular law and the matrix satisfies asymptotic freeness properties in the sense of free probability theory. We provide such estimates for uniform $d_N$-regular graphs $G_{N,d_N}$, under the additional assumption that $|\frac N 2 - d_N- η\sqrt{d_N}| \underset{N \rightarrow \infty}{\longrightarrow} \infty$ for some $η>0$. Our method applies also for simple graphs whose edges are labelled by i.i.d. random variables.
A note on algebraic rank, matroids, and metrized complexes
Published in Mathematical Research Letters 24(3) (2014)
• View Publication
• BIB
We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus giving a negative answer to a question posed by Caporaso, Melo, and the author.
Cayley graph on symmetric groups with generating block transposition sets
This paper deals with the Cayley graph $\Cay,$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. We prove that ${\rm{Aut}}(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes \textsf{D}_{n+1},$ where $\textsf{N}$ is the subgroup fixing $S_n$ element-wise and $\textsf{D}_{n+1}$ is a dihedral group of order $2(n+1)$. We conjecture that $\textsf{N}$ is trivial. We also prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. Furthermore, $Γ$ has as many as $n+1$ maximum cliques of size $2.$ Also, its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular, Hamiltonian, and vertex-transitive graph.
Randomized Rumor Spreading in Poorly Connected Small-World Networks
Published
• View Publication
• BIB
Push-Pull is a well-studied round-robin rumor spreading protocol defined as follows: initially a node knows a rumor and wants to spread it to all nodes in a network quickly. In each round, every informed node sends the rumor to a random neighbor, and every uninformed node contacts a random neighbor and gets the rumor from her if she knows it. We analyze this protocol on random $k$-trees, a class of power law graphs, which are small-world and have large clustering coefficients, built as follows: initially we have a $k$-clique. In every step a new node is born, a random $k$-clique of the current graph is chosen, and the new node is joined to all nodes of the $k$-clique. When $k>1$ is fixed, we show that if initially a random node is aware of the rumor, then with probability $1-o(1)$ after $O\left((\log n)^{1+2/k}\cdot\log\log n\cdot f(n)\right)$ rounds the rumor propagates to $n-o(n)$ nodes, where $n$ is the number of nodes and $f(n)$ is any slowly growing function. Since these graphs have polynomially small conductance, vertex expansion $O(1/n)$ and constant treewidth, these results demonstrate that Push-Pull can be efficient even on poorly connected networks. On the negative side, we prove that with probability $1-o(1)$ the protocol needs at least $Ω\left(n^{(k-1)/(k^2+k-1)}/f^2(n)\right)$ rounds to inform all nodes. This exponential dichotomy between time required for informing almost all and all nodes is striking. Our main contribution is to present, for the first time, a natural class of random graphs in which such a phenomenon can be observed. Our technique for proving the upper bound carries over to a closely related class of graphs, random $k$-Apollonian networks, for which we prove an upper bound of $O\left((\log n)^{c_k}\cdot\log\log n\cdot f(n)\right)$ rounds for informing $n-o(n)$ nodes with probability $1-o(1)$ when $k>2$ is fixed. Here, $c_k=(k^2-3)/(k-1)^2<1 + 2/k$.