Related papers: Invariant and Group Theoretical Integrations over …
We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.
The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain of overgroups to…
This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an…
Let $G={\rm Spec} A$ be a linearly reductive group and let $w_G\in A^*$ be the invariant integral on $G$. We establish the harmonic analysis on $G$ and we compute $w_G$ when $G=Sl_n, Gl_n, O_n, Sp_{2n}$ by geometric arguments and by means…
Using the basic prolongation method and the infinitesimal criterion of invariance, we find the most general Lie point symmetries group of the Thomas equation. Looking the adjoint representation of the obtained symmetry group on its Lie…
A class of parametric functions formed by alternating compositions of multivariate polynomials and rectification style monomial maps is studied (the layer-wise exponents are treated as fixed hyperparameters and are not optimized). For this…
In this paper, we introduce a new method for calculating fractional integrals and differentials. The method involves an equation that we have obtained from infinite applied integration by parts. The equation works for special class of…
In this paper we start a classification of certain global integrals. First, we use the language of unipotent orbits to write down a family of global integrals. We then classify all those integrals which satisfy the dimension equation we…
We approach the well-studied problem of supervised group invariant and equivariant machine learning from the point of view of geometric topology. We propose a novel approach using a pre-processing step, which involves projecting the input…
We introduce a class of inverse monoids that can be regarded as non-commutative generalizations of Boolean algebras. These inverse monoids are related to a class of \'etale topological groupoids, under a non-commutative generalization of…
The multiplier representation of the generalized symmetry group of a quasiperiodic flow on the n-torus defines, for each subgroup of the multiplier group of the flow, a group invariant of the smooth conjugacy class of that flow. This group…
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable states of a system and imply a desired safety property.…
We show how the combined use of the generating function method and of the theory of multivariable Hermite polynomials is naturally suited to evaluate integrals of gaussian functions and of multiple products of Hermite polynomials.
We present algorithms for the group independent reduction of group theory factors of Feynman diagrams. We also give formulas and values for a large number of group invariants in which the group theory factors are expressed. This includes…
We establish sharp estimates that adapt the polynomial method to arbitrary varieties. These include a partitioning theorem, estimates on polynomials vanishing on fixed sets and bounds for the number of connected components of real algebraic…
In this paper, we present methods to simplify reducible linear differential systems before solving. Classical integrals appear naturally as solutions of such systems. We will illustrate the methods developed in a previous paper on several…
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…
Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…
The "2-variable general-$\lambda$-matrix polynomials (2VG$\lambda$MP)" is a new family of matrix polynomials, introduced and studied in this article. These matrix polynomials are constructed using umbral and symbolic methods. We delve into…
We consider the ring I_n of polynomial invariants over weighted graphs on n vertices. Our primary interest is the use of this ring to define and explore algebraic versions of isomorphism problems of graphs, such as Ulam's reconstruction…