Pith. sign in

REVIEW 3 major objections 4 minor 16 references

High degree simple partial fractions in the Bergman space: Approximation and Optimization

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For degree-N simple partial fractions, equally spaced poles are the unique Bergman minimizer exactly under vanishing moments.

desk verdict Solid new results on degree-N simple partial fractions, but Theorem 1.4 has a real proof gap and a small-n false statement; fixable, worth refereeing. read the letter →

arxiv 2506.02901 v1 pith:GPBXHWBA submitted 2025-06-03 math.CV

Nikiforos Biehler This is my paper
classification math.CV MSC 30H2030E1041A20
keywords simplepartialfractionsweightedBergmanspacesequidistributionmomentconditionsinteractionfunctionconvexsequencessharpasymptoticsrationalapproximation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks where points $a_0,\dots,a_{n-1}$ on the unit circle should be placed so that the high-degree simple partial fraction $f(z)=\sum_{k=0}^{n-1}(z-a_k)^{-N}$ has the smallest possible norm in the weighted Bergman space $A^2_{\alpha}(\mathbb{D})$. The main result is that at the critical weight $\alpha^*=2N-1$, the evenly spaced configuration is the unique minimizer up to rotation, provided the first $N^2-2$ moments $\sum_k a_k^m$ vanish. Without that moment condition, equidistribution is not optimal: for $N=2$ and $\alpha=3$, two poles separated by about $0.919$ radians beat opposite poles, so the symmetric configuration is generically wrong. The paper also establishes sharp asymptotics for the equidistributed norms, proves the unconstrained minimum is always comparable to that value, and locates precisely the exponents at which $SF^N(\mathbb{T})$ stops being dense. A sympathetic reader should take the core insight to be that symmetry in this extremal problem is restored exactly when low-order moments are forced to zero.

What carries the argument

The load-bearing object is the interaction function $\phi_{\alpha,N}(\vartheta)$, defined by $\phi_{\alpha,N}(\vartheta)=\frac{k_g}{((N-1)!)^2}\sum_{m=N}^{\infty} c_m(\alpha,N)\cos(m\vartheta)$, which represents the real part of the Bergman inner product between two poles separated by angle $\vartheta$. The minimization problem becomes the purely angular problem of minimizing $\sum_{j\ne k}\phi_{\alpha,N}(\vartheta_j-\vartheta_k)$. The proof at $\alpha^*=2N-1$ rewrites the second derivative of this function as a cosine series whose coefficients are asymptotically convex, applies Bari's theorem on positive cosine series, and uses Proposition 4.3 to modify finitely many coefficients so that the resulting function $\tilde{\varphi}$ is strictly convex on $(0,2\pi)$. The strict convexity then triggers Lemma 13 of $[1]$, which says that a strictly convex pairwise interaction is minimized uniquely by equidistributed angles, proving Theorem 1.4.

What would settle it

Search numerically for $n$ distinct points on the unit circle satisfying $\sum_k a_k^m=0$ for $1\le m\le N^2-2$ whose norm at $\alpha^*=2N-1$ is strictly smaller than $\|\Psi_n^N\|_{\alpha^*}$; Theorem 1.4 predicts none exist, so a single such configuration would refute it. Alternatively, compute the second-difference sequence of the coefficients in Section 6 and check directly whether finitely many modifications can make it strictly convex while preserving the required endpoint conditions; failure of that step would break the uniqueness conclusion.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.4: for $N>1$ and $\alpha^*=2N-1$, among all configurations of $n$ distinct poles on the unit circle whose first $N^2-2$ moments vanish, the minimal Bergman norm of $\sum_{k=0}^{n-1}(z-a_k)^{-N}$ is attained exactly, up to rotation, by the equally spaced points $e^{2\pi i k/n}$. The paper shows this is a genuine phenomenon rather than a triviality, because without the moment restrictions the minimizer is different; the explicit two-pole example with $N=2$, $\alpha=3$ has optimal separation $\vartheta_{\min}\approx 0.919$ radians, not $\pi$. Around this, the paper proves sharp asymptotic formulas, shows that the unconstrained minimum is comparable to the equidistributed norm, derives the density dichotomy for $SF^N(\mathbb{T})$ in $A^2_{\alpha}$, and extends Korevaar's approximation theorem to degree-$N$ simple fractions.

Load-bearing premise

