Related papers: On the Method of Brackets: Rules, Examples, Interp…
Implicit Regularization (IReg) is a candidate to become an invariant framework in momentum space to perform Feynman diagram calculations to arbitrary loop order. In this work we present a systematic implementation of our method that…
A method of quantizing parametrized systems is developed that is based on a kind of ``gauge invariant'' quantities---the so-called perennials (a perennial must also be an ``integral of motion''). The problem of time in its particular form…
We review a special technique for evaluating challenging integrals by providing a number of examples. Many of our examples prove integrals from the popular table of Gradshteyn and Ryzhik.
The construction of modified equations is an important step in the backward error analysis of symplectic integrator for Hamiltonian systems. In the context of partial differential equations, the standard construction leads to modified…
Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the…
Extending the methods from our previous work on quantum knots and quantum graphs, we describe a general procedure for quantizing a large class of mathematical structures which includes, for example, knots, graphs, groups, algebraic…
New approach in classification of integrable hydrodynamic chains is established. This is the method of the Hamiltonian hydrodynamic reductions. Simultaneously, this approach yields explicit Hamiltonian hydrodynamic reductions of the…
We discuss a progress in calculations of Feynman integrals based on the Gegenbauer Polynomial Technique and the Differential Equation Method. We demonstrate the results for a class of two-point two-loop diagrams and the evaluation of most…
Peierls brackets are part of the space-time approach to quantum field theory, and provide a Poisson bracket which, being defined for pairs of observables which are group invariant, is group invariant by construction. It is therefore well…
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a polynomial-time algorithm for determ- ining provability of bounded depth formulas in the…
Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision. A key ingredient in such reasoning is the use of a "default" estimate of…
In the study of alternative or extended theories of gravity, Dirac's Hamiltonian constraint algorithm is invaluable for enumerating the propagating modes and gauge symmetries. For gravity, this canonical approach is frequently applied as a…
This talk summarizes recent developments in the evaluation of Feynman integrals using hyperlogarithms. We discuss extensions of the original method, new results that were obtained with this approach and point out current problems and future…
A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach to abstract categorial grammars (ACG). Thus we define…
Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat…
A method for solving concept-based learning (CBL) problem is proposed. The main idea behind the method is to divide each concept-annotated image into patches, to transform the patches into embeddings by using an autoencoder, and to cluster…
We discuss the process to obtain Poisson brackets among the phase-space variables of a system of a charged particle on a Poincar\'e hyperboloid in the presence of a uniform magnetic field. We show that after quantization the Dirac bracket…
In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic…
The Lambek calculus is a well-known logical formalism for modelling natural language syntax. The original calculus covered a substantial number of intricate natural language phenomena, but only those restricted to the context-free setting.…
Spherical needlets were introduced by Narcowich, Petrushev, and Ward to provide a multiresolution sequence of polynomial approximations to functions on the sphere. The needlet construction makes use of integration rules that are exact for…