« first day (1826 days earlier)      last day (3117 days later) » 

12:00 AM
Trying to make Wald's proof prettier
Hmm, I might go hunting down journal articles for the most pretty proof
 
proof of what
 
@Slereah Homogeneity and isotropy implies FLRW
 
Isn't that basically the definition of FLRW
Also you can do it with just homogeneity
 
*isotropy
I think
 
Homogeneity implies isotropy
 
12:08 AM
Yeah, you need isotropy
 
Isotropy at every point implies homogeneity
I think
 
Hmm
I know homogeneity doesn't matter either way
Let's see...
According to Straumann, isotropy implies homogeneity
@ChrisWhite Which is it?
Wow Straumann lied about a citation. It totally does not contain what it's supposed to.
 
user54412
Depends on your definitions
 
::vomits::
@Slereah D:
Homöomorphismus
 
I'm reading this paper, and it states that we can define a set of lines on $\mathbb{R}^2$ by $$\mathbb{L}=\{[(a,b,c)]\subset\mathbb{R}^3|(a,b,c)\in\mathbb{R}^3,\,a^2+b^2\neq‌​0\}$$
 
12:13 AM
@ACuriousMind Technical German is really dumb!
 
@0celo7 o_O
 
It then says,
> It is possible to show that $\mathbb{L}$ is a 2-dimensional manifold, sometimes referred to as the affine Grassmannian of lines in $\mathbb{R}^2$.
 
user54412
@HDE226868 it wouldn't be a physics lab without coax cables everywhere
 
What is even that thing
Is that the Kundt paper
 
no
Straumann book from the 80s
Apparently he proves something interesting
gotta chug through...German and...drawing
Really?
 
12:15 AM
Something something coordinate chart
 
That's a pretty long proof.
@Slereah Yup
That's the intro
Huh, this is just his GR book but hand written :D
Where the heck is FLRW...
what the heck is up with this bibliography
none of these books are what they're supposed to be
 
ResearchGate should get rid of their lemniscate buffering symbol. It really does make it seem like loading takes forever.
 
OK. Now I'm confused.
 
Stop that!
Don't be confused!
 
In looking through the flags that are currently active I see the summary:
"very low quality – [NamelessUser] 1 hour ago; added 1 comment; Vote Up"
If it s very low quality, why did you vote up?!?
 
12:25 AM
@dmckee Could it have been a misclick, and the user meant to vote down?
 
I hope so. But I don't know and its driving me crazy.
 
Maybe he believes in positive reinforcement
 
Damn, just skimmed a 400 page book
Did not find what I wanted.
 
This post also has a flag from another user (with 10k+ rep) who didn't vote down or vote to close. More confusion.
 
@dmckee What was the second flag? Also VLQ?
 
12:29 AM
THE BOOK ONLY HAS EIGHT CHAPTERS HOW ARE YOU CITING THE NINTH
I might have to email him
This is criminal
 
@HDE226868 Observe that $a^2+b^2 \neq 0$ means just $a\neq 0 \vee b\neq 0$ for real numbers. Now, $[(a,b,c)]$ describes the line $y = \frac{a}{b}x + c$ where $y =c$ if $b= 0$.
 
@ACuriousMind Right, got that.
 
^^won't open for me
can anyone else open it?
 
@yuggib Thanks and no problem, I didn't even ask until after you left.
 
@HDE226868 So your question is? ;)
 
12:34 AM
@Huy I require your assistance.
 
Wow, do you guys ever leave the chat room?
 
no!
 
@ACuriousMind Ohhhhh. . . I had been trying to prove it from the definition of an affine Grassmanian, i.e connecting the basic description with other properties. I can't believe I overthought it.
 
oh my god now the book won't download
my life is crappy
 
Thanks so much for taking a look at it.
 
12:36 AM
@0celo7 well, I admire your dedication!
 
@TerryBollinger I just got back, I was enjoying a nice get-together with other students who have the same stipend as I have
 
@TerryBollinger I've been looking for something for the past hour
Scouring the literature.
 
@HDE226868 It is sometimes quite challenging to translate abstract mathematical definitons back into something that makes sense, don't worry about it :)
 
