Related papers: On the Method of Brackets: Rules, Examples, Interp…
Using five basic principles we treat Gerstenhaber/Lie brackets, BV operators and Master equations appearing in mathematical and physical contexts in a unified way. The different contexts for this are given by the different types of…
We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The…
We obtain closed-form solutions of several inhomogeneous Lienard equations by the factorization method. The two factorization conditions involved in the method are turned into a system of first-order differential equations containing the…
The three-box problem is analysed in terms of virtual pathways, interference between which is destroyed by a number of intermediate measurements. The Aharonov-Bergmann-Lebowitz (ABL) rule is shown to be a particular case of Feynman's recipe…
A class of nongraded Hamiltonian Lie algebras was earlier introduced by Xu. These Lie algebras have a Poisson bracket structure. In this paper, the isomorphism classes of these Lie algebras are determined by employing a ``sandwich'' method…
In this talk, we discuss how ideas from geometry help to improve Feynman integral reduction and the construction of $\varepsilon$-factorised differential equations. In particular, we outline a systematic procedure to obtain an…
This paper presents an approach to lemma synthesis to support advanced inductive entailment procedures based on separation logic. We first propose a mechanism where lemmas are automatically proven and systematically applied. The lemmas may…
Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas…
We review origins and main properties of the most important bracket operations appearing canonically in differential geometry and mathematical physics in the classical, as well as the supergeometric setting. The review is supplemented by a…
We establish the procedure to derive from an action-based variational principle the classical equations of motion in Hamiltonian phase space of a particle subject to general position and velocity dependent non-holonomic equality…
The method of differential equations in canonical form has proven a powerful tool for solving multiloop Feynman integrals. In this note we test this procedure away from four dimensions. Namely, we consider the simple example of a massless…
Combinatorics studies how discrete objects can be counted, arranged, and combined under specified rules. Motivated by uncertainty in real-world data and decisions, modern set-theoretic formalisms such as fuzzy sets, neutrosophic sets, rough…
A formulation of singular classical theories (determined by degenerate Lagrangians) without constraints is presented. A partial Hamiltonian formalism in the phase space having an initially arbitrary number of momenta (which can be smaller…
This paper studies hamiltonization of nonholonomic systems using geometric tools. By making use of symmetries and suitable first integrals of the system, we explicitly define a global 2-form for which the gauge transformed nonholonomic…
The study of Feynman integrals through the lens of intersection theory offers a unifying framework for their analysis, capturing both the linear and quadratic relations that arise among integrals. In doing so, it provides a powerful method…
A diagrammatic approach to calculate n-point correlators of the primordial curvature perturbation \zeta was developed a few years ago following the spirit of the Feynman rules in Quantum Field Theory. The methodology is very useful and…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…
I discuss the design of the method of entropic inference as a general framework for reasoning under conditions of uncertainty. The main contribution of this discussion is to emphasize the pragmatic elements in the derivation. More…
A categorification of the Heisenberg algebra is constructed in by Khovanov using graphical calculus, and left with a conjecture on the isomorphism between the Heisenberg algebra and Grothendieck ring of the constructed category. We give a…
We introduce the tools of intersection theory to the study of Feynman integrals, which allows for a new way of projecting integrals onto a basis. In order to illustrate this technique, we consider the Baikov representation of maximal cuts…