-
Long-time asymptotics of 3-solitary waves for the damped nonlinear Klein-Gordon equation
Authors:
Kenjiro Ishizuka
Abstract:
We consider the damped nonlinear Klein-Gordon equation: \begin{align*} \partial_{t}^2u-Δu+2α\partial_{t}u+u-|u|^{p-1}u=0, \ & (t,x) \in \mathbb{R} \times \mathbb{R}^d, \end{align*} where $α>0$, $1\leq d\leq 5$ and energy sub-critical exponents $p>2$. In this paper, we prove that 3-solitary waves behave as if the three solitons are on a line. Furthermore, the solitary waves have alternative signs a…
▽ More
We consider the damped nonlinear Klein-Gordon equation: \begin{align*} \partial_{t}^2u-Δu+2α\partial_{t}u+u-|u|^{p-1}u=0, \ & (t,x) \in \mathbb{R} \times \mathbb{R}^d, \end{align*} where $α>0$, $1\leq d\leq 5$ and energy sub-critical exponents $p>2$. In this paper, we prove that 3-solitary waves behave as if the three solitons are on a line. Furthermore, the solitary waves have alternative signs and their distances are of order $\log{t}$.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
An application of the spherical completion to finite-dimensional normed spaces
Authors:
Kosuke Ishizuka
Abstract:
In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose, we will use the spherical completion. From the perspective of the spherical completion, each finite-dimensional normed space can be embedded into a simple space…
▽ More
In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose, we will use the spherical completion. From the perspective of the spherical completion, each finite-dimensional normed space can be embedded into a simple space. In order to study simple spaces, the orthogonality is important. The orthogonality allows us to find a classification of finite-dimensional normed spaces. As an application of our study, we can get a characterization of strictly epicompact sets, which is an open problem.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Development of Bidirectional Series Elastic Actuator with Torsion Coil Spring and Implementation to the Legged Robot
Authors:
Yuta Koda,
Hiroshi Osawa,
Norio Nagatsuka,
Shinichi Kariya,
Taeko Inagawa,
Kensaku Ishizuka
Abstract:
Many studies have been conducted on Series Elastic Actuators (SEA) for robot joints because they are effective in terms of flexibility, safety, and energy efficiency. The ability of SEA to robustly handle unexpected disturbances has raised expectations for practical applications in environments where robots interact with humans. On the other hand, the development and commercialization of small rob…
▽ More
Many studies have been conducted on Series Elastic Actuators (SEA) for robot joints because they are effective in terms of flexibility, safety, and energy efficiency. The ability of SEA to robustly handle unexpected disturbances has raised expectations for practical applications in environments where robots interact with humans. On the other hand, the development and commercialization of small robots for indoor entertainment applications is also actively underway, and it is thought that by using SEA in these robots, dynamic movements such as jumping and running can be realized. In this work, we developed a small and lightweight SEA using coil springs as elastic elements. By devising a method for fixing the coil spring, it is possible to absorb shock and perform highly accurate force measurement in both rotational directions with a simple structure. In addition, to verify the effectiveness of the developed SEA, we created a small single-legged robot with SEA implemented in the three joints of the hip, knee, and ankle, and we conducted a drop test. By adjusting the initial posture and control gain of each joint, we confirmed that flexible landing and continuous hopping are possible with simple PD position control. The measurement results showed that SEA is effective in terms of shock absorption and energy reuse. This work was performed for research purposes only.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
Orthogonal projectors of LCD codes and their graph representations
Authors:
Keita Ishizuka
Abstract:
We establish one-to-one correspondences between (i) binary even LCD codes and certain simple graphs, and (ii) ternary LCD codes and certain two-graphs.
We establish one-to-one correspondences between (i) binary even LCD codes and certain simple graphs, and (ii) ternary LCD codes and certain two-graphs.
△ Less
Submitted 9 February, 2025; v1 submitted 10 July, 2024;
originally announced July 2024.
-
Constructions of self-orthogonal and LCD subspace codes
Authors:
Dean Crnković,
Keita Ishizuka,
Hadi Kharaghani,
Sho Suda,
Andrea Švob
Abstract:
Recently, the notions of self-orthogonal subspace codes and LCD subspace codes were introduced, and LCD subspace codes obtained from mutually unbiased weighing matrices were studied. In this paper, we provide a method of constructing self-orthogonal and LCD subspace codes from a set of matrices under certain conditions. In particular, we give constructions of self-orthogonal and LCD subspace codes…
▽ More
Recently, the notions of self-orthogonal subspace codes and LCD subspace codes were introduced, and LCD subspace codes obtained from mutually unbiased weighing matrices were studied. In this paper, we provide a method of constructing self-orthogonal and LCD subspace codes from a set of matrices under certain conditions. In particular, we give constructions of self-orthogonal and LCD subspace codes from mutually quasi-unbiased weighing matrices, linked systems of symmetric designs, and linked systems of symmetric group divisible designs, Deza graphs and their equitable partitions.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Long-time asymptotics of the damped nonlinear Klein-Gordon equation with a delta potential
Authors:
Kenjiro Ishizuka
Abstract:
We consider the damped nonlinear Klein-Gordon equation with a delta potential \begin{align*} \partial_{t}^2u-\partial_{x}^2u+2α\partial_{t}u+u-γδ_0u-|u|^{p-1}u=0, \ & (t,x) \in \mathbb{R} \times \mathbb{R}, \end{align*} where $p>2$, $α>0,\ γ<2$, and $δ_0=δ_0 (x)$ denotes the Dirac delta with the mass at the origin. When $γ=0$, Côte, Martel and Yuan proved that any global solution either converges…
▽ More
We consider the damped nonlinear Klein-Gordon equation with a delta potential \begin{align*} \partial_{t}^2u-\partial_{x}^2u+2α\partial_{t}u+u-γδ_0u-|u|^{p-1}u=0, \ & (t,x) \in \mathbb{R} \times \mathbb{R}, \end{align*} where $p>2$, $α>0,\ γ<2$, and $δ_0=δ_0 (x)$ denotes the Dirac delta with the mass at the origin. When $γ=0$, Côte, Martel and Yuan proved that any global solution either converges to 0 or to the sum of $K\geq 1$ decoupled solitary waves which have alternative signs. In this paper, we first prove that any global solution either converges to 0 or to the sum of $K\geq 1$ decoupled solitary waves. Next we construct a single solitary wave solution that moves away from the origin when $γ<0$ and construct an even 2-solitary wave solution when $γ\leq -2$. Last we give single solitary wave solutions and even 2-solitary wave solutions an upper bound for the distance between the origin and the solitary wave.
△ Less
Submitted 25 February, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
A spectral theorem for a non-Archimedean valued field whose residue field is formally real
Authors:
Kosuke Ishizuka
Abstract:
In this paper, we will prove a spectral theorem for self-adjoint compactoid operators. Also, we will study the condition on which the coefficient field must be imposed. In order to get the theorems, we will use the Fredholm theory for compactoid operators. Moreover, the property of maximal complete field is important for our study. These facts will allow us to find that the spectral theorem depend…
▽ More
In this paper, we will prove a spectral theorem for self-adjoint compactoid operators. Also, we will study the condition on which the coefficient field must be imposed. In order to get the theorems, we will use the Fredholm theory for compactoid operators. Moreover, the property of maximal complete field is important for our study. These facts will allow us to find that the spectral theorem depends only on the residue class field, and is independent of the valuation group of the coefficient field. As a result, we can settle the problem of the spectral theorem in the case where the residue class field is formally real.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Ternary extremal four-negacirculant self-dual codes
Authors:
Masaaki Harada,
Keita Ishizuka,
Hadi Kharaghani
Abstract:
In this note, we give basic properties of ternary four-negacirculant self-dual codes. By exhaustive computer search based on the properties, we complete a classification of ternary extremal four-negacirculant self-dual codes of lengths 40, 44, 48, 52 and 60.
In this note, we give basic properties of ternary four-negacirculant self-dual codes. By exhaustive computer search based on the properties, we complete a classification of ternary extremal four-negacirculant self-dual codes of lengths 40, 44, 48, 52 and 60.
△ Less
Submitted 17 June, 2023;
originally announced June 2023.
-
Hadamard matrices of order $36$ formed by codewords in some ternary self-dual codes
Authors:
Masaaki Harada,
Keita Ishizuka
Abstract:
In this note, we study the existence of Hadamard matrices of order $36$ formed by codewords of weight $36$ in some ternary near-extremal self-dual codes of length $36$.
In this note, we study the existence of Hadamard matrices of order $36$ formed by codewords of weight $36$ in some ternary near-extremal self-dual codes of length $36$.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Some compact-like properties in non-archimedean functional analysis
Authors:
Kosuke Ishizuka
Abstract:
First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its coefficient field is spherically complete. Moreover, from the point of view of the minimum principle, we give a necessary and sufficient condition for the c-compactne…
▽ More
First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its coefficient field is spherically complete. Moreover, from the point of view of the minimum principle, we give a necessary and sufficient condition for the c-compactness under a suitable condition. Secondly, we try a new approach to a non-complete local compactoid, which gives us a different perspective than before. Thirdly, we study the non-archimedean Goldstine theorem and Eberlein-Smulian theorem. Consequently, if the coefficient field is spherically complete, we get results completely different from the classical ones. Finally, we give a new result about the closed range theorem by using epicompactness.
△ Less
Submitted 30 January, 2025; v1 submitted 27 July, 2022;
originally announced July 2022.
-
End-to-end Speech-to-Punctuated-Text Recognition
Authors:
Jumon Nozaki,
Tatsuya Kawahara,
Kenkichi Ishizuka,
Taiichi Hashimoto
Abstract:
Conventional automatic speech recognition systems do not produce punctuation marks which are important for the readability of the speech recognition results. They are also needed for subsequent natural language processing tasks such as machine translation. There have been a lot of works on punctuation prediction models that insert punctuation marks into speech recognition results as post-processin…
▽ More
Conventional automatic speech recognition systems do not produce punctuation marks which are important for the readability of the speech recognition results. They are also needed for subsequent natural language processing tasks such as machine translation. There have been a lot of works on punctuation prediction models that insert punctuation marks into speech recognition results as post-processing. However, these studies do not utilize acoustic information for punctuation prediction and are directly affected by speech recognition errors. In this study, we propose an end-to-end model that takes speech as input and outputs punctuated texts. This model is expected to predict punctuation robustly against speech recognition errors while using acoustic information. We also propose to incorporate an auxiliary loss to train the model using the output of the intermediate layer and unpunctuated texts. Through experiments, we compare the performance of the proposed model to that of a cascaded system. The proposed model achieves higher punctuation prediction accuracy than the cascaded system without sacrificing the speech recognition error rate. It is also demonstrated that the multi-task learning using the intermediate output against the unpunctuated text is effective. Moreover, the proposed model has only about 1/7th of the parameters compared to the cascaded system.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Construction of quaternary Hermitian LCD codes
Authors:
Keita Ishizuka
Abstract:
We introduce a general construction of many Hermitian LCD $[n, k]$ codes from a given Hermitian LCD $[n, k]$ code. Furthermore, we present some results on punctured codes and shortened codes of quaternary Hermitian LCD codes. As an application, we improve some of the previously known lower bounds on the largest minimum weights of quaternary Hermitian LCD codes of length $12 \le n \le 30$.
We introduce a general construction of many Hermitian LCD $[n, k]$ codes from a given Hermitian LCD $[n, k]$ code. Furthermore, we present some results on punctured codes and shortened codes of quaternary Hermitian LCD codes. As an application, we improve some of the previously known lower bounds on the largest minimum weights of quaternary Hermitian LCD codes of length $12 \le n \le 30$.
△ Less
Submitted 2 July, 2022;
originally announced July 2022.
-
Global dynamics around 2-solitons for the nonlinear damped Klein-Gordon equations
Authors:
Kenjiro Ishizuka,
Kenji Nakanishi
Abstract:
Global behavior of solutions is studied for the nonlinear Klein-Gordon equation with a focusing power nonlinearity and a damping term in the energy space on the Euclidean space. We give a complete classification of solutions into 5 types of global behavior for all initial data in a small neighborhood of each superposition of two ground states (2-solitons) with the opposite signs and sufficient spa…
▽ More
Global behavior of solutions is studied for the nonlinear Klein-Gordon equation with a focusing power nonlinearity and a damping term in the energy space on the Euclidean space. We give a complete classification of solutions into 5 types of global behavior for all initial data in a small neighborhood of each superposition of two ground states (2-solitons) with the opposite signs and sufficient spatial distance. The neighborhood contains, for each sign of the ground state, the manifold with codimension one in the energy space, consisting of solutions that converge to the ground state at time infinity. The two manifolds are joined at their boundary by the manifold with codimension two of solutions that are asymptotic to 2-solitons moving away from each other. The connected union of these three manifolds separates the rest of the neighborhood into the open set of global decaying solutions and that of blow-up. The main ingredient in the proof is a difference estimate on two solutions starting near 2-solitons and asymptotic to 1-solitons. The main difficulty is in controlling the direction of the two unstable modes attached to 2-solitons, while the soliton interactions are not uniformly integrable in time. It is resolved by showing that the non-scalar part of the interaction between the unstable modes is uniformly integrable due to the symmetry of the equation and the 2-solitons.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Construction for both self-dual codes and LCD codes
Authors:
Keita Ishizuka,
Ken Saito
Abstract:
From a given $[n, k]$ code $C$, we give a method for constructing many $[n, k]$ codes $C'$ such that the hull dimensions of $C$ and $C'$ are identical. This method can be applied to constructions of both self-dual codes and linear complementary dual codes (LCD codes for short). Using the method, we construct 661 new inequivalent extremal doubly even $[56, 28, 12]$ codes. Furthermore, constructing…
▽ More
From a given $[n, k]$ code $C$, we give a method for constructing many $[n, k]$ codes $C'$ such that the hull dimensions of $C$ and $C'$ are identical. This method can be applied to constructions of both self-dual codes and linear complementary dual codes (LCD codes for short). Using the method, we construct 661 new inequivalent extremal doubly even $[56, 28, 12]$ codes. Furthermore, constructing LCD codes by the method, we improve some of the previously known lower bounds on the largest minimum weights of binary LCD codes of length $n=26,28 \le n \le 40$.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Learning Bipedal Robot Locomotion from Human Movement
Authors:
Michael Taylor,
Sergey Bashkirov,
Javier Fernandez Rico,
Ike Toriyama,
Naoyuki Miyada,
Hideki Yanagisawa,
Kensaku Ishizuka
Abstract:
Teaching an anthropomorphic robot from human example offers the opportunity to impart humanlike qualities on its movement. In this work we present a reinforcement learning based method for teaching a real world bipedal robot to perform movements directly from human motion capture data. Our method seamlessly transitions from training in a simulation environment to executing on a physical robot with…
▽ More
Teaching an anthropomorphic robot from human example offers the opportunity to impart humanlike qualities on its movement. In this work we present a reinforcement learning based method for teaching a real world bipedal robot to perform movements directly from human motion capture data. Our method seamlessly transitions from training in a simulation environment to executing on a physical robot without requiring any real world training iterations or offline steps. To overcome the disparity in joint configurations between the robot and the motion capture actor, our method incorporates motion re-targeting into the training process. Domain randomization techniques are used to compensate for the differences between the simulated and physical systems. We demonstrate our method on an internally developed humanoid robot with movements ranging from a dynamic walk cycle to complex balancing and waving. Our controller preserves the style imparted by the motion capture data and exhibits graceful failure modes resulting in safe operation for the robot. This work was performed for research purposes only.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Peculiar atomic bond nature in platinum monatomic chains
Authors:
Jiaqi Zhang,
Keisuke Ishizuka,
Masahiko Tomitori,
Toyoko Arai,
Kenta Hongo,
Ryo Maezono,
Erio Tosatti,
Yoshifumi Oshima
Abstract:
Metal atomic chains have been reported to change their electronic or magnetic properties by slight mechanical stimulus. However, the mechanical response has been veiled because of lack of information on the bond nature. Here, we clarify the bond nature in platinum (Pt) monatomic chains by our developed in-situ transmission electron microscope method. The stiffness is measured with sub N/m precisio…
▽ More
Metal atomic chains have been reported to change their electronic or magnetic properties by slight mechanical stimulus. However, the mechanical response has been veiled because of lack of information on the bond nature. Here, we clarify the bond nature in platinum (Pt) monatomic chains by our developed in-situ transmission electron microscope method. The stiffness is measured with sub N/m precision by quartz length-extension resonator. The bond stiffnesses at the middle of the chain and at the connecting to the base are estimated to be 25 and 23 N/m, respectively, which are higher than the bulk counterpart. Interestingly, the bond length of 0.25 nm is found to be elastically stretched to 0.31 nm, corresponding to 24% in strain. Such peculiar bond nature could be explained by a novel concept of "string tension". This study is a milestone that will significantly change the way we think about atomic bonds in one-dimensional substance.
△ Less
Submitted 30 April, 2021;
originally announced April 2021.
-
On the existence of quaternary Hermitian LCD codes with Hermitian dual distance $1$
Authors:
Keita Ishizuka,
Ken Saito
Abstract:
For $k \ge 2$ and a positive integer $d_0$, we show that if there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance greater than or equal to $2$, then there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance $1$. As a consequence, we generalize a result by Araya, Har…
▽ More
For $k \ge 2$ and a positive integer $d_0$, we show that if there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance greater than or equal to $2$, then there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance $1$. As a consequence, we generalize a result by Araya, Harada and Saito on the nonexistence of some quaternary Hermitian linear complementary dual codes.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
Classification of optimal quaternary Hermitian LCD codes of dimension $2$
Authors:
Keita Ishizuka
Abstract:
Hermitian linear complementary dual codes are linear codes whose intersection with their Hermitian dual code is trivial. The largest minimum weight among quaternary Hermitian linear complementary dual codes of dimension $2$ is known for each length. We give the complete classification of optimal quaternary Hermitian linear complementary dual codes of dimension $2$.
Hermitian linear complementary dual codes are linear codes whose intersection with their Hermitian dual code is trivial. The largest minimum weight among quaternary Hermitian linear complementary dual codes of dimension $2$ is known for each length. We give the complete classification of optimal quaternary Hermitian linear complementary dual codes of dimension $2$.
△ Less
Submitted 18 April, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Developing a Multi-Platform Speech Recording System Toward Open Service of Building Large-Scale Speech Corpora
Authors:
Keita Ishizuka,
Takashi Nose
Abstract:
This paper briefly reports our ongoing attempt at the development of a multi-platform browser-based speech recording system. We designed the system toward a service of providing open service of building large-scale speech corpora at a low-cost for any researchers and developers related to speech processing. The recent increase in the use of crowdsourcing services, e.g., Amazon Mechanical Turk, ena…
▽ More
This paper briefly reports our ongoing attempt at the development of a multi-platform browser-based speech recording system. We designed the system toward a service of providing open service of building large-scale speech corpora at a low-cost for any researchers and developers related to speech processing. The recent increase in the use of crowdsourcing services, e.g., Amazon Mechanical Turk, enable us to reduce the cost of collecting speakers in the web, and there have been many attempts to develop the automated speech collecting platforms or application that is designed for the use the crowdsourcing. However, one of the major problems in the previous studies and developments for the attempts is that most of the systems are not a form of common service of speech recording and corpus building, and each corpus builder is necessary to develop the system in their own environment including a web server. For this problem, we develope a new platform where both the corpus builders and recording participants can commonly use a single system and service by creating their user accounts. A brief introduction of the system is given in this paper as the start of this challenge.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
