REVIEW 7 minor 40 references
Pinned nonempty interior and volumes of simplices
T0 review · 0 major / 7 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read For every fixed pair of points in a big enough fractal set, the volumes of k-simplices they span with further points fill a real interval.
desk verdict Genuinely new simplex-volume thresholds via a clean cylinder estimate plus projection reduction; the paper is solid and the flagged Lemma 5.1 gap is not 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 cylinder-averaging estimate for the triangle-area Radon transform: writing $x_2 = r \theta$, the area $\left| x_1 \wedge x_2 \right|$ equals $r \left| P_{\theta^\perp} x_1 \right|$, so the level sets are cylinders over $(d-2)$-spheres; the resulting Fourier integral operator has smoothing order $\frac{d-1}{2}$ and its parameter derivative gives the Hölder regularity needed for interior. The geometric reduction iterates the identity $\left| (y-x_0) \wedge (x_1-x_0) \wedge \cdots \right| = \left| y-x_0 \right| \cdot \left| P_{(y-x_0)^\perp} (x_1-x_0) \wedge \cdots \right|$, so each prescribed vertex reduces the rank by one and the dimension threshold by one, until only triangle areas remain. Lemma 5.1, a Marstrand–Mattila style radial-direction lemma, supplies the direction $\theta$ whose orthogonal projection keeps enough Hausdorff dimension to continue
What would settle it
A compact set $E \subset \mathbb{R}^d$ with $\dim_H(E) > \frac{d+k-1}{2}$ and two distinct points $x_0, y \in E$ for which $\left\{ \left| (y-x_0) \wedge (x_1-x_0) \wedge \cdots \wedge (x_{k-1}-x_0) \right| : x_i \in E \right\}$ has empty interior would refute Theorem 1.9 directly. More narrowly, a set in an annulus whose radial projection has dimension below $\dim_H(E) - 1$ and such that every direction in the projection leads to a shadow of dimension below $\dim_H(E) - 1$ would break Lemma 5.1.
Extended reading notes
Core claim
Theorem 1.9 is the central claim: for $3 \le k \le d$, if $\dim_H(E) > \frac{d+k-1}{2}$, then for every prescribed $x_0 \in \mathbb{R}^d$ and every $y \in E \setminus \{x_0\}$, the doubly strongly pinned volume set $V_k^{x_0,y}(E)$ has nonempty interior. This is achieved by a geometric reduction (Theorem 1.8) that propagates a triangle-area threshold $X(m)$ through orthogonal projections, giving a $k$-volume threshold $X(d-k+2)+k-2$. In the base case, Theorem 1.6 establishes the strongly pinned triangle-area result at dimension $\frac{d+1}{2}$. The paper also obtains pinned nonempty interior for scalar configuration maps at $\frac{d+2}{2}$ by differentiating the level parameter, which raises the order of the generalized Radon transform by one and yields a continuous pinn
Load-bearing premise
The entire higher-volume induction depends on the radial-direction lemma (Lemma 5.1): from any compact set lying in an annulus one can find one of its own directions in which the orthogonal projection onto the hyperplane perpendicular to that direction loses less than one full dimension. If that lemma failed, the induction could not start, even if the volume sets actually did have interior.
Editorial extensions
If this is right
- For 3≤k≤d and any two fixed vertices in E, the k-simplex volume set has nonempty interior whenever dim_H(E)>(d+k−1)/2.
- Since V_k^{x0,y}(E)⊂V_k^{x0}(E), the same threshold gives nonempty interior for the usual (one-pin) strongly pinned volume sets V_k^{x0}(E) when k<d.
- Doubly pinned triangle areas have positive Lebesgue measure at (d+1)/2 and nonempty interior at (d+2)/2 for almost every second pin y.
- Pinned generalized norm distances, variable-coefficient and Riemannian distances, and nondegenerate bilinear-form values have nonempty interior for almost every pin at dimension (d+2)/2.
- In the full-rank case k=d, the doubly strongly pinned conclusion holds at dim_H(E)>d−1/2, complementing the one-pin Greenleaf–Iosevich–Taylor threshold d−1+1/d.
Reading between the lines
- The paper's projection calculus suggests that each additional prescribed vertex beyond the second would cost a further half dimension (the tetrahedral example already shows the jump from (d+2)/2 to (d+3)/2); a directly pinned triangle theorem that could be iterated without re-selecting directions would turn this into a general trade-off between pins and threshold.
- If an averaged local smoothing estimate of the type the paper calls for in its final section were available, the interior threshold for scalar configurations could move from (d+2)/2 down to the positive-measure threshold (d+1)/2, which would simultaneously improve all the triangle-area corollaries.
- The radial-direction lemma may be of independent use for other configuration problems: combined with the same cylinder factorisation, it should yield pinned nonempty-interior statements for tree configurations or restricted diagonal configurations, provided the corresponding smoothing estimates hold off the diagonal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies pinned configuration sets for scalar maps and for volumes of simplices. Its main technical results are: (i) a pinned nonempty-interior theorem (Theorem 1.2) for scalar configuration maps whose localized generalized Radon transforms are nondegenerate FIOs of smoothing order (d-1)/2, valid when the measure has finite s-energy with s>(d+2)/2; (ii) a cylinder-averaging estimate for triangle areas (Lemma 6.1) leading to a strongly pinned triangle-area theorem (Theorem 1.6) with threshold (d+1)/2; (iii) a geometric projection reduction (Theorem 1.8) converting triangle-area thresholds into thresholds for higher simplex volumes; and (iv) a doubly strongly pinned simplex-volume theorem (Theorem 1.9) with threshold (d+k-1)/2 for 3≤k≤d. The paper also gives doubly pinned triangle-area results and corollaries for generalized norms, Riemannian distances, and bilinear forms.
Significance. If the results are correct, the paper establishes a strongly pinned nonempty-interior theorem for triangle areas in all dimensions at the threshold (d+1)/2 (improving on the earlier 5/3 in d=2), and a clean reduction principle for higher simplex volumes. The analytic core is sound: the rotational-curvature determinant (6.1) is computed explicitly, the Littlewood-Paley summation in Theorem 1.6 is clean, and the geometric reduction in Theorem 1.8 propagates thresholds with the correct dimensional shifts. The paper is honest about its limitations (Remark 7.2, Section 8). The results should be of interest to researchers in fractal geometry, geometric measure theory, and Fourier analysis. The main structural ideas are standard, but their combination is effective and the pinned nonempty-interior conclusions are new in several regimes.
minor comments (7)
- [Section 5, Lemma 5.1] The proof chooses 'a number γ > β' for the σ-Frostman condition. Please state explicitly that γ is selected with β < γ < dim_H(Ω), since that is the condition that makes such a σ exist.
- [Section 2.3, Lemma 2.2] The proof assumes the phase is affine in t (Φ(x,y)-t). In the triangle-area application (Lemma 6.1) the level parameter enters through Ψ(x1,x2)-t^2. The derivative-in-t argument still works, but the lemma's statement should mention that it applies to phases of the form Φ(x,y)-φ(t) with φ'≠0 on J*, or the triangle-area use should be justified separately.
- [Section 6, Lemma 6.2] The proof is a sketch. Please expand by one paragraph, or cite a standard reference, to show that the canonical relation of the triangle-area operator has input/output covector sizes comparable on the support of χ and that the stationary-phase argument yields the rapid decay in j-i.
- [Section 5, proof of Theorem 1.8] In the auxiliary assertion, after Lemma 5.1 supplies θ and ρθ∈F, the text jumps from the induction hypothesis on P_{θ⊥}F to the conclusion for V^0_r(F). The identity |x_1∧...∧x_{r-1}∧ρθ| = ρ|P_{θ⊥}x_1∧...∧P_{θ⊥}x_{r-1}| shows V^0_{r-1}(P_{θ⊥}F) ⊂ ρ^{-1}V^0_r(F); this inclusion should be stated.
- [Section 6, proof of Theorem 1.6] After summing in N, the notation 'γ' is used for the Hölder exponent; earlier in Lemma 5.1 γ was used for the Frostman exponent. Not a real issue, but consider renaming one of them.
- [Throughout] Several thresholds are written as 'd+1/2' or 'd+k-1/2' without parentheses. This is standard in the area but can be misread; consider using '(d+1)/2' and '(d+k-1)/2' consistently in displayed statements.
- [Section 3, Proposition 3.1] The proof of the localization argument (that at least one localized pushforward is nonzero) is deferred to after the proof. It would be cleaner to state it as a lemma or include it within the proposition's proof.
Circularity Check
No significant circularity: derivation chain is self-contained; self-citations are contextual and not load-bearing.
full rationale
The central claims are derived from standard external inputs and original estimates, not from fitted data or self-citation. The scalar pinned results (Theorem 1.2) follow from Proposition 3.1, whose inputs are the finite-energy/Frostman estimates of Lemma 2.1, the parameter-derivative Lemma 2.2 (derived from the fixed-parameter estimate by phase/canonical-relation arguments), the frequency-compatibility Lemma 2.3, and the Greenleaf–Iosevich–Taylor smoothing estimate [20], which is an external result not by the present authors. The triangle-area theorem (Theorem 1.6) is an independent proof via the cylinder-averaging Lemma 6.1, determinant identity (6.1), and the frequency-compatibility Lemma 6.2; no parameter is fitted and no target conclusion is assumed. The geometric reduction (Theorem 1.8) uses Lemma 5.1, whose energy-averaging argument gives finite β-energy for σ-almost every θ; because σ is supported on Ω, the existence of θ∈Ω follows directly, so the reader's concern does not amount to circularity. The identities V^{0,y}_k(E)=|y|V^0_{k-1}(F) and the induction are exact algebraic reductions, not renaming of conclusions. Self-references ([1],[2],[3],[17],[18],[25]) appear only for historical context, motivation, or threshold comparison; none is load-bearing for the main theorems. Thus the derivation is not circular.
Assumptions & free parameters
assumptions (5)
- domain assumption For nondegenerate scalar generalized Radon transforms with phase Φ(x,y)=t on regular patches, the localized operators are Fourier integral operators of order −(d−1)/2 with the L2 smoothing estimate ||T_t f_i|| ≲ 2^{−i(d−1)/2}||f_i||.
- standard math For localized triangle-area operator T_t^χ attached to A(x1,x2)=|x1∧x2|, the rotational-curvature determinant (6.1) is nonzero on the chosen patch, making the canonical relation a local canonical graph.
- standard math A finite s-energy measure on R^d (s>1) gives zero mass to every line through the origin.
- domain assumption If dim_H(F) > α and F is contained in an annulus, then the radial projection Ω has dim_H(Ω) ≥ dim_H(F) − 1.
- domain assumption The local smoothing/parameter-derivative estimates for T_t^χ hold uniformly over the symbol-class bounded sets and pass to the ε-regularized family.
Cite this review
Pith. "Pith review of Pinned nonempty interior and volumes of simplices." pith.science (2026). https://pith.science/paper/SRHEOLEW
@misc{pith2026260720416,
author = {Pith},
title = {Pith review of: Pinned nonempty interior and volumes of simplices},
year = {2026},
howpublished = {\url{https://pith.science/paper/SRHEOLEW}},
note = {Machine review of arXiv:2607.20416}
}
abstract
We study pinned nonempty-interior problems for scalar two-point configurations and for volumes of simplices. For $E\subset\mathbb{R}^d$, $d\geq 2$, compact and a smooth scalar configuration map $\Phi(x,y)$, whose corresponding localized generalized Radon transforms are nondegenerate Fourier integral operators of smoothing order $(d-1)/2$, we first note how a calculation due to Greenleaf, Iosevich and Taylor can be used to obtain positive Lebesgue measure of $\Delta_\Phi^y(E)=\{\Phi(x,y):x\in E\}$ for almost every pin $y$ when $\dim_{\mathcal H}(E)>(d+1)/2$. Our first main result is to prove that the corresponding one-frequency-loss estimate for differentiation in the level parameter yields a continuous pinned density, and hence nonempty interior, for almost every pin when $d\geq3$ and $\dim_{\mathcal H}(E)>(d+2)/2$. Concrete applications include generalized norm distances, regular variable-coefficient and Riemannian distances, and dot products or nondegenerate bilinear forms on regular patches. Our principal geometric application concerns volumes of simplices. We prove a cylinder-averaging estimate for triangle areas in $\mathbb{R}^d$ and obtain positive measure for doubly pinned area sets at a dimensional threshold $(d+1)/2$ and nonempty interior at $(d+2)/2$. A projection theorem then reduces higher simplex-volume problems to triangle areas. In particular, for $3\leq k \leq d$, if $\dim_{\mathcal H}(E)>(d+k-1)/2$, then for every prescribed base point $x_0$ and every prescribed second vertex $y\in E\setminus\{x_0\}$, the set of $k$-dimensional volumes generated by $x_0,y$ and $k-1$ further points of $E$ has nonempty interior. Thus the result is doubly strongly pinned in its first two vertices.
Reference graph
Works this paper leans on
-
[1]
Borges, B
T. Borges, B. Foster, Y. Ou and E. A. Palsson,Nonempty interior of pinned distance and tree sets, Adv. Math. 493 (2026), 110917
2026
- [2]
- [3]
- [4]
- [5]
-
[6]
Bright, C
P. Bright, C. Marshall and S. Senger,Pinned dot product set estimates, Res. Math. Sci. 13 (2026), Paper No. 9
2026
-
[7]
Bourgain,Hausdorff dimension and distance sets, Israel J
J. Bourgain,Hausdorff dimension and distance sets, Israel J. Math. 87 (1994), 193–201
1994
-
[8]
Di Nezza, G
E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces,Bull. Sci. Math.136(2012), no. 5, 521–573
2012
Show all 40 references
-
[9]
X. Du, L. Guth, Y. Ou, H. Wang, B. Wilson and R. Zhang,Weighted restriction estimates and application to Falconer distance set problem, Amer. J. Math. 143 (2021), 175–211. PINNED NONEMPTY INTERIOR AND VOLUMES OF SIMPLICES 25
2021
-
[10]
X. Du, A. Iosevich, Y. Ou, H. Wang and R. Zhang,An improved result for Falconer’s distance set problem in even dimensions, Math. Ann. 380 (2021), 1215–1231
2021
-
[11]
X. Du, Y. Ou, K. Ren and R. Zhang,New improvement to Falconer distance set problem in higher dimensions, arXiv:2309.04103
-
[12]
Du and R
X. Du and R. Zhang,Sharp L2 estimates of the Schr¨ odinger maximal function in higher dimensions,Ann. of Math. (2)189(2019), no. 3, 837–861
2019
-
[13]
M. B. Erdo˘ gan,A bilinear Fourier extension theorem and applications to the distance set problem, Int. Math. Res. Not., no. 23, (2005), 1411–1425
2005
-
[14]
M. B. Erdo˘ gan, D. Hart and A. Iosevich,Multiparameter projection theorems with applications to sums- products and finite point configurations in the Euclidean setting, inRecent advances in harmonic analysis and applications, Springer Proc. Math. Stat. 25, Springer, New York,...
2013
-
[15]
Eswarathasan, A
S. Eswarathasan, A. Iosevich and K. Taylor,Fourier integral operators, fractal sets, and the regular value theorem,Adv. Math.228(2011), no. 4, 2385–2402
2011
-
[16]
K. J. Falconer,On the Hausdorff dimensions of distance sets, Mathematika 32 (1985), 206–212
1985
-
[17]
Gaitan Montejo and E
J. Gaitan Montejo and E. A. Palsson,On volumes of simplices in intermediate dimensions, arXiv:2605.22450
-
[18]
Gaitan, A
J. Gaitan, A. Greenleaf, E. A. Palsson and G. Psaromiligkos,On restricted Falconer distance sets, Canad. J. Math. 77 (2025), no. 2, 665–682
2025
-
[19]
Galo and A
B. Galo and A. McDonald,Volumes spanned by k-point configurations in Rd, J. Geom. Anal. 32 (2022), no. 1, Paper No. 23
2022
-
[20]
Greenleaf, A
A. Greenleaf, A. Iosevich and K. Taylor,Configuration sets with nonempty interior, J. Geom. Anal. 31 (2021), 6662–6680
2021
-
[21]
Greenleaf, A
A. Greenleaf, A. Iosevich and K. Taylor,On k-point configuration sets with nonempty interior, Mathematika 68 (2022), 163–190
2022
-
[22]
Greenleaf, A
A. Greenleaf, A. Iosevich and K. Taylor,Nonempty interior of configuration sets via microlocal partition optimization, Math. Z. 306 (2024), Paper No. 66
2024
-
[23]
Greenleaf, A
A. Greenleaf, A. Iosevich and K. Taylor,Realizing trees of configurations in thin sets, Pacific J. Math. 335.2 (2025), pp. 355-–372
2025
-
[24]
Greenleaf, A
A. Greenleaf, A. Iosevich and M. Mourgoglou,On volumes determined by subsets of Euclidean space, Forum Math. 27 (2015), no. 1, 635–646
2015
-
[25]
Grafakos, A
L. Grafakos, A. Greenleaf, A. Iosevich and E. A. Palsson,Multilinear generalized Radon transforms and point configurations, Forum Math. 27 (2015), 2323–2360
2015
-
[26]
L. Guth, A. Iosevich, Y. Ou and H. Wang,On Falconer’s distance set problem in the plane, Invent. Math. 219 (2020), 779–830
2020
-
[27]
Hyt¨ onen, J
T. Hyt¨ onen, J. van Neerven, M. Veraar and L. Weis,Analysis in Banach Spaces. Volume I: Martingales and Littlewood–Paley Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 63, Springer, Cham, 2016
2016
-
[28]
Iosevich, M
A. Iosevich, M. Mourgoglou and K. Taylor,On the Mattila–Sj¨ olin theorem for distance sets, Ann. Acad. Sci. Fenn. Math. 37 (2012), 557–562
2012
-
[29]
Iosevich, K
A. Iosevich, K. Taylor and I. Uriarte-Tuero,Pinned geometric configurations in Euclidean space and Riemannian manifolds, Mathematics 9 (2021), no. 15, 1802
2021
-
[30]
Kaufman,On Hausdorff dimension of projections, Mathematika 15 (1968), 153–155
R. Kaufman,On Hausdorff dimension of projections, Mathematika 15 (1968), 153–155
1968
-
[31]
Liu,AnL 2-identity and pinned distance problem, Geom
B. Liu,AnL 2-identity and pinned distance problem, Geom. Funct. Anal. 29 (2019), no. 1, 283–294
2019
-
[32]
J. M. Marstrand,Some fundamental geometrical properties of plane sets of fractional dimensions, Proc. London Math. Soc. (3) 4 (1954), 257–302
1954
-
[33]
Mattila,Geometry of Sets and Measures in Euclidean Spaces, Cambridge Studies in Advanced Mathe- matics 44, Cambridge University Press, 1995
P. Mattila,Geometry of Sets and Measures in Euclidean Spaces, Cambridge Studies in Advanced Mathe- matics 44, Cambridge University Press, 1995
1995
-
[34]
Mattila,Hausdorff dimension, orthogonal projections and intersections with planes, Ann
P. Mattila,Hausdorff dimension, orthogonal projections and intersections with planes, Ann. Acad. Sci. Fenn. Ser. A I Math. 1 (1975), 227–244
1975
-
[35]
Mattila and P
P. Mattila and P. Sj¨ olin,Regularity of distance measures and sets, Math. Nachr. 204 (1999), 157–162
1999
-
[36]
McDonald,Areas spanned by point configurations in the plane, Proc
A. McDonald,Areas spanned by point configurations in the plane, Proc. Amer. Math. Soc. 149 (2021), no. 5, 2035–2049
2021
-
[37]
Orponen,On the dimension and smoothness of radial projections, Anal
T. Orponen,On the dimension and smoothness of radial projections, Anal. PDE 12 (2019), 1273–1294
2019
-
[38]
Peres and W
Y. Peres and W. Schlag,Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions, Duke Math. J. 102 (2000), 193–251
2000
-
[39]
Shmerkin and A
P. Shmerkin and A. Yavicoli,On the volumes of simplices determined by a subset of Rd, Ann. Fenn. Math. 50 (2025), 97–108
2025
-
[40]
Wolff,Decay of circular means of Fourier transforms of measures, Int
T. Wolff,Decay of circular means of Fourier transforms of measures, Int. Math. Res. Not. 1999, no. 10, 547–567. Email address:palsson@vt.edu 26 E. A. PALSSON AND G. PSAROMILIGKOS Department of Mathematics, Virginia Tech, Virginia, V A 24061, USA Email address:gpsaromiligkos@ut...
1999
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.