Search results for "Quantum algorithm"

showing 10 items of 103 documents

Quantum Identification of Boolean Oracles

2004

The oracle identification problem (OIP) is, given a set S of M Boolean oracles out of 2 N ones, to determine which oracle in S is the current black-box oracle. We can exploit the information that candidates of the current oracle is restricted to S. The OIP contains several concrete problems such as the original Grover search and the Bernstein-Vazirani problem. Our interest is in the quantum query complexity, for which we present several upper bounds. They are quite general and mostly optimal: (i) The query complexity of OIP is \(O(\sqrt{N {\rm log} M {\rm log} N}{\rm log log} M)\) for anyS such that M = |S| > N, which is better than the obvious bound N if M \(< 2^{N/log^3 N}\). (ii) It is \…

CombinatoricsStatistics::TheoryLog-log plotTheoryofComputation_GENERALQuantum walkQuantum algorithmComputer Science::Computational ComplexityBoolean functionUpper and lower boundsOracleQuantum computerMathematicsRandom oracle
researchProduct

How Low Can Approximate Degree and Quantum Query Complexity Be for Total Boolean Functions?

2012

It has long been known that any Boolean function that depends on n input variables has both degree and exact quantum query complexity of Omega(log n), and that this bound is achieved for some functions. In this paper we study the case of approximate degree and bounded-error quantum query complexity. We show that for these measures the correct lower bound is Omega(log n / loglog n), and we exhibit quantum algorithms for two functions where this bound is achieved.

Computational complexity theoryGeneral MathematicsFOS: Physical sciences0102 computer and information sciences02 engineering and technology01 natural sciencesUpper and lower boundsTheoretical Computer ScienceComplexity indexCombinatorics0202 electrical engineering electronic engineering information engineeringBoolean functionMathematicsQuantum computerDiscrete mathematicsQuantum PhysicsApproximation theoryDegree (graph theory)TheoryofComputation_GENERALApproximation algorithmComputational MathematicsComputational Theory and Mathematics010201 computation theory & mathematics020201 artificial intelligence & image processingQuantum algorithmQuantum Physics (quant-ph)Quantum complexity theory2013 IEEE Conference on Computational Complexity
researchProduct

Datorzinātne un informācijas tehnoloģijas: Datu bāzes un informācijas sistēmas: doktorantu konsorcijs. Sestā Starptautiskā Baltijas konference Baltic…

2004

The Baltic Conference on Databases and Information Systems is a biannual international forum for technical discussion among researchers and developers of database and information systems. The objective of the conference is to bring together researchers as well as practitioners and PhD students in the field of computing research that will improve the construction of future information systems. On the other hand, the conference is giving opportunities to developers, users and researchers of advanced IS technologies to present their work and to exchange their ideas and at the same time providing a feedback to database community.

Computational complexityDatnesQuantum algorithmsDatabasesDataInformation systems:TECHNOLOGY::Information technology::Computer science [Research Subject Categories]DatubāzesQuantum computingBoolean functionsInformācijas sistēmas
researchProduct

On the Quantum and Classical Complexity of Solving Subtraction Games

2019

We study algorithms for solving Subtraction games, which are sometimes referred as one-heap Nim games.

Computer Science::Computer Science and Game TheoryComputer science010102 general mathematicsComputingMilieux_PERSONALCOMPUTINGSubtraction01 natural sciences010305 fluids & plasmasAlgebra0103 physical sciencesComputer Science::Programming LanguagesQuantum algorithmHardware_ARITHMETICANDLOGICSTRUCTURES0101 mathematicsQuantumGame theoryQuantum computer
researchProduct

Quantum-over-Classical Advantage in Solving Multiplayer Games

2020

We study the applicability of quantum algorithms in computational game theory and generalize some results related to Subtraction games, which are sometimes referred to as one-heap Nim games.

Computer Science::Computer Science and Game TheoryTheoretical computer scienceComputer scienceQuantum game theoryComputingMilieux_PERSONALCOMPUTINGSubtractionQuantum algorithmComputational game theoryQuantum
researchProduct

Connection between optimal control theory and adiabatic-passage techniques in quantum systems

2012

