Pith. sign in

REVIEW 3 major objections 3 minor 14 references

Corner contributions to Neumann jump determinants: three model calculations and a BFK conjecture

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

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

Pith's one-line read The paper conjectures a universal angle-only corner factor for the Neumann jump determinant on geodesic polygons and verifies it in three model calculations.

desk verdict A clear, honest conjecture paper with two independent spectral checks and a flat-polygon calibration that is logically equivalent to the conjecture; worth refereeing, but the evidence is weaker than the abstract suggests. read the letter →

arxiv 2607.23912 v1 pith:2LWGXNBB submitted 2026-07-27 math.SP math-phmath.CVmath.DGmath.FAmath.MP

Victor Kalvin This is my paper
classification math.SPmath-phmath.CVmath.DGmath.FAmath.MP MSC 58J5235P05
keywords NeumannjumpoperatorBFKformulazeta-regularizeddeterminantconicalsingularitygeodesicpolygonmirrordoublecornerrenormalizationsphericaltriangle
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 targets a missing piece of the BFK surgery formula: how the determinant of the Neumann jump operator behaves when the cutting curve passes through corners of a surface. It proposes Conjecture 2.1: for the mirror double of a simply connected geodesic polygon with interior angles πα1,...,παN, the corner-renormalized jump determinant divided by the perimeter equals the angle-only factor 1/2 ∏ αj^{-1/2}. Three independent model calculations—a flat polygon and its double, a spherical spindle cut into congruent lunes, and spherical triangle examples including the octant—all reproduce exactly this factor. If the conjecture is right, the normalized determinant carries no shape, curvature, or modulus information; all global dependence cancels and the Dirichlet determinant of a constant-curvature polygon reduces to the determinant of its closed double.

What carries the argument

