« first day (2928 days earlier)      last day (2093 days later) » 

10:01 PM
Sanity check to see if I understand correctly: dx is a (smooth) function from $\Bbb R^3$ to its cotagent bundle. Pointwise it induces functionals on the cotagent spaces. (In general a $k$-form is a function from your manifold to the bundle of $k$-forms and it induces a $k$-multilinear alternating map on each $(T_pM)^k$)
 
Given a connection on a bundle (when M is a Riemannian manifold, the connection I just talked about is on TM), a section of E is 'parallel' if the connection takes sigma(p) to sigma(q) whenever you parallel translate from p to q.
If you think of R^3 as a Riemannian manifold, the fact that dx seems constant is not illusory: it is because dx is a parallel 1-form.
 
I have a question
 
@LeakyNun one could call them "justifiable" illusions :P
 
a bounded interval, does it has to be closed?
 
Context? But I'd say not necessarily
 
10:04 PM
@AlessandroCodenotti Pointwise it induces functionalsbon the tangent spaces but otherwise correct
 
@MikeMiller Oh, right, elements of the cotagent space, hence functionals on the tangent space
 
A k-form eats k vectors in a skew-symmetric multilinear way and spits out a number
 
infinitesimals have been around since the days of Archimedes
 
10:27 PM
@quallenjäger: The interval $(0,1)\subset\Bbb R$ is bounded.
 
Hi TeD!
@TedShifrin It has been really a while
 
In Europe you'd write that $]0,1[$ ... damn, that's hard to type.
 
It hasn't been that long!! :)
hi, demonic @Alessandro
 
Well, I have a theorem which says a continuous function on a bounded interval is bounded.
 
10:28 PM
in my high school we were taught to use the ]...[ notation
 
That's totally not right.
 
It's clearly wrong.
 
Nah, in europe we write $(0,1)$ but we don't need to put our gun on the table to free our hands before doing so
 
So I thought what he meant is bounded and closed.
 
Hrumph @Alessandro
 
10:29 PM
:P
 
dude u got us
burned
 
@quallenjäger: That would make it a valid theorem.
 
oh hell, is trouble-making Demonark here too?
 
always
 
10:30 PM
Oh God Titchmarsh does the ]0,1[ thing too
 
@EricSilva: Just made some vichyssoise. One of my favorite hot weather things to eat ... so simple, yet so yummy.
 
Sadly I am, everyone run in fear!
@Alessandro how's it going?
 
Titchmarsh was British, Demonark. That's part of Europe (well, ignore Brexit).
 
Do you know if you can approximate a function with finite $p$-variation by piecewise linear path?
 
ohh that sounds good rn
 
10:30 PM
I think we should join the best of both worlds and write $(0,1[$
 
i made a Moqueca de Peixe yesterday and it was real good
 
@Daminark ::runs::
 
@EricSilva: Because of all the fires and smoke in northern CA, I canceled my trip. (I lost half my AirBnB payment, sadly.) Rafe is mad at me. Oh well.
 
what the heck is $(0,1[$?
 
LOL ... what is Moqueca de Peixe? Something of fish?
 
10:31 PM
sad :(
 
@Daminark I've been doing more holidays and less maths this week, but still pretty well! What about you?
 
@TedShifrin it's a brazilian whitefish stew
 
What spices and veggies are in it?
 
@quallenjäger It's like $]0,1)$
 
ROFL @Alessandro. Hanging around your family makes you obnoxious.
 
10:32 PM
Took a bit of a break, I've been feeling a bit worn out/down recently, but now I'm getting back into it
 
Don't worry @Ted, I'll go back to do maths next week, we're staying at the sea until Sunday
 
It's not like the obnoxious behavior just stops instantaneously ... Look at Demonark.
Oh wow, DogAteMy has reappeared? I haven't seen him in months.
 
W... What?
 
@Ted you use white onion, red and yellow bell peppers tomatoes, green onion, garlic, lime, coconut milk, paprika, dendê oil
 
Is it normal to get charged for too long paper to publish?
 
10:34 PM
fish obviously
 
I have been asked to shorten my paper or I need to pay.
 
Almost Thai, Eric. So interesting.
 
::looks at Demonark::
 
Long ago we often had to pay page charges, @quallenjäger. Maybe it's cheaper to publish on an on-line journal these days.
 
ya i suppose that's accurate
 
10:36 PM
What is dendê oil, @EricSilva?
 
red palm oil
 
Oh, palm oil is all the rage these days. I still haven't used it myself.
 
is it?
 
from palm leaves?
 
it's been a fixture in my house since forever
 
10:37 PM
Is it also normal to get charged by number of words?
 
ouch^
 
@quallenjäger: I don't know. I'm out of this loop.
What journal is this?
 
oh @Ted also made a side dish by mixing some of the liquid from the stew with toasted tapioca flour i had made earlier
 
@EricSilva: I'm not super thrilled with my answer to this. Can you improve it?
 
makes a porridge called Pirão
 
10:38 PM
Is there something called directrix that's to do with potential/hamiltonians? Not the ellipse/focus thingy.
 
I'm not a huge tapioca/porridge fan.
 
In Italy while everyone was going crazy about palm oil, in full public outrage, Ferrero was like "we don't give a damn, we can put kerosene into nutella and people will still buy it" so they made a TV commercial in which they explicitely say that all of their ingredients are good, including palm oil
 
Or is it diametrix? I can't find it anywhere.
 
@TedShifrin it doesnt taste like tapioca most people from around these parts might eat
 
I know the word parametrix from partial/pseudo-differential operators, @Nebulae. I've never heard of that, though.
 
10:39 PM
journal of mathematical society of japan
 
at all
 
Oh, that's a serious journal. I suspect they are broke. Probably most journals are, because university libraries have cut back budgets to pay for journals.
OK, @EricSilva. I'll give it a try when you cook it for me.
 
Is it famous?
 
ya def
 
I think so, @quallenjäger, unless my brain is totally addled.
 
10:40 PM
@TedShifrin Is that the kind of things you meant when you said I should also see some practical applications of differential forms?
 
It's a joint work with my supervisor.
 
it was like one of the typical meals in my house growing up so i have very fond feelings
 
So I have no idea.
He told me we got charged so I need to shorten the paper.
 
oh ill check this question out when ive given my brain a rest Ted
ive been reading some book of Martin Hairer and it has actually fried my brain
 
Well, @Alessandro, I actually meant doing some pullbacks and computing a few integrals explicitly. This is the Frobenius Theorem, which is super important.
What book is that, Eric?
 
10:41 PM
it's about rough paths
 
Thanks Ted
 
Ohhh ....
 
I am doing rough path
 
yo teach me
this is hard lol
 
10:42 PM
It isn't actually.
 
@Alessandro: I can send you a few of my exam questions if you want to see what I'm talking about [or you can look at some of my videos].
 
@EricSilva how's 0celo doing?
 
Are you reading Hairer and Friz book?
Rough path is really beautiful theory.
 
@user1732 why would i know
 
Wow, both Balarka and 0celo have disappeared.
And a few of our graduate students ...
 
10:43 PM
@quallenjäger it seems better than the stuff ive been doing that's for sure
 
So the point is, for normal integration, (for example Riemann-Stieltjes integral) the pathwise integral $\int \phi(dx)$ is not continuous for finite $p$-variation.
 
@TedShifrin balarka will be back once he settles into uni life
 
Is he actually living away from home or staying at home?
 
You cannot really define the integration as a limit as we usually do for finite $p$-variation path.
 
away
 
10:45 PM
Ah, good for him!
 
i think
 
Yeah he moved for uni a couple of weeks ago I think
 
What rough path theory tells you is, the missing information, which is need to converge, is contained in the signature of path. Signature of the path is just a series of iterated integral.
 
The whole room is growing up. I wonder what @Meow is up to.
I miss his mathy days.
 
So the signature tells you exactly how to integrate your path against itself.
the more irregular your path is, the more order you need.
 
10:47 PM
@quallenjäger that's the $\int X_{s, r} \otimes d X_{r}$ thing right
 
@quallenjäger: What you're saying is totally Greek to me ... and I don't mean @Antonios's kind of Greek.
 
ancient greek :P
 
In mathematical manner is, you can see the signature as a path in the Lie group. And on the space of the Lie group you can find a sub riemannian structure. And the geodesic is just the signature of a bounded variation path.
 
Why do they use the word "signature"?
 
Yes exactly, in the case of finite 2-variation.
 
10:49 PM
ok
 
@TedShifrin Yeah not parametrix. I remember it was mentioned in my notes somewhere. It has an equation that that resembles something like $\sqrt{p(x)-\epsilon^2}$ where p is the potential function.
 
And your rough integral can be defined as an approximation of integral of a bounded variation path in the space of Lie group with an appropriate norm.
 
Hairer and Friz i think introduce it with Holder spaces so finite 2-variation would correspond to Holder exponent between 1/3 and a 1/2 i guess
 
Interesting, @Nebulae. Never seen that.
 
@TedShifrin Because the signature determines the path uniquely.
@TedShifrin It's a result back in the 1950.
I have asked you a lot of stuff in the beginning of the year if you remember.
 
10:50 PM
I still don't understand the meaning of the word. It of course has nothing to do with other uses of "signature" in mathematics (relating to quadratic forms).
I don't remember anything like this ...
 
Oh Ted I was thinking of giving the bootcamp ppl a fun lecture on something moving frames-y
 
I asked you about lemma 3.1
 
do you have any recommendations for topics
 
10:52 PM
a fair number of them have seen and worked w the frame game before
@quallenjäger is this the Chen's relations dude
 
Yes
I started with this papers
You want the papers where everything started?
 
(for the record i like just got told by supervisor to pick up hairer and friz like this week so im coming in with 0 knowledge)
 
@EricSilva: Finish talking with quallenjäger. Get back to me later. Let me know what all you/they've done in geometry.
 
I didn't know that rough path is so popular.
@EricSilva Yes, the more irregular your path is, the more order of iterated integral you need.
 
@TedShifrin OMG! It was separatrix! I don't know why I was sure that wasn't it. The equation that I was misremembering is $p = \pm \frac{q}{\sqrt{2}}\sqrt{2-q^2}$.
 
10:56 PM
Can (or was) this expression proven to be true; $a \cdot b > c \cdot d \Rightarrow 2^a + 2^b > 2^c + 2^d$
 
idk how popular it actually is but my summer project supervisor just told me to learn it
 
The idea with the hölder norm is to quantify how "rough" your path is. The more "rough" your path is, the "smooth" your 1-form should be to kill the roughness in your path.
i thought its a very small community who does rough path.
May I ask who your supervisor is?
 
P. Souganidis
 
I see.
 
he collaborates w lions a lot
 
10:59 PM
Lyons
Yes
I have seen the name
of your supervisor
You might want to read this paper first. You can see where the Chen identity comes from.
 
lol maybe if i have time
 
And this one shows the relation to the group-like elements.
These are three papers where I have started with to understand rough path.
 
thanks ill bookmark em
 
No problem
 

« first day (2928 days earlier)      last day (2093 days later) »