We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction of Post`s C...
This is a translation of Harald Cramér's article, 'On a new limit theorem in probability theory', published in French in 1938 and deriving what is considered by mathematicians to be the first large deviation result. My hope is that this translation...
Hey, folks! I discovered [this image](https://i.4cdn.org/vp/1614460760813.jpg) while looking at different discussions regarding the upcoming Legends: Arceus game. This led me down a bit of a rabbit ...
This article focuses on the work of O. Chanel and G. Chichilnisky (2013) on the flaws of expected utility theory while assessing the value of life. Expected utility is a fundamental tool in decision theory. However, it does not fit with the experimen...
In abelian categories like the category of R-modules and even in the category S-Act 0 of S-acts with a unique zero, idempotent radicals and torsion theories are equivalent, and the τ-torsion and τ- torsion free classes of a torsion theory τ are cl...
Theory of Mind (ToM), the ability to attribute mental states to others and predict their behaviour, is fundamental to social intelligence. In this paper, we survey studies evaluating behavioural and representational ToM in Large Language Models (LLMs...
Originating in psychology, $\textit{Theory of Mind}$ (ToM) has attracted significant attention across multiple research communities, especially logic, economics, and robotics. Most psychological work does not aim at formalizing those central concepts...
This paper introduces function alignment, a novel theory of mind and intelligence that is both intuitively compelling and structurally grounded. It explicitly models how meaning, interpretation, and analogy emerge from interactions among layered repr...
Within the context of human-robot interaction (HRI), Theory of Mind (ToM) is intended to serve as a user-friendly backend to the interface of robotic systems, enabling robots to infer and respond to human mental states. When integrated into robots, T...
In this write-up of my SQM 2006 Theory Summary talk I focus on a selection of key contributions which I consider to have a large impact on the current status of the field of strangeness physics or which may have the potential to significantly advan...
Symplectic reflection algebras arise in many different mathematical disciplines: integrable systems, Lie theory, representation theory, differential operators, symplectic geometry. In this paper, we introduce baby Verma modules for symplectic refle...
We use Volterra-Hamilton systems theory and their associated cost functional to study the population dynamics and productive processes of coral reefs in recovery from bleaching and show that the cost of \mbox{production} remains the same after the pr...
In this work, we compute the two-loop result of the null hexagonal Wilson loop with a Lagrangian insertion in planar, maximally supersymmetric Yang-Mills theory via a bootstrap approach. Normalized by the null polygonal Wilson loop itself, the integr...
We present a nonlinear hydrodynamical description of a conformal plasma within the framework of divergence-type theories (DTTs), which are not based on a gradient expansion. We compare the equations of the DTT and the second-order theory (based on...
In this work, we derive a coarse-grained finite-temperature theory for a Bose condensate in a one-dimensional optical lattice, in addition to a confining harmonic trap potential. We start from a two-particle irreducible (2PI) effective action on th...
A homology theory is developed for set-theoretic Yang-Baxter equations, and knot invariants are constructed by generalized colorings by biquandles and Yang-Baxter cocycles....
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems possessing ei...
Non-relativistic conformal field theory describes many-body physics at unitarity. The correlation functions of the system are fixed by the requirement of conformal invariance. In this article, we discuss the correlation functions of scalar operators...
The energetic stability of positron di-anion systems [A$^-;e^+;$A$^-$] is studied via many-body theory, where $A^-$ includes H$^{-}$, F$^{-}$, Cl$^{-}$ and the molecular anions (CN)$^{-}$ and (NCO)$^{-}$. Specifically, the energy of the system as a f...
We construct the two dimensional N=(0,4) gauge theory that lives on the world volume of D1-branes and intersecting D5-branes. We conjecture that this theory flows in the infra-red to a fixed point with large N=(4,4) superconformal symmetry. The centr...