graph
35150 papers tagged with this keyword
Orbit-Product Representation and Correction of Gaussian Belief Propagation
Published
• View Publication
• BIB
We present a new view of Gaussian belief propagation (GaBP) based on a representation of the determinant as a product over orbits of a graph. We show that the GaBP determinant estimate captures totally backtracking orbits of the graph and consider how to correct this estimate. We show that the missing orbits may be grouped into equivalence classes corresponding to backtrackless orbits and the contribution of each equivalence class is easily determined from the GaBP solution. Furthermore, we demonstrate that this multiplicative correction factor can be interpreted as the determinant of a backtrackless adjacency matrix of the graph with edge weights based on GaBP. Finally, an efficient method is proposed to compute a truncated correction factor including all backtrackless orbits up to a specified length.
Root polytopes, triangulations, and the subdivision algebra, II
The type C_n full root polytope is the convex hull in R^n of the origin and the points e_i-e_j, e_i+e_j, 2e_k for 1 <= i < j <= n, k \in [n]. Given a graph G, with edges labeled positive or negative, associate to each edge e of G a vector v(e) which is e_i-e_j if e=(i, j), i < j, is labeled negative and e_i+e_j if it is labeled positive. For such a signed graph G, the associated root polytope P(G) is the intersection of the full root polytope with the cone generated by the vectors v(e), for edges e in G. The reduced forms of a certain monomial m[G] in commuting variables x_{ij}, y_{ij}, z_k under reductions derived from the relations of a bracket algebra of type C_n, can be interpreted as triangulations of P(G). Using these triangulations, the volume of P(G) can be calculated. If we allow variables to commute only when all their indices are distinct, then we prove that the reduced form of m[G], for "good" graphs G, is unique and yields a canonical triangulation of P(G) in which each simplex corresponds to a noncrossing alternating graph in a type C sense. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type C_n. We also study the bracket algebra of type D_n and show that a family of monomials has unique reduced forms in it. A special case of our results proves a conjecture of A. N. Kirillov about the uniqueness of the reduced form of a Coxeter type element in the bracket algebra of type D_n.
Bi-resolving graph homomorphisms and extensions of bi-closing codes
Published in Acta Appl. Math. 126 (2013), 245-252
• View Publication
• BIB
Given two graphs G and H, there is a bi-resolving (or bi-covering) graph homomorphism from G to H if and only if their adjacency matrices satisfy certain matrix relations. We investigate the bi-covering extensions of bi-resolving homomorphisms and give several sufficient conditions for a bi-resolving homomorphism to have a bi-covering extension with an irreducible domain. Using these results, we prove that a bi-closing code between subshifts can be extended to an n-to-1 code between irreducible shifts of finite type for all large n.
Difference between minimum light numbers of sigma-game and lit-only sigma-game
A configuration of a graph is an assignment of one of two states, on or off, to each vertex of it. A regular move at a vertex changes the states of the neighbors of that vertex. A valid move is a regular move at an on vertex. The following result is proved in this note: given any starting configuration $x$ of a tree, if there is a sequence of regular moves which brings $x$ to another configuration in which there are $\ell$ on vertices then there must exist a sequence of valid moves which takes $x$ to a configuration with at most $\ell +2$ on vertices. We provide example to show that the upper bound $\ell +2$ is sharp. Some relevant results and conjectures are also reported.
Random Graphs and the Parity Quantifier
Published
• View Publication
• BIB
The classical zero-one law for first-order logic on random graphs says that for any first-order sentence $φ$ in the theory of graphs, as n approaches infinity, the probability that the random graph G(n, p) satisfies $φ$ approaches either 0 or 1. It is well known that this law fails to hold for any formalism that can express the parity quantifier: for certain properties, the probability that G(n, p) satisfies the property need not converge, and for others the limit may be strictly between 0 and 1. In this paper, we capture the limiting behavior of properties definable in first order logic augmented with the parity quantier, FO[parity], over G(n, p), thus eluding the above hurdles. Specifically, we establish the following "modular convergence law": For every FO[parity] sentence $φ$, there are two rational numbers a_0, a_1, such that for i in {0,1}, as n approaches infinity, the probability that the random graph G(2n+i, p) satisfies $φ$ approaches a_i. Our results also extend appropriately to first order logic equipped with Mod-q quantiers for prime q. Our approach is based on multivariate polynomials over finite fields, in particular, on a new generalization of the Gowers norm. The proof generalizes the original quantifier elimination approach to the zero-one law, and has analogies with the Razborov-Smolensky method for lower bounds for AC0 with parity gates.
Additive Edge Labelings
Published
• View Publication
• BIB
Let G=(V,E) be a graph and d a positive integer. We study the following problem: for which labelings f_E: E \to Z_d is there a labeling f_V:V \to Z_d such that f_E(i,j) = f_V(i) + f_V(j) (mod d), for every edge (i,j) in E? We also explore the connections of the equivalent multiplicative version to toric ideals. We derive a polynomial algorithm to answer these questions and to obtain all possible solutions.
Graphs with bounded tree-width and large odd-girth are almost bipartite
Published
• View Publication
• BIB
We prove that for every $k$ and every $\varepsilon>0$, there exists $g$ such that every graph with tree-width at most $k$ and odd-girth at least $g$ has circular chromatic number at most $2+\varepsilon$.
Isomorphic and Nonisomorphic, Isospectral Circulant Graphs
New criteria for which Cayley graphs of cyclic groups of any order can be completely determined--up to isomorphism--by the eigenvalues of their adjacency matrices is presented. Secondly, a new construction for pairs of nonisomorphic Cayley graphs of cyclic groups with the same list of eigenvalues of their adjacency matrices will be presented.
Cayley graphs on the symmetric group generated by initial reversals have unit spectral gap
Published in Electron. J. Combin. Vol 16, no. 1, N29 (2009)
• View Publication
• BIB
In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of the symmetric group.
A graph pebbling algorithm on weighted graphs
Published
• View Publication
• BIB
A pebbling move on a weighted graph removes some pebbles at a vertex and adds one pebble at an adjacent vertex. The number of pebbles removed is the weight of the edge connecting the vertices. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The pebbling number of a weighted graph is the smallest number $m$ needed to guarantee that any vertex is reachable from any pebble distribution of $m$ pebbles. Regular pebbling problems on unweighted graphs are special cases when the weight on every edge is 2. A regular pebbling problem often simplifies to a pebbling problem on a simpler weighted graph. We present an algorithm to find the pebbling number of weighted graphs. We use this algorithm together with graph simplifications to find the regular pebbling number of all connected graphs with at most nine vertices.
On the volume conjecture for classical spin networks
Published
• View Publication
• BIB
We prove an upper bound for the evaluation of all classical SU(2) spin networks conjectured by Garoufalidis and van der Veen. This implies one half of the analogue of the volume conjecture which they proposed for classical spin networks. We are also able to obtain the other half, namely, an exact determination of the spectral radius, for the special class of generalized drum graphs. Our proof uses a version of Feynman diagram calculus which we developed as a tool for the interpretation of the symbolic method of classical invariant theory, in a manner which is rigorous yet true to the spirit of the classical literature.
Vertex Turán problems in the hypercube
Published
• View Publication
• BIB
Let $\mathcal{Q}_n$ be the $n$-dimensional hypercube: the graph with vertex set $\{0,1\}^n$ and edges between vertices that differ in exactly one coordinate. For $1\leq d\leq n$ and $F\subseteq \{0,1\}^d$ we say that $S\subseteq \{0,1\}^n$ is \emph{$F$-free} if every embedding $i:\{0,1\}^d\to \{0,1\}^n$ satisfies $i(F)\not\subseteq S$. We consider the question of how large $S\subseteq \{0,1\}^n$ can be if it is $F$-free. In particular we generalise the main prior result in this area, for $F=\{0,1\}^2$, due to E.A. Kostochka and prove a local stability result for the structure of near-extremal sets.
We also show that the density required to guarantee an embedded copy of at least one of a family of forbidden configurations may be significantly lower than that required to ensure an embedded copy of any individual member of the family.
Finally we show that any subset of the $n$-dimensional hypercube of positive density will contain exponentially many points from some embedded $d$-dimensional subcube if $n$ is sufficiently large.
The critical group of a line graph
Published
• View Publication
• BIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph.
The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph.
The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices.
The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups.
The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.
Circular Coloring and Mycielski Construction
Published
• View Publication
• BIB
In this paper, we investigate circular chromatic number of Mycielski construction of graphs. It was shown in \cite{MR2279672} that $t^{\rm th}$ Mycielskian of the Kneser graph $KG(m,n)$ has the same circular chromatic number and chromatic number provided that $m+t$ is an even integer. We prove that if $m$ is large enough, then $χ(M^t(KG(m,n)))=χ_c(M^t(KG(m,n)))$ where $M^t$ is $t^{\rm th}$ Mycielskian. Also, we consider the generalized Kneser graph $KG(m,n,s)$ and show that there exists a threshold $m(n,s,t)$ such that $χ(M^t(KG(m,n,s)))=χ_c(M^t(KG(m,n,s)))$ for $m\geq m(n,s,t)$.
Pappus-Desargues digraph confrontation
Like the Coxeter graph became reattached into the Klein graph in [2], the Levi graphs of the $9_3$ and $10_3$ self-dual configurations, known as the Pappus and Desargues ($k$-transitive) graphs $\mathcal P$ and $\mathcal D$ (where $k=3$), also admit reattachments of the distance-$(k-1)$ graphs of half of their oriented shortest cycles via orientation assignments on their common $(k-1)$-arcs, concurrent for ${\mathcal P}$ and opposite for $\mathcal D$, now into 2 disjoint copies of their corresponding Menger graphs. Here, $\mathcal P$ is the unique cubic distance-transitive (or CDT) graph with the concurrent-reattachment behavior while $\mathcal D$ is one of 7 CDT graphs with the opposite-reattachment behavior, that include the Coxeter graph. Thus, $\mathcal P$ and $\mathcal D$ confront each other in these respects, obtained via $\mathcal C$-ultrahomogeneous graph techniques [3,4] that allow to characterize the obtained reattachment Menger graphs in the same terms.
Finding an Unknown Acyclic Orientation of a Given Graph
Published
• View Publication
• BIB
Let c(G) be the smallest number of edges we have to test in order to determine an unknown acyclic orientation of the given graph G in the worst case. For example, if G is the complete graph on n vertices, then c(G) is the smallest number of comparisons needed to sort n numbers.
We prove that c(G)\le (1/4+o(1))n^2 for any graph G on n vertices, answering in the affirmative a question of Aigner, Triesch, and Tuza [Discrete Mathematics, 144 (1995) 3-10]. Also, we show that, for every e>0, it is NP-hard to approximate the parameter c(G) within a multiplicative factor 74/73-e.
Asymptotic Normality of Statistics on Permutation Tableaux
Published
• View Publication
• BIB
In this paper we use a probabilistic approach to derive the expressions for the characteristic functions of basic statistics defined on permutation tableaux. Since our expressions are exact, we can identify the distributions of basic statistics (like the number of unrestricted rows, the number of rows, and the number of 1s in the first row) exactly. In all three cases the distributions are known to be asymptotically normal after a suitable normalization. We also establish the asymptotic normality of the number of superfluous 1s. The latter result relies on a bijection between permutation tableaux and permutations and on a rather general sufficient condition for the central limit theorem for the sums of random variables in terms of dependency graph of the summands.
Hamilton cycles in 3-out
Published
• View Publication
• BIB
Let G_{\rm 3-out} denote the random graph on vertex set [n] in which each vertex chooses 3 neighbors uniformly at random. Note that G_{\rm 3-out} has minimum degree 3 and average degree 6. We prove that the probability that G_{\rm 3-out} is Hamiltonian goes to 1 as n tends to infinity.
The sovability of norm, bilinear and quadratic equations over finite fields via spectra of graphs
Published
• View Publication
• BIB
In this paper we will give a unified proof of several results on the sovability of systems of certain equations over finite fields, which were recently obtained by Fourier analytic methods.
Roughly speaking, we show that almost all systems of norm, bilinear or quadratic equations over finite fields are solvable in any large subset of vector spaces over finite fields.
Holographic algorithms without matchgates
Published
• View Publication
• BIB
The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedure, and generalize their applicability to new signatures. Instead of matchgates, which are weighted graph fragments that replace vertices of a natural bipartite graph G associated to a problem P, our approach uses only only a natural number-of-edges by number-of-edges matrix associated to G. An easy-to-compute multiple of its Pfaffian is the number of solutions to the counting problem. This simplification improves our understanding of the applicability of holographic algorithms, indicates a more geometric approach to complexity classes, and facilitates practical implementations. The generalized applicability arises because our approach allows for new algebraic tests that are different from the "Grassmann-Plucker identities" used up until now. Natural problems treatable by these new methods have been previously considered in a different context, and we present one such example.