The proof of the main uniqueness theorem rests on an assertion, labeled 'it can be easily verified', that a certain infinite sequence of cosine coefficients can be changed in finitely many places to become strictly convex, so that a classical positivity theorem applies; if that assertion fails, the uniqueness conclusion is not justified.

Editorial extensions

If this is right

  • At $\alpha^*=2N-1$, the moment constraints single out equidistribution: any minimizer in $W_n$ is, after a rotation, the regular $n$-gon, so the family $W_n$ is the right constrained setting in which the symmetric conjecture survives.
  • For $N>1$, the unconstrained problem behaves differently: the two-pole $N=2$, $\alpha=3$ minimizer is separated by about $0.919$ radians, so balanced placement is not optimal in general.
  • The unconstrained minimum remains comparable to the equidistributed norm, so asymmetric optima can improve the energy only by a constant factor as $n\to\infty$.
  • The sharp asymptotic $n^{\alpha+1-2N}\|\Psi^N_n\|_\alpha^2 \to \frac{\Gamma(\alpha+2)\zeta(\alpha+1-2(N-1))}{((N-1)!)^2}$ follows from the power-series representation of $\Psi^N_n$ as a logarithmic derivative of $z^n-1$.
  • Density of $SF^N(\mathbb{T})$ in $A^2_\alpha$ is controlled by sharp exponents: nowhere dense for $2(N-1)<\alpha<\alpha^*$, not dense at $\alpha^*$, and dense for $\alpha>\alpha^*+1$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One extension the paper leaves implicit is that the index $N^2-2$ is not arbitrary: it is the first point where the coefficient inequality $(m+1)a_m-ma_{m+1}\le a_0$ holds, suggesting the number of moment constraints needed to restore symmetry exactly matches the number of non-convex early coefficients.
  • A testable extension would be to determine the limiting shape of the optimal unconstrained configuration for $N>1$; Theorem 1.6 guarantees it stays within a constant of equidistribution, but the exact angular distribution as $n\to\infty$ is left open and could be found numerically.
  • The phenomenon may connect to Riesz-energy and logarithmic-potential problems on the circle: the interaction function is a Coulomb-type kernel, and the failure of equidistribution when the kernel is not convex resembles known behavior in energy minimization, so methods for convex kernels could be adapted to classify when symmetry holds.
  • A straightforward check for $N=3$, $\alpha=5$ would test whether the two-pole optimal angle again deviates from $\pi$ and whether the deviation follows a pattern in $N$.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The manuscript studies simple partial fractions of degree N with poles on the unit circle in the standard weighted Bergman spaces A^2_alpha. The main results are: an extension of Korevaar's theorem to degree-N fractions (Theorem 1.2) and a corresponding density statement (Corollary 1.3); a constrained minimization theorem (Theorem 1.4) asserting that, under vanishing of the first N^2-2 moments, the minimal Bergman norm is attained up to rotation by the equidistributed configuration; sharp asymptotics for the equidistributed norms (Theorem 1.5); a matching order-of-magnitude lower bound for arbitrary configurations (Theorem 1.6); and a density/nowhere-density dichotomy for SF^N(T) in A^2_alpha (Theorem 1.7). The paper also gives explicit counterexamples showing that without the moment constraints equidistribution is not optimal, including the N=2, alpha=3 two-point case computed in closed form.

Significance. If fully established, the results extend the Chui-type norm-minimization theory from first-order to higher-order simple partial fractions, identify a genuinely new non-equidistribution phenomenon, and provide a sharp asymptotic constant. Theorems 1.5 and 1.6 are carefully derived and appear sound; Theorem 1.5 has a detailed elementary proof, and Theorem 1.6 gives an explicit constant. The counterexamples in Section 5 are computed exactly and corroborated numerically. No free parameters are fitted: all constants come from the Bergman norm itself. The paper's main bottleneck is the proof of Theorem 1.4, which contains an unverified convexification step and a small-n statement problem. The density results rely only on Theorems 1.5 and 1.6 and on the cited work of Borodin, so they are not affected by the gap in Theorem 1.4 once Propositions 8.1 and 8.3 are checked; I found those arguments sound.

