Moral Lineage Tracing

Florian Jug1,∗, Evgeny Levinkov2,∗, Corinna Blasse1, Eugene W. Myers1, Bjoern Andres2,†

Abstract

Lineage tracing, the tracking of living cells as they move and divide, is a central problem in biological imageanalysis. Solutions, called lineage forests, are key to understanding how the structure of multicellular organismsemerges. We propose an integer linear program (ILP) whose feasible solutions define, for every image in asequence, a decomposition into cells (segmentation) and, across images, a lineage forest of cells (tracing). Inthis ILP, path-cut inequalities enforce the morality of lineages, i.e., the constraint that cells do not merge. Tofind feasible solutions of this NP-hard problem, with certified bounds to the global optimum, we define efficientseparation procedures and apply these as part of a branch-and-cut algorithm. To show the effectiveness of thisapproach, we analyze feasible solutions for real microscopy data in terms of bounds and run-time, and by theirweighted edit distance to lineage forests traced by humans.

1 Introduction

Phenomenal progress in microscopy allows biologists toimage large numbers of living cells as they move anddivide [30, 45]. Such observations are essential in devel-opmental biology for studying embryogenesis and tissueformation [31, 33, 37]. Consequently, the tracing of cellsand their lineages in sequences of images has become acentral problem in biological image analysis [4, 5, 29].

The lineage tracing problem consists of two sub-problems. The first sub-problem is to identify the cellsin every individual image. The second sub-problemis to connect every cell identified in an image to thesame cell and descendant cells identified in subsequentimages. A joint solution of both sub-problems is a setof pairwise disjoint lineage trees (depicted in Fig. 1, inred and green) whose nodes are cells.

The first sub-problem is an image decompositionproblem: If every pixel shows a part of a cell and nopixel shows a background, the objective is to decom-pose the pixel grid graph of the image into preciselyone component per cell. If pixels potentially show back-ground, the objective is to jointly select and decomposea subgraph of the pixel grid graph such that there isprecisely one component for each cell and no componentfor the background.

The second sub-problem is a cell tracking problem:The objective is to connect every cell detected in oneimage to the same cell and descendant cells identi-fied in subsequent images. A joint solution of bothsub-problems is constrained by prior knowledge. Inparticular, every cell has at most one direct progenitorcell, i.e., cells do not merge. Moreover, no cell splitsinto more than two cells at once. Yet, a cell can appearwithout a direct progenitor cell when entering the fieldof view, and a cell can disappear when dying or leavingthe field of view. Finally, it can appear as if a cell wasdividing into more than two cells at once if the temporal

1MPI of Molecular Cell Biology and Genetics, Dresden2MPI for Informatics, Saarbrucken∗Contributed equally†Correspondence: andres@mpi-inf.mpg.de

a

b

cd

e

time

Figure 1 Given a sequence of images, taken at consecutivepoints in time, and given a decomposition of each imageinto cell fragments (depicted above as nodes), the objectiveof lineage tracing is to join fragments of the same cell withinand across images, e.g. {a, b} and {c, d}, and to join frag-ments of descendant cells across images, e.g. {d, e}. Joins(cuts) are depicted as solid (dotted) lines. Fragments ofdividing cells are depicted as black nodes.

resolution is too low to separate consecutive divisions.

It is understood that errors in the image decompo-sition make it harder to reconstruct the true lineageforest. Attempts at reconstructing the lineage forestcan help to avoid such errors. Thus, we state a jointoptimization problem whose feasible solutions define,for every image, a decomposition (segmentation) intocells and, across images, a lineage forest. Unlike in priorwork, we do not constrain the set of decompositions,except by contracting pixels to superpixels.

2 Related Work

The image decomposition problem has been tackledby various abstractions in the form of optimizationproblems including the minimum cost spanning for-est problem, i.e., agglomerative clustering [1], bal-anced cut problems, i.e., spectral clustering [10, 43],and the minimum cost multicut problem, i.e., corre-lation clustering [34]. We build on its formulationas a minimum cost multicut problem, an optimiza-tion problem studied in [16, 18] which is NP-hard[12, 17] and has been used for image segmentation

1

arX

iv:1

511.

0551

2v2

[cs

.CV

] 8

Nov

201

6

Jug, Levinkov et al. Moral Lineage Tracing

in [3, 7, 8, 9, 11, 13, 14, 25, 26, 27, 32, 34, 51, 52].The lineage forest reconstruction problem has been

cast as an optimization problem in [21, 24, 28, 39, 41,46, 47, 48, 49]. If cells neither die nor enter or leavethe field of view and if one drops the constraint thatcells split into at most two direct descendant cells,the problem can be formulated as a minimum costk disjoint arborescence problem [42, Section 53.9], asshown in [48, 49]. Here, k is the number of cells vis-ible in the first image. This problem can be solvedin strongly polynomial time [20]. With the additionalconstraint that cells split into at most two descendantcells, the problem becomes NP-hard, and so do general-izations [21, 24, 28, 39, 41, 46, 47] that model, e.g., the(dis)appearance of cells.

One lineage tracing approach [28] copes with im-perfect decompositions by over-segmenting individualimages. This guarantees that every cell is representedby at least one component and that every componentrepresents at most one cell. Advantageous there is thefact that the true lineage forest is represented by atleast one set of disjoint arborescences. Disadvantageousis the loss of robustness: For the true decomposition,every component belongs to precisely one arborescenceand thus, every error in the set of disjoint arborescencesimplies at least a second error. This renders solutionsrobust to perturbations of the objective function. Foran over-segmentation, this property is lost. Anotherdisadvantage is the fact that the number of progenitorcells is not determined by the number of componentsof the first image. Over-estimates result in excessivearborescences that typically conflict with correct ones.Under-estimates result in a loss of lineage trees. Asin [28], we consider an over-decomposition of each imageinto cell fragments. In contrast to [28] where each nodeof a lineage forest is a single representative fragment,each node in the lineage forests we consider is a clustersof fragments. This idea of clustering instead of selectinghas been used in [44] to track multiple people in a videosequence. The optimization problem defined in [44] isa hybrid of a minimum cost multicut problem and adisjoint path problem. The optimization problem wepropose here is a hybrid of a minimum cost multicutproblem and a disjoint arborescence problem.

