« first day (1966 days earlier)      last day (2961 days later) » 

4:05 PM
@Slereah I can prove continuity
I did what no man should ever have to do
@Slereah I can also prove smoothness.
 
How smooth are you
 
Wait, no, I didn't actually
@Slereah baby's butt
I asked a...German analyst
queue dramatic music
 
oompa music
 
He used fucking Banach spaces and operator norms but proved smoothness of one part of the problem.
 
that's why he's an analyst
And you're just an engineer
 
4:15 PM
:(
@ACuriousMind why are Germans so rigorous
How do they do it
@Slereah Do you want the proof?
 
Sure
 
Hello!
 
@Slereah Ask a question.
 
4:31 PM
Oh then no thx
 
I today tried to explain my teacher solution of easy riddle school (Columb egg) and my teacher concluded that I didn't understand this riddle because he thinks that some formula or function describes this riddle and I though that it's matter of repetition numbers in eggs.
 
@ChrisWhite fair point
 
@Slereah It's actually really hard
 
Why I can't explain to people even simple exercises?
 
mb solve things for the joy of science then
instead of internet points
 
4:35 PM
You need BOLZANO WEIERSTRASS
And other theorems.
 
I can explain this on Physics SE but I can't explain this to ordinary people.
 
that's why you should always do a physicist handwave
 
I guess!
Wald does it right
The actual proof takes many pages!
 
"Just go to HE"
 
@Danu Ok so Berkeley has Bousso who does exactly what I want to do, has better name recognition than UCSB, I have a couple of close friends who will also be going there but cons are Bousso is really the only one there I want to work for and he's really popular so I'll have to compete to get into his group although he did email me a couple of weeks ago
 
4:36 PM
It's not in HE you liar
@FenderLesPaul I don't like mathy GR anymore
Matrix norms scare me
 
@Danu UCSB on the other hand has like 4 people I'd be happy working for (Gary Horowitz, Don Marolf, Joe Polchinski, and Steve Giddings) but their research interests aren't an exact match with mine; they also have a strong CMT department so collaboration is always possible; they have KITP so that's a great way to make connections with prominent people and possible collaborations but cons are the school has less name recognition than Berkeley (at least in general, not necessarily in physics)
funding wise they're the same more or less
 
Which one is the bigger liberal shithole?
 
@0celo7 mathy GR is boring don't do it
@0celo7 definitely Berkeley
 
Go for SB.
 
@FenderLesPaul I'd definitely go for UCSB just based on these descriptions.
 
4:40 PM
@FenderLesPaul No.
 
Unless you can guarantee you'll get to work with Bousso
 
@Danu also I have a skype with Gary Horowitz soon so I can ask him what exactly his future research interests will be but I know he's definitely taking students
 
Nice.
 
@Danu Yeah I can't guarantee that, at best I can say he's interested in me based on his email so my chances are better rather than worse
I won't meet him or most of the UCSB people until April 5th-9th
which is their visit days
Gary won't be there so I'm skyping him ahead of time
 
>Gary
 
4:43 PM
The thought of prof's here in Europe willing to Skype with you is just hilarious
 
You mean Dr. Horowitz
 
@Danu cool thanks, yeah UCSB seems the better choice if even marginally
@0celo7 mister doctor professor Horowitz, sorry
 
@0celo7 Get over it
 
@Danu I just waked into a prof's office and had an hour long discussion with him and he gave me a tutorial on matrix norms and Banach spaces.
 
Physicists work on a first name basis
@0celo7 In the US, sure
 
4:44 PM
Profs in America are nicer
 
@FenderLesPaul Of course, don't let my words be the deciding factor ;)
 
@Danu That's so wrong
 
@Danu seems like Gary is mainly interested in global properties of spacetimes, stability properties of higher dimensional black holes, and holographic CMT
 
@FenderLesPaul Lord Prof. Dr. Horowitz
 
Bousso is more interested in firewalls, generalized area laws for black holes, and local notions of black hole horizons that can be used in quantum gravity
 
4:45 PM
@FenderLesPaul He seems to be a higher-dimensional GR guy yeah---I read his review on higher dimensional black holes.
 
I definitely like the stuff Gary does but I absolutely love the stuff Bousso does
 
@FenderLesPaul So he does this AdS/CFT stuff?
Like, shear viscosity 'n' such? :P
 
@Danu Gary or Bousso?
 
Horowitz
 
Oh Gary, yeah he does
He and Sean Hartnoll at Stanford
 
4:47 PM
I think AdS/CFT is kinda nice, though of course very dependent on strings.
 
yeah I find it exciting :)
 
