-
Data-driven Estimation of the Algebraic Riccati Equation for the Discrete-Time Inverse Linear Quadratic Regulator Problem
Authors:
Shuhei Sugiura,
Ryo Ariizumi,
Masaya Tanemura,
Toru Asai,
Shun-ichi Azuma
Abstract:
In this paper, we propose a method for estimating the algebraic Riccati equation (ARE) with respect to an unknown discrete-time system from the system state and input observation. The inverse optimal control (IOC) problem asks, ``What objective function is optimized by a given control system?'' The inverse linear quadratic regulator (ILQR) problem is an IOC problem that assumes a linear system and…
▽ More
In this paper, we propose a method for estimating the algebraic Riccati equation (ARE) with respect to an unknown discrete-time system from the system state and input observation. The inverse optimal control (IOC) problem asks, ``What objective function is optimized by a given control system?'' The inverse linear quadratic regulator (ILQR) problem is an IOC problem that assumes a linear system and quadratic objective function. The ILQR problem can be solved by solving a linear matrix inequality that contains the ARE. However, the system model is required to obtain the ARE, and it is often unknown in fields in which the IOC problem occurs, for example, biological system analysis. Our method directly estimates the ARE from the observation data without identifying the system. This feature enables us to economize the observation data using prior information about the objective function. We provide a data condition that is sufficient for our method to estimate the ARE. We conducted a numerical experiment to demonstrate that our method can estimate the ARE with less data than system identification if the prior information is sufficient.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Networks of Classical Conditioning Gates and Their Learning
Authors:
Shun-ichi Azuma,
Dai Takakura,
Ryo Ariizumi,
Toru Asai
Abstract:
Chemical AI is chemically synthesized artificial intelligence that has the ability of learning in addition to information processing. A research project on chemical AI, called the Molecular Cybernetics Project, was launched in Japan in 2021 with the goal of creating a molecular machine that can learn a type of conditioned reflex through the process called classical conditioning. If the project suc…
▽ More
Chemical AI is chemically synthesized artificial intelligence that has the ability of learning in addition to information processing. A research project on chemical AI, called the Molecular Cybernetics Project, was launched in Japan in 2021 with the goal of creating a molecular machine that can learn a type of conditioned reflex through the process called classical conditioning. If the project succeeds in developing such a molecular machine, the next step would be to configure a network of such machines to realize more complex functions. With this motivation, this paper develops a method for learning a desired function in the network of nodes each of which can implement classical conditioning. First, we present a model of classical conditioning, which is called here a classical conditioning gate. We then propose a learning algorithm for the network of classical conditioning gates.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Multi-order asymptotic expansion of blow-up solutions for autonomous ODEs. I -- Method and Justification
Authors:
Taisei Asai,
Hisatoshi Kodani,
Kaname Matsue,
Hiroyuki Ochiai,
Takiko Sasaki
Abstract:
In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculatin…
▽ More
In this paper, we provide a systematic methodology for calculating multi-order asymptotic expansion of blow-up solutions near blow-up for autonomous ordinary differential equations (ODEs). Under the specific form of the principal term of blow-up solutions for a class of vector fields, we extract algebraic objects determining all possible orders in the asymptotic expansions. Examples for calculating concrete multi-order asymptotic expansions of blow-up solutions are finally collected.
△ Less
Submitted 30 November, 2022; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Deep Learning-based Massive MIMO CSI Acquisition for 5G Evolution and 6G
Authors:
Xin Wang,
Xiaolin Hou,
Lan Chen,
Yoshihisa Kishiyama,
Takahiro Asai
Abstract:
Recently, inspired by successful applications in many fields, deep learning (DL) technologies for CSI acquisition have received considerable research interest from both academia and industry. Considering the practical feedback mechanism of 5th generation (5G) New radio (NR) networks, we propose two implementation schemes for artificial intelligence for CSI (AI4CSI), the DL-based receiver and end-t…
▽ More
Recently, inspired by successful applications in many fields, deep learning (DL) technologies for CSI acquisition have received considerable research interest from both academia and industry. Considering the practical feedback mechanism of 5th generation (5G) New radio (NR) networks, we propose two implementation schemes for artificial intelligence for CSI (AI4CSI), the DL-based receiver and end-to-end design, respectively. The proposed AI4CSI schemes were evaluated in 5G NR networks in terms of spectrum efficiency (SE), feedback overhead, and computational complexity, and compared with legacy schemes. To demonstrate whether these schemes can be used in real-life scenarios, both the modeled-based channel data and practically measured channels were used in our investigations. When DL-based CSI acquisition is applied to the receiver only, which has little air interface impact, it provides approximately 25\% SE gain at a moderate feedback overhead level. It is feasible to deploy it in current 5G networks during 5G evolutions. For the end-to-end DL-based CSI enhancements, the evaluations also demonstrated their additional performance gain on SE, which is 6% -- 26% compared with DL-based receivers and 33% -- 58% compared with legacy CSI schemes. Considering its large impact on air-interface design, it will be a candidate technology for 6th generation (6G) networks, in which an air interface designed by artificial intelligence can be used.
△ Less
Submitted 14 June, 2022; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Optimization and stabilization of a kilohertz laser-plasma accelerator
Authors:
L. Rovige,
J. Huijts,
I. A. Andriyash,
A. Vernier,
M. Ouillé,
Z. Cheng,
T. Asai,
Y. Fukuda,
V. Tomkus,
V. Girdauskas,
G. Raciukaitis,
J. Dudutis,
V. Stankevic,
P. Gecys,
R. Lopez-Martens,
J. Faure
Abstract:
Laser plasma acceleration at kilohertz repetition rate has recently been shown to work in two different regimes, with pulse lengths of either 30 fs or 3.5 fs. We now report on a systematic study in which a large range of pulse durations and plasma densities were investigated through continuous tuning of the laser spectral bandwidth. Indeed, two LPA processes can be distinguished, where beams of th…
▽ More
Laser plasma acceleration at kilohertz repetition rate has recently been shown to work in two different regimes, with pulse lengths of either 30 fs or 3.5 fs. We now report on a systematic study in which a large range of pulse durations and plasma densities were investigated through continuous tuning of the laser spectral bandwidth. Indeed, two LPA processes can be distinguished, where beams of the highest quality, with 5.4 pC charge and a spectrum peaked at 2-2.5 MeV are obtained with short pulses propagating in moderate plasma densities. Through Particle-in-Cell simulations the two different acceleration processes are thoroughly explained. Finally, we proceed to show the results of a 5-hour continuous and stable run of our LPA accelerator accumulating more than $\mathrm{18\times10^6}$ consecutive shots, with 2.6 pC charge and peaked 2.5 MeV spectrum. A parametric study of the influence of the laser driver energy through PIC simulations underlines that this unprecedented stability was obtained thanks to micro-scale density gradient injection. Together, these results represent an important step towards stable laser-plasma accelerated electron beams at kilohertz repetition rate.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
A posteriori verification of the positivity of solutions to elliptic boundary value problems
Authors:
Kazuaki Tanaka,
Taisei Asai
Abstract:
The purpose of this paper is to develop a unified a posteriori method for verifying the positivity of solutions of elliptic boundary value problems by assuming neither $H^2$-regularity nor $ L^{\infty} $-error estimation, but only $ H^1_0 $-error estimation. In [J. Comput. Appl. Math, Vol. 370, (2020) 112647], we proposed two approaches to verify the positivity of solutions of several semilinear e…
▽ More
The purpose of this paper is to develop a unified a posteriori method for verifying the positivity of solutions of elliptic boundary value problems by assuming neither $H^2$-regularity nor $ L^{\infty} $-error estimation, but only $ H^1_0 $-error estimation. In [J. Comput. Appl. Math, Vol. 370, (2020) 112647], we proposed two approaches to verify the positivity of solutions of several semilinear elliptic boundary value problems. However, some cases require $ L^{\infty} $-error estimation and, therefore, narrow applicability. In this paper, we extend one of the approaches and combine it with a priori error bounds for Laplacian eigenvalues to obtain a unified method that has wide application. We describe how to evaluate some constants required to verify the positivity of desired solutions. We apply our method to several problems, including those to which the previous method is not applicable.
△ Less
Submitted 30 November, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Logic of computational semi-effects and categorical gluing for equivariant functors
Authors:
Yuichi Nishiwaki,
Toshiya Asai
Abstract:
In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following steps. Firstly, we perform proof-theoretic reconstruction of Moggi's computational metalanguage and obtain a type theory with a modal type $\rhd$ as a refinement. Through the proposition-as-type paradigm, its logic can be se…
▽ More
In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following steps. Firstly, we perform proof-theoretic reconstruction of Moggi's computational metalanguage and obtain a type theory with a modal type $\rhd$ as a refinement. Through the proposition-as-type paradigm, its logic can be seen as a decomposition of lax logic via Benton's adjoint calculus. This calculus models as a programming language a weaker version of effects, which we call \emph{semi-effects}. Secondly, we give its semantics using actegories and equivariant functors. Compared to previous studies of effects and actegories, our approach is more general in that models are directly given by equivariant functors, which include Freyd categories (hence strong monads) as a special case. Thirdly, we show that categorical gluing along equivariant functors is possible and derive logical predicates for $\rhd$-modality. We also show that this gluing, under a natural assumption, gives rise to logical predicates that coincide with those derived by Katsumata's categorical $\top\top$-lifting for Moggi's metalanguage.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Real-time Tone Mapping: A State of the Art Report
Authors:
Yafei Ou,
Prasoon Ambalathankandy,
Masayuki Ikebe,
Shinya Takamaeda,
Masato Motomura,
Tetsuya Asai
Abstract:
The rising demand for high quality display has ensued active research in high dynamic range (HDR) imaging, which has the potential to replace the standard dynamic range imaging. This is due to HDR's features like accurate reproducibility of a scene with its entire spectrum of visible lighting and color depth. But this capability comes with expensive capture, display, storage and distribution resou…
▽ More
The rising demand for high quality display has ensued active research in high dynamic range (HDR) imaging, which has the potential to replace the standard dynamic range imaging. This is due to HDR's features like accurate reproducibility of a scene with its entire spectrum of visible lighting and color depth. But this capability comes with expensive capture, display, storage and distribution resource requirements. Also, display of HDR images/video content on an ordinary display device with limited dynamic range requires some form of adaptation. Many adaptation algorithms, widely known as tone mapping operators, have been studied and proposed in the last few decades. In this state of the art report, we present a comprehensive survey of 50+ tone mapping algorithms that have been implemented on hardware for acceleration and real-time performance. These algorithms have been adapted or redesigned to make them hardware-friendly. All real-time application poses strict timing constraints which requires time exact processing of the algorithm. This design challenge require novel solution, and in this report we focus on these issues. In this we survey will discuss those tonemap algorithms which have been implemented on GPU [1-10], FPGA [11-41], and ASIC [42-53] in terms of their hardware specifications and performance. Output image quality is an important metric for tonemap algorithms. From our literature survey we found that, various objective quality metrics have been used to demonstrate the functionality of adapting the algorithm on hardware platform. We have compiled and studied all the metrics used in this survey [54-67]. Finally, in this report we demonstrate the link between hardware cost and image quality thereby illustrating the underlying trade-off which will be useful for the research community.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
Authors:
Taisei Asai,
Kazuaki Tanaka,
Shin'ichi Oishi
Abstract:
The Hénon equation, a generalized form of the Emden equation, admits symmetry-breaking bifurcation for a certain ratio of the transverse velocity to the radial velocity. Therefore, it has asymmetric solutions on a symmetric domain even though the Emden equation has no asymmetric unidirectional solution on such a domain. We discuss a numerical verification method for proving the existence of soluti…
▽ More
The Hénon equation, a generalized form of the Emden equation, admits symmetry-breaking bifurcation for a certain ratio of the transverse velocity to the radial velocity. Therefore, it has asymmetric solutions on a symmetric domain even though the Emden equation has no asymmetric unidirectional solution on such a domain. We discuss a numerical verification method for proving the existence of solutions of the Hénon equation on a bounded domain. By applying the method to a line-segment domain and a square domain, we numerically prove the existence of solutions of the Hénon equation for several parameters representing the ratio of transverse to radial velocity. As a result, we find a set of undiscovered solutions with three peaks on the square domain.
△ Less
Submitted 28 June, 2021; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Active Brownian Motion in Threshold Distribution of a Coulomb Blockade Model
Authors:
Takayuki Narumi,
Masaru Suzuki,
Yoshiki Hidaka,
Tetsuya Asai,
Shoichi Kai
Abstract:
Randomly-distributed offset charges affect the nonlinear current-voltage property via the fluctuation of the threshold voltage of Coulomb blockade arrays. We analytically derive the distribution of the threshold voltage for a model of one-dimensional locally-coupled Coulomb blockade arrays, and propose a general relationship between conductance and the distribution. In addition, we show the distri…
▽ More
Randomly-distributed offset charges affect the nonlinear current-voltage property via the fluctuation of the threshold voltage of Coulomb blockade arrays. We analytically derive the distribution of the threshold voltage for a model of one-dimensional locally-coupled Coulomb blockade arrays, and propose a general relationship between conductance and the distribution. In addition, we show the distribution for a long array is equivalent to the distribution of the number of upward steps for aligned objects of different height. The distribution satisfies a novel Fokker-Planck equation corresponding to active Brownian motion. The feature of the distribution is clarified by comparing it with the Wigner and Ornstein-Uhlenbeck processes. It is not restricted to the Coulomb blockade model, but instructive in statistical physics generally.
△ Less
Submitted 19 September, 2011; v1 submitted 23 June, 2011;
originally announced June 2011.
-
Field test of quantum key distribution in the Tokyo QKD Network
Authors:
M. Sasaki,
M. Fujiwara,
H. Ishizuka,
W. Klaus,
K. Wakui,
M. Takeoka,
A. Tanaka,
K. Yoshino,
Y. Nambu,
S. Takahashi,
A. Tajima,
A. Tomita,
T. Domeki,
T. Hasegawa,
Y. Sakai,
H. Kobayashi,
T. Asai,
K. Shimizu,
T. Tokura,
T. Tsurumaru,
M. Matsui,
T. Honjo,
K. Tamaki,
H. Takesue,
Y. Tokura
, et al. (18 additional authors not shown)
Abstract:
A novel secure communication network with quantum key distribution in a metropolitan area is reported. Different QKD schemes are integrated to demonstrate secure TV conferencing over a distance of 45km, stable long-term operation, and application to secure mobile phones.
A novel secure communication network with quantum key distribution in a metropolitan area is reported. Different QKD schemes are integrated to demonstrate secure TV conferencing over a distance of 45km, stable long-term operation, and application to secure mobile phones.
△ Less
Submitted 18 March, 2011;
originally announced March 2011.
-
Phase shift spectra of a fiber-microsphere system at the single photon level
Authors:
Akira Tanaka,
Takeshi Asai,
Kiyota Toubaru,
Hideaki Takashima,
Masazumi Fujiwara,
Ryo Okamoto,
Shigeki Takeuchi
Abstract:
We succeeded in measuring phase shift spectra of a microsphere cavity coupled with a tapered fiber using a weak coherent probe light at the single photon level. We utilized a tapered fiber with almost no depolarization and constructed a very stable phase shift measurement scheme based on polarization analysis using photon counting. Using a very weak probe light (\bar{n} = 0:41), we succeeded in ob…
▽ More
We succeeded in measuring phase shift spectra of a microsphere cavity coupled with a tapered fiber using a weak coherent probe light at the single photon level. We utilized a tapered fiber with almost no depolarization and constructed a very stable phase shift measurement scheme based on polarization analysis using photon counting. Using a very weak probe light (\bar{n} = 0:41), we succeeded in observing the transition in the phase shift spectrum between undercoupling and overcoupling (at gap distances of 500 and 100 nm, respectively).We also used quantum state tomography to obtain a 'purity spectrum'. Even in the overcoupling regime, the average purity was 0.982 \pm 0.024 (minimum purity: 0.892), suggesting that the coherence of the fiber-microsphere system was well preserved. Based on these results, we believe this system is applicable to quantum phase gates using single light emitters such as diamond nitrogen vacancy centers.
△ Less
Submitted 26 January, 2011;
originally announced January 2011.
-
Elliptic Gauss Sums and Hecke L-values at s=1
Authors:
Tetsuya Asai
Abstract:
The rationality of the elliptic Gauss sum coefficient is shown. The following is a specific case of our argument.
Let f(u)=sl((1-i)\varpi u), where sl() is the Gauss' lemniscatic sine and \varpi=2.62205... is the real period of the elliptic curve y^2=x^3-x, so that f(u) is an elliptic function relative to the period lattice Z[i].
Let πbe a primary prime of Z[i] such that norm(π)\equiv 13\mod…
▽ More
The rationality of the elliptic Gauss sum coefficient is shown. The following is a specific case of our argument.
Let f(u)=sl((1-i)\varpi u), where sl() is the Gauss' lemniscatic sine and \varpi=2.62205... is the real period of the elliptic curve y^2=x^3-x, so that f(u) is an elliptic function relative to the period lattice Z[i].
Let πbe a primary prime of Z[i] such that norm(π)\equiv 13\mod 16. Let S be the quarter set mod πconsisting of quartic residues.
Let us define G(π):=\sum_{ν\in S} f(ν/π) and \tildeπ:=\prod_{ν\in S} f(ν/π).
The former G(π) is a typical example of elliptic Gauss sum; the latter is regarded as a canonical 4-th root of -π: (\tildeπ)^4=-π. Then we have
Theorem: G(π)/(\tildeπ)^3 is a rational odd integer.
G(π) appears naturally in the central value of Hecke L associated to the quartic residue character mod π, and our proof is based on the functional equation of L and an explicit formula of the root number. In fact, the latter is nothing but the Cassels-Matthews formula on the quartic Gauss sum.
△ Less
Submitted 25 July, 2007;
originally announced July 2007.
-
Neutrino Large Mixing in Universal Yukawa Coupling Model with Small Violation
Authors:
T. Teshima,
T. Asai,
Y. Abe
Abstract:
We have analyzed the possibility that the universal Yukawa coupling (democratic mass matrix) with small violations of Dirac and Majorana neutrinos can induce the large mixing of neutrinos through the seesaw mechanism. The possibility can be achieved by the condition that the violation parameters of Majorana neutrinos are sufficiently smaller than the violation parameters of Dirac neutrinos. Allo…
▽ More
We have analyzed the possibility that the universal Yukawa coupling (democratic mass matrix) with small violations of Dirac and Majorana neutrinos can induce the large mixing of neutrinos through the seesaw mechanism. The possibility can be achieved by the condition that the violation parameters of Majorana neutrinos are sufficiently smaller than the violation parameters of Dirac neutrinos. Allowed regions of the violation parameters producing the observed neutrino mass hierarchy and large neutrino mixing are not so restricted at present in contrast to the violation parameters for quark sector.
△ Less
Submitted 8 June, 2002;
originally announced June 2002.
-
Small Violation of Universal Yukawa Coupling and Neutrino Large Mixing
Authors:
T. Teshima,
T. Asai
Abstract:
We assume the universal Yukawa coupling (democratic mass matrix) with small violations for quarks, charged leptons and neutrinos masses. We could reproduce the mass hierarchy for quark masses and V_{CKM} matrix elements precisely. We adopt the see-saw mechanism for the explanation of smallness of neutrino masses and introduce the right-handed Majorana neutrinos and Dirac neutrinos. We assume the…
▽ More
We assume the universal Yukawa coupling (democratic mass matrix) with small violations for quarks, charged leptons and neutrinos masses. We could reproduce the mass hierarchy for quark masses and V_{CKM} matrix elements precisely. We adopt the see-saw mechanism for the explanation of smallness of neutrino masses and introduce the right-handed Majorana neutrinos and Dirac neutrinos. We assume the universal Yukawa coupling with small violations for Majorana and Dirac neutrinos. We can get the hierarchy of charged lepton masses and effective neutrino masses and the large mixing of neutrinos expressed in V_{NMS}.
△ Less
Submitted 15 September, 2000;
originally announced September 2000.
-
Interface effects on the shot noise in normal metal- d-wave superconductor Junctions
Authors:
Y. Tanaka,
T. Asai,
N. Yoshida,
J. Inoue,
S. Kashiwaya
Abstract:
The current fluctuation in normal metal / d-wave superconductor junctions are studied for various orientation of the crystal by taking account of the spatial variation of the pair potentials. Not only the zero-energy Andreev bound states (ZES) but also the non-zero energy Andreev bound states influence on the properties of differential shot noise. At the tunneling limit, the noise power to curre…
▽ More
The current fluctuation in normal metal / d-wave superconductor junctions are studied for various orientation of the crystal by taking account of the spatial variation of the pair potentials. Not only the zero-energy Andreev bound states (ZES) but also the non-zero energy Andreev bound states influence on the properties of differential shot noise. At the tunneling limit, the noise power to current ratio at zero voltage becomes 0, once the ZES are formed at the interface. Under the presence of a subdominant s-wave component at the interface which breaks time-reversal symmetry, the ratio becomes 4e
△ Less
Submitted 10 December, 1999;
originally announced December 1999.
