गणितज्ञों ने वृत्त के eigenvalues पर Polya के अनुमान को सिद्ध किया

 (phys.org)
3 पॉइंट द्वारा GN⁺ 2024-03-04 | 1 टिप्पणियां | WhatsApp पर शेयर करें

  • गणितज्ञों ने वृत्त के eigenvalues पर 70 साल पुराने गणितीय प्रश्न, Polya के अनुमान, को सिद्ध किया

    • मॉन्ट्रियल विश्वविद्यालय के गणित और सांख्यिकी विभाग के प्रोफेसर Iosif Polterovich को यह सवाल पसंद है कि क्या किसी ड्रम का आकार उसकी आवाज़ से अनुमानित किया जा सकता है।
    • Polterovich तरंग प्रसार से जुड़े भौतिक घटनाक्रमों को समझने के लिए spectral geometry नामक गणित की शाखा का उपयोग करते हैं।
    • पिछली गर्मियों में, Polterovich और उनके अंतरराष्ट्रीय सहयोगियों ने spectral geometry के एक प्रसिद्ध अनुमान के एक विशेष मामले को सिद्ध किया, जिसे 1954 में प्रसिद्ध हंगेरियन-अमेरिकी गणितज्ञ George Pólya ने प्रस्तावित किया था।
    • यह अनुमान वृत्ताकार ड्रम की आवृत्तियों, या गणितीय शब्दों में, वृत्त के eigenvalue अनुमान से संबंधित है।
    • स्वयं Pólya ने 1961 में उन domains के लिए अपने अनुमान की पुष्टि की थी जो समतल को tiles की तरह भर सकते हैं, जैसे त्रिभुज और चतुर्भुज।
    • पिछले वर्ष तक यह अनुमान केवल इन्हीं मामलों में ज्ञात था, और देखने में सरल लगने वाला वृत्त अब भी एक अनसुलझी समस्या बना हुआ था।

  • गणित की सार्वभौमिकता

    • Inventiones Mathematicae नामक गणितीय जर्नल में प्रकाशित शोधपत्र में शोधकर्ताओं ने दिखाया कि Polya का अनुमान वृत्त के लिए भी सही है, जिसे विशेष रूप से चुनौतीपूर्ण माना जाता था।
    • उनका परिणाम मूल रूप से सैद्धांतिक महत्व का है, लेकिन प्रमाण की विधि का उपयोग computational mathematics और numerical computation में किया जा सकता है।
    • लेखक फिलहाल इस विधि की संभावनाओं का अध्ययन कर रहे हैं।
    • Polterovich ने कहा, "गणित एक बुनियादी विज्ञान है, लेकिन कुछ मायनों में यह खेल और कला के समान भी है।"
    • उनका कहना है कि लंबे समय तक किसी अनुमान को सिद्ध करने का प्रयास खेल जैसा है, और एक सुंदर समाधान खोजना कला है।
    • कई मामलों में, सुंदर गणितीय खोजें उपयोगी साबित हो सकती हैं; बस उनके लिए सही application ढूँढना होता है।

GN⁺ की राय

  • यह शोध दिखाता है कि किसी गणितीय अनुमान को सिद्ध करना केवल सैद्धांतिक उपलब्धि भर नहीं है, बल्कि इसका असर वास्तविक applications पर भी पड़ सकता है। खासकर computational mathematics और numerical computation में इसकी संभावित उपयोगिता इस क्षेत्र के विशेषज्ञों के लिए दिलचस्प खबर होगी।
  • spectral geometry भौतिकी, इंजीनियरिंग, computer science सहित कई क्षेत्रों में महत्वपूर्ण भूमिका निभाती है, और यह प्रमाण इस क्षेत्र की समझ को एक स्तर ऊपर ले जाने वाली महत्वपूर्ण प्रगति है।
  • इस तकनीक को अपनाते समय, वास्तविक समस्याओं पर लागू करने से पहले पर्याप्त simulation और प्रयोगों के माध्यम से इसकी उपयोगिता की पुष्टि करनी होगी।
  • यह शोध परिणाम विशेष रूप से eigenvalue समस्याओं में रुचि रखने वाले शोधकर्ताओं या इंजीनियरों के लिए उपयोगी हो सकता है, और उन्हें शोध की नई दिशाएँ दिखा सकता है।
  • यदि इसी तरह की समस्याओं पर काम करने वाले अन्य projects या technologies हों, तो उनके साथ तुलना करके इस शोध की मौलिकता और महत्व को और स्पष्ट किया जा सकता है।

संबंधित पढ़ाई

