arXiv ScienceSearch

arXiv subjects

Or Samimi

Publications and source records attributed to Or Samimi.

2 recordsLinked to original sources

Quantum Simulation-Based Optimization for Cooling System Design

Engineering design processes involve iterative design evaluations requiring numerous computationally intensive numerical simulations. Quantum algorithms promise substantial speedups for specific tasks relevant to engineering simulations. However, these advantages quickly vanish when considering data input and output on quantum computers. The recently introduced Quantum Simulation-Based Optimization (QuSO) framework circumvents this limitation by treating simulations as subproblems within a larger optimization problem. Here we adapt and implement QuSO for a simplified cooling system design problem, validate correctness in statevector simulations, and present a detailed gate-level complexity analysis for a single QuSO iteration. We express the scaling in terms of problem parameters and QAOA depth and iterations. We show that the cost function can be coherently computed over a superposition of exponentially many configurations using circuits of polynomial complexity. This does not yield a speedup for a single simulation instance, but it enables potential advantages arising from the subsequent QAOA-based search over configurations. The study serves as a proof-of-concept for integrating fault-tolerant quantum subroutines with simulation-based optimization in engineering workflows, clarifying both promise and practical limitations.

quant-ph

Design and synthesis of scalable quantum programs

We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum program is expressed in terms of a high-level model together with constraints and objectives on the final program. Advanced synthesis algorithms transform the model into a low-level quantum program that meets the user's specification and is directed at a stipulated hardware. This separation of description from implementation is essential for scale. The technology adapts electronic design automation methods to quantum computing, finding feasible implementations in a virtually unlimited functional space. The results show clear superiority over the compilation and transpilation methods used today. We expect that this technological approach will take over and prevail as quantum software become more demanding, complex, and essential.

quant-ph