7 papers · 1 filter
Barr-Exactness and Congruence-Based Homological Algebra in Ternary -Semimodules
Chandrasekhar Gokavarapu, D Madhusudhana Rao
Let be a ternary --semiring and let be the category of ternary --semimodules with the intrinsic five--ary action $T\times Γ\times M \times Γ\times T…
Finite Structure and Radical Theory of Commutative Ternary -Semirings
Chandrasekhar Gokavarapu, D Madhusudhana Rao
Purpose: To develop the algebraic foundation of finite commutative ternary -semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that…
Prime and Semiprime Ideals in Commutative Ternary -Semirings: Quotients, Radicals, Spectrum
Chandrasekhar Gokavarapu, Dr D Madhusudhana Rao
The theory of ternary -semirings extends classical ring and semiring frameworks by introducing a ternary product controlled by a parameter set . Building on the foundationa…
Homotopical Foundations of Ternary Gamma Modules and Higher Structural Invariants
Chandrasekhar Gokavarapu
We establish a foundational homotopical framework for ternary -modules by establishing that is a Barr-exact, monoidal closed category. We resolve the l…
Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries
Chandrasekhar Gokavarapu
Formal verification of deep neural networks is increasingly required in safety-critical domains, yet exact reasoning over piecewise-linear (PWL) activations such as ReLU suffers fr…
Harmonic Analysis on Directed Networks: A Biorthogonal Laplacian Framework for Non-Normal Graphs
Chandrasekhar Gokavarapu
Classical spectral graph theory relies on the symmetry of the adjacency and Laplacian operators, which guarantees orthogonal eigenbases and energy-preserving Fourier transforms. Ho…