We introduce a new quasi-isometry invariant for finitely generated groups and show that every group with this property admits a subshift which is effectively closed by patterns and that cannot be realized as the topological factor of any subshift of finite type. We provide several examples of groups with the property, such as amenable groups, multi-ended groups, generalized Baumslag-Solitar groups, fundamental groups of surfaces, and cocompact Fuchsian groups.
- পত্র ID: 2510.10291
- শিরোনাম: গোষ্ঠীর জন্য স্ব-অনুকরণে জ্যামিতিক বাধা
- লেখক: Sebastián Barbieri, Kanéda Blot, Mathieu Sablik, Ville Salo
- শ্রেণীবিভাগ: math.GR (গোষ্ঠী তত্ত্ব), math.DS (গতিশীল ব্যবস্থা)
- প্রকাশনার সময়: ২০২৫ সালের ১১ অক্টোবর
- পত্রের লিঙ্ক: https://arxiv.org/abs/2510.10291
এই পত্রটি সীমিত উৎপাদিত গোষ্ঠীর একটি নতুন প্রায়-সমদূরত্ব অপরিবর্তনীয় প্রবর্তন করে এবং প্রমাণ করে যে এই বৈশিষ্ট্যযুক্ত প্রতিটি গোষ্ঠী একটি প্যাটার্ন-কার্যকর বন্ধ উপ-স্থানান্তর স্বীকার করে, যা কোনো সীমিত প্রকার উপ-স্থানান্তরের স্থলাকৃতিগত উৎপাদক হিসাবে উপলব্ধি করা যায় না। নিবন্ধটি এই বৈশিষ্ট্যযুক্ত একাধিক গোষ্ঠীর উদাহরণ প্রদান করে, যার মধ্যে রয়েছে প্রান্তহীন গোষ্ঠী, বহু-প্রান্ত গোষ্ঠী, সাধারণীকৃত Baumslag-Solitar গোষ্ঠী, পৃষ্ঠ মৌলিক গোষ্ঠী এবং সংক্ষিপ্ত Fuchsian গোষ্ঠী।
- মূল সমস্যা: সীমিত উৎপাদিত গোষ্ঠীর উপর কার্যকর উপ-স্থানান্তর কোনগুলি sofic উপ-স্থানান্তর নয় তা অধ্যয়ন করা। এটি প্রতীকী গতিশীলতা এবং গোষ্ঠী তত্ত্বের ছেদ ক্ষেত্রে একটি মৌলিক সমস্যা।
- সমস্যার গুরুত্ব:
- গোষ্ঠীর জ্যামিতিক বৈশিষ্ট্য কীভাবে এর উপর গতিশীল ব্যবস্থার বাস্তবায়নযোগ্যতাকে প্রভাবিত করে তা বোঝা
- সীমিত প্রকার উপ-স্থানান্তর (SFT) এর প্রকাশনা ক্ষমতার সীমানা অন্বেষণ করা
- গোষ্ঠী তত্ত্বে প্রায়-সমদূরত্ব অপরিবর্তনীয়গুলিকে গতিশীল ব্যবস্থা তত্ত্বের সাথে সংযুক্ত করা
- বিদ্যমান পদ্ধতির সীমাবদ্ধতা:
- এটি ইতিমধ্যে জানা যায় যে প্রান্তহীন গোষ্ঠী এবং বহু-প্রান্ত গোষ্ঠী স্ব-অনুকরণযোগ্য নয়, কিন্তু একটি একীভূত জ্যামিতিক বৈশিষ্ট্যকরণের অভাব রয়েছে
- আয়না স্থানান্তর যুক্তি প্রধানত গোষ্ঠীর প্রান্তহীনতার উপর নির্ভর করে, প্রয়োগের পরিধি সীমিত
- অ-স্ব-অনুকরণযোগ্য গোষ্ঠীগুলি সনাক্ত করার জন্য সাধারণ জ্যামিতিক মানদণ্ডের অভাব রয়েছে
- গবেষণা প্রেরণা: একটি প্রায়-সমদূরত্ব অপরিবর্তনীয় জ্যামিতিক বৈশিষ্ট্য খুঁজে বের করা যা সমস্ত পরিচিত অ-স্ব-অনুকরণযোগ্য গোষ্ঠীর উদাহরণগুলিকে একীভূতভাবে ব্যাখ্যা করতে পারে এবং নতুন উদাহরণ আবিষ্কার করতে পারে।
- "Extraterrestrial" বৈশিষ্ট্য প্রবর্তন: সীমিত উৎপাদিত গোষ্ঠীর একটি নতুন প্রায়-সমদূরত্ব অপরিবর্তনীয়, গোষ্ঠীর Cayley গ্রাফে UFO কাঠামোর অস্তিত্বের উপর ভিত্তি করে
- জ্যামিতিক বাধা উপপাদ্য প্রতিষ্ঠা: প্রমাণ করে যে extraterrestrial গোষ্ঠীগুলি দৃঢ়ভাবে স্ব-অনুকরণযোগ্য নয় (উপপাদ্য B)
- প্রায়-সমদূরত্ব অপরিবর্তনীয়তা প্রমাণ: দেখায় যে extraterrestrial বৈশিষ্ট্য প্রায়-সমদূরত্বের অধীনে সংরক্ষিত থাকে (উপপাদ্য A)
- সমৃদ্ধ উদাহরণ প্রদান: প্রান্তহীন গোষ্ঠী, বহু-প্রান্ত গোষ্ঠী, সাধারণীকৃত Baumslag-Solitar গোষ্ঠী, পৃষ্ঠ মৌলিক গোষ্ঠী ইত্যাদি অন্তর্ভুক্ত
- সাধারণীকৃত আয়না স্থানান্তর নির্মাণ: একটি কার্যকর বন্ধ কিন্তু অ-sofic উপ-স্থানান্তর নির্মাণ
সীমিত উৎপাদিত গোষ্ঠী G এর উপর উপ-স্থানান্তর অধ্যয়ন করা, বিশেষত:
- ইনপুট: সীমিত উৎপাদিত গোষ্ঠী G এবং এর উৎপাদক সেট S
- আউটপুট: G কি extraterrestrial তা নির্ধারণ করা এবং সংশ্লিষ্ট অ-sofic উপ-স্থানান্তর নির্মাণ করা
- সীমাবদ্ধতা: প্রায়-সমদূরত্ব অপরিবর্তনীয়তা বজায় রাখা
গ্রাফ G=(V,E) এবং অ-ঋণাত্মক পূর্ণসংখ্যা m,k,r এর জন্য, একটি (m,k,r)-UFO হল শীর্ষবিন্দুর ত্রিমুখ (U,F,O) যা সন্তুষ্ট করে:
- |U| ≥ m|F| (U এর আকার F এর m গুণ কমপক্ষে)
- U এবং O এর মধ্যে দৈর্ঘ্য সর্বোচ্চ k এর সম্পূর্ণ মিলান বিদ্যমান
- U থেকে O এর যেকোনো পথ যা F এড়ায় তার দৈর্ঘ্য কমপক্ষে r
গোষ্ঠী G হল extraterrestrial, যদি সমস্ত m∈ℕ এর জন্য, একটি k∈ℕ বিদ্যমান থাকে, যেমন সমস্ত r∈ℕ এর জন্য, Cay(G,S) একটি (m,k,r)-UFO স্বীকার করে।
- জ্যামিতিক একীকরণ: UFO ধারণা প্রান্তহীনতা এবং বহু-প্রান্তের জ্যামিতিক সারমর্ম একীভূত করে
- প্রায়-সমদূরত্ব অপরিবর্তনীয়তা: সূক্ষ্ম মেট্রিক বিশ্লেষণের মাধ্যমে এই বৈশিষ্ট্যের জ্যামিতিক অপরিবর্তনীয়তা প্রমাণ করা
- গঠনমূলক প্রমাণ: সাধারণীকৃত আয়না স্থানান্তরের স্পষ্ট নির্মাণের মাধ্যমে বাধা বৈশিষ্ট্য প্রমাণ করা
বর্ণমালা Λ = Σ × {0,1} ব্যবহার করে, যেখানে Σ = {⋆,u,o} × {-,+}:
- সংগতি নিয়ম: Lemma 4.1 এ কনফিগারেশন ξ∈{0,1}^G ব্যবহার করে গোষ্ঠীর শব্দ সমস্যা এনকোড করা
- মিলান নিয়ম: অভিধান ক্রম ভিত্তিতে মিলান M(p) নির্মাণ, মিলানকৃত উপাদানগুলি ± উপাদানে একই হওয়ার প্রয়োজন
- কার্যকারিতা: সম্পূর্ণ নির্মাণ প্রক্রিয়া অ্যালগরিদমিকভাবে বাস্তবায়নযোগ্য
এই পত্রটি প্রধানত তাত্ত্বিক কাজ, নিম্নলিখিত উপায়ে যাচাই করা হয়েছে:
- প্রায়-সমদূরত্ব অপরিবর্তনীয়তা প্রমাণ: নির্দিষ্ট ধ্রুবক অনুমান এবং পথ বিশ্লেষণের মাধ্যমে
- নির্দিষ্ট উদাহরণ যাচাইকরণ: প্রতিটি গোষ্ঠী শ্রেণীর জন্য নির্দিষ্ট UFO নির্মাণ
- অ-sofic প্রমাণ: প্রতিপ্রমাণ এবং সমন্বয়গত যুক্তির মাধ্যমে
- UFO পরামিতির গঠনযোগ্যতা
- প্রায়-সমদূরত্ব ম্যাপিং এর অধীনে পরামিতি রূপান্তর
- উপ-স্থানান্তরের কার্যকারিতা এবং অ-sofic প্রকৃতি
উপপাদ্য A: Extraterrestrial বৈশিষ্ট্য সীমিত ডিগ্রি গ্রাফের একটি প্রায়-সমদূরত্ব অপরিবর্তনীয়।
উপপাদ্য B: G যদি সীমিত উৎপাদিত extraterrestrial গোষ্ঠী হয়, তাহলে একটি প্যাটার্ন-কার্যকর বন্ধ G-উপ-স্থানান্তর বিদ্যমান যা কোনো G-SFT এর স্থলাকৃতিগত উৎপাদক নয়।
উপপাদ্য C: নিম্নলিখিত শ্রেণীর সীমিত উৎপাদিত গোষ্ঠীগুলি সবই extraterrestrial:
- অসীম প্রান্তহীন গোষ্ঠী
- বহু-প্রান্ত গোষ্ঠী
- প্রান্তহীন উপগোষ্ঠীর সাপেক্ষে একীভূত মুক্ত গুণফল
- প্রান্তহীন উপগোষ্ঠীর সাপেক্ষে HNN সম্প্রসারণ
- সাধারণীকৃত Baumslag-Solitar গোষ্ঠী
- সংক্ষিপ্ত Fuchsian গোষ্ঠী
- পৃষ্ঠ মৌলিক গোষ্ঠী
- Z^d এর UFO: মান উৎপাদক সেটের জন্য, নির্দিষ্ট (m,3d^{-1}m+1,2r+4)-UFO নির্মাণ করা হয়েছে
- পঞ্চভুজ মডেল: প্রমাণ করে যে দ্বিপক্ষীয় হাইপারবোলিক সমতলের সাথে প্রায়-সমদূরত্বযুক্ত গোষ্ঠীগুলি সবই extraterrestrial
- পৃষ্ঠ গোষ্ঠীর প্রান্তহীন কাটা: গণ 2 পৃষ্ঠ গোষ্ঠীর স্পষ্ট প্রান্তহীন কাটা প্রদান করা
Lemma 4.1: একটি সর্বজনীন ধ্রুবক A≥1 বিদ্যমান, যেমন প্রতিটি অসীম সীমিত উৎপাদিত গোষ্ঠী G এবং উৎপাদক সেট S এর জন্য, একটি কনফিগারেশন ξ∈{0,1}^G বিদ্যমান যা দূরত্ব k এর উপাদানগুলিকে স্থানীয়ভাবে আলাদা করতে পারে।
- স্ব-অনুকরণযোগ্য গোষ্ঠী তত্ত্ব: Barbieri এবং অন্যদের দ্বারা প্রবর্তিত ধারণা, কোন গোষ্ঠীর উপর সমস্ত কার্যকর উপ-স্থানান্তর sofic তা অধ্যয়ন করা
- প্রতীকী গতিশীলতা: Hochman এর বহুমাত্রিক স্থানান্তর সম্পর্কে যুগান্তকারী কাজ
- গোষ্ঠীর জ্যামিতিক বৈশিষ্ট্য: প্রান্তহীনতা, প্রান্ত সংখ্যা ইত্যাদি ক্লাসিক অপরিবর্তনীয়
- প্রান্তহীন গোষ্ঠী এবং বহু-প্রান্ত গোষ্ঠীর অ-স্ব-অনুকরণযোগ্যতা সম্পর্কে পূর্ববর্তী ফলাফলগুলিকে একীভূত করা
- 1-প্রান্ত হাইপারবোলিক গোষ্ঠীগুলি কি স্ব-অনুকরণযোগ্য তা সম্পর্কে খোলা প্রশ্নের উত্তর দেওয়া (নেতিবাচক)
- গোষ্ঠীর উপর গতিশীল ব্যবস্থা বোঝার জন্য নতুন জ্যামিতিক দৃষ্টিভঙ্গি প্রদান করা
- Extraterrestrial বৈশিষ্ট্য গোষ্ঠী অ-স্ব-অনুকরণযোগ্যতার জ্যামিতিক বৈশিষ্ট্যকরণ প্রদান করে
- এই বৈশিষ্ট্য প্রায়-সমদূরত্ব অপরিবর্তনীয়, তাই এটি গোষ্ঠীর অন্তর্নিহিত জ্যামিতিক বৈশিষ্ট্য
- পৃষ্ঠ গোষ্ঠী সহ বিপুল সংখ্যক গুরুত্বপূর্ণ গোষ্ঠী শ্রেণী এই বৈশিষ্ট্য ধারণ করে
- এটি স্পষ্ট নয় যে সমস্ত অ-স্ব-অনুকরণযোগ্য গোষ্ঠী extraterrestrial কিনা
- এটি জানা যায় না যে extraterrestrial কিন্তু প্রান্তহীন বহু-প্রান্ত Schreier গ্রাফ স্বীকার করে না এমন গোষ্ঠী বিদ্যমান কিনা
- নির্মিত উপ-স্থানান্তর যদিও অ-sofic, তার জটিলতা বিশ্লেষণ যথেষ্ট গভীর নয়
পত্রটি দুটি গুরুত্বপূর্ণ খোলা প্রশ্ন উত্থাপন করে:
- এমন গোষ্ঠী বিদ্যমান কিনা যা দৃঢ়ভাবে স্ব-অনুকরণযোগ্য নয় এবং extraterrestrial নয়?
- এমন গোষ্ঠী বিদ্যমান কিনা যা extraterrestrial কিন্তু প্রান্তহীন উপগোষ্ঠীর বহু-প্রান্ত Schreier গ্রাফ স্বীকার করে না?
- ধারণা উদ্ভাবন: UFO ধারণা গোষ্ঠীর জ্যামিতিক কাঠামো দক্ষতার সাথে ধরে, স্বজ্ঞাত জ্যামিতিক অর্থ রয়েছে
- তাত্ত্বিক গভীরতা: প্রমাণ কৌশল সূক্ষ্ম, বিশেষত প্রায়-সমদূরত্ব অপরিবর্তনীয়তার প্রমাণ জটিল মেট্রিক অনুমান জড়িত
- সমৃদ্ধ উদাহরণ: গোষ্ঠী তত্ত্বের একাধিক গুরুত্বপূর্ণ শ্রেণী অন্তর্ভুক্ত, তত্ত্বের বিস্তৃত প্রয়োগযোগ্যতা প্রদর্শন করে
- একীকরণ: পূর্ববর্তী বিক্ষিপ্ত ফলাফলের জন্য একীভূত জ্যামিতিক ব্যাখ্যা প্রদান করে
- খোলা প্রকৃতি: দুটি মূল প্রশ্ন এখনও অমীমাংসিত, তত্ত্বের সম্পূর্ণতা আরও উন্নয়নের জন্য অপেক্ষা করছে
- গণনামূলক জটিলতা: একটি গোষ্ঠী extraterrestrial কিনা তা নির্ধারণের অ্যালগরিদম জটিলতা আলোচনা করা হয়নি
- প্রয়োগ সীমাবদ্ধতা: প্রধানত তাত্ত্বিক ফলাফল, ব্যবহারিক প্রয়োগ মূল্য সীমিত
- তাত্ত্বিক অবদান: গোষ্ঠী তত্ত্ব এবং গতিশীল ব্যবস্থার ছেদ গবেষণার জন্য নতুন সরঞ্জাম প্রদান করে
- পদ্ধতিগত মূল্য: UFO পদ্ধতি অন্যান্য জ্যামিতিক-বীজগণিত সমস্যায় প্রয়োগযোগ্য হতে পারে
- পরবর্তী গবেষণা: গোষ্ঠীর জ্যামিতিক বৈশিষ্ট্য এবং গতিশীল ব্যবস্থার সম্পর্ক সম্পর্কে আরও গবেষণা অনুপ্রাণিত করার প্রত্যাশা করা হয়
- গোষ্ঠী তত্ত্বে জ্যামিতিক বৈশিষ্ট্যের গবেষণা
- প্রতীকী গতিশীলতায় উপ-স্থানান্তর শ্রেণীবিভাগ সমস্যা
- গণনামূলক গোষ্ঠী তত্ত্বে সিদ্ধান্তযোগ্যতা সমস্যা
- স্থলাকৃতিগত গতিশীল ব্যবস্থা তত্ত্ব
পত্রটি 31টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যা অন্তর্ভুক্ত করে:
- প্রতীকী গতিশীলতা মৌলিক তত্ত্ব (Ceccherini-Silberstein & Coornaert)
- স্ব-অনুকরণযোগ্য গোষ্ঠী তত্ত্ব (Barbieri, Sablik, Salo এর পূর্ববর্তী কাজ)
- গোষ্ঠীর জ্যামিতিক তত্ত্ব (Bridson & Haefliger)
- গণনা তত্ত্ব ভিত্তি (Cooper)
- গোষ্ঠীর গাছে ক্রিয়া তত্ত্ব (Serre)
এই পত্রটি গোষ্ঠী তত্ত্ব এবং গতিশীল ব্যবস্থার ছেদ ক্ষেত্রে গুরুত্বপূর্ণ অবদান রাখে, প্রস্তাবিত extraterrestrial ধারণা গোষ্ঠীর জ্যামিতিক বৈশিষ্ট্য এবং এর উপর গতিশীল ব্যবস্থার সম্পর্ক বোঝার জন্য নতুন দৃষ্টিভঙ্গি প্রদান করে। যদিও এখনও খোলা প্রশ্ন রয়েছে, তার তাত্ত্বিক কাঠামো এবং সমৃদ্ধ উদাহরণগুলি ভবিষ্যত গবেষণার জন্য একটি দৃঢ় ভিত্তি স্থাপন করে।