-
Factor multivariate stochastic volatility models of high dimension
Authors:
Benjamin Poignard,
Manabu Asai
Abstract:
Building upon the pertinence of the factor decomposition to break the curse of dimensionality inherent to multivariate volatility processes, we develop a factor model-based multivariate stochastic volatility (fMSV) framework that relies on two viewpoints: sparse approximate factor model and sparse factor loading matrix. We propose a two-stage estimation procedure for the fMSV model: the first stag…
▽ More
Building upon the pertinence of the factor decomposition to break the curse of dimensionality inherent to multivariate volatility processes, we develop a factor model-based multivariate stochastic volatility (fMSV) framework that relies on two viewpoints: sparse approximate factor model and sparse factor loading matrix. We propose a two-stage estimation procedure for the fMSV model: the first stage obtains the estimators of the factor model, and the second stage estimates the MSV part using the estimated common factor variables. We derive the asymptotic properties of the estimators. Simulated experiments are performed to assess the forecasting performances of the covariance matrices. The empirical analysis based on vectors of asset returns illustrates that the forecasting performances of the fMSV models outperforms competing conditional covariance models.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Extreme Value Monte Carlo Tree Search
Authors:
Masataro Asai,
Stephen Wissow
Abstract:
Despite being successful in board games and reinforcement learning (RL), UCT, a Monte-Carlo Tree Search (MCTS) combined with UCB1 Multi-Armed Bandit (MAB), has had limited success in domain-independent planning until recently. Previous work showed that UCB1, designed for $[0,1]$-bounded rewards, is not appropriate for estimating the distance-to-go which are potentially unbounded in $\mathbb{R}$, s…
▽ More
Despite being successful in board games and reinforcement learning (RL), UCT, a Monte-Carlo Tree Search (MCTS) combined with UCB1 Multi-Armed Bandit (MAB), has had limited success in domain-independent planning until recently. Previous work showed that UCB1, designed for $[0,1]$-bounded rewards, is not appropriate for estimating the distance-to-go which are potentially unbounded in $\mathbb{R}$, such as heuristic functions used in classical planning, then proposed combining MCTS with MABs designed for Gaussian reward distributions and successfully improved the performance. In this paper, we further sharpen our understanding of ideal bandits for planning tasks. Existing work has two issues: First, while Gaussian MABs no longer over-specify the distances as $h\in [0,1]$, they under-specify them as $h\in [-\infty,\infty]$ while they are non-negative and can be further bounded in some cases. Second, there is no theoretical justifications for Full-Bellman backup (Schulte & Keller, 2014) that backpropagates minimum/maximum of samples. We identified \emph{extreme value} statistics as a theoretical framework that resolves both issues at once and propose two bandits, UCB1-Uniform/Power, and apply them to MCTS for classical planning. We formally prove their regret bounds and empirically demonstrate their performance in classical planning.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
On Using Admissible Bounds for Learning Forward Search Heuristics
Authors:
Carlos Núñez-Molina,
Masataro Asai,
Pablo Mesejo,
Juan Fernández-Olivares
Abstract:
In recent years, there has been growing interest in utilizing modern machine learning techniques to learn heuristic functions for forward search algorithms. Despite this, there has been little theoretical understanding of what they should learn, how to train them, and why we do so. This lack of understanding has resulted in the adoption of diverse training targets (suboptimal vs optimal costs vs a…
▽ More
In recent years, there has been growing interest in utilizing modern machine learning techniques to learn heuristic functions for forward search algorithms. Despite this, there has been little theoretical understanding of what they should learn, how to train them, and why we do so. This lack of understanding has resulted in the adoption of diverse training targets (suboptimal vs optimal costs vs admissible heuristics) and loss functions (e.g., square vs absolute errors) in the literature. In this work, we focus on how to effectively utilize the information provided by admissible heuristics in heuristic learning. We argue that learning from poly-time admissible heuristics by minimizing mean square errors (MSE) is not the correct approach, since its result is merely a noisy, inadmissible copy of an efficiently computable heuristic. Instead, we propose to model the learned heuristic as a truncated gaussian, where admissible heuristics are used not as training targets but as lower bounds of this distribution. This results in a different loss function from the MSE commonly employed in the literature, which implicitly models the learned heuristic as a gaussian distribution. We conduct experiments where both MSE and our novel loss function are applied to learning a heuristic from optimal plan costs. Results show that our proposed method converges faster during training and yields better heuristics.
△ Less
Submitted 7 May, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
Fano threefolds in positive characteristic III
Authors:
Masaya Asai,
Hiromu Tanaka
Abstract:
We classify primitive Fano threefolds in positive characteristic whose Picard numbers are at least two.
We classify primitive Fano threefolds in positive characteristic whose Picard numbers are at least two.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Scale-Adaptive Balancing of Exploration and Exploitation in Classical Planning
Authors:
Stephen Wissow,
Masataro Asai
Abstract:
Balancing exploration and exploitation has been an important problem in both game tree search and automated planning. However, while the problem has been extensively analyzed within the Multi-Armed Bandit (MAB) literature, the planning community has had limited success when attempting to apply those results. We show that a more detailed theoretical understanding of MAB literature helps improve exi…
▽ More
Balancing exploration and exploitation has been an important problem in both game tree search and automated planning. However, while the problem has been extensively analyzed within the Multi-Armed Bandit (MAB) literature, the planning community has had limited success when attempting to apply those results. We show that a more detailed theoretical understanding of MAB literature helps improve existing planning algorithms that are based on Monte Carlo Tree Search (MCTS) / Trial Based Heuristic Tree Search (THTS). In particular, THTS uses UCB1 MAB algorithms in an ad hoc manner, as UCB1's theoretical requirement of fixed bounded support reward distributions is not satisfied within heuristic search for classical planning. The core issue lies in UCB1's lack of adaptations to the different scales of the rewards. We propose GreedyUCT-Normal, a MCTS/THTS algorithm with UCB1-Normal bandit for agile classical planning, which handles distributions with different scales by taking the reward variance into consideration, and resulted in an improved algorithmic performance (more plans found with less node expansions) that outperforms Greedy Best First Search and existing MCTS/THTS-based algorithms (GreedyUCT,GreedyUCT*).
△ Less
Submitted 30 August, 2024; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Analytical Conjugate Priors for Subclasses of Generalized Pareto Distributions
Authors:
Masataro Asai
Abstract:
This article is written for pedagogical purposes aiming at practitioners trying to estimate the finite support of continuous probability distributions, i.e., the minimum and the maximum of a distribution defined on a finite domain. Generalized Pareto distribution GP(θ, σ, ξ) is a three-parameter distribution which plays a key role in Peaks-Over-Threshold framework for tail estimation in Extreme Va…
▽ More
This article is written for pedagogical purposes aiming at practitioners trying to estimate the finite support of continuous probability distributions, i.e., the minimum and the maximum of a distribution defined on a finite domain. Generalized Pareto distribution GP(θ, σ, ξ) is a three-parameter distribution which plays a key role in Peaks-Over-Threshold framework for tail estimation in Extreme Value Theory. Estimators for GP often lack analytical solutions and the best known Bayesian methods for GP involves numerical methods. Moreover, existing literature focuses on estimating the scale σ and the shape ξ, lacking discussion of the estimation of the location θ which is the lower support of (minimum value possible in) a GP. To fill the gap, we analyze four two-parameter subclasses of GP whose conjugate priors can be obtained analytically, although some of the results are known. Namely, we prove the conjugacy for ξ > 0 (Pareto), ξ = 0 (Shifted Exponential), ξ < 0 (Power), and ξ = -1 (Two-parameter Uniform).
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Dr. Neurosymbolic, or: How I Learned to Stop Worrying and Accept Statistics
Authors:
Masataro Asai
Abstract:
The symbolic AI community is increasingly trying to embrace machine learning in neuro-symbolic architectures, yet is still struggling due to cultural barriers. To break the barrier, this rather opinionated personal memo attempts to explain and rectify the conventions in Statistics, Machine Learning, and Deep Learning from the viewpoint of outsiders. It provides a step-by-step protocol for designin…
▽ More
The symbolic AI community is increasingly trying to embrace machine learning in neuro-symbolic architectures, yet is still struggling due to cultural barriers. To break the barrier, this rather opinionated personal memo attempts to explain and rectify the conventions in Statistics, Machine Learning, and Deep Learning from the viewpoint of outsiders. It provides a step-by-step protocol for designing a machine learning system that satisfies a minimum theoretical guarantee necessary for being taken seriously by the symbolic AI community, i.e., it discusses "in what condition we can stop worrying and accept statistical machine learning." Unlike most textbooks which are written for students trying to specialize in Stat/ML/DL and willing to accept jargons, this memo is written for experienced symbolic researchers that hear a lot of buzz but are still uncertain and skeptical. Information on Stat/ML/DL is currently too scattered or too noisy to invest in. This memo prioritizes compactness, citations to old papers (many in early 20th century), and concepts that resonate well with symbolic paradigms in order to offer time savings. It prioritizes general mathematical modeling and does not discuss any specific function approximator, such as neural networks (NNs), SVMs, decision trees, etc. Finally, it is open to corrections. Consider this memo as something similar to a blog post taking the form of a paper on Arxiv.
△ Less
Submitted 16 February, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Impact of Free Energy of Polymers on Polymorphism of Polymer-Grafted Nanoparticles
Authors:
Masanari Ishiyama,
Kenji Yasuoka,
Makoto Asai
Abstract:
We focus on polymer-grafted nanoparticles (PGNP). A PGNP is composed of two different layers: the hard core of a nanoparticle and the soft corona of grafted polymers on the surface. It is predicted that PGNPs with these two distinct layers will have similar behaviors as star polymers and hard spheres. The interaction between PGNPs strongly depend upon their grafting density and the length of the g…
▽ More
We focus on polymer-grafted nanoparticles (PGNP). A PGNP is composed of two different layers: the hard core of a nanoparticle and the soft corona of grafted polymers on the surface. It is predicted that PGNPs with these two distinct layers will have similar behaviors as star polymers and hard spheres. The interaction between PGNPs strongly depend upon their grafting density and the length of the grafted polymer chains, N. Thus, PGNP may exhibit polymorphism. Moreover, it is expected that crystals made from PGNPs will be structurally tough due to the entanglement of grafted polymers. The crystal polymorph of PGNP is explored using molecular dynamics simulations. We succeeded in finding FCC/HCP and BCC crystals depending on the length of the grafted polymer chain. When N is small, PGNPs behave like hard spheres. The crystals formed are arranged in FCC/HCP structure, much like the phase transition observed in an Alder transition. When N is large enough, the increase in the free energy of grafted polymers can no longer be neglected. Thus, the crystals formed in these systems are arranged in BCC structure, which has a lower density than FCC/HCP. When N is not too small or large, FCC/HCP structures are observed when the concentration of PGNPs is low, but a phase transition occurs when the concentration of PGNPs becomes higher with the compression of the system. Again, the increase in free energy of grafted polymers can no longer be neglected and the crystals arrange themselves in a BCC structure. Also, it can be revealed that the lattice spacing of PGNP crystals can be controlled easily and widely by the chain length. These results should play an important role in many future simulations and experimental studies of PGNP crystals.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
High-Dimensional Sparse Multivariate Stochastic Volatility Models
Authors:
Benjamin Poignard,
Manabu Asai
Abstract:
Although multivariate stochastic volatility models usually produce more accurate forecasts compared to the MGARCH models, their estimation techniques such as Bayesian MCMC typically suffer from the curse of dimensionality. We propose a fast and efficient estimation approach for MSV based on a penalized OLS framework. Specifying the MSV model as a multivariate state space model, we carry out a two-…
▽ More
Although multivariate stochastic volatility models usually produce more accurate forecasts compared to the MGARCH models, their estimation techniques such as Bayesian MCMC typically suffer from the curse of dimensionality. We propose a fast and efficient estimation approach for MSV based on a penalized OLS framework. Specifying the MSV model as a multivariate state space model, we carry out a two-step penalized procedure. We provide the asymptotic properties of the two-step estimator and the oracle property of the first-step estimator when the number of parameters diverges. The performances of our method are illustrated through simulations and financial data.
△ Less
Submitted 17 May, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Is Policy Learning Overrated?: Width-Based Planning and Active Learning for Atari
Authors:
Benjamin Ayton,
Masataro Asai
Abstract:
Width-based planning has shown promising results on Atari 2600 games using pixel input, while using substantially fewer environment interactions than reinforcement learning. Recent width-based approaches have computed feature vectors for each screen using a hand designed feature set or a variational autoencoder trained on game screens (VAE-IW), and prune screens that do not have novel features dur…
▽ More
Width-based planning has shown promising results on Atari 2600 games using pixel input, while using substantially fewer environment interactions than reinforcement learning. Recent width-based approaches have computed feature vectors for each screen using a hand designed feature set or a variational autoencoder trained on game screens (VAE-IW), and prune screens that do not have novel features during the search. We propose Olive (Online-VAE-IW), which updates the VAE features online using active learning to maximize the utility of screens observed during planning. Experimental results in 55 Atari games demonstrate that it outperforms Rollout-IW by 42-to-11 and VAE-IW by 32-to-20. Moreover, Olive outperforms existing work based on policy-learning ($π$-IW, DQN) trained with 100x training budget by 30-to-22 and 31-to-17, and a state of the art data-efficient reinforcement learning (EfficientZero) trained with the same training budget and ran with 1.8x planning budget by 18-to-7 in Atari 100k benchmark, with no policy learning at all. The source code is available at github.com/ibm/atari-active-learning .
△ Less
Submitted 19 March, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators
Authors:
Clement Gehring,
Masataro Asai,
Rohan Chitnis,
Tom Silver,
Leslie Pack Kaelbling,
Shirin Sohrabi,
Michael Katz
Abstract:
Recent advances in reinforcement learning (RL) have led to a growing interest in applying RL to classical planning domains or applying classical planning methods to some complex RL domains. However, the long-horizon goal-based problems found in classical planning lead to sparse rewards for RL, making direct application inefficient. In this paper, we propose to leverage domain-independent heuristic…
▽ More
Recent advances in reinforcement learning (RL) have led to a growing interest in applying RL to classical planning domains or applying classical planning methods to some complex RL domains. However, the long-horizon goal-based problems found in classical planning lead to sparse rewards for RL, making direct application inefficient. In this paper, we propose to leverage domain-independent heuristic functions commonly used in the classical planning literature to improve the sample efficiency of RL. These classical heuristics act as dense reward generators to alleviate the sparse-rewards issue and enable our RL agent to learn domain-specific value functions as residuals on these heuristics, making learning easier. Correct application of this technique requires consolidating the discounted metric used in RL and the non-discounted metric used in heuristics. We implement the value functions using Neural Logic Machines, a neural network architecture designed for grounded first-order logic inputs. We demonstrate on several classical planning domains that using classical heuristics for RL allows for good sample efficiency compared to sparse-reward RL. We further show that our learned value functions generalize to novel problem instances in the same domain.
△ Less
Submitted 7 March, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Classical Planning in Deep Latent Space
Authors:
Masataro Asai,
Hiroshi Kajino,
Alex Fukunaga,
Christian Muise
Abstract:
Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many fields, the knowledge is encoded in a subsymbolic representation which is incompatible with symbolic systems such as planners. We propose Latplan, an unsupervis…
▽ More
Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many fields, the knowledge is encoded in a subsymbolic representation which is incompatible with symbolic systems such as planners. We propose Latplan, an unsupervised architecture combining deep learning and classical planning. Given only an unlabeled set of image pairs showing a subset of transitions allowed in the environment (training inputs), Latplan learns a complete propositional PDDL action model of the environment. Later, when a pair of images representing the initial and the goal states (planning inputs) is given, Latplan finds a plan to the goal state in a symbolic latent space and returns a visualized plan execution. We evaluate Latplan using image-based versions of 6 planning domains: 8-puzzle, 15-Puzzle, Blocksworld, Sokoban and Two variations of LightsOut.
△ Less
Submitted 15 June, 2022; v1 submitted 30 June, 2021;
originally announced July 2021.
-
Science Requirements and Detector Concepts for the Electron-Ion Collider: EIC Yellow Report
Authors:
R. Abdul Khalek,
A. Accardi,
J. Adam,
D. Adamiak,
W. Akers,
M. Albaladejo,
A. Al-bataineh,
M. G. Alexeev,
F. Ameli,
P. Antonioli,
N. Armesto,
W. R. Armstrong,
M. Arratia,
J. Arrington,
A. Asaturyan,
M. Asai,
E. C. Aschenauer,
S. Aune,
H. Avagyan,
C. Ayerbe Gayoso,
B. Azmoun,
A. Bacchetta,
M. D. Baker,
F. Barbosa,
L. Barion
, et al. (390 additional authors not shown)
Abstract:
This report describes the physics case, the resulting detector requirements, and the evolving detector concepts for the experimental program at the Electron-Ion Collider (EIC). The EIC will be a powerful new high-luminosity facility in the United States with the capability to collide high-energy electron beams with high-energy proton and ion beams, providing access to those regions in the nucleon…
▽ More
This report describes the physics case, the resulting detector requirements, and the evolving detector concepts for the experimental program at the Electron-Ion Collider (EIC). The EIC will be a powerful new high-luminosity facility in the United States with the capability to collide high-energy electron beams with high-energy proton and ion beams, providing access to those regions in the nucleon and nuclei where their structure is dominated by gluons. Moreover, polarized beams in the EIC will give unprecedented access to the spatial and spin structure of the proton, neutron, and light ions. The studies leading to this document were commissioned and organized by the EIC User Group with the objective of advancing the state and detail of the physics program and developing detector concepts that meet the emerging requirements in preparation for the realization of the EIC. The effort aims to provide the basis for further development of concepts for experimental equipment best suited for the science needs, including the importance of two complementary detectors and interaction regions.
This report consists of three volumes. Volume I is an executive summary of our findings and developed concepts. In Volume II we describe studies of a wide range of physics measurements and the emerging requirements on detector acceptance and performance. Volume III discusses general-purpose detector concepts and the underlying technologies to meet the physics requirements. These considerations will form the basis for a world-class experimental program that aims to increase our understanding of the fundamental structure of all visible matter
△ Less
Submitted 26 October, 2021; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Origin of the in-orbit instrumental background of the Hard X-ray Imager onboard Hitomi
Authors:
Kouichi Hagino,
Hirokazu Odaka,
Goro Sato,
Tamotsu Sato,
Hiromasa Suzuki,
Tsunefumi Mizuno,
Madoka Kawaharada,
Masanori Ohno,
Kazuhiro Nakazawa,
Shogo B. Kobayashi,
Hiroaki Murakami,
Katsuma Miyake,
Makoto Asai,
Tatsumi Koi,
Greg Madejski,
Shinya Saito,
Dennis H. Wright,
Teruaki Enoto,
Yasushi Fukazawa,
Katsuhiro Hayashi,
Jun Kataoka,
Junichiro Katsuta,
Motohide Kokubun,
Philippe Laurent,
Francois Lebrun
, et al. (21 additional authors not shown)
Abstract:
Understanding and reducing the in-orbit instrumental backgrounds are essential to achieving high sensitivity in hard X-ray astronomical observations. The observational data of the Hard X-ray Imager (HXI) on board the Hitomi satellite provides useful information on the background components, owing to its multi-layer configuration with different atomic numbers: the HXI consists of a stack of four la…
▽ More
Understanding and reducing the in-orbit instrumental backgrounds are essential to achieving high sensitivity in hard X-ray astronomical observations. The observational data of the Hard X-ray Imager (HXI) on board the Hitomi satellite provides useful information on the background components, owing to its multi-layer configuration with different atomic numbers: the HXI consists of a stack of four layers of Si (Z = 14) detectors and one layer of CdTe (Z = 48, 52) detector surrounded by well-type BGO (Bi4Ge3O12) active shields. Based on the observational data, the backgrounds of top Si layer, the three underlying Si layers, and the CdTe layer are inferred to be dominated by different components, namely, low-energy electrons, albedo neutrons, and proton-induced radioactivation, respectively. Monte Carlo simulations of the in-orbit background of the HXI reproduce the observed background spectrum of each layer well, thereby verifying the above hypothesis quantitatively. In addition, we suggest the inclusion of an electron shield to reduce the background.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Discrete Word Embedding for Logical Natural Language Understanding
Authors:
Masataro Asai,
Zilu Tang
Abstract:
We propose an unsupervised neural model for learning a discrete embedding of words. Unlike existing discrete embeddings, our binary embedding supports vector arithmetic operations similar to continuous embeddings. Our embedding represents each word as a set of propositional statements describing a transition rule in classical/STRIPS planning formalism. This makes the embedding directly compatible…
▽ More
We propose an unsupervised neural model for learning a discrete embedding of words. Unlike existing discrete embeddings, our binary embedding supports vector arithmetic operations similar to continuous embeddings. Our embedding represents each word as a set of propositional statements describing a transition rule in classical/STRIPS planning formalism. This makes the embedding directly compatible with symbolic, state of the art classical planning solvers.
△ Less
Submitted 15 October, 2020; v1 submitted 26 August, 2020;
originally announced August 2020.
-
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Authors:
Masataro Asai,
Christian Muise
Abstract:
We achieved a new milestone in the difficult task of enabling agents to learn about their environment autonomously. Our neuro-symbolic architecture is trained end-to-end to produce a succinct and effective discrete state transition model from images alone. Our target representation (the Planning Domain Definition Language) is already in a form that off-the-shelf solvers can consume, and opens the…
▽ More
We achieved a new milestone in the difficult task of enabling agents to learn about their environment autonomously. Our neuro-symbolic architecture is trained end-to-end to produce a succinct and effective discrete state transition model from images alone. Our target representation (the Planning Domain Definition Language) is already in a form that off-the-shelf solvers can consume, and opens the door to the rich array of modern heuristic search capabilities. We demonstrate how the sophisticated innate prior we place on the learning process significantly reduces the complexity of the learned representation, and reveals a connection to the graph-theoretic notion of "cube-like graphs", thus opening the door to a deeper understanding of the ideal properties for learned symbolic representations. We show that the powerful domain-independent heuristics allow our system to solve visual 15-Puzzle instances which are beyond the reach of blind search, without resorting to the Reinforcement Learning approach that requires a huge amount of training on the domain-dependent reward information.
△ Less
Submitted 11 August, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Preliminary results in using Deep Learning to emulate BLOB, a nuclear interaction model
Authors:
A. Ciardiello,
M. Asai,
B. Caccia,
G. A. P. Cirrone,
M. Colonna,
A. Dotti,
R. Faccini,
S. Giagu,
A. Messina,
P. Napolitani,
L. Pandola,
D. H. Wright,
C. Mancini-Terracciano
Abstract:
Purpose: A reliable model to simulate nuclear interactions is fundamental for Ion-therapy. We already showed how BLOB ("Boltzmann-Langevin One Body"), a model developed to simulate heavy ion interactions up to few hundreds of MeV/u, could simulate also $^{12}$C reactions in the same energy domain. However, its computation time is too long for any medical application. For this reason we present the…
▽ More
Purpose: A reliable model to simulate nuclear interactions is fundamental for Ion-therapy. We already showed how BLOB ("Boltzmann-Langevin One Body"), a model developed to simulate heavy ion interactions up to few hundreds of MeV/u, could simulate also $^{12}$C reactions in the same energy domain. However, its computation time is too long for any medical application. For this reason we present the possibility of emulating it with a Deep Learning algorithm. Methods: The BLOB final state is a Probability Density Function (PDF) of finding a nucleon in a position of the phase space. We discretised this PDF and trained a Variational Auto-Encoder (VAE) to reproduce such a discrete PDF. As a proof of concept, we developed and trained a VAE to emulate BLOB in simulating the interactions of $^{12}$C with $^{12}$C at 62 MeV/u. To have more control on the generation, we forced the VAE latent space to be organised with respect to the impact parameter ($b$) training a classifier of $b$ jointly with the VAE. Results: The distributions obtained from the VAE are similar to the input ones and the computation time needed to use the VAE as a generator is negligible. Conclusions: We show that it is possible to use a Deep Learning approach to emulate a model developed to simulate nuclear reactions in the energy range of interest for Ion-therapy. We foresee the implementation of the generation part in C++ and to interface it with the most used Monte Carlo toolkit: Geant4.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Neural-Symbolic Descriptive Action Model from Images: The Search for STRIPS
Authors:
Masataro Asai
Abstract:
Recent work on Neural-Symbolic systems that learn the discrete planning model from images has opened a promising direction for expanding the scope of Automated Planning and Scheduling to the raw, noisy data. However, previous work only partially addressed this problem, utilizing the black-box neural model as the successor generator. In this work, we propose Double-Stage Action Model Acquisition (D…
▽ More
Recent work on Neural-Symbolic systems that learn the discrete planning model from images has opened a promising direction for expanding the scope of Automated Planning and Scheduling to the raw, noisy data. However, previous work only partially addressed this problem, utilizing the black-box neural model as the successor generator. In this work, we propose Double-Stage Action Model Acquisition (DSAMA), a system that obtains a descriptive PDDL action model with explicit preconditions and effects over the propositional variables unsupervized-learned from images. DSAMA trains a set of Random Forest rule-based classifiers and compiles them into logical formulae in PDDL. While we obtained a competitively accurate PDDL model compared to a black-box model, we observed that the resulting PDDL is too large and complex for the state-of-the-art standard planners such as Fast Downward primarily due to the PDDL-SAS+ translator bottleneck. From this negative result, we argue that this translator bottleneck cannot be addressed just by using a different, existing rule-based learning method, and we point to the potential future directions.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder
Authors:
Masataro Asai,
Hiroshi Kajino
Abstract:
While classical planning has been an active branch of AI, its applicability is limited to the tasks precisely modeled by humans. Fully automated high-level agents should be instead able to find a symbolic representation of an unknown environment without supervision, otherwise it exhibits the knowledge acquisition bottleneck. Meanwhile, Latplan (Asai and Fukunaga 2018) partially resolves the bottle…
▽ More
While classical planning has been an active branch of AI, its applicability is limited to the tasks precisely modeled by humans. Fully automated high-level agents should be instead able to find a symbolic representation of an unknown environment without supervision, otherwise it exhibits the knowledge acquisition bottleneck. Meanwhile, Latplan (Asai and Fukunaga 2018) partially resolves the bottleneck with a neural network called State AutoEncoder (SAE). SAE obtains the propositional representation of the image-based puzzle domains with unsupervised learning, generates a state space and performs classical planning. In this paper, we identify the problematic, stochastic behavior of the SAE-produced propositions as a new sub-problem of symbol grounding problem, the symbol stability problem. Informally, symbols are stable when their referents (e.g. propositional values) do not change against small perturbation of the observation, and unstable symbols are harmful for symbolic reasoning. We analyze the problem in Latplan both formally and empirically, and propose "Zero-Suppressed SAE", an enhancement that stabilizes the propositions using the idea of closed-world assumption as a prior for NN optimization. We show that it finds the more stable propositions and the more compact representations, resulting in an improved success rate of Latplan. It is robust against various hyperparameters and eases the tuning effort, and also provides a weight pruning capability as a side effect.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Unsupervised Grounding of Plannable First-Order Logic Representation from Images
Authors:
Masataro Asai
Abstract:
Recently, there is an increasing interest in obtaining the relational structures of the environment in the Reinforcement Learning community. However, the resulting "relations" are not the discrete, logical predicates compatible to the symbolic reasoning such as classical planning or goal recognition. Meanwhile, Latplan (Asai and Fukunaga 2018) bridged the gap between deep-learning perceptual syste…
▽ More
Recently, there is an increasing interest in obtaining the relational structures of the environment in the Reinforcement Learning community. However, the resulting "relations" are not the discrete, logical predicates compatible to the symbolic reasoning such as classical planning or goal recognition. Meanwhile, Latplan (Asai and Fukunaga 2018) bridged the gap between deep-learning perceptual systems and symbolic classical planners. One key component of the system is a Neural Network called State AutoEncoder (SAE), which encodes an image-based input into a propositional representation compatible to classical planning. To get the best of both worlds, we propose First-Order State AutoEncoder, an unsupervised architecture for grounding the first-order logic predicates and facts. Each predicate models a relationship between objects by taking the interpretable arguments and returning a propositional value. In the experiment using 8-Puzzle and a photo-realistic Blocksworld environment, we show that (1) the resulting predicates capture the interpretable relations (e.g. spatial), (2) they help obtaining the compact, abstract model of the environment, and finally, (3) the resulting model is compatible to symbolic classical planning.
△ Less
Submitted 27 March, 2019; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Photo-Realistic Blocksworld Dataset
Authors:
Masataro Asai
Abstract:
In this report, we introduce an artificial dataset generator for Photo-realistic Blocksworld domain. Blocksworld is one of the oldest high-level task planning domain that is well defined but contains sufficient complexity, e.g., the conflicting subgoals and the decomposability into subproblems. We aim to make this dataset a benchmark for Neural-Symbolic integrated systems and accelerate the resear…
▽ More
In this report, we introduce an artificial dataset generator for Photo-realistic Blocksworld domain. Blocksworld is one of the oldest high-level task planning domain that is well defined but contains sufficient complexity, e.g., the conflicting subgoals and the decomposability into subproblems. We aim to make this dataset a benchmark for Neural-Symbolic integrated systems and accelerate the research in this area. The key advantage of such systems is the ability to obtain a symbolic model from the real-world input and perform a fast, systematic, complete algorithm for symbolic reasoning, without any supervision and the reward signal from the environment.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
Set Cross Entropy: Likelihood-based Permutation Invariant Loss Function for Probability Distributions
Authors:
Masataro Asai
Abstract:
We propose a permutation-invariant loss function designed for the neural networks reconstructing a set of elements without considering the order within its vector representation. Unlike popular approaches for encoding and decoding a set, our work does not rely on a carefully engineered network topology nor by any additional sequential algorithm. The proposed method, Set Cross Entropy, has a natura…
▽ More
We propose a permutation-invariant loss function designed for the neural networks reconstructing a set of elements without considering the order within its vector representation. Unlike popular approaches for encoding and decoding a set, our work does not rely on a carefully engineered network topology nor by any additional sequential algorithm. The proposed method, Set Cross Entropy, has a natural information-theoretic interpretation and is related to the metrics defined for sets. We evaluate the proposed approach in two object reconstruction tasks and a rule learning task.
△ Less
Submitted 5 December, 2018; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Modeling of proton-induced radioactivation background in hard X-ray telescopes: Geant4-based simulation and its demonstration by Hitomi's measurement in a low Earth orbit
Authors:
Hirokazu Odaka,
Makoto Asai,
Kouichi Hagino,
Tatsumi Koi,
Greg Madejski,
Tsunefumi Mizuno,
Masanori Ohno,
Shinya Saito,
Tamotsu Sato,
Dennis H. Wright,
Teruaki Enoto,
Yasushi Fukazawa,
Katsuhiro Hayashi,
Jun Kataoka,
Junichiro Katsuta,
Madoka Kawaharada,
Shogo B. Kobayashi,
Motohide Kokubun,
Philippe Laurent,
Francois Lebrun,
Olivier Limousin,
Daniel Maier,
Kazuo Makishima,
Taketo Mimura,
Katsuma Miyake
, et al. (25 additional authors not shown)
Abstract:
Hard X-ray astronomical observatories in orbit suffer from a significant amount of background due to radioactivation induced by cosmic-ray protons and/or geomagnetically trapped protons. Within the framework of a full Monte Carlo simulation, we present modeling of in-orbit instrumental background dominated by radioactivation. To reduce the computation time required by straightforward simulations o…
▽ More
Hard X-ray astronomical observatories in orbit suffer from a significant amount of background due to radioactivation induced by cosmic-ray protons and/or geomagnetically trapped protons. Within the framework of a full Monte Carlo simulation, we present modeling of in-orbit instrumental background dominated by radioactivation. To reduce the computation time required by straightforward simulations of delayed emissions from activated isotopes, we insert a semi-analytical calculation that converts production probabilities of radioactive isotopes by interaction of the primary protons into decay rates at measurement time of all secondary isotopes. Therefore, our simulation method is separated into three steps: (1) simulation of isotope production, (2) semi-analytical conversion to decay rates, and (3) simulation of decays of the isotopes at measurement time. This method is verified by a simple setup that has a CdTe semiconductor detector, and shows a 100-fold improvement in efficiency over the straightforward simulation. The simulation framework was tested against data measured with a CdTe sensor in the Hard X-ray Imager onboard the Hitomi X-ray Astronomy Satellite, which was put into a low Earth orbit with an altitude of 570 km and an inclination of 31 degrees, and thus experienced a large amount of irradiation from geomagnetically trapped protons during its passages through the South Atlantic Anomaly. The simulation is able to treat full histories of the proton irradiation and multiple measurement windows. The simulation results agree very well with the measured data, showing that the measured background is well described by the combination of proton-induced radioactivation of the CdTe detector itself and thick Bi4Ge3O12 scintillator shields, leakage of cosmic X-ray background and albedo gamma-ray radiation, and emissions from naturally contaminated isotopes in the detector system.
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
HEP Software Foundation Community White Paper Working Group - Detector Simulation
Authors:
HEP Software Foundation,
:,
J Apostolakis,
M Asai,
S Banerjee,
R Bianchi,
P Canal,
R Cenci,
J Chapman,
G Corti,
G Cosmo,
S Easo,
L de Oliveira,
A Dotti,
V Elvira,
S Farrell,
L Fields,
K Genser,
A Gheata,
M Gheata,
J Harvey,
F Hariri,
R Hatcher,
K Herner,
M Hildreth
, et al. (40 additional authors not shown)
Abstract:
A working group on detector simulation was formed as part of the high-energy physics (HEP) Software Foundation's initiative to prepare a Community White Paper that describes the main software challenges and opportunities to be faced in the HEP field over the next decade. The working group met over a period of several months in order to review the current status of the Full and Fast simulation appl…
▽ More
A working group on detector simulation was formed as part of the high-energy physics (HEP) Software Foundation's initiative to prepare a Community White Paper that describes the main software challenges and opportunities to be faced in the HEP field over the next decade. The working group met over a period of several months in order to review the current status of the Full and Fast simulation applications of HEP experiments and the improvements that will need to be made in order to meet the goals of future HEP experimental programmes. The scope of the topics covered includes the main components of a HEP simulation application, such as MC truth handling, geometry modeling, particle propagation in materials and fields, physics modeling of the interactions of particles with matter, the treatment of pileup and other backgrounds, as well as signal processing and digitisation. The resulting work programme described in this document focuses on the need to improve both the software performance and the physics of detector simulation. The goals are to increase the accuracy of the physics models and expand their applicability to future physics programmes, while achieving large factors in computing performance gains consistent with projections on available computing resources.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
A Roadmap for HEP Software and Computing R&D for the 2020s
Authors:
Johannes Albrecht,
Antonio Augusto Alves Jr,
Guilherme Amadio,
Giuseppe Andronico,
Nguyen Anh-Ky,
Laurent Aphecetche,
John Apostolakis,
Makoto Asai,
Luca Atzori,
Marian Babik,
Giuseppe Bagliesi,
Marilena Bandieramonte,
Sunanda Banerjee,
Martin Barisits,
Lothar A. T. Bauerdick,
Stefano Belforte,
Douglas Benjamin,
Catrin Bernius,
Wahid Bhimji,
Riccardo Maria Bianchi,
Ian Bird,
Catherine Biscarat,
Jakob Blomer,
Kenneth Bloom,
Tommaso Boccali
, et al. (285 additional authors not shown)
Abstract:
Particle physics has an ambitious and broad experimental programme for the coming decades. This programme requires large investments in detector hardware, either to build new facilities and experiments, or to upgrade existing ones. Similarly, it requires commensurate investment in the R&D of software to acquire, manage, process, and analyse the shear amounts of data to be recorded. In planning for…
▽ More
Particle physics has an ambitious and broad experimental programme for the coming decades. This programme requires large investments in detector hardware, either to build new facilities and experiments, or to upgrade existing ones. Similarly, it requires commensurate investment in the R&D of software to acquire, manage, process, and analyse the shear amounts of data to be recorded. In planning for the HL-LHC in particular, it is critical that all of the collaborating stakeholders agree on the software goals and priorities, and that the efforts complement each other. In this spirit, this white paper describes the R&D activities required to prepare for this software upgrade.
△ Less
Submitted 19 December, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary
Authors:
Masataro Asai,
Alex Fukunaga
Abstract:
Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many fields, the knowledge is encoded in a subsymbolic representation which is incompatible with symbolic systems such as planners. We propose LatPlan, an unsupervis…
▽ More
Current domain-independent, classical planners require symbolic models of the problem domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved significant success in many fields, the knowledge is encoded in a subsymbolic representation which is incompatible with symbolic systems such as planners. We propose LatPlan, an unsupervised architecture combining deep learning and classical planning. Given only an unlabeled set of image pairs showing a subset of transitions allowed in the environment (training inputs), and a pair of images representing the initial and the goal states (planning inputs), LatPlan finds a plan to the goal state in a symbolic latent space and returns a visualized plan execution. The contribution of this paper is twofold: (1) State Autoencoder, which finds a propositional state representation of the environment using a Variational Autoencoder. It generates a discrete latent vector from the images, based on which a PDDL model can be constructed and then solved by an off-the-shelf planner. (2) Action Autoencoder / Discriminator, a neural architecture which jointly finds the action symbols and the implicit action models (preconditions/effects), and provides a successor function for the implicit graph search. We evaluate LatPlan using image-based versions of 3 planning domains: 8-puzzle, Towers of Hanoi and LightsOut.
△ Less
Submitted 3 December, 2017; v1 submitted 29 April, 2017;
originally announced May 2017.
-
Multi-threaded Geant4 on the Xeon-Phi with Complex High-Energy Physics Geometry
Authors:
Steven Farrell,
Andrea Dotti,
Makoto Asai,
Paolo Calafiura,
Romain Monnard
Abstract:
To study the performance of multi-threaded Geant4 for high-energy physics experiments, an application has been developed which generalizes and extends previous work. A highly-complex detector geometry is used for benchmarking on an Intel Xeon Phi coprocessor. In addition, an implementation of parallel I/O based on Intel SCIF and ROOT technologies is incorporated and studied.
To study the performance of multi-threaded Geant4 for high-energy physics experiments, an application has been developed which generalizes and extends previous work. A highly-complex detector geometry is used for benchmarking on an Intel Xeon Phi coprocessor. In addition, an implementation of parallel I/O based on Intel SCIF and ROOT technologies is incorporated and studied.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
Extending Geant4 Parallelism with External Libraries (MPI, TBB) and Its Use on HPC Resources
Authors:
Andrea Dotti,
Makoto Asai,
Guy Barrand,
Ivana Hrivnacova,
Koichi Murakami
Abstract:
With Geant4 Version 10.0, released in December 2013, one of the most widely used Monte-Carlo codes has been ported to take full advantage of multi- and many-core CPUs thanks to the introduction of event-level parallelism via multithreading. In this paper we review recent developments to allow for a better integration of parallel Geant4 jobs with external libraries. We have chosen to develop exampl…
▽ More
With Geant4 Version 10.0, released in December 2013, one of the most widely used Monte-Carlo codes has been ported to take full advantage of multi- and many-core CPUs thanks to the introduction of event-level parallelism via multithreading. In this paper we review recent developments to allow for a better integration of parallel Geant4 jobs with external libraries. We have chosen to develop examples using the popular Intel Threading Building Block (for short TBB) as an alternative parallelization approach to the native Geant4 POSIX. To simplify the scaling of a Geant4 application across nodes on a cluster we are improving the support of MPI in Geant4. In particular it is now possible to run an hybrid MPI/MT application that uses MPI to scale across nodes and MT to scale across cores. %The recent developments allow users to easily implement parallel application resources that scale on a very large number of nodes and cores typical of HPC resources.
△ Less
Submitted 5 May, 2016;
originally announced May 2016.
-
High Energy Physics Forum for Computational Excellence: Working Group Reports (I. Applications Software II. Software Libraries and Tools III. Systems)
Authors:
Salman Habib,
Robert Roser,
Tom LeCompte,
Zach Marshall,
Anders Borgland,
Brett Viren,
Peter Nugent,
Makoto Asai,
Lothar Bauerdick,
Hal Finkel,
Steve Gottlieb,
Stefan Hoeche,
Paul Sheldon,
Jean-Luc Vay,
Peter Elmer,
Michael Kirby,
Simon Patton,
Maxim Potekhin,
Brian Yanny,
Paolo Calafiura,
Eli Dart,
Oliver Gutsche,
Taku Izubuchi,
Adam Lyon,
Don Petravick
Abstract:
Computing plays an essential role in all aspects of high energy physics. As computational technology evolves rapidly in new directions, and data throughput and volume continue to follow a steep trend-line, it is important for the HEP community to develop an effective response to a series of expected challenges. In order to help shape the desired response, the HEP Forum for Computational Excellence…
▽ More
Computing plays an essential role in all aspects of high energy physics. As computational technology evolves rapidly in new directions, and data throughput and volume continue to follow a steep trend-line, it is important for the HEP community to develop an effective response to a series of expected challenges. In order to help shape the desired response, the HEP Forum for Computational Excellence (HEP-FCE) initiated a roadmap planning activity with two key overlapping drivers -- 1) software effectiveness, and 2) infrastructure and expertise advancement. The HEP-FCE formed three working groups, 1) Applications Software, 2) Software Libraries and Tools, and 3) Systems (including systems software), to provide an overview of the current status of HEP computing and to present findings and opportunities for the desired HEP computational roadmap. The final versions of the reports are combined in this document, and are presented along with introductory material.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
WIMP-Search Results from the Second CDMSlite Run
Authors:
SuperCDMS Collaboration,
R. Agnese,
A. J. Anderson,
T. Aramaki,
M. Asai,
W. Baker,
D. Balakishiyeva,
D. Barker,
R. Basu Thakur,
D. A. Bauer,
J. Billard,
A. Borgland,
M. A. Bowles,
P. L. Brink,
R. Bunker,
B. Cabrera,
D. O. Caldwell,
R. Calkins,
D. G. Cerdeno,
H. Chagani,
Y. Chen,
J. Cooley,
B. Cornell,
P. Cushman,
M. Daal
, et al. (65 additional authors not shown)
Abstract:
The CDMS low ionization threshold experiment (CDMSlite) uses cryogenic germanium detectors operated at a relatively high bias voltage to amplify the phonon signal in the search for weakly interacting massive particles (WIMPs). Results are presented from the second CDMSlite run with an exposure of 70 kg days, which reached an energy threshold for electron recoils as low as 56 eV. A fiducialization…
▽ More
The CDMS low ionization threshold experiment (CDMSlite) uses cryogenic germanium detectors operated at a relatively high bias voltage to amplify the phonon signal in the search for weakly interacting massive particles (WIMPs). Results are presented from the second CDMSlite run with an exposure of 70 kg days, which reached an energy threshold for electron recoils as low as 56 eV. A fiducialization cut reduces backgrounds below those previously reported by CDMSlite. New parameter space for the WIMP-nucleon spin-independent cross section is excluded for WIMP masses between 1.6 and 5.5 GeV/$c^2$.
△ Less
Submitted 9 March, 2016; v1 submitted 8 September, 2015;
originally announced September 2015.
-
Improved WIMP-search reach of the CDMS II germanium data
Authors:
R. Agnese,
A. J. Anderson,
M. Asai,
D. Balakishiyeva,
D. Barker,
R. Basu Thakur,
D. A. Bauer,
J. Billard,
A. Borgland,
M. A. Bowles,
D. Brandt,
P. L. Brink,
R. Bunker,
B. Cabrera,
D. O. Caldwell,
R. Calkins,
D. G. Cerdeño,
H. Chagani,
Y. Chen,
J. Cooley,
B. Cornell,
C. H. Crewdson,
P. Cushman,
M. Daal,
P. C. F. Di Stefano
, et al. (64 additional authors not shown)
Abstract:
CDMS II data from the 5-tower runs at the Soudan Underground Laboratory were reprocessed with an improved charge-pulse fitting algorithm. Two new analysis techniques to reject surface-event backgrounds were applied to the 612 kg days germanium-detector WIMP-search exposure. An extended analysis was also completed by decreasing the 10 keV analysis threshold to $\sim$5 keV, to increase sensitivity n…
▽ More
CDMS II data from the 5-tower runs at the Soudan Underground Laboratory were reprocessed with an improved charge-pulse fitting algorithm. Two new analysis techniques to reject surface-event backgrounds were applied to the 612 kg days germanium-detector WIMP-search exposure. An extended analysis was also completed by decreasing the 10 keV analysis threshold to $\sim$5 keV, to increase sensitivity near a WIMP mass of 8 GeV/$c^2$. After unblinding, there were zero candidate events above a deposited energy of 10 keV and 6 events in the lower-threshold analysis. This yielded minimum WIMP-nucleon spin-independent scattering cross-section limits of $1.8 \times 10^{-44}$ and $1.18 \times 10 ^{-41}$ cm$^2$ at 90\% confidence for 60 and 8.6 GeV/$c^2$ WIMPs, respectively. This improves the previous CDMS II result by a factor of 2.4 (2.7) for 60 (8.6) GeV/$c^2$ WIMPs.
△ Less
Submitted 13 October, 2015; v1 submitted 22 April, 2015;
originally announced April 2015.
-
Dark matter effective field theory scattering in direct detection experiments
Authors:
K. Schneck,
B. Cabrera,
D. G. Cerdeno,
V. Mandic,
H. E. Rogers,
R. Agnese,
A. J. Anderson,
M. Asai,
D. Balakishiyeva,
D. Barker,
R. Basu Thakur,
D. A. Bauer,
J. Billard,
A. Borgland,
D. Brandt,
P. L. Brink,
R. Bunker,
D. O. Caldwell,
R. Calkins,
H. Chagani,
Y. Chen,
J. Cooley,
B. Cornell,
C. H. Crewdson,
P. Cushman
, et al. (62 additional authors not shown)
Abstract:
We examine the consequences of the effective field theory (EFT) of dark matter-nucleon scattering for current and proposed direct detection experiments. Exclusion limits on EFT coupling constants computed using the optimum interval method are presented for SuperCDMS Soudan, CDMS II, and LUX, and the necessity of combining results from multiple experiments in order to determine dark matter paramete…
▽ More
We examine the consequences of the effective field theory (EFT) of dark matter-nucleon scattering for current and proposed direct detection experiments. Exclusion limits on EFT coupling constants computed using the optimum interval method are presented for SuperCDMS Soudan, CDMS II, and LUX, and the necessity of combining results from multiple experiments in order to determine dark matter parameters is discussed. We demonstrate that spectral differences between the standard dark matter model and a general EFT interaction can produce a bias when calculating exclusion limits and when developing signal models for likelihood and machine learning techniques. We also discuss the implications of the EFT for the next-generation (G2) direct detection experiments and point out regions of complementarity in the EFT parameter space.
△ Less
Submitted 16 August, 2016; v1 submitted 11 March, 2015;
originally announced March 2015.
-
The ASTRO-H X-ray Astronomy Satellite
Authors:
Tadayuki Takahashi,
Kazuhisa Mitsuda,
Richard Kelley,
Felix Aharonian,
Hiroki Akamatsu,
Fumie Akimoto,
Steve Allen,
Naohisa Anabuki,
Lorella Angelini,
Keith Arnaud,
Makoto Asai,
Marc Audard,
Hisamitsu Awaki,
Philipp Azzarello,
Chris Baluta,
Aya Bamba,
Nobutaka Bando,
Marshall Bautz,
Thomas Bialas,
Roger Blandford,
Kevin Boyce,
Laura Brenneman,
Greg Brown,
Edward Cackett,
Edgar Canavan
, et al. (228 additional authors not shown)
Abstract:
The joint JAXA/NASA ASTRO-H mission is the sixth in a series of highly successful X-ray missions developed by the Institute of Space and Astronautical Science (ISAS), with a planned launch in 2015. The ASTRO-H mission is equipped with a suite of sensitive instruments with the highest energy resolution ever achieved at E > 3 keV and a wide energy range spanning four decades in energy from soft X-ra…
▽ More
The joint JAXA/NASA ASTRO-H mission is the sixth in a series of highly successful X-ray missions developed by the Institute of Space and Astronautical Science (ISAS), with a planned launch in 2015. The ASTRO-H mission is equipped with a suite of sensitive instruments with the highest energy resolution ever achieved at E > 3 keV and a wide energy range spanning four decades in energy from soft X-rays to gamma-rays. The simultaneous broad band pass, coupled with the high spectral resolution of Delta E < 7 eV of the micro-calorimeter, will enable a wide variety of important science themes to be pursued. ASTRO-H is expected to provide breakthrough results in scientific areas as diverse as the large-scale structure of the Universe and its evolution, the behavior of matter in the gravitational strong field regime, the physical conditions in sites of cosmic-ray acceleration, and the distribution of dark matter in galaxy clusters at different redshifts.
△ Less
Submitted 3 December, 2014;
originally announced December 2014.
-
The Physics of the B Factories
Authors:
A. J. Bevan,
B. Golob,
Th. Mannel,
S. Prell,
B. D. Yabsley,
K. Abe,
H. Aihara,
F. Anulli,
N. Arnaud,
T. Aushev,
M. Beneke,
J. Beringer,
F. Bianchi,
I. I. Bigi,
M. Bona,
N. Brambilla,
J. B rodzicka,
P. Chang,
M. J. Charles,
C. H. Cheng,
H. -Y. Cheng,
R. Chistov,
P. Colangelo,
J. P. Coleman,
A. Drutskoy
, et al. (2009 additional authors not shown)
Abstract:
This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C.
Please note that version 3 on the archive is the auxiliary…
▽ More
This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C.
Please note that version 3 on the archive is the auxiliary version of the Physics of the B Factories book. This uses the notation alpha, beta, gamma for the angles of the Unitarity Triangle. The nominal version uses the notation phi_1, phi_2 and phi_3. Please cite this work as Eur. Phys. J. C74 (2014) 3026.
△ Less
Submitted 31 October, 2015; v1 submitted 24 June, 2014;
originally announced June 2014.
-
A model for the interaction of high-energy particles in straight and bent crystals implemented in Geant4
Authors:
E. Bagli,
M. Asai,
D. Brandt,
A. Dotti,
V. Guidi,
D. H. Wright
Abstract:
A model for the simulation of orientational effects in straight and bent periodic atomic structures is presented. The continuum potential approximation has been adopted.The model allows the manipulation of particle trajectories by means of straight and bent crystals and the scaling of the cross sections of hadronic and electromagnetic processes for channeled particles. Based on such a model, an ex…
▽ More
A model for the simulation of orientational effects in straight and bent periodic atomic structures is presented. The continuum potential approximation has been adopted.The model allows the manipulation of particle trajectories by means of straight and bent crystals and the scaling of the cross sections of hadronic and electromagnetic processes for channeled particles. Based on such a model, an extension of the Geant4 toolkit has been developed. The code has been validated against data from channeling experiments carried out at CERN.
△ Less
Submitted 1 July, 2014; v1 submitted 23 March, 2014;
originally announced March 2014.
-
Semiconductor phonon and charge transport Monte Carlo simulation using Geant4
Authors:
D. Brandt,
R. Agnese,
P. Redl,
K. Schneck,
M. Asai,
M. Kelsey,
D. Faiez,
E. Bagli,
B. Cabrera,
R. Partridge,
T. Saab,
B. Sadoulet
Abstract:
A phonon and charge transport simulation based on the Geant4 Monte Carlo toolkit is presented. The transport code is capable of propagating acoustic phonons, electrons and holes in cryogenic crystals. Anisotropic phonon propagation, oblique carrier propagation and phonon emission by accelerated carriers are all taken into account. The simulation successfully reproduces theoretical predictions and…
▽ More
A phonon and charge transport simulation based on the Geant4 Monte Carlo toolkit is presented. The transport code is capable of propagating acoustic phonons, electrons and holes in cryogenic crystals. Anisotropic phonon propagation, oblique carrier propagation and phonon emission by accelerated carriers are all taken into account. The simulation successfully reproduces theoretical predictions and experimental observations such as phonon caustics, heat pulse propagation times and mean carrier drift velocities.
Implementation of the transport code using the Geant4 toolkit ensures availability to the wider scientific community.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
Search for Low-Mass WIMPs with SuperCDMS
Authors:
R. Agnese,
A. J. Anderson,
M. Asai,
D. Balakishiyeva,
R. Basu Thakur,
D. A. Bauer,
J. Beaty,
J. Billard,
A. Borgland,
M. A. Bowles,
D. Brandt,
P. L. Brink,
R. Bunker,
B. Cabrera,
D. O. Caldwell,
D. G. Cerdeno,
H. Chagani,
Y. Chen,
M. Cherry,
J. Cooley,
B. Cornell,
C. H. Crewdson,
P. Cushman,
M. Daal,
D. DeVaney
, et al. (70 additional authors not shown)
Abstract:
We report a first search for weakly interacting massive particles (WIMPs) using the background rejection capabilities of SuperCDMS. An exposure of 577 kg-days was analyzed for WIMPs with mass < 30 GeV/c2, with the signal region blinded. Eleven events were observed after unblinding. We set an upper limit on the spin-independent WIMP-nucleon cross section of 1.2e-42 cm2 at 8 GeV/c2. This result is i…
▽ More
We report a first search for weakly interacting massive particles (WIMPs) using the background rejection capabilities of SuperCDMS. An exposure of 577 kg-days was analyzed for WIMPs with mass < 30 GeV/c2, with the signal region blinded. Eleven events were observed after unblinding. We set an upper limit on the spin-independent WIMP-nucleon cross section of 1.2e-42 cm2 at 8 GeV/c2. This result is in tension with WIMP interpretations of recent experiments and probes new parameter space for WIMP-nucleon scattering for WIMP masses < 6 GeV/c2.
△ Less
Submitted 12 March, 2014; v1 submitted 28 February, 2014;
originally announced February 2014.
-
CDMSlite: A Search for Low-Mass WIMPs using Voltage-Assisted Calorimetric Ionization Detection in the SuperCDMS Experiment
Authors:
R. Agnese,
A. J. Anderson,
M. Asai,
D. Balakishiyeva,
R. Basu Thakur,
D. A. Bauer,
J. Billard,
A. Borgland,
M. A. Bowles,
D. Brandt,
P. L. Brink,
R. Bunker,
B. Cabrera,
D. O. Caldwell,
D. G. Cerdeno,
H. Chagani,
J. Cooley,
B. Cornell,
C. H. Crewdson,
P. Cushman,
M. Daal,
P. C. F. Di Stefano,
T. Doughty,
L. Esteban,
S. Fallows
, et al. (55 additional authors not shown)
Abstract:
SuperCDMS is an experiment designed to directly detect Weakly Interacting Massive Particles (WIMPs), a favored candidate for dark matter ubiquitous in the Universe. In this paper, we present WIMP-search results using a calorimetric technique we call CDMSlite, which relies on voltage- assisted Luke-Neganov amplification of the ionization energy deposited by particle interactions. The data were coll…
▽ More
SuperCDMS is an experiment designed to directly detect Weakly Interacting Massive Particles (WIMPs), a favored candidate for dark matter ubiquitous in the Universe. In this paper, we present WIMP-search results using a calorimetric technique we call CDMSlite, which relies on voltage- assisted Luke-Neganov amplification of the ionization energy deposited by particle interactions. The data were collected with a single 0.6 kg germanium detector running for 10 live days at the Soudan Underground Laboratory. A low energy threshold of 170 eVee (electron equivalent) was obtained, which allows us to constrain new WIMP-nucleon spin-independent parameter space for WIMP masses below 6 GeV/c2.
△ Less
Submitted 20 December, 2013; v1 submitted 12 September, 2013;
originally announced September 2013.
-
Geant4 - Current and Future : A Snowmass 2013 White Paper
Authors:
Makoto Asai,
Richard Mount
Abstract:
The US involvement in Geant4 started with its adoption by the BaBar experiment at SLAC in 1997 and the subsequent creation of a group at SLAC supporting BaBar and contributing to Geant4 development. SLAC has provided the leadership of the international Geant4 Collaboration for the recent years and carries major responsibilities for evolutionary development of the existing code with work to impleme…
▽ More
The US involvement in Geant4 started with its adoption by the BaBar experiment at SLAC in 1997 and the subsequent creation of a group at SLAC supporting BaBar and contributing to Geant4 development. SLAC has provided the leadership of the international Geant4 Collaboration for the recent years and carries major responsibilities for evolutionary development of the existing code with work to implement multithreading and explore new application domains as well as new technologies such as GPUs. This paper presents the current and the future developments being carried by the SLAC Geant4 team.
△ Less
Submitted 8 August, 2013;
originally announced August 2013.
-
The ASTRO-H X-ray Observatory
Authors:
Tadayuki Takahashi,
Kazuhisa Mitsuda,
Richard Kelley,
Henri AartsFelix Aharonian,
Hiroki Akamatsu,
Fumie Akimoto,
Steve Allen,
Naohisa Anabuki,
Lorella Angelini,
Keith Arnaud,
Makoto Asai,
Marc Audard,
Hisamitsu Awaki,
Philipp Azzarello,
Chris Baluta,
Aya Bamba,
Nobutaka Bando,
Mark Bautz,
Roger Blandford,
Kevin Boyce,
Greg Brown,
Ed Cackett,
Maria Chernyakova,
Paolo Coppi,
Elisa Costantini
, et al. (198 additional authors not shown)
Abstract:
The joint JAXA/NASA ASTRO-H mission is the sixth in a series of highly successful X-ray missions initiated by the Institute of Space and Astronautical Science (ISAS). ASTRO-H will investigate the physics of the high-energy universe via a suite of four instruments, covering a very wide energy range, from 0.3 keV to 600 keV. These instruments include a high-resolution, high-throughput spectrometer s…
▽ More
The joint JAXA/NASA ASTRO-H mission is the sixth in a series of highly successful X-ray missions initiated by the Institute of Space and Astronautical Science (ISAS). ASTRO-H will investigate the physics of the high-energy universe via a suite of four instruments, covering a very wide energy range, from 0.3 keV to 600 keV. These instruments include a high-resolution, high-throughput spectrometer sensitive over 0.3-2 keV with high spectral resolution of Delta E < 7 eV, enabled by a micro-calorimeter array located in the focal plane of thin-foil X-ray optics; hard X-ray imaging spectrometers covering 5-80 keV, located in the focal plane of multilayer-coated, focusing hard X-ray mirrors; a wide-field imaging spectrometer sensitive over 0.4-12 keV, with an X-ray CCD camera in the focal plane of a soft X-ray telescope; and a non-focusing Compton-camera type soft gamma-ray detector, sensitive in the 40-600 keV band. The simultaneous broad bandpass, coupled with high spectral resolution, will enable the pursuit of a wide variety of important science themes.
△ Less
Submitted 16 October, 2012;
originally announced October 2012.
-
Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics
Authors:
The ATLAS Collaboration,
G. Aad,
E. Abat,
B. Abbott,
J. Abdallah,
A. A. Abdelalim,
A. Abdesselam,
O. Abdinov,
B. Abi,
M. Abolins,
H. Abramowicz,
B. S. Acharya,
D. L. Adams,
T. N. Addy,
C. Adorisio,
P. Adragna,
T. Adye,
J. A. Aguilar-Saavedra,
M. Aharrouche,
S. P. Ahlen,
F. Ahles,
A. Ahmad,
H. Ahmed,
G. Aielli,
T. Akdogan
, et al. (2587 additional authors not shown)
Abstract:
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on…
▽ More
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.
△ Less
Submitted 14 August, 2009; v1 submitted 28 December, 2008;
originally announced January 2009.
-
Measurements of total and partial charge-changing cross sections for 200-400 MeV/nucleon 12C in water and polycarbonate
Authors:
T. Toshito,
K. Kodama,
L. Sihver,
K. Yusa,
M. Ozaki,
K. Amako,
S. Kameoka,
K. Murakami,
T. Sasaki,
S. Aoki,
T. Ban,
T. Fukuda,
M. Komatsu,
H. Kubota,
N. Naganawa,
T. Nakamura,
T. Nakano,
M. Natsume,
K. Niwa,
S. Takahashi,
J. Yoshida,
H. Yoshida,
M. Kanazawa,
N. Kanematsu,
M. Komori
, et al. (7 additional authors not shown)
Abstract:
We have studied charged nuclear fragments produced by 200 - 400 MeV/nucleon carbon ions, interacting with water and polycarbonate, using a newly developed emulsion detector. Total and partial charge-changing cross sections for the production of B, Be, and Li fragments were measured and compared with both previously published measurements, and model predictions. This study is of importance for va…
▽ More
We have studied charged nuclear fragments produced by 200 - 400 MeV/nucleon carbon ions, interacting with water and polycarbonate, using a newly developed emulsion detector. Total and partial charge-changing cross sections for the production of B, Be, and Li fragments were measured and compared with both previously published measurements, and model predictions. This study is of importance for validating and improving carbon ion therapy treatment planning systems, and for estimating the radiological risks for personnel on space missions, since carbon is a significant component of the Galactic Cosmic Rays.
△ Less
Submitted 27 March, 2007;
originally announced March 2007.
-
Magnetocapacitance and exponential magnetoresistance in manganite-titanate heterojunctions
Authors:
N. Nakagawa,
M. Asai,
Y. Mukunoki,
T. Susaki,
H. Y. Hwang
Abstract:
We present a rectifying manganite-titanate heterojunction exhibiting a magnetic field tunable depletion layer. This creates a large positive magnetocapacitance, a direct measure of the field-induced reduction of the effective depletion width across the junction. Furthermore, the reduction of the junction barrier shifts the forward bias characteristics, giving exponentially-enhanced differential…
▽ More
We present a rectifying manganite-titanate heterojunction exhibiting a magnetic field tunable depletion layer. This creates a large positive magnetocapacitance, a direct measure of the field-induced reduction of the effective depletion width across the junction. Furthermore, the reduction of the junction barrier shifts the forward bias characteristics, giving exponentially-enhanced differential magnetoresistance, occurring despite the absence of a spin filter. These results provide a unique probe of a Mott insulator/band insulator interface, and further suggest new electronic devices incorporating the magnetic field sensitivity of these strongly correlated electron materials.
△ Less
Submitted 21 September, 2004;
originally announced September 2004.
-
Interfacing the JQMD and JAM Nuclear Reaction Codes to Geant4
Authors:
T. Koi,
M. Asai,
D. H. Wright,
K. Niita,
Y. Nara,
K. Amako,
T. Sasaki
Abstract:
Geant4 is a toolkit for the simulation of the passage of particles through matter. It provides a comprehensive set of tools for geometry, tracking, detector response, run, event and track management, visualization and user interfaces. Geant4 also has an abundant set of physics models that handle the diverse interactions of particles with matter across a wide energy range. However, there are also…
▽ More
Geant4 is a toolkit for the simulation of the passage of particles through matter. It provides a comprehensive set of tools for geometry, tracking, detector response, run, event and track management, visualization and user interfaces. Geant4 also has an abundant set of physics models that handle the diverse interactions of particles with matter across a wide energy range. However, there are also many well-established reaction codes currently used in the same fields where Geant4 is applied. In order to take advantage of these codes, we began to investigate their use from within the framework of Geant4. The first codes chosen for this investigation were the Jaeri Quantum Molecular Dynamics (JQMD) and Jet AA Microscopic Transportation Model (JAM) codes. JQMD is a QMD model code which is widely used to analyze various aspects of heavy ion reactions. JAM is a hadronic cascade model code which explicitly treats all established hadronic states, including resonances with explicit spin and isospin, as well as their anti-particles. We successfully developed interfaces between these codes and Geant4. These allow a user to construct a detector using the powerful material and geometrical capabilities of Geant4, while at the same time implementing nuclear reactions handled by the JQMD and JAM models and the Hadronic framework of Geant4 proved its flexibility and expandability.
△ Less
Submitted 13 June, 2003;
originally announced June 2003.
-
Development of an Interface for Using EGS4 Physics Processes in Geant4
Authors:
K. Murakami,
K. Amako,
H. Hirayama,
Y. Namito,
T. Sasaki,
M. Asai,
T. Koi
Abstract:
As simulation system, the variety of physics processes implemented is one of the most important functionalities. In that sense, Geant4 is one of the most powerful simulation toolkits. Its flexibility and expansibility brought by object-oriented approach make it possible for us to easily assimilate external simulation packages into the Geant4 system as modules of physics processes. We developed a…
▽ More
As simulation system, the variety of physics processes implemented is one of the most important functionalities. In that sense, Geant4 is one of the most powerful simulation toolkits. Its flexibility and expansibility brought by object-oriented approach make it possible for us to easily assimilate external simulation packages into the Geant4 system as modules of physics processes. We developed an interface for using EGS4, which is another of the most well-known simulation package for electromagnetic physics, in Geant4. By means of this interface, EGS4 users can share Geant4 powerful resources, such as geometry, tracking, etc. It is also important that it can provide a common environment for comparison tests between EGS4 and Geant4. In this paper, we describe our design and implementation of the interface.
△ Less
Submitted 10 June, 2003;
originally announced June 2003.
-
Experimental search for the decay mode K_L -> pi^0 gamma e^+ e^-
Authors:
K. Murakami,
Y. Hemmi,
H. Kurashige,
Y. Matono,
T. Nomura,
H. Sakamoto,
N. Sasao,
M. Suehiro,
Y. Takeuchi,
Y. Fukushima,
Y. Ikegami,
T. T. Nakamura,
T. Taniguchi,
M. Asai
Abstract:
We report on results of a search for the decay mode K_L -> pi^0 gamma e^+ e^- conducted by the E162 experiment at KEK. We observed no events and set a 90% confidence level upper limit of Br(K_L -> pi^0 gamma e^+ e^-)< 7.1x10^{-7} for its branching ratio. This is the first published experimental result on this decay mode.
We report on results of a search for the decay mode K_L -> pi^0 gamma e^+ e^- conducted by the E162 experiment at KEK. We observed no events and set a 90% confidence level upper limit of Br(K_L -> pi^0 gamma e^+ e^-)< 7.1x10^{-7} for its branching ratio. This is the first published experimental result on this decay mode.
△ Less
Submitted 7 July, 1999;
originally announced July 1999.
-
A handy method to monitor outputs from a pulsed light source and its application to photomultiplier's rate effect studies
Authors:
Y. Takeuchi,
Y. Hemmi,
H. Kurashige,
Y. Matono,
K. Murakami,
T. Nomura,
H. Sakamoto,
N. Sasao,
M. Suehiro,
Y. Fukushima,
Y. Ikegami,
T. T. Nakamura,
T. Taniguchi,
M. Asai
Abstract:
In order to study photomultiplier's short-term gain stability at high counting rate, we constructed an LED pulsed light source and its output monitor system. For the monitor system, we employed a photon counting method using a photomultiplier as a monitor photon detector. It is found that the method offers a simple way to monitor outputs from a pulsed light source and that, together with an LED…
▽ More
In order to study photomultiplier's short-term gain stability at high counting rate, we constructed an LED pulsed light source and its output monitor system. For the monitor system, we employed a photon counting method using a photomultiplier as a monitor photon detector. It is found that the method offers a simple way to monitor outputs from a pulsed light source and that, together with an LED light source, it provides a handy way to investigate photomultiplier's rate effects.
△ Less
Submitted 6 November, 1998;
originally announced November 1998.
-
Observation of the decay mode K_L -> pi^+ pi^- e^+ e^-
Authors:
Y. Takeuchi,
Y. Hemmi,
H. Kurashige,
Y. Matono,
K. Murakami,
T. Nomura,
H. Sakamoto,
N. Sasao,
M. Suehiro,
Y. Fukushima,
Y. Ikegami,
T. T. Nakamura,
T. Taniguchi,
M. Asai
Abstract:
We report on results of an experimental search for the K_L -> pi^+ pi^- e^+ e^- decay mode. We found 13.5 +- 4.0 events and determined its branching ratio to be (4.4 +- 1.3(stat) +- 0.5(syst))*10^{-7}. The result agrees well with the theoretical prediction.
We report on results of an experimental search for the K_L -> pi^+ pi^- e^+ e^- decay mode. We found 13.5 +- 4.0 events and determined its branching ratio to be (4.4 +- 1.3(stat) +- 0.5(syst))*10^{-7}. The result agrees well with the theoretical prediction.
△ Less
Submitted 8 October, 1998;
originally announced October 1998.
-
The Cherenkov Correlated Timing Detector: Beam Test Results from Quartz and Acrylic Bars
Authors:
H. Kichimi,
Y. Sugaya,
H. Yamaguchi,
Y. Yoshimura,
S. Kanda,
S. Olsen,
K. Ueno,
G. Varner,
T. Bergfeld,
J. Bialek,
J. Lorenc,
M. Palmer,
G. Rudnick,
M. Selen,
T. Auran,
V. Boyer,
K. Honscheid,
N. Tamura,
K. Yoshimura,
C. Lu,
D. Marlow,
C. Mindas,
E. Prebys,
M. Asai,
A. Kimura
, et al. (1 additional authors not shown)
Abstract:
Several prototypes of a Cherenkov Correlated Timing (CCT) Detector have been tested at the KEK-PS test beam line. We describe the results for Cherenkov light yields and timing characteristics from quartz and acrylic bar prototypes. A Cherenkov angle resolution is found to be 15 mrad at a propagation distance of 100 cm with a 2 cm thick quartz bar prototype.
Several prototypes of a Cherenkov Correlated Timing (CCT) Detector have been tested at the KEK-PS test beam line. We describe the results for Cherenkov light yields and timing characteristics from quartz and acrylic bar prototypes. A Cherenkov angle resolution is found to be 15 mrad at a propagation distance of 100 cm with a 2 cm thick quartz bar prototype.
△ Less
Submitted 6 August, 1995; v1 submitted 3 August, 1995;
originally announced August 1995.