2025-11-20T09:37:15.420376

Benefits and Limitations of Communication in Multi-Agent Reasoning

Rizvi-Martel, Bhattamishra, Rathi et al.

Chain-of-thought prompting has popularized step-by-step reasoning in large language models, yet model performance still degrades as problem complexity and context length grow. By decomposing difficult tasks with long contexts into shorter, manageable ones, recent multi-agent paradigms offer a promising near-term solution to this problem. However, the fundamental capacities of such systems are poorly understood. In this work, we propose a theoretical framework to analyze the expressivity of multi-agent systems. We apply our framework to three algorithmic families: state tracking, recall, and $k$-hop reasoning. We derive bounds on (i) the number of agents required to solve the task exactly, (ii) the quantity and structure of inter-agent communication, and (iii) the achievable speedups as problem size and context scale. Our results identify regimes where communication is provably beneficial, delineate tradeoffs between agent count and bandwidth, and expose intrinsic limitations when either resource is constrained. We complement our theoretical analysis with a set of experiments on pretrained LLMs using controlled synthetic benchmarks. Empirical outcomes confirm the tradeoffs between key quantities predicted by our theory. Collectively, our analysis offers principled guidance for designing scalable multi-agent reasoning systems.

academic

মাল্টি-এজেন্ট রিজনিংয়ে যোগাযোগের সুবিধা এবং সীমাবদ্ধতা

মৌলিক তথ্য

পেপার আইডি: 2510.13903
শিরোনাম: Benefits and Limitations of Communication in Multi-Agent Reasoning
লেখক: Michael Rizvi-Martel, Satwik Bhattamishra, Neil Rathi, Guillaume Rabusseau, Michael Hahn
শ্রেণীবিভাগ: cs.MA cs.AI cs.LG
প্রকাশনার সময়: ২০২৫ সালের ১৪ অক্টোবর (arXiv প্রি-প্রিন্ট)
পেপার লিঙ্ক: https://arxiv.org/abs/2510.13903

সারসংক্ষেপ

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

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

সমস্যার সংজ্ঞা

এই গবেষণার মূল সমস্যা হল: মাল্টি-এজেন্ট যুক্তিবিদ্ধতা সিস্টেমে, যোগাযোগ এবং গতিশীল সম্পদ বরাদ্দ অ্যালগরিদমিক স্তরে প্রমাণিতভাবে উপকারী কাজগুলি বিদ্যমান কিনা?

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

১. বিদ্যমান সীমাবদ্ধতা: যদিও চেইন-অফ-থট (CoT) প্রম্পটিং জটিল যুক্তিবিদ্ধতা সমস্যা মোকাবেলার জন্য একটি মান হয়ে উঠেছে, বড় যুক্তিবিদ্ধতা মডেল (LRM) এর যুক্তিবিদ্ধতা ক্ষমতা সমস্যার উদাহরণের জটিলতা বৃদ্ধি বা প্রসঙ্গের দৈর্ঘ্য বৃদ্ধির সাথে হ্রাস পায়

२. ব্যবহারিক চাহিদা: মাল্টি-এজেন্ট সহযোগিতা পদ্ধতি জটিল কাজগুলিকে সহজ উপসমস্যায় বিভক্ত করে শক্তিশালী কর্মক্ষমতা অর্জন করে, কিন্তু এর তাত্ত্বিক ভিত্তি গভীর বোঝার অভাব রয়েছে

३. তাত্ত্বিক শূন্যতা: যদিও CoT প্রম্পটিং সহ ট্রান্সফর্মার প্রকাশক্ষমতা গভীরভাবে অধ্যয়ন করা হয়েছে, মাল্টি-এজেন্ট যুক্তিবিদ্ধতা স্কিমে যোগাযোগ এবং সম্পদ বরাদ্দের মৌলিক সীমাবদ্ধতা এবং ট্রেড-অফ সম্পর্কে খুব কম জানা যায়

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

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

