# How Much Do Negative Probabilities Matter in Option Pricing?: A Case of a Lattice-Based Approach for Stochastic Volatility Models

^{1}

^{2}

^{3}

^{*}

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

UNSW Business School, The University of New South Wales, Sydney, NSW 2052, Australia

Graduate Institute of Finance, National Taiwan University of Science and Technology, Taipei 106335, Taiwan

Department of Finance, National Taiwan University, Taipei 10617, Taiwan

Author to whom correspondence should be addressed.

Academic Editor: Robert Brooks

Received: 12 April 2021
/
Revised: 21 May 2021
/
Accepted: 23 May 2021
/
Published: 30 May 2021

(This article belongs to the Collection Volatility Modelling and Forecasting)

In this paper, we focus on two-factor lattices for general diffusion processes with state-dependent volatilities. Although it is common knowledge that branching probabilities must be between zero and one in a lattice, few methods can guarantee lattice feasibility, referring to the property that all branching probabilities at all nodes in all stages of a lattice are legitimate. Some practitioners have argued that negative probabilities are not necessarily ‘bad’ and may be further exploited. A theoretical framework of lattice feasibility is developed in this paper, which is used to investigate how negative probabilities may impact option pricing in a lattice approach. It is shown in this paper that lattice feasibility can be achieved by adjusting a lattice’s configuration (e.g., grid sizes and jump patterns). Using this framework as a benchmark, we find that the values of out-of-the-money options are most affected by negative probabilities, followed by in-the-money options and at-the-money options. Since legitimate branching probabilities may not be unique, we use an optimization approach to find branching probabilities that are not only legitimate but also can best fit the probability distribution of the underlying variables. Extensive numerical tests show that this optimized lattice model is robust for financial option valuations.

The lattice (or tree) approach is a popular one for valuing derivative securities, as it is normally simple to implement and has an intuitive appeal. The lattice approach involves discrete approximation to the diffusion processes followed by the underlying variables. It is especially useful for valuing American options where early exercise is possible. Since its introduction by Cox et al. (1979), the lattice approach has undergone several extensions in the past few decades to accommodate increasingly complex derivative valuations. To name a few, those significant models include Rendleman and Bartter (1979), Boyle (1986, 1988), (H&W) Hull and White (1988, 1990, 1993, 1994), Chung and Shih (2007), Beliaeva and Nawalkha (2010), and Akyildirim et al. (2014).

In a lattice, each link (branch) connecting two lattice nodes at two consecutive time periods is associated with a branching probability. A legitimate branching probability must be between zero and one. Researchers know and follow this basic rule in developing lattice-based methods. However, to the best of our knowledge, few methods can guarantee lattice feasibility, referring to the property that all branching probabilities at all nodes in all stages of a lattice are legitimate. With lattice feasibility, a lattice constructs a discrete time financial market that is arbitrage free. It is well known that lattice feasibility is easier to achieve when there is only one underlying variable, while two-factor lattice feasibility is harder to meet, especially when the correlation between two underlying uncertainties is high.

The term lattice feasibility was coined by Tseng and Lin (2007). The authors employed the trinomial lattice proposed by H&W (Hull and White 1990) to value real options involving two underlying correlated uncertainties, each with a constant volatility. They found that each lattice configuration implies a maximum correlation of the two underlying variables that the lattice can approximate without incurring negative probabilities, and this maximum correlation may be enhanced by varying the size of its lattice grids. After optimizing the lattice configuration, Tseng and Lin (2007) also showed that the trinomial lattice proposed by H&W (Hull and White 1990) cannot accommodate a correlation beyond $4/\sqrt{35}\approx 0.676$ without incurring negative probabilities. The authors further showed that the popular two-factor interest rate tree proposed by H&W (Hull and White 1994) for valuing interest rate derivatives can only guarantee lattice feasibility when the correlation is no greater than 0.2. This means that negative probabilities may occur far more often than we know in using lattices to value derivatives in real practice.

Since it is not unusual to encounter negative probabilities when using lattices for option pricing, some practitioners have argued that negative probabilities may not necessarily be ‘bad’ and may be further exploited (e.g., Burgin and Meissner 2012; Haug 2007). Consider a price node in a trinomial tree, where the sum of three branching probabilities must be equal to one. Given an abnormality where one branching probability becomes negative or exceeds unity, the other two probabilities must be adjusted accordingly to offset the abnormality. However, the expected payoff at this price node may reveal no sign of abnormality. From this perspective, it is not surprising that some practitioners have reported that some finite difference/finite element models can still produce stable and consistent outputs even with negative probabilities (Zvan et al. 2001). How much does it really matter if one allows negative probabilities in a lattice for option pricing?

To investigate the impact of negative probabilities in option valuations, we focus on using a two-factor lattice to represent general diffusion processes such as the Heston stochastic volatility (SV) model (Heston 1993). In the Heston model, the dynamics of the volatility process is assumed to follow the CIR process (Cox et al. 1985) used to describe the interest rate dynamics. The analytical tractability of the CIR process leads to explicit solutions for some bond pricing problems (e.g., Kouritzin 2000; Maghsoodi 1996; among others). When the CIR process is incorporated as the second dimension of the Heston model, the resultant two-factor lattice is more general and is far from trivial. To observe the impact that comes from negative probabilities, we need to develop a lattice model that can guarantee lattice feasibility and can be used as a benchmark. Under the same lattice framework, with every parameter fixed but branching probabilities, we can then observe how negative probabilities influence valuations.

An important alternative to the lattice method for the options pricing under the Heston model is the Monte Carlo (MC) method. Since the MC method generates stochastic paths, not lattices, to model the evolution of the underlying uncertainties, there is no issue of lattice feasibility or negative probability. However, the generations of the stochastic paths under the Heston model are not straightforward, and there have been a number of discussions on this issue. Examples along this line include Broadie and Kaya (2006) and Andersen (2007). When the MC method is applied to the pricing of American options, the Least-Squares Monte Carlo (LSMC) method is a standard approach proposed by Longstaff and Schwartz (2001). Though a lot of progresses have been made using the MC method to price American options, one also needs to resort to its variations, such as different techniques on resampling or branching (e.g., see a recent paper by Kouritzin and Mackay 2020).

Researchers have proposed lattices for stochastic volatility models. Recent papers include (Akyildirim et al. 2014; Beliaeva and Nawalkha 2010; Costabile et al. 2012; Ruckdeschel et al. 2013). All lattice approaches consider matching two conditional marginal moments for each underlying variable at all nodes, and the correlation is dealt with either by matching the cross moment of the variables or using variable transformation to decorrelate them. Special attention must be paid to avoid negative branching probabilities that are more likely to occur when the correlation is high. One popular approach is to truncate branching probabilities that are negative or exceed unity to bring them to be between zero and one. While truncating branching probabilities may not exactly match the moments, Akyildirim et al. (2014) show that in their approach the matching error may be negligible and prove the convergence of their approach to the underlying processes. In this paper, we take the standard approach by matching the two marginal moments and the cross moment of the two underlying variables. We show that branching probabilities can be guaranteed to be between zero and one by adjusting the configuration of the lattice for a given (fixed) time step, and no probability truncation is needed.

To manage stochastic volatilities, we extend the lattice parameters from the grid size to include a jump size. With this change, the lattice configuration can be optimized to guarantee lattice feasibility even if both state variables are highly correlated with the correlation close to one. As will be shown later, this newly introduced parameter, the jump size, has the effect of refining the grid size. As opposed to traditional lattice approaches which perform lattice refinement on time space, our method can also perform refinement on the state space of the underlying variables even when the time step is not especially small. The consequence is better fitting of the underlying processes and faster convergence.

Numerical tests show that lattice feasibility has a direct impact on option pricing. We find that the values of out-of-the-money (OTM) options are most affected by negative probabilities, followed by in-the-money (ITM) options and at-the-money (ATM) options. Although negative probabilities matter less in some situations, the resulted distortion of the underlying probability distribution is in general hard to predict and exploit. Despite the importance of lattice feasibility, our numerical tests also show that lattice feasibility alone may not be sufficient to guarantee accurate valuation, especially when the time step of the lattice is not especially small. Since legitimate branching probabilities may not be unique, we propose an optimization approach to find branching probabilities that are not only legitimate but also can best fit the probability distribution of the underlying variables.

The rest of this paper is structured as follows. To lay the foundation of lattice feasibility for approximating two general, correlated diffusion processes, a general one-factor lattice model is first considered in Section 2, with the CIR model used as an example to show in detail how the lattice can be constructed. Section 3 considers the lattice for two general and correlated diffusion processes including the Heston SV model (Heston 1993), and derives the lattice feasibility conditions. We analyze the impact of lattice feasibility on options valuation in Section 4 and conduct extensive numerical tests, including pricing European options and American options in Section 5. This paper concludes in Section 6. All proofs of propositions and theorems are given in the Appendix A of this paper.

We consider the following general Ito process:
where ${W}_{t}$ is a Wiener process and the volatility $\sigma (\xb7)$ is a state-dependent function. In this paper, we assume that $\sigma (\xb7)$ is lower bounded by a constant ${\sigma}^{min}>0$, which is a small number close to zero. That is,

$$d{Y}_{t}=\mu \left({Y}_{t}\right)dt+\sigma \left({Y}_{t}\right)d{W}_{t},$$

$$\sigma \left(y\right)\ge {\sigma}^{min}>0,\forall y.$$

For any process whose volatility function does not satisfy (2), denoted as
where $\alpha \left(y\right)\ge 0$ (e.g., $\alpha \left(y\right)=\xi \sqrt{y}$ in the CIR model), one can work with the following counterpart:
whose volatility function satisfies (2). In (3b), the volatility is assumed to be bounded below by ${\sigma}^{min}$ for the convenience of subsequent treatments. For a sufficiently small ${\sigma}^{min}$, the effect brought about by this lower bound is insignificant and the difference between the two models is negligible, as long as the drift $\mu (\xb7)$ is nonzero when the volatility is close to zero with the process on the brink of being absorbed. How to determine the lower bound ${\sigma}^{min}$ in the setting of (3b) will be addressed later.

$$\begin{array}{c}\hfill d{Y}_{t}=\mu \left({Y}_{t}\right)dt+\alpha \left({Y}_{t}\right)d{W}_{t},\end{array}$$

$$\begin{array}{c}\hfill d{Y}_{t}=\mu \left({Y}_{t}\right)dt+max(\alpha \left({Y}_{t}\right),{\sigma}^{min})d{W}_{t},\end{array}$$

We will propose a trinomial lattice to approximate (1) based on H&W (Hull and White 1993). In their model, the time horizon is divided into intervals of equal length $\Delta t$, and the process can only take on values that are multiples of $\Delta y$. At time t, a typical lattice node ${Y}_{t}=y$ branches to nodes $y+(k+h)\Delta y$, $y+k\Delta y$, and $y+(k-h)\Delta y$ at the next stage with respective branching probabilities ${p}_{\mathrm{u}}$, ${p}_{\mathrm{m}}$, and ${p}_{\mathrm{d}}$, where the (text) subscripts represent upward, middle, and downward branches, respectively. As will be shown later, the jump size h depends on y and, therefore, the lattice may not recombine at all nodes.

The lattice size $\Delta y=c{\sigma}^{s}\sqrt{\Delta t}$ is predetermined using the same method as when volatility is constant, where c and ${\sigma}^{s}$ are constant. Since $\sigma \left(y\right)$ is a function, ${\sigma}^{s}$ is a surrogate constant volatility, which is set to be a small number no greater than ${\sigma}^{min}$:

$$0<{\sigma}^{s}\le {\sigma}^{min}.$$

The branching factor k is chosen such that $k\Delta y$ (middle branch) approximates the expected price deviation $\mu \left(y\right)\Delta t$. That is, k is the nearest integer of $\mu \left(y\right)\Delta t/\Delta y$:
where $\lfloor \xb7\rfloor $ is the floor function that maps to the nearest integer less than or equal to the operand. Let the mismatch between $\mu \left(y\right)\Delta t/\Delta y$ and $k\left(y\right)$ in (5) be denoted by $\u03f5$, defined as follows:

$$k\left(y\right)\equiv \u230a\mu \left(y\right)\Delta t/\Delta y+0.5\u230b,$$

$$\u03f5\left(y\right)\equiv \mu \left(y\right)\Delta t/\Delta y-k\left(y\right).$$

Apparently from (5),

$$\left|\u03f5\right|\le 0.5,\phantom{\rule{0.277778em}{0ex}}\forall y.$$

The interpretation of (7) is that the middle branch may miss the expected price deviation by no more than $0.5\Delta y$. Note that both $\u03f5$ and k are functions of y and t, and may vary from node to node.

The jump size h is determined such that $h{\sigma}^{s}$ approximates $\sigma \left(y\right)$. Likewise, let h be the nearest integer of $\sigma \left(y\right)/{\sigma}^{s}$:

$$x\left(y\right)\equiv \sigma \left(y\right)/{\sigma}^{s},$$

$$h\left(y\right)\equiv \u230a\sigma \left(y\right)/{\sigma}^{s}+0.5\u230b=\u230ax\left(y\right)+0.5\u230b.$$

Depending on how small ${\sigma}^{s}$ is chosen, there is a minimum value of h incurred in (9) and is denoted by $\underline{h}$:

$$\underline{h}=\underset{y}{min}h\left(y\right)=\u230a{\sigma}^{min}/{\sigma}^{s}+0.5\u230b.$$

Given ${\sigma}^{min}$, one can either choose a ${\sigma}^{s}$ to determine the integer $\underline{h}$, as in (10); or vice versa. In our design, one determines $\underline{h}$ first, followed by ${\sigma}^{s}$ using the following formula:

