Pith. sign in

REVIEW 3 major objections 4 minor 37 references

Quadrature domains packing

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

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

Pith's one-line read Four-variable kernel decides non-overlap of planar islands.

desk verdict A well-written packaging paper: the central certificate is quoted from prior work rather than proved here, but the new structural results are real and the two-disk analysis is worth having. read the letter →

arxiv 2411.14124 v1 pith:PPVY5ZD6 submitted 2024-11-21 math.SP math.CV

Bjorn Gustafsson , Mihai Putinar This is my paper · ORCID
classification math.SPmath.CV MSC 47B2030C4046E22
keywords quadraturedomainsexponentialtransformhyponormaloperatorsnon-overlapcertificatepositivedefinitekernelsdiskpackingSchwarzfunctionpartialbalayage
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 tries to establish a single analytic certificate for a geometric packing fact: finitely many compact "islands" in the complex plane are mutually non-overlapping with respect to area measure exactly when a certain four-variable kernel, built from the product of their individual exponential transforms, satisfies two positivity conditions. If the criterion holds, packing questions can be answered by checking one kernel rather than by measuring intersections. The certificate becomes algorithmic for quadrature domains, because their exponential transforms, and hence the kernel, are rational; the paper shows that positivity can then be decided from finite matrix recurrences. The two-disk case is worked out in detail, and the matrix recurrences give an increasing sequence of lower bounds that is claimed to reach the true separation bound $a \ge 1$.

What carries the argument

The exponential transform $E_g(w,z)=\exp\left(-\frac1\pi\int_{\mathbb C}\frac{g(\zeta)\,dA(\zeta)}{(\zeta-w)(\zeta-z)}\right)$ is the moment-generating object: it encodes the area moments of a density $g$, and it is rational exactly when $g$ is the characteristic function of a quadrature domain, in which case $P(w)P(z)E(w,z)=Q(w,z)$ for the node polynomial $P$ and defining polynomial $Q$. The paper's central object is the four-argument kernel $L$ of (3), which factorizes in Hilbert space through a hyponormal operator $T$ with rank-one self-commutator as $\langle (T-v)^{-1}(T^*-u)^{-1}(T-w)^{-1}(T^*-z)^{-1}\xi,\xi\rangle$; this is why positivity of $L$ can carry spectral information about the islands. The certificate is the pair of positivity conditions (10)-(11), which quantify boundedness of $T$ and the commutator identity $[T^*,T]=\xi\otimes\xi$. For quadrature domains the block-matrix staircase (5) and the recurrence (6)-(7) convert the infinite kernel condition into a sequence of finite matrix positivity checks, and the merged-islands formulas (17)-(21) show how the kernel and operator of a disjoint union assemble from the pieces.

What would settle it

Take two unit disks whose centers are separated by a number $a$ with $1\le a<2$ (so they overlap) and evaluate the rational kernel $L$ from their product exponential transform at a fine grid of points near infinity, solving the semidefinite constraints (10)-(11); if the conditions pass, Theorem 4.1's only-if direction is false. A second, equally decisive check is to run the Section 6 recursion for any $a<1$ and see whether all matrices $A_k$ can remain positive definite: if they can, the claimed convergence of the thresholds to $a^2\ge1$ fails.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 4.1: for finitely many thick compact sets $K_j$ with exponential transforms $E_j(w,z)$, the islands are non-overlapping in area measure if and only if, for $E(w,z)=\prod_j E_j(w,z)$, the kernel $L(w,z;u,v)=\frac{E(v,z)E(w,u)-E(w,z)E(v,u)}{(v-w)(u-z)E(w,u)}$ satisfies one of the positivity conditions of Theorem 3.1 for some constant $C>0$. The same theorem says this "if and only if" is equivalent to the existence of a bounded hyponormal operator with rank-one self-commutator whose principal function is the shade function of the islands. For quadrature domains the rational form of the kernel makes the infinite condition finitely determined: Theorems 5.2 and 5.3 recast it as a sum-of-squares decomposition of degree $d$ together with positivity of every block in the infinite staircase matrix model, with the off-diagonal blocks playing the role of running certificates. The paper applies this to two symmetric unit disks and claims that the sequence of lower bounds obtained from the recursion, $\frac12$, $\frac34$, $\frac12(1+\frac1{\sqrt2})$, ..., necessarily reaches the true separation value $a^2\ge1$.

Load-bearing premise

