Hacker News

Connes Embedding ගැටලුව

Connes Embedding ගැටලුව මෙම ගවේෂණය එහි වැදගත්කම සහ විභව බලපෑම විමර්ශනය කරමින් කොන්ස් තුළට පිවිසෙයි. මූලික සංකල්ප ආවරණය කර ඇත මෙම අන්තර්ගතය ගවේෂණය කරයි: මූලික මූලධර්ම සහ න්යායන් ප්‍රායෝගික ඇඟවුම් සහ...

1 min read Via en.wikipedia.org

Mewayz Team

Editorial Team

Hacker News

Connes Embedding Problem යනු ක්‍රියාකරු වීජ ගණිතය, ක්වොන්ටම් තොරතුරු න්‍යාය සහ ගණනය කිරීමේ සංකීර්ණත්වයේ ඡේදනය වන නවීන ගණිතයේ වඩාත් ගැඹුරු ප්‍රශ්නවලින් එකකි. 1976 දී ප්‍රංශ ගණිතඥ ඇලයින් කොනස් විසින් යෝජනා කරන ලද සහ 2020 දී නිශ්චිතවම විසඳන ලද, එහි පිළිතුර ගණිතඥයින් සහ භෞතික විද්‍යාඥයින් ක්වොන්ටම් සහසම්බන්ධතා, අනන්ත-මාන අවකාශයන් සහ ගණිතමය තර්කනයේ ම සැකැස්ම තේරුම් ගන්නා ආකාරය නැවත හැඩගස්වා ඇත.

කොන්ස් කාවැද්දීමේ ගැටලුව හරියටම කුමක්ද?

එහි හරය තුළ, Connes Embedding Problem විසින් රැවටිලිකාර සරල ප්‍රශ්නයක් අසන ලදී: සෑම පරිමිත von Neumann වීජ ගණිතය tracial තත්වයක් සහිත අධිපරිමාණ II₁ සාධකයේ අති බලයක් තුළට ඇතුළත් කළ හැකිද? සරලව කිවහොත්, එය "හොඳින් හැසිරෙන" අනන්ත-මාන ක්වොන්ටම් පද්ධති පරිමිත, ප්‍රත්‍යක්ෂ ගණිතමය ව්‍යුහයන් මගින් ආසන්න කළ හැකිද යන්න සොයා බැලීය.

Alain Connes මුලින් අනුමාන කළේ 1976 දී පිළිතුර ඔව් - මෙම කාවැද්දීම සැමවිටම කළ හැකි බවයි. දශක හතරකට වැඩි කාලයක් පුරාවට, ලෝකයේ අති දක්ෂ ගණිතඥයන් කිහිප දෙනෙකුගේ උත්සාහයට එරෙහිව ප්‍රශ්නය විවෘතව පැවතුනි. එහි විභේදනය පැමිණෙන්නේ පිරිසිදු ක්‍රියාකරු වීජ ගණිත න්‍යායෙන් නොව, සම්පූර්ණයෙන්ම අනපේක්ෂිත දිශාවකින්: ක්වොන්ටම් අන්තර්ක්‍රියාකාරී සාධනවල ගණනය කිරීමේ සංකීර්ණතාවයි.

"කොන්ස් කාවැද්දීමේ ගැටලුව නිෂ්ප්‍රභා කිරීම හුදෙක් ගණිතමය කුතුහලයක් නොවේ - එය ක්වොන්ටම් පද්ධතිවලට කළ හැකි දේ සහ සම්භාව්‍ය ආසන්න කිරීම් ග්‍රහණය කර ගත හැකි දේ අතර මූලික පරතරයක් හෙළි කරයි, ගුප්ත ලේඛන විද්‍යාවේ සිට භෞතික විද්‍යාවේ පදනම් දක්වා විහිදේ."

Quantum Computing අවසානයේ අවුරුදු 44ක් පැරණි ගණිත ගැටලුවක් විසඳුවේ කෙසේද?

