The Log-Tower Generator is an advanced symbolic and computational engine designed to calculate the exact
Specifically, it provides a closed-form, algorithmic solution for evaluating complex jet space structures of the form:
In standard computational mathematics, evaluating high-order mixed partials of nested rational functions triggers combinatorial explosion. Repeatedly applying the quotient and chain rules across multiple orthogonal dimensions forces computer algebra systems to build exponentially large expression trees riddled with redundancies that quickly consume memory and processing power.
Version 2.0.0 bypasses these algebraic bottlenecks. By deploying a Chronological Step-Operator Engine, the framework maps a constrained index set (
The Log-Tower Generator has been fully re-architected, transitioning from the 1-D mathematical framework of v1.0.0 into a fully optimized,
-
Multidimensional Jet Space Support: Upgraded to handle high-order mixed partial derivatives across any number of orthogonal dimensions (e.g.,
$x, y, z, t$ ) using multi-index notation ($\alpha$ ). - Chronological Step-Operator Engine: Bypasses combinatorial explosion that standard quotient-rule applications and generic geometric index loops cause. The engine utilizes a spatial gradient sequence (Anchor and Historical Web logic) efficiently generating only chronologically valid paths.
-
Asymmetric Tensor Caching (
$\Omega^\alpha_\beta$ ): The master equation decouples the structural "drag" of the denominator$f(X)$ from the forcing input of the numerator$g(X)$ . The$F$ -sector states are cached independently, meaning sequential derivative mapping and input-swapping operations require only a fraction of standard brute-force computation. -
The Spine Projection Corollary: Introduces a direct algebraic pathway to evaluate the multidimensional derivative of the logarithmic scaffold (
$R_\alpha = \Gamma_\alpha - R \Phi_\alpha$ ), bypassing the scaling sector$h(X)$ when only the core ratio is under consideration. -
SymEngine (C++) Integration: The recursive core of the generator now leverages SymEngine's ultra-fast C++ backend. Heavy multi-index calculations (such as an 8th-order, 4-D
$A_{(2,2,2,2)}$ tree containing tens of thousands of terms) are generated in milliseconds, outpacing SymPy brute-force cold starts by 40% or more.
Directly differentiating "Log-Tower" expressions of the form
The Log-Tower Generator v2.0.0 resolves combinatorial explosion by mapping spatial gradients into a canonical normal form over a multidimensional jet space for mixed partial derivatives, extending the stable F/G-sector symmetry into
-
Sector Decomposition: Splitting the multidimensional solution into a homogeneous
$\Phi_\alpha$ sector and a particular$\Gamma_\alpha$ sector utilizing their fundamental underlying symmetry. -
Chronological Routing: Bypassing processor-intensive Bell polynomial combinatorics and generic geometric bounding using a Chronological Step-Operator Engine to construct a Constrained Index Set (
$\hat{A}_\alpha$ ), eliminating path-independent "phantom states" from the calculation. -
Tensor Caching: Pre-calculating the system's multidimensional "drag" as a cached F-Kernel (
$\Omega^\alpha_\beta$ ) across a tensor grid, independent of the input signal. -
Linear Superposition: Generating the final mixed partial differential
$P(A_\alpha)$ as a clean linear combination of these modular,$w$ -rooted components.
This approach reveals deep structural symmetries in multivariate derivative towers. It provides a rapid, closed-form mapping mechanism that draws parallels to Lie-operator expansions, offering highly optimized solutions for symbolic computation, differential algebra, and asymptotic analysis.
The
Potential uses include:
- Physics-Informed Neural Networks (PINNs): Acting as a custom gradient layer to replace standard Automatic Differentiation (AutoDiff), mitigating exponential memory costs and numerical instability inherent in deep physical simulations by computing exact, high-order mixed partial derivatives natively as vectorized tensor convolutions.
-
Memoized Tensor Caching: Utilizing the forward-filling multidimensional
$\Omega$ cache to feed pre-computed lower-order states into the network, drastically accelerating the backward pass.
-
Hopf Algebras & Admissible Cuts: The
$\hat{A}_\alpha$ constrained index set acts as a highly optimized, path-dependent coproduct operator. By isolating the chronological Anchor State and the Historical Web, the generator naturally executes the "admissible cuts" defined by the Connes-Kreimer Hopf algebra, bypassing the unphysical "phantom states" (or theoretical infinities) generated by standard geometric multi-index bounding. -
Coupled Recursive Systems: Asymmetric decoupling of the structural
$\Omega_\beta^\alpha$ tensor cache from the forcing input of the$G$ -sector mathematically mirrors the combinatorial shuffling algebras used to solve coupled DSEs. This decoupling allows for the rapid asymptotic analysis of high-order logarithmic quantum corrections without triggering geometric processor hang. - The Rota-Baxter Bridge: The foundational proof within the generator — that dropping a discrete tensor index is mathematically equivalent to integrating across a continuous path via Volterra integration — provides a direct computational execution of Rota-Baxter algebras, formally bridging the discrete combinatorics of path-dependent derivative routing with the continuous topological space of the quantum field.
-
Astrophysics (Compressible Navier-Stokes): Mapping fractal geometries of supernova shockwaves, the viscous shear in black hole accretion disks, and the supersonic interstellar turbulence driving molecular cloud collapse using the amplitude modulator
$h(X)$ to represent the dynamic gas density field. - Spatiotemporal Turbulence (Fluid Dynamics): Mapping the shifting multidimensional scaling exponents of turbulent kinetic energy using massive continuous datasets like the Johns Hopkins Turbulence Databases.
- Dynamic Fractal Complexity: Calculating the higher-order spatial gradients of structural breakdown in complex, evolving climate systems, such as sea ice fragmentation or cloud cover perimeters.
- Econophysics (Non-Linear Elasticity): Extracting high-order sensitivities (the "Greeks") of multi-variable market elasticity and demand surfaces from high-frequency trading data.
- Advanced Manufacturing (Cold Spray): Mapping aerodynamic shear forces and shock diamond expansions in supersonic metal powder deposition nozzles.
- Industrial Power Generation: Isolating mixed-partial derivatives of shockwaves interacting with the boundary layers of transonic turbine blades to predict microscopic metal fatigue.
- Medical Technology: Modelling physical fragmentation and multidimensional dispersion boundaries of compressible, supersonic liquid streams in needle-free jet injectors.
- Structural Safety (Blast Mitigation): Isolating nodes of maximum multidimensional shear force in refracting, non-linear explosive shockfronts as they interact with physical infrastructure.
- Hypersonic Boundary Layer Transition: Pinpointing high-order geometric inflection points where plasma boundary layers fracture into turbulence over re-entry vehicles and scramjets.
- Rocket Engine Combustion Instability: Mapping spatial gradients of acoustic pressure amplification inside liquid rocket combustion chambers to disrupt resonant feedback loops.
- Aeroacoustics (Supersonic Jet Noise): Extracting multidimensional source terms of damaging Mach wave radiation and acoustic frequencies from exhaust plumes.
-
Differential Algebra & Picard-Vessiot Theory: Acting as a master theorem for the ideal generated by logarithmic-fractional functions. By assembling
$\Gamma_\alpha$ and$\Phi_\alpha$ via the$\Omega$ -governed constrained tensor summations over$\hat{A}_\alpha$ , it generates closed-form algebraic blueprints required to prove whether complex PDEs have exact Liouvillian solutions. - Analytic Number Theory: Extracting high-order arithmetic residues of multi-variable zeta functions without generating path-independent geometric errors.
- Complex Geometry: Isolating non-vanishing curvature terms of complex manifolds (the Levi form) to calculate high-order topological invariants near logarithmic asymptotes.
Let
For the multidimensional expansion, we define our base functions and modular components as follows:
-
The Base & Input:
$f(X)$ ,$g(X)$ , and$h(X)$ are differentiable multivariate functions. -
The Spine (
$R_\alpha$ ): The$\alpha$ -th mixed partial derivative of the logarithmic scaffold$\frac{\ln g(X)}{\ln f(X)}$ . -
The Scaling Module (
$h_\alpha$ ): The$\alpha$ -th mixed partial derivative of the exponent function$h(X)$ . -
The Base Module (
$F^{(w)}_\alpha$ ): The$\alpha$ -th mixed partial derivative of$\frac{f_w}{f \ln f}$ representing the relative rate of change of the base rooted in dimension$w$ . -
The Input Module (
$G^{(w)}_\alpha$ ): The$\alpha$ -th mixed partial derivative of$\frac{g_w}{g \ln f}$ representing the relative rate of change of the input rooted in dimension$w$ .
To manage the combinatorial complexity of the expansion, we define three structural operators that absorb all induced cross-sector structure and form the backbone of the canonical expansion:
-
$\Gamma_\alpha$ (The G-Sector): The recursive multidimensional polynomial state accounting for the forcing input of the numerator. -
$\Phi_\alpha$ (The F-Sector): The homogeneous component accounting for the internal dynamics of the denominator. -
$\Omega^\alpha_\beta$ (The F-Kernel): A cached tensor grid representing the system's "drag," calculated completely independent of the input signal.
Finally, to navigate the jet space efficiently, we introduce:
-
The Constrained Index Set (
$\hat{A}_\alpha$ ): A bounded set of chronologically valid coordinates generated by the Anchor and Historical Web logic, bypassing generic geometric loops to eliminate path-independent phantom states.
To ensure the multidimensional Log-Tower expression
-
Positivity: Both
$f(X) > 0$ and$g(X) > 0$ must hold to satisfy the requirements of the real-valued natural logarithm. -
Non-Vanishing Denominator:
$f(X) \neq 1$ is required to prevent a zero-valued denominator in the quotient$\ln f(X)$ . -
Multivariate Singularity Analysis: Special consideration is required along any spatial gradient where
$f(X) \to 1$ ,$f(X) \to 0$ , or$g(X) \to 0$ . Depending on the local behavior of$h(X)$ and the directional logarithmic growth rates, these regions may represent functional poles, branch cuts, or removable singularities requiring multidimensional limit-based evaluation.
For any multi-index
where
To understand the structural symmetry of the derivatives, the generator can be expressed as a linear superposition of multi-index convolutions. Utilizing the generalized Leibniz rule, the polynomial is assembled by separating the distinct "forcing" and "decay" sectors:
This function maps how the individual modular components contribute to the total jet space structure:
-
Raw
$h$ -sector ($h_\alpha$ ): The direct$\alpha$ -th mixed partial derivative of the scaling function$h(X)$ . -
Recursively corrected F-sector (
$\Phi_\alpha$ ): The homogeneous component accounting for the internal dynamics of the denominator$f(X)$ . -
Recursively corrected G-sector (
$\Gamma_\alpha$ ): The particular component accounting for the forcing input of the numerator$g(X)$ .
Because the multidimensional module states are anchored by the base cases
The
While the
In v1.0.0, the single-variable expansion relied heavily on generic index bound loops which produce invalid, path-independent mixed-partial branches in a multidimensional environment. While Bell set partitions present a solution that navigates this path dependency, they lead to combinatorial explosion. Instead v2.0.0 utilizes a Chronological Step-Operator Engine.
This engine enforces a right-to-left spatial gradient sequence (e.g.,
Instead of calculating all possible geometric partitions and filtering them, the engine directly constructs a strictly bounded Constrained Index Set (
The union of two path-dependent subsets generates the set for every dimension
-
The Anchor State (
$\mathcal{S}_{k, \text{anchor}}$ ): The upper chronological boundary where the current root axis is shifted by exactly one derivative, and all prior axes have reached their target state.
-
The Historical Web (
$\mathcal{S}_{k, \text{web}}$ ): The cumulative routing history where the root axis accounts for the remaining lower-order derivatives, and prior axes occupy any valid state within their bounds.
To evaluate the paths defined by
The coefficients
(With the base case
Mapping the
The G-sector and F-sector states accumulate as:
The algorithm dynamically prunes the dependency tree by evaluating only the valid anchor and web states, allowing for rapid generation of high-order mixed partial sequences.
Because the
Assuming the final step of the spatial gradient is taken with respect to dimension
This identity confirms that the complex behavior of the underlying logarithmic ratio evolves deterministically from the same cached
The v2.0.0 architecture bypasses the combinatorial explosion inherent to standard quotient-rule applications by decoupling the mathematical drag of the denominator into the
When mapping a chronological sequence of multi-index derivatives, the standard brute-force method curves upwards exponentially as it reconstructs the quotient tree from scratch. The
Because the F-sector's recursive shift operator (
The full narrative behind deriving the generator — spanning from the 1-D F/G-sector origins in v1.0.0 to the fully optimized, multidimensional jet space architecture of v2.0.0 — is available in the repository documentation.
The walkthrough is broken down into 8 parts and covers:
- The foundational proofs for the closed alphabet and F/G-sector symmetry.
- The transition from standard recursive algorithms to discrete convolution.
- The pruning of generic geometric index loops and Bell set partitions.
- The formal Python implementation of the Chronological Step-Operator Engine and the
$\hat{A}_\alpha$ constrained cache.
You can begin reading the documentation here.
- Python 3.8 or higher
- Git
Clone the repository and install the framework via pip. The core package automatically installs sympy and symengine.
# Clone the repository
git clone https://github.com/Graham-Cat/Log-Tower-Generator.git
cd Log-Tower-Generator
# Install the core engine
pip install .
# Optional: Install with testing and visualization tools
pip install .[test,viz]
The v2.0.0 architecture uses a persistent class-based state machine (LogTowerGenerator) to maintain the
Here is a minimal example calculating a 3D mixed-partial derivative:
import symengine as se
from src.generator import LogTowerGenerator
# 1. Define the spatial dimensions and pure abstract functions
x, y, z = se.symbols('x y z')
f = se.Function('f')(x, y, z)
g = se.Function('g')(x, y, z)
h = se.Function('h')(x, y, z)
# 2. Instantiate the Chronological Step-Operator Engine
generator = LogTowerGenerator((x, y, z), f, g)
# 3. Define the multi-index for the derivative (e.g., a 4th-order mixed partial)
alpha = (2, 1, 1)
# --- Option A: The Spine Bypass ---
# Calculates P(R_alpha) directly, bypassing the multi-index convolution loop
poly_R_alpha = generator.get_R_alpha(alpha)
print(f"P(R_alpha) = {poly_R_alpha}")
# --- Option B: The Master Generator ---
# Calculates P(A_alpha) using the complete h(X) convolution sequence
poly_A_alpha = generator.get_A_alpha(alpha, h)
print(f"P(A_alpha) = {poly_A_alpha}")For a more comprehensive walkthrough of the engine's output formatting and SymPy handoffs, run the included demo.py script.
Contributions are welcome. Open an issue or submit a pull request if you have:
- mathematical insights
- simplifications
- symbolic optimizations
- documentation improvements
This project utilizes a dual-license strategy to cover both the software implementation and the theoretical work:
The source code (files within src/ and tests/) is licensed under the MIT License. See the LICENSE file for details.
The mathematical derivations, "Walkthrough" narratives, diagrams, and theoretical discoveries (specifically the F/G-sector symmetry and related alphabet) are licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Attribution: If you adapt or redistribute the theoretical concepts from this repository, please cite as:
Feick, Christopher. (2026). Log-Tower Generator: A Multidimensional Jet Space Engine for High-Order Mixed Partial Derivatives. GitHub. https://github.com/Graham-Cat/Log-Tower-Generator


