50,951 research outputs found
The homeomorphism problem for closed 3-manifolds
We give a more geometric approach to an algorithm for deciding whether two
hyperbolic 3-manifolds are homeomorphic. We also give a more algebraic approach
to the homeomorphism problem for geometric, but non-hyperbolic, 3-manifolds.Comment: first version: 12 pages. Replacement: 14 pages. Includes minor
improvements to exposition in response to referee's comment
Controllability and Fraction of Leaders in Infinite Network
In this paper, we study controllability of a network of linear
single-integrator agents when the network size goes to infinity. We first
investigate the effect of increasing size by injecting an input at every node
and requiring that network controllability Gramian remain well-conditioned with
the increasing dimension. We provide theoretical justification to the intuition
that high degree nodes pose a challenge to network controllability. In
particular, the controllability Gramian for the networks with bounded maximum
degrees is shown to remain well-conditioned even as the network size goes to
infinity. In the canonical cases of star, chain and ring networks, we also
provide closed-form expressions which bound the condition number of the
controllability Gramian in terms of the network size. We next consider the
effect of the choice and number of leader nodes by actuating only a subset of
nodes and considering the least eigenvalue of the Gramian as the network size
increases. Accordingly, while a directed star topology can never be made
controllable for all sizes by injecting an input just at a fraction of
nodes; for path or cycle networks, the designer can actuate a non-zero fraction
of nodes and spread them throughout the network in such way that the least
eigenvalue of the Gramians remain bounded away from zero with the increasing
size. The results offer interesting insights on the challenges of control in
large networks and with high-degree nodes.Comment: 6 pages, 3 figures, to appear in 2014 IEEE CD
The First-Order Theory of Ground Tree Rewrite Graphs
We prove that the complexity of the uniform first-order theory of ground tree
rewrite graphs is in ATIME(2^{2^{poly(n)}},O(n)). Providing a matching lower
bound, we show that there is some fixed ground tree rewrite graph whose
first-order theory is hard for ATIME(2^{2^{poly(n)}},poly(n)) with respect to
logspace reductions. Finally, we prove that there exists a fixed ground tree
rewrite graph together with a single unary predicate in form of a regular tree
language such that the resulting structure has a non-elementary first-order
theory.Comment: accepted for Logical Methods in Computer Scienc
- …