Qrack  9.13
General classical-emulating-quantum development framework
qinterface.hpp
Go to the documentation of this file.
1 //
3 // (C) Daniel Strano and the Qrack contributors 2017-2023. All rights reserved.
4 //
5 // This is a multithreaded, universal quantum register simulation, allowing
6 // (nonphysical) register cloning and direct measurement of probability and
7 // phase, to leverage what advantages classical emulation of qubits can have.
8 //
9 // Licensed under the GNU Lesser General Public License V3.
10 // See LICENSE.md in the project root or https://www.gnu.org/licenses/lgpl-3.0.en.html
11 // for details.
12 
13 #pragma once
14 
15 #include "common/parallel_for.hpp"
16 #include "common/pauli.hpp"
17 #include "common/rdrandwrapper.hpp"
18 #include "hamiltonian.hpp"
19 
20 #include <map>
21 #include <random>
22 
23 #if ENABLE_UINT128
24 #include <ostream>
25 #endif
26 
27 namespace Qrack {
28 
29 class QInterface;
30 typedef std::shared_ptr<QInterface> QInterfacePtr;
31 
38 
43 
48 
53 
58 
63 
68 
73 
78 
83 
92 
98 
103 
108 
113 
114 #if ENABLE_OPENCL || ENABLE_CUDA
116 #if ENABLE_OPENCL
118 #else
120 #endif
121 #else
123 
125 #endif
126 
128 
130 
132 };
133 
141 class QInterface : public ParallelFor {
142 protected:
145  bool useRDRAND;
147  uint32_t randomSeed;
151  std::uniform_real_distribution<real1_s> rand_distribution;
152  std::shared_ptr<RdRandom> hardware_rand_generator;
153 
154  // Compilers have difficulty figuring out types and overloading if the "norm" handle is passed to std::transform. If
155  // you need a safe pointer to norm(), try this:
156  static inline real1_f normHelper(const complex& c) { return (real1_f)norm(c); }
157 
158  static inline real1_f clampProb(real1_f toClamp)
159  {
160  if (toClamp < ZERO_R1_F) {
161  toClamp = ZERO_R1_F;
162  }
163  if (toClamp > ONE_R1_F) {
164  toClamp = ONE_R1_F;
165  }
166  return toClamp;
167  }
168 
170  {
171  if (randGlobalPhase) {
172  real1_f angle = Rand() * 2 * (real1_f)PI_R1;
173  return complex((real1)cos(angle), (real1)sin(angle));
174  } else {
175  return ONE_CMPLX;
176  }
177  }
178 
179  template <typename Fn> void MACWrapper(const std::vector<bitLenInt>& controls, Fn fn)
180  {
181  bitCapInt xMask = ZERO_BCI;
182  for (size_t i = 0U; i < controls.size(); ++i) {
183  bi_or_ip(&xMask, pow2(controls[i]));
184  }
185 
186  XMask(xMask);
187  fn(controls);
188  XMask(xMask);
189  }
190 
191  virtual bitCapInt SampleClone(const std::vector<bitCapInt>& qPowers)
192  {
193  QInterfacePtr clone = Clone();
194 
195  const bitCapInt rawSample = clone->MAll();
196  bitCapInt sample = ZERO_BCI;
197  for (size_t i = 0U; i < qPowers.size(); ++i) {
198  if (bi_compare_0(rawSample & qPowers[i]) != 0) {
199  bi_or_ip(&sample, pow2(i));
200  }
201  }
202 
203  return sample;
204  }
205 
206  virtual real1_f ExpVarUnitaryAll(bool isExp, const std::vector<bitLenInt>& bits,
207  const std::vector<std::shared_ptr<complex>>& basisOps, std::vector<real1_f> eigenVals = {});
208  virtual real1_f ExpVarUnitaryAll(bool isExp, const std::vector<bitLenInt>& bits,
209  const std::vector<real1_f>& basisOps, std::vector<real1_f> eigenVals = {});
210  virtual real1_f ExpVarBitsAll(bool isExp, const std::vector<bitLenInt>& bits, const bitCapInt& offset = ZERO_BCI)
211  {
212  std::vector<bitCapInt> perms;
213  perms.reserve(bits.size() << 1U);
214  for (size_t i = 0U; i < bits.size(); ++i) {
215  perms.push_back(ZERO_BCI);
216  perms.push_back(pow2(i));
217  }
218 
219  return isExp ? ExpectationBitsFactorized(bits, perms, offset) : VarianceBitsFactorized(bits, perms, offset);
220  }
221 
222  virtual void Copy(QInterfacePtr orig)
223  {
224  orig->Finish();
225  doNormalize = orig->doNormalize;
226  randGlobalPhase = orig->randGlobalPhase;
227  useRDRAND = orig->useRDRAND;
228  qubitCount = orig->qubitCount;
229  randomSeed = orig->randomSeed;
230  amplitudeFloor = orig->amplitudeFloor;
231  maxQPower = orig->maxQPower;
232  rand_generator = orig->rand_generator;
233  rand_distribution = orig->rand_distribution;
234  hardware_rand_generator = orig->hardware_rand_generator;
235  }
236 
237 public:
238  QInterface(bitLenInt n, qrack_rand_gen_ptr rgp = nullptr, bool doNorm = false, bool useHardwareRNG = true,
239  bool randomGlobalPhase = true, real1_f norm_thresh = REAL1_EPSILON);
240 
243  : doNormalize(false)
244  , randGlobalPhase(true)
245  , useRDRAND(true)
246  , qubitCount(0U)
247  , randomSeed(0)
249  , maxQPower(ONE_BCI)
250  , rand_distribution(0.0, 1.0)
252  {
253  // Intentionally left blank
254  }
255 
256  virtual ~QInterface()
257  {
258  // Virtual destructor for inheritance
259  }
260 
261  void SetRandomSeed(uint32_t seed)
262  {
263  if (rand_generator != NULL) {
264  rand_generator->seed(seed);
265  }
266  }
267 
268  virtual void SetQubitCount(bitLenInt qb)
269  {
270  qubitCount = qb;
272  }
273 
275  virtual void SetConcurrency(uint32_t threadsPerEngine) { SetConcurrencyLevel(threadsPerEngine); }
276 
278  virtual bitLenInt GetQubitCount() { return qubitCount; }
279 
281  virtual bitCapInt GetMaxQPower() { return maxQPower; }
282 
283  virtual bool GetIsArbitraryGlobalPhase() { return randGlobalPhase; }
284 
287  {
288  if (hardware_rand_generator != NULL) {
289  return hardware_rand_generator->Next();
290  } else {
292  }
293  }
294 
299  virtual void SetQuantumState(const complex* inputState) = 0;
300 
305  virtual void GetQuantumState(complex* outputState) = 0;
306 
311  virtual void GetProbs(real1* outputProbs) = 0;
312 
317  virtual complex GetAmplitude(const bitCapInt& perm) = 0;
318 
323  virtual void SetAmplitude(const bitCapInt& perm, const complex& amp) = 0;
324 
326  virtual void SetPermutation(const bitCapInt& perm, const complex& phaseFac = CMPLX_DEFAULT_ARG);
327 
364  virtual bitLenInt Compose(QInterfacePtr toCopy) { return Compose(toCopy, qubitCount); }
369  virtual bitLenInt ComposeNoClone(QInterfacePtr toCopy) { return Compose(toCopy); }
373  virtual std::map<QInterfacePtr, bitLenInt> Compose(std::vector<QInterfacePtr> toCopy);
377  virtual bitLenInt Compose(QInterfacePtr toCopy, bitLenInt start);
378 
416  virtual void Decompose(bitLenInt start, QInterfacePtr dest) = 0;
417 
421  virtual QInterfacePtr Decompose(bitLenInt start, bitLenInt length) = 0;
422 
460  virtual void Dispose(bitLenInt start, bitLenInt length) = 0;
461 
465  virtual void Dispose(bitLenInt start, bitLenInt length, const bitCapInt& disposedPerm) = 0;
466 
470  virtual bitLenInt Allocate(bitLenInt length) { return Allocate(qubitCount, length); }
471 
475  virtual bitLenInt Allocate(bitLenInt start, bitLenInt length) = 0;
476 
485  virtual void Mtrx(const complex* mtrx, bitLenInt qubit) = 0;
486 
490  virtual void MCMtrx(const std::vector<bitLenInt>& controls, const complex* mtrx, bitLenInt target) = 0;
491 
495  virtual void MACMtrx(const std::vector<bitLenInt>& controls, const complex* mtrx, bitLenInt target)
496  {
497  if (IS_NORM_0(mtrx[1U]) && IS_NORM_0(mtrx[2U])) {
498  MACPhase(controls, mtrx[0U], mtrx[3U], target);
499  } else if (IS_NORM_0(mtrx[0U]) && IS_NORM_0(mtrx[3U])) {
500  MACInvert(controls, mtrx[1U], mtrx[2U], target);
501  } else {
502  MACWrapper(controls, [this, mtrx, target](const std::vector<bitLenInt>& lc) { MCMtrx(lc, mtrx, target); });
503  }
504  }
505 
510  virtual void UCMtrx(
511  const std::vector<bitLenInt>& controls, const complex* mtrx, bitLenInt target, const bitCapInt& controlPerm);
512 
516  virtual void Phase(const complex& topLeft, const complex& bottomRight, bitLenInt qubit)
517  {
518  if ((randGlobalPhase || IS_NORM_0(ONE_CMPLX - topLeft)) && IS_NORM_0(topLeft - bottomRight)) {
519  return;
520  }
521 
522  const complex mtrx[4U]{ topLeft, ZERO_CMPLX, ZERO_CMPLX, bottomRight };
523  Mtrx(mtrx, qubit);
524  }
525 
529  virtual void Invert(const complex& topRight, const complex& bottomLeft, bitLenInt qubit)
530  {
531  const complex mtrx[4U]{ ZERO_CMPLX, topRight, bottomLeft, ZERO_CMPLX };
532  Mtrx(mtrx, qubit);
533  }
534 
538  virtual void MCPhase(
539  const std::vector<bitLenInt>& controls, const complex& topLeft, const complex& bottomRight, bitLenInt target)
540  {
541  if (IS_NORM_0(ONE_CMPLX - topLeft) && IS_NORM_0(ONE_CMPLX - bottomRight)) {
542  return;
543  }
544 
545  const complex mtrx[4U]{ topLeft, ZERO_CMPLX, ZERO_CMPLX, bottomRight };
546  MCMtrx(controls, mtrx, target);
547  }
548 
553  virtual void MCInvert(
554  const std::vector<bitLenInt>& controls, const complex& topRight, const complex& bottomLeft, bitLenInt target)
555  {
556  const complex mtrx[4U]{ ZERO_CMPLX, topRight, bottomLeft, ZERO_CMPLX };
557  MCMtrx(controls, mtrx, target);
558  }
559 
563  virtual void MACPhase(
564  const std::vector<bitLenInt>& controls, const complex& topLeft, const complex& bottomRight, bitLenInt target)
565  {
566  if (IS_NORM_0(ONE_CMPLX - topLeft) && IS_NORM_0(ONE_CMPLX - bottomRight)) {
567  return;
568  }
569 
570  MACWrapper(controls, [this, topLeft, bottomRight, target](const std::vector<bitLenInt>& lc) {
571  MCPhase(lc, topLeft, bottomRight, target);
572  });
573  }
574 
579  virtual void MACInvert(
580  const std::vector<bitLenInt>& controls, const complex& topRight, const complex& bottomLeft, bitLenInt target)
581  {
582  MACWrapper(controls, [this, topRight, bottomLeft, target](const std::vector<bitLenInt>& lc) {
583  MCInvert(lc, topRight, bottomLeft, target);
584  });
585  }
586 
591  virtual void UCPhase(const std::vector<bitLenInt>& controls, const complex& topLeft, const complex& bottomRight,
592  bitLenInt target, const bitCapInt& perm)
593  {
594  if (IS_NORM_0(ONE_CMPLX - topLeft) && IS_NORM_0(ONE_CMPLX - bottomRight)) {
595  return;
596  }
597 
598  const complex mtrx[4U]{ topLeft, ZERO_CMPLX, ZERO_CMPLX, bottomRight };
599  UCMtrx(controls, mtrx, target, perm);
600  }
601 
606  virtual void UCInvert(const std::vector<bitLenInt>& controls, const complex& topRight, const complex& bottomLeft,
607  bitLenInt target, const bitCapInt& perm)
608  {
609  const complex mtrx[4U]{ ZERO_CMPLX, topRight, bottomLeft, ZERO_CMPLX };
610  UCMtrx(controls, mtrx, target, perm);
611  }
612 
628  const std::vector<bitLenInt>& controls, bitLenInt qubit, const complex* mtrxs)
629  {
630  UniformlyControlledSingleBit(controls, qubit, mtrxs, std::vector<bitCapInt>(), ZERO_BCI);
631  }
632  virtual void UniformlyControlledSingleBit(const std::vector<bitLenInt>& controls, bitLenInt qubit,
633  const complex* mtrxs, const std::vector<bitCapInt>& mtrxSkipPowers, const bitCapInt& mtrxSkipValueMask);
634 
650  virtual void TimeEvolve(Hamiltonian h, real1_f timeDiff);
651 
655  virtual void CSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
656 
660  virtual void AntiCSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
661 
665  virtual void CSqrtSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
666 
670  virtual void AntiCSqrtSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
671 
675  virtual void CISqrtSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
676 
680  virtual void AntiCISqrtSwap(const std::vector<bitLenInt>& controls, bitLenInt qubit1, bitLenInt qubit2);
681 
687  virtual void CCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target)
688  {
689  const std::vector<bitLenInt> controls{ control1, control2 };
690  MCInvert(controls, ONE_CMPLX, ONE_CMPLX, target);
691  }
692 
698  virtual void AntiCCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target)
699  {
700  const std::vector<bitLenInt> controls{ control1, control2 };
701  MACInvert(controls, ONE_CMPLX, ONE_CMPLX, target);
702  }
703 
709  virtual void CNOT(bitLenInt control, bitLenInt target)
710  {
711  const std::vector<bitLenInt> controls{ control };
712  MCInvert(controls, ONE_CMPLX, ONE_CMPLX, target);
713  }
714 
720  virtual void AntiCNOT(bitLenInt control, bitLenInt target)
721  {
722  const std::vector<bitLenInt> controls{ control };
723  MACInvert(controls, ONE_CMPLX, ONE_CMPLX, target);
724  }
725 
732  virtual void CY(bitLenInt control, bitLenInt target)
733  {
734  const std::vector<bitLenInt> controls{ control };
735  MCInvert(controls, -I_CMPLX, I_CMPLX, target);
736  }
737 
743  virtual void AntiCY(bitLenInt control, bitLenInt target)
744  {
745  const std::vector<bitLenInt> controls{ control };
746  MACInvert(controls, -I_CMPLX, I_CMPLX, target);
747  }
748 
755  virtual void CCY(bitLenInt control1, bitLenInt control2, bitLenInt target)
756  {
757  const std::vector<bitLenInt> controls{ control1, control2 };
758  MCInvert(controls, -I_CMPLX, I_CMPLX, target);
759  }
760 
766  virtual void AntiCCY(bitLenInt control1, bitLenInt control2, bitLenInt target)
767  {
768  const std::vector<bitLenInt> controls{ control1, control2 };
769  MACInvert(controls, -I_CMPLX, I_CMPLX, target);
770  }
771 
778  virtual void CZ(bitLenInt control, bitLenInt target)
779  {
780  const std::vector<bitLenInt> controls{ control };
781  MCPhase(controls, ONE_CMPLX, -ONE_CMPLX, target);
782  }
783 
789  virtual void AntiCZ(bitLenInt control, bitLenInt target)
790  {
791  const std::vector<bitLenInt> controls{ control };
792  MACPhase(controls, ONE_CMPLX, -ONE_CMPLX, target);
793  }
794 
801  virtual void CCZ(bitLenInt control1, bitLenInt control2, bitLenInt target)
802  {
803  const std::vector<bitLenInt> controls{ control1, control2 };
804  MCPhase(controls, ONE_CMPLX, -ONE_CMPLX, target);
805  }
806 
812  virtual void AntiCCZ(bitLenInt control1, bitLenInt control2, bitLenInt target)
813  {
814  const std::vector<bitLenInt> controls{ control1, control2 };
815  MACPhase(controls, ONE_CMPLX, -ONE_CMPLX, target);
816  }
817 
824  virtual void U(bitLenInt target, real1_f theta, real1_f phi, real1_f lambda);
825 
831  virtual void U2(bitLenInt target, real1_f phi, real1_f lambda) { U(target, (real1_f)(M_PI / 2), phi, lambda); }
832 
838  virtual void IU2(bitLenInt target, real1_f phi, real1_f lambda)
839  {
840  U(target, (real1_f)(M_PI / 2), (real1_f)(-lambda - PI_R1), (real1_f)(-phi + PI_R1));
841  }
842 
848  virtual void AI(bitLenInt target, real1_f azimuth, real1_f inclination);
849 
855  virtual void IAI(bitLenInt target, real1_f azimuth, real1_f inclination);
856 
862  virtual void CAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination);
863 
870  virtual void AntiCAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination);
871 
878  virtual void CIAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination);
879 
886  virtual void AntiCIAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination);
887 
895  virtual void CU(
896  const std::vector<bitLenInt>& controls, bitLenInt target, real1_f theta, real1_f phi, real1_f lambda);
897 
905  virtual void AntiCU(
906  const std::vector<bitLenInt>& controls, bitLenInt target, real1_f theta, real1_f phi, real1_f lambda);
907 
913  virtual void H(bitLenInt qubit)
914  {
918  Mtrx(mtrx, qubit);
919  }
920 
926  virtual void SqrtH(bitLenInt qubit)
927  {
928  QRACK_CONST complex m00 =
929  complex((real1)((ONE_R1 + SQRT2_R1) / (2 * SQRT2_R1)), (real1)((-ONE_R1 + SQRT2_R1) / (2 * SQRT2_R1)));
930  QRACK_CONST complex m01 = complex((real1)(SQRT1_2_R1 / 2), (real1)(-SQRT1_2_R1 / 2));
931  QRACK_CONST complex m10 = m01;
932  QRACK_CONST complex m11 =
933  complex((real1)((-ONE_R1 + SQRT2_R1) / (2 * SQRT2_R1)), (real1)((ONE_R1 + SQRT2_R1) / (2 * SQRT2_R1)));
934  QRACK_CONST complex mtrx[4]{ m00, m01, m10, m11 };
935  Mtrx(mtrx, qubit);
936  }
937 
943  virtual void SH(bitLenInt qubit)
944  {
947  QRACK_CONST complex C_I_SQRT1_2_NEG = complex(ZERO_R1, -SQRT1_2_R1);
948  QRACK_CONST complex mtrx[4]{ C_SQRT1_2, C_SQRT1_2, C_I_SQRT1_2, C_I_SQRT1_2_NEG };
949  Mtrx(mtrx, qubit);
950  }
951 
957  virtual void HIS(bitLenInt qubit)
958  {
961  QRACK_CONST complex C_I_SQRT1_2_NEG = complex(ZERO_R1, -SQRT1_2_R1);
962  QRACK_CONST complex mtrx[4]{ C_SQRT1_2, C_I_SQRT1_2_NEG, C_SQRT1_2, C_I_SQRT1_2 };
963  Mtrx(mtrx, qubit);
964  }
965 
1013  virtual bool M(bitLenInt qubit) { return ForceM(qubit, false, false); };
1014 
1020  virtual bool ForceM(bitLenInt qubit, bool result, bool doForce = true, bool doApply = true) = 0;
1021 
1027  virtual void S(bitLenInt qubit) { Phase(ONE_CMPLX, I_CMPLX, qubit); }
1028 
1034  virtual void IS(bitLenInt qubit) { Phase(ONE_CMPLX, -I_CMPLX, qubit); }
1035 
1041  virtual void T(bitLenInt qubit) { Phase(ONE_CMPLX, complex(SQRT1_2_R1, SQRT1_2_R1), qubit); }
1042 
1048  virtual void IT(bitLenInt qubit) { Phase(ONE_CMPLX, complex(SQRT1_2_R1, -SQRT1_2_R1), qubit); }
1049 
1055  virtual void PhaseRootN(bitLenInt n, bitLenInt qubit)
1056  {
1057  if (n == 0) {
1058  return;
1059  }
1060 
1061  Phase(ONE_CMPLX, pow(-ONE_CMPLX, (real1)(ONE_R1 / pow2Ocl(n - 1U))), qubit);
1062  }
1063 
1069  virtual void PhaseRootNMask(bitLenInt n, const bitCapInt& mask);
1070 
1076  virtual void PhaseParity(real1_f radians, const bitCapInt& mask);
1077 
1084  virtual void X(bitLenInt qubit) { Invert(ONE_CMPLX, ONE_CMPLX, qubit); }
1085 
1092  virtual void XMask(const bitCapInt& mask);
1093 
1101  virtual void Y(bitLenInt qubit) { Invert(-I_CMPLX, I_CMPLX, qubit); }
1102 
1109  virtual void YMask(const bitCapInt& mask);
1110 
1117  virtual void Z(bitLenInt qubit) { Phase(ONE_CMPLX, -ONE_CMPLX, qubit); }
1118 
1125  virtual void ZMask(const bitCapInt& mask);
1126 
1133  virtual void SqrtX(bitLenInt qubit)
1134  {
1135  QRACK_CONST complex ONE_PLUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(ONE_R1 / 2));
1136  QRACK_CONST complex ONE_MINUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1137  QRACK_CONST complex mtrx[4]{ ONE_PLUS_I_DIV_2, ONE_MINUS_I_DIV_2, ONE_MINUS_I_DIV_2, ONE_PLUS_I_DIV_2 };
1138  Mtrx(mtrx, qubit);
1139  }
1140 
1147  virtual void ISqrtX(bitLenInt qubit)
1148  {
1149  QRACK_CONST complex ONE_PLUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(ONE_R1 / 2));
1150  QRACK_CONST complex ONE_MINUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1151  QRACK_CONST complex mtrx[4]{ ONE_MINUS_I_DIV_2, ONE_PLUS_I_DIV_2, ONE_PLUS_I_DIV_2, ONE_MINUS_I_DIV_2 };
1152  Mtrx(mtrx, qubit);
1153  }
1154 
1162  virtual void SqrtY(bitLenInt qubit)
1163  {
1164  QRACK_CONST complex ONE_PLUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(ONE_R1 / 2));
1165  QRACK_CONST complex ONE_PLUS_I_DIV_2_NEG = complex((real1)(-ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1166  QRACK_CONST complex mtrx[4]{ ONE_PLUS_I_DIV_2, ONE_PLUS_I_DIV_2_NEG, ONE_PLUS_I_DIV_2, ONE_PLUS_I_DIV_2 };
1167  Mtrx(mtrx, qubit);
1168  }
1169 
1177  virtual void ISqrtY(bitLenInt qubit)
1178  {
1179  QRACK_CONST complex ONE_MINUS_I_DIV_2 = complex((real1)(ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1180  QRACK_CONST complex ONE_MINUS_I_DIV_2_NEG = complex((real1)(-ONE_R1 / 2), (real1)(ONE_R1 / 2));
1181  QRACK_CONST complex mtrx[4]{ ONE_MINUS_I_DIV_2, ONE_MINUS_I_DIV_2, ONE_MINUS_I_DIV_2_NEG, ONE_MINUS_I_DIV_2 };
1182  Mtrx(mtrx, qubit);
1183  }
1184 
1190  virtual void SqrtW(bitLenInt qubit)
1191  {
1193  QRACK_CONST complex m01 = complex((real1)(-ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1194  QRACK_CONST complex m10 = complex((real1)(ONE_R1 / 2), (real1)(-ONE_R1 / 2));
1195  QRACK_CONST complex mtrx[4]{ diag, m01, m10, diag };
1196  Mtrx(mtrx, qubit);
1197  }
1198 
1204  virtual void ISqrtW(bitLenInt qubit)
1205  {
1207  QRACK_CONST complex m01 = complex((real1)(ONE_R1 / 2), (real1)(ONE_R1 / 2));
1208  QRACK_CONST complex m10 = complex((real1)(-ONE_R1 / 2), (real1)(ONE_R1 / 2));
1209  QRACK_CONST complex mtrx[4]{ diag, m01, m10, diag };
1210  Mtrx(mtrx, qubit);
1211  }
1212 
1219  virtual void CH(bitLenInt control, bitLenInt target)
1220  {
1221  const std::vector<bitLenInt> controls{ control };
1225  MCMtrx(controls, mtrx, target);
1226  }
1227 
1234  virtual void AntiCH(bitLenInt control, bitLenInt target)
1235  {
1236  const std::vector<bitLenInt> controls{ control };
1240  MACMtrx(controls, mtrx, target);
1241  }
1242 
1249  virtual void CS(bitLenInt control, bitLenInt target)
1250  {
1251  const std::vector<bitLenInt> controls{ control };
1252  MCPhase(controls, ONE_CMPLX, I_CMPLX, target);
1253  }
1254 
1261  virtual void AntiCS(bitLenInt control, bitLenInt target)
1262  {
1263  const std::vector<bitLenInt> controls{ control };
1264  MACPhase(controls, ONE_CMPLX, I_CMPLX, target);
1265  }
1266 
1273  virtual void CIS(bitLenInt control, bitLenInt target)
1274  {
1275  const std::vector<bitLenInt> controls{ control };
1276  MCPhase(controls, ONE_CMPLX, -I_CMPLX, target);
1277  }
1278 
1285  virtual void AntiCIS(bitLenInt control, bitLenInt target)
1286  {
1287  const std::vector<bitLenInt> controls{ control };
1288  MACPhase(controls, ONE_CMPLX, -I_CMPLX, target);
1289  }
1290 
1297  virtual void CT(bitLenInt control, bitLenInt target)
1298  {
1299  const std::vector<bitLenInt> controls{ control };
1300  MCPhase(controls, ONE_CMPLX, complex(SQRT1_2_R1, SQRT1_2_R1), target);
1301  }
1302 
1309  virtual void CIT(bitLenInt control, bitLenInt target)
1310  {
1311  const std::vector<bitLenInt> controls{ control };
1312  MCPhase(controls, ONE_CMPLX, complex(SQRT1_2_R1, -SQRT1_2_R1), target);
1313  }
1314 
1321  virtual void CPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
1322  {
1323  if (n == 0) {
1324  return;
1325  }
1326 
1327  const std::vector<bitLenInt> controls{ control };
1328  MCPhase(controls, ONE_CMPLX, pow(-ONE_CMPLX, (real1)(ONE_R1 / pow2Ocl(n - 1U))), target);
1329  }
1330 
1337  virtual void AntiCPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
1338  {
1339  if (n == 0) {
1340  return;
1341  }
1342 
1343  const std::vector<bitLenInt> controls{ control };
1344  MACPhase(controls, ONE_CMPLX, pow(-ONE_CMPLX, (real1)(ONE_R1 / pow2Ocl(n - 1U))), target);
1345  }
1346 
1353  virtual void CIPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
1354  {
1355  if (n == 0) {
1356  return;
1357  }
1358 
1359  const std::vector<bitLenInt> controls{ control };
1360  MCPhase(controls, ONE_CMPLX, pow(-ONE_CMPLX, (real1)(-ONE_R1 / pow2Ocl(n - 1U))), target);
1361  }
1362 
1369  virtual void AntiCIPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
1370  {
1371  if (n == 0) {
1372  return;
1373  }
1374 
1375  const std::vector<bitLenInt> controls{ control };
1376  MACPhase(controls, ONE_CMPLX, pow(-ONE_CMPLX, (real1)(-ONE_R1 / pow2Ocl(n - 1U))), target);
1377  }
1378 
1395  virtual void AND(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1396 
1402  virtual void OR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1403 
1409  virtual void XOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1410 
1415  virtual void CLAND(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1416 
1421  virtual void CLOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1422 
1427  virtual void CLXOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1428 
1434  virtual void NAND(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1435 
1441  virtual void NOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1442 
1448  virtual void XNOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit);
1449 
1454  virtual void CLNAND(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1455 
1460  virtual void CLNOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1461 
1466  virtual void CLXNOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit);
1467 
1489  virtual void UniformlyControlledRY(const std::vector<bitLenInt>& controls, bitLenInt qubit, const real1* angles);
1490 
1501  virtual void UniformlyControlledRZ(const std::vector<bitLenInt>& controls, bitLenInt qubit, const real1* angles);
1502 
1508  virtual void RT(real1_f radians, bitLenInt qubit);
1509 
1515  virtual void RX(real1_f radians, bitLenInt qubit);
1516 
1522  virtual void RY(real1_f radians, bitLenInt qubit);
1523 
1529  virtual void RZ(real1_f radians, bitLenInt qubit);
1530 
1537  virtual void CRZ(real1_f radians, bitLenInt control, bitLenInt target);
1538 
1545  virtual void CRY(real1_f radians, bitLenInt control, bitLenInt target);
1546 
1547 #if ENABLE_ROT_API
1554  virtual void RTDyad(int numerator, int denomPower, bitLenInt qubit);
1555 
1561  virtual void RXDyad(int numerator, int denomPower, bitLenInt qubit);
1562 
1568  virtual void Exp(real1_f radians, bitLenInt qubit);
1569 
1575  virtual void Exp(
1576  const std::vector<bitLenInt>& controls, bitLenInt qubit, const complex* matrix2x2, bool antiCtrled = false);
1577 
1584  virtual void ExpDyad(int numerator, int denomPower, bitLenInt qubit);
1585 
1591  virtual void ExpX(real1_f radians, bitLenInt qubit);
1592 
1599  virtual void ExpXDyad(int numerator, int denomPower, bitLenInt qubit);
1600 
1606  virtual void ExpY(real1_f radians, bitLenInt qubit);
1607 
1614  virtual void ExpYDyad(int numerator, int denomPower, bitLenInt qubit);
1615 
1621  virtual void ExpZ(real1_f radians, bitLenInt qubit);
1622 
1629  virtual void ExpZDyad(int numerator, int denomPower, bitLenInt qubit);
1630 
1636  virtual void CRX(real1_f radians, bitLenInt control, bitLenInt target);
1637 
1643  virtual void CRXDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target);
1644 
1650  virtual void RYDyad(int numerator, int denomPower, bitLenInt qubit);
1651 
1658  virtual void CRYDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target);
1659 
1665  virtual void RZDyad(int numerator, int denomPower, bitLenInt qubit);
1666 
1673  virtual void CRZDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target);
1674 
1682  virtual void CRT(real1_f radians, bitLenInt control, bitLenInt target);
1683 
1690  virtual void CRTDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target);
1691 #endif
1692 
1705  virtual void H(bitLenInt start, bitLenInt length);
1706 
1708  virtual void X(bitLenInt start, bitLenInt length) { XMask(bitRegMask(start, length)); }
1709 
1710 #if ENABLE_REG_GATES
1711 
1713  virtual void U(bitLenInt start, bitLenInt length, real1_f theta, real1_f phi, real1_f lambda);
1714 
1716  virtual void U2(bitLenInt start, bitLenInt length, real1_f phi, real1_f lambda);
1717 
1719  virtual void SH(bitLenInt start, bitLenInt length);
1720 
1722  virtual void HIS(bitLenInt start, bitLenInt length);
1723 
1725  virtual void SqrtH(bitLenInt start, bitLenInt length);
1726 
1728  virtual void S(bitLenInt start, bitLenInt length);
1729 
1731  virtual void IS(bitLenInt start, bitLenInt length);
1732 
1734  virtual void T(bitLenInt start, bitLenInt length);
1735 
1737  virtual void IT(bitLenInt start, bitLenInt length);
1738 
1740  virtual void PhaseRootN(bitLenInt n, bitLenInt start, bitLenInt length);
1741 
1743  virtual void IPhaseRootN(bitLenInt n, bitLenInt start, bitLenInt length);
1744 
1746  virtual void Y(bitLenInt start, bitLenInt length);
1747 
1749  virtual void SqrtX(bitLenInt start, bitLenInt length);
1750 
1752  virtual void ISqrtX(bitLenInt start, bitLenInt length);
1753 
1755  virtual void SqrtY(bitLenInt start, bitLenInt length);
1756 
1758  virtual void ISqrtY(bitLenInt start, bitLenInt length);
1759 
1761  virtual void Z(bitLenInt start, bitLenInt length);
1762 
1764  virtual void CNOT(bitLenInt inputBits, bitLenInt targetBits, bitLenInt length);
1765 
1767  virtual void AntiCNOT(bitLenInt inputBits, bitLenInt targetBits, bitLenInt length);
1768 
1770  virtual void CCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1771 
1773  virtual void AntiCCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1774 
1776  virtual void CY(bitLenInt control, bitLenInt target, bitLenInt length);
1777 
1779  virtual void AntiCY(bitLenInt inputBits, bitLenInt targetBits, bitLenInt length);
1780 
1782  virtual void CCY(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1783 
1785  virtual void AntiCCY(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1786 
1788  virtual void CZ(bitLenInt control, bitLenInt target, bitLenInt length);
1789 
1791  virtual void AntiCZ(bitLenInt inputBits, bitLenInt targetBits, bitLenInt length);
1792 
1794  virtual void CCZ(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1795 
1797  virtual void AntiCCZ(bitLenInt control1, bitLenInt control2, bitLenInt target, bitLenInt length);
1798 
1800  virtual void Swap(bitLenInt start1, bitLenInt start2, bitLenInt length);
1801 
1803  virtual void ISwap(bitLenInt start1, bitLenInt start2, bitLenInt length);
1804 
1806  virtual void IISwap(bitLenInt start1, bitLenInt start2, bitLenInt length);
1807 
1809  virtual void SqrtSwap(bitLenInt start1, bitLenInt start2, bitLenInt length);
1810 
1812  virtual void ISqrtSwap(bitLenInt start1, bitLenInt start2, bitLenInt length);
1813 
1815  virtual void FSim(real1_f theta, real1_f phi, bitLenInt start1, bitLenInt start2, bitLenInt length);
1816 
1823  virtual void AND(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1824 
1831  virtual void CLAND(bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1832 
1834  virtual void OR(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1835 
1837  virtual void CLOR(bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1838 
1840  virtual void XOR(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1841 
1843  virtual void CLXOR(bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1844 
1846  virtual void NAND(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1847 
1849  virtual void CLNAND(
1850  bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1851 
1853  virtual void NOR(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1854 
1856  virtual void CLNOR(bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1857 
1859  virtual void XNOR(bitLenInt inputStart1, bitLenInt inputStart2, bitLenInt outputStart, bitLenInt length);
1860 
1862  virtual void CLXNOR(
1863  bitLenInt qInputStart, const bitCapInt& classicalInput, bitLenInt outputStart, bitLenInt length);
1864 
1865 #if ENABLE_ROT_API
1871  virtual void RT(real1_f radians, bitLenInt start, bitLenInt length);
1872 
1879  virtual void RTDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
1880 
1886  virtual void RX(real1_f radians, bitLenInt start, bitLenInt length);
1887 
1893  virtual void RXDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
1894 
1900  virtual void CRX(real1_f radians, bitLenInt control, bitLenInt target, bitLenInt length);
1901 
1907  virtual void CRXDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target, bitLenInt length);
1908 
1914  virtual void RY(real1_f radians, bitLenInt start, bitLenInt length);
1915 
1922  virtual void RYDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
1923 
1930  virtual void CRY(real1_f radians, bitLenInt control, bitLenInt target, bitLenInt length);
1931 
1938  virtual void CRYDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target, bitLenInt length);
1939 
1945  virtual void RZ(real1_f radians, bitLenInt start, bitLenInt length);
1946 
1952  virtual void RZDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
1953 
1960  virtual void CRZ(real1_f radians, bitLenInt control, bitLenInt target, bitLenInt length);
1961 
1968  virtual void CRZDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target, bitLenInt length);
1969 
1976  virtual void CRT(real1_f radians, bitLenInt control, bitLenInt target, bitLenInt length);
1977 
1984  virtual void CRTDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target, bitLenInt length);
1985 
1991  virtual void Exp(real1_f radians, bitLenInt start, bitLenInt length);
1992 
1999  virtual void ExpDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
2000 
2006  virtual void ExpX(real1_f radians, bitLenInt start, bitLenInt length);
2007 
2014  virtual void ExpXDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
2015 
2021  virtual void ExpY(real1_f radians, bitLenInt start, bitLenInt length);
2022 
2029  virtual void ExpYDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
2030 
2036  virtual void ExpZ(real1_f radians, bitLenInt start, bitLenInt length);
2037 
2044  virtual void ExpZDyad(int numerator, int denomPower, bitLenInt start, bitLenInt length);
2045 #endif
2046 
2053  virtual void CH(bitLenInt control, bitLenInt target, bitLenInt length);
2054 
2061  virtual void CS(bitLenInt control, bitLenInt target, bitLenInt length);
2062 
2069  virtual void CIS(bitLenInt control, bitLenInt target, bitLenInt length);
2070 
2077  virtual void CT(bitLenInt control, bitLenInt target, bitLenInt length);
2078 
2085  virtual void CIT(bitLenInt control, bitLenInt target, bitLenInt length);
2086 
2093  virtual void CPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target, bitLenInt length);
2094 
2101  virtual void CIPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target, bitLenInt length);
2102 
2104 #endif
2105 
2113  virtual void ROL(bitLenInt shift, bitLenInt start, bitLenInt length);
2114 
2116  virtual void ROR(bitLenInt shift, bitLenInt start, bitLenInt length);
2117 
2119  virtual void ASL(bitLenInt shift, bitLenInt start, bitLenInt length);
2120 
2122  virtual void ASR(bitLenInt shift, bitLenInt start, bitLenInt length);
2123 
2125  virtual void LSL(bitLenInt shift, bitLenInt start, bitLenInt length);
2126 
2128  virtual void LSR(bitLenInt shift, bitLenInt start, bitLenInt length);
2129 
2131  virtual void INC(const bitCapInt& toAdd, bitLenInt start, bitLenInt length);
2132 
2134  virtual void DEC(const bitCapInt& toSub, bitLenInt start, bitLenInt length)
2135  {
2136  const bitCapInt invToSub = pow2(length) - toSub;
2137  INC(invToSub, start, length);
2138  }
2139 
2141  virtual void INCDECC(const bitCapInt& toAdd, bitLenInt start, bitLenInt length, bitLenInt carryIndex);
2142 
2144  virtual void INCC(const bitCapInt& toAdd, bitLenInt start, bitLenInt length, bitLenInt carryIndex)
2145  {
2146  const bool hasCarry = M(carryIndex);
2147  if (hasCarry) {
2148  X(carryIndex);
2149  INCDECC(toAdd + 1U, start, length, carryIndex);
2150  } else {
2151  INCDECC(toAdd, start, length, carryIndex);
2152  }
2153  }
2154 
2156  virtual void DECC(const bitCapInt& toSub, bitLenInt start, bitLenInt length, bitLenInt carryIndex)
2157  {
2158  const bool hasCarry = M(carryIndex);
2159  bitCapInt invToSub = pow2(length) - toSub;
2160  if (hasCarry) {
2161  X(carryIndex);
2162  } else {
2163  --invToSub;
2164  }
2165 
2166  INCDECC(invToSub, start, length, carryIndex);
2167  }
2168 
2170  virtual void CINC(
2171  const bitCapInt& toAdd, bitLenInt inOutStart, bitLenInt length, const std::vector<bitLenInt>& controls);
2172 
2174  virtual void CDEC(
2175  const bitCapInt& toSub, bitLenInt inOutStart, bitLenInt length, const std::vector<bitLenInt>& controls)
2176  {
2177  const bitCapInt invToSub = pow2(length) - toSub;
2178  CINC(invToSub, inOutStart, length, controls);
2179  }
2180 
2182  virtual void INCS(const bitCapInt& toAdd, bitLenInt start, bitLenInt length, bitLenInt overflowIndex)
2183  {
2184  const bitCapInt signMask = pow2(length - 1U);
2185  INC(signMask, start, length);
2186  INCDECC(toAdd & ~signMask, start, length, overflowIndex);
2187  if (bi_compare_0(toAdd & signMask) == 0) {
2188  DEC(signMask, start, length);
2189  }
2190  }
2191 
2193  virtual void DECS(const bitCapInt& toSub, bitLenInt start, bitLenInt length, bitLenInt overflowIndex)
2194  {
2195  const bitCapInt invToSub = pow2(length) - toSub;
2196  INCS(invToSub, start, length, overflowIndex);
2197  }
2198 
2200  virtual void MULModNOut(
2201  const bitCapInt& toMul, const bitCapInt& modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length);
2202 
2204  virtual void IMULModNOut(
2205  const bitCapInt& toMul, const bitCapInt& modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length);
2206 
2208  virtual void CMULModNOut(const bitCapInt& toMul, const bitCapInt& modN, bitLenInt inStart, bitLenInt outStart,
2209  bitLenInt length, const std::vector<bitLenInt>& controls);
2210 
2212  virtual void CIMULModNOut(const bitCapInt& toMul, const bitCapInt& modN, bitLenInt inStart, bitLenInt outStart,
2213  bitLenInt length, const std::vector<bitLenInt>& controls);
2214 
2220  virtual void FullAdd(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
2221  {
2222  // See https://quantumcomputing.stackexchange.com/questions/1654/how-do-i-add-11-using-a-quantum-computer
2223 
2224  // Assume outputBit is in 0 state.
2225  CCNOT(inputBit1, inputBit2, carryOut);
2226  CNOT(inputBit1, inputBit2);
2227  CCNOT(inputBit2, carryInSumOut, carryOut);
2228  CNOT(inputBit2, carryInSumOut);
2229  CNOT(inputBit1, inputBit2);
2230  }
2231 
2237  virtual void IFullAdd(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
2238  {
2239  // See https://quantumcomputing.stackexchange.com/questions/1654/how-do-i-add-11-using-a-quantum-computer
2240  // Quantum computing is reversible! Simply perform the inverse operations in reverse order!
2241  // (CNOT and CCNOT are self-inverse.)
2242 
2243  // Assume outputBit is in 0 state.
2244  CNOT(inputBit1, inputBit2);
2245  CNOT(inputBit2, carryInSumOut);
2246  CCNOT(inputBit2, carryInSumOut, carryOut);
2247  CNOT(inputBit1, inputBit2);
2248  CCNOT(inputBit1, inputBit2, carryOut);
2249  }
2250 
2256  virtual void CFullAdd(const std::vector<bitLenInt>& controls, bitLenInt inputBit1, bitLenInt inputBit2,
2257  bitLenInt carryInSumOut, bitLenInt carryOut);
2258 
2264  virtual void CIFullAdd(const std::vector<bitLenInt>& controls, bitLenInt inputBit1, bitLenInt inputBit2,
2265  bitLenInt carryInSumOut, bitLenInt carryOut);
2266 
2272  virtual void ADC(bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry);
2273 
2279  virtual void IADC(bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry);
2280 
2286  virtual void CADC(const std::vector<bitLenInt>& controls, bitLenInt input1, bitLenInt input2, bitLenInt output,
2287  bitLenInt length, bitLenInt carry);
2288 
2294  virtual void CIADC(const std::vector<bitLenInt>& controls, bitLenInt input1, bitLenInt input2, bitLenInt output,
2295  bitLenInt length, bitLenInt carry);
2296 
2311  virtual void QFT(bitLenInt start, bitLenInt length, bool trySeparate = false);
2312 
2319  virtual void QFTR(const std::vector<bitLenInt>& qubits, bool trySeparate = false);
2320 
2327  virtual void IQFT(bitLenInt start, bitLenInt length, bool trySeparate = false);
2328 
2335  virtual void IQFTR(const std::vector<bitLenInt>& qubits, bool trySeparate = false);
2336 
2338  virtual void ZeroPhaseFlip(bitLenInt start, bitLenInt length);
2339 
2341  virtual void PhaseFlip() { Phase(-ONE_CMPLX, -ONE_CMPLX, 0); }
2342 
2344  virtual void SetReg(bitLenInt start, bitLenInt length, const bitCapInt& value);
2345 
2347  virtual bitCapInt MReg(bitLenInt start, bitLenInt length) { return ForceMReg(start, length, ZERO_BCI, false); }
2348 
2350  virtual bitCapInt MAll() { return MReg(0, qubitCount); }
2351 
2357  virtual bitCapInt ForceMReg(
2358  bitLenInt start, bitLenInt length, const bitCapInt& result, bool doForce = true, bool doApply = true);
2359 
2361  virtual bitCapInt M(const std::vector<bitLenInt>& bits) { return ForceM(bits, std::vector<bool>()); }
2362 
2364  virtual bitCapInt ForceM(const std::vector<bitLenInt>& bits, const std::vector<bool>& values, bool doApply = true);
2365 
2367  virtual void Swap(bitLenInt qubit1, bitLenInt qubit2);
2368 
2370  virtual void ISwap(bitLenInt qubit1, bitLenInt qubit2);
2371 
2373  virtual void IISwap(bitLenInt qubit1, bitLenInt qubit2);
2374 
2376  virtual void SqrtSwap(bitLenInt qubit1, bitLenInt qubit2);
2377 
2379  virtual void ISqrtSwap(bitLenInt qubit1, bitLenInt qubit2);
2380 
2382  virtual void FSim(real1_f theta, real1_f phi, bitLenInt qubit1, bitLenInt qubit2) = 0;
2383 
2385  virtual void Reverse(bitLenInt first, bitLenInt last)
2386  {
2387  while ((last > 0U) && (first < (last - 1U))) {
2388  --last;
2389  Swap(first, last);
2390  ++first;
2391  }
2392  }
2393 
2407  virtual real1_f Prob(bitLenInt qubit) = 0;
2413  virtual real1_f CProb(bitLenInt control, bitLenInt target)
2414  {
2415  AntiCNOT(control, target);
2416  const real1_f prob = Prob(target);
2417  AntiCNOT(control, target);
2418 
2419  return prob;
2420  }
2426  virtual real1_f ACProb(bitLenInt control, bitLenInt target)
2427  {
2428  CNOT(control, target);
2429  const real1_f prob = Prob(target);
2430  CNOT(control, target);
2431 
2432  return prob;
2433  }
2434 
2440  virtual real1_f ProbAll(const bitCapInt& fullRegister)
2441  {
2442  return clampProb((real1_f)norm(GetAmplitude(fullRegister)));
2443  }
2444 
2450  virtual real1_f ProbReg(bitLenInt start, bitLenInt length, const bitCapInt& permutation);
2451 
2461  virtual real1_f ProbMask(const bitCapInt& mask, const bitCapInt& permutation);
2462 
2471  virtual void ProbMaskAll(const bitCapInt& mask, real1* probsArray);
2472 
2481  virtual void ProbBitsAll(const std::vector<bitLenInt>& bits, real1* probsArray);
2482 
2491  virtual real1_f VarianceBitsAll(const std::vector<bitLenInt>& bits, const bitCapInt& offset = ZERO_BCI)
2492  {
2493  return ExpVarBitsAll(false, bits, offset);
2494  }
2495 
2505  bool roundRz, const std::vector<bitLenInt>& bits, const bitCapInt& offset = ZERO_BCI)
2506  {
2507  return VarianceBitsAll(bits, offset);
2508  }
2509 
2518  virtual real1_f VariancePauliAll(std::vector<bitLenInt> bits, std::vector<Pauli> paulis);
2519 
2529  const std::vector<bitLenInt>& bits, const std::vector<real1_f>& basisOps, std::vector<real1_f> eigenVals = {})
2530  {
2531  return ExpVarUnitaryAll(false, bits, basisOps, eigenVals);
2532  }
2533 
2542  virtual real1_f VarianceUnitaryAll(const std::vector<bitLenInt>& bits,
2543  const std::vector<std::shared_ptr<complex>>& basisOps, std::vector<real1_f> eigenVals = {})
2544  {
2545  return ExpVarUnitaryAll(false, bits, basisOps, eigenVals);
2546  }
2547 
2556  virtual real1_f VarianceFloatsFactorized(const std::vector<bitLenInt>& bits, const std::vector<real1_f>& weights);
2557 
2568  bool roundRz, const std::vector<bitLenInt>& bits, const std::vector<real1_f>& weights)
2569  {
2570  return VarianceFloatsFactorized(bits, weights);
2571  }
2572 
2582  const std::vector<bitLenInt>& bits, const std::vector<bitCapInt>& perms, const bitCapInt& offset = ZERO_BCI);
2583 
2593  virtual real1_f VarianceBitsFactorizedRdm(bool roundRz, const std::vector<bitLenInt>& bits,
2594  const std::vector<bitCapInt>& perms, const bitCapInt& offset = ZERO_BCI)
2595  {
2596  return VarianceBitsFactorized(bits, perms, offset);
2597  }
2598 
2607  virtual real1_f ExpectationBitsAll(const std::vector<bitLenInt>& bits, const bitCapInt& offset = ZERO_BCI)
2608  {
2609  return ExpVarBitsAll(true, bits, offset);
2610  }
2611 
2620  virtual real1_f ExpectationPauliAll(std::vector<bitLenInt> bits, std::vector<Pauli> paulis);
2621 
2630  virtual real1_f ExpectationUnitaryAll(const std::vector<bitLenInt>& bits,
2631  const std::vector<std::shared_ptr<complex>>& basisOps, std::vector<real1_f> eigenVals = {})
2632  {
2633  return ExpVarUnitaryAll(true, bits, basisOps, eigenVals);
2634  }
2635 
2645  const std::vector<bitLenInt>& bits, const std::vector<real1_f>& basisOps, std::vector<real1_f> eigenVals = {})
2646  {
2647  return ExpVarUnitaryAll(true, bits, basisOps, eigenVals);
2648  }
2649 
2659  const std::vector<bitLenInt>& bits, const std::vector<bitCapInt>& perms, const bitCapInt& offset = ZERO_BCI);
2660 
2670  virtual real1_f ExpectationBitsFactorizedRdm(bool roundRz, const std::vector<bitLenInt>& bits,
2671  const std::vector<bitCapInt>& perms, const bitCapInt& offset = ZERO_BCI)
2672  {
2673  return ExpectationBitsFactorized(bits, perms, offset);
2674  }
2675 
2685  const std::vector<bitLenInt>& bits, const std::vector<real1_f>& weights);
2686 
2697  bool roundRz, const std::vector<bitLenInt>& bits, const std::vector<real1_f>& weights)
2698  {
2699  return ExpectationFloatsFactorized(bits, weights);
2700  }
2701 
2708  virtual real1_f ProbRdm(bitLenInt qubit) { return Prob(qubit); }
2714  virtual real1_f ProbAllRdm(bool roundRz, const bitCapInt& fullRegister) { return ProbAll(fullRegister); }
2724  virtual real1_f ProbMaskRdm(bool roundRz, const bitCapInt& mask, const bitCapInt& permutation)
2725  {
2726  return ProbMask(mask, permutation);
2727  }
2737  bool roundRz, const std::vector<bitLenInt>& bits, const bitCapInt& offset = ZERO_BCI)
2738  {
2739  return ExpectationBitsAll(bits, offset);
2740  }
2741 
2756  virtual std::map<bitCapInt, int> MultiShotMeasureMask(const std::vector<bitCapInt>& qPowers, unsigned shots);
2757 
2765  virtual void MultiShotMeasureMask(
2766  const std::vector<bitCapInt>& qPowers, unsigned shots, unsigned long long* shotsArray);
2767 
2777  virtual void SetBit(bitLenInt qubit, bool value)
2778  {
2779  if (value != M(qubit)) {
2780  X(qubit);
2781  }
2782  }
2783 
2790  virtual bool ApproxCompare(QInterfacePtr toCompare, real1_f error_tol = TRYDECOMPOSE_EPSILON)
2791  {
2792  return SumSqrDiff(toCompare) <= error_tol;
2793  }
2794 
2800  virtual real1_f SumSqrDiff(QInterfacePtr toCompare) = 0;
2801 
2807  virtual bool TryDecompose(bitLenInt start, QInterfacePtr dest, real1_f error_tol = TRYDECOMPOSE_EPSILON);
2808 
2815  virtual void UpdateRunningNorm(real1_f norm_thresh = REAL1_DEFAULT_ARG) = 0;
2816 
2823  virtual void NormalizeState(
2824  real1_f nrm = REAL1_DEFAULT_ARG, real1_f norm_thresh = REAL1_DEFAULT_ARG, real1_f phaseArg = ZERO_R1_F) = 0;
2825 
2831  virtual void Finish() {}
2832 
2837  virtual bool isFinished() { return true; }
2838 
2843  virtual void Dump() {}
2844 
2849  virtual bool isBinaryDecisionTree() { return false; }
2850 
2855  virtual bool isClifford() { return false; }
2856 
2861  virtual bool isClifford(bitLenInt qubit) { return false; }
2862 
2866  virtual bool isOpenCL() { return false; }
2867 
2881  virtual bool TrySeparate(const std::vector<bitLenInt>& qubits, real1_f error_tol) { return false; }
2885  virtual bool TrySeparate(bitLenInt qubit) { return false; }
2889  virtual bool TrySeparate(bitLenInt qubit1, bitLenInt qubit2) { return false; }
2899  virtual double GetUnitaryFidelity() { return 1.0; }
2903  virtual void ResetUnitaryFidelity() {}
2907  virtual void SetSdrp(real1_f sdrp){};
2911  virtual void SetNcrp(real1_f ncrp){};
2919  virtual void SetReactiveSeparate(bool isAggSep) {}
2927  virtual bool GetReactiveSeparate() { return false; }
2935  virtual void SetTInjection(bool useGadget) {}
2943  virtual bool GetTInjection() { return false; }
2949  virtual void SetNoiseParameter(real1_f lambda) {}
2955  virtual real1_f GetNoiseParameter() { return ZERO_R1_F; }
2956 
2960  virtual QInterfacePtr Clone() = 0;
2961 
2965  virtual QInterfacePtr Copy() { return Clone(); }
2966 
2970  virtual void SetDevice(int64_t dID) = 0;
2971 
2975  virtual int64_t GetDevice() { return -1; }
2976 
2980  bitCapIntOcl GetMaxSize() { return pow2Ocl(sizeof(bitCapInt) * 8); };
2981 
2986  {
2987  complex amp;
2988  bitCapInt perm = ZERO_BCI;
2989  do {
2990  amp = GetAmplitude(perm);
2991  bi_increment(&perm, 1U);
2992  } while ((abs(amp) <= REAL1_EPSILON) && (perm < maxQPower));
2993 
2994  return (real1_f)std::arg(amp);
2995  }
2996 
3002  virtual void DepolarizingChannelWeak1Qb(bitLenInt qubit, real1_f lambda);
3003 
3016 
3018 };
3019 } // namespace Qrack
void bi_or_ip(BigInteger *left, const BigInteger &right)
Definition: big_integer.hpp:429
void bi_increment(BigInteger *pBigInt, const BIG_INTEGER_WORD &value)
Definition: big_integer.hpp:214
int bi_compare_0(const BigInteger &left)
Definition: big_integer.hpp:134
Definition: parallel_for.hpp:19
void SetConcurrencyLevel(unsigned num)
Definition: parallel_for.hpp:28
A "Qrack::QInterface" is an abstract interface exposing qubit permutation state vector with methods t...
Definition: qinterface.hpp:141
virtual void GetQuantumState(complex *outputState)=0
Get the pure quantum state representation.
bitCapInt maxQPower
Definition: qinterface.hpp:149
void SetRandomSeed(uint32_t seed)
Definition: qinterface.hpp:261
virtual void SetConcurrency(uint32_t threadsPerEngine)
Set the number of threads in parallel for loops, per component QEngine.
Definition: qinterface.hpp:275
real1 amplitudeFloor
Definition: qinterface.hpp:148
void MACWrapper(const std::vector< bitLenInt > &controls, Fn fn)
Definition: qinterface.hpp:179
bool useRDRAND
Definition: qinterface.hpp:145
virtual bitLenInt Allocate(bitLenInt length)
Allocate new "length" count of |0> state qubits at end of qubit index position.
Definition: qinterface.hpp:470
virtual bitCapInt GetMaxQPower()
Get the maximum number of basis states, namely for qubits.
Definition: qinterface.hpp:281
virtual void Copy(QInterfacePtr orig)
Definition: qinterface.hpp:222
virtual void Dispose(bitLenInt start, bitLenInt length, const bitCapInt &disposedPerm)=0
Dispose a a contiguous set of qubits that are already in a permutation eigenstate.
std::shared_ptr< RdRandom > hardware_rand_generator
Definition: qinterface.hpp:152
virtual bitLenInt Compose(QInterfacePtr toCopy)
Combine another QInterface with this one, after the last bit index of this one.
Definition: qinterface.hpp:364
virtual QInterfacePtr Decompose(bitLenInt start, bitLenInt length)=0
Schmidt decompose a length of qubits.
qrack_rand_gen_ptr rand_generator
Definition: qinterface.hpp:150
virtual bitLenInt ComposeNoClone(QInterfacePtr toCopy)
This is a variant of Compose() for a toCopy argument that will definitely not be reused once "Compose...
Definition: qinterface.hpp:369
bool randGlobalPhase
Definition: qinterface.hpp:144
virtual void SetPermutation(const bitCapInt &perm, const complex &phaseFac=CMPLX_DEFAULT_ARG)
Set to a specific permutation of all qubits.
Definition: qinterface.cpp:101
virtual void Decompose(bitLenInt start, QInterfacePtr dest)=0
Minimally decompose a set of contiguous bits from the separably composed unit, into "destination".
QInterface()
Default constructor, primarily for protected internal use.
Definition: qinterface.hpp:242
virtual void SetQubitCount(bitLenInt qb)
Definition: qinterface.hpp:268
std::uniform_real_distribution< real1_s > rand_distribution
Definition: qinterface.hpp:151
virtual void SetAmplitude(const bitCapInt &perm, const complex &amp)=0
Sets the representational amplitude of a full permutation.
virtual bitLenInt Allocate(bitLenInt start, bitLenInt length)=0
Allocate new "length" count of |0> state qubits at specified qubit index start position.
virtual void SetQuantumState(const complex *inputState)=0
Set an arbitrary pure quantum state representation.
virtual bitCapInt SampleClone(const std::vector< bitCapInt > &qPowers)
Definition: qinterface.hpp:191
static real1_f normHelper(const complex &c)
Definition: qinterface.hpp:156
static real1_f clampProb(real1_f toClamp)
Definition: qinterface.hpp:158
virtual real1_f ExpVarUnitaryAll(bool isExp, const std::vector< bitLenInt > &bits, const std::vector< std::shared_ptr< complex >> &basisOps, std::vector< real1_f > eigenVals={})
Definition: qinterface.cpp:477
bitLenInt qubitCount
Definition: qinterface.hpp:146
virtual bitLenInt GetQubitCount()
Get the count of bits in this register.
Definition: qinterface.hpp:278
uint32_t randomSeed
Definition: qinterface.hpp:147
real1_f Rand()
Generate a random real number between 0 and 1.
Definition: qinterface.hpp:286
virtual real1_f ExpVarBitsAll(bool isExp, const std::vector< bitLenInt > &bits, const bitCapInt &offset=ZERO_BCI)
Definition: qinterface.hpp:210
virtual void Dispose(bitLenInt start, bitLenInt length)=0
Minimally decompose a set of contiguous bits from the separably composed unit, and discard the separa...
virtual bool GetIsArbitraryGlobalPhase()
Definition: qinterface.hpp:283
bool doNormalize
Definition: qinterface.hpp:143
complex GetNonunitaryPhase()
Definition: qinterface.hpp:169
virtual ~QInterface()
Definition: qinterface.hpp:256
virtual void GetProbs(real1 *outputProbs)=0
Get the pure quantum state representation.
virtual complex GetAmplitude(const bitCapInt &perm)=0
Get the representational amplitude of a full permutation.
Half-precision floating-point type.
Definition: half.hpp:2222
virtual void MULModNOut(const bitCapInt &toMul, const bitCapInt &modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length)
Multiplication modulo N by integer, (out of place)
Definition: arithmetic.cpp:126
virtual void DECS(const bitCapInt &toSub, bitLenInt start, bitLenInt length, bitLenInt overflowIndex)
Subtract a classical integer from the register, with sign and without carry.
Definition: qinterface.hpp:2193
virtual void ASL(bitLenInt shift, bitLenInt start, bitLenInt length)
Arithmetic shift left, with last 2 bits as sign and carry.
Definition: qinterface.cpp:331
virtual void IFullAdd(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
Inverse of FullAdd.
Definition: qinterface.hpp:2237
virtual void INCDECC(const bitCapInt &toAdd, bitLenInt start, bitLenInt length, bitLenInt carryIndex)
Common driver method behind INCC and DECC.
Definition: arithmetic.cpp:52
virtual void CADC(const std::vector< bitLenInt > &controls, bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry)
Add a quantum integer to a quantum integer, with carry and with controls.
Definition: arithmetic.cpp:371
virtual void CINC(const bitCapInt &toAdd, bitLenInt inOutStart, bitLenInt length, const std::vector< bitLenInt > &controls)
Add integer (without sign, with controls)
Definition: arithmetic.cpp:78
virtual void INCS(const bitCapInt &toAdd, bitLenInt start, bitLenInt length, bitLenInt overflowIndex)
Add a classical integer to the register, with sign and without carry.
Definition: qinterface.hpp:2182
virtual void DECC(const bitCapInt &toSub, bitLenInt start, bitLenInt length, bitLenInt carryIndex)
Subtract classical integer (without sign, with carry)
Definition: qinterface.hpp:2156
virtual void ADC(bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry)
Add a quantum integer to a quantum integer, with carry.
Definition: arithmetic.cpp:329
virtual void DEC(const bitCapInt &toSub, bitLenInt start, bitLenInt length)
Subtract classical integer (without sign)
Definition: qinterface.hpp:2134
virtual void CFullAdd(const std::vector< bitLenInt > &controls, bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
Controlled quantum analog of classical "Full Adder" gate.
Definition: arithmetic.cpp:275
virtual void INC(const bitCapInt &toAdd, bitLenInt start, bitLenInt length)
Add integer (without sign)
Definition: arithmetic.cpp:20
virtual void LSR(bitLenInt shift, bitLenInt start, bitLenInt length)
Logical shift right, filling the extra bits with |0>
Definition: qinterface.cpp:382
virtual void FullAdd(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
Quantum analog of classical "Full Adder" gate.
Definition: qinterface.hpp:2220
virtual void IMULModNOut(const bitCapInt &toMul, const bitCapInt &modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length)
Inverse of multiplication modulo N by integer, (out of place)
Definition: arithmetic.cpp:164
virtual void CIFullAdd(const std::vector< bitLenInt > &controls, bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt carryInSumOut, bitLenInt carryOut)
Inverse of CFullAdd.
Definition: arithmetic.cpp:301
virtual void CIADC(const std::vector< bitLenInt > &controls, bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry)
Inverse of CADC.
Definition: arithmetic.cpp:393
virtual void ROL(bitLenInt shift, bitLenInt start, bitLenInt length)
Circular shift left - shift bits left, and carry last bits.
Definition: qinterface.cpp:295
virtual void CDEC(const bitCapInt &toSub, bitLenInt inOutStart, bitLenInt length, const std::vector< bitLenInt > &controls)
Subtract classical integer (without sign, with controls)
Definition: qinterface.hpp:2174
virtual void INCC(const bitCapInt &toAdd, bitLenInt start, bitLenInt length, bitLenInt carryIndex)
Add integer (without sign, with carry)
Definition: qinterface.hpp:2144
virtual void IADC(bitLenInt input1, bitLenInt input2, bitLenInt output, bitLenInt length, bitLenInt carry)
Inverse of ADC.
Definition: arithmetic.cpp:350
virtual void CMULModNOut(const bitCapInt &toMul, const bitCapInt &modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length, const std::vector< bitLenInt > &controls)
Controlled multiplication modulo N by integer, (out of place)
Definition: arithmetic.cpp:200
virtual void CIMULModNOut(const bitCapInt &toMul, const bitCapInt &modN, bitLenInt inStart, bitLenInt outStart, bitLenInt length, const std::vector< bitLenInt > &controls)
Inverse of controlled multiplication modulo N by integer, (out of place)
Definition: arithmetic.cpp:239
virtual void ROR(bitLenInt shift, bitLenInt start, bitLenInt length)
Circular shift right - shift bits right, and carry first bits.
Definition: qinterface.cpp:313
virtual void LSL(bitLenInt shift, bitLenInt start, bitLenInt length)
Logical shift left, filling the extra bits with |0>
Definition: qinterface.cpp:367
virtual void ASR(bitLenInt shift, bitLenInt start, bitLenInt length)
Arithmetic shift right, with last 2 bits as sign and carry.
Definition: qinterface.cpp:349
virtual void ZMask(const bitCapInt &mask)
Masked Z gate.
Definition: gates.cpp:145
virtual void CPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
Controlled "PhaseRootN" gate.
Definition: qinterface.hpp:1321
virtual void CIPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
Controlled inverse "PhaseRootN" gate.
Definition: qinterface.hpp:1353
virtual void AntiCIAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination)
(Anti-)Controlled inverse "Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:115
virtual void ISqrtX(bitLenInt qubit)
Inverse square root of X gate.
Definition: qinterface.hpp:1147
virtual void ISqrtY(bitLenInt qubit)
Inverse square root of Y gate.
Definition: qinterface.hpp:1177
virtual void CZ(bitLenInt control, bitLenInt target)
Controlled Z gate.
Definition: qinterface.hpp:778
virtual void CU(const std::vector< bitLenInt > &controls, bitLenInt target, real1_f theta, real1_f phi, real1_f lambda)
Controlled general unitary gate.
Definition: rotational.cpp:29
virtual void SH(bitLenInt qubit)
Y-basis transformation gate.
Definition: qinterface.hpp:943
virtual void AntiCS(bitLenInt control, bitLenInt target)
(Anti-)controlled S gate
Definition: qinterface.hpp:1261
virtual void CCZ(bitLenInt control1, bitLenInt control2, bitLenInt target)
Doubly-Controlled Z gate.
Definition: qinterface.hpp:801
virtual void UCPhase(const std::vector< bitLenInt > &controls, const complex &topLeft, const complex &bottomRight, bitLenInt target, const bitCapInt &perm)
Apply a single bit transformation that only effects phase, with arbitrary control bits,...
Definition: qinterface.hpp:591
virtual void CS(bitLenInt control, bitLenInt target)
Controlled S gate.
Definition: qinterface.hpp:1249
virtual void CIS(bitLenInt control, bitLenInt target)
Controlled inverse S gate.
Definition: qinterface.hpp:1273
virtual void SqrtY(bitLenInt qubit)
Square root of Y gate.
Definition: qinterface.hpp:1162
virtual void CNOT(bitLenInt control, bitLenInt target)
Controlled NOT gate.
Definition: qinterface.hpp:709
virtual void TimeEvolve(Hamiltonian h, real1_f timeDiff)
To define a Hamiltonian, give a vector of controlled single bit gates ("HamiltonianOp" instances) tha...
Definition: gates.cpp:429
virtual void SqrtW(bitLenInt qubit)
Square root of W gate.
Definition: qinterface.hpp:1190
virtual void IS(bitLenInt qubit)
Inverse S gate.
Definition: qinterface.hpp:1034
virtual void MACMtrx(const std::vector< bitLenInt > &controls, const complex *mtrx, bitLenInt target)
Apply an arbitrary single bit unitary transformation, with arbitrary (anti-)control bits.
Definition: qinterface.hpp:495
virtual void S(bitLenInt qubit)
S gate.
Definition: qinterface.hpp:1027
virtual void CT(bitLenInt control, bitLenInt target)
Controlled T gate.
Definition: qinterface.hpp:1297
virtual void UniformlyControlledSingleBit(const std::vector< bitLenInt > &controls, bitLenInt qubit, const complex *mtrxs)
Apply a "uniformly controlled" arbitrary single bit unitary transformation.
Definition: qinterface.hpp:627
virtual void Y(bitLenInt qubit)
Y gate.
Definition: qinterface.hpp:1101
virtual bool ForceM(bitLenInt qubit, bool result, bool doForce=true, bool doApply=true)=0
Act as if is a measurement was applied, except force the (usually random) result.
virtual void CY(bitLenInt control, bitLenInt target)
Controlled Y gate.
Definition: qinterface.hpp:732
virtual void AntiCIPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
(Anti-)controlled inverse "PhaseRootN" gate
Definition: qinterface.hpp:1369
virtual void CH(bitLenInt control, bitLenInt target)
Controlled H gate.
Definition: qinterface.hpp:1219
virtual void AntiCAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination)
(Anti-)Controlled "Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:103
virtual void H(bitLenInt qubit)
Hadamard gate.
Definition: qinterface.hpp:913
virtual void CIAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination)
Controlled inverse "Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:89
virtual void CSqrtSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply a square root of swap with arbitrary control bits.
Definition: gates.cpp:284
virtual void AntiCSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply a swap with arbitrary (anti) control bits.
Definition: gates.cpp:272
virtual void AI(bitLenInt target, real1_f azimuth, real1_f inclination)
"Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:53
virtual void AntiCPhaseRootN(bitLenInt n, bitLenInt control, bitLenInt target)
(Anti-)controlled "PhaseRootN" gate
Definition: qinterface.hpp:1337
virtual void YMask(const bitCapInt &mask)
Masked Y gate.
Definition: gates.cpp:113
virtual void Mtrx(const complex *mtrx, bitLenInt qubit)=0
Apply an arbitrary single bit unitary transformation.
virtual void MACInvert(const std::vector< bitLenInt > &controls, const complex &topRight, const complex &bottomLeft, bitLenInt target)
Apply a single bit transformation that reverses bit probability and might effect phase,...
Definition: qinterface.hpp:579
virtual void UCMtrx(const std::vector< bitLenInt > &controls, const complex *mtrx, bitLenInt target, const bitCapInt &controlPerm)
Apply an arbitrary single bit unitary transformation, with arbitrary control bits,...
Definition: gates.cpp:23
virtual void HIS(bitLenInt qubit)
Y-basis (inverse) transformation gate.
Definition: qinterface.hpp:957
virtual void Phase(const complex &topLeft, const complex &bottomRight, bitLenInt qubit)
Apply a single bit transformation that only effects phase.
Definition: qinterface.hpp:516
virtual void Invert(const complex &topRight, const complex &bottomLeft, bitLenInt qubit)
Apply a single bit transformation that reverses bit probability and might effect phase.
Definition: qinterface.hpp:529
virtual void CAI(bitLenInt control, bitLenInt target, real1_f azimuth, real1_f inclination)
Controlled "Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:77
virtual void CCY(bitLenInt control1, bitLenInt control2, bitLenInt target)
Doubly-Controlled Y gate.
Definition: qinterface.hpp:755
virtual void AntiCZ(bitLenInt control, bitLenInt target)
Anti controlled Z gate.
Definition: qinterface.hpp:789
virtual void AntiCU(const std::vector< bitLenInt > &controls, bitLenInt target, real1_f theta, real1_f phi, real1_f lambda)
(Anti-)Controlled general unitary gate
Definition: rotational.cpp:41
virtual void CISqrtSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply an inverse square root of swap with arbitrary control bits.
Definition: gates.cpp:334
virtual void X(bitLenInt qubit)
X gate.
Definition: qinterface.hpp:1084
virtual void MACPhase(const std::vector< bitLenInt > &controls, const complex &topLeft, const complex &bottomRight, bitLenInt target)
Apply a single bit transformation that only effects phase, with arbitrary (anti-)control bits.
Definition: qinterface.hpp:563
virtual void U2(bitLenInt target, real1_f phi, real1_f lambda)
2-parameter unitary gate
Definition: qinterface.hpp:831
virtual void Z(bitLenInt qubit)
Z gate.
Definition: qinterface.hpp:1117
virtual void AntiCNOT(bitLenInt control, bitLenInt target)
Anti controlled NOT gate.
Definition: qinterface.hpp:720
virtual void AntiCY(bitLenInt control, bitLenInt target)
Anti controlled Y gate.
Definition: qinterface.hpp:743
virtual void ISqrtW(bitLenInt qubit)
Inverse square root of W gate.
Definition: qinterface.hpp:1204
virtual void PhaseParity(real1_f radians, const bitCapInt &mask)
Parity phase gate.
Definition: gates.cpp:402
virtual void IAI(bitLenInt target, real1_f azimuth, real1_f inclination)
Invert "Azimuth, Inclination" (RY-RZ)
Definition: rotational.cpp:64
virtual void AntiCISqrtSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply an inverse square root of swap with arbitrary (anti) control bits.
Definition: gates.cpp:390
virtual void PhaseRootN(bitLenInt n, bitLenInt qubit)
"PhaseRootN" gate
Definition: qinterface.hpp:1055
virtual void U(bitLenInt target, real1_f theta, real1_f phi, real1_f lambda)
General unitary gate.
Definition: rotational.cpp:18
virtual void AntiCIS(bitLenInt control, bitLenInt target)
(Anti-)controlled inverse S gate
Definition: qinterface.hpp:1285
virtual void SqrtX(bitLenInt qubit)
Square root of X gate.
Definition: qinterface.hpp:1133
virtual void IU2(bitLenInt target, real1_f phi, real1_f lambda)
Inverse 2-parameter unitary gate.
Definition: qinterface.hpp:838
virtual void AntiCCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target)
Anti doubly-controlled NOT gate.
Definition: qinterface.hpp:698
virtual void PhaseRootNMask(bitLenInt n, const bitCapInt &mask)
Masked PhaseRootN gate.
Definition: gates.cpp:156
virtual void SqrtH(bitLenInt qubit)
Square root of Hadamard gate.
Definition: qinterface.hpp:926
virtual void MCPhase(const std::vector< bitLenInt > &controls, const complex &topLeft, const complex &bottomRight, bitLenInt target)
Apply a single bit transformation that only effects phase, with arbitrary control bits.
Definition: qinterface.hpp:538
virtual void AntiCCY(bitLenInt control1, bitLenInt control2, bitLenInt target)
Anti doubly-controlled Y gate.
Definition: qinterface.hpp:766
virtual bool M(bitLenInt qubit)
Measurement gate.
Definition: qinterface.hpp:1013
virtual void MCInvert(const std::vector< bitLenInt > &controls, const complex &topRight, const complex &bottomLeft, bitLenInt target)
Apply a single bit transformation that reverses bit probability and might effect phase,...
Definition: qinterface.hpp:553
virtual void AntiCSqrtSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply a square root of swap with arbitrary (anti) control bits.
Definition: gates.cpp:378
virtual void MCMtrx(const std::vector< bitLenInt > &controls, const complex *mtrx, bitLenInt target)=0
Apply an arbitrary single bit unitary transformation, with arbitrary control bits.
virtual void CIT(bitLenInt control, bitLenInt target)
Controlled inverse T gate.
Definition: qinterface.hpp:1309
virtual void IT(bitLenInt qubit)
Inverse T gate.
Definition: qinterface.hpp:1048
virtual void AntiCCZ(bitLenInt control1, bitLenInt control2, bitLenInt target)
Anti doubly-controlled Z gate.
Definition: qinterface.hpp:812
virtual void CSwap(const std::vector< bitLenInt > &controls, bitLenInt qubit1, bitLenInt qubit2)
Apply a swap with arbitrary control bits.
Definition: gates.cpp:248
virtual void T(bitLenInt qubit)
T gate.
Definition: qinterface.hpp:1041
virtual void CCNOT(bitLenInt control1, bitLenInt control2, bitLenInt target)
Doubly-controlled NOT gate.
Definition: qinterface.hpp:687
virtual void XMask(const bitCapInt &mask)
Masked X gate.
Definition: gates.cpp:102
virtual void AntiCH(bitLenInt control, bitLenInt target)
(Anti-)controlled H gate
Definition: qinterface.hpp:1234
virtual void UCInvert(const std::vector< bitLenInt > &controls, const complex &topRight, const complex &bottomLeft, bitLenInt target, const bitCapInt &perm)
Apply a single bit transformation that reverses bit probability and might effect phase,...
Definition: qinterface.hpp:606
virtual void IQFTR(const std::vector< bitLenInt > &qubits, bool trySeparate=false)
Inverse Quantum Fourier Transform (random access) - Apply the inverse quantum Fourier transform to th...
Definition: qinterface.cpp:174
virtual void Reverse(bitLenInt first, bitLenInt last)
Reverse all of the bits in a sequence.
Definition: qinterface.hpp:2385
virtual void ISqrtSwap(bitLenInt qubit1, bitLenInt qubit2)
Inverse square root of Swap gate.
Definition: gates.cpp:225
virtual bitCapInt ForceMReg(bitLenInt start, bitLenInt length, const bitCapInt &result, bool doForce=true, bool doApply=true)
Act as if is a measurement was applied, except force the (usually random) result.
Definition: qinterface.cpp:215
virtual void QFTR(const std::vector< bitLenInt > &qubits, bool trySeparate=false)
Quantum Fourier Transform (random access) - Apply the quantum Fourier transform to the register.
Definition: qinterface.cpp:154
virtual void FSim(real1_f theta, real1_f phi, bitLenInt qubit1, bitLenInt qubit2)=0
The 2-qubit "fSim" gate, (useful in the simulation of particles with fermionic statistics)
virtual void IISwap(bitLenInt qubit1, bitLenInt qubit2)
Inverse ISwap - Swap values of two bits in register, and apply phase factor of -i if bits are differe...
Definition: gates.cpp:190
virtual void ISwap(bitLenInt qubit1, bitLenInt qubit2)
Swap values of two bits in register, and apply phase factor of i if bits are different.
Definition: gates.cpp:178
virtual bitCapInt MAll()
Measure permutation state of all coherent bits.
Definition: qinterface.hpp:2350
virtual void QFT(bitLenInt start, bitLenInt length, bool trySeparate=false)
Quantum Fourier Transform - Apply the quantum Fourier transform to the register.
Definition: qinterface.cpp:112
virtual void PhaseFlip()
Phase flip always - equivalent to Z X Z X on any bit in the QInterface.
Definition: qinterface.hpp:2341
virtual bitCapInt M(const std::vector< bitLenInt > &bits)
Measure bits with indices in array, and return a mask of the results.
Definition: qinterface.hpp:2361
virtual void SqrtSwap(bitLenInt qubit1, bitLenInt qubit2)
Square root of Swap gate.
Definition: gates.cpp:202
virtual void Swap(bitLenInt qubit1, bitLenInt qubit2)
Swap values of two bits in register.
Definition: gates.cpp:167
virtual void ZeroPhaseFlip(bitLenInt start, bitLenInt length)
Reverse the phase of the state where the register equals zero.
Definition: gates.cpp:84
virtual void SetReg(bitLenInt start, bitLenInt length, const bitCapInt &value)
Set register bits to given permutation.
Definition: qinterface.cpp:193
virtual bitCapInt MReg(bitLenInt start, bitLenInt length)
Measure permutation state of a register.
Definition: qinterface.hpp:2347
virtual void IQFT(bitLenInt start, bitLenInt length, bool trySeparate=false)
Inverse Quantum Fourier Transform - Apply the inverse quantum Fourier transform to the register.
Definition: qinterface.cpp:134
virtual void XOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "XOR" gate.
Definition: logic.cpp:55
virtual void OR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "OR" gate.
Definition: logic.cpp:36
virtual void XNOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "XNOR" gate.
Definition: logic.cpp:84
virtual void CLXNOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "XNOR" gate.
Definition: logic.cpp:130
virtual void CLNAND(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "NAND" gate.
Definition: logic.cpp:118
virtual void AND(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "AND" gate.
Definition: logic.cpp:18
virtual void CLAND(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "AND" gate.
Definition: logic.cpp:90
virtual void CLOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "OR" gate.
Definition: logic.cpp:97
virtual void NAND(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "NAND" gate.
Definition: logic.cpp:72
virtual void CLNOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "NOR" gate.
Definition: logic.cpp:124
virtual void CLXOR(bitLenInt inputQBit, bool inputClassicalBit, bitLenInt outputBit)
Quantum analog of classical "XOR" gate.
Definition: logic.cpp:106
virtual void NOR(bitLenInt inputBit1, bitLenInt inputBit2, bitLenInt outputBit)
Quantum analog of classical "NOR" gate.
Definition: logic.cpp:78
virtual void X(bitLenInt start, bitLenInt length)
Bitwise Pauli X (or logical "NOT") operator.
Definition: qinterface.hpp:1708
virtual void H(bitLenInt start, bitLenInt length)
Bitwise Hadamard.
virtual void ExpZDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction Pauli Z exponentiation gate.
Definition: qinterface.cpp:1180
virtual void RZDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction Z axis rotation gate.
Definition: qinterface.cpp:1192
virtual void ExpX(real1_f radians, bitLenInt qubit)
Pauli X exponentiation gate.
Definition: rotational.cpp:248
virtual void CRTDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target)
Controlled dyadic fraction "phase shift gate".
Definition: qinterface.cpp:1196
virtual void UniformlyControlledRZ(const std::vector< bitLenInt > &controls, bitLenInt qubit, const real1 *angles)
Apply a "uniformly controlled" rotation of a bit around the Pauli Z axis.
Definition: rotational.cpp:151
virtual void ExpDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction (identity) exponentiation gate.
Definition: qinterface.cpp:1162
virtual void CRZDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target)
Controlled dyadic fraction Z axis rotation gate.
Definition: qinterface.cpp:1214
virtual void RX(real1_f radians, bitLenInt qubit)
X axis rotation gate.
Definition: rotational.cpp:177
virtual void CRZ(real1_f radians, bitLenInt control, bitLenInt target)
Controlled Z axis rotation gate.
Definition: rotational.cpp:204
virtual void RYDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction Y axis rotation gate.
Definition: qinterface.cpp:1189
virtual void UniformlyControlledRY(const std::vector< bitLenInt > &controls, bitLenInt qubit, const real1 *angles)
Apply a "uniformly controlled" rotation of a bit around the Pauli Y axis.
Definition: rotational.cpp:130
virtual void ExpY(real1_f radians, bitLenInt qubit)
Pauli Y exponentiation gate.
Definition: rotational.cpp:255
virtual void CRT(real1_f radians, bitLenInt control, bitLenInt target)
Controlled "phase shift gate".
Definition: rotational.cpp:269
virtual void CRY(real1_f radians, bitLenInt control, bitLenInt target)
Controlled Y axis rotation gate.
Definition: rotational.cpp:213
virtual void RY(real1_f radians, bitLenInt qubit)
Y axis rotation gate.
Definition: rotational.cpp:187
virtual void CRX(real1_f radians, bitLenInt control, bitLenInt target)
Controlled X axis rotation gate.
Definition: rotational.cpp:276
virtual void ExpYDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction Pauli Y exponentiation gate.
Definition: qinterface.cpp:1174
virtual void RTDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction phase shift gate.
Definition: qinterface.cpp:1159
virtual void RZ(real1_f radians, bitLenInt qubit)
Z axis rotation gate.
Definition: rotational.cpp:196
virtual void RT(real1_f radians, bitLenInt qubit)
Phase shift gate.
Definition: rotational.cpp:171
virtual void ExpZ(real1_f radians, bitLenInt qubit)
Pauli Z exponentiation gate.
Definition: rotational.cpp:262
virtual void CRYDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target)
Controlled dyadic fraction y axis rotation gate.
Definition: qinterface.cpp:1208
virtual void RXDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction X axis rotation gate.
Definition: qinterface.cpp:1186
virtual void ExpXDyad(int numerator, int denomPower, bitLenInt qubit)
Dyadic fraction Pauli X exponentiation gate.
Definition: qinterface.cpp:1168
virtual void Exp(real1_f radians, bitLenInt qubit)
(Identity) Exponentiation gate
Definition: rotational.cpp:225
virtual void CRXDyad(int numerator, int denomPower, bitLenInt control, bitLenInt target)
Controlled dyadic fraction X axis rotation gate.
Definition: qinterface.cpp:1202
virtual void Dump()
If asynchronous work is still running, let the simulator know that it can be aborted.
Definition: qinterface.hpp:2843
virtual bool isBinaryDecisionTree()
Returns "true" if current state representation is definitely a binary decision tree,...
Definition: qinterface.hpp:2849
virtual real1_f VarianceBitsFactorized(const std::vector< bitLenInt > &bits, const std::vector< bitCapInt > &perms, const bitCapInt &offset=ZERO_BCI)
Get expectation value of bits, given an array of qubit weights.
Definition: qinterface.cpp:578
virtual real1_f ProbAllRdm(bool roundRz, const bitCapInt &fullRegister)
Direct measure of full permutation probability, treating all ancillary qubits as post-selected T gate...
Definition: qinterface.hpp:2714
virtual bool ApproxCompare(QInterfacePtr toCompare, real1_f error_tol=TRYDECOMPOSE_EPSILON)
Compare state vectors approximately, to determine whether this state vector is the same as the target...
Definition: qinterface.hpp:2790
virtual real1_f ExpectationBitsFactorizedRdm(bool roundRz, const std::vector< bitLenInt > &bits, const std::vector< bitCapInt > &perms, const bitCapInt &offset=ZERO_BCI)
Get (reduced density matrix) expectation value of bits, given an array of qubit weights.
Definition: qinterface.hpp:2670
virtual bool isClifford(bitLenInt qubit)
Returns "true" if current qubit state is identifiably within the Clifford set, or "false" if it is no...
Definition: qinterface.hpp:2861
virtual real1_f VarianceUnitaryAll(const std::vector< bitLenInt > &bits, const std::vector< std::shared_ptr< complex >> &basisOps, std::vector< real1_f > eigenVals={})
Direct measure of variance of listed (2x2 operator) single-qubit tensor product probability.
Definition: qinterface.hpp:2542
virtual real1_f VarianceUnitaryAll(const std::vector< bitLenInt > &bits, const std::vector< real1_f > &basisOps, std::vector< real1_f > eigenVals={})
Direct measure of variance of listed (3-parameter) single-qubit tensor product probability.
Definition: qinterface.hpp:2528
virtual real1_f FirstNonzeroPhase()
Get phase of lowest permutation nonzero amplitude.
Definition: qinterface.hpp:2985
virtual real1_f VarianceFloatsFactorized(const std::vector< bitLenInt > &bits, const std::vector< real1_f > &weights)
Direct measure of variance of listed bit string probability.
Definition: qinterface.cpp:618
virtual real1_f VarianceBitsFactorizedRdm(bool roundRz, const std::vector< bitLenInt > &bits, const std::vector< bitCapInt > &perms, const bitCapInt &offset=ZERO_BCI)
Get (reduced density matrix) expectation value of bits, given an array of qubit weights.
Definition: qinterface.hpp:2593
virtual real1_f ExpectationUnitaryAll(const std::vector< bitLenInt > &bits, const std::vector< real1_f > &basisOps, std::vector< real1_f > eigenVals={})
Get single-qubit (3-parameter) tensor product (arbitrary real) observable.
Definition: qinterface.hpp:2644
virtual real1_f CProb(bitLenInt control, bitLenInt target)
Direct measure of bit probability to be in |1> state, if control bit is |1>.
Definition: qinterface.hpp:2413
virtual double GetUnitaryFidelity()
When "Schmidt-decomposition rounding parameter" ("SDRP") is being used, starting from initial 1....
Definition: qinterface.hpp:2899
virtual void SetSdrp(real1_f sdrp)
Set the "Schmidt decomposition rounding parameter" value, (between 0 and 1)
Definition: qinterface.hpp:2907
virtual bool TrySeparate(bitLenInt qubit1, bitLenInt qubit2)
Two-qubit TrySeparate()
Definition: qinterface.hpp:2889
virtual bool isClifford()
Returns "true" if current state is identifiably within the Clifford set, or "false" if it is not or c...
Definition: qinterface.hpp:2855
virtual real1_f ProbAll(const bitCapInt &fullRegister)
Direct measure of full permutation probability.
Definition: qinterface.hpp:2440
virtual void ProbMaskAll(const bitCapInt &mask, real1 *probsArray)
Direct measure of masked permutation probability.
Definition: qinterface.cpp:421
virtual QInterfacePtr Clone()=0
Clone this QInterface.
virtual bitLenInt DepolarizingChannelStrong1Qb(bitLenInt qubit, real1_f lambda)
Simulate a local qubit depolarizing noise channel, under a "strong simulation condition....
Definition: gates.cpp:512
virtual real1_f ACProb(bitLenInt control, bitLenInt target)
Direct measure of bit probability to be in |1> state, if control bit is |0>.
Definition: qinterface.hpp:2426
virtual real1_f VariancePauliAll(std::vector< bitLenInt > bits, std::vector< Pauli > paulis)
Direct measure of variance of listed Pauli tensor product probability.
Definition: qinterface.cpp:656
virtual void Finish()
If asynchronous work is still running, block until it finishes.
Definition: qinterface.hpp:2831
virtual bool GetReactiveSeparate()
Get reactive separation option.
Definition: qinterface.hpp:2927
virtual QInterfacePtr Copy()
Copy this QInterface.
Definition: qinterface.hpp:2965
virtual real1_f ExpectationBitsAll(const std::vector< bitLenInt > &bits, const bitCapInt &offset=ZERO_BCI)
Get permutation expectation value of bits.
Definition: qinterface.hpp:2607
virtual real1_f Prob(bitLenInt qubit)=0
Direct measure of bit probability to be in |1> state.
virtual std::map< bitCapInt, int > MultiShotMeasureMask(const std::vector< bitCapInt > &qPowers, unsigned shots)
Statistical measure of masked permutation probability.
Definition: qinterface.cpp:803
virtual void SetTInjection(bool useGadget)
Set the option to use T-injection gadgets (off by default)
Definition: qinterface.hpp:2935
virtual real1_f VarianceFloatsFactorizedRdm(bool roundRz, const std::vector< bitLenInt > &bits, const std::vector< real1_f > &weights)
Direct measure of (reduced density matrix) variance of bits, given an array of qubit weights.
Definition: qinterface.hpp:2567
virtual void ResetUnitaryFidelity()
Reset the internal fidelity calculation tracker to 1.0.
Definition: qinterface.hpp:2903
virtual bool TryDecompose(bitLenInt start, QInterfacePtr dest, real1_f error_tol=TRYDECOMPOSE_EPSILON)
Attempt to Decompose() a bit range.
Definition: qinterface.cpp:832
virtual real1_f GetNoiseParameter()
Get the noise level option (only for a noisy interface)
Definition: qinterface.hpp:2955
virtual void ProbBitsAll(const std::vector< bitLenInt > &bits, real1 *probsArray)
Direct measure of listed permutation probability.
Definition: qinterface.cpp:444
virtual real1_f ProbRdm(bitLenInt qubit)
Direct measure of bit probability to be in |1> state, treating all ancillary qubits as post-selected ...
Definition: qinterface.hpp:2708
bitCapIntOcl GetMaxSize()
Get maximum number of amplitudes that can be allocated on current device.
Definition: qinterface.hpp:2980
virtual bool GetTInjection()
Get the option to use T-injection gadgets.
Definition: qinterface.hpp:2943
virtual real1_f ProbMask(const bitCapInt &mask, const bitCapInt &permutation)
Direct measure of masked permutation probability.
Definition: qinterface.cpp:278
virtual real1_f ExpectationPauliAll(std::vector< bitLenInt > bits, std::vector< Pauli > paulis)
Get Pauli tensor product observable.
Definition: qinterface.cpp:712
virtual void SetReactiveSeparate(bool isAggSep)
Set reactive separation option (on by default if available)
Definition: qinterface.hpp:2919
virtual void UpdateRunningNorm(real1_f norm_thresh=REAL1_DEFAULT_ARG)=0
Force a calculation of the norm of the state vector, in order to make it unit length before the next ...
virtual real1_f VarianceBitsAll(const std::vector< bitLenInt > &bits, const bitCapInt &offset=ZERO_BCI)
Direct measure of variance of listed permutation probability.
Definition: qinterface.hpp:2491
virtual real1_f ExpectationBitsFactorized(const std::vector< bitLenInt > &bits, const std::vector< bitCapInt > &perms, const bitCapInt &offset=ZERO_BCI)
Get expectation value of bits, given an array of qubit weights.
Definition: qinterface.cpp:541
virtual real1_f ProbMaskRdm(bool roundRz, const bitCapInt &mask, const bitCapInt &permutation)
Direct measure of masked permutation probability, treating all ancillary qubits as post-selected T ga...
Definition: qinterface.hpp:2724
virtual void SetNcrp(real1_f ncrp)
Set the "Near-clifford rounding parameter" value, (between 0 and 1)
Definition: qinterface.hpp:2911
virtual void DepolarizingChannelWeak1Qb(bitLenInt qubit, real1_f lambda)
Simulate a local qubit depolarizing noise channel, under a stochastic "weak simulation condition....
Definition: gates.cpp:490
virtual bool isOpenCL()
Returns "true" if current simulation is OpenCL-based.
Definition: qinterface.hpp:2866
virtual real1_f ExpectationFloatsFactorized(const std::vector< bitLenInt > &bits, const std::vector< real1_f > &weights)
Get expectation value of bits, given a (floating-point) array of qubit weights.
Definition: qinterface.cpp:768
virtual real1_f ProbReg(bitLenInt start, bitLenInt length, const bitCapInt &permutation)
Direct measure of register permutation probability.
Definition: qinterface.cpp:262
virtual int64_t GetDevice()
Get the device index.
Definition: qinterface.hpp:2975
virtual bool TrySeparate(const std::vector< bitLenInt > &qubits, real1_f error_tol)
Qrack::QUnit types maintain explicit separation of representations of qubits, which reduces memory us...
Definition: qinterface.hpp:2881
virtual real1_f SumSqrDiff(QInterfacePtr toCompare)=0
Calculates (1 - <\psi_e|\psi_c>) between states |\psi_c> and |\psi_e>.
virtual void SetBit(bitLenInt qubit, bool value)
Set individual bit to pure |0> (false) or |1> (true) state.
Definition: qinterface.hpp:2777
virtual real1_f ExpectationBitsAllRdm(bool roundRz, const std::vector< bitLenInt > &bits, const bitCapInt &offset=ZERO_BCI)
Get permutation expectation value of bits, treating all ancillary qubits as post-selected T gate gadg...
Definition: qinterface.hpp:2736
virtual void NormalizeState(real1_f nrm=REAL1_DEFAULT_ARG, real1_f norm_thresh=REAL1_DEFAULT_ARG, real1_f phaseArg=ZERO_R1_F)=0
Apply the normalization factor found by UpdateRunningNorm() or on the fly by a single bit gate.
virtual real1_f ExpectationFloatsFactorizedRdm(bool roundRz, const std::vector< bitLenInt > &bits, const std::vector< real1_f > &weights)
Get (reduced density matrix) expectation value of bits, given a (floating-point) array of qubit weigh...
Definition: qinterface.hpp:2696
virtual real1_f VarianceBitsAllRdm(bool roundRz, const std::vector< bitLenInt > &bits, const bitCapInt &offset=ZERO_BCI)
Direct measure of (reduced density matrix) variance of listed permutation probability.
Definition: qinterface.hpp:2504
virtual real1_f ExpectationUnitaryAll(const std::vector< bitLenInt > &bits, const std::vector< std::shared_ptr< complex >> &basisOps, std::vector< real1_f > eigenVals={})
Get single-qubit tensor product (arbitrary real) observable.
Definition: qinterface.hpp:2630
virtual void SetDevice(int64_t dID)=0
Set the device index, if more than one device is available.
virtual bool TrySeparate(bitLenInt qubit)
Single-qubit TrySeparate()
Definition: qinterface.hpp:2885
virtual void SetNoiseParameter(real1_f lambda)
Set the noise level option (only for a noisy interface)
Definition: qinterface.hpp:2949
virtual bool isFinished()
Returns "false" if asynchronous work is still running, and "true" if all previously dispatched asynch...
Definition: qinterface.hpp:2837
GLOSSARY: bitLenInt - "bit-length integer" - unsigned integer ID of qubit position in register bitCap...
Definition: complex16x2simd.hpp:25
bitCapInt bitRegMask(const bitLenInt &start, const bitLenInt &length)
Definition: qrack_functions.hpp:150
QRACK_CONST real1 SQRT1_2_R1
Definition: qrack_types.hpp:180
QInterfaceEngine
Enumerated list of supported engines.
Definition: qinterface.hpp:37
@ QINTERFACE_OPTIMAL_BASE
Definition: qinterface.hpp:124
@ QINTERFACE_QPAGER
Create a QPager, which breaks up the work of a QEngine into equally sized "pages.".
Definition: qinterface.hpp:82
@ QINTERFACE_OPTIMAL_SCHROEDINGER
Definition: qinterface.hpp:122
@ QINTERFACE_OPTIMAL_MULTI
Definition: qinterface.hpp:129
@ QINTERFACE_CUDA
Create a QEngineCUDA, leveraging CUDA hardware to increase the speed of certain calculations.
Definition: qinterface.hpp:52
@ QINTERFACE_STABILIZER_HYBRID
Create a QStabilizerHybrid, switching between a QStabilizer and a QHybrid as efficient.
Definition: qinterface.hpp:77
@ QINTERFACE_HYBRID
Create a QHybrid, switching between QEngineCPU and QEngineOCL as efficient.
Definition: qinterface.hpp:57
@ QINTERFACE_OPTIMAL
Definition: qinterface.hpp:127
@ QINTERFACE_BDT_HYBRID
Create a QBinaryDecisionTree, (CPU-based).
Definition: qinterface.hpp:67
@ QINTERFACE_BDT
Create a QBinaryDecisionTree, (CPU-based).
Definition: qinterface.hpp:62
@ QINTERFACE_TENSOR_NETWORK
Circuit-simplification layer.
Definition: qinterface.hpp:107
@ QINTERFACE_NOISY
Noisy wrapper layer.
Definition: qinterface.hpp:112
@ QINTERFACE_QUNIT_CLIFFORD
Clifford-specialized QUnit.
Definition: qinterface.hpp:102
@ QINTERFACE_OPENCL
Create a QEngineOCL, leveraging OpenCL hardware to increase the speed of certain calculations.
Definition: qinterface.hpp:47
@ QINTERFACE_STABILIZER
Create a QStabilizer, limited to Clifford/Pauli operations, but efficient.
Definition: qinterface.hpp:72
@ QINTERFACE_QUNIT
Create a QUnit, which utilizes other QInterface classes to minimize the amount of work that's needed ...
Definition: qinterface.hpp:91
@ QINTERFACE_QUNIT_MULTI
Create a QUnitMulti, which distributes the explicitly separated "shards" of a QUnit across available ...
Definition: qinterface.hpp:97
@ QINTERFACE_MAX
Definition: qinterface.hpp:131
@ QINTERFACE_CPU
Create a QEngineCPU leveraging only local CPU and memory resources.
Definition: qinterface.hpp:42
std::shared_ptr< QInterface > QInterfacePtr
Definition: qinterface.hpp:29
QRACK_CONST real1 SQRT2_R1
Definition: qrack_types.hpp:179
QRACK_CONST real1_f TRYDECOMPOSE_EPSILON
Definition: qrack_types.hpp:260
QRACK_CONST complex C_SQRT1_2_NEG
Definition: gates.cpp:21
void seed(quid sid, unsigned s)
"Seed" random number generator (if pseudo-random Mersenne twister is in use)
Definition: wasm_api.cpp:833
std::complex< real1 > complex
Definition: qrack_types.hpp:128
bitCapInt pow2(const bitLenInt &p)
Definition: qrack_functions.hpp:136
double norm(const complex2 &c)
Definition: complex16x2simd.hpp:101
QRACK_CONST real1 REAL1_EPSILON
Definition: qrack_types.hpp:200
QRACK_CONST complex ONE_CMPLX
Definition: qrack_types.hpp:252
QRACK_CONST real1 ONE_R1
Definition: qrack_types.hpp:185
std::vector< HamiltonianOpPtr > Hamiltonian
Definition: hamiltonian.hpp:120
QRACK_CONST real1 ZERO_R1
Definition: qrack_types.hpp:183
float real1_f
Definition: qrack_types.hpp:95
QRACK_CONST complex CMPLX_DEFAULT_ARG
Definition: qrack_types.hpp:257
QRACK_CONST complex I_CMPLX
Definition: qrack_types.hpp:254
QRACK_CONST complex C_SQRT1_2
Definition: gates.cpp:17
QRACK_CONST complex ZERO_CMPLX
Definition: qrack_types.hpp:253
QRACK_CONST real1 PI_R1
Definition: qrack_types.hpp:178
const bitCapInt ONE_BCI
Definition: qrack_types.hpp:129
const bitCapInt ZERO_BCI
Definition: qrack_types.hpp:130
bitCapIntOcl pow2Ocl(const bitLenInt &p)
Definition: qrack_functions.hpp:137
HALF_CONSTEXPR half abs(half arg)
Absolute value.
Definition: half.hpp:2975
half sin(half arg)
Sine function.
Definition: half.hpp:3885
half cos(half arg)
Cosine function.
Definition: half.hpp:3922
half pow(half x, half y)
Power function.
Definition: half.hpp:3738
#define REAL1_DEFAULT_ARG
Definition: qrack_types.hpp:177
#define QRACK_CONST
Definition: qrack_types.hpp:174
#define bitLenInt
Definition: qrack_types.hpp:38
#define ZERO_R1_F
Definition: qrack_types.hpp:160
#define qrack_rand_gen_ptr
Definition: qrack_types.hpp:156
#define bitCapInt
Definition: qrack_types.hpp:62
#define bitCapIntOcl
Definition: qrack_types.hpp:50
#define ONE_R1_F
Definition: qrack_types.hpp:163
#define IS_NORM_0(c)
Definition: qrack_types.hpp:25
#define C_I_SQRT1_2
Definition: qstabilizer.cpp:383