 Research
 Open Access
 Published:
Computational Convergence of the Path Integral for Real Dendritic Morphologies
The Journal of Mathematical Neuroscience volume 2, Article number: 11 (2012)
Abstract
Neurons are characterised by a morphological structure unique amongst biological cells, the core of which is the dendritic tree. The vast number of dendritic geometries, combined with heterogeneous properties of the cell membrane, continue to challenge scientists in predicting neuronal inputoutput relationships, even in the case of subthreshold dendritic currents. The Green’s function obtained for a given dendritic geometry provides this functional relationship for passive or quasiactive dendrites and can be constructed by a sumovertrips approach based on a path integral formalism. In this paper, we introduce a number of efficient algorithms for realisation of the sumovertrips framework and investigate the convergence of these algorithms on different dendritic geometries. We demonstrate that the convergence of the trip sampling methods strongly depends on dendritic morphology as well as the biophysical properties of the cell membrane. For real morphologies, the number of trips to guarantee a small convergence error might become very large and strongly affect computational efficiency. As an alternative, we introduce a highlyefficient matrix method which can be applied to arbitrary branching structures.
1 Introduction
Discovered more than a century ago by Santiago Ramón y Cajal [1], dendrites form the vast majority of the surface area of a neuron, with the dendritic trees of some motoneurons representing up to 97% of total neuronal surface area and 75% of the total neuronal volume [2]. These complex branching structures are responsible for transferring electrical activity between synapses and the soma. As technology evolved, interest in dendrites began to gather momentum, with the invention of sharp micropipette electrodes in the early 1950s allowing intracellular recordings to be made. It was the breakthrough work of Wilfrid Rall [3] on the application of cable theory to dendritic modelling that provided significant insight into the role of dendrites in processing synaptic inputs, the historical perspective of which is summarised in a book by Segev, Rinzel and Shepherd [4]. Recent experimental and theoretical studies reinforce the fact that dendritic morphology and membrane properties play an important role in dendritic integration [5, 6]. We refer the reader to the book Dendrites [7], devoted exclusively to these formations and revealing their biological complexity at different scales.
It has also been known for some time that nonlinear voltagegated ion channels are present in the dendrites of various types of neurons [8], and many recent dendritic models are constructed by combining the linear (passive) properties of dendrites together with nonlinear (active) dynamics of membrane channels. Although the nonlinear properties of ion channels contribute considerably to neuronal inputoutput relations, it is important to recognise that the passive properties of dendritic membranes provide the fundamental core for signal filtration and integration, and thus remain an essential component in understanding electrical signalling in dendrites [9].
When branched dendritic fibres are modelled by passive cable equations, the voltage response across the branching structure for any form of applied current can be calculated via a convolution operation, as long as the Green’s function for the given dendritic tree is found. This approach provides an alternative to the compartmental method, based on the discrete spatial approximation of the potential [10, 11]. It is not always trivial to construct such a Green’s function for realistic dendritic geometries. Arbitrarilybranching systems are inherently difficult to solve, a fact recognised early by Rall, who proposed a method of mapping the branching structure onto an equivalent cylinder provided that certain geometrical restrictions were satisfied [12]. The work of Koch and Poggio [13], based on the graphical calculus of Butz and Cowan [14], focused on the calculation of the response function for complete dendritic trees in the Laplace (frequency) domain. Later, Rall’s method of equivalent cylinders was extended by releasing the constraints on diameters of individual branches and by constructing the Green’s function, again in the Laplace domain [15, 16]. An alternative method for constructing the Green’s function for a branching structure with a shunted soma was proposed by Evans and coauthors [17–19]. In this series of papers, the response function was found in the form of an eigenfunction expansion, which converges particularly rapidly for large times. For smaller times, a Laplacedomain series solution provides better accuracy, agreeing well with an earlier “sumovertrips” method for constructing the Green’s function directly in the time domain, proposed by Abbott et al. [20]. This sumovertrips framework is built on a path integral formulation and enables the calculation of the Green’s function on an arbitrary dendritic geometry as a convergent infinite series solution. Cao and Abbott [21] presented an algorithm for a computational realisation of the sumovertrips approach, based on the division of trips into four classes. They applied this algorithm to a number of sample dendritic trees, the largest of which had 22 branches, in contrast to real dendritic geometries, which might have more than 400 terminals alone [22], with a large variation in branch length. This complexity in neuronal morphologies across different types of neurons is expected to affect the convergence of computational implementations of the sumovertrips framework.
In this paper, we introduce and investigate a number of efficient algorithms for calculating the Green’s function on dendritic trees using the sumovertrips formalism. In Sect. 2, we review the theoretical framework and the fourclasses algorithm of Cao and Abbott [21], and introduce alternative algorithms for the sumovertrips method in Sect. 3. We begin with a modification on the fourclasses algorithm aimed at improving its time complexity by developing a formal grammar to derive the trips. Then, a lengthpriority ordering of the trips using Eppstein’s algorithm [23] for finding the k shortest trips on a graph is proposed. We also derive a stochastic approach for sampling trips on the tree based on a MonteCarlo approach. Finally, a highlyefficient deterministic method for discretised tree structures is described. We assess the convergence of the introduced algorithms on different dendritic geometries in Sect. 4, where we also compare the delay and attenuation of voltage spread on four reconstructed dendritic morphologies. Finally, in Sect. 5, we provide a discussion of our results, as well as possible extensions of this work.
2 The Sumovertrips Framework
We consider a dendritic branching structure with the dynamics of the membrane voltage on a finite branch i described by the passive cable equation. An external current ${I}_{j}(t)$ is injected at a location y on branch j. The transmembrane voltage across the dendritic tree is then described by the following set of equations:
Here, ${a}_{i}$ is the diameter of branch i (measured in μm), ${R}_{a}$ is the specific cytoplasmic resistivity (in Ω cm), C is the specific membrane capacitance (in μF cm^{−2}), and R is the resistance across one unit area of passive membrane (in Ω cm^{2}). Introducing the electrotonic space constant ${\lambda}_{i}=\sqrt{{a}_{i}R/(4{R}_{a})}$, the membrane time constant $\tau =RC$ and the diffusion coefficient ${D}_{i}={\lambda}_{i}^{2}/\tau $, Eqs. (1) and (2) can be rewritten as
In addition to these equations, the appropriate boundary conditions must be specified at all branching nodes and terminals: continuity of the potential across a node and Kirchoff’s law of conservation of current. Continuity of the potential requires that, for all pairs of branches m and n attached to a node,
where the distal end of branch m is connected to the proximal end of branch n. Conservation of current for the same node imposes
where ${r}_{n}=4{R}_{a}/(\pi {a}_{n}^{2})$ is the axial resistance on branch n (in Ω cm^{−1}), and each sum is over all branches connected to this node either with their distal or proximal ends. At individual terminals, we can either impose a closedend boundary condition,
or an openend boundary condition,
where $x={L}_{k}$ is a terminal on branch k.
When the injected current has the form of a delta pulse, that is, ${I}_{j}(t)=\delta (t)$, the solution to Eqs. (3) and (4) is the Green’s function ${G}_{ij}(x,y,t)$ which can be found as
where the sum is over all trips (more formally, graphtheoretic walks), starting at x and finishing at y, and describes the timecourse of the membrane voltage at the location x on branch i in response to the injected current at the location y on branch j, where i can be taken to equal j if desired. The function ${G}_{\mathrm{\infty}}$ takes the form
where ${L}_{\mathrm{trip}}={L}_{\mathrm{trip}}(x/{\lambda}_{i},y/{\lambda}_{j})$ is the length of a trip along the tree that starts at point $x/{\lambda}_{i}$ on branch i and ends at point $y/{\lambda}_{j}$ on branch j. Note that the length of each branch needs to be scaled by its own electrotonic space constant before ${L}_{\mathrm{trip}}$ is calculated for Eq. (6). A constructed trip is allowed to reflect on or pass through any node on the tree an arbitrary number of times. The coefficients ${A}_{\mathrm{trip}}$ depend on the constructed trip and are determined according to the following rules [20]:

