Reverse mathematics of matroids

Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basis theorems for matroids and enumerated matroids. Next, using Weihrauch reducibility, we relate the basis results to combinatorial choice principles and statements about vector spaces. Finally, we formalize some of the Weihrauch reductions to extract related reverse mathematics results. In particular, we show that the existence of bases for vector spaces of bounded dimension is equivalent to the induction scheme for \Sigma^0_2 formulas

Predicting mental imagery based BCI performance from personality, cognitive profile and neurophysiological patterns

Mental-Imagery based Brain-Computer Interfaces (MI-BCIs) allow their users to send commands to a computer using their brain-activity alone (typically measured by ElectroEncephaloGraphy— EEG), which is processed while they perform specific mental tasks. While very promising, MI-BCIs remain barely used outside laboratories because of the difficulty encountered by users to control them. Indeed, although some users obtain good control performances after training, a substantial proportion remains unable to reliably control an MI-BCI. This huge variability in user-performance led the community to look for predictors of MI-BCI control ability. However, these predictors were only explored for motor-imagery based BCIs, and mostly for a single training session per subject. In this study, 18 participants were instructed to learn to control an EEG-based MI-BCI by performing 3 MI-tasks, 2 of which were non-motor tasks, across 6 training sessions, on 6 different days. Relationships between the participants’ BCI control performances and their personality, cognitive profile and neurophysiological markers were explored. While no relevant relationships with neurophysiological markers were found, strong correlations between MI-BCI performances and mental-rotation scores (reflecting spatial abilities) were revealed. Also, a predictive model of MI-BCI performance based on psychometric questionnaire scores was proposed. A leave-one-subject-out cross validation process revealed the stability and reliability of this model: it enabled to predict participants’ performance with a mean error of less than 3 points. This study determined how users’ profiles impact their MI-BCI control ability and thus clears the way for designing novel MI-BCI training protocols, adapted to the profile of each user

Does special relativity theory tell us anything new about space and time?

It will be shown that, in comparison with the pre-relativistic Galileo-invariant conceptions, special relativity tells us nothing new about the geometry of spacetime. It simply calls something else "spacetime", and this something else has different properties. All statements of special relativity about those features of reality that correspond to the original meaning of the terms "space" and "time" are identical with the corresponding traditional pre-relativistic statements. It will be also argued that special relativity and Lorentz theory are completely identical in both senses, as theories about spacetime and as theories about the behavior of moving physical objects.Comment: 26 pages, LaTeX, new passages adde

The effect of Ku on telomere replication time is mediated by telomere length but is independent of histone tail acetylation

Peer reviewedPublisher PD

Diabetes prevalence and diagnosis in US states: analysis of health surveys

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

A primary care, multi-disciplinary disease management program for opioid-treated patients with chronic non-cancer pain and a high burden of psychiatric comorbidity

BACKGROUND: Chronic non-cancer pain is a common problem that is often accompanied by psychiatric comorbidity and disability. The effectiveness of a multi-disciplinary pain management program was tested in a 3 month before and after trial. METHODS: Providers in an academic general medicine clinic referred patients with chronic non-cancer pain for participation in a program that combined the skills of internists, clinical pharmacists, and a psychiatrist. Patients were either receiving opioids or being considered for opioid therapy. The intervention consisted of structured clinical assessments, monthly follow-up, pain contracts, medication titration, and psychiatric consultation. Pain, mood, and function were assessed at baseline and 3 months using the Brief Pain Inventory (BPI), the Center for Epidemiological Studies-Depression Scale scale (CESD) and the Pain Disability Index (PDI). Patients were monitored for substance misuse. RESULTS: Eighty-five patients were enrolled. Mean age was 51 years, 60% were male, 78% were Caucasian, and 93% were receiving opioids. Baseline average pain was 6.5 on an 11 point scale. The average CESD score was 24.0, and the mean PDI score was 47.0. Sixty-three patients (73%) completed 3 month follow-up. Fifteen withdrew from the program after identification of substance misuse. Among those completing 3 month follow-up, the average pain score improved to 5.5 (p = 0.003). The mean PDI score improved to 39.3 (p < 0.001). Mean CESD score was reduced to 18.0 (p < 0.001), and the proportion of depressed patients fell from 79% to 54% (p = 0.003). Substance misuse was identified in 27 patients (32%). CONCLUSIONS: A primary care disease management program improved pain, depression, and disability scores over three months in a cohort of opioid-treated patients with chronic non-cancer pain. Substance misuse and depression were common, and many patients who had substance misuse identified left the program when they were no longer prescribed opioids. Effective care of patients with chronic pain should include rigorous assessment and treatment of these comorbid disorders and intensive efforts to insure follow up

Asymmetrical Gene Flow in a Hybrid Zone of Hawaiian Schiedea (Caryophyllaceae) Species with Contrasting Mating Systems

Asymmetrical gene flow, which has frequently been documented in naturally occurring hybrid zones, can result from various genetic and demographic factors. Understanding these factors is important for determining the ecological conditions that permitted hybridization and the evolutionary potential inherent in hybrids. Here, we characterized morphological, nuclear, and chloroplast variation in a putative hybrid zone between Schiedea menziesii and S. salicaria, endemic Hawaiian species with contrasting breeding systems. Schiedea menziesii is hermaphroditic with moderate selfing; S. salicaria is gynodioecious and wind-pollinated, with partially selfing hermaphrodites and largely outcrossed females. We tested three hypotheses: 1) putative hybrids were derived from natural crosses between S. menziesii and S. salicaria, 2) gene flow via pollen is unidirectional from S. salicaria to S. menziesii and 3) in the hybrid zone, traits associated with wind pollination would be favored as a result of pollen-swamping by S. salicaria. Schiedea menziesii and S. salicaria have distinct morphologies and chloroplast genomes but are less differentiated at the nuclear loci. Hybrids are most similar to S. menziesii at chloroplast loci, exhibit nuclear allele frequencies in common with both parental species, and resemble S. salicaria in pollen production and pollen size, traits important to wind pollination. Additionally, unlike S. menziesii, the hybrid zone contains many females, suggesting that the nuclear gene responsible for male sterility in S. salicaria has been transferred to hybrid plants. Continued selection of nuclear genes in the hybrid zone may result in a population that resembles S. salicaria, but retains chloroplast lineage(s) of S. menziesii

Are Trp53 rescue of Brca1 embryonic lethality and Trp53/Brca1 breast cancer association related?

Brca1 is involved in multiple biological pathways including DNA damage repair, transcriptional regulation, and cell-cycle progression. A complex pattern of interactions of Brca1 with Trp53 has also emerged. Xu and coworkers found that haploid loss of Trp53 significantly reduces the embryonic lethality observed in mice with a homozygous in-frame deletion of Brca1 exon 11. They report that widespread apoptosis correlates with the embryonic lethality resulting from this homozygous Δ11 Brca1 mutation. A mechanism responsible for Brca1-associated carcinogenesis is proposed. These experiments extend our knowledge of a complex Brca1/Trp53 relationship. However, the precise mechanisms through which Brca1 interacts with Trp53 to suppress mammary tumor formation have yet to be elucidated