Related papers: A Unified Substitution Method for Integration
Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined approach to the specification and verification of the…
We develop principal branches for three key square root functions and for the inverse trigonometric and inverse hyperbolic functions. The three square root branches are integral to defining the inverse function branches, their derivatives,…
This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the idea that exponentials can be seen as explicit substitutions. The idea in itself is…
We perform a comprehensive study of a certain class of discrete symmetries of families of Feynman integrals, defined as affine changes of variables that map different sectors of the family into each other. We show that these transformations…
The Quantum Inverse Scattering Method is a scheme for solving integrable models in $1+1$ dimensions, building on an $R$-matrix that satisfies the Yang--Baxter equation and in terms of which one constructs a commuting family of transfer…
In the paper, we introduce and calculate difference Fourier transforms on representations of the double affine Hecke algebras in polynomilas, polynomials multiplied by the Gaussian, and various spaces of delta-functions including…
Non-trivial outer algebra automorphisms may be utilized in $\lambda$-deformations of (gauged) WZW models thus providing an efficient way to construct new integrable models. We provide two such integrable deformations of the exact coset CFT…
Functional relation for commuting quantum transfer matrices of quantum integrable models is identified with classical Hirota's bilinear difference equation. This equation is equivalent to the completely discretized classical 2D Toda lattice…
We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed…
We prove several identities expressing polynomials counting permutations by various descent statistics in terms of Eulerian polynomials, extending results of Stembridge, Petersen, and Br\"and\'en. Additionally, we find $q$-exponential…
We present a framework for accelerating a spectrum of machine learning algorithms that require computation of bilinear inverse forms $u^\top A^{-1}u$, where $A$ is a positive definite matrix and $u$ a given vector. Our framework is built on…
We study variational problems for integral invariants, which are defined as integrations of invariant functions of the second fundamental form, of a smooth map between pseudo-Riemannian manifolds. We derive the first variational formulae…
A fundamental problem from invariant theory is to describe the endomorphism algebra of multilinear functions on a representation V invariant under the action of a group G. According to Weyl's classic, a first main (later: fundamental)…
This note contains two remarks. The first remark concerns the extension of the well-known Cayley representation of rotation matrices by skew symmetric matrices to rotation matrices admitting -1 as an eigenvalue and then to all orthogonal…
The spectral density for random matrix $\beta$ ensembles can be written in terms of the average of the absolute value of the characteristic polynomial raised to the power of $\beta$, which for even $\beta$ is a polynomial of degree…
In this work we find a unifying scheme for the known explicit complex-valued eigenfunctions on the classical compact Riemannian symmetric spaces. For this we employ the well-known Cartan embedding for those spaces. This also leads to the…
Fourier transformations of several functions of one and two variables are evaluated and then used to derive some integral and series identities. It is shown that certain double Mordell integrals can be reduced to a sum of products of…
The paper is mainly devoted to the irreducibility of the polynomial representation of the double affine Hecke algebra for an arbitrary reduced root systems and generic "central charge" q. The technique of intertwiners in the non-semisimple…
We introduce Exhaustive Symbolic Integration (ESI), a method that enumerates all symbolic functions up to a given complexity $k$ within a specified operator basis and determines which admit closed-form antiderivatives within the same class.…
We introduce a novel kernel learning framework toward efficiently solving nonlinear partial differential equations (PDEs). In contrast to the state-of-the-art kernel solver that embeds differential operators within kernels, posing…