arxiv: 2603.18287 · v3 · submitted 2026-03-18 · 🧮 math.FA

Recognition: 2 theorem links

· Lean Theorem

Duality for Delsarte's extremal problem on locally compact Abelian groups

Elena E. Berdysheva , B\'alint Farkas , Marcell Ga\'al , Mita D. Ramabulana , Szil\'ard Gy. R\'ev\'esz

Authors on Pith no claims yet

Pith reviewed 2026-05-15 08:06 UTC · model grok-4.3

classification 🧮 math.FA

keywords Delsarte extremal problemstrong dualitylocally compact Abelian groupspositive definite functionsharmonic analysisdual formulationextremal problems

0 comments

The pith

The Delsarte extremal problem admits strong duality on locally compact Abelian groups

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

The paper generalizes Delsarte's extremal problem for positive definite functions to locally compact Abelian groups as a setting for harmonic analysis. It extends both the normalization conditions and the objective functional to cover a wide range of earlier cases while avoiding common restrictive topological assumptions. A corresponding dual problem is derived, and strong duality is proved via a functional analytic approach. This unifies prior duality results known for finite groups and Euclidean space and extends them to arbitrary locally compact Abelian groups. A sympathetic reader would care because the result supplies a single method for obtaining bounds in applications such as coding theory, sphere packing, and Fuglede's spectral set conjecture across diverse group settings.

Core claim

On a locally compact Abelian group, the supremum of the generalized Delsarte extremal problem equals the infimum of the dual problem obtained through functional analysis, yielding strong duality.

What carries the argument

The dual extremal problem formulated via measures or continuous functions that pair with positive definite functions to enforce equality of values

If this is right

Duality theorems previously known only for finite groups and real Euclidean space follow directly as special cases.
Upper bounds for the size of codes, sphere packings, and 1-avoiding sets become available on any locally compact Abelian group.
Existence questions for extremizers can now be approached uniformly through the dual formulation.

Where Pith is reading between the lines

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

Numerical methods solving the dual side could compute explicit bounds for groups where direct extremal search is difficult.
The same functional-analytic duality technique might apply to related extremal problems outside the Delsarte setting.
Direct verification on concrete infinite groups such as the p-adics or the integers would test whether the generality is sharp.

Load-bearing premise

The normalization of the functions and the objective functional can be extended to locally compact Abelian groups while preserving the structure of the extremal problem.

What would settle it

A concrete calculation on a specific group such as the integers where the primal supremum differs from the dual infimum would show the claimed strong duality does not hold.

read the original abstract

The Delsarte extremal problem for positive definite functions, originally introduced by Delsarte in coding theory to bound the size of error-correcting codes, has since found applications in diverse areas such as sphere packing, Fuglede's spectral set conjecture, and $1$-avoiding sets. Recent developments have established the existence of extremizers in fairly general settings and identified precise linear programming dual formulations, together with strong duality results, in several important cases including finite groups and $\mathbb{R}^d$. In this paper, we consider a generalized Delsarte problem on locally compact Abelian groups, providing a natural framework for harmonic analysis. We extend both the normalization and the objective functional to encompass a wide range of previously studied cases, while avoiding restrictive topological assumptions common in the literature. Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results. Naturally, our proof uses harmonic analysis, but the key is a functional analytic approach which distinguishes our proof from existing methods.

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 generalizes the Delsarte problem to locally compact Abelian groups and proves strong duality with a functional-analytic argument that unifies earlier finite-group and R^d cases.

read the letter

