142 citations · 345 across the 15 of their papers we have counts for
16 papers
A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates
Atsushi Matsuo, Shigeru Yamashita, Daniel J. Egger
Most quantum circuits require SWAP gate insertion to run on quantum hardware with limited qubit connectivity. A promising SWAP gate insertion method for blocks of commuting two-qub…
Area/latency optimized early output asynchronous full adders and relative-timed ripple carry adders
P Balasubramanian, S Yamashita
This article presents two area/latency optimized gate level asynchronous full adder designs which correspond to early output logic. The proposed full adders are constructed using t…
Reconstructing Strings from Substrings with Quantum Queries
Richard Cleve, Kazuo Iwama, François Le Gall +4
This paper investigates the number of quantum queries made to solve the problem of reconstructing an unknown string from its substrings in a certain query model. More concretely, t…
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication
Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita +1
In this paper we study quantum nondeterminism in multiparty communication. There are three (possibly) different types of nondeterminism in quantum computation: i) strong, ii) weak…
Quantum Walks on the Line with Phase Parameters
Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita +1
In this paper, a study on discrete-time coined quantum walks on the line is presented. Clear mathematical foundations are still lacking for this quantum walk model. As a step towar…
Fast Equivalence-checking for Quantum Circuits
Shigeru Yamashita, Igor L. Markov
We perform formal verification of quantum circuits by integrating several techniques specialized to particular classes of circuits. Our verification methodology is based on the new…