Arula Ratnakar

@arula-ratnakar.bsky.social

3rd year Computational Neuroscience PhD candidate at Boston University. Mathematically modeling corticogenesis. Advisors: Cynthia Bradham & Gabe Ocker. I also write trippy scifi & mathfiction. Ignyte Award Finalist 2025 6 stories in Clarkesworld

I think i can figure out the Doi Peliti formalism now, especially since i can achieve the exact same action via a change of variables through MSRDJ (which i know how to do). I have a too-busy week until the 16th with exams and lab meeting presentations but after the 16th i think ill try it out.

otoh, I don't think it's clear that a path integral that's well-defined all the way down to the continuum limit is really a reasonable or necessary thing to ask for. It's mathematically interesting, but physically it seems more likely that there is a physical regularization at some scale

You can figure so much stuff out using Borel Cantelli lemmas it’s insane. A random walker starting at position 0 will return to position 0 infinitely often in dimensions 1 and 2, but not in dimensions higher than 2.

I only remember a few things at a time (indicator functions, continuity of probability, Borel Cantelli, the fact that the complement of lim sup of A is the lim inf of A complement, law of total probability, maybe a few other things. I force a proof out of the few things i remember all the time

All mathematical areas need new frameworks and they have to decide which problems are interesting. OpenAI doesn’t have sufficient experts to understand the content they generate. Some mathematicians were overly fixated on solving specific conjectures, but we know we need a bigger vision

I think there are still mathematical areas AI can’t help with. Things where we need totally new frameworks to conceptualize something, that do not currently exist. And I do think neuro needs those frameworks.

Terry Tao @teorth.bsky.social: Indiscriminate brute-force application of AI to mathematics is depleting the field of good questions without renewing this resource or providing commensurate value. OpenAI: We hear you. Here's a .zip file with 377 hasty AI solutions to important open problems.

OpenAI Releases Findings on 377 Math Problems, Further Roiling Field (Gift Article)

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

nytimes.com

Been thinking recently maybe I should give up on the idea of becoming a professor someday if I am forced to use frontier AI models to be competitive. I want a life where I can think about questions that interest me, learn, create meaningful things, and help future generations too.

It is neat that AI can do this. But I think I’m still going to read the full original untranslated paper (for Markovs inequality) and try to figure it out from the mathematical statements. idk. man, I just don’t want to ever depend on AI. It is fast but I want a journey of my own thoughts.

Juan Diego Rodriguez@juand-r.bsky.social · 4d ago

I got curious about this and got Claude to research it, translating the originals and summarizing them claude.ai/artifact/VQD...

Tbh I still can’t believe I survived my quals. I spent several months preparing, survived a 3 hour long oral exam on stuff ranging from dynamical systems to stochastic processes to details of corticogenesis/dev bio, I wrote this giant thesis proposal, and responded to 35 comments/revisions on it.

Apparently the original proof of the Kolmogorov inequality was several pages long and at the time people didn’t have good conceptualization of indicator functions, or even expectation values, and so Kolmogorov defined a bunch of stuff from scratch I really, *really* want to find this original proof

If lemmas are in service to some larger more important theorem, what is the larger more important theorem the Borel Cantelli lemmas are in service of? They seem like standalone theorem-like things to me and it makes me confused about what should be a lemma vs a theorem.

I love my research bc Im able to think about maths & biology and it’s all allowed. If I think about properties of asymptotic series that’s allowed for my research, or about subtypes of progenitor cells, that’s allowed, or if I want to think about stochastic differential equations it’s allowed…