Two techniques have been proposed to deal with overand under-decomposition simultaneously: The first [41]is to allow single image components to represent mul-tiple cells and thus be part of multiple lineages. Thisrelaxation of the disjointness constraint of the arbores-cence problem introduces additional feasible solutionsthat can represent the true lineage forest even in thepresence of under-decomposition. The same idea is usedin [47] for the reconstruction of curvilinear structuresand in [50] for the tracking of objects in containers. Thesecond technique [21, 24, 40] considers a hierarchy of al-ternative decompositions and casts lineage tracing as anoptimization problem whose feasible solutions select andconnect components from the hierarchy. Constraintsguarantee that selected components are mutually con-sistent and consistent with a set of disjoint lineages.As in [21, 24], the feasible solutions we propose define,

1 0

t

(a) Space cycle

t t+ 11

0

(b) Spacetime cycle

t t+ 10

0

01

(c) Morality

Figure 2 Depicted above are examples (graphs and 01-labelings of edges) in which inequalities (1)-(3) are vio-lated. (a) An inequality (1) is violated iff there existt ∈ N and a cycle Y in Gt in which precisely one edgeis labeled 1. (b) An inequality (2) is violated iff thereexist t ∈ N, an edge {v, w} ∈ Et,t+1 labeled 1 and a pathin G+

t connecting v to w in which all edges are labeled 0.(c) An inequality (3) is violated iff there exist t ∈ T andnodes vt, wt ∈ Vt and vt+1, wt+1 ∈ Vt+1 connected by edges{vt, vt+1}, {wt, wt+1} ∈ Et,t+1 labeled 0, such that vt andwt are separated by a cut in Gt with all edges labeled 1and vt+1 and wt+1 are connected by a path in Gt+1 withall edges labeled 0.

for every image, a decomposition into cells and, acrossimages, a lineage forest. In contrast to prior work, wedo not constrain the set of decompositions, except bycontracting pixels to superpixels. We compare our ex-perimental results to a state-of-the-art software systemfor lineage tracing [2].

Unlike in the work discussed above, feasible lineagesand costs of feasible lineages can be defined recursively,as in particle filtering. Cf. [15] for a recent compre-hensive comparison and [5] for a recent application tolineage tracing.

3 Optimization Problem

In this section, we cast lineage tracing as an optimiza-tion problem that we call moral lineage tracing. InSection 3.1, we define the set of feasible solutions. InSection 3.2, we define the objective function and opti-mization problem.

3.1 Feasible Set

In order to encode a combinatorial number of feasi-ble lineage forests, we define a hypothesis graph. In ahypothesis graph, every node corresponds to one super-pixel of one image in a sequence and is referred to asa cell fragment (Def. 1). In order to encode a singlefeasible lineage forest, we define a lineage graph (Def. 2).A lineage graph is a subgraph of the hypothesis graphthat defines, within each image, a clustering of cellfragments into cells and, across images, a lineage forestof cells (Lemma 1). In order to state in the form of anILP an optimization problem whose feasible solutionsare lineage graphs, we identify the characteristic func-tions of lineage graphs with 01-labelings of the edgesof the hypothesis graph that satisfy a system of linearinequalities (Lemma 2).

2

Jug, Levinkov et al. Moral Lineage Tracing

Definition 1 A hypothesis graph is a node-labeledgraph1 G = (V,E, τ) in which every edge {v, w} ∈ Eholds |τ(v)− τ(w)| ≤ 1. Every v ∈ V is called a (cell)fragment, and τ(v) is called its time index.

The intuition is this: For any distinct fragmentsv, w ∈ V with τ(v) = τ(w), the presence of the edge{v, w} ∈ E indicates the possibility that v and w arefragments of the same cell. For any fragments v, w ∈ Vwith τ(w) = τ(v)+1, the presence of the edge {v, w} ∈E indicates the possibility that v and w are fragmentsof the same cell, observed at successive points in time,as well as the possibility that v is a fragment of aprogenitor cell of the cell of w.

Next, we characterize those subgraphs of a hypothesisgraph that we consider as feasible solutions. For clarity,we propose some notation: For every t ∈ N, let Vt :=τ−1(t) the set of all fragments having the time indext. Let Gt = (Vt, Et) be the subgraph of G induced byVt. Let Et,t+1 := {{v, w} ∈ E|v ∈ Vt ∧ w ∈ Vt+1} bethe set of those edges of G that connect a fragmentv having the time index t to a fragment w havingthe time index t + 1. Let G+

t = (V +t , E+

t ) be thesubgraph of G induced by V +

t := Vt ∪ Vt+1. Finally, letV≥t := ∪∞

t′=tVt′ be the fragments of at least time indext, and E≥t := ∪∞

t′=t(Et′ ∪ Et′,t′+1) the set of all edgesof G between such fragments.

Definition 2 For every hypothesis graph G =(V,E, τ), a set C ⊆ E is called a lineage cut of G, and(V, C) with C := E \C is called a lineage (sub)graph ofG, iff the following conditions hold:1. For every t ∈ N, the set Et ∩ C is a multicut2 of

Gt

2. For every t ∈ N and every {v, w} ∈ Et,t+1 ∩ C,v and w are not connected by any path in the graph(V +

t , E+t ∩ C)

3. For every t ∈ N, any vt, wt ∈ Vt and anyvt+1, wt+1 ∈ Vt+1 such that {vt, vt+1} ∈ E ∩ C and{wt, wt+1} ∈ E ∩ C, and for any path in (V,Et+1 ∩ C)from vt+1 to wt+1, there exists a path in (V,Et ∩ C)from vt to wt.

If these conditions are satisfied then, for every t ∈ Nand every non-empty, maximal connected subgraph(V ′

t , E′t) of (Vt, Et ∩ C), its node set V ′

t is called a cellat time index t.

A lineage cut and lineage subgraph are called binaryiff, in addition to Conditions 1–3, it holds:4. For every t ∈ N, every cell V ′

t ⊆ Vt is connectedin the lineage subgraph to at most two distinct cells att+ 1.

An intuition for Conditions 1–3 is offered by Lemma 1and the proof.

Lemma 1 For every t ∈ N, a lineage graph well-definesa decomposition of Gt whose components are the cells attime index t. Across time, a lineage graph well-definesa (lineage) forest of cells.

1All graphs are assumed to be finite, simple and undirected.A node labeling of a graph (V,E) is a map τ : V → N.

2A multicut of Gt = (Vt, Et) is a subset M ⊆ Et of edgessuch that, for every cycle Y in Gt: |M ∩ Y | 6= 1 [16].