major comments (3)
  1. [Theorem 1.4 (statement)] As stated, the theorem is not well-posed for n <= N^2 - 2. For instance, when N = 2 and n = 2, the constraints a0 + a1 = 0 and a0^2 + a1^2 = 0 force a0 = a1 = 0, so no distinct points on the unit circle satisfy them; W2 is empty, the minimum over W2 is undefined (or +infinity), while the right-hand side ||Psi_2^N||_{alpha*} is finite. The statement should be restricted to n > N^2 - 2 or otherwise made conditional on Wn being nonempty.
  2. [Section 6, proof of Theorem 1.4] The proof hinges on the unverified assertion, after the definition of a_m, that the sequence satisfies the hypotheses of Proposition 4.3 and that the inequality (m+1)a_m - m a_{m+1} <= 1 holds for m >= N^2-1. These facts are load-bearing: they justify the finite modification of a_1,...,a_{N^2-2} and the invocation of Bari's theorem. The text says only that these conditions 'can be easily verified' and that one 'may decrease' the early coefficients; no verification and no explicit modified sequence is supplied. Without a proof that the modified sequence is positive, strictly decreasing, and convex, the strict convexity of tilde_phi, and with it the equality case in Lemma 13 of [1], is not established.
  3. [Equation (14) and Remark 4.2] Even if the modified coefficients are convex, the paper needs an explicit argument that tilde_phi is strictly convex on (0,2pi) rather than merely convex. Remark 4.2 states that a merely convex sequence can produce zeros of the cosine series, so the positivity of psi alone does not immediately give strict convexity of its second antiderivative; the fact that the zeros are countable and hence no interval of constancy occurs should be stated and proved. This point is necessary because Lemma 13 of [1] uses strict convexity for the uniqueness conclusion in Theorem 1.4.
minor comments (4)
  1. [Section 5.1] The phrase 'minimize the quantity in (5)' should refer to the energy in (13) or the equivalent expression in Section 3.2; equation (5) in the text is the series expansion of 1/(z-e^{it})^N.
  2. [Section 6] The cross-reference 'Remark 2.2' should be 'Remark 4.2'.
  3. [Section 7, proof of Theorem 1.6] In the displayed lower-bound statement the indexing '0 <= k <= N-1' should be '0 <= k < n'; n is the number of poles.
  4. [References] Reference [11] is listed but not cited in the text, and the spelling 'Bari' used in the text should be harmonized with 'Bary' in the bibliography.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction found: Theorem 1.4's equidistribution result rests on an exact interaction computation plus an externally published strictly-convex minimization lemma; the flagged weaknesses (unverified coefficient modification, small-n domain) are proof gaps, not circular steps.

full rationale

The derivation chain is self-contained and non-circular. The interaction function is computed exactly from the Bergman inner product (Lemma 3.2 and equation (6)), and no parameter is fitted anywhere in the paper. At the critical weight alpha* = 2N-1, the coefficients a_m = 1 - (m!)^2/((m-N)!(m+N)!) for m >= N satisfy (m+1)a_m - m a_{m+1} <= 1 = a_0 exactly for m >= N^2-1, so a finite modification of a_1 through a_{N^2-2} converts the second-derivative cosine series into a positive series via Proposition 4.3 and Bari's theorem; the correction term in decomposition (14) then depends only on the power sums sum e^{im theta_k} (identity (15)), which vanish identically on W_n and have the same values for the equidistributed configuration. The minimization therefore genuinely reduces to minimizing sum tilde_phi(theta_j - theta_k) with tilde_phi strictly convex, and Lemma 13 of [1] - a published, parameter-free statement whose hypotheses do not include the Bergman-norm target - supplies both minimality and uniqueness of equidistribution. This is a reduction, not a tautology: the convexity threshold N^2-1 is derived from the explicit coefficients, and any admissible finite modification yields the same conclusion because the correction term is constant on W_n. The self-citations are load-bearing but independent: [1] (whose authors include the author's advisors, per the Acknowledgements) is peer-reviewed and provides general convexity and power-sum facts rather than the target result, and Borodin's Theorem 5 in [4] is a general Banach-space density criterion. The Section 5 counterexamples rest on exact integral evaluations (phi(pi/2) = -30 + 12 pi - 12 log 2 < 96 log 2 - 66 = phi(pi)), not on numerics, and Theorem 1.5 is a dominated-convergence limit of an explicit power series. Two flagged weaknesses belong to correctness, not circularity: (i) Section 6 asserts without verification ('it can be easily verified that they satisfy the conditions of Proposition 4.3') that the sequence {a_m} admits the required finite modification with strictly convex outcome, and if this fails the appeal to Lemma 13 of [1] and the uniqueness conclusion of Theorem 1.4 are unjustified; (ii) Theorem 1.4 as stated lacks the hypothesis n > N^2 - 2, and for N = 2, n = 2 the set W_n is empty because a + b = 0 and a^2 + b^2 = 0 force a = 0. Neither issue makes the derivation self-referential or fitted.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted to data; the only unproved inputs are standard theorems and one paper-specific verification left as an easy exercise.

