Pith. sign in

REVIEW 2 major objections 5 minor 20 references

Dynamics of quadratic operators generated by China's Five elements philosophy

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The symmetric five-element evolution operator has a unique repelling fixed point, two 5-periodic orbits, and sends every other initial state to a periodic basin or to an infinite limit set on the boundary.

desk verdict A mostly sound dynamical analysis of a new permuted Volterra QSO, held back only by a spectral proof that leans on an unverified CAS calculation. read the letter →

arxiv 1908.07740 v1 pith:OXZB4VW6 submitted 2019-08-21 math.DS

N.N.Ganikhodjaev , C.H. Pah , U.A. Rozikov This is my paper · ORCID
classification math.DS MSC 37N25
keywords quadraticstochasticoperatorpermutedVolterrafive-elementphilosophyperiodicorbitsrepelleromega-limitsetLyapunovfunctionsimplexdynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper constructs a quadratic stochastic operator on the probability simplex of the five Chinese elements (Wood, Fire, Earth, Metal, Water), with ten interaction parameters encoding the philosophy's generating and overcoming cycles. For a symmetric case that reduces to a single parameter p, it proves a complete classification of the dynamics: the uniform distribution is the unique fixed point and is a repeller for every nonzero p; there are two 5-periodic orbits; and every other initial state either converges to one of those orbits or has an infinite set of limit points contained in the boundary of the simplex. The classification is exhaustive—every point of the simplex falls into exactly one of these behaviors. The authors interpret the outcomes in terms of the five-phase system's long-term behavior: no stable equilibrium, periodic dominance by single phases or by three consecutive phases, and non-periodic drift to boundary states for generic initial conditions.

What carries the argument

The central mechanism is the factorization W = Tπ ∘ V = V ∘ Tπ, where Tπ cyclically shifts coordinates (x1,x2,x3,x4,x5) → (x5,x1,x2,x3,x4) and V is a Volterra quadratic stochastic operator, a class for which long-time dynamics are already understood through Lyapunov functions and tournament theory. Lemma 3 shows that W^n = Tπ^i ∘ V^n when n = 5k + i, so the long-term behavior of W is governed by the Volterra operator V taken at times that are multiples of five. The second load-bearing tool is the Lyapunov function φ(x)=x1x2x3x4x5, which is non-increasing along every trajectory and achieves equality only at P, forcing φ to tend to 0 and hence all interior omega-limit sets onto the boundary. The repeller property of P is verified from the Jacobian at P through the quartic eigenvalue equation (4.6), whose four roots are asserted to have moduli (5±2√5)$q^{2}$+1 with q=p/5. Boundary faces are then reduced to simpler Volterra operators on $S^{2}$ and $S^{3}$, while the one-dimensional edges are handled by the one-variable maps F and G.

What would settle it

For a specific nonzero p, such as p=1/2, compute the four roots of the quartic equation (4.6); if any root has modulus ≤1, the claimed repeller property of P is false and the four-set partition of the simplex would need revision.

Watch

Extended reading notes

Core claim

For the symmetric operator (4.1) with p≠0, the paper establishes that the four-dimensional simplex splits into four mutually exclusive sets. The point P=(1/5,1/5,1/5,1/5,1/5) is the unique fixed point and is a repeller: every trajectory starting away from P leaves it. The two 5-periodic orbits are the vertex cycle e1→e2→e3→e4→e5→e1 and the three-element cycle (1/3,1/3,1/3,0,0)→(0,1/3,1/3,1/3,0)→(0,0,1/3,1/3,1/3)→(1/3,0,0,1/3,1/3)→(1/3,1/3,0,0,1/3)→(1/3,1/3,1/3,0,0). Initial states in the basins of these cycles converge to the respective orbit in the sense that W^n(x) cycles through its five points according to n mod 5. All remaining initial states—in particular every interior point—have trajectories that do not converge; their sets of limit points (omega-limit sets) are infinite subsets of the boundary of the simplex. The proof combines a Lyapunov product function, the reduction of W to a Volterra operator via the cyclic permutation, and the known dynamics of Volterra operators on lower-dimensional faces.

Load-bearing premise