But if you can make a breakthrough there, it'd be huge.
 
for sure yeah
 
Yuuuuge
 
Maybe it can even become something more or lessindependent of strings
 
4:47 PM
yuge
@Danu so Don Marolf actually had a paper on that
 
I took a course on it last semester, and I think it's pretty neat.
By Erdmenger, in case you ever heard of her
 
AdS/CFT without strings (basically why it should be true just based on diffeomorphism invariance in metric theories of gravity)
Yeah I definitely have! :)
also let me find the paper
it's more of a toy model exploration of holography without strings
not really an actual resolution of the issue
but still fun to read!
 
Nowadays everybody wants to tie everything to entanglement :P
 
What are properly means curvilinear integrals without work in physics?
 
I don't really love entanglement
 
4:49 PM
Haha yeah it seems to be the fad these days
 
@hubot That sentence makes no sense.
 
I like entanglement stuff though
 
I mostly don't like it because I don't know it.
 
@Danu: I think about interpretation of result of curvilinear integrals.
 
@Danu this is the kind of stuff I really want to work on more than anything: arxiv.org/pdf/1504.07660.pdf
 
4:50 PM
@hubot Integrals are independent of the parametrization.
 
@Danu: For example double integral is volume
 
@FenderLesPaul And you said you didn't like mathematical GR hah
 
Or definite integral is area under plot of function.
What is in that case curvilinear integral?
 
What the heck is a "curvilinear integral"?
 
@Danu wait does that count as mathematical GR?
if it does then I absolutely love mathematical GR haha
I thought mathematical GR meant more like the stuff Dafermos does on rigorously proving theorems in GR
that rely on a lot of techniques in geometric analysis and PDEs
 
@FenderLesPaul Seems to be just about foliating a spacetime
 
That's mathematical GR
 
lies and slander!
 
There's different flavors ofc
 
Aaa, I know the sum of vector (scalar) field of scalar function on some curve
 
4:54 PM
I'm not German enough to do the analysis stuff.
 
@0celo7 is this mathematical GR? arxiv.org/pdf/1501.02752v3.pdf
 
@DeNiSkA: I'm in 3 chapter in Resnick Halliday. Exercises in Resnick Halliday is very easy. I don't forget about this collection of Krotov exercises.
 
> fiber bundle
Yes.
 
When will the people in this chat learn to link to abstracts?! I don't want to load the entire PDF to find out what paper you're talking about!
 
@0celo7 I feel like physicists just like using that term to get citation bait
 
4:58 PM
@ACuriousMind get over it
 
@ACuriousMind huh?
 
the what... 50 kb is too much for you?
 
It loads instantly for me.
 
@hubot yes, krotov is awesome!
 
And that way I can scroll through the paper right away
@Danu ACM is conserving Internet
 
5:00 PM
@Danu It's a delay of a few seconds that I could do without
@0celo7 To use an argument that you should care even more about than me: What if someone is on mobile?
 
@DeNiSkA: If you like hard exercises, try to understand book Quantum Mechanics A.S.Dawydow. It's really hard book.
 
@ACuriousMind I am on mobile!
Right now, at this very moment.
 
@0celo7 woah mobile will break!
 