From any starting point, ${A}_{\mathrm{trip}}=1$.

For every node at which the trip passes from branch m to branch k where $m\ne k$, ${A}_{\mathrm{trip}}$ is multiplied by a factor $2{p}_{k}$.

For every node at which the trip reflects along on a node back onto the same branch n, ${A}_{\mathrm{trip}}$ is multiplied by a factor $2{p}_{n}1$.

For every terminal, ${A}_{\mathrm{trip}}$ is multiplied by +1 for the closedend boundary condition or by −1 for the openend boundary condition.
When the electrical properties of the cell membrane are identical for all branches, the factors ${p}_{k}$ are defined as
where the sum is over all branches m connected to the node. When the parameters R and ${R}_{a}$ vary from branch to branch, the expression (7) must be modified:
However, note that the sumovertrips method for constructing the Green’s function in the time domain only works for uniform characteristic time constant τ across the entirety of the dendritic tree. The generalisation of this framework to support a quasiactive membrane, instead of a passive membrane, releases this restriction and different cell membrane properties can be chosen on each branch [24]. However, this means that the construction of the Green’s function as an infinite series solution can only be performed in the Laplace domain.
Knowing the Green’s function for a given dendritic structure allows one to find the voltage response along the entire tree. By finding ${G}_{ij}(x,y,t)$ for the ordered pair $(x,y)$, the Green’s function ${G}_{ji}(y,x,t)$ can be found using a simple reciprocity identity:
The voltage response can then be found for an arbitrary number of different discrete inputs as a sum of convolution integrals:
where ${x}_{j}$ is a location of a stimulus ${I}_{j}(t)$ on branch j.
The Green’s function calculated by Eq. (5) for any branching structure with finite length branches includes an infinite number of terms. It is possible to show that this infinite series solution converges faster than ${\mathrm{e}}^{k}$, for sufficientlyhigh k, the number of nodes visited by the trip. We demonstrate this in the Appendix for an arbitrary tree with nodes of degree $d=3$ or less. This generalises Abbott’s convergence analysis [25], where it was shown that, for an infinite binary tree, the sum of coefficients ${A}_{\mathrm{trip}}$ is $\mathcal{O}(1)$ for trips visiting any number of nodes.
2.1 FourClasses Algorithm
Cao and Abbott [21] introduced an algorithm for constructing the Green’s function using the sumovertrips method. Their algorithm is based on finding the shortest trips between any two points of measurement x and current injection y on a tree. Starting from the most direct, shortest trip from x to y, passing through the minimum number of nodes, four classes of trips are defined by allowing a trip to leave the point x in either direction and approach y from either direction along their respective branches. These initial trips, therefore, form the first and shortest trips in their respective classes; longer trips are generated incrementally from these. New additional trips can pass the points x and y any number of times and are allowed to change direction at any node. We will refer to this method as the fourclasses algorithm.
Figure 1 shows a model branching structure with two points x and y, and the four shortest classes of trips between them. Trips are represented as sequences of node identifiers, beginning and ending with x and y respectively. For example, we denote a trip from x to y via nodes A, B and C by its full description, $xABCy$.
From these main trips, the fourclasses algorithm generates all $x\to y$ trips by inserting what are described as “excursions” into the trips. If A and B are adjacent nodes in a tree, then an excursion could be added to the trip $xBy$ to generate the trip $xBABy$, representing a reflection on node B towards A, reflecting at the terminal A back towards B, passing through this node and finally onto point y. This process can be iterated indefinitely, generating a trip with two more nodes each time. If this process is applied to every node on every trip with n and $n+1$ nodes, then every trip with $n+2$ and $n+3$ nodes will be generated. Thus, from the four shortest $x\to y$ trips on the tree, it is possible to construct all trips up to some threshold number of nodes in length explicitly. The lengths and coefficients of these trips can then be calculated from their full trip descriptions, allowing the Green’s function given by Eq. (5) to be approximated.
3 Algorithmic Realisations
Here, we suggest possible modifications to the fourclasses algorithm of Cao and Abbott [21] as well as introduce novel alternative algorithms for the sumovertrips formalism.
3.1 Formal Language Theory Approach
The fourclasses algorithm generates duplicate trips [21], which must then be removed by a binary search through the list of existing trips for every new trip generated, which takes $\mathcal{O}(klogk)$ time overall, where k is the number of trips constructed. There are two different mechanisms by which duplicate trips are generated, and both mechanisms can be eliminated by applying simple restrictions to the choice of excursions applicable to a trip. As an example of the first, for the tree in Fig. 1, it is possible to generate the trip $xBABCBy$ in two different ways from the shortest Class 1 trip, $xBy$:
Due to the fact that the excursion may be added at any step in the trip (at the first or second B), the same trip may be generated multiple times. If we insist that excursions cannot be added at any step that precedes the excursion most recently added to the trip, this can be prevented. In the theory of contextfree grammars, this is equivalent to requiring a leftmost derivation. We can represent this using a symbol to separate the mutable and immutable parts of the trip:
The second mechanism by which duplicate trips are produced is the addition of excursions along the same branch, starting from either end. In the structure in Fig. 1, we have both $A\to ABA$ and $B\to BAB$. Hence, in spite of the leftmost derivation rule, we can generate $xABABy$ in two different ways (brackets added for clarity):
This problem can be avoided by assigning each branch a direction. If the branch AB is given the direction $\overrightarrow{BA}$, then the excursion $A\to ABA$ is disallowed. The choice of direction for each branch is unambiguous on acyclic structures: apart from the branch on which x is found, each branch must be directed away from x. The branch upon which x resides is directed away from y. This ensures that each node has a sequence of excursions that allow the algorithm to generate trips including it. The allocation of direction to each branch can be performed before the process of generating trips and may coincide with finding the four main classes of trips. These modifications require that the graph be acyclic, since “away from a point” is not generally definable on a graph with cycles. There do exist cyclic graphs for which an unambiguous grammar can generate the language of $x\to y$ trips, but these are not relevant to the study of single dendritic trees.
The two presented modifications of the fourclasses algorithm are sufficient to prevent the generation of any duplicate trips, without any trips being missed. Together, they provide an unambiguous contextfree grammar generating the language of $x\to y$ trips.
3.2 LengthPriority Method
Since the coefficients ${A}_{\mathrm{trip}}$ decay at most with ${\mathrm{e}}^{{L}_{\mathrm{trip}}}$ (although the number of trips increases with ${\mathrm{e}}^{{L}_{\mathrm{trip}}}$), the dominating term in the Green’s function (5) is the exponential decay ${\mathrm{e}}^{{L}_{\mathrm{trip}}^{2}}$ in ${G}_{\mathrm{\infty}}$. The fourclasses algorithm [21] does not generate trips in monotonic order in length, since trips are constructed by adding the same excursion to all four classes of trips. If, for example, a Class 2 trip is significantly longer than its Class 1 counterpart, due to x being along a long edge but close to a node, then a longer Class 2 trip will be generated before a potentially shorter Class 1 trip having an additional excursion on a shorter branch. In general, trips are likely to be disordered in length if the branches upon which x or y reside are substantially longer than at least one other branch on the tree, or if x or y are much closer to one of their adjacent nodes than to the other.
Here, we propose to realise the sumovertrips framework by a lengthpriority method. In this implementation, trips are generated and the corresponding terms ${A}_{\mathrm{trip}}{G}_{\mathrm{\infty}}({L}_{\mathrm{trip}},t)$ are added to the infinite series solution (5) in monotonic order in length ${L}_{\mathrm{trip}}$. This is achieved by incorporating Eppstein’s algorithm [23] for finding the k shortest trips on a graph in $\mathcal{O}(m+nlogn+k)$ time, with n being the number of nodes and m the number of edges on the branching structure.
Both the fourclasses algorithm and the improvements described in the languagetheoretic approach rely on storing trips explicitly as sequences of nodes. This consumes $\mathcal{O}(kn)$ space and time for k trips with n nodes but allows onthefly calculation of coefficients ${A}_{\mathrm{trip}}$. This is contrary to Eppstein’s algorithm [23], which stores trips using an implicit representation and allows us to find the k shortest trips implicitly using only $\mathcal{O}(1)$ space and time for each trip. The current implementation, based on Eppstein’s algorithm, requires $\mathcal{O}(kn)$ time to calculate coefficients despite the savings on space due to the implicit trip representation. However, Eppstein provides a method for computing any property that can be described by a monoid in $\mathcal{O}(1)$ time per trip. Such a description of coefficient calculation exists, and its use would supplement the current $\mathcal{O}(kn)$ to $\mathcal{O}(k)$ decrease in space requirements with an analogous decrease in time complexity. The savings in space already allow the lengthpriority method to scale better than the fourclasses algorithm.
3.3 MonteCarlo Method
The path integral formulation of the solution to the cable equation introduced by Abbott et al. [20] is derived via consideration of a Feynman–Kac representation of the solution in terms of random walkers on the dendritic geometry. Hence, it is natural to consider MonteCarlo approaches to evaluating this path integral. Instead of a lengthordered series solution as provided by the lengthpriority approach, the Green’s function (5) can be constructed using a stochastic algorithm. The aim of this approach is to sample from trips $x\to y$ in such a way that the probabilistically more likely samples coincide with the trips that contribute most to the series solution (5).
To motivate this MonteCarlo approach, let us consider a linear diffusion equation along an infinite onedimensional cable,
satisfying the initial condition $\mathcal{G}(x,0)=\delta (xy)$. Analogously, a diffusion process for the state variable ${X}_{t}$ can be defined by the stochastic equation
with the Wiener process ${W}_{t}$ and the initial condition ${X}_{0}=y$. It is well known that Eq. (11) is the Kolmogorov equation of the diffusion process (12), that is, the time evolution equation of the probability density for the state of the diffusion (12). On the one hand, solution of (11) via classical numerical or analytical methodology informs the probability density of ${X}_{t}$; on the other hand, repeated sampling from (12) converges upon the solution $\mathcal{G}(x,t)$ of (11). This method of sampling from random walks can also be applied for arbitrary geometries by setting the appropriate boundary conditions at the branching nodes and terminals. Knowing ${\mathcal{G}}_{ij}(x,y,t)$ on a branching structure, we can easily find a solution of the cable equation on this geometry using the relation
Because the path integral form of the solution is equivalent to the expectation of a function on random walks upon the branching points of the dendritic tree, reduction of the random walk problem from the complete continuous space geometry of the neuron to the discrete topology of the branching points of the neuron gives a considerable efficiency saving to a MonteCarlo solver. We introduce a parameter ${k}_{\mathrm{max}}$, the maximum number of discrete hops on nodes for which we wish to calculate the expectation. The maximum number is based upon the effective maximum range of diffusion during the interval $[0,t]$. Then, we generate a realisation of a random walk on the nodes,
where each ${\omega}_{k}$ is a label identifying a particular node. For trips $x\to y$ we select ${\omega}_{1}$ such that it is either of the two nodes adjacent to the branch containing x, with equal probability. By indexing a branch between two nodes, ${\omega}_{k1}$ and ${\omega}_{k}$, as the k th branch, subsequent steps are performed with the transition probability
where ${p}_{k}$ is given by (7). This connects the MonteCarlo method to the earlier discussed path enumeration methods. Here, we introduce two auxiliary functions, ϕ and $\tilde{a}$, of subwalks of ω. The first is a function indicating whether a subwalk of k steps on a realisation ω is a valid trip, and is defined by
where k is the number of hops on nodes in the subwalk and $L(y,k,\omega )$ is the length of the subwalk. The other auxiliary function $\tilde{a}$ is defined as
The relevant function on paths can be defined as a composite of the auxiliary functions described above:
The expectation of $\tilde{A}$ with respect to the random walk (14) is equivalent to solving for the path integral, up to some value of ${k}_{\mathrm{max}}$ at time t:
where $P(\omega )$ is the probability of the realisation ω, and $\mathbb{E}$ denotes the expectation operator. Therefore, the MonteCarlo strategy is to sample, sequentially or in parallel, the random function $\tilde{A}$ in order to construct this expectation.
3.4 Matrix Method
An alternative method of constructing the sumovertrips series solution is by grouping trips by their lengths:
where the sum over l is over all possible trip lengths ${L}_{\mathrm{trip}}$. On a dendritic tree, discretised as in compartmental models [10] or in a manner similar to the discretisation of the tree into segments in NEURON [26], grouping trips according to their lengths allows us to count the number of trips of a given length l without having to explicitly construct them.
This method uses a modified directed edge adjacency matrix of the discretised tree in order to compute the sum of coefficients of trips of a given length. It requires all compartments to have the same fixed length Δx, although this restriction can be relaxed in a generalisation presented at the end of this section. The extremities of compartments define the position of nodes; there is a directed edge in both directions between adjacent nodes.
We begin by defining $\mathcal{V}$ as the set of nodes and ℰ as the set of directed edges in the discretised tree. Edges are ordered pairs of nodes: $e=(u,v)\in \mathcal{E}$ is a directed edge from u to v, with $u,v\in \mathcal{V}$. For any edge $e=(u,v)$, we denote the reverse edge by ${e}^{\prime}=(v,u)$. Trips are taken to begin from a point x along a starting edge $s=({s}_{1},{s}_{2})$ and end at a point y along a goal edge $g=({g}_{1},{g}_{2})$ for $s,g\in \mathcal{E}$. We say that $x\in s$ or $x\in ({s}_{1},{s}_{2})$ if x resides along edge $s=({s}_{1},{s}_{2})$. Based on the locations of $x\in s$ and $y\in g$, the orientations of s and g are defined such that the shortest $x\to y$ trip satisfies $x\to {s}_{2}\to \cdots \to {g}_{1}\to y$. Therefore, the shortest $x\to y$ trip always starts on edge s, that is, in the ${s}_{1}\to {s}_{2}$ direction, and approaches y along the edge g, in the ${g}_{1}\to {g}_{2}$ direction. This is equivalent to a Class 1 trip; Class 2 trips leave x along the ${s}^{\prime}=({s}_{2},{s}_{1})$ edge, arrive at $y\in g$; Class 3 trips go from $x\in s$ to $y\in {g}^{\prime}$; Class 4 trips, finally, go from $x\in {s}^{\prime}$ to $y\in {g}^{\prime}$. The locations of the points $x\in s$ and $y\in g$ along their respective edges are given as a fraction of the branch length such that $x\mathrm{\Delta}x$ denotes the distance from x to ${s}_{2}$ and $y\mathrm{\Delta}x$ is the distance between node ${g}_{1}$ and point y. We distinguish between k, the number of edges travelled in a particular trip, from the length of the trip ${L}_{\mathrm{trip}}$. Because x and y reside along their respective edges, the total length of a trip that travels along k edges is less than if the full distance along k edges had been travelled. That is, ${L}_{\mathrm{trip}}<k\mathrm{\Delta}x$ for any combination of x, y and for all k.
The aim of the matrix method is to group all trips starting on a given edge and finishing on a target edge by their lengths, ${L}_{\mathrm{trip}}$, and calculate the sum of the coefficients ${A}_{\mathrm{trip}}$ of those trips for each particular group instead of calculating coefficients individually for each trip. The sums of coefficients are computed simultaneously for trips ending on all edges, starting at a point $x\in ({s}_{1},{s}_{2})$, allowing us to compute ${G}_{ij}$ for all j, for all x on edge i and for all y on any edge, in a single run of the calculation. We define the coefficients function ${c}_{k}^{s}:\mathcal{E}\to \mathbb{R}$, $s\in \mathcal{E}$, as the sum of all coefficients ${A}_{\mathrm{trip}}$ which begin at point $x\in s$ and travel over k edges, finishing on a given edge g:
Because the set of edges ℰ is both ordered and finite, then ${\mathbf{c}}_{k}^{s}=({c}_{k}^{s}({e}_{1}),\dots ,{c}_{k}^{s}({e}_{\mathcal{E}}))\in {\mathbb{R}}^{\mathcal{E}}$ can be thought of as a vector, where ${e}_{i}\in \mathcal{E}$ for $i=1,\dots ,\mathcal{E}$. The i th element of the vector ${\mathbf{c}}_{k}^{s}$ corresponds to the sum of coefficients ${A}_{\mathrm{trip}}$ for all trips originating at x on s and ending along the i th edge ${e}_{i}$, having travelled over k edges. The vector ${\mathbf{c}}_{1}^{s}$ consists mostly of zeros, with a one only in the entry corresponding to the edge s, as the coefficient of moving in this direction remains 1, while all other moves are invalid by travelling over only one edge, and hence have coefficient 0.
We can now define a matrix $Q\in {\mathbb{R}}^{\mathcal{E}\times \mathcal{E}}$ such that
Q is a modified form of the edgeadjacency matrix, where instead of containing ones to denote edge adjacency and zero otherwise, it contains the coefficient taken in moving from one edge to another. The entries of Q can be computed based on the morphology of the graph. If the j th entry corresponds to edge $(u,v)$ and the i th entry to edge $(v,w)$, then the entry ${Q}_{ji}$ is the coefficient taken when moving from branch $(u,v)$ to $(v,w)$. In the general case, these numerical values must be determined for each entry. However, in the simplified case where the radii on all branches are equal and all nodes have degree $d=1$ or $d=3$, the matrix Q can be constructed according to
Note that the above rules apply to the transpose of ${Q}_{ij}$.
Thus, knowing the matrix Q from the dendritic geometry and the vector ${c}_{1}^{s}$ from the starting edge s, it is possible to construct the sum of ${c}_{k}^{s}(g)$ terms, for all $k<{k}_{\mathrm{max}}$, equal to the sum of coefficients for all trips travelling up to ${k}_{\mathrm{max}}$ edges, from $x\in s$ to $y\in g$. However, by considering trips moving from x in one direction only and arriving at y from only one direction, we have calculated the coefficients of just Class 1 trips. In order to find coefficients for the remaining three classes, we must also compute ${c}_{k}^{{s}^{\prime}}(g)$, ${c}_{k}^{s}({g}^{\prime})$ and ${c}_{k}^{{s}^{\prime}}({g}^{\prime})$. These can be found in the same way as above. Using (15), the Green’s function in (5) can therefore be written as
where ${(Q{c}_{1}^{s})}_{g}$ is the g th element of the matrixvector product of Q and ${c}_{1}^{s}$. Lengths ${L}_{1},\dots ,{L}_{4}$ are the lengths of Class 1 to Class 4 trips, respectively, and are defined as
By selecting a small Δx, branches may be approximated by a discretisation using an integer number of edges of length Δx. As in compartmental models, this allows the full morphology of the dendritic tree to be approximated, in a tradeoff between high speed (large Δx) and accuracy (small Δx). As $\mathrm{\Delta}x\to 0$, however, this approach tends to the computational complexity of naively integrating the cable equation using numerical methods. As in numerical simulations, where reducing Δx in order to increase accuracy brings about a necessary and associated change in Δt, the same is true of the matrix method: selecting a small Δx and hence increasing $\mathcal{E}$, implies that ${k}_{\mathrm{max}}$ must be increased.
This algorithm can be generalised to accept several discrete edge lengths $\mathrm{\Delta}{x}_{1},\dots ,\mathrm{\Delta}{x}_{n}$, at an exponential cost in the number of different lengths n, allowing “caricature” neurons to be constructed from a small number of different edge lengths. Our description of this method is focused on the case where x and y are located on different branches. For computations where x and y are required to exist on the same edge, the edges can be discretised such that x and y appear on different segments. In all cases with bounded node degree, Q is a sparse matrix with only a few entries per row, and $\mathcal{O}(\mathcal{E})$ entries altogether, making the complexity for the calculation of all coefficients $\mathcal{O}(\mathcal{E}{k}_{\mathrm{max}})$ by using highlyefficient sparse linear algebra algorithms.
3.4.1 Example calculation
Here, we demonstrate an example realisation of the matrix method for a dendritic structure of three branches of equal length Δx, shown in Fig. 2. In this symmetrical case, the matrix Q is very small and can be constructed by hand. We place the point of measurement x along edge $s=(A,B)$ and the point of current injection y along $g=(B,D)$.
We begin by ordering the edge pairs as follows: $(A,B)$, $(B,A)$, $(B,C)$, $(C,B)$, $(B,D)$, $(D,B)$. Based on this ordered set, we can obtain two coefficients vectors ${c}_{1}$, one for trips that begin at x and move towards B, denoted ${c}_{1}^{s}={(1\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0)}^{T}$, and another for trips moving from x towards node A, denoted ${c}_{1}^{{s}^{\prime}}={(0\phantom{\rule{0.25em}{0ex}}1\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0\phantom{\rule{0.25em}{0ex}}0)}^{T}$. Using the rules described in (16), we can construct the matrix Q for our dendritic structure as follows:
Note that all rows and columns sum to 1. Knowing this matrix Q and breaking the trips into four main classes, it is straightforward to find the complete Green’s function:
4 Convergence of Methods
We first validate the computational implementations of our algorithms by constructing the Green’s function ${G}_{ij}(x,y,t)$ on a small binary tree. Two profiles of the response function obtained by the lengthpriority, the MonteCarlo and the matrix methods are shown in Fig. 3 and compared to a numerical simulation computed by the software package NEURON [26]. These plots demonstrate an excellent agreement between a number of approaches for obtaining the Green’s function and the numerical solution, with a slightly worse performance of the MonteCarlo method for larger times.
The computational convergence of any algorithm impacts both the accuracy of its results and the speed at which these results are obtained. While the series solution to the Green’s function (5) is proven to converge for a sufficientlyhigh number of terms (see the Appendix), this assumes optimal ordering of terms in the solution. Because the coefficients ${A}_{\mathrm{trip}}$ are impossible to compute until a trip is constructed, generating terms for the series solution in descending order of magnitude is inherently difficult. The fourclasses, lengthpriority and matrix methods generate trips in order of increasing ${L}_{\mathrm{trip}}$, with the aim of ordering trips by their ${G}_{\mathrm{\infty}}({L}_{\mathrm{trip}},t)$ terms, which decreases monotonically in the length of the trip. The MonteCarlo method uses a stochastic method to order trips by their probabilities, with more likely trips contributing more to (5). However, none of these approaches order the trips optimally, and hence their accuracy relies not on the theoretical convergence of the mathematical method, but on the computational convergence of the algorithm that implements it.
To assess the computational convergence of the algorithms, Green’s function solutions were constructed on a number of branching geometries shown in Fig. 4. In addition to a binary tree with the topology in Fig. 4A, the algorithms were also applied to four real neuronal reconstructions obtained from the NeuroMorpho Database [27] in .swc format and shown in Figs. 4B–E. These files use a sequence of nodes with precise radii and threedimensional locations to describe the location of the soma and the paths taken by the axon and each dendrite. A dendrite’s path can be described using as many nodes as necessary to accurately reflect the spatial jitter and variation in radius of its path. Because radii are described at nodes, edges between two nodes of different radius taper. The sumovertrips formalism requires constant diameter along edges, but allows discontinuous jumps in the diameters at nodes. Hence, edge diameter was defined as the average of the diameters of adjacent nodes. This allows full dendritic branches to be represented as a sequence of uniform cylinders of arbitrary length and with abrupt changes in diameters at nodes.
We used the following normalised ${L}^{1}$ error as a measure of convergence:
where T is the final simulation time, ${V}^{\ast}(x,y,t)$ is NEURON’s numerical solution to very high accuracy and ${V}_{N}={\int}_{0}^{T}{V}^{\ast}(x,y,t)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t$ is the integral of the accurate NEURON solution. This convergence measure is therefore relative to the amplitude of the “real” solution, and thus errors ε are comparable between different neuronal types.
Figure 5 shows the convergence of the fourclasses and of the lengthpriority methods as a function of the number of trips on five geometries from Fig. 4. Three sets of parameters given in Table 1 were considered for the binary tree, and the relative errors ε for each case are demonstrated in Figs. 5A–C. These plots illustrate fairly uniform convergence, in which both methods offer similar accuracies and rates of convergence. Of the two trees with biophysically realistic parameters, the binary tree with the longer branches (parameter set C) converges faster, as is expected on structures with longer trips in each Class. This is reflected in Table 2, which shows the number of trips required on the binary tree to remain under a given error threshold for different parameter sets. Moreover, a binary tree with nondimensionalised parameters (parameter set A) requires noticeably many more trips for desired accuracy in comparison to the same tree with biophysically realistic parameters.
Figures 5D–G show ε for the structures in Figs. 4B–E respectively. They demonstrate that convergence is nontrivial on complex branching structures. Figure 5D shows that the lengthpriority method makes consistently less error on the amacrine cell geometry, in contrast to the convergence of the Purkinje cell, shown in Fig. 5E, where the fourclasses method generates less error for all numbers of trips. Both of these show strongly irregular convergence and highamplitude oscillation in the errors ε in the amacrine cell. For both methods, the Purkinje cell shows a plateau in error for Green’s functions with few trips, indicating that either these trips are of small magnitude or that their voltage traces alternate between undershooting or overshooting the correct solution between subsequent trips. This indicates that neither the lengthpriority or the fourclasses methods are good heuristics for ordering terms in the Green’s function. This is further hinted at by the oscillating property of the error, which implies that there are regions where trips that increase the error are more frequent than trips that reduce it.
The pyramidal cell’s convergence shows very discontinuous behaviour (Fig. 5F), particularly in the lengthpriority method. The large jump in error when approximately 350 trips are included in the Green’s function was found to be caused by the first and shortest Class 2 trip included thus far, with all prior trips belonging to Class 1. This behaviour is likely to arise if there exist very short branches along the shortest and most direct $x\to y$ trip, and thus many Class 1 trips are generated first, being shorter than the first Class 2 trip. Whilst one of the motivating reasons for considering a lengthpriority approach was to generate trips fully by length order, this heuristic makes no attempt to include the coefficient ${A}_{\mathrm{trip}}$ in its ordering. This is an example of a pathologically large change in the coefficients value for a Class 2 trip which contributes a very significant amount to the Green’s function. The fourclasses approach, which enforces generation of trips of all four classes at every added excursion, does not show such a drastic drop in error. However, the error plot is still very discontinuous, and this may be a characteristic of situations as we have just described, where points x and y are placed on branches having a very different length to those on the most direct $x\to y$ trip, or when these points are placed very close to a node. Whether injection and measurement points are located on branches that are significantly longer or shorter than those along the shortest $x\to y$ trip, both the fourclasses and the lengthpriority methods will generate trips in an “unnatural” order, subsampling the trips where current will spread the most, but oversampling in areas of the tree with very short branches. This pathological feature may not be inherently present in the real neuronal morphology, but may have been created during digital reconstruction from slice image data if, for example, a change of radius were found along the branch. Therefore, this pathology may not be representative of the neuronal geometry, but becomes a function of the reconstruction.
The tangential cell’s convergence, shown in Fig. 5G, shows almost identical errors for both the fourclasses and the lengthpriority methods, indicating that trips are generated in a similar order regardless of method. Contrary to the example with the pyramidal cell, this behaviour is likely to occur when x and y are placed on branches that are significantly shorter than those that arise on the shortest $x\to y$ path, such that the lengthpriority method returns trips of Class 1, 2, 3 and 4 in sequential order, as these increases in length are shorter than adding an excursion along the direct $x\to y$ trip.
Our results clearly indicate that the convergence of the realisation of the sumovertrips framework by either the fourclasses or the lengthpriority method strongly depends on a dendritic geometry. For real morphologies, the number of trips required quickly becomes very large to the point where guaranteeing convergence to within some small error threshold may become computationally expensive.
The convergence of the MonteCarlo method is shown in Fig. 6 for the binary tree in Fig. 4A with parameter set A and for a larger binary tree of depth 16 with the same parameters. Boundary effects can be seen on the smaller tree, where the convergence rate is slightly faster than that of a typical MonteCarlo integration observed here for a larger tree. It is worth noting that the xaxis on this plot shows the number of random walks generated; however, due to the number of subtrips extracted from each random walk, the number of terms contributing to the Green’s function can potentially be significantly different. The graphs show that the MonteCarlo method is very slow to converge, although the method is much more predictable in its convergence despite the noise. As expected, therefore, the MonteCarlo method generates trips that are more “naturally” ordered, and hence convergence is much more monotonic. Despite this improved ordering of terms in the series solution, the MonteCarlo approach remains computationally intensive and very slow to converge with increased number of trips.
Finally, the convergence of the matrix method on a binary tree is shown in Fig. 7. This algorithm converges extremely quickly to within very small error tolerances as a function of ${k}_{\mathrm{max}}$, the maximum number of edges covered by trips generated. The values of the product of ${A}_{\mathrm{trip}}$ coefficients obtained by this method remain $\mathcal{O}(1)$ for all ${k}_{\mathrm{max}}$ which agrees with the proof in [25]. Because the algorithm is based on simple matrixvector multiplication, where the matrix is $\mathcal{E}\times \mathcal{E}$ in size, the computation of the Green’s function for small trees such as the binary trees used here to within $\epsilon ={10}^{15}$ only takes a fraction of a second. On more complex trees, such as Purkinje cells, this becomes more expensive, although computing ${G}_{ij}(x,y,t)$ for the whole tree remains computationally preferable to the use of bruteforce simulators. Using the reciprocal rule (9), this is possible in $\mathcal{E}$ applications of the algorithm. This compares favourably with the lengthpriority and the fourclasses methods, which require $\mathcal{E}(\mathcal{E}+1)/2$ applications of the algorithm, and with NEURON, which would require ${\mathcal{E}}^{2}$ simulations, and this would only provide solutions for a single point y on each edge. In addition, the sparseness of the matrix Q means that coefficient calculation up to ${k}_{\mathrm{max}}$ only takes $\mathcal{O}(\mathcal{E}{k}_{\mathrm{max}})$ time, and so the method scales linearly with the number of branches on the tree.
4.1 StructuralElectrotonic Properties
The Green’s function ${G}_{ij}(x,y,t)$ constructed for a given dendritic geometry provides a measure of the transfer impedance between the input location y on branch j and the point of measurement x on branch i. Assessing whether the neuronal geometry significantly impacts this inputoutput relation is a step towards answering questions regarding the structurefunction relationship behind the enormous natural variation in dendritic morphologies. Using the measures introduced by Zador et al. [32], the propagation delay and the logattenuation, we analyse the transfer of the response signal in four reconstructed cells in Fig. 4. For a pair of points $(x,y)$ along the tree, we reintroduce the propagation delay ${\mathcal{P}}_{xy}$ as a measure of the impact of the tree’s electrotonic structure on the timing of signals, defined as
Here, ${\stackrel{\u02c6}{t}}_{x}$ and ${\stackrel{\u02c6}{t}}_{y}$ are the centroids of the two corresponding voltage transients ${G}_{x}(t)={G}_{ij}(x,y,t)$ and ${G}_{y}(t)={G}_{jj}(y,y,t)$ respectively:
This delay measure admits an additive property such that ${\mathcal{P}}_{xy}={\mathcal{P}}_{xz}+{\mathcal{P}}_{zy}$ for a point z between x and y. The logattenuation of the response signal between a pair of points $(x,y)$ is computed as ${\mathcal{L}}_{xy}=log{\mathcal{A}}_{xy}>0$, where
It acts as a measure of the amount a transient signal’s amplitude diminishes as it travels between two points. ${\mathcal{L}}_{xy}$ is also additive for a point z between x and y, that is, ${\mathcal{L}}_{xy}={\mathcal{L}}_{xz}+{\mathcal{L}}_{zy}$.
Figure 8 demonstrates the propagation delay and the logattenuation as a function of distance y away from x for the reconstructed dendritic morphologies in Figs. 4B–E. The point x was placed near the soma as shown in Fig. 4 and the position of y was moved away from x to the distal dendrites along a single path. As expected with an additive property, both the delay and the logattenuation are linear in the distance between y and x. The curves in Fig. 8 show a noisy linear trend, which could be smoothed to better demonstrate this linearity by sampling the data from multiple points located along different branches, but at the same fixed distance away from x, in the manner of an expanding sphere of radius y, with origin at x. To compare how the response signal is transferred in four neuronal types, we plot the rate of change of the delay and logattenuation for individual cells in Fig. 9, computed by a linear regression and imposing that the line passes through the origin. It succinctly illustrates that the input signal will spread differently in these four cells, with the tangential cell having a similar rate of delay with the pyramidal cell and a similar rate of logattenuation with the amacrine cell. The signal in the Purkinje cell is shown to be attenuated most, whereas the pyramidal cell transfers it very effectively. Similar conclusions, but about the propagation of the dendritic action potential, were made by Vetter et al. [30]. The activation of voltagegated channels is expected to be less robust in the case of strong attenuation of the passive spread of voltage which might explain the results in [30].
5 Discussion
In this paper, we introduced a number of efficient algorithms for the computational realisation of the sumovertrips framework and assessed their convergence. We started with some modifications of the fourclasses algorithm of Cao and Abbott [21] to avoid constructing duplicate trips. An unambiguous contextfree grammar was derived, which is able to generate all trips uniquely and in monotonic order of length. We then developed the lengthpriority method, in which trips are constructed purely in length order rather than in classes. Both methods were found to demonstrate very nonuniform convergence which was highlydependent on the dendritic morphology, as well as the biophysical properties of the cell membrane. Oscillations of the convergence error make it difficult to predict the number of trips required for constructing the Green’s function on a particular geometry. Dendritic structures with longer branches of uniform diameters will converge faster, that is, for a smaller number of trips in the series solution. Instead of sampling the trips in some welldefined order, we also derived a stochastic method of sampling the trips based on a MonteCarlo approach. Finally, we proposed an extremely efficient matrix method which computes the trip coefficients, ${A}_{\mathrm{trip}}$, for trees where all branches are integermultiples in length to some base length, Δx.
Although we considered dendrites to be passive in this study, the proposed algorithms can be easily generalised to support quasiactive (resonant) dendrites with a calculation of the Green’s function in the Laplace domain [24]. Moreover, it is straightforward to include an isopotential soma in the Laplacedomain series solution. A soma can be considered as a special node with the factors ${p}_{k}(\omega )$ on the branches connected to the soma defined as ${p}_{k}(\omega )={r}_{k}^{1}\sqrt{(\omega +{\tau}^{1}){D}_{k}^{1}}/(\stackrel{\u02c6}{C}\omega +{\stackrel{\u02c6}{R}}^{1}+{\sum}_{m}{r}_{m}^{1}\sqrt{(\omega +{\tau}^{1}){D}_{m}^{1}})$, where $\stackrel{\u02c6}{C}$ and $\stackrel{\u02c6}{R}$ are the capacitance and the resistance of the somatic membrane and ω is the Laplace transform’s frequency variable. Similar factors can also be found for when the leakyend boundary condition, referred to as natural termination by Tuckwell [33], is imposed at the terminals. A knowledge of the Green’s function for a given dendritic structure allows one to efficiently find the subthreshold voltage response along the entire tree for any number of various inputs, either analytically or via a computation of the convolution integral. This obviates the need for the bruteforce numerical simulations of an underlining set of PDEs. Such simulations may be computationally expensive, particularly since they have to be reinitiated each time a new stimulus is introduced. In the case of suprathreshold inputs, which can activate voltagegated channels known to be present in dendrites of many neurons, the SpikeDiffuseSpike (SDS) type model [34, 35] can be utilised for analysing the propagations of dendritic action potentials. Although the voltagegated channels in the SDS framework are modelled by piecewise linear instead of nonlinear dynamics, it has been shown that the speed of a wave propagation in the SDS model is in excellent agreement with a more biophysically realistic nonlinear model [36]. However, an analytically tractable SDS model combined with a fast algorithm for constructing the Green’s function on real geometries provides a computationally efficient framework for studying wave scattering in dendrites.
Although networks of spatiallyextended neural cells can be numerically simulated, there are currently few mathematical studies of such networks. A natural extension might be to consider a network of branched neurons coupled by gapjunctions. The sumovertrips formalism can then be generalised to support a presence of new boundary conditions. Recent results of Harris and Timofeeva [37] can be applied to the case of tiptotip coupling of the dendritic branches. The proposed algorithms can then be modified by including additional sumovertrips rules. It is worth mentioning that the computational schemes presented in this paper are able to handle cyclic graphs, which may form as a result of gapjunction coupling across several neurons. While the matrix method is expected to be the most efficient for a network of symmetric or regular structures, realistic reconstructions of discretised trees remain within computational reach. For example, given a sparse random matrix, of correct density and of size $20\text{,}000$, equivalent to a dendritic tree with $10\text{,}000$ edges, the calculation of ${G}_{ij}(x,y,t)$ for all j up to ${k}_{\mathrm{max}}={10}^{5}$ only takes fifteen seconds on a desktop computer. For comparison, the Purkinje cell reconstruction in Fig. 4D has just under $5\text{,}000$ branches. For the case of very large, complex irregular structures it might be possible to employ a recently developed technique of reducing the complexity of large dendrites [38] before applying the sumovertrips methodology.
Appendix: Mathematical Convergence of the Sumovertrips Series Solution
Here, we consider an identical diffusion coefficient D for all branches, although it is possible to generalise this proof to support different diffusion coefficients. Fixing t throughout, we let
where
is a product of k factors $2p\in (0,2)$ and $2p1\in (1,1)$, where k is the number of nodes visited by the trip, for any branch diameters. Then, for a trip touching k nodes,
There exists a constant $B>0$ such that every trip touching k nodes satisfies
This makes B the coefficient of the lower bound on trip length in terms of the number of nodes in a trip. Intuitively, Bk equals the minimum distance between any two nodes where, for this purpose, we count x and y as nodes.
Let ${F}_{k}$ be the number of trips with k nodes. Since each node has degree $d\le 3$, then
We introduce
Then
For simplicity, we rewrite the Green’s function (20) as ${G}_{\mathrm{\infty}}({L}_{\mathrm{trip}})=C{\mathrm{e}}^{E{L}_{\mathrm{trip}}^{2}}$, where
Then using (21)–(24) we get
We define $N=\lfloor ln(6)/(E{B}^{2})\rfloor $ such that $E{B}^{2}kln(6)>0$ for $\mathrm{\forall}k>N$. Then
The first sum in (26) is a finite sum of finite terms, and is hence finite. We will now show that the second sum is also finite using d’Alembert’s ratio criterion for convergent series. The ratio ${\rho}_{k}$ of the consecutive terms in the series, k and $k+1$, is
Letting $k\to \mathrm{\infty}$, we obtain
With ${\rho}_{\mathrm{\infty}}<1$, the second sum in (26) converges absolutely for all constants $B,C,E>0$. Therefore, the series in (26) is absolutely convergent for sufficientlyhigh k.
If we define
then
and the path integral converges faster than ${\mathrm{e}}^{k}$ in the worst case, with the number of nodes k visited by the trips.
References
 1.