The central classification rests on the unproved computational assertion that the quartic eigenvalue equation (4.6) has all four roots with modulus greater than one for every nonzero p, which the paper supports with a graph and a stated formula rather than an algebraic derivation.

Editorial extensions

If this is right

  • For p≠0, the four-set partition of the simplex is exhaustive: initial states either sit at P, converge to the vertex 5-cycle, converge to the 1/3 5-cycle, or have infinite omega-limit sets on the boundary.
  • No interior trajectory can converge: the product of coordinates decreases to 0 along every interior orbit, so the five-element system never reaches a stable interior equilibrium.
  • The pure-element cycle e1→...→e5 is approached asymptotically by many boundary states, giving a periodic interpretation of the generating cycle of the five elements.
  • The 1/3-cycle is approached from initial states on the segment MN in the three-dimensional boundary, with the limit point depending on the sign of p.
  • For p=0, the operator reduces to the cyclic shift and every point is 5-periodic, a degenerate departure from the p≠0 classification.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One immediate generalization the paper leaves implicit: the same W=Tπ∘V construction with a cyclic permutation Tπ on m coordinates and a symmetric Volterra operator V would yield an m-analogue, with 5-periodic orbits replaced by m-periodic orbits and boundary accumulation for the remaining states, provided the analogous eigenvalue and Lyapunov-function checks hold.
  • The vanishing of φ(x)=∏x_i along interior orbits is a strong statement; a natural test is to compute, for small perturbations of the symmetric parameters, whether some weighted product ∏x_i^{α_i} is still monotonically decreasing, which would extend the boundary-accumulation theorem to an open neighborhood of the symmetric family.
  • Because the omega-limit sets in the non-converging regime are infinite but lie on the boundary, one could numerically compute the Lyapunov exponents of these orbits for p≠0; positive exponents would suggest the 'non-periodic drift' is genuinely chaotic, a question the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper constructs a ten-parameter quadratic stochastic operator (QSO) on the four-dimensional simplex from the Chinese five-element philosophy, notes that it is a permuted Volterra operator W = Tπ ∘ V, and then specializes to a symmetric one-parameter family (parameter p). For this family the authors prove uniqueness of the fixed point P = (1/5,...,1/5), assert that P is a repeller for p ≠ 0, find two 5-periodic orbits besides P, and propose a full classification of initial points according to their omega-limit sets: the fixed point, the two periodic orbits, and all remaining points whose omega-limit sets are infinite subsets of the boundary. The main structural tool is Lemma 3, which expresses W^n as Tπ^i V^n, and the main interpretation is that the CFEP has no nontrivial equilibrium and generically exhibits aperiodic behavior on the boundary.

Significance. If the central spectral claim is fully justified, the paper gives a complete and explicit dynamical classification for a non-Volterra QSO and provides a clean example of how permuted Volterra operators differ from ordinary Volterra operators, including periodic orbits and infinite omega-limit sets. The paper has genuine strengths: the reduction W^n = Tπ^i V^n is elegant and correct; the AM-GM proof of uniqueness of the fixed point in Proposition 1 is sound; and the one-dimensional boundary analysis in Propositions 5–6 is explicit and checkable. However, the proof that P is a repeller, which is load-bearing for the main theorem, currently rests on an unverified computational assertion. The paper also uses known Volterra results appropriately, but those citations do not remove the need for a complete proof of the new spectral claim.

