Related papers: Scalar actions in Lean's mathlib
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
We describe a cocompact model for the classifying space for proper actions of the mapping class group of a surface with punctures and boundary components. Our construction relies on a known model for the case of a closed surface and uses an…
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…
Many computer vision tasks address the problem of scene understanding and are naturally interrelated e.g. object classification, detection, scene segmentation, depth estimation, etc. We show that we can leverage the inherent relationships…
In this paper we will give various examples of exponentially distorted subgroups in linear groups, including some new example of subgroups of $SL_n(\mathbb{Z}[x])$ for $n \ge 3$, and show how they can be used to construct symmetric-key…
In the paper, we present a family of multivariate compactly supported scaling functions, which we call as elliptic scaling functions. The elliptic scaling functions are the convolution of elliptic splines, which correspond to homogeneous…
The problem of specifying high-level knowledge bases for planning becomes a hard task in realistic environments. This knowledge is usually handcrafted and is hard to keep updated, even for system experts. Recent approaches have shown the…
Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…
Based on an original classification of differential equations by types of regular Lie group actions, we offer a systematic procedure for describing partial differential equations with prescribed symmetry groups. Using a new powerful…
We discuss the deal of imperfectness of atomic actions in reality with the background of process algebras. And we show the applications of the imperfect actions in verification of computational systems.
The goal of this thesis is threefold: first, to provide a general semantic setting for reasoning about incremental computation. Second, to establish and clarify the connection between derivatives in the incremental sense and derivatives in…
Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone while mapping approaches cannot fully capture the conceptualization of semantic data. In this…
Worked examples are step-by-step solutions to problems in a specific domain, offered to students to acquire domain-specific problem-solving skills. The effectiveness of worked examples could be enhanced by combining them with…
Scaling laws arise and are eulogized across disciplines from natural to social sciences for providing pithy, quantitative, `scale-free', and `universal' power law relationships between two variables. On a log-log plot, the power laws…
In this work, we mainly study the one-loop effective action for real scalar theories in non-homogeneous backgrounds in odd dimensions. It is shown that through the method studied in Ref. [1], it is possible to obtain a unified result for…
Braidlab is a Matlab package for analyzing data using braids. It was designed to be fast, so it can be used on relatively large problems. It uses the object-oriented features of Matlab to provide a class for braids on punctured disks and a…
Present and future high-precision tests of the Standard Model and beyond for the fundamental constituents and interactions in Nature are demanding complex perturbative calculations involving multi-leg and multi-loop Feynman diagrams.…
The ongoing development of Lean 4's Mathlib has produced a macroscopic structural complexity that interweaves logical, mathematical, and infrastructural dependencies. We present a network analysis of this library, extracting its dependency…
A brief discussion of the recent interest in light scalar mesons motivates the study of a generalized linear sigma model. In an SU(3) flavor invariant version of the model there is a prediction that the the lighter scalars have sizeable…
We study isometric Lie group actions on symmetric spaces admitting a section, i.e. a submanifold which meets all orbits orthogonally at every intersection point. We classify such actions on the compact symmetric spaces with simple isometry…