Fortuitous timing...
 
Also, my sleep cycle is very...unusual
Not sure it's a cycle anymore
 
12:38 AM
SHIT
I think someone bought the thing
I keep getting to this strange search engine
@ACuriousMind I need your help
 
@0celo7 Oh, what will you do when I ever stop slacking? ;P
 
@ACuriousMind I need to write an email to Straumann asking him why these references either A) don't exist, B) don't show at all what they should, C) reference nonexistent chapters
 
@TerryBollinger I'm also using this chatroom as a procrastination tool ;)
 
This is pretty maddening, because he supposedly shows something amazing.
I would like to write this email in the Germans
I need some help with that.
 
@0celo7 for what searchest thou?
 
12:41 AM
Tell me about it, I almost wrote Witten an email about why the heck he thinks "It can be shown" is an appropriate phrase to use when no one has ever shown that :D
I eventually figured it out, but it was infuriating
 
@TerryBollinger Apparently FLRW is uniquely fixed by requiring that group of isometries leaving the velocity of a comoving observer fixed contains SO(3)
 
In retrospect, if Witten had written out that proof, I'd never have joined phyiscs.SE
 
Apparently
@ACuriousMind what was this?
 
@0celo7 Just look at my first two questions.
@0celo7 Write it and I will critique it
 
@ACuriousMind ok, will eat, do homework and then search the literature some more.
then write the email
@ACuriousMind If you wanna do me a favor, pls triple check link.springer.com/book/10.1007/BFb0118135 doesn't have anything on FLRW
 
12:45 AM
@HDE226868 random: I've been looking at a subset of the permutation group as a way of visualizing Clifford algebras...
 
what's strange is that Straumann references 3 of his own works for the proof
but none contain it
or even mention the topic!
 
@0celo7 whoa, I almost missed that one!
That's interesting...
 
@0celo7 Not gonna skim a fucking typewriter paper, sorry
 
It's a 400 page book, not a paper.
 
Still typewriter
::shudder::
BTW, got two string theorists to consider coordinate-free math more today :D
Also had to face the fact that I can't explain anything I'm interested in to non-physicists :(
 
12:53 AM
Aww
The math people I hang out with do PDEs and geometry, so GR means a lot to them
I don't think they get my other major, though
 
Later gents I'm pumpkinifying, @0celo7 good luck on the search!
 
@ACuriousMind Thanks.
 
@TerryBollinger Thanks
 
@TerryBollinger Ooh, cool.
Have fun with the pumpkins.
@0celo7 Didn't work for me, either.
 
I think Straumann has a draft out there somewhere of a new book. I need it.
@ACuriousMind Vorlesungskopie?
Draft?
 
12:58 AM
@0celo7 More like "copy of the lecture notes I'm not comfortable with publishing"
 
Damn.
There's one more reference.
If I can't reconstruct the proof from that, I'm sending an email
And by "I" I mean @ACuriousMind
 
Don't expect anything from me till tomorrow, and this isn't a promise I'll do it tomorrow :P
:25146037 Oh, sorry, it's supposed to be $x=c$ if $b=0$.
 
@TerryBollinger I joined FaceBook under protest, but I discovered that I can keep track of my niece's emotional state by checking once a day. As in: she was posting "not a morning person" stuff and then "my co-workers are idiots" kind of stuff, then "here is whts a chick wants from a guy" stuff then "he broke my heart, I'll dig his out with a rusty spoon" stuff."
This chat room reminds me of that at times.. Only with finer granularity.
 
Rust spoon?
Is that a spoon made out of rust
 
Rusty and not good at typing.
 
1:08 AM
Or a spoon made to spoon rust
 
The only person talking about their love life in here is @Danu :P
 
^^
No one else has one
 
Well, DanielSank has a wife
 
Fiance
 
KyleKanos, too
 
user54412
1:08 AM
Too true
 
@ACuriousMind He left.
 
@0celo7 Ehh. . . I have a girlfriend, if that counts.
 
And @ChrisWhite could seduce @DanielSank 's fiance
and then something happens and he never gets on here again
 
user54412
Umm...
 
car crash, etc.
I...I might have found something.
Handwritten notes from one of Straumann's classes.
Gotta figure out cursive technical German. Oh boy.
wtf are these notes about??
Aha! Einstein-Universum!
I recognize something!
@ACuriousMind ein was?
omgomgomg I think I found the proof
@ACuriousMind D: pls help
 
1:19 AM
@0celo7 dreidim. is an abbreviation for three-dimensional
@0celo7 Wachstum, i.e. growth
 
ach so
I need help with the cursive, not so much the German ;)
I FOUND THE REFERENCE
HE PUT THE WRONG PAGE NUMBER FOR THE JOURNAL
::dances::
Found it.
@ACuriousMind You're off the hook for the email.
@ACuriousMind Thanks for the hint about lecture notes. It prompted me to check his webpage for his classes.
 
