Submitted:
14 October 2026
Posted:
14 October 2026
You are already at the latest version
Abstract
Recursive interval algebras are built from \(R = \mathbb{Z}[\Omega^{-1}]\), where \(\Omega > 1\) is an integer, by repeated formation of ordered pairs. The component operations \(\operatorname{pos}\) and \(\operatorname{len}\) define arithmetic between arbitrary finite depths by descent to scalars. The finite levels realize commutative algebras with square-zero generators, and their path coordinates connect algebraic structure with a recursively weighted norm. A sharp one-level multiplication estimate yields exact constants for prescribed, possibly unequal, depths, with all equality cases and their attainability over the original coefficient ring. Both tensor orientations have fixed-block norm factorization and an exact criterion for mixed-depth inner-product factorization. Integral exponential and logarithmic operations determine normalized consecutive-block decompositions of units. Recursive derivative evaluation characterizes coefficient-ring preservation and gives sharp bounds on homogeneous inputs. Across unrestricted finite depths, local boundedness on a fixed-scalar fiber holds exactly when all derivative data of order at least two vanish. Degree scaling makes products contractive precisely on a Euclidean parameter ball, and outside that ball no finite depth-independent bound exists. Tensor concatenation further gives sharp commutator and Jordan associator estimates, including block-length-dependent constants and arithmetic conditions for attaining their endpoints.
Keywords:
recursive interval algebra
; scalar descent
; weighted norm
; sharp inequality
; directed tensor product
; functional calculus
; free Lie algebra
1. Introduction
An ordered pair carries two pieces of data. Repeating this construction gives objects whose components are themselves ordered pairs, until a scalar layer is reached. Recursive interval geometry begins with this elementary structure. Its foundational algebra is developed here over
Set and . The components of a pair are pos and len. At the scalar layer they satisfy and . These boundary values allow the same recursive formulas to act on inputs of different depths. In particular, the product is
whenever at least one input has positive depth. Each term is evaluated by the same rule, and every branch ends with multiplication and addition in R.
The main questions concern what this recursion determines. Which elements are invertible or nilpotent? How does multiplication change a norm built from the same components? What happens when one recursive tree is grafted onto another in either order? Which scalar functions admit evaluation by recursive descent, and which estimates survive as depth increases? These questions connect the algebraic and metric parts of the construction directly.
At each fixed depth, choosing pos or len at every stage gives a path coordinate. The positions at which len is chosen form a subset of . Multiplication combines disjoint subsets and annihilates overlapping ones. Thus the finite algebra is the square-free quotient
These quotients and their square-zero extensions belong to standard commutative algebra [1,2,3,4]. After real scalar extension, they are the zeon algebras generated by commuting square-zero elements. Their subset basis and Boolean-lattice representations are studied by Feinsilver [5], and their role in derivative and combinatorial identities by Neto and dos Anjos [6]. In the recursive realization, the coordinates are extracted by pos and len and remain compatible with arithmetic between different depths. The coefficient ring is a principal ideal domain, and is dense in the real numbers with their usual topology. Divisibility therefore controls which exact constructions stay in R, whereas density identifies sharp real norm bounds with suprema over the original recursive objects.
The weighted form gives a path with r occurrences of len squared weight . Normalizing the path basis gives the Euclidean coefficient norm with the same disjoint-support multiplication. Norm inequalities for zeon algebras were developed by Lindell and Staples [7]. At depth one, Cook and Nguyen determined the optimal constant for any number of factors in the dual-number algebra [8]. Applying this estimate at each recursive position gives a constant depending on the full list of input depths. For k inputs of depths , put . The exact multiplication constant is
In particular, two inputs have constant . Theorem 15 also classifies every extremizing tuple, including the unrestricted tail of a uniquely deepest input, and determines when the real bound is attained over R. Homogeneous inputs satisfy additional estimates depending on the number of len positions rather than on recursive depth. These estimates distinguish a single product from a sum of products.
Directed tensor products concatenate two blocks of recursive positions. The left orientation places the first input outside the second, while the right orientation places the second input outside the first. They have exact norm factorization, but four-input inner-product factorization depends on the alignment of the blocks. This distinction persists when equal data at successive depths are identified. The tensor operation then defines a faithful one-sided action; the global nilpotent ideal is a free module of rank one for that action. Keeping the typed depths separately gives a free associative algebra on the two level-one component directions. Its Lie and Jordan structures connect recursive concatenation with the classical theories of free Lie algebras and special Jordan algebras [9,10,11].
Function evaluation supplies another connection between the operations. Polynomial and regular rational evaluation have the recursive rule
The same formula applies to coherent scalar derivative data and to smooth functions. Elementary functions and factorizations in zeon algebras are treated by Staples and Weygandt [12]; continuity and differentiability of zeon functions are studied by Staples [13]. Here finite path expansions give necessary and sufficient conditions for recursive evaluation to remain in R. Exponential and logarithmic operations on nilpotent elements and normalized units have integral coefficients even when factorial denominators are not units in R. For prescribed consecutive blocks, logarithmic supports determine all separating cuts and the unique finest normalized tensor factorization in Theorem 26.
Several structural consequences sharpen this foundation. Complete len descent gives a perfect multiplication pairing and exact annihilator formulas. Elements of maximal nilpotence index have a common multiplication Jordan type after rational scalar extension, including arbitrary higher-order terms. The rank calculation is related to the classical square-free multiplication theory [14,15,16]; a triangular recursive normalization handles the higher-order terms explicitly. On the analytic side, derivative data determine sharp function bounds on first-homogeneous inputs. Allowing arbitrary finite depths leads to a stricter stability question. Theorem 36 proves that, on a fixed-scalar fiber, recursive evaluation is locally bounded at some point exactly when every derivative datum of order at least two vanishes; otherwise it is locally unbounded at every point. In Theorem 35, degree scaling with real parameters makes products contractive at every depth exactly when . Beyond this threshold no finite constant independent of depth exists. For tensor concatenation, Theorem 45 determines block-length-dependent commutator and anticommutator bounds together with the difference between real extremizers and original-ring attainability. These results relate finite recursive calculation to the norm behavior of operations across all depths.
Section 2 constructs the arithmetic and establishes the finite and global algebraic structure. Section 3 develops the weighted form, duality, sharp multiplication estimates, and completion. Section 4 treats the two tensor orientations and their block structure. Section 5 develops recursive function evaluation and its bounds. Section 6 studies the associative, Lie, and Jordan structures associated with concatenation. The final section summarizes the resulting foundation.
2. Recursive Arithmetic and Algebraic Structure
The arithmetic outlined in the introduction begins with ordered pairs and the two component operations pos and len. Their scalar boundary rules allow inputs of different depths to be combined by the same finite recursion. Recording the successive component choices gives path coordinates, which make the ring laws and the passage between depths explicit. The scalar coefficient then determines units and nilpotents, while further descent gives logarithmic coordinates, multiplication pairings, and the structure of nilpotent multiplication operators. These algebraic descriptions provide the basis for the weighted estimates and tensor factorizations that follow.
2.1. Scalar Descent and Path Coordinates
Definition 1
(Recursive objects and scalar boundary). Let and . An element specified in has typed depth n. For of positive depth, set
For , set and . The zero and unit at depth n are given by
Within a specified level, 0 and 1 denote its zero and ordinary multiplicative identity. In a recursive pair, their level is determined by that of the other component. Subscripts are retained when the depths themselves enter a calculation or comparison. The notation and means r repeated applications; the zeroth iteration is the identity.
Definition 2
(Arithmetic by scalar descent). When all inputs are scalars, use the arithmetic of R. Otherwise addition and multiplication are defined by
For a positive-depth input, define
Every operation on the right is evaluated by the same recursion. Subtraction is .
Example 1
(Subtraction at different depths). For and , descent gives
The scalar boundary supplies a zero whenever a scalar meets a second component. The same calculation applies repeatedly across a larger depth gap.
Theorem 1
(Termination and ring laws). For inputs of depths m and n, addition, subtraction, and multiplication terminate in . Negation and scalar multiplication preserve the input depth. Mixed multiplication by a scalar agrees with the scalar action. The commutative, associative, distributive, and unit laws hold in their common output levels. In particular, for arbitrary finite-depth ,
Here the identities hold with the scalar or with the zero and unit at the depth of x. For , one also has in .
Proof.
Induct on the largest input depth d. The case is arithmetic in R. For , each input with satisfies
Every recursive call therefore has depth at most ; pairing its outputs gives an element of . This proves termination and the depth assertions.
The same induction proves the ring laws by equality of the two components. For additive associativity,
For additive commutativity, the lower-depth equalities give
At a positive prescribed depth n, the zero and inverse calculations are
The same zero calculation with scalar boundary values proves . For and positive-depth x,
This is the scalar action; taking gives . The typed unit gives the same pair of components and hence . For commutativity of multiplication,
Finally, scalar distributivity and compatibility of two scalar actions hold in each component by the induction hypothesis. Pairing those component equalities proves the corresponding R-module laws.
The lower-depth ring laws give multiplicative associativity:
Similarly, distributivity follows from
These calculations include scalar inputs through and , so the induction applies to mixed depths. □
The component product identities, valid also at the scalar boundary, are
Thus pos is multiplicative and len satisfies a product rule relative to pos.
Definition 3
(Path coordinates). Write and . For , the path coefficient of is obtained by choosing len at positions in S and pos at the other positions, counting from the outside. The element has coefficient 1 at this path and zero at every other path. In particular , and means . Every element has the unique expansion
The homogeneous part of order r consists of the terms with . Recursive depth records the available positions, while homogeneous order counts the len choices in a path.
Theorem 2
(Path multiplication and polynomial model). The path elements form an R-basis of , and
Consequently
where corresponds to . Here means that A and B are disjoint and their union is S.
Proof.
Path basis. At depth zero the only path is empty, , and each has the unique expansion . Suppose that the path expansion has been established for every object of depth n. If , then , so the induction hypothesis applies separately to these two objects:
Here is the scalar obtained by following path A within the object ; the analogous interpretation applies to .
For , write . An initial component choice shifts all subsequent positions by one. Hence
In each pair the entries and belong to ; the pair itself is a path element in . The first pair begins with a pos choice and the second with a len choice. Componentwise addition and scalar multiplication give, for ,
Applying these identities to the two component expansions yields
Indeed, every subset S of has exactly one of the forms or , according to whether 1 is absent or present. This proves existence of the expansion.
Successive component choices respect addition and scalar multiplication by Definition 2, so taking a path coefficient is R-linear. Moreover, equals 1 when and 0 otherwise. If a linear combination of the depth- paths is zero, taking its coefficient at any gives
Thus all coefficients vanish. The expansion is unique and the path elements form an R-basis, completing the induction.
Products of path elements. We again induct on depth. At depth zero the rule is . For the induction step, let , and use the four products obtained from the recursive definition:
The last line is zero because both first choices are len. In the other three lines, the only remaining multiplication is the depth-n product .
More explicitly, for , let
If , the fourth product above gives . Otherwise one of the first three products applies. If , the lower-depth induction hypothesis gives , so the upper-depth product is again zero. These are exactly the cases in which . If , then and . The corresponding product is
Both cases give . This proves (14) at depth and completes the induction.
Coefficients of an arbitrary product. For , expand both inputs in their path bases and use distributivity, scalar multiplication, and (14):
The sums are finite, and the last line groups terms according to their output support . Uniqueness of the path expansion gives the coefficient formula in (15). The partitions in this sum are ordered: A belongs to the first input and B to the second. Equivalently,
For the empty path there is just the term .
Polynomial model. Every ordinary monomial in either has all exponents at most one or is divisible by some . Consequently each polynomial p can be written as
with and ordinary polynomials . Thus every class in the quotient has a square-free representative. This representative is unique: the difference of two such representatives contains only square-free monomials, whereas every nonzero monomial of a polynomial in has a square factor. Equality of ordinary polynomial coefficients therefore forces their square-free coefficients to agree.
The path product rule also gives
where the empty product is 1. Substituting the commuting objects into the preceding polynomial decomposition gives
By linear independence of the path basis, this value is zero precisely when all vanish, or equivalently when . Hence two polynomials have the same value on these path generators precisely when they represent the same quotient class. Substitution therefore defines a well-defined injective correspondence from the quotient to .
For any , the polynomial has value , so this correspondence is also surjective. Finally, the ring laws already proved by scalar descent give
Constants have value , so substitution preserves the scalar action and the unit as well. It is therefore the stated unital R-algebra isomorphism, with the class of corresponding to . At depth zero the polynomial ring is R and the ideal is zero, giving the same conclusion. □
This is the subset multiplication of the zeon algebra [5,6]. The recursive path description also records the order of the component choices, which determines how refinements and directed tensor blocks interact with the same finite algebra.
Definition 4
(Refinement and global objects). Define a one-step refinement recursively by
for positive-depth x. Identify two typed elements when finitely many refinements give equal elements at a common depth. The resulting set of classes is denoted , and is the class represented by x. The minimal depth of a class is the smallest depth of one of its representatives.
Proposition 1
(Refinement and one-sided compatibility). Refinement is injective, preserves the scalar path coefficients, and introduces an unused last position. It preserves addition and multiplication, zero and unit. For , , and , one has in
Hence the recursively defined operations induce a commutative unital R-algebra on , with
whose elements involve finitely many variables.
Proof.
Path coefficients and injectivity. At depth zero, has coefficients c at the empty path and zero at the path . For the induction step, take and . Both and belong to . For , the recursive definition and the path convention give
Here , as in the preceding proof. If , the lower-depth induction hypothesis identifies these two coefficients with
If , that hypothesis makes both coefficients zero. These two cases exhaust the paths at depth , and prove
Thus the old positions retain their numbers, while a len choice at the new last position always has coefficient zero. In particular, if and , then
Theorem 2 now gives .
Arithmetic at equal depths. Let . For a path , the coefficient formulas give
If , both refined inputs have zero coefficient at S. In each ordered partition , exactly one of contains , so every summand in the product formula is zero as well. The refined sum and product also have zero coefficients on these paths. Equality at every path therefore proves
at equal input depths. Scalar multiplication is coefficientwise, so for . The zero has all coefficients zero; the unit has coefficient one only at the empty path. Their refinements have exactly the same respective descriptions at the next depth. Hence
One-sided refinement and common depth. We prove (17) by induction on the smaller depth m, allowing every . At , write . Since y has positive depth, the scalar boundary and Theorem 1 give
These equalities hold in , even when ; the operations in each component are themselves evaluated by scalar descent.
For , the two components of x belong to , and those of y belong to . Since , the induction hypothesis applies to each of the following component operations:
Both sides have depth n. Equality of their two components completes the induction.
Write for r successive refinements, with . Repeating the one-step result gives, for ,
At each step before the last, the refined first input still has depth strictly less than n. More generally, take arbitrary input depths and put . At depth d, repeated one-sided refinement aligns the shallower input; commutativity allows either input to be the shallower one. Applying equal-depth preservation a further times then gives, for every ,
In particular, aligning at depth yields
Thus preservation of arithmetic also holds for mixed input depths.
Operations on classes and the polynomial model. Equality after refinement is reflexive and symmetric. It is transitive because two equalities witnessed at different depths can both be refined to the larger witnessing depth. Thus Definition 4 does give an equivalence relation.
Suppose and , with their typed depths denoted by , respectively. Choose N large enough that both comparisons hold at depth N:
With and , substituting these equalities into the common-depth formulas proves
Scalar multiplication commutes with repeated refinement as well. Consequently
are independent of the chosen representatives. All ring and module laws follow by placing the finitely many inputs in a common level and applying Theorem 1 there. The zero and unit are and , and the additive inverse of is . This proves the commutative unital R-algebra assertion, with the same arithmetic as direct scalar descent.
For , form its square-free polynomial
The coefficient formula for refinement gives the exact polynomial identity
Hence the class of in the quotient in (18) depends only on . At a common finite depth, Theorem 2 shows that this correspondence preserves addition, multiplication, scalars, and the unit.
To check injectivity, represent two objects at a common depth N. The difference of their square-free polynomials is square-free. Every polynomial in is a finite sum of multiples of generator squares, so all its square-free coefficients are zero. If the two quotient classes agree, their path coefficients therefore agree, and their depth-N representatives are equal. Their global classes are consequently equal as well. Finally, every ordinary polynomial uses only finitely many variables, say . The finite-level isomorphism realizes its quotient class by an element of . This proves surjectivity and completes (18). □
Lemma 1
(Zeros, units, and prescribed depths). The recursive zeros and units satisfy
Their common classes are the zero 0 and the unit 1 of . Each class has exactly one representative at each prescribed depth, namely and , respectively. For and ,
Proof.
At depth zero the refinement identities are and . At the next depth,
This proves the refinement identities by induction, and iteration gives and . If represents the zero class, choose at which its refinement equals . Then
Injectivity of repeated refinement gives . Replacing by proves uniqueness for the unit class.
For the mixed-depth identities, put . Proposition 1 and the just-proved refinement laws give
When , the exponent is zero and the last two outputs are x. When , that exponent is . These are precisely the two cases in the statement. □
Thus adding a deeper zero, or multiplying by a deeper ordinary unit, changes only the prescribed representation. The recursive operations compute these values directly. A scalar c used as a constant in denotes ; globally its class is simply c.
Theorem 3
(Global components and reconstruction). The expressions and depend only on . They define pos and len on . Conversely, two global objects determine an ordered pair by taking representatives at a common depth. These constructions are inverse, so
The corresponding algebra structure on is .
Proof.
For positive depth, the two components of a refined object are refinements of its components:
For a scalar c, the corresponding class identities are and . If two representatives agree after refinement, applying either component to that equality and using these identities makes their component classes equal. This proves independence of representatives for both operations, including a scalar representative.
For reconstruction, choose representatives of in one depth n. For every , the pair recursion gives
Indeed, the case is the identity and one more refinement applies separately to the two displayed entries. Two different choices of representatives can be compared at a still larger common depth; the displayed equality then makes their reconstructed pairs equivalent. At a common depth,
For a scalar the last equality holds on classes since . Thus the constructions are inverse. For two pairs at a common level, the arithmetic formulas are explicitly
Independence of representatives carries both identities to global pairs. □
In particular the global zero and unit have the component values
2.2. Nilpotents, Units, and Logarithms
In path coordinates the components separate the first position and then renumber the remaining positions. The coefficient of the empty path is
It is independent of the representative and is additive and multiplicative. Let consist of the elements of with this coefficient zero, and let be the corresponding ideal of .
Theorem 4
(Classification by scalar descent). An element with scalar coefficient c is nilpotent exactly when , is a non-zero-divisor exactly when , and is a unit exactly when . The only idempotents are 0 and 1. At finite depth,
Globally, is locally nilpotent but is not nilpotent. It is both the nilradical and the Jacobson radical. Every prime ideal is the inverse image of a prime ideal of R under scalar-coefficient evaluation. Thus the global algebra has Krull dimension one and is not Noetherian.
Proof.
Finite nilpotence and scalar classification. A product of r nonempty paths can survive only when their supports are pairwise disjoint, and its resulting support then has size at least r. Conversely, every support of size at least r can be partitioned into r nonempty parts. Consequently, for ,
There are no supports of size , whereas at size n there is exactly . This proves (21). Write with . If a power of x vanishes, its scalar coefficient c vanishes because R is a domain. If and , place both inputs in a common finite level and choose the lowest nonzero homogeneous part of a nonzero y. The degree-d part of is : multiplying the positive-degree part of x by any nonzero part of y raises the degree above d. Thus
and at least one of these coefficients is nonzero in the domain R. This contradicts . If and , let r be its least positive vanishing power. Then , , and . The zero element itself annihilates 1. A unit must have unit scalar coefficient, since gives in R. Conversely, when c is a unit, put
Then cancellation of consecutive powers gives
An idempotent satisfies , so or . In the first case gives . In the second, and has scalar coefficient zero, so .
Global ideals. A finite family in uses only finitely many positions, say . In any product of members of the ideal it generates, expansion contains nonempty supports drawn from . At least two overlap, even if their other factors use later positions. Thus that generated ideal is nilpotent. On the other hand,
for every n, so is not nilpotent.
Scalar-coefficient evaluation is surjective onto R and has kernel , giving . If a prime ideal contains a power of an element, primality applied repeatedly makes it contain the element. Every prime therefore contains the nilradical . Ideals containing correspond, by taking scalar coefficients and inverse images, to ideals of R; this correspondence preserves primality and maximality. The nonzero prime ideals of are exactly for primes p not dividing , and each is maximal. Their intersection is zero: for , choose a prime p dividing neither a nor , so . Hence
The prime chains correspond to the chains in R, so the Krull dimension is one. Finally, every monomial in meets , whereas does not. Therefore
is a strictly increasing chain, proving failure of the Noetherian property. □
The units of the coefficient ring are explicitly
where p ranges over the prime divisors of . In particular, 2 is a unit exactly when is even.
Proposition 2
(Inverse, quotient, and recursive unit coordinates). A positive-depth x is a unit exactly when is a unit, and then
For a unit y, division at non-scalar depth is
For units ,
The coordinates give group isomorphisms
In particular .
Proof.
If , the first component gives . Conversely, if is a unit, take y to be the pair in (23). Then
Hence . Substituting that inverse for a unit denominator gives
These are (24). For units ,
Thus the first coordinate multiplies and the second adds. The inverse coordinate construction is reconstructed as , since and . Thus the coordinate construction and its inverse are both defined over R, and the first-coordinate product and second-coordinate sum make them mutually inverse group homomorphisms. The same formulas hold globally by Theorem 3. Since the additive group of is , iteration gives
At the product is empty and only remains. □
Example 2
(Iteration and powers). Take . Then
while . Consequently
An iteration extracts successive components; an ordinary power uses the recursive multiplication.
Exponential and logarithmic functions on finite zeon algebras, together with factorizations of invertible elements, are studied in [12]. The component recursions below express these operations over R; the path expansion proves that their coefficients belong to R even when the displayed factorial denominators are not units.
Theorem 5
(Integral recursive exponential and logarithm). On and , respectively, define the scalar values , , and the positive-depth recursions
These operations are well defined over R, are inverse, and satisfy
For , they have the finite expansions
Every indicated division in these finite expressions has a unique result in . Thus
Proof.
The scalar coefficient of is zero, and that of is one. The recursions therefore continue within their domains and end at and . Every first component inverted in the logarithm has scalar coefficient one and is a unit by Theorem 4. Thus both recursions are defined over R. For at a common positive depth, lower-depth induction gives
These are exactly the two components of . For the two compositions, induction and the component rules give
This proves mutual inversion. Taking and in the exponential product law gives
At the scalar boundary, and . At positive depth, preservation of products and inverses by refinement, followed by the lower-depth induction hypothesis, gives
Iteration proves representative independence. In particular the equal-depth product laws already proved hold for arbitrary global inputs.
In a nonzero coefficient of , the contributing ordered supports are r pairwise disjoint nonempty sets. Permuting them is a free action with elements in each orbit, all with the same coefficient product. Every coefficient is therefore divisible by in R. More explicitly, for a nonempty path S,
The quotient is unique because R has no integer torsion. Division by r is consequently also valid. To identify the finite expressions with the recursions, first work over . The recursive multiplication gives, for ,
Since at depth , summing the two components gives
Induction identifies these pairs with the recursive exponential and logarithm. All divided coefficients belong to R by the partition calculation, so the identities also hold over R. Finally a unit with scalar coefficient c has coordinates , with inverse . □
For a nonempty path S, the explicit scalar formulas are
They express the finite calculations without denominators. The divisibility used here is also an instance of the usual divided-power identities [17].
Corollary 1
(Unique factorization of normalized units). Every has a unique expression
The coefficients are precisely the path coefficients of .
Proof.
At depth zero the only normalized unit is 1 and the empty product is 1. At positive depth, has scalar coefficient zero, so its unique path expansion uses exactly the nonempty supports. For each such S, one has and hence . Writing gives
Conversely, logarithmic additivity gives
Uniqueness of path coefficients forces for every S. □
2.3. Multiplication Duality and Recursive Rigidity
After scalar extension to a field, the finite square-free quotient is an Artinian complete intersection. Its pairing between complementary degrees is the corresponding Gorenstein duality [3,18]. Complete len descent gives this pairing directly and keeps its matrix invertible over the original ring R.
Theorem 6
(Perfect multiplication pairing). At depth n, define
This symmetric R-bilinear pairing is perfect: its matrix in the path basis is invertible over R. It satisfies
In particular .
Proof.
Complete len descent reads the coefficient of . The path product gives
In particular, is one exactly when , and zero otherwise. The matrix is a permutation matrix with determinant 1 or , so it is invertible over R. Explicitly, for any R-linear functional ℓ on , the element
satisfies . The complementary coefficient formula also makes this y unique. This proves perfectness without scalar extension. Associativity gives
At depth , taking the outer second component gives
□
Theorem 7
(Exact annihilators). For an ideal , let denote its orthogonal complement for . Then
The double annihilator of J is its R-saturation:
Globally, for put . Then
Proof.
An annihilator is orthogonal by definition. If , then for and any z one has
because . Taking gives for every path S, hence . The ideal is spanned by paths of cardinality at least r. For a support A of such a path, orthogonality to requires . These are exactly the coefficients with size at most . The unrestricted coefficients have size at least , so
For , both sides are , with .
Over , put . Finite-dimensional nondegenerate duality gives . To justify the passage back to R, take a rational vector v orthogonal to . A common nonzero integer denominator a gives , and for . Thus . The converse inclusion follows by bilinearity. Hence
Applying the same observation to the second complement, and using rational nondegeneracy, gives
Indeed, a finite expression with and becomes after a common nonzero denominator is chosen; conversely gives . This proves (37). For example, if p is prime and does not divide , then has zero annihilator and double annihilator .
Applying posk times discards precisely the paths meeting , then shifts the remaining positions. Thus has the displayed generators. Regard the later positions as coefficients and apply the same complementary path calculation on . It remains valid over this coefficient algebra: its pairing matrix is still a permutation matrix. In these first k positions, consists of paths using at least r positions, and its annihilator consists of paths using at least positions. This proves (38). Every finite family of nonempty supports lies in some , giving . Finally, for nonzero x supported in , choose a set B of r new positions. Then and
The unions are distinct, so no nonzero coefficient of x is cancelled. Hence no nonzero x annihilates . □
Theorem 8
(Maximal nilpotence and multiplication Jordan type). For ,
Its nilpotence index is exactly when every first-homogeneous coefficient is nonzero. Under this condition, multiplication by u on has Jordan blocks of lengths
Here . For every integer , its rth power has rank
Proof.
A nonzero contribution to requires n disjoint nonempty subsets of . They must be its singletons. Their orders give (39) and the nilpotence assertion.
Assign each nonempty support to its smallest position. This writes
where the scalar coefficient of is . Over every is a unit. Define . Its square is zero, so this prescription defines an algebra endomorphism. Starting at and then decreasing j, define
Here is already determined by the later positions and has nonzero scalar coefficient . Its inverse exists. Induction gives
Thus . With ,
If all are units in R, the same normalization is defined over R.
It remains to compute the type of multiplication by . Give the path basis an auxiliary orthonormal real inner product and define
Then U is that multiplication operator and D is its adjoint. On the homogeneous space of cardinality d, cancellation of the terms that add and remove different positions can be seen on a single path:
Subtraction and linearity give
For and a homogeneous v of order d with , induction gives
The induction step is explicit: has order , so
Taking the auxiliary inner product with gives
These values are positive for . At the same recurrence gives . For a homogeneous w of cardinality ,
Thus U is injective from cardinality to d when . Its adjoint is surjective in the reverse direction, and the kernel of D at cardinality d has dimension . Choose an orthogonal basis of each such kernel and generate its U-chains. For primitive vectors of orders , two chain vectors can pair nontrivially only when , hence . Repeated use of (42) gives a scalar c such that
For primitive vectors of the same order, the corresponding expression is
Thus the chosen orthogonal kernel bases generate independent chains. The chain dimensions sum to by the binomial identity
To verify the dimension count, put and telescope:
The last equality uses symmetry of the binomial coefficients, separately for even and odd n. Thus these independent chains fill the space. A chain of length l contributes to the rank of : its first vectors have independent nonzero images and its last r vectors, or all its vectors if , are killed. Adding over the chains proves (41) over the reals. A rational matrix has the same rank over and , since rank is the largest size of a nonzero minor. The ranks of all powers determine the nilpotent Jordan block sizes, so the same block list and rank formula hold over . □
The square-free multiplication underlying this chain calculation is part of classical Lefschetz and Sperner theory [14,15]. Feinsilver develops the corresponding Boolean-lattice representation and its irreducible chains directly in zeon coordinates [5]. Its formulation through the Jordan type of a nilpotent multiplication operator is developed more generally in [16]. The explicit normalization above also shows that all higher path coefficients leave the type unchanged when the first-homogeneous coefficients remain nonzero.
Proposition 3
(Rigidity of both component operations). A unital R-algebra endomorphism of that commutes with both pos and len is the identity.
Proof.
Let be the endomorphism. Since it is a unital R-algebra endomorphism, for every scalar c. Suppose it fixes the classes represented at depths at most . For ,
Both equalities use the induction hypothesis on the corresponding component. Global reconstruction gives
Induction covers every finite representative. □
3. Weighted Forms and Sharp Inequalities
The component recursion also gives a notion of size: the pos and len branches contribute orthogonally, with their relative weight determined by . In path coordinates, this form connects the multiplication pairing of Section 2 with finite-level duality and a Hilbert completion. Ordinary multiplication is governed by the depths of the inputs and by the overlap of their nonzero paths. Tracking these features through the recursion yields sharp constants and equality conditions. The resulting estimates also distinguish the products that extend continuously to the completion from the general coefficient product, whose domain is only partial.
3.1. The Recursive Form and Finite-Level Duality
Throughout this section, scalar coefficients are viewed in when inequalities are used. The real scalar extension of a finite level consists of the same recursive pairs with real leaves.
Definition 5
(Weighted recursive form). For scalar inputs set . If at least one input has positive depth, set
The scalar rules and apply whenever one branch has already reached the scalar layer.
Theorem 9
(Coordinates and independent refinement). The recursion terminates for inputs of arbitrary finite depths and defines a symmetric R-bilinear form. In a common level,
Either input may be independently replaced by any of its recursive refinements without changing the pairing. The resulting form on is positive definite, and its real scalar extension is an inner product. In particular,
define a norm and its metric.
Proof.
At each non-scalar step the maximum depth decreases. Symmetry follows at the scalar boundary and is preserved by the recursion. For bilinearity, descend simultaneously in the inputs of , using the recursive addition rule and its scalar boundary. At a positive largest depth the induction hypothesis gives
The same descent gives for ; symmetry supplies linearity in the second input.
For the coordinate formula, the scalar case is . At depth , the lower-depth formula on the two branches gives
The two sums exhaust the supports not containing and containing the first position, respectively. Substitution of two path basis elements gives their stated diagonal pairing. For different depths, regard missing later positions as absent: a scalar branch contributes only through further pos choices, since every further len choice gives zero. Thus the same formula holds after placing the coefficient lists in any common finite level. By Proposition 1, refinement preserves every existing path coefficient and adds zero coefficients at paths involving the new last position. It follows from the coordinate formula that refining just one input leaves the pairing unchanged. The pairing is therefore independent of both representatives.
More explicitly, extend an input coefficient list by zero on every path using a position beyond its original depth. At any common depth N, the pairing is the same finite sum
Refining either input changes only the available zero entries in this sum, not any nonzero summand. This proves independent refinement invariance.
For equal inputs the formula is a sum of strictly positive weights times squares. It vanishes precisely when all coefficients vanish, that is, when the input is the zero of its prescribed level. The same argument applies to real coefficients. □
The zero and unit of any finite level therefore satisfy
These values are unchanged by the choice of their representative depths.
The normalized path basis is orthonormal and retains the disjoint-support multiplication rule:
For disjoint supports this follows from . Thus the finite-level weighted multiplication problem is isometrically identified with the Euclidean coefficient problem for a zeon algebra. The basis change is already defined over R, since is a unit. Lindell and Staples study coefficient p-norms and multiplicative inequalities in these algebras [7]. Here the recursive form also fixes the comparison between inputs of different depths.
Theorem 10
(Orthogonal recursion and path norms). For every global element,
A composition of r component operations, containing exactly h occurrences of len and occurrences of pos, satisfies
Its operator norm on the real scalar extension and on the Hilbert completion is exactly . This value is already attained by an element with integral path coefficients.
Proof.
The first identity is the defining recursion on equal inputs. The cross term is
Dropping either nonnegative term of the squared norm identity gives
Apply these bounds successively in the order . Every pos step has factor one and each of the hlen steps has factor , proving (47). For equality start with and, for , set
At the jth step, , and the norm recursion gives or according to the chosen branch. Consequently
All leaves of are zero or one, so this extremizer is integral. The norm-preserving value passes to the continuous extension to the completion, which is identified below. □
The classical Cauchy–Schwarz and triangle inequalities [19] apply to the weighted path coordinates. The component recursion also identifies their equality conditions and the proportionality that is available over R.
Theorem 11
(Cauchy–Schwarz and metric inequalities). For finite or completed real elements,
For nonzero real elements, equality holds precisely when they are real scalar multiples of each other. For nonzero original-ring elements, this is equivalent to proportionality over , or to the existence of nonzero with . Moreover,
For nonzero inputs, equality in the first inequality holds precisely for positive scalar proportionality; equality in the second holds precisely for positive scalar proportionality as well.
Proof.
First consider finite inputs and induct on their largest prescribed depth. At the scalar boundary,
At positive depth, both component pairs have smaller largest depth. The scalar triangle inequality and the induction hypothesis give
For nonnegative real , the identity
bounds a two-term scalar product by the product of the two lengths. Apply it to the two component-norm pairs to obtain
This proves (48) by scalar descent, including unequal input depths through the scalar component rules.
To determine equality, suppose and work in the real scalar extension. Set . Bilinearity gives
Thus equality in (48) holds exactly when , or . Conversely, that relation gives
For nonzero original-ring inputs attaining equality, choose a common finite level and a path S with . Then
Taking and gives the claimed relation in R. Conversely, with gives over the reals and hence equality. A zero input gives equality directly.
For finite inputs, expand the squared norms:
Taking nonnegative square roots proves both metric inequalities. For nonzero inputs, either equality requires , which is precisely with . Adding the two exact expansions cancels the cross terms and gives the parallelogram identity.
The form extends to the completion without a new inequality. Indeed, for Cauchy sequences of finite real inputs and , the finite bound gives
The norms of the Cauchy sequences are bounded, so the right side has limit zero as increase. The limit pairing is independent of the approximating sequences and satisfies
The completed-square calculation and the squared-norm expansions remain valid for the extended form. They prove the same equality conditions, metric inequalities, and parallelogram identity. □
Proposition 4
(Arithmetic norm levels). Let q be a nonnegative integer and suppose that has integral path coefficients. Then
If and both have integral path coefficients and their norms differ, then
The constant is attained by and .
When both components are nonzero, their weighted norm ratio is unchanged by nonzero scalar multiplication. For the integral element X above,
The ratio is undefined when ; when and , it is zero.
The set is countable, dense in its Hilbert completion, and totally disconnected in the norm metric. Each is a Lebesgue-null subset of its finite-dimensional real scalar extension.
Proof.
The integral path coefficients of X give
For unequal squared norms, their scaled difference is a nonzero integer, so its absolute value is at least one. This proves the gap. For a nonzero scalar c, scalar-linearity gives
whenever the denominator is nonzero. A nonzero integral path coefficient contributes at least one to the squared norm. Hence when that component is nonzero, while . Substitution proves every step of (52). A zero second component gives ratio zero; a zero first component leaves the denominator zero.
Each finite level is a finite Cartesian power of the countable ring R, and there are countably many levels. Thus and each are countable; the latter has Lebesgue measure zero. The numbers have limit zero, so R is dense in . Coefficientwise approximation at a finite level, followed by truncation, gives density in the completion described in Theorem 14. Finally, two different original-ring elements differ in some path coordinate. Choose an irrational real number strictly between those two coordinate values. The corresponding coordinate cut separates into two disjoint relatively open sets. Indeed, all its coordinate values are rational, and
proves continuity of coordinate evaluation. Every subset containing the two points is therefore disconnected. □
Theorem 12
(Weighted complementation). At a specified level define
This is an R-linear isometric involution, with
For ordinary multiplication on the real extension of , its adjoint is
Proof.
At each recursive position, a first-component path is exchanged with a second-component path and receives weight ; a second-component path receives weight . Thus a path with second choices has total weight , proving (54). Consequently
Distinct paths still have distinct, orthogonal complements, so linearity proves the isometric involution assertion.
The perfect multiplication pairing of Theorem 6 pairs a path with its complement. Using its formula (34) gives
Associativity of that pairing then gives
which is the adjoint identity. □
Remark 1.
Complementation depends on the specified level. For example,
and in depths zero and one,
These distinct global classes show that complementation is not invariant under refinement.
Theorem 13
(Algebra isometries). Every unital R-algebra isometric automorphism of is given by
where π is a permutation of . Conversely every such choice defines an algebra isometry. The same classification on uses permutations of the positive integers and an independent sign at each position. A global algebra isometry commuting with both pos and len is the identity.
Proof.
An algebra automorphism preserves the nilradical and its square. The ideal is spanned by the paths of size at least two. Path orthogonality therefore identifies its orthogonal complement inside with exactly the singleton-path span. A nonzero higher-order coefficient cannot belong to that complement, as pairing with its own path detects it. Polarization of the norm shows that an R-linear isometry preserves the inner product. The automorphism and its inverse consequently preserve this span. Write a singleton image as . Its square gives
The coefficient ring has characteristic zero and no zero divisors, so at most one is nonzero. Its norm is , forcing that coefficient to be 1 or . Bijectivity gives a permutation, and multiplication determines every path image:
Signed permutations preserve path products and the weights , which proves the converse. These arguments apply unchanged to finite-support global elements. The last assertion also follows from Proposition 3: commuting with both components and fixing scalars determines every finite pair recursively. □
The weighted coordinate norm identifies the completion with a sequence Hilbert space, as in the standard theory of square-summable families [20].
Theorem 14
(Hilbert completion). The metric completion of , equivalently the Hilbert completion of its real scalar extension, consists of the real coefficient families
with inner product . Both component operations extend continuously, and the assignment of the ordered pair to x is an isometric bijection between and .
Proof.
The vectors form an orthonormal basis of the finite-support real space. Multiplying each coordinate by identifies its norm with the usual square-sum norm, whose complete space is (57). For a family in that space, let . Then
For a prescribed error , first choose n with . Then choose for such that
The element satisfies
This proves density of the original-ring elements, and therefore the same completion for as for its real scalar extension. The component bounds in Theorem 10 give their unique continuous extensions. For the weighted pair assignment, the exact identity is
A pair of finite elements has preimage : its first component is u and its weighted second component is v. Thus its range is dense; as the range of an isometry from a complete space it is closed, and hence it is the entire direct sum. □
3.2. Sharp Multiplication at Prescribed Depths
In orthogonal component coordinates, multiplication becomes a block matrix. Its largest singular value measures the exact amplification of the norm; the matrix-norm facts used below are standard [21].
Proposition 5
(A fixed multiplier and its recursive bound). Write for the operator norm of multiplication by on its real scalar extension. At the scalar level . Under the orthogonal coordinates , the exact multiplication matrix is
In particular, if and , then
This is a recursive upper bound, with the exact norm determined by (58). For a separated element there is the exact formula
Proof.
The two components of are and , giving the block matrix. Taking the norms of these two expressions gives
Thus it suffices to compute the norm of . Since
its larger eigenvalue is
Taking its square root proves the recursive bound. The comparison uses the nonnegative vector , whose Euclidean norm is exactly . Thus it applies even when a multiplier component vanishes. For separated elements, normalized path coordinates identify multiplication with the tensor product of the matrices . The positive matrix of this tensor operator is the tensor product of the individual matrices . An orthonormal eigenbasis for each factor gives a tensor eigenbasis, with eigenvalues the products of the individual nonnegative eigenvalues. The largest is the product of their largest eigenvalues. Taking square roots and using the preceding two-dimensional calculation, with and , proves (60). □
The next inequality is the dual-number multiplication estimate of Cook and Nguyen [8], written for nonnegative component norms. Their optimal constant covers every number of inputs, including for two inputs. The proof records the maximizing ratios used at successive recursive positions.
Lemma 2
(The sharp recursive multiplication step). For and nonnegative real numbers ,
If every pair is nonzero, equality holds precisely when every and . For the corresponding expression is an identity.
Proof.
Normalize every nonzero pair to length one; zero pairs give zero on both sides. The normalized domain is compact. If some , at most one term in the second sum survives, and the objective is at most one. If all and all , its value is one. If and another , put in the region where all . The normalized objective and its one-sided derivative at , with , are
Thus this point is not a maximum. On the other hand, choosing gives
for sufficiently small t. The maximum is therefore an interior point.
Put and . Logarithmic differentiation of at an interior maximum gives
The two possible roots are s and . Since and , every . Explicitly, the stationary equation is
Summing gives , so and . The value there is
The boundary values are strictly smaller, so these are all maximizers. □
At a position shared by r inputs, Lemma 2 gives the corresponding amplification factor. Positions belonging to only one input introduce no amplification. Following equality through the same descent determines the common factors and any remaining unshared tail.
Theorem 15
(Mixed-depth multiplication and all extremizers). Fix input depths , put , and let
For inputs , and also for their real scalar extensions,
The factor for is one, and an empty product is one. This constant is the exact real maximum and the exact original-ring supremum.
For the equality classification suppose that all inputs are nonzero, and let s be the second largest input depth, counting multiplicity. If , every such tuple gives equality. If , all real equality tuples have precisely the following form:
Here is common to all inputs using position j, each is a nonzero real number, and except possibly for the unique input with . For that input, is any nonzero element supported on positions . In particular its scalar coefficient need not be nonzero. If the largest depth is repeated, there is no free tail.
A nonzero equality tuple exists over R precisely when each is a perfect square. This includes the vacuous condition when .
Proof.
At a recursive step,
An input which has reached a scalar has zero second component and acts simply as a scalar factor. After removing these scalar factors, let r be the number of remaining inputs and let C be their lower-depth multiplication bound. Put and . The recursive norm identity, the triangle inequality, and Lemma 2 give
The case is exact scalar multiplication. At successive positions the active counts are , so iterating this estimate proves (62).
More precisely, let be the asserted bound for the tails beginning after position j, with . The calculation gives
Every component product at a given position has the same remaining typed depths. It therefore has the same applicable tail bound , including when one component is the zero object.
In the proposed tuple, different positions are independent. At a shared position j, square-zero multiplication gives
The ratio is the squared norm of the product divided by the product of the squared input norms. Positions used by only one input, including any free tail, give exact norm factorization. Thus (63) attains the bound. Density of R in finite real coordinate spaces gives the same supremum over R.
For completeness, the equality conditions can also be read at each recursive step. When at least two inputs remain active, the strict boundary exclusions in Lemma 2 force all their first and second components to be nonzero and
Every lower-level all-first-component product and every product having exactly one second component must itself attain its lower-level bound; the latter products must also lie on the same positive ray. Apply induction to this collection of products. At every lower shared position their common signs agree: two such products retain the same nonzero component in every unchanged slot, and the inductive factor at that position is determined by that component. Comparing the all-first-component product with the product in which one slot is changed therefore identifies the lower shared factors of that slot’s first and second components.
After these common factors have been removed, each non-deepest slot has only a scalar left. If a unique deepest slot remains, its first and second components may at this stage have two tail factors. The positive-ray equality for the single-second-component products makes these two tails proportional: the other factors in these products are nonzero scalars and units supported on the shared positions, so they may be cancelled. This is also the argument when only one active input remains at the next level, where the lower-level multiplication bound imposes no tail restriction. For a possible deepest slot with index d, the cancellation is explicit. After the common units on shared positions are removed, write its two remaining tails as , and the nonzero scalar factors of the other slots as . Two single-second-component products are scalar multiples of
Their positive-ray relation forces to be proportional. In the other slots the remaining factors are already scalars. Consequently every active slot has its second component equal to a scalar multiple of its first component at the present position. The positive-ray condition makes all these scalar multiples have one common sign, and (64) fixes their absolute value as . Thus, for one common ,
at the present recursive position. This proves its factorization and completes the induction. Below the last shared position there is at most one active input and no further equality restriction.
For original-ring equality, at each shared position choose an active slot other than a possible unique deepest slot. Its scalar coefficient is nonzero, and its singleton-to-scalar coefficient ratio is . That ratio must be rational, so is a square. Conversely, writing with positive integers , take in each active slot the product of over its shared positions and choose any nonzero original-ring tail when there is one. These are original-ring extremizers. □
Corollary 2
(Two inputs and equal depths). For depths , the exact bilinear multiplication constant is . For k inputs of depth n it is
When , nonzero equality tuples at equal depth are exactly
They exist over R precisely when k is a perfect square. In particular, no original-ring nonzero tuple attains the two-input constant when both prescribed depths are positive. There is no depth-independent bound for ordinary multiplication on , and no continuous bilinear extension of this multiplication to all of .
Proof.
For two inputs, the active count is through position and is one afterwards. For k equal depths it is at all n positions. Substitution into (62) gives both constants and their equality conditions. A continuous bilinear extension would have a finite bound C with on all finite inputs. To obtain such a uniform bound from continuity at the origin, choose for which both input norms less than give output norm at most one. Rescaling each nonzero input to norm gives . Sharpness on equal depths would then require
which no finite C satisfies. □
3.3. Homogeneous Multiplication and Support Overlap
An element supported on singleton paths is homogeneous of degree one at every recursive depth containing those positions.
Lemma 3
(Symmetric multilinear forms on a real Hilbert space). Let B be a symmetric scalar-valued k-linear form on a finite-dimensional real Hilbert space, with . Its maximum absolute value on unit inputs is attained with all inputs equal.
Proof.
This is the real Hilbert-space form of Banach’s multilinear theorem [22]; a tensor spectral-norm formulation appears in [23]. The following argument supplies the finite-dimensional proof used here. Write M for the maximum. The case is immediate. Among extremizing unit tuples choose one maximizing the squared norm of the sum of its inputs; compactness gives such a tuple. Fix two entries , let s be the sum of the others, and represent the resulting symmetric bilinear form by a self-adjoint matrix C. Its operator norm is at most M. Equality gives
Indeed, while and . Cauchy–Schwarz equality gives the first vector identity. Symmetry gives the second one with the same sign. If , put and . Then , so replacing by preserves the absolute maximum. Replacing both by their negatives also preserves it; maximality of the sum norm therefore implies . If , the first replacement increases the sum norm squared by
a contradiction. If , then . Replacing the pair by or by preserves the absolute maximum; choosing the sign having nonnegative inner product with s strictly increases the sum norm. Thus every pair of inputs in the selected tuple is equal. □
Lemma 4
(The sharp power of a degree-one element). For and ,
For and , equality holds precisely when all are equal. For the formula is an identity; for the power is zero.
Proof.
A repeated singleton position gives a zero product; each choice of k distinct positions has orders. Path orthogonality then gives the norm identity. For nonnegative with fixed positive sum, the sum of their square-free products of degree k has a positive maximum on the compact simplex. At least k coordinates of a maximizing point are positive. With all but and their sum fixed, that expression has the form
where is the degree-l elementary symmetric sum in the remaining coordinates, and . If , at least of the other coordinates are positive, so . Replacing both entries by increases the expression by
a contradiction. For the maximizing coordinates are therefore all equal. Apply this to . □
The elementary symmetric-sum estimate in the preceding lemma is Maclaurin’s inequality, with the equality condition obtained by averaging two coordinates [19,24].
Theorem 16
(Degree-one multiplication: exact norm and equality). Suppose , with . Then
The constant is best possible and nonzero original-ring tuples attain it. For , all nonzero real equality tuples are
with the same signs for every input. Original-ring inputs have . In the exceptional case , equality is instead equivalent to
For every input gives norm equality; for the product is zero.
Proof.
Let M be the maximum product norm on unit inputs in the degree-one real subspace. Pair an extremizing product with its unit output direction v. The resulting scalar form is symmetric and has maximum absolute value M. By Lemma 3 this maximum occurs at a diagonal tuple. Lemma 4 computes all diagonal maxima, proving the bound. Explicitly, the product at a maximizing unit tuple is nonzero, since an equal-magnitude diagonal tuple already has positive product norm. For its unit direction v, the scalar maximum is at least M and at most M by Cauchy–Schwarz. Its diagonal maximizer w satisfies
The equal-magnitude diagonal example attains the right side, proving the exact value of M.
For the equality classification assume . Replacing input coordinates by their absolute values cannot decrease any absolute output coordinate. Hence an extremizer gives a nonnegative extremizing tuple. Normalize its inputs, and let v be their nonnegative unit product direction. The scalar-form argument gives a unit w with and . Cauchy–Schwarz forces . The power equality condition makes the singleton coefficients of w equal in absolute value. Consequently v is the normalized sum of all degree-k path vectors in orthonormal coordinates.
Fix this v and the scalar form B. In nonnegative orthonormal singleton coordinates, repeatedly select a pair of maximum distance in an extremizing unit tuple and replace both by . The sum is nonzero. With other slots fixed, the matrix calculation of Lemma 3, now with positive extremal value M, shows that the new tuple still has value M. Since all other slots are nonnegative, the squared norm of the input sum increases by at least
That squared norm is at most , so the largest pairwise distance has limit zero. Compactness shows that every limit tuple is diagonal and extremizing. The unique nonnegative diagonal extremizer is , by Lemma 4. The entire sequence therefore approaches .
At this tuple, fixing any slots gives a symmetric matrix with zero diagonal and one positive value at every off-diagonal entry. Since , each off-diagonal entry is , and
Thus , whereas when . For its least eigenvalue is strictly greater than . By continuity this remains true when the fixed slots are sufficiently close to . At an extremizing pair,
which in this neighborhood forces . There are only finitely many pairs. Thus after finitely many averaging steps all slots are equal and the tuple is exactly . Reverse the steps: if a replacement produced that tuple, the unchanged slots are , so the same spectral argument forces the original two slots to be equal already. They must have been . Induction backwards proves that the original nonnegative extremizer was flat in every slot.
Return to signed inputs. Their absolute values are now strictly positive and flat. Equality under taking absolute values requires all permutation contributions to each output support to have the same sign. Given two rows and two distinct positions, complete them by any other distinct positions and compare the assignments interchanging only those two rows. Their two sign products are equal. Writing , this gives
The second identity follows by setting ; coincident row or column indices give it directly. Each row is therefore the same sign vector times an overall row sign. Absorb that sign and amplitude into to obtain (68).
For , direct expansion gives
Finally, taking all proves sharpness over R. □
For , the coefficient of at is the permanent of the matrix . This case of Theorem 16 is therefore exactly the real form of the sharp permanent inequality of Carlen, Lieb, and Loss [25]. For , the product norm combines the coefficients of all supports of size k.
Example 3
(A recursive original-ring extremizer). The elements defined by and satisfy . Every input equal to attains (67). For example, and , so the three-input ratio is .
Corollary 3
(The highest possible nilpotent power). For and ,
For , equality holds precisely when u has only singleton coefficients and their absolute values are all equal. The bound is sharp over R.
Proof.
Write . A nonzero contribution to must use n disjoint nonempty supports among n positions, necessarily all singletons. Hence
Equality in the arithmetic–geometric mean inequality gives equal singleton magnitudes; equality in the last step excludes every higher-degree coefficient. Indeed, path orthogonality gives
The second sum consists of nonnegative terms with positive weights. It vanishes exactly when all higher-degree coefficients vanish. For a nonzero equality input the common singleton magnitude is positive, so the arithmetic–geometric mean equality is also sufficient. Example 3 gives sharpness. □
Proposition 6
(Exact overlap of degree-one inputs). For and ,
Let D be the set of common nonzero positions, let , and let retain just those coordinates. If , then . If , then . For there is the sharp estimate
For , equality means that the restricted vectors are proportional and each has constant coordinate magnitude. For , equality means that the two products are equal. There is no further restriction outside D, and all these equality cases occur over R.
Proof.
Expand the squares of the coefficients at :
Multiplication by gives the stated identity. Put and . Two applications of Cauchy–Schwarz give
For the first step the exact scalar deficit is
It vanishes precisely when every coordinate product on D is equal. For the second step the coefficient is positive when and zero when . Thus, for , equality additionally requires equality in the scalar Cauchy–Schwarz inequality for and . For , equality requires proportionality of the restricted vectors and equality of all their coordinate products. Since none is zero on D, this is precisely flat proportionality. For , only the first inequality is relevant, and its equality condition is equality of the two products. All contributions outside D remained exact throughout. Equal integral amplitudes give original-ring sharpness. □
3.4. Uniform Homogeneous Bounds and Completed Multiplication
Theorem 17
(Uniform bounds at prescribed homogeneous degrees). Suppose each is homogeneous of path degree , and put . There is the depth-independent bound
Its constant is optimal over all finite depths, both over R and over . If at least two of the are positive, no nonzero finite tuple attains it. If at most one is positive, the formula is an equality for every tuple. On the closed homogeneous subspaces of , ordinary multiplication has a unique bounded multilinear extension with the same norm.
Proof.
The coefficient at an output support S of size P is
There are exactly ordered partitions in this sum. Each input tuple has total weight . Cauchy–Schwarz on the partition sum, followed by summation, gives
For sharpness, at depth take original-ring inputs
Their squared norm ratio is
whose limit as n increases is . Indeed, for each fixed integer r,
The powers of n cancel because , and each remaining finite product has limit one. These integral tuples therefore establish the asserted original-ring supremum. If a nonzero tuple attained equality when the partition number exceeds one, dropping disjointness could lose no nonzero term. Every nonzero support from one input would then be disjoint from every nonzero support of each other input. Thus the unions of the supports used by distinct inputs are disjoint. For an output support with nonzero coefficient, at most one ordered partition term could be nonzero. The Cauchy–Schwarz step, with more than one term, would be strict, a contradiction. With at most one positive degree, all other inputs are scalars and norm factorization is exact.
Finite elements are dense in each homogeneous subspace. To see independence of approximation, use the telescoping identity
When have degree , the bound already proved gives
For Cauchy approximations the factors are bounded and each difference has limit zero. This gives the unique bounded multilinear extension; its coefficient formula is the same finite partition sum. Its norm equals the finite-input supremum already computed. □
Proposition 7
(Disjoint positions). If the positions used by x and y are disjoint, then
This holds for finite elements and for square-summable coefficient families supported on disjoint sets of positions.
Proof.
Let be the disjoint position sets supporting the two inputs. Every output support has the unique decomposition . Thus
For infinite position sets the sums range over finite subsets. All summands are nonnegative, so the same factorization follows by increasing finite partial sums. Their finite product proves that the coefficient product belongs to the completion. □
Theorem 18
(The closed coefficient product). For , prescribe
The product is defined in precisely when this coefficient family is square-summable with the weights . This partial product has a closed graph. Its graph is exactly the closure of the graph of multiplication on finite real elements.
For fixed , the maximal coefficient multiplier is a densely defined closed linear operator. Let retain the coefficients with support in . With the finite-level norms of Proposition 5, is bounded and defined everywhere precisely when
Its operator norm then equals this supremum. For a finite element , the completed multiplier is bounded with exact norm .
Proof.
Each sum in (75) is finite. Coordinate evaluation is continuous, since . Suppose converge in norm to . Taking limits in each coefficient sum gives . The pair therefore belongs to the stated domain and has product z, proving closedness. Conversely, for a pair in that domain,
All three truncations converge in norm, so every graph point is a limit of finite-product graph points.
For fixed x, the coefficient formula is linear in y, and closedness follows from the same argument. Every path belongs to its domain, because
All finite elements therefore lie in its domain, proving density.
Suppose the supremum in (76) is . For arbitrary , the finite sums of weighted squared product coefficients satisfy
These nonnegative sums exhaust all coefficients, so the product lies in and has norm at most . Conversely, a bounded full multiplier compresses to multiplication by at level n. Thus , proving the criterion and the exact norm.
If x uses only the first m positions, write a finite input as
Different B give orthogonal components, and multiplication by x does not change B. Hence
Density extends this bound to the completion. Inputs supported in the first m positions attain its real operator norm, so this value is exact on the completion. □
Example 4
(A square outside the completion). Choose disjoint sets with , and distinct additional positions disjoint from all these sets and from each other. Put
The are orthogonal and have norm one, so . Direct multiplication gives
The terms with both markers are orthogonal to every other same-block square and every cross-block product. The weighted squared coefficient sum of the formal square is therefore at least
Thus but its coefficient square does not belong to that space. The closed product in Theorem 18 is genuinely partial.
4. Directed Tensors and Recursive Block Factorization
Ordinary multiplication combines path supports within a common level; a recursive tensor instead places the two inputs in consecutive blocks. This separation explains the exact norm factorization, in contrast to the depth-dependent multiplication bounds of Section 3. The order and lengths of the blocks remain essential when comparing inner products, refining inputs, or distributing over sums of different depths. Once these compatibility conditions are established, path coefficients give tests for tensor decomposability and commuting blocks. For units, the recursive logarithm turns separation into a condition on supports and determines the finest consecutive factorization.
4.1. Recursive Grafting and Fixed-Block Structure
The two tensor operations read the same scalar data in two orders: the left tensor first reads the components of its first input, whereas the right tensor first reads those of its second input.
Definition 6
(Left and right recursive tensors). For and , both and belong to . The left tensor is defined by
The right tensor is defined by
Each recursion removes one level from the input through which it descends. It therefore terminates at scalar multiplication.
Example 5
(The two component blocks). For and in ,
For a full depth-two calculation, let
where the eight displayed entries belong to R. The first recursive step is
Continuing to the scalar layer gives all sixteen output coefficients:
The right recursion instead begins with
and yields
In both cases the result has depth four. The difference is the order of the two blocks of component choices.
At fixed depths, the recursive construction realizes the usual algebraic tensor product by an explicit pairing of path bases. Over real scalars, the same identification will carry the Hilbert tensor norm; the general tensor-product and crossnorm constructions are described in [26].
Theorem 19
(Block paths and tensor algebra laws). For and , with ,
Both tensors are R-bilinear on each fixed pair of input levels, and
At every fixed pair of depths there is a unital R-algebra isomorphism
under which the elementary module tensor corresponds to . Here the algebra structure on the module tensor product is given by
In particular, for and ,
The same identity holds with every tensor replaced by the right tensor.
Proof.
The path formulas follow by applying the defining recursion once at each position: the first m choices come from the first input of the left tensor, and the last n come from its second input. Scalar coefficients multiply at the last step. Consequently, for arbitrary inputs at the fixed depths,
Every output support S has the unique decomposition and . The displayed coefficient is linear in each input list, proving fixed-level bilinearity.
The opposite identity has a direct recursive proof. When y is scalar, both sides are its scalar multiple of x. For positive-depth y, the two components of the right tensor, by lower-depth induction, are and . Their pair is . For left associativity, descend through x. The scalar case follows from scalar homogeneity. At positive depth the induction hypothesis gives
For the right orientation, left associativity gives the explicit chain
The unit formulas and the further scalar boundary follow from the same recursion.
The module tensors of the path bases form a basis of . Their images in (79) are exactly the path basis of , each occurring once. This proves the module isomorphism. Multiplying two such paths gives zero exactly when their supports intersect in either block; otherwise it gives their union. For supports and , their output supports have intersection
Thus both sides of interchange vanish if either block intersection is nonempty. Otherwise both sides are the path . Bilinear expansion in all four inputs proves (83). The empty supports give , so the module isomorphism also preserves the algebra unit. Equivalently, a recursive proof of (83) first multiplies the two pos components, then adds the two products containing exactly one len component. Lower-depth interchange combines these as and . Exchanging the inputs proves the right-oriented statement. □
The prescribed levels in (83) determine its common block boundary. For example, with , , , and , its left side is , whereas its right side is . These remain different after comparison at depth two.
Proposition 8
(Zero factors and unit blocks). For and , zero factors satisfy
The unit blocks satisfy
For , the global equality holds exactly when is a scalar. The same criterion holds for .
Proof.
At the scalar boundary a zero factor gives zero. Each further recursive step pairs two lower-depth zeros, giving . For a scalar c, one has . At positive depth, induction gives
Associativity and give
Exchanging the two inputs gives every right-oriented identity in (84).
By the path formula, moves each position j used by x to position . For a nonscalar , let r be the largest position in a nonzero nonempty path coefficient. Its minimal depth is r, whereas that of is . Thus the two classes differ. If is scalar, then and , whose class is c. The opposite tensor identity gives the right-oriented criterion. □
At specified input levels, the zero-factor identities may be written , and likewise for the right tensor. The scalar is the two-sided tensor identity; positive-depth specifies a block length in (84).
Proposition 9
(Minimal depth of a nonzero tensor). Let and be nonzero minimal representatives of their global classes. Both and have minimal depth .
Proof.
An element of positive depth n has a representative at depth exactly when all path coefficients whose support contains n vanish. This follows from the refinement description in Proposition 1. If , choose a nonzero coefficient of y whose support contains n, and any nonzero coefficient of x. If these supports are and , the coefficient is
The block decomposition is unique, so this coefficient has no other contributions which could cancel it. It is nonzero because R is a domain. Thus has minimal depth . If , multiplication by a nonzero scalar preserves the nonzero last-position coefficients of x. Interchanging the inputs proves the assertion for the right tensor. □
Theorem 20
(Fixed-block metric factorization). For and ,
Consequently, at arbitrary prescribed depths,
For any finite group of pairs in the same two levels,
The analogous equality holds when the order of any fixed collection of input blocks is reversed or permuted, provided that the same permutation is applied to every summand.
Proof.
Induct on the common first-input depth m. At , scalar homogeneity gives
For , the two tensor outputs have the same depth . Their component recursions and the induction hypothesis give
For the right tensor, the same left-oriented result, now with first depth n and second depth m, gives
Taking and and then nonnegative square roots proves (86). For a finite sum at the same two depths,
More generally, a common permutation of entire blocks permutes the output path coefficients and preserves each path cardinality. It is therefore an isometry, proving the finite-sum assertions over R and over the real scalar extension. In particular it carries every equality example of a fixed-block inequality to an equality example over the same ring. □
Since , insertion of a unit block on either side is isometric:
The same holds for the right tensor. By Proposition 8, only insertion on the right for the left tensor, or on the left for the right tensor, always preserves the global object itself.
4.2. Metric Factorization and Refinement
Theorem 21
(Exact mixed-depth factorization criterion). Fix nonnegative depths . The identity
holds for every , , , precisely under one of the following conditions:
For the right tensor the corresponding complete list is
Proof.
By fixed-level bilinearity it suffices to take paths with supports , , , and . The two output supports are
Their pairing is nonzero exactly when these sets are equal. The product of the separate pairings is nonzero exactly when and , where empty last positions are understood as in the mixed-depth form. The corresponding values are explicitly
Thus it suffices to determine when the two stated support conditions agree for every choice of paths.
If , the common boundary separates the equality of the two unions into equality of their two parts. If and , equality of the unions forces D to be empty and forces C to have no position beyond m; it then says . This is exactly the separate pairing condition. The case , is symmetric.
For a simple failure of four-input factorization, take and . Both left tensor outputs are , so their pairing is , but both separate pairings are zero.
Example 6
(Varying block boundaries). Let
Both tensor terms have output depth two, but their input depths are and . Direct calculation gives
The second sum has norm . The ordinary product sum is also . Thus a common output depth does not suffice either for (87) or for a finite-sum comparison of ordinary products with left tensors. The common input depths in such comparisons are essential.
Proposition 10
(Refinement and mixed-depth distributivity). Put and in . Then
The left tensor distributes over mixed-depth addition in its second input. The right tensor distributes over mixed-depth addition in its first input. In the other slot neither refinement compatibility nor mixed-depth distributivity holds in general. Consequently neither orientation defines a two-input operation on global refinement classes.
Proof.
For a scalar c, . At positive depth the two components of agree recursively with the defining components of . Associativity now gives
The opposite identity proves (91). For , , , put . Iterating covariance and using fixed-level bilinearity gives
Both sides belong to , and the last equality is the recursive mixed-depth sum. Exchanging the tensor inputs proves the right-oriented assertion. Explicitly, its distributive law is
The mixed depths here belong to ; the typed depth of z fixes the unchanged first block of the left-oriented expression.
For the other slot, let . In depth two,
The distinct path coefficients remain distinct under further refinements. Explicitly, the two depth-two values are
and . For mixed-depth distributivity, , so
The right tensor has the exchanged counterexamples. Since and represent the same global object, the first counterexample also proves the failure of a two-input operation on classes. □
Theorem 22
(Finite sums: from directed tensors to multiplication). Fix depths , put , and define and . For a finite family with ,
Every tensor factor retains its specified depth and block division. The constant is optimal and is attained over R. For two fixed depths it is .
Write for the path coefficients of the tensor sum, with , and put . Equality holds precisely under these three conditions:
- 1.
- Every coefficient with overlapping is zero.
- 2.
- Every coefficient with pairwise disjoint whose union does not contain J is zero.
- 3.
- For each S containing J, all coefficients with have one common value, which may depend on S.
These conditions include the zero tensor sum. If all inputs are scalar, the empty product defining q is one.
Proof.
The path-block description identifies the squared norm of the tensor sum with
This is also the fixed-block metric identity of Theorem 20; no input depth changes here. Ordinary multiplication sends overlapping paths to zero and disjoint paths to their union. Its output coefficient at S is therefore
Each position can be assigned to exactly blocks. The number of terms is . Cauchy–Schwarz gives
Multiply by and sum. For disjoint supports this is the original tensor weight. Use and include the nonnegative terms from overlapping supports to prove the bound.
Equality in that last inclusion requires condition (i). Equality in replacing by q excludes all coefficients unless , which is exactly . Equality in each Cauchy–Schwarz inequality requires all its entries to be equal. These are conditions (ii) and (iii), and together they are also sufficient. To see the equality test directly, list the coefficients at a fixed disjoint output support as . The scalar deficit is
Its two nonnegative terms vanish exactly under conditions (ii) and (iii) at that support. The omitted overlapping coefficients contribute q times their original positive weighted squares, giving condition (i). Thus no cancellation between different supports can create an additional equality case.
For original-ring sharpness, sum over all allowed assignments , using the paths at depths . There are q assignments. The ordinary product sum is , of norm . The tensor sum consists of q different orthogonal paths, each of norm , and has norm . Its ratio is . □
Example 7
(The two-block equality space). For , all tensor sums attaining the two-input bound have the form
with every factor placed in its prescribed level. For and ,
Fixed total depth alone does not suffice. Take , , , and . Both tensor terms have total depth two and their sum is zero, whereas has norm .
4.3. Decomposability and Functional Block Structure
The two fixed blocks also make tensor decomposability an exact coefficient question over the original ring, without division by arbitrary scalars.
Theorem 23
(Fixed-block decomposability over R). For , arrange its coefficients as the matrix
The element w can be written with , exactly when all two-by-two minors of this matrix vanish. If , it has a factorization with the coefficients of x generating the unit ideal of R. Such a primitive first factor is unique up to multiplication by a unit, and the second factor changes by the inverse unit.
More generally, if at the same block boundary, there is a nonzero rational number a such that
The rational number is required to keep the displayed factors over R. The nonzero support of a pure tensor consists exactly of all pairs of nonzero input supports in the prescribed two blocks.
Proof.
A pure tensor has , so its minors vanish. Conversely, the zero matrix is a tensor with a zero factor. For a nonzero matrix whose minors vanish, every column is a rational multiple of any chosen nonzero column: choose a nonzero entry in that column and apply the minor equations to each row. Specifically, if , then
The ring R is a localization of the principal ideal domain , and is itself a principal ideal domain. Divide the chosen column by a generator of its coefficient ideal to obtain a primitive column p over R. If another column is with , choose R-coefficients whose combination of the entries of p equals 1. The same combination of the entries of equals a, proving . In formulas, choose with
These column multipliers give the second factor over R.
For uniqueness over , choose with . Equality of the tensor coefficients also gives . Set . Comparing the row and then the column gives
These coefficient identities are (95). If the first factors are both primitive, their proportionality number and its inverse belong to R by the same coefficient-combination argument, so that number is a unit. Finally, is nonzero precisely when both coefficients are nonzero, since R is a domain. This proves the support statement. □
For instance, a depth-two element is a tensor of two depth-one elements precisely when . A rectangular nonzero support alone does not suffice: the four coefficients have that support but fail the determinant condition.
Theorem 24
(Commuting tensors have a common primitive block). Let , let and be nonzero, and put . The identity holds precisely when there are a primitive and nonzero such that
The primitive block w is unique up to multiplication by a unit of R. A zero input or an input of depth zero commutes with every other input.
Proof.
First extend coefficients to . The successive block identifications of Theorem 19 identify depth r with the rth module tensor power of the two-dimensional space . If , choose a linear functional on that common space taking value 1 on y. Calling it ℓ and applying it to the first block gives
Thus x is a nonzero scalar multiple of y.
Suppose . Choose ℓ on the depth-n coefficient space with , and contract the first n positions of x to obtain of depth . Contracting the first n positions in the commuting equality gives
In particular . Substitution gives
Contracting the final block by ℓ cancels the common y and yields . Induction on , with the symmetric step when , is the Euclidean algorithm for the two depths. It produces a common block of depth d whose appropriate powers are scalar multiples of x and y. Explicitly, the smaller pair has depths and greatest common divisor d. If its induction conclusion is
then . The sum of the two positive depths decreases at each unequal-depth step. At equal depths the preceding proportionality calculation is the induction base, so the process terminates.
Return to R. Scale the rational common block to a primitive block w over R. For two finite coefficient lists the ideal generated by all their pairwise products is the product of their coefficient ideals. By (79), every tensor power of a primitive block is therefore primitive. If a rational multiple of a primitive vector has all coefficients in R, a coefficient combination equal to 1 shows that the multiple belongs to R. Hence the two scalars in (96) belong to R.
If two primitive blocks work, compare their nonzero tensor powers in the first depth-d block of x. Pure-tensor uniqueness over shows that the blocks are proportional. Their primitiveness makes the proportion a unit of R. Conversely, powers of a common block commute by associativity. The scalar and zero cases follow from the scalar boundary and bilinearity. □
Over a field, Bergman’s centralizer theorem places every commuting family containing a nonscalar element of a free associative algebra inside a polynomial algebra in one element [27]. The homogeneous block calculation above gives a direct common-power description with depth and retains primitive factors over R.
Proposition 11
(Polynomial and rational evaluation in two blocks). Fix , . All powers and evaluated values below retain these levels, including and . For polynomials ,
If , then
and its exact squared norm is
Every tensor in these assertions may be replaced by the right tensor, without changing the norm. In particular, for ,
The polynomials satisfying for all inputs are exactly the zero polynomial and the monomials with .
Formula (97) also holds for rational functions whose denominators take unit values at x and y. For units one has
and the same formula in the opposite direction.
Proof.
The block copies and preserve ordinary powers and scalars by (83). For ,
Thus, for and ,
The same monomial calculation proves (98). Expanding its squared norm and using fixed-block factorization gives
Taking proves (100). These arguments are unchanged in the right orientation.
For the classification, scalar inputs already impose for every . Since R is infinite, this is a polynomial identity in two indeterminates. If f is nonzero of degree j and leading coefficient c, comparison of the coefficient of gives . Cancellation in R yields . Conversely, these polynomials and the zero polynomial have the claimed property by (83).
For units, multiply the proposed inverse by and use (83):
The same calculation applied to unit denominator values proves the rational-function assertion. In particular, if is a unit, then
The corresponding formula holds in the second block. Writing each rational function as numerator times inverse denominator therefore reduces (97) to the polynomial identity and this inverse identity. □
Theorem 25
(Exponential block sums and orthogonal logarithms). For and ,
For and ,
Its two terms are orthogonal. Thus
All four formulas hold in the right orientation as well. For more than two prescribed blocks, the logarithmic squared norms add and the exponential norms multiply.
Proof.
Apply the finite formulas of Theorem 5 to a block copy. Interchange preserves each power, so and . These identities hold over R even when a factorial is not a unit: the block copy is R-linear, and if , then . Uniqueness of exact integer division in the torsion-free coefficient module identifies this with . The additive exponential law and interchange give
Taking and , and then applying the inverse logarithm, proves (103).
Both logarithms have scalar coefficient zero. Fixed-block factorization therefore gives
Their individual norms are unchanged by unit blocks, so
Equation (104) follows from tensor norm factorization. Block reversal proves the right-oriented formulas, and induction on the number of blocks proves the final assertion. □
Factorizations of invertible zeons into elementary and homogeneous factors are studied in [12]. For the directed products here, the factors occupy prescribed consecutive blocks of recursive positions. The logarithmic identity above determines which cuts separate such blocks and how all admissible cuts combine.
Theorem 26
(Unit cuts and the finest consecutive factorization). Let be a unit with scalar coefficient . It is a tensor with , exactly when every nonzero path coefficient of has its support entirely in or entirely in . In this case there are unique and such that
All factorizations with these two depths have the form , , where and .
For a unit of prescribed depth , test each cut between positions r and , with , by the same logarithmic condition. All admissible cuts can be used simultaneously. They give a unique finest factorization into consecutive blocks, with the total scalar coefficient outside the tensor and every block factor normalized to scalar coefficient one. No resulting block admits a further internal cut. Reversing the order of the prescribed blocks gives the corresponding right-oriented assertion.
Proof.
If , its scalar coefficient is the product of the scalar coefficients of x and y. Since that product is a unit, both coefficients are units. Normalize them and apply (103); it has no path crossing the cut.
Conversely, the support condition gives the unique separation
The support blocks determine u and v coefficient by coefficient. Writing for the coefficients of , they are explicitly
The empty coefficient is zero, so it is assigned to neither block. The hypothesis excludes every remaining support, namely those meeting both blocks. Thus these formulas recover the entire logarithm. Taking and and applying (102) gives (105). Uniqueness of the logarithmic separation gives uniqueness of the normalized factors and the stated description of all other factors.
For several cuts, a nonzero logarithmic path crosses none of the admissible cuts. It must therefore lie wholly in one of the consecutive blocks determined by all those cuts. Group the logarithm by these blocks and exponentiate. This supplies their simultaneous factorization and proves uniqueness by uniqueness of the path coefficients. More explicitly, for consecutive blocks , each nonempty logarithmic support belongs to exactly one . Extracting those coefficients and renumbering within gives with scalar coefficient zero. The exponential block law then gives
Each normalized factor is forced by its own logarithmic coefficients. A further cut inside a resulting block would have no crossing logarithmic path, so would already have been among the admissible cuts. This proves fineness. When the normalized unit is , all cuts are admissible and each depth-one factor is . Depth zero consists only of the outside scalar. □
For a depth-two normalized unit,
the finite logarithm is
Thus the cut is admissible precisely when ; in that case . This coefficient calculation is the first case of the general no-crossing criterion.
5. Recursive Functions and Sharp Function Estimates
The polynomial and logarithmic block identities of Section 4 are instances of a more general recursive evaluation. A function value is determined by scalar data and their successive use along the pos and len branches. Nilpotence makes the resulting expansions finite, so preservation of R, composition, and the solution of equations can be decided coefficient by coefficient. The weighted norm then measures how evaluation depends on its inputs. Sharp bounds on specified homogeneous classes, together with explicit unbounded families at increasing depth, determine the scope of uniform estimates and continuity for these functions.
5.1. Scalar Data and Recursive Evaluation
Polynomial evaluation uses the ordinary multiplication of Section 2. Throughout this section a scalar coefficient is read by (20). Real differentiation and prescribed real radii are understood after extension of scalars to ; preservation of R will be stated separately.
Theorem 27
(Polynomial and rational evaluation). For and a positive-depth input,
Each evaluation on the right continues to the scalar layer. If and , then
These Hasse derivatives belong to .
For polynomials , the expression is defined whenever is a unit of R. It is independent of the representation of the fraction among fractions with admissible denominators, and satisfies (106) with
Equivalently, evaluation is defined on the localization of at the polynomials whose values at c are units.
Proof.
For , the power formula below is simply . If it holds at j, multiplication by x gives its two components at :
The constant term has second component zero. Hence, for ,
For and , the finite binomial calculation is
The scalar coefficient of is , so Theorem 4 gives exactly the asserted unit condition. The quotient formula (24), applied to and , gives (108) and the two recursive components. In particular, the second component is
The first component is . Its denominator is a unit because it has the same scalar coefficient . If two admissible fractions represent the same rational function, cross multiplication in gives equal numerators after evaluation. Multiplication by the two available inverses proves equality of their values. Sums and products of admissible fractions remain admissible, which proves the localization statement. □
Corollary 4
(Square-zero displacement). If , then for every polynomial f and every finite input x,
The same formula holds for an admissible rational function: admissibility at x and at is the same scalar unit condition.
Proof.
Since , the binomial formula gives
The scalar coefficient of u is zero, so and are units under the same condition. Their inverses satisfy
because the product with is
The linear terms cancel and the quadratic term vanishes. Thus
□
Definition 7
(Evaluation from scalar data). Let be real-valued scalar functions on a set of allowed scalar coefficients. Define their recursive evaluations by
The data need not initially be derivatives of one function.
Theorem 28
(Finite evaluation and its exact arithmetic domain). For with ,
Every belongs to when u does. If S is nonempty,
The scalar coefficient is . Evaluation commutes with refinement and hence is well defined on finite global objects.
For a fixed , the operation takes into exactly when all belong to R. It preserves the original coefficient ring at every finite depth exactly when all belong to R.
Proof.
The scalar case starts the induction. At depth , let y be the finite sum in (111). The power formula and give
Here and . The two components are exactly those of (110), proving the finite formula by induction.
In each coefficient of , surviving terms use r pairwise disjoint nonempty supports. An unordered family contributes once for each of its orders, with the same coefficient product. Division by is thus coefficientwise division of an exact multiple in R, uniquely determined because R has no integer torsion. Summing the resulting unordered families gives (112).
At the scalar boundary, . At arbitrary depth, refinement fixes the scalar coefficient and preserves powers and their unique exact divisions. Thus the finite formula just established gives
The possible extra order is zero because . The calculation also applies after real scalar extension. Repeating it proves representative independence.
Formula (112) proves the sufficiency of the stated arithmetic condition. For necessity use . The coefficient at any support of size r is exactly , including at the empty support. This recovers every required scalar value from an original-ring input. □
On a scalar constant in a specified level, the finite expansion reduces to
In particular, whenever the scalar data are defined at 0 and 1,
The outputs use the same level as the inputs. The recursive exponential and logarithm accordingly satisfy and at every level, as well as on global objects.
Set partitions record how scalar data combine under composition. When the data are derivatives, the resulting sum is the classical Faà di Bruno formula; Bell-polynomial and multivariate treatments can be found in [28,29]. Neto and dos Anjos obtain derivative and combinatorial identities, including Faà di Bruno and Bell-number formulas, within zeon algebra [6]. The disjoint path supports below give the set partitions directly from recursive multiplication.
Proposition 12
(Function algebra and composition). For two scalar data families, addition is termwise. The data for the product of their evaluated functions are
When the scalar domains permit composition, its data are
Consequently these rules give, respectively, and . They are also necessary if these identities hold at all finite depths.
Proof.
For in depth n, multiplication of the two finite sums gives
This is (113). For composition, the inner value has scalar coefficient , so
For , the coefficient of is
An ordered division of the r labelled positions into blocks of sizes has choices; division by removes the block order. Grouping by the resulting set partitions gives exactly (114). For instance, in the first two nontrivial orders this reads
The coefficient three counts the partitions of three positions into one singleton and one two-element block. Thus the formula uses only the prescribed scalar data, without assuming they are derivatives. This expression has values in R when the scalar data do, and Theorem 28 gives original-ring evaluations. Finally, evaluation at and extraction of the full support recovers the rth datum. Thus the rules are necessary as well. □
Proposition 13
(Determination by path substitutions). Suppose an operation on every finite level commutes with every unital R-algebra substitution between such levels. On inputs with a given scalar coefficient c, it is uniquely of the form (112) for a sequence of scalar values . Conversely, each such sequence defines operations with this substitution property.
Proof.
Evaluate the operation at . Permuting the positions shows that a coefficient depends only on its support size. Setting unwanted positions equal to zero shows that the coefficient of size r is independent of . Denote it by , and write F for the operation. Then
For an arbitrary , introduce one new position for each nonzero term. Substituting that new path by is a valid algebra substitution, since each image has square zero. To make this calculation explicit, list the nonzero supports as , and let be the substitution with . Then
The product is zero unless the selected supports are pairwise disjoint. For a nonempty output support, the surviving selections are exactly its partitions into nonzero input supports, giving (112). If there are no nonzero supports, the scalar-level value gives the same formula with only its empty term.
Conversely, a unital R-algebra substitution fixes scalars and takes nilpotents to nilpotents, so it preserves the scalar coefficient. It preserves every power. If , then
Uniqueness of exact integer division in the target identifies with . Applying this term by term to (111) proves the converse. □
After real scalar extension, a finite level is a real unital commutative algebra with a nilpotent ideal and scalar quotient . Finite Taylor evaluation on such algebras is classical; see the treatment of Weil algebras in [30]. Elementary zeon functions and their differential calculus are developed in [12,13]. Here the evaluation is expressed by the same two component operations as the arithmetic, with scalar-data conditions that specify when its coefficients remain in R.
Theorem 29
(Smooth functional calculus). Let f be smooth on a real open interval. On elements whose scalar coefficient belongs to that interval, take . Then
at positive depth, with scalar value . It preserves sums, products, and compositions wherever the scalar domains allow composition:
At a fixed real input x, this is the unique evaluation on the algebra of smooth functions that preserves constants, addition, and multiplication and evaluates the coordinate function at x.
Proof.
The ordinary derivative rules give the data in Proposition 12; alternatively their finite expansions give the same identities directly. For uniqueness, let c be the scalar coefficient of . Smooth Taylor division gives
with g smooth on the interval. For example its value at c and its derivatives are given by the smooth integral formula
For any evaluation E with the stated algebra properties,
The remaining terms force (111). Existence has already been proved, so the forced formula is the unique one. The remainder vanishes by the exact algebraic equality . Thus this conclusion applies to smooth functions without requiring an infinite power-series expansion. □
The value at depth n uses only the first n derivatives at the scalar coefficient. A function therefore suffices for that finite formula and its sum, product, and composition identities. Smoothness supplies all levels simultaneously; analyticity is not needed. In particular, the exponential on , the logarithm on , and the inverse on units agree with the operations of Section 2.
In the finite regular representation, the same terminating expansion is the scalar-plus-nilpotent case of matrix functional calculus [31]. At depth one, the pair is the value-and-derivative rule of forward differentiation [32]; successive component descent applies this rule to the higher recursive levels.
Example 8
(An arithmetic domain beyond polynomial coefficients). A smooth scalar function preserves the entire original-ring tower at the allowed scalar coefficients exactly when all its derivatives there, including the function itself, belong to R. This class contains functions that are polynomials over but not over R. Choose a prime p not dividing Ω and set
Reduction of R modulo p is the field with p elements, so for and hence . Moreover
All higher derivatives consequently take values in R, whereas the leading coefficient of f does not belong to R. Theorem 28 supplies an original-ring value at every finite input. This extends the arithmetic domain beyond the unit-denominator localization in Theorem 27.
Proposition 14
(Obstruction for all scalar set functions). At a nonscalar input with nonzero nilpotent u, no evaluation of all scalar set functions can simultaneously preserve constants, addition, multiplication, the coordinate function, and scalar coefficients.
Proof.
Let e be the indicator function of the singleton . Its value would satisfy
Theorem 4 forces . But the scalar identity would then give
contrary to the choice of the input. □
Theorem 30
(Several inputs). For a smooth function F of d real variables, evaluate at the scalar tuple when every input is scalar. Otherwise define
The scalar boundary of pos and len permits inputs of different depths. At common depth n, write . For a tuple of nonnegative integers, put and . Then
Preservation of R on this scalar tuple through depth n is equivalent to all the displayed mixed partial derivatives belonging to R. At every finite depth it is equivalent to the same condition for all orders. The evaluation preserves the multivariate sum, product, and composition rules.
Proof.
We first check the components of the finite expression (118). Recursive multiplication gives
The first identity is multiplicativity of pos. The second follows by applying the component product rule to one factor at a time; the power rule supplies the coefficient . In the outer pair decomposition every second component contains the same first square-zero path. In particular,
Insert the two monomial component formulas into the finite sum. For pos, every term of total order n vanishes at depth . The remaining sum is the lower-depth evaluation of F at the first components. For len, replace by in the lth summand and use , where is the tuple with one in position l and zeros elsewhere. The resulting sum is the lower-depth evaluation of , multiplied by . Summing over l gives exactly (117). The scalar case is its induction base. A scalar input has zero second component, so the calculation also includes mixed depths through the scalar boundary. Terms of total order greater than n vanish because they belong to . Each divided power in the product is integral by Theorem 28, proving sufficiency. For necessity, choose disjoint position sets of sizes , and let be the sum of the singleton paths in its set. Only the specified multi-index contributes to the complete support coefficient. If those sets are , then
That coefficient is therefore . The finite expansions also prove the sum, product, and composition rules by ordinary polynomial substitution after discarding vanishing total orders. □
5.2. Recursive Equations and Sharp Function Bounds
Theorem 31
(Equations with prescribed scalar coefficient). Fix and scalar data , and put , . For , evaluation on is injective exactly when . It is surjective onto , and hence bijective, exactly when a is a unit of R. In the bijective case its inverse is a polynomial in the finitely many path coefficients on this whole set.
Proof.
For a nonempty support S, the output coefficient is
Every coefficient in the sum has strictly smaller support. If , comparison in increasing support size proves injectivity over the domain R: at a singleton support, equality of two outputs gives and hence . If the coefficients agree on all proper supports of S, the partition sums agree, leaving . Cancellation in the domain again gives equality. Induction on identifies the entire input. If a is a unit and the target is , the solution is
For singleton S the sum is empty. Each later coefficient depends only on previously computed proper supports and division by the fixed unit a. Thus every coefficient is polynomial in the target coefficients. Substitution into the displayed output formula makes each coefficient exactly , so the construction proves both existence and uniqueness for every target. If , the distinct inputs c and have the same value d, since and the linear datum is zero. This proves noninjectivity. If a is not a unit, a target with a first-path coefficient equal to one would require , proving nonsurjectivity.
The solution can equally be obtained by scalar descent. For a target y, solve for the first component at lower depth, then compute the second:
The inverse exists because its scalar coefficient is the unit a. Pairing the two components gives the same unique solution as the triangular calculation. □
The theorem requires no bound on the nilpotent coordinates. On a selected set of scalar coefficients, evaluation is bijective at all levels exactly when its scalar function is bijective onto the selected target set and its first datum at each scalar is a unit. Necessity follows already from depths zero and one. Over the reals, the unit condition is simply , so each regular scalar solution of gives exactly one recursive solution with that scalar coefficient to any target with scalar coefficient d.
Proposition 15
(Derivatives and inverse data). For smooth f on a finite real level,
For scalar inverse data at with a unit, set , . The remaining data are determined within R by
Their recursive evaluation is the inverse on the fixed scalar fiber.
Proof.
Differentiate the finite formula with . If h has scalar coefficient b, differentiating c gives b and differentiating u gives . Therefore
The last correction is zero because and . Apply this first-derivative identity successively to while keeping the directions fixed. This gives . Multiplication by has a triangular matrix in the path basis ordered by support size, with every diagonal entry . This proves the determinant formula.
In the composition formula (114), the one-block partition contributes . Every other block has size less than r, giving (120) recursively. The first composition therefore has the data of the coordinate function. Uniqueness in Theorem 31 makes this evaluation the inverse. For the first two nontrivial orders, the equations read
Using gives
At every later order, the same equation solves for using only earlier data and division by the fixed unit a. □
Corollary 5
(Arithmetic criterion for roots). For and a positive integer m, a normalized unit solution of exists exactly when every path coefficient of belongs to . It is unique when it exists, and equals
In particular, every normalized unit has a unique mth root if m is a unit of R. More generally, a unit target of scalar coefficient d has one root for each scalar root in R, provided that the coefficients of belong to ; otherwise it has none.
Proof.
For a normalized unit, logarithmic additivity gives
The coordinate equations are soluble in R precisely when the right sides belong to . Their solutions are unique because R has no integer torsion. Exponentiating these coordinates gives
For a general unit write and , where are normalized. Then consists of the two equations and . A scalar root of a unit is a unit, so this normalization is defined over R and proves the general case. Explicitly, . Each allowed scalar root therefore gives exactly one normalized solution, and roots with different scalar coefficients are distinct. If , division of every logarithmic coefficient by m stays in R, so there is no further obstruction. □
For example, if a prime p does not divide , the scalar function has nonzero derivative at 1, but the normalized equation has no solution over R: its first-path equation would be .
Function estimates have a particularly precise form when the input displacement is first-homogeneous. The following statements first use real coefficients; original-ring conclusions apply when the scalar coefficient and the required derivative values satisfy Theorem 28.
Theorem 32
(Exact first-homogeneous function norms). Let , , and . For a smooth function defined near c,
Consequently the sharp bounds at fixed depth and radius are
The lower bound is attained by a single nonzero position. If u has s nonzero positions, lower equality holds exactly when the derivatives of orders at c vanish. For , upper equality requires all as soon as at least one derivative of order is nonzero. If all these derivatives vanish, every input of that radius attains the upper bound.
Proof.
The coefficient at a support of size r is . Path orthogonality proves (122). Put , so that . Every elementary symmetric sum of order r satisfies
For and , equality holds only when the are equal. To see this, maximize on the compact simplex. A positive maximum has at least r positive coordinates. With the sum of two coordinates fixed, the expression has their product multiplied by the nonnegative elementary symmetric sum of order on the remaining coordinates. At a maximizer this multiplier is positive for every unequal pair. Averaging that pair would strictly increase the value. Thus all coordinates are equal. The cases are identities.
All terms in (122) are nonnegative. Dropping orders at least two proves the lower bound, and these orders are positive precisely when and the corresponding derivative is nonzero. Applying (124) order by order proves the upper bound. The same equal-magnitude input maximizes every order, proving sharpness and all stated equality conditions. For , the input is the scalar c and both bounds equal . For , a single coefficient gives the lower endpoint, while for every j gives the upper endpoint over the reals. These constructions attain the prescribed radius; original-ring attainment additionally requires the chosen coefficients to lie in R. □
Over R, equal-magnitude coefficient families give genuine equality examples at their actual radii. An arbitrary prescribed real radius need not occur on an original-ring sphere. On an original-ring ball, approximation from its interior gives the same upper supremum as in the real extension, since R is dense and finite-coordinate evaluation is continuous.
Theorem 33
(Uniform radius and optimal Lipschitz constant). Fix c and , and allow all finite first-homogeneous inputs with . Then
The optimal Lipschitz constant on this ball, with the scalar coefficient fixed at c, has square
Either right-hand side may be infinite. The same suprema hold on original-ring balls whenever the evaluation preserves R there.
Proof.
Expanding and retaining only distinct positions gives the upper estimate for the order-r elementary symmetric sum by . Equation (122) proves the upper bound in (125). Equal-magnitude inputs give the sum in (123); for each fixed r,
Fix finitely many orders before increasing n. Their limits prove sharpness whether the full nonnegative series converges or diverges.
Let h be first-homogeneous. Within this calculation write the normalized singleton coefficients as and . At a support S of size r, differentiation of the finite formula gives the normalized coefficient
Cauchy–Schwarz for its r terms, followed by summation at the common finite level n, gives
Indeed the sum over the other distinct positions is at most . Different output orders are orthogonal. Thus their squared bounds add to when . For two inputs in that ball, the segment remains in the same finite-dimensional ball, and
This proves the Lipschitz bound when the series is finite.
At an equal-magnitude input of norm t, differentiation in its unit radial direction has squared norm
Interior radial difference quotients approach this value. Increasing the number of positions and then the number of retained orders proves the lower bound in (126), including the infinite case. Explicitly, take a flat input with norm t and compare it with for . Both lie in the ball. Taking for integers gives
For any fixed number of orders, the squared right side has limit the corresponding partial sum of (126) as n increases. Every Lipschitz constant is therefore at least every partial-sum square root. This excludes a finite constant when the series diverges. For original-ring inputs, approximate each finite pair used in these difference quotients from inside the ball. Continuity of the finite formula preserves the limit of the ratios. □
For the exponential, (125) equals ; at its optimal Lipschitz constant is . In contrast, at gives the divergent series for every . Each finite value still exists over R, since is a unit.
Corollary 6
(Separable exponential, logarithm, and inverse). For , , and ,
In (), lower equality means at most one nonzero coefficient, and upper equality for nonzero u means all are equal. These conditions give original-ring equality examples and the corresponding equalities in (). More generally, if u is the sum of nonzero path terms with pairwise disjoint nonempty supports, the same statements hold with s in place of n and the norms of those terms in place of .
Proof.
Each path term is square zero, and the additive exponential law in Theorem 5 gives (127). All products of distinct terms have distinct supports. Therefore
Replacing every by gives with the same norm. For , product expansion and arithmetic–geometric mean give
Lower equality requires every product with to vanish. Upper equality requires all to agree. These are exactly the stated support and magnitude conditions. Substitution of gives (), since the two rearrangements are
For disjoint nonempty supports, distinct collections of supports have distinct unions. Therefore the product expansion and all orthogonality steps remain valid, with the norm of each path term providing its weight. □
The uniform exponential supremum on the first-homogeneous ball of radius t is . For it is not attained at any finite depth, because . The lower bound in () depends on the input form. For example, in the original ring take
Then , whereas has squared norm 3, strictly less than .
5.3. Degree Scaling and Global Domains
Theorem 34
(Square-zero inputs and a cubic-nilpotent family). If , then
For , consider instead
Then and
For and , the suprema of the last three quantities over the family (131) with are, respectively,
They are attained over the reals. Their nonzero equality inputs have and
Over R the suprema are the same but are not attained for .
Proof.
A square-zero element has scalar coefficient zero. Its exponential, logarithm, and normalized inverse reduce to , u, and , respectively; the scalar and nonempty paths are orthogonal.
For (131), multiplication of the two marker positions gives
The positions of h are disjoint from these markers. The two terms of u are orthogonal, each with norm ; the displayed square has norm . Moreover use respectively zero, one, and two markers and hence are pairwise orthogonal. Substitute the finite formulas , , and . The division by two is integral because of the explicit factor two in . For example, the exponential calculation is
The logarithm and inverse use the same three orthogonal components with coefficients and , respectively.
Corollary 2 gives , with precisely the nonzero equality form (135). Since , substitution in the three increasing expressions uses the exact bound
This proves (134); equality requires both the maximal radius and the multiplication equality form already stated. Their original-ring suprema follow by finite-dimensional approximation from the ball interior. A nonzero original-ring extremizer would require the ratio of a first-path coefficient of h to its scalar coefficient to be , which is irrational. Thus none exists. □
Example 9
(An explicit original-ring sequence). The cubic family permits arbitrarily small inputs with arbitrarily large exponential, logarithmic, and inverse norms. Set , so that , and define
The actual coefficients are in R, and
Consequently
The first quantity tends to zero and the second to infinity. Equations (132)–() show that all three function norms tend to infinity, even though every is zero. Thus the stable identities on square-zero inputs do not extend to cubic-nilpotent inputs with a bound independent of depth.
A second type of recursive function acts directly on the path coefficients and interacts with both tensor orientations.
Definition 8
(Recursive coefficient scaling). For a real number a, define
When , this is an operation over the original coefficient ring.
Proposition 16
(Algebraic compatibility and exact norm). The scaling satisfies
It commutes with refinement and preserves sums, ordinary products, the unit, and both directed tensor products at their specified depths. It consequently preserves inverses of units, powers, and the Lie and Jordan operations where defined. For every admissible scalar-data evaluation,
Its relations with the components are
The norm and the positive-depth operator norm are exactly
The scalar-level operator norm is one. It has a finite operator norm independent of depth exactly when , in which case that norm is one.
Proof.
Every occurrence of len contributes one factor a, proving (137). Disjoint path multiplication adds support sizes, so
Overlapping products are zero before and after scaling. For a concatenated path, its two blocks have cardinalities , so both sides of tensor compatibility have coefficient . The argument is the same in either order. Addition is coefficientwise. Refinement adds an unused position and hence leaves all factors unchanged. Preservation of the unit and product implies preservation of unit inverses and therefore of all stated derived operations.
The scalar coefficient is fixed. Apply product preservation and preservation of exact integer division to (111) to obtain, for in depth n,
The component identities follow directly from the defining recursion, including scalar inputs. Path orthogonality proves the first norm formula. Its diagonal factors have maximum , attained respectively on the scalar path or the full path. For , each diagonal factor is at most one, and the scalar path attains one. If , the full path gives
These ratios have no finite common bound as n increases. This proves both directions of the depth-independent assertion. □
Theorem 35
(Sharp depth-independent product threshold). For and real parameters , the inequality
holds for all finite inputs of arbitrary depths exactly when
Under this condition the constant one is best possible and is attained by nonzero original-ring scalar inputs. If the sum exceeds one, no finite constant independent of depth can replace one in (141). When the parameters belong to R, the latter assertion already holds for original-ring inputs.
For nonzero inputs under (142), equality is classified as follows. If exactly one parameter has absolute value one, all the other inputs must be scalar and that input is unrestricted. In every other case all inputs must be scalar. Here an input is scalar when all its nonempty path coefficients vanish, regardless of its typed depth.
Proof.
Induct on the largest input depth. To record the real component norms inside this calculation, put and . The lower-depth inequality, applied to each ordinary product in the two components, and the triangle inequality bound the squared output by
Cauchy–Schwarz and (142) bound the second term as follows:
The difference between the full input product and the resulting bound is
A scalar input has ; thus the same induction handles different depths. Nonzero scalar inputs prove sharpness of the constant.
If , choose a small nonzero real t and depth-one inputs . Their squared norm ratio is
for sufficiently small t. Replace each input by its repeated directed tensor power. Product compatibility within fixed blocks and tensor norm factorization raise this ratio to the number of blocks. It is therefore unbounded. For parameters in R, choose small; every coefficient of this construction then remains in R.
For equality, first suppose every . If two or more of the vanish while every input is nonzero, (143) is zero and equality is impossible. If exactly one vanishes, its ratio to is at most . When all , equality in the expansion of the product allows at most one nonzero . Equality in Cauchy–Schwarz then requires either every , or a single parameter of absolute value one. The latter is excluded in this case. The strictness with a single nonzero can also be read directly: after cancelling the other positive , the squared ratio in the component estimate is
Hence all second components vanish. Repeating on the first components shows that all inputs are scalar. In the remaining parameter case, one parameter is 1 or and every other parameter is zero. Its operation is an isometry, while the other operations take scalar coefficients. Their norms equal the input norms exactly for scalar inputs, proving the asserted equality conditions. □
The first-homogeneous radius estimates and the damping threshold give different forms of uniform control. On the whole set of nilpotent displacements, the finite functional calculus has a stricter continuity criterion. Continuity and differentiability on zeon algebras are studied in [13]. The question here concerns one normed space of finite recursive objects with no common depth bound. On each fixed finite level a fixed-scalar evaluation is a polynomial in finitely many path coefficients; the following result determines what survives when perturbations may use arbitrarily many further positions.
Theorem 36
(Continuity on a fixed scalar fiber). Fix a scalar coefficient c and admissible scalar data . On , equipped with the Ω norm, the following conditions are equivalent: evaluation is locally bounded at some point; it is continuous at some point; and for every integer . In this case
at every finite input, and its optimal Lipschitz constant is . If any higher datum is nonzero, evaluation is locally unbounded at every point of this fiber. These statements hold both for admissible original-ring data and for real scalar extension.
Proof.
If all higher data vanish, the finite formula reduces to (144). Scalar multiplication has norm , which is the exact difference ratio on every nonzero displacement. Continuity at a point always implies local boundedness there.
For the converse choose an integer with and fix any finite input x of scalar coefficient c. Choose in R sufficiently small that
Such a choice exists: as a polynomial in , the difference of the right and left sides has positive linear coefficient . Choose a real number a strictly between and , and put
Place the n positions of after every position used by x; inserting an initial scalar unit block does this without changing its norms. The path product and fixed-block norm factorization give
Since , the two bounds are
The first base is less than one and the second is greater than one, so the first norm has limit zero and the second is unbounded.
Choose d further positions , disjoint from all those already used, and define
Then , tends to zero, and tends to infinity. The finite translation identity for the scalar data is
To verify it, expand (111) at the common scalar coefficient c and apply the binomial theorem to ; collection of the powers gives the displayed sum. Its terms contain different numbers of the new marker positions and are orthogonal. In addition, uses only the old positions, whereas uses only new ones, so their product norm factorizes. Therefore
The first factor is positive because its scalar coefficient is . This proves unbounded values in every neighborhood of x. All constructed coefficients are in R when the original ring is under consideration. □
Corollary 7
(Varying the real scalar coefficient). Let f be smooth on a real open interval and let x be a finite real input of scalar coefficient c in that interval. On all finite real inputs with allowed scalar coefficients, the following are equivalent: evaluation is locally bounded at x; it is continuous at x; and f is affine on a neighborhood of c.
Proof.
If on such a neighborhood, every nearby input evaluates to the corresponding affine expression. The scalar coefficient is a continuous norm-one functional, and for nearby y one has
The first inequality keeps the scalar coefficient in the affine neighborhood; the second proves continuity.
If f is not affine on any neighborhood of c, arbitrarily close scalar coefficients satisfy . Otherwise its second derivative would vanish on a neighborhood, making it affine there. Given a radius , choose such a with and set . Theorem 36, with , supplies inputs of scalar coefficient such that
They remain in the original ball, since
Thus evaluation is unbounded in every ball about x; local boundedness and continuity both fail. □
The fixed-coefficient condition involves derivatives at one point, whereas Corollary 7 involves an actual scalar neighborhood. A smooth function can have every higher derivative zero at one point without being affine near it. On original-ring rational domains restricted by unit denominators, the allowed scalar coefficients can be locally discrete. The fixed-scalar criterion still applies, while the neighborhood criterion requires an open real scalar domain.
6. Free Concatenation, Lie Brackets, and Jordan Products
The two tensor orders developed above also determine operations through their difference and sum. Keeping the prescribed depths gives a free associative algebra whose commutator is a Lie product and whose symmetrization is a Jordan product when 2 is invertible. Its faithful action on global recursive objects connects this graded construction with scalar descent. Fixed-block metric factorization then gives exact norm identities and sharp bounds for commutators and associators. Reversal of the recursive paths organizes the symmetric and antisymmetric components, while the dependence on block lengths specifies which conclusions belong to typed objects.
6.1. Free Concatenation and Its Global Action
In the graded construction, addition keeps different levels as separate summands. It is the direct-sum addition used to extend concatenation bilinearly, distinct from mixed-depth addition on global refinement classes.
Definition 9
(The graded tensor algebra). Let
An element of is a finite sum of typed components. Extend the left tensor by R-bilinearity with respect to this direct-sum addition. Its zero is denoted by 0, and its identity by . Write
for the two basis elements of its degree-one component. Each summand has the same zero in . Its ordinary unit, however, is the homogeneous word for , distinct from the tensor identity .
Theorem 37
(Free associative structure). The algebra is the free associative unital R-algebra on and . Its degree-n component has the words of length n in these two elements as a basis. The right tensor is the multiplication of the opposite algebra.
Proof.
Successive use of (81) identifies
In each position, chooses the pos component and chooses the len component. The resulting words are exactly the path basis of depth n. Associativity from Theorem 19 makes the product of two words their concatenation. Given two elements of any associative unital R-algebra, evaluate each word by replacing the two letters with these elements and extend linearly. The empty word has value the target unit. For two words , evaluation satisfies
Distributing over two finite word expansions proves this identity for arbitrary elements of . Conversely, any homomorphism with the prescribed generator values must have these values on every word and hence on every finite linear combination. This proves existence and uniqueness in the universal property of the free algebra. The identity proves the last assertion. □
Theorem 38
(Faithful action and the nilradical as a free module). For a fixed , the rule
defines an R-linear operator on . Its real scalar extension satisfies
It extends to the weighted completion . For a fixed y, assigning to the class gives the same operator .
Extending x linearly across the graded summands gives a faithful unital action of on by bounded operators. The nilradical is invariant under this action, and
is an isomorphism of left -modules between the regular module and . In particular, is free of rank one for this directed tensor action. If with , then
Proof.
Second-input covariance in Proposition 10 shows that (147) is independent of the representative of . Indeed, for every ,
If two representatives of agree after refinement, their outputs therefore agree after the corresponding refinements as well. The depth of the fixed action parameter x stays unchanged throughout. Mixed-depth distributivity in that input proves linearity. Tensor norm factorization proves the first identity in (148), and evaluation at the global unit 1 proves the exact operator norm. Associativity gives, for a third input z,
Boundedness gives the continuous extension to the completion. The right-oriented rule follows from the opposite identity. For a finite graded sum, its action is the sum of the individual bounded operators, with norm at most .
An input with zero scalar coefficient remains of zero scalar coefficient after tensoring on the left, so is invariant. By the block path formula,
Indeed, the last position of is occupied and its earlier positions have exactly the arbitrary coefficients of . Every nonempty finite support has a unique last position. Explicitly, for define
Only finitely many are nonzero, and the block path formula gives
The same coefficients are forced by u, so is bijective. Associativity gives
which proves the module assertion. These submodules are also mutually orthogonal for the global weighted form. Therefore
Finally, if , then , proving faithfulness. □
The free-module assertion concerns the directed action. Ordinary commutative multiplication has the different nilpotent and annihilator properties established in Section 2. The action parameter retains its depth: for instance, and take different values on by (92).
Proposition 17
(The refinement quotient as a module). Let
There is an R-module identification . The submodule is a left ideal of , but is not a right ideal.
Proof.
Assign to a finite graded sum the sum of its global classes. The generators of have value zero because . Conversely, for a kernel element , the common-depth sum is zero in . In , each difference is the telescoping sum
The common-depth sum is the zero element of its typed level, by Lemma 1. Hence, in the graded module,
This proves equality with the kernel. Surjectivity holds because each global object has a finite typed representative, which is itself one homogeneous element of . The quotient identification follows. Left multiplication preserves each generator because
However, belongs to , while
has global value . It does not belong to . This proves the right-ideal failure. □
Definition 10
(Tensor commutator). For homogeneous elements, and then by bilinear extension in , define
Theorem 39
(The commutator Lie algebra). The bracket is an ordinary -graded Lie bracket over R. It satisfies
Its action is faithful and respects operator commutators:
Proof.
The tensor grading and bilinearity give the degree and bilinearity statements. Subtraction proves alternation and antisymmetry. For Jacobi, associativity gives the three expansions
Adding cancels every ordered product with its negative. Similarly,
Linearity and the composition law in Theorem 38 give
If an element of the Lie algebra acted by zero, its action on would be zero. The injectivity of in that theorem then makes the element zero. Thus the Lie action is faithful. The grading records depth; these identities use the ordinary signs of a Lie algebra. □
Theorem 40
(Free Lie algebra and its ranks). Let be the Lie subalgebra generated by and . It is the free Lie algebra over R on these two generators. Its degree-n component is free of rank
where μ is the Möbius function. More precisely, the component with a occurrences of and b occurrences of has rank
Both expressions are integers. In particular,
Proof.
The integral Hall-basis theorem realizes the free Lie algebra on two letters as the Lie subalgebra they generate in the integral free associative algebra. Its homogeneous components have integral bases; equivalently, one can use the standard bracketings of Lyndon words, whose associative expansions have the corresponding word with coefficient one as their first term. The triangularity gives linear independence, and the Hall straightening identities, obtained from antisymmetry and Jacobi, give spanning. These facts hold integrally [9,33]. Localization from to R preserves the basis and its injection into the word algebra. By Theorem 37, its image is exactly .
The Poincaré–Birkhoff–Witt basis of the enveloping algebra, which here is the word algebra on two letters, gives the formal identity
Take formal logarithms over and compare the coefficient of :
Multiplying by n gives
The inversion can be written directly:
The inner divisor sum is one when and zero otherwise. Dividing by n proves (155). Since is the cardinality of a basis, this also proves the divisibility implicit in that expression.
Keeping the two letter counts in the same basis argument gives
The coefficient of in its logarithm, multiplied by , is
Möbius inversion along the common divisors of a and b proves (156). The same integral basis proves its integrality, including the cases in which one letter count is zero. □
For example, the first nonzero bracket and two degree-three brackets have the path expansions
The two latter elements have different letter counts and are independent. The commuting criterion for arbitrary positive depths is stronger than the same-depth proportionality test: by Theorem 24, two nonzero homogeneous elements commute exactly when they are scalar multiples of powers of one primitive block of depth equal to the greatest common divisor of their two depths.
6.2. Lie and Jordan Norm Identities
Definition 11
(Symmetric tensor product). When , define
on . For , the condition holds precisely when Ω is even. If Ω is odd, the same normalized product is considered over or over the real scalar extension.
Theorem 41
(Jordan identity and exact associator). Under the coefficient condition in Definition 11, ∘ is a unital special Jordan product. Its unit is 1, and
The two orientations decompose as
In particular, the right tensor induces the same Jordan product and the negative Lie bracket.
Proof.
Commutativity follows by exchanging the two summands, and . The two three-input products expand separately as
Subtracting the two common ordered products gives
Since , associativity gives
For the derivation identity, apply (153) to both orders of :
Thus this is the special Jordan algebra obtained from an associative algebra by symmetrization [10,11,34]. Adding and subtracting the two tensor orders proves (160) and its uniqueness. □
Without inverting 2, the unnormalized product still satisfies the Jordan identity. In its two sides the associative expansion is, in both cases,
Its product with 1 is , which explains the coefficient condition for the normalized unital product.
Theorem 42
(Orthogonality of the two orientation components). For and ,
When the normalized Jordan product is defined,
For two inputs in the same level , the exact formulas are
For nonzero same-depth inputs over R, the bracket vanishes precisely when they are linearly dependent over .
Proof.
The two orders have the same norm by (86). Expanding their sum-difference pairing gives
The two mixed terms cancel by symmetry. The parallelogram identity proves (161). Division by the indicated powers of two gives (162). At equal input depths, (85) gives
Consequently
The final assertion is the equality condition in the weighted Cauchy–Schwarz inequality. A proportionality relation between two nonzero vectors with rational path coefficients can be expressed over . Explicitly, if and at some path, then
Conversely, any such rational proportionality makes the two tensor orders equal by fixed-level bilinearity, so the bracket vanishes. □
For , the same-depth bracket bound is sharp, with nonzero equality exactly when . The Jordan norm lies between and ; orthogonal inputs attain the lower endpoint and proportional inputs attain the upper endpoint. Path basis inputs realize these endpoints over R, with the stated coefficient condition for normalized Jordan products. The equal-depth hypothesis in the Gram formulas cannot be removed. For and , the bracket is zero while and .
Theorem 43
(The three-input Jordan norm). Assume the normalized Jordan product is defined, and take . Its associator has the exact squared norm
For , its sharp trilinear bound is
For nonzero real inputs, equality holds exactly when x and z are orthogonal and y belongs to their real linear span. These conditions have examples over R whenever . For nonzero y, the associator vanishes exactly when x and z are linearly dependent. At depth zero the associator is identically zero.
Proof.
Use the four-word expression in the proof of (159). Put
All four words have the same three depth-m blocks. Their pairings can be recorded explicitly. Order the words as
Then four times the associator is , and fixed-block factorization gives the Gram matrix
The diagonal contribution is . Multiplying the off-diagonal entries by their signs and counting both orders gives . After division by 16, the result is
which is (164).
If x and z are independent, let P be the orthogonal projection onto their span. Choose an orthonormal basis of that plane and real scalars , such that
Then , , and . Hence
Taking squared norms gives
Here and , so equality holds exactly when , or . If are dependent, both sides of the identity are zero. Substitution into (164) gives
For nonzero inputs, both inequalities are equalities precisely under the stated orthogonality and span conditions. The first nonnegative term in (164) proves the vanishing criterion. To attain the bound over R, take two distinct path basis vectors as and take . They are orthogonal, and all the normalized operations remain over R when 2 is a unit. For a unit-norm example at depth , take
Here , , and , so the exact squared associator norm is . This gives the stated constant over the original ring. □
Theorem 44
(Exact norms of iterated commutators). Let , where and , and define recursively
For every ,
Thus the vanishing of one positive iterate, the vanishing of the first bracket, and rational linear dependence of over R are equivalent. A nonzero first bracket produces a nonzero element at every later iteration. When 2 is invertible, one also has
Proof.
Associativity and induction give the finite expansion
Here . To verify the induction, apply to the displayed sum. Prefixing x leaves the index j unchanged; subtracting the term with an appended x replaces it by . Thus the coefficient at index j becomes
where binomial coefficients outside are zero. The case is , completing the induction. Every term has blocks of the same length m. A term paired with itself contributes . Two distinct terms place y in different positions, and their pairing is . Therefore
combine the diagonal and off-diagonal contributions into the following squared norm:
The last binomial identity follows by comparing the coefficient of in . Positivity and the Cauchy–Schwarz equality condition prove the vanishing statements, including . Equation (159) identifies the associator in (168) with . Taking proves the formula, which is also a special case of (164). □
6.3. Sharp Block Estimates and Reversal
Theorem 45
(Sharp bounds for different tensor block lengths). Fix a nonzero with , and let . For , put . On the real scalar extension,
All three constants are exact for each fixed nonzero x. The nonzero equality vectors for (169) and the lower bound in () are exactly
where is nonzero and . The nonzero equality vectors for the upper bound in () are exactly with a nonzero real scalar t.
For fixed nonzero x over R, the commutator upper bound and the anticommutator lower bound have nonzero equality vectors over R exactly when or . For the same supremum and infimum hold over R, but neither endpoint is attained by a nonzero y over R. The anticommutator upper bound is attained over R for every k. All assertions remain valid after replacing every tensor with the right tensor. When the normalized Jordan product is defined, its corresponding bounds are obtained by dividing () by two.
Proof.
Let with its weighted inner product, and put . Fixed-block metric factorization identifies the real extension of isometrically with the k-fold tensor power of W. In this proof define two isometric operators by
Their adjoints satisfy
Choose an orthonormal basis of W containing e. For a word in this basis,
Thus removes an initial e and appends it at the end, and performs the reverse operation. An endpoint orthogonal to e makes the corresponding term zero.
The all-e word forms a one-dimensional subspace on which equals 2. Any other basis word has a unique core obtained by removing its initial and final strings of e. Its core has some length , and its first and last letters are orthogonal to e. For this fixed core h, the words
span an invariant subspace. On that orthonormal basis, is the adjacency matrix of a path with vertices: its only nonzero entries are the ones just above and below the diagonal. These subspaces, together with the all-e word, are an orthogonal decomposition of the entire space.
The spectrum of this path matrix is the standard one from algebraic graph theory [35]: its eigenvalues are
Indeed, put and . The endpoint values and the three-term relation are
The eigenvalues are distinct, so these ℓ nonzero vectors account for the whole path matrix. The smallest eigenvalue among all blocks is , attained only when and . The largest is 2, attained only on . Consequently (172) gives
Multiplication by proves the three bounds.
The endpoint eigenvector of a longest path has coordinates
Here the core is one basis vector orthogonal to e. Summing over all such cores permits an arbitrary nonzero , giving (171). Replacing e by x changes every term by the same scalar factor, which is absorbed into h. No shorter path has this endpoint eigenvalue. Moreover, in an orthogonal eigen-decomposition of , equality at its lower endpoint is equivalent to
All terms are nonnegative, so every component outside that eigenspace vanishes. This proves completeness of the equality list. Since , its orthogonal complement to e contains a nonzero vector, so the longest-path eigenspace really occurs. The largest sum norm comes only from the all-e word, giving its stated equality classification.
Suppose now that x has coefficients in R. Since , the weighted orthogonal complement of x contains a nonzero vector over R: solve its one rational linear equation and clear denominators. For take . For take ; the two sine coefficients in (171) have equal absolute value, so this vector attains both indicated endpoints. For , an equality vector over R would make the rational number
equal to . These values are irrational. To verify this directly, set and define integer polynomials by , , and . The cosine recurrence gives
Thus is monic and vanishes at this value of t. A rational root of a monic integer polynomial is an integer, whereas for . This proves the irrationality and the nonattainment. Density of R in , applied to the finitely many coordinates of an endpoint vector, gives the same sharp constants over R. The upper sum norm is attained by over R. Finally, replacing the tensor by the right tensor negates the commutator and leaves the sum unchanged. It preserves every bound and every equality condition. □
In particular, the successive sharp commutator constants for block ratios , , and are , , and . If , the theorem covers every positive depth of the second input. All these estimates concern typed blocks, as does their complete equality classification.
Definition 12
(Reversal). On a word in , let ρ reverse the order of its letters, and extend it linearly on . Thus and, on ,
Proposition 18
(Reversal, ranks, and parity). The operation ρ is an involutive, degreewise isometric anti-automorphism of the tensor algebra:
It satisfies
whenever the normalized Jordan product is defined. At each fixed level it also preserves ordinary multiplication.
If , put
Then
The submodules are orthogonal within and are free of ranks
Their products obey
For a homogeneous , even without inverting 2,
Proof.
Reversing a word twice restores it, and reversing a concatenation reverses the order of its two blocks. A reversed path has the same cardinality and therefore the same weight. Thus reversal is an isometry on each level. Permuting the positions also preserves intersection and union of path supports, so it preserves the ordinary path multiplication at that level. Taking the difference or average of the two orders proves (175).
When 2 is invertible, the projections satisfy
An element u in their two images satisfies , so and . This proves the direct sum. For and , degreewise isometry gives
so the pairing is zero. There are palindromic words of length n: the first half, including the middle letter when present, determines the rest. Every remaining word belongs to a two-element reversal orbit. An orbit has the basis , since
It contributes one vector to each sign component, while each palindrome contributes one positive vector. Hence
For and , with , (175) gives
The choices of signs prove all six containments.
The free Lie component therefore lies in the positive reversal component at odd degree and in the negative one at even degree. These inclusions can be strict: at degree three the free Lie rank is 2, whereas the positive reversal rank is 6. The positive and negative reversal spaces are orthogonal at each fixed degree; different degrees need not be orthogonal for the mixed-depth global form.
Proposition 19
(Dependence on typed representatives). Reversal, the tensor Lie bracket, and the symmetric tensor product depend on the chosen depths. They do not define corresponding operations on the global refinement classes. This includes the unnormalized symmetric product over R and, when defined, the normalized Jordan product.
Proof.
The equivalent representatives and have reversals and . The refinement of the first is , different from the second. At depth two their difference is
Refinement preserves these coefficients and their norm, so later refinements cannot identify the two outputs.
Likewise, and are equivalent, but
The unnormalized symmetric products with are and . At depth two these are and , which are different. Dividing by two gives the same obstruction for the normalized product. For the direct-sum addition of , one has . For recursive mixed-depth addition, instead , giving
Thus the bilinear Lie and Jordan laws use the direct-sum addition of , in accord with their constructions. □
7. Conclusions
The two component operations realize commutative square-zero algebras as recursive objects with arithmetic evaluated by scalar descent. Path coordinates describe the finite zeon multiplication and remain compatible with refinement, giving the global algebra and its recursive reconstruction. They also give explicit unit and nilpotent classifications, multiplication duality, annihilators, and finite exponential and logarithmic operations over the original coefficient ring.
The weighted form connects this arithmetic with exact norm estimates. The one-level dual-number bound assembles recursively into mixed-depth multiplication constants, while equality at each position determines all extremizers and their original-ring attainability. Directed tensor products preserve norms multiplicatively and retain the prescribed input blocks. Their alignment determines mixed-depth inner-product factorization, and logarithmic supports determine the finest consecutive-block decomposition of units. Typed concatenation equips the same blocks with associative, Lie, and Jordan operations; their norm estimates include exact block-length-dependent constants and arithmetic restrictions on endpoint equality.
Finite function evaluation is determined by scalar derivative data, with explicit conditions for coefficient-ring preservation and sharp bounds on first-homogeneous inputs. Across unrestricted depths, the same evaluation has a precise boundary: on a fixed-scalar fiber, any nonzero datum of order at least two forces local unboundedness at every point. Degree scaling provides uniform product control exactly when the squared parameters sum to at most one; outside this region no finite depth-independent constant exists. These positive estimates and obstructions describe how the finite recursive arithmetic behaves in the global normed space and its completion. The resulting foundation links scalar computation, recursive depth, and tensor-block structure within a single system of operations.
Acknowledgments
Large language model tools assisted manuscript preparation. The author reviewed the final text and takes responsibility for its content.
Conflicts of Interest
The author declares no conflicts of interest.
References
- Atiyah, M.F.; Macdonald, I.G. Introduction to Commutative Algebra; Addison-Wesley: Reading, MA, 1969. [Google Scholar]
- Bourbaki, N. Commutative Algebra: Chapters 1–7; Springer-Verlag: Berlin, 1989. [Google Scholar]
- Eisenbud, D. Commutative Algebra: With a View Toward Algebraic Geometry . In Graduate Texts in Mathematics; Springer: New York, 1995; Vol. 150. [Google Scholar] [CrossRef]
- Lang, S. Algebra, revised third ed.; Springer: New York, 2002. [Google Scholar] [CrossRef]
- Feinsilver, P. Representations of sl(2) in the Boolean lattice, and the Hamming and Johnson schemes. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 2012, 15, 1250019. [Google Scholar] [CrossRef]
- Neto, A.F.; dos Anjos, P.H.R. Zeon algebra and combinatorial identities. SIAM Rev. 2014, 56, 353–370. [Google Scholar] [CrossRef]
- Lindell, T.; Staples, G.S. Norm inequalities in zeon algebras. Adv. Appl. Clifford Algebr. 2019, 29, 13. [Google Scholar] [CrossRef]
- Cook, J.S.; Nguyen, K.V. On submultiplicative constants of an algebra. J. Inequal. Appl. 2019, 2019, 25. [Google Scholar] [CrossRef]
- Reutenauer, C. Free Lie Algebras . In London Mathematical Society Monographs, New Series; Oxford University Press: Oxford, 1993; Vol. 7. [Google Scholar]
- McCrimmon, K. A Taste of Jordan Algebras . In Universitext; Springer: New York, 2004. [Google Scholar] [CrossRef]
- Schafer, R.D. An Introduction to Nonassociative Algebras; Academic Press: New York, 1966. [Google Scholar]
- Staples, G.S.; Weygandt, A. Elementary functions and factorizations of zeons. Adv. Appl. Clifford Algebr. 2018, 28, 12. [Google Scholar] [CrossRef]
- Staples, G.S. Differential calculus of zeon functions. Adv. Appl. Clifford Algebr. 2019, 29, 25. [Google Scholar] [CrossRef]
- Stanley, R.P. Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property. SIAM J. Algebr. Discret. Methods 1980, 1, 168–184. [Google Scholar] [CrossRef]
- Harima, T.; Maeno, T.; Morita, H.; Numata, Y.; Wachi, A.; Watanabe, J. The Lefschetz Properties . In Lecture Notes in Mathematics; Springer: Berlin, Heidelberg, 2013; Vol. 2080. [Google Scholar] [CrossRef]
- Iarrobino, A.; Macias Marques, P.; McDaniel, C. Artinian algebras and Jordan type. J. Commut. Algebra 2022, 14, 365–414. [Google Scholar] [CrossRef]
- The Stacks Project Authors. Divided power structure, Definition 23.2.1, 2026. Tag. 07GL.
- Bruns, W.; Herzog, J. Cohen–Macaulay Rings . In Cambridge Studies in Advanced Mathematics, second ed.; Cambridge University Press: Cambridge, 1998; Vol. 39. [Google Scholar] [CrossRef]
- Hardy, G.H.; Littlewood, J.E.; Pólya, G. Inequalities, second ed.; Cambridge University Press: Cambridge, 1952. [Google Scholar]
- Folland, G.B. Real Analysis: Modern Techniques and Their Applications, second ed.; Wiley: New York, 1999. [Google Scholar]
- Bhatia, R. Matrix Analysis . In Graduate Texts in Mathematics; Springer: New York, 1997; Vol. 169. [Google Scholar] [CrossRef]
- Banach, S. Über homogene Polynome in L2. Stud. Math. 1938, 7, 36–44. [Google Scholar] [CrossRef]
- Friedland, S.; Lim, L.H. Nuclear norm of higher-order tensors. Math. Comput. 2018, 87, 1255–1281. [Google Scholar] [CrossRef]
- Marshall, A.W.; Olkin, I.; Arnold, B.C. Inequalities: Theory of Majorization and Its Applications . In Springer Series in Statistics, second ed.; Springer: New York, 2011. [Google Scholar] [CrossRef]
- Carlen, E.; Lieb, E.H.; Loss, M. An inequality of Hadamard type for permanents. Methods Appl. Anal. 2006, 13, 1–18. [Google Scholar] [CrossRef]
- Ryan, R.A. Introduction to Tensor Products of Banach Spaces . In Springer Monographs in Mathematics; Springer: London, 2002. [Google Scholar] [CrossRef]
- Bergman, G.M. Centralizers in free associative algebras. Trans. Am. Math. Soc. 1969, 137, 327–344. [Google Scholar] [CrossRef]
- Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions; D. Reidel Publishing Company: Dordrecht, 1974. [Google Scholar] [CrossRef]
- Constantine, G.M.; Savits, T.H. A multivariate Faà di Bruno formula with applications. Trans. Am. Math. Soc. 1996, 348, 503–520. [Google Scholar] [CrossRef]
- Kolář, I.; Michor, P.W.; Slovák, J. Natural Operations in Differential Geometry; Springer: Berlin, Heidelberg, 1993. [Google Scholar] [CrossRef]
- Higham, N.J. Functions of Matrices: Theory and Computation; Society for Industrial and Applied Mathematics: Philadelphia, PA, 2008. [Google Scholar] [CrossRef]
- Griewank, A.; Walther, A. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, second ed.; Society for Industrial and Applied Mathematics: Philadelphia, PA, 2008. [Google Scholar] [CrossRef]
- Hall, Jr., M. A basis for free Lie rings and higher commutators in free groups. Proc. Am. Math. Soc. 1950, 1, 575–581. [CrossRef]
- Jacobson, N. Structure and Representations of Jordan Algebras . In American Mathematical Society Colloquium Publications; American Mathematical Society: Providence, RI, 1968; Vol. 39. [Google Scholar] [CrossRef]
- Godsil, C.; Royle, G. Algebraic Graph Theory . In Graduate Texts in Mathematics; Springer: New York, 2001; Vol. 207. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.