2025-11-13T00:34:10.513475

Compositional Symmetry as Compression: Lie Pseudogroup Structure in Algorithmic Agents

Ruffini

In the algorithmic (Kolmogorov) view, agents are programs that track and compress sensory streams using generative programs. We propose a framework where the relevant structural prior is simplicity (Solomonoff) understood as \emph{compositional symmetry}: natural streams are well described by (local) actions of finite-parameter Lie pseudogroups on geometrically and topologically complex low-dimensional configuration manifolds (latent spaces). Modeling the agent as a generic neural dynamical system coupled to such streams, we show that accurate world-tracking imposes (i) \emph{structural constraints} -- equivariance of the agent's constitutive equations and readouts -- and (ii) \emph{dynamical constraints}: under static inputs, symmetry induces conserved quantities (Noether-style labels) in the agent dynamics and confines trajectories to reduced invariant manifolds; under slow drift, these manifolds move but remain low-dimensional. This yields a hierarchy of reduced manifolds aligned with the compositional factorization of the pseudogroup, providing a geometric account of the ``blessing of compositionality'' in deep models. We connect these ideas to the Spencer formalism for Lie pseudogroups and formulate a symmetry-based, self-contained version of predictive coding in which higher layers receive only \emph{coarse-grained residual transformations} (prediction-error coordinates) along symmetry directions unresolved at lower layers.

academic

রচনামূলক প্রতিসাম্য সংকোচন হিসাবে: অ্যালগরিদমিক এজেন্টে লাই সিউডোগ্রুপ কাঠামো

মৌলিক তথ্য

পেপার আইডি: 2510.10586
শিরোনাম: Compositional Symmetry as Compression: Lie Pseudogroup Structure in Algorithmic Agents
লেখক: Giulio Ruffini (Neuroelectrics, Starlab, BCOM, বার্সেলোনা, স্পেন)
শ্রেণীবিভাগ: cs.LG cs.AI cs.IT math.IT q-bio.NC
প্রকাশনা সময়/সম্মেলন: পর্যালোচনাধীন - প্রসিডিংস ট্র্যাক ২০২৫
পেপার লিঙ্ক: https://arxiv.org/abs/2510.10586

সারসংক্ষেপ

এই পেপারটি অ্যালগরিদমিক তথ্য তত্ত্ব (কলমোগোরভ তত্ত্ব) কাঠামোর উপর ভিত্তি করে প্রস্তাব করে যে এজেন্টগুলি হল প্রোগ্রাম যা সংবেদনশীল প্রবাহ ট্র্যাক এবং সংকুচিত করার জন্য প্রোগ্রাম তৈরি করে। লেখক একটি কাঠামো প্রস্তাব করেন যা প্রাসঙ্গিক কাঠামোগত পূর্বধারণাগুলিকে রচনামূলক প্রতিসাম্য হিসাবে বোঝেন: প্রাকৃতিক ডেটা প্রবাহগুলি সীমিত প্যারামিটার লাই সিউডোগ্রুপের স্থানীয় ক্রিয়া দ্বারা জ্যামিতিক এবং টপোলজিক্যালি জটিল নিম্ন-মাত্রিক কনফিগারেশন ম্যানিফোল্ডে ভালভাবে বর্ণনা করা যায়। এজেন্টগুলিকে এই ধরনের ডেটা প্রবাহের সাথে যুক্ত সর্বজনীন স্নায়ু গতিশীল সিস্টেম হিসাবে মডেল করে, পেপারটি দেখায় যে সঠিক বিশ্ব ট্র্যাকিংয়ের প্রয়োজন: (১) কাঠামোগত সীমাবদ্ধতা — এজেন্ট গঠনমূলক সমীকরণ এবং পাঠানোর সমতুল্যতা; (२) গতিশীল সীমাবদ্ধতা — স্থির ইনপুটের অধীনে, প্রতিসাম্য এজেন্ট গতিশীলতায় সংরক্ষণ পরিমাণ প্রবর্তন করে এবং ট্র্যাজেক্টোরিগুলিকে হ্রাসকৃত অপরিবর্তনীয় ম্যানিফোল্ডে সীমাবদ্ধ করে। এটি সিউডোগ্রুপ রচনামূলক বিয়োগের সাথে সংযুক্ত হ্রাসকৃত ম্যানিফোল্ডের একটি শ্রেণিবদ্ধ কাঠামো তৈরি করে, গভীর মডেলে "রচনামূলকতার আশীর্বাদ" এর জন্য একটি জ্যামিতিক ব্যাখ্যা প্রদান করে।

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