This paper takes the Delsarte extremal problem for positive definite functions and sets it up on general locally compact Abelian groups. It adjusts the normalization and the objective functional so that the earlier results on finite groups and on R^d fall out as special cases, then derives the dual problem and shows strong duality holds. The proof relies on functional analysis rather than the more common harmonic-analysis tricks, which lets it drop some topological restrictions that appeared in prior work. That unification is the main contribution, and it looks useful for people working on coding bounds, sphere packing, or spectral sets in a harmonic-analysis setting. The argument is presented cleanly enough that the steps are easy to follow once you accept the generalized formulation. I did not spot any obvious circularity or hidden fitting; the duality claim rests on standard convex-analysis tools applied to the right function spaces. One minor soft spot is that the paper still needs to confirm that the chosen function spaces are large enough to capture all the interesting extremizers that arise in applications, but this is more a question of scope than a flaw in the proof itself. The work is aimed at harmonic analysts and coding theorists who already know the classical Delsarte bounds and want a single framework that covers the discrete and continuous cases at once. It is solid enough to deserve a serious referee; the generalization is genuine and the duality result is stated precisely enough to be checked. I would send it out for review rather than desk-reject.

Referee Report

0 major / 2 minor

Summary. The paper generalizes Delsarte's extremal problem for positive definite functions to locally compact Abelian groups. It extends the normalization and the objective functional to encompass a wide range of previously studied cases while avoiding common restrictive topological assumptions, derives the corresponding dual problem, and proves a strong duality theorem via a functional-analytic approach that relies on harmonic analysis but is distinguished from prior methods. This unifies and extends existing results for finite groups and R^d, with applications to coding theory, sphere packing, Fuglede's conjecture, and 1-avoiding sets.

Significance. If the strong duality holds under the stated generalizations, the result supplies a unified functional-analytic framework for extremal problems on LCA groups. The parameter-free derivation of the dual and the strong duality theorem are explicit strengths that could streamline applications across harmonic analysis and discrete geometry. The avoidance of restrictive topological assumptions broadens the scope beyond earlier treatments.

minor comments (2)

[Abstract] Abstract, paragraph 3: the phrase 'extend both the normalization and the objective functional' is stated without a brief indication of the precise extensions; adding one sentence would clarify the scope for readers unfamiliar with the prior literature.
[§2 or §3] The manuscript would benefit from an explicit statement (perhaps in §2 or §3) of the precise constraint qualification used to obtain strong duality, even if it follows from standard results in the functional-analytic setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the main contribution: a unified strong duality result for the generalized Delsarte extremal problem on locally compact Abelian groups. The referee's assessment of significance aligns with our goals of extending prior results for finite groups and R^d while avoiding restrictive assumptions. As the report contains no specific major comments, we have no points requiring rebuttal. We will address any minor editorial or typographical issues in the revised version.

Circularity Check

0 steps flagged

Derivation self-contained via new functional-analytic proof

full rationale

The paper derives the dual formulation and establishes strong duality for a generalized Delsarte extremal problem on locally compact Abelian groups by extending normalization and the objective functional in a functional-analytic framework. This approach is explicitly distinguished from prior harmonic-analysis methods and does not reduce any load-bearing step to a self-definition, fitted parameter renamed as prediction, or unverified self-citation chain. The unification of earlier results is achieved through the new proof rather than by construction from inputs, leaving the central claim independent and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on established tools from harmonic analysis and functional analysis on locally compact Abelian groups without introducing new free parameters or invented entities.

axioms (1)

standard math Standard properties of positive definite functions, their Fourier transforms, and duality on locally compact Abelian groups
These are invoked to define the generalized extremal problem and to construct its dual.

pith-pipeline@v0.9.0 · 5513 in / 1226 out tokens · 58094 ms · 2026-05-15T08:06:19.428517+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We follow the paper [24] by Gaál and Révész, where, based on a lesser known version of the dual cone intersection formula, due to Jeyakumar and Wolkowicz [32], we devised a functional-analytic method to deal with inequalities for positive definite functions.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 4.1. With the previous notation we have P−Q=X.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · 1 internal anchor

[1]

Ambrus, A

G. Ambrus, A. Csisz´ arik, M. Matolcsi, D. Varga, and P. Zs´ amboki,The density of planar sets avoiding unit distances, Math. Program.207(2024), 303–327

work page 2024
[2]

Arestov and A.G

V.V. Arestov and A.G. Babenko,On the Delsarte scheme for estimating contact numbers, Proc. Steklov Inst. Math.4(1997), 36–65