assumptions (5)
  • standard math Bari's theorem: a positive decreasing convex sequence of limit zero yields a nonnegative cosine series.
    Used in Section 6 to show the modified cosine series is positive.
  • domain assumption Lemma 13 of [1]: a strictly convex even 2pi-periodic interaction function is minimized by equally spaced points.
    Used in the proof of Theorem 1.4 to conclude equidistribution is the unique minimizer within W_n.
  • domain assumption Inequality from [1], Section 4: for all M, sum_{s=1}^M |sum_k a_k^s|^2 >= n(M-n+1)/2 for |a_k|=1.
    Used in the proof of Theorem 1.6 to get the lower bound for arbitrary pole configurations.
  • domain assumption Theorem 5 of [4] (Borodin): density of a Lipschitz semigroup in a Banach space implies the closure contains a vector space.
    Used in Proposition 8.3 to pass from the set SF^N to the vector space it spans.
  • ad hoc to paper The coefficient sequence a_m satisfies the hypotheses of Proposition 4.3 and the inequality (m+1)a_m - m a_{m+1} <= 1 for m >= N^2-1.
    Asserted without proof in Section 6 ('it can be easily verified'); this is the load-bearing step for the convex modification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of High degree simple partial fractions in the Bergman space: Approximation and Optimization." pith.science (2026). https://pith.science/paper/GPBXHWBA

@misc{pith2026250602901,
  author       = {Pith},
  title        = {Pith review of: High degree simple partial fractions in the Bergman space: Approximation and Optimization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GPBXHWBA}},
  note         = {Machine review of arXiv:2506.02901}
}
abstract

We consider the class of standard weighted Bergman spaces $A^2_{\alpha}(\mathbb{D})$ and the set $SF^N(\mathbb{T})$ of simple partial fractions of degree $N$ with poles on the unit circle. We prove that under certain conditions, the simple partial fractions of order $N$, with $n$ poles on the unit circle attain minimal norm if and only if the points are equidistributed on the unit circle. We show that this is not the case if the conditions we impose are not met, exhibiting a new interesting phenomenon. We find sharp asymptotics for these norms. Additionally we describe the closure of these fractions in the standard weighted Bergman spaces.

Figures

Figures reproduced from arXiv: 2506.02901 by the authors.

Figure 1
Figure 1. Interaction function φ3,2 and its minimum 5.2. Optimal placement for 3 points Similar to what was previously done, we prove that the optimal placement of three points is not the equidistribution when N = 2 and α = 3. For that we consider a special, symmetric setup, where ϑ0 = 0, ϑ1 := ϑ ∈ (0, π) and ϑ2 = −ϑ ∈ (−π, 0). With this setup, (5) becomes: Φ(ϑ) := 2(2φ(ϑ) + φ(2ϑ)). We will prove that Φ(π/3) < Φ(2π/3). Using … view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 13 canonical work pages

  1. [1]

    Chui’s conjecture in Bergman spaces

    E. Abakumov, A. Borichev, and K. Fedorovskiy. “Chui’s conjecture in Bergman spaces”. In: Mathematische Annalen 379.3–4 (Nov. 2021), pp. 1507–1532. doi: 10.1007/s00208- 020- 02114-1

    doi:10.1007/s00208- 2021

  2. [2]

    N. K. Bary. A Treatise on Trigonometric Series. Volume 1 . Description based upon print version of record. Burlington, 2014

    work page 2014

  3. [3]

    Approximation by simple partial fractions with constraints on the poles. II

    P. A. Borodin. “Approximation by simple partial fractions with constraints on the poles. II”. In: Sbornik: Mathematics 207.3 (Mar. 2016), pp. 331–341. doi: 10.1070/sm8500

    work page doi:10.1070/sm8500 2016

  4. [4]

    Density of a semigroup in a Banach space

    P. A. Borodin. “Density of a semigroup in a Banach space”. In: Izvestiya: Mathematics 78.6 (Dec. 2014), pp. 1079–1104. doi: 10.1070/im2014v078n06abeh002721

    work page doi:10.1070/im2014v078n06abeh002721 2014

  5. [5]

    Approximation by simple partial fractions in unbounded domains

    P. A. Borodin and K. S. Shklyaev. “Approximation by simple partial fractions in unbounded domains”. In: Sbornik: Mathematics 212.4 (Apr. 2021), pp. 449–474. doi: 10.1070/sm9298

    work page doi:10.1070/sm9298 2021

  6. [6]

    A Lower Bound of Fields due to Unit Point Masses

    C. K.-t. Chui. “A Lower Bound of Fields due to Unit Point Masses”. In: The American Math- ematical Monthly 78.7 (Aug. 1971), pp. 779–780. doi: 10.1080/00029890.1971.11992851

    arXiv 1971

  7. [7]

    Bounded approximation by polynomials whose zeros lie on a circle

    C. K.-t. Chui. “Bounded approximation by polynomials whose zeros lie on a circle”. In: Transactions of the American Mathematical Society 138.0 (1969), pp. 171–182. doi: 10 . 1090/s0002-9947-1969-0237795-3

    work page 1969

  8. [8]

    Estimates of the distances from the poles of logarithmic derivatives of polynomials to lines and circles

    V. I. Danchenko. “Estimates of the distances from the poles of logarithmic derivatives of polynomials to lines and circles”. In: Russian Academy of Sciences. Sbornik Mathematics 82.2 (Feb. 1995), pp. 425–440. doi: 10.1070/sm1995v082n02abeh003573

    work page doi:10.1070/sm1995v082n02abeh003573 1995

