---
title: SOC Representable Relaxation
url: https://www.emergentmind.com/topics/second-order-cone-soc-representable-relaxation
type: topic
---

# SOC Representable Relaxation

A second-order cone (SOC) representable relaxation is a convex reformulation or outer approximation whose feasible region admits a description by linear constraints together with second-order cone constraints, or, equivalently in several settings, by a lift to a product of second-order cones followed by linear projection [2012.07903]. Within nonconvex optimization, SOC representability occupies an intermediate position between linear and semidefinite formulations: it is rich enough to encode rotated quadratic inequalities, \(2\times 2\) positive semidefinite conditions, and many convex envelopes of quadratic or polynomial structures, while remaining substantially more tractable than general semidefinite programming in many applications [1602.07819]. In some important cases the relaxation is not merely an outer approximation but the exact convex hull; notably, for a quadratic equation intersected with a bounded polyhedron, the convex hull is second-order cone representable [1812.10160].

## 1. Conceptual basis and geometric form

The core object is the second-order cone, typically used to encode inequalities of the form
\[
\|u\|_2 \le t,
\]
together with rotated variants that represent quadratic-over-linear and hyperbolic constraints. A recurring primitive is the \(2\times 2\) positive semidefinite block:
\[
\begin{pmatrix}
a & b\\
b & c
\end{pmatrix} \succeq 0
\iff
\|(2b,\; a-c)\|_2 \le a+c,
\]
which makes small semidefinite conditions directly SOC representable [2003.09495]. This mechanism underlies SDSOS formulations, geometric-mean constructions, and numerous lifted relaxations [1510.01597].

In optimization, an SOC representable relaxation usually arises by replacing a nonconvex equality or inequality with a convex conic surrogate. Typical transformations include relaxing quadratic equalities to one-sided quadratic inequalities, introducing lifted variables such as \(X=xx^\top\), or replacing nonlinear right-hand sides by concave envelopes [1608.02096; 2511.00452]. Because these constructions preserve conic structure, the resulting models can be solved as second-order cone programs (SOCPs), and several papers emphasize that SOCP is often computationally more practical than SDP while remaining significantly tighter than purely polyhedral relaxations [1812.10160; 1602.07819].

A further conceptual distinction is between exact SOC representability and approximate SOC relaxation. Exact SOC representability means that the convex hull itself has an SOC description; approximate SOC relaxation means that the model is a tractable outer bound whose tightness depends on additional assumptions, structural cuts, or post hoc feasibility checks [1812.10160; 2602.16866].

## 2. Exact convexification of quadratic sets

A central theorem states that for
\[
S := \{ x \in \mathbb{R}^n : x^\top Q x + \alpha^\top x = g,\; x \in P \},
\]
where \(Q\) is symmetric and \(P=\{x:Ax\le b\}\) is a bounded polyhedron, the convex hull \(\operatorname{conv}(S)\) is second-order cone representable [1812.10160]. The proof is constructive rather than existential: after spectral decomposition, affine change of variables, and completing the square, the quadratic equation is reduced to a canonical form with positive quadratic, negative quadratic, linear, and redundant components. The argument then proceeds by covering the extreme points through a finite union of disjunctive pieces and convexifying those pieces recursively over the facets of the polytope [1812.10160].

The geometry of the quadratic surface drives the construction. One case corresponds to surfaces that split into two convex sheets; there, convexification follows from SOC descriptions of quadratic inequalities intersected with polyhedra. The other case is ruled geometry, where every point lies on a line contained in the surface; then no interior point of the polytope can be extreme, so all extreme points lie on facet intersections, which leads to an induction on dimension [1812.10160]. The construction yields explicit formulations, including standard SOC epigraph forms such as
\[
\left\{(w,t): \|2w,\; t-1\| \le t+1,\; (w,t)\in P\right\},
\]
for subcases of \(\sum_i w_i^2=t\) [1812.10160].

A related convexification framework studies intersections \(K\cap Q\) and \(K\cap Q\cap H\), where \(K\) is an SOC representable cone, \(Q=\{x:x^\top A_1x\le 0\}\) is a nonconvex homogeneous quadratic set, and \(H\) is an affine hyperplane [1406.1031]. The key device is conic aggregation:
\[
A_t=(1-t)A_0+tA_1,\qquad t\in[0,1],
\]
with \(s\) chosen as the smallest positive value where \(A_t\) becomes singular. Under verifiable eigenvalue and apex conditions, the convex hull is captured exactly by intersecting the original cone \(F_0^+\) with a new SOC representable cone \(F_s^+\) [1406.1031]. This unifies earlier split and disjunctive convexifications and shows that SOC representability can persist well beyond ellipsoids or sign-definite quadratics.

