A counterexample for the Daugavet index of thickness in $\ell_1$-sums

Andre Ostrak; Rainis Haller

arxiv: 2607.02227 · v1 · pith:YKY6ER4Tnew · submitted 2026-07-02 · 🧮 math.FA

A counterexample for the Daugavet index of thickness in ell₁-sums

Rainis Haller , Andre Ostrak This is my paper

Pith reviewed 2026-07-03 04:05 UTC · model grok-4.3

classification 🧮 math.FA

keywords Daugavet propertythickness indexBanach spaceabsolute normdirect sumcounterexamplefunctional analysis

0 comments

The pith

The Daugavet index of thickness does not always satisfy T(X ⊕₁ Y) = min{T(X), T(Y)} for Banach spaces X and Y.

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

The paper provides a counterexample to the question of whether the Daugavet index of thickness always equals the minimum of the indices in ℓ₁ direct sums. It proves that the equality holds when at least one of the spaces has the Daugavet property. However, by taking a space D with the Daugavet property and forming X as the sum of two copies of D under a suitable absolute norm, it shows that T(X ⊕₁ X) is strictly smaller than T(X). This negative answer demonstrates that the index behaves differently in some constructed spaces.

Core claim

If D is a Banach space with the Daugavet property and N is a suitable absolute norm, then for the space X = D ⊕_N D one has T(X ⊕₁ X) < T(X), which serves as a counterexample to the conjectured equality T(X ⊕₁ Y) = min{T(X), T(Y)} holding for all Banach spaces X and Y.

What carries the argument

The Daugavet index of thickness T(·), which quantifies a thickness property related to the Daugavet property in the context of ℓ₁-sums of Banach spaces.

If this is right

The conjectured equality does not hold in general for all pairs of Banach spaces.
The equality T(X ⊕₁ Y) = min{T(X), T(Y)} does hold whenever one summand has the Daugavet property.
There exist Banach spaces X constructed via absolute norms on Daugavet spaces where the index strictly decreases under ℓ₁-sums with itself.

Where Pith is reading between the lines

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

This suggests that the thickness index may require additional conditions on the spaces for the min formula to apply.
Similar counterexamples might exist for other indices or sum types in Banach space theory.
Investigating the specific absolute norms that produce the strict inequality could reveal more about the structure of such spaces.

Load-bearing premise

There exists a suitable absolute norm N such that the space X formed as the N-sum of two Daugavet spaces D satisfies the strict inequality in the thickness index under ℓ1-sum.

What would settle it

Constructing or verifying a specific Banach space D with the Daugavet property and an absolute norm N where the computed T(X ⊕₁ X) is indeed less than T(X) for X = D ⊕_N D.

read the original abstract

We give a negative answer to a question of Haller-Langemets-Lima-Nadel-Rueda Zoca asking whether, for all Banach spaces $X$ and $Y$, the Daugavet index of thickness satisfies \[ T(X\oplus_1 Y)=\min\{T(X),T(Y)\}. \] We show that this equality does hold whenever one of the two summands has the Daugavet property. On the other hand, if $D$ is a Banach space with the Daugavet property and $N$ is a suitable absolute norm, then for $X=D\oplus_N D$, one has $T(X\oplus_1 X)<T(X)$.

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

This paper gives a clean counterexample showing the Daugavet thickness index fails to satisfy T(X ⊕₁ Y) = min{T(X),T(Y)} in general.

read the letter

The main takeaway is that the equality does not hold for all Banach spaces. The authors first prove it does hold when at least one summand has the Daugavet property. They then construct a counterexample: take a space D with the Daugavet property, choose a suitable absolute norm N on ℝ², set X = D ⊕_N D, and verify that T(X ⊕₁ X) < T(X). This directly answers the question posed in the cited earlier work.

What stands out is the explicit separation between the positive case and the negative case. The construction uses standard tools from the area—absolute norms and the definition of the thickness index—so the argument stays within the usual framework. The fact that they supply both directions in one short paper makes the result self-contained.

