Foundations of Tribonacci Quasigeometric Sequences

Abstract

A Tribonacci quasigeometric sequence (TQGS) is an integer sequence constrained simultaneously by the exact third-order recurrence and nearest-integer multiplication by the Tribonacci constant τ. The framework introduced here is defined by h n+3 = h n+2 + h n+1 + h n , h n+1 =rnd( τ h n ) , τ 3 = τ 2 +τ+1 . Writing δ n = h n+1 −τ h n gives the exact discrepancy propagation law δ n+2 =( 1+τ− τ 2 ) δ n +( 1−τ ) δ n+1 , | δ n |< 1 2 .These relations establish the basic TQGS compatibility dynamics, an explicit admissibility and non-degeneracy criterion for genuine Tribonacci parent numbers, and the complementary notion of global barrenness. For rounded orbits bn+1 = rnd(τbn), the integer Tribonacci defect E n = b n + b n+1 + b n+2 − b n+3 ∈{ −1,0,+1 } separates exact local TQGS compatibility (En = 0) from the two incompatible defect classes. A nonzero defect is invariant along a barren rounded orbit, so primitive barren roots generate infinite signed barren lineages. Thus the principal contribution is the introduction and development of the TQGS framework itself—its defining compatibility laws, discrepancy dynamics, parent-number criterion, and excluded-state dynamics—with barren integers forming one structural component of that broader theory.

Share and Cite:

Mamombe, L. (2026) Foundations of Tribonacci Quasigeometric Sequences. <i>Open Journal of Discrete Mathematics</i>, <b>16</b>, 89-99. doi: <a href='https://doi.org/10.4236/ojdm.2026.164008' target='_blank' onclick='SetNum(154938)'>10.4236/ojdm.2026.164008</a>.

1. Introduction

The quasigeometric framework used in this paper extends the additive-multiplicative construction introduced by Mamombe [1], in which an integer sequence is constrained simultaneously by an exact recurrence and a rounded multiplicative law generated by an irrational proportion. The present paper introduces the corresponding third-order construction: the golden-section/Fibonacci pair is replaced by the Tribonacci constant and the Tribonacci recurrence.

Classical work on Tribonacci and third-order recurrences includes Feinberg [2], Shannon and Horadam [3], and Spickerman [4]. More recent developments include generalized Tribonacci sums and polynomials [5] [6], matrix formulations [7], bihyperbolic and generalized third-order extensions [8] [9], probabilistic Binet-type formulations [10], generalized Fibonacci-Tribonacci polynomials [11], weighted Fibonacci and Tribonacci sums [12], matrix identities [13], and multiplicative Diophantine questions involving Tribonacci numbers [14]. The nearest-integer aspect also belongs to the broader tradition of Beatty-type and irrational-distribution problems [15] [16].

The central issue is compatibility. Repeated nearest-integer multiplication by τ always produces an integer orbit, but such an orbit need not satisfy the exact Tribonacci recurrence. Conversely, an exact Tribonacci recurrence need not remain inside the nearest-integer rounding window. The discrepancy formalism measures this compatibility exactly.

A second issue is arithmetic classification. A genuine parent number must be both non-degenerate under the inverse-forward rounded transformation and locally admissible under the Tribonacci recurrence. Integers failing the local compatibility condition are not exceptional parents; they are globally excluded from every strict TQGS. These are called barren integers. The examples 8 and 16 are the first important exclusions.

The paper therefore has two linked contributions. Firstly, it formulates the TQGS framework itself: its defining laws, discrepancy dynamics, admissibility thresholds, and genuine parent-number criterion. Secondly, within that framework, it develops the internal dynamics of the excluded barren set. Primitive barren integers are shown to generate infinite barren lineages under repeated nearest-integer multiplication by τ, governed by a conserved integer defect of sign ±1.

2. Tribonacci Constant and Rounding Convention

Let τ denote the unique real root greater than one of

τ 3 = τ 2 +τ+1 (1)

