Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315702703> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4315702703 abstract "The simulation of quantum programs by classical computers is a critical endeavor for several reasons: it provides proof-of-concept validation of quantum algorithms; it provides opportunities to experiment with new programming abstractions suitable for the quantum domain; and most significantly it is a way to explore the elusive boundary at which a quantum advantage may materialize. Here, we show that traditional techniques of symbolic evaluation and partial evaluation yield surprisingly efficient classical simulations for some instances of textbook quantum algorithms that include the Deutsch, Deutsch-Jozsa, Bernstein-Vazirani, Simon, Grover, and Shor's algorithms. The success of traditional partial evaluation techniques in this domain is due to one simple insight: the quantum bits used in these algorithms can be modeled by a symbolic boolean variable while still keeping track of the correlations due to superposition and entanglement. More precisely, the system of constraints generated over the symbolic variables contains all the necessary quantum correlations and hence the answer to the quantum algorithms. With a few programming tricks explained in the paper, quantum circuits with millions of gates can be symbolically executed in seconds. Paradoxically, other circuits with as few as a dozen gates take exponential time. We reflect on the significance of these results in the conclusion." @default.
- W4315702703 created "2023-01-12" @default.
- W4315702703 creator A5074007281 @default.
- W4315702703 creator A5077522382 @default.
- W4315702703 creator A5084476883 @default.
- W4315702703 date "2023-01-15" @default.
- W4315702703 modified "2023-09-28" @default.
- W4315702703 title "Symbolic Execution of Hadamard-Toffoli Quantum Circuits" @default.
- W4315702703 cites W1494472896 @default.
- W4315702703 cites W1983342812 @default.
- W4315702703 cites W1993688167 @default.
- W4315702703 cites W2022252751 @default.
- W4315702703 cites W2034661659 @default.
- W4315702703 cites W2035112473 @default.
- W4315702703 cites W2036265926 @default.
- W4315702703 cites W2053005188 @default.
- W4315702703 cites W2061686717 @default.
- W4315702703 cites W2061693915 @default.
- W4315702703 cites W2084652510 @default.
- W4315702703 cites W2094382938 @default.
- W4315702703 cites W2101512909 @default.
- W4315702703 cites W2102540828 @default.
- W4315702703 cites W2123092976 @default.
- W4315702703 cites W2137005141 @default.
- W4315702703 cites W2165813048 @default.
- W4315702703 cites W2401610261 @default.
- W4315702703 cites W2487095096 @default.
- W4315702703 cites W2803889673 @default.
- W4315702703 cites W2963723316 @default.
- W4315702703 cites W2964063279 @default.
- W4315702703 cites W2990961515 @default.
- W4315702703 cites W3022280934 @default.
- W4315702703 cites W3102057473 @default.
- W4315702703 cites W3111297213 @default.
- W4315702703 cites W3145762812 @default.
- W4315702703 cites W4307886648 @default.
- W4315702703 doi "https://doi.org/10.1145/3571786.3573018" @default.
- W4315702703 hasPublicationYear "2023" @default.
- W4315702703 type Work @default.
- W4315702703 citedByCount "1" @default.
- W4315702703 countsByYear W43157027032023 @default.
- W4315702703 crossrefType "proceedings-article" @default.
- W4315702703 hasAuthorship W4315702703A5074007281 @default.
- W4315702703 hasAuthorship W4315702703A5077522382 @default.
- W4315702703 hasAuthorship W4315702703A5084476883 @default.
- W4315702703 hasConcept C119599485 @default.
- W4315702703 hasConcept C121332964 @default.
- W4315702703 hasConcept C127413603 @default.
- W4315702703 hasConcept C134146338 @default.
- W4315702703 hasConcept C134306372 @default.
- W4315702703 hasConcept C142465778 @default.
- W4315702703 hasConcept C173608175 @default.
- W4315702703 hasConcept C33923547 @default.
- W4315702703 hasConcept C41008148 @default.
- W4315702703 hasConcept C58053490 @default.
- W4315702703 hasConcept C58849907 @default.
- W4315702703 hasConcept C60292330 @default.
- W4315702703 hasConcept C62520636 @default.
- W4315702703 hasConcept C80444323 @default.
- W4315702703 hasConcept C84114770 @default.
- W4315702703 hasConcept C94375191 @default.
- W4315702703 hasConceptScore W4315702703C119599485 @default.
- W4315702703 hasConceptScore W4315702703C121332964 @default.
- W4315702703 hasConceptScore W4315702703C127413603 @default.
- W4315702703 hasConceptScore W4315702703C134146338 @default.
- W4315702703 hasConceptScore W4315702703C134306372 @default.
- W4315702703 hasConceptScore W4315702703C142465778 @default.
- W4315702703 hasConceptScore W4315702703C173608175 @default.
- W4315702703 hasConceptScore W4315702703C33923547 @default.
- W4315702703 hasConceptScore W4315702703C41008148 @default.
- W4315702703 hasConceptScore W4315702703C58053490 @default.
- W4315702703 hasConceptScore W4315702703C58849907 @default.
- W4315702703 hasConceptScore W4315702703C60292330 @default.
- W4315702703 hasConceptScore W4315702703C62520636 @default.
- W4315702703 hasConceptScore W4315702703C80444323 @default.
- W4315702703 hasConceptScore W4315702703C84114770 @default.
- W4315702703 hasConceptScore W4315702703C94375191 @default.
- W4315702703 hasLocation W43157027031 @default.
- W4315702703 hasOpenAccess W4315702703 @default.
- W4315702703 hasPrimaryLocation W43157027031 @default.
- W4315702703 hasRelatedWork W1632729363 @default.
- W4315702703 hasRelatedWork W1980058379 @default.
- W4315702703 hasRelatedWork W1986841879 @default.
- W4315702703 hasRelatedWork W2005170092 @default.
- W4315702703 hasRelatedWork W2013303566 @default.
- W4315702703 hasRelatedWork W2114969008 @default.
- W4315702703 hasRelatedWork W2123966036 @default.
- W4315702703 hasRelatedWork W2573144063 @default.
- W4315702703 hasRelatedWork W2889990744 @default.
- W4315702703 hasRelatedWork W3123340969 @default.
- W4315702703 isParatext "false" @default.
- W4315702703 isRetracted "false" @default.
- W4315702703 workType "article" @default.