pith. sign in

arxiv: 2510.04578 · v2 · submitted 2025-10-06 · 🧬 q-bio.PE

Gonosomic algebras: an extension of gonosomal algebras

Richard Varro This is my paper

Pith reviewed 2026-05-18 09:48 UTC · model grok-4.3

classification 🧬 q-bio.PE
keywords gonosomic algebrasgonosomal algebrasgenetic sterilitysex determinationevolution operatorsstability of equilibriapopulation geneticsinheritance models
0
0 comments X

The pith

Gonosomic algebras extend gonosomal algebras to algebraically model genetic sterility while preserving stability of equilibria between operators W and V.

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

The paper defines gonosomic algebras to represent genetic sterility within an algebraic framework for sex-linked inheritance. These structures extend gonosomal algebras by introducing new multiplication and addition rules that incorporate sterility without extra biological exceptions. An evolution operator W tracks the offspring population state at birth, and a derived operator V gives the frequency distribution of genetic types. The central result establishes that all standard stability notions for equilibrium points remain unchanged when passing from W to V. A sympathetic reader would care because this allows stability analysis to be conducted on the simpler birth-stage operator without losing information about long-term population frequencies.

Core claim

Gonosomic algebras are constructed by extending gonosomal algebras through modified multiplication rules that account for sterility in sex-determination and sex-linked gene transmission. To each such algebra the paper associates an evolution operator W that maps the current population state to the state of offspring at the birth stage. From W the operator V is obtained to describe the frequency distribution of genetic types in the population. The paper proves that the various stability notions of equilibrium points are preserved under the passage from W to V.

What carries the argument

The gonosomic algebra equipped with its evolution operator W (birth-stage population map) and derived operator V (frequency-distribution map), together with the algebraic constructions that distinguish gonosomic from gonosomal algebras.

If this is right

  • Stability analysis of equilibria can be performed equivalently on the birth-stage operator W instead of the frequency operator V.
  • Different algebraic constructions of gonosomic algebras allow modeling of distinct sterility scenarios within sex-linked inheritance systems.
  • Equilibrium frequencies derived from V can be studied by first solving the simpler map W and then applying the preservation result.
  • Conditions under which a gonosomic algebra is not gonosomal provide explicit criteria for when sterility must be modeled separately.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The framework may enable direct transfer of algebraic tools from gonosomal algebras to sterility-inclusive models in population genetics.
  • If the operators W and V are applied to real genetic data, the preservation property could simplify computational checks for long-term population stability.
  • Extensions to multi-locus or multi-allele cases would follow naturally by composing the gonosomic multiplication rules with existing gonosomal constructions.

Load-bearing premise

The newly defined multiplication and addition rules in gonosomic algebras faithfully represent the biological mechanisms of inheritance and sterility without requiring extra biological constraints or exceptions.

What would settle it

A concrete population example or numerical simulation in which an equilibrium point is stable under the birth-stage operator W but unstable under the frequency operator V (or vice versa) would show that the claimed preservation of stability notions fails.

read the original abstract

In this paper, we introduce gonosomic algebras to algebraically translate the phenomenon of genetic sterility. Gonosomic algebras extend the concept of gonosomal algebras used as algebraic model of genetic phenomena related to sex-determination and sex-linked gene transmission by allowing genetic sterility to be taken into account. Conditions under which gonosomic algebras are not gonosomal and several algebraic constructions of gonosomic algebras are given. To each gonosomic algebra, an evolution operator noted W is associated that gives the state of the offspring population at the birth stage. Next from W we define the operator V which gives the frequency distribution of genetic types. We show that the various stability notions of equilibrium points are preserved by passing from W to V .

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces gonosomic algebras as an extension of gonosomal algebras to algebraically model genetic sterility in addition to sex-determination and sex-linked inheritance. It gives conditions under which gonosomic algebras differ from gonosomal ones, provides explicit algebraic constructions, associates an evolution operator W that maps to the offspring population state at the birth stage, derives from W the frequency operator V, and proves that multiple notions of stability for equilibrium points are preserved under the passage from W to V.

