Open access peer-reviewed chapter

Atomistic Mathematical Theory for Metaheuristic Structures of Global Optimization Algorithms in Evolutionary Machine Learning for Power Systems

Written By

Jonah Lissner

Submitted: July 30th, 2019 Reviewed: February 8th, 2021 Published: March 8th, 2021

DOI: 10.5772/intechopen.96516

Chapter metrics overview

319 Chapter Downloads

View Full Metrics


Global Optimization in the 4D nonlinear landscape generates kinds and types of particles, waves and extremals of power sets and singletons. In this chapter these are demonstrated for ranges of optimal problem-solving solution algorithms. Here, onts, particles, or atoms, of the ontological blueprint are generated inherently from the fractional optimization algorithms in Metaheuristic structures of computational evolutionary development. These stigmergetics are applicable to incremental machine learning regimes for computational power generation and relay, and information management systems.


  • metaheuristic
  • particle swarm optimization
  • global optimization
  • machine learning
  • evolutionary algorithms
  • stigmergetics
  • arrow’s paradox
  • atomistics
  • Fermat’s last theorem
  • network theory
  • Hensellian mathematics

1. Introduction

The evolution of Algorithms from a simple route, to complexified paths requires maps from zones of optimal utilization, to be solved sufficiently, in a given amount of time.

These algorithms are constructed for the purpose of building and advancing a continuity for the next location of optimal utilization, in order to realize the importance to form workable nodes and circuits, that are discrete and exact algorithm criteria in a time-basis. Therefore, a complete network on a nonlinear surface and related machine learning epochs is built.

These criteria are based on Fermat’s Theorem proving global extrema locations either at stationary or bounding points, based ultimately upon the Pythagorean Theorem, where:

Let N be the set of natural numbers 1, 2, 3, …, let Z be the set of integers 0, ±1, ±2, …, and let Q be the set of rational numbers a/b, where a and b are in Z with b ≠ 0. In what follows we will call a solution to xn + yn = zn where one or more of x, y, or z is zero a trivial solution. A solution where all three are non-zero will be called a non-trivial solution [1].


2. Materials and methods

2.1 Metaheuristic structural rules for the algorithm building

It is a rule of No Unreasonable Effectiveness of Mathematics in any Science [Wigner] [2], and therefore a notion that No Unreasonable Effectiveness of Axiomation in any Science, that 3 Rules of Information Physics [3IP] by Jonah Lissner exist:

  1. Problem of Demarcation.

  2. Rule of Information Dichotomy [Gestalt-Inverse Gestalt], and thereby requiring a kind of.

  3. Context-Restricted Deep Structure [CRDS] for the given topology.

Therefore hypothesized to be commutable terms within this 3IP rulebase, The Three Thermodynamic Rules of Macrodynamics by Jonah Lissner. The 3 General Rules of Macrodynamics [3GRM] which are established to define Global Optimization Algorithm [GOA] challenges:

  1. The Rule of the Continuity of Primaries

  2. The Rule of Perpetuation of Information Inequalities of Primaries

  3. The Rule of Unprovable Ideals, Cardinals or Delimitations of Complex Adaptive Evolutionary Systems [CAES].


3. Algorithm definition

The Metaheuristic Algorithm is defined by the Author [Jonah Lissner] as.

An ontological mechanism to generate or activate decision paths [algorithms] and make decision potential to solve [essentially two-state] paradoxes, a computational physical network and topos, for practical effort or application. Therefore can be constructed a theoretical or hypothetical guideway from objects and particles to advance ontological gradations of relevance and value, through a logical progression.

A relevant algorithm to solve for discrete stigmergetics in nonlinear optimization challenges for graphing algorithms of power systems has been demonstrated in Ant Colony Optimization [ACO]:

Here in general formula where


by trail update action τxy1ρτxy+kΔτxyk.

for given function sets


Evolutionary Game Theory [EGT] challenges in optimization schedules are therein linked to Ant Colony Optimization [ACO], e.g. Eigenvector centrality formula

Where forGEVwithVverticesletA=avt,e.g.av,t=1orav,t=0.Thereforexv=1/lSigtsetMvxt=1/lSigtsetGav,txtibid.E5

