相关论文: The Weitzenb\"ock derivations and classical invari…

We formulate Shintani's invariant in terms of the cyclic quantum dilogarithm. Building on earlier results that expressed Shintani's invariant using the $q$-Pochhammer symbol, we show how the cyclic quantum dilogarithm naturally arises in…

We develop the symbolic representation method to derive the hierarchies of $(2+1)$-dimensional integrable equations from the scalar Lax operators and to study their properties globally. The method applies to both commutative and…

The trace of an arbitrary product of quantum operators with the density operator is rendered as a multiple phase space integral of the product of their Weyl symbols with the Wigner function. Interspersing the factors with various evolution…

Using Dunkl operators, we introduce a continuous family of canonical invariants of finite reflection groups. We verify that the elementary canonical invariants of the symmetric group are deformations of the elementary symmetric polynomials.…

We offer a Maple package SL\_2\_Inv\_Ker for calculating of minimal generating sets for the algebras of joint invariants/semi-invariants of binary forms and for calculations of the kernels of Weitzenb\"ock derivations.

The aim of this work is to show how symbolic computation can be used to perform multivariate Lagrange, Hermite and Birkhoff interpolation and help us to build more realistic interpolating functions. After a theoretical introduction in which…

The kinematical foundations of Schwinger's algebra of selective measurements were discussed in a previous paper (arXiv:1905.12274) and, as a consequence of this, a new picture of quantum mechanics based on groupoids was proposed. In this…

We provide an introduction to enumerating and constructing invariants of group representations via character methods. The problem is contextualised via two case studies arising from our recent work: entanglement measures, for characterising…

Computational simulations are a popular method for testing hypotheses about the emergence of communication. This kind of research is performed in a variety of traditions including language evolution, developmental psychology, cognitive…

We discuss two simple but useful observations that allow the construction of modular forms from given ones using invariant theory. The first one deals with elliptic modular forms and their derivatives, and generalizes the Rankin-Cohen…

We present the application of the variational-wavelet analysis to the analysis of quantum ensembles in Wigner framework. (Naive) deformation quantization, the multiresolution representations and the variational approach are the key points.…

We introduce an orbifold induction procedure which provides a systematic construction of cyclic orbifolds, including their twisted sectors. The procedure gives counterparts in the orbifold theory of all the current-algebraic constructions…

We give explicit formulas for the Berezin symbols and the complex Weyl symbols of the metaplectic representation operators by using the holomorphic representations of the Jacobi group. Then we recover some known formulas for the symbols of…

Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner…

Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…

We construct a family of representations of an arbitrary variant $S_a$ of a semigroup $S$, induced by a given representation of $S$, and investigate properties of such representations and their kernels.

In a previous article [H. Bergeron, J. Math. Phys. 42, 3983 (2001)], we presented a method to obtain a continuous transition from classical to quantum mechanics starting from the usual phase space formulation of classical mechanics. This…

Following the general idea of Schur--Weyl scheme and using two suitable symmetric groups (instead of one), we try to make more explicit the classical problem of decomposing tensor representations of finite and infinite symmetric groups into…

In this paper we present two original methods for recognizing textual inference. First one is a modified resolution method such that some linguistic considerations are introduced in the unification of two atoms. The approach is possible due…

In this paper we present a formalization of Intuitionistic Propositional Logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as exploring the relation between…