Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Self-concordant log-homogeneous barriers and their local geometry

Definition

Let E be a finite-dimensional real inner-product space, let D⊂E be open and convex, and let F:D→R be C3. Write HF(x)=D2F(x) for its Hessian as a self-adjoint operator. A self-concordant barrier on D is a strictly convex F with positive-definite Hessian, with F(xk)→+∞ whenever xk approaches a finite boundary point of D, and satisfying both conditions below.

For x∈D, define the local norm and its dual by ∥h∥x=D2F(x)[h,h],∥ℓ∥x,∗=sup⁡∥h∥x≤1∣ℓ[h]∣. The Dikin inclusion is {x+h:∥h∥x<1}⊂D. The self-concordance inequality is ∣D3F(x)[u,v,v]∣≤2∥u∥x∥v∥x2(u,v∈E). The Newton decrement is λF(x)=∥DF(x)∥x,∗.

If K⊂E is a closed convex cone with nonempty interior and D=int⁡K, the barrier is ν-log-homogeneous when ν>0, F(αx)=F(x)−νlog⁡α for every x∈D and α>0, and λF(x)≤ν for every x∈D. The number ν is its barrier parameter. When equality constraints Ax=b are imposed, local norms and decrements are computed after restricting D2F and DF to the tangent space ker⁡A.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources