यदि आपने कभी विश्व प्रसिद्ध पार्टी गेम डोबल (Dobble, उत्तरी अमेरिका में Spot It!) का छोटा गोल टिन का डिब्बा खोला है, तो आप इसका अत्यंत सरल नियम जानते होंगे: प्रत्येक गोल कार्ड पर आठ अलग-अलग चिह्न (प्रतीक) छपे होते हैं। जब मेज़ पर कोई भी दो कार्ड पलटे जाते हैं, तो खिलाड़ी सबसे पहले दोनों कार्डों में मौजूद उस एकमात्र समान चिह्न को ढूँढ़कर उसका नाम पुकारने की होड़ करते हैं।

इस खेल को कुछ मिनट खेलने वाला हर व्यक्ति एक जादुई गणितीय गुण से चकित रह जाता है: पूरी गड्डी में से आप चाहे कोई भी दो कार्ड उठा लें, उनमें हमेशा एक चिह्न समान होता है — और कभी भी एक से अधिक चिह्न समान नहीं होता!

इस छोटे से खिलौने के डिब्बे में आधुनिक शुद्ध गणित का एक अनमोल रत्न छिपा है: परिमित प्रक्षेपीय ज्यामिति (Finite Projective Geometry), गैल्वा क्षेत्र (Galois Fields $\mathbb{F}_q$), और सांयोगिक डिज़ाइन सिद्धांत (Combinatorial Design Theory) का संगम। और जैसे ही हम यह स्वाभाविक प्रश्न पूछते हैं कि «यदि हम प्रत्येक कार्ड पर $8$ के बजाय $k$ चिह्न रखें तो क्या होगा?», हम सीधे लियोनहार्ड यूलर की 36 अधिकारियों की समस्या (1782), ब्रुक-राइज़र-चावला प्रमेय (1949), $k = 11$ चिह्नों के लिए Cray-1 सुपरकंप्यूटर पर 2,000 घंटे चली ऐतिहासिक गणना (1989), और 21वीं सदी के विविक्त गणित (Discrete Mathematics) की सबसे बड़ी अनसुलझी पहेलियों में से एक पर पहुँच जाते हैं: क्या कोटि $12$ का परिमित प्रक्षेपीय तल (प्रत्येक कार्ड पर $13$ चिह्न, कुल $157$ कार्ड) अस्तित्व में है?

अध्याय 1: डोबल (Dobble) के डिब्बे में छिपे तीन गणितीय रहस्य

बाज़ार में मिलने वाले डोबल के डिब्बे में 55 कार्ड होते हैं और प्रत्येक कार्ड पर कुल $57$ चिह्नों में से 8 चिह्न बने होते हैं। यदि कोई डिज़ाइनर बिना बीजगणितीय सूत्र के अनुमान और प्रयास (trial and error) से ऐसी गड्डी बनाना चाहे, तो $57$ में से $8$ चिह्न चुनने के संभावित कार्डों की संख्या होगी:

1.65 अरब से अधिक संभावित कार्डों में से पचास से अधिक परस्पर संगत कार्डों को ब्रूट-फोर्स (brute force) से खोजना असंभव है। यहाँ तीन मुख्य रहस्य उभरते हैं:

1. अधिकतम कार्ड संख्या और गायब 2 कार्ड: जब प्रत्येक कार्ड पर $k = 8$ चिह्न हों, तो गणितीय रूप से अधिकतम 57 कार्ड (और 57 चिह्न) बनाए जा सकते हैं। फिर व्यावसायिक डिब्बे में केवल 55 कार्ड ही क्यों होते हैं?
2. बीजगणितीय ब्लूप्रिंट: बिना किसी तुक्के के एक ही बार में पूरे 57 कार्डों की सूची बीजगणित से कैसे लिखी जा सकती है?
3. वर्जित गड्डियाँ: $k = 3$ (7 कार्ड), $k = 4$ (13 कार्ड), $k = 5$ (21 कार्ड), $k = 6$ (31 कार्ड), या $k = 8$ (57 कार्ड) वाला डोबल आसानी से बनाया जा सकता है, किंतु $k = 7$ चिह्नों (43 कार्ड) या $k = 11$ चिह्नों (111 कार्ड) वाली पूर्ण गड्डी ब्रह्मांड का कोई भी गणितज्ञ या सुपरकंप्यूटर कभी नहीं बना सकता। क्यों?

