Zobrazeno 1 - 10
of 201
pro vyhledávání: '"Rand, Robert"'
Autor:
Shah, Bhakti, Spencer, William, Zielinski, Laura, Caldwell, Ben, Lehmann, Adrian, Rand, Robert
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence cond
Externí odkaz:
http://arxiv.org/abs/2404.08163
Mathematical representations of graphs often resemble adjacency matrices or lists, representations that facilitate whiteboard reasoning and algorithm design. In the realm of proof assistants, inductive representations effectively define semantics for
Externí odkaz:
http://arxiv.org/abs/2311.11571
We present COGNAC, a novel strategy for compiling quantum circuits based on numerical optimization algorithms from scientific computing. Using a simple noise model informed by the duration of entangling gates, our gradient-based method can quickly co
Externí odkaz:
http://arxiv.org/abs/2311.02769
Publikováno v:
EPTCS 394, 2023, pp. 170-191
Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretati
Externí odkaz:
http://arxiv.org/abs/2206.03532
Optimizing quantum circuits is a key challenge for quantum computing. The PyZX compiler broke new ground by optimizing circuits via the ZX calculus, a powerful graphical alternative to the quantum circuit model. Still, it carries no guarantee of its
Externí odkaz:
http://arxiv.org/abs/2205.05781
We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax where familiar programming constructs can have both quantum and classical
Externí odkaz:
http://arxiv.org/abs/2204.12384
Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language which allows programmers to directly represent, program, and simulate m
Externí odkaz:
http://arxiv.org/abs/2204.10784
Autor:
Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recogn
Externí odkaz:
http://arxiv.org/abs/2204.07112