Showing 1–50 of 74 results for author: Kawai, T

Quasi-likelihood ratio test for jump-diffusion processes based on adaptive maximum likelihood inference

Authors: Hiromasa Nishikawa, Tetsuya Kawai, Masayuki Uchida

Abstract: In this paper, we consider parameter estimation and quasi-likelihood ratio tests for multidimensional jump-diffusion processes defined by stochastic differential equations. In general, simultaneous estimation faces challenges such as an increase of computational time for optimization and instability of estimation accuracy as the dimensionality of parameters grows. To address these issues, we propo… ▽ More In this paper, we consider parameter estimation and quasi-likelihood ratio tests for multidimensional jump-diffusion processes defined by stochastic differential equations. In general, simultaneous estimation faces challenges such as an increase of computational time for optimization and instability of estimation accuracy as the dimensionality of parameters grows. To address these issues, we propose an adaptive quasi-log likelihood function based on the joint quasi-log likelihood function introduced by Shimizu and Yoshida (2003, 2006) and Ogihara and Yoshida (2011). We then show that the resulting adaptive estimators possess consistency and asymptotic normality. Furthermore, we extend the joint quasi-log likelihood function proposed by Shimizu and Yoshida (2003, 2006) and Ogihara and Yoshida (2011) and construct a test statistic using the proposed adaptive estimators. We prove that the proposed test statistic converges in distribution to a $χ^2$-distribution under the null hypothesis and that the associated test is consistent. Finally, we conduct numerical simulations using a specific jump-diffusion process model to examine the asymptotic behavior of the proposed adaptive estimators and test statistics. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 83 pages, 4 figures

Modeling Language for Scenario Development of Autonomous Driving Systems

Authors: Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida

Abstract: Autonomous driving systems are typically verified based on scenarios. To represent the positions and movements of cars in these scenarios, diagrams that utilize icons are typically employed. However, the interpretation of such diagrams is typically ambiguous, which can lead to misunderstandings among users, making them unsuitable for the development of high-reliability systems. To address this iss… ▽ More Autonomous driving systems are typically verified based on scenarios. To represent the positions and movements of cars in these scenarios, diagrams that utilize icons are typically employed. However, the interpretation of such diagrams is typically ambiguous, which can lead to misunderstandings among users, making them unsuitable for the development of high-reliability systems. To address this issue, this study introduces a notation called the car position diagram (CPD). The CPD allows for the concise representation of numerous scenarios and is particularly suitable for scenario analysis and design. In addition, we propose a method for converting CPD-based models into propositional logic formulas and enumerating all scenarios using a SAT solver. A tool for scenario enumeration is implemented, and experiments are conducted on both typical car behaviors and international standards. The results demonstrate that the CPD enables the concise description of numerous scenarios, thereby confirming the effectiveness of our scenario analysis method. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Extranatural Warped Inflation

Authors: Toshiki Kawai, Yoshiharu Kawamura

Abstract: We investigate whether inflation in the early universe can be induced by an extra component of a five-dimensional ${\rm U(1)}$ gauge field in the Randall-Sundrum warped spacetime or not. We show that an effective potential obtained by quantum corrections can act as an inflaton potential by finding parameter regions consistent with Planck 2018 results. In our model, fields involved in inflation obe… ▽ More We investigate whether inflation in the early universe can be induced by an extra component of a five-dimensional ${\rm U(1)}$ gauge field in the Randall-Sundrum warped spacetime or not. We show that an effective potential obtained by quantum corrections can act as an inflaton potential by finding parameter regions consistent with Planck 2018 results. In our model, fields involved in inflation obey a different type of boundary condition from that of the visible particles, and a surviving Wilson line phase can play a specific role for physics beyond the standard model. △ Less

Submitted 25 April, 2024; v1 submitted 3 March, 2024; originally announced March 2024.

Comments: There are insufficient contents in subsection 2.3, and the analysis in section 3 should be modified

Emergence and Function of Abstract Representations in Self-Supervised Transformers

Authors: Quentin RV. Ferry, Joshua Ching, Takashi Kawai

Abstract: Human intelligence relies in part on our brains' ability to create abstract mental models that succinctly capture the hidden blueprint of our reality. Such abstract world models notably allow us to rapidly navigate novel situations by generalizing prior knowledge, a trait deep learning systems have historically struggled to replicate. However, the recent shift from supervised to self-supervised ob… ▽ More Human intelligence relies in part on our brains' ability to create abstract mental models that succinctly capture the hidden blueprint of our reality. Such abstract world models notably allow us to rapidly navigate novel situations by generalizing prior knowledge, a trait deep learning systems have historically struggled to replicate. However, the recent shift from supervised to self-supervised objectives, combined with expressive transformer-based architectures, have yielded powerful foundation models that appear to learn versatile representations that can support a wide range of downstream tasks. This promising development raises the intriguing possibility of such models developing in silico abstract world models. We test this hypothesis by studying the inner workings of small-scale transformers trained to reconstruct partially masked visual scenes generated from a simple blueprint. We show that the network develops intermediate abstract representations, or abstractions, that encode all semantic features of the dataset. These abstractions manifest as low-dimensional manifolds where the embeddings of semantically related tokens transiently converge, thus allowing for the generalization of downstream computations. Using precise manipulation experiments, we demonstrate that abstractions are central to the network's decision-making process. Our research also suggests that these abstractions are compositionally structured, exhibiting features like contextual independence and part-whole relationships that mirror the compositional nature of the dataset. Finally, we introduce a Language-Enhanced Architecture (LEA) designed to encourage the network to articulate its computations. We find that LEA develops an abstraction-centric language that can be easily interpreted, allowing us to more readily access and steer the network's decision-making process. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Adaptive inference for small diffusion processes based on sampled data

Authors: Tetsuya Kawai, Masayuki Uchida

Abstract: We consider parametric estimation and tests for multi-dimensional diffusion processes with a small dispersion parameter $\varepsilon$ from discrete observations. For parametric estimation of diffusion processes, the main target is to estimate the drift parameter and the diffusion parameter. In this paper, we propose two types of adaptive estimators for both parameters and show their asymptotic pro… ▽ More We consider parametric estimation and tests for multi-dimensional diffusion processes with a small dispersion parameter $\varepsilon$ from discrete observations. For parametric estimation of diffusion processes, the main target is to estimate the drift parameter and the diffusion parameter. In this paper, we propose two types of adaptive estimators for both parameters and show their asymptotic properties under $\varepsilon\to0$, $n\to\infty$ and the balance condition that $(\varepsilon n^ρ)^{-1} =O(1)$ for some $ρ>0$. Using these adaptive estimators, we also introduce consistent adaptive testing methods and prove that test statistics for adaptive tests have asymptotic distributions under null hypothesis. In simulation studies, we examine and compare asymptotic behaviors of the two kinds of adaptive estimators and test statistics. Moreover, we treat the SIR model which describes a simple epidemic spread for a biological application. △ Less

Submitted 19 January, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 38 pages, 3 figures

Energy conversion rate of an active region transient brightening estimated by a spectroscopic observation of Hinode

Authors: Toshiki Kawai, Shinsuke Imada

Abstract: We statistically estimate the conversion rate of the energy released during an active-region transient brightening to Doppler motion and thermal and non-thermal energies. We used two types of datasets for the energy estimation and detection of transient brightenings. One includes spectroscopic images of Fe xiv, Fe xv, and Fe xvi lines observed by the Hinode/EUV Imaging Spectrometer. The other incl… ▽ More We statistically estimate the conversion rate of the energy released during an active-region transient brightening to Doppler motion and thermal and non-thermal energies. We used two types of datasets for the energy estimation and detection of transient brightenings. One includes spectroscopic images of Fe xiv, Fe xv, and Fe xvi lines observed by the Hinode/EUV Imaging Spectrometer. The other includes images obtained from the 211 Åchannel of the Solar Dynamics Observatory/Atmospheric Imaging Assembly (AIA). The observed active region was NOAA 11890 on November 09, 2013, and the day after that. As a result, the released Doppler motion and non-thermal energies were found to be approximately 0.1 \-- 1% and 10 \-- 100% of the change in the amount of thermal energy in each enhancement, respectively. Using this conversion rate, we estimated the contribution of the total energy flux of AIA transient brightenings to the active region heating to be at most 2% of the conduction and radiative losses. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: 13 pgaes, 10 figures, 2 tables, Accepted for publication in ApJ

Reflexive combinatory algebras

Authors: Marlou M. Gijzen, Hajime Ishihara, Tatsuji Kawai

