Heuristic Contextualisation of Arithmetic Calculus by a New Network Based on the Difference Table
Author(s) Rahman Khatibi
ABSTRACT
“Arithmetic Calculus” (AC), introduced recently by the author, is explored further in this paper by giving a new lease of life to the age-old differences table by transforming it into a new kind of network. Any sequence that can be laid out in this network can be classified into one of five types of sequences, which can be expressed by algebraic polynomial or exponential functions but AC can reveal information concealed by algebra. The paper defines these sequences and refers to each family member as the parent sequence. These sequences make up their own universe as: (i) the population of the terms in each parent sequence is infinite; (ii) each parent sequence forms a hierarchy, in which their number of levels can extend into infinity; and (ii) there are infinitely diverse parent sequences. A glimpse of AC is illustrated through examples but their analytical capability is applicable in their universe. The paper shows that small sets of building blocks are operated by the convolution theorem or its variations, which is embedded “all-pervasively” in each and every member of the universe. Sufficient details are presented to ensure the emergence of the mosaic image of AC through problems including: (i) differentiation (reducement), (ii) integration (conducement), (iii) diagonal operations (reminiscent of gradient methods), and (iv) structure of hierarchies. These operations reveal that the new network can parallel Cartesian coordinates and that for problems with no noise, the deconvolution problem is well-posed against common myth of it being ill-posed.

1. Introduction

Arithmetic Calculus (AC), introduced recently by the author  , operates in a “universe” of number sequences, which includes those based on the power sequences ( ${x}^{n}$ ) and relates to polynomial and exponential functions. The hallmark of AC is an inbuilt analytical capability to factorise each individual member sequence, belonging to this universe, to a small set of building blocks and a set of rules operated by the convolution theorem or its variations. Each sequence in this universe is to be referred to as a parent sequence and makes up the focal point in a new hierarchical network, where AC creates a new foundational approach to mathematics and literally, no existing theorem is used in the paper but the convolutional theorem. Even this theorem is not in its traditional format but is a recast of its traditional form used in hydrology. AC is at its infancy and that by the author  in 2014 matches with NASA’s TRL 1 (Technical Readiness Level) see  . This paper contextualises AC to take its status to TRL 2.

It is realised that the readership is yet to be “initiated” towards AC and therefore some initiation through  is assumed but Section 2 revisits certain definitions. The aims of the paper are: (i) to show that AC provides explicit formulations and reveals new information concealed by algebra; (ii) to provide further evidence that the hallmark of AC (i.e. factorisation into building blocks and convolution-based rules) is all-pervasive; (iii) to give life to a new network; and (iv) to throw a further doubt to algebraic deconvolution theorem by showing that the problem through AC is well-posed but can be ill-conditioned.

All-pervasiveness of AC is illustrated below using such basic operations as $2×3$ or $\left(a+b+c\right)\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)$ examples as a compensation to readerships’ lack of initiation.

Definition 1.1: The universe of sequences under AC uses convolution products, branded by the hallmark of: $\stackrel{^}{\oplus }$ ; and two of its variations: referred to as regeneration products, branded by the hallmark of: $\oplus$ ; direct products, branded by the hallmark of: $\circ$ and $⊚$ . The expressions for these products (multiplication) are reproduced in Section 2.2.

Example 1.1: Work out $2×3$ using AC.

Assuming that 2 is composed of two terms 1 and 1 and also 3 is composed of three terms 1, 1, and 1, the operation $2×3$ is rewritten in the following AC format:

$\left\{\begin{array}{cc}\stackrel{1.1}{\stackrel{︷}{1}}& \stackrel{1.2}{\stackrel{︷}{1}}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}\stackrel{2.1}{\stackrel{︷}{1}}& \stackrel{2.2}{\stackrel{︷}{1}}& \stackrel{2.3}{\stackrel{︷}{1}}\end{array}\right\}$ (1.1a)

where super-fixes identify the terms with no numerical significance (i.e. $\stackrel{2.2}{\stackrel{︷}{1}}=1$ ). Thus:

$\left\{\begin{array}{cc}\stackrel{1.1}{\stackrel{︷}{1}}& \stackrel{1.2}{\stackrel{︷}{1}}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}\stackrel{2.1}{\stackrel{︷}{1}}& \stackrel{2.2}{\stackrel{︷}{1}}& \stackrel{2.3}{\stackrel{︷}{1}}\end{array}\right\}$

$\begin{array}{l}=\left\{\begin{array}{cccc}\stackrel{\text{Term}\text{\hspace{0.17em}}\text{1}}{\stackrel{︷}{\stackrel{1.1}{\stackrel{︷}{1}}×\stackrel{2.1}{\stackrel{︷}{1}}}}& \stackrel{\text{Term}\text{\hspace{0.17em}}2}{\stackrel{︷}{\stackrel{1.1}{\stackrel{︷}{1}}×\stackrel{2.2}{\stackrel{︷}{1}}+\stackrel{1.2}{\stackrel{︷}{1}}×\stackrel{2.1}{\stackrel{︷}{1}}}}& \stackrel{\text{Term}\text{\hspace{0.17em}}3}{\stackrel{︷}{\stackrel{1.1}{\stackrel{︷}{1}}×\stackrel{2.3}{\stackrel{︷}{1}}+\stackrel{1.2}{\stackrel{︷}{1}}×\stackrel{2.2}{\stackrel{︷}{1}}}}& \stackrel{\text{Term}\text{\hspace{0.17em}}4}{\stackrel{︷}{\stackrel{1.2}{\stackrel{︷}{1}}×\stackrel{2.3}{\stackrel{︷}{1}}}}\end{array}\right\}\\ =\left\{\begin{array}{cccc}1& 2& 2& 1\end{array}\right\}=6\end{array}$ (1.1b)

Remark 1.1: Note that Example 1.1 calculates $2×3$ to be 6 but (i) the product is shown to be distributed as: $\left\{\begin{array}{cccc}1& 2& 2& 1\end{array}\right\}$ where this information is concealed in algebra; (ii) these operations are not limited to (1.1a) but “2” and “3” can be replaced with any terms, e.g. $2=0.1+0.5+0.8+0.4+0.2$ , where different compositions identify different concealed information; and (iii) the procedure is general (all-pervasive) as shown in Example 1.2 below:

Example 1.2: Compare the algebraic operations for $\left(a+b+c\right)\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)$ with its AC counterpart.

The algebraic operations are as follows:

$\left(a+b+c\right)\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)=a{a}^{\prime }+a{b}^{\prime }+a{c}^{\prime }+b{a}^{\prime }+b{b}^{\prime }+b{c}^{\prime }+c{a}^{\prime }+c{b}^{\prime }+c{c}^{\prime }$ (1.2)

Although (1.2) is elementary and analytical, its inverse is not but factorised intuitively as:

$\begin{array}{l}\frac{a{a}^{\prime }+a{b}^{\prime }+a{c}^{\prime }+b{a}^{\prime }+b{b}^{\prime }+b{c}^{\prime }+c{a}^{\prime }+c{b}^{\prime }+c{c}^{\prime }}{\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)}\\ =\frac{\left(a+b+c\right)\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)}{\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)}=a+b+c\end{array}$ (1.3)

The intuitive factorisation in (1.3) is not readily available in more complex operations due to the absence of an analytical approach but AC is analytical and its inverse can be handled by analytical operators. The factorised elements within each bracket are recast to their sequence formats using curly brackets and the operations are carried out, as follows:

$\left(a+b+c\right)\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)\equiv \left\{\begin{array}{cc}a& \begin{array}{cc}b& c\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{cc}{a}^{\prime }& \begin{array}{cc}{b}^{\prime }& {c}^{\prime }\end{array}\end{array}\right\}=$ (1.4a)

$\left\{\begin{array}{ccc}\begin{array}{c}a\\ \\ \end{array}& \begin{array}{c}\begin{array}{c}a\\ b\end{array}\\ \end{array}& \begin{array}{ccc}\begin{array}{c}a\\ \begin{array}{c}b\\ c\end{array}\end{array}& \begin{array}{c}\\ \begin{array}{c}b\\ c\end{array}\end{array}& \begin{array}{c}\\ \begin{array}{c}\\ c\end{array}\end{array}\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}\begin{array}{c}{a}^{\prime }\\ \\ \end{array}& \begin{array}{c}\begin{array}{c}{a}^{\prime }\\ {b}^{\prime }\end{array}\\ \end{array}& \begin{array}{ccc}\begin{array}{c}{a}^{\prime }\\ \begin{array}{c}{b}^{\prime }\\ {c}^{\prime }\end{array}\end{array}& \begin{array}{c}\\ \begin{array}{c}{b}^{\prime }\\ {c}^{\prime }\end{array}\end{array}& \begin{array}{c}\\ \begin{array}{c}\\ {c}^{\prime }\end{array}\end{array}\end{array}\end{array}\right\}=$ (1.4b)

${}^{+}\left\{\begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}1}{\stackrel{︷}{a{a}^{\prime }}}& \stackrel{\text{Term}\text{\hspace{0.17em}}2}{\stackrel{︷}{\left(a{b}^{\prime }+b{a}^{\prime }\right)}}& \begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}3}{\stackrel{︷}{\left(a{c}^{\prime }+b{b}^{\prime }+c{a}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}4}{\stackrel{︷}{\left(b{c}^{\prime }+c{b}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}5}{\stackrel{︷}{c{c}^{\prime }}}\end{array}\end{array}\right\}$ (1.4c)

$\equiv \stackrel{\text{Term}\text{\hspace{0.17em}}1}{\stackrel{︷}{a{a}^{\prime }}}+\stackrel{\text{Term}\text{\hspace{0.17em}}2}{\stackrel{︷}{\left(a{b}^{\prime }+b{a}^{\prime }\right)}}+\stackrel{\text{Term}\text{\hspace{0.17em}}3}{\stackrel{︷}{\left(a{c}^{\prime }+b{b}^{\prime }+c{a}^{\prime }\right)}}+\stackrel{\text{Term}\text{\hspace{0.17em}}4}{\stackrel{︷}{\left(b{c}^{\prime }+c{b}^{\prime }\right)}}+\stackrel{\text{Term}\text{\hspace{0.17em}}5}{\stackrel{︷}{c{c}^{\prime }}}$ (1.4d)

Algebra is not minded with the inverse of $\left(a+b+c\right)$ or $\left({a}^{\prime }+{b}^{\prime }+{c}^{\prime }\right)$ ; whereas the inverse of any AC quantities is conjugated with their direct formats and in this way AC is capable of handling its inverse through analytical procedures. The direct format is expressed by (1.4d) and its inverse is presented through the example below:

Example 1.3: Carry out the inverse of (1.4d) and divide the product by: $\left\{\begin{array}{cc}a& \begin{array}{cc}b& c\end{array}\end{array}\right\}$ .

First step: work out the inverse of $\left\{\begin{array}{cc}a& \begin{array}{cc}b& c\end{array}\end{array}\right\}$ and by definition its product with its inverse must be unity, expressed as follows:

$\left\{\begin{array}{cc}a& \begin{array}{cc}b& c\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}p& q& \begin{array}{ccc}r& s& \begin{array}{cc}t& \cdots \end{array}\end{array}\end{array}\right\}=\left\{\begin{array}{ccc}1& 0& \begin{array}{ccc}0& 0& \begin{array}{cc}0& \cdots \end{array}\end{array}\end{array}\right\}$ (1.5a)

Second step: Form five equations from (1.5a) and solve the 5 unknowns (p, q, r, s, t):

(i) $p=\frac{1}{a}$ ; (ii) $q=-\frac{b}{{a}^{2}}$ ; (iii) $r=\frac{{b}^{2}-ac}{{a}^{3}}$ ; (iv) $s=\frac{2abc-{b}^{3}}{{a}^{4}}$ ; (v) $t=\frac{{b}^{4}-3a{b}^{2}c+{a}^{2}{c}^{2}}{{a}^{5}}$ :

$\therefore \frac{1}{\left\{\begin{array}{cc}{a}^{\prime }& \begin{array}{cc}{b}^{\prime }& {c}^{\prime }\end{array}\end{array}\right\}}=\stackrel{^}{\oplus }\left\{\begin{array}{ccc}\frac{1}{a}& -\frac{b}{{a}^{2}}& \begin{array}{ccc}\frac{{b}^{2}-ac}{{a}^{3}}& \frac{2abc-{b}^{3}}{{a}^{4}}& \frac{{b}^{4}-3a{b}^{2}c+{a}^{2}{c}^{2}}{{a}^{5}}\end{array}\end{array}\right\}$ (1.5b)