Cajal R: Histology of the Nervous System of Man and Vertebrates. Oxford University Press, New York; 1995. (trans. N Swanson and LW Swanson, first published 1899) (trans. N Swanson and LW Swanson, first published 1899)
 2.
Ulfhake B, Kellerth JO: A quantitative light microscopic study of the dendrites of cat spinal alphamotoneurons after intracellular staining with horseradish peroxidase. J Comp Neurol 1981, 202: 571–583. 10.1002/cne.902020409
 3.
Rall W: Core conductor theory and cable properties of neurons. Handbook of Physiology—The Nervous System (I) 1977, 39–97.
 4.
Segev I, Rinzel J, Shepherd GM (Eds): The Theoretical Foundation of Dendritic Function: Selected Papers of Wilfrid Rall with Commentaries. MIT Press, Cambridge; 1995.
 5.
Spruston N, Stuart G, Häusser M: Dendritic integration. In Dendrites. Edited by: Spruston N, Stuart G, Häusser M. Oxford University Press, New York; 2008.
 6.
van Ooyen A, Duijnhouwer J, Remme MWH, van Pelt J: The effect of dendritic topology on firing patterns in model neurons. Netw Comput Neural Syst 2002,13(3):311–325. 10.1088/0954898X/13/3/304
 7.