The load-bearing object is the BFK quotient J_BFK(P) = (det' Δ_{bP}/Area(bP)) / (det Δ_{P,D})^2, built from zeta-regularized Laplacians; on a smooth mirror double it equals the Neumann jump determinant divided by perimeter. The paper's computations use the mirror-double symmetry to reduce a would-be corner determinant to this Laplacian quotient, then evaluate the quotient by spectral methods: explicit eigenvalue sums for the spindle and octant, analytic continuation of binomial expansions for the zeta functions, and the known closed-double formula combined with the flat-polygon Dirichlet formula for the general flat polygon. The named conjecture attaches the universal local factor 1/2 ∏ α_j^

What would settle it

Compute the BFK quotient for a spherical triangle that is not among the already-checked symmetric examples, say with angles π/2, π/3, 2π/5, using the explicit triangle determinant formula; the conjecture predicts 1/2 √15. A deviation would falsify it. Alternatively, an independent high-precision numerical zeta-determinant calculation for a flat scalene triangle, avoiding the heuristic polygon formula, either confirms or refutes the angle-only product.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is a calibration: there should exist a canonical determinant det'_∠ N of the Neumann jump operator on a piecewise real-analytic curve with finitely many corners, defined so that the BFK gluing formula holds, and in the mirror-double setting it must satisfy det'_∠ N / length(∂P) = J_BFK(P) = 1/2 ∏_{j=1}^N α_j^{-1/2}. Here J_BFK(P) is the already well-defined quotient of the zeta determinant on the double and the square of the Dirichlet determinant on one copy. The three model calculations fix the value that any extension of the BFK formula must reproduce, and they show the quotient is purely angle-dependent while the determinant itself retains the perim

Load-bearing premise

The conjecture assumes a canonical corner-renormalized determinant satisfying the BFK gluing formula exists, and its flat-polygon calibration relies on a Dirichlet-determinant formula that the paper itself calls partially heuristic; the paper further notes that, once the closed-double formula is accepted, that flat formula is equivalent to the conjecture, so an unnoticed error there would remove the supporting evidence.

Editorial extensions

If this is right

  • If Conjecture 2.1 holds, the BFK gluing formula extends to cuts running through conical points, and the normalized corner jump determinant is a function of the interior angles alone.
  • The Dirichlet determinant of a simply connected constant-curvature polygon is expressed through the Laplacian determinant of its mirror double; for triangles this becomes an explicit angle-and-area formula, with no moduli.
  • In the flat case, combining the conjecture with the rigorously proved closed-double determinant gives a proof of the previously heuristic flat-polygon Dirichlet determinant formula.
  • For smooth curves the formula reduces to the known value 1/2, so the conjecture is a continuous corner extension of the smooth result.
  • It yields a polygonal counterpart of the known determinant identity for conformal loop energy, namely 12 log(2 J_BFK(P)) = -6 Σ log α_j.

Reading between the lines

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

  • The simplicity of the angle product suggests the corner contribution is a local counterterm that should appear in other regularizations; if the corner BFK theorem is proved, matching it with the truncated Fredholm-determinant regularizations would likely confirm that the two regularizations differ only by an explicit angle-dependent finite part.
  • The conjecture predicts strong moduli-independence: for polygons with fixed angles, shape changes leave the normalized quotient unchanged. This could be tested numerically by varying the conformal prevertices in the flat case.
  • If the corner factor is universal, the same 1/2 ∏ α_j^{-1/2} should appear for hyperbolic polygons once uniformization is available; the explicit hyperbolic triangle formulas would be the first place to check.
  • The three models are all symmetric mirror doubles; for non-symmetric cuts the jump determinant carries genuine conformal-welding data, so the corner factor is probably the symmetric sector of a richer formula.
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 / 3 minor

Summary. This paper formulates a conjecture (Conjecture 2.1, Eq. (3)): for the mirror double of a simply connected constant-curvature geodesic polygon with interior angles πα_1,...,πα_N, there should exist a canonical 'corner-renormalized' Neumann jump determinant det'_∠ N∂P such that the BFK gluing formula holds, and its quotient by length(∂P) equals J_BFK(P) = 1/2 ∏ α_j^{-1/2}. The paper presents three model calculations: a flat polygon (Section 3), a spherical spindle cut into lunes (Section 4), and spherical Coxeter triangles including the octant (Section 5). It also derives a consequence for Dirichlet determinants (Section 6) and discusses relations with Loewner/Grunsky determinants (Section 7). Section 8 states that the determinant itself is not constructed.

Significance. If correct, the conjecture gives a simple angle-only formula for the BFK quotient, eliminating all moduli dependence in the mirror-double case, and provides a target for any future corner BFK theory. The spindle and octant computations are direct spectral counts with explicit zeta evaluations; these appear internally consistent and are useful benchmarks. The paper is transparent about the unproved status of the Aurell–Salomonson formula. However, the evidence for the general angle dependence is weaker than claimed.

major comments (3)
  1. [Section 3 / Eq. (9) and Section 6] The flat-polygon derivation of J_BFK(P)=1/2∏α_j^{-1/2} in Eq. (10) subtracts twice formula (9) from the rigorous closed-double formula (8). The paper states that (9) 'has not yet received a rigorous proof' and is 'partially heuristic at the boundary corners' (Section 3). Section 6 then observes that, assuming (8), the conjecture (3) and (9) are equivalent. Consequently, the flat-polygon calculation is not an independent check of the conjecture; it assumes a statement equivalent to what it purports to support. Since this is the only model in which the α_j vary independently, the paper's strongest evidence for the product form rests on a circular step. The authors should either prove (9), derive it from independent rigorous input, or explicitly demote this calculation to a consistency check rather than a confirming model.
  2. [Sections 4–5] The spindle and octant/Coxeter examples involve only highly symmetric angle configurations: the spindle has two equal angles (α, α), and the octant has all three angles π/2; the claimed Coxeter-triangle extension would still have angles of the form π/p, π/q, π/r with p,q,r integers. These special cases can at most confirm that some symmetric function of the angles equals 1/2∏α_j^{-1/2} at these points; they cannot distinguish Conjecture 2.1 from other symmetric functions that agree on these data. Moreover, the statement that 'every spherical Coxeter triangle ... gives J_BFK = 1/2√pqr' (end of Section 5) is not accompanied by the promised computation. The authors should either supply the Coxeter calculation or remove the claim, and they should acknowledge explicitly that the generic-angle dependence remains unsupported by independent model calculations.
  3. [Section 8 / Conjecture 2.1] As stated in Section 8, the determinant det'_∠ N∂P is not defined; the conjecture requires both the existence of a canonical determinant and the BFK gluing identity. Thus Eq. (3) is not currently a mathematical statement about a well-defined object—it is a relation for the well-defined quotient J_BFK(P) that is conjectured to be realized by the future determinant. The paper should make this two-tier status explicit from the outset, e.g., in Conjecture 2.1, by separating the conjecture about existence from the conjecture about the value of J_BFK. This would also clarify that the model calculations calibrate J_BFK, not det'_∠.
minor comments (3)
  1. [Section 8] Typo: 'In partiqular' should read 'In particular'.
  2. [Notation] The notation det'_∠ is unusual; consider defining it in a boxed display or with a verbal description of the subscript ∠ to avoid ambiguity.
  3. [Section 5] The claim that every spherical Coxeter triangle satisfies J_BFK = 1/2√pqr is asserted without proof or sketch; if kept, a reference to a detailed computation or an appendix is needed.

Circularity Check

1 steps flagged · score 4.0 of 10

Flat-polygon check reduces to unproved formula (9), which Section 6 shows is equivalent to the conjecture; the only angle-generic support is circular.

  1. other [Section 3, Eq. (9)-(10); Section 6 (after Eq. (28))]
    "Unlike the closed-surface formula(8), formula(9) has not yet received a rigorous proof. The derivation in [2] is partially heuristic at the boundary corners. ... Subtracting twice(9) from log(det′ ∆ bP /S) ... gives JBFK(P) = ... = 1/2 ∏ α_j^{-1/2}. (10) This is precisely(3). ... In the flat case this implication also runs in the reverse direction from the model calculation in Section 3. Once the corner BFK theorem and (3) have been proved independently, substituting the rigorously established closed-double formula(8) into (28) yields precisely(9)."

    The flat-polygon prediction (10) is obtained by algebraic subtraction of the unproved Aurell–Salomonson polygon formula (9) from the proved closed-double formula (8); the paper explicitly calls (9) only partially rigorous. Section 6 then states that, assuming (3) and the proved (8), one recovers (9), so (9) and the flat case of (3) are equivalent modulo a result already used in the calculation. Thus the flat check does not independently test the angle product ∏ α_j^{-1/2}; it assumes an equivalent statement. Since the two independent spectral checks (spindle, octant/Coxeter) only treat equal or symmetric angle tuples, the general-angle content of Conjecture 2.1 rests on this circular support.

full rationale

Not all support is circular. The spindle calculation (Section 4) is an independent spectral computation from the Spreafico–Zerbini spectrum and a zeta evaluation, and the octant/Coxeter calculations (Section 5) use standard spherical-harmonic multiplicities; neither imports the conjectural product formula. The paper is also transparent that no construction of det'_∠ N is supplied (Section 8). The circularity is confined to the flat-polygon model: it uses formula (9), which the paper flags as unproved and partially heuristic, and Section 6 explicitly shows that, given the proved closed-double formula (8), the conjecture (3) and (9) imply each other. This makes the only angle-generic check an assumption rather than an independent confirmation. Because the other two checks cover only equal-angle cases, the material support for the general angle dependence is circular; the overall claim still has independent, but special-case, evidence. Score 4 reflects partial circularity, not a fully empty derivation.

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

No numbers are fitted to data. The central role is played by prior standard results, the unproved Aurell–Salomonson formula (9), and the hypothesized determinant det'_∠. The most honest ledger entry is that the flat model rests on an assumption equivalent to the conjecture, while the other two models rest on explicit spectra.

assumptions (5)
  • standard math Smooth BFK surgery formula (1), including its established extension to conical surfaces when the cut avoids the conical points.
    Used in Section 1 and throughout as the template the conjectural corner version should reproduce.
  • domain assumption Zeta-regularized determinants for Friedrichs Laplacians on conical surfaces are well-defined and satisfy the standard spectral/scale identities.
    Needed for all three model computations, including formulas (8), (13)–(14), and (20)–(23).
  • ad hoc to paper Aurell–Salomonson polygon determinant formula for the Dirichlet Laplacian on a Euclidean polygon, Eq. (9), from [2, Eq. (32)].
    The paper explicitly states this formula has not received a rigorous proof and is used as a model formula; it is load-bearing for the flat-polygon calibration and is, by Section 6, equivalent to the conjecture in that case.
  • standard math Spindle spectrum (13)–(14) from separation of variables, and the octant spherical-harmonic parity multiplicities (20)–(21).
    These are presented as direct spectral facts; they underpin the two independent model checks in Sections 4 and 5.
  • domain assumption The singular anomaly comparison formulas and determinant evaluations of [7] and [9], including formula (8) and the known closed-sphere determinant for three conical points.
    Used for the flat-polygon subtraction and as the rigorous baseline in Section 5; these are prior theorems, not proved again here.
invented entities (1)
  • Intrinsic corner-renormalized Neumann jump determinant det'_∠ N∂P
    purpose: To be a canonical determinant for cuts through conical points that satisfies the BFK gluing formula and equals J_BFK(P) = 1/2∏α_j^{-1/2} in the mirror-double case.
    The determinant is not constructed; Conjecture 2.1 defines its expected value by the desired gluing identity. The model calculations evaluate only the well-defined side J_BFK, not the conjectural object itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Corner contributions to Neumann jump determinants: three model calculations and a BFK conjecture." pith.science (2026). https://pith.science/paper/2LWGXNBB

@misc{pith2026260723912,
  author       = {Pith},
  title        = {Pith review of: Corner contributions to Neumann jump determinants: three model calculations and a BFK conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2LWGXNBB}},
  note         = {Machine review of arXiv:2607.23912}
}
abstract