$${\sigma}^{s}=\frac{{\sigma}^{min}}{max(\underline{h}-0.5,1)}=\left\{\begin{array}{cc}{\sigma}^{min},\hfill & \mathrm{if}\underline{h}=1,\hfill \\ {\sigma}^{min}/(\underline{h}-0.5),\hfill & \mathrm{if}\underline{h}\ge 2.\hfill \end{array}\right.$$

As $\underline{h}$ increases, $\Delta y$ decreases, thereby indicating the presence of more refined lattice grids.

There may exist a mismatch between $\sigma \left(y\right)/{\sigma}^{s}$ and $h\left(y\right)$ in (9). This time, we measure their difference by their ratio and see how far it is away from 1. The ratio $\gamma $ is defined as follows:

$$\gamma \left(y\right)\equiv \frac{\sigma \left(y\right)/{\sigma}^{s}}{h\left(y\right)}=\frac{x\left(y\right)}{h\left(y\right)}.$$

It is clear when h is high that $\gamma $ is close to one. Therefore, the range of $\gamma \left(y\right)$ is determined by the lower bound of $h\left(y\right)$, which is $\underline{h}$. It can be shown that the following relations hold:
and

$$\begin{array}{cc}\hfill 1-0.5/\underline{h}\le \gamma \left(y\right)\le 1+0.5\underline{h},\phantom{\rule{0.277778em}{0ex}}\forall y,& \mathrm{if}\underline{h}\ge 2,\hfill \end{array}$$

$$\begin{array}{cc}\hfill 1\le \gamma \left(y\right)\le 1+0.5\underline{h},\phantom{\rule{0.277778em}{0ex}}\forall y,& \mathrm{if}\underline{h}=1,\hfill \end{array}$$

$$max(\underline{h}-0.5,1)\le x\left(y\right)\le \underline{h}+0.5,\phantom{\rule{0.277778em}{0ex}}\forall y.$$

Given any arbitrary lattice node y, use (5) and (9) to determine the value of k and h, respectively. One can then solve the branching probabilities ${p}_{\mathrm{u}}$, ${p}_{\mathrm{m}}$, and ${p}_{\mathrm{d}}$ at y, such that these three branches match the mean and variance of the price deviation. They can be expressed in terms of c, $\u03f5\left(y\right)$, $\gamma \left(y\right)$, and $h\left(y\right)$:

$$\begin{array}{ccc}\hfill {p}_{\mathrm{u}}& =\hfill & \hfill \frac{1}{2}\left(\frac{{\u03f5}^{2}}{{h}^{2}}+\frac{\u03f5}{h}+\frac{{\gamma}^{2}}{{c}^{2}}\right),\end{array}$$

$$\begin{array}{ccc}\hfill {p}_{\mathrm{d}}& =\hfill & \hfill \frac{1}{2}\left(\frac{{\u03f5}^{2}}{{h}^{2}}-\frac{\u03f5}{h}+\frac{{\gamma}^{2}}{{c}^{2}}\right),\end{array}$$

$$\begin{array}{ccc}\hfill {p}_{\mathrm{m}}& =\hfill & \hfill 1-\left(\frac{{\u03f5}^{2}}{{h}^{2}}+\frac{{\gamma}^{2}}{{c}^{2}}\right).\end{array}$$

$$\sqrt{\frac{\underline{h}+0.5}{\underline{h}-0.5}}\le c\le max(\sqrt{3},\sqrt{2\underline{h}-1}).$$

Proposition 1 states how the values of the two key parameters c and $\underline{h}$ should coordinate to achieve lattice feasibility. This proposition states that, if a lattice is configured such that its values for c and $\underline{h}$ meet (16), the lattice will not have negative probabilities in any branches using (15a)–(15c). When $\underline{h}=1$, the only feasible c is $\sqrt{3}$, which is an interesting number for c. When $c=\sqrt{3}$, each typical trinomial branch approximates the underlying normal distribution well (matching up to the 5th moment when $\u03f5=0$). However, when $\underline{h}\ge 2$, c becomes flexible and its feasible value spreads over a bigger range.

As pointed in the previous section, introducing $\underline{h}$ has an effect of grid refinement. Basically, if $\sigma \left(y\right)$ has a smaller ${\sigma}^{min}$, a higher $\underline{h}$ will be required, which leads to smaller ${\sigma}^{s}$ and $\Delta y$. Since $\left|\mu \right(y)\Delta t-k(y)\Delta y|=\left|\u03f5\right(y\left)\right|\Delta y\le 0.5\Delta y$, a smaller $\Delta y$ means that the mean of the price change is better approximated. Traditionally, a discrete lattice approximates the underlying continuous processes better and better as the time step $\Delta t$ decreases, which may be viewed as lattice refinement on the time space. By increasing the value of $\underline{h}$, we introduce a refinement on the state space of the underlying variable, even when $\Delta t$ is not especially small. Therefore, grid refinement has an effect on better convergence.

In the proposed trinomial lattice, the jump size $h\left(y\right)$ varies from node to node due to the state-dependent volatility. As a result, the branches may not recombine in an easily predictable way as in the constant volatility case. Therefore, it is not immediately clear that such a lattice would converge to the underlying process. Next, we show that our proposed lattice indeed converges weakly to the underlying diffusion process in (1).

Let ${Y}_{t}^{\Delta t}$ denote the trinomial lattice of the one-factor process ${Y}_{t}$ defined in (1) with $\Delta y=c{\sigma}^{s}\sqrt{\Delta t}$, and $k\left(y\right)$ and $h\left(y\right)$ defined by (5) and (9), respectively. Suppose that ${Y}_{0}^{\Delta t}={Y}_{0}$ and the following conditions
hold for all lattice node y and for all time interval $\Delta t$. As $\Delta t\to 0$, ${Y}_{t}^{\Delta t}$ converges weakly to the diffusion process ${Y}_{t}$.

$$\begin{array}{ccc}\hfill 0\le {p}_{u},{p}_{m},{p}_{d}\le 1& & \hfill \end{array}$$

$$\begin{array}{ccc}\hfill \mathsf{E}\left[({Y}_{t+\Delta t}^{\Delta t}-y)\right|{Y}_{t}^{\Delta t}=y]& =\hfill & \hfill \mu \left(y\right)\Delta t\end{array}$$

$$\begin{array}{ccc}\hfill \mathsf{E}\left[{({Y}_{t+\Delta t}^{\Delta t}-y)}^{2}\right|{Y}_{t}^{\Delta t}=y]& =\hfill & \hfill {\sigma}^{2}\left(y\right)\Delta t+{\mu}^{2}\left(y\right)\Delta {t}^{2},\end{array}$$

In this section, we use the Cox et al. (1985) model as an example to illustrate the applicability of the proposed framework. Consider
where $\lambda $, m, and $\xi $ are positive constants. The CIR model (18) does not meet (1) and (2), but (3a). This is because the lower bound of the square root volatility function is zero. To meet (3b), assume that ${\sigma}^{min}=\epsilon >0$ is infinitesimal. In this section, we show how to find an approximate lower bound ${\widehat{\sigma}}^{min}\ge \epsilon $ for the volatility function. Equivalently, we would find a ${y}^{min}$ such that ${\widehat{\sigma}}^{min}=\sigma \left({y}^{min}\right)=\xi \sqrt{{y}^{min}}\ge \epsilon $, i.e., ${y}^{min}\ge {\epsilon}^{2}/{\xi}^{2}$.

$$d{Y}_{t}=-\lambda ({Y}_{t}-m)dt+\xi \sqrt{{Y}_{t}}d{W}_{t},$$

To do this, we must exploit the mean reverting (MR) property of the drift function of (18). Our approach is to find a ${y}^{min}$, hopefully much greater than ${\epsilon}^{2}/{\xi}^{2}$, such that ${y}^{min}$ is at a level where ${Y}_{t}$ would revert upward so that the whole lattice ${Y}_{t+1}$ remains to be capped from below by it. Since the lattice is capped from below by ${y}^{min}$, no other volatility value in the lattice is smaller than ${\widehat{\sigma}}^{min}$.

Note that this reverting level ${y}^{min}$ depends on $\Delta t$ and decreases to 0 as $\Delta t\to 0$. This should not be a problem because, in practice, lattices yield satisfactory valuation results at some finite $\Delta t$ where ${\widehat{\sigma}}^{min}$ hopefully is still much greater than $\epsilon $.

As mentioned above, we would like to see the entire lattice to be well contained in the ${\mathbb{R}}^{+}$ domain. With ${\widehat{\sigma}}^{min}=\xi \sqrt{{y}^{min}}$ and using (11), we have

$$\Delta y=\xi c\sqrt{\Delta t}\sqrt{{y}^{min}}/max(\underline{h}-0.5,1).$$

We want to find a ${y}^{min}>0$ such that
holds. In (20), $\lfloor y/\Delta y\rfloor $ may be viewed as the index of the lattice node of y (with the index equal to 0 at $y=0$), and from this node, $\left(k\right(y)-h(y\left)\right)\Delta y$ corresponds to the price change of the downward branch. Therefore, the left-hand side of (20) represents the index of this lattice node mapped onto from y at the next time period, which should be bounded below by the node corresponding to ${y}^{min}$. Note in (20) that ${y}^{min}$ is a continuous variable, which may not match the value of some discrete lattice node. If ${y}^{min}\ge \Delta y$, we are done; otherwise, we check if
in order to ensure that the lattice will revert upward at $y=\Delta y$.

$$\u230a\frac{y}{\Delta y}\u230b+k\left(y\right)-h\left(y\right)\ge \u230a\frac{{y}^{min}}{\Delta y}\u230b,\phantom{\rule{0.277778em}{0ex}}\forall y\ge {y}^{min}$$

$$k(\Delta y)-h(\Delta y)\ge 0$$

An important fact is that a ${y}^{min}>0$ may not necessarily exist for any arbitrary process parameters. For example, it has been shown that $2\lambda m\ge {\xi}^{2}$ must hold for y in (18) to be bounded below by zero, which is known as Feller condition (Feller 1951). Next, we shall show that, if the Feller condition is met, then ${y}^{min}>0$ exists and the entire lattice can be well contained in ${\mathbb{R}}^{+}$.

If (i) $1-\lambda \Delta t>0$, and (ii) $4\lambda m>{\xi}^{2}{c}^{2}/(1-\lambda \Delta t)$ both hold, then ${y}^{min}>0$ exists and the entire lattice can be well contained in ${\mathbb{R}}^{+}$.

It is clear that condition (i) of Proposition 3 can be easily satisfied by reducing $\Delta t$, but condition (ii) may not. Compared with the Feller condition $\lambda m\ge 0.5{\xi}^{2}$, condition (ii) has a similar form and may be viewed as the discrete version of Feller condition in our proposed lattice approach.

For a finite $\Delta t>0$, if condition (ii) is violated, to rectify it, it is probably more effective to reduce the value of c (to its lower bound by increasing $\underline{h}$) than to reduce $\Delta t$. This demonstrates another application of grid refinement. As a limit, our approach requires $\lambda m>0.25{\xi}^{2}$ to hold (by setting $\Delta t=0$ and $c=1$) so that ${y}^{min}>0$ exists. This condition is slightly looser than the Feller condition due to the fact that it is easier to bound the process of y from below in the (approximate) discrete domain than in the continuous one. This also means that, whenever the Feller condition is met, a Cox et al. (1985) process can always be approximated by the proposed lattice.

Given a Cox et al. (1985) process (18) that satisfies the Feller condition, there exists a feasible lattice configuration $(\Delta t,\underline{h},c)$ such that ${y}^{min}>0$ and the lattice can be well contained in ${\mathbb{R}}^{+}$.

In this section, we consider a more general two-factor model:
where ${W}_{1,t}$ and ${W}_{2,t}$ are Wiener processes with an instantaneous correlation $\rho $. Following the treatment described in (3a)–(3b) in Section 2, we assume that there exist ${\sigma}_{l}^{min}>0$, $l=1,2$ such that

$$\begin{array}{ccc}\hfill d{Y}_{1,t}& =\hfill & \hfill {\mu}_{1}({Y}_{1,t},{Y}_{2,t})dt+{\sigma}_{1}({Y}_{1,t},{Y}_{2,t})d{W}_{1,t}\end{array}$$

$$\begin{array}{ccc}\hfill d{Y}_{2,t}& =\hfill & \hfill {\mu}_{2}({Y}_{1,t},{Y}_{2,t})dt+{\sigma}_{2}({Y}_{1,t},{Y}_{2,t})d{W}_{2,t},\end{array}$$

$${\sigma}_{l}({y}_{1},{y}_{2})\ge {\sigma}_{l}^{min}>0,\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{0.277778em}{0ex}}\forall {y}_{1},{y}_{2},\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{0.277778em}{0ex}}l=1,2.$$

When both individual one-factor lattices are integrated, we shall apply the same convention to all relevant notations, such as ${\sigma}^{s}$, k, h, $\underline{h}$, and c, by adding a subscript $l=1,2$ to reflect the index of the process that each notation represents.

Our idea of using two-factor trinomial lattices to approximate (22a)–(22b) follows the one proposed by Hull and White (1994): obtain a one-factor trinomial lattice for each state variable first, then integrate both lattices to one such that nine branches ($3\times 3$) emanating from each lattice node. Let $\Delta {y}_{l}={c}_{l}{\sigma}_{l}^{s}\sqrt{\Delta t}$, $l=1,2$, a definition extended directly from that in the one-factor case in Section 2. Assume the one-factor discrete price increment, branching factor for ${y}_{l}$, and branch jump size are $\Delta {y}_{l}$, ${k}_{l}$, and ${h}_{l}$, $l=1,2$, respectively, as defined in Section 2. An example is given in Figure 1, where a node $({y}_{1,t},{y}_{2,t})$ at time t is shown in the left panel. The first one calculates ${k}_{l}$ and ${h}_{l}$ using (5) and (9), respectively, for each factor l to determine the three nodes ${y}_{l,t+1}^{\mathrm{u}}$, ${y}_{l,t+1}^{\mathrm{m}}$, and ${y}_{l,t+1}^{\mathrm{d}}$ at time $t+1$ that each factor l will map into. The nine nodes of their combinations at $t+1$ are shown in the right panel.

The main task is to solve the nine branching probabilities while matching the first two moments of each factor and their correlation. We further define ${k}_{l\mathrm{u}}\equiv {k}_{l}+{h}_{l}$, ${k}_{l\mathrm{m}}\equiv {k}_{l}$, and ${k}_{l\mathrm{d}}\equiv {k}_{l}-{h}_{l}$, $l=1,2$. At each node, to determine the nine branching probabilities ${p}_{ij},i,j\in \Omega $, where $\Omega \equiv \left\{\mathrm{u},\mathrm{m},\mathrm{d}\right\}$, one solves the following linear system, denoted by $\left({Q}_{0}\right)$:$\left({Q}_{0}\right)$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}{k}_{1i}\Delta {y}_{1}& =\hfill & \hfill {\mu}_{1}\Delta t,\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}{k}_{2j}\Delta {y}_{2}& =\hfill & \hfill {\mu}_{2}\Delta t,\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}{k}_{1i}^{2}\Delta {y}_{1}^{2}& =\hfill & \hfill {\mu}_{1}^{2}\Delta {t}^{2}+{\sigma}_{1}^{2}\Delta t,\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}{k}_{2j}^{2}\Delta {y}_{2}^{2}& =\hfill & \hfill {\mu}_{2}^{2}\Delta {t}^{2}+{\sigma}_{2}^{2}\Delta t,\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}{k}_{1i}{k}_{2j}\Delta {y}_{1}\Delta {y}_{2}& =\hfill & \hfill \rho {\sigma}_{1}{\sigma}_{2}\Delta t+{\mu}_{1}{\mu}_{2}\Delta {t}^{2},\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}& =\hfill & \hfill 1,\end{array}$$

$$\begin{array}{ccc}\hfill {p}_{ij}& \ge \hfill & \hfill 0,\forall i,j\in \Omega \end{array}$$

At each node of the trinomial lattice, it is required to solve $\left({Q}_{0}\right)$ to determine the branching probabilities, which has nine variables, six linear equations, and nine nonnegativity inequalities. In optimization terminology, $\left({Q}_{0}\right)$ is said to be feasible if a (feasible) solution exists that meets all constraints. Otherwise, $\left({Q}_{0}\right)$ is said to be infeasible, which means that some probabilities must be negative or greater than 1. Lattice feasibility refers to the condition where $\left({Q}_{0}\right)$ is feasible for all possible nodes in a lattice. In the next proposition, we will show that lattice feasibility is a necessary condition for weak convergence of the proposed two-factor lattice.

Let $({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})$ denote the trinomial lattice of the two-factor process $({Y}_{1,t},{Y}_{2,t})$ defined in (22a)–(22b) with $\Delta {y}_{l}={c}_{l}{\sigma}_{l}^{s}\sqrt{\Delta t}$, and ${k}_{l}\left(y\right)$ and ${h}_{l}\left(y\right)$ defined by (5) and (9), respectively, for $l=1,2$. Suppose that $({Y}_{1,0}^{\Delta t},{Y}_{2,0}^{\Delta t})=({Y}_{1,0},{Y}_{2,0})$ and the following conditions
hold for all lattice node $({y}_{1},{y}_{2})$ and for all time interval $\Delta t$. As $\Delta t\to 0$, $({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})$ converges weakly to the diffusion process $({Y}_{1,t},{Y}_{2,t})$.

$$\begin{array}{ccc}\hfill 0\le {p}_{ij}\le 1,i,j\in \Omega & & \hfill \end{array}$$

$$\begin{array}{ccc}\hfill \mathsf{E}\left[({Y}_{l,t+\Delta t}^{\Delta t}-{y}_{l})\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})]& =\hfill & \hfill {\mu}_{l}\Delta t,\phantom{\rule{0.277778em}{0ex}}l=1,2\end{array}$$

$$\begin{array}{ccc}\hfill \mathsf{E}\left[{({Y}_{l,t+\Delta t}^{\Delta t}-{y}_{l})}^{2}\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})]& =\hfill & \hfill {\sigma}_{l}^{2}\Delta t+{\mu}_{l}^{2}\Delta {t}^{2},\phantom{\rule{0.277778em}{0ex}}l=1,2\end{array}$$

$$\begin{array}{ccc}\hfill \mathsf{E}\left[({Y}_{1,t+\Delta t}^{\Delta t}-{y}_{1})({Y}_{2,t+\Delta t}^{\Delta t}-{y}_{2})\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})]& =\hfill & \hfill \rho {\sigma}_{1}{\sigma}_{2}\Delta t+{\mu}_{1}{\mu}_{2}\Delta {t}^{2}\end{array}$$

Consider the nine branches that emanated from a fixed node, where the one-factor branching probabilities are assumed to be $\{{\tilde{p}}_{l\mathrm{u}},{\tilde{p}}_{l\mathrm{m}},{\tilde{p}}_{l\mathrm{d}}\}$, $l=1,2$. These probabilities are denoted with a tilde to indicate that they are not variables. In addition, assume at this node that the corresponding error factors of the branching and the jump sizes are ${\u03f5}_{l}$ and ${\gamma}_{l}$, $l=1,2$. The branching probabilities can be obtained as follows (cf. (15a)–(15c)):

$$\begin{array}{ccc}\hfill {\tilde{p}}_{l\mathrm{u}}& =\hfill & \hfill \frac{1}{2}\left(\frac{{\u03f5}_{l}^{2}}{{h}_{l}^{2}}+\frac{{\u03f5}_{l}}{{h}_{l}}+\frac{{\gamma}_{l}^{2}}{{c}_{l}^{2}}\right)\end{array}$$

$$\begin{array}{ccc}\hfill {\tilde{p}}_{l\mathrm{d}}& =\hfill & \hfill \frac{1}{2}\left(\frac{{\u03f5}_{l}^{2}}{{h}_{l}^{2}}-\frac{{\u03f5}_{l}}{{h}_{l}}+\frac{{\gamma}_{l}^{2}}{{c}_{l}^{2}}\right)\end{array}$$

$$\begin{array}{ccc}\hfill {\tilde{p}}_{l\mathrm{m}}& =\hfill & \hfill 1-\left(\frac{{\u03f5}_{l}^{2}}{{h}_{l}^{2}}+\frac{{\gamma}_{l}^{2}}{{c}_{l}^{2}}\right)\end{array}$$

The key step is to rewrite $\left({Q}_{0}\right)$ to the following equivalent form $\left(Q\right)$, in terms of $\left\{{\tilde{p}}_{li}\right\}$, $i\in \Omega $, and ${\u03f5}_{l},{\gamma}_{l}$, $l=1,2$: $\left(Q({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})\right)$