Show all 16 references
  1. [9]

    Approximation by simple partial fractions and their generalizations

    V. I. Danchenko and P. V. Chunaev. “Approximation by simple partial fractions and their generalizations”. In: Journal of Mathematical Sciences 176.6 (July 2011), pp. 844–859. doi: 10.1007/s10958-011-0440-5 . 24 REFERENCES

    2011 doi

  2. [10]

    Density of Derivatives of Simple Partial Fractions in Hardy Spaces in the Half-Plane

    N. A. Dyuzhina. “Density of Derivatives of Simple Partial Fractions in Hardy Spaces in the Half-Plane.” In: Mathematical Notes 109.1-2 (Jan. 2021), pp. 46–53. doi: 10 . 1134 / S0001434621010065

    2021

  3. [11]

    Hedenmalm, B

    H. Hedenmalm, B. Korenblum, and K. Zhu. Theory of Bergman Spaces . New York, NY: Springer New York, 2000

    2000

  4. [12]

    Asymptotically Neutral Distributions of Electrons and Polynomial Approxima- tion

    J. Korevaar. “Asymptotically Neutral Distributions of Electrons and Polynomial Approxima- tion”. In: The Annals of Mathematics 80.3 (Nov. 1964), p. 403. doi: 10.2307/1970655

    1964 doi

  5. [13]

    Polynomials with zeros on a rectifiable Jordan curve

    G. R. MacLane. “Polynomials with zeros on a rectifiable Jordan curve”. In: Duke Mathematical Journal 16.3 (Sept. 1949). doi: 10.1215/s0012-7094-49-01644-0

    1949 doi

  6. [14]

    A Lower Bound for an Area Integral

    D. J. Newman. “A Lower Bound for an Area Integral”. In: The American Mathematical Monthly 79.9 (Nov. 1972), pp. 1015–1016. doi: 10.1080/00029890.1972.11993174

    1972

  7. [15]

    Bounded approximation by polynomials whose zeros lie on a circle

    Z. Rubinstein and E. B. Saff. “Bounded approximation by polynomials whose zeros lie on a circle”. In: Proceedings of the American Mathematical Society 29.3 (Aug. 1971), pp. 482–486. doi: 10.1090/s0002-9939-1971-0277730-x

    1971 doi

  8. [16]

    Approximation of bounded analytic functions on the disc

    M. Thompson. “Approximation of bounded analytic functions on the disc”. In: Nieuw Archief voor Wiskunde 159 (1967), pp. 49–54. NIKIFOROS BIEHLER: UNIV GUSTA VE EIFFEL, UNIV PARIS EST CRETEIL, CNRS, LAMA UMR8050 F-77447 MARNE-LA-V AL´EE, FRANCE Email address : nikiforos.biehler...

    1967

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.