graph
34516 papers tagged with this keyword
Poset Topology: Tools and Applications
Published
• View Publication
• BIB
These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of poset topology. These notes include introductory material, as well as recent developments and open problems. Some of the topics covered are: subspace arrangements, graph complexes, group actions on poset homology, shellability, recursive techniques, and fiber theorems.
On the maximum number of cliques in a graph
Published in Graphs and Combinatorics 23(3):337-352, 2007
• View Publication
• BIB
A \emph{clique} is a set of pairwise adjacent vertices in a graph. We determine the maximum number of cliques in a graph for the following graph classes: (1) graphs with $n$ vertices and $m$ edges; (2) graphs with $n$ vertices, $m$ edges, and maximum degree $Δ$; (3) $d$-degenerate graphs with $n$ vertices and $m$ edges; (4) planar graphs with $n$ vertices and $m$ edges; and (5) graphs with $n$ vertices and no $K_5$-minor or no $K_{3,3}$-minor. For example, the maximum number of cliques in a planar graph with $n$ vertices is $8(n-2)$.
k-noncrossing and k-nonnesting graphs and fillings of Ferrers diagrams
Published
• View Publication
• BIB
We give a correspondence between graphs with a given degree sequence and fillings of Ferrers diagrams by nonnegative integers with prescribed row and column sums. In this setting, k-crossings and k-nestings of the graph become occurrences of the identity and the antiidentity matrices in the filling. We use this to show the equality of the numbers of k-noncrossing and k-nonnesting graphs with a given degree sequence. This generalizes the analogous result for matchings and partition graphs of Chen, Deng, Du, Stanley, and Yan, and extends results of Klazar to k>2. Moreover, this correspondence reinforces the links recently discovered by Krattenthaler between fillings of diagrams and the results of Chen et al.
Transversal structures on triangulations: a combinatorial study and straight-line drawings
Published
• View Publication
• BIB
This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27\times 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2\rceil -1)\times \lfloor n/2\rfloor$.
On Proximity Measures for Graph Vertices
Published in Automation and Remote Control 59 (1998), No. 10, Part 2 1443-1459. Erratum: 60 (1999), No. 2, Part 2 297
• Search Publication
We study the properties of several proximity measures for the vertices of weighted multigraphs and multidigraphs. Unlike the classical distance for the vertices of connected graphs, these proximity measures are applicable to weighted structures and take into account not only the shortest, but also all other connections, which is desirable in many applications. To apply these proximity measures to unweighted structures, every edge should be assigned the same weight which determines the proportion of taking account of two routes, from which one is one edge longer than the other. Among the proximity measures we consider path accessibility, route accessibility, relative forest accessibility along with its components, accessibility via dense forests, and connection reliability. A number of characteristic conditions is introduced and employed to characterize the proximity measures. A topological interpretation is obtained for the Moore-Penrose generalized inverse of the Laplacian matrix of a weighted multigraph.
The Matrix-Forest Theorem and Measuring Relations in Small Social Groups
Published in Automation and Remote Control 58 (1997) No. 9 1505-1514
• Search Publication
We propose a family of graph structural indices related to the Matrix-forest theorem. The properties of the basic index that expresses the mutual connectivity of two vertices are studied in detail. The derivative indices that measure "dissociation," "solitariness," and "provinciality" of vertices are also considered. A nonstandard metric on the set of vertices is introduced, which is determined by their connectivity. The application of these indices in sociometry is discussed.
Algorithmic aspects of algebraic methods for graph isomorphism testing
We present the implementation of an algorithm for graph isomorphism testing, based on ideas about number of walks (of sufficiently large length) between vertices. The algorithm is expanded for strongly regular graphs (SRG-s) by testing the local complements and values of determinants of their adjacency matrices. All known non-isomorphic SRG-s (with no more than 64 vertices) are distinguishable by this method.
Orthogonal surfaces
Published
• View Publication
• BIB
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes.
Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure.
We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices.
Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.
A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma
Published
• View Publication
• BIB
We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-Rödl-Skokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi's theorem on arithmetic progressions.
Infinite primitive directed graphs
Published in Journal of Algebraic Combinatorics 31 (2010) 131-141
• View Publication
• BIB
A group $G$ of permutations of a set $Ω$ is {\em primitive} if it acts transitively on $Ω$, and the only $G$-invariant equivalence relations on $Ω$ are the trivial and universal relations. A graph $Γ$ is {\em primitive} if its automorphism group acts primitively on its vertex set.
A graph $Γ$ has {\em connectivity one} if it is connected and there exists a vertex $α$ of $Γ$, such that the induced graph $Γ\setminus \{α\}$ is not connected. If $Γ$ has connectivity one, a {\em block} of $Γ$ is a connected subgraph that is maximal subject to the condition that it does not have connectivity one.
The primitive undirected graphs with connectivity one have been fully classified by Jung and Watkins: the blocks of such graphs are primitive, pairwise-isomorphic and have at least three vertices. When one considers the general case of a directed primitive graph with connectivity one, however, this result no longer holds. In this paper we investigate the structure of these directed graphs, and obtain a complete characterisation.
Measure Theory on Graphs
In this paper, we defined three kinds of measures depending on the given finite directed graphs. For the given finite directed graph, we can construct the free semigroupoid, the diagram set and the reduced diagram set, as algebraic structures determined by the admissibility on the graph. The power sets of such structures are sigma algebras of them, respectively. On them, we can define a measure. The pain purpose of this paper is to introduce those three measures and observe some properties of them. Moreover, we consider Measure Theory on them
Bounds on graph eigenvalues I
Published
• View Publication
• BIB
We improve recent results relating graph eigenvalues to other graph parameters like girth, domination number, and minimum degree.
Spectral Radius and maximum degree of connected graphs
We give an upper bound on the maximal eigenvalue of the adjacency matrix of a connected graph in terms of its maximum degree, diameter and order. This bound is best possible up to a constant factor and improves prevoius results of Stevanovic, Zhang, and Alon and Sudakov.
Graph and Union of Graphs Compositions
Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.
Quantum automorphism groups of vertex-transitive graphs of order $\leq 11$
Published in J. Algebraic Combin. 26 (2007), 83-105
• View Publication
• BIB
We study quantum automorphism groups of vertex-transitive graphs having less than 11 vertices. With one possible exception, these can be obtained from cyclic groups ${\mathbb Z}_n$, symmetric groups $S_n$ and quantum symmetric groups $\mathcal Q_n$, by using various product operations. The exceptional case is that of the Petersen graph, and we present some questions about it.
Empty Rectangles and Graph Dimension
We consider rectangle graphs whose edges are defined by pairs of points in diagonally opposite corners of empty axis-aligned rectangles. The maximum number of edges of such a graph on $n$ points is shown to be 1/4 n^2 +n -2. This number also has other interpretations:
* It is the maximum number of edges of a graph of dimension $\bbetween{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,\ol{π_1},\ol{π_2}$.
* It is the number of 1-faces in a special Scarf complex.
The last of these interpretations allows to deduce the maximum number of empty axis-aligned rectangles spanned by 4-element subsets of a set of $n$ points. Moreover, it follows that the extremal point sets for the two problems coincide.
We investigate the maximum number of of edges of a graph of dimension $\between{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,π_3,\ol{π_3}$. This maximum is shown to be $1/4 n^2 + O(n)$.
Box graphs are defined as the 3-dimensional analog of rectangle graphs. The maximum number of edges of such a graph on $n$ points is shown to be $7/16 n^2 + o(n^2)$.
On polynomial digraphs
Published in Discrete Math. (2006), 306/4, p 401-412
• View Publication
• BIB
Let $Φ(x,y)$ be a bivariate polynomial with complex coefficients. The zeroes of $Φ(x,y)$ are given a combinatorial structure by considering them as arcs of a directed graph $G(Φ)$. This paper studies some relationship between the polynomial $Φ(x,y)$ and the structure of $G(Φ)$.
The characteristic ideal of a finite, connected, regular graph
Published in Proc. ISSAC-2004, ACM, 50-57
• Search Publication
Let $Φ(x,y)\in\mathbb{C}[x,y]$ be a symmetric polynomial of partial degree $d$. The graph $G(Φ)$ is defined by taking $\mathbb{C}$ as set of vertices and the points of $\mathbb{V}(Φ(x,y))$ as edges. We study the following problem: given a finite, connected, $d$-regular graph $H$, find the polynomials $Φ(x,y)$ such that $G(Φ)$ has some connected component isomorphic to $H$ and, in this case, if $G(Φ)$ has (almost) all components isomorphic to $H$. The problem is solved by associating to $H$ a characteristic ideal which offers a new perspective to the conjecture formulated in a previous paper, and allows to reduce its scope. In the second part, we determine the characteristic ideal for cycles of lengths $\le 5$ and for complete graphs of order $\le 6$. This results provide new evidence for the conjecture.
Sums and differences along Hamiltonian cycles
Published
• View Publication
• BIB
Given a finite abelian group $G$, consider the complete graph on the set of all elements of $G$. Find a Hamiltonian cycle in this graph and for each pair of consecutive vertices along the cycle compute their sum. What are the smallest and the largest possible number of sums that can emerge in this way? What is the expected number of sums if the cycle is chosen randomly? How the answers change if an orientation is given to the cycle and differences (instead of sums) are computed? We give complete solutions to some of these problems and establish reasonably sharp estimates for the rest.
A Simple Explicit Construction of an $n^{\Tilde{O}(\log n)}$-Ramsey Graph
We show a simple explicit construction of an $2^{\Tilde{O}(\sqrt{\log n})}$ Ramsey graph. That is, we provide a $\poly(n)$-time algorithm to output the adjacency matrix of an undirected $n$-vertex graph with no clique or independent set of size $2^{\e \sqrt{\log n}\log\log n}$ for every $\e>0$.
Our construction has the very serious disadvantage over the well-known construction of Frankl and Wilson \cite{FranklWi81} that it is only explicit and not very explicit, in the sense that we do \emph{not} provide a poly-logarithmic time algorithm to compute the neighborhood relation. The main advantage of this construction is its extreme simplicity. It is also somewhat surprising that even though we use a completely different approach we get a bound which essentially equals the bound of \cite{FranklWi81}. This construction is quite simple and was obtained independently by others as well\footnote{P.~Pudlak, personal communications, July 2004.} but as far as we know has not been published elsewhere.