A General Framework for Metropolis-Adjusted Dikin Walks: Dimension-Square Mixing on Polytopes and Log-Det Walks on Spectrahedra

We analyze exact-metric, Metropolis-adjusted Dikin walks by keeping the proposal determinant and reverse quadratic form together. Their leading uncentered terms cancel in the complete logarithmic acceptance ratio, leaving centered fluctuations that can be controlled with second-order tools. For a polytope given by n inequalities and a convex L-Lipschitz potential, this yields warm-start mixing in O((d squared+dL squaredR squared) (w/δ)) steps for the regularized Lee--Sidford walk. For a spectrahedron with n times n blocks, the log-det walk mixes in O((ψ nd+dL squaredR squared) (w/δ)) steps, where ψ measures matrix leverage. The two analyses share an acceptance-to-mixing reduction. A proposal-comparison argument transfers the polytope bound to an appropriately padded O(1/d) -accurate metric computed from high-precision Lewis weights. For spectrahedra, given ψ ψ, a direct-or-two-seed TensorSRHT construction gives an exact-arithmetic implementation with ψ replaced by ψ in the mixing bound.