Forming efficient agent groups for completing complex tasks

In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working together. In particular, each task is assumed to be composed of several subtasks and involves an associated predetermined and known overall payment (set by the task’s owner) for its completion. However, the division of this payment among the corresponding contributors is not predefined. Now to accomplish a particular task, all its subtasks need to be allocated to agents with the necessary capabilities and the agents’ corresponding costs need to fall within the preset overall task payment. For this scenario, we first provide a cooperative agent system designer with a practical solution that achieves an efficient allocation. However, this solution is not applicable for non-cooperative settings. Consequently, we go on to provide a detailed analysis where we prove that certain design goals cannot be achieved if the agents are self interested. Specifically, we prove that for the general case, no protocol achieving the efficient solution can exist that is individually rational and budget balanced. We show that although efficient protocols may exist in some settings, these will inevitably be setting-specific

Triangulation using synthetic aperture radar images

For the extraction of topographic information about Venus from stereoradar images obtained from the Magellan Mission, a Synthetic Aperture Radar (SAR) compilation system was developed on analytical stereoplotters. The system software was extensively tested by using stereoradar images from various spacecraft and airborne radar systems, including Seasat, SIR-B, ERIM XCL, and STAR-1. Stereomodeling from radar images was proven feasible, and development is on a correct approach. During testing, the software was enhanced and modified to obtain more flexibility and better precision. Triangulation software for establishing control points by using SAR images was also developed through a joint effort with the Defense Mapping Agency. The SAR triangulation system comprises four main programs, TRIDATA, MODDATA, TRISAR, and SHEAR. The first two programs are used to sort and update the data; the third program, the main one, performs iterative statistical adjustment; and the fourth program analyzes the results. Also, input are flight data and data from the Global Positioning System and Inertial System (navigation information). The SAR triangulation system was tested with six strips of STAR-1 radar images on a VAX-750 computer. Each strip contains images of 10 minutes flight time (equivalent to a ground distance of 73.5 km); the images cover a ground width of 22.5 km. All images were collected from the same side. With an input of 44 primary control points, 441 ground control points were produced. The adjustment process converged after eight iterations. With a 6-m/pixel resolution of the radar images, the triangulation adjustment has an average standard elevation error of 81 m. Development of Magellan radargrammetry will be continued to convert both SAR compilation and triangulation systems into digital form

Evaluation of Ocean Color Scanner (OCS) photographic and digital data: Santa Barbara Channel test site, 29 October 1975 overflight

A summary of Ocean Color Scanner data was examined to evaluate detection and discrimination capabilities of the system for marine resources, oil pollution and man-made sea surface targets of opportunity in the Santa Barbara Channel. Assessment of the utility of OCS for the determination of sediment transport patterns along the coastal zone was a secondary goal. Data products provided 1975 overflight were in digital and analog formats. In evaluating the OCS data, automated and manual procedures were employed. A total of four channels of data in digital format were analyzed, as well as three channels of color combined imagery, and four channels of black and white imagery. In addition, 1:120,000 scale color infrared imagery acquired simultaneously with the OCS data were provided for comparative analysis purposes

Topological Equivalence between the Fibonacci Quasicrystal and the Harper Model

One-dimensional quasiperiodic systems, such as the Harper model and the Fibonacci quasicrystal, have long been the focus of extensive theoretical and experimental research. Recently, the Harper model was found to be topologically nontrivial. Here, we derive a general model that embodies a continuous deformation between these seemingly unrelated models. We show that this deformation does not close any bulk gaps, and thus prove that these models are in fact topologically equivalent. Remarkably, they are equivalent regardless of whether the quasiperiodicity appears as an on-site or hopping modulation. This proves that these different models share the same boundary phenomena and explains past measurements. We generalize this equivalence to any Fibonacci-like quasicrystal, i.e., a cut and project in any irrational angle.Comment: 7 pages, 2 figures, minor change

Color-coded global topographic map of Mars

