Re: [cryptography] Grover's Algo Beaten?

2013-07-28 Thread Noon Silk
On Sun, Jul 28, 2013 at 3:49 PM, Russell Leidich pke...@gmail.com wrote:

 Thanks, Noon. It's good to know that some searches are still hard in the
 sense of square root as opposed to log of classical.

 So based on his actual claims in the papers you cited, when the EE Times
 article says:

 And he claims the process worked so well that even the largest data set
 of all -- every bit in the universe, which he describes in his book 
 *Programming
 the Universe* http://www.amazon.com/books/dp/1400033861, would only
 require a quantum computer with 300 q-bits to query in real-time.


I don't know exactly what they mean by this. I guess he's just saying
something like suppose I know that the number of bits of information the
universe is less than some number K, then I only need log2(K) qubits to
represent that many bits of information in a quantum computer. I'm not sure
it's particularly interesting.




 ...they don't mean query in the literal sense of a text search for an
 exact match of Joe Smith. What they really mean is more like: given a
 database of billions of car photos (support vectors), then look at my new
 car photo, and tell me what brand it is. In short, a vector classifier.


In the recent machine learning paper[1], they describe an algorithm that
does supervised machine learning (i.e. deciding whether a thing is either
truck-like or car-like, two choices for simplicity) in O(log (N M)) on a
quantum computer, instead of O(poly (N M)) on a classical computer, where M
is the number of samples from each of the clusters you're trying to assign
to (say M truck-like things, and M car-like things), and N is the dimension
of vector you're trying to assign (i.e. a thing that is either truck-like
or car-like).


Nevertheless, his putative exponential speedup over classical methods would
 be astounding, if it could be implemented, even if it really doesn't relate
 to Grover.



It's a cool result, no doubt. But you'll note that the classical algorithm
is already in P. The trouble is to find a quantum algorithm that solves a
problem that is hard classically, but easy quantumly. More technically,
it would be really astounding if we could separate BPP[2] and BQP[3].

--
Noon

[1] http://arxiv.org/abs/1307.0411
[2] http://en.wikipedia.org/wiki/BPP_%28complexity%29
[3] http://en.wikipedia.org/wiki/BQP
___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography


Re: [cryptography] Grover's Algo Beaten?

2013-07-28 Thread Jeffrey Goldberg
On Jul 27, 2013, at 9:29 PM, Russell Leidich pke...@gmail.com wrote:

 Is this to be taken seriously...
 
 Massachusetts Institute of Technology professor Seth Lloyd claims to have 
 developed a quantum search algo which can search 2^N (presumably unsorted) 
 records in O(N) time.

Grover’s original paper included a proof that his result was near a lower bound.

I don’t understand QM well enough (my linear algebra sucks) to have understood 
the proof sufficiently to see clearly what assumptions it relies on.

Cheers,

-j
___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography


Re: [cryptography] Grover's Algo Beaten?

2013-07-28 Thread Dean, James
Is it better than a radix sort?  
___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography


Re: [cryptography] Grover's Algo Beaten?

2013-07-27 Thread Noon Silk
On Sun, Jul 28, 2013 at 1:29 PM, Russell Leidich pke...@gmail.com wrote:

 Is this to be taken seriously...

 Massachusetts Institute of Technology professor Seth Lloyd claims to have
 developed a quantum search algo which can search 2^N (presumably unsorted)
 records in O(N) time. (This is the subtext of this mundane article about VC
 funding for search engines.)


No, he doesn't make any such claim (even if your claim was well-formed...)

The papers on machine learning can be found here:
  - http://arxiv.org/abs/1307.0411
  - http://arxiv.org/abs/1307.0471

Grover's algorithm is known to be optimal:
  - http://arxiv.org/abs/quant-ph/9711070
  - http://arxiv.org/abs/quant-ph/9605034

