Pith. sign in

REVIEW 5 minor 1 cited by

From weighted paraboloid restriction to $k$-stars and distance graphs

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Pinned k-star distances have positive measure once dim(E) exceeds (n^{2}+nk+k)/(2n+1).

desk verdict Clean new L^{2} identity that turns pinned k-stars into weighted paraboloid extension, delivering strictly better thresholds for an entire family of pinned graphs. read the letter →

arxiv 2607.10574 v1 pith:CDTTTJKI submitted 2026-07-12 math.CA math.CO

Tainara Borges , Yumeng Ou , Marcus Pasquariello This is my paper · ORCID
classification math.CAmath.CO MSC 42B1028A7528A78
keywords pinnedk-starsFalconerdistanceproblemweightedFourierextensionparaboloidgraphsk-simplicesnecklacesFrostmanmeasures
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

The paper improves the dimensional threshold that forces a compact set E in R^n to realize many pinned k-star distance vectors of positive k-dimensional measure. For pins x1,...,xk the k-star set records the tuple of distances from a free point x in E to those pins. The authors show that whenever dim(E) exceeds (n^{2}+nk+k)/(2n+1), an abundance of pins exists so that this set has positive Lebesgue measure in R^k. The same L^{2} estimates serve as building blocks for any k-admissible pinned graph, immediately improving known positive-measure thresholds for pinned k-simplices and for cycles (necklaces) in every dimension n≥3. A parallel argument yields nonempty-interior conclusions for k-stars, and a sharper special case recovers improved interior thresholds for ordinary pinned distances when n≥4.

What carries the argument

An L^{2} identity (Lemma 2.8) that equates the weighted L^{2} norm of the density of a pinned k-star distance measure to a weighted Fourier extension of the same density along the linear span of the corresponding points on the paraboloid in R^{n+1}. The weight is an explicit k-fold convolution of Frostman measures pushed forward by the map Φ(x,t)=t·π^{-1}(x).

What would settle it

Exhibit a compact set E⊂R^n of dimension strictly larger than α+(n,k) whose every k-tuple of pins produces a k-star distance set of k-dimensional measure zero, or prove that the Du–Zhang exponent γ=(α+1)/(n+1)+ε is sharp for the weights that arise from Frostman measures on E.

Watch

Extended reading notes

Core claim

If dim(E)>α+(n,k)=(n^{2}+nk+k)/(2n+1) and μ is an α-Frostman measure on E with α>α+, then E has an abundance of L^{2} pinned k-stars relative to μ. Consequently there is an abundance of pins (x1,...,xk) such that the k-dimensional Lebesgue measure of Δ^{k-star}_{x1,...,xk}(E) is positive.

Load-bearing premise

The argument plugs the Du–Zhang local weighted restriction bound for the paraboloid into an abstract reduction; if that bound is false or can be improved, the numerical threshold α+ moves by exactly the same amount.

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

0 major / 5 minor

Summary. The paper studies pinned k-star distance sets for compact E in R^n (n≥2, 1≤k<n). Its main result (Theorem A) states that if dim(E)>α_{+}(n,k)=(n^{2}+nk+k)/(2n+1) and μ is an α-Frostman measure with α>α_{+}, then E has an abundance of L^{2} pinned k-stars relative to μ, so there is an abundance of pins for which the k-star distance set has positive k-dimensional Lebesgue measure. The argument reduces L^{2} densities of pinned k-star measures to a weighted Fourier extension estimate for the paraboloid via a new L^{2} identity (Lemma 2.8) and a weight constructed by pushing Frostman measures forward under Φ (Theorem 2.10); the weight is decomposed into (α+1)-Frostman pieces (Theorem 3.1), and the Du–Zhang local bound is applied inside an abstract criterion (Theorem 4.4). The same framework yields nonempty-interior thresholds for k-stars (Theorem B) and an improved pinned-distance interior threshold for k=1 when n≥4 (Theorem C), plus dimension estimates below the positive-measure threshold and applications to k-admissible graphs (simplices, cycles) via the graph-building machinery of a concurrent work.

Significance. If correct, the paper supplies a new analytic route from pinned k-stars to weighted paraboloid restriction that is distinct from the classical sphere/Mattila/Liu framework, and it improves the best previously available positive-measure thresholds for pinned k-stars, pinned k-simplices (n≥3), and necklace graphs (n≥3). The L^{2} identity of Lemma 2.8 and the explicit weight construction are self-contained and of independent interest; they also feed into nonempty-interior and dimension estimates, including a sharper k=1 interior result for n≥4. The applications rest on a black-box graph-building theorem from concurrent work, so the incremental geometric impact is real but depends on that input. The reduction is transparent: the threshold α_{+} is obtained by a direct algebraic substitution of the Du–Zhang exponent, so future improvements of the weighted extension bound would immediately improve all stated thresholds.

