Skip to main content Accessibility help
×
Home
Hostname: page-component-684899dbb8-x64cq Total loading time: 0.212 Render date: 2022-05-20T08:33:18.259Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "useNewApi": true }

Renormalisation and computation II: time cut-off and the Halting Problem

Published online by Cambridge University Press:  06 September 2012

YURI I. MANIN*
Affiliation:
Max Planck Institut für Mathematik, Bonn, Germany and Northwestern University, Evanston, U.S.A.

Abstract

This is the second instalment in the project initiated in Manin (2012). In the first Part, we argued that both the philosophy and technique of perturbative renormalisation in quantum field theory could be meaningfully transplanted to the theory of computation, and sketched several contexts supporting this view.

In this second part, we address some of the issues raised in Manin (2012) and develop them further in three contexts: a categorification of the algorithmic computations; time cut-off and anytime algorithms; and, finally, a Hopf algebra renormalisation of the Halting Problem.

Type
Paper
Copyright
Copyright © Cambridge University Press 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Baez, J. and Stay, M. (2010) Physics, topology, logic and computation: a Rosetta stone. In: Coecke, B. (ed.) New Structures for Physics. Springer-Verlag Lecture Notes in Physics 813 95172. (Available at arXiv:0903.0340.)CrossRefGoogle Scholar
Calude, C. and Stay, M. (2008) Most programs stop quickly or never halt. Advances in Applied Mathematics 40 295308.CrossRefGoogle Scholar
Calude, C. and Stay, M. (2006) Natural halting probabilities, partial randomness, and zeta functions. Information and Computation 204 17181739.CrossRefGoogle Scholar
Ebrahimi-Fard, K. and Manchon, D. (2007) The combinatorics of Bogolyubov's recursion in renormalization. (Available at arXiv0710.3675 [math-ph].)Google Scholar
Gács, P. and Levin, A. (1982) Causal nets or what is a deterministic computation? International Journal of Theoretical Physics 21 (12)961971.CrossRefGoogle Scholar
Grass, J. (1996) Reasoning about Computational Resource Allocation. An introduction to anytime algorithms. Posted on the XRDS (Crossroads) website.Google Scholar
Grass, J. and Zilberstein, S. (1995) Programming with anytime algorithms. In: Proceedings of the IJCAI-95 Workshop on Anytime Algorithms and Deliberation Scheduling.Google Scholar
Heller, A. (1990) An existence theorem for recursive categories. Journal of Symbolic Logic 55 (3)12521268.CrossRefGoogle Scholar
Levin, L. (1976) Various measures of complexity for finite objects (axiomatic description). Soviet Math. Dokl. 17 (2)522526.Google Scholar
Li, M. and Vitányi, P. (1993) An Introduction to Kolmogorov Complexity and its Applications, Springer.CrossRefGoogle Scholar
Manin, Y. (2010) A Course in Mathematical Logic (the second, expanded Edition), Springer-Verlag.Google Scholar
Manin, Y. (1999) Classical computing, quantum computing, and Shor's factoring algorithm. Séminaire Bourbaki, Exposée 862 (June 1999), Astérisque 266 375404. (Available at arXiv:quant-ph/9903008).Google Scholar
Manin, Y. (2012) Renormalization and computation I. Motivation and background. In: Loday, J-L. and Vallette, B. (eds.) Proceedings OPERADS 2009. Séminaires et Congrès 26, Société Mathématique de France 181223. (Preprint available at arXiv:0904.492.)Google Scholar
Nabutovsky, A. and Weinberger, S. (2003) The fractal nature of Riem/Diff I. Geometriae Dedicata 101 145250.CrossRefGoogle Scholar
Rogers, H. (1958) Gödel numberings of partial recursive functions. Journal of Symbolic Logic 23 331341.CrossRefGoogle Scholar
Russell, S. J. and Zilberstein, S. (1991) Composing real–time systems. In: Mylopoulos, J. and Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, Morgan Kaufmann 212217.Google Scholar
Schnorr, C. P. (1974) Optimal enumerations and optimal Gödel numberings. Mathematical Systems Theory 8 (2)182191.CrossRefGoogle Scholar
Soare, R. I. (2004) Computability theory and differential geometry. Bulletin of Symbolic Logic 10 (4)457486.CrossRefGoogle Scholar
Yanofsky, N. S. (2006) Towards a definition of an algorithm. (Available at arXiv:math/0602053v3 [math.LO].)Google Scholar
9
Cited by

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Renormalisation and computation II: time cut-off and the Halting Problem
Available formats
×

Save article to Dropbox

To save this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

Renormalisation and computation II: time cut-off and the Halting Problem
Available formats
×

Save article to Google Drive

To save this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

Renormalisation and computation II: time cut-off and the Halting Problem
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *