« first day (135 days earlier)      last day (3494 days later) » 

5:41 PM
@RealzSlaw hi man
@RealzSlaw I got a question. Tell me when you are here.
 
@Babibu gimme a few mins
@Babibu whats up
 
Cool
I am steal trying to understand how do you convert fact to sat
Now there is just one thing that I don't understand
I am trying to do it using the binary long multiplication.
I just don't understand how to calculate the "Remining"
22
Q: Fast Reduction from RSA to SAT

Huck BennettScott Aaronson's blog post today gave a list of interesting open problems/tasks in complexity. One in particular caught my attention: Build a public library of 3SAT instances, with as few variables and clauses as possible, that would have noteworthy consequences if solved. (For example, inst...

 
remining?
 
Trying to follow this
Remining = Carry
 
look at the page I linked at the bottom of my previous answer
it gives little reusable circuits
that you can just repeat
and connect
 
5:46 PM
How do computers do math?
this one?
 
yes
 
I understand the Addition I don't understand the multipling
 
what more can I explain than a picture?
 
In section 5 of multiplication they explain this
What will be the carry of 3 variables
?
How do you sum them?
 
you don't need to
the carry isn't done at the bottom
(like humans do it)
it is done right where it happens
do you see the lines marked $C$
that is C for Carrry
ie. the carry goes over to the next column immediately
not at the bottom
each box is this ^^
it takes in $X,Y,C_i,S_i$
$C_i$ means Carry-in
$C_o$ means Carry-out
$S_i$ means Sum-in
$S_o$ means Sum-out
these are each 1-bit
X is the bit for this position on the top number
Y is the bit for this position of the bottom number
 
5:54 PM
How do you calculate the Carry out?
 
explanation of the little circuits
the X and Y go into an AND gate
the other circuit is explained
first you calculate a temporary $P$
then you do all of those operations ^
 
what the + stands for?
 
Thanks it is more clear to me now
I saw your answer by the way. Looks like you been working hard there
 
which one
 
6:00 PM
The one with the bounty
 
oh heh, that was fun
 
unfortunately for me, I wasn't been able to create the 3 edges reduction yet, just 2
 
3 edges reduction?
 
*optimization
When I do my magic and delete nodes
 
you mean the one that actually breaks it?
yeah that one lol
 
6:03 PM
How ever it turns to be a good heuristic.
 
heuristic
 
You start with one node, and then just adding one node at the time. In that way that he will increase the route as less as possible.
It has running time of $O(N^2)$
 
7:03 PM
hello everyone
i was wondering if you guys had an opinion on whether this question would be appropriate for TCS: cstheory.stackexchange.com/questions/tagged/quantum-computing
sorry, wrong link, here's the question: physics.stackexchange.com/questions/82379/…
 
@hadsed looks appropriate to me, but I am not really active on cstheory.SE
 
vzn
7:28 PM
@hadsed looks good to me. asked a question myself on adiabatic computing not long ago & managed to get votes.
however! the issue of getting good quality responses is separate... =|
there are a few qm computing experts signed up on the site, & many good questions in the area, but participation is spotty...
 
@hadsed there are two questions on adiabatic computing on the front page right now :D
 
vzn
also, on other hand, there is some chance you'll get better response than on physics...
there is some way to migrate it working with moderators but it might be too much hassle...
7
Q: Is there a geometrical picture for adiabatic quantum computation?

hadsedIn adiabatic quantum computation (AQC), one encodes the solution to an optimization problem in the ground state of a [problem] Hamiltonian $H_p$. To get to this ground state, you start in an easily coolable initial (ground) state with Hamiltonian $H_i$ and "anneal" (adiabatically perturb) towards...

 
vzn
7:48 PM
this is one down-in-flames attempt to create a CS-oriented intuitive "picture" for qm computing via parallelism...
-4
A: Current parallel models for computation

vznthis will be considered controversial by some, and even proponents of this angle will have to admit its in the early stages of research, but basically quantum computing seems to have many connections to parallelism and parallel computation. the references are right now scattered but an emerging t...