মূল সমস্যা

এই পেপারটি যে মূল সমস্যাটি সমাধান করতে চায় তা হল: কীভাবে অ্যালগরিদমিক এজেন্টগুলির জন্য প্রতিসাম্য-ভিত্তিক একটি তাত্ত্বিক কাঠামো তৈরি করা যায় যাতে এটি রচনামূলক কাঠামো সহ প্রাকৃতিক ডেটা প্রবাহকে কার্যকরভাবে সংকুচিত এবং ট্র্যাক করতে পারে?

গবেষণার গুরুত্ব

১. সংকোচন এবং কাঠামো আবিষ্কার: কলমোগোরভ তত্ত্ব কাঠামোর অধীনে, এজেন্টের মূল কাজ হল পরিবেশ বোঝার জন্য সংকোচন মডেল তৈরি করা, যখন প্রতিসাম্য প্রাকৃতিক কাঠামোগত সংকোচন প্রক্রিয়া প্রদান করে। २. গভীর শিক্ষার তাত্ত্বিক ভিত্তি: গভীর মডেলগুলির শ্রেণিবদ্ধ কাজগুলিতে উচ্চতর নমুনা জটিলতার জন্য গাণিতিক তাত্ত্বিক ব্যাখ্যা প্রদান করা। ३. পূর্বাভাসমূলক কোডিংয়ের জ্যামিতিক ভিত্তি: পূর্বাভাসমূলক কোডিংয়ের জন্য প্রতিসাম্য-ভিত্তিক জ্যামিতিক তাত্ত্বিক কাঠামো প্রদান করা।

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

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

মূল অবদান

१. লাই সিউডোগ্রুপ-ভিত্তিক জেনারেটিভ মডেল কাঠামো প্রস্তাব: জেনারেটিভ মডেলগুলিকে কনফিগারেশন ম্যানিফোল্ডে সীমিত প্যারামিটার লাই সিউডোগ্রুপের স্থানীয় ক্রিয়া হিসাবে সংজ্ঞায়িত করা। २. প্রতিসাম্য সীমাবদ্ধতার বিশ্ব ট্র্যাকিং গতিশীলতা তত্ত্ব প্রতিষ্ঠা: প্রমাণ করা যে সঠিক ট্র্যাকিংয়ের জন্য সমতুল্যতা সীমাবদ্ধতা এবং নোথার-শৈলী সংরক্ষণ পরিমাণ প্রয়োজন। ३. শ্রেণিবদ্ধ হ্রাসকরণের জ্যামিতিক তত্ত্ব নির্মাণ: সিউডোগ্রুপের রচনামূলক বিয়োগের মাধ্যমে নেস্টেড অপরিবর্তনীয় ম্যানিফোল্ডের শ্রেণিবদ্ধ কাঠামো প্রতিষ্ঠা করা। ४. প্রতিসাম্য-ভিত্তিক পূর্বাভাসমূলক কোডিং বাস্তবায়ন প্রদান: শ্রেণিবদ্ধ পূর্বাভাসমূলক প্রক্রিয়াকরণ আনুষ্ঠানিক করা, যেখানে উচ্চতর স্তরগুলি শুধুমাত্র মোটা-দানাদার অবশিষ্ট রূপান্তর গ্রহণ করে। ५. স্পেন্সার আনুষ্ঠানিকতা তত্ত্বের সাথে সংযোগ: লাই সিউডোগ্রুপের স্পেন্সার কমপ্লেক্সকে এজেন্টের শ্রেণিবদ্ধ কাঠামোর সাথে সংযুক্ত করা।

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

কাজের সংজ্ঞা

এই পেপারটি যে মূল কাজটি অধ্যয়ন করে তা হল এমন অ্যালগরিদমিক এজেন্ট তৈরি করা যা রচনামূলক প্রতিসাম্য সহ সংবেদনশীল ডেটা প্রবাহকে ট্র্যাক এবং সংকুচিত করতে পারে। ইনপুট হল লাই সিউডোগ্রুপ দ্বারা উত্পাদিত ডেটা প্রবাহ, আউটপুট হল এজেন্টের অভ্যন্তরীণ অবস্থা প্রতিনিধিত্ব এবং বিশ্ব ট্র্যাকিং কর্মক্ষমতা।

তাত্ত্বিক কাঠামো

१. জেনারেটিভ মডেল সংজ্ঞা