Third step: Express the AC analytical inverse operations, which are as follows:

$\begin{array}{l}\frac{\left\{\begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}1}{\stackrel{︷}{a{a}^{\prime }}}& \stackrel{\text{Term}\text{\hspace{0.17em}}2}{\stackrel{︷}{\left(a{b}^{\prime }+b{a}^{\prime }\right)}}& \begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}3}{\stackrel{︷}{\left(a{c}^{\prime }+b{b}^{\prime }+c{a}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}4}{\stackrel{︷}{\left(b{c}^{\prime }+c{b}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}5}{\stackrel{︷}{c{c}^{\prime }}}\end{array}\end{array}\right\}}{\left\{\begin{array}{cc}{a}^{\prime }& \begin{array}{cc}{b}^{\prime }& {c}^{\prime }\end{array}\end{array}\right\}}\\ =\left\{\begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}1}{\stackrel{︷}{a{a}^{\prime }}}& \stackrel{\text{Term}\text{\hspace{0.17em}}2}{\stackrel{︷}{\left(a{b}^{\prime }+b{a}^{\prime }\right)}}& \begin{array}{ccc}\stackrel{\text{Term}\text{\hspace{0.17em}}3}{\stackrel{︷}{\left(a{c}^{\prime }+b{b}^{\prime }+c{a}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}4}{\stackrel{︷}{\left(b{c}^{\prime }+c{b}^{\prime }\right)}}& \stackrel{\text{Term}\text{\hspace{0.17em}}5}{\stackrel{︷}{c{c}^{\prime }}}\end{array}\end{array}\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}\stackrel{\text{T1}}{\stackrel{︷}{\frac{1}{a}}}& \stackrel{\text{T2}}{\stackrel{︷}{-\frac{b}{{a}^{2}}}}& \begin{array}{ccc}\stackrel{\text{T3}}{\stackrel{︷}{\frac{{b}^{2}-ac}{{a}^{3}}}}& \stackrel{\text{T4}}{\stackrel{︷}{\frac{2abc-{b}^{3}}{{a}^{4}}}}& \stackrel{\text{Term}\text{\hspace{0.17em}}5}{\stackrel{︷}{\frac{{b}^{4}-3a{b}^{2}c+{a}^{2}{c}^{2}}{{a}^{5}}}}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}{a}^{\prime }& \begin{array}{cc}{b}^{\prime }& \begin{array}{ccc}{c}^{\prime }& 0& 0\end{array}\end{array}\end{array}\right\}\end{array}$ (1.6)

The operations in (1.6) simply do not exist in algebra, but they are AC constructs through the convolution theorem. To compare AC with algebra, a further example is given, which uses the elements of the Pascal Triangle for Examples 1.2 and 1.3, as follows:

Example 1.4: Consider the Pascal Triangle for the case of $\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}$ to produce: $\left\{\begin{array}{ccc}1& 4& \begin{array}{ccc}6& 4& 1\end{array}\end{array}\right\}$ .

There are few algebraic ways to carry out the above operations but AC operations as per (1.4) for $a={a}^{\prime }=1$ , $b={b}^{\prime }=2$ and $c={c}^{\prime }=1$ are as follows:

$\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}=\left\{\begin{array}{ccc}1& 4& \begin{array}{ccc}6& 4& 1\end{array}\end{array}\right\}$ (1.7)

The inverse operation of (1.7) is equivalent to the case of $\left\{\begin{array}{ccc}1& 4& \begin{array}{ccc}6& 4& 1\end{array}\end{array}\right\}$ divided by $\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}$ . It is widely known that the inverse of $\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}$ is given by:

$\frac{1}{\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}}=\left\{\begin{array}{ccc}1& -2& \begin{array}{ccc}3& -4& 5\end{array}\end{array}\right\}$ (1.8a)

Algebra lacks an operator for the product of these two but AC is operated as follows:

$\begin{array}{l}\left\{\begin{array}{ccc}1& 4& \begin{array}{ccc}6& 4& 1\end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& -2& \begin{array}{ccc}3& -4& 5\end{array}\end{array}\right\}\\ =\left\{\begin{array}{ccc}1×1& \left(-1×2+4×1\right)& \begin{array}{cc}\left(1×3-4×2+6×1\right)& \left(-1×4+4×3-6×2+4×1\right)\end{array}\end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\left(1×5-4×4+6×3-4×2+1×1\right)\right\}\\ =\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}1& 0& 0\end{array}\end{array}\right\}\end{array}$ (1.8b)

The above examples illustrate a major difference between traditional algebra and AC, according to which, algebra is a set of clever operations and when it has problems, it either remains as low as intuition or becomes very sophisticated, e.g. the deconvolution theorem. On the other hand, AC needs initiation; its operations are logical but not apparent and this explains its belated discovery; it creates a procedural approach even for its inverse problems; thus, AC is smart. Whilst the above examples are given by everyday algebraic experience, the remaining sections focus on sequences with higher complexity.

2. Initiation of AC―Prerequisite Background

2.1. Basic Definitions

AC is associated with a set of proposed terms, new symbols and new operators, presented by the author  , which may be referenced for full details but basic definitions are reproduced here for continuity and warnings are given where the definitions have been revised.

Definition 2.1―sequences: A sequence of numbers is a collection of highly ordered set of individual numbers, each referred to as a term, or an element, separated by a comma or space and denoted by a curly bracket, e.g.:

$\left\{ℕ\right\}=\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \begin{array}{ccc}\cdots & i& \cdots \end{array}& n\end{array}\end{array}\right\}$ (2.1)

Definition 2.2―Bounded/unbounded sequences: The number of the terms in bounded sequences is finite but in unbounded sequences, it is not. Bounded sequences are denoted by upper case single strike letters: $\left\{\mathcal{S}\right\}$ but unbounded sequences by upper cases double strike letters: $\left\{\mathbb{S}\right\}$ and natural numbers are denoted by $\left\{ℕ\right\}$ .

Definition 2.3―Regeneration: This is a way of using a sequence at a lower level and building a new sequence at a higher level by operating on its terms through summing, where the process of regeneration for each term starts from the first term, see operators (2.6).

Definition 2.4―Arithmetic Calculus (AC): is a proposed term to refer to a new branch of mathematics, in which sequences are likened to assets and the theory of convolution or its variations are likened to currency. AC covers a universe of sequences of infinite sizes. These sequences are to be referred to as conducemental sequences, where the justification for coining this term is given by  .

Definition 2.5―Conducemental Sequence: Any sequences involving a multiplication by the convolution theorem or its variations are to be referred to as conducemental sequences, e.g. the Pascal Triangle and the sequence of natural numbers.

Definition 2.6: Conducemental Sequences refer to a whole universe of synthetic sequences based on (i) a kernel, e.g. $〈1〉$ or $〈\begin{array}{cc}1& 1\end{array}〉$ ; (ii) a sequence of counters, which may be unbounded, e.g.: $\left\{\begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}1& \cdots \end{array}\end{array}\end{array}\end{array}\right\}$ , or bounded, e.g. $\left\{\begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}1& 1\end{array}\end{array}\end{array}\right\}$ ; (iii) multiplication of these constituent sequences by employing one or more of the product rules (defined in Section 2.2); (iv) the source term (first term) of the sequence may start from any term; and (v) some of the terms may be defective.

Definition 2.7―conducemental dimension specifications: The focus of attention in conducemental sequences is on parent sequences, $\left\{\mathbb{S}\right\}$ , which is normally associated with another one to be referred to base sequences, $\left\{{\mathbb{S}}^{\prime }\right\}$ . In between the parent and the base sequences, as well as outside them, there are many sequences at different hierarchies but all of them can be specified as:

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|d\left({d}_{f},{d}_{t}\right),o,g〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|{ø}_{s}〉& \begin{array}{cc}Defect& 〈\mathcal{K}|\begin{array}{ccc}{\mathcal{T}}_{1}& {\mathcal{T}}_{2}& \begin{array}{cc}\cdots & {\mathcal{T}}_{o}\end{array}\end{array}〉\end{array}\end{array}\end{array}⌉$ (2.2a)

which is read as dimensional specification of $\mathbb{S}$ is given by i) architectural specification in terms of its degree from … to …, order and generation; ii) logistic specification in terms of its ordinal of the source term; iii) any defect in any of the term; and iv) specification of it kernel. The specification in (2.2a) comprises the following four components:

i) Architecture Specification ( $\mathcal{A}\mathcal{S}$ ): This comprises: degree: $d$ (degree often involves operations in a range from one degree, ${d}_{f}$ , to another degree, ${d}_{t}$ ); order: $o$ , and generation: $g$ . The specification using the kernels is denoted by $\delta$ and $\omega$ .

ii) Logistics Specification ( $\mathcal{L}\mathcal{S}$ ): It comprises ordinal of the source terms: ${ø}_{s}$ .

iii) Defect/mutation Specification: It specifies the term(s) suffering from errors.

iv) Kernel Specification $\mathcal{K}$ : It comprises size (and this is the same as order), values of its individual terms and the sum of these individual values.

Remark 2.1: The propositions “from” and “to” are underlined for emphasis.

Warning: Definitions for order and degree in the paper are opposites of those in  .

Example 2.1: Consider the following examples to show their specifications:

For $\left\{ℕ\right\}=\left\{\begin{array}{cc}1& \begin{array}{cc}2& \begin{array}{cc}\cdots & n\end{array}\end{array}\end{array}\right\}=\left\{\begin{array}{cc}\left(\begin{array}{c}1\\ 0\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}2\\ 1\end{array}\right)& \begin{array}{cc}\cdots & \left(\begin{array}{c}n\\ n-1\end{array}\right)\end{array}\end{array}\end{array}\right\}$

Specification is:

$⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|1,1,2〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}\overline{)Defect}& \mathcal{K}|〈1〉\end{array}\end{array}\end{array}⌉$ (2.2b)

For $\left\{\mathbb{S}\right\}=\left\{\begin{array}{cc}{1}^{3}& \begin{array}{cc}{2}^{3}& \begin{array}{cc}\cdots & {n}^{3}\end{array}\end{array}\end{array}\right\}=\left\{\left\{\begin{array}{cc}1& \begin{array}{cc}4& 1\end{array}\end{array}\right\}⊚\left\{\begin{array}{cc}\left(\begin{array}{c}n+2\\ n-1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n+1\\ n-2\end{array}\right)& \left(\begin{array}{c}n\\ n-3\end{array}\right)\end{array}\end{array}\right\}\right\}$

Specification is:

$⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|3,3,0〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}\overline{)Defect}& \mathcal{K}|〈\begin{array}{ccc}1& 4& 1\end{array}〉\end{array}\end{array}\end{array}⌉$ (2.2c)

For $\left\{\mathbb{S}\right\}=\left\{\begin{array}{cc}{1}^{2}& \begin{array}{cc}{3}^{2}& \begin{array}{cc}\cdots & {\left(2n-1\right)}^{2}\end{array}\end{array}\end{array}\right\}=\left\{\begin{array}{cc}1& \begin{array}{cc}6& 1\end{array}\end{array}\right\}⊚\left\{\begin{array}{cc}\left(\begin{array}{c}n+1\\ n-1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n\\ n-2\end{array}\right)& \left(\begin{array}{c}n-1\\ n-3\end{array}\right)\end{array}\end{array}\right\}$

Specification is:

$⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|4,3,0〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}\overline{)Defect}& \mathcal{K}|〈\begin{array}{ccc}1& 6& 1\end{array}〉\end{array}\end{array}\end{array}⌉$ (2.2d)

Definition 2.8―Reducement and Conducement: Two fundamental operations of differentiation and integration are referred to in AC by the proposed terms of reducement and conducement. The inverse of reducement is conducement. These proposed terms are not standard and they should go with the propositions: From one hierarchy ( ${d}_{f}$ - degree from) to another ( ${d}_{t}$ degree to).

Conducemental sequences have the hierarchy of: (i) a parent sequence with their terms ranging from $-\infty$ to $\infty$ sequentially (horizontally, along rows, or ordinal-wise) and hierarchically (vertically, or degree-wise). The paper aims to capture the inherent sense of interconnection and interrelation within this network with the potential to infinity-within-infinity. This network sense is ignored in algebra but is brought to life by AC.

