REVIEW 3 major objections 4 minor 14 references
Symmetric Triangle Quadrature Rules for Arbitrary Functions
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Symmetric triangle quadrature rules can be built to exactly integrate logarithmic singular functions, and on a representative electromagnetic integral they reduce relative error by two orders of magnitude compared with polynomial rules.
desk verdict Solid methods paper on symmetric triangle rules for singular integrands; the 'arbitrary functions' title oversells slightly, but the construction is sound and the gains on the EM test problem are real. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the orbit decomposition of symmetric triangle rules combined with function groups. A rule's points live in three orbit types: one centroid point (type 0), three points on medians (type 1), and six points off the medians (type 2); points in an orbit share one weight, so the unknowns are per orbit. The paper groups the target sequence into function groups $f_k$, each either a singularity or the monomials of a fixed degree, and requires the rule to integrate all preceding groups. Approach 1 solves for the orbit unknowns with a nonlinear least-squares objective in which each function's quadrature sum is compared with its exact integral; Approach 2 bypasses the multivariate optimization by building a one-dimensional generalized Gaussian rule for the singularity sequence and tensor-producting it, then mapping it to the triangle via a bilinear transformation of the three quadrilateral subdomains.
What would settle it
Take the same construction and apply it to an integrable boundary singularity outside the logarithmic family, such as $r^{-1/2}$ where $r$ is distance to a vertex, and check whether the relative error still stays two orders of magnitude below polynomial rules; if it does not, the method's demonstrated value is specific to the logarithmic singularity sequence rather than to arbitrary functions.
Extended reading notes
Core claim
The central claim is that a symmetric triangle rule can be designed to integrate exactly a prescribed function sequence that mixes monomials with singular terms, e.g. $x^{2j-1}\ln x$ for $j\in\mathbb{N}^+$, while retaining the standard orbit structure of symmetric triangle rules (centroid, three median points, six off-median points). Approach 1 obtains such a rule by minimizing a scaled least-squares objective over orbit coordinates and weights, seeded with polynomial-rule points and weights, and accepting only interior points; the cost is a reduction in the maximum polynomial degree integrated exactly. Approach 2 instead forms the product of one-dimensional rules that integrate the same one-dimensional singularity sequence and maps the product rule to the triangle through a bilinear map of three quadrilateral subdomains, producing $n=3n'^2$ points. For the singular integral $I_c$, the resulting rules yield relative errors that are often two orders of magnitude below those of polynomial quadrature rules at comparable point counts, while for the smooth integral $I_s$ the polynomial rules remain best and Approach 1 remains comparable.
Load-bearing premise
The accuracy gains hinge on the assumption that the chosen logarithmic sequence $x^{2j-1}\ln x$ (or its two-dimensional counterpart) completely captures the singular behavior of the integrand on the triangle edges and vertices, since the paper offers no completeness proof for this representation.
Editorial extensions
If this is right
- For the singular integral $I_c$, the new rules reach relative errors roughly two orders of magnitude smaller than polynomial rules at several point counts (e.g., $n=27$ for Approach 1).
- Approach 2's relative error decreases monotonically with the number of points, guaranteeing that adding points improves accuracy for singular integrands.
- Because both approaches preserve the symmetric orbit structure, the computed rules map to arbitrary triangles by an affine transformation with weights scaled by twice the area.
- Because the function sequence is user-selected, a user can trade polynomial degree for the ability to integrate a chosen set of singular functions; the maximum polynomial degree drops as singular functions are added.
- For a smooth test integrand ($I_s$), polynomial rules remain the most accurate, while Approach 1 retains comparable efficiency.
Reading between the lines
- If the $x^{2j-1}\ln x$ sequence is assumed complete, the same construction should transfer to other integrable boundary singularities (e.g., $x^{-1/2}$ or $x^p\ln x$) by swapping the singularity sequence, but the paper does not test this.
- Because Approach 2 builds triangle rules from one-dimensional rules and a bilinear quadrilateral map, its accuracy is largely set by the quality of the one-dimensional generalized Gaussian rule; tuning that rule for a different singularity family may be cheaper than rerunning Approach 1's optimization.
- The reported gains for $I_c$ suggest that replacing polynomial triangle rules in boundary-element or method-of-moments codes with these rules could reduce the number of integration points needed for comparable accuracy, but that impact is an extrapolation beyond the paper's test integrals.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes two numerical approaches for constructing symmetric quadrature rules on triangles that exactly integrate prescribed sets of functions, including functions with boundary singularities. Approach 1 solves a least-squares problem for orbit coordinates and weights, using polynomial rules as initial guesses and replacing some polynomial function groups with singular functions. Approach 2 builds tensor-product rules from one-dimensional generalized Gaussian rules and maps them to the triangle via a subdivision into three quadrilaterals. The methods are demonstrated on integrals with logarithmic singularities arising in electromagnetic simulations, where the new rules are reported to achieve relative errors up to two orders of magnitude smaller than standard polynomial rules for the singular test integral. The paper also discusses computational techniques, initial-guess strategies, and a uniqueness heuristic for Approach 1.
Significance. If the results are accepted, the paper provides a practical extension of symmetric triangle quadrature beyond polynomial integrands, addressing a real need in computational electromagnetics. Strengths include the clear description of both algorithms, the use of machine-precision residual checks for the constructed rules, and the direct comparison against established polynomial rules on a nontrivial singular test problem. The claim of 'arbitrary functions' is, however, broader than what is actually demonstrated: the construction depends on the user-supplied function sequence, and the numerical gains are shown only for a particular singular integrand with sequences borrowed from a companion reference. The paper would be more compelling with a reproducibility package containing the actual rules and with a more cautious statement of the scope.
major comments (3)
- [Section 6 and Appendix A] The actual quadrature rules are not reported anywhere in the manuscript: Tables 4 and 5 give only orbit counts and maximum function-group indices, while Figures 4-6 show point distributions but no coordinates or weights. Since the paper's contribution is a set of symmetric triangle rules, this omission prevents readers from using or independently verifying the rules. Provide the computed points and weights as supplementary material or in an appendix.
- [Abstract and Section 1] The phrase 'arbitrary functions' overstates the demonstrated scope. Approach 1 requires the user to prescribe a finite sequence of functions, and the reported accuracy for I_c relies on singular sequences taken from Reference [10] without a completeness or convergence analysis. Section 4 explicitly concedes that one-dimensional characterization omits cross terms, and Section 6.1 gives no argument that the chosen sequences capture all relevant singular behavior. The authors should either soften the title/abstract claims to 'prescribed function sequences' or provide a theoretical or systematic numerical justification for the generalization.
- [Section 5 (Approach 2)] Approach 2 inherits the same completeness limitation in a more direct form: the tensor product of one-dimensional rules does not integrate cross terms such as x^p y^q ln x that can appear in edge and vertex expansions of the test integrand. The paper notes this issue for Approach 1 in Section 4 but does not discuss its effect on the monotonic convergence claimed for Approach 2 in Section 6.3. A comparison of Approach 2's error behavior with and without such cross terms, or at least a discussion of why they are negligible for the test cases, would strengthen the empirical claims.
minor comments (4)
- [Equation (3)] The displayed objective function appears to have a typesetting error: the exponent on the relative error is missing or misplaced, and there is an unbalanced parenthesis. Please correct the formula.
- [Table 1] For n = 1, the table lists ng = d = 1; while the centroid rule indeed integrates linear functions on the reference triangle, the entry would benefit from a short explanation because standard polynomial-degree conventions sometimes count only constants for a one-point rule.
- [Figures 7 and 8] The legends and curves for 'Approach 1, 1D Singularities' and 'Approach 1, 2D Singularities' may be difficult to distinguish in grayscale; consider using distinct markers or line styles.
- [Section 3.1] The sentence 'the ability to integrate f(α,β) indicates the ability to integrate f(β,α)' is correct for symmetric rules but would be clearer if the symmetry group of the equilateral triangle is explicitly invoked, since the reduction in the number of functions relies on it.
Circularity Check
No significant circularity: the quadrature rules are solved from the chosen function sequences by Equations (2)-(3), and the self-cited singular sequences and reference solutions are example inputs, not equations that define the rule.
full rationale
The derivation chain is self-contained. Section 2 defines an n-point rule as one satisfying Equation (1) for a sequence f, and Section 4 formulates the computation as the least-squares problem of Equations (2)-(3); the unknown weights and coordinates are solved so that the rule exactly integrates the chosen finite sequence. This is the defining equation of a quadrature rule, not a circular reduction: no target integral value I_c or I_s is used to determine the unknowns. The singular sequences in Section 6.1, such as s_j(x)=x^{2j-1} ln x, and the two-dimensional characterization are taken from the authors' previous work [10], but they are input assumptions for the numerical example, not outputs of the rule construction, and no parameter is fitted to the test integrals. The reference solutions for the error plots are also computed as described in [10]; although that reference shares authors, the comparison against polynomial quadrature rules is an external benchmark that does not feed back into the rule equations. Section 4 explicitly acknowledges that the one-dimensional singular characterization omits cross terms, and Section 7 notes limitations on optimality and uniqueness; these are scope caveats about the 'arbitrary functions' claim, not circularities. A possible generalization gap, namely the unproven completeness of the finite singular sequences for arbitrary integrands, is a correctness risk rather than a circularity by construction. Therefore no circular step meets the quoted-equation standard.
Assumptions & free parameters
free parameters (2)
- Polynomial degree d and singular-function count n_s per point count in Approach 1 =
Not single values; e.g., n=16, 1D characterization: d=5, n_s=3; details in Tables 4-5
- Orbit coordinates and weights for each Approach 1 rule =
Not tabulated in the paper
assumptions (5)
- domain assumption The chosen one- or two-dimensional singular function sequences in Section 6.1 faithfully represent the singular behavior of I_c over triangle edges and vertices.
- domain assumption A zero-residual solution to the nonlinear least squares problem in Equation (2) exists for the selected orbit counts and is found by Levenberg-Marquardt from perturbations of polynomial initial guesses.
- standard math The one-dimensional generalized Gaussian rules from Reference [7] exactly integrate the one-dimensional sequences used in Approach 2.
- standard math Symmetry enables reducing the monomial basis to floor((d+2)^2/4) functions for symmetric triangle rules.
- domain assumption The orbit counts from Table 1, taken from polynomial rules, are suitable starting structures for arbitrary function sequences.
Cite this review
Pith. "Pith review of Symmetric Triangle Quadrature Rules for Arbitrary Functions." pith.science (2026). https://pith.science/paper/UF4HV3NF
@misc{pith2026190901480,
author = {Pith},
title = {Pith review of: Symmetric Triangle Quadrature Rules for Arbitrary Functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/UF4HV3NF}},
note = {Machine review of arXiv:1909.01480}
}
read the original abstract
Despite extensive research on symmetric polynomial quadrature rules for triangles, as well as approaches to their calculation, few studies have focused on non-polynomial functions, particularly on their integration using symmetric triangle rules. In this paper, we present two approaches to computing symmetric triangle rules for singular integrands by developing rules that can integrate arbitrary functions. The first approach is well suited for a moderate amount of points and retains much of the efficiency of polynomial quadrature rules. The second approach better addresses large amounts of points, though it is less efficient than the first approach. We demonstrate the effectiveness of both approaches on singular integrands, which can often yield relative errors two orders of magnitude less than those from polynomial quadrature rules.
Figures
Figures from the paper (5 more)
Reference graph
Works this paper leans on
-
[10]
B. A. Freno, W. A. Johnson, B. F. Zinser, D. F. Wilton, F. Vipiana, S. Campione, Symmetric numerical integration techniques for singular integrals in the method-of-moments implementation of the electric- field integral equation, arXiv preprint arXiv:1911.02107 (2019)
work page Pith review arXiv 2019
-
[1]
J. N. Lyness, D. Jespersen, Moderate degree symmetric quadrature rules for the triangle, IMA Journal of Applied Mathematics 15 (1) (1975) 19–32.doi:10.1093/imamat/15.1.19
-
[3]
S. Wandzura, H. Xiao, Symmetric quadrature rules on a triangle, Computers & Mathematics with Applications 45 (12) (2003) 1829–1840.doi:10.1016/S0898-1221(03)90004-6
-
[4]
S.-A. Papanicolopulos, Computation of moderate-degree fully-symmetric cubature rules on the triangle using symmetric polynomials and algebraic solving, Computers & Mathematics with Applications 69 (7) (2015) 650–666.doi:10.1016/j.camwa.2015.02.014
-
[5]
Analytical computation of moderate-degree fully-symmetric cubature rules on the triangle
S.-A. Papanicolopulos, List of zero-dimensional fully symmetric cubature rules on the triangle (Nov. 2011). URL https://arxiv.org/src/1111.3827v1/anc/allrules.pdf
work page Pith review arXiv 2011
-
[6]
S. E. Mousavi, H. Xiao, N. Sukumar, Generalized Gaussian quadrature rules on arbitrary polygons, International Journal for Numerical Methods in Engineering 82 (1) (2010) 99–113.doi:10.1002/nme. 2759
doi:10.1002/nme 2010
-
[7]
J. Ma, V. Rokhlin, S. Wandzura, Generalized Gaussian quadrature rules for systems of arbitrary func- tions, SIAM Journal on Numerical Analysis 33 (3) (1996) 971–996.doi:10.1137/0733048
doi:10.1137/0733048 1996
-
[8]
F. Vipiana, D. R. Wilton, W. A. Johnson, Advanced numerical schemes for the accurate evaluation of 4-D reaction integrals in the method of moments, IEEE Transactions on Antennas and Propagation 61 (11) (2013) 5559–5566.doi:10.1109/TAP.2013.2277864
Show all 14 references
-
[9]
H. Xiao, Z. Gimbutas, A numerical algorithm for the construction of efficient quadrature rules in two and higher dimensions, Computers & Mathematics with Applications 59 (2) (2010) 663–676.doi: 10.1016/j.camwa.2009.10.027
2010 doi
-
[11]
Levenberg, A method for the solution of certain non-linear problems in least squares, Quarterly of Applied Mathematics (1944) 164–168.doi:10.1090/qam/10666
K. Levenberg, A method for the solution of certain non-linear problems in least squares, Quarterly of Applied Mathematics (1944) 164–168.doi:10.1090/qam/10666
1944 doi
-
[12]
D. W. Marquardt, An algorithm for least-squares estimation of nonlinear parameters, Journal of the Society for Industrial and Applied Mathematics 11 (2) (1963) 431–441.doi:10.1137/0111030
1963 doi
-
[13]
J. J. Moré, B. S. Garbow, K. E. Hillstrom, User guide for MINPACK-1, Tech. Rep. ANL-80-74, Argonne National Laboratory (Aug. 1980)
1980
-
[14]
D. H. Bailey, A Thread-Safe Arbitrary Precision Computation Package (Aug. 2019). URL https://www.davidhbailey.com/dhbpapers/mpfun2015.pdf
2019
-
[15]
M. A. Khayat, D. R. Wilton, P. W. Fink, An improved transformation and optimized sampling scheme for the numerical evaluation of singular and near-singular potentials, IEEE Antennas and Wireless Propagation Letters 7 (2008) 377–380.doi:10.1109/LAWP.2008.928461. 15
2008
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.