সংজ্ঞা १ (জেনারেটিভ মডেল): জেনারেটিভ মডেল হল M-মাত্রিক কনফিগারেশন ম্যানিফোল্ড C থেকে পর্যবেক্ষণ স্থান R^X পর্যন্ত একটি মসৃণ ম্যাপিং:

f: C → R^X, I = f(c)

সংজ্ঞা २ (লাই জেনারেটিভ মডেল): যদি একটি লাই সিউডোগ্রুপ G বিদ্যমান থাকে যা C এবং R^X-এ কাজ করে, যেমন যেকোনো c ∈ C-এর জন্য, একটি γ ∈ G বিদ্যমান থাকে যা সন্তুষ্ট করে:

c = γ·c₀, f(c) = γ·I₀

তাহলে f কে লাই জেনারেটিভ মডেল বলা হয়।

२. বিশ্ব ট্র্যাকিং গতিশীলতা

এজেন্টের উচ্চ-মাত্রিক অবস্থা x ∈ R^X স্নায়ু নেটওয়ার্ক সমীকরণ মেনে চলে:

ẋ = F(x; w, I_θ(t))  (२)

বিশ্ব ট্র্যাকিং সীমাবদ্ধতা হল:

p(x(t)) ≈ I_θ(t)  (३)

३. সমতুল্যতা প্রয়োজনীয়তা

কার্যকর ট্র্যাকিংয়ের জন্য অভ্যন্তরীণ গতিশীলতা একই গ্রুপ ক্রিয়া সম্মান করতে হবে:

∀γ ∈ G: f(γ·x; w, γ·I_θ) = γ·f(x; w, I_θ)
p(γ·x) = γ·p(x)  (४)

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. রচনামূলক প্রতিসাম্যের পুনরাবৃত্তিমূলক কাঠামো

লাই সিউডোগ্রুপের সূচকীয় ম্যাপিং ব্যবহার করে, জটিল রূপান্তরগুলি বিয়োজিত করা যায়:

γ = exp(∑ᵣₖ₌₁ θₖTᵏ)

এটি পুনরাবৃত্তিমূলক রচনামূলক প্যারামিটারকরণ প্রদান করে, কাঠামোগত সংকোচন বাস্তবায়ন করে।

२. নোথার-শৈলী সংরক্ষণ পরিমাণ

স্থির ইনপুটের অধীনে, সমতুল্যতা পাঠান অপরিবর্তনীয়তা প্রবর্তন করে: p(x) = const, প্রতিটি পাঠান চ্যানেল একটি সংরক্ষণ পরিমাণ সংজ্ঞায়িত করে, ট্র্যাজেক্টোরিগুলি (X-Y)-মাত্রিক পর্যায় স্থান পাতায় সীমাবদ্ধ।

३. শ্রেণিবদ্ধ মোটা-দানাদার করা

সাব-সিউডোগ্রুপ ফ্ল্যাগের মাধ্যমে:

G = H₀ ⊃ H₁ ⊃ ... ⊃ H_L

নেস্টেড হ্রাসকৃত ম্যানিফোল্ড নির্মাণ:

M₀ ⊃ M₁ := M₀/H₁ ⊃ ... ⊃ M_L

४. পূর্বাভাসমূলক স্তর বাস্তবায়ন

প্রতিটি স্তর k পূর্বাভাস দেয় Îₖ = γ̂ₖ·I₀, অবশিষ্ট গণনা করে:

rₖ := γ̂ₖ⁻¹·I_θ(t) - I₀  (८)

মোটা-দানাদার অপারেটর প্রয়োগ করে:

mₖ→ₖ₊₁ := Cₖ→ₖ₊₁(rₖ)  (९)

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

ধারণা যাচাইকরণ: ব্লেন্ডার বিড়াল মডেল

পেপারটি সংযোজনে একটি নির্দিষ্ট বাস্তবায়ন উদাহরণ প্রদান করে, লাই সিউডোগ্রুপ শ্রেণিবদ্ধ কাঠামোর ব্যবহারিক প্রয়োগ হিসাবে ব্লেন্ডার সফটওয়্যারের বিড়াল চরিত্র সমাবেশ (rig) ব্যবহার করে:

শ্রেণিবদ্ধ কাঠামো ম্যাপিং

