-
Curse of Dimensionality on Persistence Diagrams
Authors:
Yasuaki Hiraoka,
Yusuke Imoto,
Shu Kanazawa,
Enhao Liu
Abstract:
The stability of persistent homology has led to wide applications of the persistence diagram as a trusted topological descriptor in the presence of noise. However, with the increasing demand for high-dimension and low-sample-size data processing in modern science, it is questionable whether persistence diagrams retain their reliability in the presence of high-dimensional noise. This work aims to s…
▽ More
The stability of persistent homology has led to wide applications of the persistence diagram as a trusted topological descriptor in the presence of noise. However, with the increasing demand for high-dimension and low-sample-size data processing in modern science, it is questionable whether persistence diagrams retain their reliability in the presence of high-dimensional noise. This work aims to study the reliability of persistence diagrams in the high-dimension low-sample-size data setting. By analyzing the asymptotic behavior of persistence diagrams for high-dimensional random data, we show that persistence diagrams are no longer reliable descriptors of low-sample-size data under high-dimensional noise perturbations. We refer to this loss of reliability of persistence diagrams in such data settings as the curse of dimensionality on persistence diagrams. Next, we investigate the possibility of using normalized principal component analysis as a method for reducing the dimensionality of the high-dimensional observed data to resolve the curse of dimensionality. We show that this method can mitigate the curse of dimensionality on persistence diagrams. Our results shed some new light on the challenges of processing high-dimension low-sample-size data by persistence diagrams and provide a starting point for future research in this area.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Refinement of Interval Approximations for Fully Commutative Quivers
Authors:
Yasuaki Hiraoka,
Ken Nakashima,
Ippei Obayashi,
Chenguang Xu
Abstract:
A fundamental challenge in multiparameter persistent homology is the absence of a complete and discrete invariant. To address this issue, we propose an enhanced framework that realizes a holistic understanding of a fully commutative quiver's representation via synthesizing interpretations obtained from intervals. Additionally, it provides a mechanism to tune the balance between approximation resol…
▽ More
A fundamental challenge in multiparameter persistent homology is the absence of a complete and discrete invariant. To address this issue, we propose an enhanced framework that realizes a holistic understanding of a fully commutative quiver's representation via synthesizing interpretations obtained from intervals. Additionally, it provides a mechanism to tune the balance between approximation resolution and computational complexity. This framework is evaluated on commutative ladders of both finite-type and infinite-type. For the former, we discover an efficient method for the indecomposable decomposition leveraging solely one-parameter persistent homology. For the latter, we introduce a new invariant that reveals persistence in the second parameter by connecting two standard persistence diagrams using interval approximations. We subsequently present several models for constructing commutative ladder filtrations, offering fresh insights into random filtrations and demonstrating our toolkit's effectiveness in analyzing the topology of materials.
△ Less
Submitted 12 November, 2023; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Topological Node2vec: Enhanced Graph Embedding via Persistent Homology
Authors:
Yasuaki Hiraoka,
Yusuke Imoto,
Killian Meehan,
Théo Lacombe,
Toshiaki Yachimura
Abstract:
Node2vec is a graph embedding method that learns a vector representation for each node of a weighted graph while seeking to preserve relative proximity and global structure. Numerical experiments suggest Node2vec struggles to recreate the topology of the input graph. To resolve this we introduce a topological loss term to be added to the training loss of Node2vec which tries to align the persisten…
▽ More
Node2vec is a graph embedding method that learns a vector representation for each node of a weighted graph while seeking to preserve relative proximity and global structure. Numerical experiments suggest Node2vec struggles to recreate the topology of the input graph. To resolve this we introduce a topological loss term to be added to the training loss of Node2vec which tries to align the persistence diagram (PD) of the resulting embedding as closely as possible to that of the input graph. Following results in computational optimal transport, we carefully adapt entropic regularization to PD metrics, allowing us to measure the discrepancy between PDs in a differentiable way. Our modified loss function can then be minimized through gradient descent to reconstruct both the geometry and the topology of the input graph. We showcase the benefits of this approach using demonstrative synthetic examples.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Large deviation principle for persistence diagrams of random cubical filtrations
Authors:
Yasuaki Hiraoka,
Shu Kanazawa,
Jun Miyanaga,
Kenkichi Tsunoda
Abstract:
The objective of this article is to investigate the asymptotic behavior of the persistence diagrams of a random cubical filtration as the window size tends to infinity. Here, a random cubical filtration is an increasing family of random cubical sets, which are the union of randomly generated higher-dimensional unit cubes with integer coordinates in a Euclidean space. We first prove the strong law…
▽ More
The objective of this article is to investigate the asymptotic behavior of the persistence diagrams of a random cubical filtration as the window size tends to infinity. Here, a random cubical filtration is an increasing family of random cubical sets, which are the union of randomly generated higher-dimensional unit cubes with integer coordinates in a Euclidean space. We first prove the strong law of large numbers for the persistence diagrams, inspired by the work of Hiraoka, Shirai, and Trinh, where the persistence diagram of a filtration of random geometric complexes is considered. As opposed to prior papers treating limit theorems for persistence diagrams, the present article aims to further study the large deviation behavior of persistence diagrams. We prove a large deviation principle for the persistence diagrams of a class of random cubical filtrations, and show that the rate function is given as the Fenchel--Legendre transform of the limiting logarithmic moment generating function. In the proof, we also establish a general method of lifting a large deviation principle for the tuples of persistent Betti numbers to persistence diagrams for broad application.
△ Less
Submitted 22 October, 2022;
originally announced October 2022.
-
Persistent Homology Analysis for Materials Research and Persistent Homology Software: HomCloud
Authors:
Ippei Obayashi,
Takenobu Nakamura,
Yasuaki Hiraoka
Abstract:
This paper introduces persistent homology, which is a powerful tool to characterize the shape of data using the mathematical concept of topology. We explain the fundamental idea of persistent homology from scratch using some examples. We also review some applications of persistent homology to materials researches and software for persistent homology data analysis. HomCloud, one of persistent homol…
▽ More
This paper introduces persistent homology, which is a powerful tool to characterize the shape of data using the mathematical concept of topology. We explain the fundamental idea of persistent homology from scratch using some examples. We also review some applications of persistent homology to materials researches and software for persistent homology data analysis. HomCloud, one of persistent homology software, is especially featured in this paper.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Girth, magnitude homology, and phase transition of diagonality
Authors:
Yasuhiko Asao,
Yasuaki Hiraoka,
Shu Kanazawa
Abstract:
This paper studies the magnitude homology of graphs focusing mainly on the relationship between its diagonality and the girth. Magnitude and magnitude homology are formulations of the Euler characteristic and the corresponding homology, respectively, for finite metric spaces, first introduced by Leinster and Hepworth-Willerton. Several authors study them restricting to graphs with path metric, and…
▽ More
This paper studies the magnitude homology of graphs focusing mainly on the relationship between its diagonality and the girth. Magnitude and magnitude homology are formulations of the Euler characteristic and the corresponding homology, respectively, for finite metric spaces, first introduced by Leinster and Hepworth-Willerton. Several authors study them restricting to graphs with path metric, and some properties which are similar to the ordinary homology theory have come to light. However, the whole picture of their behavior is still unrevealed, and it is expected that they catch some geometric properties of graphs. In this article, we show that the girth of graphs partially determines magnitude homology, that is, the larger girth a graph has, the more homologies near the diagonal part vanish. Furthermore, applying this result to a typical random graph, we investigate how the diagonality of graphs varies statistically as the edge density increases. In particular, we show that there exists a phase transition phenomenon for the diagonality.
△ Less
Submitted 8 February, 2021; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Algebraic stability theorem for derived categories of zigzag persistence modules
Authors:
Yasuaki Hiraoka,
Yuichi Ike,
Michio Yoshiwaki
Abstract:
We study distances on zigzag persistence modules from the viewpoint of derived categories and Auslander--Reiten quivers. The derived category of ordinary persistence modules is derived equivalent to that of arbitrary zigzag persistence modules, depending on a classical tilting module. Through this derived equivalence, we define and compute distances on the derived category of arbitrary zigzag pers…
▽ More
We study distances on zigzag persistence modules from the viewpoint of derived categories and Auslander--Reiten quivers. The derived category of ordinary persistence modules is derived equivalent to that of arbitrary zigzag persistence modules, depending on a classical tilting module. Through this derived equivalence, we define and compute distances on the derived category of arbitrary zigzag persistence modules and prove an algebraic stability theorem. We also compare our distance with the distance for purely zigzag persistence modules introduced by Botnan--Lesnick and the sheaf-theoretic convolution distance due to Kashiwara--Schapira.
△ Less
Submitted 4 April, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Zeta functions of periodic cubical lattices and cyclotomic-like polynomials
Authors:
Yasuaki Hiraoka,
Hiroyuki Ochiai,
Tomoyuki Shirai
Abstract:
Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomic-like polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomic-like polynomial to obtain its further factorizatio…
▽ More
Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomic-like polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomic-like polynomial to obtain its further factorization. We also give a necessary and sufficient condition for such a polynomial to be irreducible and discuss its irreducibility from this point of view.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Map** Firms' Locations in Technological Space: A Topological Analysis of Patent Statistics
Authors:
Emerson G. Escolar,
Yasuaki Hiraoka,
Mitsuru Igami,
Yasin Ozcan
Abstract:
Where do firms innovate? Map** their locations and directions in technological space is challenging due to its high dimensionality. We propose a new method to characterize firms' inventive activities via topological data analysis (TDA) that represents high-dimensional data in a shape graph. Applying this method to 333 major firms' patents in 1976--2005 reveals substantial heterogeneity: some fir…
▽ More
Where do firms innovate? Map** their locations and directions in technological space is challenging due to its high dimensionality. We propose a new method to characterize firms' inventive activities via topological data analysis (TDA) that represents high-dimensional data in a shape graph. Applying this method to 333 major firms' patents in 1976--2005 reveals substantial heterogeneity: some firms remain undifferentiated; others develop unique portfolios. Firms with unique trajectories, which we define and measure graph-theoretically as "flares" in the Mapper graph, perform better. This association is statistically and economically significant, and continues to hold after we control for portfolio size, firm survivorship, industry classification, and firm fixed effects. By contrast, existing techniques -- such as principal component analysis (PCA) and Jaffe's (1989) clustering method -- struggle to track these firm-level dynamics.
△ Less
Submitted 31 March, 2022; v1 submitted 31 August, 2019;
originally announced September 2019.
-
Protein folding analysis using features obtained by persistent homology
Authors:
Takashi Ichinomiya,
Ippei Obayashi,
Yasuaki Hiraoka
Abstract:
Understanding the protein folding process is an outstanding issue in biophysics; recent developments in molecular dynamics simulation have provided insights into this phenomenon. However, the large freedom of atomic motion hinders the understanding of this process. In this study, we applied persistent homology, an emerging methods to analyze topological features in a dataset, to reveal protein fol…
▽ More
Understanding the protein folding process is an outstanding issue in biophysics; recent developments in molecular dynamics simulation have provided insights into this phenomenon. However, the large freedom of atomic motion hinders the understanding of this process. In this study, we applied persistent homology, an emerging methods to analyze topological features in a dataset, to reveal protein folding dynamics. We developed a new method to characterize protein structure based on persistent homology and applied this method to molecular dynamics simulations of chignolin. Using principle component analysis or non-negative matrix factorization, our analysis method revealed two stable states and one saddle state, corresponding to the native, misfolded, and transition states, respectively. We also identified an unfolded state with slow dynamics in the reduced space. Our method serves as a promising tool to understand the protein folding process.
△ Less
Submitted 24 April, 2020; v1 submitted 15 May, 2019;
originally announced May 2019.
-
Percolation on Homology Generators in Codimension One
Authors:
Yasuaki Hiraoka,
Tatsuya Mikami
Abstract:
This paper introduces a new percolation model motivated from polymer materials. The mathematical model is defined over a random cubical set in the $d$-dimensional space $\mathbb{R}^d$ and focuses on generations and percolations of $(d-1)$-dimensional holes as higher dimensional topological objects. Here, the random cubical set is constructed by the union of unit faces in dimension $d-1$ which appe…
▽ More
This paper introduces a new percolation model motivated from polymer materials. The mathematical model is defined over a random cubical set in the $d$-dimensional space $\mathbb{R}^d$ and focuses on generations and percolations of $(d-1)$-dimensional holes as higher dimensional topological objects. Here, the random cubical set is constructed by the union of unit faces in dimension $d-1$ which appear randomly and independently with probability $p$, and holes are formulated by the homology generators. Under this model, the upper and lower estimates of the critical probability $p_c^{\rm hole}$ of the hole percolation are shown in this paper, implying the existence of the phase transition. The uniqueness of infinite hole cluster is also proven. This result shows that, when $p > p_c^{\rm hole}$, the probability $P_p(x^*\overset{\rm hole}{\longleftrightarrow} y^*)$ that two points in the dual lattice $(\mathbb{Z}^d)^*$ belong to the same hole cluster is uniformly greater than 0.
△ Less
Submitted 7 April, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Persistence Diagrams with Linear Machine Learning Models
Authors:
Ippei Obayashi,
Yasuaki Hiraoka
Abstract:
Persistence diagrams have been widely recognized as a compact descriptor for characterizing multiscale topological features in data. When many datasets are available, statistical features embedded in those persistence diagrams can be extracted by applying machine learnings. In particular, the ability for explicitly analyzing the inverse in the original data space from those statistical features of…
▽ More
Persistence diagrams have been widely recognized as a compact descriptor for characterizing multiscale topological features in data. When many datasets are available, statistical features embedded in those persistence diagrams can be extracted by applying machine learnings. In particular, the ability for explicitly analyzing the inverse in the original data space from those statistical features of persistence diagrams is significantly important for practical applications. In this paper, we propose a unified method for the inverse analysis by combining linear machine learning models with persistence images. The method is applied to point clouds and cubical sets, showing the ability of the statistical inverse analysis and its advantages.
△ Less
Submitted 6 July, 2017; v1 submitted 30 June, 2017;
originally announced June 2017.
-
Matrix Method for Persistence Modules on Commutative Ladders of Finite Type
Authors:
Hideto Asashiba,
Emerson G. Escolar,
Yasuaki Hiraoka,
Hiroshi Takeuchi
Abstract:
The theory of persistence modules on the commutative ladders $CL_n(τ)$ provides an extension of persistent homology. However, an efficient algorithm to compute the generalized persistence diagrams is still lacking. In this work, we view a persistence module $M$ on $CL_n(τ)$ as a morphism between zigzag modules, which can be expressed in a block matrix form. For the representation finite case (…
▽ More
The theory of persistence modules on the commutative ladders $CL_n(τ)$ provides an extension of persistent homology. However, an efficient algorithm to compute the generalized persistence diagrams is still lacking. In this work, we view a persistence module $M$ on $CL_n(τ)$ as a morphism between zigzag modules, which can be expressed in a block matrix form. For the representation finite case ($n\leq 4)$, we provide an algorithm that uses certain permissible row and column operations to compute a normal form of the block matrix. In this form an indecomposable decomposition of $M$, and thus its persistence diagram, is obtained.
△ Less
Submitted 25 September, 2018; v1 submitted 30 June, 2017;
originally announced June 2017.
-
Kernel method for persistence diagrams via kernel embedding and weight factor
Authors:
Genki Kusano,
Kenji Fukumizu,
Yasuaki Hiraoka
Abstract:
Topological data analysis is an emerging mathematical concept for characterizing shapes in multi-scale data. In this field, persistence diagrams are widely used as a descriptor of the input data, and can distinguish robust and noisy topological properties. Nowadays, it is highly desired to develop a statistical framework on persistence diagrams to deal with practical data. This paper proposes a ke…
▽ More
Topological data analysis is an emerging mathematical concept for characterizing shapes in multi-scale data. In this field, persistence diagrams are widely used as a descriptor of the input data, and can distinguish robust and noisy topological properties. Nowadays, it is highly desired to develop a statistical framework on persistence diagrams to deal with practical data. This paper proposes a kernel method on persistence diagrams. A theoretical contribution of our method is that the proposed kernel allows one to control the effect of persistence, and, if necessary, noisy topological properties can be discounted in data analysis. Furthermore, the method provides a fast approximation technique. The method is applied into several problems including practical data in physics, and the results show the advantage compared to the existing kernel method on persistence diagrams.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Limit theorems for random cubical homology
Authors:
Yasuaki Hiraoka,
Kenkichi Tsunoda
Abstract:
This paper studies random cubical sets in $\mathbb{R}^d$. Given a cubical set $X\subset \mathbb{R}^d$, a random variable $ω_Q\in[0,1]$ is assigned for each elementary cube $Q$ in $X$, and a random cubical set $X(t)$ is defined by the sublevel set of $X$ consisting of elementary cubes with $ω_Q\leq t$ for each $t\in[0,1]$. Under this setting, the main results of this paper show the limit theorems (…
▽ More
This paper studies random cubical sets in $\mathbb{R}^d$. Given a cubical set $X\subset \mathbb{R}^d$, a random variable $ω_Q\in[0,1]$ is assigned for each elementary cube $Q$ in $X$, and a random cubical set $X(t)$ is defined by the sublevel set of $X$ consisting of elementary cubes with $ω_Q\leq t$ for each $t\in[0,1]$. Under this setting, the main results of this paper show the limit theorems (law of large numbers and central limit theorem) for Betti numbers and lifetime sums of random cubical sets and filtrations. In addition to the limit theorems, the positivity of the limiting Betti numbers is also shown.
△ Less
Submitted 18 March, 2018; v1 submitted 26 December, 2016;
originally announced December 2016.
-
Limit theorems for persistence diagrams
Authors:
Trinh Khanh Duy,
Yasuaki Hiraoka,
Tomoyuki Shirai
Abstract:
The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large…
▽ More
The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large numbers for persistence diagrams as the window size tends to infinity and give a sufficient condition for the limiting persistence diagram to have the full support. We also discuss a central limit theorem for persistent Betti numbers.
△ Less
Submitted 26 December, 2016;
originally announced December 2016.
-
Tutte polynomials and random-cluster models in Bernoulli cell complexes
Authors:
Yasuaki Hiraoka,
Tomoyuki Shirai
Abstract:
This paper studies Bernoulli cell complexes from the perspective of persistent homology, Tutte polynomials, and random-cluster models. Following the previous work [9], we first show the asymptotic order of the expected lifetime sum of the persistent homology for the Bernoulli cell complex process on the $\ell$-cubical lattice. Then, an explicit formula of the expected lifetime sum using the Tutte…
▽ More
This paper studies Bernoulli cell complexes from the perspective of persistent homology, Tutte polynomials, and random-cluster models. Following the previous work [9], we first show the asymptotic order of the expected lifetime sum of the persistent homology for the Bernoulli cell complex process on the $\ell$-cubical lattice. Then, an explicit formula of the expected lifetime sum using the Tutte polynomial is derived. Furthermore, we study a higher dimensional generalization of the random-cluster model derived from the Edwards-Sokal type coupling, and show some basic results such as the positive association and the relation to the Tutte polynomial.
△ Less
Submitted 15 February, 2016;
originally announced February 2016.
-
Persistence weighted Gaussian kernel for topological data analysis
Authors:
Genki Kusano,
Kenji Fukumizu,
Yasuaki Hiraoka
Abstract:
Topological data analysis (TDA) is an emerging mathematical concept for characterizing shapes in complex data. In TDA, persistence diagrams are widely recognized as a useful descriptor of data, and can distinguish robust and noisy topological properties. This paper proposes a kernel method on persistence diagrams to develop a statistical framework in TDA. The proposed kernel satisfies the stabilit…
▽ More
Topological data analysis (TDA) is an emerging mathematical concept for characterizing shapes in complex data. In TDA, persistence diagrams are widely recognized as a useful descriptor of data, and can distinguish robust and noisy topological properties. This paper proposes a kernel method on persistence diagrams to develop a statistical framework in TDA. The proposed kernel satisfies the stability property and provides explicit control on the effect of persistence. Furthermore, the method allows a fast approximation technique. The method is applied into practical data on proteins and oxide glasses, and the results show the advantage of our method compared to other relevant methods on persistence diagrams.
△ Less
Submitted 26 April, 2016; v1 submitted 7 January, 2016;
originally announced January 2016.
-
Continuation of Point Clouds via Persistence Diagrams
Authors:
Marcio Gameiro,
Yasuaki Hiraoka,
Ippei Obayashi
Abstract:
In this paper, we present a mathematical and algorithmic framework for the continuation of point clouds by persistence diagrams. A key property used in the method is that the persistence map, which assigns a persistence diagram to a point cloud, is differentiable. This allows us to apply the Newton-Raphson continuation method in this setting. Given an original point cloud $P$, its persistence diag…
▽ More
In this paper, we present a mathematical and algorithmic framework for the continuation of point clouds by persistence diagrams. A key property used in the method is that the persistence map, which assigns a persistence diagram to a point cloud, is differentiable. This allows us to apply the Newton-Raphson continuation method in this setting. Given an original point cloud $P$, its persistence diagram $D$, and a target persistence diagram $D'$, we gradually move from $D$ to $D'$, by successively computing intermediate point clouds until we finally find a point cloud $P'$ having $D'$ as its persistence diagram. Our method can be applied to a wide variety of situations in topological data analysis where it is necessary to solve an inverse problem, from persistence diagrams to point cloud data.
△ Less
Submitted 9 June, 2015;
originally announced June 2015.
-
Minimum spanning acycle and lifetime of persistent homology in the Linial-Meshulam process
Authors:
Yasuaki Hiraoka,
Tomoyuki Shirai
Abstract:
This paper studies a higher dimensional generalization of Frieze's $ζ(3)$-limit theorem in the Erdös-Rényi graph process. Frieze's theorem states that the expected weight of the minimum spanning tree converges to $ζ(3)$ as the number of vertices goes to infinity. In this paper, we study the $d$-Linial-Meshulam process as a model for random simplicial complexes, where $d=1$ corresponds to the Erdös…
▽ More
This paper studies a higher dimensional generalization of Frieze's $ζ(3)$-limit theorem in the Erdös-Rényi graph process. Frieze's theorem states that the expected weight of the minimum spanning tree converges to $ζ(3)$ as the number of vertices goes to infinity. In this paper, we study the $d$-Linial-Meshulam process as a model for random simplicial complexes, where $d=1$ corresponds to the Erdös-Rényi graph process. First, we define spanning acycles as a higher dimensional analogue of spanning trees, and connect its minimum weight to persistent homology. Then, our main result shows that the expected weight of the minimum spanning acycle behaves in $O(n^{d-1})$.
△ Less
Submitted 19 March, 2015;
originally announced March 2015.
-
Persistent Homology and Many-Body Atomic Structure for Medium-Range Order in the Glass
Authors:
Takenobu Nakamura,
Yasuaki Hiraoka,
Akihiko Hirata,
Emerson G. Escolar,
Yasumasa Nishiura
Abstract:
Characterization of medium-range order in amorphous materials and its relation to short-range order is discussed. A new topological approach is presented here to extract a hierarchical structure of amorphous materials, which is robust against small perturbations and allows us to distinguish it from periodic or random configurations. The method is called the persistence diagram (PD) and it introduc…
▽ More
Characterization of medium-range order in amorphous materials and its relation to short-range order is discussed. A new topological approach is presented here to extract a hierarchical structure of amorphous materials, which is robust against small perturbations and allows us to distinguish it from periodic or random configurations. The method is called the persistence diagram (PD) and it introduces scales into many-body atomic structures in order to characterize the size and shape. We first illustrate how perfect crystalline and random structures are represented in the PDs. Then, the medium-range order in the amorphous silica is characterized by using the PD. The PD approach reduces the size of the data tremendously to much smaller geometrical summaries and has a huge potential to be applied to broader areas including complex molecular liquid, granular materials, and metallic glasses.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Hierarchical structures of amorphous solids characterized by persistent homology
Authors:
Yasuaki Hiraoka,
Takenobu Nakamura,
Akihiko Hirata,
Emerson G. Escolar,
Kaname Matsue,
Yasumasa Nishiura
Abstract:
This article proposes a topological method that extracts hierarchical structures of various amorphous solids. The method is based on the persistence diagram (PD), a mathematical tool for capturing shapes of multiscale data. The input to the PDs is given by an atomic configuration and the output is expressed as 2D histograms. Then, specific distributions such as curves and islands in the PDs identi…
▽ More
This article proposes a topological method that extracts hierarchical structures of various amorphous solids. The method is based on the persistence diagram (PD), a mathematical tool for capturing shapes of multiscale data. The input to the PDs is given by an atomic configuration and the output is expressed as 2D histograms. Then, specific distributions such as curves and islands in the PDs identify meaningful shape characteristics of the atomic configuration. Although the method can be applied to a wide variety of disordered systems, it is applied here to silica glass, the Lennard-Jones system, and Cu-Zr metallic glass as standard examples of continuous random network and random packing structures. In silica glass, the method classified the atomic rings as short-range and medium-range orders and unveiled hierarchical ring structures among them. These detailed geometric characterizations clarified a real space origin of the first sharp diffraction peak and also indicated that PDs contain information on elastic response. Even in the Lennard-Jones system and Cu-Zr metallic glass, the hierarchical structures in the atomic configurations were derived in a similar way using PDs, although the glass structures and properties substantially differ from silica glass. These results suggest that the PDs provide a unified method that extracts greater depth of geometric information in amorphous solids than conventional methods.
△ Less
Submitted 5 July, 2016; v1 submitted 15 January, 2015;
originally announced January 2015.
-
Coverage Criterion in Sensor Networks Stable under Perturbation
Authors:
Yasuaki Hiraoka,
Genki Kusano
Abstract:
To the coverage problem of sensor networks, V. de Silva and R. Ghrist (2007) developed several approaches based on (persistent) homology theory. Their criteria for the coverage are formulated on the Rips complexes constructed by the sensors, in which their locations are supposed to be fixed. However, the sensors are in general affected by perturbations (e.g., natural phenomena), and hence the stab…
▽ More
To the coverage problem of sensor networks, V. de Silva and R. Ghrist (2007) developed several approaches based on (persistent) homology theory. Their criteria for the coverage are formulated on the Rips complexes constructed by the sensors, in which their locations are supposed to be fixed. However, the sensors are in general affected by perturbations (e.g., natural phenomena), and hence the stability of the coverage criteria should be also discussed. In this paper, we present a coverage theorem stable under perturbation. Furthermore, we also introduce a method of eliminating redundant cover after perturbation. The coverage theorem is derived by extending the Rips interleaving theorem studied by F. Chazal, V. de Silva, and S. Oudot (2013) into an appropriate relative version.
△ Less
Submitted 10 March, 2015; v1 submitted 26 September, 2014;
originally announced September 2014.
-
Microscopic calculation of thermally-induced spin-transfer torques
Authors:
H. Kohno,
Y. Hiraoka,
M. Hatami,
G. E. W. Bauer
Abstract:
Spin-transfer torques induced by temperature gradients in conducting ferromagnets are calculated microscopically for smooth magnetization textures. Temperature gradients are treated a la Luttinger by introducing a fictitious gravitational field that couples to the energy density. The thermal torque coefficients obtained by the Kubo formula contain divergences caused by equilibrium components that…
▽ More
Spin-transfer torques induced by temperature gradients in conducting ferromagnets are calculated microscopically for smooth magnetization textures. Temperature gradients are treated a la Luttinger by introducing a fictitious gravitational field that couples to the energy density. The thermal torque coefficients obtained by the Kubo formula contain divergences caused by equilibrium components that should be subtracted before applying the Einstein-Luttinger relation. Only by following this procedure a familiar Mott-like formula is obtained for the dissipative spin-transfer torque. The result indicates that a fictitious field coupled to the entropy rather than energy would solve the issue from the outset.
△ Less
Submitted 20 August, 2014;
originally announced August 2014.
-
Persistence Modules on Commutative Ladders of Finite Type
Authors:
Emerson G. Escolar,
Yasuaki Hiraoka
Abstract:
We study persistence modules defined on commutative ladders. This class of persistence modules frequently appears in topological data analysis, and the theory and algorithm proposed in this paper can be applied to these practical problems. A new algebraic framework deals with persistence modules as representations on associative algebras and the Auslander-Reiten theory is applied to develop the th…
▽ More
We study persistence modules defined on commutative ladders. This class of persistence modules frequently appears in topological data analysis, and the theory and algorithm proposed in this paper can be applied to these practical problems. A new algebraic framework deals with persistence modules as representations on associative algebras and the Auslander-Reiten theory is applied to develop the theoretical and algorithmic foundations. In particular, we prove that the commutative ladders of length less than 5 are representation-finite and explicitly show their Auslander-Reiten quivers. Furthermore, a generalization of persistence diagrams is introduced by using Auslander-Reiten quivers. We provide an algorithm for computing persistence diagrams for the commutative ladders of length 3 by using the structure of Auslander-Reiten quivers.
△ Less
Submitted 19 April, 2015; v1 submitted 30 April, 2014;
originally announced April 2014.
-
Enhanced Superconductivity up to 43 K by P/Sb Do** of Ca1-xLaxFeAs2
Authors:
Kazutaka Kudo,
Tasuku Mizukami,
Yutaka Kitahama,
Daisuke Mitsuoka,
Keita Iba,
Kazunori Fujimura,
Naoki Nishimoto,
Yuji Hiraoka,
Minoru Nohara
Abstract:
The effects of isovalent do** on the superconducting transition temperature Tc in novel 112-type iron arsenide Ca1-xLaxFeAs2 were studied by conducting measurements of electrical resistivity rho and magnetization M. P or Sb do** strongly enhances Tc: P-doped Ca0.84La0.16FeAs2 and Sb-doped Ca0.85La0.15FeAs2 exhibited Tc of 41 and 43 K, respectively, while Ca0.85La0.15FeAs2 without P/Sb exhibite…
▽ More
The effects of isovalent do** on the superconducting transition temperature Tc in novel 112-type iron arsenide Ca1-xLaxFeAs2 were studied by conducting measurements of electrical resistivity rho and magnetization M. P or Sb do** strongly enhances Tc: P-doped Ca0.84La0.16FeAs2 and Sb-doped Ca0.85La0.15FeAs2 exhibited Tc of 41 and 43 K, respectively, while Ca0.85La0.15FeAs2 without P/Sb exhibited Tc = 35 K. These observations will give a hint for further enhancing Tc of rare-earth doped Ca-Fe-As systems.
△ Less
Submitted 29 January, 2014; v1 submitted 5 November, 2013;
originally announced November 2013.
-
Rational Maps and Maximum Likelihood Decodings
Authors:
Kazunori Hayashi,
Yasuaki Hiraoka
Abstract:
This paper studies maximum likelihood(ML) decoding in error-correcting codes as rational maps and proposes an approximate ML decoding rule by using a Taylor expansion. The point for the Taylor expansion, which will be denoted by $p$ in the paper, is properly chosen by considering some dynamical system properties. We have two results about this approximate ML decoding. The first result proves that…
▽ More
This paper studies maximum likelihood(ML) decoding in error-correcting codes as rational maps and proposes an approximate ML decoding rule by using a Taylor expansion. The point for the Taylor expansion, which will be denoted by $p$ in the paper, is properly chosen by considering some dynamical system properties. We have two results about this approximate ML decoding. The first result proves that the order of the first nonlinear terms in the Taylor expansion is determined by the minimum distance of its dual code. As the second result, we give numerical results on bit error probabilities for the approximate ML decoding. These numerical results show better performance than that of BCH codes, and indicate that this proposed method approximates the original ML decoding very well.
△ Less
Submitted 29 June, 2010;
originally announced June 2010.
-
Noncommutative U(1) Instantons in Eight Dimensional Yang-Mills Theory
Authors:
Yoshiki Hiraoka
Abstract:
We study the noncommutative version of the extended ADHM construction in the eight dimensional U(1) Yang-Mills theory. This construction gives rise to the solutions of the BPS equations in the Yang-Mills theory, and these solutions preserve at least 3/16 of supersymmetries. In a wide subspace of the extended ADHM data, we show that the integer $k$ which appears in the extended ADHM construction…
▽ More
We study the noncommutative version of the extended ADHM construction in the eight dimensional U(1) Yang-Mills theory. This construction gives rise to the solutions of the BPS equations in the Yang-Mills theory, and these solutions preserve at least 3/16 of supersymmetries. In a wide subspace of the extended ADHM data, we show that the integer $k$ which appears in the extended ADHM construction should be interpreted as the $D4$-brane charge rather than the $D0$-brane charge by explicitly calculating the topological charges in the case that the noncommutativity parameter is anti-self-dual. We also find the relationship with the solution generating technique and show that the integer $k$ can be interpreted as the charge of the $D0$-brane bound to the $D8$-brane with the $B$-field in the case that the noncommutativity parameter is self-dual.
△ Less
Submitted 23 January, 2003;
originally announced January 2003.
-
Normal form and solitons
Authors:
Y. Hiraoka,
Y. Kodama
Abstract:
We present a review of the normal form theory for weakly dispersive nonlinear wave equations where the leading order phenomena can be described by the KdV equation. This is an infinite dimensional extension of the well-known Poincaré-Dulac normal form theory for ordinary differential equations. We also provide a detailed analysis of the interaction problem of solitary wavesas an important applic…
▽ More
We present a review of the normal form theory for weakly dispersive nonlinear wave equations where the leading order phenomena can be described by the KdV equation. This is an infinite dimensional extension of the well-known Poincaré-Dulac normal form theory for ordinary differential equations. We also provide a detailed analysis of the interaction problem of solitary wavesas an important application of the normal form theory. Several explicit examples are discussed based on the normal form theory, and the results are compared with their numerical simulations. Those examples include the ion acoustic wave equation, the Boussinesq equation as a model of the shallow water waves, the regularized long wave equation and the Hirota bilinear equation having a 7th order linear dispersion.
△ Less
Submitted 13 June, 2002;
originally announced June 2002.
-
BPS Solutions of Noncommutative Gauge Theories in Four and Eight Dimensions
Authors:
Yoshiki Hiraoka
Abstract:
We study the 1/4 BPS equations in the eight dimensional noncommutative Yang-Mills theory found by Bak, Lee and Park. We explicitly construct some solutions of the 1/4 BPS equations using the noncommutative version of the ADHM-like construction in eight dimensions. From the calculation of topological charges, we show that our solutions can be interpreted as the bound states of the $D0$-$D4$-$D8$…
▽ More
We study the 1/4 BPS equations in the eight dimensional noncommutative Yang-Mills theory found by Bak, Lee and Park. We explicitly construct some solutions of the 1/4 BPS equations using the noncommutative version of the ADHM-like construction in eight dimensions. From the calculation of topological charges, we show that our solutions can be interpreted as the bound states of the $D0$-$D4$-$D8$ with a $B$-field. We also discuss the structure of the moduli space of the 1/4 BPS solutions and determine the metric of the moduli space of the U(2) one-instanton in four and eight dimensions.
△ Less
Submitted 6 June, 2002; v1 submitted 28 May, 2002;
originally announced May 2002.
-
Eight Dimensional Noncommutative Instantons and D0-D8 Bound States with B-field
Authors:
Yoshiki Hiraoka
Abstract:
We construct some classes of instanton solutions of eight dimensional noncommutative ADHM equations generalizing the solutions of eight dimensional commutative ADHM equations found by Papadopoulos and Teschendorff, and interpret them as supersymmetric $D0$-$D8$ bound states in a NS $B$-field. Especially, we consider the $D0$-$D8$ system with anti-self-dual $B$-field preserving 3/16 of supercharg…
▽ More
We construct some classes of instanton solutions of eight dimensional noncommutative ADHM equations generalizing the solutions of eight dimensional commutative ADHM equations found by Papadopoulos and Teschendorff, and interpret them as supersymmetric $D0$-$D8$ bound states in a NS $B$-field. Especially, we consider the $D0$-$D8$ system with anti-self-dual $B$-field preserving 3/16 of supercharges. This system and self-duality conditions are related with the group $Sp(2)$ which is a subgroup of the eight dimensional rotation group SO(8).
△ Less
Submitted 11 April, 2002; v1 submitted 6 March, 2002;
originally announced March 2002.