@0celo7 ಠ_ಠ
@HDE226868 The reasons for various sizes and frequency ranges in information transmissions systems is fundamentally an question of electrodynamics.
The practical aspects are important parts of many experimental physicists' daily lives.
In particular, the choice of coaxial wire as opposed to other shapes and topologies of conductor comes down to interesting questions of the mode structure of those various topologies.
This is the sort of thing that can be far more satisfactorily explained via a physics oriented discussion as opposed to a typically "engineering" style discussion.
As I've argued before, if someone posts a question like that here, they probably want the physics type approach. We should respect that rather than discouraging it.
 
Okay, thanks. That clears it up.
 
why is no one happy I found this paper
>referencing HE and Weinberg in the same paper
@Slereah How does that even work??
 
1:52 AM
@DanielSank Also the cross-talk properties. Coax has vanishing cross-talk but it is complicated and expensive compared to, say, twisted pair. SO then you ask how to reduce the cross-talk in twisted pair and maybe come to mutually prime winding numbers or some such.
 
obe
I found recorded lectures on dynamical systems!!!
bless
 
WHAT
OH NO YOU DID NOT
AHHHHHHHHH
I give up.
@HDE226868 help me
Might be helpful.
 
2:08 AM
@dmckee Wat?
Mutually prime windings? Go on...
 
I'm in particle physics. We often need to run hundreds or thousands of signal from the detector to the DAQ (less so these data, as a lot of CPU has been pushed at of the counting house and into the machine, but still). Hundreds of cables lying side by side of tens or hundreds of meter. Signal transmission between the cables is a risk.
Twisted pair reduces the risk a little, because now it is dipole--dipole, but over long runs it still matters.
 
@dmckee You're preaching to the choir. I'm very interested in how to run lots of high frequency lines with low crosstalk.
Please do go on...
 
So, one pair twists 28 times in 10 meters, the next twists 31 times, the next 37 times...
 
@dmckee And that leads to low crosstalk?
 
Big reduction in cross-talk. You can buy cable bundles with that property.
 
2:11 AM
What frequencies are we talking about?
@dmckee hah! Didn't know that.
 
@DanielSank Yeah, because sometimes the relative direction of the signal-group dipole is the same and sometimes opposite.
@DanielSank Now that's a good question. I'm used to thinking about amplified PMT pulses. Rise times oround nanoseconds, fall times 10s of nanoseconds.
 
@dmckee Ok so maybe up to 300 MHz ish?
 
signals geeks
 
@0celo7 Signal processing is very interesting.
You know the Dyson series? Any signal processor worth his/her salt understands that as the transfer function of a simple feedback system.
 
trying to decipher differential geometry lecture notes isn't
 
2:16 AM
You'd be delightfully surprised at how many really complicated things in physics can be understood very intuitively in the context of signal processing.
 
@DanielSank It's contain some components faster than that, but I suppose that's a good center for the band.
I'm not actually a signal guy. Someone else always worried about those issues (Big Science means you end up specialized), but I've sat through talks about many times.
 
@DanielSank can you explain sectional curvature of 3-manfolds intuitively?
what is this "Big Science" you keep talking about
 
