Quantum Circuits with Amazon Braket

Interact with Amazon Braket through an AWS service connection

From a Wolfram notebook, one can interact with Amazon Braket using an AWS service connection, sending quantum tasks and getting results. Since some Amazon Braket functionalities are Python-based, you need to configure your system to evaluate external Python code.

Install and load the QuantumFramework paclet:

In[1]:=

PacletInstall["Wolfram/QuantumFramework"];Needs["Wolfram`QuantumFramework`"];

Make sure that qiskit and amazon-braket-sdk are installed. If needed, use

ResourceFunction

["PythonPackageInstall"]

[…] to install the packages:

In[2]:=

ResourceFunction["PythonPackageInstalledQ"]["qiskit"];ResourceFunction["PythonPackageInstalledQ"]["amazon-braket-sdk"];

Create and visualize a quantum circuit object:

In[3]:=

qc=QuantumCircuitOperator[{{"Grover",!a||b},{1},{2},{3}}];qc["Flatten"]["Diagram"]

Out[3]=

Get measurement probabilities:

In[4]:=

meas=qc[]["Probabilities"]

Out[4]=

000

,001

,010

,011

,100

,101

,110

,111



Generate OPENQASM3 of the circuit, using AWSBraket:

In[5]:=

qasmAWS=qc["Qiskit"]["QASM","Provider""AWSBraket"];

In[6]:=

qasmAWS//Short

Out[6]//Short=