work page 1997
[3]

Argabright and J

L. Argabright and J. Gil de Lamadrid,Fourier analysis of unbounded measures on locally compact Abelian groups, Memoirs of the American Mathematical Society, no. 145, American Mathematical Society, Providence, R.I., 1974, vi+53 pp

work page 1974
[4]

Argabright and J

L. Argabright and J. Gil de Lamadrid,Almost periodic measures, vol. 428, Memoirs of the American Mathematical Society, no. 85, American Mathematical Society, Providence, R.I., 1990, vi+219 pp

work page 1990
[5]

Attouch and H

H. Attouch and H. Brezis,Duality for the sum of convex functions in general Banach spaces, Elsevier Science Publishers B.V., Amsterdam, 1986

work page 1986
[6]

E. E. Berdysheva, M. D. Ramabulana, and Sz. Gy. R´ ev´ esz,On extremal problems of Delsarte type for positive definite functions on lca groups, Expo. Math.44(2026), 125663

work page 2026
[7]

E. E. Berdysheva, B. Farkas, M. Ga´ al, M. D. Ramabulana, and Sz. Gy. R´ ev´ esz,Duality for Delsarte’s extremal problem on compact Gelfand pairs, arXiv:2603.11792v1

work page internal anchor Pith review Pith/arXiv arXiv
[8]

E. E. Berdysheva and Sz. Gy. R´ ev´ esz,Delsarte’s extremal problem and packing on locally compact Abelian groups, Ann. Sc. Norm. Super. Pisa Cl. Sci.XXIV(2023), 1007–1052

work page 2023
[9]

Berg and G

C. Berg and G. Forst,Potential theory on locally compact abelian groups, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. Band 87, Springer-Verlag, New York-Heidelberg, 1975

work page 1975
[10]

Bertrandias, C

J.-P. Bertrandias, C. Datry, and C. Dupuis,Unions et intersections d’espacesL p invariantes par translation ou convolution, Ann. Inst. Fourier (Garenoble)28(1978), no. 2, v, 53–84

work page 1978
[11]

Bertrandias and C

J.-P. Bertrandias and C. Dupuis,Transformation de Fourier sur les espacesl p(Lp′ ), Ann. Inst. Fourier (Grenoble)29(1979), no. 1, xv, 189–206

work page 1979
[12]

Boyvalenkov, S

P. Boyvalenkov, S. Dodunekov, and O. Musin,A survey on the kissing numbers, Serdica Math. J. 38(2012), no. 4, 507–522. 20 BERDYSHEV A ET AL

work page 2012
[13]

Cohn,New upper bounds on sphere packings

H. Cohn,New upper bounds on sphere packings. II, Geom. Topol.6(2002), 329–353

work page 2002
[14]

H. Cohn, D. de Laat, and A. Salmon,Three-point bounds for sphere packing, arXiv preprint, arXiv:2206.15373v1

work page arXiv
[15]

Cohn and N

H. Cohn and N. Elkies,New upper bounds for sphere packings, I, Ann. of Math.157(2003), 689–714

work page 2003
[16]

H. Cohn, A. Kumar, S.D. Miller, D. Radchenko, and M. Viazovska,The sphere packing problem in dimension24, Ann. of Math.185(2017), 1017–1033

work page 2017
[17]

H. T. Croft,Incidence incidents, Eureka30(1967), 22–26

work page 1967
[18]

Delsarte,Bounds for unrestricted codes by linear programming, Philips Res

P. Delsarte,Bounds for unrestricted codes by linear programming, Philips Res. Rep.2(1972), 272– 289

work page 1972
[19]

Delsarte, J.-M

P. Delsarte, J.-M. Goethals, and J. J. Seidel,Spherical codes and designs, Geom. Dedicata6(1977), no. 3, 363–388

work page 1977
[20]

Erd˝ os,Problems and results in combinatorial geometry, in:Discrete Geometry and Convexity (New York, 1982), Annals of the New York Academy of Sciences, vol