Spruston N, Stuart G, Häusser M (Eds): Dendrites. Oxford University Press, New York; 2008.
 8.
Johnston D, Narayanan R: Active dendrites: colorful wings of the mysterious butterflies. Trends Neurosci 2008,31(6):309–316. 10.1016/j.tins.2008.03.004
 9.
London M, Häusser M: Dendritic computation. Annu Rev Neurosci 2005, 28: 503–532. 10.1146/annurev.neuro.28.061604.135703
 10.
Rall W: Theoretical significance of dendritic trees for neuronal inputoutput relations. In Neural Theory and Modeling. Edited by: Reiss RF. Stanford University Press, Stanford; 1964:73–97.
 11.
Segev I, Fleshmann IJ, Burke RE: Compartmental models of complex neurons. In Methods in Neuronal Modeling. MIT Press, Cambridge; 1989.
 12.
Rall W: Theory of physiological properties of dendrites. Ann NY Acad Sci 1962,96(2):1071–1092.
 13.
Koch C, Poggio T: A simple algorithm for solving the cable equation in dendritic trees of arbitrary geometry. J Neurosci Methods 1985,12(4):303–315. 10.1016/01650270(85)900159
 14.
Butz EG, Cowan JD: Transient potentials in dendritic systems of arbitrary geometry. Biophys J 1974,14(9):661–689. 10.1016/S00063495(74)859436
 15.