The soft spot is the reliance on a “suitable” absolute norm N. The abstract does not spell out the concrete choice or the verification steps for the strict inequality, so a referee will want to see the explicit norm and the estimates written out in full. If those details are present and correct in the body, the claim is fine; if they are only sketched, that section needs tightening. No other gaps appear in the stated claims.

This is a paper for people already working on Daugavet-type properties and geometric indices in Banach spaces. A reader who follows the literature on thickness and absolute norms will get immediate value from the counterexample. It is narrow in scope but settles a specific open question with a concrete construction rather than an abstract existence argument.

I would send it to referees. The work is focused, the logic is internally consistent, and the result is new relative to the referenced question. Minor polishing on the norm details would be enough to make it ready.

Referee Report

2 major / 1 minor

Summary. The paper gives a negative answer to the question of Haller-Langemets-Lima-Nadel-Rueda Zoca on whether T(X ⊕_1 Y) = min{T(X), T(Y)} holds for all Banach spaces X, Y. It proves the equality when at least one summand has the Daugavet property. It also claims a counterexample: if D has the Daugavet property and N is a suitable absolute norm, then X = D ⊕_N D satisfies T(X ⊕_1 X) < T(X).

Significance. If the explicit construction and verification hold, the work resolves an open question by exhibiting a counterexample to the general min-property for the Daugavet index of thickness under ℓ1-sums, while establishing a positive result under the Daugavet-property assumption. This would clarify the behavior of T in direct sums using standard absolute-norm techniques.

major comments (2)

[Abstract] Abstract: the central counterexample is stated only in terms of a 'suitable' absolute norm N without defining the term or exhibiting an explicit N (or the corresponding verification that T(X ⊕_1 X) < T(X) holds). This leaves the main negative claim without load-bearing support.
The positive result (equality when one summand has the Daugavet property) is stated but its proof is not visible in the provided text; if the manuscript contains only the abstract, this part of the argument is also unsupported.

minor comments (1)

Notation: the title refers to 'ℓ1-sums' while the abstract uses both ⊕_1 and ⊕_N; a uniform notation section would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their feedback. We address the major comments below.

read point-by-point responses

Referee: [Abstract] Abstract: the central counterexample is stated only in terms of a 'suitable' absolute norm N without defining the term or exhibiting an explicit N (or the corresponding verification that T(X ⊕_1 X) < T(X) holds). This leaves the main negative claim without load-bearing support.

Authors: The abstract employs 'suitable' to denote an absolute norm whose explicit definition and the verification of T(X ⊕_1 X) < T(X) appear in the body of the manuscript. To improve self-containment of the abstract we will revise it to indicate the specific norm and the location of the supporting argument. revision: yes
Referee: [—] The positive result (equality when one summand has the Daugavet property) is stated but its proof is not visible in the provided text; if the manuscript contains only the abstract, this part of the argument is also unsupported.

Authors: The full manuscript contains the proof of the positive result. If the version seen by the referee appeared limited to the abstract, this may reflect a submission or formatting issue; we will confirm the complete text with the proof is properly structured in the revision. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs an explicit counterexample to the questioned equality T(X⊕₁Y)=min{T(X),T(Y)} by defining X=D⊕_N D for D with the Daugavet property and a suitable absolute norm N, then verifies the strict inequality T(X⊕₁X)<T(X) directly from the definitions. It also proves the equality holds when one summand has the Daugavet property. All steps rely on standard Banach space notions and explicit verification rather than any self-referential definition, fitted input renamed as prediction, or load-bearing self-citation chain. The reference to the prior question (which overlaps in authorship) merely frames the open problem being answered and does not justify any premise.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of a suitable absolute norm N for a Daugavet space D; this is asserted without construction or independent evidence in the abstract. The work operates entirely within standard functional analysis.

axioms (2)

standard math Banach spaces are complete normed vector spaces.
Foundational setting for all statements in the paper.
standard math Absolute norms on finite-dimensional spaces satisfy monotonicity and normalization conditions.
Used to define the sum X = D ⊕_N D.

pith-pipeline@v0.9.1-grok · 5645 in / 1162 out tokens · 49333 ms · 2026-07-03T04:05:10.437814+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references

[1]