so that

τ=1.839286755214161⋯ (2)

Throughout, nearest-integer rounding is fixed by

rnd( x )=⌊ x+1/2 ⌋ (3)

Thus rnd(x) = m exactly when

m−1/2 ≤x<m+1/2 (4)

The cubic in (1) has no rational root, so τ is irrational. For any nonzero integer m , τm cannot be a half-integer; at zero the rounding error is zero. Thus, for integer sequences, the half-open interval in (4) is equivalent to the strict absolute-error window used below.

3. Tribonacci Quasigeometric Sequences

Definition 3.1 (Strict TQGS).

An integer sequence H = (hn) is a strict Tribonacci quasigeometric sequence if it satisfies simultaneously

h n+3 = h n+2 + h n+1 + h n (5)

and

h n+1 =rnd( τ h n ) (6)

Here the sequence is infinite and indexed by n≥1 , and both defining laws hold for every such index. The first relation is exact and additive; the second is multiplicative before rounding.

Example.

Starting from h1 = 1, rounded multiplication gives h2 = 2 and h3 = 4, and the compatible strict TQGS begins

1,2,4,7,13,24,44,81,149,274,504,927,⋯ (7)

4. Tribonacci Discrepancy and Threshold Dynamics

Definition 4.1 (Discrepancy).

For consecutive terms define

δ n = h n+1 −τ h n (8)

The rounded law (6) is equivalent to the fundamental window

| δ n |< 1 2 (9)

Theorem 4.2 (Exact discrepancy propagation).

Along every exact Tribonacci recurrence,

δ n+2 =( 1+τ− τ 2 ) δ n +( 1−τ ) δ n+1 (10)

Proof

Write h n+1 =τ h n + δ n and h n+2 =τ h n+1 + δ n+1 . Substitute these expressions into δ n+2 = h n+3 −τ h n+2 and use h n+3 = h n+2 + h n+1 + h n . The coefficient of h n vanishes by τ 3 = τ 2 +τ+1 , leaving (10). □

Numerically,

δ n+2 =−0.5436890127⋯ δ n −0.8392867552⋯ δ n+1 (11)

The characteristic roots are complex conjugates with common modulus τ − 1 2 <1 . Every discrepancy solution therefore decays asymptotically with oscillation. This is spectral stability; it does not imply that the Euclidean norm decreases at every step. The half-unit boundaries in (9) are the exact rounding thresholds.

5. Initial Admissibility and Genuine Parent Numbers

For a positive integer p, define its first rounded successors by

h 1 =p,   h 2 =rnd( τp ),   h 3 =rnd( τ h 2 ) (12)

The exact recurrence requires

h 4 =p+ h 2 + h 3 (13)

whereas rounded multiplication requires h 4 =rnd( τ h 3 ) . Define the initial compatibility discrepancy

Δ( p )=p+rnd( τp )+rnd( τ rnd( τp ) )−τ rnd( τ rnd( τp ) ) (14)

Initial admissibility is

| Δ( p ) |< 1 2 (15)

The inverse-forward return map is

R( p )=rnd( τ rnd( p/τ ) ) (16)

Definition 5.1 (Genuine Tribonacci parent number).

A positive integer p is a parent number precisely when

R( p )≠p and | Δ( p ) |< 1 2 (17)

This definition incorporates non-degeneracy and strict TQGS admissibility at the same level. In particular, an integer that fails (15) is excluded before parent status is assigned.

The parent-number line begins

1,3,5,10,12,14,19,21,23,25,27,30,32,34,36,38,41,43,45,47,49, 51,54,56,58,60,62,65,67,69,71,⋯ (18)

6. Barren Integers

Definition 6.1 (Tribonacci-barren integer).

A positive integer b is barren if it cannot occur at any position of any valid strict TQGS.

b∈ ℬ T ⇔ h n ≠b for every strict TQGS H and every n ≥ 1(19)

Theorem 6.2 (Local failure implies global barrenness).