OPENQASM 3.0;qubit[3] q;rx(3.1415926535897…z(q[1])#pragma braket result sample z(q[2])

Generate OPENQASM3, given a specific backend on AWSBraket:

In[7]:=

openQASM3=qc["Qiskit"]["QASM","Provider""AWSBraket","Backend""Harmony"];

In[8]:=

openQASM3//Short

Out[8]//Short=

OPENQASM 3.0;qubit[3] q;rx(3.1415926535897…z(q[1])#pragma braket result sample z(q[2])

Connect to AWS using your credentials (Access Key ID and Secret Access Key) and execute S3:

In[9]:=

s3=ServiceExecute["AWS","GetService",{"Name""S3"}]

Out[9]=

ServiceObject

AWS-S3

Not Connected



Execute Amazon Braket on AWS:

In[10]:=

braket=ServiceExecute["AWS","GetService",{"Name""Braket"}]

Out[10]=

ServiceObject

AWS-Braket

Not Connected



Fetch available devices on Amazon Braket:

In[11]:=

devices=braket["SearchDevices","Filters"{}]["Devices",All]

Out[11]=

DeviceArn	DeviceName	ProviderName	DeviceType	DeviceStatus	DeviceCapabilities
arn:aws:braket:us-east-1::device/qpu/ionq/Aria-1	Aria 1	IonQ	QPU	OFFLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Weekdays", "windowStartHour": "12:00:00", "windowEndHour": "03:00:00"}], "shotsRange": [1, 5000], "deviceCost": {"price": 0.03, "unit": "shot"}, "deviceDocumentation": {"imageUrl": "http://d1.awsstatic.com/re19/Braket/IonQ%20Logo.59ea92b40cff5a2c2e90d9d981b864c2f424c5a8.png", "summary": "Universal gate-model QPU based on trapped ions", "externalDocumentationUrl": "https://ionq.com/quantum-systems/aria"}, "deviceLocation": "Maryland, USA", "updatedAt": "2023-05-16T17:32:23+00:00"}, "action": {"braket.ir.openqasm.program": {"version": ["1"], "actionType": "braket.ir.openqasm.program", "supportedOperations": ["x", "y", "z", "rx", "ry", "rz", "h", "cnot", "s", "si", "t", "ti", "v", "vi", "xx", "yy", "zz", "swap"], "supportedModifiers": [], "supportedPragmas": ["braket_result_type_sample", "braket_result_type_expectation", "braket_result_type_variance", "braket_result_type_probability", "verbatim"], "forbiddenPragmas": ["braket_unitary_matrix", "braket_result_type_state_vector", "braket_result_type_density_matrix", "braket_result_type_amplitude", "braket_result_type_adjoint_gradient"], "maximumQubitArrays": 1, "maximumClassicalArrays": 1, "forbiddenArrayOperations": ["concatenation", "negativeIndex", "range", "rangeWithStep", "slicing", "selection"], "requiresAllQubitsMeasurement": true, "supportPhysicalQubits": true, "requiresContiguousQubitIndices": false, "supportsPartialVerbatimBox": false, "supportsUnassignedMeasurements": true, "disabledQubitRewiringSupported": false, "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Probability", "minShots": 1, "maxShots": 10000}]}}, "deviceParameters": {"title": "IonqDeviceParameters", "description": "This defines the parameters common to all the IonQ devices.", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.ionq.ionq_device_parameters", "version": "1"}}, "paradigmParameters": {"$ref": "#/definitions/GateModelParameters"}, "errorMitigation": {"title": "Errormitigation", "type": "array", "items": {"$ref": "#/definitions/ErrorMitigationScheme"}}}, "required": ["paradigmParameters"], "definitions": {"GateModelParameters": {"title": "GateModelParameters", "description": "Defines parameters common to all gate model devices.", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.gate_model_parameters", "version": "1"}}, "qubitCount": {"title": "Qubitcount", "minimum": 0, "type": "integer"}, "disableQubitRewiring": {"title": "Disablequbitrewiring", "default": false, "type": "boolean"}}, "required": ["qubitCount"]}, "ErrorMitigationScheme": {"title": "ErrorMitigationScheme", "description": "Base class for an error mitigation scheme.", "type": "object", "properties": {}}}}, "braketSchemaHeader": {"name": "braket.device_schema.ionq.ionq_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.gate_model_qpu_paradigm_properties", "version": "1"}, "connectivity": {"fullyConnected": true, "connectivityGraph": {}}, "qubitCount": 25, "nativeGateSet": ["GPI", "GPI2", "MS"]}, "provider": {"braketSchemaHeader": {"name": "braket.device_schema.ionq.ionq_provider_properties", "version": "1"}, "fidelity": {"1Q": {"mean": 0.9995}, "2Q": {"mean": 0.9865}, "spam": {"mean": 0.995}}, "timing": {"T1": 100.0, "T2": 1.0, "1Q": 0.000135, "2Q": 0.0006, "readout": 0.0003, "reset": 2e-05}, "errorMitigation": {"braket.device_schema.error_mitigation.debias.Debias": {"minimumShots": 2500}}}}
arn:aws:braket:us-east-1::device/qpu/quera/Aquila	Aquila	QuEra	QPU	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Tuesday", "windowStartHour": "16:00:00", "windowEndHour": "20:00:00"}, {"executionDay": "Wednesday", "windowStartHour": "16:00:00", "windowEndHour": "20:00:00"}, {"executionDay": "Thursday", "windowStartHour": "16:00:00", "windowEndHour": "18:00:00"}], "shotsRange": [1, 1000], "deviceCost": {"price": 0.01, "unit": "shot"}, "deviceDocumentation": {"imageUrl": "https://a.b.cdn.console.awsstatic.com/59534b58c709fc239521ef866db9ea3f1aba73ad3ebcf60c23914ad8c5c5c878/a6cfc6fca26cf1c2e1c6.png", "summary": "Analog quantum processor based on neutral atom arrays", "externalDocumentationUrl": "https://www.quera.com/aquila"}, "deviceLocation": "Boston, USA", "updatedAt": "2023-05-22T16:00:00+00:00"}, "action": {"braket.ir.ahs.program": {"version": ["1"], "actionType": "braket.ir.ahs.program"}}, "deviceParameters": {}, "braketSchemaHeader": {"name": "braket.device_schema.quera.quera_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.quera.quera_ahs_paradigm_properties", "version": "1"}, "qubitCount": 256, "lattice": {"area": {"width": 7.5e-05, "height": 7.6e-05}, "geometry": {"spacingRadialMin": 4e-06, "spacingVerticalMin": 4e-06, "positionResolution": 1e-07, "numberSitesMax": 256}}, "rydberg": {"c6Coefficient": 5.42e-24, "rydbergGlobal": {"rabiFrequencyRange": [0.0, 15800000.0], "rabiFrequencyResolution": 400.0, "rabiFrequencySlewRateMax": 250000000000000.0, "detuningRange": [-125000000.0, 125000000.0], "detuningResolution": 0.2, "detuningSlewRateMax": 2500000000000000.0, "phaseRange": [-99.0, 99.0], "phaseResolution": 5e-07, "timeResolution": 1e-09, "timeDeltaMin": 5e-08, "timeMin": 0.0, "timeMax": 4e-06}, "rydbergLocal": {"detuningRange": [0.0, 125000000.0], "detuningSlewRateMax": 1256600000000000.0, "siteCoefficientRange": [0.0, 1.0], "numberLocalDetuningSitesMax": 200, "spacingRadialMin": 5e-06, "timeResolution": 1e-09, "timeDeltaMin": 5e-08}}, "performance": {"lattice": {"positionErrorAbs": 1.47e-07}, "rydberg": {"rydbergGlobal": {"rabiFrequencyErrorRel": 0.02}, "rydbergLocal": {"detuningErrorRms": 0.02, "siteCoefficientErrorRms": 0.1, "errorRateIncoherentBright": 36000.0, "errorRateIncoherentDark": 720.0, "crosstalk": 0.02}}}}}
arn:aws:braket:us-east-1::device/qpu/ionq/Harmony	Harmony	IonQ	QPU	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Weekdays", "windowStartHour": "12:00:00", "windowEndHour": "03:00:00"}], "shotsRange": [1, 10000], "deviceCost": {"price": 0.01, "unit": "shot"}, "deviceDocumentation": {"imageUrl": "http://d1.awsstatic.com/re19/Braket/IonQ%20Logo.59ea92b40cff5a2c2e90d9d981b864c2f424c5a8.png", "summary": "Universal gate-model QPU based on trapped ions", "externalDocumentationUrl": "https://ionq.com/quantum-systems/harmony"}, "deviceLocation": "Maryland, USA", "updatedAt": "2023-05-24T11:00:04+00:00"}, "action": {"braket.ir.jaqcd.program": {"version": ["1"], "actionType": "braket.ir.jaqcd.program", "supportedOperations": ["x", "y", "z", "rx", "ry", "rz", "h", "cnot", "s", "si", "t", "ti", "v", "vi", "xx", "yy", "zz", "swap"], "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Probability", "minShots": 1, "maxShots": 10000}], "disabledQubitRewiringSupported": false}, "braket.ir.openqasm.program": {"version": ["1"], "actionType": "braket.ir.openqasm.program", "supportedOperations": ["x", "y", "z", "rx", "ry", "rz", "h", "cnot", "s", "si", "t", "ti", "v", "vi", "xx", "yy", "zz", "swap"], "supportedModifiers": [], "supportedPragmas": ["braket_result_type_sample", "braket_result_type_expectation", "braket_result_type_variance", "braket_result_type_probability", "verbatim"], "forbiddenPragmas": ["braket_unitary_matrix", "braket_result_type_state_vector", "braket_result_type_density_matrix", "braket_result_type_amplitude", "braket_result_type_adjoint_gradient"], "maximumQubitArrays": 1, "maximumClassicalArrays": 1, "forbiddenArrayOperations": ["concatenation", "negativeIndex", "range", "rangeWithStep", "slicing", "selection"], "requiresAllQubitsMeasurement": true, "supportPhysicalQubits": true, "requiresContiguousQubitIndices": false, "supportsPartialVerbatimBox": false, "supportsUnassignedMeasurements": true, "disabledQubitRewiringSupported": false, "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 10000}, {"name": "Probability", "minShots": 1, "maxShots": 10000}]}}, "deviceParameters": {"title": "IonqDeviceParameters", "description": "This defines the parameters common to all the IonQ devices.", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.ionq.ionq_device_parameters", "version": "1"}}, "paradigmParameters": {"$ref": "#/definitions/GateModelParameters"}}, "required": ["paradigmParameters"], "definitions": {"GateModelParameters": {"title": "GateModelParameters", "description": "Defines parameters common to all gate model devices.", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.gate_model_parameters", "version": "1"}}, "qubitCount": {"title": "Qubitcount", "minimum": 0, "type": "integer"}, "disableQubitRewiring": {"title": "Disablequbitrewiring", "default": false, "type": "boolean"}}, "required": ["qubitCount"]}}}, "braketSchemaHeader": {"name": "braket.device_schema.ionq.ionq_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.gate_model_qpu_paradigm_properties", "version": "1"}, "connectivity": {"fullyConnected": true, "connectivityGraph": {}}, "qubitCount": 11, "nativeGateSet": ["GPI", "GPI2", "MS"]}, "provider": {"braketSchemaHeader": {"name": "braket.device_schema.ionq.ionq_provider_properties", "version": "1"}, "fidelity": {"1Q": {"mean": 0.999}, "2Q": {"mean": 0.9549}, "spam": {"mean": 0.99752}}, "timing": {"T1": 10000.0, "T2": 0.2, "1Q": 1e-05, "2Q": 0.0002, "readout": 0.00013, "reset": 2e-05}, "errorMitigation": null}}
arn:aws:braket:::device/quantum-simulator/amazon/tn1	TN1	Amazon Braket	SIMULATOR	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Everyday", "windowStartHour": "00:00:00", "windowEndHour": "23:59:59"}], "shotsRange": [1, 1000], "deviceCost": {"price": 0.275, "unit": "minute"}, "deviceDocumentation": {"imageUrl": "https://d1.awsstatic.com/about-aws/whats-new/lpm-assets/services/SiteMerch_Qx_Editorial-reInvent.d5a91c3e3fa666a2c33b8a912c21d1cb4ef270fb.png", "summary": "Amazon Braket tensor network simulator", "externalDocumentationUrl": "https://docs.aws.amazon.com/braket/latest/developerguide/braket-devices.html#choose-a-simulator"}, "updatedAt": "2022-06-22T10:18:00"}, "action": {"braket.ir.jaqcd.program": {"version": ["1.0", "1.1"], "actionType": "braket.ir.jaqcd.program", "supportedOperations": ["cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cy", "cz", "ecr", "h", "i", "iswap", "pswap", "phaseshift", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz"], "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}]}, "braket.ir.openqasm.program": {"version": ["1.0"], "actionType": "braket.ir.openqasm.program", "supportedOperations": ["cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cy", "cz", "ecr", "h", "i", "iswap", "pswap", "phaseshift", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz"], "supportedPragmas": ["braket_basis_rotation", "braket_result_type_sample", "braket_result_type_expectation", "braket_result_type_variance"], "forbiddenPragmas": ["braket_result_type_state_vector", "braket_result_type_density_matrix", "braket_noise_amplitude_damping", "braket_noise_bit_flip", "braket_noise_depolarizing", "braket_noise_kraus", "braket_noise_pauli_channel", "braket_noise_generalized_amplitude_damping", "braket_noise_phase_flip", "braket_noise_phase_damping", "braket_noise_two_qubit_dephasing", "braket_noise_two_qubit_depolarizing", "braket_unitary_matrix", "braket_result_type_adjoint_gradient"], "maximumQubitArrays": 1, "maximumClassicalArrays": 1, "forbiddenArrayOperations": ["concatenation", "negativeIndex", "range", "rangeWithStep", "slicing", "selection"], "requiresAllQubitsMeasurement": true, "supportPhysicalQubits": false, "requiresContiguousQubitIndices": true, "supportsPartialVerbatimBox": true, "supportsUnassignedMeasurements": true, "disabledQubitRewiringSupported": false, "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i"], "minShots": 1, "maxShots": 1000}]}}, "deviceParameters": {"title": "GateModelSimulatorDeviceParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n paradigmParameters: Parameters that are common to gatemodel paradigm\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.simulators.gate_model_simulator_device_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"paradigmParameters\": {\"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\"qubitCount\": 1},\n ... }\n >>> GateModelSimulatorDeviceParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.simulators.gate_model_simulator_device_parameters", "version": "1"}}, "paradigmParameters": {"$ref": "#/definitions/GateModelParameters"}}, "required": ["paradigmParameters"], "definitions": {"GateModelParameters": {"title": "GateModelParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n qubitCount: number of qubits for a device\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"qubitCount\": 1\n ... }\n >>> GateModelParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.gate_model_parameters", "version": "1"}}, "qubitCount": {"title": "Qubitcount", "exclusiveMinimum": 0, "type": "integer"}}, "required": ["qubitCount"]}}}, "braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_paradigm_properties", "version": "1"}, "qubitCount": 50}}
arn:aws:braket:::device/quantum-simulator/amazon/sv1	SV1	Amazon Braket	SIMULATOR	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Everyday", "windowStartHour": "00:00:00", "windowEndHour": "23:59:59"}], "shotsRange": [0, 100000], "deviceCost": {"price": 0.075, "unit": "minute"}, "deviceDocumentation": {"imageUrl": "https://d1.awsstatic.com/about-aws/whats-new/lpm-assets/services/SiteMerch_Qx_Editorial-reInvent.d5a91c3e3fa666a2c33b8a912c21d1cb4ef270fb.png", "summary": "Amazon Braket state vector simulator", "externalDocumentationUrl": "https://docs.aws.amazon.com/braket/latest/developerguide/braket-devices.html#choose-a-simulator"}, "updatedAt": "2022-06-22T10:18:00"}, "action": {"braket.ir.jaqcd.program": {"version": ["1.0", "1.1"], "actionType": "braket.ir.jaqcd.program", "supportedOperations": ["ccnot", "cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cswap", "cy", "cz", "ecr", "h", "i", "iswap", "pswap", "phaseshift", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "unitary", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz"], "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 1, "maxShots": 100000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Probability", "minShots": 1, "maxShots": 100000}, {"name": "Amplitude", "minShots": 0, "maxShots": 0}]}, "braket.ir.openqasm.program": {"version": ["1.0"], "actionType": "braket.ir.openqasm.program", "supportedOperations": ["ccnot", "cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cswap", "cy", "cz", "ecr", "h", "i", "iswap", "pswap", "phaseshift", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz", "gpi", "gpi2", "ms"], "supportedPragmas": ["braket_unitary_matrix", "braket_basis_rotation", "braket_result_type_sample", "braket_result_type_expectation", "braket_result_type_variance", "braket_result_type_probability", "braket_result_type_amplitude", "braket_result_type_adjoint_gradient"], "forbiddenPragmas": ["braket_result_type_state_vector", "braket_result_type_density_matrix", "braket_noise_amplitude_damping", "braket_noise_bit_flip", "braket_noise_depolarizing", "braket_noise_kraus", "braket_noise_pauli_channel", "braket_noise_generalized_amplitude_damping", "braket_noise_phase_flip", "braket_noise_phase_damping", "braket_noise_two_qubit_dephasing", "braket_noise_two_qubit_depolarizing"], "maximumQubitArrays": 1, "maximumClassicalArrays": 1, "forbiddenArrayOperations": ["concatenation", "negativeIndex", "range", "rangeWithStep", "slicing", "selection"], "requiresAllQubitsMeasurement": true, "supportPhysicalQubits": false, "requiresContiguousQubitIndices": true, "supportsPartialVerbatimBox": true, "supportsUnassignedMeasurements": true, "disabledQubitRewiringSupported": false, "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 1, "maxShots": 100000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Probability", "minShots": 1, "maxShots": 100000}, {"name": "Amplitude", "minShots": 0, "maxShots": 0}, {"name": "AdjointGradient", "observables": ["x", "y", "z", "h", "i"], "minShots": 0, "maxShots": 0}]}}, "deviceParameters": {"title": "GateModelSimulatorDeviceParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n paradigmParameters: Parameters that are common to gatemodel paradigm\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.simulators.gate_model_simulator_device_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"paradigmParameters\": {\"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\"qubitCount\": 1},\n ... }\n >>> GateModelSimulatorDeviceParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.simulators.gate_model_simulator_device_parameters", "version": "1"}}, "paradigmParameters": {"$ref": "#/definitions/GateModelParameters"}}, "required": ["paradigmParameters"], "definitions": {"GateModelParameters": {"title": "GateModelParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n qubitCount: number of qubits for a device\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"qubitCount\": 1\n ... }\n >>> GateModelParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.gate_model_parameters", "version": "1"}}, "qubitCount": {"title": "Qubitcount", "exclusiveMinimum": 0, "type": "integer"}}, "required": ["qubitCount"]}}}, "braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_paradigm_properties", "version": "1"}, "qubitCount": 34}}
arn:aws:braket:us-east-1::device/qpu/xanadu/Borealis	Borealis	Xanadu	QPU	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Weekdays", "windowStartHour": "15:00:00", "windowEndHour": "17:00:00"}], "shotsRange": [1, 1000000], "deviceCost": {"price": 0.0002, "unit": "shot"}, "deviceDocumentation": {"imageUrl": "https://d1.awsstatic.com/re19/Braket/xanadu.48c14affd35d042cd2ad42be220bf1dcdeed2f7f.png", "summary": "Gaussian Boson Sampling on a programmable photonic processor", "externalDocumentationUrl": "https://xanadu.ai/products/borealis"}, "deviceLocation": "Ontario, Canada", "updatedAt": "2023-05-24T17:42:52.674561+00:00"}, "action": {"braket.ir.blackbird.program": {"version": ["1"], "actionType": "braket.ir.blackbird.program", "supportedOperations": ["s", "r0", "r1", "r2", "bs0", "bs1", "bs2", "loop0_phase", "loop1_phase", "loop2_phase"], "supportedResultTypes": []}}, "deviceParameters": {"braketSchemaHeader": {"name": "braket.device_schema.xanadu.xanadu_device_parameters", "version": "1"}}, "braketSchemaHeader": {"name": "braket.device_schema.xanadu.xanadu_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.continuous_variable_qpu_paradigm_properties", "version": "1"}, "modes": {"spatial": 1.0, "concurrent": 44.0, "temporal_max": 331.0}, "layout": "name template_borealis\nversion 1.0\ntarget borealis (shots=1)\ntype tdm (temporal_modes=331, copies=1)\n\nfloat array p0[1, 331] =\n {s}\nfloat array p1[1, 331] =\n {r0}\nfloat array p2[1, 331] =\n {bs0}\nfloat array p3[1, 331] =\n {loop0_phase}\nfloat array p4[1, 331] =\n {r1}\nfloat array p5[1, 331] =\n {bs1}\nfloat array p6[1, 331] =\n {loop1_phase}\nfloat array p7[1, 331] =\n {r2}\nfloat array p8[1, 331] =\n {bs2}\nfloat array p9[1, 331] =\n {loop2_phase}\n\nSgate({s}, 0.0) \| 43\nRgate({r0}) \| 43\nBSgate({bs0}, 1.5707963267948966) \| [42, 43]\nRgate({loop0_phase}) \| 43\nRgate({r1}) \| 42\nBSgate({bs1}, 1.5707963267948966) \| [36, 42]\nRgate({loop1_phase}) \| 42\nRgate({r2}) \| 36\nBSgate({bs2}, 1.5707963267948966) \| [0, 36]\nRgate({loop2_phase}) \| 36\nMeasureFock() \| 0", "compiler": ["borealis"], "supportedLanguages": ["blackbird:1.0"], "compilerDefault": "borealis", "nativeGateSet": ["s", "r0", "r1", "r2", "bs0", "bs1", "bs2", "loop0_phase", "loop1_phase", "loop2_phase"], "gateParameters": {"s": [[0.0, 2.0]], "r0": [[-1.5707963267948966, 1.5707963267948966]], "r1": [[-1.5707963267948966, 1.5707963267948966]], "r2": [[-1.5707963267948966, 1.5707963267948966]], "bs0": [[0.0, 1.5707963267948966]], "bs1": [[0.0, 1.5707963267948966]], "bs2": [[0.0, 1.5707963267948966]], "loop0_phase": [[-3.141592653589793, 3.141592653589793]], "loop1_phase": [[-3.141592653589793, 3.141592653589793]], "loop2_phase": [[-3.141592653589793, 3.141592653589793]]}, "target": "borealis"}, "provider": {"braketSchemaHeader": {"name": "braket.device_schema.xanadu.xanadu_provider_properties", "version": "1"}, "loopPhases": [1.313, 0.07, 1.976], "schmidtNumber": 1.151, "commonEfficiency": 0.369, "squeezingParametersMean": {"low": 0.708, "high": 1.173, "medium": 0.989}, "relativeChannelEfficiencies": [0.927, 0.939, 0.917, 1.0, 0.968, 0.922, 0.896, 0.97, 0.955, 0.954, 0.97, 0.999, 0.952, 0.968, 0.95, 0.902], "loopEfficiencies": [0.878, 0.882, 0.794]}}
arn:aws:braket:::device/quantum-simulator/amazon/dm1	dm1	Amazon Braket	SIMULATOR	ONLINE	{"service": {"braketSchemaHeader": {"name": "braket.device_schema.device_service_properties", "version": "1"}, "executionWindows": [{"executionDay": "Everyday", "windowStartHour": "00:00:00", "windowEndHour": "23:59:59"}], "shotsRange": [0, 100000], "deviceCost": {"price": 0.075, "unit": "minute"}, "deviceDocumentation": {"imageUrl": "https://d1.awsstatic.com/about-aws/whats-new/lpm-assets/services/SiteMerch_Qx_Editorial-reInvent.d5a91c3e3fa666a2c33b8a912c21d1cb4ef270fb.png", "summary": "Amazon Braket density matrix simulator", "externalDocumentationUrl": "https://docs.aws.amazon.com/braket/latest/developerguide/braket-devices.html#choose-a-simulator"}, "updatedAt": "2022-06-22T10:18:00"}, "action": {"braket.ir.jaqcd.program": {"version": ["1.0", "1.1"], "actionType": "braket.ir.jaqcd.program", "supportedOperations": ["amplitude_damping", "bit_flip", "ccnot", "cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cswap", "cy", "cz", "depolarizing", "ecr", "pauli_channel", "generalized_amplitude_damping", "h", "i", "iswap", "kraus", "phase_flip", "phase_damping", "phaseshift", "pswap", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "two_qubit_dephasing", "two_qubit_depolarizing", "unitary", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz"], "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 1, "maxShots": 100000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "DensityMatrix", "minShots": 0, "maxShots": 0}, {"name": "Probability", "minShots": 1, "maxShots": 100000}]}, "braket.ir.openqasm.program": {"version": ["1.0"], "actionType": "braket.ir.openqasm.program", "supportedOperations": ["ccnot", "cnot", "cphaseshift", "cphaseshift00", "cphaseshift01", "cphaseshift10", "cswap", "cy", "cz", "ecr", "h", "i", "iswap", "phaseshift", "pswap", "rx", "ry", "rz", "s", "si", "swap", "t", "ti", "v", "vi", "x", "xx", "xy", "y", "yy", "z", "zz", "gpi", "gpi2", "ms"], "supportedPragmas": ["braket_noise_bit_flip", "braket_noise_depolarizing", "braket_noise_kraus", "braket_noise_pauli_channel", "braket_noise_generalized_amplitude_damping", "braket_noise_amplitude_damping", "braket_noise_phase_flip", "braket_noise_phase_damping", "braket_noise_two_qubit_dephasing", "braket_noise_two_qubit_depolarizing", "braket_unitary_matrix", "braket_result_type_sample", "braket_result_type_expectation", "braket_result_type_variance", "braket_result_type_probability", "braket_result_type_density_matrix"], "forbiddenPragmas": ["braket_result_type_state_vector", "braket_result_type_adjoint_gradient"], "maximumQubitArrays": 1, "maximumClassicalArrays": 1, "forbiddenArrayOperations": ["concatenation", "negativeIndex", "range", "rangeWithStep", "slicing", "selection"], "requiresAllQubitsMeasurement": true, "supportPhysicalQubits": false, "requiresContiguousQubitIndices": true, "supportsPartialVerbatimBox": true, "supportsUnassignedMeasurements": true, "disabledQubitRewiringSupported": false, "supportedResultTypes": [{"name": "Sample", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 1, "maxShots": 100000}, {"name": "Expectation", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "Variance", "observables": ["x", "y", "z", "h", "i", "hermitian"], "minShots": 0, "maxShots": 100000}, {"name": "DensityMatrix", "minShots": 0, "maxShots": 0}, {"name": "Probability", "minShots": 1, "maxShots": 100000}]}}, "deviceParameters": {"title": "GateModelSimulatorDeviceParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n paradigmParameters: Parameters that are common to gatemodel paradigm\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.simulators.gate_model_simulator_device_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"paradigmParameters\": {\"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\"qubitCount\": 1},\n ... }\n >>> GateModelSimulatorDeviceParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.simulators.gate_model_simulator_device_parameters", "version": "1"}}, "paradigmParameters": {"$ref": "#/definitions/GateModelParameters"}}, "required": ["paradigmParameters"], "definitions": {"GateModelParameters": {"title": "GateModelParameters", "description": "This defines the parameters common to all the gatemodel devices.\n\nAttributes:\n qubitCount: number of qubits for a device\n\nExamples:\n >>> import json\n >>> input_json = {\n ... \"braketSchemaHeader\": {\n ... \"name\": \"braket.device_schema.gate_model_parameters\",\n ... \"version\": \"1\",\n ... },\n ... \"qubitCount\": 1\n ... }\n >>> GateModelParameters.parse_raw_schema(json.dumps(input_json))", "type": "object", "properties": {"braketSchemaHeader": {"title": "Braketschemaheader", "const": {"name": "braket.device_schema.gate_model_parameters", "version": "1"}}, "qubitCount": {"title": "Qubitcount", "exclusiveMinimum": 0, "type": "integer"}}, "required": ["qubitCount"]}}}, "braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_device_capabilities", "version": "1"}, "paradigm": {"braketSchemaHeader": {"name": "braket.device_schema.simulators.gate_model_simulator_paradigm_properties", "version": "1"}, "qubitCount": 17}}

