Related papers: Effective 1.0: An Analytic Effective Action Analys…
Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in the literature to be equivalent to effective inseparability.…
Active inference is a formal approach to study cognition based on the notion that adaptive agents can be seen as engaging in a process of approximate Bayesian inference, via the minimisation of variational and expected free energies.…
Active Learning (AL) methods seek to improve classifier performance when labels are expensive or scarce. We consider two central questions: Where does AL work? How much does it help? To address these questions, a comprehensive experimental…
We present a categorical formulation of the cognitive frameworks of Predictive Processing and Active Inference, expressed in terms of string diagrams interpreted in a monoidal category with copying and discarding. This includes diagrammatic…
Calcium is a C library for real and complex numbers in a form suitable for exact algebraic and symbolic computation. Numbers are represented as elements of fields $\mathbb{Q}(a_1,\ldots,a_n)$ where the extensions numbers $a_k$ may be…
Recently, a general result for evaluating the path integral at one loop was obtained in the form of the Universal One-Loop Effective Action. It may be used to derive effective field theory operators of dimensions up to six, by evaluating…
One-loop effective action of noncommutative scalar field theory with cubic self-interaction is studied. Utilizing worldline formulation, both planar and nonplanar part of the effective action are computed explicitly. We find complete…
Using techniques of effective field theory, we consider the thermodynamical properties of a dilute two-dimensional plasma interacting via a $1/r$ potential. The first one-loop correction to the partition function is already logarithmically…
Lecture notes from the 2017 Les Houches Summer School on Effective Field Theories. The lectures covered introductory material on EFTs as used in high energy physics to compute experimentally observable quantities. Other lectures at the…
Recent advances in agentic AI have enabled increasingly autonomous workflows, but existing systems still face substantial challenges in achieving reliable deployment in real-world scientific research. In this work, we present a safe,…
Scalar fields appear in many theories beyond the Standard Model of particle physics. In the early universe, they are exposed to extreme conditions, including high temperature and rapid cosmic expansion. Understanding their behavior in this…
The subject of effective interactions is introduced and applications in both quantum mechanics and quantum field theory are presented. In particular the use of chiral perturbation theory as an effective low energy description of QCD is…
Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently…
Unlike traditional automation tools or static LLM-based systems, agents combine decision-making and tool utilization to accomplish complex tasks, showing great potential in software engineering. However, existing studies largely focus on…
When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications that summarize relevant behaviors of library code, which can…
The idea we advocate in this paper is that the one-loop effective action of a free (massive) field theory coupled to external sources (via conserved currents) contains complete information about the classical dynamics of such sources. We…
Performance, genericity and flexibility are three valuable qualities for scientific environments that tend to be antagonistic. C++ provides excellent support for both performances and genericity thanks to its support for (class and…
A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a…
I review the effective field theory (EFT) description of gravitating compact objects. The focus is on kinematic regimes where gravity is perturbative, in particular the adiabatic inspiral phase relevant to gravitational wave detection. For…
Actionable sentences are terms that, in the most basic sense, imply the necessity of taking a specific action. In Linguistic terms, they are steps to achieve an operation, often through the usage of action verbs. For example, the sentence,…