Whitehead RR, Rosenberg JR: On trees as equivalent cables. Proc R Soc Lond B, Biol Sci 1993,252(1334):103–108. 10.1098/rspb.1993.0052
 16.
Lindsay K: Analytical and numerical construction of equivalent cables. Math Biosci 2003,184(2):137–164. 10.1016/S00255564(03)000592
 17.
Evans JD, Kember GC, Major G: Techniques for obtaining analytical solutions to the multicylinder somatic shunt cable model for passive neurones. Biophys J 1992, 63: 350–365. 10.1016/S00063495(92)816314
 18.
Major G, Evans JD, Jack JJB: Solutions for transients in arbitrary branching cables: I. Voltage recording with a somatic shunt. Biophys J 1993, 65: 423–449. 10.1016/S00063495(93)810373
 19.
Evans JD, Major G: Techniques for the application of the analytical solution to the multicylinder somatic shunt cable model for passive neurones. Math Biosci 1995, 125: 1–50. 10.1016/00255564(94)00018U
 20.
Abbott L, Farhi E, Gutmann S: The path integral for dendritic trees. Biol Cybern 1991, 66: 49–60. 10.1007/BF00196452
 21.
Cao BJ, Abbott LF: A new computational method for cable theory problems. Biophys J 1993,64(2):303–313. 10.1016/S00063495(93)813705
 22.
