graph
34995 papers tagged with this keyword
Fine-Wilf graphs and the generalized Fine-Wilf theorem
Published
• View Publication
• BIB
In 1962, R. C. Lyndon and M. P. Shutzenberger established that for any positive integers r and s, any sequence of length at least r+s that is both r-periodic and s-periodic is then (r,s)-periodic. Shortly thereafter (1965), N. J. Fine and H. S. Wilf proved that for any positive integers r and s, if a is an infinite seqeunce of period r and b is an infinite sequence of period s such that a_i=b_i for all i with 1\le i\le r+s-(r,s), then a=b. This is equivalent to the following result, which is commonly referred to as the Fine-Wilf theorem: for any positive integers r and s, if w is a finite sequence that is both r-periodic and s-periodic, and |w|\ge r+s-(r,s), then w is (r,s)-periodic. The Fine-Wilf theorem was generalized to finite sequences with three periods by M. G. Castelli, F. Mignosi, and A. Restivo, and in general by J. Justin, and even more broadly by R. Tijdeman and L. Zamboni. They introduced functions f and fw from the set of all sequences of nonnegative integers to the set of positive integers, and they proved that for a sequence p=(p_1,p_2,...,p_n), a finite sequence w with periods p_i, i=1,2,..., n and length at least fw(p) must be (p)-periodic as well, and that there exists a sequence w of length fw(p)-1 that is p_i-periodic for all i, but not (p)-periodic. In this paper, we follow ideas introduced by S. Constantinescu and L. Ilie to obtain an alternative formulation of f and fw, and we establish important properties of f and fw, obtaining in particular new upper and lower bounds for each. We also begin an investigation of Fine-Wilf graphs for arbitrary finite sequences.
Normal binary graph models
Published
• View Publication
• BIB
We show that the marginal semigroup of a binary graph model is normal if and only if the graph is free of K_4 minors. The technique, based on the interplay of normality and the geometry of the marginal cone, has potential applications to other normality questions in algebraic statistics.
Semiregular Trees with Minimal Index
A semiregular tree is a tree where all non-pendant vertices have the same degree. Belardo et al. (MATCH Commun. Math. Chem. 61(2), pp. 503-515, 2009) have shown that among all semiregular trees with a fixed order and degree, a graph with index is a caterpillar. In this technical report we provide a different proof for this theorem. Furthermore, we give counter examples that show this result cannot be generalized to the class of trees with a given (non-constant) degree sequence.
Resilient pancyclicity of random and pseudo-random graphs
Published
• View Publication
• BIB
A graph $G$ on $n$ vertices is \textit{pancyclic} if it contains cycles of length $t$ for all $3 \leq t \leq n$. In this paper we prove that for any fixed $ε>0$, the random graph $G(n,p)$ with $p(n)\gg n^{-1/2}$ asymptotically almost surely has the following resilience property. If $H$ is a subgraph of $G$ with maximum degree at most $(1/2 - ε)np$ then $G-H$ is pancyclic. In fact, we prove a more general result which says that if $p \gg n^{-1+1/(l-1)}$ for some integer $l \geq 3$ then for any $ε>0$, asymptotically almost surely every subgraph of $G(n,p)$ with minimum degree greater than $(1/2+ε)np$ contains cycles of length $t$ for all $l \leq t \leq n$. These results are tight in two ways. First, the condition on $p$ essentially cannot be relaxed. Second, it is impossible to improve the constant 1/2 in the assumption for the minimum degree. We also prove corresponding results for pseudo-random graphs.
A Note on Threshold Dimension of Permutation Graphs
A graph $G(V,E)$ is a threshold graph if there exist non-negative reals $w_v, v \in V$ and $t$ such that for every $U \subseteq V$, $\sum_{v \in U} w_v\leq t$ if and only if $U$ is a stable set. The {\it threshold dimension} of a graph $G(V,E)$, denoted as $t(G)$, is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. A permutation graph is a graph that can be represented as the intersection graph of a family of line segments that connect two parallel lines in the Euclidean plane. In this paper we will show that if $G$ is a permutation graph then $t(G) \leq α(G)$ (where $α(G)$ is the cardinality of maximum independent set in $G$) and this bound is tight. As a corollary we will show that $t(G) \leq \frac{n}{2}$ where $n$ is the number of vertices in the permutation graph $G$. This bound is also tight.
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.