19 papers
Typed Congruences and Quotient-Critical Irreducibility in Complete Ternary -Semirings
Chandrasekhar Gokavarapu, Madhusudhana Rao Dasari
We study congruences and binary reducibility in completely additive ternary -semirings through their two-sorted atomic cores. For an odd , an abelian group of expone…
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…
Central Splitting, Division-Stable Residuals, and Opposite-Ring Transfer for Strongly C4*-Rings
Chandrasekhar Gokavarapu, Naveen Kumar Kakumanu, Sajani Lavanya Madasi +2
The known decomposition theorem for strongly \(\Cfourstar\)-modules gives a semisimple summand and a summand-square-free residual summand, with two-way Hom-orthogonality when the a…
Morita Transport, Marked Projective Loci, and Dedekind Classification for C4-Type Conditionss
Chandrasekhar Gokavarapu, Sekhar Babu Gosala, Sudhakar Gadde +2
Objectwise Morita invariance of $\Cfour$ is known. We prove the corresponding statements for $\Cfourstar$, semi-weak-CS, and strongly $\Cfourstar$, including the chain joins in the…
Certified Reduced-Order Surrogates and Stability Margins in Viscous Incompressible Flow and Fluid--Structure Interaction
Chandrasekhar Gokavarapu, Naveen Kumar Kakumanu, Anjali Datla +1
Let solve the incompressible Navier--Stokes equations in a regime in which an energy inequality is available and each constant in that inequality is computable from declare…
Certified Learning under Distribution Shift: Sound Verification and Identifiable Structure
Chandrasekhar Gokavarapu, Sudhakar Gadde, Y. Rajasekhar +1
Proposition. Let be a predictor trained on a distribution and evaluated on a shifted distribution . Under verifiable regularity and complexity constraints, the excess ri…