I find loading PDFs with my phone to be always a hassle and quite slow unless I'm in a WLAN.
 
@ACuriousMind ArXiv PDFs literally load instantly on mobile.
Oh, I'm never not on wifi.
I live on a college campus
And I don't go on PSE when I'm off campus
Lol, turned off wifi, still loads instantly.
@ACuriousMind I don't know what to tell you
 
5:04 PM
@hubot i am preparing for JEE exams and IPhO, so as far they both are concerned relativity and QM are not included, but i have started doing it (not with my full speed), but i will do QM and relativity after may-2017
@hubot when are you gonna start QM?
 
You can do QM once you know basic calculus.
 
@DeNiSkA: I'm going to start QM on full speed on 3 vol Feynman lectures but I will start with this gradually in 5 vol Resnick Halliday
 
@0celo7 i want to get veterian in calculus, then i will do QM, mostly i will get hard with calculus in may 2016
 
What
 
I can calculate integrals, derivates, vectors, scalars, partial derivates, function, trigonometry etc.
 
5:10 PM
@0celo7 ignore (i am idiot)
@hubot well you know area finding, volume and all that stuff?
 
I'm not savant so I don't calculate in split second very hard exercises
@DeNiSkA: Yes, I can calculate square area, circle radius, Pythagoras theorem, volume of cube, sphere tc.
@DeNiSkA: BTW I've Asperger Syndrome
 
@hubot No, not that i mean, if you are given cartesien equation of a curve and then you have to find are it makes with some points
 
Sigh...
 
@DeNiSkA: Honestly, I didn't try it.
 
i see!!
 
5:17 PM
I try it only with integral calculus.
 
5:28 PM
@ACuriousMind What's your EDC?
 
@0celo7 What's an "EDC"?
 
Every day carry
Wha do you have on your person when you go out into the world
@ACuriousMind Me: phone, wallet, headphones, knife, watch
HE if I'm going to be waiting for a long time.
 
@Sᴋᴜʟʟᴘᴇᴛʀᴏʟ correct.
Please change your name, I can't @ you on mobile!
 
what about keys?
 
@0celo7 you carry around a copy of Hawking and Ellis in case you get bored?
 
@JohnRennie If I expect to be bored, yes.
(Actually I just take my iPad and read HE on there)
If I have a backpack I'll slide HE into it though
I'm rarely without some entertainment of that sort.
 
neeeerd
 
6:07 PM
You carry around an iPad Pro?
 
No
 
@0celo7 wow, I'm impressed - really, I'm not being sarcastic. I can't concentrate enough to make it worth dipping into a heavyweight book like HE. I have to sit down with no other distractions.
 
Air 2
 
@Benjamin: hi, were you going to ask about QFT and Gauss's law?
 
@JohnRennie I've been reading HE got a while, it's not easy
I had to take a break because I didn't know enough topology
Now I'm going at it again, and also BEE and Penrose
Penrose needs to be delivered, however.
 
6:10 PM
I just wish I could find the enthusiasm to dig that deep. I keep buying books and they keep sitting on my bookshelf unread.
 
What crushed your enthusiasm?
 
Actually I'm just about to settle down in my armchair to read my most recently acquired science book:
 
The operator norm is currently crushing my soul
Er, enthusiasm
@Slereah Ok, I almost understand the proof of continuity of one part of the problem!!
 
@Sᴋᴜʟʟᴘᴇᴛʀᴏʟ I find these days I'm too impatient for the answer. For example I keep meaning to read up on geodesics in the Rindler coordinates but every time I start there seem to be pages and pages of preamble that I find boring.
I realise the preamble is important stuff that I'll need to understand the meat of the book, but it just seems such a chore working through it.
 
That's a boring problem though
Showing that a spacetime always has a smooth future-pointing vector is exciting
And frustratingly difficult
 
