Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers is well u...
to make use of as relevant, suitable, or pertinent: to apply a theory to a problem. to put to use, esp. for a particular purpose: to apply pressure to open a door.
The phenomenon of periodic orbit scarring of eigenstates of classically chaotic systems is attracting increasing attention. Scarring is one of the most important "corrections" to the ideal random eigenstates suggested by random matrix theory. This...
Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L(\mathbb R)$ is absolute for proper forcing. Here, we study the indestructibility prop...
Flow control occupies a special place in the fields of partial differential equations (PDEs) and control theory, where the complex behavior of solutions of nonlinear dynamics in very high dimension is not just to be understood but also to be assigned...
Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories and langua...
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging wires, or...
This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include categories...
Feb 19, 2026 · Edmund Burke, British statesman, parliamentary orator, and political thinker who was important in the history of political theory.
In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on...
While the philosophical literature has extensively studied how decisions relate to arguments, reasons and justifications, decision theory almost entirely ignores the latter notions and rather focuses on preference and belief. In this article, we argu...
We give a new proof of a theorem of Bogomolov, that the only $VII_0$ surfaces with $b_2 = 0$ are those constructed by Hopf and Inoue. The proof follows the strategy of the original one, but it is of purely group-theoretic nature....
The performance of artificial neural networks (ANNs) is influenced by weight initialization, the nature of activation functions, and their architecture. There is a wide range of activation functions that are traditionally used to train a neural netwo...
I believe that all this time Isayama has been hoodwinking us with Eren's actions and the Rumbling. A lot of theories that I've encountered have predicted that the ending will be bittersweet if not d...
I've already written a bunch of ending theories ([Reborn Ymir](https://www.reddit.com/r/titanfolk/comments/m1f1tl/the_most_probable_ending_theory_youll_ever_read/), [Time Loop](https://www.reddit.com/...
Extra "hidden" U(1) gauge factors are a generic feature of string theory that is of particular phenomenological interest. They can kinetically mix with the Standard Model photon and are thereby accessible to a wide variety of astrophysical and cosm...
The observation of Ising quasiparticles is a signatory feature of the hidden order phase of URu$_2$Si$_2$. In this paper we discuss its nature and the strong constraints it places on current theories of the hidden order. In the hastatic theory such a...
Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic. We aim to put them both on equal footing by giving a foundation for p...
A ubiquitous feature of quantum mechanical theories is the existence of states of superposition. This is expected to be no different for a quantum gravity theory. Guided by this consideration and others we consider a framework in which classical refe...
We consider possibilities of modification of Maxwell's equations of electrodynamics that could have automatically led to a massive photon. Why weren't such questions considered at the time when quantum theory was introduced at the beginning of the...