We show some incompleteness results a la Chaitin using the busy beaver functions. Then, with the help of ordinal logics, we show how to obtain a theory in which the values of the busy beaver functions can be provably established and use this to rev...
Let $E_n$ be Morava $E$-theory and let $G \subset G_n$ be a finite subgroup of $G_n$, the extended Morava stabilizer group. Let $E_{n}^{tG}$ be the Tate spectrum, defined as the cofiber of the norm map $N:(E_n)_{hG} \to E_n^{hG}$. We use the Tate spe...
Second-order optimizers, maintaining a matrix termed a preconditioner, are superior to first-order optimizers in both theory and practice. The states forming the preconditioner and its inverse root restrict the maximum size of models trained by secon...
Hey, all - I just wanted to say that this is such a wholesome community and over the last few months you've all been super helpful and willing to humor me asking dumb questions. I keep track of the s...
We calculate the wake induced in a hot, dense QCD medium by a fast parton in the framework of linear response theory. We discuss two different scenarios: a weakly coupled quark gluon plasma (pQGP) described by hard-thermal loop (HTL) perturbation t...
This paper examines the onset of the viscous overstability in dense particulate rings. First, we formulate a dense gas kinetic theory that is applicable to the Saturnian system. Our model is essentially that of Araki and Tremaine (1986), which we s...
Nov 28, 2023 · My theory is that Sukuna overestimated hollow purple. He never saw Utahime use her technique because of the veil, so he ended up thinking the original 200% hollow purple was just a …
We study time evolutions of charged scalar perturbations on the background of a charged hairy black hole, in which the perturbations can be governed by a double-peak effective potential. By extracting quasinormal modes from the waveform of scalar per...
Graph labeling is a well-known and intensively investigated problem in graph theory. Sparse anti-magic squares are useful in constructing vertex-magic labeling for graphs. For positive integers $n,d$ and $d<n$, an $n\times n$ array $A$ based on $\{0,...
Mar 4, 2016 · The theory: Considered + object Used when the subject should be just another name for something. Literally, that the object is the subject. He should be considered our leader since he …
David is definitely not dead, there's so much direct evidence that many Max Tac soldiers are reformed cyberpsychos, and these corporations intentionally pushed David toward cyberpsychosis for SOME …
A combination $\mathbf{a}+\mathrm{i}\mathbf{b}$ where ${\mathrm i}^2=-1$ and $\mathbf{a}, \, \mathbf{b}$ are real vectors is called a bivector. Gibbs developed a theory of bivectors, in which he associated an ellipse with each bivector. He obtained r...
In recent years, asymptotic approximation schemes have been developed to describe the motion of a small compact object through a vacuum background to any order in perturbation theory. The schemes are based on rigorous methods of matched asymptotic ex...
# Overview \[[Youtube Interview with Jason Polun](https://www.youtube.com/watch?v=J5wOWxVD7Yc) \- DD breakdown Video\] This post has been a long time coming, but I am finally confident in my researc...
**TL;DR**: Hedge funds have played a dangerous game of financial Jenga, stacking swaps, synthetics, and offshore loopholes to suppress GME and other stocks while hiding massive short positions. But wi...
Nash equilibrium is a central concept in game theory. Several Nash solvers exist, yet none scale to normal-form games with many actions and many players, especially those with payoff tensors too big to be stored in memory. In this work, we propose an...
Uncertainty relation is one of the fundamental building blocks of quantum theory. Nevertheless, the traditional uncertainty relations do not fully capture the concept of incompatible observables. Here we present a stronger Schrödinger-like uncertain...
This paper explains the fundamental relation between Jacobi structures and the classical Spencer operator coming from the theory of PDEs so as to provide a direct and geometric approach to the integrability of Jacobi structures. It uses recent result...
In recent years, gravitational-wave astronomy has motivated increasingly accurate perturbative studies of gravitational dynamics in compact binaries. This in turn has enabled more detailed analyses of the dynamical black holes in these systems. For e...
In his 1989 paper, Floer established a connection between holomorphic strips with boundary on a Lagrangian $L$ and a small Hamiltonian push-off $L_{f}$, and gradient flow lines for the function $f$. The present paper studies the compactness theory fo...