The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Comparing angular and curved shapes in terms of implicit associations and approach/avoidance responses.

Most people prefer smoothly curved shapes over more angular shapes. We investigated the origin of this effect using abstract shapes and implicit measures of semantic association and preference. In Experiment 1 we used a multidimensional Implicit Association Test (IAT) to verify the strength of the association of curved and angular polygons with danger (safe vs. danger words), valence (positive vs. negative words) and gender (female vs. male names). Results showed that curved polygons were associated with safe and positive concepts and with female names, whereas angular polygons were associated with danger and negative concepts and with male names. Experiment 2 used a different implicit measure, which avoided any need to categorise the stimuli. Using a revised version of the Stimulus Response Compatibility (SRC) task we tested with a stick figure (i.e., the manikin) approach and avoidance reactions to curved and angular polygons. We found that RTs for approaching vs. avoiding angular polygons did not differ, even in the condition where the angles were more pronounced. By contrast participants were faster and more accurate when moving the manikin towards curved shapes. Experiment 2 suggests that preference for curvature cannot derive entirely from an association of angles with threat. We conclude that smoothly curved contours make these abstract shapes more pleasant. Further studies are needed to clarify the nature of such a preference

Phenomenology of Light Sneutrino Dark Matter in cMSSM/mSUGRA with Inverse Seesaw

We study the possibility of a light Dark Matter (DM) within a constrained Minimal Supersymmetric Standard Model (cMSSM) framework augmented by a SM singlet-pair sector to account for the non-zero neutrino masses by inverse seesaw mechanism. Working within a 'hybrid' scenario with the MSSM sector fixed at high scale and the singlet neutrino sector at low scale, we find that, contrary to the case of the usual cMSSM where the neutralino DM cannot be very light, we can have a light sneutrino DM with mass below 100 GeV satisfying all the current experimental constraints from cosmology, collider as well as low-energy experiments. We also note that the supersymmetric inverse seesaw mechanism with sneutrino as the lightest supersymmetric partner can have enhanced same-sign dilepton final states with large missing transverse energy (mET) coming from the gluino- and squark-pair as well as the squark-gluino associated productions and their cascade decay through charginos. We present a collider study for the same-sign dilepton+jets+mET signal in this scenario and propose some distinctions with the usual cMSSM. We also comment on the implications of such a light DM scenario on the invisible decay width of an 125 GeV Higgs boson.Comment: 24 pages, 4 figures, 7 tables; matches published versio

Circulating microRNAs Reveal Time Course of Organ Injury in a Porcine Model of Acetaminophen-Induced Acute Liver Failure

Acute liver failure is a rare but catastrophic condition which can progress rapidly to multi-organ failure. Studies investigating the onset of individual organ injury such as the liver, kidneys and brain during the evolution of acute liver failure, are lacking. MicroRNAs are short, non-coding strands of RNA that are released into the circulation following tissue injury. In this study, we have characterised the release of both global microRNA and specific microRNA species into the plasma using a porcine model of acetaminophen-induced acute liver failure. Pigs were induced to acute liver failure with oral acetaminophen over 19h±2h and death occurred 13h±3h thereafter. Global microRNA concentrations increased 4h prior to acute liver failure in plasma (P<0.0001) but not in isolated exosomes, and were associated with increasing plasma levels of the damage-associated molecular pattern molecule, genomic DNA (P<0.0001). MiR122 increased around the time of onset of acute liver failure (P<0.0001) and was associated with increasing international normalised ratio (P<0.0001). MiR192 increased 8h after acute liver failure (P<0.0001) and was associated with increasing creatinine (P<0.0001). The increase in miR124-1 occurred concurrent with the pre-terminal increase in intracranial pressure (P<0.0001) and was associated with decreasing cerebral perfusion pressure (P<0.002)

Drying-mediated patterns in colloid-polymer suspensions

Drying-mediated patterning of colloidal particles is a physical phenomenon that must be understood in inkjet printing technology to obtain crack-free uniform colloidal films. Here we experimentally study the drying-mediated patterns of a model colloid-polymer suspension and specifically observe how the deposit pattern appears after droplet evaporation by varying particle size and polymer concentration. We find that at a high polymer concentration, the ring-like pattern appears in suspensions with large colloids, contrary to suppression of ring formation in suspensions with small colloids thanks to colloidpolymer interactions. We attribute this unexpected reversal behavior to hydrodynamics and size dependence of colloid-polymer interactions. This finding would be very useful in developing control of drying-mediated self-assembly to produce crack-free uniform patterns from colloidal fluids.ope

Advanced optical imaging in living embryos

Developmental biology investigations have evolved from static studies of embryo anatomy and into dynamic studies of the genetic and cellular mechanisms responsible for shaping the embryo anatomy. With the advancement of fluorescent protein fusions, the ability to visualize and comprehend how thousands to millions of cells interact with one another to form tissues and organs in three dimensions (xyz) over time (t) is just beginning to be realized and exploited. In this review, we explore recent advances utilizing confocal and multi-photon time-lapse microscopy to capture gene expression, cell behavior, and embryo development. From choosing the appropriate fluorophore, to labeling strategy, to experimental set-up, and data pipeline handling, this review covers the various aspects related to acquiring and analyzing multi-dimensional data sets. These innovative techniques in multi-dimensional imaging and analysis can be applied across a number of fields in time and space including protein dynamics to cell biology to morphogenesis

Benthic and Hyporheic Macroinvertebrate Distribution Within the Heads and Tails of Riffles During Baseflow Conditions