१. স্তর १: ক্যামেরা এবং লেন্স - SE(३) × R २. স্তর २: বৈশ্বিক শরীর/মূল - SE(३)
३. স্তর ३: ধড়/মেরুদণ্ড শৃঙ্খল - R^n_spine ४. স্তর ४: অঙ্গ/পাঞ্জা/লেজ - R^n_limb ५. স্তর ५: মুখের মরফোলজি - R^d_face ६. স্তর ६: চেহারা/চুল/উপাদান - R^d_mat ७. স্তর ७: আলো এবং পরিবেশ - SE(३) × R^d_SH

রচনামূলক ক্রিয়া বাস্তবায়ন

পণ্য সূচকীয় (Product of Exponentials, PoE) মডেল ব্যবহার করে:

T(θ) = (∏ₙ∈chain e^[Sₙ]θₙ) M

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

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

१. সমতুল্যতা সীমাবদ্ধতা: প্রমাণ করা হয়েছে যে ট্র্যাকিং সীমাবদ্ধতা এবং অপরিবর্তনীয়তার সামঞ্জস্যের জন্য সমতুল্যতা প্রয়োজন। २. সংরক্ষণ আইন: স্থির ইনপুটের অধীনে, প্রতিটি পাঠান চ্যানেল সংরক্ষণ পরিমাণ সংজ্ঞায়িত করে। ३. হ্রাসকরণ সীমাবদ্ধতা: ট্র্যাজেক্টোরিগুলি নিম্ন-মাত্রিক অপরিবর্তনীয় পাতায় সীমাবদ্ধ। ४. শ্রেণিবদ্ধ সামঞ্জস্য: স্পেন্সার কমপ্লেক্স শ্রেণিবদ্ধ সীমাবদ্ধতার সমন্বয়যোগ্যতা নিশ্চিত করে।

ধারণা বাস্তবায়ন

ব্লেন্ডার উদাহরণ প্রদর্শন করে:

স্থানীয় গ্রুপ বিয়োজন γ = γ^(७)γ^(६)...γ^(१) এর ব্যবহারিক বাস্তবায়ন
নেস্টেড ভাগফল স্থান Mₖ = Mₖ₋₁/Hₖ এর জ্যামিতিক অর্থ
ভাগফল দিকনির্দেশনায় পূর্বাভাসমূলক অবশিষ্টের প্রচার প্রক্রিয়া

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

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

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

সীমাবদ্ধতা

१. স্থানীয়তা অনুমান: সমস্ত নির্মাণ স্থানীয়, বৈশ্বিক বিবৃতিগুলির জন্য অতিরিক্ত সামঞ্জস্য শর্ত প্রয়োজন। २. জটিল সুপ্ত স্থান: যখন জেনারেটিভ মডেলের সুপ্ত স্থান অত্যন্ত জটিল হয় তখন ব্যর্থ হতে পারে। ३. ব্যবহারিক বাস্তবায়ন চ্যালেঞ্জ: তত্ত্ব থেকে প্রকৃত স্নায়ু নেটওয়ার্ক বাস্তবায়নে ফাঁক বিদ্যমান।

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

१. র্যান্ডম ইনপুট সাধারণীকরণ: র্যান্ডম ইনপুটে প্রসারিত করা এবং শক্তিশালীতা বিশ্লেষণ করা। २. লিয়াপুনভ অপারেটর উন্নয়ন: বিশ্ব ট্র্যাকিং সমস্যার জন্য কার্যকর K অপারেটর উন্নয়ন করা। ३. অভিজ্ঞতামূলক যাচাইকরণ: নিয়ন্ত্রিত উত্পাদিত প্রতিসাম্যের অধীনে সমতুল্য স্থাপত্য পরীক্ষা করা। ४. স্পেন্সার নির্ভুলতা: স্পেন্সার নির্ভুলতা, মডেল স্থান এবং প্রকৃত শিক্ষা সিস্টেমের সমন্বয়যোগ্যতা গ্যারান্টির সাথে আনুষ্ঠানিক সংযোগ স্থাপন করা।

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

শক্তি

१. তাত্ত্বিক উদ্ভাবনী: লাই সিউডোগ্রুপ তত্ত্বকে অ্যালগরিদমিক এজেন্ট তত্ত্বের সাথে উদ্ভাবনীভাবে সংযুক্ত করা। २. গাণিতিক কঠোরতা: কঠোর গাণিতিক আনুষ্ঠানিকতা প্রদান করা, একাধিক গাণিতিক ক্ষেত্র সংযুক্ত করা। ३. একীভূতকরণ: সংকোচন, প্রতিসাম্য, শ্রেণিবদ্ধ শিক্ষাকে একটি একক কাঠামোতে একীভূত করা। ४. ব্যবহারিক নির্দেশনা: সমতুল্য নেটওয়ার্ক ডিজাইনের জন্য তাত্ত্বিক নির্দেশনা প্রদান করা। ५. আন্তঃশাস্ত্রীয় মূল্য: গণিত, মেশিন লার্নিং, স্নায়ু বিজ্ঞান এবং অন্যান্য ক্ষেত্র সংযুক্ত করা।