6:15 PM
@0celo7 well, yes, but if I really understood it I would really understand the twin paradox. Right now whenever I attempt a calculation I can't make it work.
 
Won't the geodesics in Rindler just be the straight lines in Minkowski
Just coordinate transform the straight lines
 
That's the hard bit.
 
Seems like a lot of crappy algebra
My phone has given up trying to autocorrect me
Pretty sad
 
No, there's something fundamental I'm missing.
I can do a rough calculation in the accelerating twin's frame, and it should calculate the proper time of the earth twin. But it misses a huge chunk of proper time somewhere.
 
The fundamental theorem of algebra?
@JohnRennie I know of a book that does the twin paradox with smooth curves
Analytically
No kink as the guy turns around or whatever
Or slows down
Or whatever actually happens
 
6:20 PM
It's easy to do the calculation in the Earth frame, and of course the proper time is invariant so we can use whatever frame is convenient.
But if you're stubborn you want to redo it in the twin frame to double check, and that's the bit I can't get to work.
 
Why would you want to do that?
Double check?
You don't double check a theorem.
 
Same reason you want to prove a spacetime always has a smooth future-pointing vector. Because it's there.
 
What
But this is an interesting analysis problem
 
What do you mean what
 
I'm saying I don't get what you're trying to do
We know that the proper times are equal
 
6:23 PM
@JohnRennie The whole point of coordinate invariance is that you can choose whatever frame is convenient for a calculation of invariants. Insisting on doing it in one particular frame seems...not very relativist.
 
All you're missing is some algebra
I'm trying to prove the existence of something
 
@ACuriousMind yes, I agree, it's a stupid and illogical thing to do :-)
 
That we have no a priori expectation of existing
 
@JohnRennie Ah, carry on, then ;)
 
But then so is doing crossword puzzles or Suduko
 
6:24 PM
Those are also dumb, imo
 
BTW any thoughts on:
1
Q: Why is Newtonian cosmology correct for curved space?

John EastmondThe Newtonian model of an expanding Universe gives Friedmann's equation exactly for non-zero spatial curvature $k$ (see http://hyperphysics.phy-astr.gsu.edu/hbase/astro/expuni.html). Instead of using the concept of spatial curvature the Newtonian model introduces $k$ as a constant that is proport...

 
Not as dumb as carrying around an Air 2 without the iOS 9.3 :P
 
Amazingly the Newtonian approach really does give the first Friedmann equation, $k$ and all!
@Sᴋᴜʟʟᴘᴇᴛʀᴏʟ an Apple eh? Some people have more money than sense.
 
I recall that being in Weinberg 1972.
Maybe check there.
@JohnRennie I own three Apple devices
 
I had never really thought about it, but it also seems surprising that Newtonian gravity correctly predicts the Schwarschild radius.
I'm now wondering why that is. It can't be purely accidental.
 
6:29 PM
Whose picture is that on your avatar? @JohnRennie
 
@0celo7 I'm not sure if I have a copy of Weinberg, but I'm sure that nice Mr. Google can help. I'll go look.
@Sᴋᴜʟʟᴘᴇᴛʀᴏʟ That's me. It's a picture from some years ago though and I no longer have the face fuzz.
 
It looks like some famous actor that I can't remember the name of :)
 
@JohnRennie I think it is "accidental" in the sense that there is no deep reason for the relativistic corrections to the Newtonian result to be zero in this case, it just turns out they are zero, probably because of the high symmetry of the issue. The quantum harmonic oscillator is also surprisingly exactly described by many semi-classical formulae, but that's also just an indication that a harmonic oscillator is a really simple and symmetric system, not of anything deep.
 
@0celo7 Ah I do have it though as a non-searchable pdf. That's going to take some searching through.
@ACuriousMind my guess would have been it was due to a symmetry, but I'll need to go away and think about what symmetry and how it works.
 