We formulate a local corner-factor conjecture for the determinant of the Neumann jump operator on a piecewise real-analytic cutting curve. For the mirror double of a simply connected geodesic polygon with interior angles $\pi\alpha_1,\ldots,\pi\alpha_N$, the conjectural determinant is \[ \Det_{\angle}'\cN = \frac{\length(\partial P)}2 \prod_{j=1}^N\alpha_j^{-1/2}. \] Here $\Det_{\angle}'$ denotes an intrinsic determinant, still to be constructed, that is required to satisfy a Burghelea--Friedlander--Kappeler gluing formula; only its quotient by $\length(\partial P)$ is purely angle-dependent. Three model calculations support the conjecture: a flat polygon and its double give $\frac12\prod_j\alpha_j^{-1/2}$; a spherical spindle split into congruent lunes gives $1/(2\alpha)$ for two angles $\pi\alpha$; and every spherical Coxeter triangle with angles $(\pi/p,\pi/q,\pi/r)$ gives $\frac12\sqrt{pqr}$, including $\sqrt2$ for the octant. The conjecture also reduces the Dirichlet determinant of a constant-curvature polygon to that of its closed double. Although the singular anomaly formula applies to the double in general, an explicit evaluation in nonzero curvature requires solving its uniformization problem. We discuss connections with the Neumann jump determinants in the work of Wiegmann--Zabrodin and Wang and with the recent Grunsky-operator approach to Coulomb gases on domains with corners.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 10 linked inside Pith

  1. [1]

    Aurell and P

    E. Aurell and P. Salomonson,On functional determinants of Laplacians in polygons and simplicial complexes, Comm. Math. Phys.165(1994), no. 2, 233–259; arXiv:hep-th/9304031

    arXiv 1994

  2. [2]

    Aurell and P

    E. Aurell and P. Salomonson,Further results on functional determinants of Laplacians in simplicial complexes, arXiv:hep-th/9405140

    arXiv

  3. [3]

    Burghelea, L

    D. Burghelea, L. Friedlander and T. Kappeler,Mayer–Vietoris type formula for determinants of elliptic differential operators, J. Funct. Anal.107(1992), 34–65

    1992

  4. [4]

    Courteaut, K

    K. Courteaut, K. Johansson and F. Viklund,Planar Coulomb gas on a Jordan arc at any temperature, arXiv:2504.19887

    arXiv

  5. [5]

    Edward and S

    J. Edward and S. Wu,Determinant of the Neumann operator on smooth Jordan curves, Proc. Amer. Math. Soc.111(1991), no. 2, 357–363

    1991

  6. [6]

    Johansson and F

    K. Johansson and F. Viklund,Coulomb gas and the Grunsky operator on a Jordan domain with corners, Invent. Math. (2026), doi:10.1007/s00222-026-01417-5; arXiv:2309.00308

    arXiv 2026

  7. [7]

    Kalvin,Polyakov–Alvarez type comparison formulas for determinants of Laplacians on Riemann surfaces with conical singularities, J

    V. Kalvin,Polyakov–Alvarez type comparison formulas for determinants of Laplacians on Riemann surfaces with conical singularities, J. Funct. Anal.280(2021), no. 7, Paper 108866; arXiv:1910.00104

    arXiv 2021

  8. [8]

    Kalvin,Determinant of Friedrichs Dirichlet Laplacians on2-dimensional hyperbolic cones, Comm

    V. Kalvin,Determinant of Friedrichs Dirichlet Laplacians on2-dimensional hyperbolic cones, Comm. Contemp. Math.24(2022), no. 10, Paper 2150107; arXiv:2011.05407

    arXiv 2022

Show all 14 references
  1. [9]

    Kalvin,Determinants of Laplacians for constant curvature metrics with three conical singularities on2-sphere, Calc

    V. Kalvin,Determinants of Laplacians for constant curvature metrics with three conical singularities on2-sphere, Calc. Var. Partial Differential Equations62(2023), Paper 59; arXiv:2112.02771

    2023 arXiv

  2. [10]

    Kalvin,Triangulations of singular constant curvature spheres via Belyi functions and determinants of Laplacians, preprint, 2023; arXiv:2310.04882; Ann

    V. Kalvin,Triangulations of singular constant curvature spheres via Belyi functions and determinants of Laplacians, preprint, 2023; arXiv:2310.04882; Ann. Sc. Norm. Super. Pisa Cl. Sci.47(2026), published online 12 January 2026; doi:10.2422/2036-2145.202501_037

    2023 arXiv

  3. [11]

    Peltola and Y

    E. Peltola and Y. Wang,Large deviations of multichordalSLE0+, real rational functions, and zeta-regularized determinants of Laplacians, J. Eur. Math. Soc.26(2024), no. 2, 469–535; arXiv:2006.08574

    2024 arXiv

  4. [12]

    Spreafico and S

    M. Spreafico and S. Zerbini,Spectral analysis and zeta determinant on the deformed spheres, Comm. Math. Phys.273(2007), no. 3, 677–704; doi:10.1007/s00220-007-0229-z; arXiv:math- ph/0610046

    2007

  5. [13]

    Wang,Equivalent descriptions of the Loewner energy, Invent

    Y. Wang,Equivalent descriptions of the Loewner energy, Invent. Math.218(2019), no. 2, 573–621; arXiv:1802.01999

    2019 arXiv

  6. [14]

    Wiegmann and A

    P. Wiegmann and A. Zabrodin,Dyson gas on a curved contour, J. Phys. A: Math. Theor.55 (2022), no. 16, 165202; arXiv:2111.09941. 11

    2022 arXiv

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.