$$\begin{array}{ccc}\hfill \sum _{j\in \Omega}{p}_{\mathrm{u}j}& =\hfill & \hfill {\tilde{p}}_{1\mathrm{u}}\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{j\in \Omega}{p}_{\mathrm{d}j}& =\hfill & \hfill {\tilde{p}}_{1\mathrm{d}}\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i\in \Omega}{p}_{i\mathrm{u}}& =\hfill & \hfill {\tilde{p}}_{2\mathrm{u}}\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i\in \Omega}{p}_{i\mathrm{d}}& =\hfill & \hfill {\tilde{p}}_{2\mathrm{d}}\end{array}$$

$$\begin{array}{ccc}\hfill {p}_{\mathrm{uu}}+{p}_{\mathrm{dd}}-{p}_{\mathrm{ud}}-{p}_{\mathrm{du}}& =\hfill & \hfill \rho \frac{{\gamma}_{1}{\gamma}_{2}}{{c}_{1}{c}_{2}}+\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\end{array}$$

$$\begin{array}{ccc}\hfill \sum _{i,j\in \Omega}{p}_{ij}& =\hfill & \hfill 1\end{array}$$

$$\begin{array}{ccc}\hfill {p}_{ij}& \ge \hfill & \hfill 0,\forall i,j\in \Omega .\end{array}$$

To maintain legibility, we denote ${\theta}_{l}\equiv ({\u03f5}_{l},{x}_{l},{\gamma}_{l},{h}_{l})\in {\Theta}_{l}\left({\underline{h}}_{l}\right)$, $l=1,2$, where

$${\Theta}_{l}\left({\underline{h}}_{l}\right)\equiv \left\{{\theta}_{l}\phantom{\rule{0.277778em}{0ex}}\right|\phantom{\rule{0.277778em}{0ex}}\left(7\right),\phantom{\rule{0.277778em}{0ex}}\left(14\right),\phantom{\rule{0.277778em}{0ex}}\left(13a\right)-\left(13b\right),\phantom{\rule{0.277778em}{0ex}}\forall {h}_{l}\ge {\underline{h}}_{l}\},\phantom{\rule{0.277778em}{0ex}}l=1,2.$$

In (28), ${\Theta}_{l}\left({\underline{h}}_{l}\right)$ covers all possible nodes in ${Y}_{l}$, $l=1,2$. $\left(Q\right)$ is denoted with $({\theta}_{1},{\theta}_{2})$ to emphasize that it is a ‘local’ problem associated with some specific lattice node (as ${\tilde{p}}_{l\mathrm{u}}$ and ${\tilde{p}}_{l\mathrm{d}}$ are functions of ${\theta}_{l}$, $l=1,2$). Equations (27a)–(27d) intend to match the means and variances of the price deviations of the two factors, which have been met by the marginal probabilities $\left\{{\tilde{p}}_{1j}\right\}$ and $\left\{{\tilde{p}}_{2j}\right\}$, $j\in \Omega $. Equation (27e) is derived from (24e) with some algebra.

Consider an initial solution ${p}_{ij}={\tilde{p}}_{1i}{\tilde{p}}_{2j},i,j\in \Omega $, which satisfies (27a)–(27f) but (27e), unless $\rho =0$. To determine the range of $\rho $ on the right-hand side (RHS) of (27e) that $\left(Q\right)$ is feasible, consider the following two linear programs:

$$\begin{array}{c}\hfill {R}^{min}({\theta}_{1},{\theta}_{2})\equiv \underset{{p}_{ij},\phantom{\rule{0.277778em}{0ex}}i,j\in \Omega}{min}\{{p}_{\mathrm{uu}}+{p}_{\mathrm{dd}}-{p}_{\mathrm{ud}}-{p}_{\mathrm{du}}|\phantom{\rule{0.277778em}{0ex}}\left(Q\right)\mathrm{excluding}\left(27e\right)\}\end{array}$$

$$\begin{array}{c}\hfill {R}^{max}({\theta}_{1},{\theta}_{2})\equiv \underset{{p}_{ij},\phantom{\rule{0.277778em}{0ex}}i,j\in \Omega}{max}\{{p}_{\mathrm{uu}}+{p}_{\mathrm{dd}}-{p}_{\mathrm{ud}}-{p}_{\mathrm{du}}|\phantom{\rule{0.277778em}{0ex}}\left(Q\right)\mathrm{excluding}\left(27e\right)\}\end{array}$$

For a given set of $({\theta}_{1},{\theta}_{2})$, it is clear that $\left(Q\right)$ is feasible, if, and only if, the RHS of (27e) is between ${R}^{min}$ and ${R}^{max}$, i.e.,

$${R}^{min}({\theta}_{1},{\theta}_{2})\le \rho \frac{{\gamma}_{1}{\gamma}_{2}}{{c}_{1}{c}_{2}}+\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\le {R}^{max}({\theta}_{1},{\theta}_{2}).$$

Therefore, for ${\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)$, $l=1,2$, we have

$${c}_{1}{c}_{2}\xb7\underset{{\theta}_{1},{\theta}_{2}}{max}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{min}({\theta}_{1},{\theta}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\le \rho \le {c}_{1}{c}_{2}\xb7\underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{max}({\theta}_{1},{\theta}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right),$$

Given the values of ${c}_{1}$ and ${c}_{2}$, using (31), the range of the correlation $\rho $ between the two factors for which the lattice can guarantee feasible branching probabilities at all nodes and all stages can be identified. Next, we will show that (31) is symmetric such that its upper bound is the negative of its lower bound.

For any arbitrary ${\theta}_{l}=({\u03f5}_{l},{x}_{l},{\gamma}_{l},{h}_{l})\in {\Theta}_{l}\left({\underline{h}}_{l}\right)$, $l=1,2$, the following equality holds:

$$\underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{max}({\theta}_{1},{\theta}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)=-\underset{{\theta}_{1},{\theta}_{2}}{max}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{min}({\theta}_{1},{\theta}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right),\phantom{\rule{0.277778em}{0ex}}l=1,2.$$

Since (31) is symmetric, we can focus on solving ${R}^{max}$. The closed-form expression for ${R}^{max}$ has been derived in Tseng and Lin (2007), which is duplicated in the following proposition for the sake of clarity.

${R}^{max}=min\{{R}_{1}^{max},{R}_{2}^{max},{R}_{3}^{max},{R}_{4}^{max},{R}_{5}^{max},{R}_{6}^{max}\}$, where
where ${\tilde{p}}_{li}$, $l=1,2$, $i\in \Omega $ are from (26a)–(26c).

$$\begin{array}{ccc}\hfill {R}_{1}^{max}& =& {\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{1\mathrm{d}}\hfill \\ \hfill {R}_{2}^{max}& =& {\tilde{p}}_{2\mathrm{u}}+{\tilde{p}}_{2\mathrm{d}}\hfill \\ \hfill {R}_{3}^{max}& =& {\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{2\mathrm{d}}\hfill \\ \hfill {R}_{4}^{max}& =& 1-({\tilde{p}}_{1\mathrm{d}}-{\tilde{p}}_{2\mathrm{d}})-({\tilde{p}}_{2\mathrm{u}}-{\tilde{p}}_{1\mathrm{u}})\hfill \\ \hfill {R}_{5}^{max}& =& {\tilde{p}}_{2\mathrm{u}}+{\tilde{p}}_{1\mathrm{d}}\hfill \\ \hfill {R}_{6}^{max}& =& 1-({\tilde{p}}_{2\mathrm{d}}-{\tilde{p}}_{1\mathrm{d}})-({\tilde{p}}_{1\mathrm{u}}-{\tilde{p}}_{2\mathrm{u}}),\hfill \end{array}$$

Note that ${R}_{l}^{max}$, $l=1,\cdots ,6$ are also functions of ${\theta}_{1}$ and ${\theta}_{2}$. It can be seen that ${R}_{1}^{max}$, ${R}_{3}^{max}$, and ${R}_{4}^{max}$ reduce to ${R}_{2}^{max}$, ${R}_{5}^{max}$, and ${R}_{6}^{max}$, and vice versa, respectively, by exchanging the factor indices 1 and 2.

Using the result from Proposition 6 to find the upper bound of (31), one needs to solve
for ${\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)$, $l=1,2$. It would be easier to solve if one could switch the two minimization operators in (33) as follows:

$$\underset{{\theta}_{1},{\theta}_{2}}{min}\underset{i=1,\cdots ,6}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left\{{R}_{i}^{max}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right\}$$

$$\underset{i=1,\cdots ,6}{min}\left\{\underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}({R}_{i}^{max}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}})\right\}.$$

Let ${f}_{1},\cdots ,{f}_{n}:{\mathbb{R}}^{n}\to \mathbb{R}$ be n continuous functions and $D\subseteq {\mathbb{R}}^{n}$, where $n\in \mathbb{N}$ is finite. Then,

$$\underset{z\in D}{min}min\{{f}_{1}\left(z\right),\cdots ,{f}_{n}\left(z\right)\}=min\{\underset{z\in D}{min}{f}_{1}\left(z\right),\cdots ,\underset{z\in D}{min}{f}_{n}\left(z\right)\}.$$

Next, we state the main theorem of this section.

(Two-Factor Lattice Feasibility) Given a lattice configuration $({c}_{1},{c}_{2},{\underline{h}}_{1},{\underline{h}}_{2})$, $\left(Q\right)$ is feasible for all ${\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)$, $l=1,2$, if, and only if, $\left|\rho \right|\le \overline{\rho}({c}_{1},{c}_{2},{\underline{h}}_{1},{\underline{h}}_{2})$, where

$$\overline{\rho}({c}_{1},{c}_{2},{\underline{h}}_{1},{\underline{h}}_{2})\equiv {c}_{1}{c}_{2}\xb7min\{{w}_{1},{w}_{2},{w}_{3},{w}_{4}\},$$

and

$$\begin{array}{ccc}\hfill {w}_{1}& =\hfill & \hfill \underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(\frac{{\varphi}_{1}^{2}}{{h}_{1}^{2}}-\frac{{\varphi}_{1}}{2{h}_{1}{h}_{2}}+\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}\right),\phantom{\rule{0.277778em}{0ex}}{\varphi}_{1}({h}_{1},{h}_{2})\equiv min(\frac{{h}_{1}}{4{h}_{2}},\frac{1}{2}),\end{array}$$

$$\begin{array}{ccc}\hfill {w}_{2}& =\hfill & \hfill \underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(\frac{{\varphi}_{2}^{2}}{{h}_{2}^{2}}-\frac{{\varphi}_{2}}{2{h}_{1}{h}_{2}}+\frac{{\gamma}_{2}^{2}}{{c}_{2}^{2}}\right),\phantom{\rule{0.277778em}{0ex}}{\varphi}_{2}({h}_{1},{h}_{2})\equiv min(\frac{{h}_{2}}{4{h}_{1}},\frac{1}{2}),\\ \hfill {w}_{3}& =\hfill & \underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left[\frac{1}{8}({\varphi}_{3}^{2}-1)+\frac{1}{2}\left(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\gamma}_{2}^{2}}{{c}_{2}^{2}}\right)\right],\hfill \end{array}$$

$$\begin{array}{ccc}& & \hfill {\varphi}_{3}({h}_{1},{h}_{2})\equiv max(1-\frac{1}{{h}_{1}}-\frac{1}{{h}_{2}},0),\end{array}$$

$$\begin{array}{ccc}\hfill {w}_{4}& =\hfill & \hfill \underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}(1-\frac{1}{2{h}_{1}})(1-\frac{1}{2{h}_{2}}).\end{array}$$

Theorem 1 is general, but, unfortunately, no explicit functional expressions for ${w}_{1},\cdots ,{w}_{4}$ are available because each of them requires solving a two-dimensional global minimum of a discontinuous function. However, given a set of lattice parameters $({c}_{1},{c}_{2},{\underline{h}}_{1},{\underline{h}}_{2})$, using numerical methods, such as exhaustive search, one can easily obtain the numerical values of ${w}_{1},\cdots ,{w}_{4}$.

From the perspective of minimizing computational requirements, one would prefer smaller values of $({\underline{h}}_{1},{\underline{h}}_{2})$ so that the grid size may not become too small. To achieve that, next, we try to maximize $\overline{\rho}$ over ${c}_{1}$ and ${c}_{2}$ for a given $({\underline{h}}_{1},{\underline{h}}_{2})$ pair:

$${\rho}_{max}({\underline{h}}_{1},{\underline{h}}_{2})=\underset{{c}_{1},{c}_{2}}{max}\left\{\overline{\rho}({c}_{1},{c}_{2},{\underline{h}}_{1},{\underline{h}}_{2})\right|{c}_{1},{c}_{2}\text{subject to}\left(16\right)\}.$$

Using numerical methods, Table 1 shows the values of ${\rho}_{max}$ for all 100 pairs of $({\underline{h}}_{1},{\underline{h}}_{2})$ for $1\le {\underline{h}}_{1},{\underline{h}}_{2}\le 10$. Note that, since ${\rho}_{max}$ is symmetric, Table 1 only displays half of the pairs with ${\underline{h}}_{1}\ge {\underline{h}}_{2}$. From Table 1, it is clear that ${\rho}_{max}({\underline{h}}_{1},{\underline{h}}_{2})$ is an increasing function in ${\underline{h}}_{1}$ and ${\underline{h}}_{2}$. If one considers increasing ${\underline{h}}_{1}$ by 1 to be as difficult in terms of computational effort as increasing ${\underline{h}}_{2}$ by 1, then the diagonal elements where (${\underline{h}}_{1}={\underline{h}}_{2}$) seem to be the most efficient choices.

When ${\underline{h}}_{1}={\underline{h}}_{2}$, to obtain the optimal solutions $({c}_{1}^{*},{c}_{2}^{*})$ for achieving ${\rho}_{max}$ in (38), it turns out that ${w}_{1}={w}_{2}$ in Theorem 1 are the smallest elements in the minimum operator in (36), so a symmetrical optimal solution ${c}_{1}^{*}={c}_{2}^{*}$ is obtained. Using numerical methods, the values of ${\rho}_{max}$ and the corresponding (${c}_{1}^{*},{c}_{2}^{*})$ are summarized in Table 2.

As an example, if $\rho =-0.8$, using the optimized $({c}_{1}^{*},{c}_{2}^{*})$ from Table 2, one can use ${\underline{h}}_{1}={\underline{h}}_{2}=5$ by using $({c}_{1},{c}_{2})=(1.1145,1.1145)$ obtained from the Appendix A. Note that the results presented in this section are for general two-factor lattices. If the two underlying diffusion processes have some special structures, e.g., the class of square root volatility models, then ${\rho}_{max}$ may be further increased so that the required $({\underline{h}}_{1},{\underline{h}}_{2})$ that guarantees lattice feasibility may be lowered. In the next section, we focus on the Heston SV model, for which explicit functional expressions for ${w}_{1},\cdots ,{w}_{4}$ are available.

Consider the Heston SV model (Heston 1993) as follows:
where ${Y}_{1,t}=ln{S}_{t}$ is the logarithm of the stock price; $\mu $, $\lambda $, m, and $\xi $ are positive constants.

$$\begin{array}{ccc}\hfill d{Y}_{1,t}& =\hfill & \hfill \mu \phantom{\rule{4pt}{0ex}}dt+\sqrt{{Y}_{2,t}}\phantom{\rule{0.277778em}{0ex}}d{W}_{1,t}\end{array}$$

$$\begin{array}{ccc}\hfill d{Y}_{2,t}& =\hfill & \hfill -\lambda ({Y}_{2,t}-m)dt+\xi \sqrt{{Y}_{2,t}}\phantom{\rule{0.277778em}{0ex}}d{W}_{2,t},\end{array}$$

Since both volatilities in (39a) and (39b) are functions of ${Y}_{2}$, we focus on the MR process of ${Y}_{2}$. As mentioned in Section 2.2, if the Feller condition is satisfied, ${y}_{2}^{min}>0$ exists for (39b). Based on ${y}_{2}^{min}$, we can identify positive ${\sigma}_{2}^{min}$ and ${\sigma}_{2}^{s}$. Once ${\sigma}_{2}^{s}$ is obtained, we set

$${\sigma}_{1}^{s}={\sigma}_{2}^{s}/\xi .$$

Using Proposition 9, we will show that Theorem 1 has an explicit functional form for $\overline{\rho}$ if we set ${\underline{h}}_{1}={\underline{h}}_{2}$. Since ${\mu}_{1}$ is a constant, ${\u03f5}_{1}$ is a fixed constant for all nodes. We denote it as ${\tilde{\u03f5}}_{1}$. Without loss of generality, we assume ${\tilde{\u03f5}}_{1}=0$. To make ${\tilde{\u03f5}}_{1}=0$, from (5), we need to have

$$\frac{{\mu}_{1}\Delta t}{{c}_{1}{\sigma}_{1}^{s}\sqrt{\Delta t}}=\frac{{\mu}_{1}\sqrt{\Delta t}}{{c}_{1}{\sigma}_{1}^{s}}=\mathrm{the\; nearest\; integer}={k}_{1}.$$

This can be achieved by adjusting the value of ${c}_{1}$, ${\sigma}_{1}^{min}$, or $\Delta t$. Adjusting ${c}_{1}$ and/or $\Delta t$ is more straightforward than adjusting ${\sigma}_{1}^{min}$. However, since ${c}_{1}$ is a parameter for lattice configuration, we recommend adjusting the value of $\Delta t$ slightly to eliminate the remainder of (41) in order to make ${\tilde{\u03f5}}_{1}=0$.

With ${\u03f5}_{1}=0$ and ${\underline{h}}_{1}={\underline{h}}_{2}=\underline{h}$, using (31), the condition for lattice feasibility can be significantly simplified as follows:
for ${\theta}_{l}\in {\Theta}_{l}\left(\underline{h}\right)$, $l=1,2$.

$$\phantom{\rule{-8.5359pt}{0ex}}\underset{{\theta}_{1},{\theta}_{2}}{max}\frac{1}{{\gamma}^{2}}\left({R}^{min}({\theta}_{1},{\theta}_{2})\right)\le \frac{\rho}{{c}_{1}{c}_{2}}\le \underset{{\theta}_{1},{\theta}_{2}}{min}\frac{1}{{\gamma}^{2}}\left({R}^{max}({\theta}_{1},{\theta}_{2})\right),$$

(Lattice feasibility for the Heston SV) Pertaining to the Heston SV model in (39a)–(39b), assume ${\underline{h}}_{1}={\underline{h}}_{2}=\underline{h}$ and ${\u03f5}_{1}=0$. Given a lattice configuration $({c}_{1},{c}_{2},\underline{h})$, $\left(Q\right)$ is feasible for all ${\theta}_{l}\in {\Theta}_{l}\left(\underline{h}\right)$, $l=1,2$, if, and only if, $\rho \le {\overline{\rho}}^{\mathit{H}}({c}_{1},{c}_{2},\underline{h})$, where
where

$${\overline{\rho}}^{\mathit{H}}({c}_{1},{c}_{2},\underline{h})={c}_{1}{c}_{2}\xb7min\{{w}_{1}^{\mathit{H}},{w}_{2}^{\mathit{H}},{w}_{3}^{\mathit{H}},{w}_{4}^{\mathit{H}}\},$$

$$\begin{array}{ccc}\hfill {w}_{1}^{\mathit{H}}& =\hfill & \hfill \frac{1}{{c}_{1}^{2}}\end{array}$$

$$\begin{array}{ccc}\hfill {w}_{2}^{\mathit{H}}& =\hfill & \hfill \frac{1}{{c}_{2}^{2}}\end{array}$$

$$\begin{array}{ccc}\hfill {w}_{3}^{\mathit{H}}& =\hfill & \hfill \frac{1}{2}(\frac{1}{{c}_{1}^{2}}+\frac{1}{{c}_{2}^{2}})-\frac{1}{4(max(\underline{h},2)-0.5)},\end{array}$$

$$\begin{array}{ccc}\hfill {w}_{4}^{\mathit{H}}& =\hfill & \hfill \frac{\underline{h}(\underline{h}-0.5)}{{(\underline{h}+0.5)}^{2}}\end{array}$$

Next, we try to maximize ${\overline{\rho}}^{\mathit{H}}$ by adjusting the lattice configuration $({c}_{1},{c}_{2})$ while maintaining lattice feasibility. Let

$${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)=\underset{{c}_{1},{c}_{2}}{max}\left\{{\overline{\rho}}^{\mathit{H}}({c}_{1},{c}_{2},\underline{h})\right|{c}_{1},{c}_{2}\text{subject to}\left(16\right)\}.$$

Using numerical methods, the solution of (45) is obtained as follows. When $\underline{h}\le 2$, ${\rho}_{max}^{\mathit{H}}$ is achieved at the lower bounds of ${c}_{1}$ and ${c}_{2}$, where ${c}_{1}={c}_{2}=\sqrt{(\underline{h}+0.5)/(\underline{h}-0.5)}$, and ${\rho}_{max}^{\mathit{H}}$ is determined by ${w}_{3}^{\mathit{H}}$. When $\underline{h}\ge 3$, ${\rho}_{max}^{\mathit{H}}$ is achieved at ${c}_{1}=\sqrt{(\underline{h}+0.5)/(\underline{h}-0.5)}$, the lower bound, and ${c}_{2}$ at the point where ${w}_{3}^{\mathit{H}}={w}_{4}^{\mathit{H}}$. That is,
where

$${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)={c}_{1}^{\mathit{H}}\left(\underline{h}\right){c}_{2}^{\mathit{H}}\left(\underline{h}\right)\frac{\underline{h}(\underline{h}-0.5)}{{(\underline{h}+0.5)}^{2}},\phantom{\rule{0.277778em}{0ex}}\underline{h}\ge 3,$$

$$\begin{array}{ccc}\hfill {c}_{1}^{\mathit{H}}\left(\underline{h}\right)& =& \sqrt{\frac{\underline{h}+0.5}{\underline{h}-0.5}}\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {c}_{2}^{\mathit{H}}\left(\underline{h}\right)& =& \sqrt{\frac{{(\underline{h}+0.5)}^{2}(\underline{h}-0.5)}{{\underline{h}}^{3}-{\underline{h}}^{2}+1.25\underline{h}}}.\hfill \end{array}$$

It can be seen that ${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)$ approaches 1 as $\underline{h}$ increases. The value of ${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)$ for $\underline{h}=1,\cdots ,10$ is given in Table 3, along with the corresponding $({c}_{1}^{\mathit{H}},{c}_{2}^{\mathit{H}})$. Note that ${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)$ is symmetric in ${c}_{1}$ and ${c}_{2}$. Therefore, another solution for ${\rho}_{max}^{\mathit{H}}\left(\underline{h}\right)$ is to switch ${c}_{1}^{\mathit{H}}$ and ${c}_{2}^{\mathit{H}}$.

Back to the previous example, if $\rho =-0.8$, now it only requires ${\underline{h}}_{1}={\underline{h}}_{2}=3$ with $({c}_{1},{c}_{2})=$ (1.1832,1.1866) or (1.1866, 1.1832) to achieve lattice feasibility, a reduction from ${\underline{h}}_{1}={\underline{h}}_{2}=5$ of the optimized general model.

In this section, we investigate how much lattice infeasibility could impact option valuation. Consider the following SV model of Heston (1993) where the stock price (${S}_{t}$) and the instantaneous variance (${V}_{t}$) under the risk neutral measure are defined as follows:
where r is the constant risk-free rate, q is the dividend yield, and $d{W}_{1,t}$ and $d{W}_{2,t}$ are Wiener processes such that $d{W}_{1,t}\xb7d{W}_{2.t}=\rho dt$.

$$\begin{array}{ccc}\hfill dln{S}_{t}& =\hfill & \hfill (r-q-\frac{{V}_{t}}{2})dt+\sqrt{{V}_{t}}d{W}_{1,t},\end{array}$$

$$\begin{array}{ccc}\hfill d{V}_{t}& =\hfill & \hfill \lambda (m-{V}_{t})dt+\xi \sqrt{{V}_{t}}d{W}_{2,t},\end{array}$$

The problem $\left(Q\right)$ contains six linear equations with nine variables and a nonnegativity constraint. Since $\left(Q\right)$ has no linear independence of the linear equations, these linear equations have infinitely many solutions (sets of branching probabilities). Therefore, the key is the nonnegativity constraint, which requires a solution to be a set of legitimate probabilities. When the term ‘lattice feasibility’ was coined by Tseng and Lin (2007), there was an implication of using optimization to determine branching probabilities. The idea was to add an objective function to be optimized subject to $\left(Q\right)$. Since not all feasible solutions contribute the same to the objective function, using optimization would find not only a feasible solution, but an optimal solution. The objective function in this context refers to the quality of fitting the probability distribution of the underlying uncertainties. The authors in Tseng and Lin (2007) used the following objective function:
where ${p}_{ij}$, $i,j\in \Omega $ are subject to $\left(Q\right)$; and ${\tilde{p}}_{1i}$ and ${\tilde{p}}_{2j}$ are marginal probabilities obtained from (26a)–(26c). Tseng and Lin (2007) showed that doing so best fits the probability distribution of the underlying variables in some measure.

$$\underset{{p}_{ij}}{min}\phantom{\rule{0.277778em}{0ex}}\sum _{i,j\in \Omega}{({p}_{ij}-{\tilde{p}}_{1i}{\tilde{p}}_{2j})}^{2},$$

The optimization problem in (50) is a standard quadratic programming (QP) problem with linear constraints. Apparently, the optimal solution of (50) is ${p}_{ij}={\tilde{p}}_{1i}{\tilde{p}}_{2j}$, $i,j\in \Omega $ when $\rho =0$. When $\rho \ne 0$, this optimization problem finds the solution that has the least deviation from the solution of the uncorrelated case. At each node, their approach requires solving a simple optimization problem to determine branching probabilities for $\left(Q\right)$. We adopt this approach in this paper and refer to it as Best-Fit. Although solving a (QP) at each node may seem cumbersome, we have developed an iterative method to identify the binding constraints at optimality. Once the binding constraints are identified, the corresponding feasible solution is the optimal one due to the convexity of the QP. This approach is very efficient as it usually takes a few trials to correctly identify the binding constraints.

On the other hand, we need a counterpart method for determining branching probabilities that works well in practice but may not guarantee lattice feasibility. We consider the popular lattice approach proposed by Hull and White (1994) (denoted by H&W) as this counterpart method. Note that the comparison is conducted in the same lattice framework such that the lattice structure is exactly the same except for their respective methods of determining branching probabilities at each node: the first is by Best-Fit and the second by H&W.

When $\rho <0$, Hull and White (1994) suggests with $\delta =\rho /36$:
and similarly when $\rho <0$,

$$\begin{array}{c}\hfill \left[\begin{array}{ccc}\hfill {p}_{\mathrm{du}}& \hfill {p}_{\mathrm{mu}}& \hfill {p}_{\mathrm{uu}}\\ \hfill {p}_{\mathrm{dm}}& \hfill {p}_{\mathrm{mm}}& \hfill {p}_{\mathrm{um}}\\ \hfill {p}_{\mathrm{dd}}& \hfill {p}_{\mathrm{md}}& \hfill {p}_{\mathrm{ud}}\end{array}\right]=\left[\begin{array}{ccc}\hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{u}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{u}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{u}}\\ \hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{m}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{m}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{m}}\\ \hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{d}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{d}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{d}}\end{array}\right]+\left[\begin{array}{ccc}\hfill -\delta & \hfill -4\delta & \hfill +5\delta \\ \hfill -4\delta & \hfill +8\delta & \hfill -4\delta \\ \hfill +5\delta & \hfill -4\delta & \hfill -\delta \end{array}\right];\end{array}$$

$$\begin{array}{c}\hfill \left[\begin{array}{ccc}\hfill {p}_{\mathrm{du}}& \hfill {p}_{\mathrm{mu}}& \hfill {p}_{\mathrm{uu}}\\ \hfill {p}_{\mathrm{dm}}& \hfill {p}_{\mathrm{mm}}& \hfill {p}_{\mathrm{um}}\\ \hfill {p}_{\mathrm{dd}}& \hfill {p}_{\mathrm{md}}& \hfill {p}_{\mathrm{ud}}\end{array}\right]=\left[\begin{array}{ccc}\hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{u}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{u}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{u}}\\ \hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{m}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{m}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{m}}\\ \hfill {\tilde{p}}_{1\mathrm{d}}{\tilde{p}}_{2\mathrm{d}}& \hfill {\tilde{p}}_{1\mathrm{m}}{\tilde{p}}_{2\mathrm{d}}& \hfill {\tilde{p}}_{1\mathrm{u}}{\tilde{p}}_{2\mathrm{d}}\end{array}\right]+\left[\begin{array}{ccc}\hfill +5\delta & \hfill -4\delta & \hfill -\delta \\ \hfill -4\delta & \hfill +8\delta & \hfill -4\delta \\ \hfill -\delta & \hfill -4\delta & \hfill +5\delta \end{array}\right].\end{array}$$

It is well known that the feasibility of $\left(Q\right)$ becomes harder to meet when the value of the instantaneous correlation $\rho $ is high. If one allows some branching probabilities to be negative, the corresponding probability distribution(s) of the price and/or the volatility is distorted. Depending on the degree of the distortion, there may be some impact on the option valuation. We use both approaches (Best-Fit and H&W) to value a European call option under the Heston SV model. The parameters are taken from Table 1 of Ball and Roma (1994) with $r=q=0$, $\lambda =8$, $m={V}_{0}=0.1225,$ and $\xi =0.8$.

With ${S}_{0}=\$100$, three cases, corresponding to three different strike prices, $K=$ $80, $100, and $120, are tested with the correlation $\rho $ ranging between −0.8 and 0.8. The result is summarized in Table 4. For the lattice, we consider $n=100$ (with T = 6 months) to make sure that both methods (Best-Fit and H&W) can best fit the probability distribution of the underlying variables.

The last two columns of Table 4 show the percentage of lattice nodes (from $t=0$ to T) that each has at least one outgoing branch with a probability either negative or exceeding unity. Note that this should not be confused with the situation where a price node at some stage has a negative probability to prevail. A lattice node may receive many incoming branches from other nodes in the previous stage. While some of the incoming branches may have negative probabilities, it is unlikely that the resultant probability for reaching this node is negative.

Basically, the option prices using Best-Fit are very close to the exact values, within one cent. It can be seen that Best-Fit maintains lattice feasibility for all $\rho $ values tested, while H&W meets the feasibility condition only when $\left|\rho \right|\le 0.3$. When $0.3<\left|\rho \right|\le 0.7$, there is only a very small number of nodes containing branches with negative probabilities. However, when $\left|\rho \right|=0.8$, almost all the nodes (99.79%) violate the feasibility condition. This justifies our selection of H&W as the counterpart, as this method indeed provides very good approximations of branching probabilities that solve $\left(Q\right)$. Figure 2 displays the percentage deviation of the obtained option prices from the exact ones by changing $\rho $ using Best-Fit and H&W.

It can be seen from Figure 2 that H&W obtains a precise value only when there is no correlation. As $\left|\rho \right|$ increases, the option value obtained by H&W starts to deviate from the exact values. The deviation is roughly a piecewise linear function of $\rho $, whose slope doubles when $\left|\rho \right|>0.6$. On the other hand, the deviations of Best-Fit are largely confined within 0.6 cents (less than 0.1%). Comparing both methods, we make the following three observations for H&W’s method:

- Consider the OTM option and the ITM option when $\left|\rho \right|\le 0.3$. Though lattice feasibility is fully maintained, the error persists for $\rho \ne 0$. Therefore, lattice feasibility alone cannot guarantee good valuation, especially with a finite time step $\Delta t$. The valuation error would converge to zero only when $\Delta t$ is sufficiently small. Therefore, lattice feasibility is merely a necessary condition for accurate valuations. From this perspective, the optimization approach for finding a feasible and optimal set of branching probabilities makes sense.
- Consider the ATM option. Its pricing errors are relatively small for all $\rho $ values tested. Even when $\rho =\left|0.8\right|$, where infeasibility occurs at almost all nodes, the error does not seem too bad (0.3% when $\rho =0.8$; 1.3% when $\rho =-0.8$). This shows that sometimes negative probabilities seem to matter less.
- Lattice infeasibility means that there are some distortions on the probability distribution of the underlying uncertainties. The effect can be overvaluation (e.g., OTM and ATM options when $\rho <0$) or undervaluation (e.g., ITM option when $\rho <0$) of the options.

In Figure 3, we plot the exact probability density functions (PDF) of the (logarithm of the) stock price (dotted curve) at different correlation levels, and the PDF approximated by the lattice using H&W (solid curve) and Best-Fit for branching probabilities. The exact PDF is obtained from a standard integration scheme of characteristic functions (e.g., see Rough 2013). The probability distributions are taken when $\rho =\pm 0.3$, $\pm 0.6$, and $\pm 0.8$. At $\rho =\pm 0.3$, both Best-Fit and H&W achieve lattice feasibility (with the first two moments of price and volatility deviations matched). There is no visible distortion in the PDF from Figure 3, yet its OTM option price still has an error of more than 3% (12 cents). This indicates that the optimization of (50) subtly improves the approximation of the tail distribution.

When $\left|\rho \right|>0.3$, the discrepancy between the exact PDF and the PDF approximated by H&W becomes visible. Using $\rho =\pm 0.8$ in Figure 3 as an example, where the discrepancy is most distinct, the exact PDF and the one approximated by Best-Fit are still visually indistinguishable. In general, when $\rho >0.3$ (or $\rho <-0.3$), it can be seen that, using H&W, the price distribution is distorted such that it is slightly less skewed to the right (or left) with a bigger (or smaller) mode. In Figure 3, the three strike prices tested corresponding to OTM, ATM, and ITM options are also identified. When $\rho >0.3$ (or $\rho <-0.3$), it can be seen that using this distorted price distribution to value a European call option undervalues (or overvalues) the OTM and ATM ones, but overvalues (or undervalues) the ITM option. We make the following three additional observations:

- The price of an OTM option is directly impacted by lattice infeasibility as its value is determined by the tail distribution, which is the part of the probability distribution that is most affected by negative probabilities.
- For an ITM option, a wider part of the probability distribution becomes relevant, which tends to involve both tails and the central part, making the overall effects hard to predict.
- For an ATM option, the distorted tail part seems less important because the less distorted central part dominates the valuation.