अध्याय 2: यूक्लिडीय ज्यामिति से प्रक्षेपीय ज्यामिति तक — अनंत पर बिंदु और द्वैत सिद्धांत

क्लासिकल यूक्लिडीय समतल ($\mathbb{R}^2$) में दो भिन्न बिंदु एक अद्वितीय रेखा निर्धारित करते हैं, किंतु दो भिन्न रेखाएँ एक अद्वितीय बिंदु पर तभी काटती हैं जब वे समांतर न हों। 17वीं और 19वीं शताब्दी में गिरार्ड डेज़ार्ग (1639) और जीन-विक्टर पोंसेलेट (1822) ने पुनर्जागरण काल की चित्रकला के ‘लोप बिंदु’ (vanishing point) को गणितीय रूप देकर समांतर रेखाओं के इस अपवाद को समाप्त कर दिया:

1. ढाल (slope) $m$ वाली समांतर रेखाओं के प्रत्येक कुल के लिए एक नया आदर्श बिंदु अनंत पर बिंदु $P_\infty(m)$ जोड़ा जाता है जिससे ढाल $m$ वाली सभी रेखाएँ गुज़रती हैं।
2. अनंत पर स्थित सभी बिंदुओं $\{P_\infty(m)\}$ को मिलाकर एक नई रेखा अनंत पर रेखा $\ell_\infty$ (क्षितिज रेखा) घोषित की जाती है।

इस प्रकार तीन अभिगृहीतों (Axioms) वाला प्रक्षेपीय तल $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ प्राप्त होता है:

• अभिगृहीत P1: किन्हीं भी दो भिन्न बिंदुओं $P \neq Q$ से होकर ठीक एक रेखा $\ell$ गुज़रती है।
• अभिगृहीत P2: कोई भी दो भिन्न रेखाएँ $\ell_1 \neq \ell_2$ ठीक एक बिंदु $P$ पर प्रतिच्छेद करती हैं।
• अभिगृहीत P3 (अपभ्रष्टता-निषेध): कम से कम चार ऐसे बिंदु अस्तित्व में हैं जिनमें से कोई भी तीन एक ही रेखा पर नहीं हैं।

‘बिंदु’ और ‘रेखा’ शब्दों को आपस में बदलने पर P1 और P2 एक-दूसरे में बदल जाते हैं (द्वैत सिद्धांत / Principle of Duality), जो डोबल खेल का सटीक शब्दकोश प्रदान करता है:

  flowchart TD
    subgraph Affine["1. क्लासिकल यूक्लिडीय / एफ़िन समतल"]
        A1["कोई भी 2 भिन्न बिंदु 1 अद्वितीय रेखा निर्धारित करते हैं"]
        A2["समांतर रेखाएँ कभी नहीं काटतीं (असममित अपवाद)"]
    end
    subgraph Completion["2. प्रक्षेपीय पूर्ति (डेज़ार्ग 1639 एवं पोंसेलेट 1822)"]
        B1["प्रत्येक ढाल m के लिए अनंत पर बिंदु P_inf(m) जोड़ें"]
        B2["सभी अनंत बिंदुओं को मिलाकर अनंत पर रेखा l_inf बनाएं"]
    end
    subgraph Projective["3. प्रक्षेपीय तल (P, L, I) के अभिगृहीत"]
        C1["अभिगृहीत P1: प्रत्येक 2 बिंदु ठीक 1 रेखा पर स्थित हैं"]
        C2["अभिगृहीत P2: प्रत्येक 2 रेखाएँ ठीक 1 बिंदु पर काटती हैं"]
        C3["अभिगृहीत P3: ऐसे 4 बिंदु हैं जिनमें कोई 3 संरेख नहीं हैं"]
    end
    subgraph Dobble["4. डोबल (Spot It!) खेल में द्वैत अनुवाद"]
        D1["बिंदु P  <--->  चिह्न (सिंबल)"]
        D2["रेखा l  <--->  कार्ड (चिह्नों का समुच्चय)"]
        D3["कार्डों का प्रत्येक युग्म ठीक एक उभयनिष्ठ चिह्न पर प्रतिच्छेद करता है!"]
    end
    Affine --> Completion --> Projective --> Dobble