This work explores the relationship between optimal control theory and adiabatic passage techniques in quantum systems. The study is based on a geometric analysis of the Hamiltonian dynamics constructed from the Pontryagin Maximum Principle. In a three-level quantum system, we show that the Stimulated Raman Adiabatic Passage technique can be associated to a peculiar Hamiltonian singularity. One deduces that the adiabatic pulse is solution of the optimal control problem only for a specific cost functional. This analysis is extended to the case of a four-level quantum system.

DYNAMICSN-LEVEL SYSTEMSStimulated Raman adiabatic passageFOS: Physical sciences01 natural sciencesPULSE SEQUENCES010305 fluids & plasmasOpen quantum systemDESIGNQuantum mechanicsPhysics - Chemical Physics0103 physical sciences010306 general physicsAdiabatic processPhysicsChemical Physics (physics.chem-ph)Quantum PhysicsALGORITHMSAdiabatic quantum computationAtomic and Molecular Physics and OpticsNMRClassical mechanicsGeometric phaseAdiabatic invariantPOPULATION TRANSFERQuantum algorithmSTIRAPQuantum Physics (quant-ph)Hamiltonian (control theory)
researchProduct

Adjacent vertices can be hard to find by quantum walks

2018

Quantum walks have been useful for designing quantum algorithms that outperform their classical versions for a variety of search problems. Most of the papers, however, consider a search space containing a single marked element. We show that if the search space contains more than one marked element, their placement may drastically affect the performance of the search. More specifically, we study search by quantum walks on general graphs and show a wide class of configurations of marked vertices, for which search by quantum walk needs Ω(N) steps, that is, it has no speed-up over the classical exhaustive search. The demonstrated configurations occur for certain placements of two or more adjace…

Discrete mathematics0209 industrial biotechnologyControl and OptimizationComputer science010102 general mathematicsBrute-force search02 engineering and technologyGrid01 natural sciencesGraphHuman-Computer InteractionComputational Mathematics020901 industrial engineering & automationBipartite graphQuantum algorithmQuantum walkHypercube0101 mathematicsVariety (universal algebra)Element (category theory)Block (data storage)Discrete Models in Control Systems Theory
researchProduct

Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity

2016

Span program is a linear-algebraic model of computation which can be used to design quantum algorithms. For any Boolean function there exists a span program that leads to a quantum algorithm with optimal quantum query complexity. In general, finding such span programs is not an easy task. In this work, given a query access to the adjacency matrix of a simple graph G with n vertices, we provide two new span-program-based quantum algorithms:an algorithm for testing if the graph is bipartite that uses $$On\sqrt{n}$$ quantum queries;an algorithm for testing if the graph is connected that uses $$On\sqrt{n}$$ quantum queries.

Discrete mathematicsComputer scienceExistential quantificationModel of computationTheoryofComputation_GENERALComputerSystemsOrganization_MISCELLANEOUSBipartite graphGraph (abstract data type)Quantum algorithmAdjacency matrixBoolean functionQuantumComputer Science::DatabasesMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Grover’s Algorithm with Errors

2013

Grover’s algorithm is a quantum search algorithm solving the unstructured search problem of size n in \(O(\sqrt{n})\) queries, while any classical algorithm needs O(n) queries [3].

Discrete mathematicsDensity matrixComputer Science::Information RetrievalProbability of errorGrover's algorithmMatrix normSearch problemQuantum algorithmQuantum search algorithmComputer Science::DatabasesMathematics
researchProduct

Understanding Quantum Algorithms via Query Complexity

2017

Query complexity is a model of computation in which we have to compute a function $f(x_1, \ldots, x_N)$ of variables $x_i$ which can be accessed via queries. The complexity of an algorithm is measured by the number of queries that it makes. Query complexity is widely used for studying quantum algorithms, for two reasons. First, it includes many of the known quantum algorithms (including Grover's quantum search and a key subroutine of Shor's factoring algorithm). Second, one can prove lower bounds on the query complexity, bounding the possible quantum advantage. In the last few years, there have been major advances on several longstanding problems in the query complexity. In this talk, we su…

Discrete mathematicsFOS: Computer and information sciencesQuantum PhysicsComputer scienceModel of computationSubroutineComputer Science::Information RetrievalFOS: Physical sciencesFunction (mathematics)Computational Complexity (cs.CC)Symmetric functionComputer Science - Computational ComplexityBounding overwatchPartial functionKey (cryptography)Quantum algorithmQuantum Physics (quant-ph)Computer Science::Databases
researchProduct