The certificate's entire only-if direction is inherited from the quoted theorem [26], which asserts that the condition $0\le g\le1$ almost everywhere is equivalent to the two positivity conditions for some $C>0$; the present paper gives no proof of that equivalence, so any hidden regularity, support, or extremal-measure hypothesis in [26] would invalidate Theorem 4.1.

Editorial extensions

If this is right

  • If Theorem 4.1 is correct, non-overlap of finitely many planar islands is equivalent to positive definiteness of one four-variable kernel at infinity, so any reliable positivity test for such kernels becomes a non-overlap certificate.
  • For collections of quadrature domains the certificate is rational and therefore finitely determined: positivity can in principle be certified by a sum-of-squares identity of bounded degree plus uniform positivity of the blocks in an infinite matrix recursion (Theorems 5.2 and 5.3).
  • The merging identity (17) and its operator form (22) give a constructive description of the kernel and hyponormal operator of a disjoint archipelago from the data of its islands, including the tensor-product term $H_1\otimes H_2$ that records mutual interaction.
  • For two symmetric unit disks the recursion yields explicit increasing lower bounds on $a^2$ (starting $\frac12$, $\frac34$, $\frac12(1+\frac1{\sqrt2})$, ...) that the paper claims must converge to the true separation threshold $a^2\ge1$; each finite step is a small matrix positivity check.
  • A corollary of the two-disk analysis is that the weaker two-variable condition $1-E_g(w,z)\succeq0$ holds precisely for $r_1^2+r_2^2\le|a_1-a_2|^2$, so the full four-variable kernel is a strictly finer separator than the classical exponential-transform test.

Reading between the lines

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

  • A direct numerical experiment suggests itself: sample the rational kernel $L$ for two overlapping non-quadrature compacts (ellipses, polygons) on a finite grid and check whether positivity fails; if it does, the certificate may work as a practical black-box packing test for arbitrary shapes.
  • If the two-disk thresholds are shown to converge geometrically to $a=1$, the recursion would provide a rigorous, finite-step algorithm to certify disjointness with an explicit complexity bound, something the paper does not state.
  • The gravi-equivalent deformations of Section 7 point toward a wider principle: positivity of the kernel may classify densities taking values $0,1,2,\ldots$ (multi-sheeted domains) rather than only characteristic functions, so the same certificate could decide non-overlap on quadrature Riemann surfaces.
  • Under a Möbius change of metric, the spherical-metric discussion suggests the kernel criterion may be invariant under the full conformal group, which would allow packing questions to be rotated into a canonical position before applying the matrix algorithm.
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 paper proposes a certificate for non-overlap of finitely many thick compact subsets of the complex plane, expressed as positivity conditions on a four-variable kernel L built from the exponential transform. For quadrature domains the kernel becomes rational, leading to matrix positivity tests that the authors claim are effective. The two-disk case is worked out in detail, including iterative matrix bounds, a Riemann-surface 'gravi-equivalent' deformation, and a spherical-metric interpretation.

Significance. If correct, the criterion is an elegant bridge between packing problems, hyponormal operator theory, and quadrature domain theory. The paper contains useful explicit identities (Proposition 4.3, Theorem 4.6) and a detailed two-disk analysis, and the structural results that are proved appear sound. The main caveat is that the central certificate depends on a theorem quoted from the second author's prior work [26], and the algorithmic claims in Section 6 lack a convergence proof.

major comments (3)
  1. [§3 (Theorem 3.1) and §4 (Theorem 4.1)] The only-if direction of the packing certificate rests entirely on [26, Theorem 4.1], quoted in the proof of Theorem 3.1 without a statement of its hypotheses. Theorem 4.1 applies this to g = sum_j chi_{K_j} for arbitrary thick compact sets, but the manuscript does not verify that such sums satisfy the hypotheses of [26, Theorem 4.1], nor does it prove the existence of the constant C in condition (10) for the product kernel E = prod_j E_j. If the quoted theorem carries hidden regularity, support, or extremal-measure conditions, the main 'if and only if' certificate for arbitrary thick compacts is unproven. This is load-bearing because it underlies every example in the paper.
  2. [§6 and Theorem 5.3(b)] The promised effective matrix algorithm is not demonstrated. Theorem 5.3(b) requires sup_k ||D_k|| < infinity, an infinite condition, and Section 6 asserts that the iterative lower bounds 'will necessarily reach the correct value a^2 >= 1' without supplying a proof, a stopping criterion, or an error estimate. As stated, the 'effective' decision procedure for two disks is not established, and the convergence of the sequence 1/2 < 3/4 < 1/2(1+1/sqrt(2)) ... to a^2 = 1 is an unproved assertion.
  3. [§5.1 (Theorem 5.2)] The claim that multiplying L by P(v)P(z) 'does not alter the proof and conclusion of Theorem 4.1' is not justified. Under the paper's own definition of positive definiteness (sum_{k,l} M(w_k,z_k;w_l,z_l) lambda_k overline{lambda_l} >= 0), the multiplier P(v)P(z) becomes P(z_k)P(z_l) on evaluation, which is not a positive scalar and cannot be absorbed into the weights without complex conjugation. A separate argument is needed to show that conditions (10) and (11) for K are equivalent to those for L with the same constant C.
