3,889 research outputs found
Undecidability of the Spectral Gap (full version)
We show that the spectral gap problem is undecidable. Specifically, we
construct families of translationally-invariant, nearest-neighbour Hamiltonians
on a 2D square lattice of d-level quantum systems (d constant), for which
determining whether the system is gapped or gapless is an undecidable problem.
This is true even with the promise that each Hamiltonian is either gapped or
gapless in the strongest sense: it is promised to either have continuous
spectrum above the ground state in the thermodynamic limit, or its spectral gap
is lower-bounded by a constant in the thermodynamic limit. Moreover, this
constant can be taken equal to the local interaction strength of the
Hamiltonian.Comment: v1: 146 pages, 56 theorems etc., 15 figures. See shorter companion
paper arXiv:1502.04135 (same title and authors) for a short version omitting
technical details. v2: Small but important fix to wording of abstract. v3:
Simplified and shortened some parts of the proof; minor fixes to other parts.
Now only 127 pages, 55 theorems etc., 10 figures. v4: Minor updates to
introductio
General Algorithm For Improved Lattice Actions on Parallel Computing Architectures
Quantum field theories underlie all of our understanding of the fundamental
forces of nature. The are relatively few first principles approaches to the
study of quantum field theories [such as quantum chromodynamics (QCD) relevant
to the strong interaction] away from the perturbative (i.e., weak-coupling)
regime. Currently the most common method is the use of Monte Carlo methods on a
hypercubic space-time lattice. These methods consume enormous computing power
for large lattices and it is essential that increasingly efficient algorithms
be developed to perform standard tasks in these lattice calculations. Here we
present a general algorithm for QCD that allows one to put any planar improved
gluonic lattice action onto a parallel computing architecture. High performance
masks for specific actions (including non-planar actions) are also presented.
These algorithms have been successfully employed by us in a variety of lattice
QCD calculations using improved lattice actions on a 128 node Thinking Machines
CM-5.
{\underline{Keywords}}: quantum field theory; quantum chromodynamics;
improved actions; parallel computing algorithms
Searching Polyhedra by Rotating Half-Planes
The Searchlight Scheduling Problem was first studied in 2D polygons, where
the goal is for point guards in fixed positions to rotate searchlights to catch
an evasive intruder. Here the problem is extended to 3D polyhedra, with the
guards now boundary segments who rotate half-planes of illumination. After
carefully detailing the 3D model, several results are established. The first is
a nearly direct extension of the planar one-way sweep strategy using what we
call exhaustive guards, a generalization that succeeds despite there being no
well-defined notion in 3D of planar "clockwise rotation". Next follow two
results: every polyhedron with r>0 reflex edges can be searched by at most r^2
suitably placed guards, whereas just r guards suffice if the polyhedron is
orthogonal. (Minimizing the number of guards to search a given polyhedron is
easily seen to be NP-hard.) Finally we show that deciding whether a given set
of guards has a successful search schedule is strongly NP-hard, and that
deciding if a given target area is searchable at all is strongly PSPACE-hard,
even for orthogonal polyhedra. A number of peripheral results are proved en
route to these central theorems, and several open problems remain for future
work.Comment: 45 pages, 26 figure
Enumerating topological -configurations
An -configuration is a set of points and lines in the
projective plane such that their point-line incidence graph is -regular. The
configuration is geometric, topological, or combinatorial depending on whether
lines are considered to be straight lines, pseudolines, or just combinatorial
lines. We provide an algorithm for generating, for given and , all
topological -configurations up to combinatorial isomorphism, without
enumerating first all combinatorial -configurations. We apply this
algorithm to confirm efficiently a former result on topological
-configurations, from which we obtain a new geometric
-configuration. Preliminary results on -configurations are also
briefly reported.Comment: 18 pages, 11 figure
Farthest-Polygon Voronoi Diagrams
Given a family of k disjoint connected polygonal sites in general position
and of total complexity n, we consider the farthest-site Voronoi diagram of
these sites, where the distance to a site is the distance to a closest point on
it. We show that the complexity of this diagram is O(n), and give an O(n log^3
n) time algorithm to compute it. We also prove a number of structural
properties of this diagram. In particular, a Voronoi region may consist of k-1
connected components, but if one component is bounded, then it is equal to the
entire region
The Complexity of Finding Small Triangulations of Convex 3-Polytopes
The problem of finding a triangulation of a convex three-dimensional polytope
with few tetrahedra is proved to be NP-hard. We discuss other related
complexity results.Comment: 37 pages. An earlier version containing the sketch of the proof
appeared at the proceedings of SODA 200
Convex Hulls under Uncertainty
We study the convex-hull problem in a probabilistic setting, motivated by the
need to handle data uncertainty inherent in many applications, including sensor
databases, location-based services and computer vision. In our framework, the
uncertainty of each input site is described by a probability distribution over
a finite number of possible locations including a \emph{null} location to
account for non-existence of the point. Our results include both exact and
approximation algorithms for computing the probability of a query point lying
inside the convex hull of the input, time-space tradeoffs for the membership
queries, a connection between Tukey depth and membership queries, as well as a
new notion of \some-hull that may be a useful representation of uncertain
hulls
- …