225 research outputs found
Incidence Hypergraphs: Box Products & the Laplacian
The box product and its associated box exponential are characterized for the
categories of quivers (directed graphs), multigraphs, set system hypergraphs,
and incidence hypergraphs. It is shown that only the quiver case of the box
exponential can be characterized via homs entirely within their own category.
An asymmetry in the incidence hypergraphic box product is rectified via an
incidence dual-closed generalization that effectively treats vertices and edges
as real and imaginary parts of a complex number, respectively. This new
hypergraphic box product is shown to have a natural interpretation as the
canonical box product for graphs via the bipartite representation functor, and
its associated box exponential is represented as homs entirely in the category
of incidence hypergraphs; with incidences determined by incidence-prism
mapping. The evaluation of the box exponential at paths is shown to correspond
to the entries in half-powers of the oriented hypergraphic signless Laplacian
matrix.Comment: 34 pages, 23 figures, 4 table
09451 Abstracts Collection -- Geometric Networks, Metric Space Embeddings and Spatial Data Mining
From November 1 to 6, 2009, the Dagstuhl Seminar 09451 ``Geometric Networks, Metric Space Embeddings and Spatial Data Mining\u27\u27 was held
in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
On the classification and dispersability of circulant graphs with two jump lengths
In this paper, we give the classification of circulant graphs
with and completely solve the dispersability of
circulant graphs
A No-Go Theorem for Derandomized Parallel Repetition: Beyond Feige-Kilian
In this work we show a barrier towards proving a randomness-efficient
parallel repetition, a promising avenue for achieving many tight
inapproximability results. Feige and Kilian (STOC'95) proved an impossibility
result for randomness-efficient parallel repetition for two prover games with
small degree, i.e., when each prover has only few possibilities for the
question of the other prover. In recent years, there have been indications that
randomness-efficient parallel repetition (also called derandomized parallel
repetition) might be possible for games with large degree, circumventing the
impossibility result of Feige and Kilian. In particular, Dinur and Meir
(CCC'11) construct games with large degree whose repetition can be derandomized
using a theorem of Impagliazzo, Kabanets and Wigderson (SICOMP'12). However,
obtaining derandomized parallel repetition theorems that would yield optimal
inapproximability results has remained elusive.
This paper presents an explanation for the current impasse in progress, by
proving a limitation on derandomized parallel repetition. We formalize two
properties which we call "fortification-friendliness" and "yields robust
embeddings." We show that any proof of derandomized parallel repetition
achieving almost-linear blow-up cannot both (a) be fortification-friendly and
(b) yield robust embeddings. Unlike Feige and Kilian, we do not require the
small degree assumption.
Given that virtually all existing proofs of parallel repetition, including
the derandomized parallel repetition result of Dinur and Meir, share these two
properties, our no-go theorem highlights a major barrier to achieving
almost-linear derandomized parallel repetition
- …