Refine
Year of publication
Document Type
- ZIB-Report (43) (remove)
Language
- English (43)
Has Fulltext
- yes (43)
Is part of the Bibliography
- no (43)
Keywords
- computer algebra (6)
- conservation laws (3)
- discrete equations (3)
- integrable systems (3)
- large polynomial systems (3)
- Computer Go (2)
- Computer algebra (2)
- Crack (2)
- Integrability (2)
- REDUCE (2)
Institute
The paper compares computational aspects of four approaches to compute conservation laws of single differential equations or systems of them, ODEs and PDEs. The only restriction, required by two of the four corresponding computer algebra programs, is that each DE has to be solvable for a leading derivative. Extra constraints may be given. Examples of new conservation laws include non-polynomial expressions, an explicit variable dependence and conservation laws involving arbitrary functions. Examples involve the following equations: Ito, Liouville, Burgers, Kadomtsev-Petviashvili, Karney-Sen-Chu-Verheest, Boussinesq, Tzetzeica, Benney.
In the paper arguments are given why the concept of static evaluation (SE) has the potential to be a useful extension to Monte Carlo tree search. A new concept of modeling SE through a dynamical system is introduced and strengths and weaknesses are discussed. The general suitability of this approach is demonstrated. A Remark: Among users of the Internet Go server KGS the abbreviation SE is used for 'Score Estimator'. Although different from 'Static Evaluation' a score estimator is easily obtained from static evaluation by adding up probabilities of chains to be alive at the end of the game or points to be owned by White or Black
It is well known that the following class of systems of evolution equations \begin{eqnarray} \label{nsgen} \cases{ u_{t}=u_{xx}+F(u,v,u_x,v_x),\cr v_{t}=-v_{xx}+G(u,v,u_x,v_x),\cr} \end{eqnarray} is very rich in integrable cases. The complete classification problem is very difficult. Here we consider only the most interesting (from our opinion) subclass of systems (1). Namely, we consider equations linear in all derivatives of the form \begin{eqnarray} \label{kvazgen} \cases{ u_t = u_{xx} + A_{1}(u,v) u_x + A_{2}(u,v) v_x + A_{0}(u,v)\cr v_t = - v_{xx} + B_{1}(u,v) v_x + B_{2}(u,v) u_x + B_{0}(u,v). \cr} \end{eqnarray} without any restrictions on the functions $A_{i}(u,v), B_{i}(u,v)$.
The talk given by the author at the CRM workshop on Superintegrability in Sep.\ 2002 and this related paper report on work in two subjects. One is the collaboration with Vladimir Sokolov and Takayuki Tsuchida in an effort to classify polynomial integrable vector evolution equations. The other is the computer algebra package {\sc Crack} which did the main computations in solving large bi-linear algebraic systems. Although originally designed to solve over-determined systems of partial differential equations a number of extensions made {\sc Crack} a powerful tool for solving systems of bi-linear algebraic equations. Such systems turn up in many different classification problems some of which were investigated by other participants of this workshop. Two additional applications are outlined. In the talk on which this article is based a method to reduce the length of equations was presented which proved to be useful in solving the bi-linear algebraic systems. Due to numerous asked questions about the computer program, a more complete overview is given in the appendix.
We classify all integrable 3-dimensional scalar discrete affine linear equations $Q_3=0$ on an elementary cubic cell of the lattice ${\mathbb Z}^3$. An equation $Q_3=0$ %of such form is called integrable if it may be consistently imposed on all $3$-dimensional elementary faces of the lattice ${\mathbb Z}^4$. Under the natural requirement of invariance of the equation under the action of the complete group of symmetries of the cube we prove that the only ontrivial(non-linearizable) integrable equation from this class is the well-known dBKP-system.
A classification problem is proposed for supersymmetric %scaling\/-\/in\-va\-ri\-ant evolutionary PDE that satisfy the assumptions of nonlinearity, nondegeneracy, and homogeneity. Four classes of nonlinear coupled boson\/-\/fermion systems are discovered under the weighting assumption $|f|=|b|=|D_t|=\oh$. The syntax of the \Reduce\ package \SsTools, which was used for intermediate computations, and the applicability of its procedures to the calculus of super\/-\/PDE are described.