TY - GEN A1 - Tsarev, Sergey A1 - Wolf, Thomas T1 - Hyperdeterminants as integrable discrete systems N2 - We give the basic definitions and some theoretical results about hyperdeterminants, introduced by A.~Cayley in 1845. We prove integrability (understood as $4d$-consistency) of a nonlinear difference equation defined by the $2 \times 2 \times 2$ - hyperdeterminant. This result gives rise to the following hypothesis: the difference equations defined by hyperdeterminants of any size are integrable. We show that this hypothesis already fails in the case of the $2\times 2\times 2\times 2$ - hyperdeterminant. T3 - ZIB-Report - 09-17 KW - hyper determinants KW - integrable systems KW - discrete equations KW - large polynomial systems KW - computer algebra KW - Form KW - Reduce KW - Singular Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11292 SN - 1438-0064 ER - TY - GEN A1 - Wolf, Thomas A1 - Neun, Winfried T1 - About a Computer Algebra based online Mathtest N2 - The article describes the online mathematics test {\tt http://lie.math.brocku.ca/mathtest}, its typical applications and experiences gathered. T3 - ZIB-Report - 08-14 KW - accessment of mathematical skills KW - computer algebra KW - online Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10688 SN - 1438-0064 ER - TY - GEN A1 - Wolf, Thomas T1 - Positions in the Game of Go as Complex Systems N2 - The paper gathers evidence showing different dimensions of the game of Go: the continuous and discrete nature of the game and different types of relations between state variables happening on ultra local, local, regional, and global scales. Based on these observations a new continuous local model for describing a board position is introduced. This includes the identification of the basic variables describing a board position and the formulation and solution of a dynamical system for their computation. To be usable as a static evaluation function for a game playing program at least group-wide (regional)aspects will have to be incorporated. T3 - ZIB-Report - 10-19 KW - Computer Go KW - static evaluation KW - discrete dynamical systems Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11823 SN - 1438-0064 ER - TY - GEN A1 - Anco, Stephen A1 - Ali, Sajid A1 - Wolf, Thomas T1 - Exact solutions of nonlinear partial differential equations by the method of group foliation reduction N2 - A novel symmetry method for finding exact solutions to nonlinear PDEs is illustrated by applying it to a semilinear reaction-diffusion equation in multi-dimensions. The method is based on group foliation reduction and employs a separation ansatz to solve an equivalent first-order group foliation system whose independent and dependent variables respectively consist of the invariants and differential invariants of a given one-dimensional group of point symmetries for the reaction-diffusion equation. With this method, solutions of the reaction-diffusion equation are obtained in an explicit form, including group-invariant similarity solutions and travelling-wave solutions, as well as dynamically interesting solutions that are not invariant under any of the point symmetries admitted by this equation. T3 - ZIB-Report - 11-25 KW - semilinear heat equation, similarity reduction, exact solutions, group foliation, symmetry Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-13171 ER - TY - GEN A1 - Anco, Stephen A1 - Ali, Sajid A1 - Wolf, Thomas T1 - Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions N2 - A symmetry group method is used to obtain exact solutions for a semilinear radial heat equation in $n>1$ dimensions with a general power nonlinearity. The method involves an ansatz technique to solve an equivalent first-order PDE system of similarity variables given by group foliations of this heat equation, using its admitted group of scaling symmetries. This technique yields explicit similarity solutions as well as other explicit solutions of a more general (non-similarity) form having interesting analytical behavior connected with blow up and dispersion. In contrast, standard similarity reduction of this heat equation gives a semilinear ODE that cannot be explicitly solved by familiar integration techniques such as point symmetry reduction or integrating factors. T3 - ZIB-Report - 11-26 KW - semilinear heat equation, similarity reduction, exact solutions, group foliation, symmetry Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-13213 ER - TY - GEN A1 - Wolf, Thomas A1 - Efimovskaya, Olga T1 - On integrability of the Kontsevich non-abelian ODE system N2 - We consider systems of ODEs with the right hand side being Laurent polynomials in several non-commutative unknowns. In particular, these unknowns could be matrices of arbitrary size. An important example of such a system was proposed by M. Kontsevich. We prove the integrability of the Kontsevich system by finding a Lax pair, corresponding first integrals and commuting flows. We also provide a pre-Hamiltonian operator which maps gradients of integrals for the Kontsevich system to symmetries. T3 - ZIB-Report - 11-24 KW - integrability, Lax pairs, noncommutative ODE, Laurent ODE Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-13113 ER - TY - GEN A1 - Bouchareb, Adel A1 - Clément, Gérard A1 - Chen, Chiang-Mei A1 - Wolf, Thomas A1 - Gal'tsov, Dmitri V. A1 - Scherbluk, Nikolai G. T1 - G_2 generating technique for minimal D=5 supergravity and black rings N2 - A solution generating technique is developed for $D=5$ minimal supergravity with two commuting Killing vectors based on the $G_2$ U-duality arising in the reduction of the theory to three dimensions. The target space of the corresponding 3-dimensional sigma-model is the coset $G_{2(2)}/(SL(2,R)\times SL(2,R))$. Its isometries constitute the set of solution generating symmetries. These include two electric and two magnetic Harrison transformations with the corresponding two pairs of gauge transformations, three $SL(2,R) \; S$-duality transformations, and the three gravitational scale, gauge and Ehlers transformations (altogether 14). We construct a representation of the coset in terms of $7\times 7$ matrices realizing the automorphisms of split octonions. Generating a new solution amounts to transforming the coset matrices by one-parametric subgroups of $G_{2(2)}$ and subsequently solving the dualization equations. Using this formalism we derive a new charged black ring solution with two independent parameters of rotation. T3 - ZIB-Report - 10-14 KW - supergravity KW - black rings KW - Killing vectors KW - duality Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11732 SN - 1438-0064 ER - TY - GEN A1 - Wolf, Thomas T1 - Merging solutions of non-linear algebraic systems N2 - In solving large polynomial algebraic systems that are too big for standard Gröbner basis techniques one way to make progress is to introduce case distinctions. This divide and conquer technique can be beneficial if the algorithms and computer programs know how to take advantage of inequalities. A further hurdle is the form of the resulting general solutions which often have unnecessarily many branches. In this paper we discuss a procedure to merge solutions by dropping inequalities which are associated with them and, if necessary, by re-parametrizing solutions. In the appendix the usefulness of the procedure is demonstrated in the classification of quadratic Hamiltonians with a Lie-Poisson bracket $e(3)$. This application required the solution of algebraic systems with over 200 unknowns, 450 equations and between 5000 and 9000 terms. T3 - ZIB-Report - 10-13 KW - computer algebra KW - polynomial systems KW - Lie-Poisson brackets KW - quadratic Hamiltonians Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11769 SN - 1438-0064 ER - TY - GEN A1 - Wolf, Thomas T1 - A Dynamical Systems Approach for Static Evaluation in Go N2 - 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 T3 - ZIB-Report - 10-15 KW - discrete dynamical systems KW - Computer Go KW - static evaluation Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11771 SN - 1438-0064 ER - TY - GEN A1 - Hussin, V. A1 - Kiselev, A. V. A1 - Krutov, A.O. A1 - Wolf, Thomas T1 - N=2 supersymmetric a=4-KdV hierarchy derived via Gardner's deformation of Kaup-Boussinesq equation N2 - We consider the problem of constructing Gardner's deformations for the $N{=}2$ supersymmetric $a{=}4$--\/Korteweg\/--\/de Vries equation; such deformations yield recurrence relations between the super\/-\/Hamiltonians of the hierarchy. We prove the non\/-\/existence %P.~Mathieu's Open problem on constructing for of supersymmetry\/-\/invariant %Gardner's deformations that %solutions, retract to Gardner's formulas for the KdV equation %whenever it is assumed that, under the %respective component reduction. % in the $N{=}2$ super\/-\/field. the solutions . At the same time, we propose a two\/-\/step scheme for the recursive production of the integrals of motion for the $N{=}2$,\ $a{=}4$--\/SKdV. First, we find a new Gardner's deformation of the Kaup\/--\/Boussinesq equation, which is contained in the bosonic limit of the super\/-\/%$N{=}2$,\ $a{=}4$--\/SKdV hierarchy. This yields the recurrence relation between the Hamiltonians of the limit, whence we determine the bosonic super\/- /Hamiltonians of the full $N{=}2$, $a{=}4$--\/SKdV hierarchy. T3 - ZIB-Report - 10-16 KW - Korteweg-de Vries equation KW - Kaup-Boussinesq equation KW - supersymmetry KW - Gardner's deformations KW - bi-Hamilltonian hierarchies Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11787 SN - 1438-0064 ER - TY - GEN A1 - Kiselev, A. V. A1 - Wolf, Thomas T1 - Classification of integrable super-systems using the SsTools environment N2 - 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. T3 - ZIB-Report - 10-17 KW - Integrable super-systems KW - symmetries KW - recursions KW - classifiaction Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11792 SN - 1438-0064 ER - TY - GEN A1 - Wolf, Thomas A1 - Efimovskaya, Olya V. T1 - Classification of integrable quadratic Hamiltonians on e(3) N2 - Linear Poisson brackets on e(3) typical of rigid body dynamics are considered. All quadratic Hamiltonians of Kowalevski type having additional first integral of fourth degree are found. Quantum analogs of these Hamiltonians are listed. T3 - ZIB-Report - 10-18 KW - Linear Poisson brackets on e(3) KW - rigid body dynamics KW - Kowalevski type Hamiltonians KW - first integrals Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11807 SN - 1438-0064 ER - TY - GEN A1 - Kiselev, Arthemy V. A1 - Wolf, Thomas T1 - On weakly non-local, nilpotent, and super-recursion operators for N=1 super-equations N2 - We consider nonlinear, scaling-invariant $N=1$ boson$+$fermion supersymmetric systems whose right-hand sides are homogeneous differential polynomials and satisfy some natural assumptions. We select the super-systems that admit infinitely many higher symmetries generated by recursion operators; we further restrict ourselves to the case when the dilaton dimensions of the bosonic and fermionic super-fields coincide and the weight of the time is half the weight of the spatial variable. We discover five systems that satisfy these assumptions; one system is transformed to the purely bosonic Burgers equation. We construct local, nilpotent, triangular, weakly non-local, and super-recursion operators for their symmetry algebras. T3 - ZIB-Report - 05-52 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8850 ER - TY - GEN A1 - Kiselev, Arthemy V. A1 - Wolf, Thomas T1 - Supersymmetric representations and integrable super-extensions of the Burgers and Boussinesq equations N2 - New evolutionary supersymmetric systems whose right-hand sides are homogeneous differential polynomials and which possess infinitely many higher symmetries are constructed. Their intrinsic geometry (symmetries, conservation laws, recursion operators, Hamiltonian structures, and exact solutions) is analyzed by using algebraic methods. A supersymmetric $N=1$ representation of the Burgers equation is obtained. An $N=2$ KdV-component system that reduces to the Burgers equation in the diagonal $N=1$ case $\theta^1=\theta^2$ is found; the $N=2$ Burgers equation admits and $N=2$ modified KdV symmetry. A one\/-\/parametric family of $N=0$ super\/-\/systems that exte nd the Burgers equation is described; we relate the systems within this family with the Burgers equation on associative algebras. A supersymmetric boson$+$fermion representation of the dispersionless Boussinesq equation is investigated. We solve this equation explicitly and construct its integrable deformation that generates two infinite sequences of the Hamiltonians. The Boussinesq equation with dispersion is embedded in a one-parametric family of two-component systems with dissipation. We finally construct a three-parametric supersymmetric system that incorporates the Boussinesq equation with dispersion and dissipation but never retracts to it for any values of the parameters. T3 - ZIB-Report - 05-53 Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8869 ER - TY - JOUR A1 - Odesskii, Alexander A1 - Wolf, Thomas T1 - Compatible quadratic Poisson brackets related to a family of elliptic curves JF - Journal of Geometry and Physics Y1 - 2013 SN - 0393-0440 VL - 63 IS - 0 SP - 107 EP - 117 ER - TY - JOUR A1 - Anco, Stephen A1 - MacNaughton, Steven A. A1 - Wolf, Thomas T1 - Conservation laws and symmetries of quasilinear radial wave equations in multi-dimensions JF - Journal of Mathematical Physics Y1 - 2012 U6 - https://doi.org/10.1063/1.4711814 VL - 53 IS - 5 ER - TY - JOUR A1 - Wolf, Thomas A1 - Schrüfer, Eberhard A1 - Webster, Kenneth T1 - Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs JF - Programming and Computer Software Y1 - 2012 U6 - https://doi.org/10.1134/S0361768812020065 SN - 0361-7688 VL - 38 IS - 2 SP - 73 EP - 83 ER - TY - JOUR A1 - Euler, Marianna A1 - Euler, Norbert A1 - Wolf, Thomas T1 - The Two-Component Camassa-Holm Equations CH(2,1) and CH(2,2): First-Order Integrating Factors and Conservation Laws JF - Journal of Nonlinear Mathematical Physics N2 - Recently, Holm and Ivanov, proposed and studied a class of multi-component generalizations of the Camassa–Holm equations [D. D. Holm and R. I. Ivanov, Multi-component generalizations of the CH equation: geometrical aspects, peakons and numerical examples, J. Phys A: Math. Theor. 43 (2010) 492001 (20pp)]. We consider two of those systems, denoted by Holm and Ivanov by CH(2,1) and CH(2,2), and report a class of integrating factors and its corresponding conservation laws for these two systems. In particular, we obtain the complete set of first-order integrating factors for the systems in Cauchy–Kovalevskaya form and evaluate the corresponding sets of conservation laws for CH(2,1) and CH(2,2). Y1 - 2013 U6 - https://doi.org/10.1142/S1402925112400025 VL - 19 IS - 1 SP - 13 EP - 22 ER - TY - JOUR A1 - Anco, Stephen A1 - Mohiuddin, Mohammad A1 - Wolf, Thomas T1 - Traveling waves and conservation laws for complex mKdV-type equations Y1 - 2012 U6 - https://doi.org/10.1016/j.amc.2012.06.061 VL - 219 IS - 2 SP - 679 EP - 698 ER - TY - JOUR A1 - Anco, Stephen A1 - Ali, Sajid A1 - Wolf, Thomas T1 - Exact Solutions of Nonlinear Partial Differential Equations by the Method of Group Foliation Reduction JF - SIGMA 7 N2 - A novel symmetry method for finding exact solutions to nonlinear PDEs is illustrated by applying it to a semilinear reaction-diffusion equation in multi-dimensions. The method uses a separation ansatz to solve an equivalent first-order group foliation system whose independent and dependent variables respectively consist of the invariants and differential invariants of a given one-dimensional group of point symmetries for the reaction-diffusion equation. With this group-foliation reduction method, solutions of the reaction-diffusion equation are obtained in an explicit form, including group-invariant similarity solutions and travelling-wave solutions, as well as dynamically interesting solutions that are not invariant under any of the point symmetries admitted by this equation. Y1 - 2011 U6 - https://doi.org/10.3842/SIGMA.2011.066 ER -