Source authenticated

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

Prior state unknownproved

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

Open the source record ↗

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

Act on this frontier

Verify, challenge, or extend the result.