The distribution of lotic fauna is widely acknowledged to be patchy reflecting the interaction between biotic and abiotic factors. In an in-situ field study, the distribution of benthic and hyporheic invertebrates in the heads (downwelling) and tails (upwelling) of riffles were examined during stable baseflow conditions. Riffle heads were found to contain a greater proportion of interstitial fine sediment than riffle tails. Significant differences in the composition of benthic communities were associated with the amount of fine sediment. Riffle tail habitats supported a greater abundance and diversity of invertebrates sensitive to fine sediment such as EPT taxa. Shredder feeding taxa were more abundant in riffle heads suggesting greater availability of organic matter. In contrast, no significant differences in the hyporheic community were recorded between riffle heads and tails. We hypothesise that clogging of hyporheic interstices with fine sediments may have resulted in the homogenization of the invertebrate community by limiting faunal movement into the hyporheic zone at both the riffle head and tail. The results suggest that vertical hydrological exchange significantly influences the distribution of fine sediment and macroinvertebrate communities at the riffle scale

Cell-Cycle Dependence of Transcription Dominates Noise in Gene Expression

The large variability in mRNA and protein levels found from both static and dynamic measurements in single cells has been largely attributed to random periods of transcription, often occurring in bursts. The cell cycle has a pronounced global role in affecting transcriptional and translational output, but how this influences transcriptional statistics from noisy promoters is unknown and generally ignored by current stochastic models. Here we show that variable transcription from the synthetic tetO promoter in S. cerevisiae is dominated by its dependence on the cell cycle. Real-time measurements of fluorescent protein at high expression levels indicate tetO promoters increase transcription rate ~2-fold in S/G2/M similar to constitutive genes. At low expression levels, where tetO promoters are thought to generate infrequent bursts of transcription, we observe random pulses of expression restricted to S/G2/M, which are correlated between homologous promoters present in the same cell. The analysis of static, single-cell mRNA measurements at different points along the cell cycle corroborates these findings. Our results demonstrate that highly variable mRNA distributions in yeast are not solely the result of randomly switching between periods of active and inactive gene expression, but instead largely driven by differences in transcriptional activity between G1 and S/G2/M.GM095733BBBE 103316MIT Startup Fun

Assessment of Multifactor Gene-Environment Interactions and Ovarian Cancer Risk: Candidate Genes, Obesity and Hormone-Related Risk Factors

BACKGROUND: Many epithelial ovarian cancer (EOC) risk factors relate to hormone exposure and elevated estrogen levels are associated with obesity in postmenopausal women. Therefore, we hypothesized that gene-environment interactions related to hormone-related risk factors could differ between obese and non-obese women. METHODS: We considered interactions between 11,441 SNPs within 80 candidate genes related to hormone biosynthesis and metabolism and insulin-like growth factors with six hormone-related factors (oral contraceptive use, parity, endometriosis, tubal ligation, hormone replacement therapy, and estrogen use) and assessed whether these interactions differed between obese and non-obese women. Interactions were assessed using logistic regression models and data from 14 case-control studies (6,247 cases; 10,379 controls). Histotype-specific analyses were also completed. RESULTS: SNPs in the following candidate genes showed notable interaction: IGF1R (rs41497346, estrogen plus progesterone hormone therapy, histology = all, P = 4.9 × 10(-6)) and ESR1 (rs12661437, endometriosis, histology = all, P = 1.5 × 10(-5)). The most notable obesity-gene-hormone risk factor interaction was within INSR (rs113759408, parity, histology = endometrioid, P = 8.8 × 10(-6)). CONCLUSIONS: We have demonstrated the feasibility of assessing multifactor interactions in large genetic epidemiology studies. Follow-up studies are necessary to assess the robustness of our findings for ESR1, CYP11A1, IGF1R, CYP11B1, INSR, and IGFBP2 Future work is needed to develop powerful statistical methods able to detect these complex interactions. IMPACT: Assessment of multifactor interaction is feasible, and, here, suggests that the relationship between genetic variants within candidate genes and hormone-related risk factors may vary EOC susceptibility

A review of elliptical and disc galaxy structure, and modern scaling laws

A century ago, in 1911 and 1913, Plummer and then Reynolds introduced their models to describe the radial distribution of stars in `nebulae'. This article reviews the progress since then, providing both an historical perspective and a contemporary review of the stellar structure of bulges, discs and elliptical galaxies. The quantification of galaxy nuclei, such as central mass deficits and excess nuclear light, plus the structure of dark matter halos and cD galaxy envelopes, are discussed. Issues pertaining to spiral galaxies including dust, bulge-to-disc ratios, bulgeless galaxies, bars and the identification of pseudobulges are also reviewed. An array of modern scaling relations involving sizes, luminosities, surface brightnesses and stellar concentrations are presented, many of which are shown to be curved. These 'redshift zero' relations not only quantify the behavior and nature of galaxies in the Universe today, but are the modern benchmark for evolutionary studies of galaxies, whether based on observations, N-body-simulations or semi-analytical modelling. For example, it is shown that some of the recently discovered compact elliptical galaxies at 1.5 < z < 2.5 may be the bulges of modern disc galaxies.Comment: Condensed version (due to Contract) of an invited review article to appear in "Planets, Stars and Stellar Systems"(www.springer.com/astronomy/book/978-90-481-8818-5). 500+ references incl. many somewhat forgotten, pioneer papers. Original submission to Springer: 07-June-201