-
Ergodic automorphisms on Kirchberg algebras
Authors:
Kengo Matsumoto,
Taro Sogabe
Abstract:
Combining the theory of extensions of C*-algebras and the Pimsner construction, we show that every countable infinite discrete group admits an ergodic action on arbitrary unital Kirchberg algebra. In the proof, we give a Pimsner construction realizing many unital subalgebras of a given unital Kirchberg algebra as the fixed point algebras of single automorphisms. Furthermore, for amenable infinite…
▽ More
Combining the theory of extensions of C*-algebras and the Pimsner construction, we show that every countable infinite discrete group admits an ergodic action on arbitrary unital Kirchberg algebra. In the proof, we give a Pimsner construction realizing many unital subalgebras of a given unital Kirchberg algebra as the fixed point algebras of single automorphisms. Furthermore, for amenable infinite discrete groups, we show that every point-wise outer action on arbitrary unital Kirchberg algebra has an ergodic cocycle perturbation with the help of Gabe--Szabó's theorem and Baum--Connes' conjecture.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Topological full groups arising from Cuntz and Cuntz-Toeplitz algebras and their crossed products
Authors:
Ryoya Arimoto,
Taro Sogabe
Abstract:
In this paper, we investigate the topological full groups arising from the Cuntz and Cuntz-Toeplitz algebras and their crossed products with the Cartan subalgebras of Cuntz and Cuntz-Toeplitz algebras. We study the normal subgroups and abelianization of these groups and completely determine the KMS states of the reduced crossed products with respect to some canonical gauge actions.
In this paper, we investigate the topological full groups arising from the Cuntz and Cuntz-Toeplitz algebras and their crossed products with the Cartan subalgebras of Cuntz and Cuntz-Toeplitz algebras. We study the normal subgroups and abelianization of these groups and completely determine the KMS states of the reduced crossed products with respect to some canonical gauge actions.
△ Less
Submitted 9 April, 2025; v1 submitted 7 April, 2025;
originally announced April 2025.
-
Reciprocal Cuntz--Krieger algebras
Authors:
Kengo Matsumoto,
Taro Sogabe
Abstract:
Reciprocality in Kirchberg algebras is a duality between strong extension groups and K-theory groups. We describe a construction of the reciprocal dual algebra $\widehat{\mathcal{A}}$ for a Kirchberg algebra $\mathcal{A}$ with finitely generated K-groups via K-theoretic duality for extensions. In particular, we may concretely realize the reciprocal algebra $\widehat{\mathcal{O}}_A$ for simple Cunt…
▽ More
Reciprocality in Kirchberg algebras is a duality between strong extension groups and K-theory groups. We describe a construction of the reciprocal dual algebra $\widehat{\mathcal{A}}$ for a Kirchberg algebra $\mathcal{A}$ with finitely generated K-groups via K-theoretic duality for extensions. In particular, we may concretely realize the reciprocal algebra $\widehat{\mathcal{O}}_A$ for simple Cuntz--Krieger algebras $\mathcal{O}_A$. As a result, the algebra $\widehat{\mathcal{O}}_A$ is realized as a unital simple purely infinite universal $C^*$-algebra generated by a family of partial isometries subject to certain operator relations. We will also study gauge actions on the reciprocal algebra $\widehat{\mathcal{O}}_A$ and prove that there exists an isomorphism between the fundamental groups $π_1({\operatorname{Aut}}({\mathcal{O}}_A))$ and $π_1({\operatorname{Aut}}(\widehat{\mathcal{O}}_A))$ preserving their gauge actions.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
A preconditioning technique of Gauss--Legendre quadrature for the logarithm of symmetric positive definite matrices
Authors:
Fuminori Tatsuoka,
Tomohiro Sogabe,
Tomoya Kemmochi,
Shao-Liang Zhang
Abstract:
This note considers the computation of the logarithm of symmetric positive definite matrices using the Gauss--Legendre (GL) quadrature. The GL quadrature becomes slow when the condition number of the given matrix is large. In this note, we propose a technique dividing the matrix logarithm into two matrix logarithms, where the condition numbers of the divided logarithm arguments are smaller than th…
▽ More
This note considers the computation of the logarithm of symmetric positive definite matrices using the Gauss--Legendre (GL) quadrature. The GL quadrature becomes slow when the condition number of the given matrix is large. In this note, we propose a technique dividing the matrix logarithm into two matrix logarithms, where the condition numbers of the divided logarithm arguments are smaller than that of the original matrix. Although the matrix logarithm needs to be computed twice, each computation can be performed more efficiently, and it potentially reduces the overall computational cost. It is shown that the proposed technique is effective when the condition number of the given matrix is approximately between $130$ and $3.0\times 10^5$.
△ Less
Submitted 16 March, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Total extension groups for unital Kirchberg algebras
Authors:
Kengo Matsumoto,
Taro Sogabe
Abstract:
We introduce a hierarchy for unital Kirchberg algebras with finitely generated K-groups by which the first and second homotopy groups of the automorphism groups serve as a complete invariant of classification. We also introduce an invariant called the total extension group which is the direct sum of the strong and weak extension groups. In the case of unital Kirchberg algebras with finitely genera…
▽ More
We introduce a hierarchy for unital Kirchberg algebras with finitely generated K-groups by which the first and second homotopy groups of the automorphism groups serve as a complete invariant of classification. We also introduce an invariant called the total extension group which is the direct sum of the strong and weak extension groups. In the case of unital Kirchberg algebras with finitely generated K-groups, the total extension group gives a complete invariant and provides a useful tool to classify the Cuntz--Krieger algebras.
△ Less
Submitted 24 September, 2024; v1 submitted 18 August, 2024;
originally announced August 2024.
-
On the homotopy groups of the automorphism groups of Cuntz-Krieger algebras
Authors:
Kengo Matsumoto,
Taro Sogabe
Abstract:
In this paper, we first present the homotopy groups of the automorphism groups of Cuntz--Krieger algebras in terms of the underlying matrices of the Cuntz--Krieger algebras. We also show that the homotopy groups are complete invariants of the isomorphism class of the Cuntz--Krieger algebras. As a result, the isomorphism type of Cuntz--Krieger algebras are completely characterized by the group stru…
▽ More
In this paper, we first present the homotopy groups of the automorphism groups of Cuntz--Krieger algebras in terms of the underlying matrices of the Cuntz--Krieger algebras. We also show that the homotopy groups are complete invariants of the isomorphism class of the Cuntz--Krieger algebras. As a result, the isomorphism type of Cuntz--Krieger algebras are completely characterized by the group structure of the weak and strong extension groups.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Spanier-Whitehead K-Duality and Duality of Extensions of $C^*$-algebras
Authors:
Ulrich Pennig,
Taro Sogabe
Abstract:
KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the cohomological side of KK-theory. Any extension of a unital $C^*$-algebra by the compacts has two natural exact triangles associated to it (the extension sequence its…
▽ More
KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the cohomological side of KK-theory. Any extension of a unital $C^*$-algebra by the compacts has two natural exact triangles associated to it (the extension sequence itself and a mapping cone sequence). We find a duality (based on Spanier-Whitehead K-duality) that interchanges the roles of these two triangles together with their six-term exact sequences. This allows us to give a categorical picture for the duality of Cuntz-Krieger-Toeplitz extensions discovered by K. Matsumoto.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
A tensor Alternating Anderson-Richardson method for solving multilinear systems with M-tensors
Authors:
Jing Niu,
Lei Du,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
It is well-known that a multilinear system with a nonsingular M-tensor and a positive right-hand side has a unique positive solution. Tensor splitting methods generalizing the classical iterative methods for linear systems have been proposed for finding the unique positive solution. The Alternating Anderson-Richardson (AAR) method is an effective method to accelerate the classical iterative method…
▽ More
It is well-known that a multilinear system with a nonsingular M-tensor and a positive right-hand side has a unique positive solution. Tensor splitting methods generalizing the classical iterative methods for linear systems have been proposed for finding the unique positive solution. The Alternating Anderson-Richardson (AAR) method is an effective method to accelerate the classical iterative methods. In this study, we apply the idea of AAR for finding the unique positive solution quickly. We first present a tensor Richardson method based on tensor regular splittings, then apply Anderson acceleration to the tensor Richardson method and derive a tensor Anderson-Richardson method, finally, we periodically employ the tensor Anderson-Richardson method within the tensor Richardson method and propose a tensor AAR method. Numerical experiments show that the proposed method is effective in accelerating tensor splitting methods.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Matrix equation representation of the convolution equation and its unique solvability
Authors:
Yuki Satake,
Tomohiro Sogabe,
Tomoya Kemmochi,
Shao-Liang Zhang
Abstract:
We consider the convolution equation $F*X=B$, where $F\in\mathbb{R}^{3\times 3}$ and $B\in\mathbb{R}^{m\times n}$ are given, and $X\in\mathbb{R}^{m\times n}$ is to be determined. The convolution equation can be regarded as a linear system with a coefficient matrix of special structure. This fact has led to many studies including efficient numerical algorithms for solving the convolution equation.…
▽ More
We consider the convolution equation $F*X=B$, where $F\in\mathbb{R}^{3\times 3}$ and $B\in\mathbb{R}^{m\times n}$ are given, and $X\in\mathbb{R}^{m\times n}$ is to be determined. The convolution equation can be regarded as a linear system with a coefficient matrix of special structure. This fact has led to many studies including efficient numerical algorithms for solving the convolution equation. In this study, we show that the convolution equation can be represented as a generalized Sylvester equation. Furthermore, for some realistic examples arising from image processing, we show that the generalized Sylvester equation can be reduced to a simpler form, and analyze the unique solvability of the convolution equation.
△ Less
Submitted 24 October, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Computing the matrix exponential with the double exponential formula
Authors:
Fuminori Tatsuoka,
Tomohiro Sogabe,
Tomoya Kemmochi,
Shao-Liang Zhang
Abstract:
This paper considers the computation of the matrix exponential $\mathrm{e}^A$ with numerical quadrature. Although several quadrature-based algorithms have been proposed, they focus on (near) Hermitian matrices. In order to deal with non-Hermitian matrices, we use another integral representation including an oscillatory term and consider applying the double exponential (DE) formula specialized to F…
▽ More
This paper considers the computation of the matrix exponential $\mathrm{e}^A$ with numerical quadrature. Although several quadrature-based algorithms have been proposed, they focus on (near) Hermitian matrices. In order to deal with non-Hermitian matrices, we use another integral representation including an oscillatory term and consider applying the double exponential (DE) formula specialized to Fourier integrals. The DE formula transforms the given integral into another integral whose interval is infinite, and therefore it is necessary to truncate the infinite interval. In this paper, to utilize the DE formula, we analyze the truncation error and propose two algorithms. The first one approximates $\mathrm{e}^A$ with the fixed mesh size which is a parameter in the DE formula affecting the accuracy. Second one computes $\mathrm{e}^A$ based on the first one with automatic selection of the mesh size depending on the given error tolerance.
△ Less
Submitted 25 June, 2023;
originally announced June 2023.
-
A structure-preserving numerical method for the fourth-order geometric evolution equations for planar curves
Authors:
E. Miyazaki,
T. Kemmochi,
T. Sogabe,
S. -L. Zhang
Abstract:
For fourth-order geometric evolution equations for planar curves with the dissipation of the bending energy, including the Willmore and the Helfrich flows, we consider a numerical approach. In this study, we construct a structure-preserving method based on a discrete variational derivative method. Furthermore, to prevent the vertex concentration that may lead to numerical instability, we discretel…
▽ More
For fourth-order geometric evolution equations for planar curves with the dissipation of the bending energy, including the Willmore and the Helfrich flows, we consider a numerical approach. In this study, we construct a structure-preserving method based on a discrete variational derivative method. Furthermore, to prevent the vertex concentration that may lead to numerical instability, we discretely introduce Deckelnick's tangential velocity. Here, a modification term is introduced in the process of adding tangential velocity. This modified term enables the method to reproduce the equations' properties while preventing vertex concentration. Numerical experiments demonstrate that the proposed approach captures the equations' properties with high accuracy and avoids the concentration of vertices.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
The Reciprocal Kirchberg Algebras
Authors:
Taro Sogabe
Abstract:
For two unital Kirchberg algebras with finitely generated K-groups, we introduce a property, called reciprocality, which is proved to be closely related to the homotopy theory of Kirchberg algebras. We show the Spanier--Whitehead duality for bundles of separable nuclear UCT C*-algebras with finitely generated K-groups and conclude that two reciprocal Kirchberg algebras share the same structure of…
▽ More
For two unital Kirchberg algebras with finitely generated K-groups, we introduce a property, called reciprocality, which is proved to be closely related to the homotopy theory of Kirchberg algebras. We show the Spanier--Whitehead duality for bundles of separable nuclear UCT C*-algebras with finitely generated K-groups and conclude that two reciprocal Kirchberg algebras share the same structure of their bundles.
△ Less
Submitted 27 August, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Adaptive projected SOR algorithms for nonnegative quadratic programming
Authors:
Yuto Miyatake,
Tomohiro Sogabe
Abstract:
The choice of relaxation parameter in the projected successive overrelaxation (PSOR) method for nonnegative quadratic programming problems is problem-dependent. We present novel adaptive PSOR algorithms that adaptively control the relaxation parameter using the Wolfe conditions. The method and its variants can be applied to various problems without requiring additional assumptions, barring the pos…
▽ More
The choice of relaxation parameter in the projected successive overrelaxation (PSOR) method for nonnegative quadratic programming problems is problem-dependent. We present novel adaptive PSOR algorithms that adaptively control the relaxation parameter using the Wolfe conditions. The method and its variants can be applied to various problems without requiring additional assumptions, barring the positive semidefiniteness concerning the matrix that defines the objective function, and the cost for updating the parameter is negligible in the whole iteration. Numerical experiments show that the proposed methods often perform comparably to (or sometimes superior to) the PSOR method with a nearly optimal relaxation parameter.
△ Less
Submitted 9 September, 2024; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Computing the matrix fractional power with the double exponential formula
Authors:
Fuminori Tatsuoka,
Tomohiro Sogabe,
Yuto Miyatake,
Tomoya Kemmochi,
Shao-Liang Zhang
Abstract:
Two quadrature-based algorithms for computing the matrix fractional power $A^α$ are presented in this paper. These algorithms are based on the double exponential (DE) formula, which is well-known for its effectiveness in computing improper integrals as well as in treating nearly arbitrary endpoint singularities. The DE formula transforms a given integral into another integral that is suited for th…
▽ More
Two quadrature-based algorithms for computing the matrix fractional power $A^α$ are presented in this paper. These algorithms are based on the double exponential (DE) formula, which is well-known for its effectiveness in computing improper integrals as well as in treating nearly arbitrary endpoint singularities. The DE formula transforms a given integral into another integral that is suited for the trapezoidal rule; in this process, the integral interval is transformed to the infinite interval. Therefore, it is necessary to truncate the infinite interval into an appropriate finite interval. In this paper, a truncation method, which is based on a truncation error analysis specialized to the computation of $A^α$, is proposed. Then, two algorithms are presented -- one computes $A^α$ with a fixed number of abscissas, and the other computes $A^α$ adaptively. Subsequently, the convergence rate of the DE formula for Hermitian positive definite matrices is analyzed. The convergence rate analysis shows that the DE formula converges faster than the Gaussian quadrature when $A$ is ill-conditioned and $α$ is a non-unit fraction. Numerical results show that our algorithms achieved the required accuracy and were faster than other algorithms in several situations.
△ Less
Submitted 10 April, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
A topological invariant for continuous fields of the Cuntz algebras
Authors:
Taro Sogabe
Abstract:
For a continuous field of the Cuntz algebra over a finite CW complex, we introduce a topological invariant, which is an element in Dadarlat-Pennig's generalized cohomology group, and prove that the invariant is trivial if and only if the field comes from a vector bundle via Pimsner's construction.
For a continuous field of the Cuntz algebra over a finite CW complex, we introduce a topological invariant, which is an element in Dadarlat-Pennig's generalized cohomology group, and prove that the invariant is trivial if and only if the field comes from a vector bundle via Pimsner's construction.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
K$ω$ -- Open-source library for the shifted Krylov subspace method of the form $(zI-H)x=b$
Authors:
Takeo Hoshi,
Mitsuaki Kawamura,
Kazuyoshi Yoshimi,
Yuichi Motoyama,
Takahiro Misawa,
Youhei Yamaji,
Synge Todo,
Naoki Kawashima,
Tomohiro Sogabe
Abstract:
We develop K$ω$, an open-source linear algebra library for the shifted Krylov subspace methods. The methods solve a set of shifted linear equations $(z_k I-H)x^{(k)}=b\, (k=0,1,2,...)$ for a given matrix $H$ and a vector $b$, simultaneously. The leading order of the operational cost is the same as that for a single equation. The shift invariance of the Krylov subspace is the mathematical foundatio…
▽ More
We develop K$ω$, an open-source linear algebra library for the shifted Krylov subspace methods. The methods solve a set of shifted linear equations $(z_k I-H)x^{(k)}=b\, (k=0,1,2,...)$ for a given matrix $H$ and a vector $b$, simultaneously. The leading order of the operational cost is the same as that for a single equation. The shift invariance of the Krylov subspace is the mathematical foundation of the shifted Krylov subspace methods. Applications in materials science are presented to demonstrate the advantages of the algorithm over the standard Krylov subspace methods such as the Lanczos method. We introduce benchmark calculations of (i) an excited (optical) spectrum and (ii) intermediate eigenvalues by the contour integral on the complex plane. In combination with the quantum lattice solver $\mathcal{H} Φ$, K$ω$ can realize parallel computation of excitation spectra and intermediate eigenvalues for various quantum lattice models.
△ Less
Submitted 28 May, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
A thick-restart Lanczos type method for Hermitian $J$-symmetric eigenvalue problems
Authors:
Ken-Ichi Ishikawa,
Tomohiro Sogabe
Abstract:
A thick-restart Lanczos type algorithm is proposed for Hermitian $J$-symmetric matrices. Since Hermitian $J$-symmetric matrices possess doubly degenerate spectra or doubly multiple eigenvalues with a simple relation between the degenerate eigenvectors, we can improve the convergence of the Lanczos algorithm by restricting the search space of the Krylov subspace to that spanned by one of each pair…
▽ More
A thick-restart Lanczos type algorithm is proposed for Hermitian $J$-symmetric matrices. Since Hermitian $J$-symmetric matrices possess doubly degenerate spectra or doubly multiple eigenvalues with a simple relation between the degenerate eigenvectors, we can improve the convergence of the Lanczos algorithm by restricting the search space of the Krylov subspace to that spanned by one of each pair of the degenerate eigenvector pairs. We show that the Lanczos iteration is compatible with the $J$-symmetry, so that the subspace can be split into two subspaces that are orthogonal to each other. The proposed algorithm searches for eigenvectors in one of the two subspaces without the multiplicity. The other eigenvectors paired to them can be easily reconstructed with the simple relation from the $J$-symmetry. We test our algorithm on randomly generated small dense matrices and a sparse large matrix originating from a quantum field theory.
△ Less
Submitted 10 September, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Modified Strang splitting for semilinear parabolic problems
Authors:
Kosuke Nakano,
Tomoya Kemmochi,
Yuto Miyatake,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
We consider applying the Strang splitting to semilinear parabolic problems. The key ingredients of the Strang splitting are the decomposition of the equation into several parts and the computation of approximate solutions by combining the time evolution of each split equation. However, when the Dirichlet boundary condition is imposed, order reduction could occur due to the incompatibility of the s…
▽ More
We consider applying the Strang splitting to semilinear parabolic problems. The key ingredients of the Strang splitting are the decomposition of the equation into several parts and the computation of approximate solutions by combining the time evolution of each split equation. However, when the Dirichlet boundary condition is imposed, order reduction could occur due to the incompatibility of the split equations with the boundary condition. In this paper, to overcome the order reduction, a modified Strang splitting procedure is presented for the one-dimensional semilinear parabolic equation with first-order spatial derivatives, like the Burgers equation.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Relation between the T-congruence Sylvester equation and the generalized Sylvester equation
Authors:
Yuki Satake,
Masaya Oozawa,
Tomohiro Sogabe,
Yuto Miyatake,
Tomoya Kemmochi,
Shao-Liang Zhang
Abstract:
The T-congruence Sylvester equation is the matrix equation $AX+X^{\mathrm{T}}B=C$, where $A\in\mathbb{R}^{m\times n}$, $B\in\mathbb{R}^{n\times m}$, and $C\in\mathbb{R}^{m\times m}$ are given, and $X\in\mathbb{R}^{n\times m}$ is to be determined. Recently, Oozawa et al. discovered a transformation that the matrix equation is equivalent to one of the well-studied matrix equations (the Lyapunov equa…
▽ More
The T-congruence Sylvester equation is the matrix equation $AX+X^{\mathrm{T}}B=C$, where $A\in\mathbb{R}^{m\times n}$, $B\in\mathbb{R}^{n\times m}$, and $C\in\mathbb{R}^{m\times m}$ are given, and $X\in\mathbb{R}^{n\times m}$ is to be determined. Recently, Oozawa et al. discovered a transformation that the matrix equation is equivalent to one of the well-studied matrix equations (the Lyapunov equation); however, the condition of the transformation seems to be too limited because matrices $A$ and $B$ are assumed to be square matrices ($m=n$). In this paper, two transformations are provided for rectangular matrices $A$ and $B$. One of them is an extension of the result of Oozawa et al. for the case $m\ge n$, and the other is a novel transformation for the case $m\le n$.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
The group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra
Authors:
Masaki Izumi,
Taro Sogabe
Abstract:
We determine the group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra $O_{n+1}$ for finite n in terms of K-theory. We show that there is an example of a space for which the homotopy set is a non-commutative group, and hence the classifying space of the automorphism group of the Cuntz algebra for finite n is not an H-space. We also make an improvement of D…
▽ More
We determine the group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra $O_{n+1}$ for finite n in terms of K-theory. We show that there is an example of a space for which the homotopy set is a non-commutative group, and hence the classifying space of the automorphism group of the Cuntz algebra for finite n is not an H-space. We also make an improvement of Dadarlat's classification of continuous fields of the Cuntz algebras in terms of vector bundles.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras
Authors:
Taro Sogabe
Abstract:
The Cuntz-Toeplitz algebra $E_{n+1}$ for $n\geq1$ is the universal C*-algebra generated by $n+1$ isometries with mutually orthogonal ranges. In this paper, we investigate the automorphism groups of the Cuntz-Toeplitz algebras and determine their homotopy groups.
The Cuntz-Toeplitz algebra $E_{n+1}$ for $n\geq1$ is the universal C*-algebra generated by $n+1$ isometries with mutually orthogonal ranges. In this paper, we investigate the automorphism groups of the Cuntz-Toeplitz algebras and determine their homotopy groups.
△ Less
Submitted 20 March, 2019; v1 submitted 7 March, 2019;
originally announced March 2019.
-
A structure-preserving Fourier pseudo-spectral linearly implicit scheme for the space-fractional nonlinear Schrödinger equation
Authors:
Yuto Miyatake,
Tai Nakagawa,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
We propose a Fourier pseudo-spectral scheme for the space-fractional nonlinear Schrödinger equation. The proposed scheme has the following features: it is linearly implicit, it preserves two invariants of the equation, its unique solvability is guaranteed without any restrictions on space and time step sizes. The scheme requires solving a complex symmetric linear system per time step. To solve the…
▽ More
We propose a Fourier pseudo-spectral scheme for the space-fractional nonlinear Schrödinger equation. The proposed scheme has the following features: it is linearly implicit, it preserves two invariants of the equation, its unique solvability is guaranteed without any restrictions on space and time step sizes. The scheme requires solving a complex symmetric linear system per time step. To solve the system efficiently, we also present a certain variable transformation and preconditioner.
△ Less
Submitted 1 September, 2019; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Algorithms for the computation of the matrix logarithm based on the double exponential formula
Authors:
Fuminori Tatsuoka,
Tomohiro Sogabe,
Yuto Miyatake,
Shao-Liang Zhang
Abstract:
We consider the computation of the matrix logarithm by using numerical quadrature. The efficiency of numerical quadrature depends on the integrand and the choice of quadrature formula. The Gauss--Legendre quadrature has been conventionally employed; however, the convergence could be slow for ill-conditioned matrices. This effect may stem from the rapid change of the integrand values. To avoid such…
▽ More
We consider the computation of the matrix logarithm by using numerical quadrature. The efficiency of numerical quadrature depends on the integrand and the choice of quadrature formula. The Gauss--Legendre quadrature has been conventionally employed; however, the convergence could be slow for ill-conditioned matrices. This effect may stem from the rapid change of the integrand values. To avoid such situations, we focus on the double exponential formula, which has been developed to address integrands with endpoint singularity. In order to utilize the double exponential formula, we must determine a suitable finite integration interval, which provides the required accuracy and efficiency. In this paper, we present a method for selecting a suitable finite interval based on an error analysis as well as two algorithms, and one of these algorithms addresses error control.
△ Less
Submitted 2 August, 2019; v1 submitted 23 January, 2019;
originally announced January 2019.
-
Adaptive SOR methods based on the Wolfe conditions
Authors:
Yuto Miyatake,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
Because the expense of estimating the optimal value of the relaxation parameter in the successive over-relaxation (SOR) method is usually prohibitive, the parameter is often adaptively controlled. In this paper, new adaptive SOR methods are presented that are applicable to a variety of symmetric positive definite linear systems and do not require additional matrix-vector products when updating the…
▽ More
Because the expense of estimating the optimal value of the relaxation parameter in the successive over-relaxation (SOR) method is usually prohibitive, the parameter is often adaptively controlled. In this paper, new adaptive SOR methods are presented that are applicable to a variety of symmetric positive definite linear systems and do not require additional matrix-vector products when updating the parameter. To this end, we regard the SOR method as an algorithm for minimising a certain objective function, which yields an interpretation of the relaxation parameter as the step size following a certain change of variables. This interpretation enables us to adaptively control the step size based on some line search techniques, such as the Wolfe conditions. Numerical examples demonstrate the favourable behaviour of the proposed methods.
△ Less
Submitted 31 May, 2019; v1 submitted 26 June, 2018;
originally announced June 2018.
-
On the equivalence between SOR-type methods for linear systems and discrete gradient methods for gradient systems
Authors:
Yuto Miyatake,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
The iterative nature of many discretisation methods for continuous dynamical systems has led to the study of the connections between iterative numerical methods in numerical linear algebra and continuous dynamical systems. Certain researchers have used the explicit Euler method to understand this connection, but this method has its limitation. In this study, we present a new connection between suc…
▽ More
The iterative nature of many discretisation methods for continuous dynamical systems has led to the study of the connections between iterative numerical methods in numerical linear algebra and continuous dynamical systems. Certain researchers have used the explicit Euler method to understand this connection, but this method has its limitation. In this study, we present a new connection between successive over-relaxation (SOR)-type methods and gradient systems; this connection is based on discrete gradient methods. The focus of the discussion is the equivalence between SOR-type methods and discrete gradient methods applied to gradient systems. The discussion leads to new interpretations for SOR-type methods. For example, we found a new way to derive these methods; these methods monotonically decrease a certain quadratic function and obtain a new interpretation of the relaxation parameter. We also obtained a new discrete gradient while studying the new connection.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Solution of the $k$-th eigenvalue problem in large-scale electronic structure calculations
Authors:
Dongjin Lee,
Takeo Hoshi,
Tomohiro Sogabe,
Yuto Miyatake,
Shao-Liang Zhang
Abstract:
We consider computing the $k$-th eigenvalue and its corresponding eigenvector of a generalized Hermitian eigenvalue problem of $n\times n$ large sparse matrices. In electronic structure calculations, several properties of materials, such as those of optoelectronic device materials, are governed by the eigenpair with a material-specific index $k.$ We present a three-stage algorithm for computing th…
▽ More
We consider computing the $k$-th eigenvalue and its corresponding eigenvector of a generalized Hermitian eigenvalue problem of $n\times n$ large sparse matrices. In electronic structure calculations, several properties of materials, such as those of optoelectronic device materials, are governed by the eigenpair with a material-specific index $k.$ We present a three-stage algorithm for computing the $k$-th eigenpair with validation of its index. In the first stage of the algorithm, we propose an efficient way of finding an interval containing the $k$-th eigenvalue $(1 \ll k \ll n)$ with a non-standard application of the Lanczos method. In the second stage, spectral bisection for large-scale problems is realized using a sparse direct linear solver to narrow down the interval of the $k$-th eigenvalue. In the third stage, we switch to a modified shift-and-invert Lanczos method to reduce bisection iterations and compute the $k$-th eigenpair with validation. Numerical results with problem sizes up to 1.5 million are reported, and the results demonstrate the accuracy and efficiency of the three-stage algorithm.
△ Less
Submitted 5 June, 2018; v1 submitted 14 October, 2017;
originally announced October 2017.
-
A cost-efficient variant of the incremental Newton iteration for the matrix $p$th root
Authors:
Fuminori Tatsuoka,
Tomohiro Sogabe,
Yuto Miyatake,
Shao-Liang Zhang
Abstract:
Incremental Newton (IN) iteration, proposed by Iannazzo, is stable for computing the matrix $p$th root, and its computational cost is $\mathcal{O}(n^3p)$ flops per iteration. In this paper, a cost-efficient variant of IN iteration is presented. The computational cost of the variant well agrees with $\mathcal{O} (n^3 \log p)$ flops per iteration, if $p$ is up to at least 100.
Incremental Newton (IN) iteration, proposed by Iannazzo, is stable for computing the matrix $p$th root, and its computational cost is $\mathcal{O}(n^3p)$ flops per iteration. In this paper, a cost-efficient variant of IN iteration is presented. The computational cost of the variant well agrees with $\mathcal{O} (n^3 \log p)$ flops per iteration, if $p$ is up to at least 100.
△ Less
Submitted 28 December, 2016; v1 submitted 9 November, 2016;
originally announced November 2016.
-
Energy-preserving $H^1$-Galerkin schemes for the Hunter--Saxton equation
Authors:
Yuto Miyatake,
Geonsik Eom,
Tomohiro Sogabe,
Shao-Liang Zhang
Abstract:
We consider the numerical integration of the Hunter--Saxton equation, which models the propagation of weakly nonlinear orientation waves. For the equation, we present two weak forms and their Galerkin discretizations. The Galerkin schemes preserve the Hamiltonian of the equation and can be implemented with cheap $H^1$ elements. Numerical experiments confirm the effectiveness of the schemes.
We consider the numerical integration of the Hunter--Saxton equation, which models the propagation of weakly nonlinear orientation waves. For the equation, we present two weak forms and their Galerkin discretizations. The Galerkin schemes preserve the Hamiltonian of the equation and can be implemented with cheap $H^1$ elements. Numerical experiments confirm the effectiveness of the schemes.
△ Less
Submitted 31 October, 2016;
originally announced October 2016.
-
On Pfaffian and determinant of one type of skew centrosymmetric matrices
Authors:
Fatih Yilmaz,
Tomohiro Sogabe,
Emrullah Kirklar
Abstract:
This paper is dedicated to compute Pfaffian and determinant of one type of skew centrosymmetric matrices in terms of general number sequence of second order.
This paper is dedicated to compute Pfaffian and determinant of one type of skew centrosymmetric matrices in terms of general number sequence of second order.
△ Less
Submitted 10 June, 2016;
originally announced June 2016.
-
On a relationship between the T-congruence Sylvester equation and the Lyapunov equation
Authors:
Masaya Oozawa,
Tomohiro Sogabe,
Yuto Miyatake,
Shao-Liang Zhang
Abstract:
We consider the T-congruence Sylvester equation $AX+X^{\rm T}B=C$, where $A\in \mathbb R^{m\times n}$, $B\in \mathbb R^{n\times m}$ and $C\in \mathbb R^{m\times m}$ are given, and matrix $X \in \mathbb R^{n\times m}$ is to be determined. The T-congruence Sylvester equation has recently attracted attention because of a relationship with palindromic eigenvalue problems. For example, necessary and su…
▽ More
We consider the T-congruence Sylvester equation $AX+X^{\rm T}B=C$, where $A\in \mathbb R^{m\times n}$, $B\in \mathbb R^{n\times m}$ and $C\in \mathbb R^{m\times m}$ are given, and matrix $X \in \mathbb R^{n\times m}$ is to be determined. The T-congruence Sylvester equation has recently attracted attention because of a relationship with palindromic eigenvalue problems. For example, necessary and sufficient conditions for the existence and uniqueness of solutions, and numerical solvers have been intensively studied. In this note, we will show that, under a certain condition, the T-congruence Sylvester equation can be transformed into the Lyapunov equation. This may lead to further properties and efficient numerical solvers by utilizing a great deal of studies on the Lyapunov equation.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
On a weighted quasi-residual minimization strategy of the QMR method for solving complex symmetric shifted linear systems
Authors:
T. Sogabe,
T. Hoshi,
S. -L. Zhang,
T. Fujiwara
Abstract:
We consider the solution of complex symmetric shifted linear systems. Such systems arise in large-scale electronic structure simulations and there is a strong need for the fast solution of the systems. With the aim of solving the systems efficiently, we consider a special case of the QMR method for non-Hermitian shifted linear systems and propose its weighted quasi-minimal residual approach. A n…
▽ More
We consider the solution of complex symmetric shifted linear systems. Such systems arise in large-scale electronic structure simulations and there is a strong need for the fast solution of the systems. With the aim of solving the systems efficiently, we consider a special case of the QMR method for non-Hermitian shifted linear systems and propose its weighted quasi-minimal residual approach. A numerical algorithm, referred to as shifted QMR\_SYM($B$), is given by the choice of a particularly cost-effective weight. Numerical examples are presented to show the performance of the shifted QMR\_SYM($B$) method.
△ Less
Submitted 16 February, 2009;
originally announced February 2009.
-
A numerical method for calculating the Green's function arising from electronic structure theory
Authors:
T. Sogabe,
T. Hoshi,
S. -L. Zhang,
T. Fujiwara
Abstract:
We developed a fast numerical methodfor complex symmetric shifted linear systems, which is motivated by the quantum-mechanical (electronic-structure) theory in nanoscale materials. The method is named shifted Conjugate Orthogonal Conjugate Gradient (shifted COCG) method. The formulation is given and several numerical aspects are discussed.
We developed a fast numerical methodfor complex symmetric shifted linear systems, which is motivated by the quantum-mechanical (electronic-structure) theory in nanoscale materials. The method is named shifted Conjugate Orthogonal Conjugate Gradient (shifted COCG) method. The formulation is given and several numerical aspects are discussed.
△ Less
Submitted 28 February, 2006;
originally announced February 2006.
