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

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

REVIEW 2 major objections 1 minor 2 cited by

Strong duality holds for the generalized Delsarte extremal problem on every locally compact Abelian group.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 22:43 UTC pith:2DNR76WQ

load-bearing objection Abstract-only: a claimed strong-duality unification for generalized Delsarte on LCA groups that looks worth a referee if the proof is there. the 2 major comments →

arxiv 2603.18287 v4 pith:2DNR76WQ submitted 2026-03-18 math.FA

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 This is my paper

classification math.FA MSC 43A3590C0546A20

keywords Delsarte problemstrong dualitylocally compact Abelian groupspositive definite functionslinear programming boundsharmonic analysisextremal problems

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that a natural generalization of Delsarte’s extremal problem for positive definite functions on locally compact Abelian groups admits a dual linear program whose optimal value equals the primal value. The same statement recovers, as special cases, the known strong-duality theorems for finite groups and for Euclidean space, while the normalizations and objective functionals are written so that the usual restrictive topological hypotheses can be dropped. The argument combines harmonic analysis on the dual group with a functional-analytic treatment of the dual pairing that guarantees both attainment and a zero duality gap. A sympathetic reader therefore obtains a single, uniform certificate for the best Delsarte-type upper bounds on packing, coding and spectral-set problems across essentially all groups that arise in harmonic analysis.

Core claim

On an arbitrary locally compact Abelian group the generalized Delsarte primal problem and the dual linear program obtained from it satisfy strong duality: their optimal values coincide. The result unifies and extends the earlier strong-duality theorems that were known only for finite groups and for R^d, and it does so without the restrictive topological assumptions common in the literature.

What carries the argument

A carefully extended dual pairing between continuous positive-definite functions and finitely additive measures on the dual group; this pairing produces a dual linear program whose feasibility and objective are compatible with the primal normalization, so that a standard functional-analytic argument yields both attainment and a zero duality gap.

Load-bearing premise

The chosen extensions of the normalization condition and of the objective functional remain compatible with the dual pairing and with the topology of the dual group so that zero duality gap and attainment still hold.

What would settle it

Produce a concrete locally compact Abelian group together with an admissible instance of the generalized Delsarte problem for which the primal and dual optimal values are unequal, or for which the dual fails to attain its optimum under the paper’s hypotheses.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

Any Delsarte-type upper bound obtained from a feasible dual measure on an LCA group is sharp whenever the primal value is finite.
The separate strong-duality theorems previously proved for finite groups and for R^d become direct corollaries of a single statement.
Existence of extremizers for the primal can be read off from dual attainment without extra topological hypotheses.
The same dual certificates apply uniformly to sphere packing, 1-avoiding sets and spectral-set problems on general LCA groups.

Where Pith is reading between the lines

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

The functional-analytic route may extend to non-Abelian groups once a suitable dual pairing is identified.
Numerical linear-programming solvers on compact groups can now invoke zero-gap duality without additional regularity checks.
Many ad-hoc normalizations used in coding theory become interchangeable once the dual pairing is fixed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Abstract-only: a claimed strong-duality unification for generalized Delsarte on LCA groups that looks worth a referee if the proof is there.

read the letter

The one thing to know is that we only have the abstract. It claims a strong duality theorem for a generalized Delsarte extremal problem on all locally compact Abelian groups, with broader normalization and objective that are meant to cover the finite-group and R^d cases and more, while avoiding the usual restrictive topological hypotheses. If the proof holds, that is a clean unification inside harmonic analysis, packing, and coding bounds.

What looks new is the scope and the method sketch: LCA groups as the natural setting, extended primal data that properly contain earlier special cases, dual LP derived in that setting, and a functional-analytic key step rather than the routes used for finite groups or Euclidean space. That is real organizational work, not just a re-labeling. The abstract is clear about the claim and about what it is trying to avoid.

The soft spot is purely epistemic. Without the dual formulation, the precise pairing, or the lemmas, we cannot check attainment or zero duality gap, nor whether the extended normalization and objective stay compatible with the dual-group topology the way the authors assert. The stress-test note is right: that is a verification gap, not an inconsistency visible from the abstract. Nothing in the abstract smells circular or parameter-fitted; it reads like a standard primal–dual equality proved by analysis. Self-citation risk for earlier special cases is minor and normal if those results are used as base cases.

This is for people who work on Delsarte-type LP bounds, positive-definite functions on groups, or packing/coding duals. A serious referee in harmonic analysis or functional analysis should see the full text. I would not desk-reject on the abstract alone; the claim is important enough inside its area and formally grounded enough in intent to deserve peer review. Bring it to reading group only if someone has the full paper and can walk through the dual pair and the functional-analytic step. I would not cite from the abstract, but I would read the paper if it lands on my desk.

