« first day (4593 days earlier)      last day (333 days later) » 
03:00 - 16:0016:00 - 21:00

4:00 PM
@SillyGoose a directional derivative is simply given by a vector field (remember, one definition of vector fields is as derivations)
 
@SillyGoose that moment when you keep calm and honk
 
I'm not sure what you mean by "direction derivative in the $x$-direction"
because $\mathrm{SU}(2)$ is, as a manifold, a three-sphere $S^3$, and "$x$-direction" is a concept from $\mathbb{R}^3$
What exactly are you trying to do here?
 
let me try to draw a picture
 
@Relativisticcucumber Insert a "when viewed from the $(x,t)$-coordinates". Does this help?
 
If you want to check out the map you can consider a small curve around $e$ that points in the $\sigma_x$ direction, $\exp(t \sigma_x)$
Then move this curve $g \exp(t\sigma_x)$
The mapped vector from this transformation will be the derivative here
 
4:07 PM
@ACuriousMind well i am kind of just picturing two $\mathbb{R}^2$ and im just picturing associating these points according to the transformation statement and im not really visualizing any sort of motion in this situation.
or i dont even know what it would mean to have motion in this situation
 
@Relativisticcucumber Don'T forget that one of these axes is time
so "motion", relative to a coordinate system, is just any line not parallel to its time axis.
 
It just means that x'=0 is a straight line in the (x, t) co-ordinate system
@Relativisticcucumber
So it means Lorentz transform maps some constant velocity trajectory to the time-axis, which is like "switching to the PoV of a constant velocity frame"
 
@ACuriousMind okay this is exactly what i am trying to do (i think)
 
ok i think i see
thank you
 
@SillyGoose So that's exactly what the derivative of the exponential map is for, and we already talked about that. Why are you not just using that?
 
4:17 PM
well i wasn't sure how to compute the resulting power series
which is the first line above (1)
and the commutators in that series are unfortunately not particularly nice
 
such is life
but you don't need to write the power series in that weird way - since $\mathrm{ad}_X$ is linear, you can just represent it as a matrix (in terms of acting on the basis $\Lambda_i$ of $\mathfrak{g}$)
then just use the computer algebra system of your choice to compute the power series for $\frac{1 - \mathrm{e}^{-\mathrm{ad}_X}}{\mathrm{ad}_X}$ as a series in matrices
unless you have a specific reason to believe there should be a simpler way, computations are sometimes just tedious
 
hm but isn't what we were talking about today simpler?
 
@SillyGoose I don't see what anything I've talked about to day has to do with this particular problem :P
 
the $e^{-i\Sigma \theta_i \Lambda_i}$ are $g \in G$. taking all $\theta_i = 0$ gives the identity id $\in G$. Fix $i$. So, the directional derivatives at the identity can be found by taking all $\theta_j = 0$ for $i \neq j$. Then, the exponential derivative simplifies greatly (the whole power series term is now gone) because there is no "translation term". Namely, the directional derivatives at the identity look like $-i\theta_i \Lambda_i$.
 
Sure, that's the special case when $X(0) = 0$ in the formula for the derivative of the exponential
the term that "shifts" this to some other $X(0)$ is precisely the $\frac{1 - \mathrm{e}^{-\mathrm{ad}_X}}{\mathrm{ad}_X}$ term you seem to be trying to avoid :P
 
4:34 PM
but the pushforward $g \cdot (v \in T_{\text{id}}G)$ if all i cared about is mapping from the directional derivatives at the identity to the directional derivatives at an arbitrary $g \in G$ does the same thing?
 
I don't know what that means
the pushforward maps vectors to vector at other points
why would you think it commutes with taking derivatives?
 
hm i thought some of the vectors are the "directional derivatives"
 
oh, that's ambiguous terminology
when you asked about "directional derivatives" without this context, I assumed you mean operator that compute direction derivatives, i.e. the $\frac{\partial}{\partial \theta_i}$
these are just the tangent vectors, and so they are related by the pushforward, etc. etc.
 
oh i mean to say the result of taking the directional derivatives at a point
 
@SillyGoose yes, I understand that now with the context you provided
nothing I said was meant to apply to the results of applying these operators to specific functions
 
4:39 PM
@ACuriousMind the stuff about the exponential mapping derivative?
 
no, the parts where I talked about the pushforwards by $L_g$ etc.
 
The solution to your actual problem is the standard formula for the derivative of the exponential map.
And yes, computing that power series can be tedious, difficult, or both
 
but so the standard formula yields the direcetional derivative at a particular point of choice right
 
but that's how it goes when one has to do actual computations for non-trivial problems
@SillyGoose Yes, at $\mathrm{e}^{X(0)}$
 
