Optimization Models: Notation Reference explains objectives, constraints, feasible sets, gradients, duality, and KKT conditions.
Core notation for Optimization Models
In optimization models, the notation usually represents decision variables, objectives, constraints, feasible sets, multipliers, and optimality conditions. The table below gives a compact starting set for optimization models; define any local variation before the first calculation.
| Concept | Notation | How to read it |
|---|---|---|
| Argmin | x^\star\in\operatorname*{arg\,min}_x f(x) | a minimizer rather than the minimum value |
| Dual bound | d^\star\le p^\star | weak duality for a minimization primal |
| Optimization problem | \min_x f(x)\quad\text{s.t.}\quad g_i(x)\le 0 | minimize an objective over a constrained feasible set |
| Lagrangian | \mathcal{L}(x,\lambda)=f(x)+\sum_i\lambda_i g_i(x) | objective plus weighted constraints |
How to read a complete expression
Read x^\star\in\operatorname*{arg\,min}_x f(x) as “a minimizer rather than the minimum value.” Identify the outer operation first, then its inputs, index set, conditions, and result type. This prevents a superscript, bar, vertical line, or styled letter in optimization models from being interpreted by appearance alone.
Conventions that belong in the notation table
- State minimization versus maximization and all constraint directions.
- Separate an optimizer from the attained objective value.
- Declare convexity and constraint-qualification assumptions.
Cross-checks before reuse
- Evaluate feasibility before optimality.
- Verify multiplier signs and complementary slackness.
- Compare primal and dual objective values.
Accessibility and portability
Keep the optimization models source selectable and editable. For an isolated character in optimization models, Unicode text may be sufficient; for structured expressions, preserve LaTeX, MathML, or a native equation object. When an image of optimization models is unavoidable, describe the operation, inputs, conditions, and conclusion rather than listing glyph names.
Verification checklist
- Evaluate feasibility before optimality.
- Verify multiplier signs and complementary slackness.
- Compare primal and dual objective values.
- Confirm every symbol used in optimization models has one defined meaning in the local context.
- Reopen the exported file for Optimization Models: Notation Reference and compare it with the editable source.
How this guide was checked
Page purpose: optimization models notation reference — Look up notation, definitions, and usage conventions
Automated quality check: Kept noindex until critical findings are resolved.
Verification references
These primary standards and official documentation pages were used to check character identity, syntax, or platform behavior described above.
- The Unicode StandardUnicode Consortium — Character identity, encoding, names, and conformance.
- Unicode Technical Report #25: Unicode Support for MathematicsUnicode Consortium — Mathematical character usage, variants, and notation support.
- LaTeX Project DocumentationThe LaTeX Project — LaTeX syntax, authoring model, and official documentation links.
- MathML CoreW3C — Semantic web mathematics elements and browser behavior.