Exercise 1 - The Mandelbrot Set

The mandelbrot set is a beautiful fractal (Wikipedia). More precisely, it contains all numbers from the complex plane where the complex quadratic polynomial

\begin{align} z_{n+1} = z_{n}^2 + c \end{align}

remains bounded. A complex number $c$ is part of the Mandelbrot set when starting with $z_0=0$ and applying the iteration repeatedly, the absolute value of $z_n$ remains smaller or equal than 2 regardless how large $n$ becomes.

Moreover, one can draw very beautiful images by looking at the escape time of a numerical computation: We will numerically determine whether a complex number $c$ belongs to the set, and if not we will keep track how many iterations are needed until $|z_n| > 2$. Plotting the escape times of a sampled grid of complex numbers as a 2D image will yield the famous Apfelmaennchen you might have seen before.

Task:

  • Write a function mandelbrot(relim, imlim, resteps, imsteps, maxiterations) that computes and returns the escape times for the mandelbrot set.

    • relim and imlim are tuples that define the boundary of the complex plane (e.g. relim=(-2,1) and imlim=(-1,1)), for convenience imlim should contain real numbers although it represents the complex axis.
    • resteps and imsteps are integers and define the sampling resolution along each axis (e.g. 300 and 200 steps).
    • maxiterations is an integer defining the maximum number of iterations (e.g. 50).

    • The function should sample complex numbers from the plane as defined by the parameters relim, imlim, resteps, imsteps and repeatedly apply the quadratic polynomial from above until the absolute value of a complex number is larger than 2. In case a maximum number of iterations is reached (maxiterations) the number is believed to be part of the set.

    • The function should return a 2D array containing the number of iterations needed for every sampled complex number and two 1D arrays containing the sampled values along each axis. Escape times in the 2D array of exactly maxiterations indicate complex numbers that are believed to be part of the set.
  • Make a 2D color plot of the escape times, you might want to look at matplotlib's imshow function.

Hints how the function mandelbrot may work:

  • Create a 2D numpy array containing the escape times, in the beginning filled with zeros.

  • Secondly, create two 1D arrays sampling each dimension of the complex plane. You might want to take a look at the np.linspace function. You can multiply one of the arrays with 1j to create the imaginary axis. Later on you can calculate each starting complex number simply from summing individual elements of both arrays.

  • The easy brute-force solution involves three nested for loops. Be aware that you can use python's break statement to leave a for loop and spare unnecessary computations.

  • Iterate at most maxiterations times for any value in your complex plane and apply the quadratic polynomial from above. If the absolute value gets larger than 2 you can stop iterating and store the number of iterations you have needed in the 2D escape array. Thus, for complex numbers that are actually part of the Mandelbrot set, the 2D array of escape times should contain the value maxiterations.

Hints for optimization:

  • You can aim for an optimized version that uses vectorized computation. Here you should only need a single for loop.

  • Create a second and third 2D array containing the starting complex numbers and the intermediate values, checkout the meshgrid function to create these.

  • Use the second 2D array to iteratively update all values in the third array at once (vectorized computation!). Mask all values that already escaped the boundary via boolean indexing to speed up the computation.

  • Remember that boolean indexing creates copies, not views! So you need to find a smart way to only apply the polynomial to values that haven't escaped without always keeping the full 2D array, otherwise internally numpy has to reiterate the full array every timestep. If you also create mesh grids of matrix indices you can reduce the 2D arrays each iteration to 1D arrays containing only the currently not escaped values. This is tricky!

  • Now you can use finer resolutions than above!

Exercise 2 - Numerical Integration of a Neuron Model

We are going to simulate our first neuron model with Euler integration (Wikipedia). Basically, our neuron model consists of a single differential equation that describes the development of the membrane voltage over time. For now let's assume this equation is an arbitrary function $f$: \begin{align} \frac{dV}{dt} = f(V) \end{align} To obtain the voltage as a function of time, i.e. $V(t)$, we have to solve the differential equation. Lucky for you, we are in the computer practical and not the analytical tutorial. We are going to solve it numerically, so there's no need for a complicated Ansatz :-)

As said before, we will use simple Euler integration. Accordingly, if we assume discretized time we can easily compute $V(t+1)$, the membrane voltage of the next time step, in case we now the previous voltage $V(t)$: \begin{align} V(t+1) = V(t) + f(V) * dt \end{align} with $dt$ the size of the discretized timesteps.

