676 research outputs found
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
k-Color Multi-Robot Motion Planning
We present a simple and natural extension of the multi-robot motion planning
problem where the robots are partitioned into groups (colors), such that in
each group the robots are interchangeable. Every robot is no longer required to
move to a specific target, but rather to some target placement that is assigned
to its group. We call this problem k-color multi-robot motion planning and
provide a sampling-based algorithm specifically designed for solving it. At the
heart of the algorithm is a novel technique where the k-color problem is
reduced to several discrete multi-robot motion planning problems. These
reductions amplify basic samples into massive collections of free placements
and paths for the robots. We demonstrate the performance of the algorithm by an
implementation for the case of disc robots and polygonal robots translating in
the plane. We show that the algorithm successfully and efficiently copes with a
variety of challenging scenarios, involving many robots, while a simplified
version of this algorithm, that can be viewed as an extension of a prevalent
sampling-based algorithm for the k-color case, fails even on simple scenarios.
Interestingly, our algorithm outperforms a well established implementation of
PRM for the standard multi-robot problem, in which each robot has a distinct
color.Comment: 2
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
A new algorithm to compute cylindrical algebraic decompositions (CADs) is
presented, building on two recent advances. Firstly, the output is truth table
invariant (a TTICAD) meaning given formulae have constant truth value on each
cell of the decomposition. Secondly, the computation uses regular chains theory
to first build a cylindrical decomposition of complex space (CCD) incrementally
by polynomial. Significant modification of the regular chains technology was
used to achieve the more sophisticated invariance criteria. Experimental
results on an implementation in the RegularChains Library for Maple verify that
combining these advances gives an algorithm superior to its individual
components and competitive with the state of the art
The inverse moment problem for convex polytopes
The goal of this paper is to present a general and novel approach for the
reconstruction of any convex d-dimensional polytope P, from knowledge of its
moments. In particular, we show that the vertices of an N-vertex polytope in
R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to
an unknown polynomial measure od degree D) in d+1 distinct generic directions.
Our approach is based on the collection of moment formulas due to Brion,
Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry
of polytopes, and what variously known as Prony's method, or Vandermonde
factorization of finite rank Hankel matrices.Comment: LaTeX2e, 24 pages including 1 appendi
Initial singlet and triplet spin state contributions to pp -> pp pi0
The PINTEX facility at the IUCF Cooler ring, dedicated to the study of spin
dependence in nucleon-nucleon interactions, has been used to measure
polarization observables of the reaction pp -> pp pi0 at beam energies between
325 and 400 MeV. The stored polarized proton beam had spin projections both in
the longitudinal and the transverse directions with respect to the beam
momentum. We report here on the measurements of the relative transverse and
longitudinal spin-dependent cross sections, deltasigma_T/sigma_tot and
deltasigma_L/sigma_tot, and how from these observables the initial spin singlet
and triplet cross sections are obtained. Considering angular momentum states
less or equal to one, the contribution of the Ps partial waves to the cross
section can be extracted.Comment: Contribution to PANIC99, XVth Particles and Nuclei International
Conference, June 10-16, 1999, Uppsala, Sweden. Latex, 5 pages, 3 figure
Valiant's model: from exponential sums to exponential products
12 pagesWe study the power of big products for computing multivariate polynomials in a Valiant-like framework. More precisely, we define a new class \vpip as the set of families of polynomials that are exponential products of easily computable polynomials. We investigate the consequences of the hypothesis that these big products are themselves easily computable. For instance, this hypothesis would imply that the nonuniform versions of P and NP coincide. Our main result relates this hypothesis to Blum, Shub and Smale's algebraic version of P versus NP. Let be a field of characteristic 0. Roughly speaking, we show that in order to separate \p_K from \np_K using a problem from a fairly large class of ``simple'' problems, one should first be able to show that exponential products are not easily computable. The class of ``simple'' problems under consideration is the class of NP problems in the structure , in which multiplication is not allowed
Spin Correlation Coefficients in pp-->pnpi+ from 325 to 400 MeV
The spin correlation coefficient combinations Axx + Ayy, Axx - Ayy and the
analyzing powers Ay(theta) were measured for pp-->pnpi+ at beam energies of
325, 350, 375 and 400 MeV. A polarized internal atomic hydrogen target and a
stored, polarized proton beam were used. These polarization observables are
sensitive to contributions of higher partial waves. A comparison with recent
theoretical calculations is provided.Comment: 8 Pages, 1 Table, 5 Figures. Accepted for publication in Phys. Lett.
Hard Instances of the Constrained Discrete Logarithm Problem
The discrete logarithm problem (DLP) generalizes to the constrained DLP,
where the secret exponent belongs to a set known to the attacker. The
complexity of generic algorithms for solving the constrained DLP depends on the
choice of the set. Motivated by cryptographic applications, we study sets with
succinct representation for which the constrained DLP is hard. We draw on
earlier results due to Erd\"os et al. and Schnorr, develop geometric tools such
as generalized Menelaus' theorem for proving lower bounds on the complexity of
the constrained DLP, and construct sets with succinct representation with
provable non-trivial lower bounds
The three-dimensional random field Ising magnet: interfaces, scaling, and the nature of states
The nature of the zero temperature ordering transition in the 3D Gaussian
random field Ising magnet is studied numerically, aided by scaling analyses. In
the ferromagnetic phase the scaling of the roughness of the domain walls,
, is consistent with the theoretical prediction .
As the randomness is increased through the transition, the probability
distribution of the interfacial tension of domain walls scales as for a single
second order transition. At the critical point, the fractal dimensions of
domain walls and the fractal dimension of the outer surface of spin clusters
are investigated: there are at least two distinct physically important fractal
dimensions. These dimensions are argued to be related to combinations of the
energy scaling exponent, , which determines the violation of
hyperscaling, the correlation length exponent , and the magnetization
exponent . The value is derived from the
magnetization: this estimate is supported by the study of the spin cluster size
distribution at criticality. The variation of configurations in the interior of
a sample with boundary conditions is consistent with the hypothesis that there
is a single transition separating the disordered phase with one ground state
from the ordered phase with two ground states. The array of results are shown
to be consistent with a scaling picture and a geometric description of the
influence of boundary conditions on the spins. The details of the algorithm
used and its implementation are also described.Comment: 32 pp., 2 columns, 32 figure
- …