Bonsall and John Duncan,Numerical ranges

Frank F. Bonsall and John Duncan,Numerical ranges. II, London Mathematical Soci- ety Lecture Note Series, vol. No. 10, Cambridge University Press, New York-London,
[2]

Geunsu Choi and Mingu Jung,The Daugavet and∆-constants of points in Banach spaces, Proc. Roy. Soc. Edinburgh Sect. A (2024), 1–35

2024
[3]

Rainis Haller, Johann Langemets, Vegard Lima, Rihhard Nadel, and Abraham Rueda Zoca,On Daugavet indices of thickness, J. Funct. Anal.280(2021), no. 7, Paper No. 108846, 21. MR 4211025

2021
[4]

Kadets, Roman V

Vladimir M. Kadets, Roman V. Shvidkoy, Gleb G. Sirotkin, and Dirk Werner,Banach spaces with the Daugavet property, Trans. Amer. Math. Soc.352(2000), no. 2, 855–873. MR 1621757

2000
[5]

Abraham Rueda Zoca,Daugavet property and separability in Banach spaces, Banach J. Math. Anal.12(2018), no. 1, 68–84. MR 3745574

2018
[6]

,Diameter, radius and Daugavet index of thickness of slices in Banach spaces, Isr. J. Math. (2025), 1–21

2025
[7]

Kichi-Suke Saito, Mikio Kato, and Yasuji Takahashi,Absolute norms onC n, J. Math. Anal. Appl.252(2000), no. 2, 879–905. MR 1801250

2000
[8]

Shvydkoy,Geometric aspects of the Daugavet property, J

Roman V. Shvydkoy,Geometric aspects of the Daugavet property, J. Funct. Anal.176 (2000), no. 2, 198–212. MR 1784413 8 RAINIS HALLER AND ANDRE OSTRAK Institute of Mathematics and Statistics, University of Tartu, Estonia Email address:rainis.haller@ut.ee Institute of Mathematics and Statistics, University of Tartu, Estonia Email address:andre.ostrak@ut.ee

2000

[1] [1]

Bonsall and John Duncan,Numerical ranges

Frank F. Bonsall and John Duncan,Numerical ranges. II, London Mathematical Soci- ety Lecture Note Series, vol. No. 10, Cambridge University Press, New York-London,

[2] [2]

Geunsu Choi and Mingu Jung,The Daugavet and∆-constants of points in Banach spaces, Proc. Roy. Soc. Edinburgh Sect. A (2024), 1–35

2024

[3] [3]

Rainis Haller, Johann Langemets, Vegard Lima, Rihhard Nadel, and Abraham Rueda Zoca,On Daugavet indices of thickness, J. Funct. Anal.280(2021), no. 7, Paper No. 108846, 21. MR 4211025

2021

[4] [4]

Kadets, Roman V

Vladimir M. Kadets, Roman V. Shvidkoy, Gleb G. Sirotkin, and Dirk Werner,Banach spaces with the Daugavet property, Trans. Amer. Math. Soc.352(2000), no. 2, 855–873. MR 1621757

2000

[5] [5]

Abraham Rueda Zoca,Daugavet property and separability in Banach spaces, Banach J. Math. Anal.12(2018), no. 1, 68–84. MR 3745574

2018

[6] [6]

,Diameter, radius and Daugavet index of thickness of slices in Banach spaces, Isr. J. Math. (2025), 1–21

2025

[7] [7]

Kichi-Suke Saito, Mikio Kato, and Yasuji Takahashi,Absolute norms onC n, J. Math. Anal. Appl.252(2000), no. 2, 879–905. MR 1801250

2000

[8] [8]

Shvydkoy,Geometric aspects of the Daugavet property, J

Roman V. Shvydkoy,Geometric aspects of the Daugavet property, J. Funct. Anal.176 (2000), no. 2, 198–212. MR 1784413 8 RAINIS HALLER AND ANDRE OSTRAK Institute of Mathematics and Statistics, University of Tartu, Estonia Email address:rainis.haller@ut.ee Institute of Mathematics and Statistics, University of Tartu, Estonia Email address:andre.ostrak@ut.ee

2000