If

| Δ( b ) |> 1 2 (20)

then b is barren.

Proof

Suppose b occurred as hk in a strict TQGS. Both defining laws hold at every index, so the rounded orbit beginning at b must satisfy its first Tribonacci compatibility condition. Its initial discrepancy therefore has absolute value less than 1/2, contradicting (20). Thus b cannot occur in any strict TQGS. □

The First Exclusions: 8 and 16

For b=8 , rounded iteration gives

8→15→28→52 (21)

The Tribonacci recurrence would instead require

8+15+28=51 (22)

Hence the rounded and additive laws disagree, and 8 is barren.

For b = 16,

16→29→53→97 (23)

whereas

16+29+53=98 (24)

Thus 16 is also barren, but on the opposite side of the compatibility defect.

7. Primitive Barren Integers and Barren Lineages

Define the rounded Tribonacci transformation

Tτ( m )=rnd( τm ) (25)

Definition 7.1 (Primitive barren integer).

A barren integer b is primitive if there is no barren positive integer a satisfying Tτ(a) = b.

b primitive ⇔b∈ B T and there is no a∈ B T with Tτ( a )=b (26)

A primitive barren integer is therefore the first member of its barren lineage. This definition distinguishes creation from inheritance. For example, 15 is barren but not primitive because Tτ(8) = 15 and 8 is barren.

8→15→28→52→96→177→326→600→1104→⋯ (27)

Thus 8, not 15, is the primitive root of this lineage. Similarly,

16→29→53→97→178→327→601→1105→⋯ (28)

8. Integer Tribonacci Defect

Let b0 be any positive integer and generate its rounded orbit by

b n+1 =rnd( τ b n ) (29)

Define the rounding error

ε n = b n+1 −τ b n ,| ε n |< 1 2 (30)

and define the integer Tribonacci defect

E n = b n + b n+1 + b n+2 − b n+3 (31)

Theorem 8.1 (Defect criterion).

Along a rounded orbit,

E n =0 (32)

if and only if the four consecutive terms bn, bn+1, bn+2, bn+3 satisfy the exact Tribonacci recurrence.

Proof

This is immediate from (31): E n =0 is exactly b n+3 = b n + b n+1 + b n+2 . Since the orbit already satisfies nearest-integer multiplication by construction, En = 0 is precisely local TQGS compatibility. □

Lemma 8.2 (Error representation of the defect).

E n =( 1+τ− τ 2 ) ε n +( 1−τ ) ε n+1 − ε n+2 (33)

Proof

Substitute b n+1 =τ b n + ε n successively into (31). The coefficient of bn vanishes by the defining cubic for τ. □

Lemma 8.3 (Defect trichotomy).

For every rounded orbit,

E n ∈{ −1,0,+1 } (34)

Proof

Equation (33), gives | E n |< τ 2 −1 2 <1.2 . Since En is an integer, only −1, 0, and +1 are possible. □

Consequently a locally incompatible rounded state has exactly one of two nonzero defect signs:

E n =−1 or E n =+1 (35)

9. Barren Propagation Theorem

The central result is that the nonzero defect cannot disappear once it occurs.

Lemma 9.1 (Nonzero defect invariance).

If E n =d with d∈{ −1,+1 } , then

E n+1 =d (36)

Proof

Put x= ε n and y= ε n+1 . From (33),

ε n+2 =−d+( 1+τ− τ 2 )x+( 1−τ )y (37)

Take the integer candidate c= b n+1 + b n+2 + b n+3 −d . Using τ 3 = τ 2 +τ+1 , its rounding error is

ε n+3 * =c−τ b n+3 =( 2−τ )[ −d+( 1+τ )x+y ] (38)

Put A=1+τ− τ 2 and B=1−τ . For fixed defect d, the closure of the feasible region is the polygon defined by | x |≤ 1 2 , | y |≤ 1 2 and | −d+Ax+By |≤ 1 2 . The candidate error (38) is affine, so its extrema on this compact polygon occur at vertices. Evaluating those vertices gives (39) and (41). Both bounds lie strictly inside the nearest-integer window, so the same conclusion holds for the actual open feasible region.