Rapp M, Segev I, Yarom Y: Physiology, morphology and detailed passive models of guineapig cerebellar Purkinje cells. J Physiol 1994, 474: 101–118.
 23.
Eppstein D: Finding the k shortest paths. SIAM J Comput 1999,28(2):652–673.
 24.
Coombes S, Timofeeva Y, Svensson CM, Lord GJ, Josić K, Cox SJ, Colbert CM: Branching dendrites with resonant membrane: a “sumovertrips” approach. Biol Cybern 2007,97(2):137–149. 10.1007/s0042200701615
 25.
Abbott LF: Simple diagrammatic rules for solving dendritic cable problems. Physica A 1992,185(1–4):343–356. 10.1016/03784371(92)904745
 26.
Carnevale N, Hines M: The NEURON Book. Cambridge University Press, Cambridge; 2006.
 27.
Ascoli GA, Donohue DE, Halavi M: NeuroMorpho.Org: a central resource for neuronal morphologies. J Neurosci 2007,27(35):9247–9251. 10.1523/JNEUROSCI.205507.2007
 28.
Bloomfield A, Miller F: A functional organization of ON and OFF pathways in the rabbit retina. J Neurosci 1986, 6: 1–13.
 29.
Radman T, Ramos RL, Brumberg JC, Bikson M: Role of cortical cell type and morphology in sub and suprathreshold uniform electric field stimulation. Brain Stimul 2009,2(4):215–228. 10.1016/j.brs.2009.03.007
 30.