অপূর্ণতা

१. পরীক্ষামূলক যাচাইকরণ অপর্যাপ্ত: প্রধানত তাত্ত্বিক কাজ, পর্যাপ্ত পরীক্ষামূলক যাচাইকরণের অভাব। २. জটিলতা: গাণিতিক আনুষ্ঠানিকতা অত্যন্ত জটিল, ব্যবহারিক প্রয়োগ সীমাবদ্ধ করতে পারে। ३. অনুমান সীমাবদ্ধতা: ডেটা সত্যিই লাই সিউডোগ্রুপ দ্বারা উত্পাদিত হয় এই অনুমানের উপর নির্ভরশীল। ४. বাস্তবায়ন বিবরণ অভাব: তত্ত্ব থেকে প্রকৃত অ্যালগরিদম বাস্তবায়নের বিবরণ যথেষ্ট নয়।

প্রভাব

१. তাত্ত্বিক অবদান: গভীর শিক্ষার গাণিতিক ভিত্তির জন্য নতুন দৃষ্টিভঙ্গি প্রদান করা। २. পদ্ধতিগত মূল্য: প্রতিসাম্য-সচেতন স্নায়ু স্থাপত্য ডিজাইনের জন্য নির্দেশনা প্রদান করা। ३. আন্তঃশাস্ত্রীয় প্রভাব: গণনামূলক স্নায়ু বিজ্ঞান, রোবোটিক্স এবং অন্যান্য ক্ষেত্রকে প্রভাবিত করতে পারে। ४. দীর্ঘমেয়াদী মূল্য: প্রতিষ্ঠিত তাত্ত্বিক কাঠামো দীর্ঘমেয়াদী গবেষণা মূল্য রাখে।

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

१. স্পষ্ট প্রতিসাম্য সহ ডোমেইন: রোবোটিক্স, কম্পিউটার দৃষ্টিতে জ্যামিতিক রূপান্তর। २. শ্রেণিবদ্ধ ডেটা: প্রাকৃতিক শ্রেণিবদ্ধ কাঠামো সহ ডেটা প্রকার। ३. সংকোচন কাজ: কাঠামোগত সংকোচন প্রয়োজন এমন প্রয়োগ। ४. পূর্বাভাসমূলক কোডিং সিস্টেম: তাত্ত্বিক ভিত্তি প্রয়োজন এমন পূর্বাভাসমূলক কোডিং বাস্তবায়ন।

রেফারেন্স

পেপারটি সমৃদ্ধ সম্পর্কিত কাজ উদ্ধৃত করে, যার মধ্যে রয়েছে:

Cover & Thomas (२००६): অ্যালগরিদমিক তথ্য তত্ত্বের ভিত্তি
Goldschmidt (१९६७), Seiler (२०१०): লাই সিউডোগ্রুপের স্পেন্সার তত্ত্ব
Poggio et al. (२०१६, २०२०): গভীর শিক্ষার রচনামূলকতা তত্ত্ব
Friston (२०१८): পূর্বাভাসমূলক কোডিং তত্ত্ব
Lynch & Park (२०१७): আধুনিক রোবোটিক্সে লাই গ্রুপ পদ্ধতি

সামগ্রিক মূল্যায়ন: এটি একটি অত্যন্ত তাত্ত্বিক কাজ যা অ্যালগরিদমিক এজেন্টগুলির জন্য লাই সিউডোগ্রুপ-ভিত্তিক গাণিতিক তাত্ত্বিক কাঠামো প্রতিষ্ঠা করার চেষ্টা করে। যদিও গাণিতিক আনুষ্ঠানিকতা কঠোর এবং উদ্ভাবনী, এর ব্যবহারিক মূল্য প্রমাণ করতে আরও পরীক্ষামূলক যাচাইকরণ প্রয়োজন। এই কাজটি গভীর শিক্ষায় প্রতিসাম্য এবং শ্রেণিবদ্ধ কাঠামো বোঝার জন্য নতুন গাণিতিক সরঞ্জাম প্রদান করে, যার উল্লেখযোগ্য তাত্ত্বিক তাৎপর্য রয়েছে।