Subject: Physics, Mathematics Index for Deep Beauty/Hal orson Prepared for !

xford "# Press/editor, Pe$$y %ote Style: &hica$o Manual, indented

A
Alexandrov topology, 272, 275, 277, 288n1, 301 algebraic quantum field theory A!"#$ %ell inequalitie& and, 32' C()algebra& and* See C()algebra& cau&ality and, 335, 350, 355, 35+ entanglement and, 32', 35+ heuri&tic theory and, 318 independence in, 1'3, 35' locality and, 3'3,3-1 ob&ervable& and, 13',135, 31+, 350 operationali&m and, '3+ relativity theory and, 3'3, 350, 35' &eparability and, 3'', 357, 35+ &pacetime and, 350, 35' vacuum &tate and, 32', 327 von .eumann algebra& and, 318,31+ See also specific topics antonymou& function&, 227,235, 2-0)2-1 anyon&, -2 A!"#* See algebraic quantum field theory A&hte/ar, A*, 80 a&&ociahedra, 31, 33, +-, 105 a&&ociativity, 31, 75 Atiyah, 0*, 25, -7

%
%ae1, 2* 3*, ', '8 %ae1,4olan theory, 108,11'* See n)category theory %ar).atan model, 117 %arrett, 2* 5*, +1, 171 %atanin model, 111 %aye&6& rule, '1-, '30, '3', '35 %ell, 2*, 8 A!"# and, 32' entanglement and, 32', 35+, 38hidden variable& and, 3+3, 3+', '05 noncontextuality con&traint, 3++ nonlocality and, 7, 325, 3++ ob&ervable& and, 325, 38-

7ope&cu,8ohrlich correlation& and, '13 probabili&tic theory and, 3-reali&m and, 38vacuum and, 7, 325, 32von .eumann proof and, 3+3 bialgebra&, 77,7+ bicategorie&, 15, 33,35, 55 braiding and, 8', ++, 107 categorification and, ++, 102, 103 example& of, 3' 9opf categorie& and, 102, 103 linear natural tran&formation&, 8' 0ac:ane coherence theorem and, 107,108 monoidal categorie& and, 50, 82, +8, ++, 102, 107 morphi&m& in, 3' repre&entation theory and, ++, 103 &pin foam& and, 81 &ylleptic, 110 #!"#& and, +7, ++, 102 %ir/hoff, ;*, 5 %ir/hoff,von .eumann logic, 130, 132, 208, 211, 220 %loch repre&entation, 372 %ohm, 4*, 13' %roglie,%ohm theory, 385 configuration variable& and, 201 <78 and, ''3* See <78 experiment hidden variable& and, '0','05, '51* See also hidden variable theory %ohrification, 271,313 C()algebra& and, 28-,2+2, 2+1 ;elfand &pectra and, 2+1, 2+7 probability and, 301 quantum logic and, 2+8 8ic/art algebra and, 2+7, 305 &tate &pace and, 2+1 %oolean algebra& cla&&ical theory and, 1+3)1+', 210 excluded middle and, 1+3)1+', 210 9a&&e diagram& and, 301 9eyting algebra and, 1+-, 1+7, 273, 2++ independence and, 1'8 lattice theory and, 1+3)1+', 2-3, 273, 2++ partial, 2+8 probability valuation and, 305 =a&a/i hoo/& and, 300 &heaf& and, 2++ &pectral familie& and, 2-7 =tone &pectrum and, 2+' %orel function&, 210, 212 %orn, 0*, 20 %o&e field, 328 bo&on&, '1, 73, 150 braiding, 32, 52, 5' bicategorie& and, 8', ++, 107 dual& and, 100 <c/mann,9ilton argument, 10+

free, 52 hexagon identitie& and, 32 interchange la>, +7 2oyal,=treet theorem and, -3,-' /not theory and, 51* See /not theory monoidal categorie& and, 2+, -', 85, +7,++, 10+, 112 n)categorie& and, 10+ natural i&omorphi&m& and, 53 &tring diagram& and, 2+,32, 38, 58, +0,+3 &ymmetry and, 2+, 32, 5' tangle& and, 58, 112 ten&or product& and, 2+ #!"# and, -7, 85 >ea/ening and, 53 ?ang,%axter equation and, -' %roglie,%ohm theory, 385 %rou>er, :* <* 2*, 1 %ru/ner, 3*, 8 %run&,:a/&er completion, 300, 301 %ru&&el& &chool, 5 %ub, 2, + %utterfield,@&ham theory, 5,-* See topo& theory

3
C()algebra&, 21', 33' annihilator&, 2+3, 2+' A!"# and, 13', 135, 1'0, 1'1, 273* See also algebraic quantum field theory axiom& for, 135 %ohrification and, 28-,2+2* See also %ohrification category theory and, 282,283 commutativity and, 287, 288, 2+0 conditional expectation and, 350 definition& for, 281,283, 2+3 diagonal matrice& and, 288 duality and, 283 f)algebra& and, 28', 285 faithful &tate& and, 302 ;elfand &pectrum and, 21', 271, 283, 2+1, 30-* See also ;elfand &pectra 9au&dorff &pace& and, 271 independence and, 351,353 infinite, 2+0 information theory and, 135 i&otony and, 350 lattice theory and, 2-7, 285,28-* See also lattice theory locale& and, 281, 2+0 monoidal categorie& and, 135, 135n11 net& and, 333, 350 norm and, 282 ob&ervable& and, 135, 1'0, 308 probability mea&ure and, 30',305 quantum logic and, 273 qua&i&tate& and, 302 ran/ 1ero, 2+' 8ic/art algebra&, 273, 2+2, 2+' &imple, 2+0

&pectral, 2+3 &tate &pace& and, 302 &ubalgebra& of, 287, 3'8 topo& theory and, 272, 281 von .eumann algebra& and, 25', 2+2, 2+', 31+, 31+n2, 357* See von .eumann algebra& categorical quantum mechanic& 3!0$ program, 12+ categorie&, category of, 155n2category error&, 1+0 category theory, 3, 13,128, 23* See n)category theoryA specific topics 3auchy &equence&, 2+0 cau&ality, 8, 1'8, 151,152, 32', 3'-, ''cau&aloid theory, '3cla&&ical theory and, 1-5, 1+1* See also cla&&ical theory 3ommon 3au&e 7rinciple, 35+ determini&m and* See determini&m <in&tein cau&ality, 321, 335, 337, 3'3, 350, 355,35entanglement and* See entanglement evolution& and, 150 graph &tructure and, 1'1 independence and, 1'3 indeterminacy and, 8, 15-, '11 information and, 3--, '13, '1+ lattice& and, 258, 2-8 locality and, 321, 350* See also locality microcau&ality, 350 noni&olation and, 1-5 probability and, '3-,'37* See probability theory proce&& and, 1'1, 1''* See also proce&&e& relativi&tic, 1'7, ''&pacetime and, ''-* See also &pacetime vacuum and, 32' variable &tructure, 8, 15See also specific topics