2.1. The Origins of ALM

Actuaries have carried out ALM since the first insurance companies projected liabilities and interest accrued on their assets. In 1748, the “Fund for a Provision for the Widows and Children of the Ministers of the Church of Scotland” was managed by actuaries Robert Wallace and Alexander Webster. The fund was valued at £18,620 in 1748 at which point they projected its value to be £58,348 by the year 1765. In fact, they were out by £1, with the actual amount being £58,347 in 1765 (Ferguson, Reference Ferguson2009).

A principle-based description of ALM was given in 1862 by Arthur Bailey. In a presentation to the Institute of Actuaries, Bailey set out five principles to guide investment for life insurance funds:

1. 1. That the first consideration should invariably be the security of the capital.

2. 2. That the highest practicable rate of interest be obtained, but that this principle should always be subordinate to the previous one, the security of the capital.

3. 3. That a small proportion of the total funds (the amount varying according to the circumstances of each individual case), should be held in readily convertible securities for the payment of current claims, and for such loan transactions as may be considered desirable.

4. 4. That the remaining and much larger proportion may safely be invested in securities that are not readily convertible; and that it is desirable, according to the second principle, that it should be so invested, because such securities, being unsuited for private individuals and trustees, command a higher rate of interest in consequence.

5. 5. That, as far as practicable, the capital should be employed to aid the life assurance business. (Bailey, Reference Bailey1862)

Even at this early stage, these principles provide an excellent summary of what an investment plan for a life insurance fund should aim for. In 1933, Charles Coutts (President-Elect of the Institute of Actuaries) described the ALM challenge as “an attempt should be made to ‘marry’ the liabilities and the assets as far as possible” (Turnbull, Reference Turnbull2017 P103). This summarises the principles in Bailey’s paper, but also highlighted that “no actuarial framework for investment strategy existed beyond Bailey’s 70-year-old investment principles” (Turnbull, Reference Turnbull2017 P103). This was to change over the next two decades with the introduction of formal quantitative methods of analysis.

2.2. Quantitative Methods in ALM

The move from a principles-based approach towards a more quantitative approach was started by Frederick Macaulay (Reference Macaulay1938) in which he defined the duration of a bond (now known as “Macaulay Duration”) as the weighted average maturity of the cash flows.

$${\rm{Macaulay}}\,{\rm{Duration}} = {{\sum\nolimits_{i = 1}^n {{t_i}} P{V_i}} \over {\sum\nolimits_{i = 1}^n P {V_i}}}$$

where

t is the time period in years;

i is the index of the asset cash flow;

${PV}_i$ is the present value of the i ^th cash flow (see Hull, Reference Hull1993 P 99–101).

The next major step which dominated actuarial practice for decades was by Frank Redington with the concept of “immunization”. In Redington’s Reference Redington1952 paper “Review of the Principles of Life-Office Valuations” a section is set aside to “Matching of Investment – Immunization”, which discusses the principles before proposing a simple quantitative structure to ensure assets and liabilities are carefully matched.

“In its widest sense this principle includes such important aspects as the matching of assets and liabilities in currencies. In the narrower … ‘matching’ implies the distribution of the term of the assets in relation to the term of liabilities in such a way as to reduce the possibility of loss arising from a change in interest rates” (Redington, Reference Redington1952 P3). The quantitative approach is described below:

Let ${L_t}$ be the expected net outgo of the existing business in calendar year t.

Let ${A_t}$ be the expected proceeds from the existing assets in calendar year t.

Let ${V_L}$ be the present value of the liability outgo at the force of interest δ, so that ${V_L} = \;\sum {v^t}{L_t}$ .

Let ${V_A}$ be the present value of the asset proceeds at the force of interest δ, so that ${V_A} = \;\sum {v^t}{A_t}$ .

Assuming ${V_A} = {V_L}$ any excess being “free” funds to invest separately.

If the force of interest changes from δ to δ + ϵ with a change of ${V_A}$ to ${V_A}'$ and ${V_L}$ to ${V_L}'$ , then the position after the change of interest is given by Taylor’s theorem:

$$V_A^\prime - V_L^{\prime} = {V_A} - {V_L} + \varepsilon {{d\left( {{V_A} - {V_L}} \right)} \over {d\delta }} + {{{\varepsilon ^2}} \over {2!}}{{{d^2}\left( {{V_A} - {V_L}} \right)} \over {d{\delta ^2}}} + \ldots $$

The first term vanishes as ${V_A} = {V_L}$ .

Redington required the first derivative also to be zero for the fund to be immunised $\left({\rm {i.e.}} {{d\left( {{V_A} - {V_L}} \right)} \over {d\delta }}\right)$ . If the second derivative is positive, then since the coefficient ${{{\varepsilon ^2}} \over {2!}}$ is positive whether ϵ is positive or negative, any change in the force of interest will result in a profit provided the change is small and so the higher terms (cube and higher) in the Taylor expansion do not have an impact. A satisfactory immunisation policy can be expressed symbolically in the two equations:

(1) $${{d\left( {{V_A} - {V_L}} \right)} \over {d\delta }} = 0$$

(2) $${{{d^2}\left( {{V_A} - {V_L}} \right)} \over {d{\delta ^2}}} \gt 0$$

Equation (1) can be written as $\sum t{v^t}{A_t} = \sum t{v^t}{L_t}$ .

Equation (2) can be written as $\sum {t^2}{v^t}{A_t} \gt \sum {t^2}{v^t}{L_t}$ .

Redington describes the approach with reference to interest rate changes, but there is no reason it cannot be extended to include inflation, currency and other risks the fund is exposed to. Redington notes that there are infinitely many solutions to equations (1) and (2), but does not give information into which solutions might be preferable (i.e. as could be done with reference to something like Bailey’s five principles, such as maximising yield, whilst minimising credit risk …). Furthermore, the solutions look at the single present values and duration of the assets, without consideration of differences in cash flows in particular years. To be able to address these issues, it would take a significant increase in computing power for the next stage in quantitative ALM to progress which is explored in the next section.

3.1. Specification of the Problem

At this point, it makes sense to define an aim of ALM which captures the principles of both Bailey and Redington. First of all, we are looking specifically at fixed income assets or assets with payments varying with some form of inflation at pre-specified interval; not equities, property nor options.

The problem is to maximise yield on assets (in line with Bailey principle [2]), whilst ensuring cash flows match the liabilities to specified requirements. The specified requirements can vary depending on regulations and company risk tolerances, but some typical requirements are:

• That the present value of asset cash flows (de-risked by default allowances) is equal to the present value of liability cash flows.

• That the difference between asset and liability cash flows in any given year is less than a prescribed amount.

• That solvency capital requirements for credit risk, interest rate risk, inflation risk and currency risk are below prescribed amounts.

• That limitations are in place on assets in certain credit ratings (e.g. sub-investment grade).

• That limitations are in place on illiquid assets.

Redington noted there are an infinite number of solutions to the equations he proposed. This is because there is a large universe of assets that could be considered, and the amounts of each holding can be varied in any number of possible combinations. The universe of assets could be all assets available in the market; on the investment analysts’ recommendation list or some other subset.

Choosing the combination of assets that best fit the above criteria is a constrained optimisation problem, which can be solved using the methods described in the next section.

3.2. Operations Research Techniques

A simple algorithm to describe (but difficult to implement) is to consider all combinations of all assets and reach a solution to the problem specified in section 3.1 that also meets the constraints. Whilst this algorithm would work eventually, even with the fastest supercomputer such a simple brute force approach would take many billions of years. For example, a set of 100 assets would have ${2^{100}}$ possible combinations, which is of the order of ${10^{30}}$ . If a calculation on each combination took a computer 1 microsecond, then the total time required would be longer than the time elapsed since the start of the universe. In practice, the available number of assets is much higher than 100 and we can have any amount of each asset making it far more complex than the simple example above. Operations research techniques were developed to produce algorithms for these types of problems to be able to solve them in a very short time frame.

During the Second World War, operations research techniques were widespread (e.g. as later described by Dyson in Reference Dyson2006). And following the war, these techniques were applied in industry, government and businesses. Benjamin (Reference Benjamin1958) describes how these techniques can be used for actuarial valuation and then several papers apply these techniques to ALM including Chambers & Charnes (Reference Chambers and Charnes1961) and Cohen & Hammer (Reference Cohen and Hammer1967). Operations research includes a wide variety of techniques, but typically it involves optimising some target, subject to a number of constraints and doing so in a short time frame. For example, inventory management might target minimising waste whilst always ensuring enough product is available for sale at any point in time. The complexity of these problems is usually above what could be solved manually and so requires a computer to solve.

Two actuarial papers from the 1990s Kocherlakota et al. (Reference Kocherlakota, Rosenbloom and Shiu1990) and Brockett & Xiat (Reference Brockett and Xiat1995) describe the cash flow matching challenge in detail showing how different techniques can be applied directly to solve the problem described in the previous section.

Using these techniques, it is possible to produce optimised asset strategies for almost any number of constraints a company requires, and this is now common practice amongst actuaries. However, even with operations research techniques, it can take minutes to identify optimal asset portfolios and in some calculations, this might be too long. For example, if doing a capital calculation of 500,000 scenarios, optimising the portfolio in each scenario might again require hundreds of computers working simultaneously over several days. An even faster approach is emerging and described in more detail in the next section.

4.1. Background from Quantum Mechanics

Quantum computers work differently from classical computers and can be used to perform calculations orders of magnitude faster. We give some background to quantum mechanics before describing quantum computers and how they can solve the ALM challenge.

The history of the strange world of quantum mechanics can be traced back to Young’s double-slit experiment demonstrating the wave nature of light in 1801. During the 1920s, the Copenhagen interpretation of quantum mechanics was devised, largely by Bohr and Heisenberg, and remains the most common interpretation. According to this interpretation, microscopic quantum objects do not have definite properties prior to being measured, and quantum mechanics can only predict the probability distribution of a measurement’s possible results, such as its location. The wave function ψ is a mathematical representation of the quantum state of a quantum system and the probabilities for the possible results of measurements can be derived from it. The Schrödinger equation determines how wave functions evolve over time. Upon measurement of the object, the wave function collapses into a single state.

A fundamental principle of quantum mechanics is superposition. This states that if a physical system may be in one of many configurations, then the most general state is a combination of all these possibilities, where the amount in each configuration is specified by a complex number. This is sometimes informally described as an object being in two places at once.

Superposition can be imagined using Figure 1 which is interpreted from Rosenblum & Kuttner (Reference Rosenblum and Kuttner2012). Imagine a quantum object, such as a photon or electron, is randomly sent into one of the two boxes, but the observer does not know into which box it arrived. Each box has a slit that can be opened to release the object and send it towards a screen where its position is measured as a dot on the screen. If the observer opens both slits at the same time, and repeats this experiment many times, then an interference pattern will emerge on the screen as further dots appear. This suggests that the object behaves like a wave. Furthermore, this suggests the object was in both boxes, and is an example of superposition. When the object reaches the screen, the wave function collapses upon measurement and a single dot appears.

Figure 1. Visualising superposition.

Another fundamental principle of quantum mechanics is entanglement. If, for example, two electrons are generated in a way such that their spin property is not independent, so that if one is spin-up then the other must be spin-down, then they are entangled. If a measurement of spin is made on one of the electrons, collapsing its wave function, then the spin of the other electrons becomes known instantly, even though they may be separated by a large distance. This apparent faster than light communication, referred to as non-locality and as spooky action at a distance, led to the Einstein–Podolsky–Rosen paradox (Einstein et al., Reference Einstein, Podolsky and Rosen1935), which argued that the quantum wave function does not provide a complete description of reality. Subsequently, a theorem (Bell, Reference Bell1964) was devised that was later experimentally tested by Freedman & Clauser (Reference Freedman and Clauser1972), which supported non-locality and ruled out local hidden variable theories.

