The Signed BAR Uniqueness Problem
For a multidimensional reflected diffusion, does the basic adjoint relationship uniquely characterize the stationary distribution? The question had stood unresolved for more than thirty-five years since the BAR approach was introduced. For stable Harrison-Reiman data with a nonsingular $M$-matrix reflection matrix, the finite-signed uniqueness problem is settled, via pathwise differentiability of the reflected process; the nonsigned version is also shown unique within the Harrison-Reiman class.
Exact FrontierDelta
Scope and record
Occurred: Jul 3, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: The Signed BAR Uniqueness Problem · Signed BAR conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Yiping Lu
human · human collaborator
Youheng Zhu
human · human collaborator
ChatGPT 5.5 Pro
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Youheng Zhu
This event attributed to Yiping Lu
This event attributed to ChatGPT 5.5 Pro