14,710 research outputs found
Dyson-Schwinger equations in the theory of computation
Following Manin's approach to renormalization in the theory of computation,
we investigate Dyson-Schwinger equations on Hopf algebras, operads and
properads of flow charts, as a way of encoding self-similarity structures in
the theory of algorithms computing primitive and partial recursive functions
and in the halting problem.Comment: 26 pages, LaTeX, final version, in "Feynman Amplitudes, Periods and
Motives", Contemporary Mathematics, AMS 201
Complexity Theory and the Operational Structure of Algebraic Programming Systems
An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions
Functional programming with bananas, lenses, envelopes and barbed wire
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators
Renormalization automated by Hopf algebra
It was recently shown that the renormalization of quantum field theory is
organized by the Hopf algebra of decorated rooted trees, whose coproduct
identifies the divergences requiring subtraction and whose antipode achieves
this. We automate this process in a few lines of recursive symbolic code, which
deliver a finite renormalized expression for any Feynman diagram. We thus
verify a representation of the operator product expansion, which generalizes
Chen's lemma for iterated integrals. The subset of diagrams whose forest
structure entails a unique primitive subdivergence provides a representation of
the Hopf algebra of undecorated rooted trees. Our undecorated Hopf
algebra program is designed to process the 24,213,878 BPHZ contributions to the
renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models,
each in 9 renormalization schemes. The two simplest models reveal a notable
feature of the subalgebra of Connes and Moscovici, corresponding to the
commutative part of the Hopf algebra of the diffeomorphism group:
it assigns to Feynman diagrams those weights which remove zeta values from the
counterterms of the minimal subtraction scheme. We devise a fast algorithm for
these weights, whose squares are summed with a permutation factor, to give
rational counterterms.Comment: 22 pages, latex, epsf for figure
Formal Desingularization of Surfaces - The Jung Method Revisited -
In this paper we propose the concept of formal desingularizations as a
substitute for the resolution of algebraic varieties. Though a usual resolution
of algebraic varieties provides more information on the structure of
singularities there is evidence that the weaker concept is enough for many
computational purposes. We give a detailed study of the Jung method and show
how it facilitates an efficient computation of formal desingularizations for
projective surfaces over a field of characteristic zero, not necessarily
algebraically closed. The paper includes a generalization of Duval's Theorem on
rational Puiseux parametrizations to the multivariate case and a detailed
description of a system for multivariate algebraic power series computations.Comment: 33 pages, 2 figure
- …