Remark 2.2: Hybrid terms have also been made from these two proposed terms, e.g. conducemental algebra, exemplified by the operations in Examples 1.1 - 1.4. Also, the paper uses two derivative terms of conducemental and reducemental to express the products of building blocks and rules for typical single term. Conducemental sequences are classified and various types are associated with proposed terms, as to be given in due course.

Remark 2.3: defect is used to show that this parameter is not considerd.

2.2. New Operators

Multiplication rules, presented below, operate on the corresponding elements of two sequences, as follows:

$\left\{\begin{array}{ccc}{t}_{1}& {t}_{2}& \begin{array}{ccc}\cdots & {t}_{n-1}& {t}_{n}\end{array}\end{array}\right\}$ (2.3a)

$\left\{\begin{array}{ccc}{r}_{1}& {r}_{2}& \begin{array}{ccc}\cdots & {r}_{m-1}& {r}_{m}\end{array}\end{array}\right\}$ (2.3b)

where m and n can be any large value. Both (2.3a) and (2.3b) can be sets of numbers or sequences. One of them acts as rules and the other as building blocks or invariants. The following multiplication rules are presented.

2.2.1. Direct Products

The direct product rule (or dot products) is defined as:

$\begin{array}{l}\left\{\begin{array}{ccc}{t}_{1}& {t}_{2}& \begin{array}{ccc}\cdots & {t}_{n-1}& {t}_{n}\end{array}\end{array}\right\}\circ \left\{\begin{array}{ccc}{r}_{1}& {r}_{2}& \begin{array}{ccc}\cdots & {r}_{n-1}& {r}_{n}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{ccc}{t}_{1}{r}_{1}& \begin{array}{cc}{t}_{2}{r}_{2}& {t}_{3}{r}_{3}\end{array}& \begin{array}{ccc}\cdots & {t}_{n-1}{r}_{n-1}& {t}_{n}{r}_{n}\end{array}\end{array}\right\}\end{array}$ (2.4a)

$\left\{\begin{array}{ccc}{t}_{1}& {t}_{2}& \begin{array}{cc}{t}_{3}& \cdots \end{array}\end{array}\right\}⊚\left\{\begin{array}{ccc}{r}_{1}& {r}_{2}& \begin{array}{cc}{r}_{3}& \cdots \end{array}\end{array}\right\}=\left\{{t}_{1}{r}_{1}+{t}_{2}{r}_{2}+\begin{array}{ccc}{t}_{3}{r}_{3}& \cdots & {t}_{n}{r}_{n}\end{array}\right\}$ (2.4b)

In (2.4a), dot products are denoted by “ $\circ$ ” but the summing from the first term in (2.4b) is denoted by “ $⊚$ .”

Example 2.2: The examples below exemplify the direct product rule:

$\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \cdots & n\end{array}\end{array}\right\}\circ \left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \cdots & n\end{array}\end{array}\right\}=\left\{\begin{array}{ccc}{1}^{2}& {2}^{2}& \begin{array}{ccc}{3}^{2}& \cdots & {n}^{2}\end{array}\end{array}\right\}$ (2.5a)

$\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \cdots & n\end{array}\end{array}\right\}⊚\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \cdots & n\end{array}\end{array}\right\}=\left\{{1}^{2}+{2}^{2}+\cdots +{n}^{2}\right\}$ (2.5b)

2.2.2. Regeneration Products

The regenerating product rule is defined below:

$\begin{array}{l}\left\{\begin{array}{ccc}{t}_{1}& {t}_{2}& \begin{array}{ccc}\cdots & {t}_{n-1}& {t}_{n}\end{array}\end{array}\right\}\left\{\begin{array}{ccc}{r}_{1}& {r}_{2}& \begin{array}{ccc}\cdots & {r}_{n-1}& {r}_{n}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{ccc}{t}_{1}{r}_{1}& \begin{array}{cc}{t}_{1}{r}_{2}+{t}_{2}{r}_{1}& {t}_{1}{r}_{3}+{t}_{2}{r}_{2}+{t}_{3}{r}_{1}\end{array}& \begin{array}{cc}\cdots & {t}_{1}{r}_{m-1}+{t}_{2}{r}_{m-2}+\cdots +{t}_{n-2}{r}_{2}+{t}_{n-1}{r}_{1}\end{array}\end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }\text{\hspace{0.17em}}{t}_{1}{r}_{m}+{t}_{2}{r}_{m-1}+\cdots +{t}_{n-1}{r}_{2}+{t}_{n}{r}_{1}\right\}\end{array}$ (2.6)

Remark 2.4: Both (2.5) and (2.6) have recursive versions but are not used in the paper.

The number of terms in the product is equal to the largest value of m or n. As shown in Appendix I, the above format is a direct adoption from the convolution theorem used in hydrology. The convolution theorem has been applied widely and goes back to Jean-Baptiste le Rond d’Alembert (1717-1783) and Pierre-Simon, marquis de Laplace (1749-1827) and others, see  for details but surprisingly it has not penetrated to generating functions as detailed in  .

2.2.3. Convolution Products

The convoluting product rule is defined as:

$\begin{array}{l}\left\{\begin{array}{ccc}{t}_{1}& {t}_{2}& \begin{array}{cc}{t}_{3}& {t}_{4}\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}{r}_{1}& {r}_{2}& {r}_{3}\end{array}\right\}=\left\{\begin{array}{ccc}{t}_{1}& \begin{array}{c}{t}_{1}\\ {t}_{2}\end{array}& \begin{array}{c}\begin{array}{c}{t}_{1}\\ {t}_{2}\\ {t}_{3}\end{array}\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}{t}_{1}\\ {t}_{2}\\ {t}_{3}\\ {t}_{4}\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}{r}_{1}& \begin{array}{c}{r}_{1}\\ {r}_{2}\end{array}& \begin{array}{c}{r}_{1}\\ {r}_{2}\\ {r}_{3}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{ccc}{t}_{1}{r}_{1}& \begin{array}{cc}{t}_{1}{r}_{2}+{t}_{2}{r}_{1}& {t}_{1}{r}_{3}+{t}_{2}{r}_{2}+{t}_{3}{r}_{1}\end{array}& \begin{array}{ccc}{t}_{2}{r}_{3}+{t}_{3}{r}_{2}+{t}_{4}{r}_{1}& {t}_{3}{r}_{2}+{t}_{4}{r}_{1}& {t}_{4}{r}_{1}\end{array}\end{array}\right\}\end{array}$ (2.7a)

The last two terms: ${t}_{3}{r}_{2}+{t}_{4}{r}_{1}$ and ${t}_{4}{r}_{1}$ , cause dipping in the trailing values of the product, as may be seen in the example below.

Example 2.3: Use the terms of Pascal Triangle to show the convolution product rule:

$\begin{array}{l}\left\{\begin{array}{ccc}1& 3& \begin{array}{cc}3& 1\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}\\ =\left\{\begin{array}{ccc}1×1& 1×2+3×1& \begin{array}{ccc}1×1+3×2+3×1& 3×1+3×2+1×1& \begin{array}{cc}3×1+1×2& 1×1\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}1& \begin{array}{cc}5& \begin{array}{cc}10& \begin{array}{cc}10& \underset{\text{dipping}}{\underset{︸}{\begin{array}{cc}5& 1\end{array}}}\end{array}\end{array}\end{array}\end{array}\right\}\end{array}$
(2.7b)

Hence, the over-fix in the notation, $\stackrel{^}{\oplus }$ , reflects the dipping at the trailing elements.

2.3. New Basic Sequences

The AC capability is underpinned by a host of basic conducemental sequences, which are captured in Table 1 in mathematical terms, including their constituent sequence used for their conducemental/reducementals. This gives a unified labelling scope in natural language (uninomial, binomial, trinomial, quadrinomial and polynomial).

Table 1. Uninomial, binomial and trinomial sequences built on natural numbers (Remark 2.5: ${\mathbb{B}}_{1}$ of ID 6 in the table is arithmetic progression).

The proposed shorthand mathematical symbols for denoting the above unbounded and bounded conducemental sequence forms are as follows:

・ For unbounded conducemental sequences, use: $\mathbb{U}$ , $\mathbb{B}$ , $\mathbb{T}$ , $ℚ$ , $ℙ$ ;

・ For and their inverses, use lower-case double-strike scripts: 𝕦, 𝕓, 𝕥, 𝕢, 𝕡

・ e.g. $\left\{{\mathbb{U}}_{0}\right\}=\left\{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}\right\}$ and {𝕦−1} = $\left\{\begin{array}{cc}1& -1\end{array}\right\}$

・ For bounded conducemental use upper-case single-strike scripts e.g. $\left\{{\mathcal{B}}_{2}\right\}=\left\{\begin{array}{ccc}1& 2& 1\end{array}\right\}$ . For their inverses, use their lowercase scripts, e.g. {𝒷2} = $\left\{\begin{array}{ccc}1& -2& \begin{array}{cc}3& \cdots \end{array}\end{array}\right\}$ .

Uninomial sequences in AC are pivotal, which are cut-and-shaped through the convolution theorem and its variations to make the bulk of AC. The pivotal role of the uninomial sequences cannot be overemphasised.

2.4. Combination of Negative Numbers and Conducemental Table

Combinatorial operators with negative numbers are treated as follows:

Definition 2.9: The following is well-established in mathematics:

Remark 2.6: Sequence of counters for reducementals are all binomial expressed: $\left\{\begin{array}{cc}\left(\begin{array}{c}n-2\\ n-2\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-2\\ n-3\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-2\\ n-4\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-2\\ n-5\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-2\\ n-6\end{array}\right)& \cdots \end{array}\end{array}\end{array}\end{array}\end{array}\right\}$ Consider it for n = 6, which render the sequence: $\left\{\begin{array}{cc}\begin{array}{ccc}0& 0& 1\end{array}& \begin{array}{cc}4& \begin{array}{cc}6& \begin{array}{cc}4& 1\end{array}\end{array}\end{array}\end{array}\right\}$ and for n = 7, it renders:: $\left\{\begin{array}{cc}\begin{array}{ccc}0& 0& \begin{array}{cc}0& 1\end{array}\end{array}& \begin{array}{cc}5& \begin{array}{cc}10& \begin{array}{cc}10& \begin{array}{cc}5& 1\end{array}\end{array}\end{array}\end{array}\end{array}\right\}$ and therefore this is a convenient way of shifting the source term to higher ordinals.

$\left(\begin{array}{c}-\left(n\right)\\ i\end{array}\right)=\left\{{\left(-1\right)}^{n}\left(\begin{array}{c}n\\ i\end{array}\right)\right\}$ (2.8)

However, negative base values in combinatorics operation is not allowed.

Definition 2.10: extension to negative numbers: Currently the operator for choosing m objects from a set of n objects applies to positive numbers but its application to negative numbers runs to problems. The following transformation removes the problem:

$\left(\begin{array}{c}n+i\\ n-j\end{array}\right)⇒\frac{n}{|n|}\left(\begin{array}{c}|n|+i\\ |n|-j\end{array}\right)$ (2.9)

where n is variable and can be negative, i and j values are positive and integer. The table of difference or Conducemental Table is generalised and is given in Table 2.

3. Arithmetic Calculus in a Nutshell

Arithmetic calculus turns attention away from the sequence as a whole but focuses on the individual terms and each reducemental is an AC expression for the individual terms. An account below shows the way for this transformation.

3.1. Transforming Difference Tables into a New Network

The difference table is well known in mathematics but its origin is obscure, although it was known to Chinese astronomers in the 8th century  . It also re-

Table 2. Extended conducemental table for uninomial sequences.

flects on core problems that on the one hand it is a powerful and easy tool to quickly reflect if there is a solution but on the other hand it conceals a great deal of information. The fresh look at the table aims: (i) to reveal the “cogwheels” that make the method work; and (ii) probably the satisfaction of an easy solution has prevented curiosity to explore full potentials. This is illustrated by analysing: ${\mathbb{U}}_{1}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}$ , in Table 3.