## 3. Reformulation mechanisms and canonical constructions

Beyond single quadratic equations, SOC representable relaxations appear through several recurrent reformulation paradigms. For the generalized trust region subproblem,
\[
\min \tfrac12 x^\top D x + e^\top x
\quad\text{s.t.}\quad
\tfrac12 x^\top A x + b^\top x + c \le 0,
\]
a simultaneous block diagonalization via congruence reduces the pair \((A,D)\) to a canonical form with \(1\times 1\) and \(2\times 2\) blocks [1602.07819]. When the optimal value is bounded from below, all such GTRSs are SOCP representable. The resulting SOCP introduces \(y_i=\frac12 x_i^2\) for scalar blocks and cross-term variables \(z_j\) for \(2\times 2\) blocks, eliminating the original nonconvex quadratic constraint in favor of linear and SOC-tractable constraints [1602.07819]. The same machinery extends to equality- and interval-constrained variants and yields simplified versions of the S-lemma, the S-lemma with equality, and the S-lemma with interval bounds [1602.07819].

For general nonconvex QCQP, another construction decomposes an indefinite matrix as
\[
Q_i=L_i^\top L_i - M_i^\top M_i,
\]
rewrites each nonconvex quadratic constraint as two SOC-type constraints with an auxiliary variable \(z_i\), and then linearizes products of SOC constraints with linear constraints, as well as products of two SOC constraints [1608.02096]. The resulting GSRT-A and GSRT-B relaxations augment the basic SDP, RLT, and SOC-RLT constraints with additional valid inequalities derived from SOC \(\times\) linear, SOC \(\times\) SOC, Hadamard-product, and Kronecker-product constructions [1608.02096]. The paper establishes dominance relationships showing that these relaxations strictly strengthen standard SDP+RLT+SOC-RLT formulations for nonconvex QCQP [1608.02096].

Constraint-wise convexification yields a different pattern. In bipartite bilinear programs, the convex hull of the feasible set defined by a single bilinear equality together with \(w_{ij}=x_iy_j\) over a box is SOC representable in extended \((x,y,w)\)-space [1803.09266]. Intersecting the convex hulls of the individual constraints produces an overall SOCP relaxation that is tighter than the standard SDP relaxation intersected with the boolean quadratic polytope [1803.09266]. In a related sparse quadratic setting over the unit hypercube, an extension of the Reformulation Linearization Technique to continuous quadratic sets yields SOC inequalities based on perspective terms and multilinear lifted variables; if the nodes carrying positive diagonal terms form a stable set, then the convex hull is SOC representable, and under additional tree-decomposition conditions the formulation has polynomial size and can be constructed in polynomial time [2508.18435].

Mixed-integer conic sets with nonlinear right-hand sides admit yet another exact convexification principle. For
\[
\mathcal{Z}=\{(\vecx,\vecy)\in\mathcal{X}\times\mathbb{R}^m:\|A\vecx+B\vecy+\vecd\|_2\le f(\vecx)\},
\]
the convex hull is exactly characterized by replacing \(f\) with its concave envelope \(\hat f\) over \(\mathcal{X}\), provided a fibre condition and a column-span condition hold [2511.00452]. When \(f(\vecx)=\sqrt{q(\vecx)}\) for quadratic \(q\), the relaxation
\[
\|A\vecx+B\vecy+\vecd\|_2 \le \sqrt{\hat q(\vecx)}
\]
is SOC representable and serves as a strong tractable surrogate [2511.00452].

## 4. Power systems and network-flow formulations

Optimal power flow has become a major testing ground for SOC representable relaxations. In meshed AC-OPF, one SOC formulation linearizes branch KVL relations such as
\[
v_{s_l}v_{r_l}\sin\theta_l = X_lp_{s_l}-R_lq_{s_l}
\]
by replacing the sine term with the linearized relation \(\theta_l=X_lp_{s_l}-R_lq_{s_l}\), and relaxes the branch loss equality to an SOC inequality [2602.16866]. Tightness is then assessed by whether the relaxed inequalities are active and whether branch angle differences satisfy the cycle consistency condition
\[
\sum_{l\in\mathscr C}\theta_l = 0 \mod 2\pi
\quad\text{for all cycles } \mathscr C.
\]
The numerical evidence is sharply topology-dependent: in the IEEE 33-bus radial case, residuals for cycle consistency are numerically zero, whereas in the IEEE 39-bus meshed case the maximum residual is \(0.0245\) degrees and the resulting inconsistency translates to power-flow errors of approximately \(0.5\) p.u. [2602.16866]. Thus, zero relaxation gap in the conic sense does not guarantee AC feasibility in meshed networks [2602.16866].

