Some happy, some not so happy :)
Kudos to Claire Mathieu and the PC for not only including the list of papers, but also the list of abstracts !! Finally !!
As a public service, here's a TeX-formatted PDF of the list of abstracts, for those who find serif font easier to read than a stream of text on a web page. Warning, it's 44 pages long, and will have formatting errors. I wrote a perl script for the overall parsing and did lots of local fixing by hand for math-mode stuff, but it's not perfect.
Procrastinating pays off! Randomly browsing that paper list, I found Belkin, Sun and Wang's paper about the Laplacian operator for PCD.. which happened to be exactly what I needed for my quals question. Nice :)
ReplyDeleteI am happy and not so happy about the accepts as well. One of the papers, written by some heavyweights, addresses an issue I've long been wondering about. So I am happy. Finally the topic got some attention!!!! I am unhappy because it seems to contradict a result I put in my thesis but never published because I thought it was trivial.
ReplyDeleteA key lemma in their proof has two parts. I think part (i) is wrong and part (ii) is correct. Here is their proof of Part(i). "Part(i) is clear."
Oh my.
Go abstracts! Woo!
ReplyDeleteI think part (i) is wrong and part (ii) is correct.
ReplyDeleteCare to elaborate for the benefit of mankind? I don't see the point of keeping a spotted bug a secret -- it only hinders progress.
Suresh: many thanks for formatted list of abstract!
ReplyDelete
ReplyDeleteI think part (i) is wrong and part (ii) is correct.
Care to elaborate for the benefit of mankind? I don't see the point of keeping a spotted bug a secret -- it only hinders progress.
Sure. The paper is "The Hardness of Embedding Simplicial Complexes in R^d" by Matousek, Tancer, and Wagner.
They claim that under certain circumstances the question of determining whether an abstract simplicial complex is embeddable in a given dimension is undecidable. To me, the question can be phrased as a first-order sentence over the field of real numbers and therefore is decidable, by a theorem of Tarski.
However, somehow they manage to claim that it is undecidable and one key step (the wrong step) is proved by the assertion that "it's clear." Kinda of annoying...
Disclaimer: I was reading the ArchivX version, not the one submitted and accepted to SODA. Maybe they fixed this 'bug.'
Actually, there was some misunderstanding about the definition of embedding. So their undecidability result is correct, but not too interesting. Sorry.
ReplyDelete