major comments (2)
  1. [§4.1, Proposition 2, Eq. (4.6)] The proof that the fixed point P is a repeller for p≠0 is incomplete in two load-bearing places. First, the positivity argument for the quartic in (4.6) is not valid as written: the text says that it suffices to show the quadratic part is positive, but the omitted terms λ^4 + (1-5q)λ^3 can be negative. For example, at q=0.1 and λ=-0.25, λ^4 + (1-5q)λ^3 = -0.00390625, so positivity of the quadratic part alone does not establish positivity of the whole quartic. The negativity of the discriminant D(q) is also justified only by a graph rather than by an algebraic derivation. Second, the absolute values f1(q)=1+(5-2√5)q^2 and f2(q)=1+(5+2√5)q^2 of the non-conjugate roots are asserted 'by a computer or using known formulas' with no derivation and no reproducible code. Because Theorem 5 explicitly uses Proposition 2 to rule out convergence to P, this spectral claim is the hinge of the paper. Please replace the graph and the computer assertion with a complete derivation: for example, factor or explicitly solve (4.6), or compute the Jacobian at P and prove directly that all eigenvalue moduli exceed 1 for every q≠0.
  2. [§4.2, Proposition 4] The classification of all solutions of the system (4.8) with at least one zero coordinate is stated as 'it is easy to see' without a case analysis. This is used to claim that the two displayed 5-periodic orbits are the only ones besides the fixed point. Please provide the explicit finite case check (five choices of the zero coordinate, then solve the remaining equations), or state clearly that the proposition only establishes existence of the two displayed orbits and that no exhaustive classification is needed for the later theorems.
minor comments (5)
  1. [Abstract] The phrase 'Motivating by' should read 'Motivated by'.
  2. [§4.1, Proposition 2] The sentence 'Since q is in finite set' is inaccurate: q ranges over a bounded interval [-1/5,1/5]. This should say 'closed interval' or give an explicit bound for D(q).
  3. [§4.1, Proposition 2] The statement 'therefore it has four complex solutions' would be clearer as 'therefore it has no real roots, hence four non-real complex roots'.
  4. [§4.4, Theorem 2] The condition 'with x̂(0)≠P in two-dimensional boundary' is awkwardly placed; the hypothesis should be stated before the theorem as 'For every x(0) in the indicated two-dimensional face with x̂(0)≠P'.
  5. [§4.6, Theorem 5 proof] In the chain around Eq. (4.13), the ratio φ(x(n))/φ(x(n-1)) equals ψ(x(n-1)), not ψ(x(n)); the argument is still correct after reindexing, but the indexing should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the dynamical claims are derived from explicit iteration, a Lyapunov-type product inequality, and standard Volterra QSO theory; Proposition 2's spectral assertion is an unproved computational step but not a circular one.

full rationale

I checked the claimed derivation chain for the seven circularity patterns. The paper does not fit any parameter to data and then rename that fit as a prediction; the symmetric operator (4.1) is a fixed special case of the 10-parameter family, and the fixed point, periodic orbits, and boundary behavior are obtained by direct computation or by reductions to one-dimensional maps F and G whose fixed points and stability are analyzed from their derivatives. The interior-trajectory theorem (Theorem 5) uses the product phi(x)=x1x2x3x4x5 as a Lyapunov function: the inequality phi(W(x)) <= phi(x) is proved from the same arithmetic-geometric-mean estimate used in Proposition 1, and the conclusion that no interior trajectory can converge to the unique fixed point uses Proposition 2. The weakest point is indeed Proposition 2, where the quartic eigenvalue equation (4.6) is asserted to have four complex roots with moduli f1(q) and f2(q) 'by a computer or using known formulas', with no algebraic derivation or factorization displayed. That is a rigor gap and a correctness risk, not circularity: the eigenvalue moduli are not defined to be the desired repeller conclusion, and the proof chain would be completed by an explicit algebraic verification independent of the theorem being proved. The paper also cites prior work, including [1], [6], and [20], for standard facts about Volterra operators (e.g. the non-convergence theorem for an isolated interior fixed point and the fact that permuted Volterra operators can have periodic orbits). These are self-citations in the broad sense that some authors overlap, but the cited statements are general parameter-free results with stated assumptions that do not include the target claim, and they are not used as the sole justification for the paper's main new dichotomy; the boundary analysis in this paper is carried out explicitly. One should also note the questionable claim in Proposition 2 that positivity of the LHS of (4.6) follows from checking only the quadratic part; the omitted terms can be negative, so the no-real-root argument as written is incomplete. Again, however, incompleteness is not circularity. Overall, the derivation is self-contained in its structure and does not reduce to its inputs.

Assumptions & free parameters 1 free parameters · 2 assumptions · 0 invented entities

The central claims rest on the AM-GM inequality, standard compactness arguments, and a body of known Volterra QSO theory that is independent of this paper. The only free parameter is the symmetric family parameter p, which is not fitted. No new physical or mathematical entities are introduced.