Vetter P, Roth A, Häusser M: Propagation of action potentials in dendrites depends on dendritic morphology. J Neurophysiol 2001, 85: 926–937.
 31.
Cuntz H, Forstner F, Haag J, Borst A: The morphological identity of insect dendrites. PLoS Comput Biol 2008., 4: Article ID e1000251 Article ID e1000251
 32.
Zador AM, AgmonSnir H, Segev I: The morphoelectrotonic transform: a graphical approach to dendritic function. J Neurosci 1995,15(3):1669–1682.
 33.
Tuckwell HC: Introduction to Theoretical Neurobiology: Volume 1. Linear Cable Theory and Dendritic Structure. Cambridge University Press, Cambridge; 1988.
 34.
Coombes S, Bressloff PC: Saltatory waves in the spikediffusespike model of active dendritic spines. Phys Rev Lett 2003., 91: Article ID 028102 Article ID 028102
 35.
Timofeeva Y: Travelling waves in a model of quasiactive dendrites with active spines. Physica D, Nonlinear Phenom 2010,239(9):494–503. 10.1016/j.physd.2010.01.004
 36.
Timofeeva Y, Lord GJ, Coombes S: Spatiotemporal filtering properties of a dendritic cable with active spines: a modeling study in the spikediffusespike framework. J Comput Neurosci 2006,21(3):293–306. 10.1007/s1082700687764
 37.