Algebra does not call the sequence $〈\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}〉$ as the kernel; it does not explain the reasons for its order being 4; the sequences below the kernels, e.g. $〈\begin{array}{ccc}1& 16& \begin{array}{cc}16& \begin{array}{cc}-24& -9\end{array}\end{array}\end{array}〉$ , are often looked at like an underworld; there is some knowledge of the diagonals but its composition is not common knowledge.

3.2. Transforming Difference Tables into Conducemental Network

AC is minded with explaining and unearthing the cogwheels of difference tables, whilst maintains the focus on single terms. Seven diagonals (alleles) in Table 3 are highlighted:

${\mathcal{A}}_{0}=\left\{\begin{array}{ccc}1& 23& \begin{array}{ccc}133& 331& \begin{array}{ccc}410& 250& 60\end{array}\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{1}=\left\{\begin{array}{ccc}1& 22& \begin{array}{ccc}111& 220& \begin{array}{cc}190& 60\end{array}\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{2}=\left\{\begin{array}{ccc}1& 21& \begin{array}{ccc}90& 130& 60\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{3}=\left\{\begin{array}{ccc}1& 20& \begin{array}{cc}70& 60\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{4}=\left\{\begin{array}{ccc}1& 19& \begin{array}{cc}51& 9\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{5}=\left\{\begin{array}{ccc}1& 19& \begin{array}{cc}33& 9\end{array}\end{array}\right\}$ ; ${\mathcal{A}}_{6}=\left\{\begin{array}{ccc}1& 18& \begin{array}{cc}33& 9\end{array}\end{array}\right\}$ ; $\text{Kernel}=〈\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}〉$ .

The main features of the conducemental table include: i) degree, each value of which marks a hierarchical level; ii) ordinal, each value of which sets the identifier for the terms; its source term can start from any term and is an important one; any term prior to the source term is treated as zero; and iii) gradient, diagonal or alleles, as shown above.

Table 3. Conducemental table or visual conducemental network for ${\mathbb{U}}_{1}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}.$

3.3. Basic Operations Using Alleles

Above alleles are interoperable (convertible to one another) through appropriate rules, e.g.:

$\begin{array}{c}{\mathcal{A}}_{0}=\left\{\begin{array}{ccc}0& 24& \begin{array}{ccc}156& 464& \begin{array}{ccc}741& 660& \begin{array}{cc}310& 60\end{array}\end{array}\end{array}\end{array}\right\}\oplus \left\{\begin{array}{c}1\\ -1\\ 1\\ -1\\ 1\\ -1\\ 1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}1\right\}\\ =\left\{\begin{array}{ccc}1& 23& \begin{array}{ccc}133& 331& \begin{array}{ccc}410& 250& 60\end{array}\end{array}\end{array}\right\}\end{array}$ (3.1a)

$\begin{array}{c}{\mathcal{A}}_{1}=\left\{\begin{array}{ccc}1& 23& \begin{array}{ccc}133& 331& \begin{array}{ccc}410& 250& 60\end{array}\end{array}\end{array}\right\}\oplus \left\{1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\\ 1\\ -1\\ 1\end{array}\right\}\\ =\left\{\begin{array}{ccc}1& 22& \begin{array}{ccc}111& 220& \begin{array}{cc}190& 60\end{array}\end{array}\end{array}\right\}\end{array}$ (3.1b)

$\begin{array}{c}{\mathcal{A}}_{2}=\left\{\begin{array}{ccc}1& 22& \begin{array}{ccc}111& 220& \begin{array}{cc}190& 60\end{array}\end{array}\end{array}\right\}\oplus \left\{1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\\ 1\\ -1\end{array}\right\}\\ =\left\{\begin{array}{ccc}1& 21& \begin{array}{ccc}90& 130& 60\end{array}\end{array}\right\}\end{array}$ (3.1c)

$\begin{array}{c}{\mathcal{A}}_{3}=\left\{\begin{array}{ccc}1& 21& \begin{array}{ccc}90& 130& 60\end{array}\end{array}\right\}\oplus \left\{1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ 1\\ -1\end{array}\right\}\\ =\left\{\begin{array}{ccc}1& 19& \begin{array}{cc}51& 9\end{array}\end{array}\right\}\end{array}$ (3.1d)

${\mathcal{A}}_{4}=\left\{\begin{array}{ccc}1& 19& \begin{array}{cc}51& 9\end{array}\end{array}\right\}\oplus \left\{1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}1\right\}=\left\{\begin{array}{ccc}1& 18& \begin{array}{cc}33& 9\end{array}\end{array}\right\}$ (3.1e)

${\mathcal{A}}_{5}=\left\{\begin{array}{ccc}1& 18& \begin{array}{cc}33& 9\end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& \begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}1& 1\end{array}\end{array}\right\}=\left\{\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}\right\}$ (3.1f)

${\mathcal{A}}_{6}=\left\{\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& 1& \begin{array}{cc}1& 1\end{array}\end{array}\right\}=〈\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}〉$ (3.1g)

$\left\{\begin{array}{ccc}1& 17& \begin{array}{cc}33& 9\end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& \begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}\begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}\begin{array}{c}1\\ -1\end{array}& 1\end{array}\end{array}\end{array}\right\}=\left\{\begin{array}{ccc}1& 16& \begin{array}{ccc}16& -24& -9\end{array}\end{array}\right\}$ (3.1h)

$\begin{array}{l}\left\{\begin{array}{ccc}1& 16& \begin{array}{ccc}16& -24& -9\end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& \begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}\begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}\begin{array}{c}1\\ -1\end{array}& \begin{array}{cc}\begin{array}{c}1\\ -1\end{array}& 1\end{array}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{ccc}1& 15& \begin{array}{ccc}0& -40& \begin{array}{cc}15& 9\end{array}\end{array}\end{array}\right\}\end{array}$ (3.1i)

Remark 3.1: architectural variations in alleles are greyed, where these alleles initiate transient changes. AC makes these operations as routine but their algebraic operations are not.

3.4. Morphology of Types 2 - 4 Conducemental Sequences

The paper refers to all of (3.1) as operations on alleles, and to the enabler sequence in these operations as the sequence of counters, sequence of invariables, rules or replicators. These terms are regarded as synonymous but the term replicator is a curious one and easily graspable as these sequences are replications of the previous sub-terms plus introduction of a new sub-term.

The replicators in the operations seem to reveal the cogwheels but these are AC operations and do not exist in algebra. It should be mentioned that that these replicators undergo: (i) global (generic) variations highlighted in grey; and (ii) local (specific) variations. Global and local variations are a feature of each unbounded conducemental sequence, which are classified into types in Section 4.3. For instance, Type 2 displays the following characteristic feature with respect to their kernels:

${\mathbb{U}}_{0}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}6& 3\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)3};\delta =5$ (3.2a)

${\mathbb{U}}_{1}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}17& \begin{array}{cc}33& 3\end{array}\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)4};\delta =6$ (3.2b)

${\mathbb{U}}_{2}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}28& \begin{array}{cc}100& \begin{array}{cc}72& 9\end{array}\end{array}\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)5};\delta =7$ (3.2c)

${\mathbb{U}}_{3}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}39& \begin{array}{cc}204& \begin{array}{cc}244& \begin{array}{cc}69& 3\end{array}\end{array}\end{array}\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)6};\delta =8$ (3.2d)

${\mathbb{U}}_{4}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}50& \begin{array}{cc}345& \begin{array}{cc}580& \begin{array}{cc}260& 24\end{array}\end{array}\end{array}\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)6};\delta =9$ (3.2e)

${\mathbb{U}}_{5}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}61& \begin{array}{cc}523& \begin{array}{cc}1135& \begin{array}{cc}700& 100\end{array}\end{array}\end{array}\end{array}\end{array}〉;\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)6};\delta =10$ (3.2f)

It is observed that ${\mathbb{U}}_{2}.{\mathbb{U}}_{3}$ ( $\delta =5$ ) is the core in (3.2) sequences; as its degree increases systematically (from 5 to 10), its order only increases up to ( $\omega =6$ ) but remains constant at 6 from ${\mathbb{U}}_{3}.{\mathbb{U}}_{2}.{\mathbb{U}}_{3}$ upwards. Contrast this with Type 4 sequences, as follows:

${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{1}:〈\begin{array}{cc}1& \begin{array}{cc}32& \begin{array}{cc}62& \begin{array}{cc}0& 1\end{array}\end{array}\end{array}\end{array}〉\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)5};\delta =3$ (3.3a)

${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{2}:〈\begin{array}{cc}1& \begin{array}{cc}44& \begin{array}{cc}134& \begin{array}{cc}12& 1\end{array}\end{array}\end{array}\end{array}〉\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)6};\delta =3$ (3.3b)

${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{3}:〈\begin{array}{cc}1& \begin{array}{cc}56& \begin{array}{cc}246& \begin{array}{cc}116& \begin{array}{cc}-47& 12\end{array}\end{array}\end{array}\end{array}\end{array}〉\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)6};\delta =3$ (3.3c)

${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{4}:〈\begin{array}{cc}1& \begin{array}{cc}68& \begin{array}{cc}398& \begin{array}{cc}396& \begin{array}{cc}-47& \begin{array}{cc}-88& 40\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}〉\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\omega =\overline{)7};\delta =3$ (3.3d)

It is further noted that the order of ${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{1}$ and ${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{2}$ remains at the constant value of 5 but increases by “1” from ${\mathbb{B}}_{1}.{\mathbb{B}}_{2}.{\mathbb{B}}_{3}$ upwards, while their degree remains at 3. In this way, the morphology of Type 4 sequences is in a sharp contrast with those of Type 2 sequences. These morphological differences are not accidental or arbitrary but this paper only draws attention to the differences in these features, which are determinable from their dimensional specifications, but they will be analysed in separate papers. These morphological architectures are not trivial but they allow a complete regeneration of each and all conducemental sequences. These are explained heuristically in the next section.

The morphology of each conducemental sequence is determined by its order. Consider the morphology of some of the simple conducemental sequences of Types 2 to 4 in Tables 4(a)-(c). The paper expressly states that all the variations in the order and degree (architectural specification) are determinate in terms of dimensional specification and the values shown in Tables 4(a)-(c) exemplify the problem.

4. Classifying Conducemental Sequences―Functionology

The paper is indirectly concerned with generating functionology  , which transforms any algebraic functions to polynomial functions. However, the paper employs none of these techniques and offers a fresh approach to the subject, which is analytical.

Convolution products have an interesting structure but conventional algebra conceals them by expressing the products in terms of algebraic functions including polynomial functions but conducemental algebra unearths their structures. The paper unearths these structures in terms of their degree and order by the following classification: Type 1: the degree of the sequence is between $-\infty$ and $\infty$ but its order is constant; Type 2: $\delta \ge \omega$ plus other requirements; Type 3: $\delta >\omega$ plus other requirement and Type 3: $\delta <\omega$ plus other requirements. These are outlined in this section.

4.1. Overview of Morphology of Sequences

A glimpse of morphology is already presented in Section 3.4 indicates that a serious variability in the general morphology of conducemental sequences. Consider Table 4(a) & Table 4(c).

(a) (b) (c)

(a)Remark 4.1: The sequence ( ${\mathbb{U}}_{1}.{\mathbb{U}}_{1}.{\mathbb{U}}_{1}$ ), ID 8, is Example 6.1 for a more detailed study.
(b)Remark 4.2: R1 denotes regeneration once, R2 denotes regeneration twice and so one.

(a)

Table 4. (a) Reducementals of simple unbounded conducemental sequences: $\delta \ge \omega$ ; (b) reducementals of regenerated unbounded conducemental sequences: $\delta \ge \omega$ ; (c) reducementals for a set of unbounded conducemental sequences.

The variability in the order of the examples in Table 4(a) & Table 4(b) need to be explained. The author has analysed literally thousands of such sequences to understand the underlying patterns. Although these patterns will be explained in a future paper, it suffices to mention that they are determinate but the way out is to classify these sequence, as given in Section 4.3.

4.2. Architecture of Conducemental Sequences

Tables 4(a)-(c) reflect on the morphology of unbounded conducemental sequences; which are implicitly captured in Table 3 but captured more explicitly in Table 5.

Table 5 provides a visual aid to draw attention to a network in which the players are: parent sequences, base sequences, degrees/hierarchies in the vertical sense, ordinal in the horizontal sense, alleles along the diagonal; active and passive spaces and the kernel space; generic variations in the allele zones treated by a route map but not detailed in the paper.

4.3. Classification of Unbounded Conducemental Sequences

The whole conducemental sequences are classified into five types of conducemental sequences. Types 1 - 4, defined below, are to be referred to as unbounded conducemental sequences but Type 5, as bounded conducemental sequences, are only outlined.

4.3.1. Type 1 Sequences

This type of sequences are the regeneration products of generations of sequences

Table 5. Bird’s eye of view of architecture of conducemental networks.

based on natural numbers. These are referred to as the uninomial sequences, defined as follows:

$\left\{Cond\text{.|}\stackrel{d}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}=\left\{Cond\text{.|}\stackrel{{d}_{1}}{\stackrel{︷}{\left\{ℕ\right\}}}\oplus \stackrel{{d}_{2}}{\stackrel{︷}{\left\{ℕ\right\}}}\oplus \stackrel{{d}_{3}}{\stackrel{︷}{\left\{ℕ\right\}}}\oplus \cdots \oplus \stackrel{{d}_{i}}{\stackrel{︷}{\left\{ℕ\right\}}}\right\}=\left\{1\right\}⊚\left\{\left(\begin{array}{c}n+d\\ n-1\end{array}\right)\right\}$ (4.1a)

where, $d={d}_{1}+{d}_{2}+{d}_{3}+\cdots +{d}_{i}$ ; The expression in (4.1) is read as the conducement of Sequence $\mathbb{S}$ of degree d is given by the convolution products of natural number of degrees of ${d}_{1},{d}_{2},{d}_{3},\cdots$ and ${d}_{i}$ and its conducemental is given by the product of two sequences, as shown. The dimensional specification of Type 1 sequences is:

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|d,1,d+1〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|\begin{array}{cc}1,{ø}_{a}& {d}_{f},{d}_{t}\end{array}〉& \begin{array}{cc}\overline{)Defect}& 〈\mathcal{K}|1〉\end{array}\end{array}\end{array}⌉$ (4.1b)

Remark 4.3: Dimension specification of uninomial unbounded sequence is:

$⌈\begin{array}{ccc}\mathcal{D}\mathcal{S}|& {\mathbb{U}}_{1}|& \begin{array}{cc}1& \begin{array}{cc}1& \cdots \end{array}\end{array}\end{array}⌉=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|0,1,1〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}Defect& 〈\mathcal{K}|1〉\end{array}\end{array}\end{array}⌉$ (4.2a)