P. Erd˝ os,Problems and results in combinatorial geometry, in:Discrete Geometry and Convexity (New York, 1982), Annals of the New York Academy of Sciences, vol. 440, New York Academy of Sciences, New York, 1985, pp. 1–11

work page 1982
[21]

H. G. Feichtinger,A characterization of Wiener’s algebra on locally compact groups, Archiv der Mathematik29(1977), 136–140

work page 1977
[22]

H. G. Feichtinger,Banach convolution algebras of Wiener type, in: E. B. Sz.-Nagy and J. Szabados (eds.),Proc. Conf. on Functions, Series, Operators, Budapest 1980, Colloq. Math. Soc. J´ anos Bolyai, vol. 35, North-Holland, 1983, pp. 509–524

work page 1980
[23]

J. J. F. Fournier and J. Stewart,Amalgams ofL p andℓ q, Bull. Amer. Math. Soc. (N.S.)13(1985), no. 1, 1–21

work page 1985
[24]

Ga´ al and Sz

M. Ga´ al and Sz. Gy. R´ ev´ esz,Integral comparisons of nonnegative positive definite functions on LCA groups, Math. Zeitschrift302(2022), no. 2, 995–1024

work page 2022
[25]

Gil de Lamadrid,Review of Stewart’s paper[48], Mathematical Reviews MR0553161

J. Gil de Lamadrid,Review of Stewart’s paper[48], Mathematical Reviews MR0553161

work page
[26]

D. V. Gorbachev,An extremal problem for periodic functions with supports in the ball, Math. Notes 69(2001), no. 3, 313–319

work page 2001
[27]

D.V. Gorbachev,Extremal problems for entire functions of exponential spherical type, connected with the Levenshtein bound on the sphere packing density inR n, Izvestiya of the Tula State University, Ser. Mathematics, Mechanics, Informatics6(2000), 71–78, Russian

work page 2000
[28]

Holland,Harmonic Analysis on Amalgams ofL p andℓ q, Journal of the London Mathematical Societys2-10(1975), no

F. Holland,Harmonic Analysis on Amalgams ofL p andℓ q, Journal of the London Mathematical Societys2-10(1975), no. 3, 295–305

work page 1975
[29]

Holland,On the representation of functions as Fourier transforms of unbounded measures, Proc

F. Holland,On the representation of functions as Fourier transforms of unbounded measures, Proc. London Math. Soc. (3)30(1975), 347–365

work page 1975
[30]

Holmes,Geometric functional analysis and its applications, Springer, Berlin, 1975

R.B. Holmes,Geometric functional analysis and its applications, Springer, Berlin, 1975

work page 1975
[31]

Ivanov,On the Tur´ an and Delsarte problems for periodic positive definite functions, Math

V.I. Ivanov,On the Tur´ an and Delsarte problems for periodic positive definite functions, Math. Notes 80(2006), no. 6, 875–880

work page 2006
[32]

Jeyakumar and H

V. Jeyakumar and H. Wolkowicz,Zero duality gaps in infinite-dimensional programming, J. Optim. Theory Appl.67(1990), no. 1, 87–108

work page 1990
[33]

Kabatyanskii and V.I

G.A. Kabatyanskii and V.I. Levenshtein,On bounds for packing on the sphere and in space, Probl. Inform.14(1978), no. 1, 3–25, Russian

work page 1978
[34]

Kolountzakis, N

M.N. Kolountzakis, N. Lev, and M. Matolcsi,The Tur´ an and Delsarte problems and their duals, 2025, arXiv preprint, arXiv:2510.10172v1

work page arXiv 2025
[35]

Kretschmer,Programmes in paired spaces, Canadian J

K.S. Kretschmer,Programmes in paired spaces, Canadian J. Math.13(1961), 221–238

work page 1961
[36]

Lev and M

N. Lev and M. Matolcsi,The Fuglede conjecture for convex domains is true in all dimensions, Acta Math.228(2022), no. 2, 385–420

