graph
34995 papers tagged with this keyword
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set
Published
• View Publication
• BIB
We show that the problem of computing the hybridization number of two rooted binary phylogenetic trees on the same set of taxa X has a constant factor polynomial-time approximation if and only if the problem of computing a minimum-size feedback vertex set in a directed graph (DFVS) has a constant factor polynomial-time approximation. The latter problem, which asks for a minimum number of vertices to be removed from a directed graph to transform it into a directed acyclic graph, is one of the problems in Karp's seminal 1972 list of 21 NP-complete problems. However, despite considerable attention from the combinatorial optimization community it remains to this day unknown whether a constant factor polynomial-time approximation exists for DFVS. Our result thus places the (in)approximability of hybridization number in a much broader complexity context, and as a consequence we obtain that hybridization number inherits inapproximability results from the problem Vertex Cover. On the positive side, we use results from the DFVS literature to give an O(log r log log r) approximation for hybridization number, where r is the value of an optimal solution to the hybridization number problem.
Orientations, semiorders, arrangements, and parking functions
Published in Electronic Journal of Combinatorics, 19(4), 2012
• View Publication
• BIB
It is known that the Pak-Stanley labeling of the Shi hyperplane arrangement provides a bijection between the regions of the arrangement and parking functions. For any graph G, we define the G-semiorder arrangement and show that the Pak-Stanley labeling of its regions produces all G-parking functions.
Triangulations of the sphere, bitrades and abelian groups
Published
• View Publication
• BIB
Let $G$ be a triangulation of the sphere with vertex set $V$, such that the faces of the triangulation are properly coloured black and white. Motivated by applications in the theory of bitrades, Cavenagh and Wanless defined $A_W$ to be the abelian group generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $A_B$ can be defined similarly, using black triangles.
The paper shows that $A_W$ and $A_B$ are isomorphic, thus establishing the truth of a well-known conjecture of Cavenagh and Wanless. Connections are made between the structure of $A_W$ and the theory of asymmetric Laplacians of finite directed graphs, and weaker results for orientable surfaces of higher genus are given. The relevance of the group $A_W$ to the understanding of the embeddings of a partial latin square in an abelian group is also explained.
Diameters of Graphs with Spectral Radius at most $3/2\sqrt{2}$
The spectral radius $ρ(G)$ of a graph $G$ is the largest eigenvalue of its adjacency matrix. Woo and Neumaier discovered that a connected graph $G$ with $ρ(G)\leq 3/2{\sqrt{2}}$ is either a dagger, an open quipu, or a closed quipu. The reverse statement is not true. Many open quipus and closed quipus have spectral radius greater than $3/2{\sqrt{2}}$. In this paper we proved the following results. For any open quipu $G$ on $n$ vertices ($n\geq 6$) with spectral radius less than $3/2{\sqrt{2}}$, its diameter $D(G)$ satisfies $D(G)\geq (2n-4)/3$. This bound is tight. For any closed quipu $G$ on $n$ vertices ($n\geq 13$) with spectral radius less than $3/2{\sqrt{2}}$, its diameter $D(G)$ satisfies $\frac{n}{3}< D(G)\leq \frac{2n-2}{3}$. The upper bound is tight while the lower bound is asymptotically tight.
Let $G^{min}_{n,D}$ be a graph with minimal spectral radius among all connected graphs on $n$ vertices with diameter $D$. We applied the results and found $G^{min}_{n,D}$ for some range of $D$. For $n\geq 13$ and $D\in [\frac{n}{2}, \frac{2n-7}{3}]$, we proved that $G^{min}_{n,D}$ is the graph obtained by attaching two paths of length $D-\lfloor\frac{n}{2}\rfloor$ and $D-\lceil\frac{n}{2}\rceil$ to a pair of antipodal vertices of the even cycle $C_{2(n-D)}$. Thus we settled a conjecture of Cioab-van Dam-Koolen-Lee, who previously proved a special case $D=\frac{n+e}{2}$ for $e=1,2,3,4$.
Bijections and symmetries for the factorizations of the long cycle
Published
• View Publication
• BIB
We study the factorizations of the permutation $(1,2,...,n)$ into $k$ factors of given cycle types. Using representation theory, Jackson obtained for each $k$ an elegant formula for counting these factorizations according to the number of cycles of each factor. In the cases $k=2,3$ Schaeffer and Vassilieva gave a combinatorial proof of Jackson's formula, and Morales and Vassilieva obtained more refined formulas exhibiting a surprising symmetry property. These counting results are indicative of a rich combinatorial theory which has remained elusive to this point, and it is the goal of this article to establish a series of bijections which unveil some of the combinatorial properties of the factorizations of $(1,2,...,n)$ into $k$ factors for all $k$. We thereby obtain refinements of Jackson's formulas which extend the cases $k=2,3$ treated by Morales and Vassilieva. Our bijections are described in terms of "constellations", which are graphs embedded in surfaces encoding the transitive factorizations of permutations.
Separating hyperplanes of edge polytopes
Published
• View Publication
• BIB
Let $G$ be a finite connected simple graph with $d$ vertices and let $\Pc_G \subset \RR^d$ be the edge polytope of $G$. We call $\Pc_G$ \emph{decomposable} if $\Pc_G$ decomposes into integral polytopes $\Pc_{G^+}$ and $\Pc_{G^-}$ via a hyperplane. In this paper, we explore various aspects of decomposition of $\Pc_G$: we give an algorithm deciding the decomposability of $\Pc_G$, we prove that $\Pc_G$ is normal if and only if both $\Pc_{G^+}$ and $\Pc_{G^-}$ are normal, and we also study how a condition on the toric ideal of $\Pc_G$ (namely, the ideal being generated by quadratic binomials) behaves under decomposition.
On prisms, Möbius ladders and the cycle space of dense graphs
Published in European Journal of Combinatorics 36 (2014), 503-520
• View Publication
• BIB
For a graph X, let f_0(X) denote its number of vertices, d(X) its minimum degree and Z_1(X;Z/2) its cycle space in the standard graph-theoretical sense (i.e. 1-dimensional cycle group in the sense of simplicial homology theory with Z/2-coefficients). Call a graph Hamilton-generated if and only if the set of all Hamilton circuits is a Z/2-generating system for Z_1(X;Z/2). The main purpose of this paper is to prove the following: for every s > 0 there exists n_0 such that for every graph X with f_0(X) >= n_0 vertices, (1) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is odd, then X is Hamilton-generated, (2) if d(X) >= (1/2 + s) f_0(X) and f_0(X) is even, then the set of all Hamilton circuits of X generates a codimension-one subspace of Z_1(X;Z/2), and the set of all circuits of X having length either f_0(X)-1 or f_0(X) generates all of Z_1(X;Z/2), (3) if d(X) >= (1/4 + s) f_0(X) and X is square bipartite, then X is Hamilton-generated. All these degree-conditions are essentially best-possible. The implications in (1) and (2) give an asymptotic affirmative answer to a special case of an open conjecture which according to [European J. Combin. 4 (1983), no. 3, p. 246] originates with A. Bondy.
Riemann-Roch theory for weighted graphs and tropical curves
Published
• View Publication
• BIB
We define a divisor theory for graphs and tropical curves endowed with a weight function on the vertices; we prove that the Riemann-Roch theorem holds in both cases. We extend Baker's Specialization Lemma to weighted graphs.
Edge growth in graph squares
Published
• View Publication
• BIB
We resolve a conjecture of Hegarty regarding the number of edges in the square of a regular graph. If $G$ is a connected $d$-regular graph with $n$ vertices, the graph square of $G$ is not complete, and $G$ is not a member of two narrow families of graphs, then the square of $G$ has at least $(2-o_d(1))n$ more edges than $G$.
A reduced set of moves on one-vertex ribbon graphs coming from links
Published in Proc. Amer. Math. Soc. 142 (2014), 737-752
• View Publication
• BIB
Every link in R^3 can be represented by a one-vertex ribbon graph. We prove a Markov type theorem on this subset of link diagrams.
Feynman Graph Integrals and Almost Modular Forms
Published
• View Publication
• BIB
We introduce a type of graph integrals on elliptic curves from the heat kernel. We show that such graph integrals have modular properties under the modular group $SL(2, \Z)$, and prove the polynomial nature of the anti-holomorphic dependence.
On the number of congruence classes of paths
Published
• View Publication
• BIB
Let $P_n$ denote the undirected path of length $n-1$. The cardinality of the set of congruence classes induced by the graph homomorphisms from $P_n$ onto $P_k$ is determined. This settles an open problem of
Michels and Knauer (Disc. Math., 309\ (2009)\ 5352-5359). Our result is based on a new proven formula of the number of homomorphisms between paths.
Ideals generated by diagonal 2-minors
Published
• View Publication
• BIB
With a simple graph $G$ on $[n]$, we associate a binomial ideal $P_G$ generated by diagonal minors of an $n \times n$ matrix $X=(x_{ij})$ of variables. We show that for any graph $G$, $P_G$ is a prime complete intersection ideal and determine the divisor class group of $K[X]/ P_G$. By using these ideals, one may find a normal domain with free divisor class group of any given rank.
Performance of the Eschenauer-Gligor key distribution scheme under an ON/OFF channel
Published in IEEE Transactions on Information Theory, Volume: 58, Issue: 6 Pages: 3821-3835, June 2012
• View Publication
• BIB
We investigate the secure connectivity of wireless sensor networks under the random key distribution scheme of Eschenauer and Gligor. Unlike recent work which was carried out under the assumption of full visibility, here we assume a (simplified) communication model where unreliable wireless links are represented as on/off channels. We present conditions on how to scale the model parameters so that the network i) has no secure node which is isolated and ii) is securely connected, both with high probability when the number of sensor nodes becomes large. The results are given in the form of full zero-one laws, and constitute the first complete analysis of the EG scheme under non-full visibility. Through simulations these zero-one laws are shown to be valid also under a more realistic communication model, i.e., the disk model. The relations to the Gupta and Kumar's conjecture on the connectivity of geometric random graphs with randomly deleted edges are also discussed.
Multi-way expansion constants and partitions of a graph
In this paper, we consider a relation between $k$-way expansion constant of a finite graph and the expansion constants of subgraphs in a $k$-partition of the graph. Using this relation, we show that a sequence of finite graphs which have uniformly bounded $k+1$-way expansion constants and uniformly bounded degrees can be divided into $k$ or less sequences of expanders. Furthermore, we prove that such sequence of finite graphs is not coarsely embeddable into any Hilbert space.
Strong connectivity and directed triangles in oriented graphs. Partial results on a particular case of the Caccetta-Häggkvist conjecture
A particular case of Caccetta-Häggkvist conjecture, says that a digraph of order $n$ with minimum out-degree at least $1/3n$ contains a directed cycle of length at most 3. Recently, Kral, Hladky and Norine proved that a digraph of order $n$ with minimum out-degree at least $0.3465n$ contains a directed cycle of length at most 3 (which currently is the best result). A weaker particular case says that a digraph of order $n$ with minimum semi-degree at least $1/3n$ contains a directed triangle. In a recent paper, by using the result of Kral et al, the author proved that for $β\geq 0.343545$, any digraph $D$ of order $n$ with minimum semi-degree at least $βn$ contains a directed cycle of length at most 3 (which currently is the best result). This means that for a given integer $d\geq 1$, every digraph with minimum semi-degree $d$ and of order $md$ with $m\leq 2.91082$, contains a directed cycle of length at most 3. In particular, every oriented graph with minimum semi-degree $d$ and of order $md$ with $m\leq 2.91082$, contains a directed triangle. In this paper, by using the result of Kral et al, we prove that every oriented graph with minimum semi-degree $d$, of order $md$ with $2.91082< m\leq 3$ and of strong connectivity at most $0.679d$, contains a directed triangle. This will be implied by a more general and more precise result, valid not only for $2.91082< m\leq 3$ but also for larger values of $m$. As application, we improve two existing results. The first result (Authors Broersma and Li), concerns the number of the directed cycles of length 4 of a triangle free oriented graph of order $n$ and of minimum semi-degree at least $\frac{n}{3}$. The second result (Authors Kelly, Kühn and Osthus), concerns the diameter of a triangle free oriented graph of order $n$ and of minimum semi-degree at least $\frac{n}{5}$.
Test-space characterizations of some classes of Banach spaces
Published in in: Algebraic Methods in Functional Analysis, The Victor Shulman Anniversary Volume, I.G. Todorov, L. Turowska (Eds.), Operator Theory: Advances and Applications, Vol. 233, Birkhäuser, Basel, 2014, pp. 103-126
• View Publication
• BIB
Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$.
The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]:
For each sequence $\{X_m\}_{m=1}^\infty$ of finite-dimensional Banach spaces there is a sequence $\{H_n\}_{n=1}^\infty$ of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space $Y$ are equivalent:
(A) $Y$ admits uniformly isomorphic embeddings of $\{X_m\}_{m=1}^\infty$;
(B) $Y$ admits uniformly bilipschitz embeddings of $\{H_n\}_{n=1}^\infty$.
The second part of the paper is devoted to the case when $\{X_m\}_{m=1}^\infty$ is an increasing sequence of spaces. It is shown that in this case the class of spaces given by (A) can be characterized using one test-space, which can be chosen to be an infinite graph with maximum degree 3.
Making a graph crossing-critical by multiplying its edges
Published
• View Publication
• BIB
A graph is crossing-critical if the removal of any of its edges decreases its crossing number. This work is motivated by the following question: to what extent is crossing- criticality a property that is inherent to the structure of a graph, and to what extent can it be induced on a noncritical graph by multiplying (all or some of) its edges? It is shown that if a nonplanar graph G is obtained by adding an edge to a cubic polyhedral graph, and G is sufficiently connected, then G can be made crossing-critical by a suitable multiplication of edges.
On the eigenvalues of distance powers of circuits
Published in Linear Algebra Appl., Vol. 432 (2010), pp. 3132-3140
• View Publication
• BIB
Taking the d-th distance power of a graph, one adds edges between all pairs of vertices of that graph whose distance is at most d. It is shown that only the numbers -3, -2, -1, 0, 1, 2d can be integer eigenvalues of a circuit distance power. Moreover, their respective multiplicities are determined and explicit constructions for corresponding eigenspace bases containing only vectors with entries -1, 0, 1 are given.
Integral circulant graphs of prime power order with maximal energy
Published in Linear Algebra Appl., Vol 435 (2011), pp. 3212-3232
• View Publication
• BIB
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count n and a set D of divisors of n in such a way that they have vertex set Zn and edge set {{a, b} : a, b in Zn; gcd(a - b, n) in D}. Using tools from convex optimization, we study the maximal energy among all integral circulant graphs of prime power order ps and varying divisor sets D. Our main result states that this maximal energy approximately lies between s(p - 1)p^(s-1) and twice this value. We construct suitable divisor sets for which the energy lies in this interval. We also characterize hyperenergetic integral circulant graphs of prime power order and exhibit an interesting topological property of their divisor sets.