½üÈÕ£¬ÎåλѧÕß·¢±íÁËһƪ 165 Ò³ÂÛÎÄÒý·¢Ñ§½çºä¶¯£¬ËûÃÇÓô¿ÊýѧºÍËã·¨ÁªÏµµÄÖ¤Ã÷£¬½«À§ÈÅ°®Òò˹̹ºÍѧ½ç¶àÄêµÄ¡°Á¿×Ó¾À²ø¡±ÍÆÏòȫеĸ߶ȡ£ËûÃǵÄÂÛÖ¤±íÃ÷£¬Õâ¸öÎÊÌâµÄ´ð°¸ÔÚÔÔòÉÏÊDz»¿ÉÖªµÄ¡£×¨¼Ò¸Ð̾£ºÎÒ´ÓûÏë¹ýÎÒ»áÔÚÓÐÉúÖ®Äê¿´µ½Õâ¸öÎÊÌâ±»½â¾ö¡£
È¥Ä꣬¿Æѧ¼ÒÊ×´ÎÅĵ½¡°Á¿×Ó¾À²ø¡±µÄÕÕƬÒý±¬»¥ÁªÍø£¬°®Òò˹̹²»Ô¸³ÐÈϵġ°ÓÄÁ顱ÖÕÓÚÓÐÁËÌúÖ¤¡£
Á¿×Ó¾À²ø
ÏÖÔÚ£¬´¿ÊýѧºÍËã·¨ÁªÏµµÄÖ¤Ã÷½«¡°Á¿×Ó¹Öµ®ÐÔ¡±£¨quantum weirdness£©ÍÆÏòȫеĸ߶ȡ£
°®Òò˹̹ÓоäÃûÑÔ£ºÁ¿×ÓÁ¦Ñ§Ó¦¸ÃÔÊÐíÁ½¸öÎïÌåÔÚÒ£Ô¶µÄ¾àÀëÉÏ˲¼äÓ°Ïì±Ë´ËµÄÐÐΪ£¬Ëû³Æ֮Ϊ¡°ÓÄÁé°ãµÄ³¬¾à×÷Óá±£¨spooky action at a distance£©¡£
ËûÈ¥ÊÀµÄ¼¸Ê®Äêºó£¬ÊµÑé֤ʵÁËÕâÒ»µã£¬µ«ÊÇÖ±µ½½ñÌ죬ÈËÃÇÈÔ²»Çå³þ´ó×ÔÈ»¾¿¾¹ÔÊÐíÔ¶¾àÀëÎïÌåÖ®¼äÓжà´ó³Ì¶ÈµÄе÷£¨coordination£©¡£
½üÈÕ£¬ÓÐÎåλÑо¿ÈËԱ˵£¬ËûÃÇÒѾ½â¾öÁËÒ»¸öÀíÂÛÉϵÄÎÊÌ⣬±íÃ÷Õâ¸öÎÊÌâµÄ´ð°¸ÔÚÔÔòÉÏÊDz»¿ÉÖªµÄ¡£
Õâƪ 165 Ò³ÂÛÎÄÌâΪ¡°MIP*=RE¡±
Ñо¿Ð¡×éµÄ165 Ò³ÂÛÎÄ·¢±íÔÚ arXiv ÉÏ£¬µ«ÉÐδ¾¹ýͬÐÐÆÀÉó¡£Èç¹ûÖ¤Ã÷³ÉÁ¢µÄ»°£¬Ëü¿ÉÒÔÒ»¾Ù½â¾ö´¿Êýѧ¡¢Á¿×ÓÁ¦Ñ§ÒÔ¼°¼ÆËã»ú¿Æѧ·ÖÖ§Ò»¸ö±»³ÆΪ¡°¸´ÔÓÐÔÀíÂÛ¡±£¨complexity theory£©µÄÐí¶àÏà¹ØÎÊÌâ¡£
ÌرðÊÇ£¬Ëü»Ø´ðÁËÒ»¸ö 40 ¶àÄêÀ´Ò»Ö±Ã»Óнâ¾öµÄÊýѧÎÊÌâ¡£
Ò»¡¢Ñо¿½á¹û´Ó·ë¡¤ÅµÒÀÂü´úÊýÀíÂ۽Ƕȣ¬·´²µÁË Connes µÄǶÈë²ÂÏëÀíÂÛ
ÕâƪÂÛÎÄÖ¤Ã÷£¬ÓɾµäÑéÖ¤Óë¶à¸öÁ¿×ÓÀíÂÛÑéÖ¤Ï໥×÷ÓöøÈ·¶¨µÄÓïÑÔÀà±ð MIP£¬Ï൱Óڵݹé¿Éö¾ÙÓïÑÔµÄÀà±ð RE¡£
Ñо¿ÈËÔ±Ö¤Ã÷½¨Á¢ÔÚµÄÁ¿×ӵͶȲâÊԵĻù´¡ÉÏ£¬ÕûºÏÁË×î½üµÄгɹû£¬²¢ÓëµÝ¹éѹËõ¿ò¼ÜÏà½áºÏ¡£Ñо¿½á¹ûµÄÖ±½Ó×÷ÓÃÊÇ£¬½« Halting ÎÊÌâÓÐЧµØ¼ò»¯ÎªÁ½È˷DZ¾µØÁ¿×Ó¾À²øֵΪ 1 »òÖÁ¶àΪ1¡¢2 µÄÎÊÌâ¡£
Á¿×Ó¾À²øÖµµÄ²»È·¶¨ÐÔÒâζ×Å¶Ô Tsirelson ÎÊÌâ×ö³öÁË·ñ¶¨»Ø´ð£ºÑо¿ÈËÔ±¾ÙÀýÖ¤Ã÷ÁËÁ¿×ÓÕÅÁ¿»ýÏà¹Ø¼¯µÄ±Õ°ü Cqa Ñϸñ°üº¬ÓÚÁ¿×Ó½»»»Ïà¹Ø¼¯ Cqc¡£Ñо¿½á¹û´Ó·ë¡¤ÅµÒÀÂü´úÊýÀíÂ۽Ƕȣ¬·´²µÁË Connes µÄǶÈë²ÂÏëÀíÂÛ¡£
ÂÛÎÄÕªÒª
»»ÑÔÖ®£¬ÕâÏîÑо¿µÄº¬ÒåÈçÏ£º
£¨1£©ÓÐÒ»¸öÐÒ飬Á½¸ö¾À²øµÄÖ¤Ã÷Õß¿ÉÒÔ˵·þ¶àÏîʽʱ¼ä¼ìÑéÕß½â¾öÈκοɼÆËãÎÊÌâµÄ´ð°¸£¨!!£©£¬»òÕ߸ø¶¨µÄͼÁé»úÕæµÄÍ£Ö¹ÔËÐÐÁË¡£
£¨2£©ÔÚÒ»¸öÀàËÆÓÚ Bell / CHSH ²©ÞĵÄÁ½ÈËÖ¤Ã÷²©ÞÄÖУ¬¶ÔÓÚAºÍB¶øÑÔ£¬ÔÚÊýÁ¿ÎÞÏ޵ľÀ²øÖУ¬ËüÃǵıíÏÖÒª±ÈÔÚÈκÎÊýÁ¿ÓÐÏ޵ľÀ²øÖÐÃ÷ÏÔ¸üºÃ¡£
£¨3£©Ã»ÓÐËã·¨¿ÉÒÔ¹ÀËã³öÁ½ÈËÖ¤Ã÷²©ÞĵľÀ²øÖµ£¨Ò²¾ÍÊÇ˵£¬ÔÚAºÍBʹÓþ¡¿ÉÄÜ×î¼ÑµÄ²ßÂÔ²¢¾¡¿ÉÄܶàµØ¾À²øµÄÇé¿öÏ£¬²»¿ÉÄܹÀ¼Æ³öAºÍBÓ®µÃ²©ÞĵĿÉÄÜÐÔ£©¡£¶øÊÇ£¬´ËÎÊÌâµÈЧÓÚ Halting ÎÊÌâ¡£
£¨4£©AºÍBÖ®¼ä´æÔÚ×ÅijÖÖÀàÐ͵ÄÏà¹ØÐÔ£¬ÕâЩÏà¹ØÐÔ¿ÉÒÔʹÓÃÎÞÏ޵ľÀ²øÀ´²úÉú£¬µ«²»ÄÜͨ¹ýÈκÎÓÐÏ޵ľÀ²øÀ´½üËÆ¡£
£¨5£©Connes µÄǶÈë²ÂÏëÊÇ´íÎóµÄ£¬¸Ã²ÂÏëÔ´ÓÚÉÏÊÀ¼Í 70 Äê´úµÄËã×Ó´úÊýÀíÂÛµÄÖÐÐIJÂÏë¡£
¶þ¡¢×¨¼ÒÈÈÒ飺ÎÒ´ÓûÏë¹ýÎÒ»áÔÚÓÐÉúÖ®Äê¿´µ½Õâ¸öÎÊÌâ±»½â¾ö
Èç¹ûËûÃǵÄÖ¤Ã÷³ÉÁ¢£¬¡°Õ⽫ÊÇÒ»¸ö³¬¼¶ÃÀÀöµÄ½áÂÛ¡±£¬ºÉÀ¼´ú¶û·òÌØÀí¹¤´óѧÀíÂÛÁ¿×ÓÎïÀíѧ¼Ò Stephanie Wehner ˵¡£
±¾ÎĵĺËÐÄÊǸ´ÔÓÐÔÀíÂÛÖеÄÒ»¸ö¶¨ÀíµÄÖ¤Ã÷£¬ËüÉæ¼°µ½Ëã·¨µÄЧÂÊ¡£ÔçÆÚµÄÑо¿±íÃ÷£¬Õâ¸öÎÊÌâÔÚÊýѧÉϵÈͬÓÚ¡°ÓÄÁé°ãµÄ³¬¾à×÷Óá±ÎÊÌ⣬Ҳ±»³ÆΪ¡°Á¿×Ó¾À²ø¡±¡£
Õâ¸ö¶¨ÀíÉæ¼°Ò»¸ö²©ÞÄÂÛÎÊÌ⣬һ¸öÓÉÁ½¸öÍæ¼Ò×é³ÉµÄÍŶӼ´Ê¹²»±»ÔÊÐí»¥Ï̸ཻ£¬Ò²Äܹ»Í¨¹ýÁ¿×Ó¾À²øÀ´Ðµ÷ËûÃǵÄÐÐΪ¡£ÓëûÓÐÁ¿×Ó¾À²øµÄÇé¿öÏà±È£¬ÕâʹÁ½¸öÍæ¼Ò¶¼ÄÜ¡°Ó®µÃ¡±¸ü¶àµÄÇ®¡£
×÷ÕßÃÇÖ¸³ö£¬µ«ÕâÁ½¸ö²ÎÓëÕß±¾ÖÊÉϲ»¿ÉÄܼÆËã³öÒ»¸ö×î¼Ñ²ßÂÔ¡£ÕâÒâζ×Ų»¿ÉÄܼÆËã³öËûÃÇÀíÂÛÉÏÄÜ´ïµ½¶àÉÙе÷¡£
ÂÛÎĺÏÖøÕß Thomas Vidick
¼ÓÖÝÀí¹¤Ñ§ÔºµÄºÏÖøÕß Thomas Vidick ˵£º¡°Ã»ÓÐÒ»ÖÖËã·¨ÄܸæËßÄãÁ¿×ÓÁ¦Ñ§ÖÐ×î´óÎ¥±³£¨maximal violation£©ÊÇʲô¡£¡±
Â׶شóѧѧԺµÄÁ¿×ÓÐÅÏ¢ÀíÂÛ¼Ò Toby Cubitt ˵£º¡°ÁîÈ˾ªÑȵÄÊÇ£¬Á¿×Ó¸´ÔÓÐÔÀíÂÛÒ»Ö±ÊÇÖ¤Ã÷µÄ¹Ø¼ü¡£¡±
Ç°Á½Ìì¸ÃÂÛÎÄ·¢±íºó£¬¹ØÓÚÕâƪÂÛÎĵÄÐÂÎÅѸËÙÔÚÉ罻ýÌåÉÏ´«²¥£¬Òý·¢Á˲»Ð¡µÄºä¶¯¡£
Joseph Fitzsimons ÍÆÎÄ
¡°ÎÒ±¾ÒÔΪÕâÊÇÒ»¸ö¸´ÔÓµÄÀíÂÛÎÊÌ⣬¿ÉÄÜÐèÒª 100 ÄêµÄʱ¼äÀ´»Ø´ð¡£¹§Ï²ËùÓвÎÓëÕâÏîÑо¿µÄѧÕß¡£¡±?мÓƳõ´´¹«Ë¾ Horizon Quantum Computing Ê×ϯִÐй٠Joseph Fitzsimons ·¢ÍÆÎÄ˵¡£
Mateus Ara¨²jo ÆÀÂÛ
¡°ÎÒÀÕ¸öÈ¥£¡¡±ÁíһλÎïÀíѧ¼Ò¡¢°ÂµØÀû¿ÆѧԺ£¨Î¬Ò²ÄÉ£©µÄ Mateus Ara¨²jo ˵µÀ£º?¡°ÎÒ´ÓûÏë¹ýÎÒ»áÔÚÓÐÉúÖ®Äê¿´µ½Õâ¸öÎÊÌâ±»½â¾ö¡£¡±
Èý¡¢ÂÛÎĽáÂÛ£ºÔÔòÉÏ£¬Á¿×Óϵͳ²»ÄÜÓá°ÓÐÏ޵ġ±À´½üËÆ
ÔÚ´¿Êýѧ·½Ã棬ÔÚ·¨¹úÊýѧ¼ÒºÍ·Æ¶û×Ƚ±µÃÖ÷ Alain Connes Ö®ºó£¬Õâ¸öÎÊÌâ±»³ÆΪ Connes ǶÈëÎÊÌ⣨Connes embedding problem£©¡£ÕâÊÇËã×ÓÀíÂÛ£¨theory of operators£©ÖеÄÒ»¸öÎÊÌ⣬ËüÊÇÓÉ 20 ÊÀ¼Í 30 Äê´úΪÁ¿×ÓÁ¦Ñ§Ìṩ»ù´¡µÄŬÁ¦²úÉúµÄÒ»¸ö·ÖÖ§¡£
ÔËËã·ûÊÇ¿ÉÒÔ¾ßÓÐÓÐÏÞÊý»òÎÞÏÞÊýÐкÍÁеÄÊýµÄ¾ØÕó¡£ËüÃÇÔÚÁ¿×ÓÀíÂÛÖÐÆð×ÅÖÁ¹ØÖØÒªµÄ×÷Óã¬Ã¿Ò»¸öÔËËã·û±àÂëÒ»¸öÎïÀíÎïÌåµÄ¿É¹Û²âÊôÐÔ¡£
ÔÚ 1976 ÄêµÄÂÛÎÄ¡°Classification of Injective Factors Cases II1, II¡Þ, III¦Ë, ¦Ë ¡Ù 1¡±ÖУ¬Ê¹ÓÃÔËËã·ûµÄÓïÑÔ£¬Connes Ìá³öÒ»¸öÎÊÌ⣺¾ßÓÐÎÞÇî¶à¸ö¿É²âÁ¿±äÁ¿µÄÁ¿×ÓϵͳÊÇ·ñ¿ÉÒÔÓþßÓÐÓÐÏÞÊýµÄ¼òµ¥ÏµÍ³À´½üËÆ¡£
µ«ÊÇÕâƪÂÛÎıíÃ÷£¬´ð°¸ÊÇ·ñ¶¨µÄ£ºÔÔòÉÏ£¬Á¿×Óϵͳ²»ÄÜÓá°ÓÐÏ޵ġ±À´½üËÆ¡£
ÎïÀíѧ¼Ò Boris Tsirelson ÖØж¨ÒåÁËÕâ¸öÎÊÌ⣬¸ù¾ÝËûµÄÑо¿£¬ÕâÒ²Òâζ×Å£¬²»¿ÉÄܼÆËã³öÁ½¸öÕâÑùµÄϵͳÔÚ¾À²øʱ¿ÉÒÔÔÚ¿Õ¼äÉÏÏÔʾµÄ¹ØÁªÁ¿£¨correlation£©¡£
ËÄ¡¢Ñо¿½á¹û¿ÉÄÜûÓм¼ÊõÒâÒ壬ÒòΪËùÓÐÓ¦Óö¼Ê¹Óá°ÓÐÏÞ¡±µÄÁ¿×Óϵͳ
Õâ¸öÖ¤Ã÷ÁîÐí¶àÉç»áÈËÊ¿¸Ðµ½¾ªÑÈ¡£¡°ÎÒÈ·ÐÅ Tsirelson µÄÎÊÌâµÃµ½Á˴𰸣¬¡±Ara¨²jo ÔÚÆÀÂÛÖв¹³ä˵£¬ÕâÒ»½á¹û¶¯Ò¡ÁËËûµÄ»ù±¾ÐÅÄ¼´¡°ÔÚijÖÖÄ£ºýµÄÒâÒåÉÏ£¬×ÔÈ»ÔÚ±¾ÖÊÉÏÊÇÓÐÏÞ£¨finite£©µÄ¡£¡±
µ«ÊÇ£¬Ñо¿ÈËÔ±²Å¸Õ¸Õ¿ªÊ¼Á˽â½á¹ûµÄº¬Òå¡£Á¿×Ó¾À²øÊÇÁ¿×Ó¼ÆËãºÍÁ¿×ÓͨÐÅÕâЩÐÂÐËÁìÓòµÄºËÐÄ£¬¿ÉÓÃÓÚÖÆÔ쳬¼¶°²È«µÄÍøÂç¡£
ÌرðÊÇ£¬Í¨¹ý²âÁ¿Í¨ÐÅϵͳÖоÀ²ø¶ÔÏóÖ®¼äµÄ¹ØÁªÁ¿¿ÉÒÔÖ¤Ã÷ËüÊÇ°²È«µÄ£¬²»»á±»ÇÔÌý¡£
Wehner ˵£¬µ«Êǽá¹û¿ÉÄÜûÓм¼ÊõÒâÒ壬ÒòΪËùÓÐÓ¦Óö¼Ê¹Óá°ÓÐÏÞ¡±µÄÁ¿×Óϵͳ¡£Ëý˵£¬Êµ¼ÊÉÏ£¬ÉõÖÁºÜÄÑÉèÏëÒ»¸öÄÜÔÚ±¾ÖÊÉÏ¡°ÎÞÏÞ¡±µÄϵͳÉϲâÊÔ¡°Á¿×Ó¹Öµ®ÐÔ¡±µÄʵÑé¡£
¸´ÔÓÐÔÀíÂÛ¡¢Á¿×ÓÐÅÏ¢ºÍÊýѧµÄÈÚºÏÒâζןÜÉÙÓÐÑо¿Õß˵Äܹ»ÕÆÎÕÕâƪÂÛÎĵķ½·½ÃæÃæ¡£Connes ±íʾ£¬ËûûÓÐ×ʸñ·¢±íÆÀÂÛ¡£µ«ÊÇËû²¹³ä˵£¬Ëû¶ÔÕâ¼þÊÂÓжà´óµÄÓ°Ïì¸Ðµ½¾ªÑÈ¡£¡°ÎÊÌâÄÜÉîÈëµ½Õâ¸öµØ²½£¬¶øÎÒ´ÓδԤ¼ûµ½ÕâÒ»µã£¬Ì«²»¿É˼ÒéÁË£¡¡±
Îå¡¢Ç廪²©Ê¿Ò»×÷£¬Ñо¿ÍŶӽéÉÜ
ÕâƪÂÛÎÄÊÇÓÉϤÄá¿Æ¼¼´óѧ¡¢¼ÓÖÝÀí¹¤Ñ§Ôº¡¢µÂ¿ËÈø˹´óѧ°Â˹͡·ÖУºÍ¶àÂ׶à´óѧµÄÎåλÑо¿ÕߺÏдµÄ¡£ÂÛÎÄÒ»×÷ÊÇϤÄá¿Æ¼¼´óѧÁ¿×ÓÈí¼þÓëÐÅÏ¢ÖÐÐļ¾ï£·æ½ÌÊÚ¡£
¼¾ï£·æ
¼¾ï£·æ£¨Zhengfeng Ji£©£¬Ï¤Äá¿Æ¼¼´óѧ¹¤³ÌÓëÐÅÏ¢¼¼ÊõѧԺÁ¿×ÓÈí¼þÓëÐÅÏ¢ÖÐÐĽÌÊÚ¡£Ëû¶àÄêÖÂÁ¦ÓÚÁ¿×Ó¼ÆËã»ú¿ÆѧµÄÑо¿£¬Ö÷ÒªÑо¿ÐËȤ°üÀ¨Á¿×ÓËã·¨¡¢Á¿×Ó¸´ÔÓÐÔÀíÂÛ¡¢Á¿×ÓÃÜÂëѧµÈ¡£
ËûÓÚ 2002 ºÍ 2007 ÔÚÇ廪´óѧ¼ÆËã»ú¿ÆѧÓë¼¼Êõϵ»ñµÃѧʿºÍ²©Ê¿Ñ§Î»£¬Ê¦´ÓÓ¦Ã÷Éú½ÌÊÚ¡£±ÏÒµºó£¬Ëû³ÉΪÖйú¿ÆѧԺÈí¼þÑо¿ËùµÄÖúÀíÑо¿Ô±¡£ºóÀ´ËûÒƾӰ²´óÂÔÊ¡»¬Ìú¬£¬²¢ÓÚ 2008 ÄêÔÚÖܱßÀíÂÛÎïÀíÑо¿ËùºÍ 2011 ÄêÔÚ»¬Ìú¬´óѧÁ¿×Ó¼ÆËãÑо¿Ëùµ£Èβ©Ê¿ºóÑо¿Ô±¡£
Henry Yuen
ÂÛÎÄͨѶ×÷Õß Henry Yuen ÊǶàÂ׶à´óѧ¼ÆËã»ú¿ÆѧÓëÊýѧ£¨ÁªºÏÈÎÃü£©µÄÖúÀí½ÌÊÚ¡£ËûÊÇ CS ÀíÂÛС×éºÍÁ¿×ÓÐÅÏ¢ÓëÁ¿×Ó¿ØÖÆÖÐÐĵijÉÔ±¡£Ëû»¹ÊÇ»¬Ìú¬´óѧÁ¿×Ó¼ÆËãÑо¿ËùµÄ»áÔ±¡£ËûµÄÑо¿ÖصãÊÇÁ¿×Ó¼ÆËã¡¢¸´ÔÓÐÔÀíÂÛ¡¢ÃÜÂëѧºÍÐÅÏ¢ÂÛÖ®¼äµÄÏ໥×÷Óá£
ÁìȡרÊô 10ÔªÎÞÃż÷ȯ
˽Ïí×îР¼¼Êõ¸É»õ