Kartikey Singh (Kartikeya Gangwar)

Computational Mathematician & Scientific AI Researcher developing physics-informed neural architectures, symplectic dynamical systems, and bare-metal high-performance PDE solvers.

Department of Mathematics, University of Delhi • Advised by Prof. Vinay Kumar

Flagship Research Projects & Simulations

Interactive showcase of 10 computational physics frameworks, neural operators, and high-performance solvers.

EIT Zero-FEM Shape Inversion Click to enlarge
Under Review at IEEE TCI Inverse Problems

Deep Shape Inversion in Electrical Impedance Tomography

Resolves the logarithmic ill-posedness of the continuous Calderón problem via stochastic directional Jacobian-Vector Product (JVP) supervision on $\mathbb{S}^{63}$. Delivers a $56.8\times$ wall-clock speedup ($35.6\,\mathrm{ms}$ vs $2.02\,\mathrm{s}$/step) with bounded $342.8\,\mathrm{MB}$ VRAM and $99.57\%$ noise robustness.

Analytic Sensitivity: $\mathbf{J}_{\mathrm{FEM}} = \mathbf{J}_\sigma \frac{\partial \boldsymbol{\Sigma}}{\partial \boldsymbol{\theta}}, \quad \mathbf{J}_\sigma \mathbf{v} \in \mathbb{S}^{63}$
CPA-SHNN Celestial Dynamics Click to enlarge
Target: Astronomy & Computing / MNRAS Astrodynamics

CPA-SHNN: Symplectic Celestial Neural Networks

Proves exact separable Kinetic-Coriolis Hamiltonian splitting ($\nabla_{\mathbf{z}} \cdot \mathbf{f}_\theta \equiv 0$) and Arnold extended contact phase spaces ($\mathcal{K}_\theta \equiv 0$) across 6 chaotic celestial systems (Binary Quasars, Sitnikov 5-body, CR3BP). Multi-scale Fourier features yield a $126.4\times$ error collapse on gravitational saddle points.

Invariant: Symplectic 2-Form Conservation $\omega(t) = \sum_{i=1}^n dq^i(t) \wedge dp_i(t) \equiv \omega(0)$
Fluid PINN Flow Topologies Click to enlarge
Target: Physics of Fluids / CMAME Fluid Mechanics

High-Re Incompressible Flow: PINN Operator Conditioning

Identifies operator diffusion and false convergence in continuous $\psi-\omega$ PINNs caused by lack of discrete spatial stencils for Thom's wall-vorticity formula. Formulates hard-constrained $\psi-p$ Helmholtz-Hodge projection, accurately capturing secondary corner eddies at $Re=1000$ validated against Ghia (1982).

Hard Constraint: $\nabla \cdot \mathbf{u} = \frac{\partial^2 \psi}{\partial x \partial y} - \frac{\partial^2 \psi}{\partial y \partial x} \equiv 0$
AS-PINN Helmholtz Wave AMR Click to enlarge
Target: SIAM J. Sci. Comput. (SISC) Parameter AMR

AS-PINN: Autonomous Parameter-Space AMR

Autonomous domain decomposition engine using vectorized per-sample Gram alignment profiling (`torch.func.vmap`) with exact zero-disruption cleavage invariance ($\|u^{(N+1)} - u^{(N)}\| = 0$). Verified across 9 canonical PDEs, achieving a $725.6\times$ loss reduction over standard PINNs on high-frequency Helmholtz ($k=4\pi$).

Invariance: $\|u^{(N+1)}(\mathbf{x}) - u^{(N)}(\mathbf{x})\|_{L^2} = 0 \implies \mathcal{L}(\theta^{(N+1)}) = \mathcal{L}(\theta^{(N)})$
Black-Scholes 3D Surface Click to enlarge
Target: J. Computational Finance Quant PDEs

Deep-EEP-PINN: 50D American Basket Option Pricing

Prices correlated American basket options up to $d=50$ assets (1,225 correlations) by embedding the analytical Kim/CJM Early Exercise Premium decomposition. Directional autograd trace contraction computes high-dimensional diffusion in $\mathcal{O}(d)$ linear complexity ($<3\,\mathrm{GB}$ VRAM), validated against 100K-path Longstaff-Schwartz Monte Carlo.

