ALL Metrics
-
Views
-
Downloads
Get PDF
Get XML
Cite
Export
Track
Research Article

Enumeration Class of Polyominoes Inscribed in James Abacus and Related ECO

[version 1; peer review: awaiting peer review]
PUBLISHED 06 Jan 2026
Author details Author details
OPEN PEER REVIEW
REVIEWER STATUS AWAITING PEER REVIEW

This article is included in the Fallujah Multidisciplinary Science and Innovation gateway.

Abstract

This paper studies a new family of polyominoes. The family is defined through a graphic representation called James diagram, also known as the nested chain abacus. This form is referred to as the Ω-nested Abacus. The proposed class is defined by geometric constraints satisfied by sets of rows, columns, and chains. Through the application of combinatorial approaches and variable generating function, we enumeration of this new class of polyominoes. During the new construction process transformation is formulates which plays a crucial role in the enumerate of a family of classes. To further extend this study generating function for theses class are formulated using an enumeration method known as the Enumeration Combinatorial Object (ECO) technique. ECO method, derived from a smaller one though a series of local expansion. Theses expansion are systematically defined by succession rule which can subsequently be expressed as a functional equation for the generating function.

Keywords

Polyominoes, Class, Enumeration, Succession-rule, Abacus diagram

Introduction

Polyominoes are finite configurations composed of unit squares, known as ominoes, that are joined edge to edge to form a connected interior, as illustrated in Figure 1.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure1.gif

Figure 1. 22-polyominoes (polyominoes with 22 connected ominoes).

An n -polyomino (a polyomino consisting of n ominoes) is defined up to translation, and the concept is commonly attributed to Golomb.1 In contemporary research, n-polyominoes have attracted significant attention from computer scientists, physicists, mathematicians, and biologists. Despite extensive studies, enumerating n-polyominoes remains a challenging and unresolved problem in combinatorial geometry, representing one of its most fundamental open questions.25 There is no closed-form equation for n-polyominoes, and the problem has been solved up to n < 56.3 No closed-form expression for the enumeration of n -polyominoes is currently known. Due to the complexity of this problem, several simpler subclasses of n -polyominoes have been formulated and extensively examined in the literature.68 E.F. provide a new representation of n-polyominoes (Plyominoes with n ominoe) using one of the graphical representations of partition (James-diagram) called nested chain abacus (N.C.A.) with b -columns and d -rows.9 The Nested Chain Abacus (N.C.A.) offers a novel framework for representing any n connected omino, including empty ones (holes), through the use of a beta number. In this new representation, n -polyominoes are organised into a series of nested chains.10 A Nested Chain Abacus (N.C.A.) is an n -polyomino inscribed within a James diagram, consisting of both outer and inner chains. The inner chains are numbered from 1 to n , where n is a positive integer, and chain 1 is the innermost chain. No intersections occur among any of the chains. Through this new representation, and for the first time, each n-polyomino has been systematically associated with a unique code. Next Figure 2 illustrates an example of an N.C.A. with six columns, five rows, and three chains.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure2.gif

Figure 2. Nested chain abacus with 6 columns, 5 rows and 3 chains.

Terminologies and definition

This section introduced some importuned definitions:

Definition 1.

A partition of any integer, k , is a sequence of integers λ1,λ2,,λn such that λ1λ2λn and i=1nλi=k .

Example 1.

λ=(6,6,3,2,1,1) is a partition of 19

Definition 2.

A sequence of positive numbers { β1,β2,,βk} called beta number such that βi=λi+ki and 1ik . λ

Example 2.

Consider of Example 1, λ=(4,4,2,2,1,1,1,1) then beta number of λ is

βi=λi+bi,wherei=1,2,3,4,5,6
β1=λ1+b1=4+81=11
β2=λ2+b2=4+82=10
β3=λ3+b3=2+83=7
β4=λ4+b4=2+84=6
β5=λ5+b5=1+85=24
β6=λ6+b6=1+86=3
β7=λ7+b7=1+87=2
β8=λ8+b8=1+88=1

Thus beta number sequence is {1,2,3,4,6,7,10,11} .

Definition 3.

James Abacus is a graphical representation of a partition of any integer number using beta numbers.

