I definitely want to thank you for putting all of this in clear words and introducing these abstractions.
However out of my personal experience I find the advocacy of Tell-mode to be a terrible practical advice. Especially for people who haven't yet figured out some sort of a model on these and how to interact productively with people in their environment. I suppose a lot of my younger self social hardships came from using sort of Tell/Ask way too often and utterly failing at Guess.
There are areas where people seem to use Guess almost universally. The whole...
"Direct action is not always the best way. It is a far greater victory to make another see through your eyes than to close theirs forever."
Kreia, KOTOR 2
Thank you.
Nice paper. Signs are treated accurately there of course. However call to "formal functions" in the end of the proof seems wacky at best. Formalizing it looks harder to me than the initial statement. At this point it should be easier to just look at the smoothness degrees of the norm on x_i = 0 hyperplanes.
If anybody knows what was meant, however, please clarify.
Scott Aaronson proved that for any p other than 1 or 2, the only norm-preserving linear transformations are the permutations of the components.
This seems to be true, but with the small note that you should add multipication of the coordinates by -1 [by any number from unit circle if the space is taken over complex numbers] and their compositions with permutations to the allowed isomorphisms. Never heard about this though, interesting.
However this does not generalize to all the norms. As Douglas noted below one can imagine norm simply as a central-symmet...
Funny thing is that someone actually did.