6:39 PM
@JohnRennie Well, the first thing would be to figure out what "approximation" it is exactly that's unexpectedly exact here
Then one can go and examine the "correction terms" for why they are zero.
 
@vzn and how would this effect the statement of the bell inequality such that it allowed for hidden variables in QM?
is the bell inequality forbidding only certain types of hidden variable theories then
 
6:54 PM
@JohnRennie I am trying to organize my thoughts and then reformulate it into a new question. I don't want to confuse people in that post by mixing two views. If I have time I will do it. Thanks again for the response.
 
7:05 PM
Creativity is knowing how to hide your sources.
 
 
1 hour later…
vzn
8:17 PM
@user507974 yes, exactly. the bell thm is quite "tight" in preventing a large "swathes" of hidden variables but there are some very subtle loopholes. a similar scenario happened with einsteins reasoning about SR vs newtonian space. strangely physics went the other direction (it was too solidified at the point bell showed up) and insisted that the bell thm forbade all possible LHVs instead of realizing that it points toward subtle exceptions that evade the subtle assumptions of the thm.
 
8:31 PM
Timaeus' advice on my question is "solve the equation"
How helpful
 
Lol
@JohnRennie why not
 
@0celo7 Are you sure that same knowlegde from Resnick Halliday will be enought to start adventure with quantum mechanics?
 
@Slereah So I asked my prof about the smoothing thing for the causal curves
He said "convolute with a bump function. It's an easy exercise, I'll read your proof when you write it"
 
@DeNiSkA Is it true that answer on 1.1 in Krotov exercises is time of motion is longer which body is moves up?
 
@0celo7 Well shit you just got free homework
 
8:40 PM
@hubot wait a sec
 
I think that because body has a greater resistance.
I assume that is friction.
 
Step one of proving something: Let φ be a chart around p.
 
neglect friction
 
Ok. Therefore it probably should be no difference is this body moving up or down
 
yes, now i am thinking if we consider friction,then what happens!
 
8:47 PM
@Slereah QED?
 
@hubot you are wrong in case of friction!
 
@DeNiSkA Why?
 
9 mins ago, by hubot
@DeNiSkA Is it true that answer on 1.1 in Krotov exercises is time of motion is longer which body is moves up?
answer is opposite of what you told
let me tell how!
1
A: Confusion about Conservation of Mechanical Energy

DeNiSkA According to your question there is no frictional force therefore all forces are conservative. Now, if the forces are conservative, then you just need to identify the energy at $t=0$ and when the motion(or whatever) ends. In your question i am shifting my refernce line just below the box (onl...

think friction is there
 
Quick, someone give me a letter that's not t
For an integral
 
That doesn't make sense
I'm going with u
 
@hubot are you here?
 
@DeNiSkA: Yes
@DeNiSkA I'm thinking how...
 
@0celo7 U go with whatever U want pal
 
8:54 PM
Have I mentioned that I hate analysis
 
@DeNiSkA It may be that friction of body moving down is the same of friction of body moving up then the same of time body is moving up. If I did something wrong then forgive because soon I'll have to finish.
 
yes friction moving up=friction moving down, but i didn't understand after then....
 
I think that if friction moving up=friction moving down then
body moves the same time down or top.
 
you can see solution
 
9:07 PM
Have I mentioned that I hate analysis
 
yes
 
When
 
The time of descent from the height h is longer than the time of ascent to the height h.
 
Hmm, it seems I can choose a really small bump function
 
@hubot yes ;)
 
9:11 PM
@DeNiSkA But in everyday life is too easier go to descent from some height h than go to ascent to height h. Why?
 
@Slereah Ah, I have the proof sketch!
 
It's related to work and potential energy?
 
in our everyday life friction doesn't decelerate us, so only gravity accelerates and decelerates , so if we try to run up and down with same speed then time will be equal...........
but to explain why it is easy we need work-energy, are you ready?(it is simple)
 
yes
 