work page 2022
[37]

V. I. Levenshtein,Bounds for packings inn-dimensional Euclidean space, Dokl. Akad. Nauk SSSR 245(1979), 1299–1303

work page 1979
[38]

V. J. Lin,On equivalent norms in the space of square integrable entire functions of exponential type, Mat. Sb. (N.S.)67(109)(1965), 586–608

work page 1965
[39]

T. S. Liu, A. van Rooij, and J. K. Wang,On some group algebra modules related to Wiener’s algebra M1, Pacific J. Math.55(1974), 507–520

work page 1974
[40]

Matolcsi and I.Z

M. Matolcsi and I.Z. Ruzsa,Difference sets and positive exponential sums I. general properties, J. Fourier Anal. Appl.20(2014), 17–41

work page 2014
[41]

Phuong-C´ ac,Sur une classe d’espaces de fonctions continues, C

N. Phuong-C´ ac,Sur une classe d’espaces de fonctions continues, C. R. Acad. Sci. Paris S´ er. A-B 267(1968), A775–A778

work page 1968
[42]

M. D. Ramabulana,On the existence of an extremal function for the Delsarte extremal problem, Anal. Math.51(2025), 279–291

work page 2025
[43]

Sz. Gy. R´ ev´ esz,On Beurling’s prime number theorem, Period. Math. Hung.28(1994), no. 3, 195–210. DUALITY FOR DELSARTE’S EXTREMAL PROBLEM ON LCA GROUPS 21

work page 1994
[44]

Sz. Gy. R´ ev´ esz,On some extremal problems of Landau, Serdica Math. J.33(2007), no. 1, 125–162

work page 2007
[45]

Sz. Gy. R´ ev´ esz,Some trigonometric extremal problems and duality, J. Aust. Math. Soc. Ser. A50 (1991), 384–390

work page 1991
[46]

I. Z. Ruzsa,Connections between the uniform distribution of a sequence and its differences, in:Topics in Classical Number Theory, Colloq. Math. Soc. J´ anos Bolyai, vol. 34, North-Holland, Amsterdam– New York–Budapest, 1981, pp. 1419–1443

work page 1981
[47]

C. L. Siegel, ¨Uber Gitterpunkte in konvexen K¨ orpern und damit zusammenh¨ angendes Extremalprob- lem, Acta Math.65(1935), 307–323

work page 1935
[48]

Stewart,Fourier Transforms of Unbounded Measures, Canadian Journal of Mathematics31(1979), no

J. Stewart,Fourier Transforms of Unbounded Measures, Canadian Journal of Mathematics31(1979), no. 6, 1281–1292

work page 1979
[49]

M. L. Thornett,A class of second-order stationary random measures, Stochastic Process. Appl.8 (1978/79), no. 3, 323–334

work page 1978
[50]

Viazovska,The sphere packing problem in dimension 8, Ann

M. Viazovska,The sphere packing problem in dimension 8, Ann. of Math.185(2017), 991–1015

work page 2017
[51]

Virosztek,Applications of an intersection formula to dual cones, Bull

D. Virosztek,Applications of an intersection formula to dual cones, Bull. Aust. Math. Soc.97(2018), 94–101

work page 2018
[52]

Wiener,On the representation of functions by trigonometrical integrals, Math

N. Wiener,On the representation of functions by trigonometrical integrals, Math. Z.24(1926), 575–616

work page 1926
[53]

Wiener,Tauberian theorems, Ann

N. Wiener,Tauberian theorems, Ann. of Math. (2)33(1932), no. 1, 1–100

work page 1932
[54]

V. A. Yudin,Packings of balls in Euclidean space, and extremal problems for trigonometric polyno- mials, Diskret. Mat.1(1989), 155–158, translation in Discrete Math. Appl. 1 (1991) 69–72, Russian. Elena E. Berdysheva University of Cape Town, South Africa Email address:elena.berdysheva@uct.ac.za B´alint Farkas University of Wuppertal Gaußstraße 20, 42119 W...

work page 1989