Select SV1, which is a simulator:

In[12]:=

sim=devices[SelectFirst[#DeviceArn"arn:aws:braket:::device/quantum-simulator/amazon/sv1"&],MapAt[ImportString[#,"RawJSON"]&,"DeviceCapabilities"]]

Out[12]=

DeviceArn	arn:aws:braket:::device/quantum-simulator/amazon/sv1
DeviceName	SV1
ProviderName	Amazon Braket
DeviceType	SIMULATOR
DeviceStatus	ONLINE
DeviceCapabilities	 … 5 

Send a quantum task to SV1 simulator:

In[13]:=

taskSV1=braket["CreateQuantumTask","DeviceArn"sim["DeviceArn"],"DeviceParameters"{},"OutputS3Bucket""PUT_S3_BUCKET_HERE","OutputS3KeyPrefix""tasks","Shots"100,"Action""braketSchemaHeader""name""braket.ir.openqasm.program","version""1","source"qasmAWS,"ValidateRequest"False,"RequestRegion""us-east-1"];

Get detailed information on the task:

In[14]:=

braket["GetQuantumTask","QuantumTaskArn"taskSV1["QuantumTaskArn"],"RequestRegion""us-east-1"]

Out[14]=

CreatedAt	Thu 25 May 2023 04:55:58
DeviceArn	arn:aws:braket:::device/quantum-simulator/amazon/sv1
DeviceParameters	 … 2 
EndedAt	Thu 25 May 2023 04:55:59
FailureReason	Null
HybridJobArn	Null
Id	65e9dca8-5393-41bc-acf4-682a34a65401
OutputS3Bucket	amazon-braket-wolfram-mads
OutputS3Directory	tasks/65e9dca8-5393-41bc-acf4-682a34a65401
QuantumTaskArn	arn:aws:braket:us-east-1:153593885406:quantum-task/65e9dca8-5393-41bc-acf4-682a34a65401
Shots	100
Status	COMPLETED
Tags	

Find the path of the completed task:

In[15]:=

outputPathSV1=braket["GetQuantumTask","QuantumTaskArn"taskSV1["QuantumTaskArn"],"RequestRegion""us-east-1"]["OutputS3Directory"];

Get the task's results:

In[16]:=

resultsSV1=ImportByteArray[s3["GetObject","Bucket""amazon-braket-wolfram-mads","Key"FileNameJoin[{outputPathSV1,"results.json"}],"RequestRegion""us-east-1"]["Body"],"RawJSON"]["measurements"];

From the results, calculate the probabilities:

In[17]:=

probSV1=N@Normalize[KeySort@Join[AssociationThread[Tuples[{0,1},3],0],Counts@resultsSV1],Total]

Out[17]=

{0,0,0}0.05,{0,0,1}0.56,{0,1,0}0.06,{0,1,1}0.05,{1,0,0}0.07,{1,0,1}0.04,{1,1,0}0.08,{1,1,1}0.09

Visualize SV1 results versus Wolfram Quantum Framework predictions:

In[18]:=

BarChartTranspose[Values/@{meas,probSV1}],ChartLabels{Keys[meas],None},



Out[18]=

External Links

Publisher Information

Contributed by: Wolfram Research, Quantum Computation Framework Team