2025-11-22T17:43:16.329386

Tangency counting for well-spaced circles

Maldague, Ortiz
In the late 90's, Tom Wolff introduced the circle tangency counting problem in his expository article on the Kakeya conjecture. For collections of well-spaced circles, we break the $N^{3/2}$-barrier, proving that a set of $N$ well-spaced circles has at most $N^{25/18+\varepsilon}$ sites of internal tangency. The circle tangency problem can be related to a problem about incidences between points in $\mathbb{R}^3$ and light rays. For this problem, we introduce a stopping time argument to extract maximal information about well-spaced points from a refined decoupling theorem for the light cone in $\mathbb{R}^3$, leading to sharp bounds on the number of $μ$-rich tangency rectangles.
academic

সুবিন্যস্ত বৃত্তগুলির জন্য স্পর্শকতা গণনা

মৌলিক তথ্য

  • পেপার আইডি: 2504.14118
  • শিরোনাম: Tangency counting for well-spaced circles
  • লেখক: ডোমিনিক ম্যালডাগু (ক্যাম্ব্রিজ বিশ্ববিদ্যালয় ও ইউসিএলএ), আলেক্সান্ডার অর্টিজ (রাইস বিশ্ববিদ্যালয়)
  • শ্রেণীবিভাগ: math.CA (চিরন্তন বিশ্লেষণ এবং সাধারণ অবকল সমীকরণ)
  • প্রকাশনার সময়: অক্টোবর ১৪, ২০২৫
  • পেপার লিঙ্ক: https://arxiv.org/abs/2504.14118

সারসংক্ষেপ

নব্বইয়ের দশকের শেষে, টম উলফ তার কাকেয়া অনুমান সম্পর্কিত ব্যাখ্যামূলক নিবন্ধে বৃত্ত স্পর্শকতা গণনা সমস্যা প্রবর্তন করেছিলেন। সুবিন্যস্ত বৃত্তগুলির সমষ্টির জন্য, এই পেপারটি N3/2N^{3/2} বাধা অতিক্রম করে, প্রমাণ করে যে NNটি সুবিন্যস্ত বৃত্ত নিয়ে গঠিত সমষ্টিতে সর্বাধিক N25/18+εN^{25/18+\varepsilon}টি অভ্যন্তরীণ স্পর্শ বিন্দু রয়েছে। বৃত্ত স্পর্শকতা সমস্যা R3\mathbb{R}^3 এ বিন্দু এবং রশ্মির মধ্যে সম্পর্ক সমস্যার সাথে যুক্ত করা যায়। এই উদ্দেশ্যে, লেখকরা R3\mathbb{R}^3 এ আলোকশঙ্কুর সূক্ষ্ম বিচ্ছেদন উপপাদ্য থেকে সুবিন্যস্ত বিন্দু সম্পর্কে সর্বাধিক তথ্য আহরণ করতে স্টপিং টাইম যুক্তি প্রবর্তন করেছেন, যার ফলে μμ-সমৃদ্ধ স্পর্শকতা আয়তক্ষেত্রের সংখ্যার তীক্ষ্ণ সীমানা পাওয়া যায়।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

১. বৃত্ত স্পর্শকতা গণনা সমস্যা: এই সমস্যা ১৯৯৯ সালে টম উলফ দ্বারা প্রস্তাবিত হয়েছিল, যা সমতলে NNটি বৃত্তের সমষ্টিতে অভ্যন্তরীণ স্পর্শকারী বৃত্তের জোড়ার সংখ্যা অনুমান করার দাবি করে, যেখানে যেকোনো তিনটি বৃত্ত একই বিন্দুতে স্পর্শ করে না।

२. একক দূরত্ব সমস্যার সাথে সংযোগ: এই সমস্যা বিখ্যাত এরডস একক দূরত্ব সমস্যার R3\mathbb{R}^3 এ সমতুল্য। বৃত্ত (z,r)(z,r) কে R3\mathbb{R}^3 এ বিন্দুতে সংশ্লিষ্ট করে, স্পর্শকতার শর্ত দ্বিঘাত সীমাবদ্ধতা ∣z−z′∣2=∣r−r′∣2|z-z'|^2 = |r-r'|^2 এ রূপান্তরিত হয়।

