Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313484475> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4313484475 abstract "With the race to build large-scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification methods are of vital importance. We propose a novel formal verification method that is targeted at Quantum Fourier Transform (QFT) circuits. QFT is a fundamental quantum algorithm that forms the basis of many quantum computing applications. The verification method employs abstractions of quantum gates used in QFT that leads to a reduction of the verification problem from Hilbert space to the quantifier free logic of bit-vectors. Very efficient decision procedures are available to reason about bit-vectors. Therefore, our method is able to scale up to the verification of QFT circuits with 10,000 qubits and 50 million quantum gates, providing a meteoric advance in the size of QFT circuits thus far verified using formal verification methods." @default.
- W4313484475 created "2023-01-06" @default.
- W4313484475 creator A5018279889 @default.
- W4313484475 creator A5033170576 @default.
- W4313484475 creator A5049700487 @default.
- W4313484475 date "2023-01-02" @default.
- W4313484475 modified "2023-09-25" @default.
- W4313484475 title "Rotational Abstractions for Verification of Quantum Fourier Transform Circuits" @default.
- W4313484475 doi "https://doi.org/10.48550/arxiv.2301.00737" @default.
- W4313484475 hasPublicationYear "2023" @default.
- W4313484475 type Work @default.
- W4313484475 citedByCount "0" @default.
- W4313484475 crossrefType "posted-content" @default.
- W4313484475 hasAuthorship W4313484475A5018279889 @default.
- W4313484475 hasAuthorship W4313484475A5033170576 @default.
- W4313484475 hasAuthorship W4313484475A5049700487 @default.
- W4313484475 hasBestOaLocation W43134844751 @default.
- W4313484475 hasConcept C111498074 @default.
- W4313484475 hasConcept C113775141 @default.
- W4313484475 hasConcept C11413529 @default.
- W4313484475 hasConcept C121332964 @default.
- W4313484475 hasConcept C124148022 @default.
- W4313484475 hasConcept C137019171 @default.
- W4313484475 hasConcept C149091818 @default.
- W4313484475 hasConcept C169699857 @default.
- W4313484475 hasConcept C186846655 @default.
- W4313484475 hasConcept C187250869 @default.
- W4313484475 hasConcept C190463098 @default.
- W4313484475 hasConcept C190474826 @default.
- W4313484475 hasConcept C199360897 @default.
- W4313484475 hasConcept C203087015 @default.
- W4313484475 hasConcept C2777904410 @default.
- W4313484475 hasConcept C41008148 @default.
- W4313484475 hasConcept C51003876 @default.
- W4313484475 hasConcept C58053490 @default.
- W4313484475 hasConcept C58849907 @default.
- W4313484475 hasConcept C59500034 @default.
- W4313484475 hasConcept C62520636 @default.
- W4313484475 hasConcept C80444323 @default.
- W4313484475 hasConcept C84114770 @default.
- W4313484475 hasConceptScore W4313484475C111498074 @default.
- W4313484475 hasConceptScore W4313484475C113775141 @default.
- W4313484475 hasConceptScore W4313484475C11413529 @default.
- W4313484475 hasConceptScore W4313484475C121332964 @default.
- W4313484475 hasConceptScore W4313484475C124148022 @default.
- W4313484475 hasConceptScore W4313484475C137019171 @default.
- W4313484475 hasConceptScore W4313484475C149091818 @default.
- W4313484475 hasConceptScore W4313484475C169699857 @default.
- W4313484475 hasConceptScore W4313484475C186846655 @default.
- W4313484475 hasConceptScore W4313484475C187250869 @default.
- W4313484475 hasConceptScore W4313484475C190463098 @default.
- W4313484475 hasConceptScore W4313484475C190474826 @default.
- W4313484475 hasConceptScore W4313484475C199360897 @default.
- W4313484475 hasConceptScore W4313484475C203087015 @default.
- W4313484475 hasConceptScore W4313484475C2777904410 @default.
- W4313484475 hasConceptScore W4313484475C41008148 @default.
- W4313484475 hasConceptScore W4313484475C51003876 @default.
- W4313484475 hasConceptScore W4313484475C58053490 @default.
- W4313484475 hasConceptScore W4313484475C58849907 @default.
- W4313484475 hasConceptScore W4313484475C59500034 @default.
- W4313484475 hasConceptScore W4313484475C62520636 @default.
- W4313484475 hasConceptScore W4313484475C80444323 @default.
- W4313484475 hasConceptScore W4313484475C84114770 @default.
- W4313484475 hasLocation W43134844751 @default.
- W4313484475 hasOpenAccess W4313484475 @default.
- W4313484475 hasPrimaryLocation W43134844751 @default.
- W4313484475 hasRelatedWork W1641472573 @default.
- W4313484475 hasRelatedWork W2023470361 @default.
- W4313484475 hasRelatedWork W2037426566 @default.
- W4313484475 hasRelatedWork W2124098936 @default.
- W4313484475 hasRelatedWork W2497104201 @default.
- W4313484475 hasRelatedWork W2950972572 @default.
- W4313484475 hasRelatedWork W3112921883 @default.
- W4313484475 hasRelatedWork W3131420525 @default.
- W4313484475 hasRelatedWork W4225569976 @default.
- W4313484475 hasRelatedWork W4303422201 @default.
- W4313484475 isParatext "false" @default.
- W4313484475 isRetracted "false" @default.
- W4313484475 workType "article" @default.