Solving Financial Network Problem Using a PUBO Solver Based on the Simulated Bifurcation Machine

This abstract has open access
Problem description and relevance

In our work, we solved financial network problems. A financial network is defined as a network composed of asset holdings and cross-holdings among institutions, such as countries and companies. The financial network problem aims to determine the equilibrium state of such a system under nonlinear interactions, including defaults [1]. Since solving this problem enables the prediction of loss propagation associated with defaults of institutions, it is expected to simulate financial crises, which are often triggered by defaults, as seen in 2008. However, the financial network problem is known to be an NP-hard problem [2], and the computational complexity increases exponentially depending on the problem size. 

Submission ID :
20
Methodology :

In order to address the financial network problem, previous work employed D-Wave quantum annealer, which attracts significant attention as a metaheuristic for combinatorial optimisation problems [3] . Since Ising machines such as D-Wave quantum annealer require binary formulations of problems such as Quadratic Unconstrained Binary Optimisation (QUBO), real numbers need to be encoded as binary variables. In addition, the Heaviside functions included in the original problem formula must also be transformed to polynomials by Legendre expansion, and order-reduction methods were applied to limit the highest-order terms to second order. This process results in an increase in variable numbers, which often worsens solution accuracy. Although this approach allowed us to obtain solutions for small-size problems, the hardware limitations of the D-Wave quantum annealer restricted its ability to scale to larger problem sizes. Additionally, approximation errors originating from the Legendre expansion could prevent us from obtaining high-accuracy solutions. 

In our approach, we developed a new encoding method to express real numbers utilising sign bits. This technique enables the substitution of the Heaviside functions of the original formula, without any approximations. Using our proposed method, we obtained a Polynomial Unconstrained Binary Optimisation (PUBO), whose highest order is three. As the Ising machine, we employed a Simulated Bifurcation Machine (SBM), whose PUBO solver can handle up to fourth-order terms without order reductions. Finally, our proposed approach outputs high-accuracy results for certain problems, including larger problem instances than the previous work. 

Practical demonstration :

In our work, we formulated the financial network problem, following previous work achieved by Elliott et al. [1]. We generated random problems, varying the problem size and applying the proposed method. When solving the problem, we employed a PUBO solver of SQBM+, which is implemented on an SBM. Its algorithm is specialised to search for a solution which minimises the energy of the embedded system, corresponding to the objective function formulated as PUBO. SQBM+ is a quantum-inspired method implemented on FPGA- or GPU-based digital circuits. This feature allows SQBM+ to handle 10 million variables [4], whilst D-Wave quantum annealer has hardware limitations, such as a limited number of available variables. 

Application potential :

In order to solve financial network problems in the real-world, the problem size, defined by the number of institutions, has to be scaled up to the order of 10^3, whereas previous work addressed a problem with 3 institutions. Our proposed method originally aims to ease the error resulting from the approximation of Heaviside functions and to obtain highly accurate solutions. Although this method could be effective in some cases, we still need improvements in the accuracy of Ising machine solvers when scaling up the problem further. 

One advantage of our method is that, since it naturally handles higher-order terms, the number of binary variables can be reduced, which is favourable when embedding the problem into the solvers. 

Additionally, developing new methods to create sub-problems of the original financial network could contribute to obtaining high-quality approximated solutions, even if the solvers face difficulties of solving large-scale problems. 

Associated Sessions

Student
,
Keio University
Researcher
,
Keio University
Keio University
16 visits