193 citations
- Centre for Quantum Computation and Communication TechnologyAU5 papers
- Monash UniversityAU4 papers
- National Center for Theoretical SciencesTW3 papers
- National Taiwan UniversityTW3 papers
- University of Technology SydneyAU3 papers
- Jingdong (China)CN2 papers
- National Center for Theoretical Sciences, Physics Division2 papers
- The University of SydneyAU2 papers
- Universitat Autònoma de BarcelonaES2 papers
- Anyang UniversityKR1 paper
- ARC Centre of Excellence for Engineered Quantum SystemsAU1 paper
- Australian Regenerative Medicine InstituteAU1 paper
14 papers
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…
Adaptive Circuit Learning of Born Machine: Towards Realization of Amplitude Embedding and Quantum Data Loading
Chun-Tse Li, Hao-Chung Cheng
Quantum data loading plays a central role in quantum algorithms and quantum information processing. Many quantum algorithms hinge on the ability to prepare arbitrary superposition…
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…
Counting stabiliser codes for arbitrary dimension
Tanmay Singal, Che Chiang, Eugene Hsu +3
In this work, we compute the number of stabilizer codes made up of -dimensional qudits, for arbitrary positive integers . In a seminal work by Gross (Ref. [23]) t…
Partial Equivalence Checking of Quantum Circuits
Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that…
Bell inequality violations with random mutually unbiased bases
Gelo Noel M. Tabia, Varun Satya Raj Bavana, Shih-Xian Yang +1
We examine the problem of exhibiting Bell nonlocality for a two-qudit entangled pure state using a randomly chosen set of mutually unbiased bases (MUBs). Interestingly, even if we…