-
A Survey of Refactoring Detection Techniques Based on Change History Analysis
Authors:
Eunjong Choi,
Kenji Fujiwara,
Norihiro Yoshida,
Shinpei Hayashi
Abstract:
Refactoring is the process of changing a software system in such a way that it does not alter the external behavior of the code yet improves its internal structure. Not only researchers, but also practitioners, need to know about past refactoring instances performed in a software development project. So far, a number of techniques have been proposed for automatic detection of refactoring instances…
▽ More
Refactoring is the process of changing a software system in such a way that it does not alter the external behavior of the code yet improves its internal structure. Not only researchers, but also practitioners, need to know about past refactoring instances performed in a software development project. So far, a number of techniques have been proposed for automatic detection of refactoring instances. Those techniques have been presented in various international conferences and journals, however, it is difficult for researchers and practitioners to grasp the current status of studies on refactoring detection techniques. In this survey paper, we review various refactoring detection techniques, especially techniques based on change history analysis. First, we give the definition and categorization of refactoring detection methods in this paper, and then introduce refactoring detection techniques based on change history analysis. Finally, we discuss possible future research directions for refactoring detection.
△ Less
Submitted 7 August, 2018;
originally announced August 2018.
-
A Parametric Framework for Reversible $π$-Calculi
Authors:
Doriana Medic,
Claudio Antares Mezzina,
Iain Phillips,
Nobuko Yoshida
Abstract:
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data st…
▽ More
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We show that the (parametric) reversibility induced by our framework is causally- consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics.
△ Less
Submitted 31 July, 2018;
originally announced July 2018.
-
Spiral-arm instability - II: magnetic destabilisation
Authors:
Shigeki Inoue,
Naoki Yoshida
Abstract:
Fragmentation of spiral arms can drive the formation of giant clumps and induce intense star formation in disc galaxies. Based on the spiral-arm instability analysis of our Paper I, we present linear perturbation theory of dynamical instability of self-gravitating spiral arms of magnetised gas, focusing on the effect of toroidal magnetic fields. Spiral arms can be destabilised by the toroidal fiel…
▽ More
Fragmentation of spiral arms can drive the formation of giant clumps and induce intense star formation in disc galaxies. Based on the spiral-arm instability analysis of our Paper I, we present linear perturbation theory of dynamical instability of self-gravitating spiral arms of magnetised gas, focusing on the effect of toroidal magnetic fields. Spiral arms can be destabilised by the toroidal fields which cancel Coriolis force, i.e. magneto-Jeans instability. Our analysis can be applied to multi-component systems that consist of gas and stars. To test our analysis, we perform ideal magneto-hydrodynamics simulations of isolated disc galaxies and examine the simulation results. We find that our analysis can characterise dynamical instability leading arms to fragment and form clumps if magnetic fields are nearly toroidal. We propose that dimensionless growth rate of the most unstable perturbation, which is computed from our analysis, can be used to predict fragmentation of spiral arms within an orbital time-scale. Our analysis is applicable as long as magnetic fields are nearly toroidal. Using our analytic model, we estimate a typical mass of clumps forming from spiral-arm fragmentation to be consistent with observed giant clumps $\sim10^{7-8}~{\rm M_\odot}$. Furthermore, we find that, although the magnetic destabilisation can cause low-density spiral arms to fragment, the estimated mass of resultant clumps is almost independent from strength of magnetic fields since marginal instability occurs at long wavelengths which compensate the low densities of magnetically destabilised arms.
△ Less
Submitted 10 December, 2018; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Global jump filters and quasi-likelihood analysis for volatility
Authors:
Haruhiko Inatsugu,
Nakahiro Yoshida
Abstract:
We propose a new estimation scheme for estimation of the volatility parameters of a semimartingale with jumps based on a jump-detection filter. Our filter uses all of data to analyze the relative size of increments and to discriminate jumps more precisely. We construct quasi-maximum likelihood estimators and quasi-Bayesian estimators, and show limit theorems for them including $L^p$-estimates of t…
▽ More
We propose a new estimation scheme for estimation of the volatility parameters of a semimartingale with jumps based on a jump-detection filter. Our filter uses all of data to analyze the relative size of increments and to discriminate jumps more precisely. We construct quasi-maximum likelihood estimators and quasi-Bayesian estimators, and show limit theorems for them including $L^p$-estimates of the error and asymptotic mixed normality based on the framework of the quasi-likelihood analysis. The global jump filters do not need a restrictive condition for the distribution of the small jumps. By numerical simulation we show that our "global" method obtains better estimates of the volatility parameter than the previous "local" methods.
△ Less
Submitted 14 February, 2021; v1 submitted 27 June, 2018;
originally announced June 2018.
-
Detection of the Far-infrared [O III] and Dust Emission in a Galaxy at Redshift 8.312: Early Metal Enrichment in the Heart of the Reionization Era
Authors:
Yoichi Tamura,
Ken Mawatari,
Takuya Hashimoto,
Akio K. Inoue,
Erik Zackrisson,
Lise Christensen,
Christian Binggeli,
Yuichi Matsuda,
Hiroshi Matsuo,
Tsutomu T. Takeuchi,
Ryosuke S. Asano,
Kaho Sunaga,
Ikkoh Shimizu,
Takashi Okamoto,
Naoki Yoshida,
Minju Lee,
Takatoshi Shibuya,
Yoshiaki Taniguchi,
Hideki Umehata,
Bunyo Hatsukade,
Kotaro Kohno,
Kazuaki Ota
Abstract:
We present the Atacama Large Millimeter/submillimeter Array (ALMA) detection of the [O III] 88 $μ$m line and rest-frame 90 $μ$m dust continuum emission in a Y-dropout Lyman break galaxy (LBG), MACS0416_Y1, lying behind the Frontier Field cluster MACS J0416.1-2403. This [O III] detection confirms the LBG with a spectroscopic redshift of $z = 8.3118 \pm 0.0003$, making this object one of the furthes…
▽ More
We present the Atacama Large Millimeter/submillimeter Array (ALMA) detection of the [O III] 88 $μ$m line and rest-frame 90 $μ$m dust continuum emission in a Y-dropout Lyman break galaxy (LBG), MACS0416_Y1, lying behind the Frontier Field cluster MACS J0416.1-2403. This [O III] detection confirms the LBG with a spectroscopic redshift of $z = 8.3118 \pm 0.0003$, making this object one of the furthest galaxies ever identified spectroscopically. The observed 850 $μ$m flux density of $137 \pm 26$ $μ$Jy corresponds to a de-lensed total infrared (IR) luminosity of $L_{\rm IR} = (1.7 \pm 0.3) \times 10^{11} L_{\odot}$ if assuming a dust temperature of $T_{\rm dust} = 50$ K and an emissivity index of $β= 1.5$, yielding a large dust mass of $4 \times 10^6 M_{\odot}$. The ultraviolet-to-far IR spectral energy distribution modeling where the [O III] emissivity model is incorporated suggests the presence of a young ($τ_{\rm age} \approx 4$ Myr), star-forming (SFR $\approx 60 M_{\odot}$ yr$^{-1}$), moderately metal-polluted ($Z \approx 0.2 Z_{\odot}$) stellar component with a mass of $M_{\rm star} = 3 \times 10^8 M_{\odot}$. An analytic dust mass evolution model with a single episode of star-formation does not reproduce the metallicity and dust mass in $τ_{\rm age} \approx 4$ Myr, suggesting a pre-existing evolved stellar component with $M_{\rm star} \sim 3 \times 10^9 M_{\odot}$ and $τ_{\rm age} \sim 0.3$ Gyr as the origin of the dust mass.
△ Less
Submitted 11 February, 2019; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Radiation hydrodynamics simulations of photoevaporation of protoplanetary disks II: Metallicity dependence of UV and X-ray photoevaporation
Authors:
Riouhei Nakatani,
Takashi Hosokawa,
Naoki Yoshida,
Hideko Nomura,
Rolf Kuiper
Abstract:
We perform a suite of radiation hydrodynamics simulations of photoevaporating disks with varying the metallicity in a wide range of $10^{-3} \, Z_\odot \leq Z \leq 10^{0.5} \, Z_\odot $. We follow the disk evolution for over $\sim 5000$ years by solving hydrodynamics, radiative transfer, and non-equilibrium chemistry. Our chemistry model is updated from the first paper of this series by adding X-r…
▽ More
We perform a suite of radiation hydrodynamics simulations of photoevaporating disks with varying the metallicity in a wide range of $10^{-3} \, Z_\odot \leq Z \leq 10^{0.5} \, Z_\odot $. We follow the disk evolution for over $\sim 5000$ years by solving hydrodynamics, radiative transfer, and non-equilibrium chemistry. Our chemistry model is updated from the first paper of this series by adding X-ray ionization and heating. We study the metallicity dependence of the disk photoevaporation rate and examine the importance of X-ray radiation. In the fiducial case with solar metallicity, including the X-ray effects does not significantly increase the photoevaporation rate when compared to the case with ultra-violet (UV) radiation only. At sub-solar metallicities in the range of $Z \gtrsim 10^{-1.5} \, Z_\odot $, the photoevaporation rate increases as metallicity decreases owing to the reduced opacity of the disk medium. The result is consistent with the observational trend that disk lifetimes are shorter in low metallicity environments. Contrastingly, the photoevaporation rate decreases at even lower metallicities of $Z \lesssim 10^{-1.5} \, Z_\odot $, because dust-gas collisional cooling remains efficient compared to far UV photoelectric heating whose efficiency depends on metallicity. The net cooling in the interior of the disk suppresses the photoevaporation. However, adding X-ray radiation significantly increases the photoevaporation rate, especially at $Z \sim 10^{-2}\, Z_\odot$. Although the X-ray radiation itself does not drive strong photoevaporative flows, X-rays penetrate deep into the neutral region in the disk, increase the ionization degree there, and reduce positive charges of grains. Consequently, the effect of photoelectric heating by far UV radiation is strengthened by the X-rays and enhances the disk photoevaporation.
△ Less
Submitted 10 August, 2018; v1 submitted 21 May, 2018;
originally announced May 2018.
-
The distribution and physical properties of high-redshift [OIII] emitters in a cosmological hydrodynamics simulation
Authors:
Kana Moriwaki,
Naoki Yoshida,
Ikkoh Shimizu,
Yuichi Harikane,
Yuichi Matsuda,
Hiroshi Matsuo,
Takuya Hashimoto,
Akio K. Inoue,
Yoichi Tamura,
Tohru Nagao
Abstract:
Recent observations with the Atacama Large Millimeter/submillimeter Array (ALMA) detected far-infrared emission lines such as the [OIII] 88 μm line from galaxies at $z \sim 7 - 9$. Far-infrared lines can be used to probe the structure and kinematics of such high-redshift galaxies as well as to accurately determine their spectroscopic redshifts. We use a cosmological simulation of galaxy formation…
▽ More
Recent observations with the Atacama Large Millimeter/submillimeter Array (ALMA) detected far-infrared emission lines such as the [OIII] 88 μm line from galaxies at $z \sim 7 - 9$. Far-infrared lines can be used to probe the structure and kinematics of such high-redshift galaxies as well as to accurately determine their spectroscopic redshifts. We use a cosmological simulation of galaxy formation to study the physical properties of [OIII] 88 μm emitters. In a comoving volume of 50 $h^{-1}$ Mpc on a side, we locate 34 galaxies with stellar masses greater than $10^8\ {\rm M_\odot}$ at $z = 9$, and more than 270 such galaxies at $z = 7$. We calculate the [OIII] 88 μm luminosities ($L_{\rm OIII}$) by combining a physical model of HII regions with emission line calculations using the photoionization code CLOUDY. We show that the resulting $L_{\rm OIII}$, for a given star formation rate, is slightly higher than predicted from the empirical relation for local galaxies, and is consistent with recent observations of galaxies at redshifts 7 - 9. Bright [OIII] emitters with $L_{\rm OIII} > 10^8 {\rm L_\odot}$ have stellar masses greater than $10^9\ {\rm M_\odot}$, star formation rates higher than $3\ {\rm M_\odot\ yr}^{-1}$, and the typical metallicity is $\sim 0.1\ {\rm Z_\odot}$. The galaxies are hosted by dark matter halos with masses greater than $10^{10.5}\ {\rm M_\odot}$. Massive galaxies show characteristic structure where the [OIII] emitting gas largely overlaps with young stars, but the emission peak is separated from the main stellar population, suggesting the stochastic and localized nature of star formation in the first galaxies. We propose to use the [OIII] 5007 Å line, to be detected by James Webb Space Telescope (JWST), to study the properties of galaxies whose [OIII] 88 μm line emission has been already detected with ALMA.
△ Less
Submitted 4 September, 2018; v1 submitted 18 May, 2018;
originally announced May 2018.
-
Analyzing order flows in limit order books with ratios of Cox-type intensities
Authors:
Ioane Muni Toke,
Nakahiro Yoshida
Abstract:
We introduce a Cox-type model for relative intensities of orders flows in a limit order book. The model assumes that all intensities share a common baseline intensity, which may for example represent the global market activity. Parameters can be estimated by quasi likelihood maximization, without any interference from the baseline intensity. Consistency and asymptotic behavior of the estimators ar…
▽ More
We introduce a Cox-type model for relative intensities of orders flows in a limit order book. The model assumes that all intensities share a common baseline intensity, which may for example represent the global market activity. Parameters can be estimated by quasi likelihood maximization, without any interference from the baseline intensity. Consistency and asymptotic behavior of the estimators are given in several frameworks, and model selection is discussed with information criteria and penalization. The model is well-suited for high-frequency financial data: fitted models using easily interpretable covariates show an excellent agreement with empirical data. Extensive investigation on tick data consequently helps identifying trading signals and important factors determining the limit order book dynamics. We also illustrate the potential use of the framework for out-of-sample predictions.
△ Less
Submitted 22 August, 2019; v1 submitted 17 May, 2018;
originally announced May 2018.
-
The onset of star formation 250 million years after the Big Bang
Authors:
Takuya Hashimoto,
Nicolas Laporte,
Ken Mawatari,
Richard S. Ellis,
Akio. K. Inoue,
Erik Zackrisson,
Guido Roberts-Borsani,
Wei Zheng,
Yoichi Tamura,
Franz E. Bauer,
Thomas Fletcher,
Yuichi Harikane,
Bunyo Hatsukade,
Natsuki H. Hayatsu,
Yuichi Matsuda,
Hiroshi Matsuo,
Takashi Okamoto,
Masami Ouchi,
Roser Pello,
Claes-Erik Rydberg,
Ikkoh Shimizu,
Yoshiaki Taniguchi,
Hideki Umehata,
Naoki Yoshida
Abstract:
A fundamental quest of modern astronomy is to locate the earliest galaxies and study how they influenced the intergalactic medium a few hundred million years after the Big Bang. The abundance of star-forming galaxies is known to decline from redshifts of about 6 to 10, but a key question is the extent of star formation at even earlier times, corresponding to the period when the first galaxies migh…
▽ More
A fundamental quest of modern astronomy is to locate the earliest galaxies and study how they influenced the intergalactic medium a few hundred million years after the Big Bang. The abundance of star-forming galaxies is known to decline from redshifts of about 6 to 10, but a key question is the extent of star formation at even earlier times, corresponding to the period when the first galaxies might have emerged. Here we present spectroscopic observations of MACS1149-JD1, a gravitationally lensed galaxy observed when the Universe was less than four per cent of its present age. We detect an emission line of doubly ionized oxygen at a redshift of $9.1096\pm0.0006$, with an uncertainty of one standard deviation. This precisely determined redshift indicates that the red rest-frame optical colour arises from a dominant stellar component that formed about 250 million years after the Big Bang, corresponding to a redshift of about 15. Our results indicate the it may be possible to detect such early episodes of star formation in similar galaxies with future telescopes.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Global asymptotics toward rarefaction waves for solutions of the scalar conservation law with nonlinear viscosity
Authors:
Akitaka Matsumura,
Natsumi Yoshida
Abstract:
In this paper, we investigate the asymptotic behavior of solutions to the Cauchy problem for the scalar viscous conservation law where the far field states are prescribed. Especially, we deal with the case when the viscosity is of non-Newtonian type, including a pseudo-plastic case. When the corresponding Riemann problem for the hyperbolic part admits a Riemann solution which consists of single ra…
▽ More
In this paper, we investigate the asymptotic behavior of solutions to the Cauchy problem for the scalar viscous conservation law where the far field states are prescribed. Especially, we deal with the case when the viscosity is of non-Newtonian type, including a pseudo-plastic case. When the corresponding Riemann problem for the hyperbolic part admits a Riemann solution which consists of single rarefaction wave, under a condition on nonlinearity of the viscosity, it is proved that the solution of the Cauchy problem tends toward the rarefaction wave as time goes to infinity, without any smallness conditions.
△ Less
Submitted 28 April, 2018;
originally announced April 2018.
-
WFIRST Science Investigation Team "Cosmology with the High Latitude Survey" Annual Report 2017
Authors:
Olivier Doré,
Christopher Hirata,
Yun Wang,
David Weinberg,
Ivano Baronchelli,
Andrew Benson,
Peter Capak,
Ami Choi,
Tim Eifler,
Shoubaneh Hemmati,
Shirley Ho,
Albert Izard,
Bhuvnesh Jain,
Mike Jarvis,
Alina Kiessling,
Elisabeth Krause,
Elena Massara,
Dan Masters,
Alex Merson,
Hironao Miyatake,
Andres Plazas Malagon,
Rachel Mandelbaum,
Lado Samushia,
Chaz Shapiro,
Melanie Simet
, et al. (24 additional authors not shown)
Abstract:
Cosmic acceleration is the most surprising cosmological discovery in many decades. Testing and distinguishing among possible explanations requires cosmological measurements of extremely high precision probing the full history of cosmic expansion and structure growth and, ideally, compare and contrast matter and relativistic tracers of the gravity potential. This program is one of the defining obje…
▽ More
Cosmic acceleration is the most surprising cosmological discovery in many decades. Testing and distinguishing among possible explanations requires cosmological measurements of extremely high precision probing the full history of cosmic expansion and structure growth and, ideally, compare and contrast matter and relativistic tracers of the gravity potential. This program is one of the defining objectives of the Wide-Field Infrared Survey Telescope (WFIRST), as set forth in the New Worlds, New Horizons report (NWNH) in 2010. The WFIRST mission has the ability to improve these measurements by 1-2 orders of magnitude compared to the current state of the art, while simultaneously extending their redshift grasp, greatly improving control of systematic effects, and taking a unified approach to multiple probes that provide complementary physical information and cross-checks of cosmological results. We describe in this annual report the activities of the Science Investigation Team (SIT) "Cosmology with the High Latitude Survey (HLS)" during the year 2017. This team was selected by NASA in December 2015 in order to address the stringent challenges of the WFIRST dark energy (DE) program through the Project's formulation phase. This SIT has elected to jointly address Galaxy Redshift Survey, Weak Lensing and Cluster Growth and thus fully embrace the fact that the imaging and spectroscopic elements of the HLS will be realized as an integrated observing program, and they jointly impose requirements on performance and operations. WFIRST is designed to be able to deliver a definitive result on the origin of cosmic acceleration. It is not optimized for Figure of Merit sensitivity but for control of systematic uncertainties and for having multiple techniques each with multiple cross-checks. Our SIT work focuses on understanding the potential systematics in the WFIRST DE measurements.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
The correlation of extragalactic $γ$-rays with cosmic matter density distributions from weak-gravitational lensing
Authors:
Masato Shirasaki,
Oscar Macias,
Shunsaku Horiuchi,
Naoki Yoshida,
Chien-Hsiu Lee,
Atsushi J. Nishizawa
Abstract:
The extragalactic $γ$-ray background (EGB) arises from the accumulation of $γ$-ray emissions from resolved and unresolved extragalactic sources as well as diffuse processes. It is important to study the statistical properties of the EGB in the context of cosmological structure formation. Known astrophysical $γ$-ray sources such as blazars, star-forming galaxies, and radio galaxies are expected to…
▽ More
The extragalactic $γ$-ray background (EGB) arises from the accumulation of $γ$-ray emissions from resolved and unresolved extragalactic sources as well as diffuse processes. It is important to study the statistical properties of the EGB in the context of cosmological structure formation. Known astrophysical $γ$-ray sources such as blazars, star-forming galaxies, and radio galaxies are expected to trace the underlying cosmic matter density distribution. We explore the correlation of the EGB from Fermi-LAT data with the large-scale matter density distribution from the Subaru Hyper Suprime-Cam (HSC) SSP survey. We reconstruct an unbiased surface matter density distribution $κ$ at $z<1$ by applying weak-gravitational lensing analysis to the first-year HSC data. We then calculate the $γ- κ$ cross-correlation. Our measurements are consistent with a null detection, but a weak correlation is found at angular scales of 30-60 arcmin, especially when distant source galaxies at $z > 1$ are used for the lensing $κ$ reconstruction. The large-scale correlation suggests strong clustering of high-redshift $γ$-ray sources such as blazars. However, the inferred bias factor of $4-5$ is larger by about a factor of two than results from other clustering analyses. The final HSC data covering 1,400 squared degrees will play an essential role to determine accurately the blazar bias at $z > 0.5$.
△ Less
Submitted 4 June, 2018; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Depending on Session-Typed Processes
Authors:
Bernardo Toninho,
Nobuko Yoshida
Abstract:
This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed framework, by allowing session processes to depend on functions and vice-versa, enables us to specify and statically verify protocols where the choice of the next commu…
▽ More
This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed framework, by allowing session processes to depend on functions and vice-versa, enables us to specify and statically verify protocols where the choice of the next communication action can depend on specific values of received data. Moreover, the type theoretic nature of the framework endows us with the ability to internally describe and prove predicates on process behaviours. Our main results are type soundness of the framework, and a faithful embedding of the functional layer of the calculus within the session-typed layer, showcasing the expressiveness of dependent session types.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
Descendants of the first stars: the distinct chemical signature of second generation stars
Authors:
Tilman Hartwig,
Naoki Yoshida,
Mattis Magg,
Anna Frebel,
Simon C. O. Glover,
Facundo A. Gómez,
Brendan Griffen,
Miho N. Ishigaki,
Alexander P. Ji,
Ralf S. Klessen,
Brian W. O'Shea,
Nozomu Tominaga
Abstract:
Extremely metal-poor (EMP) stars in the Milky Way (MW) allow us to infer the properties of their progenitors by comparing their chemical composition to the metal yields of the first supernovae. This method is most powerful when applied to mono-enriched stars, i.e. stars that formed from gas that was enriched by only one previous supernova. We present a novel diagnostic to identify this subclass of…
▽ More
Extremely metal-poor (EMP) stars in the Milky Way (MW) allow us to infer the properties of their progenitors by comparing their chemical composition to the metal yields of the first supernovae. This method is most powerful when applied to mono-enriched stars, i.e. stars that formed from gas that was enriched by only one previous supernova. We present a novel diagnostic to identify this subclass of EMP stars. We model the first generations of star formation semi-analytically, based on dark matter halo merger trees that yield MW-like halos at the present day. Radiative and chemical feedback are included self-consistently and we trace all elements up to zinc. Mono-enriched stars account for only $\sim 1\%$ of second generation stars in our fiducial model and we provide an analytical formula for this probability. We also present a novel analytical diagnostic to identify mono-enriched stars, based on the metal yields of the first supernovae. This new diagnostic allows us to derive our main results independently from the specific assumptions made regarding Pop III star formation, and we apply it to a set of observed EMP stars to demonstrate its strengths and limitations. Our results may provide selection criteria for current and future surveys and therefore contribute to a deeper understanding of EMP stars and their progenitors.
△ Less
Submitted 16 July, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Partial quasi likelihood analysis
Authors:
Nakahiro Yoshida
Abstract:
The quasi likelihood analysis is generalized to the partial quasi likelihood analysis. Limit theorems for the quasi likelihood estimators, especially the quasi Bayesian estimator, are derived in the situation where existence of a slow mixing component prohibits the Rosenthal type inequality from applying to the derivation of the polynomial type large deviation inequality for the statistical random…
▽ More
The quasi likelihood analysis is generalized to the partial quasi likelihood analysis. Limit theorems for the quasi likelihood estimators, especially the quasi Bayesian estimator, are derived in the situation where existence of a slow mixing component prohibits the Rosenthal type inequality from applying to the derivation of the polynomial type large deviation inequality for the statistical random field. We give two illustrative examples.
△ Less
Submitted 31 December, 2017;
originally announced January 2018.
-
A new method for finding the minimum free energy pathway of ions and small molecule transportation through protein based on 3D-RISM theory and the string method
Authors:
Norio Yoshida
Abstract:
A new method for finding the minimum free energy pathway (MFEP) of ions and small molecule transportation through a protein based on the three-dimensional reference interaction site model (3D-RISM) theory combined with the string method has been proposed. The 3D-RISM theory produces the distribution function, or the potential of mean force (PMF), for transporting substances around and inside prote…
▽ More
A new method for finding the minimum free energy pathway (MFEP) of ions and small molecule transportation through a protein based on the three-dimensional reference interaction site model (3D-RISM) theory combined with the string method has been proposed. The 3D-RISM theory produces the distribution function, or the potential of mean force (PMF), for transporting substances around and inside proteins. By applying the string method to the PMF surface, one can readily determine the MFEP of the transporting substances inside a protein. The method has been applied to consider the Na+ conduction pathway of channelrhodopsin as an example.
△ Less
Submitted 8 March, 2018; v1 submitted 31 December, 2017;
originally announced January 2018.
-
Asymptotic expansion of Skorohod integrals
Authors:
David Nualart,
Nakahiro Yoshida
Abstract:
Asymptotic expansion of the distribution of a perturbation $Z_n$ of a Skorohod integral jointly with a reference variable $X_n$ is derived. We introduce a second-order interpolation formula in frequency domain to expand a characteristic functional and combine it with the scheme developed in the martingale expansion. The second-order interpolation and Fourier inversion give asymptotic expansion of…
▽ More
Asymptotic expansion of the distribution of a perturbation $Z_n$ of a Skorohod integral jointly with a reference variable $X_n$ is derived. We introduce a second-order interpolation formula in frequency domain to expand a characteristic functional and combine it with the scheme developed in the martingale expansion. The second-order interpolation and Fourier inversion give asymptotic expansion of the expectation $E[f(Z_n,X_n)]$ for differentiable functions $f$ and also measurable functions $f$. In the latter case, the interpolation method connects the two non-degeneracies of variables for finite $n$ and $\infty$. Random symbols are used for expressing the asymptotic expansion formula. Quasi tangent, quasi torsion and modified quasi torsion are introduced in this paper. We identify these random symbols for a certain quadratic form of a fractional Brownian motion and for a quadratic from of a fractional Brownian motion with random weights. For a quadratic form of a Brownian motion with random weights, we observe that our formula reproduces the formula originally obtained by the martingale expansion.
△ Less
Submitted 30 December, 2017;
originally announced January 2018.
-
Asymptotic expansion for vector-valued sequences of random variables with focus on Wiener chaos
Authors:
Ciprian Tudor,
Nakahiro Yoshida
Abstract:
We develop the asymptotic expansion theory for vector-valued sequences (F N) N $\ge$1 of random variables in terms of the convergence of the Stein-Malliavin matrix associated to the sequence F N. Our approach combines the classical Fourier approach and the recent theory on Stein method and Malliavin calculus. We find the second order term of the asymptotic expansion of the density of F N and we il…
▽ More
We develop the asymptotic expansion theory for vector-valued sequences (F N) N $\ge$1 of random variables in terms of the convergence of the Stein-Malliavin matrix associated to the sequence F N. Our approach combines the classical Fourier approach and the recent theory on Stein method and Malliavin calculus. We find the second order term of the asymptotic expansion of the density of F N and we illustrate our results by several examples. 2010 AMS Classification Numbers: 62M09, 60F05, 62H12
△ Less
Submitted 8 December, 2017;
originally announced December 2017.
-
Single-epoch supernova classification with deep convolutional neural networks
Authors:
Akisato Kimura,
Ichiro Takahashi,
Masaomi Tanaka,
Naoki Yasuda,
Naonori Ueda,
Naoki Yoshida
Abstract:
Supernovae Type-Ia (SNeIa) play a significant role in exploring the history of the expansion of the Universe, since they are the best-known standard candles with which we can accurately measure the distance to the objects. Finding large samples of SNeIa and investigating their detailed characteristics have become an important issue in cosmology and astronomy. Existing methods relied on a photometr…
▽ More
Supernovae Type-Ia (SNeIa) play a significant role in exploring the history of the expansion of the Universe, since they are the best-known standard candles with which we can accurately measure the distance to the objects. Finding large samples of SNeIa and investigating their detailed characteristics have become an important issue in cosmology and astronomy. Existing methods relied on a photometric approach that first measures the luminance of supernova candidates precisely and then fits the results to a parametric function of temporal changes in luminance. However, it inevitably requires multi-epoch observations and complex luminance measurements. In this work, we present a novel method for classifying SNeIa simply from single-epoch observation images without any complex measurements, by effectively integrating the state-of-the-art computer vision methodology into the standard photometric approach. Our method first builds a convolutional neural network for estimating the luminance of supernovae from telescope images, and then constructs another neural network for the classification, where the estimated luminance and observation dates are used as features for classification. Both of the neural networks are integrated into a single deep neural network to classify SNeIa directly from observation images. Experimental results show the effectiveness of the proposed method and reveal classification performance comparable to existing photometric methods with multi-epoch observations.
△ Less
Submitted 30 November, 2017;
originally announced November 2017.
-
Formation of the first star clusters and massive star binaries by fragmentation of filamentary primordial gas clouds
Authors:
Shingo Hirano,
Naoki Yoshida,
Yuya Sakurai,
Michiko S. Fujii
Abstract:
We perform a set of cosmological simulations of early structure formation with incorporating baryonic streaming motions. We present a case where a significantly elongated gas cloud with $\sim\!10^4\,$solar masses (${\rm M_\odot}$) is formed in a pre-galactic ($\sim\!10^7\,{\rm M_\odot}$) dark halo. The gas streaming into the halo compresses and heats the massive filamentary cloud to a temperature…
▽ More
We perform a set of cosmological simulations of early structure formation with incorporating baryonic streaming motions. We present a case where a significantly elongated gas cloud with $\sim\!10^4\,$solar masses (${\rm M_\odot}$) is formed in a pre-galactic ($\sim\!10^7\,{\rm M_\odot}$) dark halo. The gas streaming into the halo compresses and heats the massive filamentary cloud to a temperature of $\sim\!10,000\,$Kelvin. The gas cloud cools rapidly by atomic hydrogen cooling, and then by molecular hydrogen cooling down to $\sim\!400\,$Kelvin. The rapid decrease of the temperature and hence of the Jeans mass triggers fragmentation of the filament to yield multiple gas clumps with a few hundred solar masses. We estimate the mass of the primordial star formed in each fragment by adopting an analytic model based on a large set of radiation hydrodynamics simulations of protostellar evolution. The resulting stellar masses are in the range of $\sim\!50$-$120\,{\rm M_\odot}$. The massive stars gravitationally attract each other and form a compact star cluster. We follow the dynamics of the star cluster using a hybrid $N$-body simulation. We show that massive star binaries are formed in a few million years through multi-body interactions at the cluster center. The eventual formation of the remnant black holes will leave a massive black hole binary, which can be a progenitor of strong gravitational wave sources similar to those recently detected by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO).
△ Less
Submitted 20 February, 2018; v1 submitted 20 November, 2017;
originally announced November 2017.
-
Radiation hydrodynamics simulations of the formation of direct-collapse supermassive stellar systems
Authors:
Sunmyon Chon,
Takashi Hosokawa,
Naoki Yoshida
Abstract:
Formation of supermassive stars (SMSs) with mass ~10^4 Msun is a promising pathway to seed the formation of supermassive black holes in the early universe. The so-called direct-collapse (DC) model postulates that such an SMS forms in a hot gas cloud irradiated by a nearby star-forming galaxy. We study the DC SMS formation in a fully cosmological context using three-dimensional radiation hydrodynam…
▽ More
Formation of supermassive stars (SMSs) with mass ~10^4 Msun is a promising pathway to seed the formation of supermassive black holes in the early universe. The so-called direct-collapse (DC) model postulates that such an SMS forms in a hot gas cloud irradiated by a nearby star-forming galaxy. We study the DC SMS formation in a fully cosmological context using three-dimensional radiation hydrodynamics simulations. We initialize our simulations using the outputs of the cosmological simulation of Chon et al. (2016), where two DC gas clouds are identified. The long-term evolution over a hundred thousand years is followed from the formation of embryo protostars through their growth to SMSs. We show that the strength of the tidal force by a nearby galaxy determines the multiplicity of the formed stars and affects the protostellar growth. In one case, where a collapsing cloud is significantly stretched by strong tidal force, multiple star-disk systems are formed via filament fragmentation. Small-scale fragmentation occurs in each circumstellar disk, and more than 10 stars with masses of a few times 10^3 Msun are finally formed. Interestingly, about a half of them are found as massive binary stars. In the other case, the gas cloud collapses nearly spherically under a relatively weak tidal field, and a single star-disk system is formed. Only a few SMSs with masses ~ 10^4 Msun are found already after evolution of a hundred thousand years, and the SMSs are expected to grow further by gas accretion and to leave massive blackholes at the end of their lives.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Authors:
Bernardo Toninho,
Nobuko Yoshida
Abstract:
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract process…
▽ More
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session pi-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the lambda-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.
△ Less
Submitted 25 January, 2018; v1 submitted 2 November, 2017;
originally announced November 2017.
-
Supersonic Gas Streams Enhance the Formation of Massive Black Holes in the Early Universe
Authors:
Shingo Hirano,
Takashi Hosokawa,
Naoki Yoshida,
Rolf Kuiper
Abstract:
The origin of super-massive black holes in the early universe remains poorly understood.Gravitational collapse of a massive primordial gas cloud is a promising initial process,but theoretical studies have difficulty growing the black hole fast enough.We report numerical simulations of early black hole formation starting from realistic cosmological conditions.Supersonic gas motions left over from t…
▽ More
The origin of super-massive black holes in the early universe remains poorly understood.Gravitational collapse of a massive primordial gas cloud is a promising initial process,but theoretical studies have difficulty growing the black hole fast enough.We report numerical simulations of early black hole formation starting from realistic cosmological conditions.Supersonic gas motions left over from the Big Bang prevent early gas cloud formation until rapid gas condensation is triggered in a proto-galactic halo. A protostar is formed in the dense, turbulent gas cloud, and it grows by sporadic mass accretion until it acquires 34,000 solar masses.The massive star ends its life with a catastrophic collapse to leave a black hole -- a promising seed for the formation of a monstrous black hole.
△ Less
Submitted 12 October, 2017; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Investigating Cluster Astrophysics and Cosmology with Cross-Correlation of the Thermal Sunyaev-Zel'dovich Effect and Weak Lensing
Authors:
Ken Osato,
Samuel Flender,
Daisuke Nagai,
Masato Shirasaki,
Naoki Yoshida
Abstract:
Recent detections of the cross-correlation of the thermal Sunyaev-Zel'dovich (tSZ) effect and weak gravitational lensing (WL) enable unique studies of cluster astrophysics and cosmology. In this work, we present constraints on the amplitude of the non-thermal pressure fraction in galaxy clusters, $α_0$, and the amplitude of the matter power spectrum, $σ_8$, using measurements of the tSZ power spec…
▽ More
Recent detections of the cross-correlation of the thermal Sunyaev-Zel'dovich (tSZ) effect and weak gravitational lensing (WL) enable unique studies of cluster astrophysics and cosmology. In this work, we present constraints on the amplitude of the non-thermal pressure fraction in galaxy clusters, $α_0$, and the amplitude of the matter power spectrum, $σ_8$, using measurements of the tSZ power spectrum from Planck, and the tSZ-WL cross-correlation from Planck and the Red Cluster Sequence Lensing Survey. We fit the data to a semi-analytic model with the covariance matrix using $N$-body simulations. We find that the tSZ power spectrum alone prefers $σ_8 \sim 0.85$ and a large fraction of non-thermal pressure ($α_0 \sim 0.2$-$0.3$). The tSZ-WL cross-correlation on the other hand prefers a significantly lower $σ_8 \sim 0.6$, and low $α_0 \sim 0.05$. We show that this tension can be mitigated by allowing for a steep slope in the stellar-mass-halo-mass relation, which would cause a reduction of the gas in low-mass halos. In such a model, the combined data prefer $σ_8 \sim 0.7$ and $α_0 \sim 0.2$, consistent with predictions from hydrodynamical simulations.
△ Less
Submitted 24 January, 2018; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Probing the shape and internal structure of dark matter halos with the halo-shear-shear three-point correlation function
Authors:
Masato Shirasaki,
Naoki Yoshida
Abstract:
Weak lensing three-point statistics are powerful probes of the structure of dark matter halos. We propose to use the correlation of the positions of galaxies with the shapes of background galaxy pairs, known as the halo-shear-shear correlation (HSSC), to measure the mean halo ellipticity and the abundance of subhalos in a statistical manner. We run high-resolution cosmological $N$-body simulations…
▽ More
Weak lensing three-point statistics are powerful probes of the structure of dark matter halos. We propose to use the correlation of the positions of galaxies with the shapes of background galaxy pairs, known as the halo-shear-shear correlation (HSSC), to measure the mean halo ellipticity and the abundance of subhalos in a statistical manner. We run high-resolution cosmological $N$-body simulations and use the outputs to measure the HSSC for galaxy halos and cluster halos. Non-spherical halos cause a characteristic azimuthal variation of the HSSC, and massive subhalos in the outer region near the virial radius contribute to $\sim10\%$ of the HSSC amplitude. Using the HSSC and its covariance estimated from our $N$-body simulations, we make forecast for constraining the internal structure of dark matter halos with future galaxy surveys. With 1000 galaxy groups with mass greater than $10^{13.5}\, h^{-1}M_{\odot}$, the average halo ellipticity can be measured with an accuracy of ten percent. A spherical, smooth mass distribution can be ruled out at a $\sim5σ$ significance level. The existence of subhalos whose masses are in 1-10 percent of the main halo mass can be detected with $\sim10^4$ galaxies/clusters. We conclude that the HSSC provides valuable information on the structure of dark halos and hence on the nature of dark matter.
△ Less
Submitted 19 December, 2017; v1 submitted 15 June, 2017;
originally announced June 2017.
-
Radiation Hydrodynamics Simulations of Photoevaporation of Protoplanetary Disks by Ultra Violet Radiation: Metallicity Dependence
Authors:
Riouhei Nakatani,
Takashi Hosokawa,
Naoki Yoshida,
Hideko Nomura,
Rolf Kuiper
Abstract:
Protoplanetary disks are thought to have lifetimes of several million years in the solar neighborhood, but recent observations suggest that the disk lifetimes are shorter in a low metallicity environment. We perform a suite of radiation hydrodynamics simulations of photoevaporation of protoplanetary disks to study the disk structure and its long-term evolution of $\sim 10000$ years, and the metall…
▽ More
Protoplanetary disks are thought to have lifetimes of several million years in the solar neighborhood, but recent observations suggest that the disk lifetimes are shorter in a low metallicity environment. We perform a suite of radiation hydrodynamics simulations of photoevaporation of protoplanetary disks to study the disk structure and its long-term evolution of $\sim 10000$ years, and the metallicity dependence of mass-loss rate. Our simulations follow hydrodynamics, extreme and far ultra-violet radiative transfer, and non-equilibrium chemistry in a self-consistent manner. Dust grain temperatures are also calculated consistently by solving the radiative transfer of the stellar irradiation and grain (re-)emission. We vary the disk gas metallicity over a wide range of $10^{-4}~ Z_\odot \leq Z \leq 10 ~Z_\odot$. The photoevaporation rate is lower with higher metallicity in the range of $10^{-1} \,Z_\odot \lesssim Z \lesssim 10 \,Z_\odot$, because dust shielding effectively prevents far-ultra violet (FUV) photons from penetrating into and heating the dense regions of the disk. The photoevaporation rate sharply declines at even lower metallicities in $10^{-2} \,Z_\odot \lesssim Z \lesssim 10^{-1}\,Z_\odot$, because FUV photoelectric heating becomes less effective than dust-gas collisional cooling. The temperature in the neutral region decreases, and photoevaporative flows are excited only in an outer region of the disk. At $10^{-4}\,Z_\odot \leq Z \lesssim 10^{-2}\,Z_\odot$, HI photoionization heating acts as a dominant gas heating process and drives photoevaporative flows with roughly a constant rate. The typical disk lifetime is shorter at $Z=0.3~Z_\odot$ than at $Z = Z_\odot$, being consistent with recent observations of the extreme outer galaxy.
△ Less
Submitted 23 March, 2018; v1 submitted 14 June, 2017;
originally announced June 2017.
-
Spiral-arm instability: giant clump formation via fragmentation of a galactic spiral arm
Authors:
Shigeki Inoue,
Naoki Yoshida
Abstract:
Fragmentation of a spiral arm is thought to drive the formation of giant clumps in galaxies. Using linear perturbation analysis for self-gravitating spiral arms, we derive an instability parameter and define the conditions for clump formation. We extend our analysis to multi-component systems that consist of gas and stars in an external potential. We then perform numerical simulations of isolated…
▽ More
Fragmentation of a spiral arm is thought to drive the formation of giant clumps in galaxies. Using linear perturbation analysis for self-gravitating spiral arms, we derive an instability parameter and define the conditions for clump formation. We extend our analysis to multi-component systems that consist of gas and stars in an external potential. We then perform numerical simulations of isolated disc galaxies with isothermal gas, and compare the results with the prediction of our analytic model. Our model describes accurately the evolution of the spiral arms in our simulations, even when spiral arms dynamically interact with one another. We show that most of the giant clumps formed in the simulated disc galaxies satisfy the instability condition. The clump masses predicted by our model are in agreement with the simulation results, but the growth time-scale of unstable perturbations is overestimated by a factor of a few. We also apply our instability analysis to derive scaling relations of clump properties. The expected scaling relation between the clump size, velocity dispersion, and circular velocity is slightly different from that given by the Toomre instability analysis, but neither is inconsistent with currently available observations. We argue that the spiral-arm instability is a viable formation mechanism of giant clumps in gas-rich disc galaxies.
△ Less
Submitted 18 August, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Tidal Disruption of a White Dwarf by a Black Hole: The Diversity of Nucleosynthesis, Explosion Energy, and the Fate of Debris Streams
Authors:
Kojiro Kawana,
Ataru Tanikawa,
Naoki Yoshida
Abstract:
We run a suite of hydrodynamics simulations of tidal disruption events (TDEs) of a white dwarf (WD) by a black hole (BH) with a wide range of WD/BH masses and orbital parameters. We implement nuclear reactions to study nucleosynthesis and its dynamical effect through release of nuclear energy. The released nuclear energy effectively increases the fraction of unbound ejecta. This effect is weaker f…
▽ More
We run a suite of hydrodynamics simulations of tidal disruption events (TDEs) of a white dwarf (WD) by a black hole (BH) with a wide range of WD/BH masses and orbital parameters. We implement nuclear reactions to study nucleosynthesis and its dynamical effect through release of nuclear energy. The released nuclear energy effectively increases the fraction of unbound ejecta. This effect is weaker for a heavy WD with 1.2 $\mathrm{M}_{\odot}$, because the specific orbital energy distribution of the debris is predominantly determined by the tidal force, rather than by the explosive reactions. The elemental yield of a TDE depends critically on the initial composition of a WD, while the BH mass and the orbital parameters also affect the total amount of synthesized elements. Tanikawa et al. (2017) find that simulations of WD-BH TDEs with low resolution suffer from spurious heating and inaccurate nuclear reaction results. In order to examine the validity of our calculations, we compare the amounts of the synthesized elements with the upper limits of them derived in a way where we can avoid uncertainties due to low resolution. The results are largely consistent, and thus support our findings. We find particular TDEs where early self-intersection of a WD occurs during the first pericentre passage, promoting formation of an accretion disc. We expect that relativistic jets and/or winds would form in these cases because accretion rates would be super-Eddington. The WD-BH TDEs result in a variety of events depending on the WD/BH mass and pericentre radius of the orbit.
△ Less
Submitted 24 April, 2018; v1 submitted 16 May, 2017;
originally announced May 2017.
-
Formation of Intermediate-Mass Black Holes through Runaway Collisions in the First Star Clusters
Authors:
Yuya Sakurai,
Naoki Yoshida,
Michiko S. Fujii,
Shingo Hirano
Abstract:
We study the formation of massive black holes in the first star clusters. We first locate star-forming gas clouds in proto-galactic haloes of $\gtrsim \!10^7\,{\rm M}_{\odot}$ in cosmological hydrodynamics simulations and use them to generate the initial conditions for star clusters with masses of $\sim \!10^5\,{\rm M}_{\odot}$. We then perform a series of direct-tree hybrid $N$-body simulations t…
▽ More
We study the formation of massive black holes in the first star clusters. We first locate star-forming gas clouds in proto-galactic haloes of $\gtrsim \!10^7\,{\rm M}_{\odot}$ in cosmological hydrodynamics simulations and use them to generate the initial conditions for star clusters with masses of $\sim \!10^5\,{\rm M}_{\odot}$. We then perform a series of direct-tree hybrid $N$-body simulations to follow runaway stellar collisions in the dense star clusters. In all the cluster models except one, runaway collisions occur within a few million years, and the mass of the central, most massive star reaches $\sim \!400-1900\,{\rm M}_{\odot}$. Such very massive stars collapse to leave intermediate-mass black holes (IMBHs). The diversity of the final masses may be attributed to the differences in a few basic properties of the host haloes such as mass, central gas velocity dispersion, and mean gas density of the central core. Finally, we derive the IMBH mass to cluster mass ratios, and compare them with the observed black hole to bulge mass ratios in the present-day Universe.
△ Less
Submitted 13 August, 2017; v1 submitted 20 April, 2017;
originally announced April 2017.
-
Towards a Categorical Representation of Reversible Event Structures
Authors:
Eva Graversen,
Iain Phillips,
Nobuko Yoshida
Abstract:
We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures. More recently, reversible forms of these types of event structures have been defined. We…
▽ More
We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures. More recently, reversible forms of these types of event structures have been defined. We formulate corresponding categories and functors between them. We show that products and co-products exist in many cases. In most work on reversible computing, including reversible process calculi, a cause-respecting condition is posited, meaning that the cause of an event may not be reversed before the event itself. Since reversible event structures are not assumed to be cause-respecting in general, we also define cause-respecting subcategories of these event structures. Our longer-term aim is to formulate event structure semantics for reversible process calculi.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Multiparty Session Types, Beyond Duality (Abstract)
Authors:
Alceste Scalas,
Nobuko Yoshida
Abstract:
Multiparty Session Types (MPST) are a well-established ty** discipline for message-passing processes interacting on sessions involving two or more participants. Session ty** can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) res…
▽ More
Multiparty Session Types (MPST) are a well-established ty** discipline for message-passing processes interacting on sessions involving two or more participants. Session ty** can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) restrictive: it only holds for ty** contexts with strong duality constraints on the interactions between pairs of participants. Consequently, many "intuitively correct" examples cannot be typed and/or cannot be proved type-safe. We illustrate some of these examples, and discuss the reason for these limitations. Then, we outline a novel MPST ty** system that removes these restrictions.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Multidimensional VlasovPoisson Simulations with High-order Monotonicity- and Positivity-preserving Schemes
Authors:
Satoshi Tanaka,
Kohji Yoshikawa,
Takashi Minoshima,
Naoki Yoshida
Abstract:
We develop new numerical schemes for Vlasov--Poisson equations with high-order accuracy. Our methods are based on a spatially monotonicity-preserving (MP) scheme and are modified suitably so that positivity of the distribution function is also preserved. We adopt an efficient semi-Lagrangian time integration scheme that is more accurate and computationally less expensive than the three-stage TVD R…
▽ More
We develop new numerical schemes for Vlasov--Poisson equations with high-order accuracy. Our methods are based on a spatially monotonicity-preserving (MP) scheme and are modified suitably so that positivity of the distribution function is also preserved. We adopt an efficient semi-Lagrangian time integration scheme that is more accurate and computationally less expensive than the three-stage TVD Runge-Kutta integration. We apply our spatially fifth- and seventh-order schemes to a suite of simulations of collisionless self-gravitating systems and electrostatic plasma simulations, including linear and nonlinear Landau dam** in one dimension and Vlasov--Poisson simulations in a six-dimensional phase space. The high-order schemes achieve a significantly improved accuracy in comparison with the third-order positive-flux-conserved scheme adopted in our previous study. With the semi-Lagrangian time integration, the computational cost of our high-order schemes does not significantly increase, but remains roughly the same as that of the third-order scheme. Vlasov--Poisson simulations on $128^3 \times 128^3$ mesh grids have been successfully performed on a massively parallel computer.
△ Less
Submitted 31 October, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
ALMA Deep Field in SSA22: Blindly Detected CO Emitters and [CII] Emitter Candidates
Authors:
N. H. Hayatsu,
Y. Matsuda,
H. Umehata,
N. Yoshida,
I. Smail,
A. M. Swinbank,
R. Ivison,
K. Kohno,
Y. Tamura,
M. Kubo,
D. Iono,
B. Hatsukade,
K. Nakanishi,
R. Kawabe,
T. Nagao,
A. K. Inoue,
T. T. Takeuchi,
M. Lee,
Y. Ao,
S. Fujimoto,
T. Izumi,
Y. Yamaguchi,
S. Ikarashi,
T. Yamada
Abstract:
We report the identification of four millimeter line emitting galaxies with the Atacama Large Milli/submillimeter Array (ALMA) in SSA22 Field (ADF22). We analyze the ALMA 1.1 mm survey data, with an effective survey area of 5 arcmin$^2$, a frequency range of 253.1--256.8 and 269.1--272.8 GHz, angular resolution of 0".7 and RMS noise of 0.8 mJy beam$^{-1}$ at 36 km s$^{-1}$ velocity resolution. We…
▽ More
We report the identification of four millimeter line emitting galaxies with the Atacama Large Milli/submillimeter Array (ALMA) in SSA22 Field (ADF22). We analyze the ALMA 1.1 mm survey data, with an effective survey area of 5 arcmin$^2$, a frequency range of 253.1--256.8 and 269.1--272.8 GHz, angular resolution of 0".7 and RMS noise of 0.8 mJy beam$^{-1}$ at 36 km s$^{-1}$ velocity resolution. We detect four line emitter candidates with significance levels above $6 σ$. We identify one of the four sources as a CO(9-8) emitter at $z = 3.1$ in a member of the proto-cluster known in this field. Another line emitter with an optical counterpart is likely a CO(4-3) emitter at $z = 0.7$. The other two sources without any millimeter continuum or optical/near-infrared counterpart are likely to be [CII] emitter candidates at $z = 6.0$ and $6.5$. The equivalent widths of the [CII] candidates are consistent with those of confirmed high-redshift [CII] emitters and candidates, and are a factor of 10 times larger than that of the CO(9-8) emitter detected in this search. The [CII] luminosity of the candidates are $4-7 \times 10^8~\rm L_\odot$. The star formation rates (SFRs) of these sources are estimated to be $10-20~\rm M_{\odot}~yr^{-1}$ if we adopt an empirical [CII] luminosity - SFR relation. One of them has a relatively low-S/N ratio, but shows features characteristic of emission lines. Assuming that at least one of the two candidates is a [CII] emitter, we derive a lower limit of [CII]-based star formation rate density (SFRD) at $z~\sim~6$. The resulting value of $> 10^{-2}$ $\rm M_\odot yr^{-1} Mpc^{-3}$ is consistent with the dust-uncorrected UV-based SFRD. Future millimeter/submillimeter surveys can be used to detect a number of high redshift line emitters, with which to study the star formation history in the early Universe.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.
-
Large-scale clustering as a probe of the origin and the host environment of fast radio bursts
Authors:
Masato Shirasaki,
Kazumi Kashiyama,
Naoki Yoshida
Abstract:
We propose to use degree-scale angular clustering of fast radio bursts (FRBs) to identify their origin and the host galaxy population. We study the information content in autocorrelation of the angular positions and dispersion measures (DM) and in cross-correlation with galaxies. We show that the cross-correlation with Sloan Digital Sky Survey (SDSS) galaxies will place stringent constraints on th…
▽ More
We propose to use degree-scale angular clustering of fast radio bursts (FRBs) to identify their origin and the host galaxy population. We study the information content in autocorrelation of the angular positions and dispersion measures (DM) and in cross-correlation with galaxies. We show that the cross-correlation with Sloan Digital Sky Survey (SDSS) galaxies will place stringent constraints on the mean physical quantities associated with FRBs. If $\sim$10,000 FRBs are detected with $\lesssim \rm deg$ resolution in the SDSS field, the clustering analysis with the intrinsic DM scatter of $100\, {\rm pc}/{\rm cm}^3$ can constrain the global abundance of free electrons at $z\lt1$ and the large-scale bias of FRB host galaxies (the statistical relation between the distribution of host galaxies and cosmic matter density field) with fractional errors (with a $68\%$ confidence level) of $\sim10\%$ and $\sim20\%$, respectively. The mean near-source dispersion measure and the delay time distribution of FRB rates relative to the global star forming rate can be also determined by combining the clustering and the probability distribution function of DM. Our approach will be complementary to high-resolution ($\ll {\rm deg}$) event localization using e.g., VLA and VLBI for identifying the origin of FRBs and the source environment. We strongly encourage future observational programs such as CHIME, UTMOST, and HIRAX to survey FRBs in the SDSS field.
△ Less
Submitted 25 April, 2017; v1 submitted 22 February, 2017;
originally announced February 2017.
-
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Authors:
Julien Lange,
Nicholas Ng,
Bernardo Toninho,
Nobuko Yoshida
Abstract:
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) programmers to develop concurrent systems where components interact through communication more so than by lock-based shared memory concurrency. Go can only detect global deadlocks at runtime, but provides no compile-time protec…
▽ More
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) programmers to develop concurrent systems where components interact through communication more so than by lock-based shared memory concurrency. Go can only detect global deadlocks at runtime, but provides no compile-time protection against all too common communication mismatches or partial deadlocks. This work develops a static verification framework for liveness and safety in Go programs, able to detect communication errors and partial deadlocks in a general class of realistic concurrent programs, including those with dynamic channel creation, unbounded thread creation and recursion. Our approach infers from a Go program a faithful representation of its communication patterns as a behavioural type. By checking a syntactic restriction on channel usage, dubbed fencing, we ensure that programs are made up of finitely many different communication patterns that may be repeated infinitely many times. This restriction allows us to implement procedures to check for liveness and safety in types which in turn approximates liveness and safety in Go programs. We have implemented a type inference and liveness and safety checks in a tool-chain and tested it against publicly available Go programs.
Note: This is a revised extended version of a paper that appeared in POPL 2017, see page 13 for details.
△ Less
Submitted 28 February, 2017; v1 submitted 27 October, 2016;
originally announced October 2016.
-
On the Preciseness of Subty** in Session Types
Authors:
Tzu-chun Chen,
Mariangiola Dezani-Ciancaglini,
Alceste Scalas,
Nobuko Yoshida
Abstract:
Subty** in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subty** relations has been usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite of its usefulness to define the largest subty** relation ensuring type safety. This paper formali…
▽ More
Subty** in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subty** relations has been usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite of its usefulness to define the largest subty** relation ensuring type safety. This paper formalises preciseness (i.e. both soundness and completeness) of subty** for mobile processes and studies it for the synchronous and the asynchronous session calculi. We first prove that the well-known session subty**, the branching-selection subty**, is sound and complete for the synchronous calculus. Next we show that in the asynchronous calculus, this subty** is incomplete for type-safety: that is, there exist session types T and S such that
T can safely be considered as a subtype of S, but T < S is not derivable by the subty**. We then propose an asynchronous subty** system which is sound and complete for the asynchronous calculus. The method gives a general guidance to design rigorous channel-based subty**s respecting desired safety properties. Both the synchronous and the asynchronous calculus are first considered with lin ear channels only, and then they are extended with session initialisations and c ommunications of expressions (including shared channels).
△ Less
Submitted 29 June, 2017; v1 submitted 2 October, 2016;
originally announced October 2016.
-
Multiparty Session Actors
Authors:
Rumyana Neykova,
Nobuko Yoshida
Abstract:
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribble,…
▽ More
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing communication safety of the participating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for cooperative inter-concurrency in a single actor. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism. Benchmark results demonstrate that the runtime checks induce negligible overhead. We evaluate the applicability of our verification framework to specify actor interactions by implementing twelve examples from an actor benchmark suit.
△ Less
Submitted 28 March, 2017; v1 submitted 19 September, 2016;
originally announced September 2016.
-
The Final Fates of Accreting Supermassive Stars
Authors:
Hideyuki Umeda,
Takashi Hosokawa,
Kazuyuki Omukai,
Naoki Yoshida
Abstract:
The formation of supermassive stars (SMSs) via rapid mass accretion and their direct collapse into black holes (BHs) is a promising pathway for sowing seeds of supermassive BHs in the early universe. We calculate the evolution of rapidly accreting SMSs by solving the stellar structure equations including nuclear burning as well as general relativistic (GR) effects up to the onset of the collapse.…
▽ More
The formation of supermassive stars (SMSs) via rapid mass accretion and their direct collapse into black holes (BHs) is a promising pathway for sowing seeds of supermassive BHs in the early universe. We calculate the evolution of rapidly accreting SMSs by solving the stellar structure equations including nuclear burning as well as general relativistic (GR) effects up to the onset of the collapse. We find that such SMSs have less concentrated structure than fully-convective counterpart, which is often postulated for non-accreting ones. This effect stabilizes the stars against GR instability even above the classical upper mass limit $\gtrsim 10^5~M_\odot$ derived for the fully-convective stars. The accreting SMS begins to collapse at the higher mass with the higher accretion rate. The collapse occurs when the nuclear fuel is exhausted only for cases with $\dot M \lesssim 0.1~M_\odot~{\rm yr}^{-1}$. With $\dot{M} \simeq 0.3 - 1~M_\odot~{\rm yr}^{-1}$, the star becomes GR-unstable during the helium-burning stage at $M \simeq 2 - 3.5~\times 10^5~M_\odot$. In an extreme case with $10~M_\odot~{\rm yr}^{-1}$, the star does not collapse until the mass reaches $\simeq 8.0\times 10^5~M_\odot$, where it is still in the hydrogen-burning stage. We expect that BHs with roughly the same mass will be left behind after the collapse in all the cases.
△ Less
Submitted 7 October, 2016; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Machine-learning Selection of Optical Transients in Subaru/Hyper Suprime-Cam Survey
Authors:
Mikio Morii,
Shiro Ikeda,
Nozomu Tominaga,
Masaomi Tanaka,
Tomoki Morokuma,
Katsuhiko Ishiguro,
Junji Yamato,
Naonori Ueda,
Naotaka Suzuki,
Naoki Yasuda,
Naoki Yoshida
Abstract:
We present an application of machine-learning (ML) techniques to source selection in the optical transient survey data with Hyper Suprime-Cam (HSC) on the Subaru telescope. Our goal is to select real transient events accurately and in a timely manner out of a large number of false candidates, obtained with the standard difference-imaging method. We have developed the transient selector which is ba…
▽ More
We present an application of machine-learning (ML) techniques to source selection in the optical transient survey data with Hyper Suprime-Cam (HSC) on the Subaru telescope. Our goal is to select real transient events accurately and in a timely manner out of a large number of false candidates, obtained with the standard difference-imaging method. We have developed the transient selector which is based on majority voting of three ML machines of AUC Boosting, Random Forest, and Deep Neural Network. We applied it to our observing runs of Subaru-HSC in 2015 May and August, and proved it to be efficient in selecting optical transients. The false positive rate was 1.0% at the true positive rate of 90% in the magnitude range of 22.0--25.0 mag for the former data. For the latter run, we successfully detected and reported ten candidates of supernovae within the same day as the observation. From these runs, we learned the following lessons: (1) the training using artificial objects is effective in filtering out false candidates, especially for faint objects, and (2) combination of ML by majority voting is advantageous.
△ Less
Submitted 11 September, 2016;
originally announced September 2016.
-
High-precision quadrupole moment reveals significant intruder component in 33Al20 ground state
Authors:
H. Heylen,
M. De Rydt,
G. Neyens,
M. L. Bissell,
L. Caceres,
R. Chevrier,
J. M. Daugas,
Y. Ichikawa,
Y. Ishibashi,
O. Kamalou,
T. J. Mertzimekis,
P. Morel,
J. Papuga,
A. Poves,
M. M. Rajabali,
C. Stodel,
J. C. Thomas,
H. Ueno,
Y. Utsuno,
N. Yoshida,
A. Yoshimi
Abstract:
The electric quadrupole moment of the 33Al20 ground state, located at the border of the island of inversion, was obtained using continuous-beam beta-detected nuclear quadrupole resonance (beta-NQR). From the measured quadrupole coupling constant Q = 2.31(4) MHz in an alpha-Al2O3 crystal, a precise value for the electric quadrupole moment is extracted: Qs= 141(3) mb. A comparison with large-scale s…
▽ More
The electric quadrupole moment of the 33Al20 ground state, located at the border of the island of inversion, was obtained using continuous-beam beta-detected nuclear quadrupole resonance (beta-NQR). From the measured quadrupole coupling constant Q = 2.31(4) MHz in an alpha-Al2O3 crystal, a precise value for the electric quadrupole moment is extracted: Qs= 141(3) mb. A comparison with large-scale shell model calculations shows that 33Al has at least 50% intruder configurations in the ground state wave function, favoring the excitation of two neutrons across the N = 20 shell gap. 33Al therefore clearly marks the gradual transition north of the deformed Na and Mg nuclei towards the normal Z>14 isotopes.
△ Less
Submitted 15 August, 2016;
originally announced August 2016.
-
Cosmological constraints on dark matter annihilation and decay: Cross-correlation analysis of the extragalactic $γ$-ray background and cosmic shear
Authors:
Masato Shirasaki,
Oscar Macias,
Shunsaku Horiuchi,
Satoshi Shirai,
Naoki Yoshida
Abstract:
We derive constraints on dark matter (DM) annihilation cross section and decay lifetime from cross-correlation analyses of the data from Fermi-LAT and weak lensing surveys that cover a wide area of $\sim660$ squared degrees in total. We improve upon our previous analyses by using an updated extragalactic $γ$-ray background data reprocessed with the Fermi Pass 8 pipeline, and by using well-calibrat…
▽ More
We derive constraints on dark matter (DM) annihilation cross section and decay lifetime from cross-correlation analyses of the data from Fermi-LAT and weak lensing surveys that cover a wide area of $\sim660$ squared degrees in total. We improve upon our previous analyses by using an updated extragalactic $γ$-ray background data reprocessed with the Fermi Pass 8 pipeline, and by using well-calibrated shape measurements of about twelve million galaxies in the Canada-France-Hawaii Lensing Survey (CFHTLenS) and Red-Cluster-Sequence Lensing Survey (RCSLenS). We generate a large set of full-sky mock catalogs from cosmological $N$-body simulations and use them to estimate statistical errors accurately. The measured cross correlation is consistent with null detection, which is then used to place strong cosmological constraints on annihilating and decaying DM. For leptophilic DM, the constraints are improved by a factor of $\sim100$ in the mass range of O(1) TeV when including contributions from secondary $γ$ rays due to the inverse-Compton upscattering of background photons. Annihilation cross-sections of $\langle σv \rangle \sim 10^{-23}\, {\rm cm}^3/{\rm s}$ are excluded for TeV-scale DM depending on channel. Lifetimes of $\sim 10^{25}$ sec are also excluded for the decaying TeV-scale DM. Finally, we apply this analysis to wino DM and exclude the wino mass around 200 GeV. These constraints will be further tightened, and all the interesting wino DM parameter region can be tested, by using data from future wide-field cosmology surveys.
△ Less
Submitted 27 September, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
On Reward Function for Survival
Authors:
Naoto Yoshida
Abstract:
Obtaining a survival strategy (policy) is one of the fundamental problems of biological agents. In this paper, we generalize the formulation of previous research related to the survival of an agent and we formulate the survival problem as a maximization of the multi-step survival probability in future time steps. We introduce a method for converting the maximization of multi-step survival probabil…
▽ More
Obtaining a survival strategy (policy) is one of the fundamental problems of biological agents. In this paper, we generalize the formulation of previous research related to the survival of an agent and we formulate the survival problem as a maximization of the multi-step survival probability in future time steps. We introduce a method for converting the maximization of multi-step survival probability into a classical reinforcement learning problem. Using this conversion, the reward function (negative temporal cost function) is expressed as the log of the temporal survival probability. And we show that the objective function of the reinforcement learning in this sense is proportional to the variational lower bound of the original problem. Finally, We empirically demonstrate that the agent learns survival behavior by using the reward function introduced in this paper.
△ Less
Submitted 24 July, 2016; v1 submitted 18 June, 2016;
originally announced June 2016.
-
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Authors:
Dominic Orchard,
Nobuko Yoshida
Abstract:
PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The N…
▽ More
PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The Netherlands. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of develo** software for systems in which concurrency and communication are intrinsic aspects. This includes software for both multi-core systems and large-scale distributed and/or service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms. This volume consists of the papers accepted for presentation at the workshop.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
Detection of an oxygen emission line from a high redshift galaxy in the reionization epoch
Authors:
Akio K. Inoue,
Yoichi Tamura,
Hiroshi Matsuo,
Ken Mawatari,
Ikkoh Shimizu,
Takatoshi Shibuya,
Kazuaki Ota,
Naoki Yoshida,
Erik Zackrisson,
Nobunari Kashikawa,
Kotaro Kohno,
Hideki Umehata,
Bunyo Hatsukade,
Masanori Iye,
Yuichi Matsuda,
Takashi Okamoto,
Yuki Yamaguchi
Abstract:
The physical properties and elemental abundances of the interstellar medium in galaxies during cosmic reionization are important for understanding the role of galaxies in this process. We report the Atacama Large Millimeter/submillimeter Array detection of an oxygen emission line at a wavelength of 88 micrometers from a galaxy at an epoch about 700 million years after the Big Bang. The oxygen abun…
▽ More
The physical properties and elemental abundances of the interstellar medium in galaxies during cosmic reionization are important for understanding the role of galaxies in this process. We report the Atacama Large Millimeter/submillimeter Array detection of an oxygen emission line at a wavelength of 88 micrometers from a galaxy at an epoch about 700 million years after the Big Bang. The oxygen abundance of this galaxy is estimated at about one-tenth that of the Sun. The non-detection of far-infrared continuum emission indicates a deficiency of interstellar dust in the galaxy. A carbon emission line at a wavelength of 158 micrometers is also not detected, implying an unusually small amount of neutral gas. These properties might allow ionizing photons to escape into the intergalactic medium.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
Optical nano artifact metrics using silicon random nanostructures
Authors:
Tsutomu Matsumoto,
Naoki Yoshida,
Shumpei Nishio,
Morihisa Hoga,
Yasuyuki Ohyagi,
Naoya Tate,
Makoto Naruse
Abstract:
Nano artifact metrics exploit unique physical attributes of nanostructured matter for authentication and clone resistance, which is vitally important in the age of Internet-of-Things where securing identities is critical. However, high-cost and huge experimental apparatuses, such as scanning electron microscopy, have been required in the former studies. Herein, we demonstrate an optical approach t…
▽ More
Nano artifact metrics exploit unique physical attributes of nanostructured matter for authentication and clone resistance, which is vitally important in the age of Internet-of-Things where securing identities is critical. However, high-cost and huge experimental apparatuses, such as scanning electron microscopy, have been required in the former studies. Herein, we demonstrate an optical approach to characterise the nanoscale-precision signatures of silicon random structures towards realising low-cost and high-value information security technology. Unique and versatile silicon nanostructures are generated via resist collapse phenomena, which contains dimensions that are well below the diffraction limit of light. We exploit the nanoscale precision ability of confocal laser microscopy in the height dimension, and our experimental results demonstrate that the vertical precision of measurement is essential in satisfying the performances required for artifact metrics. Furthermore, by using state-of-the-art nanostructuring technology, we experimentally fabricate clones from the genuine devices. We demonstrate that the statistical properties of the genuine and clone devices are successfully exploited, showing that the liveness-detection-type approach, which is widely deployed in biometrics, is valid in artificially-constructed solid-state nanostructures. These findings pave the way for reasonable and yet sufficiently secure novel principles for information security based on silicon random nanostructures and optical technologies.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Effects of electrically charged dark matter on cosmic microwave background anisotropies
Authors:
Ayuki Kamada,
Kazunori Kohri,
Tomo Takahashi,
Naoki Yoshida
Abstract:
We examine the possibility that dark matter consists of charged massive particles (CHAMPs) in view of the cosmic microwave background (CMB) anisotropies. The evolution of cosmological perturbations of CHAMP with other components is followed in a self-consistent manner, without assuming that CHAMP and baryons are tightly coupled. We incorporate for the first time the "kinetic re-coupling" of the Co…
▽ More
We examine the possibility that dark matter consists of charged massive particles (CHAMPs) in view of the cosmic microwave background (CMB) anisotropies. The evolution of cosmological perturbations of CHAMP with other components is followed in a self-consistent manner, without assuming that CHAMP and baryons are tightly coupled. We incorporate for the first time the "kinetic re-coupling" of the Coulomb scattering, which is characteristic of heavy CHAMPs. By a direct comparison of the predicted CMB temperature/polarization auto-correlations in CHAMP models and the observed spectra in the Planck mission, we show that CHAMPs leave sizable effects on CMB spectra if they are lighter than $10^{11}\,{\rm GeV}$. Our result can be applicable to any CHAMP as long as its lifetime is much longer than the cosmic time at the recombination ($\sim 4 \times 10^{5}\, {\rm yr}$). An application to millicharged particles is also discussed.
△ Less
Submitted 4 January, 2017; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Cosmological Simulations of Early Blackhole Formation: Halo Mergers, Tidal Disruption, and the Conditions for Direct Collapse
Authors:
Sunmyon Chon,
Shingo Hirano,
Takashi Hosokawa,
Naoki Yoshida
Abstract:
Gravitational collapse of a massive primordial gas cloud is thought to be a promising path for the formation of supermassive blackholes in the early universe. We study conditions for the so-called direct collapse (DC) blackhole formation in a fully cosmological context. We combine a semianalytic model of early galaxy formation with halo merger trees constructed from dark matter $N$-body simulation…
▽ More
Gravitational collapse of a massive primordial gas cloud is thought to be a promising path for the formation of supermassive blackholes in the early universe. We study conditions for the so-called direct collapse (DC) blackhole formation in a fully cosmological context. We combine a semianalytic model of early galaxy formation with halo merger trees constructed from dark matter $N$-body simulations. We locate a total of 68 possible DC sites in a volume of $20\;h^{-1}\;\mathrm{Mpc}$ on a side. We then perform hydrodynamics simulations for 42 selected halos to study in detail the evolution of the massive clouds within them. We find only two successful cases where the gas clouds rapidly collapse to form stars. In the other cases, gravitational collapse is prevented by the tidal force exerted by a nearby massive halo, which otherwise should serve as a radiation source necessary for DC. Ram pressure strip** disturbs the cloud approaching the source. In many cases, a DC halo and its nearby light source halo merge before the onset of cloud collapse. Only when the DC halo is assembled through major mergers, the gas density increases rapidly to trigger gravitational instability. Based on our cosmological simulations, we conclude that the event rate of DC is an order of magnitude smaller than reported in previous studies, although the absolute rate is still poorly constrained. It is necessary to follow the dynamical evolution of a DC cloud and its nearby halo(s) in order to determine the critical radiation flux for DC.
△ Less
Submitted 21 November, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Eigenanalysis of morphological diversity in silicon random nanostructures formed via resist collapse
Authors:
Makoto Naruse,
Morihisa Hoga,
Yasuyuki Ohyagi,
Shumpei Nishio,
Naoya Tate,
Naoki Yoshida,
Tsutomu Matsumoto
Abstract:
This paper demonstrates eigenanalysis to quantitatively reveal the diversity and capacity of identities offered by the morphological diversity in silicon nanostructures formed via random collapse of resist. The analysis suggests that approximately 10^115 possible identities are provided per 0.18-um^2 area of nanostructures, indicating that nanoscale morphological signatures will be extremely usefu…
▽ More
This paper demonstrates eigenanalysis to quantitatively reveal the diversity and capacity of identities offered by the morphological diversity in silicon nanostructures formed via random collapse of resist. The analysis suggests that approximately 10^115 possible identities are provided per 0.18-um^2 area of nanostructures, indicating that nanoscale morphological signatures will be extremely useful for future information security applications where securing identities is critical. The eigenanalysis provides an intuitive physical picture and quantitative characterization of the diversity of structural fluctuations while unifying measurement stability concerns, which will be widely applicable to other materials, devices, and system architectures.
△ Less
Submitted 11 April, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
Matter Power Spectrum in Hidden Neutrino Interacting Dark Matter Models: A Closer Look at the Collision Term
Authors:
Tobias Binder,
Laura Covi,
Ayuki Kamada,
Hitoshi Murayama,
Tomo Takahashi,
Naoki Yoshida
Abstract:
Dark Matter (DM) models providing possible alternative solutions to the small- scale crisis of standard cosmology are nowadays of growing interest. We consider DM interacting with light hidden fermions via well motivated fundamental operators showing the resultant matter power spectrum is suppressed on subgalactic scales within a plausible parameter region. Our basic description of the evolution o…
▽ More
Dark Matter (DM) models providing possible alternative solutions to the small- scale crisis of standard cosmology are nowadays of growing interest. We consider DM interacting with light hidden fermions via well motivated fundamental operators showing the resultant matter power spectrum is suppressed on subgalactic scales within a plausible parameter region. Our basic description of the evolution of cosmological perturbations relies on a fully consistent first principles derivation of a perturbed Fokker-Planck type equation, generalizing existing literature. The cosmological perturbation of the Fokker-Planck equation is presented for the first time in two different gauges, where the results transform into each other according to the rules of gauge transformation. Furthermore, our focus lies on a derivation of a broadly applicable and easily computable collision term showing important phenomenological differences to other existing approximations. As one of the main results and concerning the small-scale crisis, we show the equal importance of vector and scalar boson mediated interactions between DM and light fermions.
△ Less
Submitted 24 November, 2016; v1 submitted 24 February, 2016;
originally announced February 2016.
-
The Hydrodynamic Feedback of Cosmic Reionization on Small-Scale Structures and Its Impact on Photon Consumption during the Epoch of Reionization
Authors:
Hyunbae Park,
Paul R. Shapiro,
Jun-hwan Choi,
Naoki Yoshida,
Shingo Hirano,
Kyung** Ahn
Abstract:
Density inhomogeneity in the intergalactic medium (IGM) can boost the recombination rate of ionized gas substantially, affecting the growth of HII regions during reionization. Previous attempts to quantify this effect typically failed to resolve down to the Jeans scale in the pre-ionization IGM, which is important in establishing this effect, along with the hydrodynamical back-reaction of reioniza…
▽ More
Density inhomogeneity in the intergalactic medium (IGM) can boost the recombination rate of ionized gas substantially, affecting the growth of HII regions during reionization. Previous attempts to quantify this effect typically failed to resolve down to the Jeans scale in the pre-ionization IGM, which is important in establishing this effect, along with the hydrodynamical back-reaction of reionization on it. Towards that end, we perform a set of fully-coupled, radiation-hydrodynamics simulations from cosmological initial conditions, extending the mass resolution of previous work to the scale of minihalos. Pre-reionization structure is evolved until a redshift $z_i$ at which the ionizing radiation from external sources arrives to sweep an R-type ionization front supersonically across the volume in a few Myr, until it is trapped on the surfaces of minihalos and converted to D-type, after which the minihalo gas is removed by photoevaporative winds. Small-scale density structures during this time lead to a high ($>$10) clum** factor for ionized gas, which hugely boosts the recombination rate until the structures are disrupted by the hydrodynamic feedback after $\sim 10-100~\rm{Myr}$. For incoming stellar radiation with intensity $J_{21}$ in a $200~h^{-1}~\rm{kpc}$ box with the mean density contrast $\barδ$, the number of extra recombinations per H atom, on top of what is expected from homogeneously distributed gas, is given by $0.32[J_{21}]^{0.12}[(1+z_i)/11]^{-1.7}[1+\barδ]^{2.5}$. In models in which most of the volume is ionized toward the end of reionization, this can add more than one recombination per H atom to the ionizing photon budget to achieve reionization.
△ Less
Submitted 17 October, 2016; v1 submitted 20 February, 2016;
originally announced February 2016.