arxiv: 2605.01658 · v1 · submitted 2026-05-03 · 🧮 math.CA

Recognition: unknown

The strong version of nonlinear Carleson conjecture fails

Sergey A. Denisov

Pith reviewed 2026-05-09 17:03 UTC · model grok-4.3

classification 🧮 math.CA

keywords Dirac equationJost solutionstransmission coefficientnonlinear Carleson conjectureKrein systemsmaximal functionL2 potential

0 comments

The pith

The strong version of the nonlinear Carleson conjecture fails for Dirac equations with square-summable potentials.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the Dirac equation when the potential is square-summable and examines the associated Jost solutions. It proves that the maximal function of the argument of the transmission coefficient is unbounded. This unboundedness shows that the strong version of the nonlinear Carleson conjecture does not hold, and the same failure occurs for Krein systems. A reader would care because the conjecture concerns maximal inequalities that control pointwise behavior in a nonlinear setting analogous to classical Fourier convergence problems.

Core claim

In the Dirac equation with potential in L squared, the maximal function associated with the argument of the transmission coefficient is unbounded. This directly establishes that the strong version of the nonlinear Carleson conjecture fails for Dirac equations and also for Krein systems.

What carries the argument

Jost solutions and transmission coefficients for the Dirac operator, which encode the phase information whose maximal function is shown to be unbounded.

If this is right

The maximal function tied to the argument of the transmission coefficient is unbounded.
The strong version of the nonlinear Carleson conjecture fails for the Dirac equation.
The strong version of the nonlinear Carleson conjecture also fails for Krein systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same counterexample construction might apply to other one-dimensional integrable systems with similar spectral data.
Pointwise convergence questions for nonlinear equations may need to be reformulated around weaker forms of the conjecture.
The result highlights a distinction between linear and nonlinear maximal inequalities in spectral theory.

Load-bearing premise

The potential belongs to L squared and the analysis is performed using Jost solutions and transmission coefficients.

What would settle it

A concrete L squared potential for which the maximal function of the argument of the transmission coefficient stays bounded would disprove the unboundedness claim.

Figures

Figures reproduced from arXiv: 2605.01658 by Sergey A. Denisov.

**Figure 1.** Figure 1: The Stolz angle Sξ. Assume A P L 2 pR `q. Q1 (the strong version of NCC). Do the limits limxÑ8 Apx, ξ, Aq and limxÑ8 Bpx, ξ, Aq exist for a.e. ξ P R? It is known that the function A is outer in C ` and it can be written as ( [4], formula (12.29)) Apx, k, Aq “ exp ˆ 1 πi ż log |Apx, s, Aq| s ´ k ds˙ , k P C ` so log A is correctly defined and arg Apx, k, Aq “ Im log Apx, k, Aq “ Im ˆ 1 πi ż log |Apx, s, Aq|… view at source ↗

**Figure 2.** Figure 2: The image of the segment tk “ 2 ` iη, η P r0, 100su under the Ap7, k, Aq–map. Taking η “ 100 gives us a point close to z “ 1. We will provide the proof to Theorem 1.1 in the second section in the more general context of the Dirac equations, see Corollary 2.4. However, the lack of (1.6) for the stronger version of maximal function is easy enough and follows from the following result. Theorem 1.2. There is a… view at source ↗

**Figure 3.** Figure 3: Creation of logarithmic growth by piling bumps to the left of view at source ↗

**Figure 4.** Figure 4: Putting samples together. Showing the absolute values of bumps view at source ↗

read the original abstract

In the context of the Dirac equation with square-summable potential, we study the Jost solutions and prove that the maximal function associated with the argument of the transmission coefficient is unbounded. We also show that the strong version of the nonlinear Carleson conjecture fails for Dirac equations and Krein systems.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Denisov proves the strong nonlinear Carleson conjecture fails for Dirac and Krein systems by showing the maximal function of arg(t(k)) is unbounded on L^2 potentials.

read the letter

The main thing to know is that this paper proves the strong form of the nonlinear Carleson conjecture does not hold for the Dirac equation with square-summable potentials and for Krein systems. It does this by showing that the maximal function built from the argument of the transmission coefficient is unbounded, using Jost solutions and transmission coefficients as the bridge to the conjecture. The abstract frames this as a direct unboundedness result rather than a conditional or asymptotic statement. That is the core contribution. The work is new in its application to these specific settings; the cited prior results do not already contain this failure for the strong version in the Dirac or Krein cases. It connects the conjecture cleanly to concrete spectral objects, which is a reasonable way to make the claim testable. The handling of the L^2 potential looks standard on the surface and avoids obvious extra assumptions in the statement. The soft spot is that the abstract gives no detail on the potential construction or the exact steps that produce the unboundedness, so any gaps in integrability or in passing from the ODE to the maximal function would only show up in the full argument. The reader's note flags the L^2 condition and Jost analysis as central, and those are the places where a referee would look first for hidden regularity or approximation issues. If the proof stays within L^2 without extra smoothing, the result is fine; if it slips, the claim weakens. This paper is for people already working on Carleson problems, maximal functions for ODEs, or spectral theory of Dirac-type operators. A reader tracking the nonlinear versions of these conjectures gets immediate value from knowing the strong form is ruled out, which narrows the remaining questions to weaker statements or related maximal inequalities. It deserves a serious referee. The claim is sharp and the setting is standard enough that experts can check the details in reasonable time.

Referee Report

0 major / 1 minor

Summary. The manuscript studies Jost solutions for the Dirac equation with square-summable (L^2) potential and proves that the maximal function associated to the argument of the transmission coefficient is unbounded. It further shows that the strong version of the nonlinear Carleson conjecture fails for both Dirac equations and Krein systems.