It is a basis for optimization schedules that there is an asymmetrical velocity, mass and gravity of said scope of systems. At various times in the computational history, particle optimization on the manifolds evolve at a faster rate [or slower rate] than before. Hence the given incremental and discrete rate of increase, in valleys and peaks accelerates and stabilizes at a higher positive, null or negative value and result in extremal mechanics and nonlinear dynamics. An example can be demonstrated utilizing power faults and extremals on the electrical circuits [3].

These problems of prediction for probability of choice of one object or particle of a set, for pariwise sets and in algorithms, have been demonstrated in Arrow’s Impossibility Theorem and for Algorithmic Information Theory [AIT] whence we can replace voter for global optimization particle and replace group with set:

  1. If every voter prefers alternative X over alternative Y, then the group prefers X over Y.

  2. If every voter’s preference between X and Y remains unchanged, then the group’s preference between X and Y will also remain unchanged (even if voters’ preferences between other pairs like X and Z, Y and Z, or Z and W change).

  3. There is no “dictator”: no single voter possesses the power to always determine the group’s preference [4].

Important is Criteria 3, from whence adaptive and efficient algorithms have space to be constructed as particles on the run-time, for a given Global Optimization Algorithm [GOA].


4. Building the algorithm

In a praexological theory [5] this is proposed because of the inherent general inaccuracy of specific problems, learning rubrics, and Macrodynamic properties of a given performance landscape, and ultimately inefficient of any algorithmic system, given isomorphic [atomistic or non-atomistic] qualities of rulebase, algorithmic structure, weights, and variables [6]. These in turn can be represented as information sets, materiel, work, and symbolic representation and/or power in specific qualia of Historical Rule of Perpetuation of Information Inequalities set to various scales and models.

Clerc has demonstrated a general Metaheuristic algorithm where for f:RnR essentially f(a) ≤ f(b). S includes the number of particles in the swarm having specific position and velocity in the search—space:

for each particle i = 1, …, S do

 Initialize the particle’s position with a uniformly distributed random vector: xi ∼ U(blo, bup)

 Initialize the particle’s best known position to its initial position: pi ← xi

 if f(pi) < f(g) then

  update the swarm’s best known position: g ← pi

 Initialize the particle’s velocity: vi ∼ U(−|bup-blo|, |bup-blo|)

while a termination criterion is not met do:

 for each particle i = 1, …, S do

  for each dimension d = 1, …, n do

   Pick random numbers: rp, rg ∼ U(0,1)

   Update the particle’s velocity: vi,d ← ω vi,d + φp rp (pi,d-xi,d) + φg rg (gd-xi,d)

  Update the particle’s position: xi ← xi + vi

  if f(xi) < f(pi) then

   Update the particle’s best known position: pi ← xi

   if f(pi) < f(g) then

    Update the swarm’s best known position:


5. Results and discussion

5.1 Complex adaptive evolutionary system: thermodynamic landscape

For the purpose of evaluating algorithmic fitness on the given landscape the following ansatz can be utilized for Particle Swarm Optimization [PSO] for a decision tree:

Forf:Mn>>Mand whereM=KH_thxiEE7


M = Manifold

′M = Algorithmic Landscape/Manifold, for

KH = potentiated Knowledge History of the Algorithm

t = tradition or procedural process structure [word, string, grammar, memory mapping, rulebase, database] of the algorithm

h = computational multiplicatives and inequalities of the x iE = Adaptive Landscape History of the [Numerical] Object(s) or Particle(s) on the Network.

Lovbjerg and Krink demonstrate for the thermodynamic variables on the Particle Swarm Optimization [PSO]:


where χ is the constriction coefficient.

Here the Three General Rules of Macrodynamics [3GRM] Macrodynamic Automata Rules [MAR] are applied to Information Natural Dynamics [IND] criteria:

Natural Sets, Natural Kinds, Natural Procedures, Natural Strings, Natural Radicals, Natural Binaries, Natural Radices, in Complex Adaptive Evolutionary System [CAES]-Multiagent System [MAS] for 4D model variables.

These variables should each contain criteria:

Time-Complexity, Particle-Value, Particle-Weighting in Fuzzy set theory, Gravity of System, <<> > Nanodynamics of System variables [TC-PV-PW-GS-NDS]

Set approximate to

f:OmegasetRn>>Rwith the global minimafand thesetofallglobal minimizersXinOmega to find the minimum bestsetin the function series ofxE9

