Showing 1–50 of 120 results for author: Arai, T

SHDB-AF: a Japanese Holter ECG database of atrial fibrillation

Authors: Kenta Tsutsui, Shany Biton Brimer, Noam Ben-Moshe, Jean Marc Sellal, Julien Oster, Hitoshi Mori, Yoshifumi Ikeda, Takahide Arai, Shintaro Nakano, Ritsushi Kato, Joachim A. Behar

Abstract: Atrial fibrillation (AF) is a common atrial arrhythmia that impairs quality of life and causes embolic stroke, heart failure and other complications. Recent advancements in machine learning (ML) and deep learning (DL) have shown potential for enhancing diagnostic accuracy. It is essential for DL models to be robust and generalizable across variations in ethnicity, age, sex, and other factors. Alth… ▽ More Atrial fibrillation (AF) is a common atrial arrhythmia that impairs quality of life and causes embolic stroke, heart failure and other complications. Recent advancements in machine learning (ML) and deep learning (DL) have shown potential for enhancing diagnostic accuracy. It is essential for DL models to be robust and generalizable across variations in ethnicity, age, sex, and other factors. Although a number of ECG database have been made available to the research community, none includes a Japanese population sample. Saitama Heart Database Atrial Fibrillation (SHDB-AF) is a novel open-sourced Holter ECG database from Japan, containing data from 100 unique patients with paroxysmal AF. Each record in SHDB-AF is 24 hours long and sampled at 200 Hz, totaling 24 million seconds of ECG data. △ Less

Submitted 22 June, 2024; originally announced June 2024.

First joint oscillation analysis of Super-Kamiokande atmospheric and T2K accelerator neutrino data

Authors: Super-Kamiokande, T2K collaborations, :, S. Abe, K. Abe, N. Akhlaq, R. Akutsu, H. Alarakia-Charles, A. Ali, Y. I. Alj Hakim, S. Alonso Monsalve, S. Amanai, C. Andreopoulos, L. H. V. Anthony, M. Antonova, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, Y. Asada, R. Asaka, Y. Ashida, E. T. Atkin, N. Babu , et al. (524 additional authors not shown)

Abstract: The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of… ▽ More The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of $19.7(16.3) \times 10^{20}$ protons on target in (anti)neutrino mode, the analysis finds a 1.9$σ$ exclusion of CP-conservation (defined as $J_{CP}=0$) and a preference for the normal mass ordering. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: 10 pages, 3 figures

Mechanism of ferromagnetism enhancement in a La$_{2/3}$ Sr$_{1/3}$ MnO$_3$ membrane released from epitaxial strain

Authors: Takahito Takeda, Takuma Arai, Kohei Yamagami, Le Duc Anh, Masaaki Tanaka, Masaki Kobayashi, Shinobu Ohya

Abstract: Recent studies have shown that the magnetic properties of the ferromagnetic perovskite oxide La$_{2/3}$ Sr$_{1/3}$ MnO$_3$ (LSMO) grown on an SrTiO3 (STO) substrate, such as its magnetic moment and Curie temperature, can be improved by releasing the film from the substrate. However, the microscopic origin of this enhancement is not yet well understood. In this study, we use synchrotron radiation m… ▽ More Recent studies have shown that the magnetic properties of the ferromagnetic perovskite oxide La$_{2/3}$ Sr$_{1/3}$ MnO$_3$ (LSMO) grown on an SrTiO3 (STO) substrate, such as its magnetic moment and Curie temperature, can be improved by releasing the film from the substrate. However, the microscopic origin of this enhancement is not yet well understood. In this study, we use synchrotron radiation measurements to investigate the mechanism of ferromagnetism enhancement in an LSMO membrane released from an STO substrate by dissolving a water-soluble Sr$_4$Al$_2$O$_7$ buffer layer. Using resonant photoemission spectroscopy on the as-grown LSMO film and LSMO membrane, we elucidate that the strain release from the STO substrate enhances the itineracy of the Mn-3d electrons via p-d hybridization, and this strengthens the double-exchange interaction. The reinforcement of the double-exchange interaction, in turn, improves the ferromagnetism of LSMO. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Option pricing for Barndorff-Nielsen and Shephard model by supervised deep learning

Authors: Takuji Arai, Yuto Imai

Abstract: This paper aims to develop a supervised deep-learning scheme to compute call option prices for the Barndorff-Nielsen and Shephard model with a non-martingale asset price process having infinite active jumps. In our deep learning scheme, teaching data is generated through the Monte Carlo method developed by Arai and Imai (2024). Moreover, the BNS model includes many variables, which makes the deep… ▽ More This paper aims to develop a supervised deep-learning scheme to compute call option prices for the Barndorff-Nielsen and Shephard model with a non-martingale asset price process having infinite active jumps. In our deep learning scheme, teaching data is generated through the Monte Carlo method developed by Arai and Imai (2024). Moreover, the BNS model includes many variables, which makes the deep learning accuracy worse. Therefore, we will create another input variable using the Black-Scholes formula. As a result, the accuracy is improved dramatically. △ Less

Submitted 1 February, 2024; originally announced February 2024.

An ordinal analysis of $Π_{N}$-Collection

Authors: Toshiyasu Arai

Abstract: In this paper we give an ordinal analysis of a set theory with $Π_{N}$-Collection. In this paper we give an ordinal analysis of a set theory with $Π_{N}$-Collection. △ Less

Submitted 12 February, 2024; v1 submitted 21 November, 2023; originally announced November 2023.

MSC Class: 03F99

Balance Measures Derived from Insole Sensor Differentiate Prodromal Dementia with Lewy Bodies

Authors: Masatomo Kobayashi, Yasunori Yamada, Kaoru Shinkawa, Miyuki Nemoto, Miho Ota, Kiyotaka Nemoto, Tetsuaki Arai

Abstract: Dementia with Lewy bodies is the second most common type of neurodegenerative dementia, and identification at the prodromal stage$-$i.e., mild cognitive impairment due to Lewy bodies (MCI-LB)$-$is important for providing appropriate care. However, MCI-LB is often underrecognized because of its diversity in clinical manifestations and similarities with other conditions such as mild cognitive impair… ▽ More Dementia with Lewy bodies is the second most common type of neurodegenerative dementia, and identification at the prodromal stage$-$i.e., mild cognitive impairment due to Lewy bodies (MCI-LB)$-$is important for providing appropriate care. However, MCI-LB is often underrecognized because of its diversity in clinical manifestations and similarities with other conditions such as mild cognitive impairment due to Alzheimer's disease (MCI-AD). In this study, we propose a machine learning-based automatic pipeline that helps identify MCI-LB by exploiting balance measures acquired with an insole sensor during a 30-s standing task. An experiment with 98 participants (14 MCI-LB, 38 MCI-AD, 46 cognitively normal) showed that the resultant models could discriminate MCI-LB from the other groups with up to 78.0% accuracy (AUC: 0.681), which was 6.8% better than the accuracy of a reference model based on demographic and clinical neuropsychological measures. Our findings may open up a new approach for timely identification of MCI-LB, enabling better care for patients. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Journal ref: 2023 IEEE International Conference on Digital Health (ICDH)

Smartwatch-derived Acoustic Markers for Deficits in Cognitively Relevant Everyday Functioning

Authors: Yasunori Yamada, Kaoru Shinkawa, Masatomo Kobayashi, Miyuki Nemoto, Miho Ota, Kiyotaka Nemoto, Tetsuaki Arai

Abstract: Detection of subtle deficits in everyday functioning due to cognitive impairment is important for early detection of neurodegenerative diseases, particularly Alzheimer's disease. However, current standards for assessment of everyday functioning are based on qualitative, subjective ratings. Speech has been shown to provide good objective markers for cognitive impairments, but the association with c… ▽ More Detection of subtle deficits in everyday functioning due to cognitive impairment is important for early detection of neurodegenerative diseases, particularly Alzheimer's disease. However, current standards for assessment of everyday functioning are based on qualitative, subjective ratings. Speech has been shown to provide good objective markers for cognitive impairments, but the association with cognition-relevant everyday functioning remains uninvestigated. In this study, we demonstrate the feasibility of using a smartwatch-based application to collect acoustic features as objective markers for detecting deficits in everyday functioning. We collected voice data during the performance of cognitive tasks and daily conversation, as possible application scenarios, from 54 older adults, along with a measure of everyday functioning. Machine learning models using acoustic features could detect individuals with deficits in everyday functioning with up to 77.8% accuracy, which was higher than the 68.5% accuracy with standard neuropsychological tests. We also identified common acoustic features for robustly discriminating deficits in everyday functioning across both types of voice data (cognitive tasks and daily conversation). Our results suggest that common acoustic features extracted from different types of voice data can be used as markers for deficits in everyday functioning. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Journal ref: 2023 IEEE International Conference on Digital Health (ICDH)

