graph
34905 papers tagged with this keyword
The $2nd-$convex hull of every optimal rectilinear drawing of $K_{n}$ is a triangle
A rectilinear drawing of a graph $G$ is optimal if it has the smallest number of crossings among all rectilinear drawings of $G$. In this paper it is shown that for $n\geq 8$, the second convex hull of every optimal rectilinear drawing of the complete graph $K_n$ is a triangle.
On n-dependence
Published in Notre Dame J. Formal Logic, Volume 60, Number 2 (2019), 195-214
• View Publication
• BIB
In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < ω$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a definable edge relation. Most importantly, we characterize $n$-dependence by counting $\varphi$-types over finite sets (generalizing Sauer-Shelah lemma and answering a question of Shelah) and in terms of the collapse of random ordered $(n+1)$-hypergraph indiscernibles down to order-indiscernibles (which implies that the failure of $n$-dependence is always witnessed by a formula in a single free variable).
Enumeration of copermanental graphs
Let $G$ be a graph and $A$ the adjacency matrix of $G$. The permanental polynomial of $G$ is defined as $\mathrm{per}(xI-A)$. In this paper some of the results from a numerical study of the permanental polynomials of graphs are presented. We determine the permanental polynomials for all graphs on at most 11 vertices, and count the numbers for which there is at least one other graph with the same permanental polynomial. The data give some indication that the fraction of graphs with a copermanental mate tends to zero as the number of vertices tends to infinity, and show that the permanental polynomial does be better than characteristic polynomial when we use them to characterize graphs.
Introduction to the McPherson number, $Υ(G)$ of a simple connected graph
The concept of the \emph{McPherson number} of a simple connected graph $G$ on $n$ vertices denoted by $Υ(G)$, is introduced. The recursive concept, called the \emph{McPherson recursion}, is a series of \emph{vertex explosions} such that on the first interation a vertex $v \in V(G)$ explodes to arc (directed edges) to all vertices $u \in V(G)$ for which the edge $vu \notin E(G)$, to obtain the mixed graph $G'_1.$ Now $G'_1$ is considered on the second iteration and a vertex $w \in V(G'_1) = V(G)$ may explode to arc to all vertices $z \in V(G'_1)$ if edge $wz \notin E(G)$ and arc $(w, z)$ or $(z, w) \notin E(G'_1).$ The \emph{McPherson number} of a simple connected graph $G$ is the minimum number of iterative vertex explosions say $\ell,$ to obtain the mixed graph $G'_\ell$ such that the underlying graph of $G'_\ell$ denoted $G^*_\ell$ has $G^*_\ell \simeq K_n.$ We determine the \emph{McPherson number} for paths, cycles and $n$-partite graphs. We also determine the \emph{McPherson number} of the finite Jaco Graph $J_n(1), n \in \Bbb N.$ It is hoped that this paper will encourage further exploratory research.
Labeled embedding of (n,n-2)-graphs in their complements
Published
• View Publication
• BIB
Graph packing generally deals with unlabeled graphs. In \cite{EHRT11}, the authors have introduced a new variant of the graph packing problem, called the \textit{labeled packing of a graph}. This problem has recently been studied on trees \cite{TDK13} and cycles \cite{EHRT11}. In this note, we present a lower bound on the labeled packing number of any $(n,n-2)$-graph into $K_n$. This result improves the bound given by Woźniak in \cite{W94}.
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.