মূল অবদান

१. তাত্ত্বিক কাঠামো: ট্রান্সফর্মার প্রকাশক্ষমতার সমৃদ্ধ সাহিত্যের উপর ভিত্তি করে মাল্টি-এজেন্ট যুক্তিবিদ্ধতা সিস্টেমের একটি আনুষ্ঠানিকীকরণ প্রস্তাব করে

२. অ্যালগরিদমিক সীমানা: তিনটি ভিন্ন অ্যালগরিদম কাজের পরিবারের জন্য (স্মরণ, অবস্থা ট্র্যাকিং এবং কে-হপ যুক্তিবিদ্ধতা) এজেন্টের সংখ্যা এবং যোগাযোগের চাহিদার সীমানা প্রকাশ করে, এই সম্পদগুলির মধ্যে ট্রেড-অফ তুলে ধরে

३. অভিজ্ঞতামূলক যাচাইকরণ: তাত্ত্বিক দ্বারা দেওয়া সর্বোত্তম যোগাযোগ প্রোটোকল বাস্তবায়ন করে, তাত্ত্বিক অন্তর্দৃষ্টির অভিজ্ঞতামূলক যাচাইকরণ প্রদান করে, যা নির্ভুলতা, যোগাযোগ এবং টোকেন ব্যবহারের ক্ষেত্রে কর্মক্ষমতা তাত্ত্বিক পূর্বাভাসের সাথে ঘনিষ্ঠভাবে সামঞ্জস্যপূর্ণ

४. তিনটি প্রক্রিয়া চিহ্নিতকরণ: মাল্টি-এজেন্ট কাজের তিনটি ভিন্ন প্রক্রিয়া প্রকাশ করে, প্রতিটি প্রাকৃতিক কাজের উদাহরণ দ্বারা তাৎক্ষণিক যা ব্যাপক প্রাসঙ্গিকতা রয়েছে

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

তাত্ত্বিক মডেল

ট্রান্সফর্মার মডেল

লেখকরা কার্যকারণ মাস্ক (শুধুমাত্র ডিকোডার) অনন্য হার্ড অ্যাটেনশন ট্রান্সফর্মার (UHAT) অনুমান করেন, যা একটি জনপ্রিয় বিমূর্তকরণ যেখানে অ্যাটেনশন হেড মনোযোগ সর্বাধিক করে এমন অবস্থানে মনোযোগ কেন্দ্রীভূত করে:

UHAT(A)_{i,j} = {1 if j = argmax A_{i,:}, 0 else}

মাল্টি-এজেন্ট সিস্টেমের আনুষ্ঠানিকীকরণ

সংজ্ঞা ३.१ (মাল্টি-এজেন্ট সিস্টেম): একটি মাল্টি-এজেন্ট সিস্টেম A স্ট্রিং x ∈ S কে w(x) ≤ |x| এজেন্ট সহ লেবেল করা DAG A(x) এ ম্যাপ করে, যেখানে:

প্রতিটি নোড অনন্যভাবে T^{(t)}_i হিসাবে লেবেল করা হয়, যা সময় t এ এজেন্ট i এর অবস্থা প্রতিনিধিত্ব করে
দুটি প্রান্তের ধরন সংজ্ঞায়িত করে:
- যোগাযোগ প্রান্ত {c, σ}: বিভিন্ন এজেন্টদের মধ্যে প্রতীক যোগাযোগ করে
- CoT প্রান্ত {a, σ}: মডেলের স্বয়ংক্রিয় ডিকোডিংয়ের সাথে সামঞ্জস্যপূর্ণ

সংজ্ঞা ३.२ (জটিলতা):

গণনা গভীরতা: গ্রাফে দীর্ঘতম পথের দৈর্ঘ্য (প্রাচীর ঘড়ির সময়ের প্রতিনিধি)
প্রস্থ: সিস্টেমে এজেন্টের সংখ্যা
আকার: গ্রাফে নোডের মোট সংখ্যা
যোগাযোগ বাজেট: আউটবাউন্ড যোগাযোগ প্রান্ত সহ নোডের সংখ্যা