@0celo7 Most of my papers have more than 90 authors. Some have more than 200 authors.
That's a small author list in particle physics terms.
 
Damn
Who actually writes the thing?
 
Well, experimental particle physics. The smart guys still publish in groups of two or three.
 
2:19 AM
@dmckee Yah. Don't you guys have some kind of canonical author list for each hardware system or something like that?
 
@0celo7 Lots of people turn in drafts of various sections and a committee dumps most of the work on a post-doc. Then edits and sends them back and send the result out for collaboration approval.
 
I've been wondering if we should do that too. Our author lists are like 20 folks long. I wonder if we should just throw up a web page called martinis_group_authors.org.
 
@DanielSank Most of the experiments I've been part of didn't divide it up that way. The 1000+ ones do.
 
Great.
Now I have to mess with that thing.
 
2:20 AM
@0celo7 Enjoy yourself.
@dmckee I see.
 
Why can't I be normal
 
But some papers are just signed by the collaboration and there is a web-page that lists who that means.
 
@dmckee Holy shit!!
1000+??
 
LHS experiments are crazy stuff.
 
LHS?
Large Hadron ...Splitter?
Left Hand Spinel?
Love His ...Sh...uh
 
2:22 AM
@0celo7 Yeah, how do you think you build a piece of equipment that spans international borders? You can't just theory that into existence.
 
@DanielSank Einstein and the Evidence, my friend.
 
You need a construction crew, a software army, instrumentalists, theorists, and people to make sure all those people's work goes in a coherent direction.
 
Did I mention my typing? And my better half keeps dragging me into the kitchen to help with things.
 
@dmckee Ain't nothing wrong with that.
Good things happen in kitchens.
 
@DanielSank IN this case we're straining the beef broth. That is a good thing.
 
2:23 AM
I guarantee: sectional curvature of 3-manifolds has never happened in a kitchen
 
@0celo7 I used to do all my homework in the kitchen.
Easy access to snacks helps the brain.
 
@DanielSank This is not homework, sadly.
I can't take geometry for another few years.
OH MY GOD THE BOOK I ORDERED PROVES THE THEOREM I NEED
Magic~~
Just gotta wait for it to arrive!
 
@0celo7 Sorry, I'm in the middle of Macbeth. I'm in the wrong mode.
 
@HDE226868 I think I figured it out. Maybe.
Since you're into astro I figured there was a shot you know something about constant curvature manifolds
 
Not much.
 
2:31 AM
It looks like Jost proves most of what I need.
I guess the thing with research articles is that I have to fill in some details.
 
2:55 AM
@ACuriousMind ?
 
@DanielSank He objected
 
@0celo7 Yes. Why?
 
I quoted Tony Zee
damn, I was doing something
you distracted me
now I have no clue what I was doing
 
@0celo7 Getting old?
 
ah! I remember
 
3:01 AM
That's because I reminded you.
You were getting old.
BTW @0celo7, nice job articulating your point with JD.
 
@DanielSank you the one who starred it?
 
@0celo7 Nope.
 
@DanielSank why don't you star it then
 
I'm just always impressed when people clearly articulate their position on issues like that where it's so easy to just get annoyed.
@0celo7 Who says I didn't?
 
@DanielSank uh...you?
 
3:04 AM
Oh, I guess I did.
XD
 
obe
there is no course on dynamical systems at my university lol.
:(
 
@obe It's called "engineering"
 
@obe Isn't that usually called "Classical mechanics"?
Or maybe "Partial differential equations"?
 
obe
yeah
@0celo7 how is it engineering lol?
 
@obe look at any of the upper division engineering classes
 
obe
3:05 AM
does that book i linked look like engineering to you?
 
you'll find some crazy dynamics there
@obe probably
huh, there's class on fire dynamics here
 
3:23 AM
TIL AEs use quaternions in error feedback for UAVs
 
obe
3:40 AM
looks super difficult.
 
basic civil engineering
 
3:58 AM
you can only see like 3 pages of that
 
4:23 AM
Hi @ChrisWhite
:-)
 
