Reply to Comments of Bassi, Ghirardi, and Tumulka on the Free Will Theorem

We show that the authors in the title have erred in claiming that our axiom FIN is false by conflating it with Bell locality. We also argue that the predictions of quantum mechanics, and in particular EPR, are fully Lorentz invariant, whereas the Free Will Theorem shows that theories with a mechanism of reduction, such as GRW, cannot be made fully invariant.Comment: We sharpen our theorem by replacing axiom FIN by a weaker axiom MIN to answer the above authors' objection

Random template banks and relaxed lattice coverings

Template-based searches for gravitational waves are often limited by the computational cost associated with searching large parameter spaces. The study of efficient template banks, in the sense of using the smallest number of templates, is therefore of great practical interest. The "traditional" approach to template-bank construction requires every point in parameter space to be covered by at least one template, which rapidly becomes inefficient at higher dimensions. Here we study an alternative approach, where any point in parameter space is covered only with a given probability < 1. We find that by giving up complete coverage in this way, large reductions in the number of templates are possible, especially at higher dimensions. The prime examples studied here are "random template banks", in which templates are placed randomly with uniform probability over the parameter space. In addition to its obvious simplicity, this method turns out to be surprisingly efficient. We analyze the statistical properties of such random template banks, and compare their efficiency to traditional lattice coverings. We further study "relaxed" lattice coverings (using Zn and An* lattices), which similarly cover any signal location only with probability < 1. The relaxed An* lattice is found to yield the most efficient template banks at low dimensions (n < 10), while random template banks increasingly outperform any other method at higher dimensions.Comment: 13 pages, 10 figures, submitted to PR

High-resolution observation of the Venus dayglow spectrum 1250-1430 angstroms

The spectrum of the dayglow of Venus between 1250 and 1430 A was measured in high resolution with the International Ultraviolet Explorer. Seven exposures which were made with the short wavelength camera in the high dispersion mode using the large aperture were combined to give a total exposure time of 309 min. The atomic oxygen lines at 1302.2, 1304.9, 1306.0, and 1355.6 A are present. In addition, the (14,3) and (14,4) bands of the carbon monoxide fourth positive system at 1317 and 1354 A respectively are identified. These bands are compared with synthetic spectra, showing the excitation mechanism to be fluorescent scattering of solar Lyman alpha radiation

Seasonal observation of Mars

The International Ultraviolet Explorer detected the Hartley bands of ozone in the spectrum of Mars. Seasonal observations show a variation in the north consistent with the measurement of Mariner 9. Observations during Martian late fall in the south were also made

Déjà vu and the entorhinal cortex: dissociating recollective from familiarity disruptions in a single case patient

Past research has demonstrated a relationship between déjà vu and the entorhinal cortex in patients with wider medial temporal lobe damage. The aim of the present research was to investigate this crucial link in a patient (MR) with a selective lesion to the left lateral entorhinal cortex to provide a more direct exploration of this relationship. Two experiments investigated the experiences of déjà vécu (using the IDEA questionnaire) and déjà vu (using an adapted DRM paradigm) in MR and a set of matched controls. The results demonstrated that MR had quantitatively more and qualitatively richer recollective experiences of déjà vécu. In addition, under laboratory-based déjà vu conditions designed to elicit both false recollection (critical lures) and false familiarity (weakly-associated lures), MR only revealed greater memory impairments for the latter. The present results are therefore the first to demonstrate a direct relationship between the entorhinal cortex and the experience of both déjà vu and déjà vécu. They furthermore suggest that the entorhinal cortex is involved in both weakly-associative false memory as well as strongly-associative memory under conditions that promote familiarity-based processing

The Primary Pretenders

We call a composite number q such that there exists a positive integer b with b^p == b (mod q) a prime pretender to base b. The least prime pretender to base b is the primary pretender q_b. It is shown that there are only 132 distinct primary pretenders, and that q_b is a periodic function of b whose period is the 122-digit number 19568584333460072587245340037736278982017213829337604336734362- 294738647777395483196097971852999259921329236506842360439300.Comment: 7 page

Enumeration of self avoiding trails on a square lattice using a transfer matrix technique

We describe a new algebraic technique, utilising transfer matrices, for enumerating self-avoiding lattice trails on the square lattice. We have enumerated trails to 31 steps, and find increased evidence that trails are in the self-avoiding walk universality class. Assuming that trails behave like $A \lambda ^n n^{11 \over 32}$, we find $\lambda = 2.72062 \pm 0.000006$ and $A = 1.272 \pm 0.002$.Comment: To be published in J. Phys. A:Math Gen. Pages: 16 Format: RevTe

Tele-autonomous control involving contacts: The applications of a high precision laser line range sensor

The object localization algorithm based on line-segment matching is presented. The method is very simple and computationally fast. In most cases, closed-form formulas are used to derive the solution. The method is also quite flexible, because only few surfaces (one or two) need to be accessed (sensed) to gather necessary range data. For example, if the line-segments are extracted from boundaries of a planar surface, only parameters of one surface and two of its boundaries need to be extracted, as compared with traditional point-surface matching or line-surface matching algorithms which need to access at least three surfaces in order to locate a planar object. Therefore, this method is especially suitable for applications when an object is surrounded by many other work pieces and most of the object is very difficult, is not impossible, to be measured; or when not all parts of the object can be reached. The theoretical ground on how to use line range sensor to located an object was laid. Much work has to be done in order to be really useful