Abstract: We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable counterpart of combinatory models. This new structure, called strongly reflexive combinatory algebra, admits a finite axiomatisation with seven closed equations, a… ▽ More We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable counterpart of combinatory models. This new structure, called strongly reflexive combinatory algebra, admits a finite axiomatisation with seven closed equations, and the structure is shown to be exactly the retract of combinatory models. Lambda algebras can be characterised as strongly reflexive combinatory algebras which are stable. Moreover, there is a canonical construction of a lambda algebra from a strongly reflexive combinatory algebra. The resulting axiomatisation of lambda algebras by the seven axioms for strong reflexivity together with those for stability is shown to correspond to the axiomatisation of lambda algebras due to Selinger [J.Funct.Programming, 12(6), 549--566, 2002]. △ Less

Submitted 30 June, 2022; v1 submitted 23 April, 2021; originally announced April 2021.

Comments: 25 pages

MSC Class: 03B40

Energy distribution of small-scale flares derived using genetic algorithm

Authors: Toshiki Kawai, Shinsuke Imada

Abstract: To understand the mechanism of coronal heating, it is crucial to derive the contribution of small-scale flares, the so-called nanoflares, to the heating up of the solar corona. To date, several studies have tried to derive the occurrence frequency distribution of flares as a function of energy to reveal the contribution of small-scale flares. However, there are no studies that derive the distribut… ▽ More To understand the mechanism of coronal heating, it is crucial to derive the contribution of small-scale flares, the so-called nanoflares, to the heating up of the solar corona. To date, several studies have tried to derive the occurrence frequency distribution of flares as a function of energy to reveal the contribution of small-scale flares. However, there are no studies that derive the distribution with considering the following conditions: (1) evolution of the coronal loop plasma heated by small-scale flares, (2) loops smaller than the spatial resolution of the observed image, and (3) multiwavelength observation. To take into account these conditions, we introduce a new method to analyze small-scale flares statistically based on a one-dimensional loop simulation and a machine learning technique, that is, genetic algorithm. First, we obtain six channels of SDO/AIA light curves of the active-region coronal loops. Second, we carry out many coronal loop simulations and obtain the SDO/AIA light curves for each simulation in a pseudo-manner. Third, using the genetic algorithm, we estimate the best combination of simulated light curves that reproduce the observation. Consequently, the observed coronal loops are heated by small-scale flares with energy flux larger than that typically required to heat up an active region intermittently. Moreover, we derive the occurrence frequency distribution which have various power-law indices in the range from 1 to 3, which partially supports the nanoflare heating model. In contrast, we find that $90\%$ of the coronal heating is done by flares that have energy larger than $10^{25}~\mathrm{erg}$. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 15 pages, 16 figures

Observation of Coulomb-assisted nuclear bound state of $Ξ^-$-$^{14}$N system

Authors: S. H. Hayakawa, K. Agari, J. K. Ahn, T. Akaishi, Y. Akazawa, S. Ashikaga, B. Bassalleck, S. Bleser, H. Ekawa, Y. Endo, Y. Fujikawa, N. Fujioka, M. Fujita, R. Goto, Y. Han, S. Hasegawa, T. Hashimoto, T. Hayakawa, E. Hayata, K. Hicks, E. Hirose, M. Hirose, R. Honda, K. Hoshino, S. Hoshino , et al. (73 additional authors not shown)

Abstract: In an emulsion-counter hybrid experiment performed at J-PARC, a $Ξ^-$ absorption event was observed which decayed into twin single-$Λ$ hypernuclei. Kinematic calculations enabled a unique identification of the reaction process as $Ξ^{-} + ^{14}$N$\ \rightarrow\ ^{10}_Λ$Be + $^5_Λ$He. For the binding energy of the $Ξ^{-}$ hyperon in the $Ξ^-$-$^{14}$N system a value of $1.27 \pm 0.21$ MeV was deduc… ▽ More In an emulsion-counter hybrid experiment performed at J-PARC, a $Ξ^-$ absorption event was observed which decayed into twin single-$Λ$ hypernuclei. Kinematic calculations enabled a unique identification of the reaction process as $Ξ^{-} + ^{14}$N$\ \rightarrow\ ^{10}_Λ$Be + $^5_Λ$He. For the binding energy of the $Ξ^{-}$ hyperon in the $Ξ^-$-$^{14}$N system a value of $1.27 \pm 0.21$ MeV was deduced. The energy level of $Ξ^-$ is likely a nuclear $1p$ state which indicates a weak $ΞN$-$ΛΛ$ coupling. △ Less

Submitted 27 January, 2021; v1 submitted 27 October, 2020; originally announced October 2020.

Journal ref: Phys. Rev. Lett. 126, 062501 (2021)

Adaptive testing method for ergodic diffusion processes based on high frequency data

Authors: Tetsuya Kawai, Masayuki Uchida

Abstract: We consider parametric tests for multidimensional ergodic diffusions based on high frequency data. We propose two-step testing method for diffusion parameters and drift parameters. To construct test statistics of the tests, we utilize the adaptive estimator and provide three types of test statistics: likelihood ratio type test, Wald type test and Rao's score type test. It is proved that these test… ▽ More We consider parametric tests for multidimensional ergodic diffusions based on high frequency data. We propose two-step testing method for diffusion parameters and drift parameters. To construct test statistics of the tests, we utilize the adaptive estimator and provide three types of test statistics: likelihood ratio type test, Wald type test and Rao's score type test. It is proved that these test statistics converge in distribution to the chi-squared distribution under null hypothesis and have consistency of the tests against alternatives. Moreover, these test statistics converge in distribution to the non-central chi-squared distribution under local alternatives. We also give some simulation studies of the behavior of the three types of test statistics. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 40 pages, 20 figures

Predicative theories of continuous lattices

Authors: Tatsuji Kawai

Abstract: We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the coalgebras of the lower powerlocale on the wider category of proximity posets (also known as abstract bases or R-structures). Moreover, locally compact locales… ▽ More We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the coalgebras of the lower powerlocale on the wider category of proximity posets (also known as abstract bases or R-structures). Moreover, locally compact locales can be characterised in terms of strong proximity join-semilattices by the coalgebras of the double powerlocale on the category of proximity posets. We also provide more logical characterisation of a strong proximity join-semilattice, called a strong continuous finitary cover, which uses an entailment relation to present the underlying join-semilattice. We show that this structure naturally corresponds to the notion of continuous lattice in the predicative point-free topology. Our result makes the predicative and finitary aspect of the notion of continuous lattice in point-free topology more explicit. △ Less

Submitted 26 May, 2021; v1 submitted 9 June, 2020; originally announced June 2020.

MSC Class: 06B35; 06D22; 03B70; 03F60 ACM Class: F.3.2

Journal ref: Logical Methods in Computer Science, Volume 17, Issue 2 (May 27, 2021) lmcs:6545

Nowcast of an EUV dynamic spectrum during solar flares

Authors: Toshiki Kawai, Shinsuke Imada, Shohei Nishimoto, Kyoko Watanabe, Tomoko Kawate

Abstract: In addition to X-rays, extreme ultraviolet (EUV) rays radiated from solar flares can cause serious problems, such as communication failures and satellite drag. Therefore, methods for forecasting EUV dynamic spectra during flares are urgently required. Recently, however, owing to the lack of instruments, EUV dynamic spectra have rarely been observed. Hence, we develop a new method that converts the… ▽ More In addition to X-rays, extreme ultraviolet (EUV) rays radiated from solar flares can cause serious problems, such as communication failures and satellite drag. Therefore, methods for forecasting EUV dynamic spectra during flares are urgently required. Recently, however, owing to the lack of instruments, EUV dynamic spectra have rarely been observed. Hence, we develop a new method that converts the soft X-ray light curve observed during large flare events into an EUV dynamic spectrum by using the Solar Dynamics Observatory / Atmospheric Imaging Assembly images, a numerical simulation, and atomic database. The simulation provides the solution for a coronal loop that is heated by a strong flare, and the atomic database calculates its dynamic spectrum, including X-ray and EUV irradiances. The coefficients needed for the conversion can be calculated by comparing the observed soft X-ray light curve with that of the simulation. We apply our new method to three flares that occurred in the active region 12673 on September 06, 2017. The results show similarities to those of the Flare Irradiance Spectral Model, and reconstruct some of the EUV peaks observed by the EUV Variability Experiment onboard the Solar Dynamics Observatory. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Degenerate states, emergent dynamics and fluid mixing by magnetic rotors

Authors: Takuma Kawai, Daiki Matsunaga, Fanlong Meng, Julia M. Yeomans, Ramin Golestanian