one other point. questions on adiabatic computer verge on the "dwave" arena, which is extremely controversial/contentious in the cs community....
due largely it seems to the singlehanded-yet-extreme efforts by "the foremost world dwave skeptic"...
note, another qm expert verging on near "insider celebrity"...
it seems to me, hadsed, re your question, there is not much of a geometrical picture for much of anything in qm! and that is a deeper & more fundamental question/problem(?) than about adiabatic qm computing in particular...
 
8:10 PM
lol down in flames
 
 
3 hours later…
10:51 PM
@vzn good points. i do know that scott aaronson and peter shor hang out on physics sometimes too, but i'm not sure if they're very active anymore. my question had been up on physics for a while so i wondered if it might get better visibility here
i found a few papers that attempted an answer, but unfortunately im too noob to really understand them
 
11:16 PM
@hadsed I've had Shor comment on an answer of mine :P
on cs.SE
also several answers
there was one last week regarding factoring
1
Q: Shor's Algorithm speed

drummerpI'm a fledgling computer science scholar, and I'm being asked to write a paper which involves integer factorization. As a result, I'm having to look into Shor's algorithm on quantum computers. For the other algorithms, I was able to find specific equations to calculate the number of instructions...

answered by Shor himself :D
 
vzn
11:37 PM
shor/aaronson are the rare elite experts active in cyberspace. aaronson is a consummate blogger...
@hadsed what refs did you find? curious
found some refs also, they are very intricate/deep... that is part of both qm/geometry, both which have gotten very abstract at times....
as for shor, it was quite incredible that he answered one of B's questions....
its great to see that kind of occasional "mix" in cyberspace....
the washed & unwashed masses =)
 
yeah im not sure, i haven't been looking for more references. i looked and found those two in the context of AQC since that's what i know
but im not a mathematician or really a theoretical physicist--im an undergrad doing research in aqc
 
vzn
wow, thats very ambitious.
have you heard of dwave?
good place to start.
 
of course, haha
 
vzn
ok.
 
i mean, im pretty familiar with how AQC works. i can read most of the more fundamental papers
 
vzn
11:42 PM
great
 
but i don't have the background in geometry or [algebraic] topology to really understand what those two papers are talking about
i was hoping that someone more knowledgeable might be able to help parse it a little
at least so i could get an idea of what i should go off and study
 
vzn
AQC is not usually focused on geometry/algebraic topology.
thats a more research oriented aspect.
 
i believe it oculd be a useful avenue
although i wouldn't really know, considering i haven't studied those topics in depth
 
vzn
Adiabatic quantum computation (AQC) relies on the adiabatic theorem to do calculations and is closely related to quantum annealing . First, a complex Hamiltonian is found whose ground state describes the solution to the problem of interest. Next, a system with a simple Hamiltonian is prepared and initialized to the ground state. Finally, the simple Hamiltonian is adiabatically evolved to the complex Hamiltonian. By the adiabatic theorem, the system remains in the ground state, so at the end the state of the system describes the solution to the problem. AQC is a possible method to get ...
 
but you know. i think it always helps to look at problems differently
 
vzn
11:43 PM
true
notice the wikipedia article says nothing about geometry or topology....
so, it could be that a geometric interpretation makes it more intuitive/accessible, or paradoxically, on the other hand, less accessable/more abstract.
are you familiar with bloch spheres? its a natural geometric interpretation for qm computing...
In quantum mechanics, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch. Quantum mechanics is mathematically formulated in Hilbert space or projective Hilbert space. The space of pure states of a quantum system is given by the one-dimensional subspaces of the corresponding Hilbert space (or the "points" of the projective Hilbert space). In a two-dimensional Hilbert space this is simply the complex projective line, which is a geometrical sphere. The Bloch sphere is a unit 2-sphe...
 
11:57 PM
sure
mostly im interested in geometry because of the evolution of the hamiltonian is important for judging complexity
which is why im interested in hamiltonian paths
actually it started out where i was looking for a geometric understanding of hamiltonians to begin with
which im sort of doing, but that will take a while for me to finish off
you know, stuff about fiber bundles and all that
 
vzn
it would be nice if there was a survey somewhere.
geometry is applied in qm in multiple ways.
 

« first day (135 days earlier)      last day (3494 days later) »