Proof Condition 1 guarantees that every subgraphdefining a cell is node-induced, i.e., for every t ∈ N andevery {v, w} ∈ Et: {v, w} ∈ C iff v and w are fragmentsof the same cell. Condition 2 guarantees, for every t ∈ N,every cell V ′

t at time index t, and every cell V ′t+1 at

time index t+ 1 that either all edges of G between V ′t

and V ′t+1 are in C, or none. Condition 3 guarantees,

for every t ∈ N and every distinct cells V ′t , V

′′t at time

index t that these are not connected in (V,E+t ∩ C) to

the same cell at time index t+ 1. This guarentees, byinduction, that V ′

t , V′′t are not connected by any path in

the graph (V≥t, E≥t∩ C). This guarantees that distinctcells never merge. ✷

Lemma 2 For every hypothesis graph G = (V,E, τ)and every x ∈ {0, 1}E , the set x−1(1) of edges labeled1 is a lineage cut of G iff x satisfies the linear inequali-ties (1)–(3) stated below. It is sufficient in (1) to con-sider only chordless cycles. Moreover, the lineage cut isbinary iff, in addition, x satisfies the linear inequality(4).

∀t ∈ N ∀Y ∈ cycles(Gt) ∀e ∈ Y :

xe ≤∑

e′∈Y \{e}xe′ (1)

∀t ∈ N ∀{v, w} ∈ Et,t+1 ∀P ∈ vw-paths(G+t ) :

xvw ≤∑

e∈P

xe (2)

∀t ∈ N ∀{vt, vt+1}, {wt, wt+1} ∈ Et,t+1

∀T ∈ vtwt-cuts(Gt) ∀P ∈ vt+1wt+1-paths(Gt+1) :

1−∑

e∈T

(1− xe) ≤ xvtvt+1+ xwtwt+1

+∑

e∈P

xe

(3)

∀t ∈ N ∀v ∈ Vt ∀w1, w2, w3 ∈ Vt+1

∀P1 ∈ vw1-paths(G+t ) ∀P2 ∈ vw2-paths(G

+t )

∀P3 ∈ vw3-paths(G+t ) ∀C12 ∈ w1w2-cuts(Gt+1)

∀C23 ∈ w2w3-cuts(Gt+1) ∀C13 ∈ w1w3-cuts(Gt+1) :

1−∑

e∈C12∪C23∪C13

(1− xe) ≤∑

e∈P1∪P2∪P3

xe (4)

A proof of Lemma 2 is given in the Appendix A.Complementary to the proof, a discussion of (dis)-connectedness w.r.t. a multicut can be found in [6].

Here, the set of all x ∈ {0, 1}E that satisfy (1)–(4) isdenoted by XG. Examples of violated inequalities aredepicted in Fig. 2. Note that the path-cut inequalities(3) guarantee that any fragmets of the same cell at timet+ 1 cannot be joined with fragments of distinct cellsat time t, i.e., morality.

3.2 Objective Function

Definition 3 A priced hypothesis graph is a tuple(V,E, τ, c, c+, c−) with (V,E, τ) a hypothesis graph,c : E → R and c+, c− : V → R+

0 . For every e ∈ E, ceis called the cut cost of e. For every v ∈ V , c+v and c−vare called the appearance and disappearance cost of v,respectively.

3

Jug, Levinkov et al. Moral Lineage Tracing

The optimization problem we propose is defined belowin the form of an ILP w.r.t. a priced hypothesis graphG = (V,E, τ, c, c+, c−). This ILP has the followingproperties: Every feasible solutions defines a lineagesubgraph of G. For every {v, w} = e ∈ E, the objectivefunction assigns the cost (or reward) ce to all lineagegraphs in which the cell fragments v and w belong todistinct cells. For every t ∈ N and every v ∈ Vt+1,the objective function assigns the (appearance) costc+v to all lineage graphs in which the fragment v isnot joined with any fragment in Vt. For every t ∈ Nand every v ∈ Vt, the objective function assigns the(disappearance) cost c−v to all lineage graphs in whichthe fragment v is not joined with any fragment in Vt+1.

Definition 4 For any priced hypothesis graph G =(V,E, τ, c, c+, c−), the instance of the moral lineagetracing problem w.r.t. G is the ILP in x ∈ {0, 1}Eand x+, x− ∈ {0, 1}V written below.

minx,x+,x−

∑

e∈E

cexe +∑

v∈V

c+v x+v +

∑

v∈V

c−v x−v (5)

subject to x ∈ XG (6)

∀t ∈ N ∀v ∈ Vt+1 ∀T ∈ Vtv-cuts(G+t ) :

1− x+v ≤

∑

e∈T

(1− xe) (7)

∀t ∈ N ∀v ∈ Vt ∀T ∈ vVt+1-cuts(G+t ) :

1− x−v ≤

∑

e∈T

(1− xe) (8)

If, in an inequality of (7), all edges in the cut T arelabeled 1, then x+

v = 1. Otherwise, for every feasiblesolution x the same solution but with x+

v := 0 is notworse (as 0 ≤ c+v , by definition of c+). Thus, a costc+v 6= 0 is payed iff fragment v appears at time t + 1.The argument for (8) and disappearance is analogous.

4 Optimization Algorithm

4.1 Efficient Separation Procedures

Below, we define, for each class of inequalities, (1)–(4),(7) and (8), an efficient separation procedure (Tab. 1)that takes any (x, x+, x−) as input. If any inequality isviolated, it terminates and outputs at least one of these.If no inequality is violated, it terminates and outputsthe empty set. We apply these procedures in a branch-and-cut algorithm described in the next section. Wehave also applied these procedures in the preparationof the experiments described in Section 5, to certify thewell-definedness of lineages we traced manually.

To separate infeasible solutions by inequalities (1) fora given t, we label maximal subgraphs of Gt connectedby edges labeled 0. Then, for every {v, w} = e ∈ Et

with xe = 1 and with v and w being in the samesubgraph, we search for a shortest vw-path P in Gt

such that xP = 0, using breadth-first-search (BFS). Ifthe path is chordless, we output the inequality definedby the cycle P ∪ {e} and e.

To separate infeasible solutions by inequalities (2) fora given t, we label maximal subgraphs of G+

t connected

10−3 10−2 10−1

−4.05

−4.00

·102

Objective

