19,745 research outputs found
Nice labeling problem for event structures: a counterexample
In this note, we present a counterexample to a conjecture of Rozoy and
Thiagarajan from 1991 (called also the nice labeling problem) asserting that
any (coherent) event structure with finite degree admits a labeling with a
finite number of labels, or equivalently, that there exists a function such that an event structure with degree
admits a labeling with at most labels. Our counterexample is based on
the Burling's construction from 1965 of 3-dimensional box hypergraphs with
clique number 2 and arbitrarily large chromatic numbers and the bijection
between domains of event structures and median graphs established by
Barth\'elemy and Constantin in 1993
A Combinatorial Solution to Non-Rigid 3D Shape-to-Image Matching
We propose a combinatorial solution for the problem of non-rigidly matching a
3D shape to 3D image data. To this end, we model the shape as a triangular mesh
and allow each triangle of this mesh to be rigidly transformed to achieve a
suitable matching to the image. By penalising the distance and the relative
rotation between neighbouring triangles our matching compromises between image
and shape information. In this paper, we resolve two major challenges: Firstly,
we address the resulting large and NP-hard combinatorial problem with a
suitable graph-theoretic approach. Secondly, we propose an efficient
discretisation of the unbounded 6-dimensional Lie group SE(3). To our knowledge
this is the first combinatorial formulation for non-rigid 3D shape-to-image
matching. In contrast to existing local (gradient descent) optimisation
methods, we obtain solutions that do not require a good initialisation and that
are within a bound of the optimal solution. We evaluate the proposed method on
the two problems of non-rigid 3D shape-to-shape and non-rigid 3D shape-to-image
registration and demonstrate that it provides promising results.Comment: 10 pages, 7 figure
A Partitioning Algorithm for Maximum Common Subgraph Problems
We introduce a new branch and bound algorithm for the maximum common subgraph and maximum common connected subgraph problems which is based around vertex labelling and partitioning. Our method in some ways resembles a traditional constraint programming approach, but uses a novel compact domain store and supporting inference algorithms which dramatically reduce the memory and computation requirements during search, and allow better dual viewpoint ordering heuristics to be calculated cheaply. Experiments show a speedup of more than an order of magnitude over the state of the art, and demonstrate that we can operate on much larger graphs without running out of memory
Automorphisms of graph products of groups from a geometric perspective
This article studies automorphism groups of graph products of arbitrary
groups. We completely characterise automorphisms that preserve the set of
conjugacy classes of vertex groups as those automorphisms that can be
decomposed as a product of certain elementary automorphisms (inner
automorphisms, partial conjugations, automorphisms associated to symmetries of
the underlying graph). This allows us to completely compute the automorphism
group of certain graph products, for instance in the case where the underlying
graph is finite, connected, leafless and of girth at least . If in addition
the underlying graph does not contain separating stars, we can understand the
geometry of the automorphism groups of such graph products of groups further:
we show that such automorphism groups do not satisfy Kazhdan's property (T) and
are acylindrically hyperbolic. Applications to automorphism groups of graph
products of finite groups are also included. The approach in this article is
geometric and relies on the action of graph products of groups on certain
complexes with a particularly rich combinatorial geometry. The first such
complex is a particular Cayley graph of the graph product that has a
quasi-median geometry, a combinatorial geometry reminiscent of (but more
general than) CAT(0) cube complexes. The second (strongly related) complex used
is the Davis complex of the graph product, a CAT(0) cube complex that also has
a structure of right-angled building.Comment: 36 pages. The article subsumes and vastly generalises our preprint
arXiv:1803.07536. To appear in Proc. Lond. Math. So
Inference of Ancestral Recombination Graphs through Topological Data Analysis
The recent explosion of genomic data has underscored the need for
interpretable and comprehensive analyses that can capture complex phylogenetic
relationships within and across species. Recombination, reassortment and
horizontal gene transfer constitute examples of pervasive biological phenomena
that cannot be captured by tree-like representations. Starting from hundreds of
genomes, we are interested in the reconstruction of potential evolutionary
histories leading to the observed data. Ancestral recombination graphs
represent potential histories that explicitly accommodate recombination and
mutation events across orthologous genomes. However, they are computationally
costly to reconstruct, usually being infeasible for more than few tens of
genomes. Recently, Topological Data Analysis (TDA) methods have been proposed
as robust and scalable methods that can capture the genetic scale and frequency
of recombination. We build upon previous TDA developments for detecting and
quantifying recombination, and present a novel framework that can be applied to
hundreds of genomes and can be interpreted in terms of minimal histories of
mutation and recombination events, quantifying the scales and identifying the
genomic locations of recombinations. We implement this framework in a software
package, called TARGet, and apply it to several examples, including small
migration between different populations, human recombination, and horizontal
evolution in finches inhabiting the Gal\'apagos Islands.Comment: 33 pages, 12 figures. The accompanying software, instructions and
example files used in the manuscript can be obtained from
https://github.com/RabadanLab/TARGe
- …