1 टिप्पणियां

 
GN⁺ 2024-03-04
Hacker News टिप्पणियाँ
  • मैं सोच रहा था कि eigenfunctions दिखते कैसे होंगे। मुझे लगा था कि disk Laplace equation में इतना असामान्य problem है, लेकिन दोबारा देखने पर समझ आया कि यह मेरी गलतफहमी थी
    eigenfunctions खुद तो ठीक-ठीक हल किए जा चुके हैं; मुश्किल हिस्सा eigenvalues को sort करके monotone increasing एक sequence में बदलने का है। paper के पेज 4 के अनुसार, unit disk के Dirichlet/Neumann Laplacian eigenvalues Bessel functions या उनके derivatives के zeros के रूप में explicit रूप से जाने जाते हैं, लेकिन spectrum दो-parameter family के रूप में दिया जाता है, इसलिए उसे एक ही order में rearrange करना practically असंभव लगता है
    https://arxiv.org/abs/2203.07696
  • शीर्षक देखकर एक अलग तथ्य, Gershgorin disc theorem, याद आ गया। किसी भी N×N matrix A के eigenvalues complex plane पर N discs के union के अंदर आते हैं; i-th disc का center A का i-th diagonal element होता है और radius i-th row के non-diagonal elements के absolute values का sum होता है
    https://blogs.sas.com/content/iml/2019/05/22/gershgorin-disc...
    पहली बार सुनने पर यह काफी चौंकाने वाला और intuition के खिलाफ लगता है, लेकिन सच में सही है। मैंने इसे एक real project में noise removal के लिए भी इस्तेमाल किया है
    • Franklin की Matrix Theory एक शानदार और सस्ती किताब है जिसमें ऐसे कई रोचक results हैं; अगर linear algebra में रुचि है तो जोरदार recommendation है
      https://www.amazon.com/Matrix-Theory-Dover-Books-Mathematics...
    • मुझे नहीं लगता कि यह इतना हैरान करने वाला result है। proof के लिए definitions और triangle inequality ही काफी हैं
      Ax=λx में ऐसा i चुनें जिसके लिए |xᵢ| सबसे बड़ा हो, और i-th equation ∑aᵢⱼxⱼ=λxᵢ देखें। फिर aᵢᵢxᵢ term को right-hand side में ले जाएँ, absolute value लें, |xᵢ| से divide करें और triangle inequality apply करें, तो |aᵢᵢ−λ| ≤ ∑|aᵢⱼ|, j≠i मिलता है। इसलिए हर eigenvalue के लिए ऐसा एक disc मिल सकता है। यह column-based है; row-based के लिए Aᵀ इस्तेमाल कर सकते हैं
    • उत्सुकता है कि वह noise removal project क्या था, और इस theorem का इस्तेमाल करके आपने noise removal कैसे किया
    • किसी disc का radius एक single value होता है, इसलिए “i-th disc का radius absolute values हैं” वाली बात मुझे ठीक से समझ नहीं आ रही। कई values एक radius से कैसे correspond करती हैं, यह जानना चाहूँगा
    • इसमें कुछ intuition भी है। eigenvalue एक vector/scalar pair है जहाँ matrix से multiply करने का effect scalar multiplication जैसा हो जाता है, और यहाँ हम उसे diagonal components जितनी shift की गई matrix के size जैसी चीज़ से compare कर रहे हैं
      अगर diagonal matrix हो तो eigenvalues बस diagonal elements ही होते हैं, यह बात भी उस intuition में मदद करती है। proof तो नहीं है, लेकिन sense बनता है, और मैं मानता हूँ कि यह बहुत अच्छा result है
  • काश कोई ऐसा program हो जो गड़गड़ाती thunder sound से terrain reconstruct कर सके
    https://en.wikipedia.org/wiki/Impulse_response
  • “क्या drum की shape उसकी आवाज़ से सुनी जा सकती है?” यह सवाल mathematician Mark Kac ने 1966 के paper में पहली बार उठाया था
    1980s में यह prove हुआ कि ऐसी manifolds मौजूद हैं जिनकी shape सुनी नहीं जा सकती
  • मैंने paper नहीं पढ़ा है, लेकिन उत्सुकता है कि क्या यह arbitrary shape के drum पर भी लागू होता है। और अगर basis arbitrarily बड़ा हो सकता है, तो यह result कितना interesting है, इस पर भी संदेह है
    आखिर यह बस इतना ही कहने जैसा तो नहीं कि spectral domains isomorphic हैं?
    • यह result सिर्फ disks, spheres, और higher-dimensional generalizations पर लागू होता है। पहले यह केवल उन shapes के लिए जाना जाता था जो plane को tile करती हैं या higher-dimensional space को tessellate करती हैं
  • paper Pólya’s conjecture for Euclidean balls में मुझे मुख्य बात यह लगती है
    https://dms.umontreal.ca/~iossif/polya.pdf
    spectral geometry की प्रसिद्ध Pólya conjecture (1954) कहती है कि bounded Euclidean domains में Dirichlet/Neumann Laplacian की eigenvalue counting function को क्रमशः Weyl asymptotic formula के leading term से ऊपर और नीचे bound किया जा सकता है। यह paper इसे disk के लिए prove करता है, जिससे non-tiling planar domain में conjecture confirm होने का यह पहला case बनता है, और arbitrary planar sectors तथा Dirichlet condition वाले सभी dimensions के balls के लिए भी इसे confirm करता है। मुख्य नया ingredient यह observation है कि corresponding eigenvalue counting function और lattice point counting function सिर्फ asymptotically ही नहीं, बल्कि uniform bounds भी satisfy करते हैं
  • मतलब mathematicians ने यह prove किया कि जब किसी disk को stick से मारा जाए, तो उससे निकलने वाली frequencies भर से disk की shape infer की जा सकती है
    • पहला sentence “क्या drum की आवाज़ से drum की shape infer की जा सकती है?” काफी misleading है
      यह पहले से well-known problem है, और इसका जवाब शानदार ढंग से negative है https://www.ams.org/publicoutreach/feature-column/fcarc-1997...
      मेरी समझ के अनुसार यह article उल्टी direction के बारे में है: यानी जब shape disk हो, तो sound frequencies यानी eigenvalues से जुड़े problem को देखता है। यह exact calculation से ज्यादा approximation के बारे में है, और Pólya conjecture का मतलब कुछ ऐसा लगता है कि Weyl asymptotic formula high frequencies/eigenvalues का अच्छा approximation ही नहीं, बल्कि upper या lower bound के रूप में भी इस्तेमाल किया जा सकता है। यह मेरा field नहीं है और paper पढ़ने का पर्याप्त समय भी नहीं मिला