graph
35150 papers tagged with this keyword
A Dirac type result on Hamilton cycles in oriented graphs
Published
• View Publication
• BIB
We show that for each α>0 every sufficiently large oriented graph G with δ^+(G),δ^-(G)\ge 3|G|/8+ α|G| contains a Hamilton cycle. This gives an approximate solution to a problem of Thomassen. In fact, we prove the stronger result that G is still Hamiltonian if δ(G)+δ^+(G)+δ^-(G)\geq 3|G|/2 + α|G|. Up to the term α|G| this confirms a conjecture of Häggkvist. We also prove an Ore-type theorem for oriented graphs.
Ring geometries, Two-Weight Codes and Strongly Regular Graphs
Published
• View Publication
• BIB
It is known that a linear two-weight code $C$ over a finite field $\F_q$ corresponds both to a multiset in a projective space over $\F_q$ that meets every hyperplane in either $a$ or $b$ points for some integers $a<b$, and to a strongly regular graph whose vertices may be identified with the codewords of $C$. Here we extend this classical result to the case of a ring-linear code with exactly two nonzero homogeneous weights and multisets of points in an associated projective ring geometry. We will show that a two-weight code over a finite Frobenius ring gives rise to a strongly regular graph, and we will give some constructions of two-weight codes using ring geometries. These examples all yield infinite families of strongly regular graphs with non-trivial parameters.
On a class of metrics related to graph layout problems
Published
• View Publication
• BIB
We examine the metrics that arise when a finite set of points is embedded in the real line, in such a way that the distance between each pair of points is at least 1. These metrics are closely related to some other known metrics in the literature, and also to a class of combinatorial optimization problems known as graph layout problems. We prove several results about the structure of these metrics. In particular, it is shown that their convex hull is not closed in general. We then show that certain linear inequalities define facets of the closure of the convex hull. Finally, we characterise the unbounded edges of the convex hull and of its closure.
Fastest mixing Markov chain on graphs with symmetries
Published in SIAM Journal on Optimization, Vol. 20, Issue 2, pp. 792-819 (2009) .
• View Publication
• BIB
We show how to exploit symmetries of a graph to efficiently compute the fastest mixing Markov chain on the graph (i.e., find the transition probabilities on the edges to minimize the second-largest eigenvalue modulus of the transition probability matrix). Exploiting symmetry can lead to significant reduction in both the number of variables and the size of matrices in the corresponding semidefinite program, thus enable numerical solution of large-scale instances that are otherwise computationally infeasible. We obtain analytic or semi-analytic results for particular classes of graphs, such as edge-transitive and distance-transitive graphs. We describe two general approaches for symmetry exploitation, based on orbit theory and block-diagonalization, respectively. We also establish the connection between these two approaches.
3-bounded property in a triangle-free distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with classical parameters $(D, b, α, β)$ and $D\geq 3$. Assume the intersection numbers $a_1=0$ and $a_2\not=0$. We show $Γ$ is 3-bounded in the sense of the article [D-bounded distance-regular graphs, European Journal of Combinatorics(1997)18, 211-229].
Enumeration of paths and cycles and e-coefficients of incomparability graphs
We prove that the number of Hamiltonian paths on the complement of an acyclic digraph is equal to the number of cycle covers. As an application, we obtain a new expansion of the chromatic symmetric function of incomparability graphs in terms of elementary symmetric functions. Analysis of some of the combinatorial implications of this expansion leads to three bijections involving acyclic orientations.
Double Clustering and Graph Navigability
Graphs are called navigable if one can find short paths through them using only local knowledge. It has been shown that for a graph to be navigable, its construction needs to meet strict criteria. Since such graphs nevertheless seem to appear in nature, it is of interest to understand why these criteria should be fulfilled.
In this paper we present a simple method for constructing graphs based on a model where nodes vertices are ``similar'' in two different ways, and tend to connect to those most similar to them - or cluster - with respect to both. We prove that this leads to navigable networks for several cases, and hypothesize that it also holds in great generality. Enough generality, perhaps, to explain the occurrence of navigable networks in nature.
$\mathbb{Z}_{2}^{2}$-cordiality of complete and complete bipartite graphs
We prove that $K_{n}$ is $\mathbb{Z}_{2}^{2}$-cordial if and only if $1 \leq n \leq 3$ and that $K_{m,n}$ is $\mathbb{Z}_{2}^{2}$ if and only if it is false that $m=n=2$.
Equivalences on Acyclic Orientations
The cyclic and dihedral groups can be made to act on the set Acyc(Y) of acyclic orientations of an undirected graph Y, and this gives rise to the equivalence relations ~kappa and ~delta, respectively. These two actions and their corresponding equivalence classes are closely related to combinatorial problems arising in the context of Coxeter groups, sequential dynamical systems, the chip-firing game, and representations of quivers.
In this paper we construct the graphs C(Y) and D(Y) with vertex sets Acyc(Y) and whose connected components encode the equivalence classes. The number of connected components of these graphs are denoted kappa(Y) and delta(Y), respectively. We characterize the structure of C(Y) and D(Y), show how delta(Y) can be derived from kappa(Y), and give enumeration results for kappa(Y). Moreover, we show how to associate a poset structure to each kappa-equivalence class, and we characterize these posets. This allows us to create a bijection from Acyc(Y)/~kappa to the union of Acyc(Y')/~kappa and Acyc(Y'')/~kappa, Y' and Y'' denote edge deletion and edge contraction for a cycle-edge in Y, respectively, which in turn shows that kappa(Y) may be obtained by an evaluation of the Tutte polynomial at (1,0).
The largest component in a subcritical random graph with a power law degree distribution
Published in Annals of Applied Probability 2008, Vol. 18, No. 4, 1651-1668
• View Publication
• BIB
It is shown that in a subcritical random graph with given vertex degrees satisfying a power law degree distribution with exponent $γ>3$, the largest component is of order $n^{1/(γ-1)}$. More precisely, the order of the largest component is approximatively given by a simple constant times the largest vertex degree. These results are extended to several other random graph models with power law degree distributions. This proves a conjecture by Durrett.
External edge condition and group cohomologies associated with the quantum Clebsch-Gordan condition
Published
• View Publication
• BIB
In this article we determine the structure of a twisted first cohomology group of the first homology of a trivalent graph with a coefficient associated with the quantum Clebsch-Gordan condition. As an application we give a characterization of a combinatorial property, the external edge condition, which is defined by the author in the study of the Heisenberg representation on the TQFT-module.
A critical constant for the k nearest neighbour model
Published
• View Publication
• BIB
Let P be a Poisson process of intensity one in a square S_n of area n. For a fixed integer k, join every point of P to its k nearest neighbours, creating an undirected random geometric graph G_{n,k}. We prove that there exists a critical constant c such that for c'<c, G_{n,c'log n} is disconnected with probability tending to 1 as n tends to infinity, and for c'>c G_{n,c'\log n} is connected with probability tending to 1 as n tends to infinity. This answers a question previously posed by the authors.
First order approach and index theorems for discrete and metric graphs
Published
• View Publication
• BIB
The aim of the present paper is to introduce the notion of first order (supersymmetric) Dirac operators on discrete and metric (``quantum'') graphs. In order to cover all self-adjoint boundary conditions for the associated metric graph Laplacian, we develop systematically a new type of discrete graph operators acting on a decorated graph. The decoration at each vertex of degree-d is given by a subspace of $\C^d$, generalising the fact that a function on the standard vertex space has only a scalar value.
We develop the notion of exterior derivative, differential forms, Dirac and Laplace operators in the discrete and metric case, using a supersymmetric framework. We calculate the (supersymmetric) index of the discrete Dirac operator generalising the standard index formula involving the Euler characteristic of a graph. Finally, we show that the corresponding index for the metric Dirac operator agrees with the discrete one.
Tropical Lines on Cubic Surfaces
Published
• View Publication
• BIB
Given a tropical line $L$ and a smooth tropical surface $X$, we look at the position of $L$ on $X$. We introduce its primal and dual motif which are respectively a decorated graph and a subcomplex of the dual triangulation of $X$. They encode the combinatorial position of $L$ on $X$. We classify all possible motifs of tropical lines on general smooth tropical surfaces. This classification allows to give an upper bound for the number of tropical lines on a general smooth tropical surface with a given subdivision. We focus in particular on surfaces of degree three. As a concrete example, we look at tropical cubic surfaces dual to a fixed honeycomb triangulation, showing that a general surface contains exactly $27$ tropical lines.
An approximate version of the Loebl-Komlos-Sos conjecture
Published
• View Publication
• BIB
Loebl, Komlos, and Sos conjectured that if at least half of the vertices of a graph G have degree at least some natural number k, then every tree with at most k edges is a subgraph of G. Our main result is an approximate version of this conjecture for large enough n=|V(G)|, assumed that n=O(k). Our result implies an asymptotic bound for the Ramsey number of trees. We prove that r(T_k,T_m)\leq k+m+o(k+m),as k+m tends to infinity.
At Least Half Of All Graphs Satisfy χ\leq {1/4}ω+ {3/4}Δ+ 1
We prove that for any graph G at least one of G or $\bar{G}$ satisfies $χ\leq {1/4}ω+ {3/4}Δ+ 1$. In particular, self-complementary graphs satisfy this bound.
Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of König type
Published in J. Pure Appl. Algebra 212(7) (2008), 1770-1786
• View Publication
• BIB
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $Δ_\mathcal{C}$ is pure if and only if $Δ_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $Δ_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $Δ_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the König property without 3-cycles or 4-cycles.
Antimagic labelings of regular bipartite graphs: An application of the Marriage Theorem
Published in Journal of Graph Theory. Vol. 60, March 2009, pp. 173-182
• Search Publication
A labeling of a graph is a bijection from $E(G)$ to the set $\{1, 2,..., |E(G)|\}$. A labeling is \textit{antimagic} if for any distinct vertices $u$ and $v$, the sum of the labels on edges incident to $u$ is different from the sum of the labels on edges incident to $v$. We say a graph is antimagic if it has an antimagic labeling. In 1990, Ringel conjectured that every connected graph other than $K_2$ is antimagic. In this paper, we show that every regular bipartite graph (with degree at least 2) is antimagic. Our technique relies heavily on the Marriage Theorem.
Zonotopal algebra
Published in Advances in Mathematics, 227 (2011), no.2, 847-894
• View Publication
• BIB
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This well-known line of study is particularly interesting in case $n\eqbd\rank X \ll N$. We enhance this study to an algebraic level, and associate $X$ with three algebraic structures, referred herein as {\it external, central, and internal.} Each algebraic structure is given in terms of a pair of homogeneous polynomial ideals in $n$ variables that are dual to each other: one encodes properties of the arrangement ${\cal H}(X)$, while the other encodes by duality properties of the zonotope $Z(X)$. The algebraic structures are defined purely in terms of the combinatorial structure of $X$, but are subsequently proved to be equally obtainable by applying suitable algebro-analytic operations to either of $Z(X)$ or ${\cal H}(X)$. The theory is universal in the sense that it requires no assumptions on the map $X$ (the only exception being that the algebro-analytic operations on $Z(X)$ yield sought-for results only in case $X$ is unimodular), and provides new tools that can be used in enumerative combinatorics, graph theory, representation theory, polytope geometry, and approximation theory.
Non-cyclic graph of a group
We associate a graph $Γ_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left<x,y\right> \text{is cyclic for all} y\in G\}$, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of $Γ_G$ is finite if and only if $Γ_G$ has no infinite clique. We prove that if $G$ is a finite nilpotent group and $H$ is a group with $Γ_G\congΓ_H$ and $|Cyc(G)|=|Cyc(H)|=1$, then $H$ is a finite nilpotent group.
We give some examples of groups $G$ whose non-cyclic graphs are ``unique'', i.e., if $Γ_G\cong Γ_H$ for some group $H$, then $G\cong H$. In view of these examples, we conjecture that every finite non-abelian simple group has a unique non-cyclic graph. Also we give some examples of finite non-cyclic groups $G$ with the property that if $Γ_G \cong Γ_H$ for some group $H$, then $|G|=|H|$. These suggest the question whether the latter property holds for all finite non-cyclic groups.