graph
35150 papers tagged with this keyword
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
• View Publication
• BIB
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.
Positional games on random graphs
Published in Random Structures & Algorithms 26 (2005), 204-223
• Search Publication
We introduce and study Maker/Breaker-type positional games on random graphs. Our main concern is to determine the threshold probability $p_{F}$ for the existence of Maker's strategy to claim a member of $F$ in the unbiased game played on the edges of random graph $G(n,p)$, for various target families $F$ of winning sets. More generally, for each probability above this threshold we study the smallest bias $b$ such that Maker wins the $(1\:b)$ biased game. We investigate these functions for a number of basic games, like the connectivity game, the perfect matching game, the clique game and the Hamiltonian cycle game.
Monomial Bases for Broken Circuit Complexes
Published
• View Publication
• BIB
Let F be a field and let G be a finite graph with a total ordering on its edge set. Richard Stanley noted that the Stanley-Reisner ring F(G) of the broken circuit complex of G is Cohen-Macaulay. Jason Brown gave an explicit description of a homogeneous system of parameters for F(G) in terms of fundamental cocircuits in G. So F(G) modulo this hsop is a finite dimensional vector space. We conjecture an explicit monomial basis for this vector space in terms of the circuits of G and prove that the conjecture is true for two infinite families of graphs. We also explore an application of these ideas to bounding the number of acyclic orientations of G from above.
A Strong Edge-Coloring of Graphs with Maximum Degree 4 Using 22 Colors
Published in Discrete Math. Vol. 306, no. 21, November 2006, pp. 2772-2778
• View Publication
• BIB
In 1985, Erdős and Neśetril conjectured that the strong edge-coloring number of a graph is bounded above by ${5/4}Δ^2$ when $Δ$ is even and ${1/4}(5Δ^2-2Δ+1)$ when $Δ$ is odd. They gave a simple construction which requires this many colors. The conjecture has been verified for $Δ\leq 3$. For $Δ=4$, the conjectured bound is 20. Previously, the best known upper bound was 23 due to Horak. In this paper we give an algorithm that uses at most 22 colors.
Horocyclic products of trees
Published in J. Eur. Math. Soc. (JEMS) 10 (2008), no. 3, 771--816
• View Publication
• BIB
Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation.
In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases.
On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers.
The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.
Generating facets for the cut polytope of a graph by triangular elimination
Published
• View Publication
• BIB
The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of the facets of the cut polytope of the complete bipartite graph or, more generally, the complete k-partite graph. Lifting is a central tool to prove certain inequalities are facet inducing for the cut polytope. In this paper we introduce a lifting operation, named triangular elimination, applicable to the cut polytope of a wide range of graphs. Triangular elimination is a specific combination of zero-lifting and Fourier-Motzkin elimination using the triangle inequality. We prove sufficient conditions for the triangular elimination of facet inducing inequalities to be facet inducing. The proof is based on a variation of the lifting lemma adapted to general graphs. The result can be used to derive facet inducing inequalities of the cut polytope of various graphs from those of the complete graph. We also investigate the symmetry of facet inducing inequalities of the cut polytope of the complete bipartite graph derived by triangular elimination.
The distinguishing number of the augmented cube and hypercube powers
Published
• View Publication
• BIB
The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 < p < n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.