अध्याय 3: कोटि $n$ का गणना प्रमेय और फ़ानो तल $PG(2, 2)$

$$|\mathcal{P}| = |\mathcal{L}| = N = n^2 + n + 1$$

उपपत्ति: एक संदर्भ बिंदु $P_0$ स्थिर करें। कोई भी अन्य बिंदु $Q \neq P_0$ (P1 और P2 के अनुसार) $P_0$ से गुज़रने वाली $n + 1$ रेखाओं में से ठीक एक पर स्थित होता है। चूँकि प्रत्येक ऐसी रेखा पर $P_0$ के अतिरिक्त $n$ अन्य बिंदु होते हैं, कुल बिंदु $|\mathcal{P}| = 1 + (n + 1)n = n^2 + n + 1$ होंगे। डोबल ($k = 8 \implies n = 7$) के लिए अधिकतम कार्ड और चिह्न $N = 7^2 + 7 + 1 = 57$ हैं।

सबसे छोटी परिमित ज्यामिति: फ़ानो तल $PG(2, 2)$ ($n = 2$)

$n = 2$ ($k = 3$ चिह्न प्रति कार्ड, $N = 7$ कार्ड) के लिए इतालवी गणितज्ञ जीनो फ़ानो (1892) ने फ़ानो तल $PG(2, 2)$ की खोज की। इसके 7 बिंदु $\mathbb{F}_2^3 \setminus \{\mathbf{0}\}$ के 7 अशून्य 3-बिट बाइनरी सदिशों के संगत हैं (जहाँ तीन बिंदु एक रेखा बनाते हैं यदि और केवल यदि उनका बिटवाइज़ XOR योग $u \oplus v \oplus w = \mathbf{0}$ हो), अथवा चक्रीय अंतर समुच्चय $\{1, 2, 4\} \pmod 7$ के चक्रीय विस्थापन से प्राप्त होते हैं:

अध्याय 4: गैल्वा क्षेत्रों $\mathbb{F}_q$ पर समघातीय निर्देशांक और 57-कार्ड डोबल ($n = 7$) की संरचना

$q$ अवयवों वाला परिमित क्षेत्र (गैल्वा क्षेत्र) $\mathbb{F}_q$ तभी और केवल तभी अस्तित्व में होता है जब $q = p^r$ किसी अभाज्य संख्या $p$ की घात (Prime Power) हो। सदिश समष्टि $\mathbb{F}_q^3 \setminus \{\mathbf{0}\}$ में अदिश गुणज तुल्यता वर्ग $[x : y : z] \sim [\lambda x : \lambda y : \lambda z]$ ($\lambda \in \mathbb{F}_q^\times$) कुल $\frac{q^3-1}{q-1} = q^2 + q + 1$ प्रक्षेपीय बिंदु बनाते हैं, और रैखिक समीकरण $ax + by + cz = 0$ डेज़ार्गीय तल $PG(2, q)$ की $q^2 + q + 1$ रेखाएँ परिभाषित करते हैं।