Abstract: We investigate the collective motion of magnetic rotors suspended in a viscous fluid under an uniform rotating magnetic field. The rotors are positioned on a square lattice, and low Reynolds hydrodynamics is assumed. For a $3 \times 3$ array of magnets, we observe three characteristic dynamical patterns as the external field strength is varied: a synchronized pattern, an oscillating pattern, and a… ▽ More We investigate the collective motion of magnetic rotors suspended in a viscous fluid under an uniform rotating magnetic field. The rotors are positioned on a square lattice, and low Reynolds hydrodynamics is assumed. For a $3 \times 3$ array of magnets, we observe three characteristic dynamical patterns as the external field strength is varied: a synchronized pattern, an oscillating pattern, and a chessboard pattern. The relative stability of these depends on the competition between the energy due to the external magnetic field and the energy of the magnetic dipole-dipole interactions among the rotors. We argue that the chessboard pattern can be understood as an alternation in the stability of two degenerate states, characterized by striped and spin-ice configurations, as the applied magnetic field rotates. For larger arrays, we observe propagation of slip waves that are similar to metachronal waves. The rotor arrays have potential as microfluidic devices that can mix fluids and create vortices of different sizes. △ Less

Submitted 10 March, 2020; originally announced March 2020.

Direction and symmetry transition of the vector order parameter in topological superconductors Cu$_x$Bi$_2$Se$_3$

Authors: T. Kawai, C. G. Wang, Y. Kandori, Y. Honoki, K. Matano, T. Kambe, Guo-qing Zheng

Abstract: Topological superconductors have attracted wide-spreading interests for the bright application perspectives to quantum computing. Cu$_{0.3}$Bi$_2$Se$_3$ is a rare bulk topological superconductor with an odd-parity wave function, but the details of the vector order parameter $\textbf{d}$ and its pinning mechanism are still unclear. We have succeeded in growing Cu$_x$Bi$_2$Se$_3$ single crystals wit… ▽ More Topological superconductors have attracted wide-spreading interests for the bright application perspectives to quantum computing. Cu$_{0.3}$Bi$_2$Se$_3$ is a rare bulk topological superconductor with an odd-parity wave function, but the details of the vector order parameter $\textbf{d}$ and its pinning mechanism are still unclear. We have succeeded in growing Cu$_x$Bi$_2$Se$_3$ single crystals with unprecedented high doping levels. For samples with $x$ = 0.28, 0.36 and 0.37 with similar carrier density as evidenced by Knight shift, the in-plane upper critical field $H_{\rm c2}$ shows a two-fold symmetry. However, the angle at which the $H_{\rm c2}$ becomes minimal is different by 90$^\circ$ among them, which indicates that the $\textbf{d}$-vector direction is different for each crystal likely due to a different local environment. The carrier density for $x$ = 0.46 and 0.54 increases substantially compared to $x\leq$ 0.37. Surprisingly, the in-plane $H_{\rm c2}$ anisotropy disappears, indicating that the gap symmetry undergoes a transition from nematic to isotropic (possibly chiral) as carrier increases. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: Nat. Commun. (in press)

Journal ref: Nature Communications 11, 235 (2020)

Decidable fan theorem and uniform continuity theorem with continuous moduli

Authors: Makoto Fujiwara, Tatsuji Kawai

Abstract: The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb [Ann. Pure Appl. Logic, 132(1):51-66, 2005] has shown that the two principles become equivalent with a suitable coding of "continuous functions" as type-one obj… ▽ More The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb [Ann. Pure Appl. Logic, 132(1):51-66, 2005] has shown that the two principles become equivalent with a suitable coding of "continuous functions" as type-one objects. The question remains whether DFT can be characterised by a weaker version of UCT using a natural subclass of pointwise continuous functions without such a coding. We show that when "pointwise continuous" is replaced with "having a continuous modulus", UCT becomes equivalent to DFT. We also show that this weakening of UCT is equivalent to a similar principle for real-valued functions on the Cantor space $\{0,1\}^{\mathbb{N}}$. These results extend Berger's characterisation of DFT by the similar principle for functions from $\{0,1\}^{\mathbb{N}}$ to $\mathbb{N}$, and unifies these characterisations of DFT in terms of functions having continuous moduli. Furthermore, we directly show that the continuous real-valued functions on the unit interval having continuous moduli are exactly those functions which admit the coding of "continuous functions" due to Loeb. Our result allows us to interpret her work in the usual context of mathematics. △ Less

Submitted 16 April, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: Updated introduction (33 pages)

MSC Class: 03F60; 26E40; 03F55; 03B30

Velocity Structure and Temperature Dependence of Extreme-Ultraviolet Jet Observed by Hinode

Authors: Toshiki Kawai, Natsuo Kanda, Shinsuke Imada

Abstract: The acceleration mechanism of EUV/X-ray jets is still unclear. For the most part, there are two candidates for the mechanism. One is magnetic reconnection, and the other is chromospheric evaporation. We observed a relatively compact X-ray jet that occurred between 10:50 - 11:10 UT on February 18, 2011 by using the Solar Dynamics Observatory/Atmospheric Imaging Assembly, and the X-ray Telescope, So… ▽ More The acceleration mechanism of EUV/X-ray jets is still unclear. For the most part, there are two candidates for the mechanism. One is magnetic reconnection, and the other is chromospheric evaporation. We observed a relatively compact X-ray jet that occurred between 10:50 - 11:10 UT on February 18, 2011 by using the Solar Dynamics Observatory/Atmospheric Imaging Assembly, and the X-ray Telescope, Solar Optical Telescope, and EUV Imaging Spectrometer aboard Hinode. Our results are as follows: 1) The EUV and X-ray observations show the general characteristics of X-ray jets, such as an arch structure straddling a polarity inversion line, a jet bright point shown at one side of the arch leg, and a spire above the arch. 2) The multi-wavelength observations and Ca II H-band image show the existence of a low-temperature (~10 000K) plasma (i.e., filament) at the center of the jet. 3) In the magnetogram and Ca II H-band image, the filament exists over the polarity inversion line and arch structure is also straddling it. In addition, magnetic cancellation occurs around the jet a few hours before and after the jet is observed. 4) The temperature distribution of the accelerated plasma, which was estimated from Doppler velocity maps, the calculated differential emission measure, and synthetic spectra show that there is no clear dependence between the plasma velocity and its temperature. For the third result above, observational results suggest that magnetic cancellation is probably related to the occurrence of the jet and filament formation. This result suggests that the trigger of the jet is magnetic cancellation rather than an emerging magnetic arch flux. The fourth result indicates that acceleration of the plasma accompanied by an X-ray jet seems to be caused by magnetic reconnection rather than chromospheric evaporation. △ Less

Submitted 23 April, 2019; originally announced April 2019.

Comments: 23 pages, 13 figures, submitted to Solar Physics

Final results for the neutron $β$-asymmetry parameter $A_0$ from the UCNA experiment

Authors: B. Plaster, E. Adamek, B. Allgeier, J. Anaya, H. O. Back, Y. Bagdasarova, D. B. Berguno, M. Blatnik, J. G. Boissevain, T. J. Bowles, L. J. Broussard, M. A. -P. Brown, R. Carr, D. J. Clark, S. Clayton, C. Cude-Woods, S. Currie, E. B. Dees, X. Ding, S. Du, B. W. Filippone, A. Garcia, P. Geltenbort, S. Hasan, A. Hawari , et al. (69 additional authors not shown)

Abstract: The UCNA experiment was designed to measure the neutron $β$-asymmetry parameter $A_0$ using polarized ultracold neutrons (UCN). UCN produced via downscattering in solid deuterium were polarized via transport through a 7 T magnetic field, and then directed to a 1 T solenoidal electron spectrometer, where the decay electrons were detected in electron detector packages located on the two ends of the… ▽ More The UCNA experiment was designed to measure the neutron $β$-asymmetry parameter $A_0$ using polarized ultracold neutrons (UCN). UCN produced via downscattering in solid deuterium were polarized via transport through a 7 T magnetic field, and then directed to a 1 T solenoidal electron spectrometer, where the decay electrons were detected in electron detector packages located on the two ends of the spectrometer. A value for $A_0$ was then extracted from the asymmetry in the numbers of counts in the two detector packages. We summarize all of the results from the UCNA experiment, obtained during run periods in 2007, 2008--2009, 2010, and 2011--2013, which ultimately culminated in a 0.67\% precision result for $A_0$. △ Less

Submitted 10 April, 2019; originally announced April 2019.

Comments: 6 pages, 7 figures, to appear in proceedings of the International Workshop on Particle Physics at Neutron Sources 2018

Equivalents of the finitary non-deterministic inductive definitions

Authors: Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto

Abstract: We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to… ▽ More We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID. △ Less

Submitted 22 June, 2019; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: Corrected some typographical errors

MSC Class: 03E70; 03F50; 54A05; 06D22

Revisiting Kunitomo's Sunspot Drawings during 1835-1836 in Japan

Authors: Masashi Fujiyama, Hisashi Hayakawa, Tomoya Iju, Toshiki Kawai, Shin Toriumi, Kenichi Otsuji, Katsuya Kondo, Yusaku Watanabe, Satoshi Nozawa, Shinsuke Imada

