相关论文: Remarks on Nambu-Poisson and Nambu-Jacobi brackets
We consider a special class of linear and quadratic Poisson brackets related to ODE systems with matrix variables. We investigate general properties of such brackets, present an example of a compatible pair of quadratic and linear brackets…
The article continues the work on the description of integrable nonlinear chains with three independent variables of the following form $u^j_{n+1,x}=u^j_{n,x}+f(u^{j+1}_{n}, u^{j}_n,u^j_{n+1 },u^{j-1}_{n+1})$ by the presence of a hierarchy…
Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions over second order bounded arithmetic. We show that P can be…
A new family of skew-symmetric solutions of the Jacobi partial differential equations for finite-dimensional Poisson systems is characterized and analyzed. Such family has some remarkable properties. In first place, it is defined for…
We use the supergeometric formalism, more precisely, the so-called "big bracket" (for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Jacobi algebroids and bialgebroids…
The general procedure of constructing a consistent covariant Dirac-type bracket for models with mixed first and second class constraints is presented. The proposed scheme essentially relies upon explicit separation of the initial…
The possibility for the Jacobi equation to admit in some cases general solutions that are polynomials has been recently highlighted by Calogero and Yi, who termed them para-Jacobi polynomials. Such polynomials are used here to build seed…
We review nonabelian Poisson structures on affine and projective spaces over $\mathbb{C}$. We also construct a class of examples of nonabelian Poisson structures on $\mathbb{C} P^{n-1}$ for $n>2$. These nonabelian Poisson structures depend…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
In this paper, we study the algebraic properties of the higher analogues of Courant algebroid structures on the direct sum bundle $TM\oplus\wedge^nT^*M$ for an $m$-dimensional manifold. As an application, we revisit Nambu-Poisson structures…
We answer the question of when a new point can be added in a continuous way to configurations of $n$ distinct points in a closed ball of arbitrary dimension. We show that this is possible given an ordered configuration of $n$ points if and…
In field theories one often works with the functionals which are integrals of some densities. These densities are defined up to divergence terms (boundary terms). A Poisson bracket of two functionals is also a functional, i.e., an integral…
On a symplectic manifold a family of generalized Poisson brackets associated with powers of the symplectic form is studied. The extreme cases are related to the Hamiltonian and Liouville dynamics. It is shown that the Dirac brackets can be…
We propose a non skew-symmetric generalization of the original definition of double Poisson Bracket by M. Van den Bergh. It allows one to explicitly construct more general class of H0-Poisson structures on finitely generated associative…
This paper deals with the problem of finding the preferred extensions of an argumentation framework by means of a bijection with the naive sets of another framework. First, we consider the case where an argumentation framework is…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
We introduce coupled double Poisson brackets on an associative algebra $A$ as pairs consisting of a generalized Van den Bergh's double Poisson bracket and a generalized Fairon--McCulloch's right double Poisson bracket subject to a…
Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.
Enomoto showed for finite dimensional algebras that the classification of exact structures on the category of finitely generated projective modules can be reduced to the classification of 2-regular simple modules. In this article, we give a…