Its inverse is:

 (4.2b)

Remark 4.4: For each multiplication by $\left\{\begin{array}{cc}1& \begin{array}{cc}1& \cdots \end{array}\end{array}\right\}\oplus$ , the degree is increased by “1”.

Remark 4.5: The bounded unitary sequence of $\left\{\stackrel{\text{finitesize}}{\stackrel{︷}{\begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}\cdots & 1\end{array}\end{array}\end{array}}}\right\}$ , has a pivotal

role in Type 4 sequences; the unbounded unitary sequence, $\left\{\begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}1& \begin{array}{cc}1& \cdots \end{array}\end{array}\end{array}\end{array}\right\}$ cannot be used with the convolution products rule, $\stackrel{^}{\oplus }$ ; and it has no effect when used in direct product with $\circ$ .

4.3.2. Type 2 Sequences

This type of sequences is the direct products of Type 1 sequences, expressed as follows:

$\begin{array}{l}\left\{Red|\stackrel{d}{\stackrel{︷}{\left\{\underset{\omega }{\underset{︸}{\mathbb{S}}}\right\}}}=\stackrel{{d}_{1}}{\stackrel{︷}{\left\{\underset{{\omega }_{1}}{\underset{︸}{\mathbb{S}}}\right\}}}\circ \stackrel{{d}_{2}}{\stackrel{︷}{\left\{\underset{{\omega }_{2}}{\underset{︸}{\mathbb{S}}}\right\}}}\circ \cdots \circ \stackrel{{d}_{i}}{\stackrel{︷}{\left\{\underset{{\omega }_{i}}{\underset{︸}{\mathbb{S}}}\right\}}}\right\}\\ =\left\{\begin{array}{ccc}{T}_{1}& {T}_{2}& \begin{array}{cc}\cdots & {T}_{\omega }\end{array}\end{array}\right\}⊚\left\{\begin{array}{ccc}\left(\begin{array}{c}n+d-1\\ n-1\end{array}\right)& \left(\begin{array}{c}n+d-2\\ n-2\end{array}\right)& \begin{array}{cc}\cdots & \left(\begin{array}{c}n+d-\omega \\ n-\omega \end{array}\right)\end{array}\end{array}\right\}\end{array}$ (4.3a)

where ${d}_{1},{d}_{2},{d}_{3},\cdots ,{d}_{i}$ , are the degrees of the individual sequences and T is the values of the terms of the kernels from 1 to $\omega$ . Notably, (4.3a) is read as: the reducemental of Sequence $\mathbb{S}$ of degree d. The degree at its kernel is given by the direct products of lower sequences of degrees ${d}_{1},{d}_{2},{d}_{3},\cdots$ and ${d}_{i}$ with corresponding orders of ${\omega }_{1},{\omega }_{2},{\omega }_{3},\cdots$ and ${\omega }_{i}$ ), in which the following hold:

$d={d}_{1}+{d}_{2}+{d}_{3}+\cdots +{d}_{i}$ (4.3b)

The order of the Type 2 conducemental sequences is determined as follows:

$\omega ={d}_{1}+{d}_{2}+{d}_{3}+\cdots +{d}_{i}-\mathrm{max}\left({d}_{1},{d}_{2},{d}_{3},\cdots ,{d}_{i}\right)+1$ (4.3c)

The dimensional specification of Type 2 sequences is:

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|\delta ,\omega ,0〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}Defect& 〈\mathcal{K}|\begin{array}{ccc}{T}_{1}& {T}_{2}& \begin{array}{cc}\cdots & {T}_{\omega }\end{array}\end{array}〉\end{array}\end{array}\end{array}⌉$ (4.3d)

4.3.3. Type 3 Sequences

Conducemental sequences of Types 1 and 2 may be combined, so that the overall product includes any number of both direct and regeneration product rules.

Example 4.1: Consider the example:

$\left\{\left\{\stackrel{{d}_{1}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\circ \stackrel{{d}_{2}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}\oplus \stackrel{d}{\stackrel{︷}{\underset{g=1}{\underset{︸}{\left\{\mathbb{U}\right\}}}}}\right\}\circ \stackrel{{d}_{3}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\circ \cdots \circ \stackrel{{d}_{i}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}$ (4.4a)

(4.4a) is a conglomerate; its degree is the sum of the degree of individual constituents; its order is determinate but complex and not presented here; and its dimensions are specified:

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|\delta ,\omega ,g〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}Defect& 〈\mathcal{K}|\begin{array}{ccc}{T}_{1}& {T}_{2}& \begin{array}{cc}\cdots & {T}_{\omega }\end{array}\end{array}〉\end{array}\end{array}\end{array}⌉$ (4.4b)

where $\delta ,\omega$ have definitive values but follow complex rules not given in the paper.

4.3.4. Type 4 Sequences

These types of conducemental sequences comprise any number of conglomerate constituents, which involve at least one convolution product. One example is as follows:

$\left\{\left\{\stackrel{{d}_{1}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}\oplus \left\{u\right\}\right\}\circ \left\{\left\{\stackrel{{d}_{2}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}\oplus \left\{u\right\}\right\}\circ \cdots \circ \left\{\left\{\stackrel{{d}_{i}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}\oplus \left\{u\right\}\right\}$ (4.5a)

where $\left\{u\right\}$ is a bounded sequence of counter, e.g. $\left\{\begin{array}{cc}1& 1\end{array}\right\}$ or $\left\{\begin{array}{cc}1& \begin{array}{cc}1& 1\end{array}\end{array}\right\}$ . In pure Type 4 multiplications, the degrees are not affected but the kernel orders are calculated as:

${d}_{\mathrm{max}}=\left\{\mathrm{max}|{d}_{1},{d}_{2},{d}_{3},\cdots ,{d}_{i}\right\}$ (4.5b)

$o={d}_{\mathrm{max}}+{1}_{\text{foreachmultiplication}}$ (4.5c)

The conducemental dimensional specification of Type 4 sequences is:

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈\mathcal{A}\mathcal{S}|\delta ,\omega ,0〉& \begin{array}{cc}〈\mathcal{L}\mathcal{S}|1〉& \begin{array}{cc}Defect& 〈\mathcal{K}|\begin{array}{ccc}{T}_{1}& {T}_{2}& \begin{array}{cc}\cdots & {T}_{o}\end{array}\end{array}〉\end{array}\end{array}\end{array}⌉$ (4.5d)

4.4. Bounded Conducemental Sequences―Type 5

Both kernels and sequence of counters are bounded and their values may even be selected at random but operated by the conducemental algebra. These are outside the remit of the paper but they are also classified and some of these classes correspond to exponential series of the type (nm), e.g. the sequences in Pascal Triangle, which corresponds to 2m. Notably, Examples 1.1 - 1.4 in Introduction are related to Type 5 sequences.

4.5. Further Definitions on Unbounded Conducemental Sequences

Further definitions are necessary to capture the information conveyed in Table 3 and Table 4 but the intention is not to present rigorous definitions at this initiation stage. As shown in these tables, the domain of a parent sequence is divided into three spaces: (i) active space, (ii) kernel space and (iii) passive space. The AC way of thinking should be organised in two ways: (i) the problems are stated within a range of hierarchies (degrees): From the top of the range (parent sequence) to the bottom of the range (the base sequence) in the reducement problems or vice versa (from the base to the parent sequences) in the conducement problems; (ii) the focus of operations is on individual terms; and (iii) these spaces make up a new network to be referred to as the conducemental network. The passive space is the inverse of the active space and conjugate of each other but separated by the kernel space.

The overview of the conducemental network is as follows. (i) Active spaces are under direct attention and hold the hierarchies, each of which has positive values of a degree. (ii) Each hierarchy in this domain is a regeneration of its immediately lower hierarchy and therefore one degree more than it. (ii) The information content extractable from a hierarchy is only limited to the value of its degree. (iii) More information is contained in the gradients (alleles or diagonals) of the hierarchies ranging from the parent sequence to its kernel zone, as the diagonals retain sufficient information in the form of bounded conducemental sequences for the regeneration of the parent sequence and thereby of each and all of the hierarchies. (iv) Passive spaces are conjugates of active spaces, i.e. given one the other is available whether wanted or not. (vi) Each row in the passive space is a bounded sequence like the diagonals and has the dual function of acting as a diagonal and a hierarchy. The terms gradient, diagonal and allele are synonymous but diagonal or gradient in the passive space is meaningless as in the passive space, where both sequences and diagonals are coincident.

Degree, order and ordinal are three fundamental parameters to specify any parent sequence. (i) Degree is a fundamental property and defines a hierarchy; (ii) Each and every hierarchy of a parent sequence has the same order and as such order is a fundamental property similar to degree. (iii) The ordinal of the first term of a parent sequence is an independent variable and must be specified, as this affects the alleles.

5. Morphology of Type 1 Conducemental Sequences

The following three terms needs to be emphasised: (i) morphology refers to visible features of the reducementals in terms of order, alleles, degree and source term; (ii) architecture refers to the role of morphological features shared across the types of conducemental sequences; and (iii) structure refers to the layout of building blocks within each term.

Morphology of Type 1 unbounded sequences, given in Table 1, is the simplest of these unbounded conducemental sequences and presented in this section to lay the ground for morphology and structure but architecture will have some coverage in Section 6.

5.1. Reducemental of Type 1 Sequences

Proposition 5.1: Uninomial unbounded sequences, ${\mathbb{U}}_{d}$ of degree d is factorised into the direct products of: (i) the sequence of building blocks and the sequence of counters.

$\begin{array}{l}\left\{\begin{array}{cc}\left(\begin{array}{c}d\\ 0\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}d\\ 1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}d\\ 2\end{array}\right)& \begin{array}{cc}\cdots & \left(\begin{array}{c}d\\ d\end{array}\right)\end{array}\end{array}\end{array}\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n\\ n\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n\\ n-1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n\\ n-2\end{array}\right)& \begin{array}{cc}\cdots & \left(\begin{array}{c}n\\ n-d\end{array}\right)\end{array}\end{array}\end{array}\end{array}\right\}\\ =\left(\begin{array}{c}n+d\\ n\end{array}\right)\end{array}$ (5.1)

The proposition is well known in algebra and no need to prove it. The only difference between (5.1) and those in algebra is the notation used but this is not trivial as it opens up the methodology for interpreting the problem. Thus, Type 1 unbounded sequences show that each term is an arrangement of the building

block expressed in terms of degree $\left(\left\{\begin{array}{cc}\left(\begin{array}{c}d\\ 0\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}d\\ 1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}d\\ 2\end{array}\right)& \begin{array}{cc}\cdots & \left(\begin{array}{c}d\\ d\end{array}\right)\end{array}\end{array}\end{array}\end{array}\right\}\right)$ based on the rule for object selection without replacement, as an expression of a self-replication process described later.

