Sized Types for low-level Quantum Metaprogramming

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types, supports subtyping over register sizes and is moreover type-safe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.Comment: Presented at Reversible Computation 2019. Final authenticated publication is available online at https://doi.org/10.1007/978-3-030-21500-2_

Attainment rate as a surrogate indicator of the intervertebral neutral zone length in lateral bending: An in vitro proof of concept study

Background Lumbar segmental instability is often considered to be a cause of chronic low back pain. However, defining its measurement has been largely limited to laboratory studies. These have characterised segmental stability as the intrinsic resistance of spine specimens to initial bending moments by quantifying the dynamic neutral zone. However these measurements have been impossible to obtain in vivo without invasive procedures, preventing the assessment of intervertebral stability in patients. Quantitative fluoroscopy (QF), measures the initial velocity of the attainment of intervertebral rotational motion in patients, which may to some extent be representative of the dynamic neutral zone. This study sought to explore the possible relationship between the dynamic neutral zone and intervertebral rotational attainment rate as measured with (QF) in an in vitro preparation. The purpose was to find out if further work into this concept is worth pursuing. Method This study used passive recumbent QF in a multi-segmental porcine model. This assessed the intrinsic intervertebral responses to a minimal coronal plane bending moment as measured with a digital force guage. Bending moments about each intervertebral joint were calculated and correlated with the rate at which global motion was attained at each intervertebral segment in the first 10° of global motion where the intervertebral joint was rotating. Results Unlike previous studies of single segment specimens, a neutral zone was found to exist during lateral bending. The initial attainment rates for left and right lateral flexion were comparable to previously published in vivo values for healthy controls. Substantial and highly significant levels of correlation between initial attainment rate and neutral zone were found for left (Rho = 0.75, P = 0.0002) and combined left-right bending (Rho = 0.72, P = 0.0001) and moderate ones for right alone (Rho = 0.55, P = 0.0012). Conclusions This study found good correlation between the initial intervertebral attainment rate and the dynamic neutral zone, thereby opening the possibility to detect segmental instability from clinical studies. However the results must be treated with caution. Further studies with multiple specimens and adding sagittal plane motion are warranted

Implementing Grover Oracles for Quantum Key Search on AES and LowMC

Grover's search algorithm gives a quantum attack against block ciphers by searching for a key that matches a small number of plaintext-ciphertext pairs. This attack uses $O(\sqrt{N})$ calls to the cipher to search a key space of size $N$. Previous work in the specific case of AES derived the full gate cost by analyzing quantum circuits for the cipher, but focused on minimizing the number of qubits. In contrast, we study the cost of quantum key search attacks under a depth restriction and introduce techniques that reduce the oracle depth, even if it requires more qubits. As cases in point, we design quantum circuits for the block ciphers AES and LowMC. Our circuits give a lower overall attack cost in both the gate count and depth-times-width cost models. In NIST's post-quantum cryptography standardization process, security categories are defined based on the concrete cost of quantum key search against AES. We present new, lower cost estimates for each category, so our work has immediate implications for the security assessment of post-quantum cryptography. As part of this work, we release Q# implementations of the full Grover oracle for AES-128, -192, -256 and for the three LowMC instantiations used in Picnic, including unit tests and code to reproduce our quantum resource estimates. To the best of our knowledge, these are the first two such full implementations and automatic resource estimations.Comment: 36 pages, 8 figures, 14 table

First Neutrino Observations from the Sudbury Neutrino Observatory

The first neutrino observations from the Sudbury Neutrino Observatory are presented from preliminary analyses. Based on energy, direction and location, the data in the region of interest appear to be dominated by 8B solar neutrinos, detected by the charged current reaction on deuterium and elastic scattering from electrons, with very little background. Measurements of radioactive backgrounds indicate that the measurement of all active neutrino types via the neutral current reaction on deuterium will be possible with small systematic uncertainties. Quantitative results for the fluxes observed with these reactions will be provided when further calibrations have been completed.Comment: Latex, 7 pages, 10 figures, Invited paper at Neutrino 2000 Conference, Sudbury, Canada, June 16-21, 2000 to be published in the Proceeding

Assessing the adequacy of self-reported alcohol abuse measurement across time and ethnicity: cross-cultural equivalence across Hispanics and Caucasians in 1992, non-equivalence in 2001–2002