তিনটি অ্যালগরিদম পরিবার বিশ্লেষণ

१. সহযোগী স্মরণ (Associative Recall)

কাজ: একাধিক কী-মূল্য জোড়া এবং একটি প্রশ্ন কী দেওয়া হলে, এজেন্টগুলি অবশ্যই সম্পর্কিত মূল্য ফেরত দেবে।

ফলাফল:

গণনা গভীরতা: O(१)
এজেন্টের সংখ্যা: w(N), ব্লক আকার: N/w(N)
যোগাযোগ বাজেট: O(१)
আকার: O(w(N))

२. অবস্থা ট্র্যাকিং (State Tracking)

কাজ: একটি সীমিত মনোয়েড উপর অবস্থা ট্র্যাকিং সমস্যা, m₀ · m₁ · ... · mₖ মূল্যায়ন হিসাবে আনুষ্ঠানিক।

ফলাফল:

গণনা গভীরতা: O(log w(N) + N/w(N))
এজেন্টের সংখ্যা: w(N), ব্লক আকার: N/w(N)
যোগাযোগ বাজেট: O(w(N))
আকার: N

३. কে-হপ যুক্তিবিদ্ধতা

কাজ: N টি তথ্য এবং কে-হপ প্রশ্ন f₁(...(fₖ(x))...) দেওয়া হলে, এজেন্টগুলি পুনরাবৃত্তিমূলক অনুসন্ধান করতে হবে।

ফলাফল:

গণনা গভীরতা: O(k)
এজেন্টের সংখ্যা: w(k), ব্লক আকার: N/w(k)
যোগাযোগ বাজেট: O(k)
আকার: O(wk)

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

ডেটাসেট

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

মূল্যায়ন মেট্রিক্স

নির্ভুলতা: কাজ সম্পূর্ণের সঠিক হার
গণনা গভীরতা: প্রোটোকল সম্পাদনের পদক্ষেপ সংখ্যা
যোগাযোগ খরচ: এজেন্টদের মধ্যে স্থানান্তরিত টোকেনের সংখ্যা

তুলনামূলক পদ্ধতি

সংখ্যাগরিষ্ঠ ভোট (Majority Voting): স্ব-সামঞ্জস্যতা ভিত্তিরেখা
চেইন অফ এজেন্ট (CoA): অনুরূপ তাত্ত্বিক সর্বোত্তম প্রোটোকলের বাস্তবায়ন
উপসর্গ যোগফল (Prefix Sum): অবস্থা ট্র্যাকিংয়ের তাত্ত্বিক সর্বোত্তম প্রোটোকল
পুনরাবৃত্তিমূলক প্রশ্ন (Iterative Query): কে-হপ যুক্তিবিদ্ধতার সর্বোত্তম প্রোটোকল

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

মডেল: Llama-३.३-७०B-Instruct-Turbo এবং Llama-३.१-८B-Instruct-Turbo
প্ল্যাটফর্ম: TogetherAI API
পরীক্ষার সংখ্যা: প্রতিটি সেটিংয়ের জন্য १०० বার চালান, বীজ ४२ এ সেট করা
এজেন্ট কনফিগারেশন: সংখ্যাগরিষ্ঠ ভোট ८ টি এজেন্ট ব্যবহার করে

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

প্রধান ফলাফল

সহযোগী স্মরণ

ছোট সিকোয়েন্সে (६४-५१२), উভয় মডেল একইভাবে কাজ করে
দৈর্ঘ্য বৃদ্ধির সাথে, মাল্টি-এজেন্ট পদ্ধতি একটি সুবিধা অর্জন করে
তাত্ত্বিক বোঝার সাথে সামঞ্জস্যপূর্ণ: স্মরণ একটি ট্রান্সফর্মার-সহজ কাজ, ছোট সিকোয়েন্সে যোগাযোগ ওভারহেড ক্ষতিকারক হতে পারে