5.2. Rule Base for Layout of the Building Blocks

Type 1 Unbounded Conducemental Sequences and their layout in terms of the building blocks is outlined here to unearth the morphology within conducemental sequences, see also  . A set of rule-base is needed, as given in Table 6.

5.3. AC Treatment of Type 1 Uninomial Sequences

5.3.1. Processing Generation 0―The Priming Operation

The sequence is processed as follows:

The kernel $〈1〉$ is transformed into a sequence by “priming”, as follows:

$〈1〉\circ \stackrel{\text{givenrule}}{\stackrel{︷}{\left\{1\right\}}}=\left\{1\right\}$ (5.2)

The primed (5.2) is the uninomial bounded sequence of Generation 0 and yet has no degree. It serves as the building block for sequences of higher generations.

5.3.2. Processing Generation 1

i) Generation 1 sequence is generated as follows:

${\mathbb{U}}_{0}=\stackrel{}{\stackrel{︷}{\left\{1\right\}}}\oplus \stackrel{\text{unitarysequence}}{\stackrel{︷}{\left\{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}\right\}}}=\stackrel{\text{product}}{\stackrel{︷}{\underset{\text{Generation1}}{\underset{︸}{\left\{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}\right\}}}}}$ (5.3a)

ii)Dimensional Specification:

$\left\{\mathcal{D}\mathcal{S}|{\mathbb{U}}_{0}\right\}=⌈\begin{array}{cc}〈as|0,1,1〉& \begin{array}{cc}〈ls|1〉& \begin{array}{cc}\overline{)Defect}& 〈\mathcal{K}|1〉\end{array}\end{array}\end{array}⌉$ (5.3b)

Table 6. Rules for the structure of hierarchies based on uninomial sequences.

iii) The product is Type 1 unbounded conducemental sequence, expanded as per Rules 5.3:

$\stackrel{d=0}{\stackrel{︷}{\underset{g=1}{\underset{︸}{\left\{{\mathbb{U}}_{0}\right\}}}}}=\left\{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}\right\}=\left\{\begin{array}{cc}\stackrel{T1}{\stackrel{︷}{1}}& \stackrel{T2}{\stackrel{︷}{1}}\end{array}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\begin{array}{ccc}\stackrel{T3}{\stackrel{︷}{1}}& \stackrel{T4}{\stackrel{︷}{1}}& \cdots \end{array}\right\}$ (5.3c)

5.3.3. Processing Generation 2―Natural Numbers

The product of (5.3c) serves as building blocks for the sequences of higher degrees and in this case conducing from Generation 1 uninomial sequence using the unitary sequence produces natural numbers:

(i)

$\stackrel{d=1}{\stackrel{︷}{\underset{g=2}{\underset{︸}{\left\{{\mathbb{U}}_{1}\right\}}}}}=\left\{\stackrel{\left(5.3\text{c}\right)}{\stackrel{︷}{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}}}\right\}\oplus \left\{\stackrel{\text{Unitaryrule}}{\stackrel{︷}{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}}}\right\}=\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& 4& \cdots \end{array}\end{array}\right\}$ (5.4a)

(ii) Dimensional Specification:

$\left\{\mathcal{D}\mathcal{S}|{\mathbb{U}}_{0}\right\}=⌈\begin{array}{cc}〈as|1,1,2〉& \begin{array}{cc}〈ls|1〉& \begin{array}{cc}\overline{)Defect}& 〈\mathcal{K}|1〉\end{array}\end{array}\end{array}⌉$ (5.4b)

(iii) The product is the sequence of natural numbers, expanded per Rules 5.4 of Table 6:

$\stackrel{d=1}{\stackrel{︷}{\underset{g=2}{\underset{︸}{\left\{{\mathbb{U}}_{1}\right\}}}}}=\left\{\left\{\begin{array}{ccc}1& 2& \begin{array}{ccc}3& \cdots & \left(\begin{array}{c}n\\ n-1\end{array}\right)\end{array}\end{array}\right\}\right\}=\left\{\begin{array}{ccc}\stackrel{\text{Term1}}{\stackrel{︷}{1}}& \stackrel{\text{Term2}}{\stackrel{︷}{\begin{array}{c}\stackrel{S1}{\stackrel{︷}{1}}\\ \stackrel{S2}{\stackrel{︷}{1}}\end{array}}}& \begin{array}{ccc}\stackrel{\text{Term3}}{\stackrel{︷}{\begin{array}{c}\stackrel{S1}{\stackrel{︷}{1}}\\ \begin{array}{c}\stackrel{S2}{\stackrel{︷}{1}}\\ \stackrel{S3}{\stackrel{︷}{1}}\end{array}\end{array}}}& \stackrel{\text{Term4}}{\stackrel{︷}{\begin{array}{c}\stackrel{S1}{\stackrel{︷}{1}}\\ \begin{array}{c}\stackrel{S2}{\stackrel{︷}{1}}\\ \begin{array}{c}\stackrel{S3}{\stackrel{︷}{1}}\\ \stackrel{S4}{\stackrel{︷}{1}}\end{array}\end{array}\end{array}}}& \cdots \end{array}\end{array}\right\}$ (5.4c)

(iv) The reducemental of ${\mathbb{U}}_{1}$ as per Proposition 5.1 is given by:

$\left\{\begin{array}{cc}\left(\begin{array}{c}1\\ 0\end{array}\right)& \left(\begin{array}{c}1\\ 1\end{array}\right)\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n\\ n\end{array}\right)& \left(\begin{array}{c}n\\ n-1\end{array}\right)\end{array}\right\}$ (5.4d)

Remark 5.3: (5.4d) has the allele of $\left\{\begin{array}{cc}1& 1\end{array}\right\}$ and this is shown as a diagonal in Table 2 but associated with a different replicator based on object selection without replacement.

5.3.4. Processing Generation 3, Degree 2

(i) Uninomial sequence is conduced to Generation 3 from Generation 2, as follows:

$\stackrel{d=2}{\stackrel{︷}{\underset{g=3}{\underset{︸}{\left\{{\mathbb{U}}_{2}\right\}}}}}=\left\{\begin{array}{ccc}1& 3& \begin{array}{ccc}6& 10& \cdots \end{array}\end{array}\right\}\oplus \left\{\begin{array}{ccc}1& 1& \begin{array}{ccc}1& 1& \cdots \end{array}\end{array}\right\}=\left\{\begin{array}{ccc}1& 4& \begin{array}{ccc}10& 20& \cdots \end{array}\end{array}\right\}$ (5.5a)

(ii) Dimensional Specification:

$\left\{\mathcal{D}\mathcal{S}|{\mathbb{U}}_{2}\right\}=⌈\begin{array}{cc}〈as|2,1,3〉& \begin{array}{cc}〈ls|1〉& \begin{array}{cc}\overline{)Defect}& 〈\mathcal{K}|1〉\end{array}\end{array}\end{array}⌉$ (5.5b)

(iii) The product is a Type 1 sequence and is expanded per Rules 5.4, as follows:

(iv) (5.5c)

Elegant replication processes in (5.5c) are visually apparent and it can be viewed as follows: it is clear that (5.4c) is nested in (5.5c); and each term in (5.5c) is a replication of its previous terms plus one new term, in which the kernel will supply its values.

(v) The reducemental of ${\mathbb{U}}_{2}$ is given by:

$\left\{\begin{array}{cc}\left(\begin{array}{c}2\\ 0\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}2\\ 1\end{array}\right)& \left(\begin{array}{c}2\\ 2\end{array}\right)\end{array}\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n\\ n\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n\\ n-1\end{array}\right)& \left(\begin{array}{c}n\\ n-2\end{array}\right)\end{array}\end{array}\right\}$ (5.5d)

Remark 5.4: (5.5d) has allele of $\left\{\begin{array}{cc}1& \begin{array}{cc}2& 1\end{array}\end{array}\right\}$ and this is shown as a diagonal in Table 2 but associated with a different replicator based on object selection without replacement.

6. Types 2 Unbounded Sequence―Tentative Investigation

Each sequence in the AC space has countless expressions, all of which may be transformed into a single equivalent expression in the algebraic space. For instance, arithmetic progression is expressed algebraically as $2n±1$ but there are countless AC expressions for this. Examples include:

$\left\{\begin{array}{cc}1& 1\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n\\ n-1\end{array}\right)& \left(\begin{array}{c}n-1\\ n-2\end{array}\right)\end{array}\right\}$ , $\left\{\begin{array}{cc}1& 2\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n-1\\ n-1\end{array}\right)& \left(\begin{array}{c}n-1\\ n-2\end{array}\right)\end{array}\right\}$ ; $\left\{\begin{array}{cc}3& 2\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n-2\\ n-2\end{array}\right)& \left(\begin{array}{c}n-2\\ n-3\end{array}\right)\end{array}\right\}$ , $\left\{\begin{array}{cc}3& -1\end{array}\right\}\odot \left\{\begin{array}{cc}\left(\begin{array}{c}n-1\\ n-2\end{array}\right)& \left(\begin{array}{c}n-2\\ n-3\end{array}\right)\end{array}\right\}$ and countless others.

Similarly, n3 is a single algebraic expression for a single sequence but this may be expressed by AC expressions capturing each idiosyncratic variation. The expressions in both spaces are apparently the same in numerical terms by-and- large but there are differences between them including: (i) the sequences in the AC spaces have all real values for each value of the sequence of counters but their algebraic expression for some of these sequences suffer from singularity points (although no example is given to this problem due to the remit of the paper; and (ii) AC exposes various types of architectures and structures, which are otherwise concealed in the algebraic space.

The paper breaks down conducemental algebra to the following distinct bottom- up problem areas: (i) reducement from one hierarchy to a lower hierarchy (ii) conducement problems from a lower to a higher hierarchy, (iii) gradient operations - hierarchies/alleles operations; (iv) allele-to-allele operations both reducement and conducement; and (vi) interoperability operations; and (vii) further operations on structure of hierarchies.

6.1. Methodology for Conducement/Reducement

As a pretext to AC, it is stated that every problem in AC follows generic operators. The above problems are presented fully in Table 7 for Type 2 sequences through the following example:

Example 6.1: Use a Type 2 sequence as follows:

$\mathbb{U}1.\mathbb{U}1.\mathbb{U}1=\left\{\mathbb{S}\right\}=\left\{\begin{array}{cc}1& \begin{array}{cc}8& \begin{array}{cc}27& \begin{array}{cc}64& \begin{array}{cc}125& \cdots \end{array}\end{array}\end{array}\end{array}\end{array}\right\}$ (6.1a)

Dimensional Specification:

Table 7. Tabular representation of Example 6.1 for reference purposes.

$\left\{\mathcal{D}\mathcal{S}|\mathbb{S}\right\}=⌈\begin{array}{cc}〈as|3,3,0〉& \begin{array}{cc}〈ls|1〉& \begin{array}{cc}\overline{)Defect}& 〈\mathcal{K}|\begin{array}{cc}1& \begin{array}{cc}4& 1\end{array}\end{array}〉\end{array}\end{array}\end{array}⌉$ (6.1b)

6.2. Problem of Reducement/Conducement between Hierarchies

6.2.1. Problem of Reducement from one Hierarchy to Another

Proposition 6.1: A degree d1 Type 2 sequence is reduced to d2 by the following operation:

 (6.2)

The problem of reducement and conducement by AC through Proposition 6.1 is illustrated below by using Example 6.1 in which the parent sequence is reduced to a base sequence. A tabular form is used to reflect on generic changes. Is given in Table 9(a).

