Correction
26 Feb 2020: Cawi E, La Rosa PS, Nehorai A (2020) Correction: Designing machine learning workflows with an application to topological data analysis. PLOS ONE 15(2): e0229821. https://doi.org/10.1371/journal.pone.0229821 View correction
Figures
Abstract
In this paper we define the concept of the Machine Learning Morphism (MLM) as a fundamental building block to express operations performed in machine learning such as data preprocessing, feature extraction, and model training. Inspired by statistical learning, MLMs are morphisms whose parameters are minimized via a risk function. We explore operations such as composition of MLMs and when sets of MLMs form a vector space. These operations are used to build a machine learning workflow from data preprocessing to final task completion. We examine the Mapper Algorithm from Topological Data Analysis as an MLM, and build several workflows for binary classification incorporating Mapper on Hospital Readmissions and Credit Evaluation datasets. The advantage of this framework lies in the ability to easily build, organize, and compare multiple workflows, and allows joint optimization of parameters across multiple steps in an application.
Citation: Cawi E, La Rosa PS, Nehorai A (2019) Designing machine learning workflows with an application to topological data analysis. PLoS ONE 14(12): e0225577. https://doi.org/10.1371/journal.pone.0225577
Editor: Paweł Pławiak, Politechnika Krakowska im Tadeusza Kosciuszki, POLAND
Received: February 4, 2019; Accepted: November 8, 2019; Published: December 2, 2019
Copyright: © 2019 Cawi et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Data Availability: Data for Hospital Readmissions cannot be shared publicly because of HIPPA Regulations. Data transfer requests can be submitted to the Washington University Joint Research Office for Contracts (https://research.wustl.edu/offices/jroc/) and/or the corresponding author for researchers who meet the criteria for access to confidential data. German Credit Data is available at the Open ML Repository: https://www.openml.org/d/31.
Funding: E.C. was supported by DGE1745038, National Science Foundation Graduate Research Fellowship Program, nsf.gov, The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. P.S. La Rosa is supported by Bayer Company in St. Louis, MO. The funder provided support in the form of for author P.S. La Rosa, but did not have any additional role in the study design, data collection and analysis, decision to publish, or preparation of the manuscript. The specific roles of this author are articulated in the “author contributions” section.
Competing interests: P.S. La Rosa has an affiliation to Bayer Company in St. Louis, MO. This does not alter our adherence to PLOS ONE policies on sharing data and materials.
1 Introduction
In this paper, we leverage the concept of morphisms to construct a general structure that represents all type of data operations including data preparation, feature extraction, and mapping to outcome of interest. We call these fundamental building blocks Machine Learning Morphisms (MLMs). We describe an entire workflow, from data preparation to final task evaluation, in a single equation featuring a composition of MLMs. This allows data scientists to easily keep track of the workflow, and provides a modular framework for workflow construction and comparison. Our framework was inspired by the minimization framework in statistical learning theory [1] and the composition of functions used by artificial neural networks [2]. The concept of morphisms was referenced in [3] as a mapping between human behavior and machines. However, to the best of our knowledge, expressing a sequence of data operations as a single composition of morphims is a novel construction. This construction allows us to easily build and compare workflows across a data set (or collection of datasets), clearly present and interpret the end results, and gives interesting possibilities for joint optimization over the paramters of every step in a workflow.
To illustrate this framework, we examine the specific case of binary classification, with imbalanced classes and hybrid continuouscategorical data. We examine the use of the Topological Data Analysis (TDA) algorithm Mapper [4] as an MLM, and build a workflow using Mapper to train an ensemble of classifiers. We compare workflows using Mapper to other workflows in numerical experiments on two real world datasets. Further, Mapper is generally used for feature selection and qualitative visual analysis, so our approach represents an innovative use of the algorithm.
The rest of this paper is organized as follows. Section II introduces the MLM, and defines several operations. In Section IV, we build and compare several workflows on two datasets, and in Section V we present some final thoughts and directions for future work. Table 1 gives the general form for notation used for spaces, functions, and other structures used in the paper.
2 Mathematical nomenclature for machine learning workflows
2.1 Statistical learning overview
To provide motivation and set up the class of problems we are interested in, we present a basic overview of the supervised statistical learning problem. In this problem, measurements, observations, or data are gathered with the goal of constructing a mathematical relationship between the data and an outcome of interest. Miescke and Liese [5] define the sample space as a pair where is a space where the data and outcomes can be observed, and is a σ−algebra containing all subsets of relevant to the problem. Elements are the realizations of a random variable S for some underlying probability space (Ω, F, P_{Ω}). Here P_{Ω} is a probability measure on a set Ω and σalgebra F, and the mapping is measurable [5]. Let the set of n realizations of be denoted as , where we call the statistical space. The elements of S are data points or samples.
We will denote the realizations of the outcome of interest as , and we will call the realizations of the features as . In [1], Vapnik et al. give three criterion for a supervised learning problem. The first is the underlying distribution of the features, P(X = x). Next is the unknown conditional distribution P(Y = yX = x). Finally, given a parameter space Θ with elements p, denote the function (1) used to approximate P(Y = yX = x) as a learning machine. The parameters p are learned using a loss function (2) as a measure of discrepancy between the predictions F(x;p) and the observed values y.
Then define the expected risk function as: (3) where P(X = x, Y = y) = P(Y = yX = x)P(X = x) is the potentially unknown probability measure on and . This represents the expected value of the lost function across all realizations, and the optimal parameters are defined as: (4) Statistical learning theory has a rich history, and the properties of learning machines are widely studied and researched [6]. For example, Linear Regression [7], Support Vector Machines (SVMs) [8], and Neural Networks [9] all use this optimization framework with different choices of learning machine, loss, and risk functions to train their parameters. In practice the parameters are learned by approximating Eq 3 with an empirical risk function [10] defined on the realizations: (5) and the optimal parameters are given by: (6) Empirical risk is a valid approximation for the expected risk when Eq 5 converges to Eq 3 in probability as n goes to ∞. The conditions for this convergence are discussed thoroughly in [10], [7], and [1].
Learning workflows consist of a sequence of operations acting on the realizations in the statistical space. We distinguish two types of operations in these workflows. The first set consists of processes such as standardization and sampling, which help guarantee the convergence of the empirical risk function to the continuous risk function defined in Eq 3. The second set of operations learn the parameters of the learning machine F, which can itself be defined as a composition of operations acting on the sample space. These operations are often separated into stages such as preprocessing, feature extraction/selection, model training, etc., and it can be difficult to understand what is actually happening to the original data or if one has built the best workflow for the task at hand.
The field of Automated Machine Learning seeks to address this challenge by algorithmically finding the best workflow. Packages such as TPOT [11] and autosklearn [12] create wrappers around the popular scikitlearn package in python, while AutoWEKA [13] performs hyperparameter optimization over the WEKA platform [14]. TPOT constructs a graphical model of a workflow, and then uses a genetic algorithm to search the space of possible workflows [11], AutoWEKA uses a bayesian framework to iteratively optimize model hyperparameters. Autosklearn builds off of AutoWEKA, but also incorporates model performance on past datasets and creates ensemble models out 15 classifiers available in scikitlearn [12].
In our approach, we define a fundamental building block based off the idea of learning machines and risk minimization in statistical learning theory called the Machine Learning Morphism (MLM), that can be used to systematically build and analyze each step in a machine learning application, and keep track of the data at each step in the process. Since some data operations do not necessarily fit the mathematical definition of functions, for example splitting the data into multiple training and holdout sets for crossvalidation, we use morphisms as the building block rather than functions. This approach allows us to define a workflow as a composition of morphisms acting on the sample space, whose parameters are learned using a risk function acting on the statistical space.
2.2 The Machine Learning Morphism
Definition 1. Let:
 be an input space, where is part of a sample space as defined in section 2.1,
 be an output space,
 a morphism from input to output spaces, with parameters p ∈ Θ, and
 P(p) a probability distribution on p representing prior knowledge of the parameters
 an empirical risk function.
Then the Machine Learning Morphism is defined as: (7) where (8) and and are n realizations from the input and output spaces used to learn the parameters.
Note 1: The choice of a morphism with an associated empirical risk function and parameter prior represents a unique building block. We consider two MLMs with the same morphism F but different risk functions and/or priors to be different morphisms.
Note 2: For the purposes of simplicity we assume all of the risk functions used after this point are empirical risk functions acting on the training data rather than the expected risk function, and will refer to empirical risk functions as “risk functions”.
Note 3: We present linear regression, standardization, and other data operations as MLMs in Table 2.
The Machine Learning Morphism consists of the morphism F, whose parameters have been optimized over an empricial risk function on the set of realizations from the statistical space. The risk function also performs any necessary operations on the data in the statistical space to ensure convergence in probability to the expected value risk function in Eq 3. One example of this is applying sampling techniques such as oversampling, undersampling, SMOTE [15], or ROSE [16] to the training data in a classification task. This helps “learn” a better representation of the training data conditioned on each class.
The morphism F represents an operation acting on data, such as data standardization, feature extraction, or regression, In supervised tasks, we assume that the realizations of are matched to corresponding realizations of . In an unsupervised task or if training outputs are unknown (for example, kmeans clustering), the realizations Y = ∅ are empty.
Consider the example of least squares linear regression. The input space is . Denote as the matrix made from n realizations of . The output space is and denote the ndimensional vector of all output realizations as Y. We assume no prior knowledge on the parameters of F, so we use the improper prior . The morphism F is defined as: (9) is the dot product of x and , and the empirical risk function R is the sum of squared error across all of the datapoints: (10) where ∥⋅∥_{2} is the standard 2norm for realvalued vectors. The Machine Learning Morphism is (11) where is the optimal least squares solution, and is the transpose of X.
Continuing the example of linear regression, many times the data matrix X consists of shifted and scaled columns. The process of shifting and scaling is an MLM. The input space is , and the output space is . The parameter p is a vector containing shifting constants and scaling constants , and again P is the noninformative prior. The morphism (12) where diag(s) is the diagonal matrix whose main diagonal is s. This morphism shifts and scales each element of x. The risk function depends on the type of scaling implemented. For example, the goal of standardization is to transform data into standard Gaussian random variables to ensure that each element of a data point lies on the same scale for comparison, statistical tests, or model training later on in the workflow. For standardization, one choice of empirical risk function is (13) where KL(⋅) is the KL divergence [17] between the distribution of their shifted and scaled data and the standard multivariate normal distribution, I_{n} is an n × n identity matrix, and ⊗ is the Kronecker product. Let be the vector of column means of X, and be the vector of standard deviations of each columns of X. If the data follow a multivariate normal distribution, then the optimal parameters in this case are and .
Because we specify a prior distribution on parameters in Definition 1, we can express Bayesian operations as MLMs. Consider the Naive Bayes classifier [18] with input space is a set . Similarly, the output space is the set for k < ∞. Assuming conditional independence between the input data, the morphism chooses the class which maximizes the posterior distribution, , and the empirical risk function is 01 loss [18]. The parameter prior P(p) is a distribution on the parameters of the likelihood P(X = xY = y; p) and prior P(y; p).
Now that we shown examples of three MLMs, it is natural to investigate how they relate to one another. Property 1 establishes that for certain risk functions, learning the parameters for one MLM can be decomposed into learning the parameters of two MLM’s with lower dimensional parameter spaces and potentially lower dimensional input spaces.
Property 1. First define two separate MLMs with the same output space: with input space , output space , parameter prior P(p_{1}), morphism F_{1}, risk function ; and with input space , output space , parameter prior P(p_{2}), morphism F_{2}, risk function . Let the Θ_{1} and Θ_{2} represent the respective parameter spaces for p_{1} and p_{2}.
Let ⊕ represent a closed operation defined on , be an input space, and p_{3} = (p_{1}, p_{2}) ∈ Θ_{1} × Θ_{2} be a parameter vector. Define as an MLM with input space , output space , parameter prior P(p_{3}), morphism F_{3}(x_{3}; p_{3}) = F_{1}(x_{1}; p_{1})⊕F_{2}(x_{2}; p_{2}), where , , and x_{1}∪x_{2} = x_{3}. Denote the risk function for as . Note that the parameter prior P(p_{3}) is the joint distribution of p_{1} and p_{2}.
If the risk function has the form , where , then is equivalent to .
Proof: In appendix.
Examples of closed operations between MLMs when include addition, multiplication of two MLMs (for example multiplying probability density functions), and division. If the output space is binary, then Boolean logic operations are valid.
In the example of linear regression, the least squares risk function can be decomposed into two lower dimensional least squares risk functions if the training realizations X form an orthogonal matrix. This could be a property of the feature space or the result of applying a transformation such as principal component analysis. To see this decomposition, let be the MLM representing linear regression trained over X, with regression coefficients p. Split the parameters where and and the training matrix into X = [X_{1}X_{2}] where X_{1} is the first c columns of X, and X_{2} contains the remaining columns. Let and ML_{2} represent linear regressions trained on X_{1} and X_{2} respectively using empirical risk functions for i = 1, 2. For , the risk function is: (14) (15) which clearly satisfies Property 1. In the derivation (provided in the appendix) we leverage the fact that and other cross terms form a zero matrix due to the orthogonality of X. In this case each regression coefficient can be found by solving it’s own independent one dimensional least squares problem, which could be easily parallelized for a very fast regression.
If is a vector space, then ensemble models featuring linear combinations of independently trained MLM’s can be decomposed into problems with lower dimensional parameter spaces. For example in random forests each tree is independently trained (common risk functions include Gini Impurity or Information gain) on random and possibly overlapping subsets of the feature space using the random subspace method [19]. The parameters of each tree are the splitting criterion, and the output of a random forest is the average response of all trees in the forest, which is used either as a majority vote or class probability. Because the trees are trained independently of each other, we can define a risk function for the random forest as the sum of the Gini Impurity in each tree and use Property 1 to decompose the forest into its individual trees.
We are also interested in sequential operations using MLMs, so we need a notion of composition. For example, we wish to first standardize our data, and then perform linear regression.
Definition 2. Let and be two MLMs such that the output space of is the same as the input space of . We define the composition as a MLM with structure: (16) (17) (18) (19) (20) and the learned parameters are given by (21)
The output morphisms is a composition of F_{1} and F_{2} follows the general form for composition of morphisms, and reflects the sequence of transformations on data in a machine learning application. The risk function used in this definition optimizes the task over every available parameter. This was motivated by the idea that this risk function is oriented to the task or machine learning goal, so there is an opportunity to improve task performance by jointly optimizing the parameters.
In our example of standardization () followed by linear regression (), has structure: (22) (23) (24) (25)
In linear regression, standardization is extremely common, and MLMs such as PCA (shown in section 3) require standardized input data. However, in some applications it may be of interest to give more weight to one column than another, and exploring nonstandard or nonlinear scalings may be an interesting future application.
2.3 Collections of morphisms
In machine learning, we are often interested in ensembles of models, evaluating model performance, and model selection. To incorporate these tasks into the MLM framework, we need a notion of multiple MLMs gathered together.
Definition 3. Given MLMs , , …,, then the collection of MLMs is the set: (26) We call the number of morphisms, k, the dimension of .
In the numerical experiments presented in Section IV, we use the idea of collections for model selection and evaluation. Once data has been collected, it is standard practice in machine learning to split the data into a Training Set used to develop a workflow and choose optimal parameters, a Validation Set used to assess and tune model performance during development, and a Testing Set used to assess performance after development is completed [24]. Evaluating the performance of a model is a MLM, which we will denote .
The input space is the set of all collections of kdimensional MLMs with output space , which we will denote . The output space (often or ) represents the performance of the model(s) under consideration.
There are two major sets of parameters. The first are any parameters p_{1} required by the morphisms in the collection, which have prior P(p_{1}). The second are the parameters of the evaluation function, p_{2}, which have prior P(p_{2}). Assuming these parameters are indepentent, the final parameter prior is P(p_{1})P(p_{2}).
The morphism evaluates the performance of the collection of MLMs on a new set of realizations. Examples include sensitivity, the Reciever Operating Characteristic (ROC) [25], or the Aikeke Information Criterion (AIC) [26]. A model selection morphism chooses the MLM in a collection that maximizes the chosen performance measure. The risk function performs whatever optimization is required by the performance measure, such as complexity criterion.
2.4 Machine learning workflow
Now that we have established operations and composition on MLMs, we define the Machine Learning Workflow (MLW or “workflow”).
Definition 4. A Machine Learning Workflow is a finite composition of k MLMs , with initial input space and final output space .
This definition is inspired by the formulation of artificial neural networks as compositions of functions. Instead of sigmoids, our composition represents different steps in a machine learning application such as data preprocessing, feature extraction, and model training. A workflow can contain any number of MLMs, and each MLM could possibly be broken down into more MLMs. This representation allows us to present an application with a single master equation, which keeps track of the parameter space, and optimizes over a single risk function. This has advantages in both presentation and organization. If we are evaluating several workflows over the same outcome space (for example, models created for the Netflix Competition), we can use the MLM framework to create an ontology of workflows for evaluation and comparison.
2.5 Binary classification use case
We are specifically interested in the case when data points are sets composed of both realvalued continuous variables and categorical variables, the output space is (binary classification). Further, we are interested in the case when there is a class imbalance, e.g. significantly more observed samples where y = 0 than y = 1. We were developing a machine learning model to identify hospital patients at high risk of 30day unplanned readmission, which occurs when patients come back to the hospital within 30 days of discharge. We developed this framework to better keep track of how the data was manipulated, and discovered a potentially useful application of the Topological Data Analysis algorithm Mapper as an MLM. The rest of this paper will describe workflows we developed in terms of the MLM framework.
3 TDA Mapper as a MLM
In this section we present a brief overview of the TDA Mapper algorithm, show that it fits into the MLM framework, and build some example workflows.
3.1 Mapper algorithm
Topological Data Analysis assumes that the space can be endowed with a collection of subsets . Elements satisfy and , and are called open sets. Then the ordered pair , forms a Topological Space. TDA builds topological spaces on top of data points, and evaluates the shape of the computed spaces [27]. The critical features are closed loops in various dimensions, which are invariant to rotation or multiplicative scaling. When is also endowed with a probability space, the topological features are also endowed with a probability space [28], and can be used in machine learning. TDA has been used as a novel visualization tool in biomedical applications [29] [30], text mining [31], and remote sensing [32].
One visualization tool developed for TDA at Stanford is the Mapper Algorithm [4]. It creates a graphical representation of the data that keeps an equivalent topological structure, and has been used in a wide variety of applications [33] [34]. Mapper is usually used as a method for clustering and visualization. Interesting clusters or patterns are used as a feature selection method to reduce the dimensionality of data before training learning models.
To construct the Mapper graph, first define a filtration function (note: it isn’t necessary for the range to be , but we’re using it here for simplicity). Then define an equivalence relation ∼_{A} such that x_{1} ∼_{A} x_{2} whenever A(x_{1}) = A(x_{2}), which collapses every level set of A to a single point. The Reeb Graph is the quotient space of under the relation ∼_{A}. Mathematically, the Mapper algorithm computationally approximates the Reeb Graph by computing the nerve of a refined pullback of an open cover, , of . Practically, Mapper assigns datapoints to O, and then performs clustering within each member of the open cover. Then it creates graph G with a set of nodes N_{i} ∈ N representing the clusters, and a set of edges E where an edge e_{ij} means that two clusters have nonempty intersection. It has been proven to converge exactly to the Reeb graph if O is refined enough [35]. The full algorithm is described in [4], and rough pseudocode of computational algorithm is detailed in Algorithm 1.
In topology, an abstract simplicial complex is a family of nonempty finite sets that is closed when taking nonempty subsets. One of the main ideas of TDA is to create abstract simplicial complexes from sets of data [36]. The pullback operator on an open cover has a more complicated definition that is out of the scope of this paper, but the nerve of an open cover is a representation of the open cover as an abstract simplicial complex. The Mapper algorithm computes the nerve of the using the procedure in Algorithm 1, and the result is a graph showing the “shape” of the data [4].
Algorithm 1 Description of the TDA Mapper Algorithm by Singh, Memoli, and Carlsson et al.
Input: • Data X, distance metric D on , filtration function
• Number of intervals k, number of bins when clustering b, percent overlap o
Output: Graph G, nodes n_{i} ∈ N, edges e_{ij} ∈ E
1: N ← ∅
2: E ← ∅
3: Compute Y = A(X)
4: Generate an open cover of Y with k open intervals , with area a_{I}, such that I_{j} ∩ I_{j+1} ≠ ∅ and the area of each intersection is o*a_{I}
5: for j = 1 to k do
6: Perform clustering such as kmeans, using b clusters, on x ∈ X ∩ A^{−1}(I_{j})
7: append each cluster N_{i}, for i = 1, 2, 3… to N
8: end for
9: for i, j ∈ N do
10: if N_{i} ∩ N_{j} ≠ ∅ then
11: Append edge e_{ij} to E
12: end if
13: end for
14: return N, E
3.2 Machine learning workflows with Mapper
The set of nodes, N = {N_{1}, …, N_{w}}, output by Mapper, represents a cover, of X. Taking Mapper as a morphism from to the set of all covers of , the Mapper algorithm is an MLM with structure:
 Input space is the topological space
 Output space is the set of all open covers of
 A Parameter Prior over the parameters in algorithm 1 P(D, A, k, b, o), representing prior knowledge or choices of the proper distance metric, filtration function, etc.
 Morphism: Nerve of the refined pullback of an open cover, O, of
 Risk function: Graph Edit Distance [37]
Because Mapper approximates the Reeb Graph, we use the graph edit distance (GED) [37] between Mapper and the “true” Reeb Graph as the risk function for the Mapper MLM. The graph edit distance between graphs G_{1} and G_{2} summing up the cost of the operations necessary to transform G_{1} into G_{2}. These operations commonly include adding/deleting edges, nodes, and changing the labels of nodes. Formally if B = [B_{1}, B_{2}, …, B_{k}] contains the graph operations necessary to transform G_{1} into G_{2} and is a cost function, then the graph edit distance is: (27)
In Section IV, we use grid search to search through the parameters of Mapper. To bring this MLM closer to the realm of statistical learning theory, future work could extend the statistical analysis from [35] to define an computationally tractable loss function and more informative parameter prior. However, in the context of the larger workflow, the choice of risk is less relevant because the parameters are optimized over the final risk function.
We build an example machine learning workflow with Mapper and logistic regression as follows:
 The input space is , which has training realizations X_{TR}, validation realizations X_{V}, and testing realizations X_{TS}.
 The output space is .
 : Dummy coding the original data matrix, embeds the data into .

: Mapper MLM on trained on realizations X_{TR}:
 If the first principal component is the filtration function a, then this MLM features a composition with the PCA MLM.
 For computational reasons down the line, we remove vertices with less than 40 data points, so the output is not a total cover of . When the first principal component is used this seems to have the effect of removing outliers with high/low PCA scores.
 outputs a set of spaces , with training realizations separated into each group

, where each has structure:
 Input Space: ,
 Output Space: , representing the class probability P(y = 1),
 Morphism: Composition of:
 Feature extraction, e.g. PCA,
 A learning machines, e.g. Logistic Regression trained on X_{TR,i}
 Parameter Prior: Gaussian priors on the regression coefficients for each node, uniform priors on the parameters of the Mapper MLM.
 Risk function: Maximum likelihood, combined with sampling to address class imbalance, e.g. oversampling, undersampling, ROSE [38], or SMOTE [15]. Additionally, model hyperparameters can be selected with cross validation.
 is a weighting function depending on where points lie in the input space, related to which nodes of the Mapper graph are “active” for a given data point.
 : A decision threshold with
This MLW creates and optimizes a separate workflow for each node created by the Mapper graph. Then, we leverage Property 1 and the fact that each workflow outputs class probabilities to create a weighted ensemble of workflows. Fig 1 shows a block diagram represenation of the full workflow using Mapper. Final model evaluation uses as an input to an evaluation MLM using realizations from the test set X_{TS}. The weights C_{i}(x) in represent an interesting choice. Intuitively, weights should be nonzero only when a point lies in , so only a portion of the models are “active” for a given point. Because they are summing elements of a probability space, for all x. Options for the weighting parameters include:
 Assign a weight of 1 to the “closest” node and 0 to all others.
 Assign equal weight to all nodes to which the point belongs, and 0 to all others.
 Assign weight inversely proportional to the distance from the center of the interval assigned to that node.
 Assign weight proportional to the cross validation metrics of each model, i.e. models that perform better on the training data are assigned higher weights.
 Train weights within cross validation by defining a loss function based on the metric of interest.
The first step is onehot encoding the data to embed it into . The next step computes the Mapper graph of the data. Then models are trained on each node, and summed. Finally, a decision function outputs the final class prediction.
The Mapper algorithm could be replaced with another clustering algorithm such as kmeans, or any other mapping that chooses subsets of data. We chose the Mapper algorithm because the subsets it generates have some appealing properties. First, the points in one are all “close” in the sense of the filtration function, but may have a different internal structure than another node to which they are not connected. A column of X_{i} may be positively correlated with the outcome variable, but the same column of X_{j} may be negatively correlated. When considered in a model over the entire dataset, these correlations may “compete” with each other.
Furthermore, with the proper choice of a filtration function, some nodes may have a higher incidence of the outcome variable. In previous literature this was done in order to identify subsets with high minority prevalence for further study. By training a model only on that node, we reduce some of the class imbalance on that set, theoretically increasing model performance. Finally, many clustering methods do not produce overlapping clusters, but in [39], training classifiers on overlapping cluster was shown to improve performance. The Mapper algorithm allows for datapoints that fall into multiple nodes of the Mapper graph to contribute information to each node’s model.
To evaluate the workflow , use the workflow as input to an MLM that evaluates classifier performance over new realizations from (the testing set). In the next section we focus on ROC area under the curve (AUC), Sensitivity, and Specificity as different training metrics.
4 Numerical experiments
4.1 Comparisons
We built several versions of Eq 29 across two real world datasets. The workflow breakdown is as follows:
 Realizations: Always an 80/20 training/testing split.
 : Dummy coding performed using the default parameters from the caret package.
 : One of [Mapper, Identity (no transformations)]. For the Mapper graph, we used a uniform prior on the number of intervals k from [5–20], the percent overlap o from [20%–60%], and the number of bins when clustering from [5–30]. We fixed the filtration function a as the first principal component, and the distance metric d as the gower metric, which means we used a dirac delta as the prior for these parameters.

: Node Models:
 Feature Extraction: Used caret package in R [40] to perform one of: [no transformations, PCA]
 Sampling: Used caret package in R to perform one of [no sampling, SMOTE, ROSE]
 Learning Machines: Used caret package in R to train one of [Logistic Regression, SVM, Random Forests, AdaBoost [22]]
 Cross Validation: Used caret package in R to generate 10fold cross validation sets to tune model hyperparameters, such as the number of trees in the random forests.
 Weighting functions C_{i}: Points are assigned to nodes by computing the filtration function, assigning to appropriate intervals and then finding the closest cluster within each interval. Then weights were assigned to the one or two closest nodes. If two nodes are used, we use either equal weights or weights proportional to the ROC performance on the validation set.
 Decision threshold function as defined in Eq 28.
Mapper graphs used the first principal component as the filtration function, and the other parameters were tuned by grid search. Preliminary investigations with other filtration functions on patient record data revealed that the first PC seemed to yield the best classifier performance, so it was fixed as the filtration function for each experiment. These graphs tended not to find any loops or interesting topological structures when using that particular filtration function. However, there was usually a good spread with respect to the outcome variable where some nodes have a high minority class occurence and others have very low.
For the risk function, we optimized independently of the whole process, via methods such as maximum likelihood (for Logistic Regression) using models from caret. The decision threshold in and the parameters of the mapper algorithm were selected to optimize the average ROC AUC over the holdout sets from the cross validation. This was done via grid search.
The results are grouped by the type of learning machine used in . Each workflow uses only one of these types, and experimenting with more involved model selection on different nodes X_{i} is an interesting direction of future work. Every workflow tested was run with 10 different training/testing splits, and the resulting performance measures were averaged. The workflows are named by Mapper/No Transformation, PCA (if applicatble), Sampling method (if applicable), node weights (if applicable).
4.2 Hospital readmissions data
The original dataset used in development of this project is from a set of 776 medicare/medicaid patients from Barnes Jewish Hospital in St. Louis, MO admitted between April 2015April 2016. We seek to predict whether or not the patients will be readmitted into the hospital within 30 days after being discharged. The variables collected are: LACE Risk Score, presence of Diabetes, principal diagnoses from ICD9/10 codes, gender, ethnicity, zip code readmission rate, length of stay, age, and presence of a primary care provider. 134 (17.3%) of the patients were readmitted. In each run of the simulation, the data was divided into 621 training and 155 test patients. Some descriptions of the population under study are given in Table 3. Tables 4–7 show the classification results for multiple workflows, themed by the type of classifier, averaged over 10 runs. The chosen Mapper parameters were 10 intervals, 50% overlap, and 20 bins when clustering. Typical Mapper graphs had 10 nodes, each with 40200 patients per node. We report the ROC AUC, Sensitivity, Specificity, and Accuracy for each model tested, but note that accuracy in this case is biased heavily towards the specificity score since negatives make up 83% of the patients.
The Mapper graphs were tuned using the first principal component of the entire dataset as the filtration function, a typical graph is shown in Fig 2. Based off of a grid search, a bin overlap of 4050% yielded roughly the same results, with 10 intervals as the clustering parameter. Each run produced 510 nodes, with readmission ranging from 5%30%.
The nodes are colored showing level of readmissions, and larger node size indicates a higher number of patients in that node.
This dataset catalyzed the use of the Mapper graph in the ML workflow. Models trained on the entire dataset do not perform well, and we were aiming to build a workflow that improved upon the LACE score. LACE is a combination of Length of previous hospital stays, Acuity of admission (emergency/not emergencey), the Charlson Comorbidity, and number of prior Emergency Department visits, and is the most used tool to predict readmissions risk. However, our population has a huge majority of “high” risk patients, and logistic regression trained on lace results in a ROC AUC of 0.59, with the optimal sensitivity at 0.54, which only correctly predicts slightly more than half of all readmissions. Applying Mapper in to our workflow resulted in large performance increases over the LACE model.
On the Logistic Regression, the Mapper algorithm with PCA computed for individual nodes and SMOTE sampling outperforms all other workflows, with Mapper/No Transformation (NT) and NT + SMOTE also showing higher performance than others. Sensitivity is of particular interest in this problem, in order to identify as many high risk patients as possible and target them with additional resources.
The SVM classifier performed the best out of the outofthebox models with no sampling or other transformations, however the Sensitivity was significantly increased by the models using Mapper, Node PCA, and SMOTE/ROSE sampling. None of the models using Mapper in conjunction with Random Forests showed large improvement over training the Random Forests over the entire training set. It should be noted that the models running Random Forests with ROSE sampling in the Caret Package didn’t converge, and voted “noreadmission” for every point in the test set. This issue also occured when using Adaboost classifiers with ROSE sampling in Table 7.
Adaboost models were improved both by sampling and in two of the Mapper workflows. One case to note is the PCA+ROSE combination, which features a “high” AUC but low Sensitivity. In this case we would throw out the model in favor of the Mapper, no transformation, SMOTE workflow which correctly identifies almost 3/4 of the readmitted patients. One reason AdaBoost models might perform better with the Mapper algorithm is that AdaBoost is often used on smaller datasets, which the Mapper workflow naturally creates.
Compared to the out of the box models trained using caret, workflows utilizing Mapper tend to have a higher variance between runs. This can be explained by additional variance introduced by assigning the testing points to different nodes of the Mapper graph. Since each run has a different testing set, different node models will predict different numbers of testing points. Additionally, variance is introduced by using SMOTE or ROSE sampling methods, since each run creates a new set of synthetic samples. Methods using ROSE Sampling and Mapper had the highest spread in metrics.
4.2 Additional testing: German credit data
For replication and additional testing, we built workflows on German Credit data available through UCI’s machine learning data repository [41]. The data features 20 features, which are described in Table 8. We chose this dataset because it has a mix of categorical and continuous features, and a similar class imbalance to the Hospital Readmissions data. The selected Mapper parameters were 10 intervals, 30% overlap, and 15 bins when clustering. A typical Mapper graph created 7 nodes, with 50400 points per node, and is shown in Fig 3. The goal of these workflows is to classify applicants into “good” or “bad” credit risk.
Nodes are colored to show the levels of bad credit, and sized by number of data points.
In the numerical comparisons, we encountered convergence issues with the AdaBoost algorithm and ROSE sampling scheme, so we do not report experiments featuring those MLMs.
On the credit data, we also experimented with adding the weighted interactions between two models. The results of the comparisons are posted in Tables 9–11. The weights were either equal, or weighted towards the best ROC AUC. If a testing point was assigned to nodes i and j, we used the weights: (30) (31) where AUC_{i} and AUC_{j} are the average of the ROC AUC’s computed on the holdout sets during cross validation.
An interesting property of this dataset is that training models with no transformations yields high ROC AUC (compared to models trained on the readmissions data) across every model, with roughly the same performance when PCA is applied across the whole dataset. The Mapper/Logistic Regression workflow produced lower ROC AUC’s when no transformations were used, but similar AUC’s when node PCA was applied, and slightly lower specificity.
Random forest classifiers using the Mapper workflow performed worse in AUC than training a random forest on the original dataset. Most of the loss in performance is due to much lower specificity across the board. When applying node PCA to random forests, the performance decreased, unlike the Logistic Regression case.
SVM classifiers with Mapper also performed poorly across the board when no node transformations are applied. However, applying PCA to Mapper nodes significantly outperformed Mapper workflows with no transformations, and had similar results to workflows trained on the entire dataset.
When a weighted combination of two models was used instead of one model (more than one C_{i}(x) > 0), the results were either the same or slightly improved. One reason for the same results is that models tend to be similar when trained with nodes that overlap with each other, while models from nodes on opposite ends of the Mapper graph are different. This means models give roughly the same probability, and therefore the weighted combination will be roughly the same as just using the closest model. More experimentation and analysis should be done to tune these weights.
5 Discussion
In summary, we presented the machine learning workflow as a composition of machine learning morphisms, starting from the original data space , and ending with task completion. We presented several properties of these morphisms, including when groups of MLMs form a vector space. Then we presented a workflow using the TDA Mapper algorithm as an MLM to split X into overlapping subsets and train models on each subset. We discussed implications of this workflow and presented results from two applications on real data. In the case of Hospital Readmissions we found several models using the Mapper algorithm that yielded increased performance. In the case of the German Credit data, models using Mapper and node PCA performed similarly to workflows trained without Mapper. However, the closeness of some of the models suggests that further tuning may be all that is needed to improve performance.
Besides potential performance improvements, workflows utlizing Mapper provide the advantage of parallelization. On the German Credit Data, we showed several cases where models trained on smaller datasets and then pooled together performed just as well as models trained on the whole dataset. Once the data is split, each model is trained on a significantly smaller portion of the data. The training can be parallelized, which has the potential to significantly decrease training time on large datasets, or on models such as neural networks and SVM that scale nonlinearly with the number of data points.
Some limitations with the numerical experiments include limited data: each node is only assigned a few samples from the test set, which adds some uncertainty to the results. The bounds of uncertainty should be further analyzed, and these workflows should be analyzed by studying datasets with more samples.
One direction for future work is to examine the theoretical performance of the workflow utilizing TDA. TDA is a natural fit for this framework because it is intrinsically interested in the study of data spaces and the morphisms between those spaces.
Other directions of future work include studying the optimization of MLM based workflows given a choice of risk functions. When should parameters be optimized independently, and when should they be formulated as a joint optimization over a risk function? When the morphisms and risk functions are all continuous and differentiable functions, the workflow is similar or equivalent to a simple feed forward neural network, and we could leverage the research done on neural networks to jointly optimize large ensembles of models. Finally, vector spaces of MLMs could be leveraged to build and analyze ensembles.
In conclusion, the MLM framework allows us to concisely build multiple well organized workflows, from preprocessing to task completion, and provides a medium for performance analysis and optimization of all workflow parameters.
6 Appendix
[Proof of Property 1]
Proof. Given that they have the same output space, to show that , it is sufficient to establish that the optimal parameters of are the same as the optimal parameters of and .
Let and be the optimal parameters of and . Now find the optimal parameters of : (32)
Since , therefore we can optimize and independently in .
[Decomposition of Linear Regression with Orthogonal Training Matrix] The risk function for linear least squares regression is: (33) which expands to: (34) continuing the matrix multiplication: (35) cancelling out the cross terms: (36) finally, collecting the terms with X_{1} and X_{2} into a sum of norms: (37)
Acknowledgments
The authors would like to thank Dr. AnnMarcia Tukpah, with the VA, and Dr. Lenise CummingsVaughn, with Barnes Jewish Hospital for sharing data and collaboration on the Hospital Readmissions Prediction.
References
 1.
Vapnik V. The nature of statistical learning theory. Springer science & business media; 2013.
 2. Abadi M, Barham P, Chen J, Chen Z, Davis A, Dean J, et al. Tensorflow: a system for largescale machine learning. In: OSDI. vol. 16; 2016. p. 265–283.
 3.
Ball D. Induction by a Hilbert hypercube representation. Aston University; 1991.
 4. Singh G, Mémoli F, Carlsson GE. Topological methods for the analysis of high dimensional data sets and 3d object recognition. In: SPBG; 2007. p. 91–100.
 5. Miescke KJ, Liese F. Statistical Decision Theory: Estimation, Testing, and Selection.
 6.
Pednault EP. Statistical learning theory. Citeseer; 1997.
 7. Vapnik VN. An overview of statistical learning theory. IEEE transactions on neural networks. 1999;10(5):988–999. pmid:18252602
 8. Xuegong Z. Introduction to statistical learning theory and support vector machines. Acta Automatica Sinica. 2000;26(1):32–42.
 9. Nasrabadi NM. Pattern recognition and machine learning. Journal of electronic imaging. 2007;16(4):049901.
 10. Vapnik V. Principles of risk minimization for learning theory. In: Advances in neural information processing systems; 1992. p. 831–838.
 11.
Olson RS, Moore JH. TPOT: A Treebased Pipeline Optimization Tool for Automating Machine Learning. Springer; 2018. p. 163–173.
 12.
Feurer M, Klein A, Eggensperger K, Springenberg JT, Blum M, Hutter F. Autosklearn: Efficient and Robust Automated Machine Learning. Springer; 2018. p. 123–143.
 13.
Kotthoff L, Thornton C, Hoos HH, Hutter F, LeytonBrown K. AutoWEKA: Automatic model selection and hyperparameter optimization in WEKA. Springer; 2018. p. 89–103.
 14.
Witten IH, Frank E, Hall MA, Pal CJ. Data Mining: Practical machine learning tools and techniques. Morgan Kaufmann; 2016.
 15. Chawla NV, Bowyer KW, Hall LO, Kegelmeyer WP. SMOTE: synthetic minority oversampling technique. Journal of artificial intelligence research. 2002;16:321–357.
 16. Lunardon N, Menardi G, Torelli N. ROSE: A Package for Binary Imbalanced Learning. R journal. 2014;6(1).
 17.
Raiber F, Kurland O. KullbackLeibler Divergence Revisited. In: Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval. ICTIR’17. New York, NY, USA: ACM; 2017. p. 117–124. Available from: http://doi.acm.org/10.1145/3121050.3121062.
 18.
Rish I, et al. An empirical study of the naive Bayes classifier. In: IJCAI 2001 workshop on empirical methods in artificial intelligence. vol. 3. IBM New York; 2001. p. 41–46.
 19.
Barandiaran, Iñigo. The random subspace method for constructing decision forests. IEEE Trans. Pattern Anal. Mach. Intell; volume 20; number 8; 122, 1998.
 20. Cerda P, Varoquaux G, Kégl B. Similarity encoding for learning with dirty categorical variables. Machine Learning. 2018; p. 1–18.
 21. Patel N, Upadhyay S. Study of various decision tree pruning methods with their empirical comparison in WEKA. International journal of computer applications. 2012;60(12).
 22.
Rojas R. AdaBoost and the super bowl of classifiers a tutorial introduction to adaptive boosting. Freie University, Berlin, Tech Rep. 2009.
 23.
Mehrotra K, Mohan CK, Ranka S. Elements of artificial neural networks. MIT press; 1997.
 24.
Data Preparation and Feature Engineering in ML; 2018. Available from: https://developers.google.com/machinelearning/dataprep/.
 25. Fawcett T. An introduction to ROC analysis. Pattern recognition letters. 2006;27(8):861–874.
 26.
Akaike H. Information theory and an extension of the maximum likelihood principle. In: Selected papers of hirotugu akaike. Springer; 1998. p. 199–213.
 27. Wasserman L. Topological data analysis. Annual Review of Statistics and Its Application. 2018;5:501–532.
 28. Bubenik P. Statistical topological data analysis using persistence landscapes. The Journal of Machine Learning Research. 2015;16(1):77–102.
 29. Gamble J, Heo G. Exploring uses of persistent homology for statistical analysis of landmarkbased shape data. Journal of Multivariate Analysis. 2010;101(9):2184–2199.
 30. Bendich P, Marron JS, Miller E, Pieloch A, Skwerer S. Persistent homology analysis of brain artery trees. The annals of applied statistics. 2016;10(1):198. pmid:27642379
 31.
Gholizadeh S, Seyeditabari A, Zadrozny W. Topological Signature of 19th Century Novelists: Persistence Homology in ContextFree Text Mining. 2018.
 32. Duponchel L. Exploring hyperspectral imaging data sets with topological data analysis. Analytica chimica acta. 2018;1000:123–131. pmid:29289301
 33. Nicolau M, Levine AJ, Carlsson G. Topology based data analysis identifies a subgroup of breast cancers with a unique mutational profile and excellent survival. Proceedings of the National Academy of Sciences. 2011; p. 201102826.
 34.
Coudriau M, Lahmadi A, François J. Topological analysis and visualisation of network monitoring data: Darknet case study. In: Information Forensics and Security (WIFS), 2016 IEEE International Workshop on. IEEE; 2016. p. 1–6.
 35. Carriere M, Michel B, Oudot S. Statistical analysis and parameter selection for Mapper. The Journal of Machine Learning Research. 2018;19(1):478–516.
 36. Epstein C, Carlsson G, Edelsbrunner H. Topological data analysis. Inverse Problems. 2011;27(12):120201.
 37. Gao X, Xiao B, Tao D, Li X. A survey of graph edit distance. Pattern Analysis and applications. 2010;13(1):113–129.
 38. Menardi G, Torelli N. Training and assessing classification rules with imbalanced data. Data Mining and Knowledge Discovery. 2014;28(1):92–122.
 39. Rahman A, Verma B. Novel layered clusteringbased approach for generating ensemble of classifiers. IEEE Transactions on Neural Networks. 2011;22(5):781–792. pmid:21486714
 40.
Kuhn M. The caret Package; 2009.
 41.
Dheeru D, Karra Taniskidou E. UCI Machine Learning Repository; 2017. Available from: http://archive.ics.uci.edu/ml.