/sqct

Exact and approximate synthesis of single qubit circuits using Clifford and T gate library.
  1. C++ 69.5%
  2. Mathematica 29.7%
  3. Other 0.8%
Branch: master
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@vadym-kl
vadym-kl added command line option for brute-force test
Latest commit 9a806ac Dec 11, 2013
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
appr
es daily commit Nov 17, 2013
sk project directory structure changed Jun 12, 2013
tests daily commit Nov 22, 2013
theory project directory structure changed Jun 12, 2013
ttmath ttmath added to souce tree; parallel version of cup-algorithm impleme… Nov 20, 2013
.gitignore
CMakeLists.txt
COPYING Initial commit Aug 16, 2012
COPYING.LESSER
Doxyfile Initial commit Aug 16, 2012
README Z rotation approximation algorithm based on number theoretic methods … Jun 15, 2013
factorzs2.cpp
factorzs2.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
fixedpoint.cpp batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
fixedpoint.h griditerator fix Nov 24, 2013
gatelibrary.cpp batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
gatelibrary.h Z rotation approximation algorithm based on number theoretic methods … Jun 15, 2013
hprhelpers.cpp ttmath added to souce tree; parallel version of cup-algorithm impleme… Nov 20, 2013
hprhelpers.h ttmath added to souce tree; parallel version of cup-algorithm impleme… Nov 20, 2013
main.cpp project directory structure changed Jun 12, 2013
mainA.cpp added command line option for brute-force test Dec 11, 2013
matrix2x2.cpp basic cup algorithm implemented; optimization required Nov 16, 2013
matrix2x2.h basic cup algorithm implemented; optimization required Nov 16, 2013
mpfr_header_wrapper.hpp
output.cpp batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
output.h Factorization over Z[\sqrt{2}] implemented Oct 28, 2013
real.hpp Initial commit Aug 16, 2012
requestprocessor.cpp
requestprocessor.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
resring.cpp Initial commit Aug 16, 2012
resring.h Initial commit Aug 16, 2012
rint.cpp basic cup algorithm implemented; optimization required Nov 16, 2013
rint.h basic cup algorithm implemented; optimization required Nov 16, 2013
serializers.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
solvenormequation.cpp
solvenormequation.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
symbolic_angle.cpp
symbolic_angle.h
tcount.cpp
tcount.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
test.cpp added command line option for brute-force test Dec 11, 2013
test.h added command line option for brute-force test Dec 11, 2013
timemeasurement.h batch processign functionality with a new cup-algorithm implemented; … Nov 20, 2013
vector2.cpp Initial commit Aug 16, 2012
vector2.h

README 

SQCT -- Single Qubit Circuit Toolkit

BUILD

You will need the following libraries installed on your system: 
1. Boost 1.48
-- program_options 
-- chrono
-- timer
-- system
2. The GNU Multiple Precision Arithmetic Library (gmp and gmpxx)
3. The GNU MPFR Library (mpfr)

Also C++ compiler supporting C++11 is necessary.
Information about program use available through --help option.

ABOUT 
The program code based on results of http://arxiv.org/abs/1206.5236. It also implements 
the version of Solovay Kitaev algorithm described in http://arxiv.org/abs/quant-ph/0505030. 
In addition to Boost, The GNU Multiple Precision Arithmetic Library, The GNU MPFR Library the library 
mpfr::real by Christian Schneider <software(at)chschneider(dot)eu> is used for high precision
floating point arithmetic. 

DIRECTORY STRUCTURE 
sk -- implementation of the Solovay-Kitaev algorithm
es -- exact synthesis algorithm
theory -- numerical proof of result from arXiv:1206.5236, tests of exact synthesis algorithm 
appr -- optimal round off of unitaries