Monday, February 28, 2005
Quantum Turing Machines and N/P
Group Theory and Math teachers
A Hacker Update
I read an interesting paper on quantum mechanics from the Bulletin of Symbolic Logic last night, (but whenever I read about the subject, I have salt grains handy: although the authors obviously knew what they were talking about, and even though a few sections of text were out of order, the ramifications of their discussion and the research it presents just seems too encompassing and too leading: I wanted to scream out, "SAY IT ! SAY YOU THINK P=NP ! IF THIS IS TRUE, DOESN'T IT MEAN NON-DETERMINISTIC TURING MACHINES CAN BE CREATED DETERMINISTICALLY?! DOESN'T THIS MEAN NP COLLAPSES TO P?! ALL NP PROBLEMS COULD THEN BE REGARDED WITH NEW ALGORITHMS TO ACT IN THIS FASHION AND SOLVE IN POLYNOMIAL TIME ! It doesn't make sense ! If I were to reference that paper alone, or EVEN the most quoted generalization to arise from Quantum Mechanics (an object can occupy two spaces at the same time) I could make the claim of a new Turing Recognizable machine that allows itself to take multiple paths down a decision fork, and still call such an action ONE transition! The equivalent standard Turing Machine has the choice of handling one path at a time, or handling each path step concurrently, but this "Quantum" machine would be capable of handling more than one at a time! Wouldn't that allow O(n^n) complexity to become O(n) if one takes steps to ensure that the computational load is balanced when an algorithm branches? After all, the number of paths the algorithm must take would simply become ONE for a Quantum Turing Machine... And I can certainly think of many NP-Complete problems that would become P, much less ONE, which is all that's needed to prove P=NP.
BUT... Something's wrong. That paper was simply a well-researched study on information already well-known... published in November of 2000, (Well, it was also written by the individuals who actually introduced the idea of quantum turing machinges.) By all accounts, even someone just one year into their math major should be able to prove P=NP with that much to go on. Certainly, Quantum Computing has been proven to be a very attainable reality. What's missing? Why aren't we basking in the glory of powerful computing? Except for the fact that the new technology is going to take a while, and the question of whether the underlying system that controls the physics of our universe really represents the same non-deterministic model that our universe does, I don't know. I wish I could say for sure about the proof, but there's something more than just continually refining our methods of analysis. I will read more on it, and hopefully find out why no one with dedicated interest on the subject has yet proven it, with or without a Quantum Turing Machine Variant.
--- UPDATE: My fears are confirmed: Apparently, there are many papers written about the subject, and even about running non-polynomial time algorithms in polynomial time, but no actual "proof" per se ! It's bizarre ! By all accounts, shouldn't the people who introduced the concept and the people who proved it possible be given an award? shouldn't we consider P=NP ? Shouldn't we be researching the ramifications and applications now ?! What the hell is going on ?!
To give you an idea, here is one of MANY papers discussing the matter in detail... fortunately, this one gives a slightly better insight into why there isn't 'exactly' a proof yet: Here
Just search for Quantum Turing Machines and P and NP at your favorite search engine for more information.
I will be posting simplified and condensed facts, theorems, and observations in Group Theory and modular notations continually throughout the rest of this season.
Algebraic Structures are not hard to understand!
IT'S TRUE !
Math teachers must spend less time PROVING concepts, and start teaching them! Every math class I've had, the teacher spent the majority of time on proving concepts before teaching or even explaining them ... which gave little time for teaching ... even in classes where the teacher gave examples and practice, more time was spent in proofs. Give in-class practices, examples, and reasonably-useful reminders for the students to work through.(read: for the STUDENTS to work through - not copy off the board) Proving is done in proofs and AFTER introducing the pre-requisite concepts ... prove it after your audience is familiar with its use. Yes, we students appreciate what you have to offer - but we think you have much more potential within you - at the very least, as much potential as you believe resides in us.
Now I know what most of you are saying already: "You fool! I've been doing that by simply downloading the page to my hard drive and editing it there!"
That won't work when the server has a secure connection, when you need to log into an account to input your data, or when the server checks if your local copy's address matches its own.
But The DOM Inspector will.
In fact, it's not all that suprising. It'll only be a matter of time when the first browser comes along that allows you to completely, dynamically, and easily customize the page that gets sent to you concurrently while you're connected to its host server.
Tuesday, February 22, 2005
"Everyone has sociopathic tendencies on some level."
Take it any way you like it.
Oh, and while you're at it, do check out Something Positive to get your recommended dose of side-splitting anti-social behaviors. I came across it a few days ago and can't stop reading it. The author is simply hilarious.
The hell of my own devising... unfinished of course... ;-)
Democrats, PETA Members, Goths
Circle I Limbo
Militant Vegans, Meat-eaters
Circle II Whirling in a Dark & Stormy Wind
General asshats, Republicans
Circle III Mud, Rain, Cold, Hail & Snow
Parents who bring squalling brats to R-rated movies (and their children)
Circle IV Rolling Weights
People who subjectively prove God exists, Those who tie quantum physics too deeply into self-help
Circle V Stuck in Mud, Mangled
Circle VI Buried for Eternity
Those who whore out their religious beliefs
Circle VII Burning Sands
People who fear their souls are in danger for trying new and non-threatening activities. (AKA books, music, games, thinking)
Circle IIX Immersed in Excrement
Gaybashers, Fools who invoke my wrath, George Bush, Creationists, bigots, zealots, faith-healers,
Rapists, Murderers, and those of unresearched beliefs.
Circle IX Frozen in Ice
Friday, February 18, 2005
Today is Friday, and it's raining once again, but this time, it's rather enjoyable. I've just finished cleaning the office and have my books ready to go ... if it weren't for the fact that my ride isn't here, I'd be gone by now. But all is well.
Cryptography class is in one hour ... it's funny ... two years ago, my neighbor let me borrow a book on error-coding, but it was way too advanced for me at the time, even though I understood the basics of modular arithmetic and binary operators. One year ago, I took Cryptography, along with too many other classes, without realizing how much time they all would take ... and thus, still didn't understand what was going on...
But this year, I understand it! Two years, and I finally understand this book on error-coding ! It's crazy. ;-)
Just the random thought for the day. At any rate, I'll have more updates later, but there's thunder and lightning out ... so I'm shuttin' down.
Tuesday, February 01, 2005
You know the recommended limit is 1/10th of your body weight? Of course, very few people follow that rule, but 1/4th is ridiculous. So my back feels better already.
Also bought a new math book ... fun stuff on advanced number theory.
GO OUT AND READ THE BOONDOCKS COMIC STRIP ! BUY THE TREASURY ! Author Aaron McGruder is brilliant and hilarious.
Now back to the schedule I go !