Coexistence of ac and pp spectrum for kicked quasi-periodic potentials
Bjerklöv, Krikorian
We introduce a class of real analytic "peaky" potentials for which the corresponding quasi-periodic 1D Schrödinger operators exhibit, for quasiperiodic frequencies in a set of positive Lebesgue measure, both absolutely continuous and pure point spectrum.
academic
আঘাত প্রাপ্ত আধা-পর্যায়ক্রমিক বিভবের জন্য ac এবং pp বর্ণালীর সহাবস্থান
আধা-পর্যায়ক্রমিক শ্রোডিঙ্গার অপারেটরের বর্ণালী তত্ত্ব গাণিতিক পদার্থবিজ্ঞানের মূল সমস্যাগুলির একটি। অপারেটর HV,α,x:l2(Z)→l2(Z) এর জন্য, যা নিম্নরূপ সংজ্ঞায়িত:
(HV,α,xu)n=un+1+un−1+V(x+nα)un
যেখানে V:T→R হল বিভব ফাংশন, α হল ফ্রিকোয়েন্সি, এবং x হল ফেজ। মূল প্রশ্নগুলির মধ্যে রয়েছে:
বর্ণালী ΣV,α এর টপোলজিক্যাল বৈশিষ্ট্য (ক্যান্টর সেট কিনা)
বর্ণালী পরিমাপ μV,α,x এর বর্ণালী ধরন (সম্পূর্ণভাবে ক্রমাগত, অনন্য ক্রমাগত বা পরমাণু উপাদান)
ছোট বিভব ক্ষেত্র (Eliasson উপপাদ্য): যখন বিভব V=λv (λ যথেষ্ট ছোট) এবং ফ্রিকোয়েন্সি α ডায়োফান্টাইন হয়, তখন বর্ণালী সম্পূর্ণভাবে ক্রমাগত।
বড় বিভব ক্ষেত্র (Bourgain-Goldstein উপপাদ্য): যখন λ যথেষ্ট বড় এবং v বাস্তব বিশ্লেষণাত্মক হয়, তখন সম্পূর্ণ পরিমাপের ফ্রিকোয়েন্সি সেটের জন্য, বর্ণালী বিশুদ্ধ বিন্দু এবং অ্যান্ডারসন স্থানীয়করণ সন্তুষ্ট করে।
সংকটপূর্ণ ক্ষেত্র: Almost Mathieu অপারেটর v=2cos(2π⋅)λ=1 এ রূপান্তর ঘটায়।
মূল প্রশ্ন: একটি বাস্তব বিশ্লেষণাত্মক বিভব ফাংশন তৈরি করা সম্ভব কিনা যাতে সংশ্লিষ্ট শ্রোডিঙ্গার অপারেটর একই সাথে সম্পূর্ণভাবে ক্রমাগত বর্ণালী এবং বিশুদ্ধ বিন্দু বর্ণালী উভয় উপাদান থাকে?
বিদ্যমান কাজের সীমাবদ্ধতা:
Avila 1 সংকটপূর্ণ সংযোগ λ=1 এর কাছাকাছি বাস্তব বিশ্লেষণাত্মক বিঘ্ন তৈরি করেছেন, ac এবং pp বর্ণালীর সহাবস্থান অর্জন করেছেন
Bourgain 8 দ্বি-ফ্রিকোয়েন্সি আধা-পর্যায়ক্রমিক বিভবের উদাহরণ তৈরি করেছেন
এই নির্মাণগুলি প্রধানত সংকটপূর্ণ বিন্দুর কাছাকাছি বিঘ্ন তত্ত্বের উপর ভিত্তি করে
এই পত্রের উদ্ভাবন: তীক্ষ্ণ শিখর বিভব ফাংশনের একটি শ্রেণী প্রস্তাব করে, যা:
অপরিহার্যভাবে ছোট নয় (অন্যথায় Eliasson উপপাদ্য দ্বারা শুধুমাত্র ac বর্ণালী)
অপরিহার্যভাবে বড় নয় (অন্যথায় Bourgain-Goldstein উপপাদ্য দ্বারা শুধুমাত্র pp বর্ণালী)
তীক্ষ্ণ শিখর বিভব শ্রেণী P∞ প্রবর্তন: মসৃণ বিভব ফাংশনের একটি শ্রেণী সংজ্ঞায়িত করা হয়েছে, যা সন্তুষ্ট করে:
V≥0
সমর্থন supp(V) হল T এর প্রকৃত উপসেট
কোনো বিন্দু x∗ এ অনন্য সর্বোচ্চ মান রয়েছে
সমর্থনের অভ্যন্তরে সর্বোচ্চ মান বিন্দু ছাড়া, V′(x)=0
প্রধান উপপাদ্য A: V∈P∞ এর জন্য K(V)>10 এবং L(V)<1/q সন্তুষ্ট করে, ε>0 বিদ্যমান যাতে যেকোনো বাস্তব বিশ্লেষণাত্মক বিঘ্ন V~ এর জন্য (Cs0 অর্থে ε-কাছাকাছি V), সম্পূর্ণ পরিমাপের ফ্রিকোয়েন্সি সেট Aq(V~)⊂⋃p=0q−1Dp/q(η) বিদ্যমান যাতে HV~,α,0 অসংযুক্ত ac এবং pp বর্ণালী উপাদান রয়েছে।
প্রধান উপপাদ্য B: নির্দিষ্ট Lorentzian ধরনের বিভব ফাংশন VK,λ(x)=1+4λsin2(πx)K এর জন্য, যখন K এবং λ যথেষ্ট বড় হয়, ধনাত্মক পরিমাপের ফ্রিকোয়েন্সি সেট A2⊂T বিদ্যমান যাতে অপারেটর একই সাথে ac এবং pp বর্ণালী রয়েছে।
সম্পূর্ণ উপবৃত্তাকার ক্ষেত্র: যখন ∣tr(SE−V(q))∣<2 হয়, বীজগণিত সংযোগ পদ্ধতি (Cheap Trick) এবং Eliasson উপপাদ্য ব্যবহার করে পুনর্বিন্যাসযোগ্যতা প্রমাণ করা হয়, ac বর্ণালী উৎপন্ন করে
নিয়মিত মিশ্র ধরনের ক্ষেত্র: যখন tr(SE−V(q)) এর চিত্র কঠোরভাবে [−2,2] অন্তর্ভুক্ত করে, Lyapunov সূচক ধনাত্মক প্রমাণ করা হয়, pp বর্ণালী উৎপন্ন করে
সংজ্ঞা: A:T→SL(2,R) কে সম্পূর্ণ উপবৃত্তাকার বলা হয় যদি ∀x∈T,∣tr(A(x))∣<2 হয়।
উপপাদ্য 3.1 (সম্পূর্ণ উপবৃত্তাকার cocycle উপপাদ্য): যদি (p/q,AE)q সম্পূর্ণ উপবৃত্তাকার হয় এবং ঘূর্ণন সংখ্যা E↦ρ(p/q,AE) অ-ধ্রুবক হয়। তাহলে η0>0 বিদ্যমান যাতে α∈Dp/q(η) এর জন্য, ধনাত্মক পরিমাপের শক্তি সেট Eα বিদ্যমান যাতে (α,AE) পুনর্বিন্যাসযোগ্য (ধ্রুবক উপবৃত্তাকার cocycle এ সংযুক্ত)।
প্রমাণ কৌশল:
পর্যায়ক্রমিক অনুমান (প্রস্তাব 3.2): সম্পূর্ণ উপবৃত্তাকার ব্যবহার করে, মসৃণ B:T→SL(2,R) এবং φ:T→R বিদ্যমান যাতে:
B(⋅+p/q)−1A(⋅)B(⋅)=Rφ(⋅)
সস্তা কৌশল (প্রস্তাব 3.3): α∈Dp/q(η) এর জন্য, আবেগী লেমা (লেমা 3.4) দ্বারা সংযোগ B তৈরি করা হয় যাতে:
∥B(⋅+α)−1A(⋅)B(⋅)−A0∥Cs≤ηm
যেখানে A0∈SO(2,R)।
পরিমাণিত Eliasson উপপাদ্য (উপপাদ্য 3.2): যখন α∈DC1(γ,σ) এবং ρ(α,A)∈DSα (α সম্পর্কে ডায়োফান্টাইন শর্ত), যদি ∥A−A^∥C0≤γd0ε এবং ∥A−A^∥Cs0≤1 হয়, তাহলে (α,A) পুনর্বিন্যাসযোগ্য।
ঘূর্ণন সংখ্যা পরিবর্তন: লেমা 3.8 ব্যবহার করে শক্তি সম্পর্কে ঘূর্ণন সংখ্যার Lipschitz ধারাবাহিকতা প্রমাণ করা হয়, লেমা 3.9 (পরিমাপ তত্ত্ব লেমা) এর সাথে মিলিয়ে ধনাত্মক পরিমাপের শক্তি সেটে পুনর্বিন্যাসযোগ্যতা প্রমাণ করা হয়।
Schrödinger cocycle এ প্রয়োগ: তীক্ষ্ণ শিখর বিভব V এবং E∈2cosJk এর জন্য (Jk হল θk=πk/q এর কাছাকাছি অন্তরাল), লেমা 5.1 দ্বারা গণনা করা হয়:
tr(AE(q)(x))=−V(x~)sinθsin(qθ)+2cos(qθ)Jk নির্বাচন করা হয় যাতে ∣tr(AE(q))∣<2−δk, তাই (p/q,SE−V)q সম্পূর্ণ উপবৃত্তাকার।
সংজ্ঞা: A:Ωh→SL(2,C) কে নিয়মিত বলা হয় যদি h′≤h এবং সম্পূর্ণ λA:Ωh+→C বিদ্যমান যাতে ∣λA(z)∣>1 এবং {λA(z),λA(z)−1} হল A(z) এর বৈশিষ্ট্য মান।
উপপাদ্য 4.1 (নিয়মিত মিশ্র ধরনের cocycle উপপাদ্য): যদি (p/q,A)q নিয়মিত এবং মিশ্র ধরনের হয়, তাহলে η2>0 বিদ্যমান যাতে 0<∣α−p/q∣<η2 এর জন্য:
LE(α,A)>0
প্রমাণ কৌশল:
জটিল সম্প্রসারণ বিশ্লেষণ (লেমা 4.3): নিয়মিত A এর জন্য, ম্যাপিং ν↦L0(ν)=∫Tlog∣λA(x+iν)∣dx[0,h′] এ অ-ঋণাত্মক অ-হ্রাসমান অ্যাফাইন ফাংশন।
বিঘ্ন বিশ্লেষণ (লেমা 4.5): α≈p/q এর জন্য:
∣LE((α,A(⋅+iν))q)−LE((p/q,A(⋅+iν))q)∣≤ε
উত্তলতা যুক্তি (প্রস্তাব 4.6): Lyapunov সূচকের উত্তলতা (লেমা 4.2) এবং উপরের অনুমান ব্যবহার করে:
qLE(α,A)≥LE((p/q,A)q)−ε
Herman উপ-সুরেলা কৌশল: মিশ্র ধরনের cocycle এর জন্য, LE(0,A(q))>0, উপরের অসমতার সাথে মিলিয়ে ধনাত্মক Lyapunov সূচক পাওয়া যায়।
Schrödinger cocycle এ প্রয়োগ: E∈[10,K−10] এবং E=2coshθ এর জন্য, লেমা 5.5 প্রমাণ করে A~E(q) নিয়মিত এবং মিশ্র ধরনের (তীক্ষ্ণ শিখর বিভবের জ্যামিতিক বৈশিষ্ট্য ব্যবহার করে: ∣tr(A~E(q)(x))∣=2 শুধুমাত্র V′(x~)=0 এ ঘটে)।
∣E∣<2 এ, Lyapunov সূচক শূন্যের কাছাকাছি শক্তি মান বিদ্যমান ("ছোট বিভব" আচরণ)
ঘূর্ণন সংখ্যা একঘেয়ে বর্ধনশীল Devil's staircase কাঠামো প্রদর্শন করে
চিত্র 2:
E∈[−2,2] অন্তরালে Lyapunov সূচকের বিস্তারিত চিত্র
শূন্যের কাছাকাছি একাধিক মসৃণ অঞ্চল প্রদর্শন করে (ac বর্ণালীর সাথে সংশ্লিষ্ট)
ধনাত্মক Lyapunov সূচক অঞ্চলের সাথে পরিবর্তনশীল
তাত্ত্বিক ব্যাখ্যা: উপপাদ্য B α1/2 এর কাছাকাছি থাকার সময় এই ঘটনা ব্যাখ্যা করে, কিন্তু স্বর্ণ অনুপাত (ধ্রুবক ধরনের সংখ্যা) এর ক্ষেত্র এখনও খোলা সমস্যা।
দেওয়া s,m∈N এবং সম্পূর্ণ উপবৃত্তাকার A, η0(s,m,∥A∥s+m+7,q,δ) বিদ্যমান যাতে 0<η≤η0 এবং α∈Dp/q(η) এর জন্য:
∥B(⋅+α)−1A(⋅)B(⋅)−A0∥Cs≤ηm
এবং ∥B∥Cs≤η−3
প্রয়োগ: s=s0=⌊3C2⌋, m=d0+1=3C1+1 নিন, Eliasson উপপাদ্যের শর্ত সন্তুষ্ট করে।
বীজগণিত সংযোগের অ-মাইক্রোপার্টারবেটিভ প্রয়োগ: সস্তা কৌশল ঐতিহ্যগতভাবে ছোট বিঘ্নের জন্য ব্যবহৃত হয়, এই পত্র পর্যায়ক্রমিক অনুমানের মাধ্যমে অ-মাইক্রোপার্টারবেটিভ সমস্যাকে মাইক্রোপার্টারবেটিভ সমস্যায় রূপান্তরিত করে, এটি প্রযুক্তিগত দিক থেকে একটি বড় অগ্রগতি
জ্যামিতি এবং গতিশীল সিস্টেমের সংমিশ্রণ: বিভব ফাংশনের জ্যামিতিক বৈশিষ্ট্য (তীক্ষ্ণ শিখর আকৃতি) কে cocycle গতিশীলতার সাথে (সম্পূর্ণ উপবৃত্তাকার বনাম মিশ্র ধরনের) গভীরভাবে সংযুক্ত করে, সমস্যার মূল কাঠামো প্রদর্শন করে
ফ্রিকোয়েন্সি সেটের সূক্ষ্ম ডিজাইন: Dp/q(η) এর নির্মাণ মূলদ সংখ্যার কাছাকাছি থাকা (বীজগণিত সরলীকরণের জন্য) এবং ডায়োফান্টাইন বৈশিষ্ট্য বজায় রাখা (KAM তত্ত্বের জন্য) এর মধ্যে সূক্ষ্ম ভারসাম্য অর্জন করে
একীভূত কাঠামো: ac বর্ণালী (পুনর্বিন্যাসযোগ্যতা) এবং pp বর্ণালী (ধনাত্মক Lyapunov সূচক) কে একীভূত cocycle গতিশীল সিস্টেম কাঠামোতে নিয়ে আসে
পরিমাপ তত্ত্বের সূক্ষ্মতা: শূন্য পরিমাপ (পুনর্বিন্যাসযোগ্য বিন্দু) থেকে ধনাত্মক পরিমাপ (পুনর্বিন্যাসযোগ্য সেট) এ উন্নতি (লেমা 3.9) পরিমাপ তত্ত্বের গভীর প্রয়োগ প্রদর্শন করে
জটিল বিশ্লেষণ কৌশল: নিয়মিততার বৈশিষ্ট্য (লেমা 4.1) এবং জটিল সম্প্রসারণ বিশ্লেষণ (লেমা 4.3) জটিল বিশ্লেষণ পদ্ধতির শক্তি প্রদর্শন করে
10 J. Bourgain, S. Jitomirskaya: অ-মাইক্রোপার্টারবেটিভ ছোট বিভব তত্ত্ব
11 P. Deift, B. Simon: ঘূর্ণন সংখ্যা এবং অবস্থা ঘনত্বের সম্পর্ক
17 S. Hadj Amor: ঘূর্ণন সংখ্যার Hölder ধারাবাহিকতা
26 L.-S. Young: অ-একীভূত দ্বিগুণ হাইপারবোলিক cocycle তত্ত্ব
সামগ্রিক মূল্যায়ন: এটি আধা-পর্যায়ক্রমিক শ্রোডিঙ্গার অপারেটরের বর্ণালী তত্ত্ব ক্ষেত্রে একটি উচ্চ মানের গাণিতিক গবেষণা পত্র যা বাস্তব অবদান প্রদান করে। তীক্ষ্ণ শিখর বিভব ফাংশন শ্রেণী প্রবর্তন এবং বীজগণিত সংযোগ পদ্ধতির সৃজনশীল প্রয়োগের মাধ্যমে, লেখকরা সফলভাবে একই সাথে সম্পূর্ণভাবে ক্রমাগত বর্ণালী এবং বিশুদ্ধ বিন্দু বর্ণালী সহ উদাহরণ তৈরি করেছেন, মিশ্র বর্ণালী ঘটনার প্রতি আমাদের বোঝাপড়া সমৃদ্ধ করেছেন। পত্রের গাণিতিক কঠোরতা শক্তিশালী, প্রমাণ সম্পূর্ণ, প্রযুক্তিগত উদ্ভাবন উল্লেখযোগ্য। প্রধান সীমাবদ্ধতা হল শুধুমাত্র একক জোড়া ac/pp অন্তরাল উৎপন্ন করতে পারা এবং ফ্রিকোয়েন্সি মূলদ সংখ্যার কাছাকাছি সীমাবদ্ধতা। পত্র পরবর্তী গবেষণার জন্য স্পষ্ট দিকনির্দেশনা প্রদান করে, বিশেষ করে অ-নিয়মিত মিশ্র ধরনের cocycle এবং ধ্রুবক ধরনের ফ্রিকোয়েন্সি ক্ষেত্রে।