Abstract: We revisit the sunspot drawings made by the Japanese astronomer Kunitomo Toubei during 1835-1836 and recount the sunspot group number for each image. There are two series of drawings, preliminary (P, containing 17 days with observations) and summary (S, covering 156 days with observations), all made using brush and ink. S is a compilation of drawings for the period from February 1835, to March 183… ▽ More We revisit the sunspot drawings made by the Japanese astronomer Kunitomo Toubei during 1835-1836 and recount the sunspot group number for each image. There are two series of drawings, preliminary (P, containing 17 days with observations) and summary (S, covering 156 days with observations), all made using brush and ink. S is a compilation of drawings for the period from February 1835, to March 1836. Presently, the P drawings are available only for one month, September 1835; those of other periods have presumably been lost. Another drawing (I) lets us recover the raw group count (RGC) for 25 September 1836, on which the RGC has not been registered in the existing catalogs. We also revise the RGCs from P and S using the Zurich classification and determine that Kunitomo's results tend to yield smaller RGCs than those of other contemporary observers. In addition, we find that Kunitomo's RGCs and spot areas have a correlation (0.71) that is not very different from the contemporary observer Schwabe (0.82). Although Kunitomo's spot areas are much larger than those determined by Schwabe due to skill and instrument limitations, Kunitomo at least captured the growing trend of the spot activity in the early phase of the Solar Cycle 8. We also determine the solar rotation axis to estimate the accurate position (latitude and longitude) of the sunspot groups in Kunitomo's drawings. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: Main text 22 pages, reference 6 pages, 2 tables, and 12 figures. Figures with the original sunspot drawings are available only in the record version

Journal ref: Solar Physics, 2019

Representing definable functions of $\mathrm{HA}^ω$ by neighbourhood functions

Authors: Tatsuji Kawai

Abstract: Brouwer (1927) claimed that every function from the Baire space to natural numbers is induced by a neighbourhood function whose domain admits bar induction. We show that Brouwer's claim is provable in Heyting arithmetic in all finite types ($\mathrm{HA}^ω$) for definable functions of the system. The proof does not rely on elaborate proof theoretic methods such as normalisation or ordinal analysis.… ▽ More Brouwer (1927) claimed that every function from the Baire space to natural numbers is induced by a neighbourhood function whose domain admits bar induction. We show that Brouwer's claim is provable in Heyting arithmetic in all finite types ($\mathrm{HA}^ω$) for definable functions of the system. The proof does not rely on elaborate proof theoretic methods such as normalisation or ordinal analysis. Instead, we internalise in $\mathrm{HA}^ω$ the dialogue tree interpretation of Gödel's system T due to Escardó (2013). The interpretation determines a syntactic translation of terms, which yields a neighbourhood function from a closed term of $\mathrm{HA}^ω$ with the required property. As applications of this result, we prove some well-known properties of $\mathrm{HA}^ω$: uniform continuity of definable functions from $\mathbb{N}^{\mathbb{N}}$ to $\mathbb{N}$ on the Cantor space; closure under the rule of bar induction; and closure of bar recursion for the lowest type with a definable stopping function. △ Less

Submitted 11 May, 2019; v1 submitted 31 January, 2019; originally announced January 2019.

Comments: 20 pages. Remark 1.1 added

MSC Class: 03F55; 03F50; 03F10; 03D65

Factorizing the Top-Loc adjunction through positive topologies

Authors: Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Abstract: We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the newly… ▽ More We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the newly constructed adjunction. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Presenting de Groot duality of stably compact spaces

Authors: Tatsuji Kawai

Abstract: We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous entailment relation, which can be thought of as a presentation of a strong proximity lattice by generators and relations. The new notion allows us to identify de Gro… ▽ More We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous entailment relation, which can be thought of as a presentation of a strong proximity lattice by generators and relations. The new notion allows us to identify de Groot duals of stably compact spaces by analysing the duals of their presentations. We carry out a number of constructions on strong proximity lattices using strong continuous entailment relations and study their de Groot duals. The examples include various powerlocales, patch topology, and the space of valuations. These examples illustrate the simplicity of our approach by which we can reason about the de Groot duality of stably compact spaces. △ Less

Submitted 8 March, 2020; v1 submitted 16 December, 2018; originally announced December 2018.

Comments: Fixed some typos

MSC Class: 06B35; 06D22; 03B70; 03F60

Observation of a Be double-Lambda hypernucleus in the J-PARC E07 experiment

Authors: H. Ekawa, K. Agari, J. K. Ahn, T. Akaishi, Y. Akazawa, S. Ashikaga, B. Bassalleck, S. Bleser, Y. Endo, Y. Fujikawa, N. Fujioka, M. Fujita, R. Goto, Y. Han, S. Hasegawa, T. Hashimoto, S. H. Hayakawa, T. Hayakawa, E. Hayata, K. Hicks, E. Hirose, M. Hirose, R. Honda, K. Hoshino, S. Hoshino , et al. (78 additional authors not shown)

Abstract: A double-$Λ$ hypernucleus, ${}_{ΛΛ}\mathrm{Be}$, was observed by the J-PARC E07 collaboration in nuclear emulsions tagged by the $(K^{-},K^{+})$ reaction. This event was interpreted as a production and decay of $ {}_{ΛΛ}^{\;10}\mathrm{Be}$, ${}_{ΛΛ}^{\;11}\mathrm{Be}$, or ${}_{ΛΛ}^{\;12}\mathrm{Be}^{*}$ via $Ξ^{-}$ capture in ${}^{16}\mathrm{O}$. By assuming the capture in the atomic 3D state, the… ▽ More A double-$Λ$ hypernucleus, ${}_{ΛΛ}\mathrm{Be}$, was observed by the J-PARC E07 collaboration in nuclear emulsions tagged by the $(K^{-},K^{+})$ reaction. This event was interpreted as a production and decay of $ {}_{ΛΛ}^{\;10}\mathrm{Be}$, ${}_{ΛΛ}^{\;11}\mathrm{Be}$, or ${}_{ΛΛ}^{\;12}\mathrm{Be}^{*}$ via $Ξ^{-}$ capture in ${}^{16}\mathrm{O}$. By assuming the capture in the atomic 3D state, the binding energy of two $Λ$ hyperons$\,$($B_{ΛΛ}$) of these double-$Λ$ hypernuclei are obtained to be $15.05 \pm 0.11\,\mathrm{MeV}$, $19.07 \pm 0.11\,\mathrm{MeV}$, and $13.68 \pm 0.11\,\mathrm{MeV}$, respectively. Based on the kinematic fitting, ${}_{ΛΛ}^{\;11}\mathrm{Be}$ is the most likely explanation for the observed event. △ Less

Submitted 27 February, 2019; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 11 pages, 3 figures

Journal ref: Prog. Theor. Exp. Phys. 2019, 021D02 (2019)

A continuity principle equivalent to the monotone $Π^{0}_{1}$ fan theorem

Authors: Tatsuji Kawai

Abstract: The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image." We show that this principle is equivalent to the fan theorem for monotone $Π^{0}_{1}$ bars. We work in the context of constructive reverse mathematics. The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image." We show that this principle is equivalent to the fan theorem for monotone $Π^{0}_{1}$ bars. We work in the context of constructive reverse mathematics. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 13 pages

MSC Class: 03F60; 03F55; 03B30; 26E40

Principles of bar induction and continuity on Baire space

Authors: Tatsuji Kawai

Abstract: Brouwer-operations, also known as inductively defined neighbourhood functions, provide a good notion of continuity on Baire space which naturally extends that of uniform continuity on Cantor space. In this paper, we introduce a continuity principle for Baire space which says that every pointwise continuous function from Baire space to the set of natural numbers is induced by a Brouwer-operation. W… ▽ More Brouwer-operations, also known as inductively defined neighbourhood functions, provide a good notion of continuity on Baire space which naturally extends that of uniform continuity on Cantor space. In this paper, we introduce a continuity principle for Baire space which says that every pointwise continuous function from Baire space to the set of natural numbers is induced by a Brouwer-operation. Working in Bishop constructive mathematics, we show that the above principle is equivalent to a version of bar induction whose strength is between that of the monotone bar induction and the decidable bar induction. We also show that the monotone bar induction and the decidable bar induction can be characterised by similar principles of continuity. Moreover, we show that the $Π^{0}_{1}$ bar induction in general implies LLPO (the lesser limited principle of omniscience). This, together with a fact that the $Σ^{0}_{1}$ bar induction implies LPO (the limited principle of omniscience), shows that an intuitionistically acceptable form of bar induction requires the bar to be monotone. △ Less

Submitted 13 August, 2018; originally announced August 2018.

MSC Class: 03F60; 03F55; 03F03

Sunspot Drawings by Japanese Official Astronomers in 1749-1750

