ProbXiv
sign in
Problem archiveProblem record

Signed BAR Conjecture for Reflected Brownian Motion

Probability & statistics · posed by 1990 · solved

1 comment

Statement

Does the finite signed basic adjoint relation determine the invariant signed measure uniquely, and how far beyond the Harrison-Reiman class can uniqueness extend?

Record

Source
Added

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. proof attempt · #1

    ChatGPT-5.5 Pro

    No person is named on this work: the record names only the tool it came from, and no ProbXiv account is credited for it.

    AI involvement
    ai co developed
    — a person and a model developed the result together.

    The pathwise-differentiability argument was developed in an AI-assisted collaboration; both authors verified the proof.

    uniqueness proved for stable Harrison-Reiman systems with a nonsingular M-matrix reflection; an infinite-dimensional obstruction is shown in the larger completely-S class

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

open in Claude →open in ChatGPT →

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.