10−3 10−2

0.0

0.5

1.0

·102

#cu

ts

10−2 101 104

−8.00

−7.00

−6.00

·103

Objective

10−2 101 104

0.0

1.0

2.0

·104

#cu

ts

10−2 101 104−41.5

−41.0

−40.5

−40.0

−39.5·103

Run-time [s]

Objective

10−1 101 103

0.0

1.0

2.0

3.0

·104

Run-time [s]

#cu

ts

Figure 3 Depicted above is the convergence of the branch-and-cut algorithm that solves the ILP and of the cuttingplane algorithm that solves the canonical LP relaxation.Instances of the moral lineage tracing problem are, fromtop to bottom, HeLa-small, HeLa-test and Flywing. Graphson the left show the objective values of intermediate integerfeasible solutions (–) and lower bounds (–) found by thebranch-and-cut algorithm, as well as the lower bound foundby the cutting-plane algorithm (–). Dotted lines show theconvergence with the bifurcation constraint (4). It can beseen that the LP relaxation is not tight for larger problems.Graphs on the right show numbers of cuts: morality (–),spacetime cycle (–), space cycle (–), appearance (–), dis-appearance (–), and bifurcation (–). It can be seen thatviolated morality constraints dominate.

by edges labeled 0. Then, for every {v, w} = e ∈ Et,t+1

with xe = 1 and with v and w being in the samesubgraph, we search for a shortest vw-path P in G+

t

such that xP = 0 using BFS. We output the inequalitydefined by the cycle Y := P ∪ {e} and e ∈ Y .

To separate infeasible solutions by inequalities (3) fora given t, we label maximal subgraphs of Gt connectedby edges labeled 0. Then, for every pair v, w ∈ Vt ofnodes with different labels, we use BFS to search for(i) a shortest vw-path P in (Vt+1, Et,t+1 ∪ Et+1) suchthat xP = 0, and (ii) a vw-cut T in Gt such that xT = 1.We output the inequality defined by P and T .

To separate infeasible solutions by inequalities (4) fora given t, we label maximal subgraphs of Gt and Gt+1,resp., connected by edges labeled 0. From every v ∈ Vt,we start a BFS in the subgraph of G+

t whose edges arelabeled 0. If nodes w1, w2, w3 ∈ Vt+1 of three distinctcomponents of Gt+1 are reached, we output the inequal-ity defined by the boundaries of these components andby paths from v to wj .

To separate infeasible solutions by inequalities (7)for a given t, we start a BFS from every v ∈ Vt+1 inthe subgraph of G+

t whose edges are labeled 0. Weeither find a vertex w ∈ Vt (no violation) or a cutT ∈ Vtv-cuts(G

+t ) which separates v from Vt. In the

latter case, we output the inequality defined by the

4

Jug, Levinkov et al. Moral Lineage Tracing

Constraint ILP (branch-and-cut) LP (cutting-plane)

Space O(|Et|2) O(|Et|2 log |Vt|)Spacetime O(|Et,t+1||E+

t |) O(|Et,t+1||E+t | log |V +

t |)Morality O(|Vt|2|E+

t |) O(|Vt|2(m(|Vt|, |Et|)+|Et+1| log |Vt+1|))

Termination O(|Vt| + |E+t |) O(|Vt|m(|V +

t |, |E+t |))

Birth O(|Vt+1| + |E+t |) O(|Vt+1|m(|V +

t |, |E+t |))

Bifurcation O(|E| log |V | + |Vt| O(|Vt||Vt+1|3(m(|Vt+1|, |Et+1|)+|E+

t | log |V +t |) +|E+

t | log |V +t |))

Table 1 Worst case time complexity of the separation proce-dures we implement for integral points (ILP) and fractionalpoints (LP). Here, m(|V |, |E|) denotes the worst case timecomplexity of a maximum st-flow algorithm for a graph(V,E).

Problem Instance Variables Fractional Optimal

HeLa-small 1839 5 1834 (100%)HeLa-test 41571 1180 40078 (99.2%)Flywing 29063 1174 27740 (99.5%)

Table 2 Analysis of solutions of the canonical LP relaxationof the moral lineage tracing problem.

vertex v and the cut T . The separation of infeasiblesolutions by inequalities (8) is analogous, in the oppositeorder of time indices.

4.2 Branch-and-Cut Algorithm for the ILP

In order to find feasible solutions of the moral lineagetracing problem (Def. 4), with certified bounds, weimplement the separation procedures defined in the pre-vious section in C++ and call these form the branch-and-cut algorithm of the ILP solver Gurobi [22] when-ever an integer feasible solution is found. In order totighten intermediate LP relaxations, we resort to thecuts implemented in Gurobi.In all experiments we conduct, less than 1% of the

total run-time is spent on the separation of infeasiblesolutions by inequalities (1)–(4), (7) and (8) together.Objective values, bounds and numbers of added inequal-ities are shown w.r.t. run-time, for three instances ofthe problem, in Fig. 3.

4.3 Cutting-Plane Algorithm for an LP Relaxation

In addition to the moral lineage tracing ILP and (in-teger) feasible solutions found by the branch-and-cutalgorithm, we study the canonical LP relaxation and its(possibly fractional) solutions found by a cutting-planealgorithm. Results shown in Fig. 3 and Tab. 2 arediscussed below:

It can be seen from Fig. 3 that the solution found byour cutting-plane algorithm for the LP (blue) convergesslower than the lower bound found by our branch-and-cut algorithm for the ILP (black). This is simply be-cause the separation of infeasible points by violatedinequalities is more complex if the point can be frac-tional; see Tab. 1.It can be seen from Fig. 3 and Tab. 2 that the LP

relaxation is almost tight for the problem instance HeLa-small and less tight for the larger problem instances.This is expected, as HeLa-small is dominated by the

time

Figure 4 Depicted above is the lineage forest (V, C) re-constructed by solving an instance of the moral lineagetracing problem (Def. 4) defined w.r.t. the image sequenceHeLa-small. Edges connecting a fragment of one cell to afragment of a descendant cell (depicted in black) indicatecell divisions. Edges connecting fragments of the same cellare depicted in a color representing that cell. Note the twoprogenitor cells in the first image, visible here on the l.h.s..

disjoint arborescence sub-problem, which is in PTIME,while the larger problems are dominated by the min-imum cost multicut sub-problem, which is NP-hard.The solution of the LP is not half-integral. Yet, itencourages future work on rounding procedures.