Authors: Hisashi Hayakawa, Kiyomi Iwahashi, Masashi Fujiyama, Toshiki Kawai, Shin Toriumi, Hideyuki Hotta, Haruhisa Iijima, Shinsuke Imada, Harufumi Tamazawa, Kazunari Shibata

Abstract: Sunspot observations with telescopes in 18th century were carried out in Japan as well. One of these sunspot observations is recorded in an account called Sansaizusetsu narabini Kansei irai Jissoku Zusetsu (Charts of Three Worlds and Diagrams of Actual Observations since Kansei Era). We analyze manuscripts of this account to show in total 15 sunspot drawings in 1749-1750. These observations were c… ▽ More Sunspot observations with telescopes in 18th century were carried out in Japan as well. One of these sunspot observations is recorded in an account called Sansaizusetsu narabini Kansei irai Jissoku Zusetsu (Charts of Three Worlds and Diagrams of Actual Observations since Kansei Era). We analyze manuscripts of this account to show in total 15 sunspot drawings in 1749-1750. These observations were carried out by contemporary official astronomers in Japan, with telescopes covered by zongurasus (< zonglas in Dutch, corresponding to "sunglass" in English). We count their group number of sunspots to locate them in long-term solar activity and show that their observations were situated around the solar maximum in 1749 or 1750. We also computed their locations and areas, while we have to admit the difference of variant manuscripts with one another. These observational records show the spread of sunspot observations not only in Europe but also in Japan and hence may contribute to crosscheck or possibly improve the known sunspot indices. △ Less

Submitted 23 April, 2018; originally announced April 2018.

Comments: 2018/4/12 accepted for publication in PASJ

The principle of pointfree continuity

Authors: Tatsuji Kawai, Giovanni Sambin

Abstract: In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuity. An operation between points of pointfree topologies is continuous if it is induced by a relation between the bases of the topologies; this gives a rigorous condition for Brouwer's continuity principle to hold. The pri… ▽ More In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuity. An operation between points of pointfree topologies is continuous if it is induced by a relation between the bases of the topologies; this gives a rigorous condition for Brouwer's continuity principle to hold. The principle of pointfree continuity for pointfree topologies $\mathcal{S}$ and $\mathcal{T}$ says that any relation which induces a continuous operation between points is a morphism from $\mathcal{S}$ to $\mathcal{T}$. The principle holds under the assumption of bi-spatiality of $\mathcal{S}$. When $\mathcal{S}$ is the formal Baire space or the formal unit interval and $\mathcal{T}$ is the formal topology of natural numbers, the principle is equivalent to spatiality of the formal Baire space and formal unit interval, respectively. Some of the well-known connections between spatiality, bar induction, and compactness of the unit interval are recast in terms of our principle of continuity. We adopt the Minimalist Foundation as our constructive foundation, and positive topology as the notion of pointfree topology. This allows us to distinguish ideal objects from constructive ones, and in particular, to interpret choice sequences as points of the formal Baire space. △ Less

Submitted 4 March, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

MSC Class: 03F55; 06D22

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 5, 2019) lmcs:4280

Formally continuous functions on Baire space

Authors: Tatsuji Kawai

Abstract: A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a function… ▽ More A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a function uniformly continuous near every compact image. We show that formal continuity is equivalent to the former while it is strictly stronger than the latter. △ Less

Submitted 24 October, 2017; originally announced October 2017.

Comments: 13 pages

MSC Class: 03F60; 03F55; 06D22

Geometric theories of patch and Lawson topologies

Authors: Tatsuji Kawai

Abstract: We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theory… ▽ More We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theory whose models are the located subsets of the given lattice. We also give a predicative presentation of the frame of perfect nuclei on a stably locally compact formal topology, and show that it is essentially the same as our geometric presentation of the patch topology. Moreover, the construction of Lawson topologies naturally induces a monad on the category of compact regular formal topologies, which is shown to be isomorphic to the Vietoris monad. △ Less

Submitted 18 July, 2017; originally announced September 2017.

Comments: 37 pages

MSC Class: 06B35; 03F60; 54B20; 06D22

On the commutativity of the powerspace constructions

Authors: Matthew de Brecht, Tatsuji Kawai

Abstract: We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish s… ▽ More We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction. △ Less

Submitted 7 August, 2019; v1 submitted 18 September, 2017; originally announced September 2017.

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 8, 2019) lmcs:3945

Stretching-induced conductance variations as fingerprints of contact configurations in single-molecule junctions

Authors: Yong-Hoon Kim, Hu Sung Kim, Juho Lee, Makusu Tsutsui, Tomoji Kawai

Abstract: Molecule-electrode contact atomic structures are a critical factor that characterizes molecular devices, but their precise understanding and control still remain elusive. Based on combined first-principles calculations and single-molecule break junction experiments, we herein establish that the conductance of alkanedithiolate junctions can both increase and decrease with mechanical stretching and… ▽ More Molecule-electrode contact atomic structures are a critical factor that characterizes molecular devices, but their precise understanding and control still remain elusive. Based on combined first-principles calculations and single-molecule break junction experiments, we herein establish that the conductance of alkanedithiolate junctions can both increase and decrease with mechanical stretching and the specific trend is determined by the S-Au linkage coordination number (CN) or the molecule-electrode contact atomic structure. Specifically, we find that the mechanical pulling results in the conductance increase for the junctions based on S-Au CN two and CN three contacts, while the conductance is minimally affected by stretching for junctions with the CN one contact and decreases upon the formation of Au monoatomic chains. Detailed analysis unravels the mechanisms involving the competition between the stretching-induced upshift of the highest occupied molecular orbital-related states toward the Fermi level of electrodes and the deterioration of molecule-electrode electronic couplings in different contact CN cases. Moreover, we experimentally find a higher chance to observe the conductance enhancement mode under a faster elongation speed, which is explained by ab initio molecular dynamics simulations that reveal an important role of thermal fluctuations in aiding deformations of contacts into low-coordination configurations that include monoatomic Au chains. Pointing out the insufficiency in previous notions of associating peak values in conductance histograms with specific contact atomic structures, this work resolves the controversy on the origins of ubiquitous multiple conductance peaks in S-Au-based single-molecule junctions. △ Less

Submitted 24 May, 2017; originally announced May 2017.

Comments: 11 pages, 4 figures; to be published in J. Am. Chem. Soc

Journal ref: J. Am. Chem. Soc. 139, 8286 (2017)

Localic completion of uniform spaces

Authors: Tatsuji Kawai

Abstract: We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a generalised metric on X is a map from the product of X to the upper reals satisfying zero self-distance law and triangle inequality. For a symmetric generali… ▽ More We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a generalised metric on X is a map from the product of X to the upper reals satisfying zero self-distance law and triangle inequality. For a symmetric generalised uniform space, the localic completion lifts its generalised uniform structure to a point-free generalised uniform structure. This point-free structure induces a complete generalised uniform structure on the set of formal points of the localic completion that gives the standard completion of the original gus with Cauchy filters. We extend the localic completion to a full and faithful functor from the category of locally compact uniform spaces into that of overt locally compact completely regular formal topologies. Moreover, we give an elementary characterisation of the cover of the localic completion of a locally compact uniform space that simplifies the existing characterisation for metric spaces. These results generalise the corresponding results for metric spaces by Erik Palmgren. Furthermore, we show that the localic completion of a symmetric gus is equivalent to the point-free completion of the uniform formal topology associated with the gus. We work in Aczel's constructive set theory CZF with the Regular Extension Axiom. Some of our results also require Countable Choice. △ Less

Submitted 12 September, 2017; v1 submitted 7 March, 2017; originally announced March 2017.

Comments: 39 pages

MSC Class: 03F60; 06D22; 54E45; 54E15

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 13, 2017) lmcs:3926

Electrochemical response of biased nanoelectrodes in solution

Authors: Kentaro Doi, Makusu Tsutsui, Takahito Ohshiro, Chih-Chun Chien, Michael Zwolak, Masateru Taniguchi, Tomoji Kawai, Satoyuki Kawano, Massimiliano Di Ventra

Abstract: Novel approaches to DNA sequencing and detection require the measurement of electrical currents between metal probes immersed in ionic solution. Here, we experimentally demonstrate that these systems maintain large background currents with a transient response that decays very slowly in time and noise that increases with ionic concentration. Using a non-equilibrium stochastic model, we obtain an a… ▽ More Novel approaches to DNA sequencing and detection require the measurement of electrical currents between metal probes immersed in ionic solution. Here, we experimentally demonstrate that these systems maintain large background currents with a transient response that decays very slowly in time and noise that increases with ionic concentration. Using a non-equilibrium stochastic model, we obtain an analytical expression for the ionic current that shows these results are due to a fast electrochemical reaction at the electrode surface followed by the slow formation of a diffusion layer. During the latter, ions translocate in the weak electric field generated after the initial rapid screening of the strong fields near the electrode surfaces. Our theoretical results are in very good agreement with experimental findings. △ Less