If we start with a chosen initial value of $V(0)$ we can iteratively solve the differential equation.

By this method we can simulate very complex neuron models. Let's simulate a rescaled version of the exponential integrate and fire neuron (Scholarpedia): \begin{align} \frac{dV}{dt} = -V + \exp(V) + I \end{align}

$I$ describes a fixed input current. We will simulate several neurons fed with different current values. For some values of $I$ the membrane potential $V$ will rise to infinity, this corresponds to the upstroke of an action potential (you remember action potentials from a neurobio course, right?). However, our neuron model cannot recover from this upstroke by itself. For a smooth recovery we would need a second differential equation. However, we will keep our model simple and add a so called reset rule: whenever $V$ crosses a particular threshold $V(t)\geq V_t$ then we set it back to a reset value at the next timestep $V(t+1)=V_r$.

Task

  • Write a function expIF_neuron(V, I, Vt, Vr, duration, dt) that simulates one or more exponetial integrate-and-fire neurons.

    • The parameter V can be a scalar or numpy array describing the initial conditions
    • The parameter I can be a scalar or numpy array describing the input currents
    • The parameter Vt is a scalar value defining the spiking threshold
    • The parameter Vr is a scalar defining the reset value after threshold crossing
    • The parameter duration gives the length of the simulation
    • The parameter dt describes the stepsize of the Euler integration
    • The function should return
      • A 2D array of voltage traces, i.e. the simulated development of the membrane potential
        • First dimension is the number of neurons, second dimension the voltage trace over time
        • First entries in second dimension should contain the initial values
      • A 1D array containing the discretized timesteps
    • In case V and I are arrays, the function should be vectorized, i.e. there should only be a single loop over all timesteps, but no loop over all neurons!
  • Simulate 5 neurons at once (do NOT call the function 5 times!) with 5 different input currents $I\in\{-3.0, -2.0, -1.0, 0.0, 1.0\}$.

    • Choose the other parameters as
      • $V_r=-1.0$
      • $V_t=5.0$
      • $duration=10.0$
      • $dt = 0.01$
    • Set the initial $V$ values to $V_r$
  • Plot all 5 voltage traces in a single plot, add a legend and label the axis.

Hints

  • You can use the template provided below. This exercise can be solved in just a handful of lines ;-)
  • To incorporate the reset rule you may try boolean indexing.

In [1]:
## The template: ##

def expIF_neuron(V=-1.0, I=0.0, Vt=5.0, Vr=-1.0, duration=10.0, dt=0.01):
    """Numerically integrates the expIF neuron membrane equation with the Euler-Method.
    
    The neurons obey a reset rule, when the membrane potential crosses `Vt`
    it is set back to `Vr`.
    
    :param V: array of initial membrane values (or a scalar)
    :param VT: spiking threshold (scalar)
    :param I: array of input currents (or scalar)
    :param duration: duration of experiment (scalar)
    :param dt: stepsize of Euler integration (scalar)
    
    :return:
    
        2D array of voltage time series, first dimension the neurons, 
        second dimension the voltage trace. 
        First entries contain the initial values.
        
        1D array of simulation times
    
    """
    
    steps = int(duration/dt) # Calculate the number of simulation steps
    
    if isinstance(V, np.ndarray): # V can be scalar or an array, we need to check first
        nneurons = len(V) # Infer the number of neurons from the length of the initial conditions
    else:
        nneurons = 1
    
    V_series = np.zeros((nneurons, steps+1)) # Array that will contain the voltage traces
    # 1st dim neurons, 2nd dim voltage traces
    # i.e. V[2,10] would return the voltage of neuron #2 at the 10th timestep!
    # Wee need steps+1 since the 0th entry should contain the initial conditions
    
    V_series[:, 0] = V # Set initial conditions
    
    times = np.zeros(steps+1) # Array of timesteps
    
    for step in range(1, steps+1): # Loop starting from step 1 (0th contains initial conditions)
        
        ############# Your code ##############
        
        # Manipulate V_series here to simulate the neuron model
        # Iteratively compute f(V(t)) = -V(t) + exp(V(t)) + I and V(t+1) = V(t) + f(V(t)) * dt 
        # Do not introduce another for loop, try to think vectorized
        # Try using boolean indexing to implement the threshold crossing and voltage reset
        
        ######### End of your code ###########
        
        times[step] = times[step-1] + dt # You actually don't need the times explicitly, but returning them
        # will make plotting easier
        
    return V_series, times

In [ ]: