English
Related papers

Related papers: Scoring-based Static Variable Ordering for Decisio…

200 papers

The basis generation in reduced order modeling usually requires multiple high-fidelity large-scale simulations that could take a huge computational cost. In order to accelerate these numerical simulations, we introduce a FOM/ROM hybrid…

Numerical Analysis · Mathematics 2021-03-17 Lihong Feng , Guosheng Fu , Zhu Wang

In this paper, we briefly discuss the methodology for simulating a quantum computer which performs Shor's algorithm on a 7-qubit system to factorise 15. Using this simulation and the overlooked quantum brachistochrone method, we devised a…

Quantum Physics · Physics 2019-11-25 Vlad Cărare , Alejandro Cros Carrillo de Albornoz , John Taylor

Advances in quantum simulator technology is increasingly required because research on quantum algorithms is becoming more sophisticated and complex. State vector simulation utilizes CPU and memory resources in computing nodes exponentially…

Quantum Physics · Physics 2024-09-04 Mikio Morita , Yoshinori Tomita , Junpei Koyama , Koichi Kimura

Gradient Symbolic Computation is proposed as a means of solving discrete global optimization problems using a neurally plausible continuous stochastic dynamical system. Gradient symbolic dynamics involves two free parameters that must be…

Computation and Language · Computer Science 2018-01-12 Paul Tupper , Paul Smolensky , Pyeong Whan Cho

The current generation of quantum computing technologies call for quantum algorithms that require a limited number of qubits and quantum gates, and which are robust against errors. A suitable design approach are variational circuits where…

Quantum Physics · Physics 2020-04-10 Maria Schuld , Alex Bocharov , Krysta Svore , Nathan Wiebe

The stabiliser formalism plays a central role in quantum computing, error correction, and fault tolerance. Conversions between and verifications of different specifications of stabiliser states and Clifford gates are important components of…

Quantum Physics · Physics 2025-01-09 Nadish de Silva , Wilfred Salmon , Ming Yin

This work investigates variational compilation methods for simulating quantum systems with internal SU(2) symmetry. The central component of the research is the application of the Dynamic Mode Decomposition (DMD) method to extrapolate…

Quantum Physics · Physics 2025-06-26 Oleksa Hryniv

In this paper, we present a quantum algorithm for the dynamic programming approach for problems on directed acyclic graphs (DAGs). The running time of the algorithm is $O(\sqrt{\hat{n}m}\log \hat{n})$, and the running time of the best known…

Quantum Physics · Physics 2023-01-02 Kamil Khadiev , Liliya Safina

In recent times, Variational Quantum Circuits (VQC) have been widely adopted to different tasks in machine learning such as Combinatorial Optimization and Supervised Learning. With the growing interest, it is pertinent to study the…

Quantum Physics · Physics 2022-12-13 Dheeraj Peddireddy , Vipul Bansal , Vaneet Aggarwal

We propose a simple quantum algorithm for simulating highly oscillatory quantum dynamics, which does not require complicated quantum control logic for handling time-ordering operators. To our knowledge, this is the first quantum algorithm…

Quantum Physics · Physics 2022-04-20 Dong An , Di Fang , Lin Lin

Steering a system towards a desired target in a very short amount of time is challenging from a computational standpoint. Indeed, the intrinsically iterative nature of optimal control problems requires multiple simulations of the physical…

Optimization and Control · Mathematics 2025-05-16 Matteo Tomasetto , Andrea Manzoni , Francesco Braghin

Constraint programming (CP) is a powerful technique for solving constraint satisfaction and optimization problems. In CP solvers, the variable ordering strategy used to select which variable to explore first in the solving process has a…

Artificial Intelligence · Computer Science 2023-04-13 Yuan Sun , Su Nguyen , Dhananjay Thiruvady , Xiaodong Li , Andreas T. Ernst , Uwe Aickelin

We introduce a novel method for strong classical simulation of quantum circuits based on optimally k-partitioning ZX-diagrams, reducing each part individually, and then efficiently cross-referencing their results to conclude the overall…

Quantum Physics · Physics 2024-09-04 Matthew Sutcliffe

Direct Statistical Simulation (DSS) solves the equations of motion for the statistics of turbulent flows in place of the traditional route of accumulating statistics by Direct Numerical Simulation (DNS). That low-order statistics usually…

Fluid Dynamics · Physics 2020-07-15 Altan Allawala , S. M. Tobias , J. B. Marston

Variational quantum circuits characterise the state of a quantum system through the use of parameters that are optimised using classical optimisation procedures that typically rely on gradient information. The circuit-execution complexity…

Quantum Physics · Physics 2023-07-28 Sayantan Pramanik , Chaitanya Murti , M Girish Chandra

Quantum circuits can be reduced through optimization to better fit the constraints of quantum hardware. One such method, initial-state dependent optimization (ISDO), reduces gate count by leveraging knowledge of the input quantum states.…

Product formula methods, particularly the second-order Suzuki decomposition, are an important tool for simulating quantum dynamics on quantum computers due to their simplicity and unitarity preservation. While higher-order schemes have been…

Quantum Physics · Physics 2025-05-08 Matthew A Lane , Dan E Browne

This paper introduces new technique for efficient calculation of different Shannon information measures which operates Binary Decision Diagrams (BDDs). We offer an algorithm of BDD reordering which demonstrates the improvement of the…

Other Computer Science · Computer Science 2007-10-15 Denis V. Popel

We develop several algorithms for performing quantum phase estimation based on basic measurements and classical post-processing. We present a pedagogical review of quantum phase estimation and simulate the algorithm to numerically determine…

Quantum Physics · Physics 2013-07-30 Krysta M. Svore , Matthew B. Hastings , Michael Freedman

We introduce a quantum extension of dynamic programming, a fundamental computational method that efficiently solves recursive problems using memory. Our innovation lies in showing how to coherently generate recursion step unitaries by using…

Quantum Physics · Physics 2025-05-09 Jeongrak Son , Marek Gluza , Ryuji Takagi , Nelly H. Y. Ng