2020 දී, පර්යේෂකයන් වන Ji, Natarajan, Vidick, Wright, සහ Yuen විසින් MIP* = RE බව තහවුරු කරමින් සන්ධිස්ථානයක් ප්‍රකාශයට පත් කරන ලදී, MIP* යනු පැටලී ඇති ක්වොන්ටම් ප්‍රොවර් දෙකක් සමඟ අන්තර්ක්‍රියා කරන සම්භාව්‍ය සත්‍යාපකයක් මඟින් විසඳිය හැකි ගැටළු පන්තිය වන අතර RE යනු පුනරාවර්තන භාෂා පන්තියයි. මෙම ප්‍රතිඵලය කම්පනයට පත් විය: ක්වොන්ටම් පැටලීම මගින් අන්තර්ක්‍රියාකාරී සාධන පද්ධති සඳහා අසාමාන්‍ය - අත්‍යවශ්‍යයෙන්ම අසීමිත - තල්ලුවක් ලබා දෙන බව පෙන්නුම් කළේය.

කොන්ස් වෙත සම්බන්ධතාවය? Connes Embedding Problem MIP* = MIP (සම්භාව්‍ය බහු ප්‍රොවර් අන්තර්ක්‍රියාකාරී සාධන පන්තිය) ප්‍රකාශයට සමාන බව කණ්ඩායම ඔප්පු කළේය. MIP* MIP ට වඩා විශාල වූ බැවින් - ඇත්ත වශයෙන්ම, RE ට සමාන - Connes Embedding අනුමානය අසත්‍ය විය. සෑම පරිමිත වොන් නියුමන් වීජ ගණිතයක්ම අධිපරිමාණ II₁ සාධකයේ අල්ට්‍රාපවර් එකකට ඇතුළත් නොවේ.

ගැටළුව පිටුපස ඇති මූලික මූලධර්ම මොනවාද?

කොන්ස් කාවැද්දීමේ ගැටලුව අවබෝධ කර ගැනීම සඳහා ප්‍රධාන ගණිතමය ව්‍යුහ කිහිපයක් පිළිබඳ හුරුපුරුදුකම අවශ්‍ය වේ:

  • Von Neumann Algebras: න්‍යාස වීජ ගණිතය අනන්ත මානයන් දක්වා සාමාන්‍යකරණය කරමින් දුර්වල ක්‍රියාකරු ස්ථලකය යටතේ වසා ඇති හිල්බට් අවකාශයක සීමා වූ ක්‍රියාකරුවන්ගේ වීජ ගණිතය.
  • Hyperfinite II₁ සාධකය: පරිමිත න්‍යාස වීජ ගණිතයේ "සීමාව" වන අද්විතීය, කැනොනිකල් වොන් නියුමන් වීජ ගණිතය — වඩාත්ම ස්වභාවික අනන්ත-මාන ක්වොන්ටම් පද්ධතිය.
  • tracial States: ප්‍රක්ෂේපණ සඳහා "ප්‍රමාණය" හෝ "මානය" යන සංකල්පය සපයන, සාමාන්‍යකරණය කළ අංශු මෙන් හැසිරෙන von Neumann වීජ ගණිතයේ රේඛීය ක්‍රියාකාරීත්වය.
  • අල්ට්‍රාපවර්ස්: නිශ්චිත, සම්මත නොවන ආකාරයෙන් වීජ ගණිතයේ අනුපිළිවෙලවල්වල සීමාවන් ගනිමින් නව ගණිතමය ව්‍යුහයන් නිපදවන ආදර්ශ-න්‍යායාත්මක ඉදිකිරීමක්.
  • ක්වොන්ටම් සහසම්බන්ධතා: ක්වොන්ටම් තොරතුරු න්‍යායට කේන්ද්‍රීය වන පැටලී ඇති ක්වොන්ටම් තත්ත්‍වයන් බෙදා ගන්නා පාර්ශ්ව දෙකක් විසින් සාක්ෂාත් කර ගත හැකි සහසම්බන්ධතා පන්තිය සහ ගැටලුවේ අවසාන විසඳුම.

මෙම ගැටලුවේ ඓතිහාසික සන්දර්භය සහ පරිණාමය යනු කුමක්ද?

ප්‍රශ්නයේ මූලාරම්භය, ක්‍රියාකරු වීජ ගණිතයේ පරිවර්තනීය කාර්යයක් වන එන්නත් සාධක පිළිබඳ 1976 කෝන්ස්ගේ පත්‍රිකාව වෙත යොමු වේ. ඊළඟ දශක කිහිපය තුළ, ගණිතඥයින් විසින් CEP යනු ගණිතය හරහා අසම්බන්ධිත ගැටළු දුසිම් ගණනකට සමාන බව සොයා ගන්නා ලදී - C*-වීජ ගණිත න්‍යායේ Kirchberg ගේ QWEP අනුමානයේ සිට ක්වොන්ටම් තොරතුරු න්‍යායේ Tsirelson ගේ ගැටලුව දක්වා, ක්වොන්ටම් සහසම්බන්ධතා උත්පාදනය කරන්නේ එම ක්වොන්ටම් සහසම්බන්ධතාවයන් දැයි විමසූහ. ක්රියාකරුවන්.