To sum up, since, in reality, how the underlying distribution is distorted by lattice infeasibility is unknown a priori, it seems unlikely that one could exploit negative probabilities. However, if one really hopes for negative probabilities to work to their advantage, it is less likely to happen on OTM options, but more probable on ATM options.

In this section, we provide more numerical results for a lattice equipped with lattice feasibility and the Best-Fit method for branching probabilities. We continue to focus on the Heston SV model in (49a)–(49b). Since this approach guarantees feasible branching probabilities that also fit the underlying probability distribution well, with no surprise, all results indicate that such an approach is very reliable for accurate option valuations.

To make a comprehensive analysis of pricing errors, we compare the option prices obtained by the proposed lattice model with the exact solutions of European call options of various specifications. These specifications are drawn from combinations of the following factors: ${S}_{0}=100$, $q=2\%$ (dividend yield), $T=0.5$ years (time to maturity), $m=0.04$, $\lambda \in \{2,4,8\}$, $\xi \in \{0.3,0.6,0.9\}$, $K\in \{90,100,110\}$ (strike price), $r\in \{3\%,5\%,7\%\}$, ${V}_{0}\in \{0.02,0.04,0.08\}$, and $\rho \in \{-0.5,-0.25,0,0.25,0.5\}$. Those combinations that do not meet the Feller condition (i.e., $2\lambda m\ge {\xi}^{2}$) are excluded. After that, 540 sets remain for the testing. The accuracy measure used in this paper is the root mean squared error (RMSE), defined as follows:
where the error ${e}_{i}$ is the difference between the exact value of the i-th European call option and the estimated option value using the proposed lattice model.

$$\mathrm{RMSE}=\sqrt{\frac{1}{540}\sum _{i=1}^{540}{e}_{i}^{2}},$$

From Table 5, it can be seen that the pricing errors of the proposed lattice model are generally small compared with the exact option prices even if the number of time steps $\left(N\right)$ is small. For instance, when $N=10$, the RMSE of the proposed trinomial method for pricing European call options is $0.0061, which is far smaller than the bid-ask spreads observed in the market. Moreover, Table 5 indicates that the rate of convergence of the proposed method is of order $O(1/N)$.

Consider another test case taken from Table 1 of Ball and Roma (1994) with $r=q=0$, $\rho =0$, $\lambda =4$, $m={V}_{0}=0.09,$ and $\xi =0.4$. In addition, assume $T=0.5$ months, ${S}_{0}=K=\$100$. Using this example, we also investigate the convergence pattern of the option prices obtained by the proposed lattice approach and the exact value ($8.3595) when the number of time steps increases, along with its computational requirement. The results are presented in Figure 4. As seen in the upper portion of Figure 4, the option prices obtained by the proposed lattice model do converge to the exact price. We have investigated the convergence pattern for more than twenty cases, and the results are similar to those shown in Figure 4. In the lower portion, we show the CPU times required for obtaining the option values. The CPU times (in seconds) are measured on a personal computer with Intel Core 2 Duo processor E8400 of 3 GHz. We also record the number of lattice nodes in the final stage. Both the CPU times and the node numbers are displayed in logarithmic scales on both the horizontal and vertical axes. The purpose is to check whether the computational complexity is exponential. A linear behavior in a log-log graph, such as the lower portion of Figure 4, indicates that the complexity is polynomial. It is estimated for this particular instance that the CPU time is approximately of order $O\left({N}^{4}\right)$ and the number of nodes in the final stage is of order $O\left({N}^{3}\right)$, where N is the number of steps. The result indicates that, as N increases, most branches do recombine, which prevents the number of lattice nodes from growing exponentially with N. In this example, when $N=30$, the option value is already within 0.2% of the exact value using about three seconds of CPU time and about 40,000 nodes in the final stage. When $N=45$, the pricing error of the proposed approach is within 0.1%, using about 21 s of CPU time and 160,000 lattice nodes in the final stage. The number of lattice nodes involved in the proposed approach is indeed much greater than that of using traditional recombining lattices. However, the computation using the proposed lattice model can be managed to be quite efficient.

One unique benefit for the lattice approach is its ability to value American options. We use the proposed lattice model (Best-Fit) to value American put option under the Heston SV model with parameters: strike $K=$ $100. $\lambda =3.0$, $m=0.04$, $r=0.05$, $q=0$, and $\xi =0.1$. The results are summarized in Table 6. We compare the result with that reported in Beliaeva and Nawalkha (2010), denoted by ‘B&N Tree’ in the same table. We also apply the control variate (CV) technique to value the American put as follows:

American Put (CV) = American Put (Best-Fit) +

(European Put (Closed-Form) - European Put (Best-Fit))

Each of the last two columns of Table 6 indicates the difference, labeled as ‘error’, between an obtained American put option prices (by either the proposed lattice model or the B&N Tree) and that by the CV technique. It can be seen that most errors are smaller than one cent, and, in most cases, the differences obtained by the Best-Fit model are smaller than the corresponding ones reported in Beliaeva and Nawalkha (2010). Furthermore, the approach that achieves a smaller error is highlighted in bold in each comparison.

A more detailed comparison is summarized in Table 7. There are 36 cases tested in Table 6 (corresponding to 36 rows), which can be divided into several categories given in Table 7. The number of wins (in terms of a lower error) and the percentage of winning are recorded, along with the corresponding RMSE of each category. Overall, the Best-Fit model achieves smaller errors in 61% of all 36 test cases; our RMSE (0.0081) is only 44% of that (0.0181) by the B&N Tree (see Table 6). In all categories summarized in Table 7, the Best-Fit model outperforms the B&N tree approach in all categories either by the number of case wins or RMSE. In terms of the correlation $\rho $, Table 7 shows that the Best-Fit model performs especially well when the correlation is high ($\rho =-0.7$) such that the Best-Fit model does better in 67% of cases, and the RMSE is only 1/3 of the B&N Tree approach. When $\left|\rho \right|$ is high, lattice feasibility becomes harder to meet. Since the proposed lattice model maintains lattice feasibility and can best fit the underlying probability distribution for all $\rho $, the results in Table 7 show that it indeed performs relatively well when $\left|\rho \right|$ is high.

To summarize Table 7, it is fair to say that the Best-Fit model performs better especially when $\left|\rho \right|$ is high, T is greater than one month, and/or for the options that are ITM or OTM.

In this paper, we focus on two-factor lattices for general diffusion processes where volatilities can be state-dependent, including stochastic volatility models. For a lattice approach, although it is common knowledge that branching probabilities must be between zero and one, few methods can guarantee all branching probabilities of all nodes in all stages are always legitimate. We refer to this property as lattice feasibility. Since it is not unusual to encounter negative probabilities, some practitioners have argued that negative probabilities are not necessarily ‘bad’ and may be further exploited. We have developed a theoretical framework of lattice feasibility to investigate how negative probabilities may impact option pricing in a lattice approach. We have shown that lattice feasibility can be achieved by adjusting a lattice’s configuration (e.g., grid sizes).

Failing to meet lattice feasibility means that some branching probabilities in a lattice are negative or exceed unity, which implies distortions on the probability distribution of the underlying variables. Depending on the distortion, the accuracy of options pricing may be affected. We have found that out-of-the-money options are most affected, followed by in-the-money options and at-the-money options. It has also been observed that negative probabilities indeed matter less in some situations. Since, in reality, how an underlying probability distribution is distorted by lattice infeasibility is unknown a priori, it seems unlikely that one could exploit negative probabilities consistently as some practitioners may hope.

Although lattice feasibility is a necessary condition for weak convergence of approximating the underlying diffusion processes, our numerical tests also show that lattice feasibility alone may not be sufficient to guarantee accurate valuation, especially when the time step of the lattice is not especially small. Since legitimate branching probabilities may not be unique, we use an optimization approach to find branching probabilities that are not only legitimate but also can best fit the probability distribution of the underlying variables. Extensive numerical tests show that this optimized lattice model is a reliable and robust approach for financial option valuations.

Conceptualization, C.-L.T.; methodology, C.-L.T. and D.W.-C.M.; software, C.-L.T.; analysis, C.-L.T., D.W.-C.M., S.-L.C. and P.-T.S.; writing—original draft preparation, C.-L.T.; writing—review and editing, C.-L.T., D.W.-C.M., S.-L.C. and P.-T.S. All authors have read and agreed to the published version of the manuscript.

This research received no external funding.

Not applicable.

Not applicable.

Not applicable.

The authors declare no conflict of interest.

From (15a)–(15c), apparently

$${p}_{\mathrm{u}}\ge 0,{p}_{\mathrm{d}}\ge 0,{p}_{\mathrm{m}}\ge 0\phantom{\rule{0.277778em}{0ex}}\phantom{\rule{0.277778em}{0ex}}\iff \phantom{\rule{0.277778em}{0ex}}\phantom{\rule{0.277778em}{0ex}}-{\left(\frac{\u03f5}{h}\right)}^{2}+\frac{\left|\u03f5\right|}{h}\le \frac{{x}^{2}}{{c}^{2}{h}^{2}}\le 1-{\left(\frac{\u03f5}{h}\right)}^{2}$$

For ${p}_{\mathrm{u}}$, ${p}_{\mathrm{m}}$, and ${p}_{\mathrm{d}}$ to be legitimate for all $\u03f5\in [-0.5,0.5]$, we consider

$$\underset{\left|\u03f5\right|\le 0.5}{max}\left(-{\left(\frac{\u03f5}{h}\right)}^{2}+\frac{\left|\u03f5\right|}{h}\right)\le \frac{{x}^{2}}{{c}^{2}{h}^{2}}\le \underset{\left|\u03f5\right|\le 0.5}{min}\left(1-{\left(\frac{\u03f5}{h}\right)}^{2}\right).$$

The upper bound of (A2) is $1-1/\left(2{h}^{2}\right)$ achieved at $\u03f5=0.5$. The lower bound is achieved at $\u03f5=\pm 0.5$. Thus,

$$\frac{h}{2}-\frac{1}{4}\le (\frac{x}{c}{)}^{2}\le {h}^{2}-\frac{1}{4},$$

From (9), it is clear that the middle term of (A3) is within the following interval:

$$(\frac{x}{c}{)}^{2}\in \left\{\begin{array}{cc}[1/{c}^{2},1.{5}^{2}/{c}^{2}),\hfill & \mathrm{if}h=1,\hfill \\ [{(h-0.5)}^{2}/{c}^{2},{(h+0.5)}^{2}/{c}^{2}),\hfill & \mathrm{if}h\ge 2.\hfill \end{array}\right.$$

For both (A3) and (A4) to hold, we must have for $h\in \mathbb{N}$ and

$$\begin{array}{ccc}\hfill \frac{{(h+0.5)}^{2}}{{c}^{2}}& \le & {h}^{2}-\frac{1}{4}\hfill \end{array}$$

$$\begin{array}{ccc}\hfill max(\frac{1}{{c}^{2}},\frac{{(h-0.5)}^{2}}{{c}^{2}})& \ge & \frac{h}{2}-\frac{1}{4}.\hfill \end{array}$$

Thus,

$$\frac{h+0.5}{h-0.5}\le {c}^{2}\le max(1,{(h-0.5)}^{2}){(\frac{h}{2}-\frac{1}{4})}^{-1}$$

Plugging $h=1,2,3,\cdots $ to (A6) gives the following ranges of ${c}^{2}$:

$$\begin{array}{cc}\hfill 3\le {c}^{2}\le 4,& \mathrm{if}h=1\\ \hfill 5/3\le {c}^{2}\le 3,& \mathrm{if}h=2\\ \hfill 7/5\le {c}^{2}\le 5,& \mathrm{if}h=3\\ \hfill 9/7\le {c}^{2}\le 7,& \mathrm{if}h=4\\ \hfill \cdots & \end{array}$$

When $\underline{h}=1$, apparently ${c}^{2}$ must be 3. When $h\ge 2$, the upper bound of ${c}^{2}$ increases with h, while the lower bound decreases. Therefore, for $h\ge \underline{h}$, $\underline{h}$ sets the bounds. That is, $\sqrt{(\underline{h}+0.5)/(\underline{h}-0.5)}\le c\le \sqrt{2\underline{h}-1}$ for $\underline{h}\ge 2$.

The proof is based on Durrett (1996) where the conditions for weak convergence from Markov chains to diffusion processes are given. To present our proof, we first give the following lemma which is taken from Lemma 8.2 of (Durrett 1996, p. 306) and adapted to our one-factor case. For convenience, we introduce the following definitions for the one-factor lattice ${Y}_{t}^{\Delta t}$.

$$\begin{array}{ccc}{\alpha}^{\Delta t}\left(y\right)\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[({Y}_{t+\Delta t}^{\Delta t}-y)\right|{Y}_{t}^{\Delta t}=y],\phantom{\rule{5.69054pt}{0ex}}\hfill \\ {\beta}^{\Delta t}\left(y\right)\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[{({Y}_{t+\Delta t}^{\Delta t}-y)}^{2}\right|{Y}_{t}^{\Delta t}=y],\phantom{\rule{5.69054pt}{0ex}}\hfill \\ {\gamma}_{p}^{\Delta t}\left(y\right)\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[\right|{Y}_{t+\Delta t}^{\Delta t}{-y|}^{p}|{Y}_{t}^{\Delta t}=y].\hfill \end{array}$$

They are concerned with the first, second, and higher (absolute) moments of the change in lattice across $\Delta t$.

Suppose that ${Y}_{0}^{\Delta t}={Y}_{0}$. If there exists a $p\ge 2$ and for all $R<\infty $, we have
then the one-factor lattice ${Y}_{t}^{\Delta t}$ converges weakly to ${Y}_{t}$ as $\Delta t\to 0$.

$$\begin{array}{cc}\left(i\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|y\right|\le R}{sup}|{\alpha}^{\Delta t}\left(y\right)-\mu \left(y\right)|=0,\phantom{\rule{42.67912pt}{0ex}}\phantom{\rule{5.69054pt}{0ex}}}\hfill \\ \left(ii\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|y\right|\le R}{sup}|{\beta}^{\Delta t}\left(y\right)-{\sigma}^{2}\left(y\right)|=0,\phantom{\rule{5.69054pt}{0ex}}}\hfill \\ \left(iii\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|y\right|\le R}{sup}{\gamma}_{p}^{\Delta t}\left(y\right)=0,}\hfill \end{array}$$

To prove Proposition 2, we need to check the above three conditions. Note that conditions (i) and (ii) are true because (17a)–(17c) hold for all y. Then, we check condition (iii) with $p=4$ and have

$$\begin{array}{ccc}{\gamma}_{4}^{\Delta t}\left(y\right)\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[\right|{Y}_{t+\Delta t}^{\Delta t}{-y|}^{4}|{Y}_{t}^{\Delta t}=y]\phantom{\rule{5.69054pt}{0ex}}\hfill \\ & =\hfill & {(\Delta t)}^{-1}({p}_{u}{|(k+h)\Delta y|}^{4}+{p}_{m}{|k\Delta y|}^{4}+{p}_{d}{|(k-h)\Delta y|}^{4})\phantom{\rule{5.69054pt}{0ex}}\hfill \\ & \le \hfill & {(\Delta t)}^{-1}{\left(\right|(k+h)\Delta y|}^{4}+{|k\Delta y|}^{4}+{|(k-h)\Delta y|}^{4})\phantom{\rule{5.69054pt}{0ex}}\hfill \\ & \le \hfill & {(\Delta t)}^{-1}3{(k+h)}^{4}{(\Delta y)}^{4}.\hfill \end{array}$$

Note that

$$\Delta y=c{\sigma}^{s}\sqrt{\Delta t},\phantom{\rule{1.em}{0ex}}k\left(y\right)=\u230a\frac{\mu \left(y\right)\Delta t}{\Delta y}+0.5\u230b,\phantom{\rule{1.em}{0ex}}h\left(y\right)=\u230a\frac{\sigma \left(y\right)}{{\sigma}^{s}}+0.5\u230b.$$

Fix an arbitrarily large $R<\infty $. For any y such that $\left|y\right|\le R$ (thus $\mu \left(y\right)$ and $\sigma \left(y\right)$ are finite) and for a sufficiently small $\Delta t$, we have

$$\left|k\left(y\right)\right|\le \underset{\left|y\right|\le R}{sup}|\frac{\mu \left(y\right)}{c{\sigma}^{s}}|\sqrt{\Delta t}+0.5\le 1,\phantom{\rule{1.em}{0ex}}\left|h\left(y\right)\right|\le \underset{\left|y\right|\le R}{sup}\left|\frac{\sigma \left(y\right)}{{\sigma}^{s}}\right|+1=M<\infty .$$

Putting these together, we have

$$\underset{\left|y\right|\le R}{sup}{\gamma}_{4}^{\Delta t}\left(y\right)\le 3{c}^{4}{\left({\sigma}^{s}\right)}^{4}{(M+1)}^{4}\Delta t\to 0\phantom{\rule{1.em}{0ex}}\mathrm{as}\phantom{\rule{3.33333pt}{0ex}}\Delta t\to 0.$$

Thus, condition (iii) is satisfied.

Before we prove Proposition 3, some preparation needs to be done. Equation (20) is equivalent to:

