Library Target List

[ThomasPluckMU]

I noticed that there's ongoing development of the /library

Are you thinking of doing general QUBO conversion of a suite such as in:

• https://arxiv.org/abs/1811.11538

• https://arxiv.org/abs/1801.08653

• https://arxiv.org/abs/1302.5843

Do you have a particular list that you want formulated?

[gcattan]

Yes! The long-term vision would be to implement the ability to convert any QUBO objective function into a p-circuit, so the library could be used for machine learning.

Immediately, I am working with @igronin47 to solve the salesman problem using p-bits, with limited results as for now: #57.

• https://www.nature.com/articles/s41467-024-47818-z

[ThomasPluckMU]

TSP is a great example of why polynomial reduction to QUBO can still be very painful hah. Not sure exactly what you mean by "any QUBO objective as a p-circuit" are you talking about general tractible methods for solving the minor embedding problem?

[gcattan]

If we could encode for example "3 * x^2 + 2 x + 5" in some J/h weights (with binaries or integers variables) and obtain accurate results, that would be awesome.

[ThomasPluckMU]

Hm, this might be an advanced synthesis trick for an extended @psl.module decorator.

For my own thesis work I will need to contribute:

• Capacitated Arc Routing Problems
• Multi-Vehicle Arc Routing Problems

TSP is an instance of these more general problems, so maybe we could try to establish a general class VRP and then work down to instances like Chinese Postman Problem or Travelling Salesman Problem.

[gcattan]

Hm. Could be an option (and new contributions always welcomed!)

But I would like to merge #57 first.

Just so far, I cannot reproduce the results in https://www.nature.com/articles/s41467-024-47818-z.

What do you think about the PR above? Do you see something that we may have missed?

[ThomasPluckMU]

I'll take a look at this, this weekend.

Worth saying that D-Wave has a huge repository of QUBO converters for CO:

https://docs.ocean.dwavesys.com/en/stable/docs_dnx/sdk_index.html

If you can't beat 'em, join 'em?

[gcattan]

Basic QUBO conversion provided as part of #103 and #104