Column 2 of Table 8(a) summarises the reducement operations by symbols with over-fixes, e.g. $3/2/o=1$ (Table 8(a), ID = 1). This means that the reducement is from hierarchy (degree) 3 into 2 and the sequence source is active at Ordinal 1 (Term 1). The problem of reducing from one hierarchical level to its lower one is through using generic operators with no need for a route map on the architecture of the sequence. The kernel divides the whole space of the hierarchies into the conjugate active and passive spaces. Table 8(a) shows that kernls are produced by reducement from Degree 0 to its next lower level, which is not a sequence but a set of highly ordered numbers and cleansed of the effects of rules.

Remark 6.1: The number of descension steps from the parent sequence to the kernel is as follows: $d=\left(3-2\right)+\left(2-1\right)+\left(1-0\right)+\left(0-\text{kernel}\right)=4$ , as if the provision for priming (transformation of a kernel into a sequence) is counted as one step.

Remark 6.2: Descension from the kernel to the lower hierarchy (d = −1) is direct and no zero level is encountered.

Remark 6.3: A sequence reducing to a kernel is a conducemental sequence.

6.2.2. Problem of Conducement from one Hierarchy to Another

Proposition 6.2: Degree d1 Type 2 sequences are conduced from to d2 as follows:

$\left\{Cond|\stackrel{{d}_{1}\text{\hspace{0.17em}}\text{to}\text{\hspace{0.17em}}{d}_{2}}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}=\left\{\mathbb{S}\right\}\oplus \left\{\mathbb{U}\right\}$ (6.3)

The problem of conducement by AC through Proposition 6.2 is illustrated below by using Example 6.1, in which a base sequence is conduced towards the parent sequence. Table 8(b) presents the conducemental operations to reflect on

(a) (b)

Table 8. (a) Problem of reducement: Example 6.1― $\mathbb{U}1.\mathbb{U}1.\mathbb{U}1$ ; (b) problem of conducement: Example 6.1― $\mathbb{U}1.\mathbb{U}1.\mathbb{U}1.$

generic changes. Column 2 of Table 8(b) summarises the conducement operations and shows over-fix $2/3/o=1$ at ID = 1. This is red as: conducement from hierarchy (degree) 2 to 3 with the source term at Ordinal 1.

Remark 6.4: The step for ascension from the kernel to d = 0 facilitates an additional step. Table 8(b) at ID 7 shows a few steps are taken at once for conducement opertions.

Remark 6.5: Conducement and reducement are technical identical operations.

Remark 6.6: Notice the elegance of the replication beyond term 3 at ID 7, as if the gear system of AC is generically adjusted to navigate all the term. To recall the importance of the conducemental networks, parent sequence can start from any source term and the process still is the same.

6.3. Gradient Operations: Hierarchy to Allele and Vice-Versa

The paper devises a peculiar numbering system for alleles and this is clearly shown in Table 3 and Table 5. This numbering system plays a pivotal role in the conducemental networks. Whilst the paper uses $\mathcal{A}$ (upper case alpha) to denote alleles, its lower case, $\alpha$ , denotes the allele number, which varies from $-\infty$ to $\infty$ . The peculiarity of $\alpha$ is that whilst it changes from $-\infty$ to zero (i.e. source terms are active from inner ordinals), the values of degree for each conducemental sequence remains that of the parent sequence. All the alleles from $-\infty$ to zero have the same order.

It is too much of complexity to detail full architectural variations on the alleles between $-\infty$ and $\infty$ in one paper but it has to be stated that ${\mathcal{A}}_{0}$ is one of transition alleles, ${\mathcal{A}}_{-1}$ denotes the sequence with its source term being at Ordinal 2 and ${\mathcal{A}}_{-2}$ at Ordinal 3 and so on. The values of the terms of the sequence prior to the source term are set to zero.

The alleles between $\alpha =0$ and $\alpha =\delta +1$ undergo transitional changes, either their order shrinks or stay constant. These changes are determinate and not accidental or arbitrary. The emergence of the kernel at $\alpha =\delta +1$ should not be seen as a temporary derailment of conducemental algebra but an elegant provision for disappearance of the diagonal and the emergence of a new architecture, in which diagonals (alleles) and sequences are unified below the kernel at the onset pf the passive space.

6.3.1. Reducement to the Kernel

The kernel is similar to alleles and both reducement of parent sequences to the kernel and conducement of the kernel to the parent sequence are parallel to the operations given above as per Propositions 6.1 and 6.2.

6.3.2. Reducement of a Hierarchy to an Allele

AC operations involving alleles require an architectural route map but the paper is focussed on the simpler Type 2 sequences when $\delta =\omega$ using Example 6.1

Proposition 6.3: Alleles of any parent sequence of degree d or its hierarchy at any degree, say, d, are reducible to any of its alleles, ${\mathcal{A}}_{a}$ , by replicators, which need to be “cut-and-shaped” as per architectural route map of the parent sequence. For sequences with $\delta =\omega$ , the following rule:

 (6.4)

where, $a$ is allele number,  , is the inverse replicator. The problem of reduc-

ing a parent sequence or its hierarchies to any of its allele is evidently dependent on (i) selecting the particular allele ${\mathcal{A}}_{a}$ or $a$ ; (ii) both $\delta ,\omega$ of the parent sequence; (iii) the type of unbounded conducemental sequences; and (iv) the ordinal of the source term. The problem of reducement from a hierarchy to an allele by AC through Proposition 6.3 is illustrated below by using Example 6.1. Proposition 6.3 is illustrated in a tabular format in Table 9.

Table 9. Reducement of the parent sequence (Example 6.1) to alleles.

Remark 6.7: The under-fix in  is a shorthand way for representing the regeneration operation.

6.3.3. Conducement of an Allele to a Hierarchy

AC operations for generating a parent sequence or its hierarchies from its alleles require an architectural route map. The proposition below expresses the problem for Type 2 sequences.

Proposition 6.4: Alleles can be conduced to its parent sequence of degree d or of its hierarchies at any specified degree by replicators but replicators need to be “cut-and-shaped” as per architectural route map. For sequences with $\delta =\omega$ , the following rule:

$\left\{Red|\stackrel{d+1}{\stackrel{︷}{\left\{\mathbb{S}\right\}}}\right\}=\left\{\mathbb{S}\right\}⊚\left\{{\mathcal{U}}_{a}\right\}$ (6.5)

where, ${\mathcal{U}}_{a}$ is the replicator. The problem of conducing an allele to a parent sequence or its hierarchies is dependent on (i) both $\delta ,\omega$ of the parent sequence; (ii) the type of unbounded conducemental sequences; (iii) the ordinal of the source term. The problem of conducement from an allele to a hierarchy by AC through Proposition 6.5 is illustrated, in Table 10.

Remark 6.8: These investigations use an alternative formulation to be presented in the near future in more detail including the allele $\alpha =0$ and a set of other transition alleles.

Table 10. Conducing from alleles to parent sequences.

6.4. Operations on Allele-to-Allele

6.4.1. Reducement from One Allele to Another

Table 11 exemplifies reducements of alleles to alleles using Example 6.1 without presenting any proposition, as the paper is mainly focused on initiating background for AC.

As may be seen from Table 11, AC provides tools to operate on one allele to obtain the values of another allele, which also depends on the architecture of the sequence, on the ordinal of the source term and the type of the sequence.

6.4.2. Conducement from One Allele to Another

The conducement of one allele into another allele is not also presented in any depth, as a deeper understanding of the architecture isrequired and therefore its introduction suffices to tabulating the above sequences in Table 12.

It is noted that the replicators for both reducements and conducement in Table 10 to Table 11 operations are handled by the binomial bounded conducemental sequences $\mathcal{U}$ and their inverse $u$ , as alleles are bounded sequences.

Table 11. Reducement of one allele to another.

Table 12. Conducement from one allele to another.

6.5. Interoperability Operations

Interoperability is defined as the capability to operate more than one step at a time, where the steps are measured in terms of one degree or generation. It is most elegant part of AC and provides tools to overcome the fear of the new conducemental network, without which the network appears as a maze with a high risk of getting lost within or being entangled somewhere in it. This subject is not also presented in any specific detail but in terms of using Example 6.1 and related to the interoperability among alleles (allele to allele). The idea is presented in Table 13, which shows the cogwheels of AC are not fixed but highly versatile by taking more than one step (one step is one degree) at a time.

The author has developed algorithms to express interoperability from one allele to another, from one hierarchy to an allele from one hierarchy to another but the length of the paper does not allow any greater presentation.

6.6. Operations on Structure of Hierarchies

Section 5 of the paper provides examples to show the way the uninomial sequences can be used to display the structure of hierarchies and to reflect on internal structures. This now used as a model to display the structure of Example 6.1 for one of the term.

Example 6.1 is expressed as:

$\left\{Kernel|\begin{array}{cc}{1}^{3}& \begin{array}{cc}{2}^{3}& \begin{array}{cc}{3}^{3}& \begin{array}{cc}\cdots & {n}^{3}\end{array}\end{array}\end{array}\end{array}\right\}〈\begin{array}{ccc}\underset{1}{\underset{︸}{1}}& \underset{2}{\underset{︸}{4}}& \underset{3}{\underset{︸}{1}}\end{array}〉$ (6.6a)

This is a Degree 3 sequence and therefore Degree 3 uninomial sequence, ${\mathbb{U}}_{3}$ , is used as a model to display the structure of hierarchies from Term 1 to Term 4, as expressed by (5.5c), in which the terns, sub-terms and sub-sub-terms are filled by the kernel values:

Table 13. Illustrating interoperability by example.

(6.6b)

7. Discussion

Arithmetic Calculus (AC) has the potential for a game change in mathematics but the price for it is the consensus to its uptake, change of habit, the acquisition of a new discourse. These are not automatic processes but the paper makes the case by showing that even most basic operations, e.g. 2 × 3, are embedded with AC. Literally any single mathematical operation requiring reducement is the deconvolution problem but AC evidently copes with these operations analytically. Perhaps this should be enough incentive to critically question this widely- know deconvolution theorems. However, old habits die hard even in mathematics.

Attention is drawn to the conducemental network towards the big picture on the architectural variations in Type 2 to unbounded conducemental sequences. This is necessary to cut-and-shape replicators based on a route map using conducemental network. The network is the difference table but with a new lease of life, as it is transformed into a grid-like network using degree, ordinal and diagonals. There is one route map for each type of conducemental sequences reflecting architectural variations, as discussed in Sections 5 and 6 together with Table 3 and Table 5.

Architecture is used in the paper to refer to generic variations in the operation from one allele to another, which depends on degree and order and is complemented by contributions from the logistics of the parent sequence. There is one architecture for each type of the conducemental sequences. Whilst a full account of architectural variations will be presented after this paper, Example 6.1 provides a glimpse of architecture for Type 2 sequences. This is generalised for the cases where degree ≥ order and shown in Figure 1. Similar architectures have been studied by the author for Types 3 and 4 unbounded conducemental sequences but are not presented here due to the scope of the paper.

It is not within the remit of this paper to catalogue the shortfalls of classic mathematics but consider the concealment concept using ${\mathbb{T}}_{2}$ (see Table 1, ID 10), as follows:

$\begin{array}{c}\left\{{\mathbb{T}}_{2}\right\}=\left\{\begin{array}{cc}1& \begin{array}{cc}4& \begin{array}{cc}10& \begin{array}{cc}18& \begin{array}{cc}27& \begin{array}{cc}36& \cdots \end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}1& \begin{array}{cc}2& \begin{array}{cc}3& \begin{array}{cc}2& 1\end{array}\end{array}\end{array}\end{array}\right\}⊚\left\{\begin{array}{cc}\left(\begin{array}{c}n\\ n-1\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-1\\ n-2\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-2\\ n-3\end{array}\right)& \begin{array}{cc}\left(\begin{array}{c}n-3\\ n-4\end{array}\right)& \left(\begin{array}{c}n-4\\ n-5\end{array}\right)\end{array}\end{array}\end{array}\end{array}\right\}\end{array}$ (7.1)

This is expressed algebraically, as follow:

Figure 1. Architecture of orders and allele―Types 2 unbounded sequences.

$1\left(n\right)+2\left(n-1\right)+3\left(n-2\right)+2\left(n-3\right)+1\left(n-4\right)=9n-18$ (7.2)