$$\begin{array}{cc}& \u230a\frac{y}{\Delta y}\u230b+\u230a\frac{-\lambda (y-m)\Delta t}{\Delta y}+0.5\u230b-\u230a\frac{\xi \sqrt{y}}{{\sigma}^{s}}+0.5\u230b-\u230a\frac{{y}^{min}}{\Delta y}\u230b\hfill \\ \hfill =& \u230a\frac{y}{\Delta y}\u230b+\u230a\frac{-\lambda (y-m)\Delta t}{\Delta y}+0.5\u230b-\u230a\frac{\xi c\sqrt{\Delta t}\sqrt{y}}{\Delta y}+0.5\u230b-\u230a\frac{{y}^{min}}{\Delta y}\u230b\ge 0\hfill \end{array}$$

Likewise, (21) is equivalent to:

$$\begin{array}{c}\hfill \u230a\frac{-\lambda (y-m)\Delta t}{\Delta y}+0.5\u230b-\u230a\frac{\xi c\sqrt{\Delta t}\sqrt{y}}{\Delta y}+0.5\u230b\ge 0\end{array}$$

Since dealing with the floor functions is cumbersome, the following lemma enables us to consider the sufficient conditions without the floor functions that imply (A7a) and (A7b).

Suppose ${a}_{1},\cdots ,{a}_{4}\in \mathbb{R}$. The following two statements are true:

- (a)
- If ${a}_{1}+{a}_{2}-{a}_{3}-{a}_{4}\ge 1$, then $\lfloor {a}_{1}\rfloor +\lfloor {a}_{2}+0.5\rfloor -\lfloor {a}_{3}+0.5\rfloor -\lfloor {a}_{4}\rfloor \ge 0$.
- (b)
- If ${a}_{2}-{a}_{3}\ge 0$, then $\lfloor {a}_{2}+0.5\rfloor -\lfloor {a}_{3}+0.5\rfloor \ge 0$.

Let ${n}_{1}=\lfloor {a}_{1}\rfloor $, ${n}_{2}=\lfloor {a}_{2}+0.5\rfloor $, ${n}_{3}=\lfloor {a}_{3}+0.5\rfloor $, and ${n}_{4}=\lfloor {a}_{4}\rfloor $. This implies that ${a}_{1}\in [{n}_{1},{n}_{1}+1)$, ${a}_{2}\in [{n}_{2}-0.5,{n}_{2}+0.5)$, ${a}_{3}\in [{n}_{3}-0.5,{n}_{3}+0.5)$, and ${a}_{4}\in [{n}_{4},{n}_{4}+1)$.

- (a)
- We have ${a}_{1}+{a}_{2}-{a}_{3}-{a}_{4}\in ({n}_{1}+{n}_{2}-{n}_{3}-{n}_{4}-2,\phantom{\rule{0.277778em}{0ex}}{n}_{1}+{n}_{2}-{n}_{3}-{n}_{4}+2)$. If ${n}_{1}+{n}_{2}-{n}_{3}-{n}_{4}<0$, i.e., ${n}_{1}+{n}_{2}-{n}_{3}-{n}_{4}\le -1$, then ${a}_{1}+{a}_{2}-{a}_{3}-{a}_{4}<1$. This means that ${a}_{1}+{a}_{2}-{a}_{3}-{a}_{4}\ge 1$ implies ${n}_{1}+{n}_{2}-{n}_{3}-{n}_{4}\ge 0$.
- (b)
- Similarly, ${a}_{2}-{a}_{3}\in ({n}_{2}-{n}_{3}-1,\phantom{\rule{0.277778em}{0ex}}{n}_{2}-{n}_{3}+1)$. If ${n}_{2}-{n}_{3}<0$, i.e., ${n}_{2}-{n}_{3}\le -1$, then ${a}_{2}-{a}_{3}<0$. This means that, if ${a}_{2}-{a}_{3}\ge 0$, then ${n}_{2}-{n}_{3}\ge 0$.

□

Using Lemma A2, we consider the sufficient condition of (A7a) as follows:
which is equivalent to

$$\frac{y}{\Delta y}+\frac{-\lambda (y-m)\Delta t}{\Delta y}-\frac{\xi c\sqrt{\Delta t}\sqrt{y}}{\Delta y}-\frac{{y}^{min}}{\Delta y}\ge 1,$$

$$(1-\lambda \Delta t)y-\xi c\sqrt{\Delta t}\sqrt{y}+(\lambda m\Delta t-{y}^{min}-\Delta y)\ge 0.$$

We want to show that ${y}^{min}>0$ exists such that (A9) holds for all $y\ge 0$. Then, using Lemma A2(a), this implies that (20) holds for all $y\ge 0$.

For (A7b), we consider the following sufficient condition using Lemma A2(b):
which is equivalent to

$$\frac{\lambda (m-\Delta y)\Delta t}{\Delta y}-\frac{\xi c\sqrt{\Delta y}\sqrt{\Delta t}}{\Delta y}=\frac{-\Delta t}{\Delta y}(\Delta y+\frac{\xi c}{\sqrt{\Delta t}}\sqrt{\Delta y}-\lambda m)\ge 0,$$

$$\Delta y+\frac{\xi c}{\sqrt{\Delta t}}\sqrt{\Delta y}\le \lambda m.$$

The following two statements are true:

- (a)
- Given $a,b,d\in \mathbb{R}$, if $a>0$, $b>0$, $d>0$, and ${b}^{2}\le 4ad$, then $ay-b\sqrt{y}+d\ge 0$ for $\forall y\ge 0$.
- (b)
- If ${\alpha}_{1}\ge 0$ and ${\alpha}_{2}>0$, then $y+{\alpha}_{1}\sqrt{y}\le {\alpha}_{2}$ has a solution $y>0$.

- (a)
- Given $a,b,d\in \mathbb{R}$, $a>0$, $b>0$, $d>0$, and ${b}^{2}\le 4ad$, consider $f\left(y\right)={a}^{2}{y}^{2}+(2ad-{b}^{2})y+{d}^{2}$. Note that $f\left(y\right)$ is a quadratic convex function. Consider two cases: (I) If ${b}^{2}\le 2ad$, then ${f}^{\prime}\left(0\right)=2ad-{b}^{2}\ge 0$; $f\left(y\right)$ is increasing and is positive for $\forall y\ge 0$. (II) If $2ad<{b}^{2}\le 4ad$, f has a local minimum at ${y}^{*}=({b}^{2}-2ad)/\left(2{a}^{2}\right)>0$ with objective value $f\left({y}^{*}\right)={b}^{2}(4ad-{b}^{2})/\left(4{a}^{2}\right)\ge 0$. Both cases imply that $f\left(y\right)\ge 0$, $\forall y\ge 0$. Since $a>0$ and $d>0$, $f\left(y\right)={a}^{2}{y}^{2}+(2ad-{b}^{2})y+{d}^{2}\ge 0,\phantom{\rule{0.277778em}{0ex}}\forall y\ge 0$ implies that $ay+d\ge b\sqrt{y},\phantom{\rule{0.277778em}{0ex}}\forall y\ge 0$.
- (b)
- When $y=0$, the left-hand-side of $y+{\alpha}_{1}\sqrt{y}=0<{\alpha}_{2}$. Therefore, by continuity, there exists some $y>0$ to satisfy the inequality $y+{\alpha}_{1}\sqrt{y}\le {\alpha}_{2}$.

□

Now, we are ready to prove Proposition 3 using Lemmas A2 and A3. Let $a=1-\lambda \Delta t$, $b=\xi c\sqrt{\Delta t}$, $d=\lambda m\Delta t-{y}_{min}-\Delta y$, where $\Delta y$ is from (19). From Lemma A3(a), if $a=1-\lambda \Delta t>0$, which is condition (i) of Proposition 3, and ${b}^{2}\le 4ad$, then (A9) holds for $\forall y\ge 0$, which further implies that (20) holds for $\forall y\ge 0$. Now, consider the following equivalent statements:

$$\begin{array}{ccc}& & {b}^{2}\le 4ad\hfill \end{array}$$

$$\begin{array}{ccc}& \iff & {\xi}^{2}{c}^{2}\Delta t\le 4(1-\lambda \Delta t)(\lambda m\Delta t-{y}_{min}-\frac{\xi c}{max(\underline{h}-0.5,1)}\sqrt{{y}_{min}}\sqrt{\Delta t})\hfill \end{array}$$

$$\begin{array}{ccc}& \iff & {y}^{min}+\frac{\xi c\sqrt{\Delta t}}{max(\underline{h}-0.5,1)}\sqrt{{y}^{min}}\le \Delta t\left(\lambda m-\frac{{\xi}^{2}{c}^{2}}{4(1-\lambda \Delta t)}\right).\hfill \end{array}$$

Using Lemma A3(b), ${y}^{min}>0$ exists if the right-hand side of (A14) is strictly positive. That is,
which is given by condition (ii) of Proposition 3. Suppose a feasible ${y}^{min}={\tilde{y}}_{a}>0$ is found that satisfies (A14). Using Lemma A2(a) and Lemma A3(a), we conclude ${y}^{min}>0$ exists such that (20) holds for $\forall y\ge 0$.

$$\lambda m>\frac{{\xi}^{2}{c}^{2}}{4(1-\lambda \Delta t)},$$

Using ${y}^{min}={\tilde{y}}_{a}$ to evaluate $\Delta y$ from (19), if ${\tilde{y}}_{a}\ge \Delta y$, we are done. Otherwise, $k(\Delta y)-h(\Delta y)\ge 0$ is imposed as given in (21), which is reduced to (A11). Using Lemma A3(b), it is clear that $\Delta y>0$ exists to ensure (A11). However, to ensure that ${y}^{min}<\Delta y$, from (19), the following upper bound of $\Delta y$ must also be imposed:

$$\Delta y<{\xi}^{2}{c}^{2}\Delta t/max{(\underline{h}-0.5,1)}^{2}$$

Using Lemma A3(b) again, it is clear that a $\Delta y>0$ exists that also meets (A16). Since $\Delta y$ is a function of ${y}^{min}$ from (19), we conclude that a ${y}^{min}>0$ exists, say ${y}^{min}={\tilde{y}}_{b}$, such that (21) holds. Since ${\tilde{y}}_{b}<{\tilde{y}}_{a}$, it is clear that ${\tilde{y}}_{a}$ also meets (A14). Therefore, both (A7a) and (A7b) hold with ${y}^{min}={\tilde{y}}_{b}$.

To sum up, given conditions (i) and (ii) of Proposition 3, ${y}^{min}>0$ exists (e.g., equal to $min({\tilde{y}}_{a},{\tilde{y}}_{b})>0$). This means that the entire lattice can be well contained in ${\mathbb{R}}^{+}$.

Given Feller’s condition $\lambda m\ge 0.5{\xi}^{2}$, we want to show there exists a lattice configuration $(\Delta t,\underline{h},c)$ such that ${c}^{2}/(1-\lambda \Delta t)\le 2$. To do so, we choose a small $\Delta t>0$ such that $\lambda \Delta t<0.5$, i.e., $2(1-\lambda \Delta t)>1$. We also choose a big $\underline{h}$ such that ${c}^{2}$ is very close to 1 while still being greater than 1 based on (16), and furthermore $2(1-\lambda \Delta t)\ge {c}^{2}>1$. This would imply $1-\lambda \Delta t>0$, which is condition (i) of Proposition 3; and
which is condition (ii) of Proposition 3. The result follows from Proposition 3.

$$\lambda m\ge 0.5{\xi}^{2}\ge \frac{{c}^{2}}{4(1-\lambda \Delta t)}{\xi}^{2},$$

The proof for the two-factor case is in the same spirit as the one-factor case treated in Section A.2. For the two-factor lattice $({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})$, define

$$\begin{array}{ccc}{\alpha}_{l}^{\Delta t}({y}_{1},{y}_{2})\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[({Y}_{l,t+\Delta t}^{\Delta t}-{y}_{l})\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})],\phantom{\rule{3.33333pt}{0ex}}l=1,2,\phantom{\rule{5.69054pt}{0ex}}\hfill \\ {\beta}_{l}^{\Delta t}({y}_{1},{y}_{2})\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[{({Y}_{l,t+\Delta t}^{\Delta t}-{y}_{l})}^{2}\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})],\phantom{\rule{3.33333pt}{0ex}}l=1,2,\phantom{\rule{5.69054pt}{0ex}}\hfill \\ {\delta}^{\Delta t}({y}_{1},{y}_{2})\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[({Y}_{1,t+\Delta t}^{\Delta t}-{y}_{1})({Y}_{2,t+\Delta t}^{\Delta t}-{y}_{2})\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})],\phantom{\rule{5.69054pt}{0ex}}\hfill \\ {\gamma}_{p}^{\Delta t}({y}_{1},{y}_{2})\hfill & =\hfill & {(\Delta t)}^{-1}\mathsf{E}\left[{({({Y}_{1,t+\Delta t}^{\Delta t}-{y}_{1})}^{2}+{({Y}_{2,t+\Delta t}^{\Delta t}-{y}_{2})}^{2})}^{\frac{p}{2}}\right|({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})=({y}_{1},{y}_{2})].\hfill \end{array}$$

With the above definitions, we may restate Lemma 8.2 of Durrett (1996) for the two-factor case as follows.

Suppose that $({Y}_{1,0}^{\Delta t},{Y}_{2,0}^{\Delta t})=({Y}_{1,0},{Y}_{2,0})$. If there exists a $p\ge 2$ and for all $R<\infty $, we have
then $({Y}_{1,t}^{\Delta t},{Y}_{2,t}^{\Delta t})$ converges weakly to $({Y}_{1,t},{Y}_{2,t})$ as $\Delta t\to 0$.

$$\begin{array}{cc}\left(i\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|\right({y}_{1},{y}_{2}\left)\right|\le R}{sup}|{\alpha}_{l}^{\Delta t}({y}_{1},{y}_{2})-{\mu}_{l}({y}_{1},{y}_{2})|=0,\phantom{\rule{3.33333pt}{0ex}}l=1,2,\phantom{\rule{42.67912pt}{0ex}}\phantom{\rule{5.69054pt}{0ex}}}\hfill \\ \left(ii\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|\right({y}_{1},{y}_{2}\left)\right|\le R}{sup}|{\beta}_{l}^{\Delta t}({y}_{1},{y}_{2})-{\sigma}_{l}^{2}({y}_{1},{y}_{2})|=0,\phantom{\rule{3.33333pt}{0ex}}l=1,2,\phantom{\rule{5.69054pt}{0ex}}}\hfill \\ & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|\right({y}_{1},{y}_{2}\left)\right|\le R}{sup}|{\delta}^{\Delta t}({y}_{1},{y}_{2})-\rho ({y}_{1},{y}_{2}){\sigma}_{1}({y}_{1},{y}_{2}){\sigma}_{2}({y}_{1},{y}_{2})|=0,\phantom{\rule{5.69054pt}{0ex}}}\hfill \\ \left(iii\right)\hfill & {\displaystyle \underset{\Delta t\downarrow 0}{lim}\underset{\left|\right({y}_{1},{y}_{2}\left)\right|\le R}{sup}{\gamma}_{p}^{\Delta t}({y}_{1},{y}_{2})=0,}\hfill \end{array}$$

The proof of Proposition 5 requires the above three conditions. Conditions (i) and (ii) are true because (25a)–(25d) hold. To check condition (iii) with $p=4$, we observe that
where ${n}_{1},{n}_{2}\in \{-1,0,1\}$. Using an argument similar to Section A.2, we conclude that, for a given $R<\infty $, there exists a constant $M<\infty $ such that ${\gamma}_{4}^{\Delta t}({y}_{1},{y}_{2})\le M\Delta t$ for all lattice nodes with $\left|\right({y}_{1},{y}_{2}\left)\right|<R$. This shows that condition (iii) is satisfied.

$$\begin{array}{ccc}{\gamma}_{4}^{\Delta t}({y}_{1},{y}_{2})\hfill & =\hfill & {\displaystyle {(\Delta t)}^{-1}\sum _{i,j\in \Omega}{p}_{ij}{\left[{(({k}_{1}+{n}_{1}{h}_{1})\Delta {y}_{1})}^{2}+{(({k}_{2}+{n}_{2}{h}_{2})\Delta {y}_{2})}^{2}\right]}^{2}\phantom{\rule{0.0pt}{0ex}}}\hfill \\ & \le \hfill & {(\Delta t)}^{-1}9{\left[{(({k}_{1}+{h}_{1})\Delta {y}_{1})}^{2}+{(({k}_{2}+{h}_{2})\Delta {y}_{2})}^{2}\right]}^{2},\hfill \end{array}$$

