-
Classification of generalized Alexander quandles
Authors:
Akihiro Higashitani,
Seiichi Kamada,
** Kosaka,
Hirotake Kurihara
Abstract:
The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally, we compute the number of generalized Alexander quandles up to quandle isomorphism arising from groups up to order 127 and their group automorphisms.
The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally, we compute the number of generalized Alexander quandles up to quandle isomorphism arising from groups up to order 127 and their group automorphisms.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Bivariate $Q$-polynomial structures for the nonbinary Johnson scheme and the association scheme obtained from attenuated spaces
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables)…
▽ More
The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables) of $P$- and $Q$-polynomial association schemes are described by Askey-Wilson orthogonal polynomials or their relatives. These polynomials are one-variable orthogonal polynomials. It seems that the new attempt to define and study higher rank $P$- and $Q$-polynomial association schemes had been hoped for, but had gotten only limited success. The first very successful attempt was initiated recently by Bernard-Crampé-d'Andecy-Vinet-Zaimi [arXiv:2212.10824], and then followed by Bannai-Kurihara-Zhao-Zhu [arXiv:2305.00707]. The general theory and some explicit examples of families of higher rank (multivariate) $P$- and/or $Q$-polynomial association schemes have been obtained there. The main purpose of the present paper is to prove that some important families of association schemes are shown to be bivariate $Q$-polynomial. Namely, we show that all the nonbinary Johnson association schemes and all the attenuated space association schemes are bivariate $Q$-polynomial. It should be noted that the parameter restrictions needed in the previous papers are completely lifted in this paper. Our proofs are done by explicitly calculating the Krein parameters of these association schemes. At the end, we mention some speculations and indications of what we can expect in the future study.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Deep Mapper Graph and its Application to Visualize Plausible Pathways on High-Dimensional Distribution with Small Time-Complexity
Authors:
Ziyad Oulhaj,
Yoshiyuki Ishii,
Kento Ohga,
Kimihiro Yamazaki,
Mutsuyo Wada,
Yuhei Umeda,
Takashi Kato,
Yuichiro Wada,
Hiroaki Kurihara
Abstract:
Mapper is a topology based data analysis method that extracts topological features from high-dimensional data. The Mapper algorithm requires a filter function that maps the dataset to a Euclidian space and a clustering method, that is performed on the original dataset. This produces a graph which represents the shape of the original data. In this work, we use Mapper to uncover the conformational c…
▽ More
Mapper is a topology based data analysis method that extracts topological features from high-dimensional data. The Mapper algorithm requires a filter function that maps the dataset to a Euclidian space and a clustering method, that is performed on the original dataset. This produces a graph which represents the shape of the original data. In this work, we use Mapper to uncover the conformational change of protein structures and we choose the filter function from a parameterized family, based on a deep neural network architecture. By optimizing its parameters with respect to an Energy-loss function derived from a theoretical background, we produce a Mapper graph that unveils the conformational pathways undertaken by the studied protein. Our method tackles conformational pathway detection in a unsupervised manner and therefore greatly reduces the manual and time costs necessary in this task.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Novel definition and quantitative analysis of branch structure with topological data analysis
Authors:
Haruhisa Oda,
Mayuko Kida,
Yoichi Nakata,
Hiroki Kurihara
Abstract:
While branching network structures abound in nature, their objective analysis is more difficult than expected because existing quantitative methods often rely on the subjective judgment of branch structures. This problem is particularly pronounced when dealing with images comprising discrete particles. Here we propose an objective framework for quantitative analysis of branching networks by introd…
▽ More
While branching network structures abound in nature, their objective analysis is more difficult than expected because existing quantitative methods often rely on the subjective judgment of branch structures. This problem is particularly pronounced when dealing with images comprising discrete particles. Here we propose an objective framework for quantitative analysis of branching networks by introducing the mathematical definitions for internal and external structures based on topological data analysis, specifically, persistent homology. We compare persistence diagrams constructed from images with and without plots on the convex hull. The unchanged points in the two diagrams are the internal structures and the difference between the two diagrams is the external structures. We construct a mathematical theory for our method and show that the internal structures have a monotonicity relationship with respect to the plots on the convex hull, while the external structures do not. This is the phenomenon related to the resolution of the image. Our method can be applied to a wide range of branch structures in biology, enabling objective analysis of numbers, spatial distributions, sizes, and more. Additionally, our method has the potential to be combined with other tools in topological data analysis, such as the generalized persistence landscape.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
MAGDiff: Covariate Data Set Shift Detection via Activation Graphs of Deep Neural Networks
Authors:
Charles Arnal,
Felix Hensel,
Mathieu Carrière,
Théo Lacombe,
Hiroaki Kurihara,
Yuichi Ike,
Frédéric Chazal
Abstract:
Despite their successful application to a variety of tasks, neural networks remain limited, like other machine learning methods, by their sensitivity to shifts in the data: their performance can be severely impacted by differences in distribution between the data on which they were trained and that on which they are deployed. In this article, we propose a new family of representations, called MAGD…
▽ More
Despite their successful application to a variety of tasks, neural networks remain limited, like other machine learning methods, by their sensitivity to shifts in the data: their performance can be severely impacted by differences in distribution between the data on which they were trained and that on which they are deployed. In this article, we propose a new family of representations, called MAGDiff, that we extract from any given neural network classifier and that allows for efficient covariate data shift detection without the need to train a new model dedicated to this task. These representations are computed by comparing the activation graphs of the neural network for samples belonging to the training distribution and to the target distribution, and yield powerful data- and task-adapted statistics for the two-sample tests commonly used for data set shift detection. We demonstrate this empirically by measuring the statistical powers of two-sample Kolmogorov-Smirnov (KS) tests on several different data sets and shift types, and showing that our novel representations induce significant improvements over a state-of-the-art baseline relying on the network output.
△ Less
Submitted 12 May, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Multivariate P- and/or Q-polynomial association schemes
Authors:
Eiichi Bannai,
Hirotake Kurihara,
Da Zhao,
Yan Zhu
Abstract:
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-esta…
▽ More
The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-established definition nor results. Very recently, Bernard, Crampé, d'Andecy, Vinet, and Zaimi [arXiv:2212.10824], defined bivariate $P$-polynomial association schemes, as well as bivariate $Q$-polynomial association schemes. In this paper, we study these concepts and propose a new modified definition concerning a general monomial order, which is more general and more natural and also easy to handle. We prove that there are many interesting families of examples of multivariate $P$- and/or $Q$-polynomial association schemes.
△ Less
Submitted 15 August, 2023; v1 submitted 1 May, 2023;
originally announced May 2023.
-
Generalized Alexander quandles of finite groups and their characterizations
Authors:
Akihiro Higashitani,
Hirotake Kurihara
Abstract:
The goal of this paper is to characterization generalized Alexander quandles of finite groups in the language of the underlying groups. Firstly, we prove that if finite groups $G$ are simple, then the quandle isomorphic classes of generalized Alexander quandles of $G$ one-to-one correspond to the conjugacy classes of the automorphism groups of $G$. This correspondence can be also claimed for the c…
▽ More
The goal of this paper is to characterization generalized Alexander quandles of finite groups in the language of the underlying groups. Firstly, we prove that if finite groups $G$ are simple, then the quandle isomorphic classes of generalized Alexander quandles of $G$ one-to-one correspond to the conjugacy classes of the automorphism groups of $G$. This correspondence can be also claimed for the case of symmetric groups. Secondly, we give a characterization of generalized Alexander quandles of finite groups $G$ under some assumptions in terms of $G$. As corollaries of this characterization, we obtain several characterizations in some particular groups, e.g., abelian groups and dihedral groups. Finally, we perform a characterization of generalized Alexander quandles arising from groups with their order up to $15$.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds
Authors:
Thibault de Surrel,
Felix Hensel,
Mathieu Carrière,
Théo Lacombe,
Yuichi Ike,
Hiroaki Kurihara,
Marc Glisse,
Frédéric Chazal
Abstract:
The use of topological descriptors in modern machine learning applications, such as Persistence Diagrams (PDs) arising from Topological Data Analysis (TDA), has shown great potential in various domains. However, their practical use in applications is often hindered by two major limitations: the computational complexity required to compute such descriptors exactly, and their sensitivity to even low…
▽ More
The use of topological descriptors in modern machine learning applications, such as Persistence Diagrams (PDs) arising from Topological Data Analysis (TDA), has shown great potential in various domains. However, their practical use in applications is often hindered by two major limitations: the computational complexity required to compute such descriptors exactly, and their sensitivity to even low-level proportions of outliers. In this work, we propose to bypass these two burdens in a data-driven setting by entrusting the estimation of (vectorization of) PDs built on top of point clouds to a neural network architecture that we call RipsNet. Once trained on a given data set, RipsNet can estimate topological descriptors on test data very efficiently with generalization capacity. Furthermore, we prove that RipsNet is robust to input perturbations in terms of the 1-Wasserstein distance, a major improvement over the standard computation of PDs that only enjoys Hausdorff stability, yielding RipsNet to substantially outperform exactly-computed PDs in noisy settings. We showcase the use of RipsNet on both synthetic and real-world data. Our open-source implementation is publicly available at https://github.com/hensel-f/ripsnet and will be included in the Gudhi library.
△ Less
Submitted 4 February, 2022; v1 submitted 3 February, 2022;
originally announced February 2022.
-
Pattern formation of elliptic particles by two-body interactions: a model for dynamics of endothelial cells in angiogenesis
Authors:
Tatsuya Hayashi,
Fumitaka Yura,
Jun Mada,
Hiroki Kurihara,
Tetsuji Tokihiro
Abstract:
A two-dimensional mathematical model for dynamics of endothelial cells in angiogenesis is investigated. Angiogenesis is a morphogenic process in which new blood vessels emerge from an existing vascular network. Recently a one-dimensional discrete dynamical model has been proposed to reproduce elongation, bifurcation, and cell motility such as cell-mixing during angiogenesis on the assumption of a…
▽ More
A two-dimensional mathematical model for dynamics of endothelial cells in angiogenesis is investigated. Angiogenesis is a morphogenic process in which new blood vessels emerge from an existing vascular network. Recently a one-dimensional discrete dynamical model has been proposed to reproduce elongation, bifurcation, and cell motility such as cell-mixing during angiogenesis on the assumption of a simple two-body interaction between endothelial cells. The present model is its two-dimensional extension, where endothelial cells are represented as the ellipses with the two-body interactions: repulsive interaction due to excluded volume effect, attractive interaction through pseudopodia and rotation by contact. We show that the oblateness of ellipses and the magnitude of contact rotation significantly affect the shape of created vascular patterns and elongation of branches.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
The least Euclidean distortion constant of a distance-regular graph
Authors:
Sebastian M. Cioabă,
Himanshu Gupta,
Ferdinand Ihringer,
Hirotake Kurihara
Abstract:
In 2008, Vallentin made a conjecture involving the least distortion of an embedding of a distance-regular graph into Euclidean space. Vallentin's conjecture implies that for a least distortion Euclidean embedding of a distance-regular graph of diameter $d$, the most contracted pairs of vertices are those at distance $d$. In this paper, we confirm Vallentin's conjecture for several families of dist…
▽ More
In 2008, Vallentin made a conjecture involving the least distortion of an embedding of a distance-regular graph into Euclidean space. Vallentin's conjecture implies that for a least distortion Euclidean embedding of a distance-regular graph of diameter $d$, the most contracted pairs of vertices are those at distance $d$. In this paper, we confirm Vallentin's conjecture for several families of distance-regular graphs. We also provide counterexamples to this conjecture, where the largest contraction occurs between pairs of vertices at distance $d{-}1$. We suggest three alternative conjectures and prove them for several families of distance-regular graphs.
△ Less
Submitted 31 January, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Homogeneous quandles arising from automorphisms of symmetric groups
Authors:
Akihiro Higashitani,
Hirotake Kurihara
Abstract:
Quandle is an algebraic system with one binary operation, but it is quite different from a group. Quandle has its origin in the knot theory and good relationships with the theory of symmetric spaces, so it is well-studied from points of view of both areas. In the present paper, we investigate a special kind of quandles, called generalized Alexander quandles $Q(G,ψ)$, which is defined by a group…
▽ More
Quandle is an algebraic system with one binary operation, but it is quite different from a group. Quandle has its origin in the knot theory and good relationships with the theory of symmetric spaces, so it is well-studied from points of view of both areas. In the present paper, we investigate a special kind of quandles, called generalized Alexander quandles $Q(G,ψ)$, which is defined by a group $G$ together with its group automorphism $ψ$. We develop the quandle invariants for generalized Alexander quandles. As a result, we prove that there is a one-to-one correspondence between generalized Alexander quandles arising from symmetric groups $\Sf_n$ and the conjugacy classes of $\Sf_n$ for $3 \leq n \leq 30$ with $n \neq 6,15$, and the case $n=6$ is also discussed.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
On invariants of surfaces in the $3$-sphere
Authors:
Hiroaki Kurihara
Abstract:
In this paper we study isotopy classes of closed connected orientable surfaces in the standard $3$-sphere. Such a surface splits the $3$-sphere into two compact connected submanifolds, and by using their Heegaard splittings, we obtain a $2$-component handlebody-link. In this paper, we first show that the equivalence class of such a 2-component handlebody-link up to attaching trivial $1$-handles ca…
▽ More
In this paper we study isotopy classes of closed connected orientable surfaces in the standard $3$-sphere. Such a surface splits the $3$-sphere into two compact connected submanifolds, and by using their Heegaard splittings, we obtain a $2$-component handlebody-link. In this paper, we first show that the equivalence class of such a 2-component handlebody-link up to attaching trivial $1$-handles can recover the original surface. Therefore, we can reduce the study of surfaces in the $3$-sphere to that of $2$-component handlebody-links up to stabilizations. Then, by using $G$-families of quandles, we construct invariants of $2$-component handlebody-links up to attaching trivial $1$-handles, which lead to invariants of surfaces in the $3$-sphere. In order to see the effectiveness of our invariants, we will also show that our invariants can distinguish certain explicit surfaces in the $3$-sphere.
△ Less
Submitted 28 February, 2022; v1 submitted 26 April, 2020;
originally announced April 2020.
-
Mathematical Modelings for Angiogenesis - A Cellular Automaton Model and its Continuous Model
Authors:
Keisuke Matsuya,
Hiroki Kurihara,
Tetsuji Tokihiro
Abstract:
Based on recent experiments with time-lapse fluorescent imaging, we propose a cellular automaton model for the dynamics of vascular endothelial cells (ECs) in angiogenic morphogenesis. The model successfully reproduces cell mixing behavior, elongation and bifurcation of blood vessels. The results suggest that the two-body interaction between ECs, which is repulsive in short distance and become att…
▽ More
Based on recent experiments with time-lapse fluorescent imaging, we propose a cellular automaton model for the dynamics of vascular endothelial cells (ECs) in angiogenic morphogenesis. The model successfully reproduces cell mixing behavior, elongation and bifurcation of blood vessels. The results suggest that the two-body interaction between ECs, which is repulsive in short distance and become attractive in moderately long distance, is essential to the dynamics of ECs, in particular, to the cell mixing behavior. The corresponding analytically solvable differential equation model is also proposed.
△ Less
Submitted 20 July, 2015; v1 submitted 22 January, 2015;
originally announced January 2015.
-
Great antipodal sets of complex Grassmannian manifolds as designs with the smallest cardinalities
Authors:
Hirotake Kurihara,
Takayuki Okuda
Abstract:
The aim of this paper is a characterization of great antipodal sets of complex Grassmannian manifolds as certain designs with the smallest cardinalities.
The aim of this paper is a characterization of great antipodal sets of complex Grassmannian manifolds as certain designs with the smallest cardinalities.
△ Less
Submitted 24 March, 2013;
originally announced March 2013.
-
An excess theorem for spherical 2-designs
Authors:
Hirotake Kurihara
Abstract:
We give an excess theorem for spherical 2-designs. This theorem is a dual version of the spectral excess theorem for graphs, which gives a characterization of distance-regular graphs, among regular graphs in terms of the eigenvalues and the excess. Here we give a characterization of Q-polynomial association schemes among spherical 2-designs.
We give an excess theorem for spherical 2-designs. This theorem is a dual version of the spectral excess theorem for graphs, which gives a characterization of distance-regular graphs, among regular graphs in terms of the eigenvalues and the excess. Here we give a characterization of Q-polynomial association schemes among spherical 2-designs.
△ Less
Submitted 14 March, 2012;
originally announced March 2012.
-
A spectral equivalent condition of the $P$-polynomial property for association schemes
Authors:
Hirotake Kurihara,
Hiroshi Nozaki
Abstract:
We give an equivalent condition of the $P$-polynomial property of symmetric association schemes.
We give an equivalent condition of the $P$-polynomial property of symmetric association schemes.
△ Less
Submitted 18 July, 2014; v1 submitted 22 October, 2011;
originally announced October 2011.
-
Character tables of association schemes based on attenuated spaces
Authors:
Hirotake Kurihara
Abstract:
The set of subspaces of a given dimension in an attenuated space has a structure of a symmetric association scheme and this association scheme is called an association scheme based on an attenuated space. Association schemes based on attenuated spaces are generalizations of Grassmann schemes and bilinear forms schemes, and also $q$-analogues of non-binary Johnson schemes. Wang, Guo and Li computed…
▽ More
The set of subspaces of a given dimension in an attenuated space has a structure of a symmetric association scheme and this association scheme is called an association scheme based on an attenuated space. Association schemes based on attenuated spaces are generalizations of Grassmann schemes and bilinear forms schemes, and also $q$-analogues of non-binary Johnson schemes. Wang, Guo and Li computed the intersection numbers of association schemes based on attenuated spaces. The aim of this paper is to compute character tables of association schemes based on attenuated spaces using the method of Tarnanen, Aaltonen and Goethals. Moreover, we also prove that association schemes based on attenuated spaces include as a special case the $m$-flat association scheme, which is defined on the set of cosets of subspaces of a constant dimension in a vector space over a finite field.
△ Less
Submitted 18 January, 2011; v1 submitted 18 January, 2011;
originally announced January 2011.
-
A characterization of Q-polynomial association schemes
Authors:
Hirotake Kurihara,
Hiroshi Nozaki
Abstract:
We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.
We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.
△ Less
Submitted 10 June, 2011; v1 submitted 3 July, 2010;
originally announced July 2010.
-
Jacobi operators along the structure flow on real hypersurfaces in a nonflat complex space form
Authors:
U-Hang Ki,
Hiroyuki Kurihara,
Ryoichi Takagi
Abstract:
Let $M$ be a real hypersurface of a complex space form with almost contact metric structure $(φ, ξ, η, g)$. In this paper, we study real hypersurfaces in a complex space form whose structure Jacobi operator $R_ξ=R(\cdot,ξ)ξ$ is $ξ$-parallel. In particular, we prove that the condition $\nabla_ξ R_ξ=0$ characterizes the homogeneous real hypersurfaces of type $A$ in a complex projective space or a…
▽ More
Let $M$ be a real hypersurface of a complex space form with almost contact metric structure $(φ, ξ, η, g)$. In this paper, we study real hypersurfaces in a complex space form whose structure Jacobi operator $R_ξ=R(\cdot,ξ)ξ$ is $ξ$-parallel. In particular, we prove that the condition $\nabla_ξ R_ξ=0$ characterizes the homogeneous real hypersurfaces of type $A$ in a complex projective space or a complex hyperbolic space when $R_ξ φS=S φR_ξ$ holds on $M$, where $S$ denotes the Ricci tensor of type (1,1) on $M$.
△ Less
Submitted 4 September, 2007;
originally announced September 2007.
-
Involutions of compact Riemannian 4-symmetric spaces
Authors:
Hiroyuki Kurihara,
Koji Tojo
Abstract:
Let G/H be a compact 4-symmetric space of inner type such that the dimension of the center Z(H) of H is at most one. In this paper we shall classify involutions of G preserving H for the case where dim Z(H)=0, or H is a centralizer of a toral subgroup of G.
Let G/H be a compact 4-symmetric space of inner type such that the dimension of the center Z(H) of H is at most one. In this paper we shall classify involutions of G preserving H for the case where dim Z(H)=0, or H is a centralizer of a toral subgroup of G.
△ Less
Submitted 2 August, 2007; v1 submitted 28 February, 2007;
originally announced February 2007.