Models for the Effects of G-seat Cuing on Roll-axis Tracking Performance

Including whole-body motion in a flight simulator improves performance for a variety of tasks requiring a pilot to compensate for the effects of unexpected disturbances. A possible mechanism for this improvement is that whole-body motion provides high derivative vehicle state information whic allows the pilot to generate more lead in responding to the external disturbances. During development of motion simulating algorithms for an advanced g-cuing system it was discovered that an algorithm based on aircraft roll acceleration producted little or no performance improvement. On the other hand, algorithms based on roll position or roll velocity produced performance equivalent to whole-body motion. The analysis and modeling conducted at both the sensory system and manual control performance levels to explain the above results are described

Experimental demonstration of a measurement-based realisation of a quantum channel

We introduce and experimentally demonstrate a method for realising a quantum channel using the measurement-based model. Using a photonic setup and modifying the bases of single-qubit measurements on a four-qubit entangled cluster state, representative channels are realised for the case of a single qubit in the form of amplitude and phase damping channels. The experimental results match the theoretical model well, demonstrating the successful performance of the channels. We also show how other types of quantum channels can be realised using our approach. This work highlights the potential of the measurement-based model for realising quantum channels which may serve as building blocks for simulations of realistic open quantum systems.Comment: 8 pages, 4 figure

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201

Finite-Size Scaling of the Domain Wall Entropy Distributions for the 2D ±J\pm J Ising Spin Glass

The statistics of domain walls for ground states of the 2D Ising spin glass with +1 and -1 bonds are studied for $L \times L$ square lattices with $L \le 48$, and $p$ = 0.5, where $p$ is the fraction of negative bonds, using periodic and/or antiperiodic boundary conditions. When $L$ is even, almost all domain walls have energy $E_{dw}$ = 0 or 4. When $L$ is odd, most domain walls have $E_{dw}$ = 2. The probability distribution of the entropy, $S_{dw}$, is found to depend strongly on $E_{dw}$. When $E_{dw} = 0$, the probability distribution of $|S_{dw}|$ is approximately exponential. The variance of this distribution is proportional to $L$, in agreement with the results of Saul and Kardar. For $E_{dw} = k > 0$ the distribution of $S_{dw}$ is not symmetric about zero. In these cases the variance still appears to be linear in $L$, but the average of $S_{dw}$ grows faster than $\sqrt{L}$. This suggests a one-parameter scaling form for the $L$-dependence of the distributions of $S_{dw}$ for $k > 0$.Comment: 13 page

On the Use of Finite-Size Scaling to Measure Spin-Glass Exponents

Finite-size scaling (FSS) is a standard technique for measuring scaling exponents in spin glasses. Here we present a critique of this approach, emphasizing the need for all length scales to be large compared to microscopic scales. In particular we show that the replacement, in FSS analyses, of the correlation length by its asymptotic scaling form can lead to apparently good scaling collapses with the wrong values of the scaling exponents.Comment: RevTeX, 5 page

Long-term health outcomes after exposure to repeated concussion in elite level: rugby union players

Background: There is continuing concern about effects of concussion in athletes, including risk of the neurodegenerative disease chronic traumatic encephalopathy. However, information on long-term health and wellbeing in former athletes is limited. Method: Outcome after exposure to repeated brain injury was investigated in 52 retired male Scottish international rugby players (RIRP) and 29 male controls who were similar in age and social deprivation. Assessment included history of playing rugby and traumatic brain injury, general and mental health, life stress, concussion symptoms, cognitive function, disability and markers of chronic stress (allostatic load). Results: The estimated number of concussions in RIRP averaged 14 (median=7; IQR 5-40). Performance was poorer in RIRP than controls on a test of verbal learning (p=0.022) and of fine co-ordination of the dominant hand (p=0.038) and not significantly different on other cognitive tests (p>0.05). There were no significant associations between number of concussions and performance on cognitive tests. Other than a higher incidence of cardiovascular disease in controls, no group differences were detected in general or mental health or estimates of allostatic load. In RIRP, persisting symptoms attributed to concussion were more common if reporting more than nine concussions (p=0.028), although these symptoms were not perceived to affect social or work functioning. Conclusions: Despite a high number of concussions in RIRP, differences in mental health, social or work functioning were not found late after injury. Subtle group differences were detected on two cognitive tests, the cause of which is uncertain. Prospective group comparison studies on representative cohorts are required

Planets in triple star systems--the case of HD188753

We consider the formation of the recently discovered ``hot Jupiter'' planet orbiting the primary component of the triple star system HD188753. Although the current outer orbit of the triple is too tight for a Jupiter-like planet to have formed and migrated to its current location, the binary may have been much wider in the past. We assume here that the planetary system formed in an open star cluster, the dynamical evolution of which subsequently led to changes in the system's orbital parameters and binary configuration. We calculate cross sections for various scenarios that could have led to the multiple system currently observed, and conclude that component A of HD188753 with its planet were most likely formed in isolation to be swapped in a triple star system by a dynamical encounter in an open star cluster. We estimate that within 500pc of the Sun there are about 1200 planetary systems which, like Hd188753, have orbital parameters unfavorable for forming planets but still having a planet, making it quite possible that the HD188753 system was indeed formed by a dynamical encounter in an open star cluster.Comment: ApJ Letters in pres

Guessing probability distributions from small samples

We propose a new method for the calculation of the statistical properties, as e.g. the entropy, of unknown generators of symbolic sequences. The probability distribution $p(k)$ of the elements $k$ of a population can be approximated by the frequencies $f(k)$ of a sample provided the sample is long enough so that each element $k$ occurs many times. Our method yields an approximation if this precondition does not hold. For a given $f(k)$ we recalculate the Zipf--ordered probability distribution by optimization of the parameters of a guessed distribution. We demonstrate that our method yields reliable results.Comment: 10 pages, uuencoded compressed PostScrip

Statistics of lowest excitations in two dimensional Gaussian spin glasses

A detailed investigation of lowest excitations in two-dimensional Gaussian spin glasses is presented. We show the existence of a new zero-temperature exponent lambda describing the relative number of finite-volume excitations with respect to large-scale ones. This exponent yields the standard thermal exponent of droplet theory theta through the relation, theta=d(lambda-1). Our work provides a new way to measure the thermal exponent theta without any assumption about the procedure to generate typical low-lying excitations. We find clear evidence that theta < theta_{DW} where theta_{DW} is the thermal exponent obtained in domain-wall theory showing that MacMillan excitations are not typical.Comment: 4 pages, 3 figures, (v2) revised version, (v3) corrected typo