5 Application to Microscopy Data

In order to examine the effectiveness of moral lin-eage tracing (MLT) and the proposed branch-and-cutalgorithm, we define three instances of the problemw.r.t. two biomedical data sets, N2DL HeLa and Fly-wing Epithelium.

5.1 N2DL HeLa Data

This microscopy data consists of three sequences ofimages which show HeLa cells that move and divideas bright objects in front of a dark background, c.f .Fig. 6(a). Two sequences are publicly available and onesequence is undisclosed for an annual competition [36].Here, we use the two public sequences, one for learning acost function, the other (HeLa-test) for experiments. Toobtain, in addition, a shorter sequence of smaller images,we crop from HeLa-test a sub-problem (HeLa-small).For both sequences, we construct a priced hypothesisgraph as shown in Fig. 5(a) and described below. Thehypothesis graph for HeLa-test consists of 10882 nodesand 19807 edges. The hypothesis graph for HeLa-smallconsists of 512 nodes and 812 edges.

Optimization. The convergence of the branch-and-cut algorithm for the instances HeLa-small and HeLa-test of the MLT problem is shown in the first two rows ofFig. 3. It can be seen that the small problem is solvedto optimality, while the full problem is solved withan optimality gap. Most separating cuts are moralityconstraints.

Results. A lineage forest for HeLa-small defined bythe solution of the MLT problem is shown in Fig. 4. Thislineage forest is in exact accordance with the ground

5

Jug, Levinkov et al. Moral Lineage Tracing

N2DL-HeLa

(a)I

G t t+1

t

C t t+1

p

p’ Vt t

v v

_

Flywing-Epithelium

(b)

T

T

I

G t t+1

t

C t t+1

p’’ Vt t

v v

_

Figure 5 Sketched above is the construction of an instance of the MLT for (a) the N2DL-HeLa Data and (b) theFlywing-Epithelium Data. For every time index t and the respective image I in the sequence, foreground probabilities pof pixels showing part of a cell and probabilities p′ and p′′ of pixels showing object boundaries are estimated and used todecompose the image into cell fragments St. A hypothesis graph (shown for only one fragment each) connects nearby cellfragments within images and across successive images.

(a)

(b)

Figure 6 Depicted above are (a) image crops of the full HeLa-test data set, and (b) decompositions of the imagesdefined by a feasible solution of the moral lineage tracing problem (Def. 4). Diagonally striped cells indicate cell division.

truth. Corresponding decompositions of images areshown in Fig. 6. A lineage forest for HeLa-test definedby the feasible solution of the MLT problem is shownin Fig. 8(a). A comparison with ground truth providedin [36] is shown in Tab. 3 in terms of metrics SEG andTRA as defined in [36].

Technical details. Before constructing a hypothesisgraph we perform the following data pre-processing: Wetrain a random forest to predict, for every pixel r, theprobability pr of this pixel being foreground (part ofa cell). For every time index t, we consider the set St

of pixels r at time t for which pr > 0.5. A watershedsearch of the distance transform of St decomposes thesubgraph of the pixel grid graph induced by St intocell fragments (superpixels) Vt. For every cell fragmentv ∈ Vt, we compute its center of mass rv ∈ R2 inthe image plane. We train a second random forest topredict, for every pixel r, the probability p′r of this pixelshowing a cell boundary, i.e. the interface between acell and the background or the interface between twocells that touch.

We then construct a hypothesis graph G = (V,E, τ)as follows: For every time index t and every pair ofdistinct cell fragments v, w ∈ Vt, we introduce the

edge {v, w} ∈ Et iff ‖rv − rw‖ < d1, for a maximumdistance d1 ∈ R+. For every time index t and every pair(v, w) ∈ Vt×Vt+1, we introduce the edge {v, w} ∈ Et,t+1

iff ‖rv − rw‖ < d2, for a maximum distance d2 ∈ R+.For every time index t and every edge e = {v, w} ∈

Et, we define the cost

ce = −logit max{||rv − rw||/d1, p′(rv, rw)} . (9)

Here p′(rv, rw) denotes the maximum of p′ along theBresenham line from rv to rw. For every time index tand every e = {v, w} ∈ Et,t+1, we define the cost

ce = −logit ||rv − rw||/d2 . (10)

All (dis)appearance costs are constant, c+ = c− = c0 ∈R+.

5.2 Flywing Epithelium Data

This dataset contains images that show a developing flywing epithelium, c.f . Fig. 7(a). Every pixel is a part of acell and no pixels show background. The data is dividedinto a training sequence and a test sequence. We havecollected ground truth for both sequences by manually

6

Jug, Levinkov et al. Moral Lineage Tracing

(a)

(b)

(c)

Figure 7 Depicted above are (a) images of the fly wing testset, (b) decompositions of these images into cell fragments,and (c) decompositions of the images defined by a feasi-ble solution of the moral lineage tracing problem (Def. 4).Diagonally striped cells divide before the next time point(image).

Test Data SEG TRA

MLT (our) public 0.7811 0.9747

KTH-SE [35] undisclosed 0.8932 0.9920HEID-GE [23] undisclosed 0.8155 0.9871LEID-NL [19] undisclosed 0.8180 0.9558HOUS-US [38] undisclosed 0.7701 0.9865NOTT-UK undisclosed 0.5778 0.7811IMCB-SG undisclosed 0.3317 0.9327

Table 3 Quantified above is the distance from ground truthof decompositions (SEG) and lineage forests (TRA) ob-tained by MLT and contenders of the second ISBI TrackingChallenge [36]. Evaluation for [36] is performed on undis-closed test data. We evaluate MLT on test data publishedon the challenge website.

joining watershed superpixels. The construction of apriced hypothesis graph from the raw test sequenceis sketched in Fig. 5(b) and described in more detailbelow. It consists of 5026 nodes and 19011 edges.

Optimization. The convergence of the branch-and-cut algorithm is shown in the third row of Fig. 3. It beseen from this figure that the problem is solved withan optimality gap determined by the lower bound.

Results. The lineage forest defined by the feasiblesolution of the problem is depicted in Fig. 8(b). Cor-responding decompositions of images are depicted inFig. 7(c). Decompositions and the lineage forests arecompared in Tab. 4 to the ground truth in terms of themetrics SEG and TRA. It can be seen from this tablethat these results compare well to those found by thetracking system biologist use today [2].