<p>Abstract</p> <p>Background</p> <p>Do estimates of alcohol abuse reflect true levels across United States Hispanics and non-Hispanic Caucasians, or does culturally-based, systematic measurement error (i.e., measurement bias) affect estimates? Likewise, given that recent estimates suggest alcohol abuse has increased among US Hispanics, the field should also ask, "Does cross-ethnic change in alcohol abuse across time reflect true change or does measurement bias influence change estimates?"</p> <p>Methods</p> <p>To address these questions, I used confirmatory factor analyses for ordered-categorical measures to probe for measurement bias on two large, standardized, nationally representative, US surveys of alcohol abuse conducted in 1992 and 2001–2002. In 2001–2002, analyses investigated whether 10 items operationalizing DSM-IV alcohol abuse provided equivalent measurement across Hispanic (<it>n </it>= 4,893) and non-Hispanic Caucasians (<it>n </it>= 16,480). In 1992, analyses examined whether a reduced 6 item item-set provided equivalent measurement among 834 Hispanic and 14,8335 non-Hispanic Caucasians.</p> <p>Results</p> <p>In 1992, findings demonstrated statistically significant measurement bias for two items. However, sensitivity analyses showed that item-level bias did not appreciably bias item-set based alcohol abuse estimates among this cohort. For 2001–2002, results demonstrated statistically significant bias for seven items, suggesting caution regarding the cross-ethnic equivalence of alcohol abuse estimates among the current US Hispanic population. Sensitivity analyses indicated that item-level differences <it>did </it>erroneously impact alcohol abuse rates in 2001–2002, underestimating rates among Hispanics relative to Caucasians.</p> <p>Conclusion</p> <p>1992's item-level findings suggest that estimates of drinking related social or legal problems may underestimate these specific problems among Hispanics. However, impact analyses indicated no appreciable effect on alcohol abuse estimates resulting from the item-set. Efforts to monitor change in alcohol abuse diagnoses among the Hispanic community can use 1992 estimates as a valid baseline. In 2001–2002, item-level measurement bias on seven items did affect item-set based estimates. Bias underestimated Hispanics' self-reported alcohol abuse levels relative to non-Hispanic Caucasians. Given the cross-ethnic equivalence of 1992 estimates, bias in 2001–2002 speciously minimizes current increases in drinking behavior evidenced among Hispanics. Findings call for increased public health efforts among the Hispanic community and underscore the necessity for cultural sensitivity when generalizing measures developed in the majority to minorities.</p

A Psychometric Analysis of the Revised Child Anxiety and Depression Scales—Parent Version in a School Sample

The Revised Child Anxiety and Depression Scale—Parent Version (RCADS-P) is a parent-report questionnaire of youth anxiety and depression with scales corresponding to the DSM diagnoses of separation anxiety disorder, social phobia, generalized anxiety disorder, panic disorder, obsessive-compulsive disorder, and major depressive disorder. The RCADS-P was recently developed and has previously demonstrated strong psychometric properties in a clinic-referred sample (Ebesutani et al., Journal of Abnormal Child Psychology 38, 249–260, 2010b). The present study examined the psychometric properties of the RCADS-P in a school-based population. As completed by parents of 967 children and adolescents, the RCADS-P demonstrated high internal consistency, test-retest reliability, and good convergent/divergent validity, supporting the RCADS-P as a measure of internalizing problems specific to depression and five anxiety disorders in school samples. Normative data are also reported to allow for the derivation of T-scores to enhance clinicians’ ability to make classification decisions using RCADS-P subscale scores

Trajectories of Early Adolescent Loneliness: Implications for Physical Health and Sleep

The current study examines the relationship between prolonged loneliness, physical health, and sleep among young adolescents (10–13 years; N = 1214; 53% girls). Loneliness was measured at 10, 12 and 13 years of age along with parent-reported health and sleep outcomes. Using growth mixture modelling, 6 distinct trajectories were identified: ‘low increasing to high loneliness’ (n = 23, 2%), ‘high reducing loneliness’ (n = 28, 3%), ‘medium stable loneliness’ (n = 60, 5%), ‘medium reducing loneliness’ (n = 185, 15%), ‘low increasing to medium loneliness’ (n = 165, 14%), and ‘low stable loneliness’ (n = 743, 61%). Further analyses found non-significant differences between the loneliness trajectories and parent-report health and sleep outcomes including visits to health professionals, perceived general health, and sleep quality. The current study offers an important contribution to the literature on loneliness and health. Results show that the relationship may not be evident in early adolescence when parent reports of children’s health are used. The current study highlights the importance of informant choice when reporting health. The implications of the findings for future empirical work are discussed

Broad and narrow personality traits as markers of one-time and repeated suicide attempts: A population-based study

<p>Abstract</p> <p>Background</p> <p>Studying personality traits with the potential to differentiate between individuals engaging in suicide attempts of different degrees of severity could help us to understand the processes underlying the link of personality and nonfatal suicidal behaviours and to identify at-risk groups. One approach may be to examine whether narrow, i.e., lower-order personality traits may be more useful than their underlying, broad personality trait dimensions.</p> <p>Methods</p> <p>We investigated qualitative and quantitative differences in broad and narrow personality traits between one-time and repeated suicide attempters in a longitudinal, population-based sample of young French Canadian adults using two multivariate regression models.</p> <p>Results</p> <p>One broad (Compulsivity: OR = 2.0; 95% CI 1.2–3.5) and one narrow personality trait (anxiousness: OR = 1.1; 95% CI 1.01–1.1) differentiated between individuals with histories of repeated and one-time suicide attempts. Affective instability [(OR = 1.1; 95% CI 1.04–1.1)] and anxiousness [(OR = .92; 95% CI .88–.95)], on the other hand, differentiated between nonattempters and one-time suicide attempters.</p> <p>Conclusion</p> <p>Emotional and cognitive dysregulation and associated behavioural manifestations may be associated with suicide attempts of different severity. While findings associated with narrow traits may be easier to interpret and link to existing sociobiological theories, larger effect sizes associated with broad traits such as Compulsivity may be better suited to objectives with a more clinical focus.</p