minor comments (5)
  1. The abstract and introduction cite the graph-building paper as BFOPR2026 / BFO+26a and the interior paper as BFOP26; the bibliography entries should be made consistent with the arXiv identifiers once available, and the dependence on those concurrent results should be flagged more explicitly in the introduction for readers who have not seen them.
  2. In Definition 2.4 and Remark 2.6 the surface measure σ_{x,t} is unnormalized; a short sentence comparing to the usual normalized spherical average would help readers coming from the classical Falconer literature.
  3. Lemma 4.2 (transversality) is used repeatedly; a brief pointer in the introduction that the abundance statements are only claimed for transverse pin collections (and that this is enough for the graph-building applications) would clarify the scope.
  4. Appendix B (discrete k-stars) is interesting but lightly motivated; a sentence on why the discrete statement is new for k≥2 would strengthen the appendix.
  5. Minor typographical issues: “F acts About the Weights” (Section 3 heading), occasional missing spaces around citations, and inconsistent use of “k-star” vs “k–star”.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the L2 identity, weight construction, and threshold substitution are self-contained; external and concurrent citations are used as independent black-box inputs.

full rationale

The derivation of Theorem A proceeds by an explicit L2 identity (Lemma 2.8) equating the weighted L2 norm of the spherical averaging operator Atf to the L2 norm of the paraboloid extension Ef along the span of the lifted pins, followed by averaging to a convolution weight w (Theorem 2.10), a Frostman decomposition of w into (α+1)-pieces (Theorem 3.1), and an abstract criterion (Theorem 4.4) that converts a local weighted extension bound with exponent γ into the dimensional threshold α>(n+k−1+γ)/2. The only analytic input that supplies a concrete γ is the published Du–Zhang estimate (Theorem 4.5), which is external and parameter-free. The algebraic substitution of γ=(α+1)/(n+1)+ε then yields α₊ by direct computation; nothing is fitted or redefined. Concurrent works by overlapping authors (BFO+26a for the graph-building transfer, BFOP26 for earlier interior thresholds) appear only as black-box applications after the new k-star abundance is established; their statements do not encode the new threshold. No equation reduces the claimed positive-measure conclusion to a definitional identity or a self-justifying fit. The same holds for the nonempty-interior and dimension-estimate variants, which reuse the same identity with Sobolev or energy modifications. The paper is therefore free of the circular patterns listed in the instructions.

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

The paper is pure harmonic analysis. It imports standard tools (Frostman measures, Fourier extension operators, co-area formula, Du–Zhang weighted restriction) and constructs an explicit weight from them. No free parameters are fitted; the only numerical thresholds are derived from the Du–Zhang exponent. The constructions (map Φ, weight w, spherical averages A_t) are definitional rather than ontological inventions.

assumptions (4)
  • standard math Du–Zhang local weighted Fourier-extension estimate: for an η-Frostman measure ν on B^{n+1}(0,R), ∫|Ef|^{2} dν ≲_ε R^{η/(n+1)+ε} ∥f∥_{L^{2}}^{2}.
    Invoked as Theorem 4.5; supplies the only non-trivial exponent that enters α_{+}.
  • standard math Frostman’s lemma: every compact set of Hausdorff dimension >α supports a non-zero α-Frostman measure.
    Used throughout to convert dimension hypotheses into measure-theoretic statements.
  • domain assumption k-admissible pinned graphs admit positive-measure distance sets once the corresponding k-star abundance holds (graph-building machine of BFO+26a).
    Cited as Theorem 1.4; converts the k-star result into corollaries for simplices and cycles.
  • domain assumption The condition k<n is necessary for a non-trivial pinned k-star threshold (observed in BFO+26a).
    Explains why the range of Theorem A is restricted to k<n.
invented entities (1)
  • Weight measure w = w_{1} * au··· * w_k obtained by pushing Frostman measures forward under the map Φ(x,t)=t·π^{-1}(x)
    purpose: Converts the averaged L^{2} k-star density into a weighted paraboloid extension integral that can be estimated by Du–Zhang.
    Explicitly constructed in Theorem 2.10 and analysed in Section 3; not an ontological postulate but a derived object.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From weighted paraboloid restriction to $k$-stars and distance graphs." pith.science (2026). https://pith.science/paper/CDTTTJKI

@misc{pith2026260710574,
  author       = {Pith},
  title        = {Pith review of: From weighted paraboloid restriction to $k$-stars and distance graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CDTTTJKI}},
  note         = {Machine review of arXiv:2607.10574}
}
abstract

