What Are You Working On? June 06, 2022

My mental health is in the gutter at the moment, so I had to go home, but home was fortunately only three miles away. My linear PDEs exam is on Wednesday, and I'm just hoping I do well enough not to fail it, because I'm really sick of it and want it to just be over. Then I'm meeting with my supervisor to discuss my summer research project, then I'm FINALLY meeting for a jam with my band, for the first time since we formed last year.
by
Just submitted my phd thesis for approval!!!
I proved a couple of nice results on measures on R that play nicely with dilations yesterday and today that will be useful in a paper I'm writing. They're probably in the literature somewhere but fuck if I can find them. They're not the main results in my paper by any stretch, so I don't mind recreating them. I think one of the two is possibly new, the other very likely not.

I'm also doing a bunch of origami in advance of an origami night I'm planning on hosting at my university in the fall. I figure it would be good in late October or early November when burnout and stress levels are high. I'm making some instructions with a bit of geometry thrown in for the curious students.
I’m taking a Calculus II summer class right now. I enjoy the class, even though the workload is pretty intense since it’s a 5-week class.

Just today we learned about solving improper integrals. We’ve also been learning partial fraction decomposition to help with integration. We’re going to start learning series next week, which will apparently circle back around to integration, but I don’t know how yet!

I really enjoy integration. It feels so rewarding to do these long and frustrating multi-step problems, then feel amazed when I finally figure it out at the end. And my professor is great, too.

I just really enjoy math. Fingers crossed that my love for the subject sticks as I work through my major.
Working on solving integrals of triple product Bessel functions. Not having much luck.
I've spent the past 1½-2 months picking back up on a part of my research that I first initiated in the last summer and early fall of last year. The idea is vaguely "sets, but where elements only influence substructure rather than determine it". This is perhaps not the best description because these objects don't actually need to have any elements at all (in a certain sense), but it's good enough for a first impression I think.

The idea behind these objects can be motivated by the following set of observations. Suppose that P : Set → Set is the covariant powerset functor, meaning the functor that sends a set to its powerset and sends a function between sets to the induced image map between their powersets. P is an equivalence of categories, which essentially means that for most purposes working with powersets and the image maps between them is essentially the same as working with sets and the functions between them. But this functor can also be interpreted as sending sets and their functions to a certain category where the objects are complete lattices and the morphisms are a slight weakening of the usual morphisms of complete lattices. Alternatively, we can consider the contravariant powerset functor, which again sends sets to their powersets but instead sends functions to the inverse image maps they induce. This again is essentially the same as working in Set (except we have to turn arrows around), and this functor can also be seen as sending us to a category of lattices—only this time, it's the *usual* category of complete lattices.

In both these case, we see that we're able to replace a lot of the significant machinery associated with sets by instead using order theory and algebra: the substructure of a set (i.e. it's subsets) are reinterpreted as an order relation, and the way we can "mix" subsets is described using algebra. Given that categories can be seen as a way of generalizing both these things (as well as giving a concise way of describing the relationship between image and preimage maps), this suggests the "right" setting for these objects is as categories satisfying certain properties formally analogous to properties of powersets. It was for this reason I originally called these objects *formal powersets*, though I don't really like the baggage that comes with that. I'm now calling them *schemas*, if with some hesitation given that this name is very similar to a very well-known class of objects. The motivation behind the name is that we specify a schema not by declaring the points it contains, but instead by prescribing the internal structure is has. That is, we describe a hypothetical set by specifying the overall structure of its abstract powerset (even if no such corresponding set can exist).

I won't give any definition at the moment, in one part because there's a number of definitions involved and, even though I've managed to simplify them a bit by relating them to existing ones, there's still a degree of length to the definitions. The other part, and the bigger one, is that I only have a broad idea of what the right definition is. I know what it should *reduce to* in a certain, simple case, but that only gives hints to the more general definition. As such, I still have much work to do.
I was playing around with I guess "completing the triangle", like completing the square but with a triangle instead and c becomes two small triangles. So far it's basically just a modified version of quadratics with root 3s and stuff. I tried to post my images about it on the subreddit, but it got removed probably because it was an image post with little explanation for why it's relevant. Anyways, im currently "completing" a pentagon and maybe others to form an nth-gon formula.
Well I came 3% short of passing Calculus I so I've got some serious work to do. Once I got the hang of derivatives (I still struggle with implicit diff), it wasn't so bad, but the integrals seem SO much more difficult than derivatives. I will be working on integrals and word problems (Always had problems with those) especially, but really all of the material.

0 like 0 dislike