A Digital Terrain Model (DTM) was derived with both Mercator and Sinusoidal Equal-area projections from the global topographic map of Mars at a scale of 1:15 million and a contour interval of 1 km. Elevations on the map are referred to the Mars topographic datum that is defined by the gravity field at a 6.1-millibar pressure surface with respect to the center of mass of Mars. The DTM has a resolution at the equator of 1/59.226 degrees (exactly 1 km) per pixel. By using the DTM, color-coded global maps of Mars' topography were generated in both the Mercator projection and the Sinusoidal Equal-Area projection. On both maps, colors indicate 1 km increments of height. From the equal-are dataset, the positive and negative elevation distributions are calculated to be 67 and 33 percent, respectively

Mars elevation distribution

A Digital Terrain Model (DTM) of Mars was derived with both Mercator and Sinusoidal Equal-Area projections from the global topographic map of Mars (scale 1:15 million, contour interval 1 km). Elevations on the map are referred to Mars' topographic datum that is defined by the gravity field at a 6.1-millibar pressure surface with respect to the center of mass of Mars. The DTM has a resolution at the equator of 1/59.226 degrees (exactly 1 km) per pixel. By using the DTM, the volumetric distribution of Mars topography above and below the datum has previously been calculated. Three types of elevation distributions of Mars' topography were calculated from the same DTM: (1) the frequency distribution of elevations at the pixel resolution; (2) average elevations in increments of 6 degrees in both longitude and latitude; and (3) average elevations in 36 separate blocks, each covering 30 degrees of latitude and 60 degrees of longitude

Topology by dissipation

Topological states of fermionic matter can be induced by means of a suitably engineered dissipative dynamics. Dissipation then does not occur as a perturbation, but rather as the main resource for many-body dynamics, providing a targeted cooling into a topological phase starting from an arbitrary initial state. We explore the concept of topological order in this setting, developing and applying a general theoretical framework based on the system density matrix which replaces the wave function appropriate for the discussion of Hamiltonian ground-state physics. We identify key analogies and differences to the more conventional Hamiltonian scenario. Differences mainly arise from the fact that the properties of the spectrum and of the state of the system are not as tightly related as in a Hamiltonian context. We provide a symmetry-based topological classification of bulk steady states and identify the classes that are achievable by means of quasi-local dissipative processes driving into superfluid paired states. We also explore the fate of the bulk-edge correspondence in the dissipative setting, and demonstrate the emergence of Majorana edge modes. We illustrate our findings in one- and two-dimensional models that are experimentally realistic in the context of cold atoms.Comment: 61 pages, 8 figure

Probing the ejecta of evolved massive stars in transition: A VLT/SINFONI K-band survey

Massive evolved stars in transition phases, such as Luminous Blue Variables (LBVs), B[e] Supergiants (B[e]SGs), and Yellow Hypergiants (YHGs), are not well understood, and yet crucial steps in determining accurate stellar and galactic evolution models. The circumstellar environments of these stars reveal their mass-loss history, identifying clues to both their individual evolutionary status and the connection between objects of different phases. Here we present a survey of 25 such evolved massive stars (16 B[e]SGs, 6 LBVs, 2 YHGs, and 1 Peculiar Oe star), observed in the K-band with the Spectrograph for INtegral Field Observation in the Near-Infrared (SINFONI; R = 4500) on the ESO VLT UT4 8 m telescope. The sample can be split into two categories based on spectral morphology: one group includes all of the B[e]SGs, the Peculiar Oe star, and two of the LBVs, while the other includes the YHGs and the rest of the LBVs. The difference in LBV spectral appearance is due to some objects being in a quiescent phase and some objects being in an active or outburst phase. CO emission features are found in 13 of our targets, with first time detections for MWC 137, LHA 120-S 35, and LHA 115-S 65. From model fits to the CO band heads, the emitting regions appear to be detached from the stellar surface. Each star with ^12CO features also shows ^13CO emission, signaling an evolved nature. Based on the level of ^13C enrichment, we conclude that many of the B[e]SGs are likely in a pre-Red Supergiant phase of their evolution. There appears to be a lower luminosity limit of log L/L_solar = 5.0 below which CO is not detected. The lack of CO features in several high luminosity B[e]SGs and variability in others suggests that they may in fact be LBV candidates, strengthening the connection between these two very similar transition phases.Comment: 20 pages, 13 figures, 7 tables. Accepted for publication in A&