arxiv: 2605.10469 · v1 · submitted 2026-05-11 · 🧮 math.CV · math.CA· math.FA

Recognition: 2 theorem links

· Lean Theorem

The norm of the backward shift on H⁴ is sqrt[4]{φ}

Adri\'an Llinares, Konstantinos Bampouras

Pith reviewed 2026-05-12 04:41 UTC · model grok-4.3

classification 🧮 math.CV math.CAmath.FA

keywords backward shift operatorHardy space H^4operator normgolden ratioinner functionsextremal functionsanalytic functions

0 comments

The pith

The backward shift operator on the Hardy space H^4 has norm equal to the fourth root of the golden ratio.

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

This paper proves that the norm of the backward shift operator on H^4 equals the fourth root of the golden ratio, where the golden ratio is the number (1 plus square root of five) divided by two. The proof proceeds by characterizing all functions that attain the supremum in the definition of the operator norm. A reader would care because exact norms for the backward shift on Hardy spaces H^p are known only for a few values of p, and this pins down the value for p equal to four. The work also gives the precise form of every function achieving the norm.

Core claim

We prove that the backward shift operator on H^4 has norm equal to the fourth root of φ, with φ equal to (1 plus square root of five) over two. Furthermore, we characterize all extremal functions; they are precisely the functions of the form f(z) equals μ times (I(z) minus square root of one over two φ), where μ is complex and I is an inner function with I(0) equal to square root of φ over two.

What carries the argument

Inner functions I with I(0) equal to square root of φ over two, which generate the extremal functions when subtracted by the constant square root of one over two φ and then scaled by μ.

If this is right

The operator norm is attained and equals exactly the fourth root of the golden ratio.
Every function attaining the norm must be a scalar multiple of an inner function minus the constant square root of one over two times φ.
The inner functions that work must satisfy the specific condition that their value at zero equals square root of φ over two.
The norm and its extremals are thereby determined completely for the space H^4.

Where Pith is reading between the lines

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

The same inner-function construction could be tested on the backward shift for other even integers p to see whether similar algebraic numbers appear.
The golden ratio arises because the optimization over possible constant terms in the extremal functions leads to a quadratic equation.
This exact value supplies a concrete benchmark for numerical approximations of the operator norm on H^4.

Load-bearing premise

The H^4 norm is defined via the integral of the fourth power of the modulus on the unit circle, and inner functions are analytic functions whose modulus equals one almost everywhere on that circle.

What would settle it

An explicit function f in H^4 with integral of |f|^4 equal to one on the circle such that the integral of the fourth power of the modulus of (f minus f(0)) over z exceeds φ would show the claimed norm is too small.

read the original abstract

We prove that the backward shift operator on $H^4$ has norm equal to $\sqrt[4]{\varphi}$, with $\varphi = \frac{1 + \sqrt{5}}{2}$. Furthermore, we characterize all extremal functions; they are precisely the functions of the form \[ f(z) = \mu \left( I(z) - \sqrt{\frac{1}{2\varphi}}\right), \] where $\mu \in \mathbb{C}$ and $I$ is an inner function with $I(0) = \sqrt{\frac{\varphi}{2}}$.

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

The paper gives an exact norm for the backward shift on H^4 as the fourth root of the golden ratio and claims a full characterization of extremals, but the characterization does not hold because different inner functions with the same value at zero produce different boundary integrals.

read the letter

The one thing to know is that this paper pins down the exact norm of the backward shift on H^4 to the fourth root of the golden ratio and claims to list all the functions that reach it. They do a solid job getting the number itself. Extending from the p=2 case to p=4 with an exact expression involving the golden ratio is a step forward, and having the extremals spelled out would be handy if it holds. The problem is in that characterization. The abstract says it's all functions like mu times (I minus constant) for any inner I with I(0) fixed. But different inners push forward to different measures on the circle. The average of |I - a|^4 won't be the same for all of them because |w-a|^4 isn't constant or proportional in a way that makes the ratio independent of the measure. So the claim that they all attain the same norm value doesn't add up. That part needs fixing or the paper needs to show only certain inners work. The norm value itself could be right, but the full statement has this inconsistency. It's worth a look for people in this subfield who need sharp bounds on these operators. If the proof of the norm is clean, it could be cited for the number alone. I'd send it to referees. They can sort out whether the characterization can be salvaged.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove that the norm of the backward shift operator on the Hardy space H^4 equals the fourth root of the golden ratio ϕ = (1 + √5)/2. It further asserts a complete characterization of the extremal functions attaining this norm: they are precisely the functions f(z) = μ (I(z) − √(1/(2ϕ))), where μ ∈ ℂ and I is an arbitrary inner function with I(0) = √(ϕ/2).

