Exponent Matrix and Hypercycle Classification

Hypercyclic growth functions are not arbitrary; their catalytic architecture is encoded in a single compact object: the exponent matrix P = (p_ik). For a hypercycle with n species, P is an n × n matrix of nonnegative integers. The entry p_ik specifies the exponent—or molecularity—with which species k contributes to the growth function of species i. A zero entry p_ik = 0 means that species k has no catalytic influence on species i; a positive entry gives the order of that influence.

The matrix is subject to two structural constraints that make it a hypercycle rather than a general catalytic network. First, the homogeneity condition requires that every row of P sum to the same integer p:

∑_k p_ik = p for all i.

This means every species shares a common total growth degree p. If one row summed to a different value, the species would have different molecularities, and the growth functions would not be homogeneous of a single degree. Second, the cyclic symmetry condition requires that P be invariant under a simultaneous cyclic relabeling of indices: i → i+1 and k → k+1 (mod n). Consequently p_ik = p_i+1,k+1 (mod n). This makes P a circulant matrix (or block-circulant in compound cases), so the catalytic pattern is identical for every member up to rotation.

Elementary versus compound hypercycles

The exponent matrix classifies hypercycles into two broad types.

Elementary hypercycle. The simplest closed cyclic case usually has . Each growth function depends on the species itself and its immediate cyclic predecessor. For , the matrix has p_ii = 1 and p_i,i-1 = 1 (indices mod 4), so every row sums to 2. The matrix is sparse: exactly two 1s per row, with all other entries zero.
Compound hypercycle. A higher-order cyclic organization, for example or multiple nonzero cyclic contributions per row. For and , each row can contain four unit cyclic contributions, giving quartic homogeneous growth functions while retaining cyclic symmetry. The matrix is denser (or has higher-order entries) but remains circulant.

Classification criterion: elementary versus compound is read from the value of p and the sparsity or pattern of P, not merely from the number of species. A four-membered cycle can be elementary or compound , depending on the catalytic exponents.

The figure below contrasts the two matrix types. In both panels, row sums are annotated, and the circular index key marks the cyclic relabeling that leaves P invariant.

Exponent Matrix and Hypercycle Classification

Side-by-side 4×4 exponent matrices P for an elementary hypercycle and a compound hypercycle. In the elementary matrix, each row has two positive unit entries (self and cyclic predecessor), so every row sums to 2. In the compound matrix, every entry is 1, so each row sums to 4 and the growth functions are quartic. Both matrices are circulant, reflecting cyclic symmetry under i → i+1 (mod n).

QUESTION 1

What does the entry p_ik in the exponent matrix P represent?

The rate constant for the catalytic reaction of species i with k.

The exponent with which species k contributes to the growth of i.

The total number of species that participate in the hypercycle.

The probability that species k catalyzes the growth of species i.

QUESTION 2

A hypercyclic growth function is homogeneous of degree p when which condition holds?

Every column of P sums to zero.

Every row of P sums to the value p.

Every entry of P is a positive integer.

Every diagonal entry equals p.

QUESTION 3

What does cyclic symmetry of the exponent matrix P mean?

P is unchanged by a cyclic shift of the indices.

P has exactly one nonzero entry in every row.

P equals its transpose: p_ik = p_ki for all i and k.

P is a diagonal matrix with nonzero entries.

QUESTION 4

For an

elementary hypercycle with

, what is the pattern of each row in P?

Two unit entries per row: self and predecessor.

All four entries equal to zero except the diagonal.

One entry equal to 2, all other entries zero.

Four entries equal to 1 in every row of the matrix.

QUESTION 5

How do you distinguish an elementary from a compound hypercycle?

By the sign of the entries in the exponent matrix.

By the number of species n in the cycle alone.

By the degree p and the sparsity pattern of P.

By whether the exponent matrix P is symmetric.

Case Study: Designing a Five-Membered Hypercycle

Read the scenario and answer the questions.

You are modeling a prebiotic hypercycle with

species. The exponent matrix P is 5 × 5, nonnegative integer, and must satisfy homogeneity and cyclic symmetry. You need to compare an elementary design and a compound design.

Construct the exponent matrix P for an elementary hypercycle with

. State the entries p_ik in terms of i and k, verify that every row sums to 2, and confirm cyclic symmetry.

Answer:
For an elementary

hypercycle with

, each row has p_ii = 1 and p_i,i-1 = 1 (indices mod 5), and all other entries 0. Thus row i has two 1s and ∑_k p_ik = 2. Cyclic symmetry holds because shifting i → i+1 and k → k+1 maps the self-entry to the next row's self-entry and the predecessor entry to the next row's predecessor entry, so p_ik = p_i+1,k+1 (mod 5).

Describe how to modify P to obtain a compound hypercycle with

. What is the resulting growth degree, and how does the sparsity of P change?

Answer:
For a compound

hypercycle, set all entries p_ik = 1 for every i and k. Then each row sums to 5, so the growth functions are homogeneous of degree 5. The matrix becomes completely dense (all entries positive) while remaining circulant, in contrast to the sparse elementary matrix with only two 1s per row.