३. ঐতিহাসিক সীমানা:

  • ঐতিহ্যবাহী পদ্ধতি (কোষীয় বিভাজন) Oε(N3/2+ε)O_\varepsilon(N^{3/2+\varepsilon}) সীমানা প্রদান করে
  • এলেনবার্গ-সলিমোসি-জাহল O(N3/2)O(N^{3/2}) এ উন্নত করেছেন
  • একক দূরত্ব সমস্যার জন্য, জাহল Oε(N295/197+ε)O_\varepsilon(N^{295/197+\varepsilon}) পেয়েছেন

গবেষণার প্রেরণা

१. 3/23/2 বাধা অতিক্রম করা: N3/2N^{3/2} সীমানা দীর্ঘকাল ধরে উন্নত করা কঠিন ছিল, এই পেপারটি সুবিন্যস্ত বৃত্তের ক্ষেত্রে প্রথমবারের মতো এই বাধা অতিক্রম করে।

२. তাত্ত্বিক গুরুত্ব: এই সমস্যা কাকেয়া অনুমান, বিআরকে সমষ্টির মাত্রা এবং অন্যান্য গুরুত্বপূর্ণ জ্যামিতিক পরিমাপ তত্ত্ব সমস্যার সাথে ঘনিষ্ঠভাবে সম্পর্কিত।

३. পদ্ধতিগত উদ্ভাবন: নতুন ফুরিয়ার বিশ্লেষণ কৌশল প্রবর্তন করা, বিশেষত সূক্ষ্ম বিচ্ছেদন তত্ত্ব এবং স্টপিং টাইম অ্যালগরিদম।

মূল অবদান

१. যুগান্তকারী সীমানা: সুবিন্যস্ত বৃত্তের জন্য, N25/18+εN^{25/18+\varepsilon} এর উপরের সীমানা প্রমাণ করা হয়েছে, যা প্রথমবারের মতো N3/2N^{3/2} বাধা অতিক্রম করে।

२. নতুন প্রযুক্তিগত কাঠামো:

  • স্টপিং টাইম অ্যালগরিদম প্রবর্তন করে ফ্রিকোয়েন্সি তথ্য আহরণ করা
  • আলোকশঙ্কুর সূক্ষ্ম বিচ্ছেদন উপপাদ্য বিকাশ করা
  • স্পর্শকতা আয়তক্ষেত্র এবং আলোক-পাটের মধ্যে দ্বৈত সম্পর্ক প্রতিষ্ঠা করা

३. তীক্ষ্ণতা ফলাফল: প্রধান ফলাফলের তীক্ষ্ণতা প্রমাণ করতে র‍্যান্ডম উদাহরণ নির্মাণ করা।

४. ক্রমাগত সংস্করণের সর্বোত্তম সীমানা: μμ-সমৃদ্ধ স্পর্শকতা আয়তক্ষেত্র সমস্যার জন্য, μ4/3∣Rμ,τ∣≤Aε∣X∣4/3+εμ^{4/3}|R_{μ,τ}| ≤ A_ε|X|^{4/3+ε} এর তীক্ষ্ণ অনুমান পাওয়া যায়।

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

