On volume vectors determined by hypergraphs in thin subsets of Euclidean space
Pith reviewed 2026-07-02 00:53 UTC · model grok-4.3
The pith
The Jacobian method reduces simplex volume problems to distance problems via Heron's formula and yields improved dimensional thresholds in high dimensions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Jacobian method obtains non-trivial thresholds for volume vectors determined by a wide range of hypergraphs of simplices by leveraging results on k-stars in two-point distance graphs through Heron's formula. Even for the volume of a single simplex this method yields the best known dimensional thresholds when the dimension is considerably bigger than the size of the simplex. In the planar case the work of Shmerkin and Yavicoli is refined to obtain abundance of area vectors for certain hypergraphs of triangles such as chains connected on edges or vertices.
What carries the argument
The Jacobian method, which reduces volume configurations of simplices to two-point distance problems using Heron's formula.
If this is right
- Non-trivial dimensional thresholds hold for volume vectors from a wide range of hypergraphs of simplices in sufficiently high dimensions.
- The best known thresholds are obtained for volumes of single simplices when dimension greatly exceeds simplex size.
- Abundance of area vectors holds for hypergraphs such as chains of triangles connected on edges or vertices in the plane.
- Existing results on areas of triangles are improved and extended.
Where Pith is reading between the lines
- If analogous reduction formulas exist, the Jacobian approach could extend to other multi-point geometric configurations beyond simplices.
- The conjecture linking the problem to rigidity theory suggests possible new combinatorial consequences for volume vectors.
- Numerical checks in moderate dimensions could test whether the predicted thresholds are sharp for specific hypergraphs.
Load-bearing premise
Heron's formula applies to the hypergraph volume configurations without extra dimensional losses and prior k-star results extend directly to these settings.
What would settle it
A set of positive Lebesgue measure in a dimension strictly below the predicted threshold that determines no positive-measure set of volume vectors for a given hypergraph of simplices.
Figures
read the original abstract
Generalizing the Falconer distance problem, the authors of this paper recently established the first non-trivial dimensional threshold for any distance graph in high enough of a dimension. The methods developed were flexible enough to generalize from the Euclidean distance to any two point configuration, conditional on results on $k$-stars for the two point configuration. A natural question emerges on what happens to configurations that take in more than two points. In this paper we consider a classic three point variant of the Falconer distance problem, namely that on areas of triangles and its generalizations to volumes of simplices. In this model case we develop two methods. One we call the Jacobian method which allows us, through Heron's formula, to leverage earlier results on distance graphs and obtains non-trivial thresholds for volume vectors determined by a wide range of hypergraphs of simplices. Even in the classic case of the volume of a single simplex this method yields the best known dimensional thresholds if the dimension is considerably bigger than the size of the simplex. We develop a conjecture that has connections to rigidity theory. The Jacobian method works best in high dimensions so in the case of areas of triangles in the plane, we refine the work of Shmerkin and Yavicoli, who recently resolved a conjecture for areas of triangles in the plane, and obtain building blocks from which we can get abundance of area vectors determined by certain hypergraphs of triangles, such as chains of triangles connected on edges or vertices. The results improve and extend existing results of Galo and McDonald as well as of Greenleaf, Iosevich and Taylor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes the Falconer distance problem to volume vectors determined by hypergraphs of simplices. It introduces a Jacobian method that reduces via Heron's formula to prior k-star results on distance graphs, yielding non-trivial dimensional thresholds for a range of hypergraph configurations; this is claimed to give the best known thresholds for single-simplex volumes when ambient dimension greatly exceeds simplex size. A conjecture linking to rigidity theory is posed. For the planar case, the work refines Shmerkin-Yavicoli's resolution of the area conjecture to obtain abundance results for area vectors from hypergraphs such as edge- or vertex-connected triangle chains, improving on Galo-McDonald and Greenleaf-Iosevich-Taylor.
Significance. If the Jacobian reduction avoids unaccounted dimensional losses, the results would supply the first non-trivial thresholds for multi-point volume configurations in high dimensions and extend planar area results to hypergraphs. The flexibility in leveraging distance-graph machinery and the rigidity conjecture are potential strengths for the field.
major comments (2)
- [Abstract and Jacobian method section] Abstract and § on Jacobian method: the claim of best-known thresholds for single-simplex volumes (when d ≫ simplex size) rests on reducing volumes to k-star distance problems via Heron's formula. For d > 2 the correct algebraic relation is the Cayley-Menger determinant (involving inom{d+2}{2} distances), so any direct application of the 2D formula or planar Jacobian must either restrict the configuration space or control a non-vanishing set whose measure incurs d-dependent losses; the manuscript gives no explicit Jacobian or measure estimate showing these losses are avoided.
- [Abstract] Abstract: all stated thresholds are conditional on prior k-star results for two-point configurations and on the extension of Shmerkin-Yavicoli to the described hypergraphs; no explicit new dimensional thresholds, error estimates, or verification that the reductions incur no additional losses appear, leaving the central non-triviality claims unverifiable from the given description.
minor comments (1)
- [Conjecture paragraph] The conjecture on rigidity connections is stated but not developed; a brief indication of its precise formulation would clarify its relation to the main results.
Simulated Author's Rebuttal
We thank the referee for their thorough and constructive review. We address the two major comments point by point below, acknowledging where additional details are required and committing to revisions that will make the claims fully verifiable.
read point-by-point responses
-
Referee: [Abstract and Jacobian method section] Abstract and § on Jacobian method: the claim of best-known thresholds for single-simplex volumes (when d ≫ simplex size) rests on reducing volumes to k-star distance problems via Heron's formula. For d > 2 the correct algebraic relation is the Cayley-Menger determinant (involving inom{d+2}{2} distances), so any direct application of the 2D formula or planar Jacobian must either restrict the configuration space or control a non-vanishing set whose measure incurs d-dependent losses; the manuscript gives no explicit Jacobian or measure estimate showing these losses are avoided.
Authors: We agree that Heron's formula applies specifically to the planar (d=2) case and that the general simplex volume is expressed via the Cayley-Menger determinant. The Jacobian method in the manuscript is formulated in the high-dimensional configuration space of point tuples, where the distance-to-volume map is analyzed via the appropriate determinant. However, the current text does not supply the explicit Jacobian matrix or the accompanying measure estimates needed to confirm the absence of extra d-dependent losses. We will revise the Jacobian method section to include these computations, verifying that the reduction preserves the dimensional thresholds obtained from the k-star distance results when d is sufficiently large relative to the simplex size. revision: yes
-
Referee: [Abstract] Abstract: all stated thresholds are conditional on prior k-star results for two-point configurations and on the extension of Shmerkin-Yavicoli to the described hypergraphs; no explicit new dimensional thresholds, error estimates, or verification that the reductions incur no additional losses appear, leaving the central non-triviality claims unverifiable from the given description.
Authors: The stated thresholds are obtained by direct substitution of the best available k-star thresholds into the Jacobian reduction, with no further dimensional loss claimed. To render the claims verifiable, the revised abstract and introduction will state the resulting explicit dimensional thresholds (in terms of the known k-star exponents) and include a short paragraph confirming that the measure estimates in the Jacobian step introduce no additional losses. The planar refinement of Shmerkin-Yavicoli is likewise made explicit for the listed hypergraph families. revision: yes
Circularity Check
No significant circularity; derivation builds on independent prior results
full rationale
The paper's Jacobian method derives new thresholds for simplex volume vectors by applying Heron's formula to reduce to the authors' earlier distance-graph results (cited as recent prior work) and to Shmerkin-Yavicoli. This is standard sequential use of external results rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain internal to this manuscript. No equations or claims in the provided text reduce the output thresholds to the inputs by construction. The self-citation is to previous independent work and does not trigger circularity under the stated rules.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Heron's formula relating triangle area to side lengths
- domain assumption Existence of non-trivial thresholds for k-stars in two-point distance graphs
Reference graph
Works this paper leans on
-
[1]
Finite chains inside thin subsets ofR d
Bennett, Michael, Iosevich, Alexander, and Taylor, Krystal. “Finite chains inside thin subsets ofR d”. In:Anal. PDE9.3 (2016), pp. 597–614.issn: 2157-5045,1948-206X.doi: 10.2140/apde.2016.9.597.url:https://doi.org/10.2140/apde.2016.9.597
work page doi:10.2140/apde.2016.9.597.url:https://doi.org/10.2140/apde.2016.9.597 2016
- [2]
-
[3]
Nonempty inte- rior of pinned distance and tree sets
Borges, Tainara, Foster, Benjamin, Ou, Yumeng, and Palsson, Eyvindur. “Nonempty inte- rior of pinned distance and tree sets”. In:Advances in Mathematics493 (2026), p. 110917. issn: 0001-8708.doi:https://doi.org/10.1016/j.aim.2026.110917.url:https: //www.sciencedirect.com/science/article/pii/S0001870826001398. 34 REFERENCES
- [4]
-
[5]
From weighted paraboloid restriction tok-stars and distance graphs
Borges, Tainara, Ou, Yumeng, and Pasquariello, Marcus. “From weighted paraboloid restriction tok-stars and distance graphs”. Forthcoming. 2026
2026
-
[6]
Bright, Paige, Marshall, Caleb, and Senger, Steven.Pinned Dot Product Set Estimates
- [7]
-
[8]
Cameron, Peter J. “Hall’s marriage theorem”. In:J. Lond. Math. Soc. (2)113.1 (2026), Paper No. e70378, 9.issn: 0024-6107,1469-7750.doi:10.1112/jlms.70378.url:https: //doi.org/10.1112/jlms.70378
- [9]
-
[10]
SharpL 2 estimates of the Schr¨ odinger maximal func- tion in higher dimensions
Du, Xiumin and Zhang, Ruixiang. “SharpL 2 estimates of the Schr¨ odinger maximal func- tion in higher dimensions”. In:Ann. of Math. (2)189.3 (2019), pp. 837–861.issn: 0003- 486X,1939-8980.doi:10.4007/annals.2019.189.3.4.url:https://doi.org/10. 4007/annals.2019.189.3.4
work page doi:10.4007/annals.2019.189.3.4.url:https://doi.org/10 2019
-
[11]
Erdogan, Burak, Hart, Derrick, and Iosevich, Alex. “Multiparameter projection theorems with applications to sums-products and finite point configurations in the Euclidean set- ting”. In:Recent advances in harmonic analysis and applications. Vol. 25. Springer Proc. Math. Stat. Springer, New York, 2013, pp. 93–103.isbn: 978-1-4614-4565-4; 978-1-4614- 4564-7...
-
[12]
Fourier integral operators, fractal sets, and the regular value theorem
Eswarathasan, Suresh, Iosevich, Alex, and Taylor, Krystal. “Fourier integral operators, fractal sets, and the regular value theorem”. In:Adv. Math.228.4 (2011), pp. 2385– 2402.issn: 0001-8708,1090-2082.doi:10 . 1016 / j . aim . 2011 . 07 . 012.url:https : //doi.org/10.1016/j.aim.2011.07.012
-
[13]
On the Hausdorff dimensions of distance sets
Falconer, K. J. “On the Hausdorff dimensions of distance sets”. In:Mathematika32.2 (1985), pp. 206–212.issn: 0025-5793.doi:10.1112/S0025579300010998.url:https: //doi.org/10.1112/S0025579300010998
-
[14]
Gaitan Montejo, Jos´ e and Palsson, Eyvindur.On volumes of simplices in intermediate dimensions. 2026. arXiv:2605.22450 [math.CA].url:https://arxiv.org/abs/2605. 22450
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[15]
Volumes spanned byk-point configurations inR d
Galo, Belmiro and McDonald, Alex. “Volumes spanned byk-point configurations inR d”. In:J. Geom. Anal.32.1 (2022), Paper No. 23, 26.issn: 1050-6926,1559-002X.doi:10. 1007/s12220-021-00763-5.url:https://doi.org/10.1007/s12220-021-00763-5
-
[16]
Multilinear generalized Radon transforms and point configurations
Grafakos, Loukas, Greenleaf, Allan, Iosevich, Alex, and Palsson, Eyvindur. “Multilinear generalized Radon transforms and point configurations”. In:Forum Math.27.4 (2015), pp. 2323–2360.issn: 0933-7741,1435-5337.doi:10.1515/forum-2013-0128.url:https: //doi.org/10.1515/forum-2013-0128
-
[17]
Greenleaf, Allan and Iosevich, Alex. “On triangles determined by subsets of the Euclidean plane, the associated bilinear operators and applications to discrete geometry”. In:Anal. PDE5.2 (2012), pp. 397–409.issn: 2157-5045,1948-206X.doi:10.2140/apde.2012.5. 397.url:https://doi.org/10.2140/apde.2012.5.397
-
[18]
A group-theoretic viewpoint on Erd¨ os-Falconer problems and the Mattila integral
Greenleaf, Allan, Iosevich, Alex, Liu, Bochen, and Palsson, Eyvindur. “A group-theoretic viewpoint on Erd¨ os-Falconer problems and the Mattila integral”. In:Rev. Mat. Iberoam. 31.3 (2015), pp. 799–810.issn: 0213-2230,2235-0616.doi:10.4171/RMI/854.url:https: //doi.org/10.4171/RMI/854. REFERENCES 35
-
[19]
On necklaces inside thin subsets ofR d
Greenleaf, Allan, Iosevich, Alex, and Pramanik, Malabika. “On necklaces inside thin subsets ofR d”. In:Math. Res. Lett.24.2 (2017), pp. 347–362.issn: 1073-2780,1945-001X. doi:10.4310/MRL.2017.v24.n2.a4.url:https://doi.org/10.4310/MRL.2017.v24. n2.a4
work page doi:10.4310/mrl.2017.v24.n2.a4.url:https://doi.org/10.4310/mrl.2017.v24 2017
-
[20]
Configuration sets with nonempty interior
Greenleaf, Allan, Iosevich, Alex, and Taylor, Krystal. “Configuration sets with nonempty interior”. In:J. Geom. Anal.31.7 (2021), pp. 6662–6680.issn: 1050-6926,1559-002X.doi: 10.1007/s12220-019-00288-y.url:https://doi.org/10.1007/s12220-019-00288- y
work page doi:10.1007/s12220-019-00288-y.url:https://doi.org/10.1007/s12220-019-00288- 2021
-
[21]
Nonempty interior of configuration sets via microlocal partition optimization
Greenleaf, Allan, Iosevich, Alex, and Taylor, Krystal. “Nonempty interior of configuration sets via microlocal partition optimization”. In:Math. Z.306.4 (2024), Paper No. 66, 20. issn: 0025-5874,1432-1823.doi:10.1007/s00209- 024- 03466- z.url:https://doi. org/10.1007/s00209-024-03466-z
-
[22]
Onk-point configuration sets with nonempty interior
Greenleaf, Allan, Iosevich, Alex, and Taylor, Krystal. “Onk-point configuration sets with nonempty interior”. In:Mathematika68.1 (2022), pp. 163–190.issn: 0025-5793,2041-7942. doi:10.1112/mtk.12114.url:https://doi.org/10.1112/mtk.12114
work page doi:10.1112/mtk.12114.url:https://doi.org/10.1112/mtk.12114 2022
-
[23]
Realizing trees of configurations in thin sets
Greenleaf, Allan, Iosevich, Alex, and Taylor, Krystal. “Realizing trees of configurations in thin sets”. In:Pacific J. Math.335.2 (2025), pp. 355–372.issn: 0030-8730,1945-5844.doi: 10.2140/pjm.2025.335.355.url:https://doi.org/10.2140/pjm.2025.335.355
work page doi:10.2140/pjm.2025.335.355.url:https://doi.org/10.2140/pjm.2025.335.355 2025
-
[24]
On Falconer’s distance set problem in the plane
Guth, Larry, Iosevich, Alex, Ou, Yumeng, and Wang, Hong. “On Falconer’s distance set problem in the plane”. In:Invent. Math.219.3 (2020), pp. 779–830.issn: 0020-9910,1432- 1297.doi:10.1007/s00222-019-00917-x.url:https://doi.org/10.1007/s00222- 019-00917-x
work page doi:10.1007/s00222-019-00917-x.url:https://doi.org/10.1007/s00222- 2020
-
[25]
In: Eu- ropean Conference on Computer Vision (2020),https://doi.org/10.1007/978- 3-030-58452-8_241
Iosevich, A. and Taylor, K. “Finite trees inside thin subsets ofR d”. In:Modern methods in operator theory and harmonic analysis. Vol. 291. Springer Proc. Math. Stat. Springer, Cham, 2019, pp. 51–56.isbn: 978-3-030-26748-3; 978-3-030-26747-6.doi:10.1007/978- 3-030-26748-3\_3.url:https://doi.org/10.1007/978-3-030-26748-3_3
- [26]
-
[27]
On the Mattila-Sj¨ olin theorem for distance sets
Iosevich, Alex, Mourgoglou, Mihalis, and Taylor, Krystal. “On the Mattila-Sj¨ olin theorem for distance sets”. In:Ann. Acad. Sci. Fenn. Math.37.2 (2012), pp. 557–562.issn: 1239- 629X,1798-2383.doi:10.5186/aasfm.2012.3732.url:https://doi.org/10.5186/ aasfm.2012.3732
work page doi:10.5186/aasfm.2012.3732.url:https://doi.org/10.5186/ 2012
-
[28]
Pinned simplices and connections to product of sets on paraboloids
Iosevich, Alex, Pham, Minh-Quy, Pham, Thang, and Shen, Chun-Yen. “Pinned simplices and connections to product of sets on paraboloids”. In:Indiana Univ. Math. J.74.3 (2025), pp. 647–668.issn: 0022-2518,1943-5258
2025
-
[29]
New bounds on the dimensions of planar distance sets
Keleti, Tam´ as and Shmerkin, Pablo. “New bounds on the dimensions of planar distance sets”. In:Geom. Funct. Anal.29.6 (2019), pp. 1886–1948.issn: 1016-443X,1420-8970. doi:10.1007/s00039-019- 00500-9.url:https://doi.org/10.1007/s00039-019- 00500-9
-
[30]
On thek-volume rigidity of a simplicial complex inR d
Lew, Alan, Nevo, Eran, Peled, Yuval, and Raz, Orit E. “On thek-volume rigidity of a simplicial complex inR d”. In:Forum Math. Sigma13 (2025), Paper No. e195, 10.issn: 2050-5094.doi:10.1017/fms.2025.10140.url:https://doi.org/10.1017/fms. 2025.10140
work page doi:10.1017/fms.2025.10140.url:https://doi.org/10.1017/fms 2025
-
[31]
Euclidean dis- tance geometry and applications
Liberti, Leo, Lavor, Carlile, Maculan, Nelson, and Mucherino, Antonio. “Euclidean dis- tance geometry and applications”. In:SIAM Rev.56.1 (2014), pp. 3–69.issn: 1095- 7200,0036-1445.doi:10.1137/120875909.url:https://doi.org/10.1137/120875909. 36 REFERENCES
work page doi:10.1137/120875909.url:https://doi.org/10.1137/120875909 2014
-
[32]
AnL 2-identity and pinned distance problem
Liu, Bochen. “AnL 2-identity and pinned distance problem”. In:Geom. Funct. Anal.29.1 (2019), pp. 283–294.issn: 1016-443X,1420-8970.doi:10.1007/s00039- 019- 00482- 8. url:https://doi.org/10.1007/s00039-019-00482-8
-
[33]
Mattila, Pertti.Fourier analysis and Hausdorff dimension. Vol. 150. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2015, pp. xiv+440. isbn: 978-1-107-10735-9.doi:10.1017/CBO9781316227619.url:https://doi.org/10. 1017/CBO9781316227619
work page doi:10.1017/cbo9781316227619.url:https://doi.org/10 2015
-
[34]
McDonald, Alex. “Areas spanned by point configurations in the plane”. In:Proc. Amer. Math. Soc.149.5 (2021), pp. 2035–2049.issn: 0002-9939,1088-6826.doi:10.1090/proc/ 15348.url:https://doi.org/10.1090/proc/15348
-
[35]
On the dimension and smoothness of radial projections
Orponen, Tuomas. “On the dimension and smoothness of radial projections”. In:Anal. PDE12.5 (2019), pp. 1273–1294.issn: 2157-5045,1948-206X.doi:10.2140/apde.2019. 12.1273.url:https://doi.org/10.2140/apde.2019.12.1273
-
[36]
Finite point configurations and the regular value theorem in a fractal setting
Ou, Yumeng and Taylor, Krystal. “Finite point configurations and the regular value theorem in a fractal setting”. In:Indiana Univ. Math. J.71.4 (2022), pp. 1707–1761. issn: 0022-2518,1943-5258
2022
-
[37]
A Mattila-Sj¨ olin theorem for simplices in low dimensions
Palsson, Eyvindur Ari and Romero Acosta, Francisco. “A Mattila-Sj¨ olin theorem for simplices in low dimensions”. In:Math. Ann.391.1 (2025), pp. 1123–1146.issn: 0025- 5831,1432-1807.doi:10.1007/s00208-024-02948-z.url:https://doi.org/10.1007/ s00208-024-02948-z
work page doi:10.1007/s00208-024-02948-z.url:https://doi.org/10.1007/ 2025
-
[38]
A Mattila-Sj¨ olin theorem for triangles
Palsson, Eyvindur Ari and Romero Acosta, Francisco. “A Mattila-Sj¨ olin theorem for triangles”. In:J. Funct. Anal.284.6 (2023), Paper No. 109814, 20.issn: 0022-1236,1096- 0783.doi:10.1016/j.jfa.2022.109814.url:https://doi.org/10.1016/j.jfa. 2022.109814
work page doi:10.1016/j.jfa.2022.109814.url:https://doi.org/10.1016/j.jfa 2023
-
[39]
On the volumes of simplices determined by a subset ofR d
Shmerkin, Pablo and Yavicoli, Alexia. “On the volumes of simplices determined by a subset ofR d”. In:Ann. Fenn. Math.50.1 (2025), pp. 97–108.issn: 2737-0690,2737-114X. doi:10.54330/afm.159807.url:https://doi.org/10.54330/afm.159807. (T. Borges)Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104, USA Email address:tborges@sas.upen...
work page doi:10.54330/afm.159807.url:https://doi.org/10.54330/afm.159807 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.