Significance. If the result holds, it would provide an explicit closed-form value for the backward shift norm on H^4 (a case where such norms are typically not known exactly for p ≠ 2) together with a full description of the extremal functions. This would be a useful contribution to the geometry of Hardy spaces and the theory of composition operators or shifts on them.

major comments (1)

[Abstract] Abstract and characterization theorem: The claim that every function of the stated form attains the norm is inconsistent with the definition of the H^4 norm. For f = μ(I − c) with c = √(1/(2ϕ)) and I inner, ||f||_4 = |μ| ⋅ (∫_𝕋 |I − c|^4 dm)^{1/4}. Since |I| = 1 a.e., this is the L^4 norm of the function |w − c| with respect to the pushforward of Lebesgue measure m under the boundary map of I. Inner functions with the same I(0) = ∫ I dm generally induce distinct pushforward measures (e.g., a degree-1 Blaschke factor versus a singular inner function or higher-degree Blaschke product). Because the functions |w − a|^4 and |w − c|^4 (with a = √(ϕ/2)) are not proportional on the unit circle, the integral ∫ |I − c|^4 dm varies with the choice of I. Consequently not all such f can share the same norm, contradicting the “precisely” characterization.

minor comments (2)

[Introduction] The introduction should include a brief comparison with the known norm of the backward shift on H^2 (which is 1) and with existing results for other p.
[§1] Notation: the constant ϕ is introduced in the abstract but should be restated with its explicit value at first use in the body.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting an important inconsistency in our characterization of the extremal functions. We address the concern directly below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract] Abstract and characterization theorem: The claim that every function of the stated form attains the norm is inconsistent with the definition of the H^4 norm. For f = μ(I − c) with c = √(1/(2ϕ)) and I inner, ||f||_4 = |μ| ⋅ (∫_𝕋 |I − c|^4 dm)^{1/4}. Since |I| = 1 a.e., this is the L^4 norm of the function |w − c| with respect to the pushforward of Lebesgue measure m under the boundary map of I. Inner functions with the same I(0) = ∫ I dm generally induce distinct pushforward measures (e.g., a degree-1 Blaschke factor versus a singular inner function or higher-degree Blaschke product). Because the functions |w − a|^4 and |w − c|^4 (with a = √(ϕ/2)) are not proportional on the unit circle, the integral ∫ |I − c|^4 dm varies with the choice of I. Consequently not all such f can share the same norm, contradicting the “precisely” characterization.

Authors: We agree with the referee's analysis. Different inner functions I sharing the same value I(0) = √(ϕ/2) generally produce distinct pushforward measures on the unit circle. Consequently, the quantity ∫_𝕋 |I − c|^4 dm is not constant across all such I, and the functions f = μ(I − c) do not all attain the same H^4 norm. The original characterization statement is therefore incorrect. We will revise the manuscript to remove the claim that every inner function with the given I(0) yields an extremal function and will instead provide a corrected description of the extremals (or note the additional conditions required for a given I to be extremal). We apologize for this oversight. revision: yes

Circularity Check

0 steps flagged

No circularity; direct proof from standard definitions

full rationale

The paper states a direct proof of the backward shift norm on H^4 equaling ϕ^{1/4} using boundary integrals for the H^4 norm and basic inner function properties to characterize extremals. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The extremal characterization is asserted as a derived result rather than presupposed by construction. The derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard axiomatic setup of Hardy spaces and inner-function theory; no new free parameters or invented entities are introduced in the abstract statement.

axioms (1)

domain assumption Standard definition of Hardy space H^p via L^p boundary norms and properties of inner functions
Invoked implicitly to define the operator norm and to state the form of extremal functions.