Consider Example 1, the James Abacus with 1,2,3,4,6,7,10,11 beta position as show in next Figure 3.

Next Figure 4 gives an example of N.C.A. with 3 chains represented of 94, where the beta number sequence is { 0,5,6,7,8,9,10,11,14,15,16,19,20,21,24}.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure3.gif

Figure 3. James’s Abacus with 3 columns, 4 rows and 6 beta.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure4.gif

Figure 4. N.C.A. with 5 columns ( b=5 ) and 3 chains represented of 94, where the beta number sequence is { 0,5,6,7,8,9,10,11,14,15,16,19,20,21,24}.

Definition 4:

A connected chain is a chain with only beta positions.

Next Figure 5 gives an example of N.C.A. represented by a beta sequence {0,1,2,3,4,5,7,8,9,10,12,14,15,19,20,21,22,23,24} with one connected chain (chain 1).

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure5.gif

Figure 5. N.C.A. with 1 connected chains (chain 3).

Definition 5.

Let βi,βj be two beta numbers in N.C.A then βi,βj are connected iff4

  • 1- |βiβj|=1 if βi,βj Located in the same row.

  • 2- |βiβj|=bifβi,βjLocated in the same column .

Consider Figure 4; the set of beta {0,5,6,7,8,9,10,11,14,15,16,19,20,21,24} is a connected beta set.

Definition 6.

Each nested chain abacus (N.C.A) with b columns is called a polyamines if every two beta numbers are connected.

Definition 7.

Ω - nested Abacus is a N.C.A with b columns and d rows satisfy the following condition.

  • 1- chain 1 with only one position

    • a) If chain 1 has a beta position, then chain 2 has at least 5 beta positions.

    • b) If chain 1 with empty beta position, then chain 2 has k beta positions, where 1k8

  • 2- Chain number o are connected chain where o is an odd number.

  • 3- Chain number e contains beta position as well as empty beta where o is an odd number.

Figure 6 gives an example of Ω - nested Abacus with four chains, where

Not Every polyamines inscribed in a nested chain-abacus is Ω - nested Abacus.

Figure 4 given an example of N.C.A. but not Ω - nested Abacus, while Figure 6 given an example of Ω - nested Abacus.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure6.gif

Figure 6. Ω - nested Abacus with four chains.

Definition 8.

Single – beta transformation (SPT) is a beta movement in chain i is