minor comments (4)
  1. [§2.3, Eq. (8)] The summation index k in (8) is inconsistent with the index n used in the preceding recursion (7); please harmonize the notation.
  2. [§3, Corollary 3.3 proof] In the displayed expression for L(w,z;z,w), the second term reads 'langle (T^* - z)^{-1}, (T^* - w)^{-1}xi rangle' and appears to be missing a xi in the first factor; it should presumably be 'langle (T^* - z)^{-1}xi, (T^* - w)^{-1}xi rangle'.
  3. [§7.1, Proposition 7.1 proof] The statement 'there is no residues in the hole' for the square-root term is made without a full explanation of the branch choices on the two boundary components; the sign of the square root on the outer and inner boundaries is only partially specified and deserves a more explicit justification.
  4. [§7.1] In the paragraph defining Q(z,z), the sentence 'Here we have on the last line have related Q(z,z) to the complex analytic polynomial R(z,w)' contains a grammatical error and should be rephrased.

Circularity Check

1 steps flagged · score 4.0 of 10

The central packing certificate is a direct corollary of Theorem 3.1, whose key equivalence is quoted without proof from the second author's [26], making the load-bearing step a self-citation rather than a demonstrated derivation.

  1. self citation load bearing [Section 3, proof of Theorem 3.1; propagated by Theorem 4.1 (Section 4.1) and Theorem 5.2 (Section 5.1).]
    "Proof. The equivalence between 1) and 2) is established in Theorem 4.1 in [26]. ... See [26] for full details."

    Theorem 3.1 is the engine of the whole paper: condition 1 (g takes values in [0,1]) is exactly the non-overlap condition when g is taken to be sum_j chi_{K_j}, while conditions 2)-4) are the kernel positivity criteria. The proof of this equivalence is not given; it is quoted from [26], a paper by the present second author. Theorem 4.1 then applies Theorem 3.1 to the product exponential transform E = prod_j E_j, so the 'if and only if' certificate for non-overlapping islands is, within this manuscript, a corollary of a self-cited prior theorem. If [26, Thm 4.1] carries hidden hypotheses on g, or if the constant C cannot be certified, no part of the present paper supplies the missing verification for arbitrary thick compact sets.

full rationale

The paper does not exhibit a construction-level circularity in which an output equation is identical to an input by definition. The reduction from non-overlap to g in [0,1] is elementary and explicitly stated, and the kernel L is defined independently of the conclusion. However, the main equivalence (Theorem 3.1) is not proved; its proof consists of a citation to the second author's earlier work [26], and the central certificate Theorem 4.1 is obtained by substituting the sum of characteristic functions into that quoted equivalence. This is heavy disclosed self-citation at the core of the argument. The two-disk section also asserts, without proof, that the recursively computed lower bounds 'will necessarily reach' the true threshold a^2 >= 1, but that is an evidentiary gap or convergence claim, not circularity. Weighing the quoted self-citation against the genuinely new applications to quadrature domains and the two-disk analysis, the appropriate score is 4 rather than a higher construction-reduction score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

No numbers were fitted to data: the positive constant C in Theorem 3.1 and the threshold parameters a, r, s in the examples are existential witnesses or problem inputs, not fitted values. The load-bearing equivalence (Theorem 3.1) is imported from the second author's 1998 paper [26], and the operator-theoretic dictionary (exponential transform factorization, principal function, rational cyclicity) from the authors' own monograph [14]; both are disclosed self-citations. The two-disk example anchors the certificate against the independently known threshold a >= 1, but the asserted convergence of the iterative thresholds to that value is unproved. Section 7 introduces no new entities beyond the multi-sheeted covering inherited from [18], used to justify a density 2 in the hole of Omega(t); its residue computation (Prop 7.1) is checked directly.