Significance. If the stability-preservation result is established with full rigor, including boundary handling, the framework supplies a concrete algebraic device for reducing stability analysis of frequency dynamics to the simpler birth-stage operator W. This could streamline equilibrium studies in population-genetic models that incorporate sterility and would constitute a modest but useful addition to the existing literature on gonosomal and related algebras.

major comments (2)
  1. [Section defining V from W and the stability theorem] The construction of V from W (via the frequency-normalization step that follows the gonosomic multiplication) must be shown to induce a dynamical equivalence at equilibria. In particular, the manuscript should supply an explicit relation between the linearizations (or higher-order terms) of W and V at corresponding fixed points, because sterility rules can produce states whose total measure is zero or that lie on the boundary of the simplex; such cases may change the spectrum or hyperbolicity under normalization.
  2. [Stability preservation theorem] The proof that all listed stability notions transfer must address whether equilibria of W and V coincide exactly and whether the normalization map preserves the relevant spectral properties uniformly, including when the gonosomic product yields components outside the interior of the frequency simplex.
minor comments (2)
  1. A short concrete example (e.g., a low-dimensional gonosomic algebra with explicit sterility) would help readers verify that the algebraic rules faithfully capture the intended biological mechanism before the general theorems are stated.
  2. Notation for the gonosomic multiplication and the two operators W and V should be introduced with a single consolidated table or diagram to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their insightful comments, which have helped us identify areas where the manuscript can be strengthened. Below we respond to each major comment and outline the revisions we intend to implement.

read point-by-point responses

  1. Referee: [Section defining V from W and the stability theorem] The construction of V from W (via the frequency-normalization step that follows the gonosomic multiplication) must be shown to induce a dynamical equivalence at equilibria. In particular, the manuscript should supply an explicit relation between the linearizations (or higher-order terms) of W and V at corresponding fixed points, because sterility rules can produce states whose total measure is zero or that lie on the boundary of the simplex; such cases may change the spectrum or hyperbolicity under normalization.

    Authors: We agree that an explicit relation between the linearizations of W and V is required for a complete demonstration of dynamical equivalence, especially in the presence of zero-measure states induced by sterility. In the revised manuscript we will add a dedicated subsection that derives the Jacobian of V from that of W via the normalization map, computes the resulting spectrum explicitly, and treats boundary equilibria separately by restricting to the appropriate tangent spaces of the simplex. Concrete examples with sterility will be included to illustrate the preservation of hyperbolicity. revision: yes

  2. Referee: [Stability preservation theorem] The proof that all listed stability notions transfer must address whether equilibria of W and V coincide exactly and whether the normalization map preserves the relevant spectral properties uniformly, including when the gonosomic product yields components outside the interior of the frequency simplex.

    Authors: Equilibria of W and V coincide exactly whenever the output of W is already normalized; we will state this relation clearly. The current proof assumes interior points and does not uniformly treat cases in which the gonosomic product lies on the boundary or has zero total mass. In the revision we will extend the argument to these cases by analyzing the normalization map on the closure of the simplex and verifying that the relevant eigenvalues (including those governing asymptotic stability, Lyapunov stability, and orbital stability) remain unchanged in sign and magnitude. This will be done uniformly via a limiting procedure that avoids division by zero. revision: yes

Circularity Check

0 steps flagged

No circularity: stability preservation is a direct mathematical consequence of explicit definitions

full rationale

The paper defines gonosomic algebras by explicit algebraic extensions of gonosomal algebras to encode sterility, constructs the birth-stage operator W directly from the multiplication rules, and defines the frequency operator V from W via normalization. The claim that stability notions transfer from W to V is then proved as a theorem from these constructions. No load-bearing step reduces to a self-citation, fitted parameter renamed as prediction, or ansatz smuggled via prior work; the derivation remains deductive from the stated rules and is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces new algebraic structures without additional free parameters. It relies on standard algebraic axioms and postulates the gonosomic algebra itself as the modeling entity.

