Symbolic calculus for class of quantum computing circuits

A symbolic calculus to evaluate the output signals at the target line(s) of quantum computing subcircuits using controlled negations and controlled-Q gates is introduced, where Q represents the kth root of [0 1; 1 0], the unitary matrix of NOT, and k is a power of two. The controlling signals are GF...

Full description

Saved in:
Bibliographic Details
Published in:Electronics letters 2015-04, Vol.51 (9), p.682-684
Main Authors: Hadjam, F.Z, Moraga, C
Format: Article
Language:English
Subjects:
Boolean algebra
Boolean expressions
Calculus
Circuits
Circuits and systems
controlled negations
controlled‐Q gates
controlling signals
Gates (circuits)
independent subcircuits
logic circuits
Mathematical analysis
matrix algebra
output signal evaluation
Quantum computing
quantum computing subcircuits
quantum gates
Roots
symbolic calculus
target lines
unitary matrix
Citations: Items that this one cites
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A symbolic calculus to evaluate the output signals at the target line(s) of quantum computing subcircuits using controlled negations and controlled-Q gates is introduced, where Q represents the kth root of [0 1; 1 0], the unitary matrix of NOT, and k is a power of two. The controlling signals are GF(2) expressions possibly including Boolean expressions. The method does not require operating with complex-valued matrices. The method may be used to verify the functionality and to check for possible minimisation of a given quantum computing circuit using target lines. The method does not apply for a whole circuit if there are interactions among target lines. In this case the method applies for the independent subcircuits.
ISSN:0013-5194
1350-911X
1350-911X
DOI:10.1049/el.2014.3623