AI中文摘要
未清算衍生品的抵押品分配是一个受法律约束且操作离散的优化问题。机构必须满足保证金要求,同时遵守CSA资格规则、估值百分比、舍入、转移阈值、集中度限制、托管条件、库存以及VM、IM或IA边约束。本文开发了CR-HO-QAOA,一种用于保证金和CSA感知的抵押品分配的认证高阶量子候选生成框架。该框架是适配器优先的:官方SIMM、代理SIMM、传统IA、仅VM、RQV或混合保证金来源被归一化为通用的MarginRequirement,因此优化器不计算或替换官方SIMM。给定要求、CSA条款和库存,优化器构建一个包含质押、召回、替换、批次和松弛操作的有界活动邻域。这些操作定义了一个高阶二元模型,其超边捕获集中度压力、托管批次、替换票据、大宗交易、流动性效应、超调以及边特定要求。量子层将超边映射到Pauli-Z成本哈密顿量,并使用抵押品特定的可行子空间混合器来保留独热选择、移动预算、边分配和替换结构。候选解被解码,必要时修复,在八项生产目标下评估,并在任何建议报告之前由确定性CP-SAT主求解器认证。合成基准测试表明,相对于QUBO风格和通用混合器基线,高阶、约束保持的候选生成可以改善认证样本质量,而CP-SAT仍然是可行性和治理仲裁者。这些结果仅是合成工作流验证证据,而非硬件量子优势或银行实际节省的证据。
英文摘要
Collateral allocation for uncleared derivatives is a legally constrained and operationally discrete optimization problem. Institutions must satisfy margin requirements while respecting CSA eligibility rules, valuation percentages, rounding, transfer thresholds, concentration limits, custody conditions, inventory, and VM, IM, or IA side constraints. This manuscript develops CR-HO-QAOA, a certified higher-order quantum candidate-generation framework for margin- and CSA-aware collateral allocation.
The framework is adapter-first: official SIMM, proxy SIMM, legacy IA, VM-only, RQV, or hybrid margin sources are normalized into a common MarginRequirement, so the optimizer does not calculate or replace official SIMM. Given the requirement, CSA terms, and inventory, the optimizer builds a bounded active neighborhood of pledge, recall, substitution, batch, and slack actions. These actions define a higher-order binary model whose hyperedges capture concentration pressure, custody batches, substitution tickets, chunky lots, liquidity effects, overshoot, and side-specific requirements.
The quantum layer maps hyperedges into a Pauli-Z cost Hamiltonian and uses collateral-specific feasible-subspace mixers to preserve one-hot choices, movement budgets, side assignments, and substitution structure. Candidates are decoded, repaired if needed, evaluated under an eight-term production objective, and certified by a deterministic CP-SAT master solver before any recommendation is reported.
Synthetic benchmarks show that higher-order, constraint-preserving candidate generation can improve certified sample quality relative to QUBO-style and generic-mixer baselines, while CP-SAT remains the feasibility and governance arbiter. These results are synthetic workflow-validation evidence only, not evidence of hardware quantum advantage or production bank savings.