sotofranco.dev · mathematical sciences
The curvature of is the pressure Hessian. Read against the Caffarelli–Kohn–Nirenberg theory, this places the Navier–Stokes singular set where curvature concentrates or the strain–enstrophy imbalance vanishes. In the scale-critical class the balanced regime is excluded; beyond it the Liouville problem for bounded ancient pressureless flows remains open.
From labelled transition systems and bisimulation through Mazurkiewicz traces and event structures to happens-before, logical clocks, and the observability coefficient: a mathematical account of what it means for a concurrent system to be causally intelligible.
Two Python packages, one idea: GPU FFTs that don't care whose GPU you own. gpufft wraps cuFFT and VkFFT for cross-vendor transforms today (NVIDIA, AMD, Intel, Apple); ferrum-gpu writes the kernels in pure Rust, compiled to PTX by cuda-oxide, within 1.3-3.7× of cuFFT. Both on PyPI.
A covariant geometric-calculus formulation of active -atic hydrodynamics on Riemannian 3-manifolds: one order-parameter family, and a non-equilibrium variational principle selecting braided and knotted disclination structures.
A physics reading of Nolan's Interstellar (2014) in which Kerr geometry, Randall-Sundrum II brane-bulk coupling, and M-theory singularity resolution collapse the film's apparent plot holes into consequences of one maintained parameter: Gargantua's spin.
A single pipeline from microstructure to discrete solver: mean-field homogenisation on a representative volume element produces an -valued permeability tensor field , which induces a Riemannian metric , whose Hodge star discretises the Laplace-Beltrami operator, and whose scalar curvature drives adaptive remeshing.
The generalised Stokes theorem proved in full, recovering FTC, Green’s theorem, the divergence theorem, and classical Stokes as special cases. Hodge decomposition with complete Sobolev proof. Harmonic representatives, Betti numbers, and the de Rham isomorphism . The conclusion of a five-part lecture series.
Forms as antiderivatives, oriented manifolds, manifolds with boundary, partitions of unity, integration of -forms over -submanifolds, the change-of-variables theorem via pullback, the Riemannian volume form, period integrals, the Mayer-Vietoris sequence, and the full de Rham cohomology of spheres, tori, and surfaces. Part IV of a five-part lecture series on differential forms and the generalised Stokes theorem.
Smooth manifolds, tangent and cotangent spaces, differential forms as smooth sections of , the exterior derivative, pullback along smooth maps, and the recovery of grad, curl, and div as the exterior derivative in . Part III of a five-part lecture series on differential forms and the generalised Stokes theorem.
The algebraic machinery behind differential forms: dual spaces, multilinear alternating maps, the wedge product, bases and dimension of , determinants as top forms, the interior product, and the Hodge star. Part II of a five-part lecture series on differential forms and the generalised Stokes theorem.
A measure-theoretic construction of probability and statistics, from sigma-algebras through estimation theory and hypothesis testing to the Riemannian geometry of statistical manifolds.
A self-contained reconstruction of numerical analysis through discrete exterior calculus: simplicial complexes, cochains, the discrete Hodge star, and the Hodge Laplacian, applied to quantum mechanics, computational electromagnetics, and fluid dynamics.
A graduate-level bridge from double-entry bookkeeping to P&L attribution, the Greeks, risk measures, and tax lot accounting for algorithmic trading.
A self-contained, proof-based reconstruction of single and multivariable analysis from first principles: topology of , the derivative as a linear map, the chain rule, and the inverse and implicit function theorems. Part I of a five-part lecture series on differential forms and the generalised Stokes theorem.
A measure-theoretic construction of risk-adjusted return: Sharpe, Sortino, Calmar, Omega, and Rachev as functionals on the space of return distributions, with four novel theorems and empirical verification on live backtest data.
A rigorous derivation of Kelly's growth-rate-optimal betting strategy from Shannon's mutual information, with application to binary prediction markets.
Darcy's law recast as geodesic flow on a Riemannian manifold , pressure diffusion as the Laplace–Beltrami equation, and permeability tensor interpolation via geodesics, with Rust for embedded well-site monitoring.
Types, ownership, operational semantics, async, and the FFI bridge: a graduate-level treatment of Rust from mathematical first principles.
Four languages for one theory: vector calculus, differential forms, spacetime algebra, and principal fiber bundles. From the classical field equations to gauge invariance, the Aharonov-Bohm effect, Yang-Mills theory, and Dirac monopoles.
An end-to-end derivation of the incompressible Navier–Stokes equations from continuum mechanics axioms, geometric reformulation via differential forms, coordinate-free lift to a Riemannian manifold, the Millennium Prize problem, functional analysis, and geometric algebra.
A rigorous tour through stationary and non-stationary models of price evolution, with geometric analysis at the forefront. From the random walk null and Black-Scholes as flat geometry, through mean reversion as curved Riemannian diffusion, wavelets, geometric harmonics, and information geometry, anchored throughout by empirical evidence from BTC/ETH millisecond data.
From the Gaussian heat kernel on to the Laplace-Beltrami operator on Riemannian manifolds, with the short-time heat kernel expansion and spectral theory.
A rigorous construction of smooth manifolds from first principles: charts, tangent spaces, Riemannian metrics, curvature tensors, and geometric flows.
Fireflies, neurons, power grids: all governed by the same equation. A tour through the Kuramoto model, its order parameter, and the phase transition that turns noise into rhythm.
Resolution-dependent direction reversal in BTC/ETH lead-lag on Binance spot: ETH leads at 1ms, BTC leads at 100ms, crossover at 15–20ms. January and full year 2025.
gpufft v0.1.3 (cuFFT + VkFFT, cross-vendor); consolidated dual launch