Estimation of Human Condition at Disaster Site Using Aerial Drone Images

Authors: Tomoki Arai, Kenji Iwata, Kensho Hara, Yutaka Satoh

Abstract: Drones are being used to assess the situation in various disasters. In this study, we investigate a method to automatically estimate the damage status of people based on their actions in aerial drone images in order to understand disaster sites faster and save labor. We constructed a new dataset of aerial images of human actions in a hypothetical disaster that occurred in an urban area, and classi… ▽ More Drones are being used to assess the situation in various disasters. In this study, we investigate a method to automatically estimate the damage status of people based on their actions in aerial drone images in order to understand disaster sites faster and save labor. We constructed a new dataset of aerial images of human actions in a hypothetical disaster that occurred in an urban area, and classified the human damage status using 3D ResNet. The results showed that the status with characteristic human actions could be classified with a recall rate of more than 80%, while other statuses with similar human actions could only be classified with a recall rate of about 50%. In addition, a cloud-based VR presentation application suggested the effectiveness of using drones to understand the disaster site and estimate the human condition. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: In submission to the ICCV 2023 Artificial Intelligence for Humanitarian Assistance and Disaster Response Workshop

Monte Carlo simulation for Barndorff-Nielsen and Shephard model under change of measure

Authors: Takuji Arai, Yuto Imai

Abstract: The Barndorff-Nielsen and Shephard model is a representative jump-type stochastic volatility model. Still, no method exists to compute option prices numerically for the non-martingale case with infinite active jumps. We develop two simulation methods for such a case under change of measure and conduct some numerical experiments. The Barndorff-Nielsen and Shephard model is a representative jump-type stochastic volatility model. Still, no method exists to compute option prices numerically for the non-martingale case with infinite active jumps. We develop two simulation methods for such a case under change of measure and conduct some numerical experiments. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Well-foundedness proof for $Π^{1}_{1}$-reflection

Authors: Toshiyasu Arai

Abstract: In the lecture notes it is shown that an ordinal $ψ_Ω(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}ω+(M\prec_{Σ_{1}}V)$. In this note we show that ${\sf KP}ω+(M\prec_{Σ_{1}}V)$ proves the well-foundedness up to $ψ_Ω(ω_{n}(\mathbb{S}^{+}+1))$ for each $n$. In the lecture notes it is shown that an ordinal $ψ_Ω(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}ω+(M\prec_{Σ_{1}}V)$. In this note we show that ${\sf KP}ω+(M\prec_{Σ_{1}}V)$ proves the well-foundedness up to $ψ_Ω(ω_{n}(\mathbb{S}^{+}+1))$ for each $n$. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2211.08619, arXiv:2304.00246; text overlap with arXiv:2208.12944

MSC Class: 03F99

Multivariate probability distribution for categorical and ordinal random variables

Authors: Takashi Arai

Abstract: We propose a multivariate probability distribution for categorical and ordinal random variables. To this end, we use the Grassmann distribution in conjunction with dummy encoding of categorical and ordinal variables. To realize the co-occurrence probabilities of dummy variables required for categorical and ordinal variables, we propose a parsimonious parameterization for the Grassmann distribution… ▽ More We propose a multivariate probability distribution for categorical and ordinal random variables. To this end, we use the Grassmann distribution in conjunction with dummy encoding of categorical and ordinal variables. To realize the co-occurrence probabilities of dummy variables required for categorical and ordinal variables, we propose a parsimonious parameterization for the Grassmann distribution that ensures the positivity of probability distribution. As an application of the proposed distribution, we develop a factor analysis for categorical and ordinal variables and show the validity of the model using a real dataset. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 26 pages, 2 figures

Lectures on Ordinal Analysis

Authors: Toshiyasu Arai

Abstract: This is a lecture notes for a mini-course in Department of Mathematics, Ghent University, 14 Mar.-25 Mar. 2023. This is a lecture notes for a mini-course in Department of Mathematics, Ghent University, 14 Mar.-25 Mar. 2023. △ Less

Submitted 1 April, 2023; originally announced April 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2112.09871

Provably well-founded strict partial orders

Authors: Toshiyasu Arai

Abstract: In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\rm ACA}_{0}$ admits an embedding to an ordinal$<\varepsilon_{0}$. In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\rm ACA}_{0}$ admits an embedding to an ordinal$<\varepsilon_{0}$. △ Less

Submitted 24 March, 2023; originally announced March 2023.

MSC Class: 03F99

Simultaneous Multicolor Photometry of the DESTINY$^{+}$ target asteroid (3200) Phaethon

Authors: Jin Beniyama, Tomohiko Sekiguchi, Daisuke Kuroda, Tomoko Arai, Ko Ishibashi, Masateru Ishiguro, Fumi Yoshida, Hiroaki Senshu, Takafumi Ootsubo, Shigeyuki Sako, Ryou Ohsawa, Satoshi Takita, Jooyeon Geem, Yoonsoo P. Bach

Abstract: Accurate estimation of brightness of (3200) Phaethon up to lower phase angles are essential for planning of the on-board camera of the DESTINY$^{+}$ mission. We have carried out intensive observations of Phaethon in the optical wavelength ($g$, $r$, and $i$) with the TriCCS camera on the Seimei 3.8 m telescope in October and November, 2021. We derived the absolute magnitude $H_\mathrm{V}$ and the… ▽ More Accurate estimation of brightness of (3200) Phaethon up to lower phase angles are essential for planning of the on-board camera of the DESTINY$^{+}$ mission. We have carried out intensive observations of Phaethon in the optical wavelength ($g$, $r$, and $i$) with the TriCCS camera on the Seimei 3.8 m telescope in October and November, 2021. We derived the absolute magnitude $H_\mathrm{V}$ and the slope parameter $G$ of Phaethon as $H_\mathrm{V}=14.23\pm0.02$ and $G=0.040\pm0.008$ from multiple photometric observations including lower phase angles down to $\sim$9$^{\circ}$ with the $H$-$G$ model. Using the $H_\mathrm{V}$ value and the geometric albedo of Phaethon derived in previous polarimetric studies, we estimated that the Phaethon's diameter is within a range of 5.22 to 6.74 km, which is consistent with radar and occultation observations. With the linear model, we derived $H_\mathrm{V}=14.65\pm0.02$, which corresponds to a diameter range of 4.30 to 5.56 km. Our simultaneous tricolor lightcurves of Phaethon indicate that no rotational spectral variations larger than 0.018 and 0.020 mag in the g-r and r-i colors, possibly related to inhomogeneity of the surface material and/or structure, are seen at the 2021 apparition. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: Accepted for publication in PASJ, comments are welcome

Automated Analysis of Drawing Process for Detecting Prodromal and Clinical Dementia

Authors: Yasunori Yamada, Masatomo Kobayashi, Kaoru Shinkawa, Miyuki Nemoto, Miho Ota, Kiyotaka Nemoto, Tetsuaki Arai

Abstract: Early diagnosis of dementia, particularly in the prodromal stage (i.e., mild cognitive impairment, or MCI), has become a research and clinical priority but remains challenging. Automated analysis of the drawing process has been studied as a promising means for screening prodromal and clinical dementia, providing multifaceted information encompassing features, such as drawing speed, pen posture, wr… ▽ More Early diagnosis of dementia, particularly in the prodromal stage (i.e., mild cognitive impairment, or MCI), has become a research and clinical priority but remains challenging. Automated analysis of the drawing process has been studied as a promising means for screening prodromal and clinical dementia, providing multifaceted information encompassing features, such as drawing speed, pen posture, writing pressure, and pauses. We examined the feasibility of using these features not only for detecting prodromal and clinical dementia but also for predicting the severity of cognitive impairments assessed using Mini-Mental State Examination (MMSE) as well as the severity of neuropathological changes assessed by medial temporal lobe (MTL) atrophy. We collected drawing data with a digitizing tablet and pen from 145 older adults of cognitively normal (CN), MCI, and dementia. The nested cross-validation results indicate that the combination of drawing features could be used to classify CN, MCI, and dementia with an AUC of 0.909 and 75.1% accuracy (CN vs. MCI: 82.4% accuracy; CN vs. dementia: 92.2% accuracy; MCI vs. dementia: 80.3% accuracy) and predict MMSE scores with an $R^2$ of 0.491 and severity of MTL atrophy with an $R^2$ of 0.293. Our findings suggest that automated analysis of the drawing process can provide information about cognitive impairments and neuropathological changes due to dementia, which can help identify prodromal and clinical dementia as a digital biomarker. △ Less