💡 DID YOU KNOW?

Mewayz replaces 8+ business tools in one platform

CRM · Invoicing · HR · Projects · Booking · eCommerce · POS · Analytics. Free forever plan available.

Start Free →

මෙම සමානාත්මතා ජාලය CEP මධ්‍යම සංවිධානය කිරීමේ ගැටලුවක් බවට පත් කළේය, අසමාන ක්ෂේත්‍ර සම්බන්ධ කරන "හබ්" එකක් බවට පත් කළේය. එය 2020 දී පහත වැටුණු විට, රැළි බලපෑම් එකවරම ගණිතය, භෞතික විද්‍යාව සහ පරිගණක විද්‍යාව හරහා දැනුණි. Tsirelson ගේ ගැටලුවට සෘණාත්මක පිළිතුරක් තිබූ බවට සාක්ෂි - MIP* = RE මගින් සෘජුවම ඇඟවුම් කරන ලද - ක්වොන්ටම් යාන්ත්‍ර විද්‍යාව භෞතික විද්‍යාඥයින් සිතුවාටත් වඩා ගැඹුරු සියුම්කම් ඇති බව තහවුරු විය.

මෙම යෝජනාවේ අනාගත ප්‍රවණතා සහ ප්‍රායෝගික ඇඟවුම් මොනවාද?

කොන්ස් කාවැද්දීමේ ගැටලුව විසඳීම සම්පූර්ණයෙන්ම නව පර්යේෂණ මායිම් විවෘත කරයි. ක්වොන්ටම් ගුප්ත ලේඛන විද්‍යාවේදී, එය හුදෙක් ගණිතමය වශයෙන් සිතිය හැකි ඒවාට වඩා භෞතිකව සාක්‍ෂාත් කරගත හැකි ක්වොන්ටම් සහසම්බන්ධතා මොනවාද යන්න පිළිබඳ අපගේ අවබෝධය තියුණු කරයි. සංකීර්ණතා න්‍යායේ දී, පැටලී ඇති ක්වොන්ටම් ප්‍රොවර් වල බලය කලින් ආදර්ශයට ගත් ප්‍රමාණයට වඩා බොහෝ ආගන්තුක බව යෝජනා කරයි. ගණිතයේ අත්තිවාරම්වලදී, එය පරිමිත ආසන්න බව සහ අනන්ත ගණිතමය වස්තූන් අතර සම්බන්ධය පිළිබඳ ගැඹුරු ප්‍රශ්න මතු කරයි.

ව්‍යවහාරික ගණිතඥයින් සහ ක්වොන්ටම් ඉංජිනේරුවන් සඳහා, ප්‍රතිඵලය "දේශීය" සහ "ගමන්" ක්වොන්ටම් සහසම්බන්ධතා අතර පරතරය අධ්‍යයනය කිරීමේ වැදගත්කම අවධාරනය කරයි — උපාංග-ස්වාධීන ක්වොන්ටම් ගුප්තකේතනය සහ ක්වොන්ටම් ජාල සැලසුම් කිරීම සඳහා සෘජු ප්‍රතිවිපාක සහිත පරතරයක්.

නිතර අසන ප්‍රශ්න

කොන්ස් එබ්බවීමේ අනුමානය සත්‍ය හෝ අසත්‍ය බව ඔප්පු වී තිබේද?

ජි, නටරාජන්, විඩික්, රයිට් සහ යුවෙන් විසින් 2020 දී අනුමානය අසත්‍ය බව ඔප්පු විය. ඔවුන්ගේ සාක්ෂිය, MIP* = RE ස්ථාපිත කිරීම, කොන්ස්ගේ මුල් අනුමානය සෘජුවම ප්‍රතික්ෂේප කරමින්, අධිපරිමාණ II₁ සාධකයේ අල්ට්‍රාපවර්වලට ඇතුළත් කළ නොහැකි වොන් නියුමන් වීජ ගණිතයේ පැවැත්ම පෙන්නුම් කළේය.