4:42 PM
if i laxen this condition, because really i would like to compute the directional derivative at every single point and hence an arbitrary point, what you said previously still doesn't apply?
 
I don't understand the question
you can solve the whole thing of course while leaving the value of $X(0) = \sum_i \phi_i \Lambda_i$ arbitrary
just like when we compute the derivative of a function $f$ we also have the formula for the derivative "at point x" as $f'(x) = \lim_{h\to 0} \frac{f(x+h)-f(x)}{h}$ but no one forces you to plug in a specific value for $x$, you can just leave it arbitrary
 
hm so to my understanding the basis of a tangent space $T_gG$ are the directional derivatives at $g \in G$. and the pushforward map will send the basis of $T_eG$ to the basis for $T_gG$. So it will send the set of directional derivatives at the identity to the set of directional derivatives at $g$
 
my next question would be: Why do you think you have to compute this quantity? Is this the actual task given to you or is this another XY problem?
 
well i am trying to minimize the linear entropy of a traced-out-of-the-environment arbitrary-hamiltonian-time evolved state and this reduces to computing the directional derivatives of $\exp(-i\Sigma \theta_i \Lambda_i)$ at least to my understanding
 
isn't the entropy a scalar?
 
4:48 PM
(and trying to do this analytically, it can be done numerically of course)
 
as in, if you're trying to minimize the entropy, should you not just be looking at its derivatives and not whatever this exponential is?
 
yes but i thought that partial tracing and tracing out analytically before differentiating might be more complicated but maybe not :P
ignore (5) that step is definitely wrong :P
 
@SillyGoose Why do the derivative and the partial trace commute in (3)?
 
im not sure actually but according to quantum computing stack exchange such result holds
2
Q: Does the gradient commute with the partial trace?

Jon MeganSuppose I have a parameterized quantum state: $\rho(\theta) = U(\theta) \rho U^\dagger(\theta)$. I am curious to know whether the following holds: $\frac{\partial \text{Tr}_A (\rho(\theta))}{\partial \theta} = \text{Tr}_A \Big(\frac{\partial \rho(\theta)}{\partial \theta} \Big)$, where $\text{Tr}...

 
ah yes, it is
in any case I don't really understand why you assume this will get easier by trying to differentiate the exponentials individually
but if you do insist, I don't think you'll get around using the power series for the exponential derivative on way or the other
 
5:02 PM
hmm then maybe i will try to do the other way around :P
 
@RyderRude This is wrong
 
@bolbteppa hello. Welcome back! Why do you think it is wrong?
 
There is no rationalizing away the $-E$ solution, it's there and the best way to make sense of it is via creation and annihilation operators
 
@RyderRude I always recommend students to learn Cartesian tensors first, because in that context it is much less confusing, much more clear what is happening, and at the same time, vastly useful because it would simplify a lot of the proofs that appears in vector calculus. Then, once you are used to the notation and indices, it will be easier to move to the curvilinear stuff.
 
@naturallyInconsistent back then, i got confused about proofs involving the Einstein tensor and Riemann curvature tensor
It was over a year ago
 
5:13 PM
Wald is just not the correct book for first timers. Too difficult for very little gain.
 
In a transition where the particle number in the $E_n$'th energy level raises by 1 you get a $e^{-iE_n t}$ factor, and if it decreases by 1 you get a $e^{+iE_n t}$, now the $-E$ solution makes perfect sense and everything in QFT becomes consistent
 
@naturallyInconsistent yes, i thought it was hard 2 translate
 
@bolbteppa He knows about this.
 
@bolbteppa I'm just saying that when we define the position space wavefunction using the $\langle 0|\phi(x) |\psi\rangle$ scheme, there are no positive frequency exponentials in the evolution of $\psi(x)$
 
You're using about 3 or so distinct ideas in writing that down, trace any of it backwards and you'll end up facing this $-E$ thing, once you even write down the Poincare group you're faced with the question of its irreducible representations which immediately throws the Casimir $P^2=m^2$ in your face and you're faced with negative energies
 
6:00 PM
hm is this really true no matter what form $\rho_{AB}$ is?
 
6:12 PM
Nov 20, 2019 at 15:21, by Jake Rose
Reading Diracs GR book. In typical fashion he says something with little explanation.
I have exactly the same question lol, sadly no one answered him
Nov 20, 2019 at 15:24, by Jake Rose
But then he says, 'further we must have $g_{m0} = 0$
It's related to the Newtonian approximation. Anyone can clarify why this is a reasonable assumption to make in that context?
 
Probably just some $c^{-2}$ factor
As you may remember the contraction of GR to CM gives two metric tensors
One 3x3 metric tensor for space and a 1x1 metric tensor for time
The other components get contracted away
 
