ProbXiv
sign in
Problem archiveProblem record

Statement

Does a universal summation process recover the degree of a circle map from its Fourier moduli, that is, does ∑nσn,εn∣f^(n)∣2→deg⁡f\sum_n \sigma_{n,\varepsilon} n |\hat f(n)|^2 \to \deg f hold for Holder maps below the threshold? No. For every 0<α<1/30 < \alpha < 1/3 there is an f∈C0,α(S1;S1)f \in C^{0,\alpha}(S^1;S^1) for which the sum fails to converge to deg⁡f\deg f, answering Open Problem 5.6 from Brezis's list of favourite open problems negatively for all p>3p > 3. The endpoint C0,1/3C^{0,1/3} is left unresolved.

Record

Comments

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

  1. construction · #1

    Michal Cieszynski, using ChatGPT

    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 co developed
    — a person and a model developed the result together.

    The disclosure states that ChatGPT generated preliminary drafts of the proofs in the manuscript. The author then verified each argument in detail, revised the proofs where necessary, checked the cited sources, determined the final formulation of all results, and takes sole responsibility for the content.

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.