-
Deep Factor Model
Authors:
Kei Nakagawa,
Takumi Uchida,
Tomohisa Aoshima
Abstract:
We propose to represent a return model and risk model in a unified manner with deep learning, which is a representative model that can express a nonlinear relationship. Although deep learning performs quite well, it has significant disadvantages such as a lack of transparency and limitations to the interpretability of the prediction. This is prone to practical problems in terms of accountability.…
▽ More
We propose to represent a return model and risk model in a unified manner with deep learning, which is a representative model that can express a nonlinear relationship. Although deep learning performs quite well, it has significant disadvantages such as a lack of transparency and limitations to the interpretability of the prediction. This is prone to practical problems in terms of accountability. Thus, we construct a multifactor model by using interpretable deep learning. We implement deep learning as a return model to predict stock returns with various factors. Then, we present the application of layer-wise relevance propagation (LRP) to decompose attributes of the predicted return as a risk model. By applying LRP to an individual stock or a portfolio basis, we can determine which factor contributes to prediction. We call this model a deep factor model. We then perform an empirical analysis on the Japanese stock market and show that our deep factor model has better predictive capability than the traditional linear model or other machine learning methods. In addition , we illustrate which factor contributes to prediction.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Analysis for the Slow Convergence in Arimoto Algorithm
Authors:
Kenji Nakagawa,
Yoshinori Takei,
Kohei Watabe
Abstract:
In this paper, we investigate the convergence speed of the Arimoto algorithm. By analyzing the Taylor expansion of the defining function of the Arimoto algorithm, we will clarify the conditions for the exponential or $1/N$ order convergence and calculate the convergence speed. We show that the convergence speed of the $1/N$ order is evaluated by the derivatives of the Kullback-Leibler divergence w…
▽ More
In this paper, we investigate the convergence speed of the Arimoto algorithm. By analyzing the Taylor expansion of the defining function of the Arimoto algorithm, we will clarify the conditions for the exponential or $1/N$ order convergence and calculate the convergence speed. We show that the convergence speed of the $1/N$ order is evaluated by the derivatives of the Kullback-Leibler divergence with respect to the input probabilities. The analysis for the convergence of the $1/N$ order is new in this paper. Based on the analysis, we will compare the convergence speed of the Arimoto algorithm with the theoretical values obtained in our theorems for several channel matrices.
△ Less
Submitted 3 September, 2018;
originally announced September 2018.
-
SIMD Vectorization for the Lennard-Jones Potential with AVX2 and AVX-512 instructions
Authors:
Hiroshi Watanabe,
Koh M. Nakagawa
Abstract:
This work describes the SIMD vectorization of the force calculation of the Lennard-Jones potential with Intel AVX2 and AVX-512 instruction sets. Since the force-calculation kernel of the molecular dynamics method involves indirect access to memory, the data layout is one of the most important factors in vectorization. We find that the Array of Structures (AoS) with padding exhibits better performa…
▽ More
This work describes the SIMD vectorization of the force calculation of the Lennard-Jones potential with Intel AVX2 and AVX-512 instruction sets. Since the force-calculation kernel of the molecular dynamics method involves indirect access to memory, the data layout is one of the most important factors in vectorization. We find that the Array of Structures (AoS) with padding exhibits better performance than Structure of Arrays (SoA) with appropriate vectorization and optimizations. In particular, AoS with 512-bit width exhibits the best performance among the architectures. While the difference in performance between AoS and SoA is significant for the vectorization with AVX2, that with AVX-512 is minor. The effect of other optimization techniques, such as software pipelining together with vectorization, is also discussed. We present results for benchmarks on three CPU architectures: Intel Haswell (HSW), Knights Landing (KNL), and Skylake (SKL). The performance gains by vectorization are about 42\% on HSW compared with the code optimized without vectorization. On KNL, the hand-vectorized codes exhibit 34\% better performance than the codes vectorized automatically by the Intel compiler. On SKL, the code vectorized with AVX2 exhibits slightly better performance than that with vectorized AVX-512.
△ Less
Submitted 22 October, 2018; v1 submitted 13 June, 2018;
originally announced June 2018.
-
$\tilde{O}(n^{1/3})$-Space Algorithm for the Grid Graph Reachability Problem
Authors:
Ryo Ashida,
Kotaro Nakagawa
Abstract:
The directed graph reachability problem takes as input an $n$-vertex directed graph $G=(V,E)$, and two distinguished vertices $s$ and $t$. The problem is to determine whether there exists a path from $s$ to $t$ in $G$. This is a canonical complete problem for class NL. Asano et al. proposed an $\tilde{O}(\sqrt{n})$ space and polynomial time algorithm for the directed grid and planar graph reachabi…
▽ More
The directed graph reachability problem takes as input an $n$-vertex directed graph $G=(V,E)$, and two distinguished vertices $s$ and $t$. The problem is to determine whether there exists a path from $s$ to $t$ in $G$. This is a canonical complete problem for class NL. Asano et al. proposed an $\tilde{O}(\sqrt{n})$ space and polynomial time algorithm for the directed grid and planar graph reachability problem. The main result of this paper is to show that the directed graph reachability problem restricted to grid graphs can be solved in polynomial time using only $\tilde{O}(n^{1/3})$ space.
△ Less
Submitted 20 September, 2019; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Bilayer sheet protrusions and budding from bilayer membranes induced by hydrolysis and condensation reactions
Authors:
Koh M. Nakagawa,
Hiroshi Noguchi
Abstract:
Shape transformations of flat bilayer membranes and vesicles induced by hydrolysis and condensation reactions of amphiphilic molecules are studied using coarse-grained molecular dynamics simulations. The hydrolysis and condensation reactions result in the formation and dissociation of amphiphilic molecules, respectively. Asymmetric reactions between the inner and outer leaflets of a vesicle can tr…
▽ More
Shape transformations of flat bilayer membranes and vesicles induced by hydrolysis and condensation reactions of amphiphilic molecules are studied using coarse-grained molecular dynamics simulations. The hydrolysis and condensation reactions result in the formation and dissociation of amphiphilic molecules, respectively. Asymmetric reactions between the inner and outer leaflets of a vesicle can transport amphiphilic molecules between the leaflets. It is found that the resulting area difference between the two leaflets induces bilayer sheet protrusion~(BP) and budding at low reduced volumes of the vesicles, whereas BP only occurs at high reduced volumes. The probabilities of these two types of transformations depend on the shear viscosity of the surrounding fluids compared to the membrane as well as the reaction rates. A higher surrounding fluid viscosity leads to more BP formation. The inhomogeneous spatial distribution of the hydrophobic reaction products forms the nuclei of BP formation, and faster diffusion of the products enhances BP formation. Our results suggest that adjustment of the viscosity is important to control membrane shape transformations in experiments.
△ Less
Submitted 30 January, 2018; v1 submitted 26 November, 2017;
originally announced November 2017.
-
Linear dichroism in angle-resolved core-level photoemission spectra reflecting 4f ground-state symmetry of strongly correlated cubic Pr compounds
Authors:
Satoru Hamamoto,
Shuhei Fujioka,
Yuina Kanai,
Kohei Yamagami,
Yasuhiro Nakatani,
Koya Nakagawa,
Hidenori Fujiwara,
Takayuki Kiss,
Atsushi Higashiya,
Atsushi Yamasaki,
Toshiharu Kadono,
Shin Imada,
Arata Tanaka,
Kenji Tamasaku,
Makina Yabashi,
Tetsuya Ishikawa,
Keisuke T. Matsumoto,
Takahiro Onimaru,
Toshiro Takabatake,
Akira Sekiyama
Abstract:
We report experimentally observed linear dichroism in angle-resolved core-level photoemission spectra of PrIr2Zn20 and PrB6 in cubic symmetry. The different anisotropic 4f charge distributions between the compounds due to the crystalline-electric-field splitting are responsible for the difference in the linear dichroism, which has been verified by spectral simulations with the full multiplet theor…
▽ More
We report experimentally observed linear dichroism in angle-resolved core-level photoemission spectra of PrIr2Zn20 and PrB6 in cubic symmetry. The different anisotropic 4f charge distributions between the compounds due to the crystalline-electric-field splitting are responsible for the difference in the linear dichroism, which has been verified by spectral simulations with the full multiplet theory for a single-site Pr3+ ion in cubic symmetry. The observed linear dichroism and polarization-dependent spectra in two different photoelectron directions for PrIr2Zn20 are reproduced by theoretical analysis for the Gamma_3 ground state, whereas those of the Pr 3d and 4d core levels indicate the Gamma_5 ground state for PrB6.
△ Less
Submitted 29 September, 2018; v1 submitted 11 May, 2017;
originally announced May 2017.
-
Horizontal Product Differentiation in Varian's Model of Sales
Authors:
Kuninori Nakagawa
Abstract:
We consider the explicit introduction of firms' choice of location to Varian's model of sales for a two-stage spatial competition model based on a standard Hotelling's linear city model. This model is the formalization of Varian's model of sales in the context of Hotelling's spatial competition. We obtain three main results. First, we show that there exists a subgame perfect equilibrium in which e…
▽ More
We consider the explicit introduction of firms' choice of location to Varian's model of sales for a two-stage spatial competition model based on a standard Hotelling's linear city model. This model is the formalization of Varian's model of sales in the context of Hotelling's spatial competition. We obtain three main results. First, we show that there exists a subgame perfect equilibrium in which each firm chooses a symmetric mixed strategy equilibrium profile. This equilibrium includes symmetric location pairs and asymmetric location pairs. Second, the equilibrium behaviors in our model are randomized at both location and price stages. Third, we show that expected profits in a subgame perfect equilibrium are equal to the maximum monopoly profit from an uninformed market. Thus, even when product differentiation is explicitly introduced into a Varian-type model, Varian's implication can be retained; the opportunity for profit in an informed market is lost with competition.
△ Less
Submitted 7 May, 2017;
originally announced May 2017.
-
Three-dimensional electronic structures and the metal-insulator transition in Ruddlesden-Popper iridates
Authors:
A. Yamasaki,
H. Fujiwara,
S. Tachibana,
D. Iwasaki,
Y. Higashino,
C. Yoshimi,
K. Nakagawa,
Y. Nakatani,
K. Yamagami,
H. Aratani,
O. Kirilmaz,
M. Sing,
R. Claessen,
H. Watanabe,
T. Shirakawa,
S. Yunoki,
A. Naitoh,
K. Takase,
J. Matsuno,
H. Takagi,
A. Sekiyama,
Y. Saitoh
Abstract:
In this study, we systematically investigate 3D momentum($\hbar k$)-resolved electronic structures of Ruddlesden-Popper-type iridium oxides Sr$_{n+1}$Ir$_n$O$_{3n+1}$ using soft-x-ray (SX) angle-resolved photoemission spectroscopy (ARPES). Our results provide direct evidence of an insulator-to-metal transition that occurs upon increasing the dimensionality of the IrO$_2$-plane structure. This tran…
▽ More
In this study, we systematically investigate 3D momentum($\hbar k$)-resolved electronic structures of Ruddlesden-Popper-type iridium oxides Sr$_{n+1}$Ir$_n$O$_{3n+1}$ using soft-x-ray (SX) angle-resolved photoemission spectroscopy (ARPES). Our results provide direct evidence of an insulator-to-metal transition that occurs upon increasing the dimensionality of the IrO$_2$-plane structure. This transition occurs when the spin-orbit-coupled $j_{\rm eff}$=1/2 band changes its behavior in the dispersion relation and moves across the Fermi energy. In addition, an emerging band along the $Γ$(0,0,0)-R($π$,$π$,$π$) direction is found to play a crucial role in the metallic characteristics of SrIrO$_3$. By scanning the photon energy over 350 eV, we reveal the 3D Fermi surface in SrIrO$_3$ and $k_z$-dependent oscillations of photoelectron intensity in Sr$_3$Ir$_2$O$_7$. In contrast to previously reported results obtained using low-energy photons, folded bands derived from lattice distortions and/or magnetic ordering make significantly weak (but finite) contributions to the $k$-resolved photoemission spectrum. At the first glance, this leads to the ambiguous result that the observed $k$-space topology is consistent with the unfolded Brillouin zone (BZ) picture derived from a non-realistic simple square or cubic Ir lattice. Through careful analysis, we determine that a superposition of the folded and unfolded band structures has been observed in the ARPES spectra obtained using photons in both ultraviolet and SX regions. To corroborate the physics deduced using low-energy ARPES studies, we propose to utilize SX-ARPES as a powerful complementary technique, as this method surveys more than one whole BZ and provides a panoramic view of electronic structures.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
Non-uniqueness of local stress of three-body potentials in molecular simulations
Authors:
Koh M. Nakagawa,
Hiroshi Noguchi
Abstract:
Microscopic stress fields are widely used in molecular simulations to understand mechanical behavior. Recently, decomposition methods of multibody forces to central force pairs between the interacting particles have been proposed. Here, we introduce a force center of a three-body potential and propose different force decompositions that also satisfy the conservation of translational and angular mo…
▽ More
Microscopic stress fields are widely used in molecular simulations to understand mechanical behavior. Recently, decomposition methods of multibody forces to central force pairs between the interacting particles have been proposed. Here, we introduce a force center of a three-body potential and propose different force decompositions that also satisfy the conservation of translational and angular momentum. We compare the force decompositions by stress-distribution magnitude and discuss their difference in the stress profile of a bilayer membrane using coarse-grained and atomistic molecular dynamics simulations.
△ Less
Submitted 31 October, 2016; v1 submitted 27 July, 2016;
originally announced July 2016.
-
Selective Inference Approach for Statistically Sound Predictive Pattern Mining
Authors:
Shinya Suzumura,
Kazuya Nakagawa,
Mahito Sugiyama,
Koji Tsuda,
Ichiro Takeuchi
Abstract:
Discovering statistically significant patterns from databases is an important challenging problem. The main obstacle of this problem is in the difficulty of taking into account the selection bias, i.e., the bias arising from the fact that patterns are selected from extremely large number of candidates in databases. In this paper, we introduce a new approach for predictive pattern mining problems t…
▽ More
Discovering statistically significant patterns from databases is an important challenging problem. The main obstacle of this problem is in the difficulty of taking into account the selection bias, i.e., the bias arising from the fact that patterns are selected from extremely large number of candidates in databases. In this paper, we introduce a new approach for predictive pattern mining problems that can address the selection bias issue. Our approach is built on a recently popularized statistical inference framework called selective inference. In selective inference, statistical inferences (such as statistical hypothesis testing) are conducted based on sampling distributions conditional on a selection event. If the selection event is characterized in a tractable way, statistical inferences can be made without minding selection bias issue. However, in pattern mining problems, it is difficult to characterize the entire selection process of mining algorithms. Our main contribution in this paper is to solve this challenging problem for a class of predictive pattern mining problems by introducing a novel algorithmic framework. We demonstrate that our approach is useful for finding statistically significant patterns from databases.
△ Less
Submitted 9 March, 2016; v1 submitted 15 February, 2016;
originally announced February 2016.
-
Safe Pattern Pruning: An Efficient Approach for Predictive Pattern Mining
Authors:
Kazuya Nakagawa,
Shinya Suzumura,
Masayuki Karasuyama,
Koji Tsuda,
Ichiro Takeuchi
Abstract:
In this paper we study predictive pattern mining problems where the goal is to construct a predictive model based on a subset of predictive patterns in the database. Our main contribution is to introduce a novel method called safe pattern pruning (SPP) for a class of predictive pattern mining problems. The SPP method allows us to efficiently find a superset of all the predictive patterns in the da…
▽ More
In this paper we study predictive pattern mining problems where the goal is to construct a predictive model based on a subset of predictive patterns in the database. Our main contribution is to introduce a novel method called safe pattern pruning (SPP) for a class of predictive pattern mining problems. The SPP method allows us to efficiently find a superset of all the predictive patterns in the database that are needed for the optimal predictive model. The advantage of the SPP method over existing boosting-type method is that the former can find the superset by a single search over the database, while the latter requires multiple searches. The SPP method is inspired by recent development of safe feature screening. In order to extend the idea of safe feature screening into predictive pattern mining, we derive a novel pruning rule called safe pattern pruning (SPP) rule that can be used for searching over the tree defined among patterns in the database. The SPP rule has a property that, if a node corresponding to a pattern in the database is pruned out by the SPP rule, then it is guaranteed that all the patterns corresponding to its descendant nodes are never needed for the optimal predictive model. We apply the SPP method to graph mining and item-set mining problems, and demonstrate its computational advantage.
△ Less
Submitted 14 February, 2016;
originally announced February 2016.
-
Entanglement entropies of coupled harmonic oscillators
Authors:
Koichi Nakagawa
Abstract:
We investigate the quantum entanglement of systems of coupled harmonic oscillators on the basis of thermo-field dynamics (TFD). For coupled harmonic oscillators at equilibrium, the extended entanglement entropy is derived using the TFD method, and it is demonstrated to be controlled by temperature and coupling parameters. For non-equilibrium systems, in addition to temperature and coupling paramet…
▽ More
We investigate the quantum entanglement of systems of coupled harmonic oscillators on the basis of thermo-field dynamics (TFD). For coupled harmonic oscillators at equilibrium, the extended entanglement entropy is derived using the TFD method, and it is demonstrated to be controlled by temperature and coupling parameters. For non-equilibrium systems, in addition to temperature and coupling parameters, the time dependence of the extended entanglement entropy is calculated in accordance with the dissipative von Neumann equation, and the dissipative dynamics of the systems of coupled harmonic oscillators is discussed. Consequently, based on TFD, the physical parametrization of the entanglement entropies is confirmed in both the equilibrium and non-equilibrium cases of harmonic oscillator systems by means of the laws of thermodynamics.
△ Less
Submitted 16 September, 2016; v1 submitted 14 January, 2016;
originally announced January 2016.
-
On the Search Algorithm for the Output Distribution that Achieves the Channel Capacity
Authors:
Kenji Nakagawa,
Kohei Watabe,
Takuto Sabu
Abstract:
We consider a search algorithm for the output distribution that achieves the channel capacity of a discrete memoryless channel. We will propose an algorithm by iterated projections of an output distribution onto affine subspaces in the set of output distributions. The problem of channel capacity has a similar geometric structure as that of smallest enclosing circle for a finite number of points in…
▽ More
We consider a search algorithm for the output distribution that achieves the channel capacity of a discrete memoryless channel. We will propose an algorithm by iterated projections of an output distribution onto affine subspaces in the set of output distributions. The problem of channel capacity has a similar geometric structure as that of smallest enclosing circle for a finite number of points in the Euclidean space. The metric in the Euclidean space is the Euclidean distance and the metric in the space of output distributions is the Kullback-Leibler divergence. We consider these two problems based on Amari's $α$-geometry. Then, we first consider the smallest enclosing circle in the Euclidean space and develop an algorithm to find the center of the smallest enclosing circle. Based on the investigation, we will apply the obtained algorithm to the problem of channel capacity.
△ Less
Submitted 8 January, 2016; v1 submitted 6 January, 2016;
originally announced January 2016.
-
Generation of five phase-locked harmonics by implementing a divide-by-three optical frequency divider
Authors:
Nurul Sheeda Suhaimi,
Chiaki Ohae,
Trivikramarao Gavara,
Ken'ichi Nakagawa,
Feng Lei Hong,
Masayuki Katsuragawa
Abstract:
We report the generation of five phase-locked harmonics, f_1: 2403 nm, f_2: 1201 nm, f_3: 801 nm, f_4: 600 nm, and f_5: 480 nm with an exact frequency ratio of 1 : 2 : 3 : 4 : 5 by implementing a divide-by-three optical-frequency divider in the high harmonic generation process. All five harmonics are generated coaxially with high phase coherence in time and space, which are applicable for various…
▽ More
We report the generation of five phase-locked harmonics, f_1: 2403 nm, f_2: 1201 nm, f_3: 801 nm, f_4: 600 nm, and f_5: 480 nm with an exact frequency ratio of 1 : 2 : 3 : 4 : 5 by implementing a divide-by-three optical-frequency divider in the high harmonic generation process. All five harmonics are generated coaxially with high phase coherence in time and space, which are applicable for various practical uses.
△ Less
Submitted 3 November, 2015;
originally announced November 2015.
-
Search for two-neutrino double electron capture on $^{124}$Xe with the XMASS-I detector
Authors:
XMASS Collaboration,
K. Abe,
K. Hiraide,
K. Ichimura,
Y. Kishimoto,
K. Kobayashi,
M. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
T. Norita,
H. Ogawa,
H. Sekiya,
O. Takachio,
A. Takeda,
M. Yamashita,
B. S. Yang,
N. Y. Kim,
Y. D. Kim,
S. Tasaka,
J. Liu,
K. Martens,
Y. Suzuki,
R. Fujita,
K. Hosokawa
, et al. (19 additional authors not shown)
Abstract:
Double electron capture is a rare nuclear decay process in which two orbital electrons are captured simultaneously in the same nucleus. Measurement of its two-neutrino mode would provide a new reference for the calculation of nuclear matrix elements whereas observation of its neutrinoless mode would demonstrate lepton number violation. A search for two-neutrino double electron capture on $^{124}$X…
▽ More
Double electron capture is a rare nuclear decay process in which two orbital electrons are captured simultaneously in the same nucleus. Measurement of its two-neutrino mode would provide a new reference for the calculation of nuclear matrix elements whereas observation of its neutrinoless mode would demonstrate lepton number violation. A search for two-neutrino double electron capture on $^{124}$Xe is performed using 165.9 days of data collected with the XMASS-I liquid xenon detector. No significant excess above background was observed and we set a lower limit on the half-life as $4.7 \times 10^{21}$ years at 90% confidence level. The obtained limit has ruled out parts of some theoretical expectations. We obtain a lower limit on the $^{126}$Xe two-neutrino double electron capture half-life of $4.3 \times 10^{21}$ years at 90% confidence level as well.
△ Less
Submitted 25 May, 2016; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Zeeman effects on the entanglement of non-equilibrium finite-spin systems
Authors:
Koichi Nakagawa
Abstract:
We study the Zeeman effect on entanglement of non-equilibrium finite-spin systems with external fields using a method based on thermofield dynamics (TFD). For this purpose, the extended density matrices and extended entanglement entropies of two systems with either non-competing or competing external fields are calculated according to the dissipative von Neumann equation, and the numerical results…
▽ More
We study the Zeeman effect on entanglement of non-equilibrium finite-spin systems with external fields using a method based on thermofield dynamics (TFD). For this purpose, the extended density matrices and extended entanglement entropies of two systems with either non-competing or competing external fields are calculated according to the dissipative von Neumann equation, and the numerical results are compared. Consequently, through the "twin-peaks" oscillations of the quantum entanglement, we have illustrated the Zeeman effect on the entanglement of non-equilibrium finite-spin systems with competing external fields in the TFD algorithm.
△ Less
Submitted 23 February, 2017; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Safe Feature Pruning for Sparse High-Order Interaction Models
Authors:
Kazuya Nakagawa,
Shinya Suzumura,
Masayuki Karasuyama,
Koji Tsuda,
Ichiro Takeuchi
Abstract:
Taking into account high-order interactions among covariates is valuable in many practical regression problems. This is, however, computationally challenging task because the number of high-order interaction features to be considered would be extremely large unless the number of covariates is sufficiently small. In this paper, we propose a novel efficient algorithm for LASSO-based sparse learning…
▽ More
Taking into account high-order interactions among covariates is valuable in many practical regression problems. This is, however, computationally challenging task because the number of high-order interaction features to be considered would be extremely large unless the number of covariates is sufficiently small. In this paper, we propose a novel efficient algorithm for LASSO-based sparse learning of such high-order interaction models. Our basic strategy for reducing the number of features is to employ the idea of recently proposed safe feature screening (SFS) rule. An SFS rule has a property that, if a feature satisfies the rule, then the feature is guaranteed to be non-active in the LASSO solution, meaning that it can be safely screened-out prior to the LASSO training process. If a large number of features can be screened-out before training the LASSO, the computational cost and the memory requirment can be dramatically reduced. However, applying such an SFS rule to each of the extremely large number of high-order interaction features would be computationally infeasible. Our key idea for solving this computational issue is to exploit the underlying tree structure among high-order interaction features. Specifically, we introduce a pruning condition called safe feature pruning (SFP) rule which has a property that, if the rule is satisfied in a certain node of the tree, then all the high-order interaction features corresponding to its descendant nodes can be guaranteed to be non-active at the optimal solution. Our algorithm is extremely efficient, making it possible to work, e.g., with 3rd order interactions of 10,000 original covariates, where the number of possible high-order interaction features is greater than 10^{12}.
△ Less
Submitted 26 June, 2015;
originally announced June 2015.
-
An Efficient Post-Selection Inference on High-Order Interaction Models
Authors:
S. Suzumura,
K. Nakagawa,
K. Tsuda,
I. Takeuchi
Abstract:
Finding statistically significant high-order interaction features in predictive modeling is important but challenging task. The difficulty lies in the fact that, for a recent applications with high-dimensional covariates, the number of possible high-order interaction features would be extremely large. Identifying statistically significant features from such a huge pool of candidates would be highl…
▽ More
Finding statistically significant high-order interaction features in predictive modeling is important but challenging task. The difficulty lies in the fact that, for a recent applications with high-dimensional covariates, the number of possible high-order interaction features would be extremely large. Identifying statistically significant features from such a huge pool of candidates would be highly challenging both in computational and statistical senses. To work with this problem, we consider a two stage algorithm where we first select a set of high-order interaction features by marginal screening, and then make statistical inferences on the regression model fitted only with the selected features. Such statistical inferences are called post-selection inference (PSI), and receiving an increasing attention in the literature. One of the seminal recent advancements in PSI literature is the works by Lee et al. where the authors presented an algorithmic framework for computing exact sampling distributions in PSI. A main challenge when applying their approach to our high-order interaction models is to cope with the fact that PSI in general depends not only on the selected features but also on the unselected features, making it hard to apply to our extremely high-dimensional high-order interaction models. The goal of this paper is to overcome this difficulty by introducing a novel efficient method for PSI. Our key idea is to exploit the underlying tree structure among high-order interaction features, and to develop a pruning method of the tree which enables us to quickly identify a group of unselected features that are guaranteed to have no influence on PSI. The experimental results indicate that the proposed method allows us to reliably identify statistically significant high-order interaction features with reasonable computational cost.
△ Less
Submitted 26 June, 2015;
originally announced June 2015.
-
Dissipative dynamics of entangled finite-spin systems with non-competitive external fields
Authors:
Koichi Nakagawa
Abstract:
We apply a new method based upon thermofield dynamics (TFD) to study entanglement of finite-spin systems with non-competitive external fields for both equilibrium and non-equilibrium cases. For the equilibrium finite-spin systems, the temperature dependence of the extended density matrices is derived using this method, and the effect of non-competitive external field is demonstrated. For the non-e…
▽ More
We apply a new method based upon thermofield dynamics (TFD) to study entanglement of finite-spin systems with non-competitive external fields for both equilibrium and non-equilibrium cases. For the equilibrium finite-spin systems, the temperature dependence of the extended density matrices is derived using this method, and the effect of non-competitive external field is demonstrated. For the non-equilibrium finite-spin systems, the time dependence of the extended density matrices and the extended entanglement entropies is derived in accordance with von Noumann equation, and the dissipative dynamics of the finite-spin systems is argued. Consequently, the applicability of the TFD-based method to describe entanglement is confirmed in both equilibrium and non-equilibrium cases with the external fieds.
△ Less
Submitted 11 February, 2016; v1 submitted 27 February, 2015;
originally announced March 2015.
-
Morphological changes of amphiphilic molecular assemblies induced by chemical reaction
Authors:
Koh M. Nakagawa,
Hiroshi Noguchi
Abstract:
Shape transformations of amphiphilic molecular assemblies induced by chemical reaction are studied using coarse-grained molecular simulations. A binding reaction between hydrophilic and hydrophobic molecules is considered. It is found that the reaction induces transformation of an oil droplet to a tubular vesicle via bicelles and vesicles with discoidal arms. The discoidal arms close into vesicles…
▽ More
Shape transformations of amphiphilic molecular assemblies induced by chemical reaction are studied using coarse-grained molecular simulations. A binding reaction between hydrophilic and hydrophobic molecules is considered. It is found that the reaction induces transformation of an oil droplet to a tubular vesicle via bicelles and vesicles with discoidal arms. The discoidal arms close into vesicles, which are subsequently fused into the tubular vesicle. Under the chemical reaction, the bicelle-to-vesicle transition occurs at smaller sizes than in the absence of the hydrophobic molecules. It is revealed that the enhancement of this transition is due to embedded hydrophobic particles that reduce the membrane bending rigidity.
△ Less
Submitted 20 November, 2014;
originally announced November 2014.
-
Entanglement Entropies of Non-Equilibrium Finite-Spin Systems
Authors:
Koichi Nakagawa
Abstract:
For the purpose of clarifying a new approach to understanding quantum entanglement using thermofield dynamics (TFD), entanglement entropies of non-equilibrium finite-spin systems are examined for both traditional and extended cases. The extended entanglement entropy, $\hat{S}$, is derived, and it is found that the conditions for the maximum entangled state can be obtained through this approach. Th…
▽ More
For the purpose of clarifying a new approach to understanding quantum entanglement using thermofield dynamics (TFD), entanglement entropies of non-equilibrium finite-spin systems are examined for both traditional and extended cases. The extended entanglement entropy, $\hat{S}$, is derived, and it is found that the conditions for the maximum entangled state can be obtained through this approach. The capacity of the TFD-based method to distinguish between states in quantum systems is confirmed.
△ Less
Submitted 7 January, 2015; v1 submitted 26 October, 2014;
originally announced October 2014.
-
Search for bosonic superweakly interacting massive dark matter particles with the XMASS-I detector
Authors:
K. Abe,
K. Hieda,
K. Hiraide,
S. Hirano,
Y. Kishimoto,
K. Ichimura,
K. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
H. Ogawa,
N. Oka,
H. Sekiya,
A. Shinozaki,
Y. Suzuki,
A. Takeda,
O. Takachio,
D. Umemoto,
M. Yamashita,
B. S. Yang,
S. Tasaka,
J. Liu,
K. Martens,
K. Hosokawa,
K. Miuchi
, et al. (20 additional authors not shown)
Abstract:
Bosonic superweakly interacting massive particles (super-WIMPs) are a candidate for warm dark matter. With the absorption of such a boson by a xenon atom these dark matter candidates would deposit an energy equivalent to their rest mass in the detector. This is the first direct detection experiment exploring the vector super-WIMPs in the mass range between 40 and 120 keV. Using 165.9 days of data…
▽ More
Bosonic superweakly interacting massive particles (super-WIMPs) are a candidate for warm dark matter. With the absorption of such a boson by a xenon atom these dark matter candidates would deposit an energy equivalent to their rest mass in the detector. This is the first direct detection experiment exploring the vector super-WIMPs in the mass range between 40 and 120 keV. Using 165.9 days of data no significant excess above background was observed in the fiducial mass of 41 kg. The present limit for the vector super-WIMPs excludes the possibility that such particles constitute all of dark matter. The absence of a signal also provides the most stringent direct constraint on the coupling constant of pseudoscalar super-WIMPs to electrons. The unprecedented sensitivity was achieved exploiting the low background at a level $10^{-4}$ kg$^{-1}$keV$_{ee}^{-1}$day$^{-1}$ in the detector.
△ Less
Submitted 21 August, 2014; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Search for inelastic WIMP nucleus scattering on $^{129}$Xe in data from the XMASS-I experiment
Authors:
H. Uchida,
K. Abe,
K. Hieda,
K. Hiraide,
S. Hirano,
K. Ichimura,
Y. Kishimoto,
K. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
H. Ogawa,
N. Oka,
H. Sekiya,
A. Shinozaki,
Y. Suzuki,
A. Takeda,
O. Takachio,
D. Umemoto,
M. Yamashita,
B. S. Yang,
S. Tasaka,
J. Liu,
K. Martens,
K. Hosokawa
, et al. (21 additional authors not shown)
Abstract:
A search for inelastic scattering of Weakly Interacting Massive Particles (WIMPs) on the isotope $^{129}$Xe was done in data taken with the single phase liquid xenon detector XMASS at the Kamioka Observatory. Using a restricted volume containing 41 kg of LXe at the very center of our detector we observed no significant excess of events in 165.9 days of data. Our background reduction allowed us to…
▽ More
A search for inelastic scattering of Weakly Interacting Massive Particles (WIMPs) on the isotope $^{129}$Xe was done in data taken with the single phase liquid xenon detector XMASS at the Kamioka Observatory. Using a restricted volume containing 41 kg of LXe at the very center of our detector we observed no significant excess of events in 165.9 days of data. Our background reduction allowed us to derive our limits without explicitly subtracting the remaining events which are compatible with background expectations and derive for e.g. a 50 GeV WIMP an upper limit for its inelastic cross section on $^{129}$Xe nuclei of 3.2 pb at the 90% confidence level.
△ Less
Submitted 29 April, 2014; v1 submitted 19 January, 2014;
originally announced January 2014.
-
AdS/CFT for 3D Higher-Spin Gravity Coupled to Matter Fields
Authors:
Ippei Fujisawa,
Kenta Nakagawa,
Ryuichi Nakayama
Abstract:
New holographic prescription for the model of 3d higher-spin gravity coupled to real matter fields $B_{μν}$ and $C$, which was introduced in ArXiv:1304.7941[hep-th], is formulated. By using a local symmetry, two of the components of $B_{μν}$ are eliminated, and gauge-fixing conditions are imposed such that the non-vanishing component, $B_{φρ}$, satisfies a covariantly-constancy condition in the ba…
▽ More
New holographic prescription for the model of 3d higher-spin gravity coupled to real matter fields $B_{μν}$ and $C$, which was introduced in ArXiv:1304.7941[hep-th], is formulated. By using a local symmetry, two of the components of $B_{μν}$ are eliminated, and gauge-fixing conditions are imposed such that the non-vanishing component, $B_{φρ}$, satisfies a covariantly-constancy condition in the background of Chern-Simons gauge fields $A_μ$, $\bar{A}_μ$. In this model, solutions to the classical equations of motion for $A_μ$ and $\bar{A}_μ$ are non-flat due to the interactions with matter fields. The solutions for the gauge fields can, however, be split into two parts, flat gauge fields ${\cal A}_μ$, $\bar{\cal A}_μ$, and those terms that depend on the matter fields. The equations for the matter fields then coincide with covariantly-constancy equations in the flat backgrounds ${\cal A}_μ$ and $\bar{\cal A}_μ$, which are exactly the same as those in linearized 3d Vasiliev gravity. The two- and three-point correlation functions of operators in the boundary CFT are computed by using an on-shell action, $ \text{tr}\, (B_{φρ} \, C)$. This term does not depend on coordinates due to the matter equations of motion, and it is not necessary to take the near-boundary limit $ρ\rightarrow \infty$. Analysis is presented for SL(3,R) $\times$ SL(3,R) as well as $HS[\frac{1}{2}] \times HS[\frac{1}{2}]$ higher-spin gravity. In the latter model, scalar operators with scaling dimensions $Δ_+=\frac{3}{2}$ and $Δ_-=\frac{1}{2}$ appear in a single quantization.
△ Less
Submitted 25 November, 2013; v1 submitted 19 November, 2013;
originally announced November 2013.
-
Engineering transport by concatenated maps
Authors:
T. Schell,
M. Sadgrove,
K. Nakagawa,
S. Wimberger
Abstract:
We present a generalized kick rotor model in which the phase of the kick can vary from kick to kick. This additional freedom allows one to control the transport in phase space. For a specific choice of kick-to-kick phases, we predict novel forms of accelerator modes which are potentially of high relevance for future experimental studies.
We present a generalized kick rotor model in which the phase of the kick can vary from kick to kick. This additional freedom allows one to control the transport in phase space. For a specific choice of kick-to-kick phases, we predict novel forms of accelerator modes which are potentially of high relevance for future experimental studies.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Time series analysis of gamma-ray blazars and implications for the central black-hole mass
Authors:
Kenji Nakagawa,
Masaki Mori
Abstract:
Radiation from the blazar class of of active galactic nuclei (AGN) exhibits fast time variability which is usually ascribed to instabilities in the emission region near the central supermassive black hole. The variability time scale is generally faster in higher energy region, and data recently provided by the {\it Fermi} Gamma-ray Space Telescope in the GeV energy band enable a detailed study of…
▽ More
Radiation from the blazar class of of active galactic nuclei (AGN) exhibits fast time variability which is usually ascribed to instabilities in the emission region near the central supermassive black hole. The variability time scale is generally faster in higher energy region, and data recently provided by the {\it Fermi} Gamma-ray Space Telescope in the GeV energy band enable a detailed study of the temporal behavior of AGN. Due to its wide field-of-view in the scanning mode, most sky regions are observed for several hours per day and daily light curves of many AGN have been accumulated for more than 4 years.
In this paper we investigate the time variability of 15 well-detected AGNs by studying the normalized power spectrum density (NPSD) of their light curves in the GeV energy band. One source, 3C 454.3, shows a specific time scale of $6.8\times10^5$ s, and this value suggests, assuming the internal shock model, a mass for the central black hole of $(10^8$--$10^{10})M_\odot$ which is consistent with other estimates. It also indicates the typical time interval of ejected blobs is $(7$--$70)$ times the light crossing time of the Schwarzschild radius.
△ Less
Submitted 25 July, 2013; v1 submitted 2 July, 2013;
originally announced July 2013.
-
XMASS detector
Authors:
K. Abe,
K. Hieda,
K. Hiraide,
S. Hirano,
Y. Kishimoto,
K. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
H. Nishiie,
H. Ogawa,
N. Oka,
H. Sekiya,
A. Shinozaki,
Y. Suzuki,
A. Takeda,
O. Takachio,
K. Ueshima,
D. Umemoto,
M. Yamashita,
B. S. Yang,
S. Tasaka,
J. Liu,
K. Martens,
K. Hosokawa
, et al. (23 additional authors not shown)
Abstract:
The XMASS project aims to detect dark matter, pp and $^{7}$Be solar neutrinos, and neutrinoless double beta decay using ultra pure liquid xenon. The first phase of the XMASS experiment searches for dark matter. In this paper, we describe the XMASS detector in detail, including its configuration, data acquisition equipment and calibration system.
The XMASS project aims to detect dark matter, pp and $^{7}$Be solar neutrinos, and neutrinoless double beta decay using ultra pure liquid xenon. The first phase of the XMASS experiment searches for dark matter. In this paper, we describe the XMASS detector in detail, including its configuration, data acquisition equipment and calibration system.
△ Less
Submitted 13 January, 2013;
originally announced January 2013.
-
Search for solar axions in XMASS, a large liquid-xenon detector
Authors:
K. Abe,
K. Hieda,
K. Hiraide,
S. Hirano,
Y. Kishimoto,
K. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
H. Ogawa,
N. Oka,
H. Sekiya,
A. Shinozaki Y. Suzuki,
A. Takeda,
O. Takachio,
K. Ueshima,
D. Umemoto,
M. Yamashita,
B. S. Yang,
S. Tasaka,
J. Liu,
K. Martens,
K. Hosokawa,
K. Miuchi,
A. Murata
, et al. (21 additional authors not shown)
Abstract:
XMASS, a low-background, large liquid-xenon detector, was used to search for solar axions that would be produced by bremsstrahlung and Compton effects in the Sun. With an exposure of 5.6ton days of liquid xenon, the model-independent limit on the coupling for mass $\ll$ 1keV is $|g_{aee}|< 5.4\times 10^{-11}$ (90% C.L.), which is a factor of two stronger than the existing experimental limit. The b…
▽ More
XMASS, a low-background, large liquid-xenon detector, was used to search for solar axions that would be produced by bremsstrahlung and Compton effects in the Sun. With an exposure of 5.6ton days of liquid xenon, the model-independent limit on the coupling for mass $\ll$ 1keV is $|g_{aee}|< 5.4\times 10^{-11}$ (90% C.L.), which is a factor of two stronger than the existing experimental limit. The bounds on the axion masses for the DFSZ and KSVZ axion models are 1.9 and 250eV, respectively. In the mass range of 10-40keV, this study produced the most stringent limit, which is better than that previously derived from astrophysical arguments regarding the Sun to date.
△ Less
Submitted 29 May, 2013; v1 submitted 26 December, 2012;
originally announced December 2012.
-
Light WIMP search in XMASS
Authors:
K. Abe,
K. Hieda,
K. Hiraide,
S. Hirano,
Y. Kishimoto,
K. Kobayashi,
S. Moriyama,
K. Nakagawa,
M. Nakahata,
H. Ogawa,
N. Oka,
H. Sekiya,
A. Shinozaki Y. Suzuki,
A. Takeda,
O. Takachio,
K. Ueshima,
D. Umemoto,
M. Yamashita,
B. S. Yang,
S. Tasaka,
J. Liu,
K. Martens,
K. Hosokawa,
K. Miuchi,
A. Murata
, et al. (21 additional authors not shown)
Abstract:
A search for light dark matter using low-threshold data from the single phase liquid xenon scintillation detector XMASS, has been conducted. Using the entire 835 kg inner volume as target, the analysis threshold can be lowered to 0.3 keVee (electron-equivalent) to search for light dark matter. With low-threshold data corresponding to a 5591.4 kg$\cdot$day exposure of the detector and without discr…
▽ More
A search for light dark matter using low-threshold data from the single phase liquid xenon scintillation detector XMASS, has been conducted. Using the entire 835 kg inner volume as target, the analysis threshold can be lowered to 0.3 keVee (electron-equivalent) to search for light dark matter. With low-threshold data corresponding to a 5591.4 kg$\cdot$day exposure of the detector and without discriminating between nuclear-recoil and electronic events, XMASS excludes part of the parameter space favored by other experiments.
△ Less
Submitted 16 January, 2013; v1 submitted 22 November, 2012;
originally announced November 2012.
-
Charged Higgs Flavor Changing Current in tau^- to nu_X K^- pi^0
Authors:
Daiji Kimura,
Kang Young Lee Takuya Morozumi Keita Nakagawa
Abstract:
We study the effect of flavor changing charged current(FCCC) of lepton sector in the hadronic tau decays, tau \to nu_X K^- pi^0 (X=e,mu). In general two Higgs doublet model, the lepton flavor changing neutral current (FCNC) arises in the charged lepton sector and contributes to the process such as tau \to mu mu^+ mu^- and tau \to mu(e) P^0 where P^0=pi^0,eta, eta'. We derive a relation between the…
▽ More
We study the effect of flavor changing charged current(FCCC) of lepton sector in the hadronic tau decays, tau \to nu_X K^- pi^0 (X=e,mu). In general two Higgs doublet model, the lepton flavor changing neutral current (FCNC) arises in the charged lepton sector and contributes to the process such as tau \to mu mu^+ mu^- and tau \to mu(e) P^0 where P^0=pi^0,eta, eta'. We derive a relation between the FCCC in charged Higgs boson and the FCNC due to the neutral Higgs boson. Then by using the recent experimental upper bound on FCNC of tau \to l_X eta (pi^0) (l_X=e,mu) processes, we study how large the effect of FCCC could be in the process tau \to nu_X K pi decays. We also report the preliminary result on the form factor calculations of tau \to K pi nu decays and the hadronic invariant mass distribution.
△ Less
Submitted 24 December, 2010;
originally announced December 2010.
-
Stokes' Cradle: Normal Three-Body Collisions between Wetted Particles
Authors:
C. M. Donahue,
C. M. Hrenya,
R. H. Davis,
K. J. Nakagawa,
A. P. Zelinskaya,
G. G. Joseph
Abstract:
In this work, a combination of experiments and theory is used to investigate three-body, normal collisions between solid particles with a liquid coating (i.e., "wetted" particles). Experiments are carried out using a Stokes' cradle, an apparatus inspired by the Newton's cradle desktop toy except with wetted particles. Unlike previous work on two-body systems, which may either agglomerate or rebo…
▽ More
In this work, a combination of experiments and theory is used to investigate three-body, normal collisions between solid particles with a liquid coating (i.e., "wetted" particles). Experiments are carried out using a Stokes' cradle, an apparatus inspired by the Newton's cradle desktop toy except with wetted particles. Unlike previous work on two-body systems, which may either agglomerate or rebound upon collision, four outcomes are possible in three-body systems: fully agglomerated, Newton's cradle (striker and target particle it strikes agglomerate), reverse Newton's cradle (targets agglomerate while striker separates), and fully separated. Post-collisional velocities are measured over a range of parameters. For all experiments, as the impact velocity increases, the progression of outcomes observed is fully agglomerated, reverse Newton's cradle, and fully separated. Notably, as the viscosity of the oil increases, experiments reveal a decrease in the critical Stokes number (the Stokes number that demarcates a transition from agglomeration to separation) for both sets of adjacent particles. A scaling theory is developed based on lubrication forces and particle deformation and elasticity. Unlike previous work for two-particle systems, two pieces of physics are found to be critical in the prediction of a regime map that is consistent with experiments: (i) an additional resistance upon rebound of the target particles due to the pre-existing liquid bridge between them (which has no counterpart in two-particle collisions), and (ii) the addition of a rebound criterion due to glass transition of the liquid layer at high pressure between colliding particles.
△ Less
Submitted 21 December, 2009; v1 submitted 18 December, 2009;
originally announced December 2009.
-
Tail Probability and Singularity of Laplace-Stieltjes Transform of a Heavy Tailed Random Variable
Authors:
Kenji Nakagawa
Abstract:
In this paper, we will give a sufficient condition for a non-negative random variable $X$ to be heavy tailed by investigating the Laplace-Stieltjes transform of the probability distribution function. We focus on the relation between the singularity at the real point of the axis of convergence and the asymptotic decay of the tail probability. Our theorem is a kind of Tauberian theorems.
In this paper, we will give a sufficient condition for a non-negative random variable $X$ to be heavy tailed by investigating the Laplace-Stieltjes transform of the probability distribution function. We focus on the relation between the singularity at the real point of the axis of convergence and the asymptotic decay of the tail probability. Our theorem is a kind of Tauberian theorems.
△ Less
Submitted 1 September, 2009; v1 submitted 1 September, 2009;
originally announced September 2009.
-
CP violation in tau decays
Authors:
Daiji Kimura,
Kang Young Lee,
Takuya Morozumi,
Keita Nakagawa
Abstract:
CP violation of the charged lepton sector has not been found yet. Tau is a unique charged lepton which can decay into hadrons. In this talk, we argue what kind of new physics can be studied with CP violation of tau lepton decays. We also disucuss how to handle hadronic final state interactions for a prediction of the direct CP violation.
CP violation of the charged lepton sector has not been found yet. Tau is a unique charged lepton which can decay into hadrons. In this talk, we argue what kind of new physics can be studied with CP violation of tau lepton decays. We also disucuss how to handle hadronic final state interactions for a prediction of the direct CP violation.
△ Less
Submitted 12 May, 2009; v1 submitted 12 May, 2009;
originally announced May 2009.
-
On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics
Authors:
Takeshi Ueno,
Koji Nakaogawa,
Osamu Watari
Abstract:
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on our investigations of the Gentzen-style natural deduction for non-commutative substructural logics.) FL' has the same proof strength as the standard sequent c…
▽ More
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on our investigations of the Gentzen-style natural deduction for non-commutative substructural logics.) FL' has the same proof strength as the standard sequent calculus FL (Full Lambek), which is the basic sequent calculus for all other substructural logics. For the standard FL, we use Ono's formulation. Although FL' and the standard FL are equivalent, there is a subtle difference in the left rule of implication. In the standard FL, two parameters $Γ_1$ and $Γ_2$(resp.), each of which is just an finite sequence of arbitrary formulas, appear on the left and right side (resp.) of a formula which is placed on the left side of the sequent on the upper left side of the left rule $\imply$ (which corresponds to $\imply'$ in FL'). On the other hand, there is no such parameter on the left side of the sequent on the upper left side in the left rule for $\imply'$ of FL'. In FL', $Γ_1$ is always empty, and only $Γ_2$ is allowed to occur in the left rule for $\imply'$. (Similar differences occur in multiplicative and additive conjunctions, and in additive disjunction.) This difference between FL' and FL matters deeply, for we are led to a construction of proof-figures in FL', which show how the associativity of multiplicative conjunction and the distributivity of multiplicative conjunction over additive disjunction are involved in the eliminations of the cut rule in those proof-figures. We specify how associativity and distributivity are related to the non-eliminability of an application of the cut rule in those proof-figures of FL'.
△ Less
Submitted 2 February, 2009;
originally announced February 2009.
-
Measuring the frequency of a Sr optical lattice clock using a 120-km coherent optical transfer
Authors:
F. -L. Hong,
M. Musha,
M. Takamoto,
H. Inaba,
S. Yanagimachi,
A. Takamizawa,
K. Watabe,
T. Ikegami,
M. Imae,
Y. Fujii,
M. Amemiya,
K. Nakagawa,
K. Ueda,
H. Katori
Abstract:
We demonstrate a precision frequency measurement using a phase-stabilized 120-km optical fiber link over a physical distance of 50 km. The transition frequency of the 87Sr optical lattice clock at the University of Tokyo is measured to be 429228004229874.1(2.4) Hz referenced to international atomic time (TAI). The measured frequency agrees with results obtained in Boulder and Paris at a 6*10^-16…
▽ More
We demonstrate a precision frequency measurement using a phase-stabilized 120-km optical fiber link over a physical distance of 50 km. The transition frequency of the 87Sr optical lattice clock at the University of Tokyo is measured to be 429228004229874.1(2.4) Hz referenced to international atomic time (TAI). The measured frequency agrees with results obtained in Boulder and Paris at a 6*10^-16 fractional level, which matches the current best evaluations of Cs primary frequency standards. The results demonstrate the excellent functions of the intercity optical fibre link, and the great potential of optical lattice clocks for use in the redefinition of the second.
△ Less
Submitted 12 November, 2008;
originally announced November 2008.
-
CP violation of tau -> K pi(eta, eta') nu decays
Authors:
Daiji Kimura,
Kang Young Lee,
T. Morozumi,
Keita Nakagawa
Abstract:
We study direct CP violation of tau -> K pi(eta,eta')nu decays. By studying the forward and backward asymmetry, the interference of L=0 and L=1 amplitudes of the hadronic system can be extracted.
By including the scalar and vector mesons into the chiral Lagrangian, we compute the form factors which correspond to L=0 and L=1 angular momentum state of the hadronic system. We include real and ima…
▽ More
We study direct CP violation of tau -> K pi(eta,eta')nu decays. By studying the forward and backward asymmetry, the interference of L=0 and L=1 amplitudes of the hadronic system can be extracted.
By including the scalar and vector mesons into the chiral Lagrangian, we compute the form factors which correspond to L=0 and L=1 angular momentum state of the hadronic system. We include real and imaginary parts of the one loop corrections to the self-energies of the scalar and vector mesons.
The direct CP violation of the forward and backward asymmetry is computed using a two Higgs doublet model in which a new CP violating phase is introduced. We show how the CP violation of the forward and the backward asymmetry may depend on the new CP violating phase and the strong phase of the form factors.
△ Less
Submitted 5 August, 2008; v1 submitted 5 August, 2008;
originally announced August 2008.
-
Rectified momentum transport for a kicked Bose-Einstein Condensate
Authors:
Mark Sadgrove,
Munekazu Horikoshi,
Tetsuo Sekimura,
Ken'ichi Nakagawa
Abstract:
We report the experimental observation of rectified momentum transport for a Bose-Einstein Condensate kicked at the Talbot time (quantum resonance) by an optical standing wave. Atoms are initially prepared in a superposition of the 0 and -2*hbar*kl momentum states using an optical pi/2 pulse. By changing the relative phase of the superposed states, a momentum current in either direction along th…
▽ More
We report the experimental observation of rectified momentum transport for a Bose-Einstein Condensate kicked at the Talbot time (quantum resonance) by an optical standing wave. Atoms are initially prepared in a superposition of the 0 and -2*hbar*kl momentum states using an optical pi/2 pulse. By changing the relative phase of the superposed states, a momentum current in either direction along the standing wave may be produced. We offer an interpretation based on matter wave interference, showing that the observed effect is uniquely quantum.
△ Less
Submitted 12 June, 2007;
originally announced June 2007.
-
Application of Tauberian Theorem to the Exponential Decay of the Tail Probability of a Random Variable
Authors:
Kenji Nakagawa
Abstract:
We give a sufficient condition for the exponential decay of the tail probability of a non-negative random variable. We consider the Laplace-Stieltjes transform of the probability distribution function of the random variable. We present a theorem, according to which if the abscissa of convergence of the LS transform is negative finite and the real point on the axis of convergence is a pole of the…
▽ More
We give a sufficient condition for the exponential decay of the tail probability of a non-negative random variable. We consider the Laplace-Stieltjes transform of the probability distribution function of the random variable. We present a theorem, according to which if the abscissa of convergence of the LS transform is negative finite and the real point on the axis of convergence is a pole of the LS transform, then the tail probability decays exponentially. For the proof of the theorem, we extend and apply so-called a finite form of Ikehara's complex Tauberian theorem by Graham-Vaaler.
△ Less
Submitted 25 April, 2007; v1 submitted 25 February, 2006;
originally announced February 2006.
-
A list of all integrable 2D homogeneous polynomial potentials with a polynomial integral of order at most 4 in the momenta
Authors:
Katsuya Nakagawa,
Haruo Yoshida
Abstract:
We searched integrable 2D homogeneous polynomial potential with a polynomial first integral by using the so-called direct method of searching for first integrals. We proved that there exist no polynomial first integrals which are genuinely cubic or quartic in the momenta if the degree of homogeneous polynomial potentials is greater than 4.
We searched integrable 2D homogeneous polynomial potential with a polynomial first integral by using the so-called direct method of searching for first integrals. We proved that there exist no polynomial first integrals which are genuinely cubic or quartic in the momenta if the degree of homogeneous polynomial potentials is greater than 4.
△ Less
Submitted 29 August, 2001;
originally announced August 2001.
-
Thermofield Dynamics of the Heterotic String --- Thermal Cosmological Constant ---
Authors:
H. Fujisaki,
S. Sano,
K. Nakagawa
Abstract:
The thermofield dynamics of the $D = 10$ heterotic thermal string theory is exemplified at any finite temperature through the infrared behaviour of the one-loop cosmological constant in proper reference to the thermal duality symmetry in association with the global phase structure of the thermal string ensemble.
The thermofield dynamics of the $D = 10$ heterotic thermal string theory is exemplified at any finite temperature through the infrared behaviour of the one-loop cosmological constant in proper reference to the thermal duality symmetry in association with the global phase structure of the thermal string ensemble.
△ Less
Submitted 29 August, 1997;
originally announced August 1997.
-
Heterotic String Thermofield Dynamics
Authors:
H. Fujisaki,
K. Nakagawa,
S. Sano
Abstract:
Physical aspects of the thermofield dynamics of the D=10 heterotic thermal string theory are exemplified through the infrared behaviour of the one-loop dual symmetric cosmological constant in association with the global phase structure of the thermal string ensemble.
Physical aspects of the thermofield dynamics of the D=10 heterotic thermal string theory are exemplified through the infrared behaviour of the one-loop dual symmetric cosmological constant in association with the global phase structure of the thermal string ensemble.
△ Less
Submitted 4 April, 1997;
originally announced April 1997.
-
Thermofield Dynamics of the Closed Bosonic String - Physical Aspects of the Thermal Duality -
Authors:
H. Fujisaki,
K. Nakagawa
Abstract:
The thermofield dynamics of the D=26 closed bosonic thermal string theory is described in proper reference to the thermal duality symmetry as well as the thermal stability of modular invariance in association with the global phase structure of the bosonic thermal string ensemble.
The thermofield dynamics of the D=26 closed bosonic thermal string theory is described in proper reference to the thermal duality symmetry as well as the thermal stability of modular invariance in association with the global phase structure of the bosonic thermal string ensemble.
△ Less
Submitted 4 September, 1996;
originally announced September 1996.
-
Thermofield Dynamics of the Heterotic String -- Global Phase Structure
Authors:
H. Fujisaki,
K. Nakagawa,
S. Sano
Abstract:
Physical aspects of the thermofield dynamics of the D=10 heterotic string theory are exemplified through the infrared behaviour of the one-loop dual symmetric cosmological constant in association with the global phase structure of the thermal string ensemble.
Physical aspects of the thermofield dynamics of the D=10 heterotic string theory are exemplified through the infrared behaviour of the one-loop dual symmetric cosmological constant in association with the global phase structure of the thermal string ensemble.
△ Less
Submitted 23 July, 1996;
originally announced July 1996.