Related papers: Higher order Toda brackets
We define several differential graded operads, some of them being related to families of polytopes : simplices and permutohedra. We also obtain a presentation by generators and relations of the operad K on associahedra introduced in a…
It is shown that the Affine Toda models (AT) constitute a ``gauge fixed'' version of the Conformal Affine Toda model (CAT). This result enables one to map every solution of the AT models into an infinite number of solutions of the…
We study multiple orthogonal polynomials exploiting their explicit determinantal representation in terms of moments. Our reasoning follows that applied to solve the Hermite-Pad\'{e} approximation and interpolation problems. We study also…
A connection between the finite ultradiscrete Toda lattice and the box-ball system is extended to the case where each box has own capacity and a carrier has a capacity parameter depending on time. In order to consider this connection, new…
We will introduce the notion of higher derived bracket construction in the category of operads and prove that the higher derived bracket construction of Lie operad is equivalent to the cobar construction of Leibniz operad. The theorem is…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…
The sets of the integrable lattice equations, which generalize the Toda lattice, are considered. The hierarchies of the first integrals and infinitesimal symmetries are found. The properties of the multi-soliton solutions are discussed.
We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing…
The hierarchy of the classical nonlinear integrable equations associated with relativistic Toda chain model is considered. It is formulated for the N-th powers of the quantum operators of the corresponding quantum integrable models.…
We provide explicit realizations for the operators which when exchanged give rise to the scattering matrix. For affine Toda field theory we present two alternative constructions, one related to a free bosonic theory and the other formally…
Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…
We introduce a family of compatible Poisson brackets on the space of rational functions with denominator of a fixed degree and use it to derive a multi-Hamiltonian structure for a family of integrable lattice equations that includes both…
We analyze the stationary problem for the Toda chain, and show that arising geometric data exactly correspond to the multi-support solutions of one-matrix model with a polynomial potential. For the first nontrivial examples the Hamiltonians…
We study the classification of two-dimensional (2D) topological orders enriched by point-group symmetries, by generalizing the folding appraoch which was previously developed for mirror-symmetry-enriched topological orders. We fold the 2D…
We construct the tri-Hamiltonian structure of the two-dimensional Toda hierarchy using the R-matrix theory.
We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…
The 2D Toda hierarchy occupies a central position in the family of integrable hierarchies of the Toda type. The 1D Toda hierarchy and the Ablowitz-Ladik (aka relativistic Toda) hierarchy can be derived from the 2D Toda hierarchy as…
Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we provide an improved definition, the Computability Path…