{ "document_id": "fresh-arxiv-1599059", "source_sha256": "978fab3d0eab3ab39b2d03c4ed801eb64741b9abd4c2f231e188fb5dbc5a6dd0", "kind": "ku", "status": "generated", "result": { "schema_version": "1.0", "title": "Adiabatic quantum search with atoms in a cavity driven by lasers", "abstract_sha256": "", "mode": "sequential", "model": "trained", "config": { "mode": "sequential", "chunk_words": 1000, "context_words": 0, "previous_units": 10, "canonicalize": false, "minhash_permutations": 16, "canonicalization_max_tokens": 4096, "parse_retries": 0 }, "knowledge_units": [ { "chunk_index": 0, "context_summary": "The paper proposes an adiabatic quantum search algorithm using an ensemble of three-level atoms in a single-mode cavity driven by two lasers. The method utilizes an inverse fractional stimulated Raman adiabatic passage (if-STIRAP) to transition from an entangled initial state to a marked state. This process enables Grover's speedup, where the required time scales proportionally to the square root of the database size. ", "entities": [ { "name": "Adiabatic quantum search with atoms in a cavity driven by lasers", "entity_id": "adiabatic_quantum_search_with_atoms_in_a_cavity_driven_by_lasers", "entity_type": "method", "aliases": [], "attributes": { "authors": "D Daems, S Guérin", "implementation_type": "adiabatic passage", "system_components": "cavity-laser-atom system", "database_size": "N", "time_scaling": "√N", "novelty": "first proposed implementation of the adiabatic Grover algorithm" }, "relationships": [ { "predicate": "uses_system", "target": "ensemble of N identical three-level atoms", "attributes": {}, "target_id": null }, { "predicate": "uses_system", "target": "single-mode cavity", "attributes": {}, "target_id": null }, { "predicate": "uses_system", "target": "two lasers", "attributes": {}, "target_id": null }, { "predicate": "achieves_speedup", "target": "Grover speedup", "attributes": {}, "target_id": null }, { "predicate": "employs_technique", "target": "inverse fractional stimulated Raman adiabatic passage (if-STIRAP)", "attributes": {}, "target_id": null } ] }, { "name": "ensemble of N identical three-level atoms", "entity_id": "ensemble_of_n_identical_three_level_atoms", "entity_type": "other", "aliases": [], "attributes": { "atomic_configuration": "Λ configuration", "ground_states": "|g>, |g'>", "excited_state": "|e>", "coupling_mechanism": "Exchanging a single photon with the chamber ", "database_entry_representation": "state |g'>", "model_entity_type": "physical_system" }, "relationships": [ { "predicate": "trapped_in", "target": "single-mode cavity", "attributes": {}, "target_id": null }, { "predicate": "driven_by", "target": "two lasers", "attributes": {}, "target_id": null }, { "predicate": "contains_marked_atom", "target": "atom with tag N", "attributes": {}, "target_id": null } ] }, { "name": "single-mode cavity", "entity_id": "single_mode_cavity", "entity_type": "other", "aliases": [], "attributes": { "coupling_frequency": "G", "model_entity_type": "physical_system" }, "relationships": [ { "predicate": "traps", "target": "ensemble of N identical three-level atoms", "attributes": {}, "target_id": null } ] }, { "name": "two lasers", "entity_id": "two_lasers", "entity_type": "other", "aliases": [], "attributes": { "rabi_frequencies": "Ω, Ω'", "polarization": "appropriate polarizations", "model_entity_type": "physical_system" }, "relationships": [ { "predicate": "drives", "target": "ensemble of N identical three-level atoms", "attributes": {}, "target_id": null } ] }, { "name": "marked atom", "entity_id": "marked_atom", "entity_type": "other", "aliases": [], "attributes": { "tag": "N", "energy_gap": "shifted by δ", "unmarked_atom_energy": "zero", "model_entity_type": "physical_system" }, "relationships": [ { "predicate": "part_of", "target": "ensemble of N identical three-level atoms", "attributes": {}, "target_id": null } ] }, { "name": "initial entangled state |w>", "entity_id": "initial_entangled_state_w", "entity_type": "other", "aliases": [], "attributes": { "definition": "(1/√N) Σ |g'j, 0>", "feature": "collective single-photon atomic excitation", "preparation_technique": "stimulated Raman adiabatic passage (STIRAP)", "model_entity_type": "quantum_state" }, "relationships": [ { "predicate": "belongs_to", "target": "decoherence-free adiabatic subspace", "attributes": {}, "target_id": null }, { "predicate": "is_superposition_of", "target": "marked state |m> and unmarked collective state |g'u, 0>", "attributes": {}, "target_id": null } ] }, { "name": "marked state |m>", "entity_id": "marked_state_m", "entity_type": "other", "aliases": [], "attributes": { "definition": "|g'N, 0>", "energy_shift": "δ", "model_entity_type": "quantum_state" }, "relationships": [ { "predicate": "is_target_of", "target": "inverse fractional stimulated Raman adiabatic passage (if-STIRAP)", "attributes": {}, "target_id": null } ] }, { "name": "inverse fractional stimulated Raman adiabatic passage (if-STIRAP)", "entity_id": "inverse_fractional_stimulated_raman_adiabatic_passage_if_stirap", "entity_type": "method", "aliases": [], "attributes": { "definition": "time inversion of fractional STIRAP", "operation": "switches on Ω and Ω' together, then switches off Ω' before Ω", "time_scaling": "√N" }, "relationships": [ { "predicate": "drives_population_to", "target": "marked state |m>", "attributes": {}, "target_id": null }, { "predicate": "starts_from", "target": "initial entangled state |w>", "attributes": {}, "target_id": null } ] }, { "name": "Grover algorithm", "entity_id": "grover_algorithm", "entity_type": "other", "aliases": [], "attributes": { "task": "search of a marked entry in an unsorted database", "speedup": "quadratic", "classical_average_calls": "N/2", "quantum_steps": "N^1/2", "experimental_tests": "NMR, optics, trapped ions", "model_entity_type": "algorithm" }, "relationships": [ { "predicate": "formulated_with", "target": "quantum gates", "attributes": {}, "target_id": null }, { "predicate": "uses_oracle", "target": "oracle function", "attributes": {}, "target_id": null } ] }, { "name": "time continuous Grover algorithm", "entity_id": "time_continuous_grover_algorithm", "entity_type": "other", "aliases": [], "attributes": { "proposers": "Fahri and Gutmann", "mechanism": "driving Hamiltonian leads continuously initial state to marked one", "time_scaling": "N^1/2 / E", "experimental_realization": "NMR with quadrupolar coupling", "model_entity_type": "algorithm" }, "relationships": [ { "predicate": "uses_hamiltonian", "target": "V = E|w>'", "normalized unsupported entity type 'quantum_state' for 'marked state |m>'", "normalized unsupported entity type 'algorithm' for 'Grover algorithm'", "normalized unsupported entity type 'algorithm' for 'time continuous Grover algorithm'" ] }, { "chunk_index": 1, "context_summary": "The system Hamiltonian for N atoms in a cavity is block-diagonalized by the number of photons, with the single-photon block supporting the Grover search. A unitary transformation maps the system to a basis of uniform superpositions of unmarked and marked states, allowing for the derivation of an effective Hamiltonian. The resonant approximation and adiabatic elimination are applied to simplify the dynamics, resulting in an effective Hamiltonian valid when the pulse amplitude is small relative to the coupling strength.", "entities": [ { "name": "system Hamiltonian", "entity_id": "system_hamiltonian", "entity_type": "concept", "aliases": [], "attributes": { "structure": "photonic block diagonal", "blocks_labeled_by": "number of photons k in cavity when atoms are in ground state |g>", "derivation": "exact" }, "relationships": [ { "predicate": "decomposed_into", "target": "block P_1 H_P_1", "attributes": {}, "target_id": null } ] }, { "name": "block P_1 H_P_1", "entity_id": "block_p_1_h_p_1", "entity_type": "concept", "aliases": [], "attributes": { "associated_with": "single photon in the cavity", "function": "implements adiabatic Grover search algorithm" }, "relationships": [ { "predicate": "connected_to", "target": "two families of states", "attributes": {}, "target_id": null } ] }, { "name": "state |g, 1>", "entity_id": "state_g_1", "entity_type": "concept", "aliases": [], "attributes": { "description": "multipartite state with one photon in cavity and atoms in ground state" }, "relationships": [ { "predicate": "connected_to", "target": "excited states |e_j, 0>", "attributes": {}, "target_id": null }, { "predicate": "connected_to", "target": "states |g'_j, 0>", "attributes": {}, "target_id": null } ] }, { "name": "state |e_j, 0>", "entity_id": "state_e_j_0", "entity_type": "concept", "aliases": [], "attributes": { "description": "excited state of atom j with others in ground state |g>", "reached_by": "absorption of cavity photon" }, "relationships": [] }, { "name": "state |g'_j, 0>", "entity_id": "state_g_j_0", "entity_type": "concept", "aliases": [], "attributes": { "description": "atom j in ground state |g'> with others in ground state |g>", "reached_by": "absorption of one laser photon", "status": "unmarked" }, "relationships": [] }, { "name": "state |g'_N, 0>", "entity_id": "state_g_n_0", "entity_type": "concept", "aliases": [], "attributes": { "status": "marked" }, "relationships": [] }, { "name": "unitary transformation W", "entity_id": "unitary_transformation_w", "entity_type": "method", "aliases": [], "attributes": { "function": "maps Hamiltonian to basis of uniform superpositions", "basis_states": "|g'_u, 0>, |g'_N, 0>, |g, 1>, |e_u, 0>, |e_N, 0>" }, "relationships": [ { "predicate": "decouples", "target": "subspace of Grover search states", "attributes": {}, "target_id": null } ] }, { "name": "unitary transformation T", "entity_id": "unitary_transformation_t", "entity_type": "method", "aliases": [], "attributes": { "function": "diagonalizes block V_c", "eigenvalues": "gamma_0 = 0, gamma_plus/minus = +/- sqrt(N)G" }, "relationships": [] }, { "name": "resonant approximation", "entity_id": "resonant_approximation", "entity_type": "method", "aliases": [], "attributes": { "condition": "time scale T >> delta^-1", "replacement": "Sigma ~ Omega, Sigma' ~ Omega'" }, "relationships": [ { "predicate": "removes", "target": "oscillatory time dependence from laser", "attributes": {}, "target_id": null } ] }, { "name": "adiabatic elimination", "entity_id": "adiabatic_elimination", "entity_type": "method", "aliases": [], "attributes": { "condition": "Omega_peak / (N G) << 1", "result": "effective Hamiltonian H_eff" }, "relationships": [ { "predicate": "produces", "target": "H_eff = A - B C^-1 B^dagger", "attributes": {}, "target_id": null }, { "predicate": "valid_up_to_order", "target": "(Omega_peak / N G)^4", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 1, "start_word": 988, "end_word": 1986, "word_count": 998, "sha256": "b0c8218e6b7b3263e16c713ad59bab45edb0b991f4734a384ba52bff6d39a42e", "sentence_minhash": [ 87042938965968753, 18551641988871988, 23103724853578534, 53442166147602330, 148925132169520149, 20257807012622824, 175774020269814206, 63183425104977485, 96635883400075078, 104074491380294736, 53901033911654042, 7735249562228291, 11610845633202285, 84690670495521798, 98254322503569589, 778033808000220760 ] }, "extraction_warnings": [] }, { "chunk_index": 2, "context_summary": "The effective Hamiltonian for the cavity-laser-atom system is analyzed in a basis that facilitates adiabatic population transfer from a uniform superposition to a marked state. The process requires simultaneous pulse activation and specific pulse shaping to maintain a constant ratio between the adiabatic parameter and the energy gap. Analytical and numerical results confirm that the process duration scales as the square root of the database size while maintaining high transfer efficiency.", "entities": [ { "name": "effective Hamiltonian", "entity_id": "effective_hamiltonian", "entity_type": "concept", "aliases": [], "attributes": { "basis": "|g'N, 0>, |gamma_0>, |g'u, 0>" }, "relationships": [ { "predicate": "governs_transfer_from", "target": "initial state |g'u, 0>", "attributes": {}, "target_id": null }, { "predicate": "governs_transfer_to", "target": "marked state |g'N, 0>", "attributes": {}, "target_id": null }, { "predicate": "requires_time_scaling", "target": "sqrt(N)", "attributes": {}, "target_id": null } ] }, { "name": "initial state |g'u, 0>", "entity_id": "initial_state_g_u_0", "entity_type": "other", "aliases": [], "attributes": { "role": "not playing a significant role for any of the N-states ", "model_entity_type": "state" }, "relationships": [ { "predicate": "is_uniform_superposition", "target": "true", "attributes": {}, "target_id": null } ] }, { "name": "marked state |g'N, 0>", "entity_id": "marked_state_g_n_0", "entity_type": "other", "aliases": [], "attributes": { "role": "final state", "model_entity_type": "state" }, "relationships": [] }, { "name": "instantaneous eigenstates", "entity_id": "instantaneous_eigenstates", "entity_type": "concept", "aliases": [], "attributes": { "eigenvalues": "0 and +/- Lambda(t)" }, "relationships": [ { "predicate": "defined_by_angle", "target": "theta(t)", "attributes": {}, "target_id": null } ] }, { "name": "adiabatic condition", "entity_id": "adiabatic_condition", "entity_type": "method", "aliases": [], "attributes": { "constraint": "theta << Lambda", "ratio_constraint": "theta and Lambda in constant small ratio epsilon" }, "relationships": [ { "predicate": "ensures_negligible_transitions", "target": "between instantaneous eigenstates", "attributes": {}, "target_id": null }, { "predicate": "leads_to_scaling", "target": "sqrt(N)", "attributes": {}, "target_id": null } ] }, { "name": "pulse requirements", "entity_id": "pulse_requirements", "entity_type": "method", "aliases": [], "attributes": { "initial_condition": "Omega'(ti) = Omega(ti)", "turn_off_order": "Omega' turned off before Omega" }, "relationships": [ { "predicate": "enables_transfer_to", "target": "marked state |g'N, 0>", "attributes": {}, "target_id": null } ] }, { "name": "pulse area A(T)", "entity_id": "pulse_area_a_t", "entity_type": "measurement", "aliases": [], "attributes": { "definition": "Omega * T", "scaling": "sqrt(N) for constant average amplitude" }, "relationships": [] }, { "name": "numerical simulation", "entity_id": "numerical_simulation", "entity_type": "method", "aliases": [], "attributes": { "parameters": "N=8, epsilon=0.05, Gaussian pulse Omega", "result": "efficient transfer to marked state, low transient population in excited states" }, "relationships": [ { "predicate": "verifies_scaling", "target": "sqrt(N)", "attributes": {}, "target_id": null } ] }, { "name": "adiabatic Grover search", "entity_id": "adiabatic_grover_search", "entity_type": "concept", "aliases": [], "attributes": { "implementation": "cavity-laser-atom system", "robustness": "related to STIRAP" }, "relationships": [ { "predicate": "first_physical_implementation", "target": "true", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 2, "start_word": 1986, "end_word": 2832, "word_count": 846, "sha256": "284e8e2a73b1cec33f97bad7cc827248088cb34c3fa5d61feb36b2f31c056cac", "sentence_minhash": [ 175406989424540837, 1306423125707224, 40863640610520970, 131409577653329195, 10333787564937573, 20257807012622824, 23718652799488495, 1125529973969978, 64333332902950267, 92715222163426349, 72067118342250724, 34538575912147783, 21933493368060407, 906306679132868, 37122965930226008, 69242845566341429 ] }, "extraction_warnings": [ "normalized unsupported entity type 'state' for \"initial state |g'u, 0>\"", "normalized unsupported entity type 'state' for \"marked state |g'N, 0>\"" ] } ], "canonical_entities": [] }, "chunks_expected": 3, "chunks_generated": 3, "failed_chunks": [], "repair": { "accepted_windows": 3, "rolled_back": false, "original_context_sha256": "030a4b6c3ff5e4166e609e8acaacf779ccbec7bca837b5dcf3b3d951d73c5419", "final_context_sha256": "cb7e4a31675b667253405a7f64bd938b69cf8c3f0379b6b6c8b5f8091b1a0aa2", "critical_values": { "passed": true, "checks": { "numbers": true, "quantities": true, "formulas": true, "mathematical_variables": true, "operators": true }, "before": { "numbers": [ "1", "0", "0", "0", "2", "1", "2", "1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "1", "0", "0", "0", "-1", "1", "-1", "4", "0", "0", "0", "0", "0", "0", "0", "0", "8", "0.05" ], "quantities": [], "formulas": [ "0=E", "A(T)", "A-B", "C^-1", "H_eff=A", "N/2", "N=8", "N^1/2", "N^1/2/E", "V=E", "a_0=0", "chemical:H0", "m>a", "n=0.05", "sqrt(N)", "sqrt(N)", "sqrt(N)", "sqrt(N)", "sqrt(N)" ], "mathematical_variables": [ "H_P_1", "H_P_1", "H_eff", "H_eff", "P_1", "P_1", "V_c", "a_0", "a_0", "a_peak", "a_peak", "a_plus", "c_configuration", "d_atom_energy", "d_by", "d_by", "d_by_angle", "d_in", "d_into", "d_state", "d_states", "d_to", "d_to", "d_to", "d_up_to_order", "d_with", "d_with", "e_N", "e_entry_representation", "e_j", "e_j", "e_scaling", "e_scaling", "e_scaling", "e_size", "e_u", "g_frequency", "g_mechanism", "i_frequencies", "l_average_calls", "l_condition", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_realization", "l_system", "l_system", "l_system", "l_system", "l_tests", "m_components", "m_state", "m_state", "m_steps", "n_by", "n_off_order", "n_technique", "n_type", "o_constraint", "s_from", "s_hamiltonian", "s_labeled_by", "s_marked_atom", "s_negligible_transitions", "s_oracle", "s_population_to", "s_scaling", "s_speedup", "s_states", "s_superposition_of", "s_system", "s_system", "s_system", "s_target_of", "s_technique", "s_time_scaling", "s_to", "s_to_scaling", "s_transfer_from", "s_transfer_to", "s_transfer_to", "s_uniform_superposition", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_of", "t_physical_implementation", "t_summary", "t_summary", "t_summary", "y_gap", "y_shift", "Λ", "Σ", "Ω", "Ω", "Ω", "Ω", "Ω", "Ω", "δ", "δ" ], "operators": [ "√", ">", ">", ">", ">", ">", "√", ">", ">", ">", ">", ">", "√", ">", ">", "=", ">", "<", "=", ">", "<", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", "=", "=", ">", ">", "<", "<", "=", ">", ">", ">", ">", ">", ">", ">", "<", "<", "=", ">", "=", "=" ] }, "after": { "numbers": [ "1", "0", "0", "0", "2", "1", "2", "1", "2", "1", "0", "0", "0", "0", "0", "0", "0", "1", "0", "0", "0", "-1", "1", "-1", "4", "0", "0", "0", "0", "0", "0", "0", "0", "8", "0.05" ], "quantities": [], "formulas": [ "0=E", "A(T)", "A-B", "C^-1", "H_eff=A", "N/2", "N=8", "N^1/2", "N^1/2/E", "V=E", "a_0=0", "chemical:H0", "m>a", "n=0.05", "sqrt(N)", "sqrt(N)", "sqrt(N)", "sqrt(N)", "sqrt(N)" ], "mathematical_variables": [ "H_P_1", "H_P_1", "H_eff", "H_eff", "P_1", "P_1", "V_c", "a_0", "a_0", "a_peak", "a_peak", "a_plus", "c_configuration", "d_atom_energy", "d_by", "d_by", "d_by_angle", "d_in", "d_into", "d_state", "d_states", "d_to", "d_to", "d_to", "d_up_to_order", "d_with", "d_with", "e_N", "e_entry_representation", "e_j", "e_j", "e_scaling", "e_scaling", "e_scaling", "e_size", "e_u", "g_frequency", "g_mechanism", "i_frequencies", "l_average_calls", "l_condition", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_realization", "l_system", "l_system", "l_system", "l_system", "l_tests", "m_components", "m_state", "m_state", "m_steps", "n_by", "n_off_order", "n_technique", "n_type", "o_constraint", "s_from", "s_hamiltonian", "s_labeled_by", "s_marked_atom", "s_negligible_transitions", "s_oracle", "s_population_to", "s_scaling", "s_speedup", "s_states", "s_superposition_of", "s_system", "s_system", "s_system", "s_target_of", "s_technique", "s_time_scaling", "s_to", "s_to_scaling", "s_transfer_from", "s_transfer_to", "s_transfer_to", "s_uniform_superposition", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_of", "t_physical_implementation", "t_summary", "t_summary", "t_summary", "y_gap", "y_shift", "Λ", "Σ", "Ω", "Ω", "Ω", "Ω", "Ω", "Ω", "δ", "δ" ], "operators": [ "√", ">", ">", ">", ">", ">", "√", ">", ">", ">", ">", ">", "√", ">", ">", "=", ">", "<", "=", ">", "<", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", ">", "=", "=", ">", ">", "<", "<", "=", ">", ">", ">", ">", ">", ">", ">", "<", "<", "=", ">", "=", "=" ] }, "numeric_content_present": true, "formula_content_present": true, "exact_text_unchanged": false, "interpretation": "Conservative preservation filter; changed signatures require review and can include harmless reordering or equivalent unit/algebra conversions" } }, "condition": "gemma12_r128_ku1000_bt", "source_metadata": { "title": "Adiabatic quantum search with atoms in a cavity driven by lasers", "authors": [ "D Daems", "S Guérin" ], "doi": "10.48550/arxiv.0707.3054", "year": "", "openalex_id": "https://openalex.org/W6966772245", "origin": "Existing disjoint 20-paper benchmark cohort", "metadata_added_for_attribution_only": true, "metadata_not_used_to_change_QA_context": true } }