Connes Embedding ගැටලුව පිරිසිදු ගණිතයෙන් පිටත වැදගත් වන්නේ ඇයි?

ගැටලුව ක්වොන්ටම් භෞතික විද්‍යාවට සහ පරිගණක විද්‍යාවට කෙලින්ම සම්බන්ධ වේ. ක්වොන්ටම් පැටලීමට සම්භාව්‍ය සහ සම්මත ක්වොන්ටම්-යාන්ත්‍රික ආසන්න කිරීම්වලට පවා ප්‍රතිවර්තනය කළ නොහැකි සහසම්බන්ධතා ඇති කළ හැකි බව එහි විභේදනය තහවුරු කළේය. මෙය ක්වොන්ටම් ගුප්තකේතනය, ක්වොන්ටම් පරිගණන ගෘහ නිර්මාණ ශිල්පය සහ ක්වොන්ටම් යාන්ත්‍ර විද්‍යාවේ පදනම් සඳහා ඇඟවුම් ඇත.

Hyperfinite II₁ සාධකය යනු කුමක්ද සහ එය මෙම ගැටලුවට කේන්ද්‍රීය වන්නේ ඇයි?

අධිපරිමාණ II₁ සාධකය, බොහෝ විට R යනුවෙන් දැක්වෙන අතර, එය පරිමිත-මාන න්‍යාස වීජ ගණිතයේ සීමාව ලෙස ගොඩනගා ඇති අද්විතීය von Neumann වීජ ගණිතයකි. එය සරලම හා වඩාත්ම "ආසන්න" අනන්ත-මාන ක්වොන්ටම් පද්ධතියයි. වඩා සංකීර්ණ වීජ ගණිතය R හි අධි බලවලට කාවැදී තිබේද යන ප්‍රශ්නය අත්‍යවශ්‍යයෙන්ම සියලුම ක්වොන්ටම් පද්ධති මෙම සීමිත ආසන්න ගුණය බෙදා ගන්නේද යන්නයි - සහ පිළිතුර, 2020 ප්‍රතිඵලය පෙන්නුම් කරන පරිදි, නැත.


Connes Embedding Problem හි විසර්ජනය වැනි කඩඉම් පෙන්නුම් කරන්නේ සංකීර්ණ, අන්තර් සම්බන්ධිත පද්ධති ඒවායේ ගැඹුරුම මට්ටමින් තේරුම් ගත් විට - අනපේක්ෂිත සම්බන්ධතා හෙළිදරව් කිරීම සහ සම්පූර්ණයෙන්ම නව හැකියාවන් අගුළු හැරීමයි. Mewayz හි, ඔබේ ව්‍යාපාරය ගොඩනැගීම සඳහා එකම මූලධර්මය අදාළ වන බව අපි විශ්වාස කරමු. අපගේ 207-මොඩියුල ව්‍යාපාරික මෙහෙයුම් පද්ධතිය පරිශීලකයින් 138,000 කට අධික සංඛ්‍යාවකට ඔවුන්ගේ මෙහෙයුම්වල සෑම මානයක්ම, අලෙවිකරණය සහ CRM සිට විශ්ලේෂණ දක්වා සහ ඉන් ඔබ්බට තේරුම් ගැනීමට, සම්බන්ධ කිරීමට සහ ප්‍රශස්ත කිරීමට මෙවලම් ලබා දෙයි - සියල්ල මසකට ඩොලර් 19 කින් ආරම්භ වේ.

ඉහළ මට්ටමකින් ක්‍රියා කිරීමට සූදානම්ද? ඔබේ ගමන app.mewayz.com වෙතින් අරඹන්න සහ දහස් ගණන් ව්‍යවසායකයින් Mewayz ඔවුන්ගේ සියලුම ව්‍යාපාරික මෙහෙයුම් පද්ධතිය ලෙස විශ්වාස කරන්නේ මන්දැයි සොයා බලන්න.

Try Mewayz Free

All-in-one platform for CRM, invoicing, projects, HR & more. No credit card required.

Start managing your business smarter today

Join 30,000+ businesses. Free forever plan · No credit card required.

Ready to put this into practice?

Join 30,000+ businesses using Mewayz. Free forever plan — no credit card required.

Start Free Trial →

Ready to take action?

Start your free Mewayz trial today

All-in-one business platform. No credit card required.

Start Free →

14-day free trial · No credit card · Cancel anytime