β`={(m1)b+(j1)}{β`=(m1)b+(j2)ifi+1m(ri+1),j=ei+1β`=mb+(j1)ifim(ri),j=iβ`=(m1)b+jifm=i,i+1<jei+1β`=(m2)b+(j1)ifm=ri+1,ij<ei.

With d rows, b columns where β={(m1)b+(j1)} is the beta number in column number j and row number m .

Remark 10.

The maximal number of transformations in chain n is equal to the number of positions in the chain, where n>1 .

Figure 7 illustrates Single – beta transformation (SPT)

Not.

  • 1- SSpt is a SPT transformation in one chain.

  • 2- MSpt is a SPT transformation in all chains.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure7.gif

Figure 7. Illustrates Single – beta transformation (SPT) on Ω - nested Abacus.

Enumeration of the Ω - nested Abacus class

Next, the enumeration of Ω-nested Abacus with b columns and d rows is presented.

Lemma 10.

Let of Ω-nested Abacus be Abacus with b rows and b columns, then the number of positions in chain n is ( (n1)23) where n>1 and b is an odd number.

Proof.

Based on,8 chain 1 consists of one position. To build the second chain, we add a position above, below, to the right, and to the left of chain number 1(consisting of one position), as well as the far right and far left from the top and the far right and left from the bottom of chain number 1. Then the number of positions in chain 2 is equal to 23 . Based on theorem 2.5.11,13 the difference between chain i and chain (i+1)=23 . Thus, the number of positions in chain n is ( (n1)23) where n>1 .

Lemma 11.

The number of chains in the Ω-nested Abacus is b+12 where b is the number of columns in Ω-nested Abacus.

Proof.

See Theorem 2.5.21.13

Theorem 12:

Let a be the number of even chains, then the number of Ω-nested Abacus generating by employ MSPT- Transformation is:

(b+14(n1)23)

Proof.

Based on Lemma 10, the number of positions in chain n is (n1)23 by Lemma 11 and Definition 8, there are p+14 chain with beta and empty beta position in Ω-nested Abacus. The maximal number of transformations in chain n is equal to ((n1)23) . Since each move generates a new Abacus (polyominoes), thus there are ((n1)23) of Ω-nested Abacus generated by employing MSpt transformation. As a result of this, there are (b+14(n1)23) Ω--nested Abacus in chain n .

Corollary 13:

The number Ω-nested Abacus with b columns and d rows in chain i is

2d+2b4(2i1)

Proof.

Based on theorem 2.5.913 Chain i have 2d+2b4(2i1) position then the each beta can be move

2d+2b4(2i1) so 2d+2b4(2i1) shapes can be construct after application MSPT.

Theorem 14:

The number Ω-nested Abacus after the application MSPT transformation:

π(p+14)2d+2p_4(2i1)

proof.

Based on (Corollary 1), then are 2r+2e4(2i1) position in chain i

since we have p+14 chain with empty beta, then the number Ω-nested Abacus is

π(p+14)2d+2p(2i1)4.

Generating function with respect to chains

In this section, the method described in11,12 is employed to enumerate the Ω-nested Abacus class, representing polyominoes inscribed within a James diagram. The ECO (Enumerating Combinatorial Objects) method has previously been applied to the enumeration of various polyomino classes.9,10 This approach is based on a succession rule.

Succession rule

It relies on a well-defined notion of size, such that the number of objects of size n is finite for any positive integer n. There exists exactly one object of size 1. A generating tree for any class is an infinite rooted tree whose vertices are the objects of the class, each appearing exactly once in the tree, and such that objects of size n are at level n . If we give a class ϑ of discrete objects and a parameter ρ on ϑ , where ϑn={xϑ:p(x)=n} . Let θ be an operator which constructs every object Yϑn from another Yϑn such that Y get from exactly one Xϑn1 . then, we have a recursive construction of all the elements of Ω ; from this, in turn, we will some of the time deduce a functional equation verified by the creating work of ϑ . The development can be represented through a growth tree, where vertices corresponding to objects that share the same measurement with respect to the parameter p are positioned at the same level. The children of a given vertex correspond to the objects derived from it, and each vertex is labeled according to the number of its offspring. This values the richness of the nodes (and of the comparing object). If the names of the children of a hub named (k), as it were, depend on the k, able to speak to the developing stage of the tree by implies of the following (called succession-rule).

ϑ={(X)(Y)(y1)(y2)(yi)

Where X is the tag of the root and (yi) is the tag of the k-th son of a node tagged i , a succession-rule can be represented by a generating tree.

The purpose of this section is to demonstrate how variations in succession rules can influence the structure of the corresponding generating function. Moreover, describe the class of Ω-nested Abacus polyominoes, which are enumerated by factorial numbers with respect to their coordinated height. Furthermore, examine the succession rule that represents the growth pattern of this class as derived using the ECO method. From the succession rule, it produces a sequence, {gn}n , of positive integers, such that gn is the number of nodes in level n of the generating tree, and the generating function of the generating tree is denoted by gϑ=gnxn (Bacchelliet al., 2010). In this work, our succession rule will be constructed starting from a single chain (chain with a beta), which will grow step by step by adding Ci beads, where Ci is the number of positions in chain i, as shown in Figure 4.10, which illustrates the number of nested chain abacuses in levels 1 and 2. A label is assigned containing all the essential information necessary to describe how the Ω-nested Abacus class evolves within the generating tree.

Generating tree

  • First level of the generating tree of ϑ begins with Ω - nested Abacus class consist of a single beta ( βs) where (βs=b212) .

  • Second level L2 we add one of the following beta number sets called βL2 where

    βL2={βs+1,βs1,βs+b,βsb,βs+b+1,βs+b1,βsb+1,βsb1}

Such that b is the number of columns, so the 8 of Ω - nested Abacus class called ΩL2 .

  • Third level L3 in this level e take one of ΩL2 class add one of the βL2 set, so the 7 of Ω -nested Abacus class called ΩL3 and then, as shown in Figure 8 and Figure 9.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure8.gif

Figure 8. βL2 set in Ω - nested Abacus class.

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_figure9.gif

Figure 9. First and second level of ϑ using Ω - nested Abacus class with 5 columns, 5 rows and 3 chain.

The succession rule of Ω -nested Abacus (polyominoes)

Let Ω - nested Abacus be a polyominoes class with b columns and d rows, where i be a number of chains. The initial set began with two chains and a singleton beta ( βs) . The Ω - nested Abacus class can be described, depending on the generating tree, by the overview rule:

ϑ={(1)(8i8)(1)(2)(8i8)!.
Lemma 15:

Let i be the number of chains. Then, the number of Ω -nested Abacus in the generating tree by adding a beta number in chain i at level n is

{LO=1L1=8i8L2=8i7L3=8i6Ln=(8i1)!...()

Generating Function (G.F)

Theorem.

Let

In order to define G.F., first we have to find a succession rule, ϑ . Which is

ϑ={(1)(8i8)(1)(2)(8i8)!.

Then we must find the function. gn(x,y) and gn(x) when y=1 to find the generating function. We can define a sequence of positive integers. gn,n0 , where gn The number of nodes at the general level (level n). In the succession-rule, ϑ (*), all nodes are changed to (8i-8). Then:

gn(x,y)=n0i0gn,8(i1)

48ede6c7-8b5c-4c21-97cf-6bf35f7d0c4d_Graphical1.gif

gϑ(x,y)y1xy8gϑ(x,y)=y8i88x
gϑ(x,y)=exy8dy(c+y8i88xe1xy8dydy)=1e7xy7(cy8(i1)e17xy7dyx)
limx0gϑ(x,1)=limx01e7x(climx0e17xx)
e8(c0)=0

Then c=0

gϑ(x,y)=1e7xy7(y8ie17xy7dyx)

Conclusion

This study examines a class of polyominoes known as the Ω-nested Abacus. Initially, we study the characterised of a new class by specific geometric constraints defined by sets of rows, columns, and chains. A series of operations on polyominoes is then introduced using a partition-theoretic construct known as the beta number. Furthermore, a set of operations on polyominoes is developed using a partition-theoretic construct known as the beta number, enabling localised transformations of the objects. Furthermore, A succession rule is formulated based on tree structures that illustrate the developmental patterns of these trees. A recursive method is established for the systematic generation of these objects of a given size through the use of generating trees.

Ethical approval

Ethical approval was not required for this study.

Comments on this article Comments (0)

Version 1
VERSION 1 PUBLISHED 06 Jan 2026
Comment
Author details Author details
Competing interests
Grant information
Copyright
Download
 
Export To
metrics
Views Downloads
F1000Research - -
PubMed Central
Data from PMC are received and updated monthly.
- -
Citations
CITE
how to cite this article
Mohommed E and Abd Jassim j. Enumeration Class of Polyominoes Inscribed in James Abacus and Related ECO [version 1; peer review: awaiting peer review]. F1000Research 2026, 15:11 (https://doi.org/10.12688/f1000research.172910.1)
NOTE: If applicable, it is important to ensure the information in square brackets after the title is included in all citations of this article.
track
receive updates on this article
Track an article to receive email alerts on any updates to this article.

Open Peer Review

Current Reviewer Status:
AWAITING PEER REVIEW
AWAITING PEER REVIEW
?
Key to Reviewer Statuses VIEW
ApprovedThe paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approvedFundamental flaws in the paper seriously undermine the findings and conclusions

Comments on this article Comments (0)

Version 1
VERSION 1 PUBLISHED 06 Jan 2026
Comment
Alongside their report, reviewers assign a status to the article:
Approved - the paper is scientifically sound in its current form and only minor, if any, improvements are suggested
Approved with reservations - A number of small changes, sometimes more significant revisions are required to address specific details and improve the papers academic merit.
Not approved - fundamental flaws in the paper seriously undermine the findings and conclusions
Sign In
If you've forgotten your password, please enter your email address below and we'll send you instructions on how to reset your password.

The email address should be the one you originally registered with F1000.

Email address not valid, please try again

You registered with F1000 via Google, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Google account password, please click here.

You registered with F1000 via Facebook, so we cannot reset your password.

To sign in, please click here.

If you still need help with your Facebook account password, please click here.

Code not correct, please try again
Email us for further assistance.
Server error, please try again.