Significance. If the central claims hold, the result supplies a concrete counterexample to the strong nonlinear Carleson conjecture in the Dirac and Krein settings. This would be a notable negative result in nonlinear harmonic analysis and spectral theory, clarifying the boundary behavior of transmission coefficients under L^2 perturbations and extending the scope of known failures beyond the classical Schrödinger case.

minor comments (1)

The abstract refers to 'the strong version' of the nonlinear Carleson conjecture without a one-sentence reminder of its precise statement; adding this would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential significance of the result as a concrete counterexample to the strong nonlinear Carleson conjecture in the Dirac and Krein settings. No specific major comments appear in the report, and the recommendation is listed as uncertain. We interpret this as possible uncertainty regarding the validity of the central claims or the details of the proof. We are happy to provide further clarification, additional details on the Jost solutions, or any necessary revisions if the referee identifies particular points of concern.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims to prove unboundedness of the maximal function of arg(t(k)) for the Dirac operator with L^2 potential and failure of the strong nonlinear Carleson conjecture. This is presented as a direct counterexample construction and proof, not a derivation that reduces by construction to fitted parameters, self-definitions, or self-citation chains. The abstract and reader's summary indicate an independent mathematical argument establishing a negative result, with no quoted steps that equate predictions to inputs or smuggle ansatzes via self-citation. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results from scattering theory for Dirac operators and Krein systems; no free parameters or invented entities are mentioned in the abstract.

axioms (2)

domain assumption Existence and basic properties of Jost solutions for the Dirac equation with square-summable potential
Invoked implicitly when studying the transmission coefficient and its argument.
domain assumption Standard functional-analytic properties of Krein systems
Used to extend the failure result beyond the Dirac case.

pith-pipeline@v0.9.0 · 5324 in / 1301 out tokens · 39837 ms · 2026-05-09T17:03:19.303377+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references

[1]

Bessonov and Sergey A

Roman V. Bessonov and Sergey A. Denisov. Sobolev norms ofL2-solutions to the nonlinear Schrödinger equation. Pacific J. Math., 331(2):217–258, 2024. 6, 7, 8

2024
[2]

Christ and A

M. Christ and A. Kiselev. Scattering and wave operators for one-dimensional Schrödinger operators with slowly decaying nonsmooth potentials.Geom. Funct. Anal., 12(6):1174–1234, 2002. 1

2002
[3]

Generalizations of Menchov-Rademacher theorem and existence of wave operators in Schrödinger evolution.Canad

Sergey Denisov and Liban Mohamed. Generalizations of Menchov-Rademacher theorem and existence of wave operators in Schrödinger evolution.Canad. J. Math., 73(2):360–382, 2021. 1

2021
[4]

Sergey A. Denisov. Continuous analogs of polynomials orthogonal on the unit circle and Kre˘in systems.IMRS Int. Math. Res. Surv., pages Art. ID 54517, 148, 2006. 1, 2, 4

2006
[5]

Sergey A. Denisov. Two quantitative versions of the nonlinear Carleson conjecture.C. R. Math. Acad. Sci. Paris, 363:1533–1541, 2025. 1

2025
[6]

Springer, Berlin, 2007

LudwigD.FaddeevandLeonA.Takhtajan.Hamiltonian methods in the theory of solitons.ClassicsinMathematics. Springer, Berlin, 2007. Translated from the 1986 Russian original by Alexey G. Reyman. 6, 7

2007
[7]

Modified Prüfer and EFGP transforms and the spectral analysis of one-dimensional Schrödinger operators.Comm

Alexander Kiselev, Yoram Last, and Barry Simon. Modified Prüfer and EFGP transforms and the spectral analysis of one-dimensional Schrödinger operators.Comm. Math. Phys., 194(1):1–45, 1998. 1

1998
[8]

A sharp nonlinear Hausdorff-Young inequality for small potentials.Proc

Vjekoslav Kovač, Diogo Oliveira e Silva, and Jelena Rupčić. A sharp nonlinear Hausdorff-Young inequality for small potentials.Proc. Amer. Math. Soc., 147(1):239–253, 2019. 1, 7, 8

2019
[9]

Asymptotically sharp discrete nonlinear Hausdorff- Young inequalities for theSUp1,1q-valued Fourier products.Q

Vjekoslav Kovač, Diogo Oliveira e Silva, and Jelena Rupčić. Asymptotically sharp discrete nonlinear Hausdorff- Young inequalities for theSUp1,1q-valued Fourier products.Q. J. Math., 73(3):1179–1188, 2022. 1

2022
[10]

A counterexample to a multilinear endpoint question of Christ and Kiselev.Math

Camil Muscalu, Terence Tao, and Christoph Thiele. A counterexample to a multilinear endpoint question of Christ and Kiselev.Math. Res. Lett., 10(2-3):237–246, 2003. 1

2003
[11]

A variation norm Carleson theorem.J

Richard Oberlin, Andreas Seeger, Terence Tao, Christoph Thiele, and James Wright. A variation norm Carleson theorem.J. Eur. Math. Soc. (JEMS), 14(2):421–464, 2012. 1

2012
[12]

Nonlinear Fourier Analysis.IAS/Park City Graduate Summer School, unpub- lished lecture notes, 2012

Terence Tao and Christoph Thiele. Nonlinear Fourier Analysis.IAS/Park City Graduate Summer School, unpub- lished lecture notes, 2012. 1 Department of Mathematics, University of Wisconsin-Madison, 480 Lincoln Dr., Madison, WI 53706, USA Email address:denissov@wisc.edu

2012