assumptions (6)
  • domain assumption For any measurable g: C -> [0,1] with compact support there exists an irreducible hyponormal operator T with rank-one self-commutator whose principal function is g and whose exponential transform factors as E_g(w,z) = 1 - <(T*-z)^{-1}xi, (T*-w)^{-1}xi>.
    The entire dictionary in Section 2.1 (Pincus correspondence) is imported from the authors' own monograph [14]; Theorem 3.1 and hence the packing certificate Theorem 4.1 rely on it.
  • domain assumption Theorem 4.1 of [26]: for measurable compactly supported g, the range condition 0 <= g <= 1 a.e. is equivalent to the two positivity conditions (10)/(11) on the L-kernel with some constant C > 0.
    This is the load-bearing equivalence; the proof of Theorem 3.1 in this paper is entirely deferred to the second author's 1998 paper [26]. The packing criterion inherits this equivalence unproved here.
  • domain assumption The exponential transform of the union (sum of densities) is the product of exponential transforms, and quadrature domains are exactly those whose exponential transform is rational with polarized denominator P(w)P(z).
    Used in Theorems 4.1, 5.2, and 5.3; cited to [14] and [25]. Standard in the theory but load-bearing here.
  • ad hoc to paper The iterative matrix thresholds in Section 6 converge to the true disjointness bound a^2 >= 1.
    Asserted without proof: 'the sequence of improved lower bounds ... will necessarily reach the correct value a^2 >= 1' (Section 6). The paper does not prove convergence of the recurrence, so this is an unverified premise for the claim that the algorithm decides the two-disk case in finitely many steps.
  • standard math Stengle's Positivstellensatz (Proposition 4.2) characterizes disjoint sub-level sets via sums of squares.
    Invoked as a black box for the real algebraic certificate comparison in Section 4.2, cited to [32].
  • domain assumption Regularity theory for free boundaries in obstacle-type problems ([8], [22]) implies the outer boundary of the overlap region of two disks would have to be analytic if the smashing and level-line evolutions had the same outer boundary.
    Used in the sketch in Section 7.2 to argue that the outer boundaries of D(t) and Omega(t) differ. A side claim, not central to the packing certificate, and explicitly presented as a sketch.
invented entities (1)
  • Two-sheeted covering of the hole in Omega(t)
    purpose: Gives the density g_t = 2 in the hole of Omega(t) and justifies the orientation in the residue computation (34) of Proposition 7.1.
    The multi-sheeted domain formalism is inherited from [18]; the paper provides a self-contained residue proof that the quadrature identity (32) holds, so the entity is auxiliary but not independently evidenced beyond this computation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quadrature domains packing." pith.science (2026). https://pith.science/paper/PPVY5ZD6

@misc{pith2026241114124,
  author       = {Pith},
  title        = {Pith review of: Quadrature domains packing},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PPVY5ZD6}},
  note         = {Machine review of arXiv:2411.14124}
}
read the original abstract

Given a finite family of compact subsets of the complex plane we propose a certificate of mutual non-overlapping with respect to area measure. The criterion is stated as a couple of positivity conditions imposed on a four argument analytic/anti-analytic kernel defined in a neighborhood of infinity. In case the compact sets are closures of quadrature domains the respective kernel is rational, enabling an effective matrix analysis algorithm for the non-overlapping decision. The simplest situation of two disks is presented in detail from a matrix model perspective as well as from a Riemann surface potential theoretic interpretation.

Figures

Figures reproduced from arXiv: 2411.14124 by the authors.