সমস্যা ১ (বিচ্ছিন্ন স্পর্শকতা গণনা): সমতলে NNটি বৃত্তের সমষ্টি C\mathcal{C} দেওয়া হয়েছে, এবং যেকোনো তিনটি বৃত্ত একই বিন্দুতে স্পর্শ করে না, অভ্যন্তরীণ স্পর্শকারী বৃত্তের জোড়ার সমষ্টির মূলত্ব অনুমান করুন: Tpair(C)={(C,C′)∈C2:C,C′ অভ্যন্তরীণভাবে স্পর্শ করে}T_{pair}(\mathcal{C}) = \{(C,C') ∈ \mathcal{C}^2 : C,C' \text{ অভ্যন্তরীণভাবে স্পর্শ করে}\}

সমস্যা २ (স্পর্শকতা বিন্দু গণনা): স্পর্শকতা বিন্দু সমষ্টির মূলত্ব অনুমান করুন: T(C)={z∈R2:কমপক্ষে দুটি বৃত্ত z বিন্দুতে অভ্যন্তরীণভাবে স্পর্শ করে}T(\mathcal{C}) = \{z ∈ \mathbb{R}^2 : \text{কমপক্ষে দুটি বৃত্ত } z \text{ বিন্দুতে অভ্যন্তরীণভাবে স্পর্শ করে}\}

সুবিন্যস্ত শর্ত

সংজ্ঞা १.१: যদি Q⊂RnQ ⊂ \mathbb{R}^n একটি একক ঘনক হয়, তাহলে উপসমষ্টি X⊂QX ⊂Q সুবিন্যস্ত হয়, যখন এবং শুধুমাত্র যখন XX হল ρρ-বিচ্ছিন্ন (কিছু ρ∈(0,1)ρ ∈ (0,1) এর জন্য), এবং XX এই সম্পত্তির সাপেক্ষে সর্বাধিক। বিশেষত, cnρ−n≤∣X∣≤Cnρ−nc_nρ^{-n} ≤ |X| ≤ C_nρ^{-n}।

মূল প্রযুক্তিগত কাঠামো

१. উন্নয়ন কৌশল (Lifting Procedure)

বৃত্তের কেন্দ্র-ব্যাসার্ধ জোড়া (z,r)(z,r) কে R3\mathbb{R}^3 এ বিন্দুতে সংশ্লিষ্ট করা, স্পর্শকতার শর্ত ∣z−z′∣2=∣r−r′∣2|z-z'|^2 = |r-r'|^2 দুটি বিন্দু একই রশ্মিতে অবস্থিত হওয়ার সমতুল্য।

२. আলোক-পাট দ্বৈতা

  • স্পর্শকতা আয়তক্ষেত্র: δ×δδ × \sqrt{δ} আয়তক্ষেত্র ΩΩ
  • আলোক-পাট: সংশ্লিষ্ট ∼1×δ×δ\sim 1 × \sqrt{δ} × δ আলোকশঙ্কু পাট
  • μμ-সমৃদ্ধ সম্পত্তি: আলোক-পাটের CδCδ-প্রতিবেশে কমপক্ষে μμটি বিন্দু রয়েছে

३. স্টপিং টাইম অ্যালগরিদম

ফাংশন f=∑P∈PμφPf = \sum_{P∈P_μ} φ_P এর জন্য (যেখানে φPφ_P হল আলোক-পাট PP এর মসৃণ অনুমান), বহু-স্কেল গড় সংজ্ঞায়িত করুন:

Akf:=∑θfθ∗ω~0,θ∗ω~1,θ∗⋯∗ω~k,θA_k f := \sum_θ f_θ * \tilde{ω}_{0,θ} * \tilde{ω}_{1,θ} * \cdots * \tilde{ω}_{k,θ}

স্টপিং নিয়ম: k(x)k(x) কে ন্যূনতম kk হিসাবে সংজ্ঞায়িত করুন যাতে Ak−1f(x)>RδAkf(x)A_{k-1}f(x) > R^δ A_k f(x)

४. সূক্ষ্ম বিচ্ছেদন উপপাদ্য

উপপাদ্য ३.१ (আলোকশঙ্কুর সূক্ষ্ম বিচ্ছেদন): প্রতিটি ε>0ε > 0 এর জন্য, CεC_ε বিদ্যমান যাতে θθ এ ফুরিয়ার সমর্থন সহ শোয়ার্টজ ফাংশন gθg_θ এর জন্য:

∫Uβ∩BR∣∑θgθ∣6≤CεRεβ2∑θ∫R3∣gθ∣2\int_{U_β ∩ B_R} |\sum_θ g_θ|^6 ≤ C_ε R^ε β^2 \sum_θ \int_{\mathbb{R}^3} |g_θ|^2

যেখানে Uβ:={x∈R3:β≤∑θ∣gθ(x)∣2∗wM,θ≤2β}U_β := \{x ∈ \mathbb{R}^3 : β ≤ \sum_θ |g_θ(x)|^2 * w_{M,θ} ≤ 2β\}।

প্রধান প্রমাণের চিন্তাধারা

१. উচ্চ-নিম্ন ফ্রিকোয়েন্সি বিশ্লেষণ: ফাংশন ff কে ফ্রিকোয়েন্স অনুযায়ী বিচ্ছিন্ন করা, বিভিন্ন ফ্রিকোয়েন্সি পরিসরে বিভিন্ন অনুমান কৌশল প্রয়োগ করা।

२. স্টপিং টাইম বিশ্লেষণ: স্টপিং টাইম অ্যালগরিদমের মাধ্যমে প্রতিটি বিন্দু x∈Xx ∈ X এর কাছাকাছি প্রধান ফ্রিকোয়েন্সি উপাদান নির্ধারণ করা।

३. স্থানীয় ধ্রুবক সম্পত্তি: HkfH_k f এর ρk−1ρ_{k-1}-বলে প্রায় ধ্রুবক হওয়ার সম্পত্তি ব্যবহার করা।

४. সূক্ষ্ম বিচ্ছেদন প্রয়োগ: নির্ধারিত ফ্রিকোয়েন্সি পরিসরে সূক্ষ্ম বিচ্ছেদন উপপাদ্য প্রয়োগ করা।

পরীক্ষামূলক সেটআপ

তাত্ত্বিক যাচাইকরণ

এই পেপারটি প্রধানত একটি তাত্ত্বিক কাজ, কঠোর গাণিতিক প্রমাণের মাধ্যমে ফলাফল যাচাই করে, সংখ্যাগত পরীক্ষা নয়।

তীক্ষ্ণতা নির্মাণ

উপপাদ্য ४.१: প্রধান ফলাফলের তীক্ষ্ণতা প্রমাণ করতে র‍্যান্ডম সুবিন্যস্ত সমষ্টি নির্মাণ করা। Rε≤ρ≤R1/2R^ε ≤ ρ ≤ R^{1/2} এর জন্য, কমপক্ষে ০.९ সম্ভাবনায় র‍্যান্ডম সমষ্টি X⊂[0,R]3X ⊂ [0,R]^3 বিদ্যমান যা সন্তুষ্ট করে:

  • ∣X∣∼R3+ερ−3|X| \sim R^{3+ε}ρ^{-3}
  • প্রতিটি ρρ-ঘনক সর্বাধিক RεR^εটি বিন্দু ধারণ করে
  • প্রতিটি আলোক-পাট ∼R3/2+ερ−3\sim R^{3/2+ε}ρ^{-3}টি বিন্দু ধারণ করে

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উপপাদ্য १.१: সুবিন্যস্ত সমষ্টি X⊂[0,1]2×[1,2]X ⊂ [0,1]^2 × [1,2] এবং সংশ্লিষ্ট বৃত্ত সমষ্টি CX\mathcal{C}_X এর জন্য: ∣Tpair(CX)∣≤Aε∣X∣25/18+ε|T_{pair}(\mathcal{C}_X)| ≤ A_ε |X|^{25/18+ε}

উপপাদ্য १.२ (ক্রমাগত সংস্করণ): সুবিন্যস্ত XX এবং μ≥1μ ≥ 1, τ∈[∣X∣−1/3,1)τ ∈ [|X|^{-1/3}, 1) এর জন্য: μ4/3∣Rμ,τ∣≤Aε∣X∣4/3+εμ^{4/3}|R_{μ,τ}| ≤ A_ε |X|^{4/3+ε}

বিদ্যমান ফলাফলের সাথে তুলনা

  • ঐতিহ্যবাহী সীমানা: O(N3/2)O(N^{3/2})
  • এই পেপারের সীমানা: O(N25/18+ε)=O(N1.388...+ε)O(N^{25/18+ε}) = O(N^{1.388...+ε})
  • উন্নতির পরিমাণ: সূচক ১.५ থেকে প্রায় १.३८८ এ হ্রাস পেয়েছে

তীক্ষ্ণতা যাচাইকরণ

সম্ভাব্যতা তত্ত্ব নির্মাণের মাধ্যমে প্রমাণ করা হয়েছে যে প্রধান ফলাফল সুবিন্যস্ত শর্তে মূলত সর্বোত্তম।

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

१. উলফ (१९९९): সমস্যা প্রবর্তন করেছেন, Oε(N3/2+ε)O_ε(N^{3/2+ε}) সীমানা প্রদান করেছেন २. এলেনবার্গ-সলিমোসি-জাহল (२०१६): O(N3/2)O(N^{3/2}) এ উন্নত করেছেন ३. জাহল (२०१९): একক দূরত্ব সমস্যার জন্য Oε(N295/197+ε)O_ε(N^{295/197+ε}) পেয়েছেন

সম্পর্কিত প্রযুক্তি

१. কোষীয় বিভাজন: ঐতিহ্যবাহী সমন্বয় জ্যামিতি পদ্ধতি २. বহুপদী বিভাজন: বীজগণিত জ্যামিতি পদ্ধতি ३. বিচ্ছেদন তত্ত্ব: ফুরিয়ার বিশ্লেষণে অর্থোগোনালিটি পরিমাপ

প্রয়োগের ক্ষেত্র

१. কাকেয়া অনুমান: দিক সমষ্টির জ্যামিতিক পরিমাপ তত্ত্বের সাথে সম্পর্কিত २. সীমাবদ্ধতা তত্ত্ব: সুসংগত বিশ্লেষণের মৌলিক সমস্যা ३. জ্যামিতিক সম্পর্ক তত্ত্ব: জ্যামিতিক বস্তুর মধ্যে সম্পর্ক অধ্যয়ন করা

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. সুবিন্যস্ত শর্তে বৃত্ত স্পর্শকতা গণনা সমস্যার N3/2N^{3/2} বাধা প্রথমবারের মতো অতিক্রম করা হয়েছে २. নতুন প্রযুক্তিগত কাঠামো প্রতিষ্ঠা করা হয়েছে, যা স্টপিং টাইম অ্যালগরিদম এবং সূক্ষ্ম বিচ্ছেদন তত্ত্ব একত্রিত করে ३. ক্রমাগত সংস্করণ সমস্যার জন্য তীক্ষ্ণ সীমানা প্রদান করা হয়েছে

সীমাবদ্ধতা

१. সুবিন্যস্ত সীমাবদ্ধতা: ফলাফল শুধুমাত্র সুবিন্যস্ত বৃত্ত সমষ্টির জন্য প্রযোজ্য २. প্রযুক্তিগত সীমাবদ্ধতা: τ∈(0,∣X∣−1/3)τ ∈ (0, |X|^{-1/3}) এর ক্ষেত্রে নতুন ধারণা প্রয়োজন ३. সাধারণ ক্ষেত্র: যেকোনো বৃত্ত সমষ্টির জন্য, N3/2N^{3/2} সীমানা এখনও অতিক্রম করা হয়নি

ভবিষ্যত দিকনির্দেশনা

१. পরিসীমা সম্প্রসারণ: ফলাফল আরও সাধারণ বৃত্ত সমষ্টিতে সাধারণীকরণ করা २. সীমানা উন্নতি: সূচক আরও হ্রাস করা, অনুমানের N4/3N^{4/3} এর কাছাকাছি যাওয়া ३. সম্পর্কিত সমস্যা: অন্যান্য জ্যামিতিক সম্পর্ক সমস্যায় প্রযুক্তি প্রয়োগ করা

গভীর মূল্যায়ন

সুবিধা

१. প্রধান যুগান্তকারী: এই ক্ষেত্রকে দীর্ঘকাল ধরে বিরক্ত করা N3/2N^{3/2} বাধা প্রথমবারের মতো অতিক্রম করা २. প্রযুক্তিগত উদ্ভাবন:

  • স্টপিং টাইম অ্যালগরিদমের প্রবর্তন ফুরিয়ার বিশ্লেষণে সম্ভাব্যতা তত্ত্বের চিন্তাভাবনা প্রদর্শন করে
  • সূক্ষ্ম বিচ্ছেদন তত্ত্বের উন্নয়ন সীমাবদ্ধতা তত্ত্ব অগ্রসর করে
  • উচ্চ-নিম্ন ফ্রিকোয়েন্সি বিশ্লেষণের দক্ষ প্রয়োগ ३. তাত্ত্বিক গভীরতা: প্রমাণ কৌশল জটিল এবং অন্তর্দৃষ্টিপূর্ণ ४. তীক্ষ্ণতা: নির্মাণ উদাহরণ প্রমাণ করে ফলাফল মূলত সর্বোত্তম

অসুবিধা

१. প্রয়োগের পরিসীমা সীমাবদ্ধতা: শুধুমাত্র সুবিন্যস্ত ক্ষেত্রে প্রযোজ্য २. প্রযুক্তিগত জটিলতা: প্রমাণ অত্যন্ত জটিল, যা পদ্ধতির সাধারণীকরণকে সীমাবদ্ধ করতে পারে ३. ব্যবহারিক প্রয়োগ: প্রধানত তাত্ত্বিক ফলাফল, ব্যবহারিক প্রয়োগের মূল্য অন্বেষণের অপেক্ষায় রয়েছে

প্রভাব

१. তাত্ত্বিক অবদান: জ্যামিতিক সম্পর্ক তত্ত্বের জন্য নতুন প্রযুক্তিগত সরঞ্জাম প্রদান করে २. পদ্ধতিগত মূল্য: স্টপিং টাইম অ্যালগরিদম এবং সূক্ষ্ম বিচ্ছেদনের সমন্বয় অন্যান্য সমস্যায় প্রযোজ্য হতে পারে ३. অনুপ্রেরণামূলক তাৎপর্য: অন্যান্য দীর্ঘস্থায়ী বাধা অতিক্রমের জন্য চিন্তাভাবনা প্রদান করে

প্রযোজ্য পরিস্থিতি

१. তাত্ত্বিক গবেষণা: জ্যামিতিক পরিমাপ তত্ত্ব, সুসংগত বিশ্লেষণ, সমন্বয় জ্যামিতি २. সম্পর্কিত সমস্যা: একক দূরত্ব সমস্যা, কাকেয়া অনুমান, সীমাবদ্ধতা সমস্যা ३. প্রযুক্তি সম্প্রসারণ: অন্যান্য সূক্ষ্ম ফ্রিকোয়েন্সি বিশ্লেষণ প্রয়োজনীয় সমস্যা

তথ্যসূত্র

এই পেপারটি এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে:

  • উলফের যুগান্তকারী কাজ 21, 22
  • এলেনবার্গ-সলিমোসি-জাহলের উন্নতি 7
  • একক দূরত্ব সমস্যায় জাহলের যুগান্তকারী অগ্রগতি 23
  • বোরগেইন-ডেমিটারের বিচ্ছেদন তত্ত্ব 2
  • সম্পর্কিত জ্যামিতিক সম্পর্ক তত্ত্ব সাহিত্য 4, 10, 11, 14

এই পেপারটি জ্যামিতিক সম্পর্ক তত্ত্বের একটি গুরুত্বপূর্ণ অগ্রগতি প্রতিনিধিত্ব করে, উদ্ভাবনী প্রযুক্তিগত মাধ্যমে প্রথমবারের মতো একটি দীর্ঘস্থায়ী বাধা অতিক্রম করে, এই ক্ষেত্রের আরও উন্নয়নের জন্য ভিত্তি স্থাপন করে।