--
Noon







 http://www.eetimes.com/document.asp?doc_id=1319059
 http://www.amazon.com/books/dp/1400033861

 Reading between the lines, it sounds like the input is a binary pattern,
 and the output is a record number where said pattern is found, assuming
 that it exists in the database. (If it exists in multiple records, then
 each of those matches will be returned with essentially equal probability.)

 To the quantum computing notice, this invention is unsurprising. After
 all, N qubits in superposition assume 2^N states across multiverses, which
 obviously means that shortly after the computer starts up, it will already
 have found the desired record if it exists.

 But methinks this is all wrong. Grover's algo can only search 2^N unsorted
 records in O(2^(0.5N)) time. If I'm not mistaken, this derives from the
 difficulty of amplifying the correct result, in the presence of large
 numbers of near matches. For its part, DWave's operating manual goes into
 detail about this issue, involving Maxwell-Boltzmann energy distributions,
 providing practical evidence of this severe acceleration impediment.

 So it sounds like Lloyd is claiming that he's found a way to amplify the
 correct record with 100% probability -- in other words, to exploit quantum
 mechanics on a quantum system to mimic classical behavior.

 If he's right, then that would appear to be evidence that quantum
 computers can provide exponential, as opposed to merely square,
 acceleration of at least this one algo, if not others.

 I wish I could procure a copy of his book, but I'm geographically
 challenged. So nevermind his apparent egomaniacism. Is he right? Is EE
 Times just confused about his supposed invention?

 Aside: There's another subtle implication here, which is that multiverse
 density is for all practical purposes, infinite. In other words, you can in
 fact superimpose 2^N multiverse bubbles into the physical space occupied
 by N qubits, even if N is big enough to subsume all Landauer limit bit
 flips that could ever have occurred with all the energy in the universe
 (very roughly, N=400). This is a cornerstone of quantum theory which
 appears very difficult to test, absent a classically verifiable result like
 a Shor's factorization. There's something unsettling about the assumption
 that information density can be infinite despite finite systemic energy,
 when even inside black holes, that's not allowed (says Mr. Hawking). Maybe
 the maximum spatial density of multiverses is just really big, so that
 experiments to date would have not have run up against the limit.

 ___
 cryptography mailing list
 cryptography@randombit.net
 http://lists.randombit.net/mailman/listinfo/cryptography


___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography


Re: [cryptography] Grover's Algo Beaten?

2013-07-27 Thread James A. Donald

On 2013-07-28 1:29 PM, Russell Leidich wrote:

Is this to be taken seriously...

Massachusetts Institute of Technology professor Seth Lloyd claims to 
have developed a quantum search algo which can search 2^N (presumably 
unsorted) records in O(N) time. (This is the subtext of this mundane 
article about VC funding for search engines.)


http://www.eetimes.com/document.asp?doc_id=1319059
http://www.amazon.com/books/dp/1400033861

Reading between the lines, it sounds like the input is a binary 
pattern, and the output is a record number where said pattern is 
found, assuming that it exists in the database. (If it exists in 
multiple records, then each of those matches will be returned with 
essentially equal probability.)


To the quantum computing notice, this invention is unsurprising. After 
all, N qubits in superposition assume 2^N states across multiverses, 
which obviously means that shortly after the computer starts up, it 
will already have found the desired record if it exists.


But methinks this is all wrong. Grover's algo can only search 2^N 
unsorted records in O(2^(0.5N)) time. If I'm not mistaken, this 
derives from the difficulty of amplifying the correct result, in the 
presence of large numbers of near matches. For its part, DWave's 
operating manual goes into detail about this issue, involving 
Maxwell-Boltzmann energy distributions, providing practical evidence 
of this severe acceleration impediment.




DWave uses a different algorithm.  You might say that they create a 
hamiltonian whose ground state corresponds to the solution.


Loyd proposes to create a hamiltonian that moves  to a non ground state 
that corresponds to the solution.


DWave's algorithm is based on what their hardware can actually do - 
DWave is not a general purpose quantum computer, far from it.  Loyd is 
writing programs for a hypothetical general purpose quantum computer



___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography


Re: [cryptography] Grover's Algo Beaten?

2013-07-27 Thread Russell Leidich
Thanks, Noon. It's good to know that some searches are still hard in the
sense of square root as opposed to log of classical.