In this paper, we study pinned $k$-star distance sets associated to compact subsets of $\mathbb{R}^n$, $n\geq 2$. For pins $x_1,\dots,x_k\in E$, the pinned $k$-star distance set is \[ \Delta_{x_1,\dots,x_k}^{k\text{-star}}(E) = \{(|x_1-x|,\dots,|x_k-x|):x\in E\}\subset\mathbb{R}^k. \] We obtain improved Hausdorff-dimension thresholds on $E$ guaranteeing that pinned $k$-star distance sets have positive $k$-dimensional Lebesgue measure. The main analytic input is a reformulation of the connection, first observed in \cite{IPPS22}, between $k$-stars in $\mathbb{R}^n$ and pinned dot products on the paraboloid in $\mathbb{R}^{n+1}$. In our framework, $L^2(\mathbb{R}^k)$ estimates for the densities of pinned $k$-star distance measures are reduced to a weighted Fourier extension estimate for the paraboloid whose weight is defined explicitly in terms of Frostman measures on $E$. For $1\leq k<n$, this yields the threshold \[\dim(E)>\alpha_{+}(n,k):=\frac{n^2+nk+k}{2n+1}=\frac{n+k-1}{2}+\frac14 +\frac{2k+1}{4(2n+1)}.\] Using the graph-building machinery of \cite{BFOPR2026}, our positive-measure results for $k$-stars can be used as building blocks for finite distance graph configurations with prescribed pins. As a consequence, we improve the best-known positive-measure thresholds for pinned $k$-simplices in every dimension $n\geq 3$ and for necklace graphs (cycles) in every dimension $n\geq 3$. We further prove nonempty interior results for $k$-stars. In the special case $k=1$, corresponding to the pinned nonempty interior of the distance set $\Delta_{x}(E)=\{|x-y|\colon y\in E\}$, we use a sharper argument to improve the pinned nonempty-interior thresholds of \cite{BFOP2026} in all dimensions $n\geq 4$.

Figures

Figures reproduced from arXiv: 2607.10574 by the authors.

