Development of DSL for Quantum Annealing with Recursive Scheme

We have been involved in joint research on Quantum Annealing (QA) with Waseda University and D-Wave Systems Inc. (based in Canada). To solve an optimization problem in a QA machine, you need to describe the problem in a special format called QUBO and map it based on hardware structure. QA machines have become larger year by year, so this mapping has been increasingly more difficult to implement from scratch. In response, we have tried to achieve the following by implementing a Scala-based DSL for QA.

• constructive and abstract representation of optimization problems based on a combination of functions
• natural adaption of optimized circuit layout information in the representation

Just as the rise of hardware description language has made large-scale integrated circuits easier, I hope that our Scala-based DSL will improve the productivity of software development for QA.

Session length

10 minutes

Language of the presentation

Japanese

Target audience

Intermediate: Requires a basic knowledge of the area

Who is your session intended to

People who want to solve optimization problems using Scala
People who are interested in quantum annealing

Speaker

Kotaro Tanahashi, Yoshihito Hotta (Recruit Communications Co., Ltd.)