Technical details. Data pre-processing consists oftraining a random forest classifier for detecting, for

Method SEG TRA

MLT (our) 0.9722 0.9813PA (on GT seg.) 0.9327 0.9898PA (auto) 0.7980 0.9206

Table 4 Quantified above is the distance from ground truthof decompositions (SEG) and traced lineage forests (TRA)obtained by MLT and, alternatively, the Packing Ana-lyzer [2].

every pixel r, the probability p′′r of showing a cell mem-brane. For every time index t, we decompose the imagetaken at time t into cell fragments Vt by first apply-ing a watershed transform on the raw image sequenceand then progressively joining adjacent superpixels iffboth the average image intensity and the average mem-brane probability along their shared boundary are belowrespective thresholds. We maximize these thresholdsw.r.t. the training data subject to the constraint that nofalse joins occur at this stage. This leads to 3.09± 1.3fragments per cell. Also as pre-processing, we esti-mate dense optical flow f for the image sequence andcompute, for every cell fragment v, its center of massrv ∈ R2.We then construct a hypothesis graph G = (V,E, τ)

as follows: For every time index t and every pair ofdistinct cell fragments v, w ∈ Vt, we introduce theedge {v, w} ∈ Et iff v and w are adjacent componentsof the pixel grid graph of the image taken at timeindex t. For every time index t and every pair (v, w) ∈Vt × Vt+1, we introduce the edge {v, w} ∈ Et,t+1 iff||rv+f(rv)−rw||2 ≤ d, for a maximum distance d ∈ R+.For every time index t and every edge e = {v, w} ∈

Et, we define the cut-cost

ce = −logit∑

r∈E(v,w)

p′′(r)/|B(v, w)| (11)

where B(v, w) is the set of pixels in fragment v adjacentto fragment w and vice versa. For every time index tand every edge e = {v, w} ∈ Et,t+1, we define the cut-cost ce = c0+c1me with me the maximum of p′′ along ageodesic between pixels rv and rw, and with c0, c1 ∈ Restimated from training data by logistic regression. All(dis)appearance costs are constant, c+ = c− = c0 ∈ R+.

6 Conclusion

Building on recent work in image decomposition andmulti-target tracking, we have proposed a rigorousmathematical abstraction of lineage tracing, a centralproblem in biological image analysis. The optimizationproblem we propose, a hybrid of the well-known mini-mum cost multicut problem and the minimum cost kdisjoint arborescence problem, is a joint formulationof image decomposition and lineage forest reconstruc-tion. Its feasible solutions define, for every image ina sequence of images, a decomposition into cells and,across images, a lineage forest of cells. Unlike previousformulations, it does not constrain the set of decomposi-tions. We have studied three instances of this problem

7

Jug, Levinkov et al. Moral Lineage Tracing

(a) (b)

Figure 8 3D rendered lineage forests for (a) the full HeLa-test data set, and (b) the complete fly wing data set, asobtained by solving the moral lineage tracing problem. For better visibility, only the traced moral lineages are shownwhile all cut edges are hidden. Time progresses from left to right.

defined by two biologically relevant microscopy datasets. For all instances, we have obtained feasible solu-tions with certified optimality gap. One instance hasbeen solved to global optimality, yielding a solutionin exact accordance with decompositions and groundtruth lineages.

Acknowledgements

We thank the lab of Suzanne Eaton (MPI-CBG) forproviding the flywing data. This work was partiallysupported by the German Federal Ministry of Researchand Education (BMBF) under the code 031A099.

References

[1] R. Adams and L. Bischof. Seeded region growing.TPAMI, 16(6):641–647, June 1994.

[2] B. Aigouy, R. Farhadifar, D. B. Staple, A. Sagner,J.-C. Roper, F. Julicher, and S. Eaton. Cell flowreorients the axis of planar polarity in the wingepithelium of Drosophila. Cell, 142(5):773–786,Sept. 2010.

[3] A. Alush and J. Goldberger. Ensemble segmen-tation using efficient integer linear programming.TPAMI, 34(10):1966–1977, 2012.

[4] F. Amat and P. J. Keller. Towards comprehensivecell lineage reconstructions in complex organismsusing light-sheet microscopy. Dev. Growth Differ.,55(4):563–578, May 2013.

[5] F. Amat, W. Lemon, D. P. Mossing, K. McDole,Y. Wan, K. Branson, E. W. Myers, and P. J. Keller.Fast, accurate reconstruction of cell lineages fromlarge-scale fluorescence microscopy data. NatureMethods, 11(9):951–958, Sept. 2014.

[6] B. Andres. Lifting of multicuts. CoRR,abs/1503.03791, 2015. http://arxiv.org/abs/

1503.03791.

[7] B. Andres, J. H. Kappes, T. Beier, U. Kothe, andF. A. Hamprecht. Probabilistic image segmentationwith closedness constraints. In ICCV, 2011.

[8] B. Andres, T. Kroger, K. L. Briggman, W. Denk,N. Korogod, G. Knott, U. Kothe, and F. A. Ham-precht. Globally optimal closed-surface segmenta-tion for connectomics. In ECCV, 2012.

[9] B. Andres, J. Yarkony, B. S. Manjunath, S. Kirch-hoff, E. Turetken, C. C. Fowlkes, and H. Pfister.Segmenting planar superpixel adjacency graphsw.r.t. non-planar superpixel affinity graphs. InEMMCVPR, 2013.

[10] P. Arbelaez, M. Maire, C. Fowlkes, and J. Malik.Contour detection and hierarchical image segmen-tation. TPAMI, 33(5):898–916, 2011.

[11] S. Bagon and M. Galun. Large scale correlationclustering optimization. CoRR, abs/1112.2903,2011.

[12] N. Bansal, A. Blum, and S. Chawla. Correla-tion clustering. Machine Learning, 56(1–3):89–113,2004.

[13] T. Beier, F. A. Hamprecht, and J. H. Kappes.Fusion moves for correlation clustering. In CVPR,2015.

[14] T. Beier, T. Kroger, J. H. Kappes, U. Kothe, andF. A. Hamprecht. Cut, Glue & Cut: A fast, approx-imate solver for multicut partitioning. In CVPR,2014.

[15] N. Chenouard, I. Smal, F. de Chaumont, M. Maska,I. F. Sbalzarini, Y. Gong, J. Cardinale, C. Carthel,S. Coraluppi, M. Winter, A. R. Cohen, W. J.