To address the loss of cycle physics in standard principal-minor SOC relaxations, a separate line of work derives 3-cycle SOC constraints from \(3\times 3\) Hermitian PSD matrices [2104.06695]. Standard PM SOC constraints enforce only
\[
(W^{re}_{ij})^2 + (W^{im}_{ij})^2 \le W^{re}_{ii}W^{re}_{jj},
\]
which is sufficient on trees but weak on loopy networks. The 3-cycle construction samples quadratic forms of a \(3\times 3\) PSD matrix and generates a family of SOC inequalities parameterized by \(r\) and \(\theta\); these constraints encode nontrivial three-bus relationships corresponding to Kirchhoff’s Voltage Law without introducing an explicit angle relaxation [2104.06695]. In reported experiments, Kim+PM SOC attains exactness on the 14-bus case with \(0\%\) optimality gap, while PM SOC alone leaves a \(0.11\%\) gap [2104.06695].

For active distribution networks, SOC relaxation of the branch-flow equation
\[
P_{ij}^2+Q_{ij}^2 = V_i l_{ij}
\]
is written as
\[
\left\|
\begin{bmatrix}
2P_{ij}\\
2Q_{ij}\\
l_{ij}-V_i
\end{bmatrix}
\right\|_2 \le l_{ij}+V_i,
\]
and then further approximated by a polyhedron to facilitate projection and region construction [2107.00329]. Combined with an adaptive constraint generation algorithm, this produces a dispatchable-region approximation whose effective percentage is \(96.21\%\) on the 33-bus, 2-renewable case, versus \(72.58\%\) for a linearized model [2107.00329]. The same paper reports that computation time is about \(7\) seconds for the proposed method versus more than \(140\) seconds for exhaustive sampling on that instance [2107.00329].

## 5. Polynomial nonnegativity, algebraic certificates, and conic hierarchies

SOC representable relaxations also play a foundational role in polynomial optimization. A constructive theorem shows that the cone of sums of nonnegative circuits (SONC) admits an SOC lift [2012.07903]. The proof uses \(\mathcal{A}\)-rational mediated sets and a decomposition of nonnegative circuit polynomials into sums of binomial squares with rational exponents; each binomial-square term is modeled through a rotated SOC condition of the form
\[
a\ge 0,\qquad c\ge 0,\qquad ac\ge b^2.
\]
This yields SOCP formulations whose number of second-order cones grows linearly in the number of polynomial terms [2012.07903]. The same framework supports an unconstrained polynomial optimization algorithm and a rounding-projection scheme for exact symbolic nonnegativity certificates [2012.07903].

The \(\mathcal{S}\)-cone extends this perspective to a common framework for SONC and SAGE-type certificates. For rational supports, both the primal \(\mathcal{S}\)-cone and its dual admit explicit generalized second-order descriptions obtained by decomposing arithmetic-geometric inequalities into chains of \(2\times 2\) PSD constraints [2003.09495]. The cone is then assembled from reduced circuits, with the primal realized as a projected lift of sums of circuit cones and the dual as a projected lift of intersections of their duals [2003.09495].

A separate bounded-degree hierarchy for global polynomial optimization replaces SOS polynomials by SDSOS polynomials, whose scaled diagonally dominant Gram matrices are SOCP representable [1710.06598]. The \(k\)-th level relaxation combines Krivine-Stengle positivity certificates with a fixed-degree SDSOS term, producing a convergent SOCP hierarchy whose conic block sizes depend only on the fixed degree \(r\), not on the hierarchy level \(k\) [1710.06598]. For SOCP-convex polynomials and for polynomials with essentially non-positive coefficients, the first SOCP relaxation is exact [1710.06598].

The same SOC/SDSOS logic carries to nonsmooth semi-algebraic convexity. First-order SDSOS-convex semi-algebraic functions are defined as pointwise suprema of first-order SDSOS-convex polynomials over SOCP-representable uncertainty sets, and under suitable assumptions the optimal value and optimal solutions of the associated optimization problems are obtained exactly by solving an SOCP [2509.07418]. The class includes the Euclidean norm, the \(\ell_1\)-norm, and least-squares functions with \(\ell_1\)-type structure [2509.07418].

## 6. Sparsity, scalability, and cross-domain applications