for system conditions, system boundaries, number and density of particles in the total Information Natural Dynamics [IND] of the Global Optimization Algorithm [GOA]. These are applied to algorithmic manifold for the candidate solution on the given search spaces. It can be argued that given the extremes of information disequilibrium applied to macrodynamic disequilibrium models, there are inevitably generated extremals of various degrees of power, in the incremental Information Dynamics.

5.2 Complex adaptive evolutionary system: weighting

These differentiable functions can be further defined c.f. Dense heterarchy in Complex Systems Algorithms of a coupled oscillators, where in general formula.


Here in a differential equation we can demonstrate.


These can be demonstrated in Particle Swarm Optimization [PSO], and Macrodynamic models of Meta-optimization of Particle Swarm Optimization [PSO] [7], c.f.


for each set of given epoch or evolutionary landscape scenario prediction in analytical and expectation weighting parameter formula algorithm optimization [Meissner, et al., ibid].

5.3 Complex adaptive evolutionary system: thermodynamics

Regarding bounding definitions, Chaitin demonstrated in Algorithmic Information Theory [AIT] algorithmic decomposition given Boltzmann-Shannon entropy, where in general formula to set the integral.




For Information Natural Dynamics [IND] pairwise comparison, the genesis and stigmergetic evolutionary dynamics of the A-group agent H_A c.f. for


in Particle Swarm Optimization [PSO].

The variables include function space, gradient, vector and weighting and additionally the stigmergy of the given Macrosystem and subsystem autonomics such as in a Pairwise Breakout Model [PBM].

In associated Fuzzy set logic to determine power externals and singelton mechanics in atomistic Natural Dynamic System [NDS] operations, are often utilized border-pairs or extremals for multi-pair Multilayer Perception-Learning Classification Algorithms [MLP-LCM] [7].

Examples of particle Monadicity in Algorithmic Information Theory [AIT] whence the formula

F:LA^N>>LAwhere thentupleR1RNLANE14

indicate the possibilites and types of information physical mechanics for possible variables of the landscape extremals as particles within the min-max parameters [8]. A particle-discrete control function of the node degrees on the evolutionary landscape can therefore be defined where essentially


To quantify, Primary extrema of n-arity or n-Adicity [Jonah Lissner] are therefore defined by the Author [Jonah Lissner] for alternatives of pair choices [as monoidal algorithmic circuits in the Complex Adaptive Evolutionary System [CAES]] which can be fractional off the prime polynomial root modulos, from the initial power conditions and therefore generate the discrete information inequalities. These can be demonstrated in Hensellian numbers, and secondly, derivable fractional functions, inherent in any given complex topos of an complex adaptive evolutionary system [9].

Nagata defined thusly: A local ring R with maximal ideal m is called Henselian if Hensel’s lemma holds. This means that if P is a monic polynomial in R[x], then any factorization of its image P in (R/m)[x] into a product of coprime monic polynomials can be lifted to a factorization in R[x] [10].

5.4 Complex adaptive evolutionary system: networks

The network of circuits then form the basis for Complex Network Systems [CNS] from Simple networks LlogN and adaptive complex or dynamic systems and increasingly complex or quantum probability mechanics.

Scale-free or Barbasi-Albert Models are utilized to advance the mechanics and hypotheses for Complex Network Systems [CNS] e.g. for




exist for give node degree correlations and links at network computations for a generic clustering law of


It can be determined in scale-free network nodes.




and dynamically




6. Conclusion

These Metaheuristics for Global Optimization Algorithms [GOA] are for purpose of achievement of the theoretical completion between two and more nodes on the network landscape, and ultimately the given requirements for the applied electrical grid. This theory can be utilized to derive, add, multiply, subtract, or divide units designated as necessary to accurately define the parameters for control of the electrical grid, and for control of network extremals.

Some theoretical requirements for Power System applications and machine learning algorithm libraries for solving heuristic challenge for power requirements and control on manifolds have been demonstrated:

  1. In the definition for innovation in Global Optimization Algorithms [GOA] for Machine Learning in Power Systems the Path-decision or Algorithm is the activated object [ontesis] and Algorithmic network is the kind or type of systemic algorithmic operation of object-getting and technology-building [telesis], due to computational physical plasticity conditions and relevant criteria.

  2. Furthermore the network theory meaning of Path-decision or Algorithm and the computational landscape itself as a network, can be defined discretely in terms of multiple avenues and nodes for algorithms of Boolean systems, [e.g. st-connectivity] whence it has progressed in weight, mass and velocity of the defined Ontology.

  3. Path-decision or Algorithm programmes in Computational Sciences, by modules of Alphanumeric Symbols/Characters as Power Systems of Algorithms, [PSA]-Information Natural Dynamics [IND] or in a macrodynamic method, Systems of Utilization may develop, for the purpose of heuristic advancements based on computational physical references, functions and operations on specific topologies and as treated as given Computational sequences.