Referee Report

2 major / 1 minor

Summary. The manuscript claims a strong duality theorem for a generalized Delsarte extremal problem on locally compact Abelian groups: after extending both the normalization and the objective functional so as to cover previously studied special cases, the primal problem and its dual linear program have equal optimal values. The abstract asserts that this unifies and extends known strong-duality results for finite groups and for R^d, that the argument relies on harmonic analysis together with a functional-analytic key step, and that the development avoids restrictive topological hypotheses common in the literature. Only the abstract is available for review; no dual formulation, lemmas, or proof details are supplied.

Significance. If the claimed strong duality holds in the stated generality, the paper would supply a single harmonic-analytic framework that recovers and extends the known duality theorems for finite groups and Euclidean space, with potential consequences for coding bounds, sphere packing, Fuglede-type spectral-set questions, and 1-avoiding sets. The advertised functional-analytic approach and the removal of restrictive topological assumptions would constitute a genuine technical advance, provided the dual pairing remains continuous and attainment is obtained under the weaker hypotheses.

major comments (2)

The central claim (strong duality for the generalized primal–dual pair on arbitrary LCA groups, without the restrictive topological hypotheses used in earlier work) cannot be assessed from the abstract alone. The load-bearing steps—precise definition of the extended normalization and objective, continuity of the dual pairing, and the functional-analytic argument that produces zero duality gap and attainment—are not visible. Until those steps are supplied and checked, the unification claim remains unverified.
The abstract asserts that the chosen extensions of normalization and objective “encompass a wide range of previously studied cases” while remaining compatible with the cone of positive-definite functions. Without the explicit dual program and the statement of the pairing, it is impossible to confirm that the extensions do not re-introduce topological restrictions or destroy attainment; this is the weakest assumption of the argument and must be verified in the full text.

minor comments (1)

The abstract is clear on motivation and scope but contains no equation numbers, dual formulation, or reference list that would allow a reader to locate the precise statements being generalized; these should appear early in the full manuscript.

Circularity Check

0 steps flagged

No significant circularity: abstract-only strong-duality claim is a standard functional-analytic equality, not forced by definition or fit.

full rationale

Only the abstract is available. It states a generalized Delsarte extremal problem on locally compact Abelian groups, an extension of normalization and objective, derivation of a dual LP, and a strong-duality theorem (primal value equals dual value) via harmonic analysis plus a functional-analytic argument, unifying earlier cases for finite groups and R^d. No equations, fitted parameters, uniqueness theorems, or load-bearing self-citations appear in the provided text. Strong duality is an equality proved between two independently formulated programs; nothing in the abstract reduces the claimed equality to a definitional identity, a fitted input renamed as prediction, or an unverified self-citation chain. Per the hard rules, circularity may be asserted only when a specific reduction can be quoted and exhibited; none can. The derivation is therefore treated as self-contained on the available evidence, yielding score 0 with empty steps.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review: free parameters are not expected for a pure duality theorem. Background axioms are the standard structure of LCA groups and positive-definite functions; any ad-hoc choices would live in the (unseen) definitions of the generalized normalization and objective. No new physical entities are introduced.

axioms (3)

domain assumption Locally compact Abelian groups admit Haar measure and Pontryagin duality sufficient for the Fourier analysis of positive definite functions used in the dual program.
Standard harmonic-analysis background; the abstract’s whole setting is LCA groups.
ad hoc to paper The chosen generalized normalization and objective functional still yield a well-posed primal–dual pair with the usual cone of positive definite functions.
The abstract’s main modeling step is this extension; its precise form is not given here and is load-bearing for duality.
ad hoc to paper Existence of extremizers or dual attainment can be obtained by functional-analytic arguments without the restrictive topological hypotheses used in earlier papers.
Claimed as a feature of the proof; correctness of that claim is not checkable from the abstract.

pith-pipeline@v1.1.0-grok45 · 6112 in / 2141 out tokens · 26151 ms · 2026-07-13T22:43:06.163159+00:00 · methodology

0 comments

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.

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Linear Programming Bounds for Fibered Sphere Packings
math.MG 2026-07 conditional novelty 8.0

Linear programming bounds are sharp for some fibered sphere packings, collapse to the planar bound in a key six-dimensional case, and fail to prove the Cohn–Rajagopal conjecture for D5/A3.
On a question of Gowers related to Littlewood's conjecture
math.NT 2026-07 accept novelty 6.0

Lattices from rings of integers of totally real number fields produce the point configurations Gowers asked about, so that particular route to Littlewood's conjecture is blocked.