- (i)
- First, observe from (15a)–(15c) that replacing $\u03f5$ by $-\u03f5$ is equivalent to switching ${p}_{\mathrm{u}}$ and ${p}_{\mathrm{d}}$. Consider the optimization problem of ${R}^{max}$ with a feasible solution of $\left\{{p}_{ij}\right\},i,j\in \Omega $, as shown in Figure A1. The objective function is ${p}_{\mathrm{uu}}+{p}_{\mathrm{dd}}-{p}_{\mathrm{ud}}-{p}_{\mathrm{du}}$, which is the sum of the northwest and southeast corner elements minus the sum of the other two corner elements. It can be seen that switching the first and the third columns (i.e., replacing ${\tilde{p}}_{2\mathrm{u}}$ and ${\tilde{p}}_{2\mathrm{d}}$), and the first and the third rows (i.e., replacing ${\tilde{p}}_{1\mathrm{u}}$ and ${\tilde{p}}_{1\mathrm{d}}$), yields the same objective value. This implies that ${R}^{max}({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})={R}^{max}(-{\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},-{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})$.
- (ii)
- Continuing the argument in (i), if one only switches the first and the third columns or the first and the third rows, the objective value will still be the same but with a different sign. Therefore, ${R}^{max}({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})=-{R}^{min}({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},-{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})=-{R}^{min}(-{\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})$.
- (iii)
- From (ii), it is clear that$$\begin{array}{ccc}& & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{max}({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(-{R}^{min}(-{\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill -\underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{max}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{min}(-{\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})-\frac{(-{\u03f5}_{1}){\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill -\underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{max}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left({R}^{min}({\u03f5}_{1},{x}_{1},{\gamma}_{1},{h}_{1},{\u03f5}_{2},{x}_{2},{\gamma}_{2},{h}_{2})-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\end{array}$$In (A18d), we use the fact that ${\u03f5}_{1}\in [-0.5,0.5]$; thus, replacing $-{\u03f5}_{1}$ by ${\u03f5}_{1}$ will not affect the result of the optimization.

See the proof of Lemma 2 in Tseng and Lin (2007).

Let ${f}_{0}\left(z\right)\equiv min({f}_{1}\left(z\right),\cdots ,{f}_{n}\left(z\right))$, and ${z}^{i}\equiv arg{min}_{z\in D}{f}_{i}\left(z\right)$, $i=0,\cdots ,n$. For simplicity, we assume ${f}_{1}\left({z}^{1}\right)\le {f}_{i}\left({z}^{i}\right)$, $\forall i=1,\cdots ,n$. We want to show ${f}_{0}\left({z}^{0}\right)={f}_{1}\left({z}^{1}\right)$.

By the definition of ${z}^{i}$, $i=1,\cdots ,n$, we have ${f}_{1}\left({z}^{1}\right)=min\{{f}_{1}\left({z}^{1}\right),\cdots ,{f}_{n}\left({z}^{1}\right)\}={f}_{0}\left({z}^{1}\right)$. Thus, ${f}_{1}\left({z}^{1}\right)\ge {f}_{0}\left({z}^{0}\right)$. Furthermore, we have ${f}_{i}\left({z}^{i}\right)\le {f}_{i}\left({z}^{0}\right)$, $i=1,\cdots ,n$. Thus, $min\{{f}_{1}\left({z}^{1}\right),\cdots ,{f}_{n}\left({z}^{n}\right)\}\le min\{{f}_{1}\left({z}^{0}\right),\cdots ,{f}_{n}\left({z}^{0}\right)\}$. This means that ${f}_{1}\left({z}^{1}\right)\le {f}_{0}\left({z}^{0}\right)$. Thus, we conclude that ${f}_{0}\left({z}^{0}\right)={f}_{1}\left({z}^{1}\right)$.

We consider the six cases of ${R}_{i}^{max}$, $i=1,\cdots ,6$, given in Proposition 7.

- (i)
- ${R}_{1}^{max}={\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{1\mathrm{d}}$. From (31), we consider the following optimization problem:$$\begin{array}{ccc}& & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}({R}_{1}^{max}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}})\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\u03f5}_{1}^{2}}{{h}_{1}^{2}}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}})\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\varphi}_{1}^{2}}{{h}_{1}^{2}}-\frac{{\varphi}_{1}}{2{h}_{1}{h}_{2}})\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill {w}_{1},\end{array}$$
- (ii)
- This is a symmetric case for case (i) by exchanging the factor indices, 1 and 2.
- (iii)
- ${R}_{3}^{max}={\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{2\mathrm{d}}$, we have$$\begin{array}{ccc}& & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}({R}_{3}^{max}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}})\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}[\frac{1}{2}\left(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\u03f5}_{1}^{2}}{{h}_{1}^{2}}+\frac{{\u03f5}_{1}}{{h}_{1}}\right)+\\ & & \hfill \phantom{\rule{54.06006pt}{0ex}}\frac{1}{2}\left(\frac{{\gamma}_{2}^{2}}{{c}_{2}^{2}}+\frac{{\u03f5}_{2}^{2}}{{h}_{2}^{2}}-\frac{{\u03f5}_{2}}{{h}_{2}}\right)-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}]\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}[\frac{1}{2}\left({(\frac{{\u03f5}_{1}}{{h}_{1}}-\frac{{\u03f5}_{2}}{{h}_{2}}+\frac{1}{2})}^{2}-\frac{1}{4}\right)+\\ & & \hfill \phantom{\rule{54.06006pt}{0ex}}\frac{1}{2}\left(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\gamma}_{2}^{2}}{{c}_{2}^{2}}\right)]\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left[\frac{1}{8}({\varphi}_{3}^{2}-1)+\frac{1}{2}\left(\frac{{\gamma}_{1}^{2}}{{c}_{1}^{2}}+\frac{{\gamma}_{2}^{2}}{{c}_{2}^{2}}\right)\right]\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill {w}_{3}.\end{array}$$Again, in (A20d), we optimize over $({\u03f5}_{1},{\u03f5}_{2})$ first, and the optimal solution is achieved at $({\u03f5}_{1},{\u03f5}_{2})=(-0.5,0.5)$ with ${\varphi}_{3}=max\{1-1/{h}_{1}-1/{h}_{2},0\}$.
- (iv)
- ${R}_{4}^{max}=1-({\tilde{p}}_{1\mathrm{d}}-{\tilde{p}}_{2\mathrm{d}})-({\tilde{p}}_{2\mathrm{u}}-{\tilde{p}}_{1\mathrm{u}})$. Repeat the same process and we have$$\begin{array}{ccc}& & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}({R}_{4}^{max}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}})\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(1+\frac{{\u03f5}_{1}}{{h}_{1}}-\frac{{\u03f5}_{2}}{{h}_{2}}-\frac{{\u03f5}_{1}{\u03f5}_{2}}{{h}_{1}{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(1+\frac{{\u03f5}_{1}}{{h}_{1}}\right)\left(1-\frac{{\u03f5}_{2}}{{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill \underset{{\theta}_{l}\in {\Theta}_{l}\left({\underline{h}}_{l}\right)}{min}\frac{1}{{\gamma}_{1}{\gamma}_{2}}\left(1-\frac{1}{2{h}_{1}}\right)\left(1-\frac{1}{2{h}_{2}}\right)\end{array}$$$$\begin{array}{ccc}& =\hfill & \hfill {w}_{4},\end{array}$$
- (v)
- For cases associated with ${R}_{5}^{max}$ and ${R}_{6}^{max}$, they are symmetric counterparts of (iii) and (iv) by exchanging the factor indices 1 and 2. This obtains the same lower bounds as in (iii) and (iv).Summarizing all four possible cases above, we conclude that$$\overline{\rho}={c}_{1}{c}_{2}\xb7min\{{w}_{1},{w}_{2},{w}_{3},{w}_{4}\}.$$The proof is completed.

From (11) and (40), we have ${\sigma}_{1}^{s}={\sigma}_{2}^{s}/\xi $. It follows that at any node
and

$${x}_{1}=\frac{\sqrt{{y}_{2}}}{{\sigma}_{1}^{s}}=\frac{\xi \sqrt{{y}_{2}}}{{\sigma}_{2}^{s}}={x}_{2},$$

$${h}_{1}=\lfloor {x}_{1}+0.5\rfloor =\lfloor {x}_{2}+0.5\rfloor ={h}_{2}.$$

Thus,

$${\gamma}_{1}=\frac{{x}_{1}}{{h}_{1}}=\frac{{x}_{2}}{{h}_{2}}={\gamma}_{2}.$$

This proof is similar to that of Theorem 1. Six cases corresponding to ${R}_{1}^{max}$ to ${R}_{6}^{max}$ will be discussed.

- (i)
- ${R}_{1}^{max}={\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{1\mathrm{d}}$. Consider$$\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{1}^{max}({\theta}_{1},{\theta}_{2})\right)=\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{{x}^{2}}{{c}_{1}^{2}{h}^{2}}\right)=\frac{1}{{c}_{1}^{2}}$$This corresponds to ${w}_{1}^{\mathit{H}}$.
- (ii)
- ${R}_{2}^{max}={\tilde{p}}_{2\mathrm{u}}+{\tilde{p}}_{2\mathrm{d}}$. Consider$$\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{2}^{max}({\theta}_{1},{\theta}_{2})\right)=\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{{x}^{2}}{{c}_{2}^{2}{h}^{2}}+\frac{{\u03f5}_{2}^{2}}{{h}^{2}}\right)=\frac{1}{{c}_{2}^{2}},$$
- (iii)
- ${R}_{3}^{max}={\tilde{p}}_{1\mathrm{u}}+{\tilde{p}}_{2\mathrm{d}}$, we have$$\begin{array}{ccc}& & \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{3}^{max}({\theta}_{1},{\theta}_{2})\right)\hfill \end{array}$$$$\begin{array}{ccc}& =& \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{1}{2}\left(\frac{{x}^{2}}{{c}_{1}^{2}{h}^{2}}+\frac{{x}^{2}}{{c}_{2}^{2}{h}^{2}}\right)+\frac{1}{2}{\left(-\frac{{\u03f5}_{2}}{h}+\frac{1}{2}\right)}^{2}-\frac{1}{8}\right)\hfill \end{array}$$$$\begin{array}{ccc}& =& \frac{1}{2}(\frac{1}{{c}_{1}^{2}}+\frac{1}{{c}_{1}^{2}})+\underset{x,h}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{1}{2}{\left(-\frac{1}{2h}+\frac{1}{2}\right)}^{2}-\frac{1}{8}\right)\hfill \end{array}$$$$\begin{array}{ccc}& =& \frac{1}{2}(\frac{1}{{c}_{1}^{2}}+\frac{1}{{c}_{1}^{2}})+\frac{{\widehat{\underline{h}}}^{2}}{{(\widehat{\underline{h}}-0.5)}^{2}}\left(\frac{1}{2}{\left(-\frac{1}{2\widehat{\underline{h}}}+\frac{1}{2}\right)}^{2}-\frac{1}{8}\right)\hfill \end{array}$$
- (iv)
- ${R}_{4}^{max}=1-({\tilde{p}}_{1\mathrm{d}}-{\tilde{p}}_{2\mathrm{d}})-({\tilde{p}}_{2\mathrm{u}}-{\tilde{p}}_{1\mathrm{u}})$.$$\begin{array}{c}\hfill \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{4}^{max}({\theta}_{1},{\theta}_{2})\right)=\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(1-\frac{{\u03f5}_{2}}{h}\right)\end{array}$$$$\begin{array}{c}\hfill =\underset{x,h}{min}\frac{{h}^{2}}{{x}^{2}}\left(1-\frac{1}{2h}\right)=\frac{{\underline{h}}^{2}}{{(\underline{h}+0.5)}^{2}}\left(1-\frac{1}{2\underline{h}}\right)\end{array}$$
- (v)
- ${R}_{5}^{max}={\tilde{p}}_{2\mathrm{u}}+{\tilde{p}}_{1\mathrm{d}}$$$\begin{array}{ccc}& & \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{5}^{max}({\theta}_{1},{\theta}_{2})\right)\hfill \end{array}$$$$\begin{array}{ccc}& =& \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{1}{2}\left(\frac{{x}^{2}}{{c}_{1}^{2}{h}^{2}}+\frac{{x}^{2}}{{c}_{2}^{2}{h}^{2}}\right)+\frac{1}{2}{\left(\frac{{\u03f5}_{2}}{h}+\frac{1}{2}\right)}^{2}-\frac{1}{8}\right)\hfill \end{array}$$$$\begin{array}{ccc}& =& \frac{1}{2}(\frac{1}{{c}_{1}^{2}}+\frac{1}{{c}_{1}^{2}})+\underset{x,h}{min}\frac{{h}^{2}}{{x}^{2}}\left(\frac{1}{2}{\left(\frac{-1}{2h}+\frac{1}{2}\right)}^{2}-\frac{1}{8}\right)\hfill \\ & =& \frac{1}{2}(\frac{1}{{c}_{1}^{2}}+\frac{1}{{c}_{1}^{2}})+\frac{{\widehat{\underline{h}}}^{2}}{{(\widehat{\underline{h}}-0.5)}^{2}}\left(\frac{-(\widehat{\underline{h}}-0.5)}{4{\widehat{\underline{h}}}^{2}}\right),\hfill \end{array}$$
- (vi)
- ${R}_{6}^{max}=1-({\tilde{p}}_{2\mathrm{d}}-{\tilde{p}}_{1\mathrm{d}})-({\tilde{p}}_{1\mathrm{u}}-{\tilde{p}}_{2\mathrm{u}})$.$$\begin{array}{c}\hfill \underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left({R}_{6}^{max}({\theta}_{1},{\theta}_{2})\right)=\underset{x,h,{\u03f5}_{2}}{min}\frac{{h}^{2}}{{x}^{2}}\left(1+\frac{{\u03f5}_{2}}{h}\right)\end{array}$$$$\begin{array}{c}\hfill =\underset{x,h}{min}\frac{{h}^{2}}{{x}^{2}}\left(1-\frac{1}{2h}\right)=\frac{{\left(\underline{h}\right)}^{2}}{{(\underline{h}+0.5)}^{2}}\left(1-\frac{1}{2\underline{h}}\right)\end{array}$$

- Akyildirim, Erdinç, Yan Dolinsky, and H. Mete Soner. 2014. Approximating stochastic volatility by recombinant trees. The Annals of Applied Probability 24: 2176–205. [Google Scholar] [CrossRef]
- Andersen, Leif B. G. 2007. Efficient Simulation of the Heston Stochastic Volatility Model. Available online: http://ssrn.com/abstract=946405 (accessed on 21 May 2021).
- Ball, Clifford, and Antonio Roma. 1994. Stochastic volatility option pricing. Journal of Financial and Quantitative Analysis 29: 589–607. [Google Scholar] [CrossRef]
- Beliaeva, Natalia A., and Sanjay K. Nawalkha. 2010. A simple approach to price American options under the Heston stochastic volatility model. Journal of Derivatives 17: 25–43. [Google Scholar] [CrossRef]
- Boyle, Phelim P. 1986. Option valuation using a three-jump process. International Options Journal 3: 7–12. [Google Scholar]
- Boyle, Phelim P. 1988. A lattice framework for option pricing with two state variables. Journal of Financial and Quantitative Analysis 23: 1–12. [Google Scholar] [CrossRef]
- Broadie, Mark, and O¨zgu¨r Kaya. 2006. Exact simulation of stochastic volatility and other affine jump diffusion processes. Operations Research 54: 217–31. [Google Scholar] [CrossRef][Green Version]
- Burgin, Mark, and Gunter Meissner. 2012. Negative Probabilities in Financial Modeling. Wilmott Magazine 58: 60–65. [Google Scholar] [CrossRef]
- Chung, San-Lin, and Pai-Ta Shih. 2007. Generalized Cox-Ross-Rubinstein binomial models. Management Science 53: 508–20. [Google Scholar] [CrossRef]
- Costabile, Massimo, Ivar Massabo‘, and Emilio Russo. 2012. A forward shooting grid method for option pricing with stochastic volatility. Journal of Derivatives 20: 67–78. [Google Scholar] [CrossRef]
- Cox, John C., Jonathan E. Ingersoll, and Stephen A. Ross. 1985. A theory of the term structure of interest rates. Econometrica 53: 385–408. [Google Scholar] [CrossRef]
- Cox, John C., Stephen Ross, and Mark Rubinstein. 1979. Option pricing: A simplified approach. Journal of Financial Economics 7: 229–64. [Google Scholar] [CrossRef]
- Durrett, Richard. 1996. Stochastic Calculus: A Practical Introduction. Boca Raton: CRC Press Inc. [Google Scholar]
- Feller, William. 1951. Two singular diffusion problems. Annals of Mathematics 54: 173–82. [Google Scholar] [CrossRef]
- Haug, Espen Gaarder. 2007. Why so negative to negative probabilities. In Derivatives Models on Models. New York: John Wiley & Sons, Chapter 14. [Google Scholar]
- Heston, Steven L. 1993. A closed-form solutions for options with stochastic volatility with application to bond and currency options. The Review of Financial Studies 6: 327–43. [Google Scholar] [CrossRef][Green Version]
- Hull, John C., and Alan White. 1988. The use of control variate technique in option-pricing. Journal of Financial and Quantitative Analysis 23: 237–51. [Google Scholar] [CrossRef]
- Hull, John C., and Alan White. 1990. Valuing derivative securities using the explicit finite difference method. Journal of Financial and Quantitative Analysis 25: 87–100. [Google Scholar] [CrossRef]
- Hull, John C., and Alan White. 1993. One-factor interest-rate models and the valuation of interest-rate derivative securities. Journal of Financial and Quantitative Analysis 28: 235–54. [Google Scholar] [CrossRef]
- Hull, John C., and Alan White. 1994. Numerical procedures for implementing term structure models II: Two-factor models. Journal of Derivatives 2: 37–49. [Google Scholar] [CrossRef]
- Kouritzin, Michael A. 2000. Exact infinite dimensional filters and explicit solutions. In Stochastic Models. Edited by Luis G. Gorostiza and B. Gail Ivanoff. Providence: American Mathematical Society, pp. 265–82. [Google Scholar]
- Kouritzin, Michael A., and Anne Mackay. 2020. Branching particle pricers with Heston examples. International Journal of Theoretical and Applied Finance 23: 2050003. [Google Scholar] [CrossRef][Green Version]
- Longstaff, Francis A., and Eduardo S. Schwartz. 2001. Valuing American options by simulation: A simple least-squares approach. Review of Financial Studies 14: 113–47. [Google Scholar] [CrossRef][Green Version]
- Maghsoodi, Yoosef. 1996. Solutions of the extended CIR term structure and bond option valuation. Mathematical Finance 6: 89–109. [Google Scholar] [CrossRef]
- Rendleman, Richard J., and Brit J. Bartter. 1979. Two-state option pricing. Journal of Finance 34: 1093–110. [Google Scholar] [CrossRef]
- Rough, Fabrice D. 2013. The Heston Model and Its Extension in Matlab and C#. Hoboken: Wiley. [Google Scholar]
- Ruckdeschel, Peter, Tilman Sayer, and Alexander Szimayer. 2013. Pricing American options in the Heston model: A close look on incorporating correlation. Journal of Derivatives 20: 9–29. [Google Scholar] [CrossRef]
- Tseng, Chung-Li, and Kyle Lin. 2007. A framework using two-factor price lattices for generation asset valuation. Operations Research 55: 234–51. [Google Scholar] [CrossRef][Green Version]
- Zvan, R., Peter A. Forsyth, and K. R. Vetzal. 2001. Negative Coefficients in Two Factor Option Pricing Models. Working Paper. Available online: https://cs.uwaterloo.ca/~paforsyt/posmesh3.pdf (accessed on 21 May 2021).

