494 citations · 4.5k across the 123 of their papers we have counts for
124 papers
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
Characterizing First Arrival Position Channels: Noise Distribution and Capacity Analysis
Yen-Chi Lee, Yun-Feng Lo, Jen-Ming Wu +1
This paper introduces a novel mathematical model for Molecular Communication (MC) systems, utilizing First Arrival Position (FAP) as a fundamental mode of information transmission.…
Capacity Bounds for Vertically-Drifted First Arrival Position Channels under a Covariance Constraint
Yun-Feng Lo, Yen-Chi Lee, Min-Hsiu Hsieh
In this paper, we delve into the capacity problem of additive vertically-drifted first arrival position noise channel, which models a communication system where the position of mol…
Operational Markovianization in Randomized Benchmarking
Pedro Figueroa-Romero, Miha Papič, Adrian Auer +3
A crucial task to obtain optimal and reliable quantum devices is to quantify their overall performance. The average fidelity of quantum gates is a particular figure of merit that c…
General Distance Balancing for Quantum Locally Testable Codes
Adam Wills, Ting-Chun Lin, Min-Hsiu Hsieh
In this paper, we prove a lower bound on the soundness of quantum locally testable codes under the distance balancing construction of Evra et al. arXiv:2004.07935 [quant-ph]. Our t…
Approximate reconstructability of quantum states and noisy quantum secret sharing schemes
Yingkai Ouyang, Kaumudibikash Goswami, Jacquiline Romero +3
We introduce and analyse approximate quantum secret sharing in a formal cryptographic setting, wherein a dealer encodes and distributes a quantum secret to players such that author…