{ "sdk_version": "1.0.8a", "seed": 4702, "shots_per_evaluation": 128, "classical_maximum_size": 2, "classical_optimal_bitstrings": [ "101" ], "modes": { "digital": { "algorithm": "qaoa", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "parameter_sets": [ { "gamma_0": 0.16, "beta_0": 0.24 }, { "gamma_0": 0.28, "beta_0": -0.18 } ], "evaluation_count": 2, "history_shots": 256, "selected_result_shots": 128, "selected_evaluation_index": 1, "objective_value": -0.7202251513922284, "best_observed_bitstring": "101", "best_observed_feasible": true, "counts": { "100": 19, "110": 12, "011": 19, "001": 13, "000": 13, "101": 21, "010": 20, "111": 11 }, "feasible_frequency": 0.671875, "optimal_frequency": 0.1640625 }, "hybrid": { "algorithm": "qaoa", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "parameter_sets": [ { "gamma_0": 0.16, "beta_0": 0.24 }, { "gamma_0": 0.28, "beta_0": -0.18 } ], "evaluation_count": 2, "history_shots": 256, "selected_result_shots": 128, "selected_evaluation_index": 1, "objective_value": -0.7202251513922278, "best_observed_bitstring": "101", "best_observed_feasible": true, "counts": { "100": 19, "110": 12, "011": 19, "001": 13, "000": 13, "101": 21, "010": 20, "111": 11 }, "feasible_frequency": 0.671875, "optimal_frequency": 0.1640625 }, "analog": { "algorithm": "qaa", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "parameter_sets": [ { "anneal_time": 0.4, "omega_max": 1.0 }, { "anneal_time": 0.7, "omega_max": 1.4 } ], "evaluation_count": 2, "history_shots": 256, "selected_result_shots": 128, "selected_evaluation_index": 1, "objective_value": -0.32725200794438375, "best_observed_bitstring": "101", "best_observed_feasible": true, "counts": { "000": 92, "100": 13, "010": 12, "001": 9, "101": 2 }, "feasible_frequency": 1.0, "optimal_frequency": 0.015625 } }, "artifacts": { "data": "artifacts/mis-routes/routes.json", "report_en": "artifacts/mis-routes/mis-en.html", "report_zh": "artifacts/mis-routes/mis-zh.html" }, "graph": { "problem_id": "lesson.project.mis-routes", "nodes": [ "a", "b", "c" ], "edges": [ [ "a", "b" ], [ "b", "c" ] ], "node_positions": [ [ "a", [ 0.0, 0.0 ] ], [ "b", [ 6.0, 0.0 ] ], [ "c", [ 12.0, 0.0 ] ] ], "graph_type": "undirected", "schema_version": "0.1", "metadata": {} }, "simulation_options": { "method": "auto", "integrator": "fixed_step_krylov", "device": "auto", "dtype": "complex128", "max_memory_bytes": null, "memory_fraction": 0.8, "max_wall_time_seconds": null, "workers": "auto", "trajectories": 256, "target_statistical_error": null, "rtol": 1e-09, "atol": 1e-11, "max_steps": 32, "blockade_mode": "auto", "seed": 0, "metadata": {}, "schema_version": "cascaqit.simulation.planning.v1" }, "executions": { "digital": { "execution_id": "problem.execution.optimize.b3597ca98028a8165934", "mode": "digital", "algorithm": "qaoa", "topology": null, "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "analysis_hash": "f4e99309942d7c76f40b36fbe7adb837fdd58abe565e3c037f9c79e01326c0d6", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "context": { "context_id": "problem.context.digital.39f232655bea2255375f", "mode": "digital", "algorithm": "qaoa", "topology": null, "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "analysis": { "analysis_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "canonical_problem": { "problem_id": "lesson.project.mis-routes", "problem_type": "graph", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "variable_domain": "binary", "objective_direction": "minimize", "offset": 0.0, "linear_terms": [ { "term_id": "linear.a", "variable": "a", "coefficient": -1.0, "source_term_ids": [ "linear.a" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.b", "variable": "b", "coefficient": -1.0, "source_term_ids": [ "linear.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.c", "variable": "c", "coefficient": -1.0, "source_term_ids": [ "linear.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "quadratic_terms": [ { "term_id": "quadratic.a.b", "left": "a", "right": "b", "coefficient": 2.0, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "quadratic.b.c", "left": "b", "right": "c", "coefficient": 2.0, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "constraints": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "a", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "c", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "layout_hints": [ [ "a", [ 0.0, 0.0 ] ], [ "b", [ 6.0, 0.0 ] ], [ "c", [ 12.0, 0.0 ] ] ], "metadata": { "mis_penalty": 2.0, "normalized_problem_hash": "1bc133ba89ccce01629832eca5fc7a25d2ef99bbcbcad19c068a930c91258c50", "normalized_problem_id": "qubo.mis.lesson.project.mis-routes", "normalized_problem_type": "qubo", "source_schema_version": "0.1" }, "schema_version": "cascaqit.problem.canonical.v2" }, "logical_hamiltonian": { "hamiltonian_id": "logical.hamiltonian.lesson.project.mis-routes", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "pauli_hamiltonian_hash": "fa6e027798bd33fcdd5485648a281499a637cee798b6bf1cbe9bec1016ea25f2", "logical_order": [ "a", "b", "c" ], "constant": -0.5, "constant_source_term_ids": [ "linear.a", "linear.b", "linear.c", "offset", "quadratic.a.b", "quadratic.b.c" ], "terms": [ { "term_id": "field.b", "operator": "z", "targets": [ "b" ], "coefficient": -0.5, "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" } ], "metadata": { "pauli_convention": "computational |0> has Z=+1; Ising s=-Z", "projection": "existing_problem_to_pauli_hamiltonian", "source_problem_type": "graph" }, "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "mapping_plan": { "plan_id": "mapping.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "logical_hamiltonian_hash": "cde887c9385e08440b3de887de6aeff64f39e8678405e238ccdc3af987922c49", "target_id": "mock.neutral_atom.local_ahs.v0_1", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "layout": { "layout_id": "layout.lesson.project.mis-routes.provided", "layout_policy": "provided", "sites": [ { "logical_id": "a", "atom_id": "a", "site_id": "site.0.a", "position": [ 0.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "b", "atom_id": "b", "site_id": "site.1.b", "position": [ 6.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "c", "atom_id": "c", "site_id": "site.2.c", "position": [ 12.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "valid": true, "diagnostic_codes": [], "metadata": { "coordinate_unit": "um", "partial_hints_ignored": false, "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "interaction": { "c6": 823549.6645826427, "cutoff_radius": 8.0, "enabled": true, "model": "van_der_waals", "c6_unit": "rad*um^6/us", "distance_unit": "um", "channel_type": "crosstalk", "evolution_type": "coherent", "operator": "number_number", "schema_version": "cascaqit.interaction.v1", "metadata": {} }, "interactions": [ { "left": "a", "right": "b", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "a", "right": "c", "distance": 12.0, "coefficient": 0.0, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "b", "right": "c", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "term_candidates": [ { "candidate_id": "candidate.field.b.digital", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.field.b.analog", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "analog_detuning_local", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.digital", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.analog", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.digital", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.analog", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "feasibility": [ { "mode": "digital", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [], "digital_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "diagnostic_codes": [], "energy_scale": 1.0, "local_reference": true, "hardware_executable": false, "metadata": { "decomposition": "Z:RZ;ZZ:CX-RZ-CX" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "hybrid", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "detuning_implementation": "analog_detuning_local", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 }, "split": "exact_commuting_diagonal", "state_space": "local_logical_two_level_reference", "topology": "dad" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "analog", "algorithm": "qaa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "complete_analog_coverage": true, "detuning_implementation": "analog_detuning_local", "initial_detuning": -8.825763723665153, "omega_limit": 20.0, "protocol": "qaa", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 } }, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "diagnostics": [], "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "resource_estimate": { "logical_terms": 3, "logical_variables": 3, "qaoa_layer_gate_estimate": 13, "state_vector_dimension": 8, "z_terms": 1, "zz_terms": 2 }, "metadata": { "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "interaction_model": "van_der_waals", "interaction_source": "target_typed_defaults" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "penalty_analysis": { "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "criterion": "mis_vertex_removal", "penalty_strength": 2.0, "minimum_sufficient_strength": 1.0, "strict_inequality": true, "sufficiency_margin": 1.0, "sufficient": true, "business_objective_term_ids": [ "linear.a", "linear.b", "linear.c" ], "penalty_terms": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "targets": [ "a", "b" ], "canonical_term_id": "quadratic.a.b", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "targets": [ "b", "c" ], "canonical_term_id": "quadratic.b.c", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "schema_version": "cascaqit.problem.penalty.v2" }, "diagnostics": [ { "diagnostic_id": "problem.analysis.lesson.project.mis-routes.penalty-sufficient", "stage": "validation", "severity": "info", "code": "PROBLEM_PENALTY_SUFFICIENT", "message": "Problem penalty strength is strictly greater than the applicable vertex-removal sufficiency threshold.", "schema_version": "0.1", "object_path": "problem.analysis.penalty_analysis", "suggestion": null, "metadata": { "actionable": false, "criterion": "mis_vertex_removal", "minimum_sufficient_strength": 1.0, "penalty_strength": 2.0, "reason_category": "validation", "sufficiency_margin": 1.0, "taxonomy_stage": "validation" } } ] }, "term_mapping": [ { "mapping_id": "mapping.digital.field.b", "logical_term_id": "field.b", "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "analog_coefficient": 0.0, "digital_coefficient": -0.5, "implementation": "digital_gate", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.digital.coupling.a.b", "logical_term_id": "coupling.a.b", "source_term_ids": [ "quadratic.a.b" ], "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "analog_coefficient": 0.0, "digital_coefficient": 0.5, "implementation": "digital_gate", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.digital.coupling.b.c", "logical_term_id": "coupling.b.c", "source_term_ids": [ "quadratic.b.c" ], "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "analog_coefficient": 0.0, "digital_coefficient": 0.5, "implementation": "digital_gate", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "parameter_schema": { "parameters": [ { "name": "gamma_0", "dtype": "float", "unit": "rad", "default": null, "lower_bound": null, "upper_bound": null, "expression": null, "compile_impact": "bind_only", "source_span": null, "metadata": {}, "schema_version": "cascaqit.parameters.v2" }, { "name": "beta_0", "dtype": "float", "unit": "rad", "default": null, "lower_bound": null, "upper_bound": null, "expression": null, "compile_impact": "bind_only", "source_span": null, "metadata": {}, "schema_version": "cascaqit.parameters.v2" } ], "metadata": {}, "schema_version": "cascaqit.parameters.v2" }, "ansatz": { "ansatz_id": "ansatz.qaoa.lesson.project.mis-routes", "ansatz_kind": "qaoa", "layers": 1, "logical_order": [ "a", "b", "c" ], "parameter_names": [ "gamma_0", "beta_0" ], "circuit_hash": null, "definition": {}, "required_gates": [], "layer_transfer": "unsupported", "metadata": { "cost_decomposition": "Z:RZ;ZZ:CX-RZ-CX", "hamiltonian_hash": "fa6e027798bd33fcdd5485648a281499a637cee798b6bf1cbe9bec1016ea25f2", "initial_state": "uniform_superposition", "mixer": "RX" }, "schema_version": "cascaqit.algorithms.v3" }, "ansatz_spec_hash": "5b77bed492d711c4afe8218859fe291ca0bee923a098764f730d5646d1ff3727", "native_program": { "program_id": "program.problem.d8382aee4287.2b480a34c93b", "circuit": { "circuit_id": "program.problem.d8382aee4287.2b480a34c93b", "qubits": [ "a", "b", "c" ], "operations": [ { "operation_id": "operation.0.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "a" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.1.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.2.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "c" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.3.rz", "definition": { "namespace": "cascaqit.std.digital", "name": "rz", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": { "theta": -0.28 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.4.x", "definition": { "namespace": "cascaqit.std.digital", "name": "x", "version": "1" }, "qubits": [ "a", "b" ], "clbits": [], "arguments": {}, "modifiers": [ { "modifier_kind": "control", "control_count": 1, "control_state": "1", "exponent": null } ], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.5.rz", "definition": { "namespace": "cascaqit.std.digital", "name": "rz", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": { "theta": 0.28 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.6.x", "definition": { "namespace": "cascaqit.std.digital", "name": "x", "version": "1" }, "qubits": [ "a", "b" ], "clbits": [], "arguments": {}, "modifiers": [ { "modifier_kind": "control", "control_count": 1, "control_state": "1", "exponent": null } ], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.7.x", "definition": { "namespace": "cascaqit.std.digital", "name": "x", "version": "1" }, "qubits": [ "b", "c" ], "clbits": [], "arguments": {}, "modifiers": [ { "modifier_kind": "control", "control_count": 1, "control_state": "1", "exponent": null } ], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.8.rz", "definition": { "namespace": "cascaqit.std.digital", "name": "rz", "version": "1" }, "qubits": [ "c" ], "clbits": [], "arguments": { "theta": 0.28 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.9.x", "definition": { "namespace": "cascaqit.std.digital", "name": "x", "version": "1" }, "qubits": [ "b", "c" ], "clbits": [], "arguments": {}, "modifiers": [ { "modifier_kind": "control", "control_count": 1, "control_state": "1", "exponent": null } ], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.10.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "a" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.11.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.12.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "c" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "measurement.0.0", "definition": { "namespace": "cascaqit.std.digital", "name": "measure", "version": "1" }, "qubits": [ "a" ], "clbits": [ "problem[0]" ], "arguments": {}, "modifiers": [], "condition": null, "metadata": { "measurement_id": "measurement.0", "measurement_index": 0, "measurement_key": "problem" }, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "measurement.0.1", "definition": { "namespace": "cascaqit.std.digital", "name": "measure", "version": "1" }, "qubits": [ "b" ], "clbits": [ "problem[1]" ], "arguments": {}, "modifiers": [], "condition": null, "metadata": { "measurement_id": "measurement.0", "measurement_index": 1, "measurement_key": "problem" }, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "measurement.0.2", "definition": { "namespace": "cascaqit.std.digital", "name": "measure", "version": "1" }, "qubits": [ "c" ], "clbits": [ "problem[2]" ], "arguments": {}, "modifiers": [], "condition": null, "metadata": { "measurement_id": "measurement.0", "measurement_index": 2, "measurement_key": "problem" }, "schema_version": "cascaqit.digital.operations.v1" } ], "classical_registers": [ { "register_id": "problem", "bit_ids": [ "problem[0]", "problem[1]", "problem[2]" ] } ], "schema_version": "0.2", "metadata": {} }, "catalog_id": "cascaqit.standard.digital", "catalog_version": "1", "catalog_hash": "62c5e1206611e02c62d7e57f548020b4cb932235e479fd3bd50079cb5e0aad6c", "schema_version": "0.2", "program_type": "digital", "validation_mode": "ir_only", "metadata": { "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "execution_role": "problem_sampling", "parameter_bind_hash": "2b480a34c93bb7a6d7e5153fb5bbae52660b792e0347163934a8e454ee05fd53", "source_program_id": "program.qaoa.lesson.project.mis-routes" } }, "native_program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "local_reference": true, "hardware_executable": false, "metadata": { "native_program_kind": "digital", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.problem.execution-context.v2" }, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.digital.bind", "parameter_schema_hash": "3c223b4463e2a132219c2fe72eb795f539b9591f9c690b3a36df4102367731c5", "values": { "beta_0": -0.18, "gamma_0": 0.28 }, "parameter_bind_hash": "2b480a34c93bb7a6d7e5153fb5bbae52660b792e0347163934a8e454ee05fd53", "compile_required": false, "metadata": { "algorithm": "qaoa", "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "mode": "digital" }, "schema_version": "cascaqit.parameters.v2" }, "parameter_bind_hash": "2b480a34c93bb7a6d7e5153fb5bbae52660b792e0347163934a8e454ee05fd53", "result": { "result_id": "result.program.problem.d8382aee4287.2b480a34c93b", "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "target_id": "local.digital_simulator", "shots": 128, "counts": { "000": 13, "001": 13, "010": 20, "011": 19, "100": 19, "101": 21, "110": 12, "111": 11 }, "samples": [ "100", "110", "011", "001", "011", "000", "001", "110", "000", "110", "110", "101", "100", "010", "011", "101", "011", "101", "111", "110", "010", "000", "011", "010", "100", "111", "011", "001", "011", "100", "011", "010", "000", "100", "001", "110", "111", "011", "110", "010", "101", "000", "110", "011", "010", "010", "101", "111", "101", "011", "100", "100", "111", "101", "100", "100", "101", "110", "011", "000", "011", "010", "100", "010", "000", "111", "010", "010", "100", "000", "010", "101", "101", "100", "110", "101", "001", "111", "011", "010", "110", "111", "100", "101", "000", "101", "010", "001", "101", "000", "011", "100", "100", "111", "101", "010", "011", "011", "101", "000", "100", "000", "000", "011", "001", "001", "101", "001", "101", "110", "010", "011", "001", "010", "010", "100", "010", "101", "111", "101", "001", "100", "001", "101", "001", "100", "010", "111" ], "probabilities": { "000": 0.09279383325837515, "001": 0.13586908748986168, "010": 0.15957556713846735, "011": 0.11176151211329581, "100": 0.13586908748986168, "101": 0.1804269365569601, "110": 0.11176151211329581, "111": 0.07194246383988243 }, "observables": { "state_norm": 0.9999999999999998 }, "observable_batch": { "observable_set_hash": "274b4753a334456eba54843db8153f7bc501c88042877649c43b2e91f7d0af46", "items": [ { "observable": { "name": "Z(b)", "terms": [ { "target": "b", "basis": "Z", "schema_version": "cascaqit.observables.v1" } ], "schema_version": "cascaqit.observables.v1" }, "expectation": 0.0899178895901171, "variance": 0.9919147731316595, "standard_error": 0.0, "sample_count": null, "source_kind": "state_vector", "source_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "estimator_kind": "exact_state", "schema_version": "cascaqit.observables.v1" }, { "observable": { "name": "Z(a)*Z(b)", "terms": [ { "target": "a", "basis": "Z", "schema_version": "cascaqit.observables.v1" }, { "target": "b", "basis": "Z", "schema_version": "cascaqit.observables.v1" } ], "schema_version": "cascaqit.observables.v1" }, "expectation": -0.1752662065971698, "variance": 0.9692817568250381, "standard_error": 0.0, "sample_count": null, "source_kind": "state_vector", "source_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "estimator_kind": "exact_state", "schema_version": "cascaqit.observables.v1" }, { "observable": { "name": "Z(b)*Z(c)", "terms": [ { "target": "b", "basis": "Z", "schema_version": "cascaqit.observables.v1" }, { "target": "c", "basis": "Z", "schema_version": "cascaqit.observables.v1" } ], "schema_version": "cascaqit.observables.v1" }, "expectation": -0.1752662065971698, "variance": 0.9692817568250381, "standard_error": 0.0, "sample_count": null, "source_kind": "state_vector", "source_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "estimator_kind": "exact_state", "schema_version": "cascaqit.observables.v1" } ], "schema_version": "cascaqit.observables.v1" }, "bit_ordering": { "convention": "logical_order", "logical_order": "a,b,c" }, "occupation_encoding": { "ground": 0, "rydberg": 1 }, "diagnostics": [ { "diagnostic_id": "simulation.scalable.digital.completed", "stage": "simulation", "severity": "info", "code": "SCALABLE_IDEAL_SIMULATION_COMPLETED", "message": "Scalable ideal state-vector simulation completed.", "schema_version": "0.1", "object_path": "result", "suggestion": null, "metadata": { "program_kind": "digital" } } ], "schema_version": "0.1", "metadata": { "backend_called": true, "backend_id": "local.simulator", "bitstring_ordering": { "bitstring_index": "left_to_right_matches_logical_order", "convention": "logical_order", "logical_order": [ "a", "b", "c" ] }, "block_state_chain": [ { "block_id": "program.problem.d8382aee4287.2b480a34c93b", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "auto", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "ddddf35757dc5d4f3cd45de27c4fc05d5ba209bc59b7ff238508f9ef32193427", "time_unit": "us", "transition_id": "transition.0.program.problem.d8382aee4287.2b480a34c93b" } ], "execution_package_created": false, "network_accessed": false, "offline_deterministic": true, "references": { "bundle_hash": null, "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "initial_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "metadata": {}, "plan_hash": null, "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "schema_version": "0.1", "target_snapshot_hash": null }, "run_trace": { "events": [ { "event_time": "logical:0x0.0p+0", "message": "Completed digital state transition.", "metadata": { "state_transition": { "block_id": "program.problem.d8382aee4287.2b480a34c93b", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "auto", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "ddddf35757dc5d4f3cd45de27c4fc05d5ba209bc59b7ff238508f9ef32193427", "time_unit": "us", "transition_id": "transition.0.program.problem.d8382aee4287.2b480a34c93b" } }, "schema_version": "0.1", "stage": "running", "status": "ok" }, { "event_time": "logical:0x0.0p+0", "message": "Terminal Digital sampling completed.", "metadata": { "final_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "seed": 4702, "shots": 128 }, "schema_version": "0.1", "stage": "completed", "status": "ok" } ], "metadata": { "execution_mode": "standalone_digital" }, "references": { "bundle_hash": null, "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "initial_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "metadata": {}, "plan_hash": null, "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "schema_version": "0.1", "target_snapshot_hash": null }, "schema_version": "0.1", "trace_id": "trace.program.problem.d8382aee4287.2b480a34c93b.scalable_digital" }, "seed": 4702, "selected_simulator": "ScalableIdealEngine", "simulation_execution_config": { "absolute_tolerance": 1e-11, "device": "cpu", "dtype": "complex128", "execution_scope": "job", "integrator_requested": "auto", "integrator_selected": "not_applicable", "method": "state_vector", "relative_tolerance": 1e-09, "schema_version": "0.1", "seed": 4702, "seed_semantics": "effective_seed", "solver_evidence_hash": "ddddf35757dc5d4f3cd45de27c4fc05d5ba209bc59b7ff238508f9ef32193427", "step_semantics": "not_applicable", "steps": 0, "tolerance_applied": false, "trajectories": null, "worker_semantics": "kernel_concurrency", "workers": 1 }, "simulation_plan": { "atol": 1e-11, "budget_bytes": 20615843020, "candidates": [ { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 8960, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 384 }, "method": "state_vector", "reason_codes": [ "SIMULATION_METHOD_ELIGIBLE", "SIMULATION_METHOD_SELECTED" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "selected" }, { "estimate": null, "method": "subspace", "reason_codes": [ "SIMULATION_SUBSPACE_BASIS_UNAVAILABLE" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 14336, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "density_matrix", "operator_bytes": 2048, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 1024, "state_dimension": 64, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 3072 }, "method": "density_matrix", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 729344, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "trajectory", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 32768, "state_dimension": 2048, "trajectories": 256, "worker_copy_bytes": 458752, "workers": 15, "workspace_bytes": 229376 }, "method": "trajectory", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" } ], "device": "cpu", "dtype": "complex128", "estimate": { "dtype": "complex128", "estimated_peak_bytes": 8960, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 384 }, "hilbert_dimension": 8, "host_hash": "fc340411ec9c1fe45ae7d312ce900fdaeaa5935813f6c5c169cb18b81d90aea1", "integrator_requested": "auto", "integrator_selected": "not_applicable", "logical_sites": 3, "max_steps": 10000, "metadata": { "array_backend": "numpy", "blockade_dimension": null, "host_snapshot_source": "platform.effective_resource_probe", "max_wall_time_seconds": null, "memory_fraction": 0.8, "network_accessed": false, "numpy_version": "2.0.2", "requires_trajectory": false, "scipy_version": "1.17.1", "target_statistical_error": null, "time_integration_required": false, "workers_cpu_limit": 15, "workers_requested": "auto" }, "method_requested": "auto", "method_selected": "state_vector", "noisy": false, "options_hash": "dda60164d402738a8e670cc33a6c276c94c7038905183008fb406bbfc6495bb4", "plan_id": "simulation_plan.digital.3.state_vector.not_applicable", "program_kind": "digital", "rtol": 1e-09, "schema_version": "cascaqit.simulation.planning.v1", "seed": 4702, "state_representation": "state_vector", "trajectories": 256, "truthfulness": "planning_only", "workers": 1 }, "simulation_plan_hash": "814ea4ddde2a9c7e41a15836a26c58415b2bf4b61be0ea223c296773e7e8b324", "simulation_plan_truthfulness": "planning_only", "simulation_resource_estimate": { "dtype": "complex128", "estimated_peak_bytes": 8960, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 384 }, "simulation_resource_usage": { "actual_peak_rss_bytes": 146620416, "baseline_peak_rss_bytes": 146620416, "estimate_error_fraction": null, "estimate_within_tolerance": null, "estimated_peak_bytes": 8960, "incremental_peak_rss_bytes": 0, "measurement_scope": "job", "measurement_status": "baseline_dominated", "rss_semantics": "process_high_water_mark", "schema_version": "0.1", "wall_time_seconds": 0.002234583953395486 }, "simulation_solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "auto", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false }, "simulation_solver_evidence_hash": "ddddf35757dc5d4f3cd45de27c4fc05d5ba209bc59b7ff238508f9ef32193427", "simulation_state": { "arrays": { "amplitudes": { "content_hash": "49162e7ef3d64eb19c24b6a163eb19bd55c1cfda4e465baab27939b55b0d411e", "dtype": "complex128", "nbytes": 128, "returned_state_bytes": false, "shape": [ 8 ] } }, "basis": "logical_two_level", "logical_order": [ "a", "b", "c" ], "logical_time": 0.0, "metrics": { "norm": 0.9999999999999998 }, "noise_context": {}, "provenance": { "conversion": null, "metadata": { "algorithm": "tensor_axis", "operation_count": 13, "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce" }, "parent_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "producer": "NumpyDigitalStateVectorKernel", "schema_version": "cascaqit.simulation.array_state.v1", "step_index": 1 }, "returned_state_bytes": false, "schema_version": "cascaqit.simulation.array_state.v1", "stable_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "state_kind": "state_vector", "time_unit": "us" }, "simulation_truthfulness": "ideal_state_evolution", "simulator": { "array_backend": "numpy.cpu", "method": "state_vector", "name": "ScalableIdealEngine", "program_kind": "digital" }, "state_bytes_returned": false, "state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "state_transitions": [ { "block_id": "program.problem.d8382aee4287.2b480a34c93b", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "auto", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "7d4acefe58822f1cad40755093edd286b77db2b97c3e80ed081ccf880043db79", "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "ddddf35757dc5d4f3cd45de27c4fc05d5ba209bc59b7ff238508f9ef32193427", "time_unit": "us", "transition_id": "transition.0.program.problem.d8382aee4287.2b480a34c93b" } ] } }, "candidates": [ { "bitstring": "101", "objective_value": -2.0, "probability": 0.1804269365569601, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "010", "objective_value": -1.0, "probability": 0.15957556713846735, "count": 20, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "b" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "100", "objective_value": -1.0, "probability": 0.13586908748986168, "count": 19, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "011", "objective_value": 0.0, "probability": 0.11176151211329581, "count": 19, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "b", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "b", "c" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "001", "objective_value": -1.0, "probability": 0.13586908748986168, "count": 13, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "c" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "000", "objective_value": 0.0, "probability": 0.09279383325837515, "count": 13, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [], "size": 0, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "110", "objective_value": 0.0, "probability": 0.11176151211329581, "count": 12, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "b" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "a", "b" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "111", "objective_value": 1.0, "probability": 0.07194246383988243, "count": 11, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "b", "c" ], "size": 3, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "a", "b" ], [ "b", "c" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" } ], "most_probable_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.1804269365569601, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.1804269365569601, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "objective_value": -0.7202251513922284, "feasibility": true, "constraint_violations": [], "candidate_energy_breakdowns": [ { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 0.0, "total_objective": -2.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "101", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "010", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "100", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 2.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "011", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "001", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": 0.0, "penalty_energy": 0.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "000", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 2.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "110", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -3.0, "penalty_energy": 4.0, "total_objective": 1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "111", "schema_version": "cascaqit.problem.penalty.v2" } ], "parameter_history": [ { "evaluation_index": 0, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.digital.bind", "parameter_schema_hash": "3c223b4463e2a132219c2fe72eb795f539b9591f9c690b3a36df4102367731c5", "values": { "beta_0": 0.24, "gamma_0": 0.16 }, "parameter_bind_hash": "718754a8464bded319d4c2ae53023d3bddd4a8cb48e15a1256e9be40d6d9ce93", "compile_required": false, "metadata": { "algorithm": "qaoa", "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "mode": "digital" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.program.problem.d8382aee4287.718754a8464b", "result_hash": "44868e41e6f988b522683bfcddb17d46deb8006d8076c1ea2a2052c4a6f4d09b", "source_program_hash": "8b82632ea5f88f8fc113f8982571a2b3f34301cc39ddbdd0d28ae019f6b9c1ca", "program_hash": "8b82632ea5f88f8fc113f8982571a2b3f34301cc39ddbdd0d28ae019f6b9c1ca", "objective_value": -0.33529298728005646, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.08468345839059649, "count": 14, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.5663905504082056, "expected_constraint_violation_count": 0.6002791211763996, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.6647070127199435, "best_observed_objective_gap": 0.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -1.5358512296328555, "penalty_energy": 1.2005582423527992, "total_objective": -0.33529298728005646, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.3001395605881998, "contribution": 0.6002791211763996, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.3001395605881998, "contribution": 0.6002791211763996, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": { "evidence_id": "objective.execution.f197e17a18dfb25537aa", "evidence_hash": "f197e17a18dfb25537aaf0f7665e463e902c31f0311bd3970b792238ac8c17bb", "noise_model": null, "requested_options": null, "simulation_plan": { "plan_id": "simulation_plan.digital.3.state_vector.not_applicable", "program_kind": "digital", "logical_sites": 3, "noisy": false, "method_requested": "auto", "method_selected": "state_vector", "integrator_requested": "auto", "integrator_selected": "not_applicable", "state_representation": "state_vector", "device": "cpu", "dtype": "complex128", "hilbert_dimension": 8, "budget_bytes": 20615843020, "estimate": { "method": "state_vector", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 8, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 128, "operator_bytes": 256, "workspace_bytes": 384, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 8960, "schema_version": "cascaqit.simulation.planning.v1" }, "candidates": [ { "method": "state_vector", "status": "selected", "reason_codes": [ "SIMULATION_METHOD_ELIGIBLE", "SIMULATION_METHOD_SELECTED" ], "estimate": { "method": "state_vector", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 8, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 128, "operator_bytes": 256, "workspace_bytes": 384, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 8960, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "subspace", "status": "rejected", "reason_codes": [ "SIMULATION_SUBSPACE_BASIS_UNAVAILABLE" ], "estimate": null, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "density_matrix", "status": "rejected", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "estimate": { "method": "density_matrix", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 64, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 1024, "operator_bytes": 2048, "workspace_bytes": 3072, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 14336, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "trajectory", "status": "rejected", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "estimate": { "method": "trajectory", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 2048, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 256, "workers": 15, "state_bytes": 32768, "operator_bytes": 256, "workspace_bytes": 229376, "worker_copy_bytes": 458752, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 729344, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" } ], "workers": 1, "trajectories": 256, "rtol": 1e-09, "atol": 1e-11, "max_steps": 10000, "seed": 4702, "options_hash": "dda60164d402738a8e670cc33a6c276c94c7038905183008fb406bbfc6495bb4", "host_hash": "fc340411ec9c1fe45ae7d312ce900fdaeaa5935813f6c5c169cb18b81d90aea1", "truthfulness": "planning_only", "metadata": { "array_backend": "numpy", "blockade_dimension": null, "host_snapshot_source": "platform.effective_resource_probe", "max_wall_time_seconds": null, "memory_fraction": 0.8, "network_accessed": false, "numpy_version": "2.0.2", "requires_trajectory": false, "scipy_version": "1.17.1", "target_statistical_error": null, "time_integration_required": false, "workers_cpu_limit": 15, "workers_requested": "auto" }, "schema_version": "cascaqit.simulation.planning.v1" }, "noise_report": null, "estimator_kind": "exact_state", "source_kind": "state_vector", "sample_count": null, "observable_standard_errors": { "Z(a)*Z(b)": 0.0, "Z(b)": 0.0, "Z(b)*Z(c)": 0.0 }, "requested_seed": 4702, "effective_seed": 4702, "backend_id": "local.simulator", "backend_job_id": "problem.digital.d8382aee4287.parameter-set.000000", "backend_shots": 128, "result_id": "result.program.problem.d8382aee4287.718754a8464b", "result_hash": "44868e41e6f988b522683bfcddb17d46deb8006d8076c1ea2a2052c4a6f4d09b", "metadata": { "program_hash": "8b82632ea5f88f8fc113f8982571a2b3f34301cc39ddbdd0d28ae019f6b9c1ca", "simulation_truthfulness": "ideal_state_evolution" }, "schema_version": "cascaqit.algorithms.noisy_execution.v1" }, "backend_job_id": "problem.digital.d8382aee4287.parameter-set.000000", "schema_version": "cascaqit.problem.execution.v6" }, { "evaluation_index": 1, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.digital.bind", "parameter_schema_hash": "3c223b4463e2a132219c2fe72eb795f539b9591f9c690b3a36df4102367731c5", "values": { "beta_0": -0.18, "gamma_0": 0.28 }, "parameter_bind_hash": "2b480a34c93bb7a6d7e5153fb5bbae52660b792e0347163934a8e454ee05fd53", "compile_required": false, "metadata": { "algorithm": "qaoa", "compile_hash": "d8382aee4287b57de1bc82a490f99d9c693b3fd0222d4b7325b69410d8941920", "mode": "digital" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.program.problem.d8382aee4287.2b480a34c93b", "result_hash": "ad583b135d15d2c930b9594d3615462abe84478b8a2bb70b8df95e40a8054ba2", "source_program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "objective_value": -0.7202251513922284, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.1804269365569601, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.7045345119335259, "expected_constraint_violation_count": 0.36740795190635644, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.2797748486077716, "best_observed_objective_gap": 0.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -1.4550410552049415, "penalty_energy": 0.7348159038127129, "total_objective": -0.7202251513922284, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.18370397595317822, "contribution": 0.36740795190635644, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.18370397595317822, "contribution": 0.36740795190635644, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": { "evidence_id": "objective.execution.3a9df66a1dffd4a97a73", "evidence_hash": "3a9df66a1dffd4a97a731747bdeb2ddf0d0c7ef1a875a52337de2ea36ed9e50e", "noise_model": null, "requested_options": null, "simulation_plan": { "plan_id": "simulation_plan.digital.3.state_vector.not_applicable", "program_kind": "digital", "logical_sites": 3, "noisy": false, "method_requested": "auto", "method_selected": "state_vector", "integrator_requested": "auto", "integrator_selected": "not_applicable", "state_representation": "state_vector", "device": "cpu", "dtype": "complex128", "hilbert_dimension": 8, "budget_bytes": 20615843020, "estimate": { "method": "state_vector", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 8, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 128, "operator_bytes": 256, "workspace_bytes": 384, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 8960, "schema_version": "cascaqit.simulation.planning.v1" }, "candidates": [ { "method": "state_vector", "status": "selected", "reason_codes": [ "SIMULATION_METHOD_ELIGIBLE", "SIMULATION_METHOD_SELECTED" ], "estimate": { "method": "state_vector", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 8, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 128, "operator_bytes": 256, "workspace_bytes": 384, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 8960, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "subspace", "status": "rejected", "reason_codes": [ "SIMULATION_SUBSPACE_BASIS_UNAVAILABLE" ], "estimate": null, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "density_matrix", "status": "rejected", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "estimate": { "method": "density_matrix", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 64, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 1, "workers": 1, "state_bytes": 1024, "operator_bytes": 2048, "workspace_bytes": 3072, "worker_copy_bytes": 0, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 14336, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" }, { "method": "trajectory", "status": "rejected", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "estimate": { "method": "trajectory", "logical_sites": 3, "hilbert_dimension": 8, "state_dimension": 2048, "dtype": "complex128", "itemsize_bytes": 16, "trajectories": 256, "workers": 15, "state_bytes": 32768, "operator_bytes": 256, "workspace_bytes": 229376, "worker_copy_bytes": 458752, "sampling_bytes": 4096, "result_buffer_bytes": 4096, "estimated_peak_bytes": 729344, "schema_version": "cascaqit.simulation.planning.v1" }, "schema_version": "cascaqit.simulation.planning.v1" } ], "workers": 1, "trajectories": 256, "rtol": 1e-09, "atol": 1e-11, "max_steps": 10000, "seed": 4702, "options_hash": "dda60164d402738a8e670cc33a6c276c94c7038905183008fb406bbfc6495bb4", "host_hash": "fc340411ec9c1fe45ae7d312ce900fdaeaa5935813f6c5c169cb18b81d90aea1", "truthfulness": "planning_only", "metadata": { "array_backend": "numpy", "blockade_dimension": null, "host_snapshot_source": "platform.effective_resource_probe", "max_wall_time_seconds": null, "memory_fraction": 0.8, "network_accessed": false, "numpy_version": "2.0.2", "requires_trajectory": false, "scipy_version": "1.17.1", "target_statistical_error": null, "time_integration_required": false, "workers_cpu_limit": 15, "workers_requested": "auto" }, "schema_version": "cascaqit.simulation.planning.v1" }, "noise_report": null, "estimator_kind": "exact_state", "source_kind": "state_vector", "sample_count": null, "observable_standard_errors": { "Z(a)*Z(b)": 0.0, "Z(b)": 0.0, "Z(b)*Z(c)": 0.0 }, "requested_seed": 4702, "effective_seed": 4702, "backend_id": "local.simulator", "backend_job_id": "problem.digital.d8382aee4287.parameter-set.000001", "backend_shots": 128, "result_id": "result.program.problem.d8382aee4287.2b480a34c93b", "result_hash": "ad583b135d15d2c930b9594d3615462abe84478b8a2bb70b8df95e40a8054ba2", "metadata": { "program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "simulation_truthfulness": "ideal_state_evolution" }, "schema_version": "cascaqit.algorithms.noisy_execution.v1" }, "backend_job_id": "problem.digital.d8382aee4287.parameter-set.000001", "schema_version": "cascaqit.problem.execution.v6" } ], "selected_evaluation_index": 1, "cardinality_subspace": null, "optimization": { "optimization_id": "problem.optimization.57bc9440d5cb42de0e7e", "search_kind": "parameter_sets", "evaluation_count": 2, "best_evaluation_index": 1, "optimizer": null, "initial_parameters": null, "final_parameters": null, "final_objective": null, "termination": null, "starts": [], "selected_start_index": null, "gradients": [], "sampled_evaluations": [], "sampled_selection": null, "schema_version": "cascaqit.problem.execution.v6" }, "baseline": { "status": "available", "method": "bounded_exhaustive", "variable_count": 3, "limit": 20, "objective_value": -2.0, "bitstring": "101", "unavailable_reason": null, "schema_version": "cascaqit.algorithms.v3" }, "optimality_claim": "not_claimed", "metadata": { "backend_execution_count": 1, "backend_id": "local.simulator", "backend_job_id": "problem.digital.d8382aee4287.parameter-set.000001", "canonical_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "effective_shots": 128, "execution_program_hash": "8b024506ae37eca9badbaf1451dac2a6c84c76c07bdf85e5110ba89efc0d20ce", "execution_role": "parameter_set_optimization", "objective_direction": "minimize", "objective_estimator": "result_probabilities", "optimizer_start_count": null, "parameter_set_count": 2, "requested_seed": 4702, "requested_shots": 128, "selected_start_index": null, "selection_rule": "minimum_expected_objective_then_input_order" }, "schema_version": "cascaqit.problem.execution.v6" }, "hybrid": { "execution_id": "problem.execution.optimize.0736c1c10a00b4be98d0", "mode": "hybrid", "algorithm": "qaoa", "topology": "dad", "compile_hash": "ae1836ada2b7c1ade269270e4256e76633c47672856e62d84bf1cae804e8fd73", "analysis_hash": "f4e99309942d7c76f40b36fbe7adb837fdd58abe565e3c037f9c79e01326c0d6", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "context": { "context_id": "problem.context.hybrid.fe9874b73bc1199380f6", "mode": "hybrid", "algorithm": "qaoa", "topology": "dad", "compile_hash": "ae1836ada2b7c1ade269270e4256e76633c47672856e62d84bf1cae804e8fd73", "analysis": { "analysis_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "canonical_problem": { "problem_id": "lesson.project.mis-routes", "problem_type": "graph", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "variable_domain": "binary", "objective_direction": "minimize", "offset": 0.0, "linear_terms": [ { "term_id": "linear.a", "variable": "a", "coefficient": -1.0, "source_term_ids": [ "linear.a" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.b", "variable": "b", "coefficient": -1.0, "source_term_ids": [ "linear.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.c", "variable": "c", "coefficient": -1.0, "source_term_ids": [ "linear.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "quadratic_terms": [ { "term_id": "quadratic.a.b", "left": "a", "right": "b", "coefficient": 2.0, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "quadratic.b.c", "left": "b", "right": "c", "coefficient": 2.0, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "constraints": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "a", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "c", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "layout_hints": [ [ "a", [ 0.0, 0.0 ] ], [ "b", [ 6.0, 0.0 ] ], [ "c", [ 12.0, 0.0 ] ] ], "metadata": { "mis_penalty": 2.0, "normalized_problem_hash": "1bc133ba89ccce01629832eca5fc7a25d2ef99bbcbcad19c068a930c91258c50", "normalized_problem_id": "qubo.mis.lesson.project.mis-routes", "normalized_problem_type": "qubo", "source_schema_version": "0.1" }, "schema_version": "cascaqit.problem.canonical.v2" }, "logical_hamiltonian": { "hamiltonian_id": "logical.hamiltonian.lesson.project.mis-routes", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "pauli_hamiltonian_hash": "fa6e027798bd33fcdd5485648a281499a637cee798b6bf1cbe9bec1016ea25f2", "logical_order": [ "a", "b", "c" ], "constant": -0.5, "constant_source_term_ids": [ "linear.a", "linear.b", "linear.c", "offset", "quadratic.a.b", "quadratic.b.c" ], "terms": [ { "term_id": "field.b", "operator": "z", "targets": [ "b" ], "coefficient": -0.5, "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" } ], "metadata": { "pauli_convention": "computational |0> has Z=+1; Ising s=-Z", "projection": "existing_problem_to_pauli_hamiltonian", "source_problem_type": "graph" }, "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "mapping_plan": { "plan_id": "mapping.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "logical_hamiltonian_hash": "cde887c9385e08440b3de887de6aeff64f39e8678405e238ccdc3af987922c49", "target_id": "mock.neutral_atom.local_ahs.v0_1", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "layout": { "layout_id": "layout.lesson.project.mis-routes.provided", "layout_policy": "provided", "sites": [ { "logical_id": "a", "atom_id": "a", "site_id": "site.0.a", "position": [ 0.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "b", "atom_id": "b", "site_id": "site.1.b", "position": [ 6.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "c", "atom_id": "c", "site_id": "site.2.c", "position": [ 12.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "valid": true, "diagnostic_codes": [], "metadata": { "coordinate_unit": "um", "partial_hints_ignored": false, "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "interaction": { "c6": 823549.6645826427, "cutoff_radius": 8.0, "enabled": true, "model": "van_der_waals", "c6_unit": "rad*um^6/us", "distance_unit": "um", "channel_type": "crosstalk", "evolution_type": "coherent", "operator": "number_number", "schema_version": "cascaqit.interaction.v1", "metadata": {} }, "interactions": [ { "left": "a", "right": "b", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "a", "right": "c", "distance": 12.0, "coefficient": 0.0, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "b", "right": "c", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "term_candidates": [ { "candidate_id": "candidate.field.b.digital", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.field.b.analog", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "analog_detuning_local", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.digital", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.analog", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.digital", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.analog", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "feasibility": [ { "mode": "digital", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [], "digital_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "diagnostic_codes": [], "energy_scale": 1.0, "local_reference": true, "hardware_executable": false, "metadata": { "decomposition": "Z:RZ;ZZ:CX-RZ-CX" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "hybrid", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "detuning_implementation": "analog_detuning_local", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 }, "split": "exact_commuting_diagonal", "state_space": "local_logical_two_level_reference", "topology": "dad" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "analog", "algorithm": "qaa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "complete_analog_coverage": true, "detuning_implementation": "analog_detuning_local", "initial_detuning": -8.825763723665153, "omega_limit": 20.0, "protocol": "qaa", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 } }, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "diagnostics": [], "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "resource_estimate": { "logical_terms": 3, "logical_variables": 3, "qaoa_layer_gate_estimate": 13, "state_vector_dimension": 8, "z_terms": 1, "zz_terms": 2 }, "metadata": { "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "interaction_model": "van_der_waals", "interaction_source": "target_typed_defaults" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "penalty_analysis": { "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "criterion": "mis_vertex_removal", "penalty_strength": 2.0, "minimum_sufficient_strength": 1.0, "strict_inequality": true, "sufficiency_margin": 1.0, "sufficient": true, "business_objective_term_ids": [ "linear.a", "linear.b", "linear.c" ], "penalty_terms": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "targets": [ "a", "b" ], "canonical_term_id": "quadratic.a.b", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "targets": [ "b", "c" ], "canonical_term_id": "quadratic.b.c", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "schema_version": "cascaqit.problem.penalty.v2" }, "diagnostics": [ { "diagnostic_id": "problem.analysis.lesson.project.mis-routes.penalty-sufficient", "stage": "validation", "severity": "info", "code": "PROBLEM_PENALTY_SUFFICIENT", "message": "Problem penalty strength is strictly greater than the applicable vertex-removal sufficiency threshold.", "schema_version": "0.1", "object_path": "problem.analysis.penalty_analysis", "suggestion": null, "metadata": { "actionable": false, "criterion": "mis_vertex_removal", "minimum_sufficient_strength": 1.0, "penalty_strength": 2.0, "reason_category": "validation", "sufficiency_margin": 1.0, "taxonomy_stage": "validation" } } ] }, "term_mapping": [ { "mapping_id": "mapping.hybrid.field.b", "logical_term_id": "field.b", "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "analog_coefficient": -0.5, "digital_coefficient": 0.0, "implementation": "analog_detuning_local", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.hybrid.coupling.a.b", "logical_term_id": "coupling.a.b", "source_term_ids": [ "quadratic.a.b" ], "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "analog_coefficient": 0.5, "digital_coefficient": 0.0, "implementation": "analog_interaction", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.hybrid.coupling.b.c", "logical_term_id": "coupling.b.c", "source_term_ids": [ "quadratic.b.c" ], "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "analog_coefficient": 0.5, "digital_coefficient": 0.0, "implementation": "analog_interaction", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "parameter_schema": { "parameters": [ { "name": "gamma_0", "dtype": "float", "unit": "rad", "default": 0.4, "lower_bound": 1e-12, "upper_bound": null, "expression": null, "compile_impact": "recompile", "source_span": null, "metadata": { "controls": "analog_duration_and_digital_residual", "layer": 0, "non_positive_values": "unsupported_by_ahs_duration_contract" }, "schema_version": "cascaqit.parameters.v2" }, { "name": "beta_0", "dtype": "float", "unit": "rad", "default": 0.7, "lower_bound": null, "upper_bound": null, "expression": null, "compile_impact": "bind_only", "source_span": null, "metadata": { "controls": "digital_mixer", "layer": 0 }, "schema_version": "cascaqit.parameters.v2" } ], "metadata": { "algorithm": "qaoa", "layers": 1, "mode": "hybrid", "topology": "dad" }, "schema_version": "cascaqit.parameters.v2" }, "ansatz": null, "ansatz_spec_hash": null, "native_program": { "program_id": "program.lesson.project.mis-routes.dad", "blocks": [ { "block_id": "block.0000.prepare", "circuit": { "circuit_id": "program.lesson.project.mis-routes.dad.prepare", "qubits": [ "a", "b", "c" ], "operations": [ { "operation_id": "operation.0.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "a" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.1.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.2.h", "definition": { "namespace": "cascaqit.std.digital", "name": "h", "version": "1" }, "qubits": [ "c" ], "clbits": [], "arguments": {}, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" } ], "classical_registers": [], "schema_version": "0.2", "metadata": {} }, "start_time": null, "duration": null, "time_unit": "us", "block_type": "digital", "schema_version": "0.1", "metadata": { "payload_hash": "e0977e202ea8c61d3de73920fa2a63e308aab5b7a128b0718f69a5fc8da10f45", "payload_owned": true, "payload_parameter_names": [] } }, { "block_id": "block.0001.cost_0", "program": { "program_id": "program.lesson.project.mis-routes.dad.cost.0", "register": { "sites": [ { "site_id": "a", "position": [ 0.0, 0.0 ], "atom_id": "a", "is_target": true, "status": "filled", "metadata": {} }, { "site_id": "b", "position": [ 6.0, 0.0 ], "atom_id": "b", "is_target": true, "status": "filled", "metadata": {} }, { "site_id": "c", "position": [ 12.0, 0.0 ], "atom_id": "c", "is_target": true, "status": "filled", "metadata": {} } ], "snapshot_id": "register.planned", "lifecycle_stage": "planned", "previous_snapshot_hash": null, "schema_version": "0.1", "coordinate_unit": "um", "metadata": {} }, "hamiltonian": { "schema_version": "0.1", "hamiltonian_type": "rydberg", "species": null, "rydberg_state": null, "metadata": {}, "terms": { "rabi": { "waveform_id": "dad.cost.0.rabi", "kind": "constant", "value_unit": "rad/us", "duration": 0.03172529978898211, "times": null, "values": [ 0.0 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "detuning": { "waveform_id": "dad.cost.0.detuning.global", "kind": "constant", "value_unit": "rad/us", "duration": 0.03172529978898211, "times": null, "values": [ 0.0 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "phase": 0.0, "two_body_interaction": { "c6": 823549.6645826427, "cutoff_radius": 8.0, "enabled": true, "model": "van_der_waals", "c6_unit": "rad*um^6/us", "distance_unit": "um", "channel_type": "crosstalk", "evolution_type": "coherent", "operator": "number_number", "schema_version": "cascaqit.interaction.v1", "metadata": {} }, "local_detuning_terms": [ { "waveform": { "waveform_id": "dad.cost.0.detuning.a", "kind": "constant", "value_unit": "rad/us", "duration": 0.03172529978898211, "times": null, "values": [ 8.825763723665153 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "addressing": { "site_ids": [ "a", "b", "c" ], "times": [ 0.0 ], "weights": [ [ 1.0, 0.0, 0.0 ] ], "duration": 0.03172529978898211, "source_kind": "site_pattern", "schema_version": "0.1", "time_unit": "us", "interpolation": "step", "metadata": {} }, "schema_version": "0.1", "metadata": {} }, { "waveform": { "waveform_id": "dad.cost.0.detuning.b", "kind": "constant", "value_unit": "rad/us", "duration": 0.03172529978898211, "times": null, "values": [ 8.825763723665153 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "addressing": { "site_ids": [ "a", "b", "c" ], "times": [ 0.0 ], "weights": [ [ 0.0, 1.0, 0.0 ] ], "duration": 0.03172529978898211, "source_kind": "site_pattern", "schema_version": "0.1", "time_unit": "us", "interpolation": "step", "metadata": {} }, "schema_version": "0.1", "metadata": {} }, { "waveform": { "waveform_id": "dad.cost.0.detuning.c", "kind": "constant", "value_unit": "rad/us", "duration": 0.03172529978898211, "times": null, "values": [ 8.825763723665153 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "addressing": { "site_ids": [ "a", "b", "c" ], "times": [ 0.0 ], "weights": [ [ 0.0, 0.0, 1.0 ] ], "duration": 0.03172529978898211, "source_kind": "site_pattern", "schema_version": "0.1", "time_unit": "us", "interpolation": "step", "metadata": {} }, "schema_version": "0.1", "metadata": {} } ], "local_rabi_terms": [] } }, "measurements": [], "schema_version": "0.1", "program_type": "analog", "lifecycle_state": "draft", "unit_conventions": { "coordinate": "um", "time": "us", "frequency": "rad/us", "phase": "rad" }, "bit_ordering": { "convention": "active_register_order" }, "occupation_encoding": { "ground": 0, "rydberg": 1 }, "parameters": {}, "hashes": {}, "metadata": {} }, "start_time": null, "duration": null, "time_unit": "us", "block_type": "analog", "schema_version": "0.1", "metadata": { "payload_hash": "8df6fbf1f6c0111455440278c7021ebdf778841bf588187e043ff56e92fbf3db", "payload_owned": true, "payload_parameter_names": [] } }, { "block_id": "block.0002.residual_mixer_0", "circuit": { "circuit_id": "program.lesson.project.mis-routes.dad.residual_mixer.0", "qubits": [ "a", "b", "c" ], "operations": [ { "operation_id": "operation.0.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "a" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.1.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "b" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" }, { "operation_id": "operation.2.rx", "definition": { "namespace": "cascaqit.std.digital", "name": "rx", "version": "1" }, "qubits": [ "c" ], "clbits": [], "arguments": { "theta": -0.36 }, "modifiers": [], "condition": null, "metadata": {}, "schema_version": "cascaqit.digital.operations.v1" } ], "classical_registers": [], "schema_version": "0.2", "metadata": {} }, "start_time": null, "duration": null, "time_unit": "us", "block_type": "digital", "schema_version": "0.1", "metadata": { "payload_hash": "8b6159a55d8d7feb77a38dba11146049634db4d58edcd4195ce4e30f05dda3dc", "payload_owned": true, "payload_parameter_names": [] } }, { "block_id": "block.0003.measure", "measurements": [ { "measurement_id": "measurement.block.0003.measure", "targets": [ "a", "b", "c" ], "key": "problem", "basis": "computational", "schema_version": "0.1", "metadata": {} } ], "start_time": null, "duration": null, "time_unit": "us", "block_type": "measure", "schema_version": "0.1", "metadata": { "measurement_key": "problem", "payload_owned": true } } ], "mapping": { "a": "a", "b": "b", "c": "c" }, "schema_version": "0.1", "program_type": "hybrid", "validation_mode": "ir_only", "metadata": { "algorithm": "qaoa", "analysis_hash": "f4e99309942d7c76f40b36fbe7adb837fdd58abe565e3c037f9c79e01326c0d6", "energy_scale": 8.825763723665153, "hardware_executable": false, "hybrid_program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "layers": 1, "local_reference": true, "mode": "hybrid", "parameter_values": { "beta_0": -0.18, "gamma_0": 0.28 }, "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "topology": "dad" } }, "native_program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "local_reference": true, "hardware_executable": false, "metadata": { "native_program_kind": "hybrid", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.problem.execution-context.v2" }, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.hybrid.bind", "parameter_schema_hash": "75eaafc797a77c27fb537ec996eb32d29ae7a9503989016c49f765492a358d15", "values": { "beta_0": -0.18, "gamma_0": 0.28 }, "parameter_bind_hash": "bb563fc4b54686d62002fb99affd75c98806c4cfbb75bc2d64d51e13e4bffbab", "compile_required": true, "metadata": { "algorithm": "qaoa", "layers": 1, "mode": "hybrid", "topology": "dad" }, "schema_version": "cascaqit.parameters.v2" }, "parameter_bind_hash": "bb563fc4b54686d62002fb99affd75c98806c4cfbb75bc2d64d51e13e4bffbab", "result": { "result_id": "result.local_bundle.local_plan.program.lesson.project.mis-routes.dad", "program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "target_id": "local.simulator", "shots": 128, "counts": { "000": 13, "001": 13, "010": 20, "011": 19, "100": 19, "101": 21, "110": 12, "111": 11 }, "samples": [ "100", "110", "011", "001", "011", "000", "001", "110", "000", "110", "110", "101", "100", "010", "011", "101", "011", "101", "111", "110", "010", "000", "011", "010", "100", "111", "011", "001", "011", "100", "011", "010", "000", "100", "001", "110", "111", "011", "110", "010", "101", "000", "110", "011", "010", "010", "101", "111", "101", "011", "100", "100", "111", "101", "100", "100", "101", "110", "011", "000", "011", "010", "100", "010", "000", "111", "010", "010", "100", "000", "010", "101", "101", "100", "110", "101", "001", "111", "011", "010", "110", "111", "100", "101", "000", "101", "010", "001", "101", "000", "011", "100", "100", "111", "101", "010", "011", "011", "101", "000", "100", "000", "000", "011", "001", "001", "101", "001", "101", "110", "010", "011", "001", "010", "010", "100", "010", "101", "111", "101", "001", "100", "001", "101", "001", "100", "010", "111" ], "probabilities": { "000": 0.0927938332583753, "001": 0.13586908748986162, "010": 0.1595755671384674, "011": 0.11176151211329596, "100": 0.13586908748986168, "101": 0.18042693655695963, "110": 0.11176151211329596, "111": 0.07194246383988226 }, "observables": { "state_norm": 1.0 }, "bit_ordering": { "convention": "logical_order", "logical_order": "a,b,c" }, "occupation_encoding": { "ground": 0, "rydberg": 1 }, "diagnostics": [ { "diagnostic_id": "simulation.scalable.hybrid.completed", "stage": "simulation", "severity": "info", "code": "SCALABLE_IDEAL_SIMULATION_COMPLETED", "message": "Scalable ideal state-vector simulation completed.", "schema_version": "0.1", "object_path": "result", "suggestion": null, "metadata": { "program_kind": "hybrid" } } ], "schema_version": "0.1", "metadata": { "backend_called": true, "backend_id": "local.simulator", "bitstring_ordering": { "bitstring_index": "left_to_right_matches_logical_order", "convention": "logical_order", "logical_order": [ "a", "b", "c" ] }, "block_state_chain": [ { "block_id": "block.0000.prepare", "input_logical_time": 0.0, "input_state_hash": "313a95b7710ab767773ada0f56fe3da8fe1af64e588abfadfed28ee7ae7b8b59", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "50e64ba2610d2aa7607fd4b1b1ace690aca73706b4365160c7992d0eb7198183", "payload_id": "payload.0.block.0000.prepare.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "program_hash": "b5217b731095570c6de2c6789b5d66d497b890d92010b88b7b52a0225328c98d", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "e0aba1b5f620a1abc613f7065f8405f71f6e9b5d10ec348db9b3a2435fab8ff3", "time_unit": "us", "transition_id": "transition.0.block.0000.prepare" }, { "block_id": "block.0001.cost_0", "input_logical_time": 0.0, "input_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "block.0001.cost_0", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "report_id": "interaction_report.local_bundle.local_plan.program.lesson.project.mis-routes.dad.block.0001.cost_0", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "b7010bc1e9a8408a67f52f3646dd8134dfb8c7b0ecf1d4dabd50f56f37d1cc2f", "logical_order": [ "a", "b", "c" ], "payload_hash": "7351b5adf7b35571284592cf974e8d26c63a50109e646d4d9009b34a12698b20", "payload_id": "payload.1.block.0001.cost_0.analog", "producer": "MatrixFreeAnalogStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.0009914156184056909, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 0.9999999999999992, "normalization_correction": 7.771561172376096e-16, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.0009914156184056909, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 1, "output_logical_time": 0.03172529978898211, "output_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "0d2ec4b08ce53d002edb1de075f51a5a2e0414f9259a9665957a61b704c557e0", "time_unit": "us", "transition_id": "transition.1.block.0001.cost_0" }, { "block_id": "block.0002.residual_mixer_0", "input_logical_time": 0.03172529978898211, "input_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "4957e9f47c71603f7db44728f69b27bb9f5546f688e98749bdb3207a22185cb8", "payload_id": "payload.2.block.0002.residual_mixer_0.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.03172529978898211, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 2, "output_logical_time": 0.03172529978898211, "output_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "program_hash": "3ebfe9212ad7927f8228773c5b2c43600198f1f3607205f95f5bb0fefb354ac3", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "f3030c5ce18090b679e10a674ca4e0e61ba8faffd68efad5620bddd16b6a5623", "time_unit": "us", "transition_id": "transition.2.block.0002.residual_mixer_0" } ], "bundle_hash": "29098a2abefea11007df29b179f9282dcbccb29856e238fca6259e9b11d0d5eb", "control_report_evidence": [ { "block_id": "block.0001.cost_0", "diagnostic_count": 8, "diagnostics": [ { "code": "CONTROL_CONCURRENCY_EXCEEDED", "diagnostic_id": "control.control_concurrency_exceeded.rydberg.local", "message": "Control concurrency exceeds the declared group limit.", "metadata": { "actual_max_concurrency": 3, "group_id": "rydberg.local", "max_concurrent_operations": 2, "operation_ids": [ "operation.local_detuning.0", "operation.local_detuning.1", "operation.local_detuning.2" ] }, "object_path": "control_schedule.operations", "schema_version": "0.1", "severity": "error", "stage": "validation", "suggestion": "Reduce overlapping local control terms." }, { "code": "CONTROL_BANDWIDTH_SUPPORTED", "diagnostic_id": "control.control_bandwidth_supported.operation.local_detuning.0", "message": "Waveform knot-spacing bandwidth bound is within the Target limit.", "metadata": { "bandwidth_limit": 2.0, "bandwidth_unit": "MHz", "channel_id": "rydberg.detuning.local", "estimate_semantics": "nyquist_bound_from_minimum_knot_spacing", "estimated_bandwidth": 0.0, "operation_id": "operation.local_detuning.0" }, "object_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_SLEW_SUPPORTED", "diagnostic_id": "control.control_slew_supported.operation.local_detuning.0", "message": "Waveform segment slew is within the Target limit.", "metadata": { "actual_max_slew_rate": 0.0, "channel_id": "rydberg.detuning.local", "estimate_semantics": "maximum_actual_waveform_segment_derivative", "max_slew_rate": 30.0, "operation_id": "operation.local_detuning.0", "slew_rate_unit": "rad/us^2" }, "object_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_BANDWIDTH_SUPPORTED", "diagnostic_id": "control.control_bandwidth_supported.operation.local_detuning.1", "message": "Waveform knot-spacing bandwidth bound is within the Target limit.", "metadata": { "bandwidth_limit": 2.0, "bandwidth_unit": "MHz", "channel_id": "rydberg.detuning.local", "estimate_semantics": "nyquist_bound_from_minimum_knot_spacing", "estimated_bandwidth": 0.0, "operation_id": "operation.local_detuning.1" }, "object_path": "hamiltonian.terms.local_detuning_terms[1].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_SLEW_SUPPORTED", "diagnostic_id": "control.control_slew_supported.operation.local_detuning.1", "message": "Waveform segment slew is within the Target limit.", "metadata": { "actual_max_slew_rate": 0.0, "channel_id": "rydberg.detuning.local", "estimate_semantics": "maximum_actual_waveform_segment_derivative", "max_slew_rate": 30.0, "operation_id": "operation.local_detuning.1", "slew_rate_unit": "rad/us^2" }, "object_path": "hamiltonian.terms.local_detuning_terms[1].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_BANDWIDTH_SUPPORTED", "diagnostic_id": "control.control_bandwidth_supported.operation.local_detuning.2", "message": "Waveform knot-spacing bandwidth bound is within the Target limit.", "metadata": { "bandwidth_limit": 2.0, "bandwidth_unit": "MHz", "channel_id": "rydberg.detuning.local", "estimate_semantics": "nyquist_bound_from_minimum_knot_spacing", "estimated_bandwidth": 0.0, "operation_id": "operation.local_detuning.2" }, "object_path": "hamiltonian.terms.local_detuning_terms[2].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_SLEW_SUPPORTED", "diagnostic_id": "control.control_slew_supported.operation.local_detuning.2", "message": "Waveform segment slew is within the Target limit.", "metadata": { "actual_max_slew_rate": 0.0, "channel_id": "rydberg.detuning.local", "estimate_semantics": "maximum_actual_waveform_segment_derivative", "max_slew_rate": 30.0, "operation_id": "operation.local_detuning.2", "slew_rate_unit": "rad/us^2" }, "object_path": "hamiltonian.terms.local_detuning_terms[2].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_CROSSTALK_NO_OVERLAP", "diagnostic_id": "control.control_crosstalk_no_overlap.crosstalk.rydberg.rabi.local.rydberg.rabi.global", "message": "Crosstalk-constrained channels do not overlap.", "metadata": { "actual_overlap_duration": 0.0, "channel_ids": [ "rydberg.rabi.local", "rydberg.rabi.global" ], "constraint_id": "crosstalk.rydberg.rabi.local.rydberg.rabi.global", "max_overlap_duration": null, "overlap_policy": "calibration_required", "time_unit": "us" }, "object_path": "control_schedule.operations", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null } ], "has_errors": true, "production_channel_allocation_performed": false, "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "schedule": { "control_system_hash": "fbbc3937e5187ca6bb0a3f00e176187027581e3382a83ee377e7115bffd5a87a", "diagnostics": [], "metadata": { "production_channel_allocation_performed": false, "projection": "program_ir_control_terms", "time_origin": 0.0, "time_unit": "us" }, "operations": [ { "channel_id": "rydberg.detuning.global", "end_time": 0.03172529978898211, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.detuning", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "constant" }, "operation_id": "operation.global_detuning", "operation_kind": "global_detuning", "schema_version": "0.1", "source_hash": "13bee4d25ae567c6f4a28e5bb22bddfea4f416c03e8915f925a7b4e7d89d73ac", "start_time": 0.0, "target_site_ids": [ "a", "b", "c" ], "waveform_hash": "13bee4d25ae567c6f4a28e5bb22bddfea4f416c03e8915f925a7b4e7d89d73ac" }, { "channel_id": "rydberg.rabi.global", "end_time": 0.03172529978898211, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.rabi", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "constant" }, "operation_id": "operation.global_rabi", "operation_kind": "global_rabi", "schema_version": "0.1", "source_hash": "970788d014027cbde877bba6ed8db37bbe51d08c7035176961a02d4074ab1322", "start_time": 0.0, "target_site_ids": [ "a", "b", "c" ], "waveform_hash": "970788d014027cbde877bba6ed8db37bbe51d08c7035176961a02d4074ab1322" }, { "channel_id": "rydberg.detuning.local", "end_time": 0.03172529978898211, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "constant" }, "operation_id": "operation.local_detuning.0", "operation_kind": "local_detuning", "schema_version": "0.1", "source_hash": "48d9cbb082f7ad39b622a7400357c7924f0bcea12f10d75258df833c09c0b7bd", "start_time": 0.0, "target_site_ids": [ "a" ], "waveform_hash": "3232d97971a7bc08a6750ebbfad43a3253e6e3f8470d7f494493ae0d4d60cb8c" }, { "channel_id": "rydberg.detuning.local", "end_time": 0.03172529978898211, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.local_detuning_terms[1].waveform", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "constant" }, "operation_id": "operation.local_detuning.1", "operation_kind": "local_detuning", "schema_version": "0.1", "source_hash": "4948d599146bf0ff322af42839452dff57a5fda1e723be91b0eac4e15dd011cb", "start_time": 0.0, "target_site_ids": [ "b" ], "waveform_hash": "5a8600699f51a89157031167a0f88eca12dbe88e41ca6ce8d82d9274e2005a1a" }, { "channel_id": "rydberg.detuning.local", "end_time": 0.03172529978898211, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.local_detuning_terms[2].waveform", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "constant" }, "operation_id": "operation.local_detuning.2", "operation_kind": "local_detuning", "schema_version": "0.1", "source_hash": "cd97b74b5000fb0010342d96ab55b383e8cffdbce97e3bff24cc734f95880f8a", "start_time": 0.0, "target_site_ids": [ "c" ], "waveform_hash": "6c00a3954bbc5b565ba8de649d4ee0a80b8c92a202c42f0374cd219496b034af" } ], "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "schedule_id": "schedule.program.lesson.project.mis-routes.dad.cost.0.control", "schema_version": "0.1" }, "target_id": "mock.neutral_atom.local_ahs.v0_1" } ], "execution_package_created": false, "interaction_report": { "active_atom_count": 3, "block_id": "block.0001.cost_0", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "report_id": "interaction_report.local_bundle.local_plan.program.lesson.project.mis-routes.dad.block.0001.cost_0", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "b7010bc1e9a8408a67f52f3646dd8134dfb8c7b0ecf1d4dabd50f56f37d1cc2f", "interaction_report_hashes": [ "b7010bc1e9a8408a67f52f3646dd8134dfb8c7b0ecf1d4dabd50f56f37d1cc2f" ], "interaction_reports": [ { "active_atom_count": 3, "block_id": "block.0001.cost_0", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "report_id": "interaction_report.local_bundle.local_plan.program.lesson.project.mis-routes.dad.block.0001.cost_0", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" } ], "measurement": { "basis": "computational", "key": "problem", "targets": [ "a", "b", "c" ] }, "network_accessed": false, "offline_deterministic": true, "references": { "bundle_hash": "29098a2abefea11007df29b179f9282dcbccb29856e238fca6259e9b11d0d5eb", "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "initial_state_hash": "313a95b7710ab767773ada0f56fe3da8fe1af64e588abfadfed28ee7ae7b8b59", "metadata": { "graph_hash": "25ca7a08e44cbb6e075e7b68b110e0640084fbed906606278ec8fdbc4b0426e6" }, "plan_hash": "3ca0760a0546539c5860d492d65aa928252e9d4638d656c4ba47ae31c6913e9e", "program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "schema_version": "0.1", "target_snapshot_hash": null }, "register_snapshots": [ { "active_atom_ids": [ "a", "b", "c" ], "active_site_count": 3, "active_site_ids": [ "a", "b", "c" ], "lifecycle_stage": "planned", "physical_site_count": 3, "physical_site_ids": [ "a", "b", "c" ], "previous_snapshot_hash": null, "snapshot_hash": "3bf860716c2bb8860f76b01aa1ea7fba20a05d3867ae582d21e72ef9e09b30df", "snapshot_id": "register.planned", "status_counts": { "defect": 0, "filled": 3, "loading_failed": 0, "vacant": 0 } } ], "run_trace": { "events": [ { "event_time": "logical:0x0.0p+0", "message": "Completed digital state transition.", "metadata": { "state_transition": { "block_id": "block.0000.prepare", "input_logical_time": 0.0, "input_state_hash": "313a95b7710ab767773ada0f56fe3da8fe1af64e588abfadfed28ee7ae7b8b59", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "50e64ba2610d2aa7607fd4b1b1ace690aca73706b4365160c7992d0eb7198183", "payload_id": "payload.0.block.0000.prepare.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "program_hash": "b5217b731095570c6de2c6789b5d66d497b890d92010b88b7b52a0225328c98d", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "e0aba1b5f620a1abc613f7065f8405f71f6e9b5d10ec348db9b3a2435fab8ff3", "time_unit": "us", "transition_id": "transition.0.block.0000.prepare" } }, "schema_version": "0.1", "stage": "running", "status": "ok" }, { "event_time": "logical:0x1.03e4c6a1954a3p-5", "message": "Completed analog state transition.", "metadata": { "state_transition": { "block_id": "block.0001.cost_0", "input_logical_time": 0.0, "input_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "block.0001.cost_0", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "report_id": "interaction_report.local_bundle.local_plan.program.lesson.project.mis-routes.dad.block.0001.cost_0", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "b7010bc1e9a8408a67f52f3646dd8134dfb8c7b0ecf1d4dabd50f56f37d1cc2f", "logical_order": [ "a", "b", "c" ], "payload_hash": "7351b5adf7b35571284592cf974e8d26c63a50109e646d4d9009b34a12698b20", "payload_id": "payload.1.block.0001.cost_0.analog", "producer": "MatrixFreeAnalogStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.0009914156184056909, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 0.9999999999999992, "normalization_correction": 7.771561172376096e-16, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.0009914156184056909, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 1, "output_logical_time": 0.03172529978898211, "output_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "0d2ec4b08ce53d002edb1de075f51a5a2e0414f9259a9665957a61b704c557e0", "time_unit": "us", "transition_id": "transition.1.block.0001.cost_0" } }, "schema_version": "0.1", "stage": "running", "status": "ok" }, { "event_time": "logical:0x1.03e4c6a1954a3p-5", "message": "Completed digital state transition.", "metadata": { "state_transition": { "block_id": "block.0002.residual_mixer_0", "input_logical_time": 0.03172529978898211, "input_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "4957e9f47c71603f7db44728f69b27bb9f5546f688e98749bdb3207a22185cb8", "payload_id": "payload.2.block.0002.residual_mixer_0.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.03172529978898211, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 2, "output_logical_time": 0.03172529978898211, "output_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "program_hash": "3ebfe9212ad7927f8228773c5b2c43600198f1f3607205f95f5bb0fefb354ac3", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "f3030c5ce18090b679e10a674ca4e0e61ba8faffd68efad5620bddd16b6a5623", "time_unit": "us", "transition_id": "transition.2.block.0002.residual_mixer_0" } }, "schema_version": "0.1", "stage": "running", "status": "ok" }, { "event_time": "logical:0x1.03e4c6a1954a3p-5", "message": "Terminal computational-basis measurement completed.", "metadata": { "final_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "measurement_key": "problem", "seed": 4702, "shots": 128 }, "schema_version": "0.1", "stage": "completed", "status": "ok" } ], "metadata": { "execution_mode": "local_hybrid_shared_state" }, "references": { "bundle_hash": "29098a2abefea11007df29b179f9282dcbccb29856e238fca6259e9b11d0d5eb", "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "initial_state_hash": "313a95b7710ab767773ada0f56fe3da8fe1af64e588abfadfed28ee7ae7b8b59", "metadata": { "graph_hash": "25ca7a08e44cbb6e075e7b68b110e0640084fbed906606278ec8fdbc4b0426e6" }, "plan_hash": "3ca0760a0546539c5860d492d65aa928252e9d4638d656c4ba47ae31c6913e9e", "program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "schema_version": "0.1", "target_snapshot_hash": null }, "schema_version": "0.1", "trace_id": "trace.local_bundle.local_plan.program.lesson.project.mis-routes.dad.scalable_hybrid" }, "seed": 4702, "selected_simulator": "ScalableIdealEngine", "simulation_execution_config": { "absolute_tolerance": 1e-11, "device": "cpu", "dtype": "complex128", "execution_scope": "job", "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "method": "state_vector", "relative_tolerance": 1e-09, "schema_version": "0.1", "seed": 4702, "seed_semantics": "effective_seed", "solver_evidence_hash": "a2e77d5667320fa7aa0b024fd3ae021d512472d499549cca6dbcc3b9a852939d", "step_semantics": "fixed_time_slices", "steps": 32, "tolerance_applied": false, "trajectories": null, "worker_semantics": "kernel_concurrency", "workers": 1 }, "simulation_plan": { "atol": 1e-11, "budget_bytes": 20615843020, "candidates": [ { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "method": "state_vector", "reason_codes": [ "SIMULATION_METHOD_ELIGIBLE", "SIMULATION_METHOD_SELECTED" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "selected" }, { "estimate": null, "method": "subspace", "reason_codes": [ "SIMULATION_SUBSPACE_BASIS_UNAVAILABLE" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 14336, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "density_matrix", "operator_bytes": 2048, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 1024, "state_dimension": 64, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 3072 }, "method": "density_matrix", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 729344, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "trajectory", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 32768, "state_dimension": 2048, "trajectories": 256, "worker_copy_bytes": 458752, "workers": 15, "workspace_bytes": 229376 }, "method": "trajectory", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" } ], "device": "cpu", "dtype": "complex128", "estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "hilbert_dimension": 8, "host_hash": "fc340411ec9c1fe45ae7d312ce900fdaeaa5935813f6c5c169cb18b81d90aea1", "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "logical_sites": 3, "max_steps": 32, "metadata": { "array_backend": "numpy", "blockade_dimension": null, "host_snapshot_source": "platform.effective_resource_probe", "max_wall_time_seconds": null, "memory_fraction": 0.8, "network_accessed": false, "numpy_version": "2.0.2", "requires_trajectory": false, "scipy_version": "1.17.1", "target_statistical_error": null, "time_integration_required": true, "workers_cpu_limit": 15, "workers_requested": "auto" }, "method_requested": "auto", "method_selected": "state_vector", "noisy": false, "options_hash": "8c4ebc28fac54f3dccbc95e5a995c2fff7bfc83930470d6be87caaf2358d8722", "plan_id": "simulation_plan.hybrid.3.state_vector.fixed_step_krylov", "program_kind": "hybrid", "rtol": 1e-09, "schema_version": "cascaqit.simulation.planning.v1", "seed": 4702, "state_representation": "state_vector", "trajectories": 256, "truthfulness": "planning_only", "workers": 1 }, "simulation_plan_hash": "1b00346ccc0440ec1c7c1b5b0663767249408fd23614a25c27ec77b9307024fc", "simulation_plan_truthfulness": "planning_only", "simulation_resource_estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "simulation_resource_usage": { "actual_peak_rss_bytes": 146620416, "baseline_peak_rss_bytes": 146620416, "estimate_error_fraction": null, "estimate_within_tolerance": null, "estimated_peak_bytes": 11392, "incremental_peak_rss_bytes": 0, "measurement_scope": "job", "measurement_status": "baseline_dominated", "rss_semantics": "process_high_water_mark", "schema_version": "0.1", "wall_time_seconds": 0.003948041936382651 }, "simulation_solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.0009914156184056909, "metadata": { "aggregation_scope": "hybrid_quantum_blocks", "component_count": 1, "component_evidence_hashes": [ "0d2ec4b08ce53d002edb1de075f51a5a2e0414f9259a9665957a61b704c557e0" ] }, "min_step_size": 0.0009914156184056909, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false }, "simulation_solver_evidence_hash": "a2e77d5667320fa7aa0b024fd3ae021d512472d499549cca6dbcc3b9a852939d", "simulation_state": { "arrays": { "amplitudes": { "content_hash": "090b1c7d04c9d7394ed851763b0e7cd320247e0fa9f5d1bcede0085ebeca58ae", "dtype": "complex128", "nbytes": 128, "returned_state_bytes": false, "shape": [ 8 ] } }, "basis": "logical_two_level", "logical_order": [ "a", "b", "c" ], "logical_time": 0.03172529978898211, "metrics": { "norm": 1.0 }, "noise_context": {}, "provenance": { "conversion": null, "metadata": { "algorithm": "tensor_axis", "operation_count": 3, "program_hash": "3ebfe9212ad7927f8228773c5b2c43600198f1f3607205f95f5bb0fefb354ac3" }, "parent_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "producer": "NumpyDigitalStateVectorKernel", "schema_version": "cascaqit.simulation.array_state.v1", "step_index": 3 }, "returned_state_bytes": false, "schema_version": "cascaqit.simulation.array_state.v1", "stable_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "state_kind": "state_vector", "time_unit": "us" }, "simulation_truthfulness": "ideal_state_evolution", "simulator": { "array_backend": "numpy.cpu", "method": "state_vector", "name": "ScalableIdealEngine", "program_kind": "hybrid" }, "state_bytes_returned": false, "state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "state_transitions": [ { "block_id": "block.0000.prepare", "input_logical_time": 0.0, "input_state_hash": "313a95b7710ab767773ada0f56fe3da8fe1af64e588abfadfed28ee7ae7b8b59", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "50e64ba2610d2aa7607fd4b1b1ace690aca73706b4365160c7992d0eb7198183", "payload_id": "payload.0.block.0000.prepare.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.0, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.0, "output_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "program_hash": "b5217b731095570c6de2c6789b5d66d497b890d92010b88b7b52a0225328c98d", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "e0aba1b5f620a1abc613f7065f8405f71f6e9b5d10ec348db9b3a2435fab8ff3", "time_unit": "us", "transition_id": "transition.0.block.0000.prepare" }, { "block_id": "block.0001.cost_0", "input_logical_time": 0.0, "input_state_hash": "0ecb683db5ce89196191360c200063516e59a2aa45df0b84aca803f40d37f29f", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "block.0001.cost_0", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "report_id": "interaction_report.local_bundle.local_plan.program.lesson.project.mis-routes.dad.block.0001.cost_0", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "b7010bc1e9a8408a67f52f3646dd8134dfb8c7b0ecf1d4dabd50f56f37d1cc2f", "logical_order": [ "a", "b", "c" ], "payload_hash": "7351b5adf7b35571284592cf974e8d26c63a50109e646d4d9009b34a12698b20", "payload_id": "payload.1.block.0001.cost_0.analog", "producer": "MatrixFreeAnalogStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.0009914156184056909, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 0.9999999999999992, "normalization_correction": 7.771561172376096e-16, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.0009914156184056909, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 1, "output_logical_time": 0.03172529978898211, "output_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "program_hash": "ded29daa904faa0537c640dc1ecdba38b8bc419da063bc02e4266a604e63b0b1", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "0d2ec4b08ce53d002edb1de075f51a5a2e0414f9259a9665957a61b704c557e0", "time_unit": "us", "transition_id": "transition.1.block.0001.cost_0" }, { "block_id": "block.0002.residual_mixer_0", "input_logical_time": 0.03172529978898211, "input_state_hash": "92fb48476b3cd1b21a06f117492b50a70d0598b638f04f208017931ce58eb2b4", "kernel": "NumpyDigitalStateVectorKernel", "metadata": { "logical_order": [ "a", "b", "c" ], "payload_hash": "4957e9f47c71603f7db44728f69b27bb9f5546f688e98749bdb3207a22185cb8", "payload_id": "payload.2.block.0002.residual_mixer_0.digital", "producer": "NumpyDigitalStateVectorKernel", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 0, "final_time": 0.03172529978898211, "function_evaluations": null, "initial_time": 0.03172529978898211, "integrator_requested": "fixed_step_krylov", "integrator_selected": "not_applicable", "max_step_size": null, "metadata": { "consumer": "NumpyDigitalStateVectorKernel" }, "min_step_size": null, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 0, "termination_reason": "not_applicable", "time_unit": "us", "tolerance_applied": false } }, "order_index": 2, "output_logical_time": 0.03172529978898211, "output_state_hash": "dbbba38f8eada8e40c9fca3c13955bcb67fa724d0ddf8df922c40b125cbfa123", "program_hash": "3ebfe9212ad7927f8228773c5b2c43600198f1f3607205f95f5bb0fefb354ac3", "program_kind": "digital", "schema_version": "0.1", "solver_evidence_hash": "f3030c5ce18090b679e10a674ca4e0e61ba8faffd68efad5620bddd16b6a5623", "time_unit": "us", "transition_id": "transition.2.block.0002.residual_mixer_0" } ] } }, "candidates": [ { "bitstring": "101", "objective_value": -2.0, "probability": 0.18042693655695963, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "010", "objective_value": -1.0, "probability": 0.1595755671384674, "count": 20, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "b" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "100", "objective_value": -1.0, "probability": 0.13586908748986168, "count": 19, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "011", "objective_value": 0.0, "probability": 0.11176151211329596, "count": 19, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "b", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "b", "c" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "001", "objective_value": -1.0, "probability": 0.13586908748986162, "count": 13, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "c" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "000", "objective_value": 0.0, "probability": 0.0927938332583753, "count": 13, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [], "size": 0, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "110", "objective_value": 0.0, "probability": 0.11176151211329596, "count": 12, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "b" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "a", "b" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "111", "objective_value": 1.0, "probability": 0.07194246383988226, "count": 11, "feasible": false, "decoded": { "is_independent": false, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "b", "c" ], "size": 3, "variable_order": [ "a", "b", "c" ], "violating_edges": [ [ "a", "b" ], [ "b", "c" ] ] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" } ], "most_probable_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.18042693655695963, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.18042693655695963, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "objective_value": -0.7202251513922278, "feasibility": true, "constraint_violations": [], "candidate_energy_breakdowns": [ { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 0.0, "total_objective": -2.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "101", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "010", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "100", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 2.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "011", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "001", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": 0.0, "penalty_energy": 0.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "000", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 2.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "110", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -3.0, "penalty_energy": 4.0, "total_objective": 1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 1.0, "contribution": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "111", "schema_version": "cascaqit.problem.penalty.v2" } ], "parameter_history": [ { "evaluation_index": 0, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.hybrid.bind", "parameter_schema_hash": "75eaafc797a77c27fb537ec996eb32d29ae7a9503989016c49f765492a358d15", "values": { "beta_0": 0.24, "gamma_0": 0.16 }, "parameter_bind_hash": "463263adaf8fe2d2d51a0e8fa268924b89e27fc19ac9271cc004fd17ba67d337", "compile_required": true, "metadata": { "algorithm": "qaoa", "layers": 1, "mode": "hybrid", "topology": "dad" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.local_bundle.local_plan.program.lesson.project.mis-routes.dad", "result_hash": "081a5b840f130c401b86df3a3328b012dea3dc59ba2f13d7d71fe0db5adcc082", "source_program_hash": "886ce3032e39f757068af182f2b946ab84c23a57be791f90792fddf8d184a495", "program_hash": "886ce3032e39f757068af182f2b946ab84c23a57be791f90792fddf8d184a495", "objective_value": -0.3352929872800579, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.08468345839059677, "count": 14, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.5663905504082063, "expected_constraint_violation_count": 0.6002791211763987, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.6647070127199421, "best_observed_objective_gap": 0.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -1.5358512296328553, "penalty_energy": 1.2005582423527974, "total_objective": -0.3352929872800579, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.30013956058819935, "contribution": 0.6002791211763987, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.30013956058819935, "contribution": 0.6002791211763987, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": null, "backend_job_id": "problem.hybrid.ae1836ada2b7.parameter-set.000000", "schema_version": "cascaqit.problem.execution.v6" }, { "evaluation_index": 1, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.hybrid.bind", "parameter_schema_hash": "75eaafc797a77c27fb537ec996eb32d29ae7a9503989016c49f765492a358d15", "values": { "beta_0": -0.18, "gamma_0": 0.28 }, "parameter_bind_hash": "bb563fc4b54686d62002fb99affd75c98806c4cfbb75bc2d64d51e13e4bffbab", "compile_required": true, "metadata": { "algorithm": "qaoa", "layers": 1, "mode": "hybrid", "topology": "dad" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.local_bundle.local_plan.program.lesson.project.mis-routes.dad", "result_hash": "6927a1ab3042d7b1c88ed8d9b05456c9cc6d8c81cbba3930facb55884b925e10", "source_program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "objective_value": -0.7202251513922278, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.18042693655695963, "count": 21, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.7045345119335257, "expected_constraint_violation_count": 0.36740795190635644, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.2797748486077722, "best_observed_objective_gap": 0.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -1.4550410552049404, "penalty_energy": 0.7348159038127129, "total_objective": -0.7202251513922278, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.18370397595317822, "contribution": 0.36740795190635644, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.18370397595317822, "contribution": 0.36740795190635644, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": null, "backend_job_id": "problem.hybrid.ae1836ada2b7.parameter-set.000001", "schema_version": "cascaqit.problem.execution.v6" } ], "selected_evaluation_index": 1, "cardinality_subspace": null, "optimization": { "optimization_id": "problem.optimization.470ae874c29f51bde6b2", "search_kind": "parameter_sets", "evaluation_count": 2, "best_evaluation_index": 1, "optimizer": null, "initial_parameters": null, "final_parameters": null, "final_objective": null, "termination": null, "starts": [], "selected_start_index": null, "gradients": [], "sampled_evaluations": [], "sampled_selection": null, "schema_version": "cascaqit.problem.execution.v6" }, "baseline": { "status": "available", "method": "bounded_exhaustive", "variable_count": 3, "limit": 20, "objective_value": -2.0, "bitstring": "101", "unavailable_reason": null, "schema_version": "cascaqit.algorithms.v3" }, "optimality_claim": "not_claimed", "metadata": { "backend_execution_count": 1, "backend_id": "local.simulator", "backend_job_id": "problem.hybrid.ae1836ada2b7.parameter-set.000001", "canonical_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "effective_shots": 128, "execution_program_hash": "2ae8e23bef3579b376699f2385e3e3cb9bdb91f38e946d624c245faeaa51d495", "execution_role": "parameter_set_optimization", "objective_direction": "minimize", "objective_estimator": "result_probabilities", "optimizer_start_count": null, "parameter_set_count": 2, "requested_seed": 4702, "requested_shots": 128, "selected_start_index": null, "selection_rule": "minimum_expected_objective_then_input_order" }, "schema_version": "cascaqit.problem.execution.v6" }, "analog": { "execution_id": "problem.execution.optimize.9037a1333b76a3ee9620", "mode": "analog", "algorithm": "qaa", "topology": null, "compile_hash": "abef7edb3c96ec4503a2472cca2dc6e483114e52d625ccbde1dce24030e79a78", "analysis_hash": "f4e99309942d7c76f40b36fbe7adb837fdd58abe565e3c037f9c79e01326c0d6", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "context": { "context_id": "problem.context.analog.b8a9d9b78090b0c6c934", "mode": "analog", "algorithm": "qaa", "topology": null, "compile_hash": "abef7edb3c96ec4503a2472cca2dc6e483114e52d625ccbde1dce24030e79a78", "analysis": { "analysis_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "canonical_problem": { "problem_id": "lesson.project.mis-routes", "problem_type": "graph", "problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "variable_domain": "binary", "objective_direction": "minimize", "offset": 0.0, "linear_terms": [ { "term_id": "linear.a", "variable": "a", "coefficient": -1.0, "source_term_ids": [ "linear.a" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.b", "variable": "b", "coefficient": -1.0, "source_term_ids": [ "linear.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "linear.c", "variable": "c", "coefficient": -1.0, "source_term_ids": [ "linear.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "quadratic_terms": [ { "term_id": "quadratic.a.b", "left": "a", "right": "b", "coefficient": 2.0, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "term_id": "quadratic.b.c", "left": "b", "right": "c", "coefficient": 2.0, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "constraints": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "a", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.problem.canonical.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "linear_terms": [ { "variable": "b", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" }, { "variable": "c", "coefficient": 1.0, "schema_version": "cascaqit.problem.canonical.v2" } ], "relation": "less_than_or_equal", "rhs": 1.0, "penalty_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.problem.canonical.v2" } ], "layout_hints": [ [ "a", [ 0.0, 0.0 ] ], [ "b", [ 6.0, 0.0 ] ], [ "c", [ 12.0, 0.0 ] ] ], "metadata": { "mis_penalty": 2.0, "normalized_problem_hash": "1bc133ba89ccce01629832eca5fc7a25d2ef99bbcbcad19c068a930c91258c50", "normalized_problem_id": "qubo.mis.lesson.project.mis-routes", "normalized_problem_type": "qubo", "source_schema_version": "0.1" }, "schema_version": "cascaqit.problem.canonical.v2" }, "logical_hamiltonian": { "hamiltonian_id": "logical.hamiltonian.lesson.project.mis-routes", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "pauli_hamiltonian_hash": "fa6e027798bd33fcdd5485648a281499a637cee798b6bf1cbe9bec1016ea25f2", "logical_order": [ "a", "b", "c" ], "constant": -0.5, "constant_source_term_ids": [ "linear.a", "linear.b", "linear.c", "offset", "quadratic.a.b", "quadratic.b.c" ], "terms": [ { "term_id": "field.b", "operator": "z", "targets": [ "b" ], "coefficient": -0.5, "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.a.b" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, { "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "coefficient": 0.5, "source_term_ids": [ "quadratic.b.c" ], "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" } ], "metadata": { "pauli_convention": "computational |0> has Z=+1; Ising s=-Z", "projection": "existing_problem_to_pauli_hamiltonian", "source_problem_type": "graph" }, "schema_version": "cascaqit.compiler.problem.hamiltonian.v1" }, "decoder": { "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "source_problem_id": "lesson.project.mis-routes", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "logical_order": [ "a", "b", "c" ], "bitstring_convention": "1 means selected node in logical_order", "edges": [ [ "a", "b" ], [ "b", "c" ] ], "mis_penalty": 2.0, "node_weights": [], "mwis_penalty": null, "schema_version": "cascaqit.problem.canonical.v2" }, "mapping_plan": { "plan_id": "mapping.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1", "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "canonical_problem_hash": "96516e064124844fecaf090f869d60ea9d13211ae6b9e9c1817ed2f33e0b7b40", "logical_hamiltonian_hash": "cde887c9385e08440b3de887de6aeff64f39e8678405e238ccdc3af987922c49", "target_id": "mock.neutral_atom.local_ahs.v0_1", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "layout": { "layout_id": "layout.lesson.project.mis-routes.provided", "layout_policy": "provided", "sites": [ { "logical_id": "a", "atom_id": "a", "site_id": "site.0.a", "position": [ 0.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "b", "atom_id": "b", "site_id": "site.1.b", "position": [ 6.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "logical_id": "c", "atom_id": "c", "site_id": "site.2.c", "position": [ 12.0, 0.0 ], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "valid": true, "diagnostic_codes": [], "metadata": { "coordinate_unit": "um", "partial_hints_ignored": false, "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "interaction": { "c6": 823549.6645826427, "cutoff_radius": 8.0, "enabled": true, "model": "van_der_waals", "c6_unit": "rad*um^6/us", "distance_unit": "um", "channel_type": "crosstalk", "evolution_type": "coherent", "operator": "number_number", "schema_version": "cascaqit.interaction.v1", "metadata": {} }, "interactions": [ { "left": "a", "right": "b", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "a", "right": "c", "distance": 12.0, "coefficient": 0.0, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "left": "b", "right": "c", "distance": 6.0, "coefficient": 17.651527447330306, "model": "van_der_waals", "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "term_candidates": [ { "candidate_id": "candidate.field.b.digital", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.field.b.analog", "term_id": "field.b", "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "implementation": "analog_detuning_local", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.digital", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.a.b.analog", "term_id": "coupling.a.b", "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.digital", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "digital_gate", "status": "supported", "reference_coefficient": null, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "candidate_id": "candidate.coupling.b.c.analog", "term_id": "coupling.b.c", "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "implementation": "analog_interaction", "status": "supported", "reference_coefficient": 4.4128818618325765, "diagnostic_codes": [], "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "feasibility": [ { "mode": "digital", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [], "digital_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "diagnostic_codes": [], "energy_scale": 1.0, "local_reference": true, "hardware_executable": false, "metadata": { "decomposition": "Z:RZ;ZZ:CX-RZ-CX" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "hybrid", "algorithm": "qaoa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "detuning_implementation": "analog_detuning_local", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 }, "split": "exact_commuting_diagonal", "state_space": "local_logical_two_level_reference", "topology": "dad" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mode": "analog", "algorithm": "qaa", "feasible": true, "analog_term_ids": [ "field.b", "coupling.a.b", "coupling.b.c" ], "digital_term_ids": [], "diagnostic_codes": [], "energy_scale": 8.825763723665153, "local_reference": true, "hardware_executable": false, "metadata": { "complete_analog_coverage": true, "detuning_implementation": "analog_detuning_local", "initial_detuning": -8.825763723665153, "omega_limit": 20.0, "protocol": "qaa", "required_detuning": { "a": 8.825763723665153, "b": 8.825763723665153, "c": 8.825763723665153 } }, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "diagnostics": [], "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "resource_estimate": { "logical_terms": 3, "logical_variables": 3, "qaoa_layer_gate_estimate": 13, "state_vector_dimension": 8, "z_terms": 1, "zz_terms": 2 }, "metadata": { "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "interaction_model": "van_der_waals", "interaction_source": "target_typed_defaults" }, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, "penalty_analysis": { "source_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "criterion": "mis_vertex_removal", "penalty_strength": 2.0, "minimum_sufficient_strength": 1.0, "strict_inequality": true, "sufficiency_margin": 1.0, "sufficient": true, "business_objective_term_ids": [ "linear.a", "linear.b", "linear.c" ], "penalty_terms": [ { "constraint_id": "constraint.edge.a.b", "source_kind": "independent_set_edge", "targets": [ "a", "b" ], "canonical_term_id": "quadratic.a.b", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "source_kind": "independent_set_edge", "targets": [ "b", "c" ], "canonical_term_id": "quadratic.b.c", "coefficient": 2.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "schema_version": "cascaqit.problem.penalty.v2" }, "diagnostics": [ { "diagnostic_id": "problem.analysis.lesson.project.mis-routes.penalty-sufficient", "stage": "validation", "severity": "info", "code": "PROBLEM_PENALTY_SUFFICIENT", "message": "Problem penalty strength is strictly greater than the applicable vertex-removal sufficiency threshold.", "schema_version": "0.1", "object_path": "problem.analysis.penalty_analysis", "suggestion": null, "metadata": { "actionable": false, "criterion": "mis_vertex_removal", "minimum_sufficient_strength": 1.0, "penalty_strength": 2.0, "reason_category": "validation", "sufficiency_margin": 1.0, "taxonomy_stage": "validation" } } ] }, "term_mapping": [ { "mapping_id": "mapping.analog.field.b", "logical_term_id": "field.b", "source_term_ids": [ "linear.b", "quadratic.a.b", "quadratic.b.c" ], "operator": "z", "targets": [ "b" ], "logical_coefficient": -0.5, "analog_coefficient": -0.5, "digital_coefficient": 0.0, "implementation": "analog_detuning_local", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.analog.coupling.a.b", "logical_term_id": "coupling.a.b", "source_term_ids": [ "quadratic.a.b" ], "operator": "zz", "targets": [ "a", "b" ], "logical_coefficient": 0.5, "analog_coefficient": 0.5, "digital_coefficient": 0.0, "implementation": "analog_interaction", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" }, { "mapping_id": "mapping.analog.coupling.b.c", "logical_term_id": "coupling.b.c", "source_term_ids": [ "quadratic.b.c" ], "operator": "zz", "targets": [ "b", "c" ], "logical_coefficient": 0.5, "analog_coefficient": 0.5, "digital_coefficient": 0.0, "implementation": "analog_interaction", "absolute_tolerance": 1e-08, "relative_tolerance": 0.05, "schema_version": "cascaqit.compiler.problem.mapping.v1" } ], "parameter_schema": { "parameters": [ { "name": "anneal_time", "dtype": "float", "unit": "us", "default": 1.0, "lower_bound": 0.01, "upper_bound": 100.0, "expression": null, "compile_impact": "recompile", "source_span": null, "metadata": { "controls": "all_qaa_waveform_times" }, "schema_version": "cascaqit.parameters.v2" }, { "name": "omega_max", "dtype": "float", "unit": "rad/us", "default": 1.0, "lower_bound": 1e-12, "upper_bound": 20.0, "expression": null, "compile_impact": "recompile", "source_span": null, "metadata": { "controls": "global_qaa_rabi" }, "schema_version": "cascaqit.parameters.v2" } ], "metadata": { "algorithm": "qaa", "analysis_hash": "f4e99309942d7c76f40b36fbe7adb837fdd58abe565e3c037f9c79e01326c0d6", "mode": "analog", "schedule": "linear_three_stage", "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.parameters.v2" }, "ansatz": null, "ansatz_spec_hash": null, "native_program": { "program_id": "program.lesson.project.mis-routes.qaa", "register": { "sites": [ { "site_id": "a", "position": [ 0.0, 0.0 ], "atom_id": "a", "is_target": true, "status": "filled", "metadata": {} }, { "site_id": "b", "position": [ 6.0, 0.0 ], "atom_id": "b", "is_target": true, "status": "filled", "metadata": {} }, { "site_id": "c", "position": [ 12.0, 0.0 ], "atom_id": "c", "is_target": true, "status": "filled", "metadata": {} } ], "snapshot_id": "register.planned", "lifecycle_stage": "planned", "previous_snapshot_hash": null, "schema_version": "0.1", "coordinate_unit": "um", "metadata": {} }, "hamiltonian": { "schema_version": "0.1", "hamiltonian_type": "rydberg", "species": null, "rydberg_state": null, "metadata": {}, "terms": { "rabi": { "waveform_id": "qaa.rabi", "kind": "piecewise_linear", "value_unit": "rad/us", "duration": 0.7, "times": [ 0.0, 0.175, 0.5249999999999999, 0.7 ], "values": [ 0.0, 1.4, 1.4, 0.0 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "detuning": { "waveform_id": "qaa.detuning.global", "kind": "linear", "value_unit": "rad/us", "duration": 0.7, "times": [ 0.0, 0.7 ], "values": [ -8.825763723665153, 0.0 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "phase": 0.0, "two_body_interaction": { "c6": 823549.6645826427, "cutoff_radius": 8.0, "enabled": true, "model": "van_der_waals", "c6_unit": "rad*um^6/us", "distance_unit": "um", "channel_type": "crosstalk", "evolution_type": "coherent", "operator": "number_number", "schema_version": "cascaqit.interaction.v1", "metadata": {} }, "local_detuning_terms": [ { "waveform": { "waveform_id": "qaa.detuning.local.positive", "kind": "linear", "value_unit": "rad/us", "duration": 0.7, "times": [ 0.0, 0.7 ], "values": [ 0.0, 8.825763723665153 ], "schema_version": "0.1", "time_unit": "us", "parameters": {}, "metadata": {} }, "addressing": { "site_ids": [ "a", "b", "c" ], "times": [ 0.0 ], "weights": [ [ 1.0, 1.0, 1.0 ] ], "duration": 0.7, "source_kind": "site_pattern", "schema_version": "0.1", "time_unit": "us", "interpolation": "step", "metadata": {} }, "schema_version": "0.1", "metadata": {} } ], "local_rabi_terms": [] } }, "measurements": [ { "measurement_id": "problem", "basis": "ground_rydberg", "targets": "all", "schema_version": "0.1", "metadata": {} } ], "schema_version": "0.1", "program_type": "analog", "lifecycle_state": "draft", "unit_conventions": { "coordinate": "um", "time": "us", "frequency": "rad/us", "phase": "rad" }, "bit_ordering": { "convention": "active_register_order" }, "occupation_encoding": { "ground": 0, "rydberg": 1 }, "parameters": {}, "hashes": {}, "metadata": {} }, "native_program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "local_reference": true, "hardware_executable": false, "metadata": { "native_program_kind": "analog", "target_hash": "3b2cb03b9aa7dd00299d97b4ce44db476e3e3de13c7f3f78357ccbd5af540277", "target_id": "mock.neutral_atom.local_ahs.v0_1" }, "schema_version": "cascaqit.problem.execution-context.v2" }, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.analog.bind", "parameter_schema_hash": "4da0be3499f3232f248f73aa9215dc75c663d5814885b728984a7434004b5a77", "values": { "anneal_time": 0.7, "omega_max": 1.4 }, "parameter_bind_hash": "14bcc94ea73b3b72677379e420b59405c88fc38ad3a334c3dc9fc289ef850bb7", "compile_required": true, "metadata": { "algorithm": "qaa", "mode": "analog" }, "schema_version": "cascaqit.parameters.v2" }, "parameter_bind_hash": "14bcc94ea73b3b72677379e420b59405c88fc38ad3a334c3dc9fc289ef850bb7", "result": { "result_id": "result.program.lesson.project.mis-routes.qaa", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "target_id": "mock.neutral_atom.local_ahs.v0_1", "shots": 128, "counts": { "000": 92, "001": 9, "010": 12, "100": 13, "101": 2 }, "samples": [ "000", "100", "000", "000", "000", "000", "000", "010", "000", "100", "100", "001", "000", "000", "000", "000", "000", "010", "100", "010", "000", "000", "000", "000", "000", "100", "000", "000", "000", "000", "000", "000", "000", "000", "000", "010", "100", "000", "010", "000", "001", "000", "010", "000", "000", "000", "000", "100", "000", "000", "000", "000", "101", "001", "000", "000", "000", "010", "000", "000", "000", "000", "000", "000", "000", "100", "000", "000", "000", "000", "000", "001", "000", "000", "010", "000", "000", "100", "000", "000", "100", "100", "000", "001", "000", "010", "000", "000", "000", "000", "000", "000", "000", "101", "010", "000", "000", "000", "001", "000", "000", "000", "000", "000", "000", "000", "010", "000", "000", "010", "000", "000", "000", "000", "000", "000", "000", "001", "100", "001", "000", "000", "000", "001", "000", "000", "000", "100" ], "probabilities": { "000": 0.6836817364291075, "001": 0.09766146378806953, "010": 0.1053611778703298, "011": 0.0011726506532152247, "100": 0.09766146378806949, "101": 0.0132855864386361, "110": 0.0011726506532152236, "111": 3.2703793572908233e-06 }, "observables": { "state_norm": 1.0 }, "bit_ordering": { "convention": "logical_order", "logical_order": "a,b,c" }, "occupation_encoding": { "ground": 0, "rydberg": 1 }, "diagnostics": [ { "diagnostic_id": "simulation.scalable.analog.completed", "stage": "simulation", "severity": "info", "code": "SCALABLE_IDEAL_SIMULATION_COMPLETED", "message": "Scalable ideal state-vector simulation completed.", "schema_version": "0.1", "object_path": "result", "suggestion": null, "metadata": { "program_kind": "analog" } } ], "schema_version": "0.1", "metadata": { "backend_called": true, "backend_id": "local.simulator", "bitstring_ordering": { "bitstring_index": "left_to_right_matches_logical_order", "convention": "logical_order", "logical_order": [ "a", "b", "c" ] }, "block_state_chain": [ { "block_id": "program.lesson.project.mis-routes.qaa", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "program.lesson.project.mis-routes.qaa", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "report_id": "interaction_report.program.lesson.project.mis-routes.qaa", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "0a111694e4526100c68a94135555c10f5392465b2e67a0f1f6b05efa386ad169", "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.7, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.021875, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 1.000000000000001, "normalization_correction": 1.1102230246251565e-15, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.021875, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.7, "output_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "time_unit": "us", "transition_id": "transition.0.program.lesson.project.mis-routes.qaa" } ], "control_report_evidence": [ { "block_id": "program.lesson.project.mis-routes.qaa", "diagnostic_count": 4, "diagnostics": [ { "code": "CONTROL_CONCURRENCY_SUPPORTED", "diagnostic_id": "control.control_concurrency_supported.rydberg.local", "message": "Control concurrency is within the declared group limit.", "metadata": { "actual_max_concurrency": 1, "group_id": "rydberg.local", "max_concurrent_operations": 2, "operation_ids": [ "operation.local_detuning.0" ] }, "object_path": "control_schedule.operations", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_BANDWIDTH_SUPPORTED", "diagnostic_id": "control.control_bandwidth_supported.operation.local_detuning.0", "message": "Waveform knot-spacing bandwidth bound is within the Target limit.", "metadata": { "bandwidth_limit": 2.0, "bandwidth_unit": "MHz", "channel_id": "rydberg.detuning.local", "estimate_semantics": "nyquist_bound_from_minimum_knot_spacing", "estimated_bandwidth": 0.7142857142857143, "operation_id": "operation.local_detuning.0" }, "object_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_SLEW_SUPPORTED", "diagnostic_id": "control.control_slew_supported.operation.local_detuning.0", "message": "Waveform segment slew is within the Target limit.", "metadata": { "actual_max_slew_rate": 12.608233890950219, "channel_id": "rydberg.detuning.local", "estimate_semantics": "maximum_actual_waveform_segment_derivative", "max_slew_rate": 30.0, "operation_id": "operation.local_detuning.0", "slew_rate_unit": "rad/us^2" }, "object_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null }, { "code": "CONTROL_CROSSTALK_NO_OVERLAP", "diagnostic_id": "control.control_crosstalk_no_overlap.crosstalk.rydberg.rabi.local.rydberg.rabi.global", "message": "Crosstalk-constrained channels do not overlap.", "metadata": { "actual_overlap_duration": 0.0, "channel_ids": [ "rydberg.rabi.local", "rydberg.rabi.global" ], "constraint_id": "crosstalk.rydberg.rabi.local.rydberg.rabi.global", "max_overlap_duration": null, "overlap_policy": "calibration_required", "time_unit": "us" }, "object_path": "control_schedule.operations", "schema_version": "0.1", "severity": "info", "stage": "validation", "suggestion": null } ], "has_errors": false, "production_channel_allocation_performed": false, "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "schedule": { "control_system_hash": "fbbc3937e5187ca6bb0a3f00e176187027581e3382a83ee377e7115bffd5a87a", "diagnostics": [], "metadata": { "production_channel_allocation_performed": false, "projection": "program_ir_control_terms", "time_origin": 0.0, "time_unit": "us" }, "operations": [ { "channel_id": "rydberg.detuning.global", "end_time": 0.7, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.detuning", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "linear" }, "operation_id": "operation.global_detuning", "operation_kind": "global_detuning", "schema_version": "0.1", "source_hash": "86ecff43282d40a64f7b729cb2720c6952d4ac5c95cec413f73a4c1ddadb8ea7", "start_time": 0.0, "target_site_ids": [ "a", "b", "c" ], "waveform_hash": "86ecff43282d40a64f7b729cb2720c6952d4ac5c95cec413f73a4c1ddadb8ea7" }, { "channel_id": "rydberg.rabi.global", "end_time": 0.7, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.rabi", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "piecewise_linear" }, "operation_id": "operation.global_rabi", "operation_kind": "global_rabi", "schema_version": "0.1", "source_hash": "ca2312617fecde760498cb1d89a3956a376ea65065aa212c6430c4ee8c7f68a6", "start_time": 0.0, "target_site_ids": [ "a", "b", "c" ], "waveform_hash": "ca2312617fecde760498cb1d89a3956a376ea65065aa212c6430c4ee8c7f68a6" }, { "channel_id": "rydberg.detuning.local", "end_time": 0.7, "metadata": { "production_assigned": false, "program_path": "hamiltonian.terms.local_detuning_terms[0].waveform", "time_unit": "us", "value_unit": "rad/us", "waveform_kind": "linear" }, "operation_id": "operation.local_detuning.0", "operation_kind": "local_detuning", "schema_version": "0.1", "source_hash": "41bbd1832f9a61c9f0a94892c7b9b0e88451bedf94ef55d9ae68d8f250bdcf5d", "start_time": 0.0, "target_site_ids": [ "a", "b", "c" ], "waveform_hash": "3939f5f0c235cff5948e5fc29c58449ed88119fd4b4e043bce8ca97aa37f4ad6" } ], "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "schedule_id": "schedule.program.lesson.project.mis-routes.qaa.control", "schema_version": "0.1" }, "target_id": "mock.neutral_atom.local_ahs.v0_1" } ], "execution_package_created": false, "interaction_report": { "active_atom_count": 3, "block_id": "program.lesson.project.mis-routes.qaa", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "report_id": "interaction_report.program.lesson.project.mis-routes.qaa", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "0a111694e4526100c68a94135555c10f5392465b2e67a0f1f6b05efa386ad169", "interaction_report_hashes": [ "0a111694e4526100c68a94135555c10f5392465b2e67a0f1f6b05efa386ad169" ], "interaction_reports": [ { "active_atom_count": 3, "block_id": "program.lesson.project.mis-routes.qaa", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "report_id": "interaction_report.program.lesson.project.mis-routes.qaa", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" } ], "network_accessed": false, "offline_deterministic": true, "references": { "bundle_hash": null, "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "initial_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "metadata": {}, "plan_hash": null, "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "schema_version": "0.1", "target_snapshot_hash": null }, "register_snapshot": { "active_atom_ids": [ "a", "b", "c" ], "active_site_count": 3, "active_site_ids": [ "a", "b", "c" ], "lifecycle_stage": "planned", "physical_site_count": 3, "physical_site_ids": [ "a", "b", "c" ], "previous_snapshot_hash": null, "snapshot_hash": "3bf860716c2bb8860f76b01aa1ea7fba20a05d3867ae582d21e72ef9e09b30df", "snapshot_id": "register.planned", "status_counts": { "defect": 0, "filled": 3, "loading_failed": 0, "vacant": 0 } }, "run_trace": { "events": [ { "event_time": "logical:0x1.6666666666666p-1", "message": "Completed analog state transition.", "metadata": { "state_transition": { "block_id": "program.lesson.project.mis-routes.qaa", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "program.lesson.project.mis-routes.qaa", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "report_id": "interaction_report.program.lesson.project.mis-routes.qaa", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "0a111694e4526100c68a94135555c10f5392465b2e67a0f1f6b05efa386ad169", "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.7, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.021875, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 1.000000000000001, "normalization_correction": 1.1102230246251565e-15, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.021875, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.7, "output_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "time_unit": "us", "transition_id": "transition.0.program.lesson.project.mis-routes.qaa" } }, "schema_version": "0.1", "stage": "running", "status": "ok" }, { "event_time": "logical:0x1.6666666666666p-1", "message": "Terminal Analog sampling completed.", "metadata": { "final_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "seed": 4702, "shots": 128 }, "schema_version": "0.1", "stage": "completed", "status": "ok" } ], "metadata": { "execution_mode": "standalone_analog" }, "references": { "bundle_hash": null, "calibration_snapshot_hash": null, "compiled_program_hash": null, "discretized_program_hash": null, "execution_package_id": null, "final_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "initial_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "metadata": {}, "plan_hash": null, "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "schema_version": "0.1", "target_snapshot_hash": null }, "schema_version": "0.1", "trace_id": "trace.program.lesson.project.mis-routes.qaa.scalable_analog" }, "seed": 4702, "selected_simulator": "ScalableIdealEngine", "simulation_execution_config": { "absolute_tolerance": 1e-11, "device": "cpu", "dtype": "complex128", "execution_scope": "job", "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "method": "state_vector", "relative_tolerance": 1e-09, "schema_version": "0.1", "seed": 4702, "seed_semantics": "effective_seed", "solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "step_semantics": "fixed_time_slices", "steps": 32, "tolerance_applied": false, "trajectories": null, "worker_semantics": "kernel_concurrency", "workers": 1 }, "simulation_plan": { "atol": 1e-11, "budget_bytes": 20615843020, "candidates": [ { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "method": "state_vector", "reason_codes": [ "SIMULATION_METHOD_ELIGIBLE", "SIMULATION_METHOD_SELECTED" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "selected" }, { "estimate": null, "method": "subspace", "reason_codes": [ "SIMULATION_SUBSPACE_BASIS_UNAVAILABLE" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 14336, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "density_matrix", "operator_bytes": 2048, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 1024, "state_dimension": 64, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 3072 }, "method": "density_matrix", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" }, { "estimate": { "dtype": "complex128", "estimated_peak_bytes": 729344, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "trajectory", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 32768, "state_dimension": 2048, "trajectories": 256, "worker_copy_bytes": 458752, "workers": 15, "workspace_bytes": 229376 }, "method": "trajectory", "reason_codes": [ "SIMULATION_METHOD_REQUIRES_NOISE_MODEL" ], "schema_version": "cascaqit.simulation.planning.v1", "status": "rejected" } ], "device": "cpu", "dtype": "complex128", "estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "hilbert_dimension": 8, "host_hash": "fc340411ec9c1fe45ae7d312ce900fdaeaa5935813f6c5c169cb18b81d90aea1", "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "logical_sites": 3, "max_steps": 32, "metadata": { "array_backend": "numpy", "blockade_dimension": null, "host_snapshot_source": "platform.effective_resource_probe", "max_wall_time_seconds": null, "memory_fraction": 0.8, "network_accessed": false, "numpy_version": "2.0.2", "requires_trajectory": false, "scipy_version": "1.17.1", "target_statistical_error": null, "time_integration_required": true, "workers_cpu_limit": 15, "workers_requested": "auto" }, "method_requested": "auto", "method_selected": "state_vector", "noisy": false, "options_hash": "8c4ebc28fac54f3dccbc95e5a995c2fff7bfc83930470d6be87caaf2358d8722", "plan_id": "simulation_plan.analog.3.state_vector.fixed_step_krylov", "program_kind": "analog", "rtol": 1e-09, "schema_version": "cascaqit.simulation.planning.v1", "seed": 4702, "state_representation": "state_vector", "trajectories": 256, "truthfulness": "planning_only", "workers": 1 }, "simulation_plan_hash": "1b5f6a863cdf9059e430600dd84643ae37cae1c024a6b5d60a541cdc3ad2b2c0", "simulation_plan_truthfulness": "planning_only", "simulation_resource_estimate": { "dtype": "complex128", "estimated_peak_bytes": 11392, "hilbert_dimension": 8, "itemsize_bytes": 16, "logical_sites": 3, "method": "state_vector", "operator_bytes": 256, "result_buffer_bytes": 4096, "sampling_bytes": 4096, "schema_version": "cascaqit.simulation.planning.v1", "state_bytes": 128, "state_dimension": 8, "trajectories": 1, "worker_copy_bytes": 0, "workers": 1, "workspace_bytes": 2816 }, "simulation_resource_usage": { "actual_peak_rss_bytes": 146620416, "baseline_peak_rss_bytes": 146620416, "estimate_error_fraction": null, "estimate_within_tolerance": null, "estimated_peak_bytes": 11392, "incremental_peak_rss_bytes": 0, "measurement_scope": "job", "measurement_status": "baseline_dominated", "rss_semantics": "process_high_water_mark", "schema_version": "0.1", "wall_time_seconds": 0.020305000012740493 }, "simulation_solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.7, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.021875, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 1.000000000000001, "normalization_correction": 1.1102230246251565e-15, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.021875, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false }, "simulation_solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "simulation_state": { "arrays": { "amplitudes": { "content_hash": "560041ec6712033ade1f5007d198095398c37cb72056a30001d593c7722f3320", "dtype": "complex128", "nbytes": 128, "returned_state_bytes": false, "shape": [ 8 ] } }, "basis": "logical_two_level", "logical_order": [ "a", "b", "c" ], "logical_time": 0.7, "metrics": { "norm": 1.0 }, "noise_context": {}, "provenance": { "conversion": null, "metadata": { "algorithm": "piecewise_midpoint_expm_multiply", "integrator_selected": "fixed_step_krylov", "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "representation": "state_vector", "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.7, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.021875, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 1.000000000000001, "normalization_correction": 1.1102230246251565e-15, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.021875, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false }, "solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "steps": 32 }, "parent_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "producer": "MatrixFreeAnalogStateVectorKernel", "schema_version": "cascaqit.simulation.array_state.v1", "step_index": 1 }, "returned_state_bytes": false, "schema_version": "cascaqit.simulation.array_state.v1", "stable_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "state_kind": "state_vector", "time_unit": "us" }, "simulation_truthfulness": "ideal_state_evolution", "simulator": { "array_backend": "numpy.cpu", "method": "state_vector", "name": "ScalableIdealEngine", "program_kind": "analog" }, "state_bytes_returned": false, "state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "state_transitions": [ { "block_id": "program.lesson.project.mis-routes.qaa", "input_logical_time": 0.0, "input_state_hash": "d053a5ee5024ce13e70736a6a689f763f09d0cdf3451334384793d65990685ce", "kernel": "MatrixFreeAnalogStateVectorKernel", "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_report": { "active_atom_count": 3, "block_id": "program.lesson.project.mis-routes.qaa", "c6": 823549.6645826427, "c6_unit": "rad*um^6/us", "channel_type": "crosstalk", "cutoff_radius": 8.0, "distance_unit": "um", "enabled": true, "enabled_pair_count": 2, "evolution_type": "coherent", "geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "geometry_source": "nominal_register", "interaction_hash": "e2b957780b664e523c548b5c9d5caafec8f29994aa8e43f2098b6b11063c1a44", "maximum_abs_strength": 17.651527447330306, "minimum_distance": 6.0, "model": "van_der_waals", "operator": "number_number", "pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "report_id": "interaction_report.program.lesson.project.mis-routes.qaa", "schema_version": "cascaqit.interaction_report.v1", "truthfulness": "physical_state_evolution" }, "interaction_report_hash": "0a111694e4526100c68a94135555c10f5392465b2e67a0f1f6b05efa386ad169", "logical_order": [ "a", "b", "c" ], "solver_evidence": { "absolute_tolerance": null, "accepted_steps": 32, "final_time": 0.7, "function_evaluations": null, "initial_time": 0.0, "integrator_requested": "fixed_step_krylov", "integrator_selected": "fixed_step_krylov", "max_step_size": 0.021875, "metadata": { "interaction_geometry_hash": "86ed7c7f405b8405d6dbd1d2f84d626b5c059e7f0488c3f98745c7814870d49f", "interaction_geometry_source": "nominal_register", "interaction_maximum_abs_strength": 17.651527447330306, "interaction_minimum_distance": 6.0, "interaction_pair_count": 2, "interaction_pair_table_hash": "9479db7fb5ea1468a87a598f3c79a177bf0a47aed663773bd87eeec5030f37df", "interaction_plan_hash": "35b53deb8e55873102b3c6230c6c87164294c2b772edc7fafe602ab83b8c05e9", "norm_before_normalization": 1.000000000000001, "normalization_correction": 1.1102230246251565e-15, "output_dtype": "complex128", "output_dtype_epsilon": 2.220446049250313e-16, "requested_tolerance_below_output_precision": false, "solver": "scipy.sparse.linalg.expm_multiply" }, "min_step_size": 0.021875, "rejected_steps": null, "rejected_steps_available": false, "relative_tolerance": null, "schema_version": "0.1", "segment_count": 32, "termination_reason": "completed", "time_unit": "us", "tolerance_applied": false } }, "order_index": 0, "output_logical_time": 0.7, "output_state_hash": "7ad12ce4262cfb3394e614abc165cd721040d5b6c8d414b54bc05394ea499ff1", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "program_kind": "analog", "schema_version": "0.1", "solver_evidence_hash": "c03bf680ef4cba20e55ea5839d78a4f83c643a3a2cd65cc531b8c472dbe0ef7b", "time_unit": "us", "transition_id": "transition.0.program.lesson.project.mis-routes.qaa" } ] } }, "candidates": [ { "bitstring": "000", "objective_value": 0.0, "probability": 0.6836817364291075, "count": 92, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [], "size": 0, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "100", "objective_value": -1.0, "probability": 0.09766146378806949, "count": 13, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "010", "objective_value": -1.0, "probability": 0.1053611778703298, "count": 12, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "b" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "001", "objective_value": -1.0, "probability": 0.09766146378806953, "count": 9, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "c" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, { "bitstring": "101", "objective_value": -2.0, "probability": 0.0132855864386361, "count": 2, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" } ], "most_probable_candidate": { "bitstring": "000", "objective_value": 0.0, "probability": 0.6836817364291075, "count": 92, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [], "size": 0, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.0132855864386361, "count": 2, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "objective_value": -0.32725200794438375, "feasibility": true, "constraint_violations": [], "candidate_energy_breakdowns": [ { "scope": "candidate", "penalty_model_status": "defined", "business_objective": 0.0, "penalty_energy": 0.0, "total_objective": 0.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "000", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "100", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "010", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -1.0, "penalty_energy": 0.0, "total_objective": -1.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "001", "schema_version": "cascaqit.problem.penalty.v2" }, { "scope": "candidate", "penalty_model_status": "defined", "business_objective": -2.0, "penalty_energy": 0.0, "total_objective": -2.0, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0, "contribution": 0.0, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": "101", "schema_version": "cascaqit.problem.penalty.v2" } ], "parameter_history": [ { "evaluation_index": 0, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.analog.bind", "parameter_schema_hash": "4da0be3499f3232f248f73aa9215dc75c663d5814885b728984a7434004b5a77", "values": { "anneal_time": 0.4, "omega_max": 1.0 }, "parameter_bind_hash": "0717e8bc0fb31e744e5c11ac1c2a09d5350ddf18c302f5f49adf2ee1833ab8db", "compile_required": true, "metadata": { "algorithm": "qaa", "mode": "analog" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.program.lesson.project.mis-routes.qaa", "result_hash": "14cbda964a1319d62315300018a3d8840a2d188384837021c4f73460766d8db4", "source_program_hash": "e59425d1dbfb7306e587075455a9e84121333b5e2358771e0fd1046b9fe3d74b", "program_hash": "e59425d1dbfb7306e587075455a9e84121333b5e2358771e0fd1046b9fe3d74b", "objective_value": -0.06373850732570467, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "001", "objective_value": -1.0, "probability": 0.020865183552903704, "count": 5, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "c" ], "size": 1, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.9997685598723689, "expected_constraint_violation_count": 0.00023169592334740976, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.9362614926742954, "best_observed_objective_gap": 1.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -0.06420189917239949, "penalty_energy": 0.0004633918466948195, "total_objective": -0.06373850732570467, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.00011584796167370488, "contribution": 0.00023169592334740976, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.00011584796167370488, "contribution": 0.00023169592334740976, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": null, "backend_job_id": "problem.analog.abef7edb3c96.parameter-set.000000", "schema_version": "cascaqit.problem.execution.v6" }, { "evaluation_index": 1, "parameter_bind": { "parameter_bind_id": "analysis.lesson.project.mis-routes.mock.neutral_atom.local_ahs.v0_1.analog.bind", "parameter_schema_hash": "4da0be3499f3232f248f73aa9215dc75c663d5814885b728984a7434004b5a77", "values": { "anneal_time": 0.7, "omega_max": 1.4 }, "parameter_bind_hash": "14bcc94ea73b3b72677379e420b59405c88fc38ad3a334c3dc9fc289ef850bb7", "compile_required": true, "metadata": { "algorithm": "qaa", "mode": "analog" }, "schema_version": "cascaqit.parameters.v2" }, "result_id": "result.program.lesson.project.mis-routes.qaa", "result_hash": "b9d35530a586e263e85a0df3b03b21e2da1ffbb84f2a338d71a399ce01f2f2c9", "source_program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "objective_value": -0.32725200794438375, "shots": 128, "seed": 4702, "best_observed_candidate": { "bitstring": "101", "objective_value": -2.0, "probability": 0.0132855864386361, "count": 2, "feasible": true, "decoded": { "is_independent": true, "penalty": 2.0, "problem_type": "mis", "selected_nodes": [ "a", "c" ], "size": 2, "variable_order": [ "a", "b", "c" ], "violating_edges": [] }, "optimality_claim": "not_claimed", "schema_version": "cascaqit.algorithms.v3" }, "feasible_probability": 0.9976514283142124, "expected_constraint_violation_count": 0.00235184206514503, "best_observed_constraint_violation_count": 0, "expected_selected_weight": null, "baseline_objective": -2.0, "expected_objective_gap": 1.6727479920556163, "best_observed_objective_gap": 0.0, "energy_breakdown": { "scope": "expectation", "penalty_model_status": "defined", "business_objective": -0.3319556920746738, "penalty_energy": 0.00470368413029006, "total_objective": -0.32725200794438375, "constraint_penalties": [ { "constraint_id": "constraint.edge.a.b", "canonical_term_id": "quadratic.a.b", "targets": [ "a", "b" ], "coefficient": 2.0, "activation": 0.0011759210325725145, "contribution": 0.002351842065145029, "schema_version": "cascaqit.problem.penalty.v2" }, { "constraint_id": "constraint.edge.b.c", "canonical_term_id": "quadratic.b.c", "targets": [ "b", "c" ], "coefficient": 2.0, "activation": 0.0011759210325725156, "contribution": 0.002351842065145031, "schema_version": "cascaqit.problem.penalty.v2" } ], "bitstring": null, "schema_version": "cascaqit.problem.penalty.v2" }, "execution_evidence": null, "backend_job_id": "problem.analog.abef7edb3c96.parameter-set.000001", "schema_version": "cascaqit.problem.execution.v6" } ], "selected_evaluation_index": 1, "cardinality_subspace": null, "optimization": { "optimization_id": "problem.optimization.9b1c2e79b7a7213a0654", "search_kind": "parameter_sets", "evaluation_count": 2, "best_evaluation_index": 1, "optimizer": null, "initial_parameters": null, "final_parameters": null, "final_objective": null, "termination": null, "starts": [], "selected_start_index": null, "gradients": [], "sampled_evaluations": [], "sampled_selection": null, "schema_version": "cascaqit.problem.execution.v6" }, "baseline": { "status": "available", "method": "bounded_exhaustive", "variable_count": 3, "limit": 20, "objective_value": -2.0, "bitstring": "101", "unavailable_reason": null, "schema_version": "cascaqit.algorithms.v3" }, "optimality_claim": "not_claimed", "metadata": { "backend_execution_count": 1, "backend_id": "local.simulator", "backend_job_id": "problem.analog.abef7edb3c96.parameter-set.000001", "canonical_problem_hash": "826a555614f6b069611aa1a14214968356def14aba43be0b3f3a45c5c6ae1c5b", "decoder_id": "decoder.lesson.project.mis-routes", "decoder_kind": "mis", "effective_shots": 128, "execution_program_hash": "6acac5c361208c8083c9bbc3e5d45122307c7a406d6a883e13930c69f726d7c0", "execution_role": "parameter_set_optimization", "objective_direction": "minimize", "objective_estimator": "result_probabilities", "optimizer_start_count": null, "parameter_set_count": 2, "requested_seed": 4702, "requested_shots": 128, "selected_start_index": null, "selection_rule": "minimum_expected_objective_then_input_order" }, "schema_version": "cascaqit.problem.execution.v6" } } }