Submitted 16 November, 2022; originally announced November 2022.

Journal ref: 2022 IEEE International Conference on Digital Health (ICDH)

Wellfoundedness proof with the maximal distinguished set

Authors: Toshiyasu Arai

Abstract: In arXiv:2208.12944 it is shown that an ordinal $\sup_{N<ω}ψ_{Ω_{1}}(\varepsilon_{Ω_{\mathbb{S}+N}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\ell^{r}+(M\prec_{Σ_{1}}V)$. In this paper we show that a second order arithmetic $Σ^{1-}_{2}\mbox{-CA}+Π^{1}_{1}\mbox{-CA}_{0}$ proves the wellfoundedness up to $ψ_{Ω_{1}}(\varepsilon_{Ω_{\mathbb{S}+N+1}})$ for each $N$.… ▽ More In arXiv:2208.12944 it is shown that an ordinal $\sup_{N<ω}ψ_{Ω_{1}}(\varepsilon_{Ω_{\mathbb{S}+N}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\ell^{r}+(M\prec_{Σ_{1}}V)$. In this paper we show that a second order arithmetic $Σ^{1-}_{2}\mbox{-CA}+Π^{1}_{1}\mbox{-CA}_{0}$ proves the wellfoundedness up to $ψ_{Ω_{1}}(\varepsilon_{Ω_{\mathbb{S}+N+1}})$ for each $N$. It is easy to interpret $Σ^{1-}_{2}\mbox{-CA}+Π^{1}_{1}\mbox{-CA}_{0}$ in ${\sf KP}\ell^{r}+(M\prec_{Σ_{1}}V)$. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: arXiv admin note: text overlap with arXiv:1506.05280, arXiv:2112.09871, arXiv:2208.12944

MSC Class: 03F99

Factor analysis for a mixture of continuous and binary random variables

Authors: Takashi Arai

Abstract: We propose a multivariate probability distribution that models a linear correlation between binary and continuous variables. The proposed distribution is a natural extension of the previously developed multivariate binary distribution. As an application of the proposed distribution, we develop a factor analysis for a mixture of continuous and binary variables. We also discuss improper solutions as… ▽ More We propose a multivariate probability distribution that models a linear correlation between binary and continuous variables. The proposed distribution is a natural extension of the previously developed multivariate binary distribution. As an application of the proposed distribution, we develop a factor analysis for a mixture of continuous and binary variables. We also discuss improper solutions associated with factor analysis. As a prescription to avoid improper solutions, we propose a constraint that each row vector of factor loading matrix has the same norm. We numerically validated the proposed factor analysis and norm constraint prescription by analyzing real datasets. △ Less

Submitted 12 February, 2023; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: 34 pages, 4 figures, minor modifications

An ordinal analysis of a single stable ordinal

Authors: Toshiyasu Arai

Abstract: In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom stating that `there exists a transitive set $M$ such that $M\prec_{Σ_{1}}V$'. In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom stating that `there exists a transitive set $M$ such that $M\prec_{Σ_{1}}V$'. △ Less

Submitted 22 May, 2024; v1 submitted 27 August, 2022; originally announced August 2022.

Comments: arXiv admin note: text overlap with arXiv:2112.09871

MSC Class: 03F99

(3200) Phaethon Polarimetry in the Negative Branch: New Evidence for the Anhydrous Nature of the DESTINY+ Target Asteroid

Authors: Jooyeon Geem, Masateru Ishiguro, Jun Takahashi, Hiroshi Akitaya, Koji S. Kawabata, Tatsuya Nakaoka, Ryo Imazawa, Fumiki Mori, Sunho Jin, Yoonsoo P. Bach, Hangbin Jo, Daisuke Kuroda, Sunao Hasegawa, Fumi Yoshida, Ko Ishibashi, Tomohiko Sekiguchi, Jin Beniyama, Tomoko Arai, Yuji Ikeda, Yoshiharu Shinnaka, Mikael Granvik, Lauri Siltala, Anlaug A. Djupvik, Anni Kasikov, Viktoria Pinter , et al. (1 additional authors not shown)

Abstract: We report on the first polarimetric study of (3200) Phaethon, the target of JAXA's DESTINY$^+$ mission, in the negative branch to ensure its anhydrous nature and to derive an accurate geometric albedo. We conducted observations at low phase angles (Sun-target-observer angle, alpha = 8.8-32.4 deg) from 2021 October to 2022 January and found that Phaethon has a minimum polarization degree $P_{min}$… ▽ More We report on the first polarimetric study of (3200) Phaethon, the target of JAXA's DESTINY$^+$ mission, in the negative branch to ensure its anhydrous nature and to derive an accurate geometric albedo. We conducted observations at low phase angles (Sun-target-observer angle, alpha = 8.8-32.4 deg) from 2021 October to 2022 January and found that Phaethon has a minimum polarization degree $P_{min}$ = -1.3 +- 0.1 %, a polarimetric slope h = 0.22 +- 0.02 % deg$^{-1}$, and an inversion angle alpha$_0$ = 19.9 +- 0.3 deg. The derived geometric albedo is $p_V$ = 0.11 (in the range of 0.08-0.13). These polarimetric properties are consistent with anhydrous chondrites, and contradict hydrous chondrites and typical cometary nuclei. △ Less

Submitted 25 August, 2022; originally announced August 2022.

Comments: 6 pages, 2 figures, This article has been accepted for publication in Monthly Notices of the Royal Astronomical Society: 2022 Jooyeon Geem, Published by Oxford University Press on behalf of the Royal Astronomical Society. All rights reserved. For the published version, please see https://academic.oup.com/mnrasl/article/516/1/L53/6639881

Journal ref: Geem J., et al., 2022, Monthly Notices of the Royal Astronomical Society: Letters, 516, L53

Electrostatic Dust Ejection From Asteroid (3200) Phaethon With the Aid of Mobile Alkali Ions at Perihelion

Authors: Hiroshi Kimura, Katsuhito Ohtsuka, Shota Kikuchi, Keiji Ohtsuki, Tomoko Arai, Fumi Yoshida, Naoyuki Hirata, Hiroki Senshu, Koji Wada, Takayuki Hirai, Peng K. Hong, Masanori Kobayashi, Ko Ishibashi, Manabu Yamada, Takaya Okamoto

Abstract: The asteroid (3200) Phaethon is known to be the parent body of the Geminids, although meteor showers are commonly associated with the activity of periodic comets. What is most peculiar to the asteroid is its comet-like activity in the ejection of micrometer-sized dust particles at every perihelion passage, while the activity of the asteroid has never been identified outside the near-perihelion zon… ▽ More The asteroid (3200) Phaethon is known to be the parent body of the Geminids, although meteor showers are commonly associated with the activity of periodic comets. What is most peculiar to the asteroid is its comet-like activity in the ejection of micrometer-sized dust particles at every perihelion passage, while the activity of the asteroid has never been identified outside the near-perihelion zone at $0.14~\mathrm{au}$ from the Sun. From the theoretical point of view, we argue that the activity of the asteroid is well explained by the electrostatic lofting of micrometer-sized dust particles with the aid of mobile alkali ions at high temperatures. The mass-loss rates of micrometer-sized particles from the asteroid in our model is entirely consistent with the values inferred from visible observations of Phaethon's dust tail. For millimeter-sized particles, we predict three orders of magnitudes higher mass-loss rates, which could also account for the total mass of the Geminid meteoroid stream by the electrostatic lofting mechanism. △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: 7 pages. 2 figures, to appear in Icarus Letters

Constrained optimal stopping under a regime-switching model

Authors: Takuji Arai, Masahiko Takenaka

Abstract: We investigate an optimal stopping problem for the expected value of a discounted payoff on a regime-switching geometric Brownian motion under two constraints on the possible stopping times: only at exogenous random times and only during a specific regime. The main objectives are to show that an optimal stopping time exists as a threshold type under some boundary conditions and to derive expressio… ▽ More We investigate an optimal stopping problem for the expected value of a discounted payoff on a regime-switching geometric Brownian motion under two constraints on the possible stopping times: only at exogenous random times and only during a specific regime. The main objectives are to show that an optimal stopping time exists as a threshold type under some boundary conditions and to derive expressions of the value functions and the optimal threshold. To this end, we solve the corresponding variational inequality and show that its solution coincides with the value functions. Some numerical results are also introduced. Furthermore, we investigate some asymptotic behaviors. △ Less

Submitted 16 April, 2022; originally announced April 2022.

Mission Design of DESTINY+: Toward Active Asteroid (3200) Phaethon and Multiple Small Bodies

Authors: Naoya Ozaki, Takayuki Yamamoto, Ferran Gonzalez-Franquesa, Roger Gutierrez-Ramon, Nishanth Pushparaj, Takuya Chikazawa, Diogene Alessandro Dei Tos, Onur Çelik, Nicola Marmo, Yasuhiro Kawakatsu, Tomoko Arai, Kazutaka Nishiyama, Takeshi Takashima

Abstract: DESTINY+ is an upcoming JAXA Epsilon medium-class mission to fly by the Geminids meteor shower parent body (3200) Phaethon. It will be the world's first spacecraft to escape from a near-geostationary transfer orbit into deep space using a low-thrust propulsion system. In doing so, DESTINY+ will demonstrate a number of technologies that include a highly efficient ion engine system, lightweight sola… ▽ More DESTINY+ is an upcoming JAXA Epsilon medium-class mission to fly by the Geminids meteor shower parent body (3200) Phaethon. It will be the world's first spacecraft to escape from a near-geostationary transfer orbit into deep space using a low-thrust propulsion system. In doing so, DESTINY+ will demonstrate a number of technologies that include a highly efficient ion engine system, lightweight solar array panels, and advanced asteroid flyby observation instruments. These demonstrations will pave the way for JAXA's envisioned low-cost, high-frequency space exploration plans. Following the Phaethon flyby observation, DESTINY+ will visit additional asteroids as its extended mission. The mission design is divided into three phases: a spiral-shaped apogee-raising phase, a multi-lunar-flyby phase to escape Earth, and an interplanetary and asteroids flyby phase. The main challenges include the optimization of the many-revolution low-thrust spiral phase under operational constraints; the design of a multi-lunar-flyby sequence in a multi-body environment; and the design of multiple asteroid flybys connected via Earth gravity assists. This paper shows a novel, practical approach to tackle these complex problems, and presents feasible solutions found within the mass budget and mission constraints. Among them, the baseline solution is shown and discussed in depth; DESTINY+ will spend two years raising its apogee with ion engines, followed by four lunar gravity assists, and a flyby of asteroids (3200) Phaethon and (155140) 2005 UD. Finally, the flight operations plan for the spiral phase and the asteroid flyby phase are presented in detail. △ Less

Submitted 14 April, 2022; v1 submitted 6 January, 2022; originally announced January 2022.

Journal ref: Acta Astronautica, Vol.196, July 2022, pp.42-56

An ordinal analysis of $Π_{1}$-Collection

Authors: Toshiyasu Arai

Abstract: In this paper we give an ordinal analysis of a set theory with $Π_{1}$-Collection. In this paper we give an ordinal analysis of a set theory with $Π_{1}$-Collection. △ Less

Submitted 21 November, 2023; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: The paper is contained and extended in the next one `An ordinal analysis of $Π_{N}$-collection'

MSC Class: 03F99

Polarization spectrum of near infrared zodiacal light observed with CIBER

Authors: Kohji Takimoto, Toshiaki Arai, Shuji Matsuura, James J. Bock, Asantha Cooray, Richard M. Feder, Phillip M. Korngut, Alicia Lanz, Dae Hee Lee, Toshio Matsumoto, Chi H. Nguyen, Yosuke Onishi, Kei Sano, Mai Shirahata, Aoi Takahashi, Kohji Tsumura, Michael Zemcov

Abstract: We report the first measurement of the zodiacal light (ZL) polarization spectrum in the near-infrared between 0.8 and 1.8 $μ$m. Using the low-resolution spectrometer (LRS) on board the Cosmic Infrared Background Experiment (CIBER), calibrated for absolute spectrophotometry and spectropolarimetry, we acquire long-slit polarization spectral images of the total diffuse sky brightness towards five fie… ▽ More We report the first measurement of the zodiacal light (ZL) polarization spectrum in the near-infrared between 0.8 and 1.8 $μ$m. Using the low-resolution spectrometer (LRS) on board the Cosmic Infrared Background Experiment (CIBER), calibrated for absolute spectrophotometry and spectropolarimetry, we acquire long-slit polarization spectral images of the total diffuse sky brightness towards five fields. To extract the ZL spectrum, we subtract contribution of other diffuse radiation, such as the diffuse galactic light (DGL), the integrated star light (ISL), and the extragalactic background light (EBL). The measured ZL polarization spectrum shows little wavelength dependence in the near-infrared and the degree of polarization clearly varies as a function of the ecliptic coordinates and solar elongation. Among the observed fields, the North Ecliptic Pole shows the maximum degree of polarization of $\sim$ 20$\%$, which is consistent with an earlier observation from the Diffuse Infrared Background Experiment (DIRBE) aboard on the Cosmic Background Explorer (COBE). The measured degree of polarization and its solar elongation dependence are reproduced by the empirical scattering model in the visible band and also by the Mie scattering model for large absorptive particles, while the Rayleigh scattering model is ruled out. All of our results suggest that the interplanetary dust is dominated by large particles. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Comments: 15 pages, 15 figures, accepted by ApJ

Polarimetric Properties of the Near--Sun Asteroid (155140) 2005 UD in Comparison with Other Asteroids and Meteoritic Samples

Authors: Masateru Ishiguro, Yoonsoo P. Bach, Jooyeon Geem, Hiroyuki Naito, Daisuke Kuroda, Myungshin Im, Myung Gyoon Lee, Jinguk Seo, Sunho Jin, Yuna G. Kwon, Tatsuharu Oono, Seiko Takagi, Mitsuteru Sato, Kiyoshi Kuramoto, Takashi Ito, Sunao Hasegawa, Fumi Yoshida, Tomoko Arai, Hiroshi Akitaya, Tomohiko Sekiguchi, Ryo Okazaki, Masataka Imai, Katsuhito Ohtsuka, Makoto Watanabe, Jun Takahashi , et al. (4 additional authors not shown)

Abstract: The investigation of asteroids near the Sun is important for understanding the final evolutionary stage of primitive solar system objects. A near-Sun asteroid, (155140) 2005 UD, has orbital elements similar to those of (3200) Phaethon (the target asteroid for the JAXA's $DESTINY^+$ mission). We conducted photometric and polarimetric observations of 2005 UD and found that this asteroid exhibits a p… ▽ More The investigation of asteroids near the Sun is important for understanding the final evolutionary stage of primitive solar system objects. A near-Sun asteroid, (155140) 2005 UD, has orbital elements similar to those of (3200) Phaethon (the target asteroid for the JAXA's $DESTINY^+$ mission). We conducted photometric and polarimetric observations of 2005 UD and found that this asteroid exhibits a polarization phase curve similar to that of Phaethon over a wide range of observed solar phase angles ($ α= 20 - 105^\circ $) but different from those of (101955) Bennu and (162173) Ryugu (asteroids composed of hydrated carbonaceous materials). At a low phase angle ($α\lesssim 30^\circ$), the polarimetric properties of these near-Sun asteroids (2005 UD and Phaethon) are consistent with anhydrous carbonaceous chondrites, while the properties of Bennu are consistent with hydrous carbonaceous chondrites. We derived the geometric albedo, $ p_\mathrm{V} \sim 0.1 $ (in the range of 0.088-0.109); mean $ V $-band absolute magnitude, $ H_\mathrm{V} = 17.54 \pm 0.02 $; synodic rotational period, $ T_\mathrm{rot} = 5.2388 \pm 0.0022 $ hours (the two-peaked solution is assumed); and effective mean diameter, $ D_\mathrm{eff} = 1.32 \pm 0.06 $ km. At large phase angles ($ α\gtrsim 80^\circ$), the polarization phase curve are likely explained by the dominance of large grains and the paucity of small micron-sized grains. We conclude that the polarimetric similarity of these near-Sun asteroids can be attributed to the intense solar heating of carbonaceous materials around their perihelia, where large anhydrous particles with small porosity could be produced by sintering. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 15 pages, 9 figures, accepted for publication in Monthly Notices of Royal Astronomical Society (MNRAS)

Extracting phase coupling functions between collectively oscillating networks directly from time-series data

Authors: Takahiro Arai, Yoji Kawamura, Toshio Aoyagi

Abstract: Many real-world systems are often regarded as weakly coupled limit-cycle oscillators, in which each oscillator corresponds to a dynamical system with many degrees of freedom that have collective oscillations. One of the most practical methods for investigating the synchronization properties of such a rhythmic system is to statistically extract phase coupling functions between limit-cycle oscillato… ▽ More Many real-world systems are often regarded as weakly coupled limit-cycle oscillators, in which each oscillator corresponds to a dynamical system with many degrees of freedom that have collective oscillations. One of the most practical methods for investigating the synchronization properties of such a rhythmic system is to statistically extract phase coupling functions between limit-cycle oscillators directly from observed time-series data. In Particular, using a method that combines phase reduction theory and Bayesian inference, the phase coupling functions can be extracted from the time-series data of even just one variable in each oscillatory dynamical system with many degrees of freedom. However, it remains unclear how the choice of the observed variables affects the statistical inference for the phase coupling functions. In this study, we examine the influence of observed variable types on the extraction of phase coupling functions using some typical dynamical elements under various conditions. We demonstrate that our method can consistently extract the macroscopic phase coupling functions between two phases representing collective oscillations in a fully locked state, regardless of the observed variable types; for example, even using one variable of any element in one system and the mean-field value over all the elements in another system. We also study the case of globally coupled phase oscillators in a partially locked state. Our results reveal directional asymmetry in the robustness of extracting the macroscopic phase coupling function between two networks. For instance, when an asynchronous oscillator in network $A$ and the macroscopic collective oscillation of network $B$ is observed, the macroscopic phase coupling function from network $A$ to network $B$ can be extracted more robustly than in the opposite direction. △ Less

Submitted 11 May, 2022; v1 submitted 29 October, 2021; originally announced October 2021.

Comments: 17 pages, 10 figures

Journal ref: J. Phys. Soc. Jpn. 91, 124001 (2022)

Peculiar atomic bond nature in platinum monatomic chains

Authors: Jiaqi Zhang, Keisuke Ishizuka, Masahiko Tomitori, Toyoko Arai, Kenta Hongo, Ryo Maezono, Erio Tosatti, Yoshifumi Oshima

Abstract: Metal atomic chains have been reported to change their electronic or magnetic properties by slight mechanical stimulus. However, the mechanical response has been veiled because of lack of information on the bond nature. Here, we clarify the bond nature in platinum (Pt) monatomic chains by our developed in-situ transmission electron microscope method. The stiffness is measured with sub N/m precisio… ▽ More Metal atomic chains have been reported to change their electronic or magnetic properties by slight mechanical stimulus. However, the mechanical response has been veiled because of lack of information on the bond nature. Here, we clarify the bond nature in platinum (Pt) monatomic chains by our developed in-situ transmission electron microscope method. The stiffness is measured with sub N/m precision by quartz length-extension resonator. The bond stiffnesses at the middle of the chain and at the connecting to the base are estimated to be 25 and 23 N/m, respectively, which are higher than the bulk counterpart. Interestingly, the bond length of 0.25 nm is found to be elastically stretched to 0.31 nm, corresponding to 24% in strain. Such peculiar bond nature could be explained by a novel concept of "string tension". This study is a milestone that will significantly change the way we think about atomic bonds in one-dimensional substance. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Comments: 20pages, 4 figures

Journal ref: nano letters, 2021, 21, 9, 3922-3928

Approximate option pricing formula for Barndorff-Nielsen and Shephard model

Authors: Takuji Arai

Abstract: For the Barndorff-Nielsen and Shephard model, we present approximate expressions of call option prices based on the decomposition formula developed by Arai (2021). Besides, some numerical experiments are also implemented to make sure how effective our approximations are. For the Barndorff-Nielsen and Shephard model, we present approximate expressions of call option prices based on the decomposition formula developed by Arai (2021). Besides, some numerical experiments are also implemented to make sure how effective our approximations are. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: arXiv admin note: text overlap with arXiv:2005.07393

Measurements of the Zodiacal Light Absolute Intensity through Fraunhofer Absorption Line Spectroscopy with CIBER

Authors: Phillip Korngut, Min Gyu Kim, Toshiaki Arai, Priyadarshini Bangale, James Bock, Asantha Cooray, Yun Ting Cheng, Richard Feder, Viktor Hristov, Alicia Lanz, Louis Levenson, Toshio Matsumoto, Shuji Matsuura, Chi Nguyen, Kei Sano, Kohji Tsumura, Michael Zemcov

Abstract: Scattered sunlight from the interplanetary dust (IPD) cloud in our Solar system presents a serious foreground challenge for spectro-photometric measurements of the Extragalactic Background Light (EBL). In this work, we report on measurements of the absolute intensity of the Zodiacal Light (ZL) using the novel technique of Fraunhofer line spectroscopy on the deepest 8542 Angstrom line of the near-i… ▽ More Scattered sunlight from the interplanetary dust (IPD) cloud in our Solar system presents a serious foreground challenge for spectro-photometric measurements of the Extragalactic Background Light (EBL). In this work, we report on measurements of the absolute intensity of the Zodiacal Light (ZL) using the novel technique of Fraunhofer line spectroscopy on the deepest 8542 Angstrom line of the near-infrared CaII absorption triplet. The measurements are performed with the Narrow Band Spectrometer (NBS) aboard the Cosmic Infrared Background Experiment (CIBER) sounding rocket instrument. We use the NBS data to test the accuracy of two ZL models widely cited in the literature; the Kelsall and Wright models, which have been used in foreground removal analyses that produce high and low EBL results respectively. We find a mean reduced chi squared of 3.5 for the Kelsall model and a chi squared of 2.0 for the Wright model. The best description of our data is provided by a simple modification to the Kelsall model which includes a free ZL offset parameter. This adjusted model describes the data with a reduced chi squared of 1.5 and yields an inferred offset amplitude of 46 +- 19 nW m^-2 sr^-1 extrapolated to 12500 Angstroms. These measurements elude to the potential existence of a dust cloud component in the inner Solar system whose intensity does not strongly modulate with the Earth's motion around the Sun. △ Less

Submitted 14 April, 2021; originally announced April 2021.

Probing Intra-Halo Light with Galaxy Stacking in CIBER Images

Authors: Yun-Ting Cheng, Toshiaki Arai, Priyadarshini Bangale, James J. Bock, Tzu-Ching Chang, Asantha Cooray, Richard M. Feder, Phillip M. Korngut, Dae Hee Lee, Lunjun Liu, Toshio Matsumoto, Shuji Matsuura, Chi H. Nguyen, Kei Sano, Kohji Tsumura, Michael Zemcov

Abstract: We study the stellar halos of $0.2\lesssim z \lesssim 0.5$ galaxies with stellar masses spanning $M_*\sim 10^{10.5}$ to $10^{12}M_\odot$ (approximately $L_*$ galaxies at this redshift) using imaging data from the Cosmic Infrared Background Experiment (CIBER). A previous CIBER fluctuation analysis suggested that intra-halo light (IHL) contributes a significant portion of the near-infrared extragala… ▽ More We study the stellar halos of $0.2\lesssim z \lesssim 0.5$ galaxies with stellar masses spanning $M_*\sim 10^{10.5}$ to $10^{12}M_\odot$ (approximately $L_*$ galaxies at this redshift) using imaging data from the Cosmic Infrared Background Experiment (CIBER). A previous CIBER fluctuation analysis suggested that intra-halo light (IHL) contributes a significant portion of the near-infrared extragalactic background light (EBL), the integrated emission from all sources throughout cosmic history. In this work, we carry out a stacking analysis with a sample of $\sim$30,000 Sloan Digital Sky Survey (SDSS) photometric galaxies from CIBER images in two near-infrared bands (1.1 and 1.8 $μ$m) to directly probe the IHL associated with these galaxies. We stack galaxies in five sub-samples split by brightness, and detect an extended galaxy profile, beyond the instrument point spread function (PSF), derived by stacking stars. We jointly fit a model for the inherent galaxy light profile, plus large-scale one- and two-halo clustering to measure the extended galaxy IHL. We detect non-linear one-halo clustering in the 1.8 $μ$m band, at a level consistent with numerical simulations. Our results on the galaxy profile suggest that $\sim 50\%$ of the total galaxy light budget in our galaxy sample resides in the outskirts of the galaxies at $r > 10$ kpc. We describe this extended emission as IHL and and are able to study how this fraction evolves with cosmic time. These results are new in the near-infrared wavelength at the $L_*$ mass scale, and suggest that IHL has a significant contribution to the integrated galactic light, and to the amplitude of large-scale background fluctuations. △ Less

Submitted 21 September, 2021; v1 submitted 5 March, 2021; originally announced March 2021.

Comments: 29 pages, 17 figures, accepted by ApJ

Multivariate binary probability distribution in the Grassmann formalism

Authors: Takashi Arai

Abstract: We propose a probability distribution for multivariate binary random variables. For this purpose, we use the Grassmann number, an anti-commuting number. In our model, the partition function, the central moment, and the marginal and conditional distributions are expressed analytically by the matrix of the parameters analogous to the covariance matrix in the multivariate Gaussian distribution. That… ▽ More We propose a probability distribution for multivariate binary random variables. For this purpose, we use the Grassmann number, an anti-commuting number. In our model, the partition function, the central moment, and the marginal and conditional distributions are expressed analytically by the matrix of the parameters analogous to the covariance matrix in the multivariate Gaussian distribution. That is, summation over all possible states is not necessary for obtaining the partition function and various expected values, which is a problem with the conventional multivariate Bernoulli distribution. The proposed model has many similarities to the multivariate Gaussian distribution. For example, the marginal and conditional distributions are expressed by the parameter matrix and its inverse matrix, respectively. That is, the inverse matrix expresses a sort of partial correlation. Analytical expressions for the marginal and conditional distributions are also useful in generating random numbers for multivariate binary variables. Hence, we validated the proposed method using synthetic datasets. We observed that the sampling distributions of various statistics are consistent with the theoretical predictions and estimates are consistent and asymptotically normal. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 24 pages, 3 figures

Journal ref: Phys. Rev. E 103, 062104 (2021)

Refinement of proof-theoretic analysis of the lpo due to Buchholz

Authors: Toshiyasu Arai

Abstract: We give a refinement of proof-theoretic analysis of the lpo (lexicographic path order) due to W. Buchholz. This note was written in Feb. 5, 2015 when G. Moser visited Japan. We give a refinement of proof-theoretic analysis of the lpo (lexicographic path order) due to W. Buchholz. This note was written in Feb. 5, 2015 when G. Moser visited Japan. △ Less

Submitted 17 August, 2020; originally announced August 2020.

MSC Class: 03F99

A constructive proof of a theorem by Ferreira-Zantema

Authors: Toshiyasu Arai

Abstract: This note was written in Jan. 23, 2015 to answer a problem raised by G. Moser, who asked a constructive proof of a theorem by Ferreira-Zantema. This note was written in Jan. 23, 2015 to answer a problem raised by G. Moser, who asked a constructive proof of a theorem by Ferreira-Zantema. △ Less

Submitted 17 August, 2020; originally announced August 2020.

MSC Class: 03F99

Is water ice an efficient facilitator for dust coagulation?

Authors: Hiroshi Kimura, Koji Wada, Hiroshi Kobayashi, Hiroki Senshu, Takayuki Hirai, Fumi Yoshida, Masanori Kobayashi, Peng K. Hong, Tomoko Arai, Ko Ishibashi, Manabu Yamada

Abstract: Beyond the snow line of protoplanetary discs and inside the dense core of molecular clouds, the temperature of gas is low enough for water vapour to condense into amorphous ices on the surface of preexisting refractory dust particles. Recent numerical simulations and laboratory experiments suggest that condensation of the vapour promotes dust coagulation in such a cold region. However, in the nume… ▽ More Beyond the snow line of protoplanetary discs and inside the dense core of molecular clouds, the temperature of gas is low enough for water vapour to condense into amorphous ices on the surface of preexisting refractory dust particles. Recent numerical simulations and laboratory experiments suggest that condensation of the vapour promotes dust coagulation in such a cold region. However, in the numerical simulations, cohesion of refractory materials is often underestimated, while in the laboratory experiments, water vapour collides with surfaces at more frequent intervals compared to the real conditions. Therefore, to re-examine the role of water ice in dust coagulation, we carry out systematic investigation of available data on coagulation of water ice particles by making full use of appropriate theories in contact mechanics and tribology. We find that the majority of experimental data are reasonably well explained by lubrication theories, owing to the presence of a quasi-liquid layer (QLL). Only exceptions are the results of dynamic collisions between particles at low temperatures, which are, instead, consistent with the JKR theory, because QLLs are too thin to dissipate their kinetic energies. By considering the vacuum conditions in protoplanetary discs and molecular clouds, the formation of amorphous water ice on the surface of refractory particles does not necessarily aid their collisional growth as currently expected. While crystallisation of water ice around but outside the snow line eases coagulation of ice-coated particles, sublimation of water ice inside the snow line is deemed to facilitate coagulation of bare refractory particles. △ Less

Submitted 14 October, 2020; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 18 pages, 14 figures, published in Monthly Notices of the Royal Astronomical Society

The tensile strength of dust aggregates consisting of small elastic grains: Constraints on the size of condensates in protoplanetary disks

Authors: Hiroshi Kimura, Koji Wada, Fumi Yoshida, Peng K. Hong, Hiroki Senshu, Tomoko Arai, Takayuki Hirai, Masanori Kobayashi, Ko Ishibashi, Manabu Yamada

Abstract: A consensus view on the formation of planetesimals is now exposed to a threat, since recent numerical studies on the mechanical properties of dust aggregates tend to dispute the conceptual picture that submicrometer-sized grains conglomerate into planetesimals in protoplanetary disks. With the advent of precise laboratory experiments and extensive computer simulations on the interaction between el… ▽ More A consensus view on the formation of planetesimals is now exposed to a threat, since recent numerical studies on the mechanical properties of dust aggregates tend to dispute the conceptual picture that submicrometer-sized grains conglomerate into planetesimals in protoplanetary disks. With the advent of precise laboratory experiments and extensive computer simulations on the interaction between elastic spheres comprising dust aggregates, we revisit a model for the tensile strength of dust aggregates consisting of small elastic grains. In the framework of contact mechanics and fracture mechanics, we examine outcomes of computer simulations and laboratory experiments on the tensile strength of dust aggregates. We provide a novel analytical formula that explicitly incorporates the volume effect on the tensile strength, namely, the dependence of tensile strength on the volume of dust aggregates. We find that our model for the tensile strength of dust aggregates well reproduces results of computer simulations and laboratory experiments, if appropriate values are adopted for the elastic parameters used in the model. Moreover, the model with dust aggregates of submicrometer-sized grains is in good harmony with the tensile strength of cometary dust and meteoroids derived from astronomical observations. Therefore, we reaffirm the commonly believed idea that the formation of planetesimals begins with conglomeration of submicrometer-sized grains condensed in protoplanetary disks. △ Less

Submitted 7 July, 2020; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: 19 pages, 11 figures, published in Monthly Notices of the Royal Astronomical Society

Journal ref: MNRAS 496, 1667-1682 (2020)

Alòs type decomposition formula for Barndorff-Nielsen and Shephard model

Authors: Takuji Arai

Abstract: The objective is to provide an Alòs type decomposition formula of call option prices for the Barndorff-Nielsen and Shephard model: an Ornstein-Uhlenbeck type stochastic volatility model driven by a subordinator without drift. Alòs (2012) introduced a decomposition expression for the Heston model by using Ito's formula. In this paper, we extend it to the Barndorff-Nielsen and Shephard model. As far… ▽ More The objective is to provide an Alòs type decomposition formula of call option prices for the Barndorff-Nielsen and Shephard model: an Ornstein-Uhlenbeck type stochastic volatility model driven by a subordinator without drift. Alòs (2012) introduced a decomposition expression for the Heston model by using Ito's formula. In this paper, we extend it to the Barndorff-Nielsen and Shephard model. As far as we know, this is the first result on the Alòs type decomposition formula for models with infinite active jumps. △ Less

Submitted 7 September, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

Near-infrared observations of active asteroid (3200) Phaethon reveal no evidence for hydration

Authors: Driss Takir, Theodore Kareta, Joshua P. Emery, Josef Hanus, Vishnu Reddy, Ellen S. Howell, Andrew S. Rivkin, Tomoko Arai

Abstract: Asteroid (3200) Phaethon is an active near-Earth asteroid and the parent body of the Geminid Meteor Shower. Because of its small perihelion distance, Phaethon's surface reaches temperatures sufficient to destabilize hydrated materials. We conducted rotationally resolved spectroscopic observations of this asteroid, mostly covering the northern hemisphere and the equatorial region, beyond 2.5-micron… ▽ More Asteroid (3200) Phaethon is an active near-Earth asteroid and the parent body of the Geminid Meteor Shower. Because of its small perihelion distance, Phaethon's surface reaches temperatures sufficient to destabilize hydrated materials. We conducted rotationally resolved spectroscopic observations of this asteroid, mostly covering the northern hemisphere and the equatorial region, beyond 2.5-micron to search for evidence of hydration on its surface. Here we show that the observed part of Phaethon does not exhibit the 3-micron hydrated mineral absorption (within 2-sigma). These observations suggest that Phaethon's modern activity is not due to volatile sublimation or devolatilization of phyllosilicates on its surface. It is possible that the observed part of Phaethon was originally hydrated and has since lost volatiles from its surface via dehydration, supporting its connection to the Pallas family, or it was formed from anhydrous material. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Journal ref: Nat Commun 11, 2050 (2020)

Two remarks on proof theory of first-order arithmetic

Authors: Toshiyasu Arai

Abstract: In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $Σ_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is reformulated to show a `consistency' proof of PA based on a combinatorial principle. In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $Σ_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is reformulated to show a `consistency' proof of PA based on a combinatorial principle. △ Less

Submitted 31 December, 2020; v1 submitted 29 March, 2020; originally announced March 2020.

MSC Class: 03F30

Mahlo classes for first-order reflections

Authors: Toshiyasu Arai

Abstract: In this note we axiomatize the $Π_{k+1}$-consequences in the set theory ${\sf KP}Π_{N}$ for $Π_{N}$-reflecting universes in terms of iterations of $Π_{i}$-recursively Mahlo operations for $1\leq k\leq i<N$. In this note we axiomatize the $Π_{k+1}$-consequences in the set theory ${\sf KP}Π_{N}$ for $Π_{N}$-reflecting universes in terms of iterations of $Π_{i}$-recursively Mahlo operations for $1\leq k\leq i<N$. △ Less

Submitted 15 October, 2019; originally announced October 2019.

MSC Class: 03F99

A new Granger causality measure for eliminating the confounding influence of latent common inputs

Authors: Takashi Arai

Abstract: In this paper, we propose a new Granger causality measure which is robust against the confounding influence of latent common inputs. This measure is inspired by partial Granger causality in the literature, and its variant. Using numerical experiments we first show that the test statistics for detecting directed interactions between time series approximately obey the $F$-distributions when there ar… ▽ More In this paper, we propose a new Granger causality measure which is robust against the confounding influence of latent common inputs. This measure is inspired by partial Granger causality in the literature, and its variant. Using numerical experiments we first show that the test statistics for detecting directed interactions between time series approximately obey the $F$-distributions when there are no interactions. Then, we propose a practical procedure for inferring directed interactions, which is based on the idea of multiple statistical test in situations where the confounding influence of latent common inputs may exist. The results of numerical experiments demonstrate that the proposed method successfully eliminates the influence of latent common inputs while the normal Granger causality method detects spurious interactions due to the influence of the confounder. △ Less

Submitted 11 August, 2019; originally announced August 2019.

Comments: 24 pages, 7 figures

A simplified ordinal analysis of first-order reflection

Authors: Toshiyasu Arai

Abstract: In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $ψ$-functions. Provable $Σ_{1}$-sentences on $L_{ω_{1}^{CK}}$ are bounded through cut-elimination on operator controlled derivations. In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $ψ$-functions. Provable $Σ_{1}$-sentences on $L_{ω_{1}^{CK}}$ are bounded through cut-elimination on operator controlled derivations. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1506.05280

MSC Class: 03F99

Journal ref: J. symb. log. 85 (2020) 1163-1185

A Clark-Ocone type formula via Ito calculus and its application to finance

Authors: Takuji Arai, Ryoichi Suzuki

Abstract: An explicit martingale representation for random variables described as a functional of a Levy process will be given. The Clark-Ocone theorem shows that integrands appeared in a martingale representation are given by conditional expectations of Malliavin derivatives. Our goal is to extend it to random variables which are not Malliavin differentiable. To this end, we make use of Ito's formula, inst… ▽ More An explicit martingale representation for random variables described as a functional of a Levy process will be given. The Clark-Ocone theorem shows that integrands appeared in a martingale representation are given by conditional expectations of Malliavin derivatives. Our goal is to extend it to random variables which are not Malliavin differentiable. To this end, we make use of Ito's formula, instead of Malliavin calculus. As an application to mathematical finance, we shall give an explicit representation of locally risk-minimizing strategy of digital options for exponential Levy models. Since the payoff of digital options is described by an indicator function, we also discuss the Malliavin differentiability of indicator functions with respect to Levy processes. △ Less

Submitted 16 June, 2019; originally announced June 2019.

Predicatively unprovable termination of the Ackermannian Goodstein process

Authors: Toshiyasu Arai, David Fernández-Duque, Stanley Wainer, Andreas Weiermann

Abstract: The classical Goodstein process gives rise to long but finite sequences of natural numbers whose termination is not provable in Peano arithmetic. In this manuscript we consider a variant based on the Ackermann function. We show that Ackermannian Goodstein sequences eventually terminate, but this fact is not provable using predicative means. The classical Goodstein process gives rise to long but finite sequences of natural numbers whose termination is not provable in Peano arithmetic. In this manuscript we consider a variant based on the Ackermann function. We show that Ackermannian Goodstein sequences eventually terminate, but this fact is not provable using predicative means. △ Less

Submitted 31 May, 2019; originally announced June 2019.

Pricing and hedging of VIX options for Barndorff-Nielsen and Shephard models

Authors: Takuji Arai

Abstract: The VIX call options for the Barndorff-Nielsen and Shephard models will be discussed. Derivatives written on the VIX, which is the most popular volatility measurement, have been traded actively very much. In this paper, we give representations of the VIX call option price for the Barndorff-Nielsen and Shephard models: non-Gaussian Ornstein--Uhlenbeck type stochastic volatility models. Moreover, we… ▽ More The VIX call options for the Barndorff-Nielsen and Shephard models will be discussed. Derivatives written on the VIX, which is the most popular volatility measurement, have been traded actively very much. In this paper, we give representations of the VIX call option price for the Barndorff-Nielsen and Shephard models: non-Gaussian Ornstein--Uhlenbeck type stochastic volatility models. Moreover, we provide representations of the locally risk-minimizing strategy constructed by a combination of the underlying riskless and risky assets. Remark that the representations obtained in this paper are efficient to develop a numerical method using the fast Fourier transform. Thus, numerical experiments will be implemented in the last section of this paper. △ Less

Submitted 28 April, 2019; originally announced April 2019.

Comments: 20 pages, 4 fugures

Modelling DESTINY+ interplanetary and interstellar dust measurements en route to the active asteroid (3200) Phaethon

Authors: Harald Krüger, Peter Strub, Ralf Srama, Masanori Kobayashi, Tomoko Arai, Hiroshi Kimura, Takayuki Hirai, Georg Moragas-Klostermeyer, Nicolas Altobelli, Veerle J. Sterken, Jessica Agarwal, Maximilian Sommer, Eberhard Grün

Abstract: The JAXA/ISAS spacecraft DESTINY$^+$ will be launched to the active asteroid (3200) Phaethon in 2022. Among the proposed core payload is the DESTINY+ Dust Analyzer (DDA) which is an upgrade of the Cosmic Dust Analyzer flown on the Cassini spacecraft to Saturn (Srama et al. 2011). We use two up-to-date computer models, the ESA Interplanetary Meteoroid Engineering Model (IMEM, Dikarev et al. 2005),… ▽ More The JAXA/ISAS spacecraft DESTINY$^+$ will be launched to the active asteroid (3200) Phaethon in 2022. Among the proposed core payload is the DESTINY+ Dust Analyzer (DDA) which is an upgrade of the Cosmic Dust Analyzer flown on the Cassini spacecraft to Saturn (Srama et al. 2011). We use two up-to-date computer models, the ESA Interplanetary Meteoroid Engineering Model (IMEM, Dikarev et al. 2005), and the interstellar dust module of the Interplanetary Meteoroid environment for EXploration model (IMEX; Sterken2013 et al., Strub et al. 2019) to study the detection conditions and fluences of interplanetary and interstellar dust with DDA. Our results show that a statistically significant number of interplanetary and interstellar dust particles will be detectable with DDA during the 4-years interplanetary cruise of DESTINY+. The particle impact direction and speed can be used to descriminate between interstellar and interplanetary particles and likely also to distinguish between cometary and asteroidal particles. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: 40 pages, 18 Figures, accepted for Planetary and Space Science

Effectiveness of LSTMs in Predicting Congestive Heart Failure Onset

Authors: Sunil Mallya, Marc Overhage, Navneet Srivastava, Tatsuya Arai, Cole Erdman

Abstract: In this paper we present a Recurrent neural networks (RNN) based architecture that achieves an AUCROC of 0.9147 for predicting the onset of Congestive Heart Failure (CHF) 15 months in advance using a 12-month observation window on a large cohort of 216,394 patients. We believe this to be the largest study in CHF onset prediction with respect to the number of CHF case patients in the cohort and the… ▽ More In this paper we present a Recurrent neural networks (RNN) based architecture that achieves an AUCROC of 0.9147 for predicting the onset of Congestive Heart Failure (CHF) 15 months in advance using a 12-month observation window on a large cohort of 216,394 patients. We believe this to be the largest study in CHF onset prediction with respect to the number of CHF case patients in the cohort and the test set (3,332 CHF patients) on which the AUC metrics are reported. We explore the extent to which LSTM (Long Short Term Memory) based model, a variant of RNNs, can accurately predict the onset of CHF when compared to known linear baselines like Logistic Regression, Random Forests and deep learning based models such as Multi-Layer Perceptron and Convolutional Neural Networks. We utilize demographics, medical diagnosis and procedure data from 21,405 CHF and 194,989 control patients to as our features. We describe our feature embedding strategy for medical diagnosis codes that accommodates the sparse, irregular, longitudinal, and high-dimensional characteristics of EHR data. We empirically show that LSTMs can capture the longitudinal aspects of EHR data better than the proposed baselines. As an attempt to interpret the model, we present a temporal data analysis-based technique on false positives to attribute feature importance. A model capable of predicting the onset of congestive heart failure months in the future with this level of accuracy and precision can support efforts of practitioners to implement risk factor reduction strategies and researchers to begin to systematically evaluate interventions to potentially delay or avert development of the disease with high mortality, morbidity and significant costs. △ Less

Submitted 13 February, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: LSTMs, Electronic Health Records

Proof-theoretic strengths of the well ordering principles

Authors: Toshiyasu Arai

Abstract: In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions ${\sf g}$ on ordinals is shown to be equal to the least fixed point of ${\sf g}$. Moreover corrections to the previous paper are made. In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions ${\sf g}$ on ordinals is shown to be equal to the least fixed point of ${\sf g}$. Moreover corrections to the previous paper are made. △ Less

Submitted 20 May, 2019; v1 submitted 25 November, 2018; originally announced November 2018.

Comments: arXiv admin note: text overlap with arXiv:1704.08790

MSC Class: 03F35

Grzegorczyk sequence

Authors: Toshiyasu Arai

Abstract: Natural numbers are represented by Grzegorczyk functions. The representation is implicit in the technique of H. Friedman. An iterated base-shift in the representation with subtracting 1 yields a sequence, Grzegorczyk sequence. It is shown that the termination of the sequence is independent from the first order arithmetic PA. We follow M. Rathjen in the proof of the independence. Natural numbers are represented by Grzegorczyk functions. The representation is implicit in the technique of H. Friedman. An iterated base-shift in the representation with subtracting 1 yields a sequence, Grzegorczyk sequence. It is shown that the termination of the sequence is independent from the first order arithmetic PA. We follow M. Rathjen in the proof of the independence. △ Less

Submitted 25 November, 2018; originally announced November 2018.

MSC Class: 03F30

Rotationally-Resolved Spectroscopic Characterization of near-Earth object (3200) Phaethon

Authors: Theodore Kareta, Vishnu Reddy, Carl Hergenrother, Dante S. Lauretta, Tomoko Arai, Driss Takir, Juan Sanchez, Josef Hanuš

Abstract: (3200) Phaethon is a compelling object as it has an asteroidal appearance and spectrum, produces a weak dust tail during perihelion at just 0.14 AU, and is the parent body of the Geminid Meteor Shower. A better understanding of the physical properties of Phaethon is needed to understand the nature of its current and previous activity, relationship to potential source populations, and to plan for t… ▽ More (3200) Phaethon is a compelling object as it has an asteroidal appearance and spectrum, produces a weak dust tail during perihelion at just 0.14 AU, and is the parent body of the Geminid Meteor Shower. A better understanding of the physical properties of Phaethon is needed to understand the nature of its current and previous activity, relationship to potential source populations, and to plan for the upcoming flyby of the DESTINY+ spacecraft of Phaethon in the 2020s. We performed rotationally-resolved spectroscopy of Phaethon at visible and near-infrared wavelengths (0.4-2.5 microns) in 2007 and 2017, respectively, to better understand its surface properties. The visible and near-infrared observations both spanned nearly a full rotation or more and were under similar observing geometries, covering the whole surface with the exception of the north pole. The visible wavelengths show blue slopes with only minor slope variations and no absorption features. The NIR data is minimally varying and concave upwards, from very blue to blue-neutral with increasing wavelength. We fit the short-wavelength tail of Phaethon's thermal emission and retrieve an average visible albedo of pv = 0.08 +/- 0.01, which is lower than previous measurements but plausible in light of the recent larger radar-measured diameter of Phaethon. We retrieve an average infrared beaming parameter of Phaethon of eta = 1.70 +/- 0.05, which is similar to previous results. We discuss the implications of Phaethon's visible and near-infrared spectrum as well as the lower albedo on its origin, source population, and evolutionary history. △ Less

Submitted 25 October, 2018; originally announced October 2018.

Comments: Accepted in the Astronomical Journal. 37 pages, 7 figures

Optical observations of NEA 3200 Phaethon (1983 TB) during the 2017 apparition

Authors: Myung-Jin Kim, Hee-Jae Lee, Sang-Min Lee, Dong-Heun Kim, Fumi Yoshida, Przemyslaw Bartczak, Grzegorz Dudzinski, Jintae Park, Young-Jun Choi, Hong-Kyu Moon, Hong-Suh Yim, Jin Choi, Eun-Jung Choi, Joh-Na Yoon, Alexander Serebryanskiy, Maxim Krugov, Inna Reva, Kamoliddin E. Ergashev, Otabek Burkhonov, Shuhrat A. Ehgamberdiev, Yunus Turayev, Zhong-Yi Lin, Tomoko Arai, Katsuhito Ohtsuka, Takashi Ito , et al. (2 additional authors not shown)

Abstract: The near-Earth asteroid 3200 Phaethon (1983 TB) is an attractive object not only from a scientific viewpoint but also because of JAXA's DESTINY+ target. The rotational lightcurve and spin properties were investigated based on the data obtained in the ground-based observation campaign of Phaethon. We aim to refine the lightcurves and shape model of Phaethon using all available lightcurve datasets o… ▽ More The near-Earth asteroid 3200 Phaethon (1983 TB) is an attractive object not only from a scientific viewpoint but also because of JAXA's DESTINY+ target. The rotational lightcurve and spin properties were investigated based on the data obtained in the ground-based observation campaign of Phaethon. We aim to refine the lightcurves and shape model of Phaethon using all available lightcurve datasets obtained via optical observation, as well as our time-series observation data from the 2017 apparition. Using eight 1-2-m telescopes and an optical imager, we acquired the optical lightcurves and derived the spin parameters of Phaethon. We applied the lightcurve inversion method and SAGE algorithm to deduce the convex and non-convex shape model and pole orientations. We analysed the optical lightcurve of Phaethon and derived a synodic and a sidereal rotational period of 3.6039 h, with an axis ratio of a/b = 1.07. The ecliptic longitude (lambda) and latitude (beta) of the pole orientation were determined as (308, -52) and (322, -40) via two independent methods. A non-convex model from the SAGE method, which exhibits a concavity feature, is also presented. △ Less

Submitted 16 September, 2018; originally announced September 2018.

Comments: 14 pages, 4 figures, 1 figure in Appendix A. Accepted for publication in Astronomy & Astrophysics (A&A)

Journal ref: A&A 619, A123 (2018)