4:45 AM
all alone
doing homework
 
 
1 hour later…
6:05 AM
The quantum Zeno effect (also known as the Turing paradox) is a situation in which an unstable particle, if observed continuously, will never decay. One can "freeze" the evolution of the system by measuring it frequently enough in its known initial state. The meaning of the term has since expanded, leading to a more technical definition in which time evolution can be suppressed not only by measurement: the quantum Zeno effect is the suppression of unitary time evolution caused by quantum decoherence in quantum systems provided by a variety of sources: measurement, interactions with the environment...
neat
 
Huy
6:26 AM
@0celo7 what for my son?
 
 
1 hour later…
7:36 AM
@0celo7 well obviously
 
8:00 AM
@bolbteppa : I have seen some of them, and I'm not impressed. Leonard Susskind is the guy who will tell you that the infalling elephant goes to the end of time and back and is in two places at once.
 
user54412
8:56 AM
Finally got my code paper out. Now I can actually start doing science.
 
user54412
@ACuriousMind I put in as many indices as I could, just for you ;)
 
After checking that metric does fail the Frobinius condition
Does it have to fail for all timelike vector fields or is one enogh?
 
9:27 AM
Gödel just ised one but maybe he's a lazy shit
 
I saw you guys have a lot of awesome CTC discussion in the past 3 days. I wish I will be able to catch up later. My brain resources is currently 99% on my honours project, in particular some spectroscopy stuff
 
10:04 AM
So I used the ansatz for klein gordon in that metric
It is less bad but still pretty awful
Basically it's the Mathieu equation but slightly worse
Mathieu equation that, if you recall, I struggled with for the KG in a Ellis Bronnikov wormhole
But worse
Bad sign
Although the goal isn't quite the same, so I can probably cheat a bit
 
10:29 AM
"Solutions of the Cauchy problem for the wave equation on a non-globally hyperbolic spacetime, which contains closed timelike curves (time machines) are considered. It is proved, that there exists a solution of the Cauchy problem, it is discontinuous and in some sense unique for arbitrary initial conditions, which are given on a hypersurface at time, that precedes the formation of closed timelike curves (CTC)."
Oh boy
 
10:42 AM
Also wait
Isn't Frobinius theorem just for first order PDEs
 
10:55 AM
Gotta love when papers list their assumptions
"We conjecture that this well-posed nature of the initial value problem is true for initial data on a spacelike hypersurface (but not necessarily of data on $\mathcal{I}^-$) not only for our specific wormhole spacetimes, but also for any 4-dimensional, asymptotically flat, classical spacetime with topology of the form $R \times S - {p}$, where S is a closed 3-manifolds,
and we also conjecture that in such spacetimes the initial value problems is well posed, in the same sense as fpr $\Phi$, for all other non-interacting (linearly superposing) fields, classical and quantum"
That's a lot
 
11:36 AM
Too bad he turned out to be a pervert :(
 
 
1 hour later…
12:43 PM
@Slereah If I simply look at this statement by itself, it seems somehow time earlier than the CTC region dictate the dynamics within the CTC.
 
It's complicated
 
I might look at the maths later, but if my understanding is correct, it kinda makes sense to me
 
@ChrisWhite you're joking aren't you? Now you begin answering email about bugs, fixing bugs, and email about how do I install dependency X for your program?
 
What is the spacetime with the most singularities
 
@JohnDuffield you don't understand the math behind his elephant argument, how can you even judge what he's saying? Empty vessels...
 
12:55 PM
@bolbteppa why do you do this to me
 
@0celo7 the one with the most divisions by 0
 
I know, but that elephant thing quite frankly annoyed me :'(
 
But like an itch you just have to stop picking at it
 
@Slereah Stop before mods
 
Einstein is the crazy guy who says elephants stretch and bend as they move faster
 
12:57 PM
DELETE WHAT
 
He only used one vector field. I'm not sure that's legit, is it?
A spacelike vector is not orthogonal to ALL timelike ones, is it?
 
No but maybe if it's foliatable every timelike vector field can define a foliation?
I dunno
 
@Slereah if you itch it too much it will get infected :P
 

« first day (1826 days earlier)      last day (3117 days later) »