@Slereah does the value of an integral depend on the value of a function at the endpoints of the region of integration
 
9:16 PM
I'll have work and energy behind 3 chapters in Resnick Halliday.
 
ok listen when we are at top of an incline we have gravitational potential energy in us
so when we start running it gets converted to K.E very easily
but when we are at ground there is no energy other than our muscular energy
 
@0celo7 If it's continuous probably somewhat?
 
so we get tierd when we run up because we have to get both K.E and potential energy
 
Fundamental theorem of calculus and all that
Well Stokes theorem, really
 
Hmm.
 
9:18 PM
and getting both energy at a time is quite hard task rather than getting one energy (getting means converting)
 
Well, this proof is fucked.
 
Aaa, now I understand
 
:D
Krotov always gives tough explaination so i rarely see them!
 
@0celo7 If "a function" is supposed to be the function that is being integrated, then no. The endpoints are a zero measure set and hence do not contribute to the integral.
 
@ACuriousMind Yes, I see that.
But it doesn't matter anyway, I think my integral hits a bad point anyway
I need to rethink my strategy.
 
9:21 PM
But do you perhaps that Feynman exercises are too much harder (at least for me) than Krotov exercises?
 
some questions on feynam are really hard i agree
 
I want to save solving of Krotov exercise. How should I to save this?
I would in a few sentences our solution.
 
make a file on pc!
 
I think that: If we neglect friction then should be no difference is this body moving up or down. But if we assume that is friction then the time of descent from the height h is longer than the time of ascent to the height h. Just in case tentatively.
I've saved.
I have to go!
 
bye!
 
9:33 PM
Cya later
 
yay, flags!
everyone in the entire network gets to enjoy!
 
@ACuriousMind I need some hilfe
I have some function $f$ that is $C^1$ except for at the origin
now I want to smooth it out to some other function $\tilde f$ that is "close" to $f$, but is smooth.
So I'll take some bump function $\phi$ with compact support in $[-1,1]$, and then $\tilde f(x)=\int_\mathbb{R}\phi(x-y)f(y)\,\mathrm{d}y$
 
convolution m8
or something
yeah
 
I know that this is smooth, but I actually want to calculate $\tilde f'$, I have to make sure its slope is also close to $f'$.
@Slereah correct.
So I can use the symmetry of the convolution to write $\tilde f(x)=\int_\mathbb{R}f(x-y)\phi(y)\,\mathrm{d}y$
 
What is your measure of "closeness" here?
 
9:48 PM
@ACuriousMind $f$ is Lipschitz. By choosing the normalization of $\phi$ I can make it "close", but that's not relevant right now.
@ACuriousMind I'm doing a simpler problem than what I actually want to do
Right now my goal is just to calculate $\tilde f'$.
 
Neither of these two replies answers my question.
 
@ACuriousMind Ignore that part.
The measure of closeness is that the tangent vector lies in the light cone, of course
 
But if I write $\tilde f'(x)=\int_\mathbb{R} f'(x-y)f(y)\,\mathrm{d}y$
I'll hit $f'(0)$, which is undefined.
 
Yes, of course, the whole point of the mollification is that you let the derivative act on the smooth $\phi$!
 
9:51 PM
Right, but that doesn't help me!
I need $\tilde f$ to have a "similar" slope as $f$ outside of the origin
 
The usual statement about mollifiers is that if you take the sequence of ever narrower mollifiers (a nascent $\delta$), $\tilde{f}$ converges to the original function in the $L^p$ norms; this should also hold for the derivatives if I'm not mistaken, i.e. the derivative of $\tilde{f}$ converges against the (weak) derivative of $f$ in the $L^p$ norms as the mollifier gets narrower
 
Uhhhh
 
I don't think you get any "prettier" statement that that.
 
well crap
 
Beauty is in the eye of the beholder :P
 
9:59 PM
he told me this was easy
 

« first day (1966 days earlier)      last day (2961 days later) »