free parameters (1)
  • p = [-1,1] family parameter
    The symmetric specialization of the 10-parameter model (Section 4) sets A=p, B=-p, C=p, D=p, E=p, F=-p, G=-p, H=p, I=p, J=-p. All theorems are stated for this one-parameter family; p is not fitted to data.
assumptions (2)
  • standard math Arithmetic-geometric mean inequality
    Used in Proposition 1 and Theorem 5 to bound the product of bracket terms by 1 and identify the equality case.
  • domain assumption Volterra QSO theory: no periodic orbits and interior non-convergence for isolated interior fixed point
    Cited from [1] and Theorem 2.4 in [6], used in Section 4.4 (operator A), Section 4.5 (V-tilde), and Theorem 5 to conclude non-convergence of interior trajectories.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dynamics of quadratic operators generated by China's Five elements philosophy." pith.science (2026). https://pith.science/paper/OXZB4VW6

@misc{pith2026190807740,
  author       = {Pith},
  title        = {Pith review of: Dynamics of quadratic operators generated by China's Five elements philosophy},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OXZB4VW6}},
  note         = {Machine review of arXiv:1908.07740}
}
read the original abstract

Motivating by the China's five element philosophy (CFEP) we construct a permuted Volterra quadratic stochastic operator acting on the four dimensional simplex. This operator (depending on 10 parameters) is considered as an evolution operator for CFEP. We study the discrete time dynamical system generated by this operator. Mainly our results related to a symmetric operator (depending on one parameter). We show that this operator has a unique fixed point, which is repeller. Moreover, in the case of non-zero parameter, it has two 5-periodic orbits. We divide the simplex to four subsets: the first set consists a single point (the fixed point); the second (resp. third) set is the set of initial points trajectories of which converge to the first (resp. second) 5-periodic orbit; the fourth subset is the set of initial points trajectories of which do not converge and their sets of limit points are infinite and lie on the boundary of the simplex. We give interpretations of our results to CFEP.

Figures

Figures reproduced from arXiv: 1908.07740 by the authors.

Figure 1
Figure 1. Five elements (phases) and the interactions between them. Source: https://www.travelchinaguide.com/intro/astrology/five-elements.htm theory and applications of such operators). Since there is no any general theory for investigation of non-Volterra operators, each such operator requires a corresponding approach. The paper is organized as follows: In Sec. 2, we give some preliminary definitions. In Section 3 we constr… view at source ↗
Figure 2
Figure 2. The graph of D(q) in the domain [−0.2, 0.2] (where it is defined). computer or using known formulas2 one can obtain an explicit solution of the quartic equation (as a function of q = p/5 ∈ [−0.2, 0.2]), then the absolute values of two non-conjugate solutions has the form f1(q) = (5 − 2 √ 5)q 2 + 1, f2(q) = (5 + 2√ 5)q 2 + 1. One can see that they are >1 iff q 6= 0. 4.2. Periodic points. For p = 0 operator (4.1) coin… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    R. N. Ganikhodzhaev,Quadratic stochastic operators, Lyapunov functions, and tournaments, Sbornik: Math. 76(2), (1993) 489–506

    work page 1993

  2. [2]

    R. N. Ganikhodzhaev, A chart of fixed points and Lyapunov functions for a class of discrete dynamical systems, Math. Notes56 (1994) 1125–1131

    work page 1994

  3. [3]

    R. N. Ganikhodzhaev, R. E. Abdirakhmanova, Fixed and periodic points of quadratic automorphisms of non-Volterra type, Uzbek Math. J.2 (2002) 6–13, (Russian). 16 N.N.GANIKHODJAEV, C.H. PAH, U.A. ROZIKOV

    work page 2002

  4. [4]

    R. N. Ganikhodzhaev, A. M. Dzhurabaev,The set of equilibrium states of quadratic stochastic operators of typeVπ, Uzbek Math. J.3 (1998) 23–27, (Russian)

    work page 1998

  5. [5]

    R. N. Ganikhodzhaev, D. B. Eshmamatova,Quadratic automorphisms of simplex and asymptotical behavior of their trajectories, Vladikavkaz Math.8 (2006) 12–28

    work page 2006

  6. [6]

    Ganikhodzhaev, F.M

    R.N. Ganikhodzhaev, F.M. Mukhamedov, U.A. Rozikov,Quadratic stochastic operators and processes: results and open problems. Inf. Dim. Anal. Quant. Prob. Rel. Fields.,14(2) (2011), 279–335

    work page 2011

  7. [7]

    Ganikhodjaev, R.N Ganikhodjaev (Ganikhodzhaev), U.U

    N.N. Ganikhodjaev, R.N Ganikhodjaev (Ganikhodzhaev), U.U. Jamilov (Zhamilov),Quadratic stochastic operators and zero-sum game dynamics, Ergodic Theory Dyn. Syst.35(5), 1443–1473

    work page

  8. [8]

    Ganikhodjaev, R.T

    N.N. Ganikhodjaev, R.T. Mukhitdinov,On a class of non-Volterra quadratic operators, Uzbek Math J.3-4, (2003), 65–69

    work page 2003

Show all 20 references
  1. [9]

    N. N. Ganikhodjaev, S. H. Jusoo,Strictly non-Volterra quadratic stochastic operator on 3-dimensional sim- plex, AIP Conference Proceedings 1974, 030020 (2018)

    2018

  2. [10]

    N. N. Ganikhodjaev, M. Saburov, A. M. Nawi,Mutation and chaos in nonlinear models of heredity, The Scientific World Journal Volume 2014, Article ID 835069, 11 pages

    2014

  3. [11]

    N. N. Ganikhodjaev, J.I. Daoud, M. Usmanova,Linear and nonlinear models of heredity for blood groups and Rhesus factor.Journal of Applied Sciences,10(16) (2010), 1748–1754

    2010

  4. [12]

    Kesten,Quadratic transformations: A model for population growth, I, II, Adv

    H. Kesten,Quadratic transformations: A model for population growth, I, II, Adv. Appl. Probab.2(2) (1970) 1-82; 179-228

    1970

  5. [13]

    Lyubich,Mathematical structures in population genetics, Springer-Verlag, Berlin, 1992

    Y.I. Lyubich,Mathematical structures in population genetics, Springer-Verlag, Berlin, 1992

    1992

  6. [14]

    Mukhamedov, M.Saburov, A.H.M

    F. Mukhamedov, M.Saburov, A.H.M. Jamal,On dynamics ofξs quadratic stochastic operators, Inter. Jour. Modern Phys.: Conf. Ser.,9, (2012), 299–307

    2012

  7. [15]

    Mukhamedov, A

    F. Mukhamedov, A. F. Embong,Onb-bistochastic quadratic stochastic operators, Jour. Inequalities and Appl. 2015, Article number: 226 (2015)

    2015

  8. [16]

    Rozikov,An introduction to mathematical billiards

    U.A. Rozikov,An introduction to mathematical billiards. World Scientific Publishing Co. Pte. Ltd., Hacken- sack, NJ, 2019. xvii+204 pp

    2019

  9. [17]

    Rozikov, N.B

    U.A. Rozikov, N.B. Shamsiddinov,On Non-Volterra Quadratic Stochastic Operators Generated by a Product Measure.Stoch. Anal. Appl.,27(2) (2009), 353–362

    2009

  10. [18]

    Rozikov, A

    U.A. Rozikov, A. Zada,On 𝓁- Volterra quadratic stochastic operators.Inter. Journal Biomath.3(2) (2010), 143–159

    2010

  11. [19]

    Rozikov, S.K

    U.A. Rozikov, S.K. Shoyimardonov, On ocean ecosystem discrete time dynamics generated by𝓁-Volterra operators.Inter. Jour. Biomath.12(2) (2019), 1950015-24

    2019

  12. [20]

    Rozikov, U.U

    U.A. Rozikov, U.U. Zhamilov, On dynamics of strictly non-Volterra quadratic operators on two-dimensional simplex. Sbornik: Math. 200(9), (2009) 1339–1351. N. N.Ganikhodjaev, Department of Computational and Theoretical Sciences, F aculty of Sci- ence, IIUM, Kuantan, Malaysia. E...

    2009

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.