डोबल ($q = 7$, $\mathbb{F}_7 = \{0,\dots,6\}$ में मॉड्यूलो $7$ अंकगणित) के 57 चिह्न 49 एफ़िन ग्रिड बिंदुओं $P_{x,y} = [x : y : 1]$ और 8 अनंत बिंदुओं $I_m = [1 : m : 0]$ तथा $I_\infty = [0 : 1 : 0]$ में बँटते हैं। 57 कार्ड इस प्रकार बनते हैं:

1. 49 तिर्यक एवं क्षैतिज रेखा कार्ड $L_{m,b}$: रेखा $y \equiv mx+b \pmod 7$ के 7 ग्रिड बिंदु + अनंत बिंदु $I_m$।
2. 7 ऊर्ध्वाधर रेखा कार्ड $V_c$: रेखा $x \equiv c \pmod 7$ के 7 ग्रिड बिंदु + ऊर्ध्वाधर अनंत बिंदु $I_\infty$।
3. 1 क्षितिज रेखा कार्ड $L_\infty$: सभी 8 अनंत बिंदु $\{I_0, \dots, I_6, I_\infty\}$।

वैकल्पिक रूप से, सिंगर के प्रमेय (1938) के अनुसार चक्रीय अंतर समुच्चय $D = \{0, 1, 3, 13, 32, 36, 43, 52\} \pmod{57}$ में $+i \pmod{57}$ जोड़कर सीधे सभी 57 कार्ड प्राप्त किए जा सकते हैं। व्यावसायिक डिब्बे में 57 के बजाय 55 कार्ड केवल प्रिंटिंग शीट की डाई-कटिंग ($55 = 5 \times 11$) और खिलाड़ियों में बराबर बँटवारे की सुविधा के लिए रखे जाते हैं।

अध्याय 5: यूलर के 36 अधिकारी, ब्रुक-राइज़र-चावला प्रमेय और $n = 10$ व $n = 12$ की सीमाएं

कोटि $n$ का प्रक्षेपीय तल एक सममित $(n^2+n+1, n+1, 1)$-ब्लॉक डिज़ाइन (BIBD, जहाँ फिशर असमिका $b \ge v$ में समता $b = v$ लागू होती है) है, और आर. सी. बोस (R. C. Bose, 1938) के तुल्यता प्रमेय के अनुसार इसका अस्तित्व तभी और केवल तभी होता है जब कोटि $n$ के $n - 1$ परस्पर लांबिक लैटिन वर्ग (MOLS) मौजूद हों।

