10,834 research outputs found
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
The traditional split-up into a low level language and a high level language
in the design of computer algebra systems may become obsolete with the advent
of more versatile computer languages. We describe GiNaC, a special-purpose
system that deliberately denies the need for such a distinction. It is entirely
written in C++ and the user can interact with it directly in that language. It
was designed to provide efficient handling of multivariate polynomials,
algebras and special functions that are needed for loop calculations in
theoretical quantum field theory. It also bears some potential to become a more
general purpose symbolic package
Efficient Quantum Algorithms for State Measurement and Linear Algebra Applications
We present an algorithm for measurement of -local operators in a quantum
state, which scales logarithmically both in the system size and the output
accuracy. The key ingredients of the algorithm are a digital representation of
the quantum state, and a decomposition of the measurement operator in a basis
of operators with known discrete spectra. We then show how this algorithm can
be combined with (a) Hamiltonian evolution to make quantum simulations
efficient, (b) the Newton-Raphson method based solution of matrix inverse to
efficiently solve linear simultaneous equations, and (c) Chebyshev expansion of
matrix exponentials to efficiently evaluate thermal expectation values. The
general strategy may be useful in solving many other linear algebra problems
efficiently.Comment: 17 pages, 3 figures (v2) Sections reorganised, several clarifications
added, results unchange
Differentiable Genetic Programming
We introduce the use of high order automatic differentiation, implemented via
the algebra of truncated Taylor polynomials, in genetic programming. Using the
Cartesian Genetic Programming encoding we obtain a high-order Taylor
representation of the program output that is then used to back-propagate errors
during learning. The resulting machine learning framework is called
differentiable Cartesian Genetic Programming (dCGP). In the context of symbolic
regression, dCGP offers a new approach to the long unsolved problem of constant
representation in GP expressions. On several problems of increasing complexity
we find that dCGP is able to find the exact form of the symbolic expression as
well as the constants values. We also demonstrate the use of dCGP to solve a
large class of differential equations and to find prime integrals of dynamical
systems, presenting, in both cases, results that confirm the efficacy of our
approach
- …