Beyond Worst-Case Analysis for Joins with Minesweeper

We describe a new algorithm, Minesweeper, that is able to satisfy stronger runtime guarantees than previous join algorithms (colloquially, `beyond worst-case guarantees') for data in indexed search trees. Our first contribution is developing a framework to measure this stronger notion of complexity, which we call {\it certificate complexity}, that extends notions of Barbay et al. and Demaine et al.; a certificate is a set of propositional formulae that certifies that the output is correct. This notion captures a natural class of join algorithms. In addition, the certificate allows us to define a strictly stronger notion of runtime complexity than traditional worst-case guarantees. Our second contribution is to develop a dichotomy theorem for the certificate-based notion of complexity. Roughly, we show that Minesweeper evaluates $\beta$-acyclic queries in time linear in the certificate plus the output size, while for any $\beta$-cyclic query there is some instance that takes superlinear time in the certificate (and for which the output is no larger than the certificate size). We also extend our certificate-complexity analysis to queries with bounded treewidth and the triangle query.Comment: [This is the full version of our PODS'2014 paper.

High frequency dynamics in a monatomic glass

The high frequency dynamics of glassy Selenium has been studied by Inelastic X-ray Scattering at beamline BL35XU (SPring-8). The high quality of the data allows one to pinpoint the existence of a dispersing acoustic mode for wavevectors ($Q$) of $1.5<Q<12.5$ nm$^{-1}$, helping to clarify a previous contradiction between experimental and numerical results. The sound velocity shows a positive dispersion, exceeding the hydrodynamic value by $\approx$ 10% at $Q<3.5$ nm$^{-1}$. The $Q^2$ dependence of the sound attenuation $\Gamma(Q)$, reported for other glasses, is found to be the low-$Q$ limit of a more general $\Gamma(Q) \propto \Omega(Q)^2$ law which applies also to the higher $Q$ region, where $\Omega(Q)\propto Q$ no longer holds.Comment: Phys. Rev. Lett. (Accepted

Do adults with high functioning autism or Asperger Syndrome differ in empathy and emotion recognition?

The present study examined whether adults with high functioning autism (HFA) showed greater difficulties in (i) their self-reported ability to empathise with others and/or (ii) their ability to read mental states in others’ eyes than adults with Asperger syndrome (AS). The Empathy Quotient (EQ) and ‘Reading the Mind in the Eyes’ Test (Eyes Test) were compared in 43 adults with AS and 43 adults with HFA. No significant difference was observed on EQ score between groups, while adults with AS performed significantly better on the Eyes Test than those with HFA. This suggests that adults with HFA may need more support, particularly in mentalizing and complex emotion recognition, and raises questions about the existence of subgroups within autism spectrum conditions

Brief report: how adolescents with ASD process social information in complex scenes. Combining evidence from eye movements and verbal descriptions

We investigated attention, encoding and processing of social aspects of complex photographic scenes. Twenty-four high-functioning adolescents (aged 11–16) with ASD and 24 typically developing matched control participants viewed and then described a series of scenes, each containing a person. Analyses of eye movements and verbal descriptions provided converging evidence that both groups displayed general interest in the person in each scene but the salience of the person was reduced for the ASD participants. Nevertheless, the verbal descriptions revealed that participants with ASD frequently processed the observed person’s emotion or mental state without prompting. They also often mentioned eye-gaze direction, and there was evidence from eye movements and verbal descriptions that gaze was followed accurately. The combination of evidence from eye movements and verbal descriptions provides a rich insight into the way stimuli are processed overall. The merits of using these methods within the same paradigm are discussed

Measuring Empathizing and Systemizing with a Large US Sample

A large number of people completed one of two versions of the empathizing quotient (EQ) and systemizing quotient (SQ). One version had the negatively phrased items all re-worded. These re-worded items were answered more rapidly than the original items, and for the SQ produced a more reliable scale. Subjects gave self-assessments of empathizing and systemizing, and these were moderately correlated, r≈.6, with their respective quotients. Females had on average higher empathizing scores and males had on average higher systemizing scores. If a female-male pair was chosen at random, the female would have the higher empathizing score about two-thirds of the time, and the males would have the higher systemizing score about two-thirds of the time

A behavioral comparison of male and female adults with high functioning autism spectrum conditions

Autism spectrum conditions (ASC) affect more males than females in the general population. However, within ASC it is unclear if there are phenotypic sex differences. Testing for similarities and differences between the sexes is important not only for clinical assessment but also has implications for theories of typical sex differences and of autism. Using cognitive and behavioral measures, we investigated similarities and differences between the sexes in age- and IQ-matched adults with ASC (high-functioning autism or Asperger syndrome). Of the 83 (45 males and 38 females) participants, 62 (33 males and 29 females) met Autism Diagnostic Interview-Revised (ADI-R) cut-off criteria for autism in childhood and were included in all subsequent analyses. The severity of childhood core autism symptoms did not differ between the sexes. Males and females also did not differ in self-reported empathy, systemizing, anxiety, depression, and obsessive-compulsive traits/symptoms or mentalizing performance. However, adult females with ASC showed more lifetime sensory symptoms (p = 0.036), fewer current socio-communication difficulties (p = 0.001), and more self-reported autistic traits (p = 0.012) than males. In addition, females with ASC who also had developmental language delay had lower current performance IQ than those without developmental language delay (p<0.001), a pattern not seen in males. The absence of typical sex differences in empathizing-systemizing profiles within the autism spectrum confirms a prediction from the extreme male brain theory. Behavioral sex differences within ASC may also reflect different developmental mechanisms between males and females with ASC. We discuss the importance of the superficially better socio-communication ability in adult females with ASC in terms of why females with ASC may more often go under-recognized, and receive their diagnosis later, than males