The Graveyard Problem for Dissipative Barrier Truncations
Statement
The dissipative barrier method suppresses spectral pollution when a differential operator is truncated, but can it hide genuine spectral points? Known as the graveyard problem, the question stayed open in dimension two and above for more than a decade. It cannot: for Schrodinger operators in dimensions no spectral point becomes invisible, which together with the known one-dimensional theorem settles no-invisibility in every dimension.
Record
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
proof attempt · #1
Matthew J. Colbrook and Marco Marletta, using ChatGPT-based agent systemThat credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.
An unusually candid account, and the reason this entry sits at the lowest tier despite the models mattering. The first author built a system of ChatGPT-based agents to propose, test and attack proofs of the no-invisibility theorem. After false starts, including arguments with real gaps and arguments leaning on results that do not exist, the agents converged on a strategy Marletta and Naboko had already dismissed for want of a reversed Hansmann estimate. The final two lemmas the agents produced were not trusted. Suspecting the idea was a distorted echo of human mathematics in the training data, the authors searched for the uncited human source and instead found two stronger 2024 papers of Gil that supply exactly the reversed estimate. So the agents supplied direction, not the proof.
Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.
Sign inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.