Davit Gondauri

Capital Support under Strategic Equilibrium Uncertainty: Convex Safety, Endogenous Incentives, and Exact Network Computation

Research Description Can financial intervention make a banking system safer while simultaneously changing the strategic incentives that determine its stability? This study addresses a fundamental challenge in financial economics: capital support does not merely alter financial re...

A Deterministic (0.3092 + δ)-Approximation Algorithm for Bimatrix Games

This manuscript presents a deterministic algorithm for computing a (0.3092 + δ)-approximate Nash equilibrium in every two-player rational bimatrix game with payoffs in [0, 1], for every rational δ > 0. Its running time is polynomial in the total binary input length and 1/δ. The a...

A Deterministic (0.3092 + δ)-Approximation Algorithm for Bimatrix Games

This manuscript presents a deterministic algorithm for computing a (0.3092 + δ)-approximate Nash equilibrium in every two-player rational bimatrix game with payoffs in [0, 1], for every rational δ > 0. Its running time is polynomial in the total binary input length and 1/δ. The a...

A Deterministic 0.3092 + δ Approximation for Bimatrix Games: Six Candidates and Exact Global Certification

Gondauri’s earlier Zenodo preprint [1] reported a deterministic approximation guarantee of \(1/3 - 7.5 \times 10^{-45}\), strictly below one third. Li and Li [2] acknowledge that correspondence concerning this preprint motivated their independently developed construction, which a...

Structural Complexity of One-Factor Sparse Portfolio Selection Exact Algorithms, Parameterized Hardness, and Restricted Circuit Lower Bounds

We study exact-cardinality, equally weighted minimum-variance portfolio selection under a one-factor covariance model supplied in factor form. In the nonnegative homoskedastic regime, selecting the K smallest loadings is optimal. Allowing strictly positive asset-specific idiosync...

Quantitative Local Persistence Certificates for Symmetric Nash Equilibria in Common-Kernel Coordinates

This paper develops a quantitative, auditable framework for certifying local persistence of symmetric Nash equilibria in common-kernel bimatrix games. The central objective is to bridge classical qualitative equilibrium-stability theory with finite, computable robustness certific...

A Deterministic Polynomial-Time Approximation Below One Third for Bimatrix Games

This paper proves a strict deterministic polynomial-time approximation guarantee below the one-third frontier for general two-player rational bimatrix games with payoffs normalized to [0,1]. Its central result is an explicit universal algorithm that returns a rational approximate...

Asymmetric Optimal Mixing and Exact Payoff-Image Compression in Bimatrix Games: Approximation and Structural Consequences at the One-Third Frontier

This paper develops an algorithmic framework for restricted optimal mixing in rational bimatrix games and studies its implications for approximate Nash equilibrium computation near the one-third frontier. The first main contribution identifies a new asymmetric tractability regime...

A One-Saddle 1/5 Approximation Algorithm for Common-Kernel Bimatrix Games: Recognition, Exact Segment Optimization, Sharp Selector Bounds, and Certified Robustness

This paper develops an algorithmic, structural, and certification theory for a fixed-normalization class of symmetric bimatrix games generated by a common kernel. The class arose from a broader investigation of approximation-threshold reductions for bimatrix Nash equilibria, but...

A One-Saddle 1/5 Approximation Algorithm for Common-Kernel Bimatrix Games: Recognition, Exact Segment Optimization, Sharp Selector Bounds, and Certified Robustness

This paper develops an algorithmic, structural, and certification theory for a fixed-normalization class of symmetric bimatrix games generated by a common kernel. The class arose from a broader investigation of approximation-threshold reductions for bimatrix Nash equilibria, but...

Sharp Selector Bounds and a 1/5 Saddle Algorithm for Common-Kernel Bimatrix Games: Recognition, fixed-normalization structure, robustness, and consequences for the 1/3-threshold compiler program

This paper develops a structured algorithmic and certification theory for a class of symmetric bimatrix games generated by a common kernel. The methodology emerged from a broader research program aimed at the deterministic one-third approximation threshold for bimatrix Nash equil...

Determinacy and Word Reconstruction from Simple Paths in Class-Two Networks: Structural characterization, exact audit design, and a discrete-gauge interpretation

We develop an exact theory of selective target identification from simple directed path observations in networks whose standardized edge transports take values in groups nilpotent of class at most two. The paper distinguishes two fundamentally different information requirements:...

Critical Audit of OpenAI's Navier–Stokes Proof: Scope of the Mathematical Audit, Independent Audit and Certification Status of the Lean Formalization, and Procedural Readiness for the Millennium Prize

This study presents an independent critical audit of OpenAI's 166-page proof Finite time blowup for Navier–Stokes, its associated public Lean formalization, and the claim-level correspondence with the Clay Mathematics Institute's (CMI) C/D alternatives. The purpose of the audit i...