193 reputation
7
bio website wonder2.naist.jp/~villagra-m
location Nara-shi, Japan
age 32
visits member for 3 years, 11 months
seen Oct 17 '13 at 1:59
I'm a graduate student at Nara Institute of Science and Technology working in theoretical computer science. My main interests are in computational complexity and quantum computing.

Jun
30
awarded  Scholar
Jun
30
accepted What is this integral?
Jun
30
comment What is this integral?
thank you very much, now is crystal clear!
Jun
30
comment What is this integral?
@night owl: thank you very much for that info!!
Jun
30
comment What is this integral?
is it ok to write integrals like this?
Jun
30
comment What is this integral?
yes, I just did that, and is very easy. The problem, as I wrote in my commment below, is the notation of the integral
Jun
30
comment What is this integral?
I mean, the cosine on the integral there?
Jun
30
comment What is this integral?
I see, but is it normal to use that kind of notation?. That's what completely misguided me.
Jun
30
asked What is this integral?
Apr
10
comment What does it mean “polynomial related”?
I've make a mistake with my words. What I've meant to say was sublinear but logarithmic. It is allowed to have $n^{1/2}$ for example.
Feb
11
comment Linear transformations and norm
my mistake was that I thought that the eigenvectors of the triangularized matrix automatically diagonalized $T$
Feb
11
awarded  Commentator
Feb
11
comment Linear transformations and norm
ahh I see, crytal clear now :-)
Feb
11
comment Linear transformations and norm
Given that $T$ can be triangularizable, it is easy to see that after diagonalizing and computing $T^\dagger T$ you get identity. But it seems that the condition $\parallel Tv\parallel\leq \parallel v\parallel$ is not being used here.
Feb
11
awarded  Teacher
Feb
10
answered How Do You Actually Do Your Mathematics?
Feb
9
awarded  Supporter
Feb
9
answered What does it mean “polynomial related”?
Jan
25
comment Complexity of verifying proofs
In general, verifying the complexity of a proof belong to proof complexity. A nice place to start reading about it is the book "computational complexity: a modern approach" chapter 15 cs.princeton.edu/theory/complexity
Jan
25
comment Complexity of verifying proofs
Am I getting your questions right?