$({\underline{\mathit{h}}}_{1},{\underline{\mathit{h}}}_{2})$ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|

1 | 0.3333 | 0.4957 | 0.5544 | 0.5866 | 0.6076 | 0.6222 | 0.6319 | 0.6343 | 0.6362 | 0.6376 |

2 | 0.6399 | 0.6892 | 0.7156 | 0.7327 | 0.7450 | 0.7539 | 0.7610 | 0.7668 | 0.7714 | |

3 | 0.7401 | 0.7661 | 0.7834 | 0.7947 | 0.8050 | 0.8112 | 0.8170 | 0.8212 | ||

4 | 0.7949 | 0.8124 | 0.8235 | 0.8321 | 0.8393 | 0.8450 | 0.8499 | |||

5 | 0.8302 | 0.8414 | 0.8504 | 0.8571 | 0.8633 | 0.8682 | ||||

6 | 0.8551 | 0.8628 | 0.8707 | 0.8751 | 0.8798 | |||||

7 | 0.8735 | 0.8797 | 0.8856 | 0.8898 | ||||||

8 | 0.8878 | 0.8919 | 0.8961 | |||||||

9 | 0.8991 | 0.9033 | ||||||||

10 | 0.9084 |

${\underline{\mathit{h}}}_{1}={\underline{\mathit{h}}}_{2}$ | ${\mathit{\rho}}_{max}({\underline{\mathit{h}}}_{1},{\underline{\mathit{h}}}_{2})$ | $({\mathit{c}}_{1}^{*},{\mathit{c}}_{2}^{*})$ |
---|---|---|

1 | 0.3333 | (1.7321, 1.7321) |

2 | 0.6397 | (1.3340, 1.3340) |

3 | 0.7400 | (1.2052, 1.2052) |

4 | 0.7949 | (1.1469, 1.1469) |

5 | 0.8320 | (1.1145, 1.1145) |

6 | 0.8551 | (1.0931, 1.0931) |

7 | 0.8735 | (1.0792, 1.0792) |

8 | 0.8878 | (1.0686, 1.0686) |

9 | 0.8991 | (1.0602, 1.0602) |

10 | 0.9084 | (1.0543, 1.0543) |

$\underline{\mathit{h}}$ | ${\mathit{\rho}}_{max}^{\mathit{H}}\left(\underline{\mathit{h}}\right)$ | $({\mathit{c}}_{1}^{\mathit{H}},{\mathit{c}}_{2}^{\mathit{H}})$ | $\underline{\mathit{h}}$ | ${\mathit{\rho}}_{max}^{\mathit{H}}\left(\underline{\mathit{h}}\right)$ | $({\mathit{c}}_{1}^{\mathit{H}},{\mathit{c}}_{2}^{\mathit{H}})$ |
---|---|---|---|---|---|

1 | 0.5000 | (1.7321, 1.7321) | 6 | 0.9453 | (1.0871, 1.1133) |

2 | 0.7222 | (1.2910, 1.2910) | 7 | 0.9549 | (1.0742, 1.0989) |

3 | 0.8596 | (1.1832, 1.1866) | 8 | 0.9616 | (1.0646, 1.0877) |

4 | 0.9065 | (1.1339, 1.1564) | 9 | 0.9667 | (1.0572, 1.0787) |

5 | 0.9308 | (1.1055, 1.1319) | 10 | 0.9705 | (1.0513, 1.0714) |

In-the-Money (ITM) | At-the-Money (ATM) | Out-of-the-Money (OTM) | Infeasibility (%) | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|

$\mathit{\rho}$ | Exact | Best-Fit | H&W | Exact | Best-Fit | H&W | Exact | Best-Fit | H&W | Best-Fit | H&W |

0.8 | 21.5729 | 21.5704 | 21.9341 | 9.8203 | 9.8259 | 9.7892 | 4.3276 | 4.3337 | 3.9417 | 0 | 99.79 |

0.7 | 21.6637 | 21.6620 | 21.9489 | 9.8140 | 9.8194 | 9.7859 | 4.2401 | 4.2454 | 3.9227 | 0 | 1.03 |

0.6 | 21.7499 | 21.7490 | 21.9495 | 9.8060 | 9.8107 | 9.7854 | 4.1509 | 4.1553 | 3.9221 | 0 | 0.21 |

0.5 | 21.8320 | 21.8313 | 21.9926 | 9.7965 | 9.8010 | 9.7776 | 4.0600 | 4.0640 | 3.8665 | 0 | 0.21 |

0.4 | 21.9104 | 21.9100 | 22.0347 | 9.7853 | 9.7903 | 9.7694 | 3.9672 | 3.9710 | 3.8103 | 0 | 0.11 |

0.3 | 21.9854 | 21.9853 | 22.0757 | 9.7726 | 9.7779 | 9.7606 | 3.8725 | 3.8760 | 3.7534 | 0 | 0.00 |

0.2 | 22.0571 | 22.0575 | 22.1158 | 9.7584 | 9.7640 | 9.7514 | 3.7757 | 3.7790 | 3.6958 | 0 | 0.00 |

0.1 | 22.1260 | 22.1267 | 22.1549 | 9.7428 | 9.7485 | 9.7417 | 3.6769 | 3.6798 | 3.6375 | 0 | 0.00 |

0.0 | 22.1920 | 22.1931 | 22.1931 | 9.7256 | 9.7315 | 9.7315 | 3.5759 | 3.5784 | 3.5784 | 0 | 0.00 |

−0.1 | 22.2555 | 22.2569 | 22.2304 | 9.7070 | 9.7129 | 9.7210 | 3.4726 | 3.4747 | 3.5186 | 0 | 0.00 |

−0.2 | 22.3165 | 22.3183 | 22.2669 | 9.6870 | 9.6928 | 9.7101 | 3.3668 | 3.3684 | 3.4579 | 0 | 0.00 |

−0.3 | 22.3752 | 22.3773 | 22.3026 | 9.6655 | 9.6712 | 9.6987 | 3.2584 | 3.2596 | 3.3964 | 0 | 0.00 |

−0.4 | 22.4317 | 22.4341 | 22.3375 | 9.6425 | 9.6481 | 9.6869 | 3.1472 | 3.1480 | 3.3339 | 0 | 0.11 |

−0.5 | 22.4861 | 22.4888 | 22.3717 | 9.6181 | 9.6234 | 9.6745 | 3.0330 | 3.0334 | 3.2706 | 0 | 0.21 |

−0.6 | 22.5386 | 22.5414 | 22.4051 | 9.5922 | 9.5969 | 9.6617 | 2.9157 | 2.9156 | 3.2063 | 0 | 0.21 |

−0.7 | 22.5891 | 22.5925 | 22.4052 | 9.5647 | 9.5700 | 9.6619 | 2.7949 | 2.7940 | 3.2057 | 0 | 1.03 |

−0.8 | 22.6379 | 22.6415 | 22.4165 | 9.5357 | 9.5410 | 9.6579 | 2.6703 | 2.6687 | 3.1832 | 0 | 99.79 |

No. of Time Steps $\left(\mathit{N}\right)$ | 10 | 20 | 30 | 40 |
---|---|---|---|---|

RMSE | 0.0061 | 0.0027 | 0.0024 | 0.0013 |

${\mathit{S}}_{0}$ | $\mathit{\rho}$ | ${\mathit{V}}_{0}$ | T | Best-Fit | Best-Fit CV | B&N Tree | B&N Tree CV | Euro Put | Error | Error |
---|---|---|---|---|---|---|---|---|---|---|

$(\mathit{N}=50)$ | $(\mathit{N}=50)$ | $(\mathit{N}=50)$ | $(\mathit{N}=50)$ | True Value | (Best-Fit) | (B&N Tree) | ||||

90 | −0.1 | 0.04 | 0.0833 | 10.0000 | 9.9996 | 10.0000 | 10.0001 | 9.6699 | 0.0004 | 0.0001 |

90 | −0.7 | 0.04 | 0.0833 | 10.0000 | 10.0010 | 10.0000 | 9.9996 | 9.6533 | 0.0010 | 0.0004 |

100 | −0.1 | 0.04 | 0.0833 | 2.1253 | 2.1262 | 2.1257 | 2.1249 | 2.0950 | 0.0009 | 0.0008 |

100 | −0.7 | 0.04 | 0.0833 | 2.1279 | 2.1274 | 2.1250 | 2.1263 | 2.0971 | 0.0006 | 0.0013 |

110 | −0.1 | 0.04 | 0.0833 | 0.1092 | 0.1090 | 0.1087 | 0.1090 | 0.1083 | 0.0002 | 0.0003 |

110 | −0.7 | 0.04 | 0.0833 | 0.1259 | 0.1275 | 0.1282 | 0.1273 | 0.1265 | 0.0016 | 0.0009 |

90 | −0.1 | 0.16 | 0.0833 | 10.7103 | 10.7109 | 10.7195 | 10.7099 | 10.5957 | 0.0006 | 0.0096 |

90 | −0.7 | 0.16 | 0.0833 | 10.6858 | 10.6829 | 10.6709 | 10.6800 | 10.5668 | 0.0030 | 0.0091 |

100 | −0.1 | 0.16 | 0.0833 | 4.2187 | 4.2166 | 4.2275 | 4.2163 | 4.1859 | 0.0021 | 0.0112 |

100 | −0.7 | 0.16 | 0.0833 | 4.2196 | 4.2156 | 4.2184 | 4.2147 | 4.1852 | 0.0040 | 0.0037 |

110 | −0.1 | 0.16 | 0.0833 | 1.1721 | 1.1667 | 1.1667 | 1.1669 | 1.1608 | 0.0053 | 0.0002 |

110 | −0.7 | 0.16 | 0.0833 | 1.1962 | 1.1944 | 1.2176 | 1.1942 | 1.1882 | 0.0018 | 0.0234 |

90 | −0.1 | 0.04 | 0.2500 | 10.1653 | 10.1654 | 10.1678 | 10.1663 | 9.6430 | 0.0002 | 0.0015 |

90 | −0.7 | 0.04 | 0.2500 | 10.1197 | 10.1208 | 10.1162 | 10.1207 | 9.5698 | 0.0010 | 0.0045 |

100 | −0.1 | 0.04 | 0.2500 | 3.4750 | 4.4765 | 3.4736 | 3.4727 | 3.3684 | 0.0014 | 0.0009 |

100 | −0.7 | 0.04 | 0.2500 | 3.4848 | 3.4816 | 3.4803 | 3.4801 | 3.3770 | 0.0032 | 0.0002 |

110 | −0.1 | 0.04 | 0.2500 | 0.7725 | 0.7729 | 0.7722 | 0.7730 | 0.7584 | 0.0003 | 0.0008 |

110 | −0.7 | 0.04 | 0.2500 | 0.8429 | 0.8417 | 0.8462 | 0.8412 | 0.8259 | 0.0012 | 0.0050 |

90 | −0.1 | 0.16 | 0.2500 | 12.1895 | 12.1773 | 12.1898 | 12.1752 | 11.8933 | 0.0122 | 0.0146 |

90 | −0.7 | 0.16 | 0.2500 | 12.1256 | 12.1135 | 12.0626 | 12.1061 | 11.8287 | 0.0121 | 0.0435 |

100 | −0.1 | 0.16 | 0.2500 | 6.5014 | 6.4937 | 6.5027 | 6.4936 | 6.3755 | 0.0077 | 0.0091 |

100 | −0.7 | 0.16 | 0.2500 | 6.4986 | 6.4898 | 6.4855 | 6.4908 | 6.3735 | 0.0089 | 0.0053 |

110 | −0.1 | 0.16 | 0.2500 | 3.0985 | 3.0900 | 3.0874 | 3.0900 | 3.0451 | 0.0085 | 0.0026 |

110 | −0.7 | 0.16 | 0.2500 | 3.1550 | 3.1453 | 3.1731 | 3.1479 | 3.1011 | 0.0097 | 0.0252 |

90 | −0.1 | 0.04 | 0.5000 | 10.6472 | 10.6466 | 10.6431 | 10.6422 | 9.8582 | 0.0006 | 0.0009 |

90 | −0.7 | 0.04 | 0.5000 | 10.5627 | 10.5636 | 10.5575 | 10.5609 | 9.7572 | 0.0009 | 0.0034 |

100 | −0.1 | 0.04 | 0.5000 | 4.6481 | 4.6492 | 4.6445 | 4.6439 | 4.4126 | 0.0011 | 0.0006 |

100 | −0.7 | 0.04 | 0.5000 | 4.6685 | 4.6636 | 4.6672 | 4.6610 | 4.4312 | 0.0050 | 0.0062 |

110 | −0.1 | 0.04 | 0.5000 | 1.6812 | 1.6812 | 1.6804 | 1.6813 | 1.6220 | 0.0001 | 0.0009 |

110 | −0.7 | 0.04 | 0.5000 | 1.7906 | 1.7872 | 1.7950 | 1.7856 | 1.7240 | 0.0034 | 0.0094 |

90 | −0.1 | 0.16 | 0.5000 | 13.3245 | 13.3089 | 13.2938 | 13.2944 | 12.7057 | 0.0155 | 0.0006 |

90 | −0.7 | 0.16 | 0.5000 | 13.2393 | 13.2230 | 13.0958 | 13.1731 | 12.6171 | 0.0162 | 0.0773 |

100 | −0.1 | 0.16 | 0.5000 | 8.0210 | 8.0041 | 7.9928 | 7.9943 | 7.6974 | 0.0168 | 0.0015 |

100 | −0.7 | 0.16 | 0.5000 | 8.0174 | 8.0001 | 7.9432 | 7.9810 | 7.6965 | 0.0174 | 0.0378 |

110 | −0.1 | 0.16 | 0.5000 | 4.5590 | 4.5430 | 4.5221 | 4.5383 | 4.3942 | 0.0160 | 0.0162 |

110 | −0.7 | 0.16 | 0.5000 | 4.6343 | 4.6188 | 4.5972 | 4.6118 | 4.4716 | 0.0155 | 0.0146 |

RMSE | 0.0080 | 0.0181 |

No. of Wins (%) | RMSE | ||||
---|---|---|---|---|---|

Category | No. of Cases | Best-Fit | B&N Tree | Best-Fit | B&N Tree |

Overall | 36 | 22 (61%) | 14 (39%) | 0.0080 | 0.0181 |

$\rho =-0.1$ | 18 | 10 (56%) | 8 (44%) | 0.0078 | 0.0066 |

$\rho =-0.7$ | 18 | 12 (67%) | 6 (33%) | 0.0082 | 0.0247 |

${V}_{0}>m$ | 18 | 11 (61%) | 7 (39%) | 0.0112 | 0.0254 |

${V}_{0}\le m$ | 18 | 11 (61%) | 7 (39%) | 0.0018 | 0.0033 |

In-the-money (ITM) | 12 | 9 (75%) | 3 (25%) | 0.0082 | 0.0263 |

At-the-money (ATM) | 12 | 5 (42%) | 7 (58%) | 0.0081 | 0.0120 |

Out-of-the-money (OTM) | 12 | 8 (67%) | 4 (33%) | 0.0077 | 0.0122 |

$T=1/12$ yr | 12 | 6 (50%) | 6 (50%) | 0.0023 | 0.0085 |

$T=1/4$ yr | 12 | 8 (67%) | 4 (33%) | 0.0072 | 0.0156 |

$T=1/2$ yr | 12 | 8 (67%) | 4 (33%) | 0.0116 | 0.0259 |

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |

© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).