« first day (2632 days earlier)      last day (2300 days later) » 
00:00 - 16:0016:00 - 21:00

why does the construction of gauge invariant quantities in quantum gravity seem so important?
 
12:23 AM
@JohnRennie You'll be proud to know I stayed up until 6 in the morning doing electromagnetism while listening to Trout Mask Replica from beginning to end on my headphones
 
12:59 AM
cashews are so expensive
 
1:36 AM
yup lol
i probably spent like 500 bucks on them since the summer lol
addictive
 
 
1 hour later…
3:06 AM
@JohnRennie applicable to you youtube.com/watch?v=FaPqFI5-yWM
 
3:28 AM
@vzn @JohnRennie @slereah @0celo7. But I don't understand. Even if $\Lambda$ is sufficiently strong such that the strong cosmic censorship violating spacetime extend beyond the cauchy horizon, it does not seemed it can affect the rest of the universe as the penrose diagram basically showed that region is within the event horizon of the black hole?
So in a sense, even if indeterminism does occured, it cannot be experimentally verified without jumping into the black hole
 
vzn
4:07 AM
@Secret my feeling is the applied wave experiments are the closest to "realistically" modelling what happens in black holes (have you seen em? now several labs! check em out!). everything else is very provisional.
...
 
uh, I am not in USA during that period cause the new term is starting soon
 
I have not seen any black holes
I do not know the answer to your question, @Secret
anything involving jumping into black holes is a mystery to me
not much math involved there so I stay away
 
4:23 AM
@dmckee I need help
bureaucrazy
school stuff
 
@0celo7 Uh ... and you turn to me?
 
@dmckee you're in the system
and it's 11:30
@dmckee should I waive access to letters of recommendation?
will the form the profs get tell them that I have or haven't?
 
@0celo7 Generally they will know that you have waived access. And that is the usual expectation.
 
@dmckee also the title section for recommendations has only Dr. and Professor
are Associate Professors considered Professors in this context?
 
So, you should only ask people that you know will talk uyou up.
@0celo7 IN the US, yes.
 
4:29 AM
@dmckee I'm asking people I know very well
oh ffs you can't move on to other parts of the application without finishing this one
what a garbage design
 
@0celo7 Par for the course with on-line applications. Hate 'em.
 
I don't want to send out the emails before I ask the people
but I'd like to get some more of this thing done!
well, time to work on next week's lecture I guess
 
@0celo7 Yeah. Those forms mess with your planning that way.
 
@dmckee I told my advisor I'd have it mostly done for him to look over tomorrow but I guess that was a lie
 
5:15 AM
@BalarkaSen I've listened to Trout Mask Replica many times, trying to convince myself that it really is a work of genius.
@0celo7 When you're writing a Windows app lots of API calls can return a generic error "not enough memory" but that doesn't mean there isn't enough RAM. It just means there wasn't enough of something. Apps frequently don't bother to chck exactly what happened and just display an out of memory error.
 
@JohnRennie hmm
something being money for a better PC?
 
5:39 AM
Windows maintains lots of memory areas used for storing various kinds of operating system objects. It will be one of those that ran low.
It's not the PC, i.e. not a hardware problem.
 
So you’re saying I need 32 gigs
That’ll be expensive
 
No, it's not the PC - not the amount of memory you're have.
Some internal memory buffer in Windows has been exhausted
Adding more memory to the PC won't fix that because the buffers have a preset size that isn't dependent on the amount of RAM. Some app or driver has leaked system objects somewhere and that has caused the problem.
It can be tough to figure out what is responsible. Generally you have to try and see what is running when the problem happens. But if it only happens occasionally it's hard to see any pattern in the occurences.
 
I see
Cheerio British one
Night
 
 
2 hours later…
7:54 AM
Mornin
@0celo7 I think if you expand the effective strong interaction theory you'll get this as an EoM
or something similar
Or maybe it's one of those old Yukawa interaction thing
 
8:19 AM
The "meson equation" usually seems to be just Klein Gordon
"For all $y \in E_p$, we have $$T_y \iota (T_y E_p) = \operatorname{Ker}\left[T_y \pi : T_y E \to T_p M\right] = (T_y \pi)^{-1} (0_p) \subset T_y E$$"
Mama mia
 
8:46 AM
$\prod_{p\in\mathbb P}\frac{1}{1-p}=\zeta(1)=\infty$, and therefore $|\mathbb P|=\aleph_0$. QED. — AccidentalFourierTransform 19 hours ago
Punny
 
