ZIB-Report
Refine
Year of publication
Document Type
- ZIB-Report (55)
Has Fulltext
- yes (55)
Is part of the Bibliography
- no (55)
Keywords
- Open Access (6)
- KOBV (4)
- Kooperativer Bibliotheksverbund Berlin-Brandenburg (3)
- computer algebra (3)
- digital preservation (3)
- Bibliotheksverbund (2)
- Computer Go (2)
- KOBV-Fernleihe (2)
- Langzeitverfügbarkeit (2)
- Online-Fernleihe (2)
Institute
- Digital Data and Information for Society, Science, and Culture (55) (remove)
13-68
Das Förderprogramm Digitalisierung des Landes Berlin fördert Digitalisierungsprojekte in Berliner Kulturerbeeinrichtungen und hat parallel dazu die Servicestelle Digitalisierung (digiS) als zentrale Beratungs- und Koordinierungsstelle eingerichtet. Ziel ist dabei, eine technische und organisatorische Infrastruktur für die Projekte sowie zur Sicherung der Langzeitverfügbarkeit digitalen Kulturguts vorzuhalten. Der Artikel beschreibt das Förderprogramm, das Aufgabenspektrum von digiS und die Herausforderungen, die sich für Kulturerbeinstitutionen ergeben, wenn sie sich auf den offenen Dialog mit ihren Nutzern einlassen und ihre Objekte digital langzeitverfügbar halten wollen.
12-34
Travelling waves and conservation laws are studied
for a wide class of $U(1)$-invariant complex mKdV equations
containing the two known integrable generalizations of
the ordinary (real) mKdV equation.
The main results on travelling waves include deriving
new complex solitary waves and kinks that generalize
the well-known mKdV $\sech$ and $\tanh$ solutions.
The main results on conservation laws consist of explicitly finding
all 1st order conserved densities that yield phase-invariant counterparts of
the well-known mKdV conserved densities for
momentum, energy, and Galilean energy,
and a new conserved density describing
the angular twist of complex kink solutions.
12-33
Symmetries and conservation laws are studied for two classes
of physically and analytically interesting radial wave equations
with power nonlinearities in multi-dimensions.
The results consist of two main classifications:
all symmetries of point type and all conservation laws of a general energy-momentum type
are explicitly determined,
including those such as dilations, inversions, similarity energies and conformal energies
that exist only for special powers or dimensions.
In particular, all variational cases (when a Lagrangian formulation exists)
and non-variational cases (when no Lagrangian exists)
for these wave equations are considered.
As main results, the classification yields generalized energies and radial momenta
in certain non-variational cases,
which are shown to arise from a new type of Morawetz dilation identity
that produces conservation laws for each of the two classes of wave equations
in a different way than Noether's theorem.
12-32
The paper reports on a computer algebra program {\sc LSSS} (Linear Selective
Systems Solver) for solving linear algebraic systems with rational
coefficients. The program is especially efficient for very large sparse
systems that have a solution in which many variables take the value
zero. The program is applied to the symmetry investigation of a non-abelian
Laurent ODE introduced recently by M.\ Kontsevich. The computed symmetries
confirmed that a Lax pair found for this system earlier generates all first
integrals of degree at least up to 14.
12-31
12-30
Recently, Holm and Ivanov, proposed and studied a class of multi-component
generalisations 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,
{\it J. Phys A: Math. Theor} {\bf 43}, 492001 (20pp), 2010]. 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 sent 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).
11-30
In diesem Report wird ein Überblick über Recommender Systeme (RS) im
Bibliotheksbereich gegeben, welche Eigenschaften RS haben und welche Bedeutung
sie damit für Bibliotheken besitzen. Es existieren semantische und nicht-semantische
Lösungen, die dem Benutzer aus einer Menge von Publikationen die für ihn relevantesten
empfehlen. Diese Arbeiten sowie eine Einleitung in das Thema werden präsentiert
und mit den gewonnenen Kenntnissen ein Ausblick auf mögliche Entwicklungen gegeben.
11-26
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.
11-25
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.
11-24
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.
10-19
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.
10-18
10-17
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.
10-16
N=2 supersymmetric a=4-KdV hierarchy derived via Gardner's deformation of Kaup-Boussinesq equation
(2010)
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.
10-15
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
10-14
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.
10-13
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.
10-01
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
(2010)
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods to prove or disprove convexity of rational functions over a polyhedral domain. Our algorithms reduce convexity questions to real quantifier elimination problems. Our methods are implemented and publicly available in the open source computer algebra system REDUCE. Our long term goal is to integrate REDUCE as a workhorse'' for symbolic computations into a numerical solver.
09-39
Im Mai 2009 wurde Wolfram|Alpha gestartet, ein Service, der seinen Namen von seinem Entwickler, dem britischen Mathematiker Stephen Wolfram, ableitet. Dem Benutzer soll nicht nur eine Liste von Webseiten als Ergebnis auf Anfragen geliefert werden, sondern Antworten auf konkrete Fragen geben. In diesem Report soll gezeigt werden, warum sichWolframjAlpha von Suchmaschinen abgrenzt und was die Berechnung von Antworten auf natürlichsprachliche Fragen möglich machen kann.
09-35
Eines der Hauptanliegen bei der Initiierung des Kooperativen Bibliotheksverbundes Berlin-Brandenburg (KOBV) war die Schaffung einer modernen, leistungsfähigen Informationsinfrastruktur unter Einbeziehung möglichst aller Bibliotheken der in ihrer Dichte und Vielfalt in Deutschland einmaligen Bibliothekslandschaft. Sie wurde beim Aufbau des KOBV durch die Wahl des Verbundmodelles mit seinen offenen, integrativen Strukturen befördert. Die Ziele und Strategien des KOBV leiten sich aus dem Grundauftrag der Bibliotheken her, ihre NutzerInnen optimal mit Medien und Informationen zu versorgen. Mit dem KOBV haben die Bibliotheken eine gemeinsame Plattform und ein regionales Netzwerk geschaffen, mit deren Hilfe sie die Informationsinfrastruktur in Berlin und Brandenburg zusammen aufgebaut und grundlegend verbessert haben. Nach rund elf Jahren ist der KOBV in eine neue Phase eingetreten, indem er – unter Wahrung seiner institutionellen Eigenständigkeit – eine Strategische Allianz mit dem Bibliotheksverbund Bayern (BVB) eingegangen ist und die bislang auf die Region bezogene Kooperation der Bibliotheken überregional ausgeweitet hat. Wenn auch die Universalbibliotheken des KOBV in dieser Zusammenarbeit einen Kurswechsel zur zentralen Katalogisierung vollziehen, bedeutet dies für den KOBV insgesamt keinen Paradigmenwechsel: Er bleibt ein dezentraler Verbund und wird sein flexibles technisches Mischkonzept von verteilter und zentraler Datenhaltung fortführen. Dieses lässt den Bibliotheken die Freiheit zu entscheiden, ob sie zentral oder dezentral katalogisieren möchten. Die KOBV-Zentrale, die im KOBV keine Aufgaben in der Katalogisierung wahrnimmt, wird wie bislang allen Mitgliedsbibliotheken die ASP-Dienste und weiteren Angebote gleichermaßen zur Verfügung stellen und die Dienstleistungen für NutzerInnen und Bibliotheken weiter ausbauen. Mit dem vorhandenen Know How, der eingesetzten modernen Technologie und der strategischen Entscheidung, Ressourcen und Kompetenzen mit dem BVB zu bündeln und durch verbundübergreifende arbeitsteilige Verfahren Synergien zu gewinnen, ist der KOBV gut aufgestellt, um die Herausforderungen der kommenden Jahre anzugehen und das Leistungsspektrum der KOBV-Bibliotheken durch die Entwicklung neuer Dienste auszuweiten.