The properties of superposition and entanglement are fundamental to quantum computing.

4.2. Qubits and Quantum Computing

Quantum computing uses quantum bits, or qubits. These are the basic units of quantum information and can be compared to classical binary bits. Whilst the state of a classical bit can be only either 0 or 1, a qubit can be a superposition of both.

Using the quantum property of entanglement, it is possible to create a set of qubits. The power of quantum computing can be imagined by comparing three classical bits with three qubits. There are eight (i.e. ${2^3}$ ) possible combinations of the classical bits and a classical computer may perform a calculation based on each combination sequentially. A quantum computer could use all eight states simultaneously due to the properties of superposition and entanglement. If this is extended to a larger number of bits, such as 1,000 bits, with an unimaginably large number of possible combinations, then a classical computer would take an increasingly impractical length of time to complete the calculation.

Qubits are used in quantum annealing computers and universal quantum computers. Quantum annealing is used for optimisation problems. Universal quantum computers are more powerful and have a wider scope of applications but are harder to build. At the current time, the number of qubits is of the order of 5,000 for quantum annealing and of the order of 100 for universal quantum computing. For further information on qubits and quantum computing, see the Appendix.

5.1. Introduction

To consider the potential use of quantum computers in ALM, we consider the Solvency II matching adjustment problem for insurers. This is an optimisation problem equivalent to selecting the subset of assets so that the market value of assets is minimised, subject to the constraints from the regulator relating to the asset’s de-risked cash flows being adequately matched with the insurer’s liability cash flows. This is an example of the ALM problem specified in section 3.1 above.

This can be formulated as a Quadratic Unconstrained Binary Optimization (QUBO) model for use in a quantum annealing computer. A QUBO model takes the following form:

(3) $${\rm{min}}\left( {\mathop \sum \limits_i {l_i}{x_i}\; + \mathop \sum \limits_i \mathop \sum \limits_{j \gt i} {q_{i,j}}{x_i}{x_j}} \right){\rm{\;\;such\;that\;}}{x_i} \in \left\{ {0,1} \right\}$$

The coefficients ${l_i}$ and ${q_{i,j}}$ are constant numbers that define the problem. The binary variables ${x_i}$ and ${x_j}$ are the values to be solved. This can also be expressed as a problem to minimise ${x^T}Qx$ , where $x$ is a vector of the binary variables and matrix $Q$ is a square matrix of constants. For further information, see Furini & Traversi (Reference Furini and Traversi2019) and Glover et al. (Reference Glover, Kochenberger and Du2018).

5.2. Formulating the Problem

We consider the matching adjustment problem with n assets, T years of cash flows, and with the UK’s Prudential Regulation Authority (PRA) Test 1 and Test 3 constraints (PRA SS7/18, 2018).

The constraints are re-expressed as follows:

$\mathop \sum \limits_{i = 1}^n {x_i}A{\left( t \right)_i} - Z{\left( t \right)_1} + s{\left( t \right)_1} = 0{\rm{\;\;}}$ Constraint for time t from PRA Test 1, where:

$\mathop \sum \limits_{i = 1}^n {x_i}A{\left( T \right)_i} - {Z_3} + {s_3} = 0$ Constraint from PRA Test 3, where:

The objective function to minimise becomes

(4) $$\mathop \sum \limits_{i = 1}^n {x_i}{V_i} + \mathop \sum \limits_{t = 1}^T \left( {P{{\left( t \right)}_1}{{\left( {\mathop \sum \limits_{i = 1}^n {x_i}A{{\left( t \right)}_i} - Z{{\left( t \right)}_1} + s{{\left( t \right)}_1}} \right)}^2}} \right) + {P_3}{\left( {\mathop \sum \limits_{i = 1}^n {x_i}A{{\left( T \right)}_i} - {Z_3} + {s_3}} \right)^2}$$

where $P{\left( t \right)_1}\;$ and ${P_3}$ are penalty factors to be chosen for the constraints.

