CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> field observable in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="index,follow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> field observable </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/8213/#Item_2" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <div id="revision"> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:svg="http://www.w3.org/2000/svg" xml:lang="en" lang="en"> <head><meta http-equiv="Content-type" content="application/xhtml+xml;charset=utf-8" /><title>Contents</title></head> <body> <div class="rightHandSide"> <div class="toc clickDown" tabindex="0"> <h3 id="context">Context</h3> <h4 id="algebraic_quantum_field_theory">Algebraic Quantum Field Theory</h4> <div class="hide"><div> <p><strong><a class="existingWikiWord" href="/nlab/show/algebraic+quantum+field+theory">algebraic quantum field theory</a></strong> (<a class="existingWikiWord" href="/nlab/show/perturbative+AQFT">perturbative</a>, <a class="existingWikiWord" href="/nlab/show/AQFT+on+curved+spacetime">on curved spacetimes</a>, <a class="existingWikiWord" href="/nlab/show/homotopical+algebraic+quantum+field+theory">homotopical</a>)</p> <p><a class="existingWikiWord" href="/nlab/show/A+first+idea+of+quantum+field+theory">Introduction</a></p> <h2 id="concepts">Concepts</h2> <p><strong><a class="existingWikiWord" href="/nlab/show/field+theory">field theory</a></strong>:</p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/classical+field+theory">classical</a>, <a class="existingWikiWord" href="/nlab/show/prequantum+field+theory">pre-quantum</a>, <a class="existingWikiWord" href="/nlab/show/quantum+field+theory">quantum</a>, <a class="existingWikiWord" href="/nlab/show/perturbative+quantum+field+theory">perturbative quantum</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/relativistic+field+theory">relativistic</a>, <a class="existingWikiWord" href="/nlab/show/Euclidean+field+theory">Euclidean</a>, <a class="existingWikiWord" href="/nlab/show/thermal+quantum+field+theory">thermal</a></p> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/Lagrangian+field+theory">Lagrangian field theory</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/field+%28physics%29">field (physics)</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/field+bundle">field bundle</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/field+history">field history</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/space+of+field+histories">space of field histories</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Lagrangian+density">Lagrangian density</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Euler-Lagrange+form">Euler-Lagrange form</a>, <a class="existingWikiWord" href="/nlab/show/presymplectic+current">presymplectic current</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Euler-Lagrange+equations">Euler-Lagrange</a><a class="existingWikiWord" href="/nlab/show/equations+of+motion">equations of motion</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/locally+variational+field+theory">locally variational field theory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/covariant+phase+space">covariant phase space</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Peierls-Poisson+bracket">Peierls-Poisson bracket</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/advanced+and+retarded+propagator">advanced and retarded propagator</a>,</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/causal+propagator">causal propagator</a></p> </li> </ul> </li> </ul> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/quantization">quantization</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/geometric+quantization">geometric quantization</a><a class="existingWikiWord" href="/nlab/show/geometric+quantization+of+symplectic+groupoids">of symplectic groupoids</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/algebraic+deformation+quantization">algebraic deformation quantization</a>, <a class="existingWikiWord" href="/nlab/show/star+algebra">star algebra</a></p> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/quantum+mechanical+system">quantum mechanical system</a></strong>, <strong><a class="existingWikiWord" href="/nlab/show/quantum+probability">quantum probability</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/subsystem">subsystem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/observables">observables</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/field+observables">field observables</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/local+observables">local observables</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/polynomial+observables">polynomial observables</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/microcausal+observables">microcausal observables</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/operator+algebra">operator algebra</a>, <a class="existingWikiWord" href="/nlab/show/C%2A-algebra">C*-algebra</a>, <a class="existingWikiWord" href="/nlab/show/von+Neumann+algebra">von Neumann algebra</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/local+net+of+observables">local net of observables</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/causal+locality">causal locality</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Haag-Kastler+axioms">Haag-Kastler axioms</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wightman+axioms">Wightman axioms</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/field+net">field net</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/conformal+net">conformal net</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/state+on+a+star-algebra">state on a star-algebra</a>, <a class="existingWikiWord" href="/nlab/show/expectation+value">expectation value</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/pure+state">pure state</a></p> <p><a class="existingWikiWord" href="/nlab/show/wave+function">wave function</a></p> <p><a class="existingWikiWord" href="/nlab/show/collapse+of+the+wave+function">collapse of the wave function</a>/<a class="existingWikiWord" href="/nlab/show/conditional+expectation+value">conditional expectation value</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/mixed+state">mixed state</a>, <a class="existingWikiWord" href="/nlab/show/density+matrix">density matrix</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/space+of+quantum+states">space of quantum states</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+state">vacuum state</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/quasi-free+state">quasi-free state</a>,</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Hadamard+state">Hadamard state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wightman+propagator">Wightman propagator</a></p> </li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/picture+of+quantum+mechanics">picture of quantum mechanics</a></p> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/free+field">free field</a> <a class="existingWikiWord" href="/nlab/show/quantization">quantization</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/star+algebra">star algebra</a>, <a class="existingWikiWord" href="/nlab/show/Moyal+deformation+quantization">Moyal deformation quantization</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wick+algebra">Wick algebra</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/canonical+commutation+relations">canonical commutation relations</a>, <a class="existingWikiWord" href="/nlab/show/Weyl+relations">Weyl relations</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/normal+ordered+product">normal ordered product</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Fock+space">Fock space</a></p> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/gauge+theories">gauge theories</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/gauge+symmetry">gauge symmetry</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/BRST+complex">BRST complex</a>, <a class="existingWikiWord" href="/nlab/show/BV-BRST+formalism">BV-BRST formalism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/local+BV-BRST+complex">local BV-BRST complex</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/BV-operator">BV-operator</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+master+equation">quantum master equation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/master+Ward+identity">master Ward identity</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/gauge+anomaly">gauge anomaly</a></p> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/interacting+field+theory">interacting field</a> <a class="existingWikiWord" href="/nlab/show/quantization">quantization</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/causal+perturbation+theory">causal perturbation theory</a>, <a class="existingWikiWord" href="/nlab/show/perturbative+AQFT">perturbative AQFT</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/interaction">interaction</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/S-matrix">S-matrix</a>, <a class="existingWikiWord" href="/nlab/show/scattering+amplitude">scattering amplitude</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/causal+additivity">causal additivity</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/time-ordered+product">time-ordered product</a>, <a class="existingWikiWord" href="/nlab/show/Feynman+propagator">Feynman propagator</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Feynman+diagram">Feynman diagram</a>, <a class="existingWikiWord" href="/nlab/show/Feynman+perturbation+series">Feynman perturbation series</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/effective+action">effective action</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+stability">vacuum stability</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/interacting+field+algebra">interacting field algebra</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Bogoliubov%27s+formula">Bogoliubov's formula</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+M%C3%B8ller+operator">quantum Møller operator</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/adiabatic+limit">adiabatic limit</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/infrared+divergence">infrared divergence</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/interacting+vacuum">interacting vacuum</a></p> </li> </ul> </li> </ul> <p><strong><a class="existingWikiWord" href="/nlab/show/renormalization">renormalization</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/renormalization+scheme">("re-")normalization scheme</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/extension+of+distributions">extension of distributions</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/renormalization+condition">("re"-)normalization condition</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+anomaly">quantum anomaly</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/renormalization+group">renormalization group</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/interaction+vertex+redefinition">interaction vertex redefinition</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/St%C3%BCckelberg-Petermann+renormalization+group">Stückelberg-Petermann renormalization group</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/renormalization+group+flow">renormalization group flow</a>/<a class="existingWikiWord" href="/nlab/show/running+coupling+constants">running coupling constants</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/effective+quantum+field+theory">effective quantum field theory</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/UV+cutoff">UV cutoff</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/counterterms">counterterms</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/relative+effective+action">relative effective action</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wilsonian+RG">Wilsonian RG</a>, <a class="existingWikiWord" href="/nlab/show/Polchinski+flow+equation">Polchinski flow equation</a></p> </li> </ul> </li> </ul> <h2 id="Theorems">Theorems</h2> <h3 id="states_and_observables">States and observables</h3> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/order-theoretic+structure+in+quantum+mechanics">order-theoretic structure in quantum mechanics</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Alfsen-Shultz+theorem">Alfsen-Shultz theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Harding-D%C3%B6ring-Hamhalter+theorem">Harding-Döring-Hamhalter theorem</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Kochen-Specker+theorem">Kochen-Specker theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bell%27s+theorem">Bell's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Fell%27s+theorem">Fell's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Gleason%27s+theorem">Gleason's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wigner+theorem">Wigner theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bub-Clifton+theorem">Bub-Clifton theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Kadison-Singer+problem">Kadison-Singer problem</a></p> </li> </ul> <h3 id="operator_algebra">Operator algebra</h3> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Wick%27s+theorem">Wick's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/GNS+construction">GNS construction</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/cyclic+vector">cyclic vector</a>, <a class="existingWikiWord" href="/nlab/show/separating+vector">separating vector</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/modular+theory">modular theory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Fell%27s+theorem">Fell's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Stone-von+Neumann+theorem">Stone-von Neumann theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Haag%27s+theorem">Haag's theorem</a></p> </li> </ul> <h3 id="local_qft">Local QFT</h3> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Reeh-Schlieder+theorem">Reeh-Schlieder theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bisognano-Wichmann+theorem">Bisognano-Wichmann theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/PCT+theorem">PCT theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/spin-statistics+theorem">spin-statistics theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/DHR+superselection+theory">DHR superselection theory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Osterwalder-Schrader+theorem">Osterwalder-Schrader theorem</a> (<a class="existingWikiWord" href="/nlab/show/Wick+rotation">Wick rotation</a>)</p> </li> </ul> <h3 id="perturbative_qft">Perturbative QFT</h3> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Schwinger-Dyson+equation">Schwinger-Dyson equation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/main+theorem+of+perturbative+renormalization">main theorem of perturbative renormalization</a></p> </li> </ul> </div></div> </div> </div> <h1 id="contents">Contents</h1> <div class='maruku_toc'> <ul> <li><a href='#idea'>Idea</a></li> <li><a href='#related_entries'>Related entries</a></li> </ul> </div> <h2 id="idea">Idea</h2> <p>Given <a class="existingWikiWord" href="/nlab/show/Lagrangian+field+theory">Lagrangian field theory</a> with <a class="existingWikiWord" href="/nlab/show/field+bundle">field bundle</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>E</mi><mover><mo>→</mo><mi>fb</mi></mover><mi>Σ</mi></mrow><annotation encoding="application/x-tex">E \overset{fb}{\to} \Sigma</annotation></semantics></math> over some <a class="existingWikiWord" href="/nlab/show/spacetime">spacetime</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Σ</mi></mrow><annotation encoding="application/x-tex">\Sigma</annotation></semantics></math>, so that a <a class="existingWikiWord" href="/nlab/show/field+history">field history</a> is a smooth <a class="existingWikiWord" href="/nlab/show/section">section</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Φ</mi><mo>∈</mo><msub><mi>Γ</mi> <mi>Σ</mi></msub><mo stretchy="false">(</mo><mi>E</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\Phi \in \Gamma_\Sigma(E)</annotation></semantics></math>, then for every point <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo>∈</mo><mi>Σ</mi></mrow><annotation encoding="application/x-tex">x \in \Sigma</annotation></semantics></math> (every <a class="existingWikiWord" href="/nlab/show/event">event</a>) and every <a class="existingWikiWord" href="/nlab/show/coordinate+function">coordinate function</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>ϕ</mi> <mi>a</mi></msup><mo>∈</mo><msup><mi>C</mi> <mn>∞</mn></msup><mo stretchy="false">(</mo><mi>E</mi><msub><mo stretchy="false">|</mo> <mrow><msub><mi>U</mi> <mi>x</mi></msub></mrow></msub></mrow><annotation encoding="application/x-tex">\phi^a \in C^\infty(E\vert_{U_x}</annotation></semantics></math>) on the <a class="existingWikiWord" href="/nlab/show/fibers">fibers</a> of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>E</mi></mrow><annotation encoding="application/x-tex">E</annotation></semantics></math> over a <a class="existingWikiWord" href="/nlab/show/neighbourhood">neighbourhood</a> of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>X</mi></mrow><annotation encoding="application/x-tex">X</annotation></semantics></math> there is the <a class="existingWikiWord" href="/nlab/show/observable">observable</a></p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mstyle mathvariant="bold"><mi>Φ</mi></mstyle> <mi>a</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo><mspace width="thickmathspace"></mspace><mo lspace="verythinmathspace">:</mo><mspace width="thickmathspace"></mspace><msub><mi>Γ</mi> <mi>Σ</mi></msub><mo stretchy="false">(</mo><mi>E</mi><mo stretchy="false">)</mo><mo>⟶</mo><mi>ℂ</mi></mrow><annotation encoding="application/x-tex"> \mathbf{\Phi}^a(x) \;\colon\; \Gamma_\Sigma(E) \longrightarrow \mathbb{C} </annotation></semantics></math></div> <p>which reads out the value of that component of the <a class="existingWikiWord" href="/nlab/show/field+history">field history</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Φ</mi></mrow><annotation encoding="application/x-tex">\Phi</annotation></semantics></math> at that point (<a class="existingWikiWord" href="/nlab/show/event">event</a>)</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mstyle mathvariant="bold"><mi>Φ</mi></mstyle> <mi>a</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo><mspace width="thickmathspace"></mspace><mo lspace="verythinmathspace">:</mo><mspace width="thickmathspace"></mspace><mi>Φ</mi><mo>↦</mo><msup><mi>Φ</mi> <mi>a</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo><mspace width="thinmathspace"></mspace><mo>.</mo></mrow><annotation encoding="application/x-tex"> \mathbf{\Phi}^a(x) \;\colon\; \Phi \mapsto \Phi^a(x) \,. </annotation></semantics></math></div> <p>Hence in the case that <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>E</mi></mrow><annotation encoding="application/x-tex">E</annotation></semantics></math> is a <a class="existingWikiWord" href="/nlab/show/vector+bundle">vector bundle</a>, then under the identification of <a class="existingWikiWord" href="/nlab/show/linear+observables">linear observables</a> with <a class="existingWikiWord" href="/nlab/show/distributions">distributions</a> (<a href="geometry+of+physics+--+A+first+idea+of+quantum+field+theory#LinearObservablesAreTheCompactlySupportedDistributions">this prop.</a>), these field observable are the <a class="existingWikiWord" href="/nlab/show/Dirac+delta+distributions">Dirac delta distributions</a>.</p> <div> <p><strong><a class="existingWikiWord" href="/nlab/show/types">types</a> of <a class="existingWikiWord" href="/nlab/show/observables">observables</a> in <a class="existingWikiWord" href="/nlab/show/perturbative+quantum+field+theory">perturbative quantum field theory</a></strong>:</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" class="maruku-mathml" display="block" id="mathml_dc72fc1ac31759c80d4dd998a660470e72d5ea5d_1"><semantics><mrow><mrow><mtable><mtr><mtd></mtd> <mtd></mtd> <mtd><mtext>local</mtext></mtd></mtr> <mtr><mtd></mtd> <mtd></mtd> <mtd></mtd> <mtd><mo>↘</mo></mtd></mtr> <mtr><mtd><mtext>field</mtext></mtd> <mtd><mo>⟶</mo></mtd> <mtd><mtext>linear</mtext></mtd> <mtd><mo>⟶</mo></mtd> <mtd><mtext>microcausal</mtext></mtd> <mtd><mo>⟶</mo></mtd> <mtd><mtext>polynomial</mtext></mtd> <mtd><mo>⟶</mo></mtd> <mtd><mtext>general</mtext></mtd></mtr> <mtr><mtd></mtd> <mtd></mtd> <mtd></mtd> <mtd><mo>↗</mo></mtd></mtr> <mtr><mtd></mtd> <mtd></mtd> <mtd><mtext>regular</mtext></mtd></mtr></mtable></mrow></mrow><annotation encoding="application/x-tex"> \array{ && \text{local} \\ && & \searrow \\ \text{field} &\longrightarrow& \text{linear} &\longrightarrow& \text{microcausal} &\longrightarrow& \text{polynomial} &\longrightarrow& \text{general} \\ && & \nearrow \\ && \text{regular} } </annotation></semantics></math></div></div> <p>In general such <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mstyle mathvariant="bold"><mi>Φ</mi></mstyle> <mi>a</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\mathbf{\Phi}^a(x)</annotation></semantics></math> itself is far from being <a class="existingWikiWord" href="/nlab/show/on-shell">on-shell</a> <a class="existingWikiWord" href="/nlab/show/gauge+invariance">gauge invariant</a> and hence far from being an element in the <a class="existingWikiWord" href="/nlab/show/BV-BRST+cohomology">BV-BRST cohomology</a> of the theory. But since most observables that are may be expressed as algebraic combinations of these “point evaluation observables” they are of particular interest. Since they manifestly reflect the value of <a class="existingWikiWord" href="/nlab/show/field+histories">field histories</a>, it is common to terminologically conflate the field observables <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mstyle mathvariant="bold"><mi>Φ</mi></mstyle> <mi>a</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\mathbf{\Phi}^a(x)</annotation></semantics></math> with “the fields” of the field theory.</p> <h2 id="related_entries">Related entries</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/operator+product+expansion">operator product expansion</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/A+first+idea+of+quantum+field+theory">A first idea of quantum field theory</a>, <a href="geometry+of+physics+--+A+first+idea+of+quantum+field+theory#PointEvaluationObservables">this example</a></p> </li> </ul> <div> <p><strong><a class="existingWikiWord" href="/nlab/show/quantum+probability+theory">quantum probability theory</a> – <a class="existingWikiWord" href="/nlab/show/observables">observables</a> and <a class="existingWikiWord" href="/nlab/show/states">states</a></strong></p> <ul> <li> <p><strong><a class="existingWikiWord" href="/nlab/show/states">states</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/classical+state">classical state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+state">quantum state</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/space+of+states+%28in+geometric+quantization%29">space of states (in geometric quantization)</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/state+on+a+star-algebra">state on a star-algebra</a>, <a class="existingWikiWord" href="/nlab/show/quasi-state">quasi-state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/qbit">qbit</a>, <a class="existingWikiWord" href="/nlab/show/Bell+state">Bell state</a></p> <p><a class="existingWikiWord" href="/nlab/show/dimer">dimer</a>, <a class="existingWikiWord" href="/nlab/show/tensor+network+state">tensor network state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+state+preparation">quantum state preparation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/probability+amplitude">probability amplitude</a>, <a class="existingWikiWord" href="/nlab/show/quantum+fluctuation">quantum fluctuation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/pure+state">pure state</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/wave+function">wave function</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/bra-ket">bra-ket</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bell+state">Bell state</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+superposition">quantum superposition</a>, <a class="existingWikiWord" href="/nlab/show/quantum+interference">quantum interference</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+entanglement">quantum entanglement</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+measurement">quantum measurement</a></p> <p><a class="existingWikiWord" href="/nlab/show/wave+function+collapse">wave function collapse</a></p> <p><a class="existingWikiWord" href="/nlab/show/Born+rule">Born rule</a></p> <p><a class="existingWikiWord" href="/nlab/show/deferred+measurement+principle">deferred measurement principle</a></p> <p><a class="existingWikiWord" href="/nlab/show/quantum+reader+monad">quantum reader monad</a></p> <p><a class="existingWikiWord" href="/nlab/show/measurement+problem">measurement problem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/superselection+sector">superselection sector</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/mixed+state">mixed state</a>, <a class="existingWikiWord" href="/nlab/show/density+matrix">density matrix</a></p> <p><a class="existingWikiWord" href="/nlab/show/entanglement+entropy">entanglement entropy</a></p> <p><a class="existingWikiWord" href="/nlab/show/holographic+entanglement+entropy">holographic entanglement entropy</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/coherent+quantum+state">coherent quantum state</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/ground+state">ground state</a>, <a class="existingWikiWord" href="/nlab/show/excited+state">excited state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quasi-free+state">quasi-free state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Fock+space">Fock space</a>, <a class="existingWikiWord" href="/nlab/show/second+quantization">second quantization</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum">vacuum</a>, <a class="existingWikiWord" href="/nlab/show/vacuum+state">vacuum state</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Hadamard+state">Hadamard state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+diagram">vacuum diagram</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+expectation+value">vacuum expectation value</a>, <a class="existingWikiWord" href="/nlab/show/vacuum+amplitude">vacuum amplitude</a>, <a class="existingWikiWord" href="/nlab/show/vacuum+fluctuation">vacuum fluctuation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+energy">vacuum energy</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+polarization">vacuum polarization</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/interacting+vacuum">interacting vacuum</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/thermal+vacuum">thermal vacuum</a>, <a class="existingWikiWord" href="/nlab/show/KMS+state">KMS state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/vacuum+stability">vacuum stability</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/false+vacuum">false vacuum</a>, <a class="existingWikiWord" href="/nlab/show/tachyon">tachyon</a>, <a class="existingWikiWord" href="/nlab/show/Coleman-De+Luccia+instanton">Coleman-De Luccia instanton</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/theta+vacuum">theta vacuum</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/perturbative+string+theory+vacuum">perturbative string theory vacuum</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/non-geometric+string+theory+vacuum">non-geometric string theory vacuum</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/landscape+of+string+theory+vacua">landscape of string theory vacua</a></p> </li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/entangled+state">entangled state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/tensor+network+state">tensor network state</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/matrix+product+state">matrix product state</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/tree+tensor+network+state">tree tensor network state</a></p> </li> </ul> </li> </ul> </li> <li> <p><strong><a class="existingWikiWord" href="/nlab/show/observables">observables</a></strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+observable">quantum observable</a>, <a class="existingWikiWord" href="/nlab/show/beable">beable</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/algebra+of+observables">algebra of observables</a>, <a class="existingWikiWord" href="/nlab/show/star-algebra">star-algebra</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bohr+topos">Bohr topos</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+operator+%28in+geometric+quantization%29">quantum operator (in geometric quantization)</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/quantum+operation">quantum operation</a>, <a class="existingWikiWord" href="/nlab/show/quantum+effect">quantum effect</a>, <a class="existingWikiWord" href="/nlab/show/effect+algebra">effect algebra</a></p> </li> <li> <p>in <a class="existingWikiWord" href="/nlab/show/quantum+field+theory">quantum field theory</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/local+observable">local observable</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/polynomial+observable">polynomial observable</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/linear+observable">linear observable</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/field+observable">field observable</a></li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/regular+observable">regular observable</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/microcausal+observable">microcausal observable</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/normal-ordered+product">normal-ordered product</a>, <a class="existingWikiWord" href="/nlab/show/time-ordered+products">time-ordered products</a>, <a class="existingWikiWord" href="/nlab/show/retarded+product">retarded product</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wick+algebra">Wick algebra</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/scattering+amplitude">scattering amplitude</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/interacting+field+algebra+of+observables">interacting field algebra of observables</a>, <a class="existingWikiWord" href="/nlab/show/Bogoliubov%27s+formula">Bogoliubov's formula</a></p> </li> </ul> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/GNS+construction">GNS construction</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/theorems">theorems</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/order-theoretic+structure+in+quantum+mechanics">order-theoretic structure in quantum mechanics</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Gleason%27s+theorem">Gleason's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Alfsen-Shultz+theorem">Alfsen-Shultz theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Harding-D%C3%B6ring-Hamhalter+theorem">Harding-Döring-Hamhalter theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Kochen-Specker+theorem">Kochen-Specker theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Nuiten%27s+lemma">Nuiten's lemma</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Wigner%27s+theorem">Wigner's theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/no-cloning+theorem">no-cloning theorem</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Bell%27s+theorem">Bell's theorem</a></p> </li> </ul> </li> </ul> </div></body></html> </div> <div class="revisedby"> <p> Last revised on February 8, 2020 at 11:07:33. See the <a href="/nlab/history/field+observable" style="color: #005c19">history</a> of this page for a list of all contributions to it. </p> </div> <div class="navigation navfoot"> <a href="/nlab/edit/field+observable" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/8213/#Item_2">Discuss</a><span class="backintime"><a href="/nlab/revision/field+observable/3" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/diff/field+observable" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/field+observable" accesskey="S" class="navlink" id="history" rel="nofollow">History (3 revisions)</a> <a href="/nlab/show/field+observable/cite" style="color: black">Cite</a> <a href="/nlab/print/field+observable" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/field+observable" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>