Harris J, Timofeeva Y: Intercellular calcium waves in the firediffusefire framework: Green’s function for gapjunctional coupling. Phys Rev E 2010., 82: Article ID 051910 Article ID 051910
 38.
Yan B, Li P: Reduced order modeling of passive and quasiactive dendrites for nervous system simulation. J Comput Neurosci 2011, 31: 247–271.
Acknowledgements
QC and SPCB would like to acknowledge the Complexity Science Doctoral Training Centre at the University of Warwick along with the funding provided by the EPSRC (EP/E501311). SRD acknowledges funding from the EPSRC and the MRC through the Doctoral Training Centre in Neuroinformatics at the University of Edinburgh. YT would like to acknowledge the support provided by the BBSRC (BB/H011900) and the RCUK.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
QC was directly involved in developing and implementing the algorithms, carried out all analysis, and drafted the manuscript. SRD participated in developing and implementing the algorithms. SPBC developed the MonteCarlo algorithm. YT conceived and guided the study. All authors contributed improvements to the final manuscript, which they have read and approved.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Caudron, Q., Donnelly, S.R., Brand, S.P. et al. Computational Convergence of the Path Integral for Real Dendritic Morphologies. J. Math. Neurosc. 2, 11 (2012). https://doi.org/10.1186/21908567211
Received:
Accepted:
Published:
Keywords
 Dendrites
 Path integral
 Sumovertrips
 Morphology
 Dendritic computation