相关论文: Remarks on Nambu-Poisson and Nambu-Jacobi brackets
Recursive relational specifications are commonly used to describe the computational structure of formal systems. Recent research in proof theory has identified two features that facilitate direct, logic-based reasoning about such…
We show that a system of unstable higher Toda brackets can be defined inductively.
We discuss double Poisson structures in sense of M. Van den Bergh on free associative algebras focusing on the case of quadratic Poisson brackets. We establish their relations with an associative version of Young-Baxter equations, we study…
We introduce geometric structures on the space of stability conditions of a three-dimensional Calabi-Yau category which encode the Donaldson-Thomas invariants of the category. We explain in detail a close analogy between these structures,…
The formulation of covariant brackets on the space of solutions to a variational problem is analyzed in the framework of contact geometry. It is argued that the Poisson algebra on the space of functionals on fields should be read as a…
Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in…
In the triplectic quantization of general gauge theories, we prove a `triplectic' analogue of the Darboux theorem: we show that the doublet of compatible antibrackets can be brought to a weakly-canonical form provided the general triplectic…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
In this article we present a Lagrangian representation for evolutionary systems with a Hamiltonian structure determined by a differential-geometric Poisson bracket of the first order associated with metrics of constant curvature.…
The Leibniz bracket of an operator on a (graded) algebra is defined and some of its properties are studied. A basic theorem relating the Leibniz bracket of the commutator of two operators to the Leibniz bracket of them, is obtained. Under…
The Jacobian Conjecture would follow if it were known that real polynomial maps with a unipotent Jacobian matrix are injective. The conjecture that this is true even for $C^1$ maps is explored here. Some results known in the polynomial case…
We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions.
An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
I propose a notation for biracks that includes from the begining the knowledege of the associated (or underlying, or derived) rack structure. Motivated by results of Rump in the involutive case, this notation allows to generalize some…
A new Poisson bracket for Hamiltonian forms on the full multisymplectic phase space is defined. At least for forms of degree n-1, where n is the dimension of space-time, Jacobi's identity is fulfilled.
In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu, to explicitly denote solutions of recursive equations like…
Both in Majid's double-bosonization theory and in Rosso's quantum shuffle theory, the rank-inductive and type-crossing construction for $U_q(\mathfrak g)$'s is still a remaining open question. In this paper, working with Majid's framework,…
Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…
We develop here a simple quantisation formalism that make use of Lie algebra properties of the Poisson bracket. When the brackets $\{H,\phi_i\}$ and $\{\phi_i,\phi_j\}$, where $H$ is the Hamiltonian and $\phi_i$ are primary and secondary…