For d = −1, exact vertex evaluation gives

2− τ 2 /2 ≤ ε n+3 ∗ ≤( 2−τ )( 2+τ/2 ) (39)

that is, numerically,

0.308512116⋯≤ ε n+3 ∗ ≤0.469225361⋯ (40)

Hence − 1 2 < ε n+3 * < 1 2 , so nearest-integer rounding selects the candidate and E n+1 =−1 .

For d = +1, central symmetry gives

−( 2−τ )( 2+τ/2 )≤ ε n+3 ∗ ≤−( 2− τ 2 /2 ) (41)

or

−0.469225361⋯≤ ε n+3 ∗ ≤−0.308512116⋯ (42)

Again the candidate lies strictly inside the nearest-integer window, and En+1 = +1. Therefore En+1 = En whenever En ≠ 0. □

Theorem 9.2 (Zero-defect invariance and exact admissibility).

If E n =0 , then E n+1 =0 . Consequently, a positive integer b is barren if and only if its initial defect E 0 is nonzero.

Proof

Set d=0 in (38). The candidate error is c−τ b n+3 =( 2−τ )( ( 1+τ )x+y ) . Since | x |< 1 2 and | y |< 1 2 , the triangle inequality gives

| c−τ b n+3 |≤ ( 2−τ )( τ+2 ) 2 = 4− τ 2 2 < 1 2 (42a)

Thus c= b n+4 and E n+1 =0 . Induction shows that E 0 =0 generates a strict TQGS beginning at b, so b is not barren. Conversely, E 0 ≠0 gives | Δ( b ) |> 1 2 and Theorem 6.2 implies barrenness. □

Theorem 9.3 (Primitive barren propagation).

Let b 0 be a primitive barren integer and define

b n+1 =rnd( τ b n ),n≥0 (43)

Then every b n is barren. Moreover,

E n = E 0 ∈{ −1,+1 } for all n≥0 (44)

Proof

Theorem 9.2 gives E 0 ≠0 . Lemma 8.3 gives E 0 =±1 , and Lemma 9.1 preserves this value at every step. Theorem 6.2 then makes every descendant barren. □

Barren polarity

The invariant sign in (44) divides primitive barren lineages into two classes. The lineage rooted at 8 has defect −1:

8+15+28−52=−1 (45)

15+28+52−96=−1 (46)

whereas the lineage rooted at 16 has defect +1:

16+29+53−97=+1 (47)

29+53+97−178=+1 (48)

Thus the sign

σ( b 0 )= E 0 ∈{ −1,+1 } (49)

is a conserved binary invariant of a barren lineage. We refer to it as the barren polarity.

10. Unit Perturbation and Primitive Barren Creation

Primitive barren roots arise naturally when valid TQGS terms are perturbed by one unit. Let H = (hn) be a valid parent-rooted TQGS and consider

q n + = h n +1,   q n − = h n −1 (50)

A perturbed integer is first tested by the initial discrepancy criterion. If it is barren, it must then be tested for a barren predecessor before it can be called primitive.

This second test is essential: a barren perturbation need not create a new lineage.

For example,

14+1=15 (51)

but 15 is inherited because

Tτ( 8 )=15 (52)

By contrast, the following are primitive barren creation events. Table 1 records the producing sequences, perturbations and parent-relative indices:

7+1=8,  17−1=16,  72+1=73,  75+1=76 (53)

Table 1. Primitive barren roots obtained by unit perturbation.

Primitive root

Producer

Perturbation

Parent-relative index

8

1, 2, 4, 7, 13, …

+1 to 7

4

8

5, 9, 17, 31, …

−1 to 9

2

16

5, 9, 17, 31, …

−1 to 17

3

73

21, 39, 72, 132, …

+1 to 72

