Related papers: Alpha-conversion for lambda terms with explicit we…
The classification of gradings by abelian groups on finite direct sums of simple finite-dimensional nonassociative algebras over an algebraically closed field is reduced, by means of the use of loop algebras, to the corresponding problem…
We consider the degenerate equation $$\partial\_t f(t,x) - \partial\_x \left( x^{\alpha} \partial\_x f \right)(t,x) =0,$$ on the unit interval $x\in(0,1)$, in the strongly degenerate case $\alpha \in [1,2)$ with adapted boundary conditions…
Motivated by the study of the local extrema of sin(x)/x we define the \emph{Amplitude Modulation} transform of functions defined on (subsets of) the real line. We discuss certain properties of this transform and invert it in some easy…
A discrete Laplace transform and its inversion formula are obtained by using a quadrature of the continuous Fourier transform which is given in terms of Hermite polynomials and its zeros. This approach yields a convergent discrete formula…
We observe that probing certain classical field theories by external sources uncovers the underlying renormalization group structure, including the phenomenon of dimensional transmutation, at purely-classical level. We perform this study on…
The covariant formulation of Maxwell's equations can be expressed in a form independent of the usual systems of units by introducing the constants alpha, beta and gamma into these equations. Maxwell's equations involving these constants are…
Different q-factor definitions are considered. The formula connecting different q-factors is given. Also it is pointed the way to find all the q-factors from experimental data.
The Scala programming language offers two distinctive language features implicit parameters and implicit conversions, often referred together as implicits. Announced without fanfare in 2004, implicits have quickly grown to become a widely…
A generalization of the max-plus transformation, which is known as a method to derive cellular automata from integrable equations, is proposed for complex numbers. Operation rules for this transformation is also studied for general number…
We present a new algorithm for the computation of the inverse Abel transform, a problem which emerges in many areas of physics and engineering. We prove that the Legendre coefficients of a given function coincide with the Fourier…
We prove that the inverse of a positive-definite matrix can be approximated by a weighted-sum of a small number of matrix exponentials. Combining this with a previous result [OSV12], we establish an equivalence between matrix inversion and…
Linear typed $\lambda$-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Tracking the usage of variables in contexts places more…
We derive a new exact evolution equation for the scale dependence of an effective action. The corresponding equation for the effective potential permits a useful truncation. This allows one to deal with the infrared problems of theories…
The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories, it is important to modularly re-use interpolation…
We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…
We consider the tomography problem of recovering a covector field on a simple Riemannian manifold based on its weighted Doppler transformation over a family of curves $\Gamma$. This is a generalization of the attenuated Doppler transform.…
In this paper we investigate overdetermined systems of scalar PDEs on the plane with one common characteristic, whose general solution depends on 1 function of 1 variable. We describe linearization of such systems and their integration via…
In semidefinite programming (SDP), unlike in linear programming, Farkas' lemma may fail to prove infeasibility. Here we obtain an exact, short certificate of infeasibility in SDP by an elementary approach: we reformulate any semidefinite…
The transformation of a Laguerre series $f (z) = \sum_{n=0}^{\infty} \lambda_{n}^{(\alpha)} L_{n}^{(\alpha)} (z)$ to a power series $f (z) = \sum_{n=0}^{\infty} \gamma_{n} z^{n}$ is discussed. Many nonanalytic functions can be expanded in…
We introduce Attention Free Transformer (AFT), an efficient variant of Transformers that eliminates the need for dot product self attention. In an AFT layer, the key and value are first combined with a set of learned position biases, the…