2,268 research outputs found
Tutte's dichromate for signed graphs
We introduce the ``trivariate Tutte polynomial" of a signed graph as an
invariant of signed graphs up to vertex switching that contains among its
evaluations the number of proper colorings and the number of nowhere-zero
flows. In this, it parallels the Tutte polynomial of a graph, which contains
the chromatic polynomial and flow polynomial as specializations. The number of
nowhere-zero tensions (for signed graphs they are not simply related to proper
colorings as they are for graphs) is given in terms of evaluations of the
trivariate Tutte polynomial at two distinct points. Interestingly, the
bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share
many similar properties with the Tutte polynomial of a graph, does not in
general yield the number of nowhere-zero flows of a signed graph. Therefore the
``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from
the dichromatic polynomial (the rank-size generating function).
The trivariate Tutte polynomial of a signed graph can be extended to an
invariant of ordered pairs of matroids on a common ground set -- for a signed
graph, the cycle matroid of its underlying graph and its frame matroid form the
relevant pair of matroids. This invariant is the canonically defined Tutte
polynomial of matroid pairs on a common ground set in the sense of a recent
paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and
Kayibi as a four-variable linking polynomial of a matroid pair on a common
ground set.Comment: 53 pp. 9 figure
A cobordism realizing crossing change on tangle homology and a categorified Vassiliev skein relation
In this paper, we discuss degree 0 crossing change on Khovanov homology in
terms of cobordisms. Namely, using Bar-Natan's formalism of Khovanov homology,
we introduce a sum of cobordisms that yields a morphism on complexes of two
diagrams of crossing change, which we call the "genus-one morphism." It is
proved that the morphism is invariant under the moves of double points in
tangle diagrams. As a consequence, in the spirit of Vassiliev theory, taking
iterated mapping cones, we obtain an invariant for singular tangles that
extending sl(2) tangle homology; examples include Lee homology, Bar-Natan
homology, and Naot's universal Khovanov homology as well as Khovanov homology
with arbitrary coefficients. We also verify that the invariant satisfies
categorified analogues of Vassiliev skein relation and the FI relation.Comment: 35 pages, 5 figures. Changed title, Refinement of some part
Topological Additive Numbering of Directed Acyclic Graphs
We propose to study a problem that arises naturally from both Topological
Numbering of Directed Acyclic Graphs, and Additive Coloring (also known as
Lucky Labeling). Let be a digraph and a labeling of its vertices with
positive integers; denote by the sum of labels over all neighbors of
each vertex . The labeling is called \emph{topological additive
numbering} if for each arc of the digraph. The problem
asks to find the minimum number for which has a topological additive
numbering with labels belonging to , denoted by
.
We characterize when a digraph has topological additive numberings, give a
lower bound for , and provide an integer programming formulation for
our problem, characterizing when its coefficient matrix is totally unimodular.
We also present some families for which can be computed in
polynomial time. Finally, we prove that this problem is \np-Hard even when its
input is restricted to planar bipartite digraphs
The signature of a splice
We study the behavior of the signature of colored links [Flo05, CF08] under
the splice operation. We extend the construction to colored links in integral
homology spheres and show that the signature is almost additive, with a
correction term independent of the links. We interpret this correction term as
the signature of a generalized Hopf link and give a simple closed formula to
compute it.Comment: Updated version. Sign corrected in Theorems 2.2 and 2.10 of the
previous version. Also Corollary 2.6 was corrected and an Example added. 24
pages, 5 figures. To appear in IMR
Best of Two Local Models: Local Centralized and Local Distributed Algorithms
We consider two models of computation: centralized local algorithms and local
distributed algorithms. Algorithms in one model are adapted to the other model
to obtain improved algorithms.
Distributed vertex coloring is employed to design improved centralized local
algorithms for: maximal independent set, maximal matching, and an approximation
scheme for maximum (weighted) matching over bounded degree graphs. The
improvement is threefold: the algorithms are deterministic, stateless, and the
number of probes grows polynomially in , where is the number of
vertices of the input graph.
The recursive centralized local improvement technique by Nguyen and
Onak~\cite{onak2008} is employed to obtain an improved distributed
approximation scheme for maximum (weighted) matching. The improvement is
twofold: we reduce the number of rounds from to for a
wide range of instances and, our algorithms are deterministic rather than
randomized
- …