The Thesis

Knowing isn't deciding.
Deciding is the work.

For forty years, optimization lived in PhD silos — too expensive to model, too brittle to deploy, too opaque to trust. Generative AI gave every team a writer. It did not give them a decider.

These essays are an evolving argument: that the next infrastructure layer of the enterprise is not another dashboard or another chatbot. It is a decision layer — solver-grounded, constraint-aware, and auditable by default.

PapersFormal · with proofs
Working Paper2026

Infeasibility as Diagnostic: IIS Decomposition for Auditing Business Rules in Portfolio Optimization

DcisionAI Research

Infeasibility is conventionally treated as a solver failure. We argue the opposite: an infeasible model is the most valuable diagnostic an optimization system can produce. Using Irreducible Infeasible Subsystem (IIS) decomposition combined with shadow-price analysis, we show how conflict detection surfaces business-rule contradictions — ESG mandates against minimum-yield floors, sector caps against liquidity requirements — that humans cannot reliably enumerate. We present a case study on a $240M multi-asset portfolio where IIS resolution exposed a $2.1M latent tradeoff and triggered a documented, auditable human override.

OptimizationConstraint ProgrammingPortfolio Management
EssaysSeven chapters of one argument

The thesis is unfinished by design. Each new deployment, each surfaced infeasibility, each documented override sharpens the argument. New chapters land here.