82 research outputs found
Minimum vertex degree conditions for loose spanning trees in 3-graphs
In 1995, Koml\'os, S\'ark\"ozy and Szemer\'edi showed that every large
-vertex graph with minimum degree at least contains all
spanning trees of bounded degree. We consider a generalization of this result
to loose spanning hypertrees in 3-graphs, that is, linear hypergraphs obtained
by successively appending edges sharing a single vertex with a previous edge.
We show that for all and , and large, every -vertex
3-uniform hypergraph of minimum vertex degree
contains every loose spanning tree with maximum vertex degree .
This bound is asymptotically tight, since some loose trees contain perfect
matchings.Comment: 18 pages, 1 figur
Grassmann Integral Representation for Spanning Hyperforests
Given a hypergraph G, we introduce a Grassmann algebra over the vertex set,
and show that a class of Grassmann integrals permits an expansion in terms of
spanning hyperforests. Special cases provide the generating functions for
rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All
these results are generalizations of Kirchhoff's matrix-tree theorem.
Furthermore, we show that the class of integrals describing unrooted spanning
(hyper)forests is induced by a theory with an underlying OSP(1|2)
supersymmetry.Comment: 50 pages, it uses some latex macros. Accepted for publication on J.
Phys.
Finite Volume Spaces and Sparsification
We introduce and study finite -volumes - the high dimensional
generalization of finite metric spaces. Having developed a suitable
combinatorial machinery, we define -volumes and show that they contain
Euclidean volumes and hypertree volumes. We show that they can approximate any
-volume with multiplicative distortion. On the other hand, contrary
to Bourgain's theorem for , there exists a -volume that on vertices
that cannot be approximated by any -volume with distortion smaller than
.
We further address the problem of -dimension reduction in the context
of volumes, and show that this phenomenon does occur, although not to
the same striking degree as it does for Euclidean metrics and volumes. In
particular, we show that any metric on points can be -approximated by a sum of cut metrics, improving
over the best previously known bound of due to Schechtman.
In order to deal with dimension reduction, we extend the techniques and ideas
introduced by Karger and Bencz{\'u}r, and Spielman et al.~in the context of
graph Sparsification, and develop general methods with a wide range of
applications.Comment: previous revision was the wrong file: the new revision: changed
(extended considerably) the treatment of finite volumes (see revised
abstract). Inserted new applications for the sparsification technique
Fast and compact self-stabilizing verification, computation, and fault detection of an MST
This paper demonstrates the usefulness of distributed local verification of
proofs, as a tool for the design of self-stabilizing algorithms.In particular,
it introduces a somewhat generalized notion of distributed local proofs, and
utilizes it for improving the time complexity significantly, while maintaining
space optimality. As a result, we show that optimizing the memory size carries
at most a small cost in terms of time, in the context of Minimum Spanning Tree
(MST). That is, we present algorithms that are both time and space efficient
for both constructing an MST and for verifying it.This involves several parts
that may be considered contributions in themselves.First, we generalize the
notion of local proofs, trading off the time complexity for memory efficiency.
This adds a dimension to the study of distributed local proofs, which has been
gaining attention recently. Specifically, we design a (self-stabilizing) proof
labeling scheme which is memory optimal (i.e., bits per node), and
whose time complexity is in synchronous networks, or time in asynchronous ones, where is the maximum degree of
nodes. This answers an open problem posed by Awerbuch and Varghese (FOCS 1991).
We also show that time is necessary, even in synchronous
networks. Another property is that if faults occurred, then, within the
requireddetection time above, they are detected by some node in the locality of each of the faults.Second, we show how to enhance a known
transformer that makes input/output algorithms self-stabilizing. It now takes
as input an efficient construction algorithm and an efficient self-stabilizing
proof labeling scheme, and produces an efficient self-stabilizing algorithm.
When used for MST, the transformer produces a memory optimal self-stabilizing
algorithm, whose time complexity, namely, , is significantly better even
than that of previous algorithms. (The time complexity of previous MST
algorithms that used memory bits per node was , and
the time for optimal space algorithms was .) Inherited from our proof
labelling scheme, our self-stabilising MST construction algorithm also has the
following two properties: (1) if faults occur after the construction ended,
then they are detected by some nodes within time in synchronous
networks, or within time in asynchronous ones, and (2) if
faults occurred, then, within the required detection time above, they are
detected within the locality of each of the faults. We also show
how to improve the above two properties, at the expense of some increase in the
memory
From hypertrees to arboreal quasi-ultrametrics
AbstractSome classical models of clustering (hierarchies, pyramids, etc.) are related to interval hypergraphs. In this paper we study clustering models related to hypertrees which are an extension of interval hypergraphs. We first prove that a hypertree can be characterized by an order on its vertices, this order allowing to find one of its underlying vertex trees. We then focus on clustering models associated to dissimilarity models and prove that if one of the cluster hypergraph, ball hypergraph, or 2-ball hypergraph related to a given dissimilarity is a hypertree, then the two others are also hypertrees. Moreover, we prove that a given dissimilarity admits at least one lower-maximal dissimilarity whose cluster hypergraph is a hypertree, and one and only one lower-maximal quasi-ultrametric whose cluster hypergraph is a hypertree. The construction of the lower-maximal quasi-ultrametric whose cluster hypergraph is a hypertree can be performed in polynomial time
- …