Figure 1
Figure 1. S7, the 7-star graph, with pins at each leaf. A simplified version of the main theorem of the paper is the following. Theorem 1.1. Assume n ≥ 2 and 1 ≤ k < n. Let E ⊂ R n be a compact set with Hausdorff dimension dim(E) > α+(n, k) = n 2 + nk + k 2n + 1 = n + k − 1 2 + 1 4 + 2k + 1 4(2n + 1). Then there exist pins x1, . . . , xk ∈ E such that L k [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Representation of Ly(s) for y = (0, −1, 1) and s = 0 and s = 2, and the corresponding projected circles in the (x1, x2) plane centered at (0, 1/2). For s = −1/4, Ly(−1/4) would be the single point (0, 1/2, 1/4). Next, we will introduce some notation that will be useful for the next lemma. Define Jx(s) := Γ′ x (s) = 2|x| √ 1 + 4s = 2|x| 2 Γx(s) . We also define for x ∈ R kn, Γx : (−1/4,∞) k → (0,∞) k and Jx : (−1/4,∞… view at source ↗
Figure 3
Figure 3. A two-dimensional schematic of the map Φ. Vertical lines are mapped to lines through the origin, while horizontal lines are mapped to parabolas. Remark 2.12. The measure wj appearing in Theorem 2.10 can be viewed as an extension of µj to R n+1. For y ∈ R n+1 \ {0}, let Ly := {ry : r ∈ R} be the line through the origin in the direction of y. If Ej = supp µj , then supp wj = Φ(Ej × R) = [ x∈Ej L(−2x,1). Thus wj is sup… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Pinned nonempty interior and volumes of simplices

    math.CA 2026-07 conditional novelty 7.0 of 10

    Doubly pinned nonempty interior for k-volume sets holds when dim_H(E)>(d+k-1)/2, via a cylinder-averaging triangle-area estimate and projection reduction.

Reference graph

Works this paper leans on

31 extracted references · 7 canonical work pages · cited by 1 Pith paper

  1. [1]

    Borges, Tainara and Foster, Benjamin and Ou, Yumeng and Palsson, Eyvindur , TITLE =. Adv. Math. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.aim.2026.110917 , URL =

    doi:10.1016/j.aim.2026.110917 2026

  2. [2]

    2603.01954 , archivePrefix=

    Tainara Borges and Ben Foster and Yumeng Ou and Eyvindur Palsson and Francisco Romero Acosta , year=. 2603.01954 , archivePrefix=

    arXiv

  3. [3]

    Carbery, Anthony and Iliopoulou, Marina and Wang, Hong , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/rmi/1463 , URL =

    doi:10.4171/rmi/1463 2024

  4. [4]

    New improvement to

    Xiumin Du and Yumeng Ou and Kevin Ren and Ruixiang Zhang , year=. New improvement to. 2309.04103 , archivePrefix=

    arXiv

  5. [5]

    Weighted refined decoupling estimates and application to

    Xiumin Du and Yumeng Ou and Kevin Ren and Ruixiang Zhang , year=. Weighted refined decoupling estimates and application to. 2309.04501 , archivePrefix=

    arXiv

  6. [6]

    Du, Xiumin and Zhang, Ruixiang , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.189.3.4 , URL =

    doi:10.4007/annals.2019.189.3.4 2019

  7. [7]

    Recent advances in harmonic analysis and applications , SERIES =

    Erdo gan, Burk and Hart, Derrick and Iosevich, Alex , TITLE =. Recent advances in harmonic analysis and applications , SERIES =. 2013 , ISBN =. doi:10.1007/978-1-4614-4565-4\_11 , URL =

    doi:10.1007/978-1-4614-4565-4 2013

  8. [8]

    Greenleaf, Allan and Iosevich, Alex , TITLE =. Anal. PDE , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/apde.2012.5.397 , URL =

    work page doi:10.2140/apde.2012.5.397 2012

Show all 31 references
  1. [9]

    Greenleaf, Allan and Iosevich, Alex and Liu, Bochen and Palsson, Eyvindur , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2015 , NUMBER =. doi:10.4171/RMI/854 , URL =

    2015 doi

  2. [10]

    Indiana Univ

    Iosevich, Alex and Pham, Minh-Quy and Pham, Thang and Shen, Chun-Yen , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2025 , NUMBER =

    2025

  3. [11]

    Liu, Bochen , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00039-019-00482-8 , URL =

    2019 doi

  4. [12]

    Mattila, Pertti and Sj\"olin, Per , TITLE =. Math. Nachr. , FJOURNAL =. 1999 , PAGES =. doi:10.1002/mana.3212040110 , URL =

    1999 doi

  5. [13]

    2015 , PAGES =

    Mattila, Pertti , TITLE =. 2015 , PAGES =. doi:10.1017/CBO9781316227619 , URL =

    2015 doi

  6. [14]

    Duke Math

    Peres, Yuval and Schlag, Wilhelm , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10222-0 , URL =

    2000 doi

  7. [15]

    Maioli, D. S. and Lavor, C. and Gon. A note on computing the intersection of spheres in \(. The ANZIAM Journal , volume =. 2017 , doi =

    2017

  8. [16]

    Guth, Larry and Iosevich, Alex and Ou, Yumeng and Wang, Hong , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-019-00917-x , URL =

    2020 doi

  9. [17]

    A singular variant of the

    Tainara Borges and Alex Iosevich and Yumeng Ou , year=. A singular variant of the. 2306.05247 , archivePrefix=

    arXiv

  10. [18]

    2020 , eprint=

    Finite Point Configurations and the Regular Value Theorem in a Fractal setting , author=. 2020 , eprint=

    2020

  11. [19]

    Palsson, Eyvindur Ari and Romero Acosta, Francisco , TITLE =. J. Funct. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1016/j.jfa.2022.109814 , URL =

    2023 doi

  12. [20]

    Falconer, K. J. , TITLE =. Mathematika , FJOURNAL =. 1985 , NUMBER =. doi:10.1112/S0025579300010998 , URL =

    1985 doi

  13. [21]

    2026 , eprint=

    Lebesgue measure of distance sets with regular pins and multi-scale Mizohata-Takeuchi-type estimates , author=. 2026 , eprint=

    2026

  14. [22]

    Burak , TITLE =

    Erdo\ gan, M. Burak , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2005 , NUMBER =. doi:10.1155/IMRN.2005.1411 , URL =

    2005 doi

  15. [23]

    Internat

    Wolff, Thomas , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1999 , NUMBER =. doi:10.1155/S1073792899000288 , URL =

    1999 doi

  16. [24]

    Iosevich, Alex and Liu, Bochen , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7693 , URL =

    2019 doi

  17. [25]

    Liu, Bochen , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/proc/14740 , URL =

    2020 doi

  18. [26]

    2023 , eprint=

    Dimension of Pinned Distance Sets for Semi-Regular Sets , author=. 2023 , eprint=

    2023

  19. [27]

    Israel J

    Shmerkin, Pablo , TITLE =. Israel J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s11856-019-1847-9 , URL =

    2019 doi

  20. [28]

    Du, Xiumin , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/jlms.12364 , URL =

    2020 doi

  21. [29]

    Greenleaf, Allan and Iosevich, Alex and Pramanik, Malabika , TITLE =. Math. Res. Lett. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/MRL.2017.v24.n2.a4 , URL =

    2017 doi

  22. [30]

    Alex Iosevich and Akos Magyar and Alex McDonald and Brian McDonald , year=. The. 2510.13984 , archivePrefix=

  23. [31]

    2026 , eprint=

    On volume vectors determined by hypergraphs in thin subsets of Euclidean space , author=. 2026 , eprint=

    2026

Pith tools

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