1,014 research outputs found
Querying the Guarded Fragment
Evaluating a Boolean conjunctive query Q against a guarded first-order theory
F is equivalent to checking whether "F and not Q" is unsatisfiable. This
problem is relevant to the areas of database theory and description logic.
Since Q may not be guarded, well known results about the decidability,
complexity, and finite-model property of the guarded fragment do not obviously
carry over to conjunctive query answering over guarded theories, and had been
left open in general. By investigating finite guarded bisimilar covers of
hypergraphs and relational structures, and by substantially generalising
Rosati's finite chase, we prove for guarded theories F and (unions of)
conjunctive queries Q that (i) Q is true in each model of F iff Q is true in
each finite model of F and (ii) determining whether F implies Q is
2EXPTIME-complete. We further show the following results: (iii) the existence
of polynomial-size conformal covers of arbitrary hypergraphs; (iv) a new proof
of the finite model property of the clique-guarded fragment; (v) the small
model property of the guarded fragment with optimal bounds; (vi) a
polynomial-time solution to the canonisation problem modulo guarded
bisimulation, which yields (vii) a capturing result for guarded bisimulation
invariant PTIME.Comment: This is an improved and extended version of the paper of the same
title presented at LICS 201
Exact Recovery for a Family of Community-Detection Generative Models
Generative models for networks with communities have been studied extensively
for being a fertile ground to establish information-theoretic and computational
thresholds. In this paper we propose a new toy model for planted generative
models called planted Random Energy Model (REM), inspired by Derrida's REM. For
this model we provide the asymptotic behaviour of the probability of error for
the maximum likelihood estimator and hence the exact recovery threshold. As an
application, we further consider the 2 non-equally sized community Weighted
Stochastic Block Model (2-WSBM) on -uniform hypergraphs, that is equivalent
to the P-REM on both sides of the spectrum, for high and low edge cardinality
. We provide upper and lower bounds for the exact recoverability for any
, mapping these problems to the aforementioned P-REM. To the best of our
knowledge these are the first consistency results for the 2-WSBM on graphs and
on hypergraphs with non-equally sized community
Complexes of not -connected graphs
Complexes of (not) connected graphs, hypergraphs and their homology appear in
the construction of knot invariants given by V. Vassiliev. In this paper we
study the complexes of not -connected -hypergraphs on vertices. We
show that the complex of not -connected graphs has the homotopy type of a
wedge of spheres of dimension . This answers one of the
questions raised by Vassiliev in connection with knot invariants. For this case
the -action on the homology of the complex is also determined. For
complexes of not -connected -hypergraphs we provide a formula for the
generating function of the Euler characteristic, and we introduce certain
lattices of graphs that encode their topology. We also present partial results
for some other cases. In particular, we show that the complex of not
-connected graphs is Alexander dual to the complex of partial matchings
of the complete graph. For not -connected graphs we provide a formula
for the generating function of the Euler characteristic
Rank-width and Tree-width of H-minor-free Graphs
We prove that for any fixed r>=2, the tree-width of graphs not containing K_r
as a topological minor (resp. as a subgraph) is bounded by a linear (resp.
polynomial) function of their rank-width. We also present refinements of our
bounds for other graph classes such as K_r-minor free graphs and graphs of
bounded genus.Comment: 17 page
On Finite Order Invariants of Triple Points Free Plane Curves
We describe some regular techniques of calculating finite degree invariants
of triple points free smooth plane curves . They are a direct
analog of similar techniques for knot invariants and are based on the calculus
of {\em triangular diagrams} and {\em connected hypergraphs} in the same way as
the calculation of knot invariants is based on the study of chord diagrams and
connected graphs.
E.g., the simplest such invariant is of degree 4 and corresponds to the
diagram consisting of two triangles with alternating vertices in a circle in
the same way as the simplest knot invariant (of degree 2) corresponds to the
2-chord diagram . Also, following V.I.Arnold and other authors we
consider invariants of {\em immersed} triple points free curves and describe
similar techniques also for this problem, and, more generally, for the
calculation of homology groups of the space of immersed plane curves without
points of multiplicity for any $k \ge 3.
- …