3

73

12, 22, 40, 74, …

−1 to 74

4

76

41, 75, 138, …

+1 to 75

2

76

23, 42, 77, 142, …

−1 to 77

3

Table 1 exhibits primitive-root creation at parent-relative indices 2, 3 and 4. A barren hit at index 1 can instead be an inherited descendant, as 15 demonstrates. These examples do not establish a universal bound on creation indices or universal unit-perturbation stability from index 5. Those statements require a separate proof. The propagation theorem is independent of the perturbation mechanism.

The preceding results separate the strict TQGS state space from its globally excluded complement. Parent numbers seed admissible dynamics; primitive barren integers seed incompatible rounded dynamics. Both use the same nearest-integer transformation, but their local Tribonacci defects are fundamentally different.

admissible parent→strict TQGS compatibility→E=0 (54)

whereas

primitive barren root→rounded barren lineage→E≡+1 or E≡−1 (55)

The barren-lineage theorem therefore supplies more than an exclusion test. It gives an internal dynamic on the barren set. Once the orbit enters a nonzero defect class, the defect sign is invariant and the orbit cannot return to local Tribonacci compatibility.

For every positive integer m , τm−m≥τ−1> 1 2 , hence T τ ( m )≥m+1 . Every positive rounded orbit is strictly increasing and unbounded. Consequently, each primitive barren root generates an infinite barren lineage. The lineages rooted at 8 and 16 exhibit the two invariant polarities.

11. Discussion

The distinction between a barren integer and a primitive barren integer is essential. Barrenness is a state-space exclusion property; primitivity is a genealogical property relative to the rounded transformation T τ . Thus 15, 28, 52, and 96 are barren but are not primitive within the lineage rooted at 8.

The integer defect E n provides the natural invariant for this genealogy. Its trichotomy { −1,0,+1 } is forced jointly by the half-unit rounding window and the algebraic identity for τ . The value zero represents exact local Tribonacci compatibility. The values ±1 represent the only two possible local failures, and Lemma 9.1 shows that either failure is dynamically persistent under rounded multiplication.

Frequency of Certified Barren Integers and Genuine Parents

To quantify the classes, criteria (15) and (17) were evaluated on initial intervals of

positive integers. By Theorem 9.2, | Δ( p ) |> 1 2 characterizes the entire barren set.

Table 2 reports finite-range counts; these computations do not establish an asymptotic density theorem.

For each positive integer in the tested range, compute its first three rounded successors using (25), evaluate the initial defect (31), and test the inverse-forward map (16). A nonzero defect is counted as barren; a zero defect is counted as a genuine parent when the return differs from the initial integer, and otherwise as admissible but degenerate. Theorem 9.2 makes these classes disjoint and exhaustive. The table counts and the parent list (18) were independently verified using rational bounds for the cubic root separated by 10−60; both endpoints gave the same integer at every rounding decision.

Table 2. Finite-range counts of barren integers and genuine parents.

Range 1≤p≤N

Certified barren

Genuine parents

Admissible but degenerate

100

11 (11.0%)

42 (42.0%)

47 (47.0%)

1000

83 (8.3%)

419 (41.9%)

498 (49.8%)

10000

805 (8.05%)

4198 (41.98%)

4997 (49.97%)

100000

8042 (8.042%)

41961 (41.961%)

49997 (49.997%)

The finite-range frequencies stabilize rapidly near 8.0% for integers certified barren by local failure, near 42.0% for genuine parents, and near 50.0% for admissible but inverse-forward degenerate integers. These observations are computational rather than an asymptotic theorem, but they show that barrenness and parenthood are not sparse exceptional phenomena on the tested number line. A rigorous density theorem remains a natural continuation of the TQGS framework.

A treatment of the entire higher-order k-nacci family is found in [17].

12. Conclusions