Figure 1
Figure 1. Left: values of g(z). Right: signs of Q(z, z). holds for all functions h harmonic in a neighborhood of K = supp g. This relation can be extended to saying that the inequality ≥ holds for subhar￾monic functions h, and that inequality is important in certain contexts (for example uniqueness questions). The two circles, and lines of discontinuity for g, coincide with the zero locus of the real polynomial Q(z, z) = |z −… view at source ↗
Figure 2
Figure 2. The level sets of Q(z, z) corresponding to t = 0, 1/2. 36 [PITH_FULL_IMAGE:figures/full_fig_p036_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [26]

    , Extremal solutions of the two-dimensional L-problem of moments. II, J. Approx. Theory, 92 (1998), pp. 38–58

    work page 1998

  2. [14]

    G USTAFSSON AND M

    B. G USTAFSSON AND M. P UTINAR , Hyponormal quantization of planar domains, vol. 2199 of Lecture Notes in Mathematics, Springer, Cham,

    work page

  3. [1]

    A GLER , J

    J. A GLER , J. E. M CCARTHY, AND N. Y OUNG , Operator analysis— Hilbert space methods in complex analysis , vol. 219 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, 2020

    work page 2020

  4. [2]

    A HARONOV AND H

    D. A HARONOV AND H. S. S HAPIRO , Domains on which analytic func- tions satisfy quadrature identities, J. Analyse Math., 30 (1976), pp. 39–73

    work page 1976

  5. [3]

    B ENNELL , G

    J. B ENNELL , G. S CHEITHAUER , Y. STOYAN , AND T. ROMANOVA , Tools of mathematical modeling of arbitrary object packing problems , Ann. Oper. Res., 179 (2010), pp. 343–368

    work page 2010

  6. [4]

    B OCHNAK , M

    J. B OCHNAK , M. C OSTE , AND M.-F. R OY, Real algebraic geometry , vol. 36 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Re- sults in Mathematics and Related Areas (3)], Springer-Verlag, Berlin,

    work page

  7. [5]

    P. J. D AVIS, The Schwarz function and its applications, The Mathematical Association of America, Buffalo, N. Y., 1974. The Carus Mathematical Monographs, No. 17

    work page 1974

  8. [6]

    D IACONIS AND W

    P. D IACONIS AND W. FULTON , A growth model, a game, an algebra, La- grange inversion, and characteristic classes, Rend. Sem. Mat. Univ. Politec. Torino, 49 (1991), pp. 95–119 (1993). Commutative algebra and alge- braic geometry, II (Italian) (Turin, 1990)

    work page 1991

