31,890 research outputs found

    Bell's inequality and the coincidence-time loophole

    Get PDF
    This paper analyzes effects of time-dependence in the Bell inequality. A generalized inequality is derived for the case when coincidence and non-coincidence [and hence whether or not a pair contributes to the actual data] is controlled by timing that depends on the detector settings. Needless to say, this inequality is violated by quantum mechanics and could be violated by experimental data provided that the loss of measurement pairs through failure of coincidence is small enough, but the quantitative bound is more restrictive in this case than in the previously analyzed "efficiency loophole."Comment: revtex4, 3 figures, v2: epl document class, reformatted w slight change

    A geometric proof of the Kochen-Specker no-go theorem

    Full text link
    We give a short geometric proof of the Kochen-Specker no-go theorem for non-contextual hidden variables models. Note added to this version: I understand from Jan-Aake Larsson that the construction we give here actually contains the original Kochen-Specker construction as well as many others (Bell, Conway and Kochen, Schuette, perhaps also Peres).Comment: This paper appeared some years ago, before the author was aware of quant-ph. It is relevant to recent developments concerning Kochen-Specker theorem

    Comment on "Exclusion of time in the theorem of Bell" by K. Hess and W. Philipp

    Full text link
    A recent Letter by Hess and Philipp claims that Bell's theorem neglects the possibility of time-like dependence in local hidden variables, hence is not conclusive. Moreover the authors claim that they have constructed, in an earlier paper, a local realistic model of the EPR correlations. However, they themselves have neglected the experimenter's freedom to choose settings, while on the other hand, Bell's theorem can be formulated to cope with time-like dependence. This in itself proves that their toy model cannot satisfy local realism, but we also indicate where their proof of its local realistic nature fails.Comment: Latex needs epl.cl

    Longitudinal flying qualities criteria for single-pilot instrument flight operations

    Get PDF
    Modern estimation and control theory, flight testing, and statistical analysis were used to deduce flying qualities criteria for General Aviation Single Pilot Instrument Flight Rule (SPIFR) operations. The principal concern is that unsatisfactory aircraft dynamic response combined with high navigation/communication workload can produce problems of safety and efficiency. To alleviate these problems. The relative importance of these factors must be determined. This objective was achieved by flying SPIFR tasks with different aircraft dynamic configurations and assessing the effects of such variations under these conditions. The experimental results yielded quantitative indicators of pilot's performance and workload, and for each of them, multivariate regression was applied to evaluate several candidate flying qualities criteria

    Large dimensional classical groups and linear spaces

    Get PDF
    Suppose that a group GG has socle LL a simple large-rank classical group. Suppose furthermore that GG acts transitively on the set of lines of a linear space S\mathcal{S}. We prove that, provided LL has dimension at least 25, then GG acts transitively on the set of flags of S\mathcal{S} and hence the action is known. For particular families of classical groups our results hold for dimension smaller than 25. The group theoretic methods used to prove the result (described in Section 3) are robust and general and are likely to have wider application in the study of almost simple groups acting on finite linear spaces.Comment: 32 pages. Version 2 has a new format that includes less repetition. It also proves a slightly stronger result; with the addition of our "Concluding Remarks" section the result holds for dimension at least 2

    The cognitive demands of second order manual control: Applications of the event related brain potential

    Get PDF
    Three experiments are described in which tracking difficulty is varied in the presence of a covert tone discrimination task. Event related brain potentials (ERPs) elicited by the tones are employed as an index of the resource demands of tracking. The ERP measure reflected the control order variation, and this variable was thereby assumed to compete for perceptual/central processing resources. A fine-grained analysis of the results suggested that the primary demands of second order tracking involve the central processing operations of maintaining a more complex internal model of the dynamic system, rather than the perceptual demands of higher derivative perception. Experiment 3 varied tracking bandwidth in random input tracking, and the ERP was unaffected. Bandwidth was then inferred to compete for response-related processing resources that are independent of the ERP

    Thin-film GaAs photovoltaic solar energy cells Final report

    Get PDF
    Thin film gallium arsenide photovoltaic solar cell

    Fibrational induction meets effects

    Get PDF
    This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring
    • …
    corecore