Related papers: Abstraction, Explanation, and Effective Field Theo…
One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their…
The pursuit of interpretable artificial intelligence has led to significant advancements in the development of methods that aim to explain the decision-making processes of complex models, such as deep learning systems. Among these methods,…
Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming language, and act as a guide for software development tools like analyzers or partial evaluators. In this sense, full…
We extend our recently-proposed formalism for calculating anomalies of global and gauge symmetries using the Covariant Derivative Expansion to include a general class of operators that can appear in relativistic Effective Field Theories…
Effective field theory is applied to finite-density systems with an unnaturally large scattering length, such as neutron matter. A new organizational scheme is identified and connected with an expansion in inverse powers of the number of…
We consider the Standard Model extended by a heavy scalar singlet in different regions of parameter space and construct the appropriate low-energy effective field theories up to first nontrivial order. This top-down exercise in effective…
A physical field has an infinite number of degrees of freedom since it has a field value at each location of a continuous space. Therefore, it is impossible to know a field from finite measurements alone and prior information on the field…
Effective field theory (EFT) provides a systematic framework to describe possible deviations from general relativity through higher-curvature corrections to the gravitational action, capturing low-energy effects of an underlying fundamental…
Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions. However, equivalences that hold over one interpretation may not hold…
The evolution of hard probes in a medium is a complex multiscale problem that significantly benefits from the use of Effective Field Theories (EFTs). Within the EFT framework, we aim to define a series of EFTs in a way that addresses each…
This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove their correctness, which allows the generation of accurate…
Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and…
Attempts to apply effective field theory (EFT) methods to nonrelativistic nucleon-nucleon (NN) scattering have raised questions about the nature and limitations of an EFT expansion when used nonperturbatively. We discuss the characteristics…
While the utility of well-chosen abstractions for understanding and predicting the behaviour of complex systems is well appreciated, precisely what an abstraction $\textit{is}$ has so far has largely eluded mathematical formalization. In…
The effective field theory (EFT) of cosmological perturbations is a useful framework to deal with the low-energy degrees of freedom present for inflation and dark energy. We review the EFT for modified gravitational theories by starting…
Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…
We review recent progress and a number of future directions for applications of effective field theory methods to condensed matter systems broadly defined. Our emphasis is on areas that have allowed a fertile exchange of ideas between high…
Theoretical data obtained from physically sensible field and string theory models suggest that gravitational Effective Field Theories (EFTs) live on islands that are tiny compared to current general bounds determined from unitarity,…
This thesis investigates the role of the quantum gravity cut-off for effective field theories (EFTs) coupled to Einstein gravity, with an emphasis on its implications at low energies within the context of the Swampland program. Part I…
We consider the construction of operator bases for massless, relativistic quantum field theories, and show this is equivalent to obtaining the harmonic modes of a physical manifold (the kinematic Grassmannian), upon which observables have…