-
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
Authors:
George Granberry,
Wolfgang Ahrendt,
Moa Johansson
Abstract:
We investigate how combinations of Large Language Models (LLMs) and symbolic analyses can be used to synthesise specifications of C programs. The LLM prompts are augmented with outputs from two formal methods tools in the Frama-C ecosystem, Pathcrawler and EVA, to produce C program annotations in the specification language ACSL. We demonstrate how the addition of symbolic analysis to the workflow…
▽ More
We investigate how combinations of Large Language Models (LLMs) and symbolic analyses can be used to synthesise specifications of C programs. The LLM prompts are augmented with outputs from two formal methods tools in the Frama-C ecosystem, Pathcrawler and EVA, to produce C program annotations in the specification language ACSL. We demonstrate how the addition of symbolic analysis to the workflow impacts the quality of annotations: information about input/output examples from Pathcrawler produce more context-aware annotations, while the inclusion of EVA reports yields annotations more attuned to runtime errors. In addition, we show that the method infers rather the programs intent than its behaviour, by generating specifications for buggy programs and observing robustness of the result against bugs.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Prediction of cancer dynamics under treatment using Bayesian neural networks: A simulated study
Authors:
Even Moa Myklebust,
Arnoldo Frigessi,
Fredrik Schjesvold,
Jasmine Foo,
Kevin Leder,
Alvaro Köhn-Luque
Abstract:
Predicting cancer dynamics under treatment is challenging due to high inter-patient heterogeneity, lack of predictive biomarkers, and sparse and noisy longitudinal data. Mathematical models can summarize cancer dynamics by a few interpretable parameters per patient. Machine learning methods can then be trained to predict the model parameters from baseline covariates, but do not account for uncerta…
▽ More
Predicting cancer dynamics under treatment is challenging due to high inter-patient heterogeneity, lack of predictive biomarkers, and sparse and noisy longitudinal data. Mathematical models can summarize cancer dynamics by a few interpretable parameters per patient. Machine learning methods can then be trained to predict the model parameters from baseline covariates, but do not account for uncertainty in the parameter estimates. Instead, hierarchical Bayesian modeling can model the relationship between baseline covariates to longitudinal measurements via mechanistic parameters while accounting for uncertainty in every part of the model.
The map** from baseline covariates to model parameters can be modeled in several ways. A linear map** simplifies inference but fails to capture nonlinear covariate effects and scale poorly for interaction modeling when the number of covariates is large. In contrast, Bayesian neural networks can potentially discover interactions between covariates automatically, but at a substantial cost in computational complexity.
In this work, we develop a hierarchical Bayesian model of subpopulation dynamics that uses baseline covariate information to predict cancer dynamics under treatment, inspired by cancer dynamics in multiple myeloma (MM), where serum M protein is a well-known proxy of tumor burden. As a working example, we apply the model to a simulated dataset and compare its ability to predict M protein trajectories to a model with linear covariate effects. Our results show that the Bayesian neural network covariate effect model predicts cancer dynamics more accurately than a linear covariate effect model when covariate interactions are present. The framework can also be applied to other types of cancer or other time series prediction problems that can be described with a parametric model.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Can Large Language Models (or Humans) Disentangle Text?
Authors:
Nicolas Audinet de Pieuchon,
Adel Daoud,
Connor Thomas Jerzak,
Moa Johansson,
Richard Johansson
Abstract:
We investigate the potential of large language models (LLMs) to disentangle text variables--to remove the textual traces of an undesired forbidden variable in a task sometimes known as text distillation and closely related to the fairness in AI and causal inference literature. We employ a range of various LLM approaches in an attempt to disentangle text by identifying and removing information abou…
▽ More
We investigate the potential of large language models (LLMs) to disentangle text variables--to remove the textual traces of an undesired forbidden variable in a task sometimes known as text distillation and closely related to the fairness in AI and causal inference literature. We employ a range of various LLM approaches in an attempt to disentangle text by identifying and removing information about a target variable while preserving other relevant signals. We show that in the strong test of removing sentiment, the statistical association between the processed text and sentiment is still detectable to machine learning classifiers post-LLM-disentanglement. Furthermore, we find that human annotators also struggle to disentangle sentiment while preserving other semantic content. This suggests there may be limited separability between concept variables in some text contexts, highlighting limitations of methods relying on text-level transformations and also raising questions about the robustness of disentanglement methods that achieve statistical independence in representation space.
△ Less
Submitted 3 May, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts
Authors:
Daniel Enström,
Viktor Kjellberg,
Moa Johansson
Abstract:
Transformer language models are neural networks used for a wide variety of tasks concerning natural language, including some that also require logical reasoning. However, a transformer model may easily learn spurious patterns in the data, short-circuiting actual reasoning. In this paper we investigate to what extent transformers can be trained to a) approximate reasoning in propositional logic whi…
▽ More
Transformer language models are neural networks used for a wide variety of tasks concerning natural language, including some that also require logical reasoning. However, a transformer model may easily learn spurious patterns in the data, short-circuiting actual reasoning. In this paper we investigate to what extent transformers can be trained to a) approximate reasoning in propositional logic while b) avoiding known reasoning shortcuts via spurious correlations in the training data. To do so, we use a dataset with known spurious correlation between truth and e.g. the number of rules in the problem. We augment the data with proofs, and train two models: a generative transformer, WP-BART, trained on problems and their whole proofs, and a neuro-symbolic model, SIP-BART, trained on individual proof steps and combining the generative transformer model BART with a symbolic proof checker. We find that SIP-BART succeeds in avoiding reasoning shortcuts, while WP-BART does not. For SIP-BART, we then identify a few remaining reasoning errors, not previously described in the literature, arising from using a pre-trained language model. These are qualitatively analysed to create a taxonomy of four different types of additional pitfalls.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
Detection of magnetospheric ion drift patterns at Mars
Authors:
Chi Zhang,
Hans Nilsson,
Yusuke Ebihara,
Masatoshi Yamauchi,
Moa Persson,
Zhao** Rong,
Jun Zhong,
Chuanfei Dong,
Yuxi Chen,
Xuzhi Zhou,
Yixin Sun,
Yuki Harada,
Jasper Halekas,
Shaosui Xu,
Yoshifumi Futaana,
Zhen Shi,
Chong**g Yuan,
Xiaotong Yun,
Song Fu,
Jiawei Gao,
Mats Holmström,
Yong Wei,
Stas Barabash
Abstract:
Mars lacks a global magnetic field, and instead possesses small-scale crustal magnetic fields, making its magnetic environment fundamentally different from intrinsic magnetospheres like those of Earth or Saturn. Here we report the discovery of magnetospheric ion drift patterns, typical of intrinsic magnetospheres, at Mars usingmeasurements fromMarsAtmosphere and Volatile EvolutioNmission. Specific…
▽ More
Mars lacks a global magnetic field, and instead possesses small-scale crustal magnetic fields, making its magnetic environment fundamentally different from intrinsic magnetospheres like those of Earth or Saturn. Here we report the discovery of magnetospheric ion drift patterns, typical of intrinsic magnetospheres, at Mars usingmeasurements fromMarsAtmosphere and Volatile EvolutioNmission. Specifically, we observewedge-like dispersion structures of hydrogen ions exhibiting butterfly-shaped distributions within the Martian crustal fields, a feature previously observed only in planetary-scale intrinsic magnetospheres. These dispersed structures are the results of driftmotions that fundamentally resemble those observed in intrinsic magnetospheres. Our findings indicate that the Martian magnetosphere embodies an intermediate case where both the unmagnetized and magnetized ion behaviors could be observed because of the wide range of strengths and spatial scales of the crustal magnetic fields around Mars.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models
Authors:
Lovisa Hagström,
Denitsa Saynova,
Tobias Norlund,
Moa Johansson,
Richard Johansson
Abstract:
Large Language Models (LLMs) make natural interfaces to factual knowledge, but their usefulness is limited by their tendency to deliver inconsistent answers to semantically equivalent questions. For example, a model might predict both "Anne Redpath passed away in Edinburgh." and "Anne Redpath's life ended in London." In this work, we identify potential causes of inconsistency and evaluate the effe…
▽ More
Large Language Models (LLMs) make natural interfaces to factual knowledge, but their usefulness is limited by their tendency to deliver inconsistent answers to semantically equivalent questions. For example, a model might predict both "Anne Redpath passed away in Edinburgh." and "Anne Redpath's life ended in London." In this work, we identify potential causes of inconsistency and evaluate the effectiveness of two mitigation strategies: up-scaling and augmenting the LM with a retrieval corpus. Our results on the LLaMA and Atlas models show that both strategies reduce inconsistency while retrieval augmentation is considerably more efficient. We further consider and disentangle the consistency contributions of different components of Atlas. For all LMs evaluated we find that syntactical form and other evaluation task artifacts impact consistency. Taken together, our results provide a better understanding of the factors affecting the factual consistency of language models.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
The Obsidian model: Three regimes of black hole feedback
Authors:
Douglas Rennehan,
Arif Babul,
Belaid Moa,
Romeel Davé
Abstract:
In theoretical models of galaxy evolution, black hole feedback is a necessary ingredient in order to explain the observed exponential decline in number density of massive galaxies. Most contemporary black hole feedback models in cosmological simulations rely on a constant radiative efficiency (usually $η\sim 0.1$) at all black hole accretion rates. We present the Obsidian sub-grid model, a synthes…
▽ More
In theoretical models of galaxy evolution, black hole feedback is a necessary ingredient in order to explain the observed exponential decline in number density of massive galaxies. Most contemporary black hole feedback models in cosmological simulations rely on a constant radiative efficiency (usually $η\sim 0.1$) at all black hole accretion rates. We present the Obsidian sub-grid model, a synthesis model for the spin-dependent radiative efficiencies of three physical accretion rate regimes, i.e. $η= η(j, \dot{M}_\mathrm{acc})$, for use in large-volume cosmological simulations. The three regimes include: an advection dominated accretion flow ($\dot{M}_\mathrm{acc} < 0.03\,\dot{M}_\mathrm{Edd}$), a quasar-like mode ($0.03 < \dot{M}_\mathrm{acc} / \dot{M}_\mathrm{Edd} < 0.3$), and a slim disc mode ($\dot{M}_\mathrm{acc} > 0.3\,\dot{M}_\mathrm{Edd}$). Additionally, we include a large-scale powerful jet at low accretion rates. The black hole feedback model we present is a kinetic model that prescribes mass loadings but could be used in thermal models directly using the radiative efficiency. We implement the Obsidian model into the Simba galaxy evolution model to determine if it is possible to reproduce galaxy populations successfully, and provide a first calibration for further study. Using a $2\times1024^3$ particle cosmological simulation in a $(150\,\mathrm{cMpc})^3$ volume, we found that the model is successful in reproducing the galaxy stellar mass function, black hole mass-stellar mass relationship, and stellar mass-halo mass relationship. Moving forward, this model opens new avenues for exploration of the impact of black hole feedback on galactic environments.
△ Less
Submitted 3 July, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Why every observatory needs a disco ball
Authors:
Robert J. Cumming,
Alexander G. M. Pietrow,
Livia Pietrow,
Maria Cavallius,
Dominique Petit dit de la Roche,
Casper Pietrow,
Ilane Schroetter,
Moa Skan
Abstract:
Commercial disco balls provide a safe, effective and instructive way of observing the Sun. We explore the optics of solar projections with disco balls, and find that while sunspot observations are challenging, the solar disk and its changes during eclipses are easy and fun to observe. We explore the disco ball's potential for observing the moon and other bright astronomical phenomena.
Commercial disco balls provide a safe, effective and instructive way of observing the Sun. We explore the optics of solar projections with disco balls, and find that while sunspot observations are challenging, the solar disk and its changes during eclipses are easy and fun to observe. We explore the disco ball's potential for observing the moon and other bright astronomical phenomena.
△ Less
Submitted 27 September, 2023; v1 submitted 25 September, 2023;
originally announced September 2023.
-
Drone navigation and license place detection for vehicle location in indoor spaces
Authors:
Moa Arvidsson,
Sithichot Sawirot,
Cristofer Englund,
Fernando Alonso-Fernandez,
Martin Torstensson,
Boris Duran
Abstract:
Millions of vehicles are transported every year, tightly parked in vessels or boats. To reduce the risks of associated safety issues like fires, knowing the location of vehicles is essential, since different vehicles may need different mitigation measures, e.g. electric cars. This work is aimed at creating a solution based on a nano-drone that navigates across rows of parked vehicles and detects t…
▽ More
Millions of vehicles are transported every year, tightly parked in vessels or boats. To reduce the risks of associated safety issues like fires, knowing the location of vehicles is essential, since different vehicles may need different mitigation measures, e.g. electric cars. This work is aimed at creating a solution based on a nano-drone that navigates across rows of parked vehicles and detects their license plates. We do so via a wall-following algorithm, and a CNN trained to detect license plates. All computations are done in real-time on the drone, which just sends position and detected images that allow the creation of a 2D map with the position of the plates. Our solution is capable of reading all plates across eight test cases (with several rows of plates, different drone speeds, or low light) by aggregation of measurements across several drone journeys.
△ Less
Submitted 20 July, 2023; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Synergies between Venus & Exoplanetary Observations
Authors:
M. J. Way,
Colby Ostberg,
Bradford J. Foley,
Cedric Gillmann,
Dennis Höning,
Helmut Lammer,
Joseph O'Rourke,
Moa Persson,
Ana-Catalina Plesa,
Arnaud Salvador,
Manuel Scherf,
Matthew Weller
Abstract:
In this chapter we examine how our knowledge of present day Venus can inform terrestrial exoplanetary science and how exoplanetary science can inform our study of Venus. In a superficial way the contrasts in knowledge appear stark. We have been looking at Venus for millennia and studying it via telescopic observations for centuries. Spacecraft observations began with Mariner 2 in 1962 when we conf…
▽ More
In this chapter we examine how our knowledge of present day Venus can inform terrestrial exoplanetary science and how exoplanetary science can inform our study of Venus. In a superficial way the contrasts in knowledge appear stark. We have been looking at Venus for millennia and studying it via telescopic observations for centuries. Spacecraft observations began with Mariner 2 in 1962 when we confirmed that Venus was a hothouse planet, rather than the tropical paradise science fiction pictured. As long as our level of exploration and understanding of Venus remains far below that of Mars, major questions will endure. On the other hand, exoplanetary science has grown leaps and bounds since the discovery of Pegasus 51b in 1995, not too long after the golden years of Venus spacecraft missions came to an end with the Magellan Mission in 1994. Multi-million to billion dollar/euro exoplanet focused spacecraft missions such as JWST, and its successors will be flown in the coming decades. At the same time, excitement about Venus exploration is blooming again with a number of confirmed and proposed missions in the coming decades from India, Russia, Japan, the European Space Agency and the National Aeronautics and Space Administration. In this chapter, we review what is known and what we may discover tomorrow in complementary studies of Venus and its exoplanetary cousins.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Towards Learning Abstractions via Reinforcement Learning
Authors:
Erik Jergéus,
Leo Karlsson Oinonen,
Emil Carlsson,
Moa Johansson
Abstract:
In this paper we take the first steps in studying a new approach to synthesis of efficient communication schemes in multi-agent systems, trained via reinforcement learning. We combine symbolic methods with machine learning, in what is referred to as a neuro-symbolic system. The agents are not restricted to only use initial primitives: reinforcement learning is interleaved with steps to extend the…
▽ More
In this paper we take the first steps in studying a new approach to synthesis of efficient communication schemes in multi-agent systems, trained via reinforcement learning. We combine symbolic methods with machine learning, in what is referred to as a neuro-symbolic system. The agents are not restricted to only use initial primitives: reinforcement learning is interleaved with steps to extend the current language with novel higher-level concepts, allowing generalisation and more informative communication via shorter messages. We demonstrate that this approach allow agents to converge more quickly on a small collaborative construction task.
△ Less
Submitted 28 December, 2022;
originally announced December 2022.
-
Small-scale loops heated to transition region temperatures and their chromospheric signatures in the simulated solar atmosphere
Authors:
M. Skan,
S. Danilovic,
J. Leenaarts,
F. Calvo,
M. Rempel
Abstract:
Recent observations revealed loop-like structures at very small scales visible in observables that sample transition region (TR) and coronal temperatures. Their formation remains unclear.
We study an example of a bipolar system in realistic magnetohydrodynamic simulations and forward synthesis of spectral lines to investigate how these features occur.
Computations are done using the MURaM code…
▽ More
Recent observations revealed loop-like structures at very small scales visible in observables that sample transition region (TR) and coronal temperatures. Their formation remains unclear.
We study an example of a bipolar system in realistic magnetohydrodynamic simulations and forward synthesis of spectral lines to investigate how these features occur.
Computations are done using the MURaM code to generate model atmospheres. The synthetic H$α$ and Si IV spectra are calculated at two angles ($μ= 1$, $μ= 0.66$) using the Multi3D code. Magnetic field lines are traced in the model and the evolution of the underlying field topology is examined.
The synthetic H$α$ dopplergrams reveal loops that evolve dramatically within a few minutes. The synthetic H$α$ line profiles show observed asymmetries and doppler shifts in the line core. They, however, also show strong emission peaks in the line wings, even at the slated view. The synthetic Si IV emission features partly coincide with structures visible in H$α$ dopplergrams and partly follow separate magnetic field threads. Some are even visible in the emission measure maps for the lg$(T /K)= [5.0, 5.5]$ temperature interval. The emission areas trace out the magnetic field lines rooted in opposite polarities in a bipolar region.
We find that our results largely reproduce the observed features and their characteristics. A bipolar system with footpoints undergoing rapid movement and shuffling can produce many small-scale recurrent events heated to high temperatures. The morphology and evolution of the resulting observable features can vary depending on the viewing angle.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
The long-term evolution of the atmosphere of Venus: processes and feedback mechanisms
Authors:
Cedric Gillmann,
M. J. Way,
Guillaume Avice,
Doris Breuer,
Gregor J. Golabek,
Dennis Honing,
Joshua Krissansen-Totton,
Helmut Lammer,
Joseph G. O'Rourke,
Moa Persson,
Ana-Catalina Plesa,
Arnaud Salvador,
Manuel Scherf,
Mikhail Yu. Zolotov
Abstract:
This work reviews the long-term evolution of the atmosphere of Venus, and modulation of its composition by interior-exterior cycling. The formation and evolution of Venus's atmosphere, leading to contemporary surface conditions, remain hotly debated topics, and involve questions that tie into many disciplines. We explore these various inter-related mechanisms which shaped the evolution of the atmo…
▽ More
This work reviews the long-term evolution of the atmosphere of Venus, and modulation of its composition by interior-exterior cycling. The formation and evolution of Venus's atmosphere, leading to contemporary surface conditions, remain hotly debated topics, and involve questions that tie into many disciplines. We explore these various inter-related mechanisms which shaped the evolution of the atmosphere, starting with the volatile sources and sinks. Going from the deep interior to the top of the atmosphere, we describe volcanic outgassing, surface atmosphere interactions, and atmosphere escape. Furthermore, we address more complex aspects of the history of Venus, including the role of Late Accretion impacts, how magnetic field generation is tied into long-term evolution, and the implications of geochemical and geodynamical feedback cycles for atmospheric evolution. We highlight plausible end-member evolutionary pathways that Venus could have followed, from accretion to its present-day state, based on modeling and observations. In a first scenario, the planet was desiccated by atmospheric escape during the magma ocean phase. In a second scenario, Venus could have harbored surface liquid water for long periods of time, until its temperate climate was destabilized and it entered a runaway greenhouse phase. In a third scenario, Venus's inefficient outgassing could have kept water inside the planet, where hydrogen was trapped in the core and the mantle was oxidized. We discuss existing evidence and future observations and missions required to refine our understanding of the planet's history and of the complex feedback cycles between the interior, surface, and atmosphere that have been operating in the past, present or future of Venus.
△ Less
Submitted 31 August, 2022; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Conjectures, Tests and Proofs: An Overview of Theory Exploration
Authors:
Moa Johansson,
Nicholas Smallbone
Abstract:
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory exploration system called QuickSpec, which is able to automatically discover interesting conjectures about a given set of functions. QuickSpec works by interleaving term generation with random testing to form candidate con…
▽ More
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory exploration system called QuickSpec, which is able to automatically discover interesting conjectures about a given set of functions. QuickSpec works by interleaving term generation with random testing to form candidate conjectures. This is made tractable by starting from small sizes and ensuring that only terms that are irreducible with respect to already discovered conjectures are considered. QuickSpec has been successfully applied to generate lemmas for automated inductive theorem proving as well as to generate specifications of functional programs. We give an overview of typical use-cases of QuickSpec, as well as demonstrating how to easily connect it to a theorem prover of the user's choice.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
X-ray attenuation of adipose breast tissue: in-vitro and in-vivo measurements using spectral imaging
Authors:
Erik Fredenberg,
Klaus Erhard,
Karl Berggren,
David R Dance,
Kenneth C Young,
Bjorn Cederstrom,
Henrik Johansson,
Mats Lundqvist,
Elin Moa,
Hanno Homan,
Paula Willsher,
Fleur Kilburn-Toppin,
Matthew Wallis
Abstract:
The development of new x-ray imaging techniques often requires prior knowledge of tissue attenuation, but the sources of such information are sparse. We have measured the attenuation of adipose breast tissue using spectral imaging, in vitro and in vivo. For the in-vitro measurement, fixed samples of adipose breast tissue were imaged on a spectral mammography system, and the energy-dependent x-ray…
▽ More
The development of new x-ray imaging techniques often requires prior knowledge of tissue attenuation, but the sources of such information are sparse. We have measured the attenuation of adipose breast tissue using spectral imaging, in vitro and in vivo. For the in-vitro measurement, fixed samples of adipose breast tissue were imaged on a spectral mammography system, and the energy-dependent x-ray attenuation was measured in terms of equivalent thicknesses of aluminum and poly-methyl methacrylate (PMMA). For the in-vivo measurement, a similar procedure was applied on a number of spectral screening mammograms. The results of the two measurements agreed well and were consistent with published attenuation data and with measurements on tissue-equivalent material.
△ Less
Submitted 30 January, 2021;
originally announced February 2021.
-
Photon-counting CT with silicon detectors: feasibility for pediatric imaging
Authors:
Moa Yveborg,
Cheng Xu,
Erik Fredenberg,
Mats Danielsson
Abstract:
X-ray detectors made of crystalline silicon have several advantages including low dark currents, fast charge collection and high energy resolution. For high-energy x-rays, however, silicon suffers from its low atomic number, which might result in low detection efficiency, as well as low energy and spatial resolution due to Compton scattering. We have used a monte-carlo model to investigate the fea…
▽ More
X-ray detectors made of crystalline silicon have several advantages including low dark currents, fast charge collection and high energy resolution. For high-energy x-rays, however, silicon suffers from its low atomic number, which might result in low detection efficiency, as well as low energy and spatial resolution due to Compton scattering. We have used a monte-carlo model to investigate the feasibility of a detector for pediatric CT with 30 to 40 mm of silicon using x-ray spectra ranging from 80 to 140 kVp. A detection efficiency of 0.74 was found at 80 kVp, provided the noise threshold could be set low. Scattered photons were efficiently blocked by a thin metal shielding between the detector units, and Compton scattering in the detector could be well separated from photo absorption at 80 kVp. Hence, the detector is feasible at low acceleration voltages, which is also suitable for pediatric imaging. We conclude that silicon detectors may be an alternative to other designs for this special case.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Measurement of breast-tissue x-ray attenuation by spectral mammography: first results on cyst fluid
Authors:
Erik Fredenberg,
David R. Dance,
Paula Willsher,
Elin Moa,
Miriam von Tiedemann,
Kenneth C. Young,
Matthew G. Wallis
Abstract:
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. For instance, techniques to better characterize cysts at mammography screening would be highly desirable to reduce recalls, but the development is hampered by the lack of attenuation data for cysts. We have developed a method to measure x-ray attenuation of tissue samples using a prototype photon-…
▽ More
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. For instance, techniques to better characterize cysts at mammography screening would be highly desirable to reduce recalls, but the development is hampered by the lack of attenuation data for cysts. We have developed a method to measure x-ray attenuation of tissue samples using a prototype photon-counting spectral mammography unit. The method was applied to measure the attenuation of 50 samples of breast cyst fluid and 50 samples of water. Spectral (energy-resolved) images of the samples were acquired and the image signal was mapped to equivalent thicknesses of two known reference materials, which can be used to derive the x-ray attenuation as a function of energy. The attenuation of cyst fluid was found to be significantly different from water. There was a relatively large natural spread between different samples of cyst fluid, whereas the homogeneity of each individual sample was found to be good; the variation within samples did not reach above the quantum noise floor. The spectral method proved stable between several measurements on the same sample. Further, chemical analysis and elemental attenuation calculation were used to validate the spectral measurement on a subset of the samples. The two methods agreed within the precision of the elemental attenuation calculation over the mammographic energy range.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Measurement of breast-tissue x-ray attenuation by spectral imaging: fresh and fixed normal and malignant tissue
Authors:
Erik Fredenberg,
Paula Willsher,
Elin Moa,
David R. Dance,
Kenneth C. Young,
Matthew G. Wallis
Abstract:
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. In mammography, measurement of breast density, dose estimation, and differentiation between cysts and solid tumours are example applications requiring accurate data on tissue attenuation. Published attenuation data are, however, sparse and cover a relatively wide range. To supplement available dat…
▽ More
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. In mammography, measurement of breast density, dose estimation, and differentiation between cysts and solid tumours are example applications requiring accurate data on tissue attenuation. Published attenuation data are, however, sparse and cover a relatively wide range. To supplement available data we have previously measured the attenuation of cyst fluid and solid lesions using photon-counting spectral mammography. The present study aims to measure the attenuation of normal adipose and glandular tissue, and to measure the effect of formalin fixation, a major uncertainty in published data. A total of 27 tumour specimens, seven fibro-glandular tissue specimens, and 15 adipose tissue specimens were included. Spectral (energy-resolved) images of the samples were acquired and the image signal was mapped to equivalent thicknesses of two known reference materials, from which x-ray attenuation as a function of energy can be derived. The spread in attenuation between samples was relatively large, partly because of natural variation. The variation of malignant and glandular tissue was similar, whereas that of adipose tissue was lower. Formalin fixation slightly altered the attenuation of malignant and glandular tissue, whereas the attenuation of adipose tissue was not significantly affected. The difference in attenuation between fresh tumour tissue and cyst fluid was smaller than has previously been measured for fixed tissue, but the difference was still significant and discrimination of these two tissue types is still possible. The difference between glandular and malignant tissue was close-to significant; it is reasonable to expect a significant difference with a larger set of samples. [cropped]
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Measurement of breast-tissue x-ray attenuation by spectral mammography: solid lesions
Authors:
Erik Fredenberg,
Fleur Kilburn-Toppin,
Paula Willsher,
Elin Moa,
Mats Danielsson,
David R. Dance,
Kenneth C. Young,
Matthew G. Wallis
Abstract:
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. For instance, techniques to distinguish between cysts and solid tumours at mammography screening would be highly desirable to reduce recalls, but the development requires knowledge of the x-ray attenuation for cysts and tumours. We have previously measured the attenuation of cyst fluid using photo…
▽ More
Knowledge of x-ray attenuation is essential for develo** and evaluating x-ray imaging technologies. For instance, techniques to distinguish between cysts and solid tumours at mammography screening would be highly desirable to reduce recalls, but the development requires knowledge of the x-ray attenuation for cysts and tumours. We have previously measured the attenuation of cyst fluid using photon-counting spectral mammography. Data on x-ray attenuation for solid breast lesions are available in the literature, but cover a relatively wide range, likely caused by natural spread between samples, random measurement errors, and different experimental conditions. In this study, we have adapted the previously developed spectral method to measure the linear attenuation of solid breast lesions. A total of 56 malignant and 5 benign lesions were included in the study. The samples were placed in a holder that allowed for thickness measurement. Spectral (energy-resolved) images of the samples were acquired and the image signal was mapped to equivalent thicknesses of two known reference materials, which can be used to derive the x-ray attenuation as a function of energy. The spread in equivalent material thicknesses was relatively large between samples, which is likely to be caused mainly by natural variation and only to a minor extent by random measurement errors and sample inhomogeneity. No significant difference in attenuation was found between benign and malignant solid lesions, or between different types of malignant lesions. The separation between cyst-fluid and tumour attenuation was, however, significant, which suggests it may be possible to distinguish cystic from solid breast lesions, and the results lay the groundwork for a clinical trial. [cropped]
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
The electron affinity of astatine
Authors:
David Leimbach,
Julia Sundberg,
Yangyang Guo,
Rizwan Ahmed,
Jochen Ballof,
Lars Bengtsson,
Ferran Boix Pamies,
Anastasia Borschevsky,
Katerina Chrysalidis,
Ephraim Eliav,
Dmitry Fedorov,
Valentin Fedosseev,
Oliver Forstner,
Nicolas Galland,
Ronald Fernando Garcia Ruiz,
Camilo Granados,
Reinhard Heinke,
Karl Johnston,
Agota Koszorus,
Ulli Koester,
Moa K. Kristiansson,
Yuan Liu,
Bruce Marsh,
Pavel Molkanov,
Lukas F. Pasteka
, et al. (13 additional authors not shown)
Abstract:
One of the most important properties influencing the chemical behavior of an element is the energy released with the addition of an extra electron to the neutral atom, referred to as the electron affinity (EA). Among the remaining elements with unknown EA is astatine, the purely radioactive element 85. Astatine is the heaviest naturally occurring halogen and its isotope $^{211}$At is remarkably we…
▽ More
One of the most important properties influencing the chemical behavior of an element is the energy released with the addition of an extra electron to the neutral atom, referred to as the electron affinity (EA). Among the remaining elements with unknown EA is astatine, the purely radioactive element 85. Astatine is the heaviest naturally occurring halogen and its isotope $^{211}$At is remarkably well suited for targeted radionuclide therapy of cancer. With the At$^-$ anion being involved in many aspects of current astatine labelling protocols, the knowledge of the electron affinity of this element is of prime importance. In addition, the EA can be used to deduce other concepts such as the electronegativity, thereby further improving the understanding of astatine's chemistry. Here, we report the first measurement of the EA for astatine to be 2.41578(7)eV. This result is compared to state-of-the-art relativistic quantum mechanical calculations, which require incorporation of the electron-electron correlation effects on the highest possible level. The developed technique of laser-photodetachment spectroscopy of radioisotopes opens the path for future EA measurements of other radioelements such as polonium, and eventually super-heavy elements, which are produced at a one-atom-at-a-time rate.
△ Less
Submitted 28 February, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Ultraslow radiative cooling of C$_n^-$ ($n=3-5$)
Authors:
James N. Bull,
Michael S. Scholz,
Eduardo Carrascosa,
Moa K. Kristiansson,
Gustav Eklund,
Najeeb Punnakayathil,
Nathalie de Ruette,
Henning Zettergren,
Henning T. Schmidt,
Henrik Cederquist,
Mark H. Stockett
Abstract:
Ultraslow radiative cooling lifetimes and adiabatic detachment energies for three astrochemically relevant anions, C$_n^-$ ($n=3-5$), are measured using the Double ElectroStatic Ion Ring ExpEriment (DESIREE) infrastructure at Stockholm University. DESIREE maintains a background pressure of $\approx$10$^{-14}$\,mbar and temperature of $\approx$13\,K, allowing storage of mass-selected ions for hours…
▽ More
Ultraslow radiative cooling lifetimes and adiabatic detachment energies for three astrochemically relevant anions, C$_n^-$ ($n=3-5$), are measured using the Double ElectroStatic Ion Ring ExpEriment (DESIREE) infrastructure at Stockholm University. DESIREE maintains a background pressure of $\approx$10$^{-14}$\,mbar and temperature of $\approx$13\,K, allowing storage of mass-selected ions for hours and providing conditions coined a "molecular cloud in a box". Here, we construct two-dimensional (2D) photodetachment spectra for the target anions by recording photodetachment signal as a function of irradiation wavelength and ion storage time (seconds to minute timescale). Ion cooling lifetimes, which are associated with infrared radiative emission, are extracted from the 2D photodetachment spectrum for each ion by tracking the disappearance of vibrational hot-band signal with ion storage time, giving $\frac{1}{e}$ cooling lifetimes of 3.1$\pm$0.1\,s (C$_3^-$), 6.8$\pm$0.5\,s (C$_4^-$) and 24$\pm$5\,s (C$_5^-$). Fits of the photodetachment spectra for cold ions, i.e. those stored for at least 30\,s, provides adiabatic detachment energies in good agreement with values from laser photoelectron spectroscopy. Ion cooling lifetimes are simulated using a Simple Harmonic Cascade model, finding good agreement with experiment and providing a mode-by-mode understanding of the radiative cooling properties. The 2D photodetachment strategy and radiative cooling modeling developed in this study could be applied to investigate the ultraslow cooling dynamics of wide range of molecular anions.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Congruence properties for the trinomial coefficients
Authors:
Moa Apagodu,
Ji-Cai Liu
Abstract:
In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.
In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.
△ Less
Submitted 31 July, 2019;
originally announced July 2019.
-
An analysis of binary microlensing event OGLE-2015-BLG-0060
Authors:
Y. Tsapras,
A. Cassan,
C. Ranc,
E. Bachelet,
R. Street,
A. Udalski,
M. Hundertmark,
V. Bozza,
J. P. Beaulieu,
J. B. Marquette,
E. Euteneuer,
The RoboNet team,
:,
D. M. Bramich,
M. Dominik,
R. Figuera Jaimes,
K. Horne,
S. Mao,
J. Menzies,
R. Schmidt,
C. Snodgrass,
I. A. Steele,
J. Wambsganss,
The OGLE collaboration,
:
, et al. (64 additional authors not shown)
Abstract:
We present the analysis of stellar binary microlensing event OGLE-2015-BLG-0060 based on observations obtained from 13 different telescopes. Intensive coverage of the anomalous parts of the light curve was achieved by automated follow-up observations from the robotic telescopes of the Las Cumbres Observatory. We show that, for the first time, all main features of an anomalous microlensing event ar…
▽ More
We present the analysis of stellar binary microlensing event OGLE-2015-BLG-0060 based on observations obtained from 13 different telescopes. Intensive coverage of the anomalous parts of the light curve was achieved by automated follow-up observations from the robotic telescopes of the Las Cumbres Observatory. We show that, for the first time, all main features of an anomalous microlensing event are well covered by follow-up data, allowing us to estimate the physical parameters of the lens. The strong detection of second-order effects in the event light curve necessitates the inclusion of longer-baseline survey data in order to constrain the parallax vector. We find that the event was most likely caused by a stellar binary-lens with masses $M_{\star1} = 0.87 \pm 0.12 M_{\odot}$ and $M_{\star2} = 0.77 \pm 0.11 M_{\odot}$. The distance to the lensing system is 6.41 $\pm 0.14$ kpc and the projected separation between the two components is 13.85 $\pm 0.16$ AU. Alternative interpretations are also considered.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
Identifying cross country skiing techniques using power meters in ski poles
Authors:
Moa Johansson,
Marie Korneliusson,
Nickey Lizbat Lawrence
Abstract:
Power meters are becoming a widely used tool for measuring training and racing effort in cycling, and are now spreading also to other sports. This means that increasing volumes of data can be collected from athletes, with the aim of hel** coaches and athletes analyse and understanding training load, racing efforts, technique etc. In this project, we have collaborated with Skisens AB, a company p…
▽ More
Power meters are becoming a widely used tool for measuring training and racing effort in cycling, and are now spreading also to other sports. This means that increasing volumes of data can be collected from athletes, with the aim of hel** coaches and athletes analyse and understanding training load, racing efforts, technique etc. In this project, we have collaborated with Skisens AB, a company producing handles for cross country ski poles equipped with power meters. We have conducted a pilot study in the use of machine learning techniques on data from Skisens poles to identify which "gear" a skier is using (double poling or gears 2-4 in skating), based only on the sensor data from the ski poles. The dataset for this pilot study contained labelled time-series data from three individual skiers using four different gears recorded in varied locations and varied terrain. We systematically evaluated a number of machine learning techniques based on neural networks with best results obtained by a LSTM network (accuracy of 95% correctly classified strokes), when a subset of data from all three skiers was used for training. As expected, accuracy dropped to 78% when the model was trained on data from only two skiers and tested on the third. To achieve better generalisation to individuals not appearing in the training set more data is required, which is ongoing work.
△ Less
Submitted 27 May, 2019; v1 submitted 23 April, 2019;
originally announced April 2019.
-
OGLE-2015-BLG-1670Lb: A Cold Neptune beyond the Snow Line in the Provisional WFIRST Microlensing Survey Field
Authors:
Clément Ranc,
David P. Bennett,
Yuki Hirao,
Andrzej Udalski,
Cheongho Han,
Ian A. Bond,
Jennifer C. Yee,
The KMTNet Collaboration,
:,
Michael D. Albrow,
Sun-Ju Chung,
Andrew Gould,
Kyu-Ha Hwang,
Youn-Kil Jung,
Yoon-Hyun Ryu,
In-Gu Shin,
Yossi Shvartzvald,
Weicheng Zang,
Wei Zhu,
Sang-Mok Cha,
Dong-** Kim,
Hyoun-Woo Kim,
Seung-Lee Kim,
Chung-Uk Lee,
Dong-Joo Lee
, et al. (36 additional authors not shown)
Abstract:
We present the analysis of the microlensing event OGLE-2015-BLG-1670, detected in a high-extinction field, very close to the Galactic plane. Due to the dust extinction along the line of sight, this event was too faint to be detected before it reached the peak of magnification. The microlensing light-curve models indicate a high-magnification event with a maximum of $A_\mathrm{max}\gtrsim200$, very…
▽ More
We present the analysis of the microlensing event OGLE-2015-BLG-1670, detected in a high-extinction field, very close to the Galactic plane. Due to the dust extinction along the line of sight, this event was too faint to be detected before it reached the peak of magnification. The microlensing light-curve models indicate a high-magnification event with a maximum of $A_\mathrm{max}\gtrsim200$, very sensitive to planetary deviations. An anomaly in the light curve has been densely observed by the microlensing surveys MOA, KMTNet, and OGLE. From the light-curve modeling, we find a planetary anomaly characterized by a planet-to-host mass ratio, $q=\left(1.00^{+0.18}_{-0.16}\right)\times 10^{-4}$, at the peak recently identified in the mass-ratio function of microlensing planets. Thus, this event is interesting to include in future statistical studies about planet demography. We have explored the possible degeneracies and find two competing planetary models resulting from the $s\leftrightarrow1/s$ degeneracy. However, because the projected separation is very close to $s=1$, the physical implications for the planet for the two solutions are quite similar, except for the value of $s$. By combining the light-curve parameters with a Galactic model, we have estimated the planet mass $M_2=17.9^{+9.6}_{-8.8}\,\mathrm{M}_\oplus$ and the lens distance $D_\mathrm{L}=6.7^{+1.0}_{-1.3}\,\mathrm{kpc}$, corresponding to a Neptune-mass planet close to the Galactic bulge. Such events with a low absolute latitude ($|b|\approx 1.1\,\mathrm{deg}$) are subject to both high extinction and more uncertain source distances, two factors that may affect the mass measurements in the provisional Wide Field Infrared Survey Telescope fields. More events are needed to investigate the potential trade-off between the higher lensing rate and the difficulty in measuring masses in these low-latitude fields.
△ Less
Submitted 24 June, 2019; v1 submitted 28 September, 2018;
originally announced October 2018.
-
Augmenting Bottleneck Features of Deep Neural Network Employing Motor State for Speech Recognition at Humanoid Robots
Authors:
Moa Lee,
Joon Hyuk Chang
Abstract:
As for the humanoid robots, the internal noise, which is generated by motors, fans and mechanical components when the robot is moving or shaking its body, severely degrades the performance of the speech recognition accuracy. In this paper, a novel speech recognition system robust to ego-noise for humanoid robots is proposed, in which on/off state of the motor is employed as auxiliary information f…
▽ More
As for the humanoid robots, the internal noise, which is generated by motors, fans and mechanical components when the robot is moving or shaking its body, severely degrades the performance of the speech recognition accuracy. In this paper, a novel speech recognition system robust to ego-noise for humanoid robots is proposed, in which on/off state of the motor is employed as auxiliary information for finding the relevant input features. For this, we consider the bottleneck features, which have been successfully applied to deep neural network (DNN) based automatic speech recognition (ASR) system. When learning the bottleneck features to catch, we first exploit the motor on/off state data as supplementary information in addition to the acoustic features as the input of the first deep neural network (DNN) for preliminary acoustic modeling. Then, the second DNN for primary acoustic modeling employs both the bottleneck features tossed from the first DNN and the acoustics features. When the proposed method is evaluated in terms of phoneme error rate (PER) on TIMIT database, the experimental results show that achieve obvious improvement (11% relative) is achieved by our algorithm over the conventional systems.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Proving Type Class Laws for Haskell
Authors:
Andreas Arvidsson,
Moa Johansson,
Robin Touche
Abstract:
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific data type. All instances of such type classes are expected to behave in a certain way and satisfy laws associated with the respective class. These are however typically just stated in comments and as such, there is no rea…
▽ More
Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific data type. All instances of such type classes are expected to behave in a certain way and satisfy laws associated with the respective class. These are however typically just stated in comments and as such, there is no real way to enforce that they hold. In this paper we describe a system which allows the user to write down type class laws which are then automatically instantiated and sent to an inductive theorem prover when declaring a new instance of a type class.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
Towards Machine Learning on data from Professional Cyclists
Authors:
Agrin Hilmkil,
Oscar Ivarsson,
Moa Johansson,
Dan Kuylenstierna,
Teun van Erp
Abstract:
Professional sports are develo** towards increasingly scientific training methods with increasing amounts of data being collected from laboratory tests, training sessions and competitions. In cycling, it is standard to equip bicycles with small computers recording data from sensors such as power-meters, in addition to heart-rate, speed, altitude etc. Recently, machine learning techniques have pr…
▽ More
Professional sports are develo** towards increasingly scientific training methods with increasing amounts of data being collected from laboratory tests, training sessions and competitions. In cycling, it is standard to equip bicycles with small computers recording data from sensors such as power-meters, in addition to heart-rate, speed, altitude etc. Recently, machine learning techniques have provided huge success in a wide variety of areas where large amounts of data (big data) is available. In this paper, we perform a pilot experiment on machine learning to model physical response in elite cyclists. As a first experiment, we show that it is possible to train a LSTM machine learning algorithm to predict the heart-rate response of a cyclist during a training session. This work is a promising first step towards develo** more elaborate models based on big data and machine learning to capture performance aspects of athletes.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
Dynamic Localised Turbulent Diffusion and its Impact on the Galactic Ecosystem
Authors:
Douglas Rennehan,
Arif Babul,
Philip F. Hopkins,
Romeel Davé,
Belaid Moa
Abstract:
Modelling the turbulent diffusion of thermal energy, momentum, and metals is required in all galaxy evolution simulations due to the ubiquity of turbulence in galactic environments. The most commonly employed diffusion model, the Smagorinsky model, is known to be over-diffusive due to its strong dependence on the fluid velocity shear. We present a method for dynamically calculating a more accurate…
▽ More
Modelling the turbulent diffusion of thermal energy, momentum, and metals is required in all galaxy evolution simulations due to the ubiquity of turbulence in galactic environments. The most commonly employed diffusion model, the Smagorinsky model, is known to be over-diffusive due to its strong dependence on the fluid velocity shear. We present a method for dynamically calculating a more accurate, locally appropriate, turbulent diffusivity: the dynamic localised Smagorinsky model. We investigate a set of standard astrophysically-relevant hydrodynamical tests, and demonstrate that the dynamic model curbs over-diffusion in non-turbulent shear flows and improves the density contrast in our driven turbulence experiments. In galactic discs, we find that the dynamic model maintains the stability of the disc by preventing excessive angular momentum transport, and increases the metal-mixing timescale in the interstellar medium. In both our isolated Milky Way-like galaxies and cosmological simulations, we find that the interstellar and circumgalactic media are particularly sensitive to the treatment of turbulent diffusion. We also examined the global gas enrichment fractions in our cosmological simulations, to gauge the potential effect on the formation sites and population statistics of Population III stars and supermassive black holes, since they are theorised to be sensitive to the metallicity of the gas out of which they form. The dynamic model is, however, not for galaxy evolution studies only. It can be applied to all astrophysical hydrodynamics simulations, including those modelling stellar interiors, planetary formation, and star formation.
△ Less
Submitted 10 December, 2018; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Cyberhubs: Virtual Research Environments for Astronomy
Authors:
Falk Herwig,
Robert Andrassy,
Nic Annau,
Ondrea Clarkson,
Benoit Cote,
Aaron D'Sa,
Sam Jones,
Belaid Moa,
Jericho O'Connell,
David Porter,
Christian Ritter,
Paul Woodward
Abstract:
Collaborations in astronomy and astrophysics are faced with numerous cyber infrastructure challenges, such as large data sets, the need to combine heterogeneous data sets, and the challenge to effectively collaborate on those large, heterogeneous data sets with significant processing requirements and complex science software tools. The cyberhubs system is an easy-to-deploy package for small to med…
▽ More
Collaborations in astronomy and astrophysics are faced with numerous cyber infrastructure challenges, such as large data sets, the need to combine heterogeneous data sets, and the challenge to effectively collaborate on those large, heterogeneous data sets with significant processing requirements and complex science software tools. The cyberhubs system is an easy-to-deploy package for small to medium-sized collaborations based on the Jupyter and Docker technology, that allows web-browser enabled, remote, interactive analytic access to shared data. It offers an initial step to address these challenges. The features and deployment steps of the system are described, as well as the requirements collection through an account of the different approaches to data structuring, handling and available analytic tools for the NuGrid and PPMstar collaborations. NuGrid is an international collaboration that creates stellar evolution and explosion physics and nucleosynthesis simulation data. The PPMstar collaboration performs large-scale 3D stellar hydrodynamics simulation of interior convection in the late phases of stellar evolution. Examples of science that is presently performed on cyberhubs, in the areas 3D stellar hydrodynamic simulations, stellar evolution and nucleosynthesis and Galactic chemical evolution, are presented.
△ Less
Submitted 6 February, 2018;
originally announced February 2018.
-
Robustness of Optimal Energy Thresholds in Photon-counting Spectral CT
Authors:
Yifan Zheng,
Moa Yveborg,
Fredrik Grönberg,
Cheng Xu,
Qianqian Su,
Mats Danielsson,
Mats Persson
Abstract:
An important question when develo** photon-counting detectors for computed tomography is how to select energy thresholds. In this work thresholds are optimized by maximizing signal-difference-to-noise ratio squared (SDNR2) in an optimally weighted image and signal-to-noise ratio squared (SNR2) in a gadolinium basis image in a silicon-strip detector and a cadmium zinc telluride (CZT) detector, fa…
▽ More
An important question when develo** photon-counting detectors for computed tomography is how to select energy thresholds. In this work thresholds are optimized by maximizing signal-difference-to-noise ratio squared (SDNR2) in an optimally weighted image and signal-to-noise ratio squared (SNR2) in a gadolinium basis image in a silicon-strip detector and a cadmium zinc telluride (CZT) detector, factoring in pileup and imperfect energy response in both detectors. To investigate to what extent one single set of thresholds could be applied in various imaging tasks, the robustness of optimal thresholds with 2 to 8 bins is examined with the variation of phantom thicknesses and target materials. In contrast to previous studies, the optimal threshold locations don't always increase with increasing attenuation if pileup is included. Optimizing the thresholds for a 30 cm phantom yields near-optimal SDNR2 or SNR2 regardless of target tissue types and surrounding attenuation for both detectors. Having more than 3 bins reduces the need for changing the thresholds depending on anatomies and tissues. Using around 6 bins or 8 bins may give near-optimal SDNR2 or SNR2 without generating an unnecessarily large amount of data.
△ Less
Submitted 15 August, 2018; v1 submitted 3 February, 2018;
originally announced February 2018.
-
Elementary proof of congruences involving sum of binomial coefficients
Authors:
Moa Apagodu
Abstract:
We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.
We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.
△ Less
Submitted 20 September, 2017; v1 submitted 12 September, 2017;
originally announced September 2017.
-
Zeilberger to the rescue
Authors:
Moa Apagodu
Abstract:
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problem 11897, problem 11899, problem 11916, and problem 11928. We also show that problem 11928 may lead to interesting combinatorial identities.
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problem 11897, problem 11899, problem 11916, and problem 11928. We also show that problem 11928 may lead to interesting combinatorial identities.
△ Less
Submitted 31 March, 2018; v1 submitted 15 February, 2017;
originally announced February 2017.
-
Analysis of the gift exchange problem
Authors:
Moa Apagodu,
David Applegate,
N. J. A. Sloane,
Doron Zeilberger
Abstract:
In the gift exchange game there are n players and n wrapped gifts. When a player's number is called, that person can either choose one of the remaining wrapped gifts, or can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of sigma times. The problem is to determine the number of ways that the game can be played out,…
▽ More
In the gift exchange game there are n players and n wrapped gifts. When a player's number is called, that person can either choose one of the remaining wrapped gifts, or can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of sigma times. The problem is to determine the number of ways that the game can be played out, for given values of sigma and n. Formulas and asymptotic expansions are given for these numbers. This work was inspired in part by a 2005 remark by Robert A. Proctor in the On-Line Encyclopedia of Integer Sequences.
△ Less
Submitted 29 January, 2017;
originally announced January 2017.
-
Using the "Freshman's Dream" to Prove Combinatorial Congruences
Authors:
Moa Apagodu,
Doron Zeilberger
Abstract:
In a recent beautiful but technical article, William Y.C. Chen, Qing-Hu Hou, and Doron Zeilberger developed an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequences, namely those (like the Catalan and Motzkin sequences) that are expressible in terms of constant terms of powers of Laurent polynomials. We first give a leisurely exp…
▽ More
In a recent beautiful but technical article, William Y.C. Chen, Qing-Hu Hou, and Doron Zeilberger developed an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequences, namely those (like the Catalan and Motzkin sequences) that are expressible in terms of constant terms of powers of Laurent polynomials. We first give a leisurely exposition of their elementary but brilliant approach, and then extend it in two directions. The Laurent polynomials may be of several variables, and instead of single sums we have multiple sums. In fact we even combine these two generalizations! We conclude with some super-challenges.
In this version we report that Roberto Tauraso pointed out that all our conjectured super-congruences, at the end of our article are already known, except one, for which he supplied a beautiful proof that can be found here: arXiv:1606.05543.
△ Less
Submitted 27 June, 2016; v1 submitted 10 June, 2016;
originally announced June 2016.
-
Spitzer Parallax of OGLE-2015-BLG-0966: A Cold Neptune in the Galactic Disk
Authors:
R. A. Street,
A. Udalski,
S. Calchi Novati,
M. P. G. Hundertmark,
W. Zhu,
A. Gould,
J. Yee,
Y. Tsapras,
D. P. Bennett,
The RoboNet Project,
MiNDSTEp Consortium,
U. G. Jorgensen,
M. Dominik,
M. I. Andersen,
E. Bachelet,
V. Bozza,
D. M. Bramich,
M. J. Burgdorf,
A. Cassan,
S. Ciceri,
G. D'Ago,
Subo Dong,
D. F. Evans,
Sheng-hong Gu,
H. Harkonnen
, et al. (84 additional authors not shown)
Abstract:
We report the detection of a Cold Neptune m_planet=21+/-2MEarth orbiting a 0.38MSol M dwarf lying 2.5-3.3 kpc toward the Galactic center as part of a campaign combining ground-based and Spitzer observations to measure the Galactic distribution of planets. This is the first time that the complex real-time protocols described by Yee et al. (2015), which aim to maximize planet sensitivity while maint…
▽ More
We report the detection of a Cold Neptune m_planet=21+/-2MEarth orbiting a 0.38MSol M dwarf lying 2.5-3.3 kpc toward the Galactic center as part of a campaign combining ground-based and Spitzer observations to measure the Galactic distribution of planets. This is the first time that the complex real-time protocols described by Yee et al. (2015), which aim to maximize planet sensitivity while maintaining sample integrity, have been carried out in practice. Multiple survey and follow-up teams successfully combined their efforts within the framework of these protocols to detect this planet. This is the second planet in the Spitzer Galactic distribution sample. Both are in the near-to-mid disk and clearly not in the Galactic bulge.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
Wilf's "Snake Oil" Method Proves an Identity in The Motzkin Triangle
Authors:
Tewodros Amdeberhan,
Moa Apagodu,
Doron Zeilberger
Abstract:
We give yet-another illustration of using Herb Wilf's Snake Oil Method, by proving a certain identity between the entries of the so-called Motzkin Triangle, that arose in a recent study of enumeration of certain classes of integer partitions. We also briefly illustrate how this method can be applied to general `triangles'.
We give yet-another illustration of using Herb Wilf's Snake Oil Method, by proving a certain identity between the entries of the so-called Motzkin Triangle, that arose in a recent study of enumeration of certain classes of integer partitions. We also briefly illustrate how this method can be applied to general `triangles'.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Hipster: Integrating Theory Exploration in a Proof Assistant
Authors:
Moa Johansson,
Dan Rosen,
Nicholas Smallbone,
Koen Claessen
Abstract:
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new th…
▽ More
This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes.
△ Less
Submitted 14 May, 2014;
originally announced May 2014.
-
Proof-Pattern Recognition and Lemma Discovery in ACL2
Authors:
Jónathan Heras,
Ekaterina Komendantskaya,
Moa Johansson,
Ewen Maclean
Abstract:
We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples. This paper presents the implement…
▽ More
We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples. This paper presents the implementation of ACL2(ml) alongside theoretical descriptions of the proof-pattern recognition and lemma discovery methods involved in it.
△ Less
Submitted 15 October, 2013; v1 submitted 8 August, 2013;
originally announced August 2013.
-
Multiwavelength observations of GRB 110731A: GeV emission from onset to afterglow
Authors:
The Fermi-LAT Collaboration,
Fermi-GBM Collaboration,
Swift Collaboration,
GROND Collaboration,
the MOA Collaboration
Abstract:
We report on the multiwavelength observations of the bright, long gamma-ray burst \GRB, by the \Fermi and \Swift observatories, and by the MOA and GROND optical telescopes. The analysis of the prompt phase reveals that \GRB shares many features with bright Large Area Telescope bursts observed by \Fermi during the first 3 years on-orbit: a light curve with short time variability across the whole en…
▽ More
We report on the multiwavelength observations of the bright, long gamma-ray burst \GRB, by the \Fermi and \Swift observatories, and by the MOA and GROND optical telescopes. The analysis of the prompt phase reveals that \GRB shares many features with bright Large Area Telescope bursts observed by \Fermi during the first 3 years on-orbit: a light curve with short time variability across the whole energy range during the prompt phase, delayed onset of the emission above 100 MeV, extra power law component and temporally extended high-energy emission. In addition, this the first GRB for which simultaneous GeV, X-ray, and optical data are available over multiple epochs beginning just after the trigger time and extending for more than 800 s, allowing temporal and spectral analysis in different epochs that favor emission from the forward shock in a wind-type medium. The observed temporally extended GeV emission is most likely part of the high-energy end of the afterglow emission. Both the single-zone pair transparency constraint for the prompt signal, and the spectral and temporal analysis of the forward shock afterglow emission, independently lead to an estimate of the bulk Lorentz factor of the jet $Γ\sim$ 500 - 550.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
-
MOA-2011-BLG-293Lb: A test of pure survey microlensing planet detections
Authors:
J. C. Yee,
Y. Shvartzvald,
A. Gal-Yam,
I. A. Bond,
A. Udalski,
S. Kozlowski,
C. Han,
A. Gould,
J. Skowron,
D. Suzuki,
the MOA Collaboration,
the OGLE Collaboration,
the MicroFUN Collaboration
Abstract:
Because of the development of large-format, wide-field cameras, microlensing surveys are now able to monitor millions of stars with sufficient cadence to detect planets. These new discoveries will span the full range of significance levels including planetary signals too small to be distinguished from the noise. At present, we do not understand where the threshold is for detecting planets. MOA-201…
▽ More
Because of the development of large-format, wide-field cameras, microlensing surveys are now able to monitor millions of stars with sufficient cadence to detect planets. These new discoveries will span the full range of significance levels including planetary signals too small to be distinguished from the noise. At present, we do not understand where the threshold is for detecting planets. MOA-2011-BLG-293Lb is the first planet to be published from the new surveys, and it also has substantial followup observations. This planet is robustly detected in survey+followup data (Delta chi^2 ~ 5400). The planet/host mass ratio is q=5.3+/- 0.2*10^{-3}. The best fit projected separation is s=0.548+/- 0.005 Einstein radii. However, due to the s-->s^{-1} degeneracy, projected separations of s^{-1} are only marginally disfavored at Delta chi^2=3. A Bayesian estimate of the host mass gives M_L = 0.43^{+0.27}_{-0.17} M_Sun, with a sharp upper limit of M_L < 1.2 M_Sun from upper limits on the lens flux. Hence, the planet mass is m_p=2.4^{+1.5}_{-0.9} M_Jup, and the physical projected separation is either r_perp = ~1.0 AU or r_perp = ~3.4 AU. We show that survey data alone predict this solution and are able to characterize the planet, but the Delta chi^2 is much smaller (Delta chi^2~500) than with the followup data. The Delta chi^2 for the survey data alone is smaller than for any other securely detected planet. This event suggests a means to probe the detection threshold, by analyzing a large sample of events like MOA-2011-BLG-293, which have both followup data and high cadence survey data, to provide a guide for the interpretation of pure survey microlensing data.
△ Less
Submitted 3 July, 2012; v1 submitted 4 January, 2012;
originally announced January 2012.
-
The Binomial Theorem for (N + n)^r (where Nf(n)=f(n+1))
Authors:
Moa Apagodu,
Patrick Gaskill,
Shalosh B. Ekhad
Abstract:
Binomial Theorem for (N+n)^r is described with non-commuting variables N and n.
Binomial Theorem for (N+n)^r is described with non-commuting variables N and n.
△ Less
Submitted 22 December, 2011; v1 submitted 11 December, 2011;
originally announced December 2011.
-
MOA-2009-BLG-387Lb: A massive planet orbiting an M dwarf
Authors:
Virginie Batista,
A. Gould,
S. Dieters,
Subo Dong,
I. Bond,
J. P. Beaulieu,
D. Maoz,
B. Monard,
G. W. Christie,
J. McCormick,
M. D. Albrow,
K. Horne,
Y. Tsapras,
M. J. Burgdorf,
S. Calchi Novati,
J. Skottfelt,
J. Caldwell,
S. Kozlowski,
D. Kubas,
B. S. Gaudi,
C. Han,
D. P. Bennett,
J. An,
the MOA Collaboration,
the PLANET Collaboration
, et al. (3 additional authors not shown)
Abstract:
We report the discovery of a planet with a high planet-to-star mass ratio in the microlensing event MOA-2009-BLG-387, which exhibited pronounced deviations over a 12-day interval, one of the longest for any planetary event. The host is an M dwarf, with a mass in the range 0.07 M_sun < M_host < 0.49M_sun at 90% confidence. The planet-star mass ratio q = 0.0132 +- 0.003 has been measured extremely w…
▽ More
We report the discovery of a planet with a high planet-to-star mass ratio in the microlensing event MOA-2009-BLG-387, which exhibited pronounced deviations over a 12-day interval, one of the longest for any planetary event. The host is an M dwarf, with a mass in the range 0.07 M_sun < M_host < 0.49M_sun at 90% confidence. The planet-star mass ratio q = 0.0132 +- 0.003 has been measured extremely well, so at the best-estimated host mass, the planet mass is m_p = 2.6 Jupiter masses for the median host mass, M = 0.19 M_sun. The host mass is determined from two "higher order" microlensing parameters. One of these, the angular Einstein radius θ_E = 0.31 +- 0.03 mas, is very well measured, but the other (the microlens parallax π_E, which is due to the Earth's orbital motion) is highly degenate with the orbital motion of the planet. We statistically resolve the degeneracy between Earth and planet orbital effects by imposing priors from a Galactic model that specifies the positions and velocities of lenses and sources and a Kepler model of orbits. The 90% confidence intervals for the distance, semi-major axis, and period of the planet are 3.5 kpc < D_L < 7.9 kpc, 1.1 AU < a < 2.7AU, and 3.8 yr < P < 7.6 yr, respectively.
△ Less
Submitted 12 May, 2011; v1 submitted 2 February, 2011;
originally announced February 2011.
-
A sub-Saturn Mass Planet, MOA-2009-BLG-319Lb
Authors:
N. Miyake,
T. Sumi,
Subo Dong,
R. Street,
L. Mancini,
A. Gould,
D. P. Bennett,
Y. Tsapras,
J. C. Yee,
M. D. Albrow,
I. A. Bond,
P. Fouque,
P. Browne,
C. Han,
C. Snodgrass,
F. Finet,
K. Furusawa,
K. Harpsoe,
W. Allen,
M. Hundertmark,
M. Freeman,
D. Suzuki,
F. Abe,
C. S. Botzler,
D. Douchin
, et al. (97 additional authors not shown)
Abstract:
We report the gravitational microlensing discovery of a sub-Saturn mass planet, MOA-2009-BLG-319Lb, orbiting a K or M-dwarf star in the inner Galactic disk or Galactic bulge. The high cadence observations of the MOA-II survey discovered this microlensing event and enabled its identification as a high magnification event approximately 24 hours prior to peak magnification. As a result, the planetary…
▽ More
We report the gravitational microlensing discovery of a sub-Saturn mass planet, MOA-2009-BLG-319Lb, orbiting a K or M-dwarf star in the inner Galactic disk or Galactic bulge. The high cadence observations of the MOA-II survey discovered this microlensing event and enabled its identification as a high magnification event approximately 24 hours prior to peak magnification. As a result, the planetary signal at the peak of this light curve was observed by 20 different telescopes, which is the largest number of telescopes to contribute to a planetary discovery to date. The microlensing model for this event indicates a planet-star mass ratio of q = (3.95 +/- 0.02) x 10^{-4} and a separation of d = 0.97537 +/- 0.00007 in units of the Einstein radius. A Bayesian analysis based on the measured Einstein radius crossing time, t_E, and angular Einstein radius, θ_E, along with a standard Galactic model indicates a host star mass of M_L = 0.38^{+0.34}_{-0.18} M_{Sun} and a planet mass of M_p = 50^{+44}_{-24} M_{Earth}, which is half the mass of Saturn. This analysis also yields a planet-star three-dimensional separation of a = 2.4^{+1.2}_{-0.6} AU and a distance to the planetary system of D_L = 6.1^{+1.1}_{-1.2} kpc. This separation is ~ 2 times the distance of the snow line, a separation similar to most of the other planets discovered by microlensing.
△ Less
Submitted 10 December, 2010; v1 submitted 9 October, 2010;
originally announced October 2010.
-
Frequency of Solar-Like Systems and of Ice and Gas Giants Beyond the Snow Line from High-Magnification Microlensing Events in 2005-2008
Authors:
A. Gould,
Subo Dong,
B. S. Gaudi,
A. Udalski,
I. A. Bond,
J. Greenhill,
R. A. Street,
M. Dominik,
T. Sumi,
M. K. Szymanski,
C. Han,
MicroFUN Collaboration,
OGLE Collaboration,
MOA Collaboration,
PLANET Collabroation,
RoboNet Collaboration,
MiNDSTEp Consortium
Abstract:
We present the first measurement of planet frequency beyond the "snow line" for planet/star mass-ratios[-4.5<log q<-2]: d^2 N/dlog q/dlog s=(0.36+-0.15)/dex^2 at mean mass ratio q=5e-4, and consistent with being flat in log projected separation, s. Our result is based on a sample of 6 planets detected from intensive follow-up of high-mag (A>200) microlensing events during 2005-8. The sample host…
▽ More
We present the first measurement of planet frequency beyond the "snow line" for planet/star mass-ratios[-4.5<log q<-2]: d^2 N/dlog q/dlog s=(0.36+-0.15)/dex^2 at mean mass ratio q=5e-4, and consistent with being flat in log projected separation, s. Our result is based on a sample of 6 planets detected from intensive follow-up of high-mag (A>200) microlensing events during 2005-8. The sample host stars have typical mass M_host 0.5 Msun, and detection is sensitive to planets over a range of projected separations (R_E/s_max,R_E*s_max), where R_E 3.5 AU sqrt(M_host/Msun) is the Einstein radius and s_max (q/5e-5)^{2/3}, corresponding to deprojected separations ~3 times the "snow line". Though frenetic, the observations constitute a "controlled experiment", which permits measurement of absolute planet frequency. High-mag events are rare, but the high-mag channel is efficient: half of high-mag events were successfully monitored and half of these yielded planet detections. The planet frequency derived from microlensing is a factor 7 larger than from RV studies at factor ~25 smaller separations [2<P<2000 days]. However, this difference is basically consistent with the gradient derived from RV studies (when extrapolated well beyond the separations from which it is measured). This suggests a universal separation distribution across 2 dex in semi-major axis, 2 dex in mass ratio, and 0.3 dex in host mass. Finally, if all planetary systems were "analogs" of the Solar System, our sample would have yielded 18.2 planets (11.4 "Jupiters", 6.4 "Saturns", 0.3 "Uranuses", 0.2 "Neptunes") including 6.1 systems with 2 or more planet detections. This compares to 6 planets including one 2-planet system in the actual sample, implying a first estimate of 1/6 for the frequency of solar-like systems.
△ Less
Submitted 5 January, 2010;
originally announced January 2010.
-
A Cold Neptune-Mass Planet OGLE-2007-BLG-368Lb: Cold Neptunes Are Common
Authors:
T. Sumi,
D. P. Bennett,
I. A. Bond,
A. Udalski,
V. Batista,
M. Dominik,
P. Fouqué,
D. Kubas,
A. Gould,
B. Macintosh,
K. Cook,
S. Dong,
L. Skuljan,
A. Cassan,
The MOA Collaboration,
:,
F. Abe,
C. S. Botzler,
A. Fukui,
K. Furusawa,
J. B. Hearnshaw,
Y. Itow,
K. Kamiya,
P. M. Kilmartin,
A. Korpela
, et al. (85 additional authors not shown)
Abstract:
We present the discovery of a Neptune-mass planet OGLE-2007-BLG-368Lb with a planet-star mass ratio of q=[9.5 +/- 2.1] x 10^{-5} via gravitational microlensing. The planetary deviation was detected in real-time thanks to the high cadence of the MOA survey, real-time light curve monitoring and intensive follow-up observations. A Bayesian analysis returns the stellar mass and distance at M_l = 0.6…
▽ More
We present the discovery of a Neptune-mass planet OGLE-2007-BLG-368Lb with a planet-star mass ratio of q=[9.5 +/- 2.1] x 10^{-5} via gravitational microlensing. The planetary deviation was detected in real-time thanks to the high cadence of the MOA survey, real-time light curve monitoring and intensive follow-up observations. A Bayesian analysis returns the stellar mass and distance at M_l = 0.64_{-0.26}^{+0.21} M_\sun and D_l = 5.9_{-1.4}^{+0.9} kpc, respectively, so the mass and separation of the planet are M_p = 20_{-8}^{+7} M_\oplus and a = 3.3_{-0.8}^{+1.4} AU, respectively. This discovery adds another cold Neptune-mass planet to the planetary sample discovered by microlensing, which now comprise four cold Neptune/Super-Earths, five gas giant planets, and another sub-Saturn mass planet whose nature is unclear. The discovery of these ten cold exoplanets by the microlensing method implies that the mass ratio function of cold exoplanets scales as dN_{\rm pl}/d\log q \propto q^{-0.7 +/- 0.2} with a 95% confidence level upper limit of n < -0.35 (where dN_{\rm pl}/d\log q \propto q^n). As microlensing is most sensitive to planets beyond the snow-line, this implies that Neptune-mass planets are at least three times more common than Jupiters in this region at the 95% confidence level.
△ Less
Submitted 22 January, 2010; v1 submitted 7 December, 2009;
originally announced December 2009.
-
Sub-Saturn Planet MOA-2008-BLG-310Lb: Likely To Be In The Galactic Bulge
Authors:
Julia Janczak,
A. Fukui,
Subo Dong,
B. Monard,
Szymon Kozlowski,
A. Gould,
J. P. Beaulieu,
Daniel Kubas,
J. B. Marquette,
T. Sumi,
I. A. Bond,
D. P. Bennett,
the MOA collaboration,
the MicroFUN collaboration,
the MiNDSTEp collaboration,
the PLANET collaboration
Abstract:
We report the detection of sub-Saturn-mass planet MOA-2008-BLG-310Lb and argue that it is the strongest candidate yet for a bulge planet. Deviations from the single-lens fit are smoothed out by finite-source effects and so are not immediately apparent from the light curve. Nevertheless, we find that a model in which the primary has a planetary companion is favored over the single-lens model by Δ…
▽ More
We report the detection of sub-Saturn-mass planet MOA-2008-BLG-310Lb and argue that it is the strongest candidate yet for a bulge planet. Deviations from the single-lens fit are smoothed out by finite-source effects and so are not immediately apparent from the light curve. Nevertheless, we find that a model in which the primary has a planetary companion is favored over the single-lens model by Δχ^2 ~ 880 for an additional three degrees of freedom. Detailed analysis yields a planet/star mass ratio q=(3.3+/-0.3)x10^{-4} and an angular separation between the planet and star within 10% of the angular Einstein radius. The small angular Einstein radius, θ_E=0.155+/-0.011 mas, constrains the distance to the lens to be D_L>6.0 kpc if it is a star (M_L>0.08 M_sun). This is the only microlensing exoplanet host discovered so far that must be in the bulge if it is a star. By analyzing VLT NACO adaptive optics images taken near the baseline of the event, we detect additional blended light that is aligned to within 130 mas of the lensed source. This light is plausibly from the lens, but could also be due to a companion to lens or source, or possibly an unassociated star. If the blended light is indeed due to the lens, we can estimate the mass of the lens, M_L=0.67+/-0.14 M_sun, planet mass m=74+/-17 M_Earth, and projected separation between the planet and host, 1.25+/-0.10 AU, putting it right on the "snow line". If not, then the planet has lower mass, is closer to its host and is colder. To distinguish among these possibilities on reasonable timescales would require obtaining Hubble Space Telescope images almost immediately, before the source-lens relative motion of μ=5 mas yr^{-1} causes them to separate substantially.
△ Less
Submitted 4 August, 2009;
originally announced August 2009.
-
Extreme Magnification Microlensing Event OGLE-2008-BLG-279: Strong Limits on Planetary Companions to the Lens Star
Authors:
J. C. Yee,
A. Udalski,
T. Sumi,
Subo Dong,
S. Kozłowski,
J. C. Bird,
A. Cole,
D. Higgins,
J. McCormick,
B. Monard,
D. Polishook,
A. Shporer,
O. Spector,
the OGLE,
the microFUN,
the MOA,
the PLANET Collaboration
Abstract:
We analyze the extreme high-magnification microlensing event OGLE-2008-BLG-279, which peaked at a maximum magnification of A ~ 1600 on 30 May 2008. The peak of this event exhibits both finite-source effects and terrestrial parallax, from which we determine the mass of the lens, M_l=0.64 +/- 0.10 M_Sun, and its distance, D_l = 4.0 +/- 0.6. We rule out Jupiter-mass planetary companions to the lens…
▽ More
We analyze the extreme high-magnification microlensing event OGLE-2008-BLG-279, which peaked at a maximum magnification of A ~ 1600 on 30 May 2008. The peak of this event exhibits both finite-source effects and terrestrial parallax, from which we determine the mass of the lens, M_l=0.64 +/- 0.10 M_Sun, and its distance, D_l = 4.0 +/- 0.6. We rule out Jupiter-mass planetary companions to the lens star for projected separations in the range 0.5-20 AU. More generally, we find that this event was sensitive to planets with masses as small as 0.2 M_Earth ~= 2 M_Mars with projected separations near the Einstein ring (~3 AU).
△ Less
Submitted 30 July, 2009;
originally announced July 2009.
-
Series Evaluation of a Quartic Integral
Authors:
Moa Apagodu
Abstract:
We present a new single sum series evaluation of Moll's quartic integral and present two new generalizations
We present a new single sum series evaluation of Moll's quartic integral and present two new generalizations
△ Less
Submitted 29 March, 2010; v1 submitted 23 July, 2009;
originally announced July 2009.
-
Some Nice Sums are Almost as Nice if you turn them Upside Down
Authors:
Moa Apagodu,
Doron Zeilberger
Abstract:
We represent the sums $\sum_{k=0}^{n-1}{n \choose k}^{-2}$, $\sum_{k=0}^m{m\choose k}^{-1}{a\choose n-k}^{-1}$, $\sum_{k=0}^{n-1}\frac{q^{-k(k-1)}}{{\genfrac{[}{]}{0pt}{}{n}{k}}_q}$, and the sum of the reciprocals of the summands in Dixon's identity, each as a product of an {\it indefinite hypergeometric sum} times a (closed form) {\it hypergeometric sequence}
We represent the sums $\sum_{k=0}^{n-1}{n \choose k}^{-2}$, $\sum_{k=0}^m{m\choose k}^{-1}{a\choose n-k}^{-1}$, $\sum_{k=0}^{n-1}\frac{q^{-k(k-1)}}{{\genfrac{[}{]}{0pt}{}{n}{k}}_q}$, and the sum of the reciprocals of the summands in Dixon's identity, each as a product of an {\it indefinite hypergeometric sum} times a (closed form) {\it hypergeometric sequence}
△ Less
Submitted 12 September, 2009; v1 submitted 17 July, 2009;
originally announced July 2009.