English
Related papers

Related papers: Quantale-Enriched Co-Design: Toward a Framework fo…

200 papers

Quantum process learning is emerging as an important tool to study quantum systems. While studied extensively in coherent frameworks, where the target and model system can share quantum information, less attention has been paid to whether…

This paper introduces a vision for Quantum Software Development lifecycle, proposing a hybrid full-stack iterative model that integrates quantum and classical computing. Addressing the current challenges in Quantum Computing (QC) such as…

Software Engineering · Computer Science 2025-04-09 Arif Ali Khan , Davide Taibi , Muhammad Azeem Akbar

Generative molecular design has moved from proof-of-concept to real-world applicability, as marked by the surge in very recent papers reporting experimental validation. Key challenges in explainability and sample efficiency present…

Biomolecules · Quantitative Biology 2024-03-05 Jeff Guo , Philippe Schwaller

A variational framework for structural topology optimization is developed, integrating quantum and classical latent encoding strategies within a coordinate-based neural decoding architecture. In this approach, a low-dimensional latent…

Computational Engineering, Finance, and Science · Computer Science 2025-06-24 Alireza Tabarraei

Unitary designs are unitary ensembles that emulate Haar-random unitary statistics. They provide a vital tool for studying quantum randomness and have found broad applications in quantum technologies. However, existing research has focused…

Quantum Physics · Physics 2026-01-06 Xiaodong Yang , Jiaqing Leng , Jun Li

Many engineered systems must balance competing objectives, such as performance and safety, cost and reliability, or efficiency and sustainability, and are naturally modeled as compositions of interacting subsystems. We study online…

Optimization and Control · Mathematics 2026-04-27 Meshal Alharbi , Munther A. Dahleh , Gioele Zardini

Harnessing the potential computational advantage of quantum computers for machine learning tasks relies on the uploading of classical data onto quantum computers through what are commonly referred to as quantum encodings. The choice of such…

Quantum Physics · Physics 2024-12-24 Arthur J. Parzygnat , Tai-Danae Bradley , Andrew Vlasic , Anh Pham

The development of tailored materials for specific applications is an active field of research in chemistry, material science and drug discovery. The number of possible molecules that can be obtained from a set of atomic species grow…

The development of quantum computers has been the stimulus that enables the realization of Quantum Machine Learning (QML), an area that integrates the calculational framework of quantum mechanics with the adaptive properties of classical…

Computational Engineering, Finance, and Science · Computer Science 2025-09-04 Bhavna Bose , Saurav Verma

Topological materials exhibit unique electronic structures that underpin both fundamental quantum phenomena and next-generation technologies, yet their discovery remains constrained by the high computational cost of first-principles…

Materials Science · Physics 2025-12-16 Xinyu Xu , Rajibul Islam , Ghulam Hussain , Yangming Huang , Xiaoguang Li , Pavlo O. Dral , Arif Ullah , Ming Yang

Quantum computing offers the potential for superior computational capabilities, particularly for data-intensive tasks. However, the current state of quantum hardware puts heavy restrictions on input size. To address this, hybrid transfer…

Quantum metrology promises higher precision measurements than classical methods. Entanglement has been identified as one of quantum resources to enhance metrological precision. However, generating entangled states with high fidelity…

Quantum Physics · Physics 2024-07-16 Jeongwoo Jae , Jiwon Lee , M. S. Kim , Kwang-Geol Lee , Jinhyoung Lee

A genuine feature of projective quantum measurements is that they inevitably alter the mean energy of the observed system if the measured quantity does not commute with the Hamiltonian. Compared to the classical case, Jacobs proved that…

Statistical Mechanics · Physics 2015-06-10 Kay Brandner , Michael Bauer , Michael T. Schmid , Udo Seifert

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of…

Programming Languages · Computer Science 2017-05-08 Colin S. Gordon

We present novel algorithms for design and design space exploration. The designs discovered by these algorithms are compositions of function types specified in component libraries. Our algorithms reduce the design problem to quantified…

Artificial Intelligence · Computer Science 2021-02-02 Alexander Feldman , Johan de Kleer , Ion Matei

We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…

Category Theory · Mathematics 2021-12-14 Matt Wilson , Augustin Vanrietvelde

Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum…

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.…

Quantum Physics · Physics 2026-03-26 Leonhard Hölscher , Lukas Müller , Or Samimi , Tamuz Danzig

The expressive capacity of quantum systems for machine learning is limited by quantum sampling noise incurred during measurement. Although it is generally believed that noise limits the resolvable capacity of quantum systems, the precise…

Robotic performance emerges from the coupling of body and controller, yet it remains unclear when morphology-control co-design is necessary. We present a unified framework that embeds morphology and control parameters within a single neural…

Neural and Evolutionary Computing · Computer Science 2025-10-10 Yi Zhang , Yue Xie , Tao Sun , Fumiya Iida