Related papers: Effective 1.0: An Analytic Effective Action Analys…
This paper addresses the critical challenge of mesa-optimization in AI safety by providing a formal definition of agency and a framework for its analysis. Agency is conceptualized as a Continuous Representation of accumulated experience…
We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one…
Active perception has been employed in many domains, particularly in the field of robotics. The idea of active perception is to utilize the input data to predict the next action that can help robots to improve their performance. The main…
We derive universal formulae for integrating out heavy degrees of freedom in scalar field theories up to one-loop level in terms of covariant quantities associated with the geometry of the field manifold. The universal matching results can…
We discuss the computation of the quantum effective action of strongly interacting field theories using holographic duality, and its use to determine quasi-equilibrium parameters of first order phase transitions relevant for gravitational…
PAX (Physics Analysis Expert) is a novel, C++ based toolkit designed to assist teams in particle physics data analysis issues. The core of PAX are event interpretation containers, holding relevant information about and possible…
We show explicitly that Schwinger's formula for one-loop effective actions corresponds to the summation of energies associated with the zero-point oscillations of the fields. We begin with a formal proof, and after that we confirm it using…
We describe a new C++ library for multiprecision arithmetic for numbers in the order of 100--500 bits, i.e., representable with just a few limbs. The library is written in "optimizing-compiler-friendly" C++, with an emphasis on the use of…
Intelligent systems have the ability to improve their behaviour over time taking observations, experiences or explicit feedback into account. Traditional approaches separate the learning problem and make isolated use of techniques from…
Coyote C++ is an automated testing tool that uses a sophisticated concolic-execution-based approach to realize fully automated unit testing for C and C++. While concolic testing has proven effective for languages such as C and Java, tools…
We argue that existing definitions of interpretability are not actionable in that they fail to inform users about general, sound, and robust interpretable model design. This makes current interpretability research fundamentally ill-posed.…
Tests of the standard model and its hypothetical extensions require precise theoretical predictions for processes involving massive, unstable particles. It is well-known that ordinary weak-coupling perturbation theory breaks down due to…
Based on a methodological analysis of the effective action approach certain conceptual foundations of quantum field theory are reconsidered to establish a quest for an equation for the effective action. Relying on the functional integral…
This note provides a lightweight tutorial on using Eigen, a C++ template library for linear algebra, to implement statistical and machine learning algorithms. The emphasis is practical rather than methodological: we show how common matrix…
Combinatorial interaction testing (CIT) is a well-known technique, but the industrial experience is needed to determine its effectiveness in different application domains. We present a case study introducing a unified framework for…
We employ the effective field theory approach to analyze the characteristics of Euclidean wormholes within axion theories. Using this approach, we obtain non-perturbative instantons in various complex scalar models with and without a…
Machine Learning requires large amounts of labeled data to fit a model. Many datasets are already publicly available, nevertheless forcing application possibilities of machine learning to the domains of those public datasets. The…
We present an efficient algorithm for determining the Hilbert series of an effective theory and provide a companion code called ECO (Efficient Counting of Operators) in FORM. For example, the Hilbert series for the dimension 15 operators in…
The first part of these lectures provides a brief introduction to the concepts and techniques of effective field theory. The second part reviews precision electroweak constraints using effective theory methods. Several simple extensions of…
Mechanistic interpretability has identified functional subgraphs within large language models (LLMs), known as Transformer Circuits (TCs), that appear to implement specific algorithms. Yet we lack a formal, single-pass way to quantify when…