1. Introduction
Leonhard Euler once remarked, “Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the human mind will never penetrate” [1]. Don Zagier similarly noted that prime numbers “grow like weeds among the natural numbers, seeming to obey no other law than that of chance, and nobody can predict where the next one will sprout” [2]. In fact, a few patterns have been observed in prime distribution, one of which is that prime numbers demonstrate higher density on the diagonal, horizontal, and vertical lines of the Ulam spiral (equivalently, certain quadratic polynomials generate more primes than others), but with no rigorous proof [3]. Even today, the fundamental question remains: given an interval of integers, where do the primes hide? In other words, we lack an explicit, efficiently computable rule for locating primes inside an arbitrary interval.
Classical sieve methods locate primes by removing all composites, but provide only partial solutions. The ancient Sieve of Eratosthenes [4] and its variants (e.g., Augmented Eratosthenes [4], Segmented Sieve of Eratosthenes [5], and Sieve of Sundaram [6]) exhaustively enumerate composites of certain multiplicative forms. Sieve of Atkin and Bernstein [7] leverages the properties of binary quadratic forms to recognize composites. Although the wheel sieve method [8] provides insight into the cyclic feature of composite distribution, it didn’t consider the symmetrical patterns of composites.
The number theory literature [1] [2] [4]-[11] affirms that no existing method provides a direct, effectively computable formula for listing primes solely within a given interval. Gauss’s prime number theorem [9] gives a celebrated asymptotic approximation of how many primes lie in an interval, but it cannot tell which values are prime.
Primes play essential roles in data science, color theory [12], reliability engineering [13], and cryptography. Our previous works introduced the Periodic Table of Primes (PTP) [14], periodic prime listings [15], and kernel-based semiprime factorization [16]. In this study, we uncover a striking phenomenon: once small primes are filtered out, the remaining composites form a structure governed by strong horizontal, vertical, and diagonal mirror symmetries. These symmetries allow rapid identification of composites within an interval, and the primes are then simply the remaining entries.
Our main contributions include: 1) Discovery and confirmation of the mirror symmetry in composite numbers, 2) Introduction of the kin-root framework, which shows that although primes appear structureless, composites possess strong governing structure, 3) Development of an extended Cyclic Table of Composites that enables efficient local processing of intervals, and 4) Formulas for prime location, factorization, twin primes, Pythagorean primes, prime tuples, and neighboring primes. This study offers an extension of the method to larger moduli for identifying large primes and factoring large composites.
2. Preliminaries
The Periodic Table of Primes was first derived from the Cyclic Table of Composites (CTC) by Li, Fang, and Kuo [14], which includes composite numbers without factors of 2, 3, 5, and 7 up to 2112. Though a similar period (
) appeared in the wheel sieve method [8], CTC is derived through a novel, rigorous method. In this paper, we reorganize the composites and reconstruct the CTC from a different angle, revealing the symmetry properties of the composites.
Our study is based on the following statements, which can be readily verified from [14]-[16].
Statement 1
Let
.
We can construct a set
containing all integers less than 210 that are not divisible by 2, 3, 5, or 7. This set contains 48 such integers:
.
Label these integers as
,
,
,
,
,
,
,
,
,
.
Statement 2
For any positive integer
that contains no factors of 2, 3, 5, or 7,
can be expressed uniquely as
,
where
is called the root, k is an integer (the kin), 210 is the period, and
. Thus, all such integers fall into 48 congruence classes modulo 210.
Statement 3
Every such integer
is either prime or composite. If
is composite, then it can be written as
,
where
divides
and m is a positive integer.
Statement 4
To identify all composites and primes within an interval, it suffices to analyze the canonical interval
,
Once all composites within this interval are listed, the primes in the same interval follow immediately as the remaining values.
Statement 5
Composites sharing the same root and factor exhibit a cyclic pattern. Let
,
and consider
.
Then,
has a kin value that is
cycles larger than that of
, and satisfies
.
Thus, composites repeat periodically at intervals proportional to their factor
.
Statement 6
Each composite
has three corresponding “mirror” composites:
Vertical mirror:
.
Horizontal mirror:
.
Diagonal mirror:
.
These mirror relationships create a symmetrical structure among composites. See Theorem 2 for further details.
Statement 7
Using the cyclic and mirror effects, we construct a 210-based extended Cyclic Table of Composites (eCTC), denoted eCTC210, containing tuples of the form
.
This table allows rapid identification of all composites in any interval.
Statement 8
With the eCTC, we derive:
a formula for locating primes efficiently within an interval,
a factorization formula based on kin-root relationships, and
a tuple-prime formula for identifying prime pairs and higher-order prime clusters.
Statement 9
Although Statements 1-8 are based on
, the method extends naturally to larger moduli. For example:
,
.
One may construct:
.
.
These generalizations allow the method to scale to increasingly large intervals.
3. Extended Cyclic Table of Composites
In this section, we construct the proposed eCTC and examine its underlying structural properties.
Let
be the product of all primes from 2 through x. For example:
,
,
,
.
3.1. Definition of the Root Set Sx
Let
denote the set of positive integers not exceeding
that have no prime factors among
. Examples include:
.
.
.
Let |
| denote the number of elements in
. For instance,
. In this section, we focus on the case
, i.e.,
.
3.2. Kin-Root Representation
Consider any integer
satisfying
and
.
Then,
can be uniquely expressed as:
,
,
. (1)
where
Thus,
is the kin-root representation of
, serving as the key element in the table proposed later.
The full set
is:
3.3. Factor Representation and eCTC Construction
Theorem 1
Let
, where
and
has no factors of 2, 3, 5, and 7.
Then there exist values
(with
) and
such that
(2)
This theorem enables the construction of eCTC210, a
table whose entries are expressed as:
,
satisfying Equation (2).
The table has:
48 columns, indexed by
, corresponding to values of
.
48 rows, indexed by
, corresponding to values of
.
A schematic for eCTC210 is shown in Table 1. The full table is presented in Table 2(a) (for
) and Table 2(b) (for
).
3.4. Illustrative Entries in the eCTC
From Table 1:
For
to
, the corresponding values are
.
For
to
, the values are
.
For
, the values are
and
.
As examples:
,
given
and
.
Thus, the entry is
.
,
yielding
and
.
Thus,
.
,
giving
and
.
3.5. Mirror and Symmetry Properties
Inspection of eCTC210 reveals striking mirror and symmetry phenomena among composites.
The relationships justify dividing eCTC210 into areas A, B, C, D, E, each of which can be subdivided into four regions, such as A1, A2, A3, A4. Table 1(b) specifies the ranges for each region; for example, region A1 corresponds to
and
.
3.6. Mirror Rules
Remark 1
Given a composite
Table 1. A schematic of eCTC210: (a) Divided regions of eCTC210; (b) Ranges of i and j for eCTC210 regions.
(a)
(b)
,
,
we define
1) Vertical mirror:
.
2) Horizontal mirror:
.
3) Diagonal mirror:
.
Theorem 2
Let
be an element in region A1, and
is a composite.
Then, in Table 1(a), we find that the vertical, horizontal, and diagonal mirrors of
:
1) Vertical mirror (region A2)
corresponds to a composite number
.
2) Horizontal mirror (region A3)
corresponds to a composite number
.
3) Diagonal mirror (region A4)
corresponds to a composite number
.
The vertical, horizontal, and diagonal mirrors of the B, C, D, E regions are derived similarly.
Example 1
Take
, and
, so that
.
Then,
1) Vertical mirror
2) Horizontal mirror
3) Diagonal mirror
3.7. Consequences of Mirror and Symmetry Effects
The symmetry properties imply that:
It suffices to generate entries
for the regions A1, B1, C1, D1, E1.
All remaining entries in regions A2, A3, A4, B2, B3, B4, C2, C3, C4, D2, D3, D4, E2, E3, and E4 follow directly by symmetry.
Examining Table 2(a) and Table 2(b), we conclude:
Composites without factors 2, 3, 5, and 7 appear in an unexpectedly orderly manner in the eCTC.
Every such composite has exactly three mirror counterparts.
The eCTC provides an efficient mechanism for listing all such composites in any interval
,
.
The detailed procedure is given in the next section.
4. Formula of Primes
Based on Statement 5, we attain the following results.
Theorem 3 (Cyclic Effect)
Given an element
in eCTC210 with a corresponding composite
where
, let
with
, and suppose
.
Then,
is also a composite with the same root
and cycle value m.
Proof
We have
. (3)
Hence,
is a composite with root value
.
Remark 2 (Reduced Kin Value)
For fixed
and
, define
.
The meaning of
is: given
and an integer
with
, there exists some m such that
,
and this value is taken as
. If
, then
and hence
.
Formula: Listing Composites in
Consider integers of the form
.
Such an
is a composite (without factors 2, 3, 5, 7) if and only if there exists an element
in eCTC210 such that
,
.
Table 2. (a) A full eCTC210 table, for
; (b) A full eCTC210 table, for
.
(a)
(b)
Proof
We have
.
By definition of
of Remark 2, we can write
for some
. Thus,
.
From Theorem 3, we know
, for some
.
Hence,
,
which shows that
is a composite number.
Example 2: Composites in
We first list composites in the base interval [11, 211]. Here,
,
.
From eCTC210 (Table 2(a) and Table 2(b)), when
, the entries with
and values
are:
Thus, the composites in [11, 211] of the form
are
,
as listed in Table 3(a).
Example 3: Composites in
Now consider the interval
. Here,
,
.
Compute
For all relevant
, the minimum is attached at
, so
.
The entries in eCTC210 with
include:
Therefore, the composites in [221, 421] (without factors 2, 3, 5, 7) are
,
where
belongs to the root set
,
as shown in Table 3(b).
Table 3. Example of a composites listing.
(a) |
|
|
|
|
1 |
11 |
0 |
121 |
143 |
187 |
2 |
13 |
0 |
143 |
169 |
|
3 |
17 |
0 |
187 |
|
|
4 |
19 |
0 |
|
|
|
5 |
23 |
0 |
|
|
|
6 |
29 |
0 |
|
|
|
7 |
31 |
0 |
|
|
|
8 |
37 |
0 |
|
|
|
9 |
41 |
0 |
|
|
|
10 |
43 |
0 |
|
|
|
11 |
47 |
0 |
|
|
|
12 |
53 |
0 |
|
|
|
13 |
59 |
0 |
|
|
|
14 |
61 |
0 |
|
|
|
15 |
67 |
0 |
|
|
|
16 |
71 |
0 |
|
|
|
17 |
7 |
0 |
|
|
|
18 |
73 |
0 |
|
|
|
19 |
83 |
0 |
|
|
|
20 |
89 |
0 |
|
|
|
21 |
97 |
0 |
|
|
|
22 |
101 |
0 |
|
|
|
23 |
103 |
0 |
|
|
|
24 |
107 |
0 |
|
|
|
25 |
109 |
0 |
|
|
|
26 |
113 |
0 |
|
|
|
27 |
121 |
0 |
|
|
|
28 |
127 |
0 |
|
|
|
(b) |
|
|
|
|
1 |
11 |
1 |
43 |
109 |
|
131 |
197 |
2 |
13 |
1 |
11 |
37 |
89 |
167 |
193 |
3 |
17 |
1 |
11 |
79 |
113 |
181 |
|
4 |
19 |
1 |
37 |
113 |
151 |
|
|
5 |
23 |
1 |
43 |
89 |
189 |
|
|
6 |
29 |
1 |
109 |
167 |
|
|
|
7 |
31 |
1 |
131 |
193 |
|
|
|
8 |
37 |
1 |
197 |
|
|
|
|
9 |
41 |
1 |
|
|
|
|
|
10 |
43 |
1 |
|
|
|
|
|
11 |
47 |
1 |
|
|
|
|
|
12 |
53 |
1 |
|
|
|
|
|
13 |
59 |
1 |
|
|
|
|
|
14 |
61 |
1 |
|
|
|
|
|
15 |
67 |
1 |
|
|
|
|
|
16 |
71 |
1 |
|
|
|
|
|
17 |
7 |
1 |
|
|
|
|
|
18 |
73 |
1 |
|
|
|
|
|
19 |
83 |
1 |
|
|
|
|
|
20 |
89 |
1 |
|
|
|
|
|
21 |
97 |
1 |
|
|
|
|
|
22 |
101 |
1 |
|
|
|
|
|
23 |
103 |
1 |
|
|
|
|
|
24 |
107 |
1 |
|
|
|
|
|
25 |
109 |
1 |
|
|
|
|
|
26 |
113 |
1 |
|
|
|
|
|
27 |
121 |
1 |
|
|
|
|
|
28 |
127 |
1 |
|
|
|
|
|
(c) |
|
|
|
|
1 |
11 |
1 |
43 |
109 |
131 |
197 |
2 |
13 |
9 |
47 |
73 |
151 |
|
3 |
17 |
15 |
29 |
97 |
131 |
199 |
4 |
19 |
5 |
71 |
109 |
|
|
5 |
23 |
8 |
137 |
|
|
|
6 |
29 |
13 |
83 |
199 |
|
|
7 |
31 |
7 |
173 |
|
|
|
8 |
37 |
26 |
53 |
127 |
|
|
9 |
41 |
18 |
197 |
|
|
|
10 |
43 |
14 |
113 |
199 |
|
|
11 |
47 |
6 |
103 |
|
|
|
12 |
53 |
47 |
41 |
|
|
|
13 |
59 |
41 |
181 |
|
|
|
14 |
61 |
39 |
167 |
|
|
|
15 |
67 |
33 |
— |
|
|
|
16 |
71 |
29 |
— |
|
|
|
17 |
7 |
27 |
97 |
|
|
|
18 |
73 |
21 |
— |
|
|
|
19 |
83 |
|
|
|
|
|
20 |
89 |
|
|
|
|
|
21 |
97 |
|
|
|
|
|
22 |
101 |
100 |
109 |
|
|
|
23 |
103 |
|
|
|
|
|
24 |
107 |
100 |
79 |
|
|
|
25 |
109 |
100 |
37 |
|
|
|
26 |
113 |
100 |
131 |
|
|
|
27 |
121 |
|
|
|
|
|
28 |
127 |
100 |
209 |
|
|
|
Example 4: Composites in
Consider the interval
Here,
,
Compute
for various
:
,
,
,
,
,
,
.
From eCTC210 (Table 2(a) and Table 2(b)) we observe:
For
, the related
values are 43, 109, 131, 197.
For
, the related
values are 47, 73, 151,
For
, there are no corresponding
values.
For
, the related
is 209.
Hence, the composites in [21011, 21211] (without factors 2, 3, 5, 7) are
,
where
belongs to the root set
as listed in Table 3(c).
Remark 3 (Prime Listing via Composite Removal)
To list all primes in the interval
, we proceed as follows:
1) First, list all integers in the interval that are coprime to 2, 3, 5, 7, i.e., all
with
.
2) Then, remove from this set all composites (without factors 2, 3, 5, 7) found by the Formula of listing composites above.
The remaining integers are precisely the primes in that interval.
Formula: Prime Listing in
Integers
,
,
are prime if and only if they are not among the composites found by formula “Formula of listing composite within
.”
Example 5: Prime Numbers in Several Intervals
1) Primes in
From Example 2, the composites are 121, 143, 169, 187. Hence, the primes are
,
,
.
2) Primes in
From Example 3, the composites correspond to RS1. Thus, the primes are
,
,
,
where RS1 is given above.
3) Primes in
From Example 4, the composites correspond to RS2. Thus, the primes are
,
,
.
Formula of Factorization
The table eCTC210 can also be used to factor a composite.
Consider a composite
satisfying
,
.
Then
has a root
and period
such that
.
Factorization Formula
The composite
contains a factor
if and only if there exists an element
in eCTC210 such that
,
.
Example 6: Factorizing 2431
We have
and the corresponding
.
From eCTC210 for
,
, we have
,
.
Hence, 2431 contains factors 13 and 17. Also,
. Therefore,
.
Example 7: Factorizing 39203
We write:
.
Thus, the root is
and period
.
From eCTC210 at
, we find the entry
,
implying 197 divides 39203.
Therefore,
.
5. Extension and Discussion
In this section, we extend the proposed framework to larger moduli and discuss related formulas, computational complexity, and potential applications.
5.1. Extension from S7 to S11, S13, …
The eCTC and the prime formulas above are based on the set
and the modulus
,
so that the associated primes are limited to those smaller than 2112. To study where larger primes hide, we extend the set from
to
, and further to
Let
,
and let
be the set of positive integers up to
that are not divisible by any prime in
. Although the size of
increases with x, the mirror and symmetry effects observed in the eCTC for
remain structurally the same for all
.
Figure 1 conceptually explains why higher-level sequences
share the same features as
:
1) Growth of
Denote
as the number of elements in
. Clearly,
grows as
increases, reflecting the finer filtration by more primes.
2) Complementary pairs
For each
, certain pairs of elements maintain a complementary relationship.
Figure 1. Extension from sequence
to higher sequences.
For example:
.
.
.
Thus, complementary pairs always sum to
(or its analogue), preserving a balanced structure.
3) Final rows and doubling property
In each
, the last two entries form a special pair whose sum equals twice the product
.
.
.
4) Partition into regions
These structural properties ensure that the eCTC for
can always be partitioned into regions
,
,
,
,
, for
, in a manner analogous to eCTC210. Each eCTC contains a fixed, structured number of elements:
In eCTC210, there are
elements.
In eCTC2310, there are
elements.
In eCTC30030, there are
elements.
This extension allows us to locate larger primes and factor larger composites efficiently.
Example 8: Factoring a Semiprime 5,246,767
Consider the semiprime 5,246,767. Since
,
we work with eCTC2310.
We write
.
From the eCTC for
, we identify
. For
, we have
and
.
Moreover,
.
Therefore,
.
5.2. Additional Prime Formulas
We now derive several additional formulas related to prime distribution, twin primes, Pythagorean primes, prime tuples, and neighboring primes.
Let
for
and
.
Using the prime-listing formula, we obtain:
1) Formula for Prime Distribution
.
2) Formula for the n-th prime
Let the largest prime in the interval
be the
prime in the sequence of primes. Then
,
where the constant 4 accounts for the primes 2, 3, 5, 7, which are not included in the
-based representation (with 2 regarded as the first prime).
3) Formula for Twin Primes
Primes
and
form a twin prime pair if
,
,
.
In other words,
and
differ by 2 and are twin primes.
4) Formula for Pythagorean Primes
A prime
is called a Pythagorean prime if
(mod 4), i.e.,
,
,
and it can be expressed as
,
where m is even, and n is odd.
A prime
is Pythagorean if:
a)
. The kin value k is even,
b)
. The kin value k is odd,
for some
.
5) Formula for l-Tuple Primes
A sequence of primes
,
,
,
,
is called an l-tuple of primes if
.
In our framework, a sequence of primes
forms an n-tuple of primes with step
and root
(base 210) if:
6) Formula for Neighboring Primes
A sequence of primes
are called neighboring primes if there exist
and k such that
,
,
,
,
.
Example 9: 30-Tuple Primes in [120,000,000, 122,000,000]
We seek primes forming 30-tuples in the interval [120,000,000, 122,000,000].
Since
,
we choose
with modulus
.
We consider a 30-tuple of the form:
,
,
,
,
,
.
Solving within the target interval yields
,
,
and the corresponding primes in a 30-tuple are:
,
,
,
,
,
.
6. Conclusion
In this study, we derive the kin-root representation for composite numbers without factors 2, 3, 5, and 7. We construct an extended Cyclic Table of Composites using kin-root tuples, and reveal mirror and symmetry properties within the table. We then attain formulas of primes. Primes within a given interval can be located by eliminating all composites related to the table. Additional examples and extensions to larger cases are provided.
Funding
This work is supported in part by CityU 9610556.
Acknowledgements
We are grateful for the in-kind support from NTU and for the constructive comments on the article from the anonymous reviewers.