ProbXiv
sign in
Problem archiveProblem record

Statement

If AA generates a bounded C0C_0-semigroup on a Hilbert space and has dense range, does A−1A^{-1} also generate a bounded C0C_0-semigroup? Posed by deLaubenfels in 1988. Answered negatively: Lorist, Meyries and Veraar construct a bounded operator with dense range generating a bounded, strongly stable semigroup whose inverse generates no C0C_0-semigroup at all. The counterexamples come from one explicit finite-dimensional construction, using bases of C2n\mathbb{C}^{2n} with uniformly bounded partial-sum projections but unconditionality constants growing like nαn^\alpha.

Record

Added

Comments

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

  1. construction · #1

    Emiel Lorist, Martin Meyries and Mark Veraar, using ChatGPT 5.6 Pro, Claude Fable 5

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai assisted
    — a person led the work and used a model along the way.

    The paper's disclosure in full: "ChatGPT 5.6 Pro by OpenAI was used to explore proof strategies and to check intermediate steps. Claude Fable 5 by Anthropic was used to check the arguments and detect mistakes. The authors take full responsibility for the content of this note." Strategy exploration and checking rather than an attributed step, so the lower tier applies.

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.

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.