Related papers: opbasis -- a Python package to derive minimal oper…
BasisGen is a Python package for the automatic generation of bases of operators in effective field theories. It accepts any semisimple symmetry group and fields in any of its finite dimensional irreducible representations. It takes into…
We fully solve the long-standing problem of operator basis construction for fields with any masses and spins. Based on the on-shell method, we propose a novel method to systematically construct a complete set of lowest dimensional amplitude…
We describe a Python-based computer program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation, DEFT can be applied to 4-dimensional, Poincar\'{e} invariant theories with gauge group…
Exact diagonalization (ED) is one of the most reliable and established numerical methods of quantum many-body theory. The main limiting factor of the method is the exponential scaling of Hilbert space dimension with system size.…
Effective Field Theories (EFTs) provide a framework for capturing the effects of yet unseen heavy degrees of freedom in a model-independent manner. However, constructing a complete and minimal set of operators, especially at higher mass…
Debate topic for Effective Field Theory (EFT) is the choice of a "basis" for $\mrdim = 6$ operators Clearly all bases are equivalent as long as they are a "basis", containing a minimal set of operators after the use of equations of motion…
A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called…
We obtain the complete operator bases at mass dimensions 5, 6, 7, 8, 9 for the low energy effective field theory (LEFT), which parametrize various physics effects between the QCD scale and the electroweak scale. The independence of the…
We introduce OpSets, an executable framework for specifying and reasoning about the semantics of replicated datatypes that provide eventual consistency in a distributed system, and for mechanically verifying algorithms that implement these…
Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost of a well-known algorithm…
Relativistic quantum systems that admit scattering experiments are quantitatively described by effective field theories, where $S$-matrix kinematics and symmetry considerations are encoded in the operator spectrum of the EFT. In this paper…
Distributed, large-scale quantum computing will need architectures that combine matter-based qubits with photonic links, but today's software stacks target either gate-based chips or linear-optical devices in isolation. We introduce Optyx,…
An operator basis of an effective theory with a heavy particle, subject to external gauge fields, is spanned by a particular kind of neutral scalar primary of the nonrelativistic conformal group. We calculate the characters that can be used…
Lattice calculations using the framework of effective field theory have been applied to a wide range few-body and many-body systems. One of the challenges of these calculations is to remove systematic errors arising from the nonzero lattice…
Lattice field theory is a non-perturbative tool for studying properties of strongly interacting field theories, which is particularly amenable to numerical calculations and has quantifiable systematic errors. In these lectures we apply…
Effective Field Theories are an established framework to bridge the gap between UV and low energy theories. In the context of the Standard Model, the bottom-up approach extends its operator set and thus equips us to astutely probe its…
The low-energy structure of hadrons can be described systematically using effective field theory, and the parameters of the effective theory can be determined from lattice QCD computations. Recent work, however, points to inconsistencies…
This paper presents OpTaS, a task specification Python library for Trajectory Optimization (TO) and Model Predictive Control (MPC) in robotics. Both TO and MPC are increasingly receiving interest in optimal control and in particular…
Ordinary Differential Equations (ODE) are used throughout science where the capture of rates of change in states is sought. While both pieces of commercial and open software exist to study such systems, their efficient and accurate usage…
We present a complete and independent list of the dimension 9 operator basis in the Standard Model effective field theory by an automatic algorithm based on the amplitude-operator correspondence. A complete basis (y-basis) is first…