Complexity: Directional Autograd Trace $\mathrm{Tr}(\boldsymbol{\Sigma} \mathbf{S} \nabla^2 V \mathbf{S} \boldsymbol{\Sigma}^T) \in \mathcal{O}(d)$
Null-Space RPS Electromagnet Click to enlarge
Target: J. Computational Physics (JCP) Optimization

Null-Space Decoupling via $C^2$ Quintic Hermite Operators

Decomposes parameter manifolds into orthogonal direct-sum subspaces ($\Theta_0 \oplus \Theta_1$ with $\mathcal{W}_0 \mathcal{W}_1^T = \mathbf{0}$) coupled via a $C^2$ Quintic Hermite seam operator ($\psi(\xi) = 10\xi^3 - 15\xi^4 + 6\xi^5$). Formally proves structural gradient orthogonality ($\langle \nabla\mathcal{L}_{\mathrm{if}}, \nabla\mathcal{L}_{\mathrm{des}} \rangle \equiv 0$) on saturated domains.

Orthogonality: $\Theta = \Theta_0 \oplus \Theta_1 \implies \langle \mathbf{g}_{\mathrm{pde}}, \mathbf{g}_{\mathrm{data}} \rangle \equiv 0$
AS-ViT Real NYUv2 Predictions Click to enlarge
Target: IEEE TPAMI / CVPR Computer Vision

AS-ViT: Adaptive Subspace Vision Transformers

Eliminates destructive negative transfer in dense multi-task vision backbones (depth, surface normals, segmentation, boundaries) by monitoring inter-task Gram matrix negative eigenvalues ($\lambda_{\min}(\mathcal{G}) < -\tau$) and dynamically routing latent expert subspaces using Partition of Unity (PoU) gating ($+5.84\%$ mean gain on NYUv2).

Clash Routing: $\lambda_{\min}(\mathcal{G}) < -\tau_{\mathrm{conflict}} \implies \text{Cleave Dedicated Subspace}$
Bayesian PINN UQ Dashboard Click to enlarge
Target: Reliability Eng. & System Safety Uncertainty UQ

Bayesian PINN Fidelity & BFR Error Metric

Formally investigates how neural surrogate approximation errors distort Bayesian inverse posteriors. Formulates the Bayesian Fidelity Ratio (BFR) based on the Kantorovich-Rubinstein 1-Wasserstein optimal transport distance normalized by empirical MCMC stochastic noise floors.

Diagnostic Metric: $\mathrm{BFR} = \frac{\mathcal{W}_1(\pi_{\mathrm{PINN}}, \pi_{\mathrm{MCMC}})}{\sigma_{\mathrm{MCMC}}^{\mathrm{noise}}}$
CFD FDM Solver Validation Click to enlarge
HPC Open-Source • DOI: 10.5281/zenodo.18312938 CFD / HPC

High-Performance 2D Navier-Stokes FDM Solver

High-resolution 2D incompressible fluid solver on dense $251 \times 251$ grids ($Re=1000$). Peaceman-Rachford ADI vorticity solver + Red-Black SOR Chebyshev acceleration ($\omega=1.80$) breaking loop dependencies into bipartite sublattices, achieving a $31.9\times$ iteration drop validated against Ghia (1982).

Spectral Convergence: $\rho_{\mathrm{SOR}} = \omega_{\mathrm{opt}} - 1 \approx 0.9754 \implies 548 \text{ iterations}$
BRSDK Architecture Banner Click to enlarge
Autonomous Simulation • DOI: 10.5281/zenodo.21729606 Robotics / Simulation

BeamNG Research SDK (BRSDK)

Deterministic real-time telemetry extraction framework operating inside the 2000Hz Vehicle Lua physics thread of BeamNG.tech. Features static pre-allocated ring buffers, zero dynamic heap allocations on the hot path (0 bytes/s GC allocations), and RFC 8259 JSON metadata sidecars.

Throughput: Zero-Allocation Hot Path at 2000Hz Physics Sub-stepping

Curriculum Vitae & Industry Resume

Download complete documentation of publications, mathematical formulations, and engineering toolchains.

Academic Curriculum Vitae

Comprehensive 4-page academic CV detailing research profile, manuscripts under review, mathematical formulation breakdowns, and supervisor details.

Download Academic CV (PDF)

Industry & Systems Resume

Concise 2-page industry-tailored resume emphasizing high-performance scientific computing, deep autograd engineering, and production codebases.

Download Industry Resume (PDF)