So based on his actual claims in the papers you cited, when the EE Times
article says:

And he claims the process worked so well that even the largest data set of
all -- every bit in the universe, which he describes in his book *Programming
the Universe* http://www.amazon.com/books/dp/1400033861, would only
require a quantum computer with 300 q-bits to query in real-time.

...they don't mean query in the literal sense of a text search for an
exact match of Joe Smith. What they really mean is more like: given a
database of billions of car photos (support vectors), then look at my new
car photo, and tell me what brand it is. In short, a vector classifier.

Nevertheless, his putative exponential speedup over classical methods would
be astounding, if it could be implemented, even if it really doesn't relate
to Grover.



On Sun, Jul 28, 2013 at 5:13 AM, Noon Silk noonsli...@gmail.com wrote:


 On Sun, Jul 28, 2013 at 1:29 PM, Russell Leidich pke...@gmail.com wrote:

 Is this to be taken seriously...

 Massachusetts Institute of Technology professor Seth Lloyd claims to have
 developed a quantum search algo which can search 2^N (presumably unsorted)
 records in O(N) time. (This is the subtext of this mundane article about VC
 funding for search engines.)


 No, he doesn't make any such claim (even if your claim was well-formed...)

 The papers on machine learning can be found here:
   - http://arxiv.org/abs/1307.0411
   - http://arxiv.org/abs/1307.0471

 Grover's algorithm is known to be optimal:
   - http://arxiv.org/abs/quant-ph/9711070
   - http://arxiv.org/abs/quant-ph/9605034

 --
 Noon







 http://www.eetimes.com/document.asp?doc_id=1319059
 http://www.amazon.com/books/dp/1400033861

 Reading between the lines, it sounds like the input is a binary pattern,
 and the output is a record number where said pattern is found, assuming
 that it exists in the database. (If it exists in multiple records, then
 each of those matches will be returned with essentially equal probability.)

 To the quantum computing notice, this invention is unsurprising. After
 all, N qubits in superposition assume 2^N states across multiverses, which
 obviously means that shortly after the computer starts up, it will already
 have found the desired record if it exists.

 But methinks this is all wrong. Grover's algo can only search 2^N
 unsorted records in O(2^(0.5N)) time. If I'm not mistaken, this derives
 from the difficulty of amplifying the correct result, in the presence of
 large numbers of near matches. For its part, DWave's operating manual
 goes into detail about this issue, involving Maxwell-Boltzmann energy
 distributions, providing practical evidence of this severe acceleration
 impediment.

 So it sounds like Lloyd is claiming that he's found a way to amplify the
 correct record with 100% probability -- in other words, to exploit quantum
 mechanics on a quantum system to mimic classical behavior.

 If he's right, then that would appear to be evidence that quantum
 computers can provide exponential, as opposed to merely square,
 acceleration of at least this one algo, if not others.

 I wish I could procure a copy of his book, but I'm geographically
 challenged. So nevermind his apparent egomaniacism. Is he right? Is EE
 Times just confused about his supposed invention?

 Aside: There's another subtle implication here, which is that multiverse
 density is for all practical purposes, infinite. In other words, you can in
 fact superimpose 2^N multiverse bubbles into the physical space occupied
 by N qubits, even if N is big enough to subsume all Landauer limit bit
 flips that could ever have occurred with all the energy in the universe
 (very roughly, N=400). This is a cornerstone of quantum theory which
 appears very difficult to test, absent a classically verifiable result like
 a Shor's factorization. There's something unsettling about the assumption
 that information density can be infinite despite finite systemic energy,
 when even inside black holes, that's not allowed (says Mr. Hawking). Maybe
 the maximum spatial density of multiverses is just really big, so that
 experiments to date would have not have run up against the limit.

 ___
 cryptography mailing list
 cryptography@randombit.net
 http://lists.randombit.net/mailman/listinfo/cryptography



___
cryptography mailing list
cryptography@randombit.net
http://lists.randombit.net/mailman/listinfo/cryptography