classiq 0.66.0__py3-none-any.whl → 0.66.1__py3-none-any.whl

classiq/interface/_version.py

@@ -3,5 +3,5 @@ from packaging.version import Version
 # This file was generated automatically
 # Please don't track in version control (DONTTRACK)
 
-SEMVER_VERSION = '0.66.0'
+SEMVER_VERSION = '0.66.1'
 VERSION = str(Version(SEMVER_VERSION))

classiq/open_library/functions/__init__.py

@@ -1,3 +1,7 @@
+from .amplitude_amplification import (
+    amplitude_amplification,
+    exact_amplitude_amplification,
+)
 from .amplitude_estimation import *
 from .discrete_sine_cosine_transform import *
 from .discrete_sine_cosine_transform import _qct_d_operator, _qct_pi_operator
@@ -23,6 +27,8 @@ OPEN_LIBRARY_FUNCTIONS = [
     _single_pauli,
     linear_pauli_rotations,
     amplitude_estimation,
+    amplitude_amplification,
+    exact_amplitude_amplification,
     phase_oracle,
     reflect_about_zero,
     grover_diffuser,
@@ -78,12 +84,14 @@ OPEN_LIBRARY_FUNCTIONS = [
 __all__ = [
     "_single_pauli",
     "allocate_num",
+    "amplitude_amplification",
     "amplitude_estimation",
     "apply_to_all",
     "c_modular_multiply",
     "cc_modular_add",
     "encode_in_angle",
     "encode_on_bloch",
+    "exact_amplitude_amplification",
     "full_hea",
     "grover_diffuser",
     "grover_operator",

classiq/open_library/functions/amplitude_amplification.py

@@ -0,0 +1,92 @@
+from classiq.open_library.functions.grover import grover_operator
+from classiq.qmod.builtins.functions.standard_gates import RY
+from classiq.qmod.builtins.operations import (
+    allocate,
+    bind,
+    control,
+    repeat,
+    within_apply,
+)
+from classiq.qmod.cparam import CInt, CReal
+from classiq.qmod.qfunc import qfunc
+from classiq.qmod.qmod_variable import QArray, QBit
+from classiq.qmod.quantum_callable import QCallable
+from classiq.qmod.symbolic import acos, asin, ceiling, pi, sin
+
+
+@qfunc
+def amplitude_amplification(
+    reps: CInt,
+    oracle: QCallable[QArray[QBit]],
+    space_transform: QCallable[QArray[QBit]],
+    packed_qvars: QArray[QBit],
+) -> None:
+    """
+    [Qmod Classiq-library function]
+
+    Applies the Amplitude Amplification algorithm (QAE); Prepares a state using the given `space_transform` function, and applies `reps` repetititions
+    of the grover operator, using the given `oracle` functions which marks the "good" states.
+
+    Args:
+        reps: Number of repetitions to apply the grover operator on the initial state. Should be determined by the user, according to the calculated amplification.
+        oracle: The oracle operator that marks the "good" states. This operator should flip the sign of the amplitude of the "good" state.
+        space_transform: The space transform operator (which is known also the state preparation operator). First applied to prepare the state before the amplification, then used inside the Grover operator.
+        packed_vars: The variable that holds the state to be amplified. Assumed to be in the zero state at the beginning of the algorithm.
+    """
+    space_transform(packed_qvars)
+    repeat(reps, lambda index: grover_operator(oracle, space_transform, packed_qvars))
+
+
+@qfunc
+def exact_amplitude_amplification(
+    amplitude: CReal,
+    oracle: QCallable[QArray[QBit]],
+    space_transform: QCallable[QArray[QBit]],
+    packed_qvars: QArray[QBit],
+) -> None:
+    """
+    [Qmod Classiq-library function]
+
+    Applies an exact version of the Amplitude Amplification algorithm (QAE), assuming knowledge of the amplitude of the marked state.
+    The function should be applied on the zero state, and it takes care for preparing the initial state before amplification using the `space_transform`.
+
+    Based on the algorithm in [Quantum state preparation without coherent arithmetic](https://arxiv.org/abs/2210.14892).
+
+    Assuming the `space_transform` creates a state $|\\psi\rangle = a|\\psi_good\rangle + \\sqrt(1-a)|\\psi_bad\rangle$, given `a` as the `amplitude`
+    argument, the function will load exactly the state $|\\psi_good\rangle$.
+
+    Note: if the `amplitude` argument is not exact, the resulting state will not be exactly $|\\psi_good\rangle$, and there will be additional internal auxilliary of the function that is not released correctly.
+
+    Args:
+        amplitude: The amplitude of the state $|\\psi_good\rangle$ with regards to the initial state prepared by.
+        oracle: The oracle operator that marks the "good" states. This operator should flip the sign of the amplitude of the "good" state.
+        space_transform: The space transform operator (which is known also the state preparation operator). First applied to prepare the state before the amplification, then used inside the Grover operator.
+        packed_vars: The variable that holds the state to be amplified. Assumed to be in the zero state at the beginning of the algorithm.
+    """
+    aux = QBit()
+    k = ceiling((pi / (4 * asin(amplitude))) - 0.5)
+    theta = pi / (4 * k + 2)
+    rot_phase = 2 * acos(sin(theta) / amplitude)
+
+    extended_qvars: QArray = QArray("extended_qvars")
+    within_apply(
+        lambda: [  # type:ignore[arg-type]
+            allocate(aux),
+            bind(
+                [aux, packed_qvars], extended_qvars
+            ),  # type:ignore[func-returns-value]
+        ],
+        lambda: amplitude_amplification(
+            k,
+            lambda qvars_: control(
+                qvars_[0] == 0, lambda: oracle(qvars_[1 : qvars_.size])
+            ),
+            lambda qvars_: [
+                space_transform(  # type:ignore[func-returns-value]
+                    qvars_[1 : qvars_.size]
+                ),
+                RY(rot_phase, qvars_[0]),
+            ],
+            extended_qvars,
+        ),
+    )

{classiq-0.66.0.dist-info → classiq-0.66.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: classiq
-Version: 0.66.0
+Version: 0.66.1
 Summary: Classiq's Python SDK for quantum computing
 Home-page: https://classiq.io
 License: Proprietary

{classiq-0.66.0.dist-info → classiq-0.66.1.dist-info}/RECORD

@@ -95,7 +95,7 @@ classiq/execution/jobs.py,sha256=hRZK5n8xOdT67rb_qnGeb30MiTHax00uCaBgRr7usYE,109
 classiq/execution/qnn.py,sha256=WGPvncz5uS2WxSY3-yBWt2LFiCk6Ug8WKWF-Kp-f7TM,2403
 classiq/executor.py,sha256=JukmHbvH43cXWBzr1-LPk5gDz4LItJncEUaghZwmldY,2686
 classiq/interface/__init__.py,sha256=cg7hD_XVu1_jJ1fgwmT0rMIoZHopNVeB8xtlmMx-E_A,83
-classiq/interface/_version.py,sha256=h8farkpCGeOnSfagpGYO79PIFfxe1ddzdDrvGDurxY8,197
+classiq/interface/_version.py,sha256=4Y5ynEPrpHya97qd1OVaYRYUJ6sLRXmMwm5ObMqguk4,197
 classiq/interface/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/analyzer/analysis_params.py,sha256=dM5rwSks798cxk4FWe4_X5ToRYtgZQh34F1u0XrFkK8,3881
 classiq/interface/analyzer/cytoscape_graph.py,sha256=MpeRBIYS1TfwYwiFpgTO51IE0KoxhY510pmEM3S0rbw,2361
@@ -441,7 +441,8 @@ classiq/model_expansions/visitors/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeR
 classiq/model_expansions/visitors/boolean_expression_transformers.py,sha256=a8ITXY48uROZFd9MF8tXdXs14Uxh8XbBpuvRXvRehjY,8067
 classiq/model_expansions/visitors/variable_references.py,sha256=s8QXXTmNTHAx8pF-PB4w4kdD6Fy0_b5rbbfeb_O8AoI,5114
 classiq/open_library/__init__.py,sha256=bmg_qqXCXo85hcU7_QCce-qYGrpAVSFNwTKCClsclrg,114
-classiq/open_library/functions/__init__.py,sha256=mUReQLuWPI5lX2XdV5-OXY_lPmUOGGxtRTdpvfBgEOQ,2998
+classiq/open_library/functions/__init__.py,sha256=SfrTkuDTrsM3rlICLvQFqESDHUpEkq_EFCmQ3YlIH0Y,3235
+classiq/open_library/functions/amplitude_amplification.py,sha256=5XNeUKBPJ6oaGBXWgJvSdMiHfkNRw-Hp3KUdQwoeUfk,4318
 classiq/open_library/functions/amplitude_estimation.py,sha256=iCkca5SQN_HQoJWk1_tLT56fHT72hu5QIt2pxSZQRko,1766
 classiq/open_library/functions/discrete_sine_cosine_transform.py,sha256=Gc9lsp8v2bRZlUc0PoLhKnCso7XASP10i2TKiOisH4Q,4476
 classiq/open_library/functions/grover.py,sha256=NvywFzkw4HAQts1MG3GDiCq1rqjcZTGErGHtiOR7p8o,4531
@@ -520,6 +521,6 @@ classiq/qmod/type_attribute_remover.py,sha256=NZmTXAsngWqthXjE8n-n6yE72fiWTFM12-
 classiq/qmod/utilities.py,sha256=O39RtmkiCtpvhCk76WvRm0jMDraEYDQAiPTGcnvqfmI,3738
 classiq/qmod/write_qmod.py,sha256=Oo-j_rSfcmzC5MOn0Vq334vv_OTvdD4P7K9pv-gbo8c,1833
 classiq/synthesis.py,sha256=WLk3wpX_xPiAMstF9PGMO5SWVb_qqa1sN2Nj3MekX34,8113
-classiq-0.66.0.dist-info/METADATA,sha256=LWG_HgfjWb4Hi6ozcaFj-S28OjOhfX3_f7DXblGp0AE,3497
-classiq-0.66.0.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
-classiq-0.66.0.dist-info/RECORD,,
+classiq-0.66.1.dist-info/METADATA,sha256=S99-CkEUoxMir8bdeo7eihKSIFOREAkgcuSzfs3MAeA,3497
+classiq-0.66.1.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
+classiq-0.66.1.dist-info/RECORD,,