8

Jug, Levinkov et al. Moral Lineage Tracing

Godinez, K. Rohr, Y. Kalaidzidis, L. Liang,J. Duncan, H. Shen, Y. Xu, K. E. G. Magnus-son, J. Jalden, H. M. Blau, P. Paul-Gilloteaux,P. Roudot, C. Kervrann, F. Waharte, J.-Y. Tin-evez, S. L. Shorte, J. Willemse, K. Celler, G. P.van Wezel, H.-W. Dan, Y.-S. Tsai, C. Ortiz-deSolorzano, J.-C. Olivo-Marin, and E. Meijering.Objective comparison of particle tracking methods.Nature Methods, 11(3):281–289, Mar. 2014.

[16] S. Chopra and M. Rao. The partition problem.Mathematical Programming, 59(1–3):87–115, 1993.

[17] E. D. Demaine, D. Emanuel, A. Fiat, and N. Im-morlica. Correlation clustering in general weightedgraphs. Theoretical Computer Science, 361(2–3):172–187, 2006.

[18] M. M. Deza and M. Laurent. Geometry of Cutsand Metrics. Springer, 1997.

[19] O. Dzyubachyk, W. A. van Cappellen, J. Essers,W. J. Niessen, and E. Meijering. Advanced level-set-based cell tracking in time-lapse fluorescencemicroscopy. IEEE Transactions on Medical Imag-ing, 29(3):852–867, March 2010.

[20] J. Edmonds. Some well-solved problems in combi-natorial optimization. In B. Roy, editor, Combi-natorial Programming: Methods and Applications,volume 19 of NATO Advanced Study InstitutesSeries, pages 285–301. Springer, 1975.

[21] J. Funke, B. Anders, F. A. Hamprecht, A. Car-dona, and M. Cook. Efficient automatic 3D-reconstruction of branching neurons from EM data.In CVPR ’12: Proceedings of the 2012 IEEE Con-ference on Computer Vision and Pattern Recog-nition (CVPR). IEEE Computer Society, June2012.

[22] I. Gurobi Optimization. Gurobi optimizer referencemanual, 2015.

[23] N. Harder, R. Batra, N. Diessl, S. Gogolin, R. Eils,F. Westermann, R. Konig, and K. Rohr. Large-scale tracking and classification for automatic anal-ysis of cell migration and proliferation, and experi-mental optimization of high-throughput screens ofneuroblastoma cells. Cytometry Part A, 87(6):524–540, June 2015.

[24] F. Jug, T. Pietzsch, D. Kainmuller, J. Funke,M. Kaiser, E. van Nimwegen, C. Rother, andG. Myers. Optimal Joint Segmentation and Track-ing of Escherichia Coli in the Mother Machine.In Bayesian and grAphical Models for Biomedi-cal Imaging, pages 25–36. Springer InternationalPublishing, Cham, 2014.

[25] J. H. Kappes, M. Speth, B. Andres, G. Reinelt, andC. Schnorr. Globally optimal image partitioningby multicuts. In EMMCVPR, 2011.

[26] J. H. Kappes, M. Speth, G. Reinelt, and C. Schnorr.Higher-order segmentation via multicuts. CoRR,abs/1305.6387, 2013.

[27] J. H. Kappes, P. Swoboda, B. Savchynskyy,T. Hazan, and C. Schnorr. Probabilistic correlation

clustering and image partitioning using perturbedmulticuts. In SSVM, 2015.

[28] B. X. Kausler, M. Schiegg, B. Andres, M. Lind-ner, U. Koethe, H. Leitte, J. Wittbrodt, L. Huf-nagel, and F. A. Hamprecht. A discrete chaingraph model for 3d+t cell tracking with high mis-detection robustness. In ECCV’12: Proceedings ofthe 12th European conference on Computer Vision.Springer-Verlag, Oct. 2012.

[29] P. J. Keller. Imaging morphogenesis: technologicaladvances and biological insights. Science (NewYork, N.Y.), 340(6137):1234168, June 2013.

[30] P. J. Keller, A. D. Schmidt, A. Santella, K. Khairy,Z. Bao, J. Wittbrodt, and E. H. K. Stelzer. Fast,high-contrast imaging of animal development withscanned light sheet-based structured-illuminationmicroscopy. Nature Methods, 7(8):637–642, Aug.2010.

[31] P. J. Keller, A. D. Schmidt, J. Wittbrodt, andE. H. K. Stelzer. Reconstruction of zebrafish earlyembryonic development by scanned light sheet mi-croscopy. Science, 322(5904):1065–1069, Nov. 2008.

[32] M. Keuper, E. Levinkov, N. Bonneel, G. Lavoue,T. Brox, and B. Andres. Efficient decompositionof image and mesh graphs by lifted multicuts. InICCV, 2015.

[33] K. Khairy and P. J. Keller. Reconstructing embry-onic development. Genesis, 49(7):488–513, July2011.

[34] S. Kim, C. Yoo, S. Nowozin, and P. Kohli. Im-age segmentation using higher-order correlationclustering. TPAMI, 36:1761–1774, 2014.

[35] K. E. G. Magnusson, J. Jalden, P. M. Gilbert, andH. M. Blau. Global linking of cell tracks usingthe Viterbi algorithm. IEEE Trans. Med. Imag.,34(4):911–929, 2015.

[36] M. Maska, V. Ulman, D. Svoboda, P. Matula,P. Matula, C. Ederra, A. Urbiola, T. Espana,S. Venkatesan, D. M. W. Balak, P. Karas, T. Bol-ckova, M. Streitova, C. Carthel, S. Coraluppi,N. Harder, K. Rohr, K. E. G. Magnusson,J. Jalden, H. M. Blau, O. Dzyubachyk, P. Krızek,G. M. Hagen, D. Pastor-Escuredo, D. Jimenez-Carretero, M. J. Ledesma-Carbayo, A. Munoz-Barrutia, E. Meijering, M. Kozubek, and C. Ortiz-de Solorzano. A benchmark for comparison of celltracking algorithms. Bioinformatics, page btu080,Feb. 2014.

[37] S. G. Megason and S. E. Fraser. Imaging in systemsbiology. Cell, 130(5):784–795, Sept. 2007.