9:24 AM
"the spaces are assumed merely to be sufficiently nice topological spaces"
There's the Nice set again
 
9:44 AM
@JohnRennie I enjoy it, actually.
 
10:04 AM
After two months trying to use Firefox Quantum (57) I'm convinced to downgrade to 56
It's been a disaster
Takes up like 5GB to 6GB of RAM (around 4 or 5 times Firefox 56 did for the same usage) and closing the tabs doesn't free up RAM!
 
@BalarkaSen I admire it. It's a hell of an achievement. But it's not my first choice of albums when I want some music to listen to. I have to be in a very special mood to want to play TMR!
 
@lılostafa Huh? Mine's currently taking up ~1.5GB, which is, if anything, less than 56
 
@JohnRennie Hahah
 
@BalarkaSen Have you seen the film From Straight to Bizarre?
It's a documentary about the label Bizarre Records that Frank Zappa set up. It covers the making of Trout Mask Replica in some detail.
 
I haven't. I'll note it down; it's be interesting to know the history of this album
I found out about TMR because one of Fantano's reviews compared Scott Walker's Bish Bosch with it
 
10:17 AM
@Mithrandir24601 right now, with only 3 tabs open (after restarting Firefox) ^
(3rd column is ram)
 
Pretty much all browsers are awful with RAM these days
they run way too much bullshit
 
after it was released they claimed it's the most memory efficient browser, even better than Firefox 56 and Chrome
 
@lılostafa Could be but that's not saying much
I want to go back to the times of all websites being raw HTML
 
@BalarkaSen it's a fascinating documentary. The main thing I took from it is that you don't want to be on Frank Zappa's record label.
 
lmao
 
10:32 AM
Hey
 
Joe
 
Where you goin' with that gun in your hand
 
Oh
What's up
 
