BPS Spectrum of Supersymmetric CP(N-1) Theory with Z_N Twisted Masses

We revisit the BPS spectrum of the supersymmetric CP(N-1) two-dimensional model with Z_N-symmetric twisted masses m_l (l=0,1, ..., N-1). A related issue we address is that of the curves of marginal stability (CMS) in this theory. Previous analyses were incomplete. We close the gap by exploiting a number of consistency conditions. In particular, we amend the Dorey formula for the BPS spectrum. Our analysis is based on the exact Veneziano--Yankielowicz-type superpotential and on the strong-coupling spectrum of the theory found from the mirror representation at small masses, |m_l| << \Lambda . We show that at weak coupling the spectrum, with necessity, must include N-1 BPS towers of states, instead of just one, as was thought before. Only one of the towers is seen in the quasiclassical limit. We find the corresponding CMS for these towers, and argue that in the large-N limit they become circles, filling out a band on the plane of a single mass parameter of the model at hand. Inside the CMS, N-1 towers collapse into N stable states.Comment: 40 pages, 14 figures; minor correction

Anatomical information science

The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. It is further distinguished from other maps in that it represents not some specific portion of spatial reality (say: Leeds in 1996), but rather the generalized or idealized spatial reality associated with a generalized or idealized human being at some generalized or idealized instant of time. It will be our concern in what follows to outline the approach to ontology that is represented by the FMA and to argue that it can serve as the basis for a new type of anatomical information science. We also draw some implications for our understanding of spatial reasoning and spatial ontologies in general

A qualitative approach to the identification, visualisation and interpretation of repetitive motion patterns in groups of moving point objects

Discovering repetitive patterns is important in a wide range of research areas, such as bioinformatics and human movement analysis. This study puts forward a new methodology to identify, visualise and interpret repetitive motion patterns in groups of Moving Point Objects (MPOs). The methodology consists of three steps. First, motion patterns are qualitatively described using the Qualitative Trajectory Calculus (QTC). Second, a similarity analysis is conducted to compare motion patterns and identify repetitive patterns. Third, repetitive motion patterns are represented and interpreted in a continuous triangular model. As an illustration of the usefulness of combining these hitherto separated methods, a specific movement case is examined: Samba dance, a rhythmical dance will? many repetitive movements. The results show that the presented methodology is able to successfully identify, visualize and interpret the contained repetitive motions

Spatial Aggregation: Theory and Applications

Visual thinking plays an important role in scientific reasoning. Based on the research in automating diverse reasoning tasks about dynamical systems, nonlinear controllers, kinematic mechanisms, and fluid motion, we have identified a style of visual thinking, imagistic reasoning. Imagistic reasoning organizes computations around image-like, analogue representations so that perceptual and symbolic operations can be brought to bear to infer structure and behavior. Programs incorporating imagistic reasoning have been shown to perform at an expert level in domains that defy current analytic or numerical methods. We have developed a computational paradigm, spatial aggregation, to unify the description of a class of imagistic problem solvers. A program written in this paradigm has the following properties. It takes a continuous field and optional objective functions as input, and produces high-level descriptions of structure, behavior, or control actions. It computes a multi-layer of intermediate representations, called spatial aggregates, by forming equivalence classes and adjacency relations. It employs a small set of generic operators such as aggregation, classification, and localization to perform bidirectional mapping between the information-rich field and successively more abstract spatial aggregates. It uses a data structure, the neighborhood graph, as a common interface to modularize computations. To illustrate our theory, we describe the computational structure of three implemented problem solvers -- KAM, MAPS, and HIPAIR --- in terms of the spatial aggregation generic operators by mixing and matching a library of commonly used routines.Comment: See http://www.jair.org/ for any accompanying file

Assessing the impact of representational and contextual problem features on student use of right-hand rules

Students in introductory physics struggle with vector algebra and these challenges are often associated with contextual and representational features of the problems. Performance on problems about cross product direction is particularly poor and some research suggests that this may be primarily due to misapplied right-hand rules. However, few studies have had the resolution to explore student use of right-hand rules in detail. This study reviews literature in several disciplines, including spatial cognition, to identify ten contextual and representational problem features that are most likely to influence performance on problems requiring a right-hand rule. Two quantitative measures of performance (correctness and response time) and two qualitative measures (methods used and type of errors made) were used to explore the impact of these problem features on student performance. Quantitative results are consistent with expectations from the literature, but reveal that some features (such as the type of reasoning required and the physical awkwardness of using a right-hand rule) have a greater impact than others (such as whether the vectors are placed together or separate). Additional insight is gained by the qualitative analysis, including identifying sources of difficulty not previously discussed in the literature and revealing that the use of supplemental methods, such as physically rotating the paper, can mitigate errors associated with certain features

A proposition of 3D inertial tolerancing to consider the statistical combination of the location and orientation deviations

Tolerancing of assembly mechanisms is a major interest in the product life cycle. One can distinguish several models with growing complexity, from 1-dimensional (1D) to 3-dimensional (3D) (including form deviations), and two main tolerancing assumptions, the worst case and the statistical hypothesis. This paper presents an approach to 3D statistical tolerancing using a new acceptance criterion. Our approach is based on the 1D inertial acceptance criterion that is extended to 3D and form acceptance. The modal characterisation is used to describe the form deviation of a geometry as the combination of elementary deviations (location, orientation and form). The proposed 3D statistical tolerancing is applied on a simple mechanism with lever arm. It is also compared to the traditional worst-case tolerancing using a tolerance zone