An Exact Dual for Second-Order Cone Programming Using Only Lorentz-Cone Constraints
Abstract
Without a constraint qualification, second-order cone programs can have a duality gap or an unattained dual value. For every such program with arbitrary real coefficients, we construct an exact dual using only affine equations and memberships in products of Lorentz cones. Every feasible dual point gives a valid bound. Whenever the primal is feasible with finite value, the dual attains that value. This answers a question raised by Pólik and Terlaky and reiterated in subsequent work: whether an exact dual for second-order cone programming can use only Lorentz-cone constraints. The same construction produces an affine second-order cone system that is feasible exactly when a given affine second-order cone system is infeasible, including in the weakly infeasible case. Both formulations have polynomial size and are obtained uniformly from the input coefficients using only fixed rational constants. These are formulation-size results over exact real data; they do not imply polynomial-time solvability or polynomial bounds on the bit length of rational certificates.
Related
- Exact Second-Order Asymptotics for Covert Communication over DMCs with Variational Distance Constraints
- Hidden Convexity in Multi-Retailer Cold-Chain Allocation: A Cholesky-Spectral Second-Order Cone Programming Approach
- Second-Order Sensitivity of Efficient Solution Maps in Parametric Vector Optimization with Set Constraints
- Exact Second-Order Asymptotics for the Gaussian Gray--Wyner Problem
- Calmness Modulus of Parameterized Convex Constraint Systems: Exact Closed-Form Formulas via Second-Order Admissibility
BibTeX
@misc{hu2026exact,
title = {{An Exact Dual for Second-Order Cone Programming Using Only Lorentz-Cone Constraints}},
author = {Hao Hu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.06757},
eprint = {2609.06757},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.06757},
}
RIS
TY - UNPB
TI - An Exact Dual for Second-Order Cone Programming Using Only Lorentz-Cone Constraints
AU - Hao Hu
PY - 2026
DA - 2026/09/06
PB - arXiv
DO - 10.48550/arxiv.2609.06757
UR - https://arxiv.org/abs/2609.06757
AB - Without a constraint qualification, second-order cone programs can have a duality gap or an unattained dual value. For every such program with arbitrary real coefficients, we construct an exact dual using only affine equations and memberships in products of Lorentz cones. Every feasible dual point gives a valid bound. Whenever the primal is feasible with finite value, the dual attains that value. This answers a question raised by Pólik and Terlaky and reiterated in subsequent work: whether an exact dual for second-order cone programming can use only Lorentz-cone constraints. The same construction produces an affine second-order cone system that is feasible exactly when a given affine second-order cone system is infeasible, including in the weakly infeasible case. Both formulations have polynomial size and are obtained uniformly from the input coefficients using only fixed rational constants. These are formulation-size results over exact real data; they do not imply polynomial-time solvability or polynomial bounds on the bit length of rational certificates.
ER -