(7.1) is an AC expression, which is correct for any value of n but (7.2) is its equivalent version in classic algebra, which fails at n = 1, 2 and 3 (this may be called as a singularity problem, or rather the triple singularity problem). Besides, AC reflects on the architecture and the structure of the sequence but algebra has no such senses.

Attention is drawn to the fact that the examples presented in the paper have at least 100 instances of the inverse problem (the deconvolution problem). Evidently, AC has no problems in treating the deconvolution problem.

8. Conclusions

The paper has the primary aims of advancing the status of AC from Technical Readiness Level of 1 to 2 and naturally the presentation is not yet rigorous, although the author has developed a rigorous proof for the fundamental premises of AC. The paper contextualises AC in terms of transforming the age-old difference tables into a new network, referred to as the conducemental network, reminiscent of other coordinate systems, such as the Cartesian system. The network is bounded between the parent sequence and its base sequence, which are selected for convenience. Its rows are referred to as hierarchies and each hierarchical level is identified by its degree; whereas the columns are identified by ordinal numbers. The source of a sequence at a hierarchical level can be activated from any ordinal number and this sets diagonals, which retain the full knowledge about the sequence, like “stem cells” in biology. The paper presented a glimpse of the architecture of AC sequences but the full presentation of this subject is outside the remit of the paper.

The paper categorised conducemental sequences into five types, which collectively can cope with any type of polynomial and exponential functions. The focus of the paper is on Types 1 and 2 sequences but another paper has been prepared to cover Type 3 and 4 and to complete the picture on the architectural variety of conducemental sequences. Yet another paper is under preparation to cover Type 5 sequences.

The paper also shows a glimpse of the big picture on the architectural variations in Type 2 unbounded conducemental sequences, the understanding of which is necessary to cut-and-shape replicators to facilitate the following operations: (i) reducement and conducement from one hierarchy to another; (ii) reducement and conducement between hierarchies and allele; (iii) reducement and conducement between alleles; (iv) interoperability; and (v) reconstruction of the structure of each term. Replicators are the cogwheels of AC and facilitate complex operations in explicit terms.

Acknowledgements

The paper is the outcome of 22 years of the author’s arduous scholarly research on AC. Moral consent is only given to open science and open mathematics applications of AC and its derivatives but no moral consent to closed coding or use. Science and mathematics need an open environment to thrive and be in the service of all.

Appendix I. Reformulation of the Convolution Theorem

The mathematical community does not have the prior knowledge of AC; whereas initiation for algebraic calculus takes place from secondary school. Thus, AC starts without the privilege of initiation but this section anchors AC on firmly established mathematical theorems.

AC can reveal so much about mathematics but to get to that stage, many mundane mathematical operations have to be approached differently. Whilst it is recognised that old habits die hard, this section shows that new habits are beneficial and when these benefits are realised, insistence on old habits are likely to be seen as insistence on carrying on with Roman numerals compared with Arabic-Indian numerals. The paper relies on the mathematical flair of the readership, who are prepared to resort to the good old habit of working out mathematics using paper and pen, without which, the benefit from AC can be very little.

Application of the Convolution Theorem to Hydrology: One of the known applications of the convolution theorem in its discrete form is the unit hydrograph theorem in hydrology.

According to the theorem, let $R=\left\{\begin{array}{cc}{R}_{1}& \begin{array}{cc}{R}_{2}& \begin{array}{cc}\cdots & {R}_{m}\end{array}\end{array}\end{array}\right\}$ be the array of effective rainfall $U=\left\{\begin{array}{cc}{U}_{1}& \begin{array}{cc}{U}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{U}_{m}& \cdots \end{array}\end{array}& {U}_{n}\end{array}\end{array}\end{array}\right\}$ be unit hydrograph ordinates $Q=\left\{\begin{array}{cc}{Q}_{1}& \begin{array}{cc}{Q}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{m}& \begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{n}& \cdots \end{array}\end{array}\end{array}\end{array}& {Q}_{m+n-1}\end{array}\end{array}\end{array}\right\}$ be surface water runoff

The unit hydrograph theorem is often expressed as:

$R\ast U=Q$ (I.0)

which is expanded as:

${R}_{1}\ast {U}_{1}={Q}_{1}$ (I.1a)

${R}_{1}\ast {U}_{2}+{R}_{2}\ast {U}_{1}={Q}_{2}$ (I.1b)

${R}_{1}\ast {U}_{3}+{R}_{2}\ast {U}_{2}+{R}_{3}\ast {U}_{1}={Q}_{3}$ (I.1c)

${R}_{1}\ast {U}_{m}+{R}_{2}\ast {U}_{m-1}+\cdots +{R}_{m-1}\ast {U}_{2}+{R}_{m}\ast {U}_{1}={Q}_{m}$ (I.1d)

${R}_{1}\ast {U}_{m+1}+{R}_{2}\ast {U}_{m}+\cdots +{R}_{m-1}\ast {U}_{3}+{R}_{m}\ast {U}_{2}={Q}_{m+1}$ (I.1e)

$\cdots$

${R}_{1}\ast {U}_{n}+{R}_{2}\ast {U}_{n-1}+\cdots +{R}_{m-1}\ast {U}_{n-m+2}+{R}_{m}\ast {U}_{n-m+1}={Q}_{n}$ (I.1f)

${R}_{2}\ast {U}_{n}+\cdots +{R}_{m-1}\ast {U}_{n-m+3}+{R}_{m}\ast {U}_{n-m+2}={Q}_{n+1}$ (I.1g)

$\cdots$

${R}_{m}\ast {U}_{n}={Q}_{n+m-1}$ (I.1h)

The above is true for rainfall-runoff models and equally true in AC. The only shorthand representation for (I.1) is (I.0) but the alternative of AC transformation is as follows:

$\begin{array}{l}\left\{\begin{array}{cc}{R}_{1}& \begin{array}{cc}{R}_{2}& \begin{array}{cc}\cdots & {R}_{m}\end{array}\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{cc}{U}_{1}& \begin{array}{cc}{U}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{U}_{m}& \cdots \end{array}\end{array}& {U}_{n}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}{Q}_{1}& \begin{array}{cc}{Q}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{m}& \begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{n}& \cdots \end{array}\end{array}\end{array}\end{array}& {Q}_{m+n-1}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}\text{(I}\text{.1a)}& \begin{array}{cc}\text{(I}\text{.1b)}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1d)}& \begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1f)}& \cdots \end{array}\end{array}\end{array}\end{array}& \text{(I}\text{.1h)}\end{array}\end{array}\end{array}\right\}\end{array}$ (I.2a)

which may be written?

$\begin{array}{l}\left\{\begin{array}{cc}{R}_{1}& \begin{array}{cc}\begin{array}{cc}\begin{array}{c}{R}_{1}\\ {R}_{2}\end{array}& \begin{array}{c}{R}_{1}\\ \begin{array}{c}{R}_{2}\\ {R}_{3}\end{array}\end{array}\end{array}& \begin{array}{cc}\cdots & \begin{array}{c}{R}_{1}\\ \begin{array}{c}{R}_{2}\\ \begin{array}{c}{R}_{3}\\ \begin{array}{c}⋮\\ {R}_{m}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\right\}\stackrel{^}{\oplus }\left\{\begin{array}{cc}{U}_{1}& \begin{array}{cc}\begin{array}{cc}\begin{array}{c}{U}_{1}\\ {U}_{2}\end{array}& \begin{array}{c}{U}_{1}\\ \begin{array}{c}{U}_{2}\\ {U}_{3}\end{array}\end{array}\end{array}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}\begin{array}{c}{U}_{1}\\ \begin{array}{c}{U}_{2}\\ \begin{array}{c}{U}_{3}\\ \begin{array}{c}⋮\\ {U}_{m}\end{array}\end{array}\end{array}\end{array}& \cdots \end{array}\end{array}& \begin{array}{c}{U}_{1}\\ \begin{array}{c}{U}_{2}\\ \begin{array}{c}{U}_{3}\\ \begin{array}{c}⋮\\ \begin{array}{c}{U}_{m}\\ \begin{array}{c}⋮\\ {U}_{n}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}\text{(I}\text{.1a)}& \begin{array}{cc}\begin{array}{cc}\text{(I}\text{.1b)}& \text{(I}\text{.1c)}\end{array}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1d)}& \begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1f)}& \cdots \end{array}\end{array}\end{array}\end{array}& \text{(I}\text{.1h)}\end{array}\end{array}\end{array}\right\}\end{array}$ (I.2b)

The symbol $\stackrel{^}{\oplus }$ signifies a new kind of operations, in which the multiplications are carried out in a very peculiar way. For instance, the operations on the third term, i.e. (ESM1.1c), are illustrated below:

(I.2c)

The operations (I.0)-(I.1) describe traditional form of the convolution theorem for discrete variables. AC expresses these operations in a sequence form as laid out by (I.2), and the peculiar way of multiplying the terms of $\left\{R\right\}$ and $\left\{U\right\}$ triggered by the symbol $\stackrel{^}{\oplus }$ cannot be overemphasised. The medium of a mathematical paper is necessarily limited in its power of communication for the uninitiated readership and the only compensation for this is mathematical flair. Notably, there is nothing to be proved so far, as the convolution theorem is well established.

An alternative form of (I.2a)-(I.2b) is to fill in the remaining terms of $\left\{R\right\}$ and $\left\{U\right\}$ with zero and make them size of m+n-1 and change the multiplication from convolution to regeneration product, as follows:

$\begin{array}{l}\left\{\begin{array}{cc}{R}_{1}& \begin{array}{cc}{R}_{2}& \begin{array}{cc}\cdots & \begin{array}{cc}{R}_{m}& \begin{array}{cc}\begin{array}{cc}{0}_{m+1}& \cdots \end{array}& \begin{array}{cc}{0}_{n}& \begin{array}{cc}{0}_{n+1}& \begin{array}{cc}\cdots & {0}_{n+m-1}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\right\}\\ \oplus \left\{\begin{array}{cc}{U}_{1}& \begin{array}{cc}{U}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{U}_{m}& \cdots \end{array}\end{array}& \begin{array}{cc}{U}_{n}& \begin{array}{cc}{0}_{n+1}& \begin{array}{cc}\cdots & {0}_{n+m-1}\end{array}\end{array}\end{array}\end{array}\end{array}\end{array}\right\}\end{array}$

(I.3a)

$\begin{array}{l}\left\{\begin{array}{cc}\text{(I}\text{.1a)}& \begin{array}{cc}\begin{array}{cc}\text{(I}\text{.1b)}& \text{(I}\text{.1c)}\end{array}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1d)}& \begin{array}{cc}\cdots & \begin{array}{cc}\text{(I}\text{.1f)}& \cdots \end{array}\end{array}\end{array}\end{array}& \text{(I}\text{.1h)}\end{array}\end{array}\end{array}\right\}\\ =\left\{\begin{array}{cc}{Q}_{1}& \begin{array}{cc}{Q}_{2}& \begin{array}{cc}\begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{m}& \begin{array}{cc}\cdots & \begin{array}{cc}{Q}_{n}& \cdots \end{array}\end{array}\end{array}\end{array}& {Q}_{m+n-1}\end{array}\end{array}\end{array}\right\}\end{array}$ (I.3b)

Readers should confirm to themselves that the above is true by carrying out the operations. Besides, (I.1) is taken to be improperly posed, as the number of equations (n + m − 1) is greater than the unknowns, which are as many as (n) or (m). However, this is not true and AC will show that the reducement problem is the inverse problem amenable to exact treatments, although it can suffer from ill-conditioning.

Cite this paper
Khatibi, R. (2017) Heuristic Contextualisation of Arithmetic Calculus by a New Network Based on the Difference Table. Applied Mathematics, 8, 1387-1426. doi: 10.4236/am.2017.810102.
References
   Khatibi, R. (2014) Introducing “Arithmetic Calculus” with Some Applications: New Terms, Definitions, Notations and Operators. Applied Mathematics, 5, 2909-2934.
http://www.scirp.org/journal/PaperInformation.aspx?PaperID=51184

   NASA’s Technology Readiness Level (TRL).
https://www.nasa.gov/directorates/heo/scan/engineering/technology/txt_accordion1.html https://www.nasa.gov/sites/default/files/trl.png

   Dominguez-Torres, Alejandro (2010) Origin and history of convolution. 41 p.