Adapting to Unknown Low-Dimensional Structures in Score-Based Diffusion Models
Li, Yan
This paper investigates score-based diffusion models when the underlying target distribution is concentrated on or near low-dimensional manifolds within the higher-dimensional space in which they formally reside, a common characteristic of natural image distributions. Despite previous efforts to understand the data generation process of diffusion models, existing theoretical support remains highly suboptimal in the presence of low-dimensional structure, which we strengthen in this paper. For the popular Denoising Diffusion Probabilistic Model (DDPM), we find that the dependency of the error incurred within each denoising step on the ambient dimension $d$ is in general unavoidable. We further identify a unique design of coefficients that yields a converges rate at the order of $O(k^{2}/\sqrt{T})$ (up to log factors), where $k$ is the intrinsic dimension of the target distribution and $T$ is the number of steps. This represents the first theoretical demonstration that the DDPM sampler can adapt to unknown low-dimensional structures in the target distribution, highlighting the critical importance of coefficient design. All of this is achieved by a novel set of analysis tools that characterize the algorithmic dynamics in a more deterministic manner.
academic
স্কোর-ভিত্তিক ডিফিউশন মডেলে অজানা নিম্ন-মাত্রিক কাঠামোর সাথে খাপ খাওয়ানো
এই পেপারটি স্কোর-ভিত্তিক ডিফিউশন মডেলগুলি অধ্যয়ন করে যখন লক্ষ্য বিতরণ উচ্চ-মাত্রিক স্থানে নিম্ন-মাত্রিক ম্যানিফোল্ডের উপর বা কাছাকাছি কেন্দ্রীভূত থাকে, যা প্রাকৃতিক ছবির বিতরণের একটি সাধারণ বৈশিষ্ট্য। যদিও ডিফিউশন মডেলের ডেটা উৎপাদন প্রক্রিয়া বোঝার ক্ষেত্রে পূর্ববর্তী প্রচেষ্টা রয়েছে, তবে নিম্ন-মাত্রিক কাঠামো উপস্থিত থাকলে বিদ্যমান তাত্ত্বিক সমর্থন অত্যন্ত উপ-সর্বোত্তম থাকে। জনপ্রিয় ডিনোইজিং ডিফিউশন প্রোবাবিলিস্টিক মডেল (DDPM) এর জন্য, লেখকরা আবিষ্কার করেছেন যে প্রতিটি ডিনোইজিং ধাপে উৎপাদিত ত্রুটি সাধারণত পরিবেশগত মাত্রা d এর উপর নির্ভরশীল। আরও, লেখকরা একটি অনন্য সহগ ডিজাইন চিহ্নিত করেছেন যা O(k2/T) ক্রমের সংমিশ্রণ হার প্রদান করে (লগারিদমিক ফ্যাক্টর উপেক্ষা করে), যেখানে k হল লক্ষ্য বিতরণের অন্তর্নিহিত মাত্রা এবং T হল ধাপের সংখ্যা। এটি DDPM স্যাম্পলার লক্ষ্য বিতরণে অজানা নিম্ন-মাত্রিক কাঠামোর সাথে খাপ খাইয়ে নিতে পারে এর প্রথম তাত্ত্বিক প্রমাণ, যা সহগ ডিজাইনের গুরুত্বপূর্ণ গুরুত্ব তুলে ধরে।
ডিফিউশন মডেলগুলি উচ্চ-মানের ছবি, অডিও এবং পাঠ্য উৎপাদনে চমৎকার পারফরম্যান্স প্রদর্শন করে, তবে বিদ্যমান তাত্ত্বিক বিশ্লেষণ উল্লেখযোগ্য তাত্ত্বিক-ব্যবহারিক ব্যবধান উপস্থাপন করে। নির্দিষ্টভাবে:
তাত্ত্বিক পূর্বাভাস বনাম প্রকৃত কর্মক্ষমতা ব্যবধান: বিদ্যমান তত্ত্ব নির্দেশ করে যে ε নির্ভুলতা অর্জনের জন্য poly(d)/ε² ধাপের সংখ্যা প্রয়োজন, যেখানে d হল সমস্যার মাত্রা। তবে বাস্তবে, CIFAR-10 (d=32×32×3) শুধুমাত্র 50 ধাপে এবং ImageNet 250 ধাপে ভাল নমুনা উৎপাদন করতে পারে।
নিম্ন-মাত্রিক কাঠামোর সর্বজনীনতা: প্রাকৃতিক ছবির বিতরণ সাধারণত উচ্চ-মাত্রিক স্থানের নিম্ন-মাত্রিক ম্যানিফোল্ডের উপর বা কাছাকাছি কেন্দ্রীভূত থাকে, তবে বিদ্যমান তত্ত্ব এই কাঠামোগত বৈশিষ্ট্য ব্যবহার করতে পারে না।
সহগ ডিজাইনের গুরুত্ব উপেক্ষা করা: বিদ্যমান বিশ্লেষণ DDPM-এ সহগ নির্বাচনের গুরুত্ব সম্পর্কে অপর্যাপ্ত সচেতনতা প্রদর্শন করে।
মাত্রা নির্ভরশীলতা: বিদ্যমান সর্বোত্তম ফলাফল (Benton et al. 2023) এখনও পরিবেশগত মাত্রা d এর উপর রৈখিক নির্ভরশীলতা প্রদর্শন করে
নিম্ন-মাত্রিক কাঠামো ব্যবহার অপর্যাপ্ত: De Bortoli (2022) যদিও নিম্ন-মাত্রিক ম্যানিফোল্ড বিবেচনা করেছে, তবে ত্রুটি সীমানা এখনও পরিবেশগত মাত্রা d এর উপর রৈখিকভাবে নির্ভরশীল এবং ম্যানিফোল্ড ব্যাসের উপর সূচকীয়ভাবে নির্ভরশীল
বিশ্লেষণ সরঞ্জামের সীমাবদ্ধতা: বিদ্যমান বিশ্লেষণ পদ্ধতি নিম্ন-মাত্রিক কাঠামোর ক্ষেত্রে কার্যকরভাবে কাজ করতে পারে না
প্রথম মাত্রা-অভিযোজনশীল তত্ত্ব: প্রমাণ করেছে যে DDPM স্যাম্পলার অজানা নিম্ন-মাত্রিক কাঠামোর সাথে খাপ খাইয়ে নিতে পারে, সংমিশ্রণ হার O(k2/T) (লগারিদমিক ফ্যাক্টর উপেক্ষা করে), যেখানে k হল অন্তর্নিহিত মাত্রা পরিবেশগত মাত্রা d নয়।
অনন্য সহগ ডিজাইন: অনন্য সহগ ডিজাইন ηt∗=1−αt এবং (σt∗)2=1−αˉt(1−αt)(αt−αˉt) চিহ্নিত করেছে, যা প্রতিটি ডিনোইজিং ধাপে পরিবেশগত মাত্রা d এর সাথে সমানুপাতিক বিচ্ছিন্নকরণ ত্রুটি উৎপাদন করে না।
উপন্যাস বিশ্লেষণ সরঞ্জাম: বিকশিত করেছে বিশ্লেষণ সরঞ্জামের একটি নতুন সেট, আরও নির্ধারণীয় উপায়ে অ্যালগরিদম গতিশীলতা চিহ্নিত করতে, উচ্চ-সম্ভাবনা সেট সনাক্তকরণ এবং শর্তসাপেক্ষ ঘনত্ব সংযোগ কৌশল সহ।
সহগ ডিজাইন অনন্যতা প্রমাণ: তাত্ত্বিকভাবে প্রমাণ করেছে যে প্রস্তাবিত সহগ নির্বাচন একটি নির্দিষ্ট অর্থে অনন্য, এই ডিজাইন থেকে বিচ্যুতি পরিবেশগত মাত্রা d এর সাথে সমানুপাতিক ত্রুটির দিকে পরিচালিত করে।
অবক্ষয়িত গাউসিয়ান বিতরণ pdata=N(0,Ik) ব্যবহার করুন একটি পরিচালনাযোগ্য উদাহরণ হিসাবে, যেখানে Ik∈Rd×d হল একটি তির্যক ম্যাট্রিক্স, প্রথম k তির্যক উপাদান 1 এবং বাকিগুলি 0।
লক্ষ্য বিতরণ pdata=N(0,Ik) এর জন্য, সর্বোত্তম সহগ থেকে যেকোনো বিচ্যুতি নিম্নলিখিত দিকে পরিচালিত করে:
Ext∼qt[KL(pXt−1∣Xt(⋅∣xt)∥pYt−1∣Yt(⋅∣xt))]≥4d(ηt−ηt∗)2+40d(σt2(σt∗)2−1)2
প্রথম তাত্ত্বিক প্রমাণ: DDPM স্যাম্পলার অজানা নিম্ন-মাত্রিক কাঠামোর সাথে খাপ খাইয়ে নিতে পারে, সংমিশ্রণ হার অন্তর্নিহিত মাত্রা k এর উপর নির্ভর করে পরিবেশগত মাত্রা d নয়
সহগ ডিজাইন মূল: মাত্রা অভিযোজনযোগ্যতা সম্ভব করে এমন অনন্য সহগ ডিজাইন চিহ্নিত করেছে
তত্ত্ব-ব্যবহার সেতু: ডিফিউশন মডেলের উচ্চ-মাত্রিক ডেটায় উচ্চতর ব্যবহারিক কর্মক্ষমতা ব্যাখ্যা করার জন্য তাত্ত্বিক ভিত্তি প্রদান করেছে
পেপারটি 30টি সম্পর্কিত সাহিত্য উদ্ধৃত করেছে, যা ডিফিউশন মডেল তত্ত্ব, স্টোকাস্টিক প্রক্রিয়া, পরিসংখ্যান শেখার তত্ত্ব এবং অন্যান্য একাধিক ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, এই গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।
সামগ্রিক মূল্যায়ন: এটি ডিফিউশন মডেল তত্ত্বে গুরুত্বপূর্ণ অগ্রগতি সহ একটি পেপার, যা প্রথমবারের মতো তাত্ত্বিকভাবে DDPM এর নিম্ন-মাত্রিক অভিযোজনযোগ্যতা প্রমাণ করেছে, ডিফিউশন মডেলের উচ্চতর ব্যবহারিক কর্মক্ষমতা বোঝার জন্য গুরুত্বপূর্ণ অন্তর্দৃষ্টি প্রদান করেছে। যদিও কিছু প্রযুক্তিগত বিবরণে এখনও উন্নতির অবকাশ রয়েছে, তবে এর তাত্ত্বিক অবদান এবং বিশ্লেষণ সরঞ্জামের উদ্ভাবনী প্রকৃতি এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ অগ্রগতি করে তোলে।