-
Geometric construction of Kashiwara crystals on multiparameter persistence
Authors:
Yasuaki Hiraoka,
Kohei Yahiro
Abstract:
We establish a geometric construction of Kashiwara crystals on the irreducible components of the varieties of multiparameter persistence modules. Our approach differs from the seminal work of Kashiwara and Saito, as well as subsequent related works, by emphasizing commutative relations rather than preprojective relations for a given quiver. Furthermore, we provide explicit descriptions of the Kash…
▽ More
We establish a geometric construction of Kashiwara crystals on the irreducible components of the varieties of multiparameter persistence modules. Our approach differs from the seminal work of Kashiwara and Saito, as well as subsequent related works, by emphasizing commutative relations rather than preprojective relations for a given quiver. Furthermore, we provide explicit descriptions of the Kashiwara operators in the fundamental cases of 1- and 2-parameter persistence modules, offering concrete insights into the crystal structure in these settings.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Persistence module and Schubert calculus
Authors:
Yasuaki Hiraoka,
Kohei Yahiro,
Chenguang Xu
Abstract:
A multiplication on persistence diagrams is introduced by means of Schubert calculus. The key observation behind this multiplication comes from the fact that the representation space of persistence modules has the structure of the Schubert decomposition of a flag. In particular, isomorphism classes of persistence modules correspond to Schubert cells, thereby the Schubert calculus naturally defines…
▽ More
A multiplication on persistence diagrams is introduced by means of Schubert calculus. The key observation behind this multiplication comes from the fact that the representation space of persistence modules has the structure of the Schubert decomposition of a flag. In particular, isomorphism classes of persistence modules correspond to Schubert cells, thereby the Schubert calculus naturally defines a multiplication on persistence diagrams. The meaning of the multiplication on persistence diagrams is carried over from that on Schubert calculus, i.e., algebro-geometric intersections of varieties of persistence modules.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
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.
-
Mapping 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? Mapping 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? Mapping 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.
-
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.
-
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.
-
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.
-
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.