[38] A. Merouane, N. Rey-Villamizar, Y. Lu, I. Liadi,G. Romain, J. Lu, H. Singh, L. J. N. Cooper,N. Varadarajan, and B. Roysam. Automatedprofiling of individual cell–cell interactions fromhigh-throughput time-lapse imaging microscopy innanowell grids (TIMING). Bioinformatics, pagebtv355, June 2015.

9

Jug, Levinkov et al. Moral Lineage Tracing

[39] D. Padfield, J. Rittscher, and B. Roysam. Cou-pled minimum-cost flow cell tracking for high-throughput quantitative analysis. Med Image Anal,15(4):650–668, Aug. 2011.

[40] M. Schiegg, P. Hanslovsky, C. Haubold, U. Koethe,L. Hufnagel, and F. A. Hamprecht. GraphicalModel for Joint Segmentation and Tracking of Mul-tiple Dividing Cells. Bioinformatics, page btu764,Nov. 2014.

[41] M. Schiegg, P. Hanslovsky, B. X. Kausler, andL. Hufnagel. Conservation Tracking. ICCV 2013,2013.

[42] A. Schrijver. Combinatorial optimization. Polyhe-dra and efficiency. Springer, 2003.

[43] J. Shi and J. Malik. Normalized cuts and imagesegmentation. TPAMI, 22(8):888–905, Aug. 2000.

[44] S. Tang, B. Andres, M. Andriluka, and B. Schiele.Subgraph decomposition for multi-target tracking.In CVPR, 2015.

[45] R. Tomer, K. Khairy, F. Amat, and P. J. Keller.Quantitative high-speed imaging of entire devel-oping embryos with simultaneous multiview light-sheet microscopy. Nature Methods, 9(7):755–763,July 2012.

[46] E. Turetken, C. Becker, P. Glowacki, F. Benman-sour, and P. Fua. Detecting irregular curvilinearstructures in gray scale and color imagery usingmulti-directional oriented flux. In ICCV, 2013.

[47] E. Turetken, F. Benmansour, B. Andres, H. Pfis-ter, and P. Fua. Reconstructing loopy curvilinearstructures using integer programming. In CVPR,2013.

[48] E. Turetken, F. Benmansour, and P. Fua. Au-tomated reconstruction of tree structures usingpath classifiers and mixed integer programming.In CVPR, 2012.

[49] E. Turetken, G. Gonzalez, C. Blum, and P. Fua.Automated reconstruction of dendritic and axonaltrees by global optimization with geometric priors.Neuroinformatics, 9:279–302, 2011.

[50] X. Wang, E. Turetken, F. Fleuret, and P. Fua.Tracking interacting objects optimally using integerprogramming. In ECCV, 2014.

[51] J. Yarkony and C. Fowlkes. Planar ultrametricrounding for image segmentation. In NIPS, 2015.

[52] J. Yarkony, A. Ihler, and C. C. Fowlkes. Fast planarcorrelation clustering for image segmentation. InECCV, 2012.

10

Jug, Levinkov et al. Moral Lineage Tracing

A Proof of Lemma 2

Proof If Condition 1 in Def. 2 holds for a set C ⊆ E,then all inequalities (1) are satisfied by the x ∈ {0, 1}Esuch that x−1(1) = C. Otherwise, there would exist at ∈ N, a cycle Y of Gt and an e ∈ Y such that xe = 1and ∀e′ ∈ Y \ {e}: xe′ = 0. This implies |Y ∩ C| = 1,in contradiction to the assumption that C ∩ Et is amulticut of Gt. Conversely, if all inequalities (1) aresatisfied by an x ∈ {0, 1}E , then C := x−1(1) satisfiesCondition 1 in Def. 2. Otherwise, there would exist at ∈ N for which C ∩ Et is not a multicut of Gt. Thus,there would exist a cycle Y of Gt and an e ∈ Y suchthat Y ∩ C = {e}, by definition of a multicut. Hence,the inequality (1) for that cycle Y and that edge e ofY would be violated by x. The sufficiency of chordlesscycles follows from (1) and is established, e.g., in [16].If Condition 2 in Def. 2 holds for a set C ⊆ E, then

all inequalities (2) are satisfied by the x ∈ {0, 1}E suchthat x−1(1) = C. Otherwise, there would exist t ∈ N,{v, w} ∈ Et,t+1 and a path P ∈ vw-paths(G+

t ) suchthat xvw = 1 and xP = 0. From xvw = 1 follows{v, w} ∈ Et,t+1 ∩C. From xP = 0 follows that v and ware connected by P in (V +

t , E+t ∩ C). Both statements

together contradict the assumption. Conversely, if allinequalities (2) are satisfied by an x ∈ {0, 1}E , thenC := x−1(1) satisfies Condition 2 in Def. 2. Otherwise,there would exist t ∈ N, {v, w} ∈ Et,t+1∩C and a pathP ∈ vw-paths(V +

t , E+t ∩ C). From this follows xvw = 1

and xP = 0, in contradiction to the assumption that(2) is satisfied.

If Condition 3 in Def. 2 holds for a set C ⊆ E, thenall inequalities (3) are satisfied by the x ∈ {0, 1}Esuch that x−1(1) = C. Otherwise, there would existt ∈ N, vt, wt ∈ Vt, vt+1, wt+1 ∈ Vt+1, a path P ∈vt+1, wt+1-paths(Gt+1), and a cut T ∈ vtwt-cuts(Gt)such that xvt,vt+1

= 0 and xwt,wt+1= 0 and xP = 0

and xT = 1. P witnesses the existence of a vt+1wt+1-path in (V,Et+1 ∩ C). The existence of T certi-fies the non-existence of a vtwt-path in (V,Et ∩ C).Both statements together contradict the assumption.Conversely, if all inequalities (3) are satisfied by anx ∈ {0, 1}E , then C := x−1(1) satisfies Condition 3in Def. 2. Otherwise, there would exist t ∈ N,vt, wt ∈ Vt and vt+1, wt+1 ∈ Vt+1 such that {v, w} ∈Et,t+1 ∩ C and {vt+1, wt+1} ∈ Et,t+1 ∩ C and such thatthere exist P ∈ vt+1wt+1-paths(Vt+1, Et+1 ∩ C) andT ∈ vtwt-cuts(Vt, Et ∩ C). Hence, xvt,vt+1

= 0 andxwt,wt+1

= 0 and xP = 0 and xT = 1, in contradictionto the assumption that (3) is satisfied. ✷

11