A major practical advantage of SOC representable relaxation is its compatibility with sparsity. For QCQPs lifted to a matrix variable \(X\), replacing full PSD by all \(2\times 2\) principal minors gives the standard SOCP relaxation; exploiting aggregate sparsity then reduces the number of second-order cones from all index pairs to only those appearing in the aggregate sparsity graph [1911.02188]. The sparse SOCP formulation requires no extra equality constraints for clique overlaps, admits a trivial zero-fill completion, and preserves the max-determinant completion property [1911.02188]. The paper proves that the sparse and dense SOCP relaxations have the same optimal value, and reports that much larger lattice-graph and pooling instances can be handled than with the SDP relaxations [1911.02188].

The same conic scalability appears in quantum many-body optimization. For quantum Max Cut, optimizing over mutually consistent three-qubit reduced density matrices reduces, after symmetry arguments, to variables \(x_{ij}=\langle\mathrm{SWAP}_{ij}\rangle\) constrained on each triangle by a linear Lieb-Mattis inequality and a second-order cone representable Parekh-Thompson triangle inequality [2411.04120]. With Pauli level-1 of the quantum Lasserre hierarchy, this SOC relaxation achieves an approximation ratio of \(0.526\) to the ground-state energy and is reported to be solvable on systems with hundreds of qubits [2411.04120].

Biochemical process design provides an example where the relaxation can be exact for structural reasons. In gradostat optimization, the nonconvex microbial-growth equality \(T_i=r(S_i,X_i)\) is relaxed to \(T_i\le r(S_i,X_i)\), and for Contois kinetics this inequality has an SOC representation; for Monod kinetics, SOC representations arise either under constant biomass or through SOC-representable convex envelopes [2102.01975]. The relaxation is exact when the gradostat is outflow connected, the system matrix is irreducible, and the growth rate satisfies a derivative condition stated in the paper [2102.01975].

SOC representability has also entered learning theory. Classical ReLU-ICNNs are equivalent to LP value functions and therefore represent only continuous piecewise-linear convex functions, whereas SOC-ICNN augments the architecture with quadratic and Euclidean-norm branches so that the network output is the optimal value of an SOCP [2604.22355]. The paper proves the strict inclusion
\[
\mathcal{F}_{\mathrm{ReLU}} \subsetneq \mathcal{F}_{\mathrm{SOC}},
\]
and states that this expansion of representational capacity occurs without increasing the asymptotic order of forward-pass complexity [2604.22355]. This suggests that SOC representable relaxation is no longer confined to classical optimization models but can also serve as a representational prior in convex surrogate learning.

## 7. Exactness, limitations, and recurring misconceptions

A common misconception is that an SOC relaxation is automatically an exact model whenever the numerical gap is small. The meshed OPF results show otherwise: even when the conic loss inequalities are tight, angle recovery can fail because cycle consistency is violated, so the formulation is then an approximation rather than a true relaxation of AC-OPF [2602.16866]. Another misconception is that SOC strengthening always improves a base conic model. For separable power-cone relaxations over the simplex, the paper on \(\mathcal{S}^\kappa\) proves that without RLT constraints, SOCP and SDP liftings do not strengthen the basic power-cone relaxation at all:
\[
S_P^\kappa = S_{P,S}^\kappa = S_{P,s}^\kappa,
\]
whereas adding RLT does strengthen it [2510.16595].

The size of an exact SOC description can also be prohibitive. The convex hull construction for quadratic equations over polytopes is exact but may have exponential complexity in the number of polyhedral facets [1812.10160]. Likewise, the sparse quadratic-hypercube formulation can be exponential in general, and polynomial-size SOC formulations require explicit structural conditions involving stable plus-loop sets and tree decompositions of logarithmic width and spread [2508.18435]. Exact convexification results for mixed-integer conic sets likewise depend crucially on fibre and column-span assumptions; when those fail, the concave-envelope formula need not be tight [2511.00452].

Finally, SOC representable relaxation should not be conflated with universal dominance over semidefinite relaxations. In QCQP, the standard SDP relaxation is at least as strong as the standard SOCP relaxation in general, although equality holds for special matrix classes such as non-positive off-diagonal or diagonal-zero data [1911.02188]. The significance of SOC representability is therefore more specific: it provides a large class of exact convex hulls, strong outer approximations, and scalable conic formulations whose practical value depends on structure, sparsity, and the geometry of the original nonconvex set [1602.07819; 1812.10160].

Source: https://www.emergentmind.com/topics/second-order-cone-soc-representable-relaxation