Скачать или смотреть [ICFP'25] A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware

A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware (Video, ICFP 2025)
Liyi Li, David Young, James Bryan Graves, Chandeepa Dissanayake, and Amr Sabry
(Iowa State University, USA; University of Kansas, USA; Indiana University, USA; Iowa State University, USA; Indiana University, USA)

Abstract: In physics and chemistry, quantum systems are typically modeled using energy constraints formulated as Hamiltonians. Investigations into such systems often focus on the evolution of the Hamiltonians under various initial conditions, an approach summarized as Adiabatic Quantum Computing (AQC). Although this perspective may initially seem foreign to functional programmers, we demonstrate that conventional functional programming abstractions—specifically, the Traversable and Monad type classes—naturally capture the essence of AQC. To illustrate this connection, we introduce EnQ, a functional programming library designed to express diverse optimization problems as energy constraint computations (ECC). The library comprises three core components: generating the solution space, associating energy costs with potential solutions, and searching for optimal or near-optimal solutions. Because EnQ is implemented using standard Haskell, it can be executed directly through conventional classical Haskell compilers. More interestingly, we develop and implement a process to compile EnQ programs into circuits executable on quantum hardware. We validate EnQ’s effectiveness through a number of case studies, demonstrating its capacity to express and solve classical optimization problems on quantum hardware, including search problems, type inference, number partitioning, clique finding, and graph coloring.

Article: https://doi.org/10.1145/3747521

Supplementary archive: https://doi.org/10.5281/zenodo.16227782 (Badges: Artifacts Available, Artifacts Evaluated — Reusable)

ORCID: https://orcid.org/0000-0001-8184-0244, https://orcid.org/0009-0006-1193-330X, https://orcid.org/0009-0004-0197-3362, https://orcid.org/0000-0001-9464-8024, https://orcid.org/0000-0002-1025-7331

Video Tags: Adiabatic Quantum Computation, Energy Constraint Computation, Functional Programming, icfp25main-p38-p, doi:10.1145/3747521, doi:10.5281/zenodo.16227782, orcid:0000-0001-8184-0244, orcid:0009-0006-1193-330X, orcid:0009-0004-0197-3362, orcid:0000-0001-9464-8024, orcid:0000-0002-1025-7331, Artifacts Available, Artifacts Evaluated — Reusable

Presentation at the ICFP 2025 conference, October 13–15, https://icfp25.sigplan.org/
Sponsored by ACM SIGPLAN,