contracted by what?
I thought of a physical reason but I'm not sure it's correct regarding the formalism. If it is true that $$g_{\mu\nu} = \mathbf{e_{\mu}}\mathbf{e_{\nu}}$$ then it is equivalent to saying that no basis vector has a projection on a time-like direction? Meaning $g_{00}$ represents roughly, time dilation only, and the off diagonal $g_{m0}$ represent length contraction?
@Slereah But I kind of think what you're saying has a physical intuition too, that we must unlink the time components from the spatial ones 'cause that's taken for granted in CM
 
6:30 PM
The limit $c \to \infty$
 
@Slereah Can it be shown there's always a factor of $1/c$ on the time components? I know that a Lorentz boost looks like this...
 
I think it's something like there exists a basis in which this is true
 
Okay, thanks. Maybe I'll try and find a source that motivates it more fully, you gave some good leads
 
$g_{\mu \nu} = \mathbf{e}_{\mu} \cdot \mathbf{e}_{\nu}$
 
The dot?
 
6:39 PM
Inner product, i.e. dot product
Also $\mathbf{e}_{\mu} = \frac{\partial \mathbf{r}}{\partial x^{\mu}}$, where $\mathbf{r} = t \hat{t} + x \hat{i} + y \hat{j} + z \hat{k} = x^{\mu} \hat{e}_{\mu} $ is the position vector in space-time
 
Yes, good catch
 
That might be a bit confusing if you've never seen it
 
I know that it's a coordinate basis, and that they are often identified with the partial derivatives
 
What page from Dirac
 
26
Dirac doesn't mention coordinate basis :) Referring to the Newtonian approximation issue I originally mentioned
I guess the only question is why he says the $g_{m0}$ must be $0$, and specifically implying they can't be even constant...
 
6:52 PM
I think it's because the gravitational field is static i.e. does not depend on time so it should be invariant under $t \to - t$ and if you include the $g_{m0} dx^m dx^0$ terms the metric will change under this transformation
 
even constant terms?
I do remember reading somewhere about this time reversal, they also mentioned a difference between a static and a stationary metric. Honestly I didn't quite understand.
 
In $ds^2 = g_{00} dt^2 + 2 g_{0i} dx^0 dx^i + g_{ij} dx^j dx^j$, since the gravitational field is static we see none of the $g$'s depend on $t$ so the gravitational field is invariant under $t \to - t$, but the line element $ds^2$, i.e. squared differential length in space-time, is not invariant under $t \to - t$, instead we get $ds'^2 = g_{00} dt^2 - 2 g_{0i} dt dx^i + g_{ij} dx^i dx^j$, unless of course $g_{0i} = 0$ in which case $ds'^2 = ds^2$ as should be the case since $ds^2$
is physically a squared line element in the space-time with $g$ as its gravitational field
 
Okay, that's helpful. But I am not 100% clear on what this invariance under $t \rightarrow -t$ represents, is it a kind of a time dependent curvature of space?
 
That's time reversal symmetry
 
Yes, I understand. But translating to some physical concept... what are we requiring, that a world line has the same length forward and backwards in time?
 
7:03 PM
that things look the same if you reverse the flow of time
The typical example is a rotating system
 
But that sounds like it should be true for all metrics, not just the Newtonian case
 
A rotating system can be time invariant, but on the other hand, if you reverse time, it will rotate in the other direction
Well FRW isn't time symmetric, certainly
 
Because $g_{\mu}(t,x,y,z) = g_{\mu \nu}(x,y,z)$ holds (the assumption that $g_{\mu \nu}$ is static), we trivially have $g_{\mu}(t,x,y,z) = g_{\mu \nu}(-t,x,y,z) = g_{\mu \nu}(x,y,z)$, this trivial statement should be reflected in the expression for any given (squared) line element $ds^2$ in such a space-time where the gravitational field possesses this trivial symmetry
 
Ah, nice
No tricks there right? :) It looks too simple , lol
 
Be thankful for the trick if it exists
 
7:06 PM
:)
Thank you both
 
7:55 PM
Hey everyone. I'm trying to find out exactly how current flows in an ideal wire—assuming that there even is a solution to Maxwell's equations describing that.
It seems like since the E field is zero, its curl also has to be zero, meaning that the B field can't change. Let's assume that the B field is zero. Its curl also has to be zero, and so no current can ever flow. Which... obviously doesn't sound right.
 
8:14 PM
Wait, I think I've got the answer. All the current has to flow at the surface. Both the E field and the B field will remain zero inside the wire, but nonzero outside the wire. I think they're both of bounded magnitude, too.
 
03:00 - 16:0016:00 - 21:00

« first day (4593 days earlier)      last day (333 days later) »