This paper introduces the Tribonacci quasigeometric sequence framework, in which exact third-order addition and nearest-integer multiplication by the Tribonacci constant are imposed simultaneously. The discrepancy recurrence gives the exact compatibility dynamics, the half-unit thresholds define admissibility, and the inverse-forward condition distinguishes genuine parent numbers from degenerate admissible integers.

Within this framework, integers failing local Tribonacci compatibility are globally barren. Primitive barren integers generate infinite barren lineages under repeated nearest-integer multiplication by τ. The integer Tribonacci defect takes only the values −1, 0, or +1, and a nonzero defect is invariant under the rounded transformation. Consequently, every descendant of a primitive barren root is barren, and each lineage carries a conserved polarity ±1.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Mamombe, L. (2017) Proportiones Perfectus Law and the Physics of the Golden Section. Asian Research Journal of Mathematics, 7, 1-41.[CrossRef]
[2] Feinberg, M. (1963) Fibonacci-Tribonacci. The Fibonacci Quarterly, 1, 71-74.[CrossRef]
[3] Shannon, A.G. and Horadam, A.F. (1972) Some Properties of Third-Order Recurrence Relations. The Fibonacci Quarterly, 10, 135-146.[CrossRef]
[4] Spickerman, W.R. (1982) Binet’s Formula for the Tribonacci Sequence. The Fibonacci Quarterly, 20, 118-120.[CrossRef]
[5] Soykan, Y. (2020) Summing Formulas for Generalized Tribonacci Numbers. Universal Journal of Mathematics and Applications, 3, 1-11.[CrossRef]
[6] Soykan, Y. (2023) Generalized Tribonacci Polynomials. Earthline Journal of Mathematical Sciences, 13, 1-120.[CrossRef]
[7] Kizilaslan, G. (2023) The Linear Algebra of a Generalized Tribonacci Matrix. Communications Faculty of Science University of Ankara Series A1Mathematics and Statistics, 72, 169-181.[CrossRef]
[8] Gürses, N. and İşbilir, Z. (2024) An Extended Framework for Bihyperbolic Generalized Tribonacci Numbers. Communications Faculty of Science University of Ankara Series A1Mathematics and Statistics, 73, 765-786.[CrossRef]
[9] Verma, K. (2024) Generalizations of Third-Order Recurrence Relation. Istanbul Journal of Mathematics, 2, 87-94.[CrossRef]
[10] Hachicha, S. and Attia, N. (2025) Probabilistic Approaches to Exploring Binet’s Type Formula for the Tribonacci Sequence. AIMS Mathematics, 10, 11957-11975.[CrossRef]
[11] Billore, V., Patel, N. and Makwana, H. (2025) Extended Generalized Fibonacci and Tribonacci Polynomials with Some Properties. Sarajevo Journal of Mathematics, 21, 43-57.[CrossRef]
[12] Slavík, A. (2025) Discrete Calculus and Weighted Fibonacci and Tribonacci Sums. The American Mathematical Monthly, 132, 622-633.[CrossRef]
[13] Karakaya, S. and Özdemir, H. (2025) On Identities Associated with Generalized Fibonacci and Tribonacci Numbers Using Matrices. Journal of Difference Equations and Applications, 32, 1-15.[CrossRef]
[14] Diouf, S., Ngom, L. and Fall, O. (2026) Tribonacci Numbers as Products of Two Narayana’s Numbers. JP Journal of Algebra, Number Theory and Applications, 65, 491-515.[CrossRef]
[15] Beatty, S., Altshiller-Court, N., Dunkel, O., Pelletier, A., Irwin, F., Riley, J.L., et al. (1926) Problems for Solutions: 3173-3180. The American Mathematical Monthly, 33, 159.[CrossRef]
[16] Graham, R.L. (1963) On a Theorem of Uspensky. The American Mathematical Monthly, 70, 407-409.[CrossRef]
[17] Mamombe, L. (2026) Higher-Order K-Nacci Quasigeometric Systems. Open Journal of Discrete Mathematics, 16, 77-88.[CrossRef]

Copyright © 2026 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.