$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment

Liu, Shusen; Wang, Xin; Zhou, Li; Guan, Ji; Li, Yinan; He, Yang; Duan, Runyao; Ying, Mingsheng

doi:10.1007/978-3-030-01461-2_8

Cited by 31 publications

(30 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The acidity of the supported POM does not correlate with the trend of hydrocracking activity of the examined catalysts. For example, it was reported that POM supported over SiO 2 has higher acidity strength than POM supported over alumina, but the hydrocracking activity of Ni‐POM/Al 2 O 3 is higher than the hydrocracking activity of Ni‐POM/SiO 2 . However, the results are correlated with the pore radius size of supports.…”

Section: Resultsmentioning

confidence: 99%

Catalytic Hydrocracking -Hydrogenation of Castor Oil Fatty Acid Methyl Esters over Nickel Substituted Polyoxometalate Catalyst

et al. 2016

View full text Add to dashboard Cite

Diverse methods for converting biomass into fuels are necessary for the functioning of a flexible and profitable biorefinery. Catalytic hydrocracking of fatty acids and their derivatives, which can be used as biofuels precursors, is rather scarce. In this work we introduce a highly selective hydrocracking process for castor oil fatty acid methyl esters (FAME) over a bifunctional polyoxometalate (POM) catalyst. Keggin-type polyoxometalates catalysts, with tungsten as addenda atoms, were examined in this research. Nickel substituted Keggin polyoxometalate,demonstrated the highest activity towards selective hydrocracking on a specific position in methyl ricinoleate, which is the predominant component of castor oil FAME. In addition, hydrogenation is unavoidable in this reaction and hydrogenation products, such as those with reduced double bond or without the hydroxyl group of methyl ricinoleate, are always present. The Ni-POM catalyst and other examined polyoxometalates catalysts were characterized using XRD, EDX, XPS and BET. The products were identified with GC-MS and their yields were recorded with GC.

show abstract

Section: Resultsmentioning

confidence: 99%

Catalytic Hydrocracking -Hydrogenation of Castor Oil Fatty Acid Methyl Esters over Nickel Substituted Polyoxometalate Catalyst

et al. 2016

View full text Add to dashboard Cite

show abstract

“…Assembly languages are introduced as human-readable representation of the interface to hardware (or machine code). But existing quantum assembly languages either incorporate too high-level constructs to be directly implemented by a microarchitecture (including QASM-HL [11], il [12], f-QASM [13], etc. ), or are too restricted to provide a comprehensive abstraction of the quantum hardware which can support the required ow control (including OpenQASM [14], MIS [1], etc.).…”

Section: Introductionmentioning

confidence: 99%

eQASM: An Executable Quantum Instruction Set Architecture

Fu¹,

Riesebos²,

Rol

et al. 2019

2019 IEEE International Symposium on High Performance Computer Architecture (HPCA)

View full text Add to dashboard Cite

A widely-used quantum programming paradigm comprises of both the data ow and control ow. Existing quantum hardware cannot well support the control ow, signi cantly limiting the range of quantum so ware executable on the hardware. By analyzing the constraints in the control microarchitecture, we found that existing quantum assembly languages are either too high-level or too restricted to support comprehensive ow control on the hardware. Also, as observed with the quantum microinstruction set MIS [1], the quantum instruction set architecture (QISA) design may su er from limited scalability and exibility because of microarchitectural constraints. It is an open challenge to design a scalable and exible QISA which provides a comprehensive abstraction of the quantum hardware.In this paper, we propose an executable QISA, called eQASM, that can be translated from quantum assembly language (QASM), supports comprehensive quantum program ow control, and is executed on a quantum control microarchitecture. With e cient timing speci cation, single-operation-multiple-qubit execution, and a very-long-instruction-word architecture, eQASM presents better scalability than MIS. e de nition of eQASM focuses on the assembly level to be expressive.antum operations are congured at compile time instead of being de ned at QISA design time. We instantiate eQASM into a 32-bit instruction set targeting a seven-qubit superconducting quantum processor. We validate our design by performing several experiments on a two-qubit quantum processor.

show abstract

“…In part due to the increasing viability of quantum computing and the scaling of NISQ [28] devices, there has been a recent explosion in quantum programming tools. Such tools range from software development kits (e.g., Qiskit [5], ProjectQ [32], Strawberry Fields [19], Pyquil [30]) to Embedded domain-specific languages (e.g., Quipper [11], Qwire [27], Q|SI [22]) and standalone languages and compilers (e.g., QCL [26], QML [2], ScaffCC [16], Q# [33]). Going beyond strict programming tools, software for the synthesis, optimization, and simulation of quantum circuits and programs (e.g., Revkit [31], TOpt [15], Feynman [3], PyZX [20], Quan-tum++ [9], QX [17]) are becoming more and more abundant.…”

Section: Introductionmentioning

confidence: 99%

Sized Types for Low-Level Quantum Metaprogramming

Amy

2019

Reversible Computation

View full text Add to dashboard Cite

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types, supports subtyping over register sizes and is moreover typesafe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.

show abstract

$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment

Cited by 31 publications

References 28 publications

Catalytic Hydrocracking -Hydrogenation of Castor Oil Fatty Acid Methyl Esters over Nickel Substituted Polyoxometalate Catalyst

Catalytic Hydrocracking -Hydrogenation of Castor Oil Fatty Acid Methyl Esters over Nickel Substituted Polyoxometalate Catalyst

eQASM: An Executable Quantum Instruction Set Architecture

Sized Types for Low-Level Quantum Metaprogramming

Contact Info

Product

Resources

About