Submitted 13 February, 2013; originally announced February 2013.

Report number: LA-UR-13-20328

Bilayer Graphene Lateral Contacts for DNA Sequencing

Authors: Yuhui He, Makusu Tsutsui, Ralph H. Scheicher, Masateru Taniguchi, Tomoji Kawai

Abstract: Translocation of DNA through a nanopore with embedded electrodes is at the centre of new rapid inexpensive sequencing methods which allow distinguishing the four nucleobases by their different electronic structure. However, the subnanometer separation between nucleotides in DNA requires ultra-sharp probes. Here, we propose a device architecture consisting of a nanopore formed in bilayer graphene,… ▽ More Translocation of DNA through a nanopore with embedded electrodes is at the centre of new rapid inexpensive sequencing methods which allow distinguishing the four nucleobases by their different electronic structure. However, the subnanometer separation between nucleotides in DNA requires ultra-sharp probes. Here, we propose a device architecture consisting of a nanopore formed in bilayer graphene, with the two layers acting as separate electrical contacts. The 0.34 nm interlayer distance of graphene is ideally suited for electrical coupling to a single nucleobase, avoiding the difficulty of fabricating probes with subnanometer precision. The top and bottom graphene electrodes contact the target molecule from the same lateral side, removing the orders-of-magnitude tunneling current variations between smaller pyrimidine bases and larger purine bases. We demonstrate that incorporating techniques for molecular manipulation enables the proposed device to sequence single-stranded DNA and that it offers even the prospect of sequencing double-stranded DNA. △ Less

Submitted 19 June, 2012; originally announced June 2012.

Comments: 4 figures

Mechanically-Induced Transport Switching Effect in Graphene-based Nanojunctions

Authors: T. Kawai, M. Poetschke, Y. Miyamoto, C. G. Rocha, S. Roche, G. Cuniberti

Abstract: We report a theoretical study suggesting a novel type of electronic switching effect, driven by the geometrical reconstruction of nanoscale graphene-based junctions. We considered junction struc- tures which have alternative metastable configurations transformed by rotations of local carbon dimers. The use of external mechanical strain allows a control of the energy barrier heights of the potentia… ▽ More We report a theoretical study suggesting a novel type of electronic switching effect, driven by the geometrical reconstruction of nanoscale graphene-based junctions. We considered junction struc- tures which have alternative metastable configurations transformed by rotations of local carbon dimers. The use of external mechanical strain allows a control of the energy barrier heights of the potential profiles and also changes the reaction character from endothermic to exothermic or vice-versa. The reshaping of the atomic details of the junction encode binary electronic ON or OFF states, with ON/OFF transmission ratio that can reach up to 10^4-10^5. Our results suggest the possibility to design modern logical switching devices or mechanophore sensors, monitored by mechanical strain and structural rearrangements. △ Less

Submitted 23 February, 2011; v1 submitted 22 February, 2011; originally announced February 2011.

Comments: 10 pages, 4 figures

Indication of antiferromagnetic interaction between paramagnetic Co ions in the diluted magnetic semiconductor Zn$_{1-x}$Co$_{x}$O

Authors: M. Kobayashi, Y. Ishida, J. I. Hwang, Y. Osafune, A. Fujimori, Y. Takeda, T. Okane, Y. Saitoh, K. Kobayashi, H. Saeki, T. Kawai, H. Tabata

Abstract: The magnetic properties of Zn$_{1-x}$Co$_x$O ($x=0.07$ and 0.10) thin films, which were homo-epitaxially grown on a ZnO(0001) substrates with varying relatively high oxygen pressure, have been investigated using x-ray magnetic circular dichroism (XMCD) at Co $2p$ core-level absorption edge. The line shapes of the absorption spectra are the same in all the films and indicate that the Co$^{2+}$ io… ▽ More The magnetic properties of Zn$_{1-x}$Co$_x$O ($x=0.07$ and 0.10) thin films, which were homo-epitaxially grown on a ZnO(0001) substrates with varying relatively high oxygen pressure, have been investigated using x-ray magnetic circular dichroism (XMCD) at Co $2p$ core-level absorption edge. The line shapes of the absorption spectra are the same in all the films and indicate that the Co$^{2+}$ ions substitute for the Zn sites. The magnetic-field and temperature dependences of the XMCD intensity are consistent with the magnetization measurements, indicating that except for Co there are no additional sources for the magnetic moment, and demonstrate the coexistence of paramagnetic and ferromagnetic components in the homo-epitaxial Zn$_{1-x}$Co$_{x}$O thin films, in contrast to the ferromagnetism in the hetero-epitaxial Zn$_{1-x}$Co$_{x}$O films studied previously. The analysis of the XMCD intensities using the Curie-Weiss law reveals the presence of antiferromagnetic interaction between the paramagnetic Co ions. Missing XMCD intensities and magnetization signals indicate that most of Co ions are non-magnetic probably because they are strongly coupled antiferromagnetically with each other. Annealing in a high vacuum reduces both the paramagnetic and ferromagnetic signals. We attribute the reductions to thermal diffusion and aggregation of Co ions with antiferromagnetic nanoclusters in Zn$_{1-x}$Co$_{x}$O. △ Less

Submitted 5 January, 2010; originally announced January 2010.

Comments: 21 pages, 7 figures, accepted for Physical Review B

Journal ref: Phys. Rev. B 81, 075204 (2010) [7 pages]

Twisted Elliptic Genera of N=2 SCFTs in Two Dimensions

Authors: Toshiya Kawai

Abstract: The elliptic genera of two-dimensional N=2 superconformal field theories can be twisted by the action of the integral Heisenberg group if their U(1) charges are fractional. The basic properties of the resulting twisted elliptic genera and the associated twisted Witten indices are investigated with due attention to their behaviors in orbifoldization. Our findings are illustrated by and applied to… ▽ More The elliptic genera of two-dimensional N=2 superconformal field theories can be twisted by the action of the integral Heisenberg group if their U(1) charges are fractional. The basic properties of the resulting twisted elliptic genera and the associated twisted Witten indices are investigated with due attention to their behaviors in orbifoldization. Our findings are illustrated by and applied to several concrete examples. We give a better understanding of the duality phenomenon observed long before for certain Landau-Ginzburg models. We revisit and prove an old conjecture of Witten which states that every ADE Landau-Ginzburg model and the corresponding minimal model share the same elliptic genus. Mathematically, we establish ADE generalizations of the quintuple product identity. △ Less

Submitted 12 September, 2009; v1 submitted 10 September, 2009; originally announced September 2009.

Comments: 28 pages; v2 refs added

Abelian Vortices on Nodal and Cuspidal Curves

Authors: Toshiya Kawai

Abstract: We compute the Euler characteristics of the moduli spaces of abelian vortices on curves with nodal and cuspidal singularities. This generalizes our previous work where only nodes were taken into account. The result we obtain is again consistent with the expected reconciliation between the vortex picture of D2-D0 branes and the proposal by Gopakumar and Vafa. We compute the Euler characteristics of the moduli spaces of abelian vortices on curves with nodal and cuspidal singularities. This generalizes our previous work where only nodes were taken into account. The result we obtain is again consistent with the expected reconciliation between the vortex picture of D2-D0 branes and the proposal by Gopakumar and Vafa. △ Less

Submitted 10 September, 2009; originally announced September 2009.

Comments: 6 pages

Journal ref: JHEP 0911:111,2009

Cooperative Dynamics of an Artificial Stochastic Resonant System

Authors: Yasushi Hotta, Teruo Kanki, Naoki Asakawa, Hitoshi Tabata, Tomoji Kawai

Abstract: We have investigated cooperative dynamics of an artificial stochastic resonant system, which is a recurrent ring connection of neuron-like signal transducers (NST) based on stochastic resonance (SR), using electronic circuit experiments. The ring showed quasi-periodic, tunable oscillation driven by only noise. An oscillation coherently amplified by noise demonstrated that SR may lead to unusual… ▽ More We have investigated cooperative dynamics of an artificial stochastic resonant system, which is a recurrent ring connection of neuron-like signal transducers (NST) based on stochastic resonance (SR), using electronic circuit experiments. The ring showed quasi-periodic, tunable oscillation driven by only noise. An oscillation coherently amplified by noise demonstrated that SR may lead to unusual oscillation features. Furthermore, we found that the ring showed synchronized oscillation in a chain network composed of multiple rings. Our results suggest that basic functions (oscillation and synchronization) that may be used in the central pattern generator of biological system are induced by collective integration of the NST element. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 13 pages, 4 figures

Journal ref: Appl. Phys. Express 1, 088002 (2008)

A noise-driven attractor switching device

Authors: Naoki Asakawa, Yasushi Hotta, Teruo Kanki, Hitoshi Tabata, Tomoji Kawai