• कोटि $n = 6$ ($7$ चिह्न, $43$ कार्ड): इसके लिए कोटि $6$ के $5$ MOLS आवश्यक हैं। किंतु 1900 में फ्रांसीसी गणितज्ञ गैस्टन टैरी (Gaston Tarry) ने सिद्ध किया कि यूलर की 36 अधिकारियों की समस्या (1782) का कोई हल नहीं है — कोटि $6$ के $2$ लांबिक लैटिन वर्ग भी संभव नहीं हैं, अतः $n = 6$ असंभव है!
• ब्रुक-राइज़र-चावला प्रमेय (1949): यदि कोटि $n$ का परिमित प्रक्षेपीय तल अस्तित्व में है और $n \equiv 1 \text{ या } 2 \pmod 4$, तो $n$ अनिवार्य रूप से दो पूर्णांकों के वर्गों का योग होना चाहिए: $$n = a^2 + b^2 \quad (a, b \in \mathbb{Z})$$ यह प्रमेय एक ही झटके में $n = 6, 14, 21, 22, 30, \dots$ को असंभव घोषित कर देता है!
• कोटि $n = 10$ ($11$ चिह्न, $111$ कार्ड) और Cray-1 सुपरकंप्यूटर प्रमाण (1989): चूँकि $10 = 1^2 + 3^2$, ब्रुक-राइज़र-चावला प्रमेय $n = 10$ को खारिज नहीं कर पाता। अंततः 1989 में क्लेमेंट लैम (Clement W. H. Lam), लैरी थील और स्टेनली स्विएर्ज़ ने कोडिंग सिद्धांत और Cray-1A सुपरकंप्यूटर पर 2,000 घंटे की गणना से सिद्ध किया कि कोटि $10$ का कोई प्रक्षेपीय तल अस्तित्व में नहीं है।
• कोटि $n = 12$ ($13$ चिह्न, $157$ कार्ड): चूँकि $12 \equiv 0 \pmod 4$, ब्रुक-राइज़र-चावला प्रमेय यहाँ कोई शर्त नहीं लगाता और इसकी खोज समष्टि आधुनिक सुपरकंप्यूटरों की क्षमता से भी परे है। क्या कोटि $12$ का प्रक्षेपीय तल अस्तित्व में है (अभाज्य घात अनुमान / PPC), यह आज भी गणित की सबसे प्रसिद्ध अनसुलझी समस्याओं में से एक है!

  flowchart TD
    Start["लक्ष्य: क्या हम कोटि n की इष्टतम डोबल गड्डी बना सकते हैं?<br/>(k = n + 1 चिह्न प्रति कार्ड, N = n^2 + n + 1 कुल कार्ड व चिह्न)"]
    CheckPP{"क्या कोटि n एक अभाज्य घात (Prime Power) है?<br/>n = p^r (p अभाज्य, r >= 1)"}
    ConstructGF["[अस्तित्व है — हाँ]<br/>गैल्वा क्षेत्र F_q पर समघातीय निर्देशांकों से PG(2, q) का निर्माण करें!<br/>उदाहरण: n=2 (7 कार्ड), n=3 (13), n=4 (21), n=5 (31),<br/>n=7 (डोबल: 57 कार्ड), n=8 (73), n=9 (91)"]
    CheckBRC{"क्या n ≡ 1 या 2 (mod 4) है?"}
    CheckSumSq{"क्या n को दो वर्गों के योग के रूप में लिखा जा सकता है?<br/>n = a^2 + b^2"}
    RejectBRC["[अस्तित्व नहीं है — नहीं]<br/>ब्रुक-राइज़र-चावला प्रमेय (1949) द्वारा असंभव!<br/>उदाहरण: n=6 (7 चिह्न, 43 कार्ड / टैरी 1900),<br/>n=14 (15 चिह्न, 211 कार्ड), n=21, 22, 30..."]
    Case10{"क्या n = 10 है?<br/>(10 = 1^2 + 3^2)"}
    Reject10["[अस्तित्व नहीं है — नहीं]<br/>कोडिंग सिद्धांत + Cray-1A सुपरकंप्यूटर के 2,000 घंटों द्वारा असंभव सिद्ध!<br/>(Lam, Thiel & Swiercz, 1989: 11 चिह्न, 111 कार्ड असंभव)"]
    OpenProblem["[गणित की अनसुलझी खुली समस्या (OPEN)]<br/>अभाज्य घात अनुमान (PPC) की अग्रिम सीमा!<br/>सबसे छोटी अनसुलझी कोटि: n = 12 (13 चिह्न, 157 कार्ड),<br/>इसके बाद n = 15, 18, 20, 24, 26..."]

    Start --> CheckPP
    CheckPP -- "हाँ" --> ConstructGF
    CheckPP -- "नहीं (n = 6, 10, 12, 14...)" --> CheckBRC
    CheckBRC -- "हाँ" --> CheckSumSq
    CheckSumSq -- "नहीं" --> RejectBRC
    CheckSumSq -- "हाँ (n = 10, 18, 26...)" --> Case10
    Case10 -- "हाँ" --> Reject10
    Case10 -- "नहीं" --> OpenProblem
    CheckBRC -- "नहीं (n ≡ 0, 3 mod 4)" --> OpenProblem