অবস্থা ট্র্যাকিং (প্যারিটি)

উপসর্গ যোগফল সর্বদা অন্যান্য পদ্ধতির চেয়ে উন্নত, বিশেষত সিকোয়েন্স দৈর্ঘ্য বৃদ্ধির সাথে
সংখ্যাগরিষ্ঠ ভোটের তুলনায়, CoA দীর্ঘ সিকোয়েন্সে কম অবনতি হয়
যোগাযোগ গভীরতা এবং মোট যোগাযোগের পরিমাণের মধ্যে ট্রেড-অফ তাত্ত্বিক পূর্বাভাসের N/w(N) গভীরতা বনাম w(N) যোগাযোগ ট্রেড-অফের সাথে সামঞ্জস্যপূর্ণ

কে-হপ যুক্তিবিদ্ধতা

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

বিলোপন পরীক্ষা

লেখকরা উপসর্গ যোগফল প্রোটোকলের শাখা ফ্যাক্টর পরিবর্তন করে প্যারেটো সীমান্ত গ্রাফ তৈরি করে, গণনা গভীরতা এবং যোগাযোগের মধ্যে ট্রেড-অফ সম্পর্ক যাচাই করে।

পরীক্ষামূলক অনুসন্ধান

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

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

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

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

সীমাবদ্ধতা

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

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

१. সম্প্রসারিত কাজ: গ্রাফ পৌঁছানোর মতো অন্যান্য অ্যালগরিদমিক কাজে কাঠামো প্রয়োগ করা २. মাল্টি-এজেন্ট প্যারাডাইম: প্রতিদ্বন্দ্বী খেলা বা সহযোগী শক্তিশালী শেখার কাজে সম্প্রসারণ ३. ব্যবহারিক প্রোটোকল ডিজাইন: তাত্ত্বিক অন্তর্দৃষ্টির উপর ভিত্তি করে নতুন মাল্টি-এজেন্ট সিস্টেম ডিজাইন করা

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

শক্তি

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

অপূর্ণতা

१. কাজের সীমাবদ্ধতা: তিনটি অ্যালগরিদম পরিবার সমস্ত গুরুত্বপূর্ণ যুক্তিবিদ্ধতা পরিস্থিতি কভার করতে যথেষ্ট নাও হতে পারে २. ব্যবহারিক প্রয়োগ ফাঁক: সিন্থেটিক কাজ এবং প্রকৃত NLP কাজের মধ্যে পার্থক্য বিদ্যমান ३. মডেল সরলীকরণ: UHAT মডেল তাত্ত্বিকভাবে যুক্তিসঙ্গত হলেও প্রকৃত মডেলের সাথে এখনও পার্থক্য রয়েছে

প্রভাব

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

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

१. দীর্ঘ নথি প্রক্রিয়াকরণ: নথি সংক্ষিপ্তকরণ, প্রশ্ন-উত্তর সিস্টেম २. জ্ঞান গ্রাফ যুক্তিবিদ্ধতা: মাল্টি-হপ সম্পর্ক প্রশ্ন ३. জটিল গণনা কাজ: বিভাজন প্রয়োজন এমন বড় আকারের যুক্তিবিদ্ধতা সমস্যা

সংদর্ভ

१. Wei, J. et al. (२०२२). Chain-of-thought prompting elicits reasoning in large language models. NeurIPS. २. Zhang, Y. et al. (२०२४b). Chain of agents: Large language models collaborating on long-context tasks. NeurIPS. ३. Merrill, W. & Sabharwal, A. (२०२३). The expressive power of transformers with chain of thought. arXiv preprint. ४. Amiri, A. et al. (२०२५). Lower bounds for chain-of-thought reasoning in hard-attention transformers. ICML.

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