Abstract: Problems with artificial neural networks originate from their deterministic nature and inevitable prior learnings, resulting in inadequate adaptability against unpredictable, abrupt environmental change. Here we show that a stochastically excitable threshold unit can be utilized by these systems to partially overcome the environmental change. Using an excitable threshold system, attractors were… ▽ More Problems with artificial neural networks originate from their deterministic nature and inevitable prior learnings, resulting in inadequate adaptability against unpredictable, abrupt environmental change. Here we show that a stochastically excitable threshold unit can be utilized by these systems to partially overcome the environmental change. Using an excitable threshold system, attractors were created that represent quasi-equilibrium states into which a system settles until disrupted by environmental change. Furthermore, noise-driven attractor stabilization and switching were embodied by inhibitory connections. Noise works as a power source to stabilize and switch attractors, and endows the system with hysteresis behavior that resembles that of stereopsis and binocular rivalry in the human visual cortex. A canonical model of the ring network with inhibitory connections composed of class 1 neurons also shows properties that are similar to the simple threshold system. △ Less

Submitted 19 January, 2009; originally announced January 2009.

Comments: 9 pages, 2 tables, and 6 figures. will appear in Phy.Rev.E, vol.79, issue 1

Photoemission and x-ray absorption studies of valence states in (Ni,Zn,Fe,Ti)$_{3}$O$_{4}$ thin films exhibiting photo-induced magnetization

Authors: M. Kobayashi, Y. Ooki, M. Takizawa, G. S. Song, A. Fujimori, Y. Takeda, K. Terai, T. Okane, S. -I. Fujimori, Y. Saitoh, H. Yamagami, M. Seki, T. Kawai, H. Tabata

Abstract: By means of photoemission and x-ray absorption spectroscopy, we have studied the electronic structure of (Ni,Zn,Fe,Ti)$_{3}$O$_{4}$ thin films, which exhibits a cluster glass behavior with a spin-freezing temperature $T_f$ of $\sim 230$ K and photo-induced magnetization (PIM) below $T_f$. The Ni and Zn ions were found to be in the divalent states. Most of the Fe and Ti ions in the thin films wer… ▽ More By means of photoemission and x-ray absorption spectroscopy, we have studied the electronic structure of (Ni,Zn,Fe,Ti)$_{3}$O$_{4}$ thin films, which exhibits a cluster glass behavior with a spin-freezing temperature $T_f$ of $\sim 230$ K and photo-induced magnetization (PIM) below $T_f$. The Ni and Zn ions were found to be in the divalent states. Most of the Fe and Ti ions in the thin films were trivalent (Fe$^{3+}$) and tetravalent (Ti$^{4+}$), respectively. While Ti doping did not affect the valence states of the Ni and Zn ions, a small amount of Fe$^{2+}$ ions increased with Ti concentration, consistent with the proposed charge-transfer mechanism of PIM. △ Less

Submitted 15 November, 2007; originally announced November 2007.

Comments: 4 pages, 4 figures

Journal ref: Appl. Phys. Lett. 92, 082502 (2008)

The Far-Infrared Surveyor (FIS) for AKARI

Authors: Mitsunobu Kawada, Hajime Baba, Peter D. Barthel, David Clements, Martin Cohen, Yasuo Doi, Elysandra Figueredo, Mikio Fujiwara, Tomotsugu Goto, Sunao Hasegawa, Yasunori Hibi, Takanori Hirao, Norihisa Hiromoto, Woong-Seob Jeong, Hidehiro Kaneda, Toshihide Kawai, Akiko Kawamura, Do Kester, Tsuneo Kii, Hisato Kobayashi, Suk Minn Kwon, Hyung Mok Lee, Sin'itirou Makiuti, Hiroshi Matsuo, Shuji Matsuura , et al. (35 additional authors not shown)

Abstract: The Far-Infrared Surveyor (FIS) is one of two focal plane instruments on the AKARI satellite. FIS has four photometric bands at 65, 90, 140, and 160 um, and uses two kinds of array detectors. The FIS arrays and optics are designed to sweep the sky with high spatial resolution and redundancy. The actual scan width is more than eight arcmin, and the pixel pitch is matches the diffraction limit of… ▽ More The Far-Infrared Surveyor (FIS) is one of two focal plane instruments on the AKARI satellite. FIS has four photometric bands at 65, 90, 140, and 160 um, and uses two kinds of array detectors. The FIS arrays and optics are designed to sweep the sky with high spatial resolution and redundancy. The actual scan width is more than eight arcmin, and the pixel pitch is matches the diffraction limit of the telescope. Derived point spread functions (PSFs) from observations of asteroids are similar to the optical model. Significant excesses, however, are clearly seen around tails of the PSFs, whose contributions are about 30% of the total power. All FIS functions are operating well in orbit, and its performance meets the laboratory characterizations, except for the two longer wavelength bands, which are not performing as well as characterized. Furthermore, the FIS has a spectroscopic capability using a Fourier transform spectrometer (FTS). Because the FTS takes advantage of the optics and detectors of the photometer, it can simultaneously make a spectral map. This paper summarizes the in-flight technical and operational performance of the FIS. △ Less

Submitted 22 August, 2007; originally announced August 2007.

Comments: 23 pages, 10 figures, and 2 tables. Accepted for publication in the AKARI special issue of the Publications of the Astronomical Society of Japan

The Infrared Astronomical Mission AKARI

Authors: H. Murakami, H. Baba, P. Barthel, D. L. Clements, M. Cohen, Y. Doi, K. Enya, E. Figueredo, N. Fujishiro, H. Fujiwara, M. Fujiwara, P. Garcia-Lario, T. Goto, S. Hasegawa, Y. Hibi, T. Hirao, N. Hiromoto, S. S. Hong, K. Imai, M. Ishigaki, M. Ishiguro, D. Ishihara, Y. Ita, W. -S. Jeong, K. S. Jeong , et al. (68 additional authors not shown)

Abstract: AKARI, the first Japanese satellite dedicated to infrared astronomy, was launched on 2006 February 21, and started observations in May of the same year. AKARI has a 68.5 cm cooled telescope, together with two focal-plane instruments, which survey the sky in six wavelength bands from the mid- to far-infrared. The instruments also have the capability for imaging and spectroscopy in the wavelength… ▽ More AKARI, the first Japanese satellite dedicated to infrared astronomy, was launched on 2006 February 21, and started observations in May of the same year. AKARI has a 68.5 cm cooled telescope, together with two focal-plane instruments, which survey the sky in six wavelength bands from the mid- to far-infrared. The instruments also have the capability for imaging and spectroscopy in the wavelength range 2 - 180 micron in the pointed observation mode, occasionally inserted into the continuous survey operation. The in-orbit cryogen lifetime is expected to be one and a half years. The All-Sky Survey will cover more than 90 percent of the whole sky with higher spatial resolution and wider wavelength coverage than that of the previous IRAS all-sky survey. Point source catalogues of the All-Sky Survey will be released to the astronomical community. The pointed observations will be used for deep surveys of selected sky areas and systematic observations of important astronomical targets. These will become an additional future heritage of this mission. △ Less

Submitted 13 August, 2007; originally announced August 2007.

Comments: 13 pages, 4 figures, and 3 tables. Accepted for publication in the AKARI special issue of the Publications of the Astronomical Society of Japan

Journal ref: Publ.Astron.Soc.Jap.59:369-376,2007

Soft x-ray magnetic circular dichroism study of weakly ferromagnetic Zn$_{1-x}$V$_x$O thin film

Authors: Y. Ishida, J. I. Hwang, M. Kobayashi, Y. Takeda, K. Mamiya, J. Okamoto, S. -I. Fujimori, T. Okane, K. Terai, Y. Saitoh, Y. Muramatsu, A. Fujimori, A. Tanaka, H. Saeki, T. Kawai, H. Tabata

Abstract: We performed a soft x-ray magnetic circular dichroism (XMCD) study of a Zn$_{1-x}$V$_x$O thin film which showed small ferromagnetic moment. Field and temperature dependences of V 2$p$ XMCD signals indicated the coexistence of Curie-Weiss paramagnetic, antiferromagnetic, and possibly ferromagnetic V ions, quantitatively consistent with the magnetization measurements. We attribute the paramagnetic… ▽ More We performed a soft x-ray magnetic circular dichroism (XMCD) study of a Zn$_{1-x}$V$_x$O thin film which showed small ferromagnetic moment. Field and temperature dependences of V 2$p$ XMCD signals indicated the coexistence of Curie-Weiss paramagnetic, antiferromagnetic, and possibly ferromagnetic V ions, quantitatively consistent with the magnetization measurements. We attribute the paramagnetic signal to V ions substituting Zn sites which are somewhat elongated along the c-axis. △ Less

Submitted 7 September, 2006; originally announced September 2006.