The objective function is a QUBO model where the objective is to minimise ${x^T}Qx$ with matrix $Q$ . An example of the objective function and matrix Q is shown in a later section.

5.3. Number of Qubits

The number of qubits used in the above objective function is $\;n + \mathop \sum \limits_{t = 1}^T \left( {b{{\left( t \right)}_1}} \right) + {b_3}\;$ . However, if it is deemed practical to use the same number of slack variables for each constraint, and if this is chosen to be ${\log _2}L\left( T \right)$ , then this can be simplified to $n + \left( {T + 1} \right){\log _2}L\left( T \right)$ where the logarithm is rounded up.

So, for example, if an insurer had 3,000 assets, 50 years of projection and liabilities of £50bn expressed in units of £1m, then the number of qubits is $3,000 + \left( {50 + 1} \right){\log _2}50,000$ which equals 3,816.

If a fraction of each asset were to be allowed, then this would increase the number of required qubits.

6.1. Formulating the Sample Problem

The following example is shown to illustrate the problem. We consider a simplified example, with five assets, 5 years of cash flows and only the PRA Test 3 constraint applying.

The inputs to the problem are shown below and in Table 1.

Table 1. Inputs to the problem

We choose the penalty factor ${P_3}$ to be 10. This is of a magnitude that is intended to materially penalise cases where the slack variables ${s_3}$ do not result in the constraint being nearly met, whilst only having a negligible penalty if the constraint is almost fully met.

Items derived from the inputs are shown below and in Table 2.

$${Z_3}= L\left( 5 \right){\rm{\;}} = 208.0$$

${s_3} = \mathop \sum \limits_{i = 1}^{{b_3}} - {2^{\left( {i - 1} \right)}}{x_{5 + i}}$  where $\;{b_3} = \;{\log _2}\left(\mathop \sum \limits_{i = 1}^nA{\left( T \right)_i} - {Z_3}\right) = 6$

Table 2. Discount factors derived from the inputs

The objective function to minimise becomes

(5) $$\mathop \sum \limits_{i = 1}^5 {x_i}{V_i} + {P_3}{\left( {\mathop \sum \limits_{i = 1}^5 {x_i}A{{\left( 5 \right)}_i} - {Z_3} + {s_3}} \right)^2}$$

6.2. QUBO form

The above optimisation problem is expressed as a QUBO model to minimise ${x^T}Qx$ with matrix $Q$ as shown in Figure 2. The entry in row $i$ and column $j$ of the matrix is the coefficient of ${x_i}{x_j}$ in the objective function. The leading diagonal represents the coefficients of ${x_i}$ as this is equal to ${x_i}{x_i}$ for qubits.

Figure 2. Matrix $Q$ .

6.3. Expected Results from Classical Analysis

In this section, we carry out a “classical” analysis, by which we mean to look at all the possible combinations to identify the optimal solution within our specified constraints. There are three combinations that meet the constraint, as shown in Table 3. The optimal combination has the lowest market value of assets, and consequently, the highest matching adjustment and lowest present value of liabilities. This combination has the first four assets only, i.e. ${x_i} = 1\;$ for $i \le 4$ and ${x_5} = 0$ . This does not involve the slack variables and the PRA Test 3 constraint is met if $\mathop \sum \limits_{i = 1}^5 {x_i}A{\left( T \right)_i} - {Z_3}\; \gt 0$ .

Table 3. Analysis of possible combinations

6.4. Expected Results from Quantum Computer

The results we would expect from the quantum sampler are shown in Table 4. These were determined classically by considering each of the ${2^{11}}$ (i.e. 2,048) combinations and identifying the most optimal three solutions. In these results, the qubits ${x_i}\;$ where $i \gt 5$ can be discarded as these are slack variables.

Table 4. The top three expected results from the quantum computer

6.5. Actual Results from Quantum Computer

We ran the problem in a quantum annealing computer. The actual first three results are shown in Table 5. The top row is the result with the lowest energy and is indeed the optimal choice of assets as shown in the earlier sections.

Table 5. The actual first three results from the quantum computer