It is proposed from 3 Rules of Information Physics [3IP] and The 3 General Rules of Macrodynamics [3GRM] for Unprovable Ideals, Cardinals or Delimitations of Optimization from origins in The Rule of Perpetuation of Information Inequalities of Primaries. These criteria are the basis to utilize previous methodologies of reasoning for contemporary and future new evolutionary algorithmic landscapes in the accretive methods.

This Metatheory develops theoretical agreement for the computational physical basis for a General Global Optimization Field Theory [GGOFT], given the algorithmic requirements of minima and maxima of a set of functions for a given computational surface, to determine roots, stationary and turning points, points of inflection, convexity, and concavity for atomistic qualities of evolutionary landscape extremals and their subsequent geometric values and derivations [11].

Therefore in this dialectic, the Onts or Particles in Complex Adaptive Evolutionary System [CAES] and Dynamic Global Workspace Theory-Intelligent Computational System Organization [DGWT-ICSO], can be understood as network gateways in conjunction with nonlinear surfaces, described by Epistemes, or Semantical value for given Formulae, Algorithms, Landscape. Their purpose is to build and attempt to game-solve more complex and efficient, workable algorithmic structures for the machine learning algorithm challenges to incremental Global Optimization Algorithm [GOA] regimes [12].


  1. 1. “Fermat’s Last Theorem”, Wikipedia, Website, extracted 2021.’s_Last_Theorem
  2. 2. The unreasonable effectiveness of mathematics in the natural sciences. Richard Courant lecture in mathematical sciences delivered at New York University, May 11, 1959. Communications on Pure and Applied Mathematics, Volume13, Issue1, February 1960 Pages 1–14.
  3. 3. Meissner, M.; Schmuker, M.; Schneider, G. 2006. “Optimized Particle Swarm Optimization (OPSO) and its application to artificial neural network training”. BMC Bioinformatics. 7 (1): 125. doi:10.1186/1471-2105-7-125.
  4. 4. “Arrow’s Impossibility Theorem”, Wikipedia, Website, extracted 2021.
  5. 5. Lovbjerg, M.; Krink, T. 2002. “Extending Particle Swarm Optimisers with Self-Organized Criticality” (PDF). Proceedings of the Fourth Congress on Evolutionary Computation (CEC). 2. pp. 1588–1593.
  6. 6. "Theory of Oscillations”, Encyclopedia of Mathematics, Website, extracted 2021.,_theory_of
  7. 7. Meissner, M., Schmuker, M. & Schneider, G, 2006. Optimized Particle Swarm Optimization (OPSO) and its application to artificial neural network training. BMC Bioinformatics7, 125.
  8. 8. Czirok, A., Vicsek, T. 2000. “Collective behavior of interacting self-propelled particles”. Physica A: Statistical Mechanics and its Applications. Volume 281, Issues 1–4, Pages 17–29.
  9. 9. Ardema, Rajan, Lang, 1989. “Three-dimensional energy-state extremals in feedback form”, Journal of Guidance, Control, Dynamics Volume 12, Number 4
  10. 10. Nagata, Masayoshi, 1953. "On the theory of Henselian rings", Nagoya Mathematical Journal, 5: 45–57, doi:10.1017/s0027763000015439, ISSN 0027-7630, MR 0051821
  11. 11. R.G. Strongin, Ya.D. Sergeyev, 2014. Global optimization with non-convex constraints: Sequential and parallel algorithms, Kluwer Academic Publishers, Dordrecht.
  12. 12. Sergeyev, Ya. D.; Kvasov, D. E.; Mukhametzhanov, M. S., 2018. “On the efficiency of nature-inspired metaheuristics in expensive global optimization with limited budget”. Scientific Reports. Springer Science and Business Media LLC. 8 (1): 453. doi:10.1038/s41598-017-18940-4. ISSN 2045–2322. PMC 5765181. PMID 29323223.

Written By

Jonah Lissner

Submitted: July 30th, 2019 Reviewed: February 8th, 2021 Published: March 8th, 2021