Show all 37 references
  1. [7]

    F ASANO AND J

    G. F ASANO AND J. D. P INT ´ER, eds., Optimized packings with applica- tions, vol. 105 of Springer Optimization and Its Applications, Springer, Cham, 2015. 42

    2015

  2. [8]

    F RIEDMAN , Variational principles and free-boundary problems , Pure and Applied Mathematics, John Wiley & Sons, Inc., New York, 1982

    A. F RIEDMAN , Variational principles and free-boundary problems , Pure and Applied Mathematics, John Wiley & Sons, Inc., New York, 1982. A Wiley-Interscience Publication

    1982

  3. [9]

    A. O. G EL ′ FOND , Differenzenrechnung, Hochschulb ¨ucher f ¨ur Mathe- matik [University Books for Mathematics], Band 41, VEB Deutscher Verlag der Wissenschaften, Berlin, 1958

    1958

  4. [10]

    J. C. G UELLA AND V. A. M ENEGATTO , Conditionally positive definite matrix valued kernels on Euclidean spaces , Constr. Approx., 52 (2020), pp. 65–92

    2020

  5. [11]

    G USTAFSSON , Lectures on balayage, in Clifford algebras and potential theory, vol

    B. G USTAFSSON , Lectures on balayage, in Clifford algebras and potential theory, vol. 7 of Univ. Joensuu Dept. Math. Rep. Ser., Univ. Joensuu, Joensuu, 2004, pp. 17–63

    2004

  6. [12]

    G USTAFSSON , Quadrature for quadrics, Eur

    B. G USTAFSSON , Quadrature for quadrics, Eur. J. Math., 9 (2023), pp. Pa- per No. 110, 45

    2023

  7. [13]

    G USTAFSSON AND M

    B. G USTAFSSON AND M. P UTINAR , Linear analysis of quadrature do- mains. IV, in Quadrature domains and their applications, vol. 156 of Oper. Theory Adv. Appl., Birkh¨auser, Basel, 2005, pp. 173–194

    2005

  8. [15]

    G USTAFSSON , M

    B. G USTAFSSON , M. P UTINAR , E. B. S AFF, AND N. S TYLIANOPOU - LOS, Bergman polynomials on an archipelago: estimates, zeros and shape reconstruction, Adv. Math., 222 (2009), pp. 1405–1460

    2009

  9. [16]

    G USTAFSSON AND J

    B. G USTAFSSON AND J. R OOS, Partial balayage on Riemannian manifolds, J. Math. Pures Appl. (9), 118 (2018), pp. 82–127

    2018

  10. [17]

    G USTAFSSON AND H

    B. G USTAFSSON AND H. S. S HAPIRO , What is a quadrature domain?, in Quadrature domains and their applications, vol. 156 of Oper. Theory Adv. Appl., Birkh¨auser, Basel, 2005, pp. 1–25

    2005

  11. [18]

    G USTAFSSON AND V

    B. G USTAFSSON AND V. G. T KACHEV , On the exponential transform of multi-sheeted algebraic domains , Comput. Methods Funct. Theory, 11 (2011), pp. 591–615

    2011

  12. [19]

    F. J. K AMPAS , I. C ASTILLO , AND J. D. P INT ´ER, Optimized ellipse pack- ings in regular polygons, Optim. Lett., 13 (2019), pp. 1583–1613. 43

    2019

  13. [20]

    F. J. K AMPAS , J. D. P INT ´ER, AND I. C ASTILLO , Packing ovals in opti- mized regular polygons, J. Global Optim., 77 (2020), pp. 175–196

    2020

  14. [21]

    L EVINE AND Y

    L. L EVINE AND Y. P ERES , Scaling limits for internal aggregation models with multiple sources, J. Anal. Math., 111 (2010), pp. 151–219

    2010

  15. [22]

    P ETROSYAN , H

    A. P ETROSYAN , H. S HAHGHOLIAN , AND N. U RALTSEVA , Regularity of free boundaries in obstacle-type problems, vol. 136 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2012

    2012

  16. [23]

    J. D. P INCUS , Commutators and systems of singular integral equations. I , Acta Math., 121 (1968), pp. 219–249

    1968

  17. [24]

    P UTINAR , Extreme hyponormal operators, in Special classes of linear operators and other topics (Bucharest, 1986), vol

    M. P UTINAR , Extreme hyponormal operators, in Special classes of linear operators and other topics (Bucharest, 1986), vol. 28 of Oper. Theory Adv. Appl., Birkh¨auser, Basel, 1988, pp. 249–265

    1986

  18. [25]

    , The L problem of moments in two dimensions , J. Funct. Anal., 94 (1990), pp. 288–307

    1990

  19. [27]

    E. B. S AFF AND V. T OTIK , Logarithmic potentials with external fields , vol. 316 of Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences], Springer-Verlag, Berlin,

  20. [28]

    S AKAI , Quadrature domains, vol

    M. S AKAI , Quadrature domains, vol. 934 of Lecture Notes in Mathemat- ics, Springer-Verlag, Berlin, 1982

    1982

  21. [29]

    I. J. S CHOENBERG , Metric spaces and positive definite functions , Trans. Amer. Math. Soc., 44 (1938), pp. 522–536

    1938

  22. [30]

    H. S. S HAPIRO , The Schwarz function and its generalization to higher dimensions, University of Arkansas Lecture Notes in the Mathemati- cal Sciences, 9, John Wiley & Sons Inc., New York, 1992. A Wiley- Interscience Publication

    1992

  23. [31]

    S TEFAN AND A

    A. S TEFAN AND A. W ELTERS , Extension of the Bessmertny˘ ı realization theorem for rational functions of several complex variables, Complex Anal. Oper. Theory, 15 (2021), pp. Paper No. 115, 74

    2021

  24. [32]

    S TENGLE , A nullstellensatz and a positivstellensatz in semialgebraic ge- ometry, Math

    G. S TENGLE , A nullstellensatz and a positivstellensatz in semialgebraic ge- ometry, Math. Ann., 207 (1974), pp. 87–97. 44

    1974

  25. [33]

    T KACHEV , Positive definite collections of disks, Indiana Univ

    V. T KACHEV , Positive definite collections of disks, Indiana Univ. Math. J., 55 (2006), pp. 1907–1934

    2006

  26. [34]

    W IDOM , Extremal polynomials associated with a system of curves in the complex plane, Advances in Math., 3 (1969), pp

    H. W IDOM , Extremal polynomials associated with a system of curves in the complex plane, Advances in Math., 3 (1969), pp. 127–232 (1969). 45

    1969

  27. [1997]

    Appendix B by Thomas Bloom

  28. [1998]

    Translated from the 1987 French original, Revised by the au- thors

    1987

  29. [2017]

    Exponential transform in dimension two

Pith tools

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