graph
35150 papers tagged with this keyword
Regular Polygonal Complexes in Space, I
Published
• View Publication
• BIB
A polygonal complex in euclidean 3-space is a discrete polyhedron-like structure with finite or infinite polygons as faces and finite graphs as vertex-figures, such that a fixed number r of faces surround each edge. It is said to be regular if its symmetry group is transitive on the flags. The present paper and its successor describe a complete classification of regular polygonal complexes in 3-space. In particular, the present paper establishes basic structure results for the symmetry groups, discusses geometric and algebraic aspects of operations on their generators, characterizes the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerates the simply flag-transitive complexes with mirror vector (1,2). The second paper will complete the enumeration.
Note for Nikiforov's two conjectures on the energy of trees
The energy $E$ of a graph is defined to be the sum of the absolute values of its eigenvalues. Nikiforov in {\it ``V. Nikiforov, The energy of $C_4$-free graphs of bounded degree, Lin. Algebra Appl. 428(2008), 2569--2573"} proposed two conjectures concerning the energy of trees with maximum degree $Δ\leq 3$. In this short note, we show that both conjectures are true.
Matching and Factor-Critical Property in 3-Dominating-Critical Graphs
Let $γ(G)$ be the domination number of a graph $G$. A graph $G$ is \emph{domination-vertex-critical}, or \emph{$γ$-vertex-critical}, if $γ(G-v)< γ(G)$ for every vertex $v \in V(G)$. In this paper, we show that: Let $G$ be a $γ$-vertex-critical graph and $γ(G)=3$. (1) If $G$ is of even order and $K_{1,6}$-free, then $G$ has a perfect matching; (2) If $G$ is of odd order and $K_{1,7}$-free, then $G$ has a near perfect matching with only three exceptions. All these results improve the known results.
Correlations for paths in random orientations of G(n,p) and G(n,m)
Published
• View Publication
• BIB
We study random graphs, both $G(n,p)$ and $G(n,m)$, with random orientations on the edges. For three fixed distinct vertices s,a,b we study the correlation, in the combined probability space, of the events a -> s and s -> b.
For G(n,p), we prove that there is a p_c=1/2 such that for a fixed p<p_c the correlation is negative for large enough n and for p>p_c the correlation is positive for large enough n. We conjecture that for a fixed n\ge 27 the correlation changes sign three times for three critical values of p.
For G(n,m) it is similarly proved that, with $p=m/\binom{n}{2}$, there is a critical p_c that is the solution to a certain equation and approximately equal to 0.7993. A lemma, which computes the probability of non existence of any k directed edges in G(n,m), is thought to be of independent interest.
We present exact recursions to compute P(a -> s)$ and P(a -> s, s -> b)$. We also briefly discuss the corresponding question in the quenched version of the problem.
Higher dimensional Moore bounds
Published
• View Publication
• BIB
We prove upper bounds on the face numbers of simplicial complexes in terms on their girths, in analogy with the Moore bound from graph theory. Our definition of girth generalizes the usual definition for graphs.
On the Order Dimension of Outerplanar Maps
Published
• View Publication
• BIB
Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset $\Pvef{M}$ of a planar map $M$ is at most four. In this paper we investigate cases where $\dim(\Pvef{M}) \leq 3$ and also where $\dim(\Qvf{M}) \leq 3$; here $\Qvf{M}$ denotes the vertex-face poset of $M$. We show: - If $M$ contains a $K_4$-subdivision, then $\dim(\Pvef{M}) = \dim(\Qvf{M}) = 4$. - If $M$ or the dual $M^*$ contains a $K_{2,3}$-subdivision, then $\dim(\Pvef{M}) = 4$. Hence, a map $M$ with $\dim(\Pvef{M}) \leq 3$ must be outerplanar and have an outerplanar dual. We concentrate on the simplest class of such maps and prove that within this class $\dim(\Pvef{M}) \leq 3$ is equivalent to the existence of a certain oriented coloring of edges. This condition is easily checked and can be turned into a linear time algorithm returning a 3-realizer. Additionally, we prove that if $M$ is 2-connected and $M$ and $M^*$ are outerplanar, then $\dim(\Qvf{M}) \leq 3$. There are, however, outerplanar maps with $\dim(\Qvf{M}) = 4$. We construct the first such example.
Chordal Bipartite Graphs with High Boxicity
Published
• View Publication
• BIB
The boxicity of a graph G is defined as the minimum integer k such that G is an intersection graph of axis-parallel k-dimensional boxes. Chordal bipartite graphs are bipartite graphs that do not contain an induced cycle of length greater than 4. It was conjectured by Otachi, Okamoto and Yamazaki that chordal bipartite graphs have boxicity at most 2. We disprove this conjecture by exhibiting an infinite family of chordal bipartite graphs that have unbounded boxicity.
A counter-intuitive correlation in a random tournament
Published
• View Publication
• BIB
Consider a randomly oriented graph $G=(V,E)$ and let $a$, $s$ and $b$ be three distinct vertices in $V$. We study the correlation between the events $\{a\to s\}$ and $\{s\to b\}$. We show that, when $G$ is the complete graph $K_n$, the correlation is negative for $n=3$, zero for $n=4$, and that, counter-intuitively, it is positive for $n\ge 5$. We also show that the correlation is always negative when $G$ is a cycle, $C_n$, and negative or zero when $G$ is a tree (or a forest).
Sequentially Cohen-Macaulay bipartite graphs: vertex decomposability and regularity
Published
• View Publication
• BIB
Let G be a bipartite graph with edge ideal I(G) whose quotient ring R/I(G) is sequentially Cohen-Macaulay. We prove: (1) the independence complex of G must be vertex decomposable, and (2) the Castelnuovo-Mumford regularity of R/I(G) can be determined from the invariants of G.
Algorithms for realizing degree sequences of directed graphs
The Havel-Hakimi algorithm for constructing realizations of degree sequences for undirected graphs has been used extensively in the literature. A result by Kleitman and Wang extends the Havel-Hakimi algorithm to degree sequences for directed graphs. In this paper we go a step further and describe a modification of Kleitman and Wang's algorithm that is a more natural extension of Havel-Hakimi's algorithm, in the sense that our extension can be made equivalent to Havel-Hakimi's algorithm when the degree sequence has equal in and out degrees and an even degree sum. We identify special degree sequences, called directed 3-cycle anchored, that are ill-defined for the algorithm and force a particular local structure on all directed graph realizations. We give structural characterizations of these realizations, as well as characterizations of the ill-defined degree sequences, leading to a well-defined algorithm.
A class of symmetric graphs with 2-arc-transitive quotients
Published
• View Publication
• BIB
Let $Γ$ be a finite X-symmetric graph with a nontrivial X-invariant partition $\mathcal {B}$ on $V(Γ)$ such that $Γ_{\mathcal {B}}$ is a connected (X,2)-arc-transitive graph and $Γ$ is not a multicover of $Γ_{\mathcal {B}}$. This article aims to give a characterization of $(Γ, X, \mathcal {B})$ for the case where $|Γ(C) \cap B| = 3$ for $B\in \mathcal {B}$ and $C \in Γ_{\mathcal {B}}(B)$. This investigation requires a study on (X,2)-arc-transitive graphs of valency 4 or 7. We give a characterization of tetravalent (X,2)-arc-transitive graphs at first; and as a byproduct, we prove that every tetravalent (X,2)-transitive graph is either the complete graph on 5 vertices or a near n-gonal graph for some $n\ge 4$. Then we show that a heptavalent $(X,2)$-arc-transitive graph $Σ$ can occur as $Γ_{\mathcal {B}}$ if and only if $X_τ^{Σ(τ)}\cong PSL(3,2)$ for $τ\in V(Σ)$.
Hamiltonicity of the random geometric graph
Let $X_1,..., X_n$ be independent, uniformly random points from $[0,1]^2$. We prove that if we add edges between these points one by one by order of increasing edge length then, with probability tending to 1 as the number of points $n$ tends to $\infty$, the resulting graph gets its first Hamilton cycle at exactly the same time it loses its last vertex of degree less than two. This answers an open question of Penrose and provides an analogue for the random geometric graph of a celebrated result of Ajtai, Komlós and Szemerédi and independently of Bollobás on the usual random graph. We are also able to deduce very precise information on the limiting probability that the random geometric graph is Hamiltonian analogous to a result of Komlós and Szemer{é}di on the usual random graph. The proof generalizes to uniform random points on the $d$-dimensional hypercube where the edge-lengths are measured using the $l_p$-norm for some $1<p\leq\infty$. The proof can also be adapted to show that, with probability tending to 1 as the number of points $n$ tends to $\infty$, there are cycles of all lengths between 3 and $n$ at the moment the graph loses its last vertex of degree less than two.
Tight Frames for Eigenspaces of the Laplacian on Dual Polar Graphs
Published
• View Publication
• BIB
We consider $Γ=(X,E)$ a dual polar graph and we give a tight frame on each eigenspace of the Laplacian operator associated to $Γ$. We compute the constants associated to each tight frame and as an application we give a formula for the product in the Norton algebra attached to the eigenspace corresponding to the second largest eigenvalue of the Laplacian.
Maximizing General Set Functions by Submodular Decomposition
We present a branch and bound method for maximizing an arbitrary set function h mapping 2^V to R. By decomposing h as f-g, where f is a submodular function and g is the cut function of a (simple, undirected) graph G with vertex set V, our original problem is reduced to a sequence of submodular maximization problems. We characterize a class of submodular functions, which when maximized in the subproblems, lead the algorithm to converge to a global maximizer of f-g. Two "natural" members of this class are analyzed; the first yields polynomially-solvable subproblems, the second, which requires less branching, yields NP-hard subproblems but is amenable to a polynomial-time approximation algorithm. These results are extended to problems where the solution is constrained to be a member of a subset system. Structural properties of the maximizer of f-g are also proved.
A bracket polynomial for graphs. III. Vertex weights
Published
• View Publication
• BIB
In earlier work the Kauffman bracket polynomial was extended to an invariant of marked graphs, i.e., looped graphs whose vertices have been partitioned into two classes (marked and not marked). The marked-graph bracket polynomial is readily modified to handle graphs with weighted vertices. We present formulas that simplify the computation of this weighted bracket for graphs that contain twin vertices or are constructed using graph composition, and we show that graph composition corresponds to the construction of a link diagram from tangles.
Degree-based graph construction
Published
• View Publication
• BIB
Degree-based graph construction is an ubiquitous problem in network modeling, ranging from social sciences to chemical compounds and biochemical reaction networks in the cell. This problem includes existence, enumeration, exhaustive construction and sampling questions with aspects that are still open today. Here we give necessary and sufficient conditions for a sequence of nonnegative integers to be realized as a simple graph's degree sequence, such that a given (but otherwise arbitrary) set of connections from a arbitrarily given node are avoided. We then use this result to present a swap-free algorithm that builds {\em all} simple graphs realizing a given degree sequence. In a wider context, we show that our result provides a greedy construction method to build all the $f$-factor subgraphs embedded within $K_n\setminus S_k$, where $K_n$ is the complete graph and $S_k$ is a star graph centered on one of the nodes.
A simple Havel-Hakimi type algorithm to realize graphical degree sequences of directed graphs
Published in Electronic J. Combinatorics 17 (1) (2010), R66
• Search Publication
One of the simplest ways to decide whether a given finite sequence of positive integers can arise as the degree sequence of a simple graph is the greedy algorithm of Havel and Hakimi. This note extends their approach to directed graphs. It also studies cases of some simple forbidden edge-sets. Finally, it proves a result which is useful to design an MCMC algorithm to find random realizations of prescribed directed degree sequences.
A note on observables for counting trails and paths in graphs
Published in JMMA, Vol. 8, No. 3, 2009
• View Publication
• BIB
We point out that the total number of trails and the total number of paths of given length, between two vertices of a simple undirected graph, are obtained as expectation values of specifically engineered quantum mechanical observables. Such observables are contextual with some background independent theories of gravity and emergent geometry. Thus, we point out yet another situation in which the mathematical formalism of a physical theory has some computational aspects involving intractable problems.
Hamilton cycles in random geometric graphs
Published in Annals of Applied Probability 2011, Vol. 21, No. 3, 1053-1072
• View Publication
• BIB
We prove that, in the Gilbert model for a random geometric graph, almost every graph becomes Hamiltonian exactly when it first becomes 2-connected. This answers a question of Penrose. We also show that in the k-nearest neighbor model, there is a constant κ such that almost every κ-connected graph has a Hamilton cycle.
Deducing Vertex Weights from Empirical Occupation Times
We consider the following problem arising from the study of human problem solving: Let $G$ be a vertex-weighted graph with marked "in" and "out" vertices. Suppose a random walker begins at the in-vertex, steps to neighbors of vertices with probability proportional to their weights, and stops upon reaching the out-vertex. Could one deduce the weights from the paths that many such walkers take? We analyze an iterative numerical solution to this reconstruction problem, in particular, given the empirical mean occupation times of the walkers. In the process, a result concerning the differentiation of a matrix pseudoinverse is given, which may be of independent interest. We then consider the existence of a choice of weights for the given occupation times, formulating a natural conjecture to the effect that -- barring obvious obstructions -- a solution always exists. It is shown that the conjecture holds for a class of graphs that includes all trees and complete graphs. Several open problems are discussed.