11:03 AM
@0celo7 that is one dangerous link
(where the danger is to one's productivity)
 
 
2 hours later…
1:16 PM
@lılostafa That's crazy... I normally have well over a dozen tabs open at once
 
I've had occasions with 700 tabs open
 
@Mithrandir24601 noob
@Slereah that’s comical
 
what is
 
700 tabs
 
It's the Thing where I go
"Hm, I shouldn't close that tab, I need to save it for a later read"
times 700
Lee is pretty good for bundles btw
 
1:29 PM
I know
Why do you think I told you to read it
 
tho I had to go back to chapter 6
 
I have never lied to you
 
Because reading the connection section without the bundle section is a bit harsh
 
1:44 PM
Slereah, you happened to know anything about that black hole result starred?
 
@BalarkaSen "A category $\mathcal C$ over manifolds is called locally flat if $\mathcal C$ admits a local pointed skeleton $(C_\alpha, 0_\alpha)$ where each $\mathcal C$-object $C_\alpha$ is over some $\Bbb R^{m(\alpha)}$ and if all translations $t_x$ on $\Bbb R^{m(\alpha)}$ are $\mathcal C$-morphisms."
whut
user image
3
 
@0celo7 My sides
 
Since youhave been reading about monsters recently, you might knew something about that strong cosmic censorship result. I suspect we cannot experimentally test it as any indeterminisim beyond the cauchy horizon is within the event horizon according to that penrose diagram?
 
There are many reasons why we cannot test things in black holes
for a start we don't have any around
 
hmm...
 
1:53 PM
I can fix that
let me get the camera and a mirror
@BalarkaSen please help I'm on nLab unironically
 
I don't know how well we can reason about black holes with our existing theory in an experimental perspective as any external observer will never see the event horizon forming, the best they can see is an apparent horizon...
@vzn are you talking about the dumb hole experiments or something else? I don't recall there are other black hole analogues or mimics other than dumb holes
 
@0celo7 This is beautiful
 
nlab is a pretty neat source for math odds and ends
although you need to speak category to use it fully
 
@BalarkaSen PLLLLLLLLEASE
 
why are you on nlab unironically
thats like suicide bro
 
2:06 PM
cuz it makes no sense
 
@0celo7
could be worse
you could be on metamath
 
@BalarkaSen so are you gonna tell me what that nonsense means
 
⊢ 𝐵 = (Base‘𝐺) & ⊢ 𝑁 = if(𝐵 ∈ Fin, (#‘𝐵), 0) & ⊢ 𝑌 = (ℤ/nℤ‘𝑁) ⇒ ⊢ (𝐺 ∈ CycGrp → 𝐺 ≃𝑔 𝑌)
That is the good stuff
 
@0celo7 idk what a local pointed skeleton is
 
@BalarkaSen he posted pictures of it
 
2:09 PM
lmao
 
@Slereah :(
I know functional analysis but this shit is too strange
where is the proof
 
that website is like a repository of mathematics
 
why is "new usage discouraged" on everything
 
1 ax-hv0cl 21638 . . 3 ⊢ 0ℎ ∈ ℋ
2 nlelch.1 . . . . . . 7 ⊢ 𝑇 ∈ LinFn
3 2 lnfnfi 22676 . . . . . 6 ⊢ 𝑇: ℋ⟶ℂ
4 fveq2 5563 . . . . . . . . 9 ⊢ ((⊥‘(null‘𝑇)) = 0ℋ → (⊥‘(⊥‘(null‘𝑇))) = (⊥‘0ℋ))
5 nlelch.2 . . . . . . . . . . 11 ⊢ 𝑇 ∈ ConFn
6 2, 5 nlelchi 22696 . . . . . . . . . 10 ⊢ (null‘𝑇) ∈ Cℋ
7 6 ococi 22039 . . . . . . . . 9 ⊢ (⊥‘(⊥‘(null‘𝑇))) = (null‘𝑇)
8 choc0 21960 . . . . . . . . 9 ⊢ (⊥‘0ℋ) = ℋ
9 4, 7, 8 3eqtr3g 2371 . . . . . . . 8 ⊢ ((⊥‘(null‘𝑇)) = 0ℋ → (null‘𝑇) = ℋ)
10 9 eleq2d 2383 . . . . . . 7 ⊢ ((⊥‘(null‘𝑇)) = 0ℋ → (𝑣 ∈ (null‘𝑇) ↔ 𝑣 ∈ ℋ))
The proof
 
2:11 PM
hell no
 
that's quite a bit longer than the usual proof...
 
Well it's like
A proper proof
As per proof theory
you have formulas and rules of transformation and you apply them
 
@0celo7 i suspect its longer than what you see
 
and you get the new formula
@BalarkaSen well a lot of it is based on proofs already proven
 
Is that like a proof verifier output thing?
 
2:12 PM
The full proof from ZFC is probably very long
 
@Slereah yeah so technically it's all of that
 
yes, it's based on a proof verifier engine
 
no wonder it is syntactic
 
The $2 + 2 = 4$ proof is about 22,000 lines long
starting from ZFC
 
quickmaths
 
2:13 PM
dead meem
 
I already forgot how addition is defined in ZFC
 
Peano axioms
 
right
 
"a category over manifolds is a category $\mathcal C$ endowed with a faithful functor $m:\mathcal C\to\mathcal Mf$"
what is a faithful functor?
 
injective on morphisms
 
2:15 PM
\begin{eqnarray}
a + s(b) &=& s(a+b)\\
a + 0 &=& 0
\end{eqnarray}
 
why do you know this
 
doesnt send two different morphisms to one
 
And then $0$ is defined by $\varnothing$
 
i know some random categorical language...
but only as much as a mortal can know
 
every induced map $\mathrm{Hom}_\mathcal C(A,B)\to C^\infty(mA,mB)$ is injective
 
2:16 PM
And $s(x) =\{x\} \cup x$
 
fuck this
I tried
 
Which means that a number $n$ is basically defined as $\{ n-1, n-2, ..., 1, 0 \}$
 
@0celo7 y u reading this
 
Hence you have $a < b$ equivalent to $a \subset b$
 
what would the morphisms even be in the Riemannian category
smooth maps or something more sinister?
local isometries?
 
2:17 PM
local isometries, yes.
maps which preserve the riemannian metric
 
according to MO, no one knows
 
Slereah: yeah, ordinal stuff. Thus it sounds surprising that the proof need 20000 lines cause we already have peano axioms to start with. I suspect, it might have something to do with 4 not being an immediate successor of 2, but I need to check...
 
We don't.
The Peano axioms are proven from ZFC
and definitions
You need to prove the theorem of induction on sets
which is very nasty
that sort of thing
 
@0celo7 i looked up. i think that's asking a dumb categorical question about the "right" definition of the category of riemm folds
 
⊢ ((𝐴 ⊆ On ∧ ∀𝑥 ∈ On (𝑥 ⊆ 𝐴 → 𝑥 ∈ 𝐴)) → 𝐴 = On)
 
2:21 PM
@BalarkaSen the answer is that it doesnt matter because Riemannian geometers don't use category theory
 
yep
 
flipping fuck what is going on
consider the category of vector bundles over the category of fibered manifolds
stop
back to the PDEs
 
Really just to prove $2+2 = 4$ you have to define what a function even is
And what is the application of an argument on a function
 
it seems like it should take less than 22,000 lines
how many lines does constructing $\Bbb N$ take?
 
I dunno
But I think a lot of it might also be just proving basic logic theorems
Since it also construct proofs for propositional logic
 
2:28 PM
@0celo7 There is perhaps an interesting point to be made. Gromov once asked what an intrinsic definition of a Riemannian manifold is; admitting a certain section of the tensor square of it's tangent bundle is not really intrinsic so to speak. Connes gave an answer: en.wikipedia.org/wiki/…
I don't understand his answer but perhaps you definitely would
 
"One of the reasons that the proof of 2 + 2 = 4 is so long is that 2 and 4 are complex numbers—i.e. we are really proving (2+0i) + (2+0i) = (4+0i)—and these have a complicated construction (see the Axioms for Complex Numbers) "
The proof for ordinals is probably shorter
 
He says a Riemannian manifold carries exactly the same information as a representation of C(M) inside a certain Hilbert space carrying a certain operator
A totally functional analytic description
This is probably the key to answer what the "right" category of Riemannian manifolds is... IDK
 
@BalarkaSen very interesting
I'll read that Connes paper
 
I thought you would like it
 
2:31 PM
67 pages
crap
 
rip
 
One of Those papers
 
it's right up my alley though so I will probably read it
 
So doing your presentation today?
 
yeah, on ADM
the talk is no better than it was two days ago, despite more prep time
oh well
 
2:34 PM
Don't slander physicists too much
 
will do
 
the physics gods will curse you
 
during my year of math I had to do a presentation on riemannian geometry
I think the professor probably thought the proof that Riemannian geodesics were extremal path was a bit too physicky
 
did you use variational calc
 
Yes.
I used the physicist version of variational calculus
 
2:38 PM
the question is, does this stack contain the full proof of the Riemannian positive mass theorem? i.gyazo.com/3079565797b1ce69c65ae3d843fa6bfa.jpg
 
I guess you'll find out today
 
@Slereah by the end of the semester, hopefully
I sent you the seminar schedule
 
Is the Riemannian positive mass theorem useful in math
 
yes
 
what is it used for
 
2:45 PM
@Slereah you can assign to certain differential operators a mass that appears in their asymptotic expansions that turns out to be the ADM mass of a certain asymptotically flat manifold
 
Is there a simple example?
like for $\partial_x$
 
no
 
Oh well
 
the operators are Schroedinger
of the form $-\Delta+V$
the mass is used to control compactness of the associated critical nonlinear equation
@Slereah also it can be used to conformally embed certain manifolds in the sphere
 
Sid
Guys a little help here: My book asks a question where it states that photoelectric effect is "virtually" temperature-independent. Isn't that wrong? If I remember correctly, the work-function is temperature-dependent..
 
2:58 PM
@Sid In semiconductors the level of an electron will depend on the temperature
At higher temperatures electrons fill up higher energy levels
hence the photoelectric effect will not have the same effect, I think?
For single atoms it does not really depend on temperature, certainly, but in solids I'm not sure
Although even for a monoatomic gas I think the electrons have a very slight chance to be in a higher electron orbital if the temperature is high enough
 
15 degrees
dear god
today is the day I freeze to death
 
Please, this is a physics room
Use either $°C$ or $K$
 
Anonymous
3:14 PM
@Sid They're hinting at the fact that electrons in a metal obey Fermi Dirac statistics.
 
Anonymous
Check out the graph, you'll get the answer
 
@Slereah -9
 
Anonymous
3:33 PM
 
Anonymous
What's the MathJax code for this symbol?
 
Anonymous
\th doesn't seem to work
 
why would you need that
 
Anonymous
To differentiate between probability distribution function (I use $p(x)$ for that) and the normalized probability density function
 
Anonymous
Also because my teacher uses it on the blackboard :P
 
Anonymous
3:37 PM
 
Anonymous
Actually any of these will do
 
It's a thorn
It's available in unicode
Þ, þ
 
@Blue and why do you need it in mathjax?
just write like $\hat p$ or something
 
$$\huge þ$$
 
Anonymous
Ah, nice. $\large \unicode{x00FE}$
 
Anonymous
3:46 PM
$\large \unicode{x00DE}$
 
 
00:00 - 16:0016:00 - 21:00

« first day (2632 days earlier)      last day (2300 days later) »