pith-pipeline@v0.9.0 · 5404 in / 1235 out tokens · 46038 ms · 2026-05-12T04:41:19.315791+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Constants.lean phi_golden_ratio, phi_fixed_point echoes
We prove that the backward shift operator on H^4 has norm equal to ⁴√φ, with φ=(1+√5)/2. ... equality ... iff f(z)=μ(I(z)−√(1/(2φ))) where I inner with I(0)=√(φ/2)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel, Jcost_pos_of_ne_one echoes
φ satisfies φ²=φ+1 ... 1−φ²/4 ... r=√5−1/2=φ−1

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Beurling,On two problems concerning linear transformations in Hilbert space, Acta Math

A. Beurling,On two problems concerning linear transformations in Hilbert space, Acta Math. 81(1948), 239–255. MR 27954

work page 1948
[2]

O. F. Brevig, J. Ortega-Cerd` a, and K. Seip,Idempotent Fourier multipliers acting contrac- tively onH p spaces, Geom. Funct. Anal.31(2021), no. 6, 1377–1413. MR 4386412

work page 2021
[3]

O. F. Brevig and K. Seip,The norm of the backward shift onH 1 is 2√ 3 , Pure Appl. Funct. Anal.9(2024), no. 4, 991–994. MR 4796279

work page 2024
[4]

J. A. Cima and W. T. Ross,The Backward Shift on the Hardy Space, Mathematical Surveys and Monographs, vol. 79, American Mathematical Society, Providence, RI, 2000. MR 1761913

work page 2000
[5]

R. G. Douglas, H. S. Shapiro, and A. L. Shields,Cyclic vectors and invariant subspaces for the backward shift operator, Ann. Inst. Fourier (Grenoble)20(1970), 37–76. MR 270196

work page 1970
[6]

Ferguson,Bounds on the norm of the backward shift and related operators in Hardy and Bergman spaces, Illinois J

T. Ferguson,Bounds on the norm of the backward shift and related operators in Hardy and Bergman spaces, Illinois J. Math.61(2017), no. 1-2, 81–96. MR 3770837

work page 2017
[7]

Hollenbeck and I

B. Hollenbeck and I. E. Verbitsky,Best constants for the Riesz projection, J. Funct. Anal. 175(2000), no. 2, 370–392. MR 1780482

work page 2000
[8]

Jim´ enez and D

I. Jim´ enez and D. Vukoti´ c,Norm estimates for the backward shift, To appear in arXiv, 2026

work page 2026
[9]

Kalaj,On Riesz type inequalities for harmonic mappings on the unit disk, Trans

D. Kalaj,On Riesz type inequalities for harmonic mappings on the unit disk, Trans. Amer. Math. Soc.372(2019), no. 6, 4031–4051. MR 4009386 8 K. BAMPOURAS AND A. LLINARES

work page 2019
[10]

Karlovych and E

O. Karlovych and E. Shargorodsky,When are the norms of the Riesz projection and the backward shift operator equal to one?, J. Funct. Anal.285(2023), no. 12, Paper No. 110158,

work page 2023
[11]

Melentijevi´ c,Hollenbeck-Verbitsky conjecture on best constant inequalities for analytic and co-analytic projections, Math

P. Melentijevi´ c,Hollenbeck-Verbitsky conjecture on best constant inequalities for analytic and co-analytic projections, Math. Ann.388(2024), no. 4, 4405–4448. MR 4721797

work page 2024
[12]

N. K. Nikolskii,Treatise on the Shift Operator, Grundlehren der mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences], vol. 273, Springer-Verlag, Berlin, 1986, Spectral function theory, With an appendix by S. V. Hruˇ sˇ cev [S. V. Khrushch¨ ev] and V. V. Peller, Translated from the Russian by Jaak Peetre. MR 827223

work page 1986
[13]

Shargorodsky,On the essential norms of Toeplitz operators with continuous symbols, J

E. Shargorodsky,On the essential norms of Toeplitz operators with continuous symbols, J. Funct. Anal.280(2021), no. 2, Paper No. 108835, 11. MR 4169308 Sabanci University Tuzla Campus, Orta Mahalle, ¨Universite Cadesi No:27 Tuzla, 34956 Istanbul, Turkey Email address:kostasbaburas@gmail.com Departamento de Matem ´aticas, Facultad de Ciencias, Universidad ...

work page 2021