axioms (1)
  • standard math Standard axioms of non-associative algebras or algebras over a field as needed for the gonosomal and gonosomic constructions
    The paper extends existing algebraic models, invoking the usual properties of vector spaces and bilinear operations.
invented entities (1)
  • Gonosomic algebra no independent evidence
    purpose: Algebraic structure that encodes genetic sterility in addition to sex-linked inheritance
    New object defined to extend gonosomal algebras; no independent empirical evidence is provided beyond the modeling intent.

pith-pipeline@v0.9.0 · 5639 in / 1141 out tokens · 32739 ms · 2026-05-18T09:48:34.584157+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Boraska, A

    V. Boraska, A. Jeronˇ cic’, V. Colonna, L. Southam, D.R. Nyholt, N.W. Rayner, and al.Genome- wide meta-analysis of common variant differences between men and women. Hum Mol Genet.21: 4805–4815 (2012)

    work page 2012

  2. [2]

    Etherington.Non associative algebraand the symbolism of genetics

    I.M.H. Etherington.Non associative algebraand the symbolism of genetics. Proc. Roy. Soc. Edin- burgh.61: 24–42 (1941)

    work page 1941

  3. [3]

    Gonshor.Special train algebra arising in genetics

    H. Gonshor.Special train algebra arising in genetics. Proc. Edinburgh Math. Soc. (1)12: 41–53 (1960)

    work page 1960

  4. [4]

    Gonshor.Special train algebra arising in genetics II

    H. Gonshor.Special train algebra arising in genetics II. Proc. Edinburgh Math. Soc.14(4) : 333–338 (1965)

    work page 1965

  5. [5]

    Gonshor.Contributions to genetic algebra II

    H. Gonshor.Contributions to genetic algebra II. Proc. Edinburgh Math. Soc.18(4) : 273–279 (1973)

    work page 1973

  6. [6]

    Holgate.Genetic algebra associated with sex linkage

    P. Holgate.Genetic algebra associated with sex linkage. Proc. Edinburgh Math. Soc.17: 113–120 (1970)

    work page 1970

  7. [7]

    Ladra and U

    M. Ladra and U. A. Rozikov.Evolution algebra of a bisexual population. J. Algebra378: 153–172 (2013)

    work page 2013

  8. [8]

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

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

    work page 1992

  9. [9]

    Rozikov, R

    U.A. Rozikov, R. Varro.Dynamical systems generated by a gonosomal algebra. Discontinuity, Non- linearity, and Complexity5(2): 175–187 (2016)

    work page 2016

  10. [10]

    Rozikov, S.K

    U.A. Rozikov, S.K. Shoyimardonov, R. Varro. Gonosomal algebras and associated discrete-time dynamical systems. Journal of Algebra638: 153–188 (2024)

    work page 2024

  11. [11]

    Varro,Gonosomal algebra

    R. Varro,Gonosomal algebra. Journal of Algebra447: 1–30 (2015)

    work page 2015

  12. [12]

    R. D. Schafer. An introduction to nonassociative algebras. Corrected reprint of the 1966 original. Dover Publications, Inc., New York, 1995

    work page 1966

  13. [13]

    W¨ orz-Busekros.The zygotic algebra for sex linkage

    A. W¨ orz-Busekros.The zygotic algebra for sex linkage. J. Math. Biol.1: 37–46 (1974)

    work page 1974

  14. [14]

    W¨ orz-Busekros.The zygotic algebra for sex linkage II

    A. W¨ orz-Busekros.The zygotic algebra for sex linkage II. J. Math. Biol.2: 359–371 (1975)

    work page 1975

  15. [15]

    Algebras in Genetics

    A. W¨ orz-Busekros. “Algebras in Genetics”. Lecture Notes in Biomathematics,36. Springer-Verlag, New York, 1980. R. Varro Institut Montpelli´erain Alexander Grothendieck, Universit ´e de Montpellier, 35095 Montpellier Cedex 5, France. richard.varro@umontpellier.fr Universit´e Montpellier Paul Val´ery , Route de Mende 34199 Montpellier cedex 5, France rich...

    work page 1980