Journal ref: Appl. Phys. Lett. 90, 022510 (2007)

Characterization of Magnetic Components in the Diluted Magnetic Semiconductor Zn$_{1-x}$Co$_x$O by X-ray Magnetic Circular Dichroism

Authors: M. Kobayashi, Y. Ishida, J. l. Hwang, T. Mizokawa, A. Fujimori, K. Mamiya, J. Okamoto, Y. Takeda, T. Okane, Y. Saitoh, Y. Muramatsu, A. Tanaka, H. Saeki, H. Tabata, T. Kawai

Abstract: We report on the results of x-ray absorption (XAS), x-ray magnetic circular dichroism (XMCD), and photoemission experiments on {\it n}-type Zn$_{1-x}$Co$_x$O ($x=0.05$) thin film, which shows ferromagnetism at room temperature. The XMCD spectra show a multiplet structure, characteristic of the Co$^{2+}$ ion tetrahedrally coordinated by oxygen, suggesting that the ferromagnetism comes from Co ion… ▽ More We report on the results of x-ray absorption (XAS), x-ray magnetic circular dichroism (XMCD), and photoemission experiments on {\it n}-type Zn$_{1-x}$Co$_x$O ($x=0.05$) thin film, which shows ferromagnetism at room temperature. The XMCD spectra show a multiplet structure, characteristic of the Co$^{2+}$ ion tetrahedrally coordinated by oxygen, suggesting that the ferromagnetism comes from Co ions substituting the Zn site in ZnO. The magnetic field and temperature dependences of the XMCD spectra imply that the non-ferromagnetic Co ions are strongly coupled antiferromagnetically with each other. △ Less

Submitted 16 May, 2005; originally announced May 2005.

Comments: 5pages, 4figures

Journal ref: Phys. Rev. B 72, 201201 (2005)

Electronic Structure of Strained Manganite Thin Films with Room Temperature Ferromagnetism Investigated by Hard X-ray Photoemission Spectroscopy

Authors: Hidekazu Tanaka, Yasutaka Takata, Koji Horiba, Munetaka Taguchi, Ashish Chainani, Shik Shin, Daigo Miwa, Kenji Tamasaku, Yoshinori Nishino, Tetsuya Ishikawa, Mitsuhiro Awaji, Akihisa Takeuchi, Tomoji Kawai, Keisuke Kobayashi

Abstract: We report the bulk sensitive Hard X-ray (hv=5.95keV) core level photoemission spectroscopy to investigate the intrinsic electronic structure of strained (La0.85Ba0.15)MnO3 thin films. In a 20nm thick well-strained film with strongly enhanced ferromagnetism, a new sharp satellite peak appeared at the low energy site of the Mn 2p3/2 main peak, whereas a broader signal was observed for the unstrain… ▽ More We report the bulk sensitive Hard X-ray (hv=5.95keV) core level photoemission spectroscopy to investigate the intrinsic electronic structure of strained (La0.85Ba0.15)MnO3 thin films. In a 20nm thick well-strained film with strongly enhanced ferromagnetism, a new sharp satellite peak appeared at the low energy site of the Mn 2p3/2 main peak, whereas a broader signal was observed for the unstrained film with 300nm thickness. Cluster calculations revealed that the intensity corresponded to the density of the state at the Fermi level relating to the magnitude of the ferromagnetic order. The satellite intensity also agreed quantitatively with the square of the magnetization. △ Less

Submitted 9 October, 2004; originally announced October 2004.

Comments: 11 pages, 4 figures

Virtual turning points and bifurcation of Stokes curves for higher order ordinary differential equations

Authors: Takashi Aoki, Takahiro Kawai, Shunsuke Sasaki, Akira Shudo, Yoshitsugu Takei

Abstract: For a higher order linear ordinary differential operator P, its Stokes curve bifurcates in general when it hits another turning point of P. This phenomenon is most neatly understandable by taking into account Stokes curves emanating from virtual turning points, together with those from ordinary turning points. This understanding of the bifurcation of a Stokes curve plays an important role in res… ▽ More For a higher order linear ordinary differential operator P, its Stokes curve bifurcates in general when it hits another turning point of P. This phenomenon is most neatly understandable by taking into account Stokes curves emanating from virtual turning points, together with those from ordinary turning points. This understanding of the bifurcation of a Stokes curve plays an important role in resolving a paradox recently found in the Noumi-Yamada system, a system of linear differential equations associated with the fourth Painleve equation. △ Less

Submitted 2 September, 2004; originally announced September 2004.

Comments: 7 pages, 4 figures

MSC Class: 34M60; 34M40; 34E20

Demonstration of a solid deuterium source of ultra-cold neutrons

Authors: A. Saunders, J. M. Anaya, T. J. Bowles, B. W. Filippone, P. Geltenbort, R. E. Hill, M. Hino, S. Hoedl, G. E. Hogan, T. M. Ito, K. W. Jones, T. Kawai, K. Kirch, S. K. Lamoreaux, C. -Y. Liu, M. Makela, L. J. Marek, J. W. Martin, C. L. Morris, R. N. Mortensen, A. Pichlmaier, S. J. Seestrom, A. Serebrov, D. Smith, W. Teasdale , et al. (4 additional authors not shown)

Abstract: Ultra-cold neutrons (UCN), neutrons with energies low enough to be confined by the Fermi potential in material bottles, are playing an increasing role in measurements of fundamental properties of the neutron. The ability to manipulate UCN with material guides and bottles, magnetic fields, and gravity can lead to experiments with lower systematic errors than have been obtained in experiments with… ▽ More Ultra-cold neutrons (UCN), neutrons with energies low enough to be confined by the Fermi potential in material bottles, are playing an increasing role in measurements of fundamental properties of the neutron. The ability to manipulate UCN with material guides and bottles, magnetic fields, and gravity can lead to experiments with lower systematic errors than have been obtained in experiments with cold neutron beams. The UCN densities provided by existing reactor sources limit these experiments. The promise of much higher densities from solid deuterium sources has led to proposed facilities coupled to both reactor and spallation neutron sources. In this paper we report on the performance of a prototype spallation neutron-driven solid deuterium source. This source produced bottled UCN densities of 145 +/-7 UCN/cm3, about three times greater than the largest bottled UCN densities previously reported. These results indicate that a production UCN source with substantially higher densities should be possible. △ Less

Submitted 18 December, 2003; originally announced December 2003.

Journal ref: Phys.Lett.B593:55-60,2004

String and Vortex

Authors: Toshiya Kawai

Abstract: We discuss how the geometry of $D2$-$D0$ branes may be related to Gromov-Witten theory of Calabi-Yau threefolds. We discuss how the geometry of $D2$-$D0$ branes may be related to Gromov-Witten theory of Calabi-Yau threefolds. △ Less

Submitted 4 February, 2004; v1 submitted 19 December, 2003; originally announced December 2003.

Comments: 31 pages

Journal ref: Publ.Res.Inst.Math.Sci.Kyoto 40 (2004) 1063-1091

Energy-Momentum and Angular Momentum Carried by Gravitational Waves in Extended New General Relativity

Authors: Eisaku Sakane, Toshiharu Kawai

Abstract: In an extended, new form of general relativity, which is a teleparallel theory of gravity, we examine the energy-momentum and angular momentum carried by gravitational wave radiated from Newtonian point masses in a weak-field approximation. The resulting wave form is identical to the corresponding wave form in general relativity, which is consistent with previous results in teleparallel theory.… ▽ More In an extended, new form of general relativity, which is a teleparallel theory of gravity, we examine the energy-momentum and angular momentum carried by gravitational wave radiated from Newtonian point masses in a weak-field approximation. The resulting wave form is identical to the corresponding wave form in general relativity, which is consistent with previous results in teleparallel theory. The expression for the dynamical energy-momentum density is identical to that for the canonical energy-momentum density in general relativity up to leading order terms on the boundary of a large sphere including the gravitational source, and the loss of dynamical energy-momentum, which is the generator of \emph{internal} translations, is the same as that of the canonical energy-momentum in general relativity. Under certain asymptotic conditions for a non-dynamical Higgs-type field $ψ^{k}$, the loss of ``spin'' angular momentum, which is the generator of \emph{internal} $SL(2,C)$ transformations, is the same as that of angular momentum in general relativity, and the losses of canonical energy-momentum and orbital angular momentum, which constitute the generator of Poincaré \emph{coordinate} transformations, are vanishing. The results indicate that our definitions of the dynamical energy-momentum and angular momentum densities in this extended new general relativity work well for gravitational wave radiations, and the extended new general relativity accounts for the Hulse-Taylor measurement of the pulsar PSR1913+16. △ Less

Submitted 30 September, 2002; originally announced September 2002.

Comments: 33 pages

Report number: OCU-PHYS-191

Journal ref: Prog.Theor.Phys. 108 (2002) 615-639