REVIEW 2 major objections 6 minor 1 cited by
Pinned Dot Product Set Estimates
T0 review · 2 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For fractals in R^n, pinned dot product sets become large once the dimension exceeds n/2, the same threshold conjectured for Falconer distances.
desk verdict Nice projection framework, but the advertised n/2 threshold for pinned dot products is not proved: Theorem 1.6 lacks the key full-dimensionality step for the pin set. 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 load-bearing identity is Lemma 2.9: for a ≠ x, H^s(Π^a_x(A)) = c_{a,x,s} H^s(P_{π_x(a)}(A)), where P_θ is orthogonal projection onto the line spanned by θ and π_x(a) = (a-x)/|a-x| is the radial projection of the pin onto the unit sphere. This converts dot product sets into projection theory: one needs directions π_x(a) that avoid the exceptional sets E^+(A), E^u(A), E^◦(A). The argument combines classical exceptional set estimates (Prop 2.3), the elementary radial projection bound dim π_x(A) ≥ dim A - 1, and, for the strengthened theorem, Ren's discretized radial projection theorem (Theorem 2.7) in the form of Corollary 2.8, which guarantees many translations x in X with large radial projection dimension when X has k-planar dispersion.
What would settle it
A concrete refutation would be a Borel set A ⊂ R^n with dim A > n/2 and a k-planar dispersed set X with dim X ≥ dim A such that, for every full-dimensional subset of X, the set {x ∈ X : dim π_x(A) ≤ n - dim A} already has full dimension in X; that would contradict Corollary 2.8 and collapse Theorem 1.6.(2).
Extended reading notes
Core claim
The paper's central discovery is that the pinned dot product problem reduces, through the identity $H^{1}$(Π^a_x(A)) = c $H^{1}$(P_{π_x(a)}(A)), to comparing the radial projection set π_x(A) with the exceptional set of orthogonal projections that shrink A. Classical exceptional set bounds give the translation-invariant threshold (n+1)/2. The new input is Corollary 2.8: for k-planar dispersed X, except for a dimension-negligible subset of x in X, dim π_x(A) ≥ min{dim X, dim A, k}; taking k = ceil(n/2), this beats the exceptional set dimension whenever dim A > n/2, yielding Theorem 1.6.(2). The proof then produces full-dimensional sets X_A ⊂ X and A_x ⊂ A for which every pinned dot product set has positive measure. A corollary gives a full-dimensional set of difference vectors a0 in A - A with $H^{1}$(a0 · A) > 0.
Load-bearing premise
The whole translation-dependent improvement rests on Ren's discretized radial projection theorem, taken as a black box: if its stated conclusion does not hold for general Borel A and X, or if the epsilon loss in the derived Corollary 2.8 cannot be absorbed into the strict dimension gap, the n/2 threshold falls. The classical bound dim E^+(A) ≤ n - dim A is also assumed without proof.
Editorial extensions
If this is right
- If Theorem 1.6.(2) is correct, the pins/translations version of the dot product Falconer problem is solved at the conjectured threshold n/2, the same as the distance problem.
- Corollary 1.9 gives a full-dimensional set of difference vectors a0 in A - A with H^1(a0 · A) > 0, extending the dot product result to differences.
- For even n, any set with dim A > n/2 is automatically k-planar dispersed, so the main theorem covers all even-dimensional sets at the threshold.
- The sharper planar bound of Ren and Wang on exceptional sets would further lower the dimensional thresholds in Theorem 1.2.(1) and Theorem 1.6.(1) for n = 2, as noted in Remark 2.4.
- The tree application (Theorem 4.1) extends the pinned dot product result to k-trees of dot products: for dim A > (n+1)/2, there is a full-dimensional set of roots with positive k-dimensional measure of edge-weight tuples.
Reading between the lines
- The same projection framework likely applies to other pinned configurations (e.g., pinned volumes or angles) where the configuration map is a submersion onto hyperplanes, so improvements in radial projection theorems should transfer directly.
- A natural test of the k-planar dispersion hypothesis: construct a Borel set X with dim X ≥ s but without k-planar dispersion for which the conclusion of Theorem 1.6 fails; if such a set exists, the dispersion assumption would be shown necessary.
- Because the epsilon loss in Corollary 2.8 is absorbed only by strict inequality s > n/2, the theorem does not address the critical case s = n/2; one might expect the conclusion to fail there, analogously to the distance problem.
- The sharpness example A = C × {0} in the plane shows the n/2 threshold cannot be lowered in general, so the theorem is optimal in dimension without additional Fourier or structural hypotheses.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies pinned dot product sets \Pi^a_x(A):=\{(a-x)\cdot y:y\in A\} for Borel sets A\subset\mathbb{R}^n and parameters a,x\in\mathbb{R}^n. It proves translation-invariant results (Theorem 1.2) that give dimensional thresholds for \Pi^a_x(A) to have Hausdorff dimension at least u, positive H^1 measure, or nonempty interior, using classical exceptional-set estimates for orthogonal projections. It then states translation-dependent results (Theorem 1.6) that lower these thresholds to the Falconer-type exponent n/2 under a k-planar dispersion assumption on a set X of translations, via recent radial projection theorems of Orponen\textendash Shmerkin\textendash Wang and Ren. The paper also contains a Fourier-dimension result, a restricted-projection result using Zahl's theorem, and applications to dot-product trees and sharpness constructions. The Key Lemma 2.9, which identifies the size of \Pi^a_x(A) with the size of the orthogonal projection P_{\pi_x(a)}(A), is a direct and elegant reduction.
Significance. If the full statement of Theorem 1.6 were established, it would give a pinned dot product result at the same dimensional threshold as the Falconer distance conjecture, which is an attractive and significant outcome. The paper's projection-theoretic framework is clean, and the translation-invariant Theorem 1.2 appears to be correctly proved and provides a useful unified treatment. Proposition 1.4 and Proposition 1.10 are also nice consequences of known projection results. However, the proof of Theorem 1.6 contains a substantial gap: it never proves that the pin set A_x is full-dimensional in the advertised range n/2<s\le (n+1)/2, and the proof of Corollary 1.9 additionally fails to justify the existence of a single full-dimensional pin set common to all translates. These gaps directly affect the paper's main new claims.
major comments (2)
- [Section 3.2, proof of Theorem 1.6(2)] The proof defines A_x=\pi_x(A)\setminus E_+(A) and then A_x=\pi_x^{-1}(A_x)\cap(A\setminus\{x\}), and verifies that H^1(\Pi^a_x(A))>0 for every a in the second set. It never proves that this A_x has dim A_x=\dim A, which is part of the theorem's conclusion. For A^*=A\setminus A_x=\{a\in A:\pi_x(a)\in E_+(A)\}, the only bound available is \dim A^*\le \dim E_+(A)+1\le n-s+1. This gives \dim A^*<s only when s>(n+1)/2, which is exactly the range already covered by Theorem 1.2(2). In the advertised improvement range n/2<s\le(n+1)/2 the argument does not exclude the possibility that the bad complement has full dimension. The analogous gap affects Theorem 1.6(1), where the corresponding bound would require s>(n+u)/2, and Theorem 1.6(3), where it would require s>(n+2)/2. Thus the central claim that Theorem 1.6 improves the threshold to n/2 is not established by the given proof.
- [Corollary 1.9, proof] The proof takes X=A in Theorem 1.6 and obtains a full-dimensional set A_1\subset A and, for each x\in A_1, a full-dimensional set A_x\subset A with H^1(\Pi^a_x(A))>0 for all a\in A_x. The conclusion (1.3), however, requires a single full-dimensional set A_2 such that positivity holds for every (a_1,a_2)\in A_1\times A_2; this would require A_2\subset\bigcap_{a_1\in A_1}A_{a_1}. The proof simply renames the pointwise sets A_x as A_2, without any argument that a common full-dimensional intersection exists. This does not follow from Theorem 1.6 as stated, so the advertised consequence that there is a full-dimensional set A_0\subset A-A with H^1(\Pi^{a_0}_0(A))>0 is unsupported.
minor comments (6)
- [Sections 3.1 and 3.2] The symbol A_x is used both for the set of directions \pi_x(A)\setminus E(A) and for the pin set \pi_x^{-1}(A_x)\cap A. This overloading makes the proofs difficult to follow; using distinct notation such as D_x and A_x would improve clarity.
- [Proof of Theorem 1.6] The proof sets k=\lfloor(n+1)/2\rfloor while the statement uses k=\lceil n/2\rceil. The two expressions are equal for integer n, but the inconsistency should be resolved in a revision.
- [Proof of Theorem 1.2(2), Section 3.1] The line 'A^*\subset E_+(A)' is a type error: A^* is a subset of \mathbb{R}^n while E_+(A) is a subset of S^{n-1}. The intended statement is \pi_x(A^*)\subset E_+(A).
- [Proof of Proposition 2.6] The inclusion A\subset\pi_x(A\setminus\{x\})\times\hat{A}_x is informal; the polar-coordinate map (\theta,r)\mapsto x+r\theta should be stated explicitly so that the dimension bound is rigorously justified.
- [Theorem 4.1 statement] The statement repeats 'for all x\in A_v' and does not assert any lower bound on \dim A_v; as written, the result is close to vacuous. The intended quantitative assertion should be stated.
- [Application of Corollary 2.8 in Theorem 1.6] The proof does not explicitly specify the choice of \epsilon in Corollary 2.8. Because s>n/2 gives \min\{\dim X,\dim A,k\}-(n-s)\ge s-n/2>0, a sufficiently small \epsilon exists, but this should be spelled out.
Circularity Check
No circularity: the main theorems are deduced from imported projection theorems and an explicit scaling identity; author self-citations are not load-bearing.
full rationale
No circular step is present. The central reduction (Key Lemma 2.9) is a literal scaling identity: H^s(Π^a_x(A)) = |a-x|^s H^s(P_{π_x(a)}(A)), so it equates the dot-product set to an orthogonal projection without importing the conclusion. Theorem 1.2 is proved from classical exceptional-set estimates (Kaufman, Mattila, Falconer, Peres-Schlag) and the elementary bound dim π_x(A) ≥ dim A - 1, for which a self-contained covering proof is given. Theorem 1.6 is derived from Ren's external discretized radial projection theorem via Corollary 2.8; k is chosen from the dimension threshold and X_A is defined by exactly the inequality that Corollary 2.8 supplies, so no parameter is fitted to the desired conclusion. The few author self-citations (BFR24, KMS23, IS20, IS16, Aut+24) occur in peripheral roles: an alternative proof of Proposition 2.6 and sharpness/tree constructions in Section 4; they are not the premise for the main new theorem. One non-circular gap should be flagged: the proof of Theorem 1.6 never establishes that the pin set A_x is full-dimensional in A; it only shows the radial direction set π_x(A)\E_+(A) has dimension ≥ ψ_n(A,X) and then defines A_x as its preimage. This is a missing argument about dim(π_x^{-1}(A_x)∩A), not a circularity; it is a correctness concern for the advertised range s>n/2 and does not affect the circularity score.
Assumptions & free parameters
assumptions (6)
- standard math Exceptional set estimates for orthogonal projections (Prop 2.3): dim E_u(A) <= max(n-1+u-dim A, 0); dim E_+(A) <= n-dim A if dim A>1; dim E_o(A) <= n+1-dim A if n>=3 and dim A>2.
- standard math Radial projection dimension bound dim π_x(A) >= dim A - 1 for Borel A with dim A > 1 (Prop 2.6).
- standard math Ren's discretized radial projection theorem (Thm 2.7): sup_{x in X} dim π_x(A) >= min(dim X, dim A, k) when X is not contained in a k-plane.
- standard math Zahl's restricted projection theorem (Thm 3.1): for any non-degenerate curve γ, dim{t in [0,1] : dim P_{γ(t)}(A) < u} <= u.
- standard math Fourier dimension is at most Hausdorff dimension (Prop 1.3).
- domain assumption The k-planar dispersion condition (Definition 1.5) is well-defined and the derivation of Corollary 2.8 from Theorem 2.7 is correct for sets satisfying it.
Cite this review
Pith. "Pith review of Pinned Dot Product Set Estimates." pith.science (2026). https://pith.science/paper/I2JEY4SS
@misc{pith2026241217985,
author = {Pith},
title = {Pith review of: Pinned Dot Product Set Estimates},
year = {2026},
howpublished = {\url{https://pith.science/paper/I2JEY4SS}},
note = {Machine review of arXiv:2412.17985}
}
abstract
We study a variant of the Falconer distance problem for dot products. In particular, for fractal subsets $A\subset \mathbb{R}^n$ and $a,x\in \mathbb{R}^n$, we study sets of the form \[ \Pi_x^a(A) := \{\alpha \in \mathbb{R} : (a-x)\cdot y= \alpha, \text{ for some $y\in A$}\}. \] We discuss some of what is already known to give a picture of the current state of the art, as well as prove some new results and special cases. We obtain lower bounds on the Hausdorff dimension of $A$ to guarantee that $\Pi^a_x(A)$ is large in some quantitative sense for some $a\in A$ (i.e. $\Pi_x^a(A)$ has large Hausdorff dimension, positive measure, or nonempty interior). Our approach to all three senses of "size" is the same, and we make use of both classical and recent results on projection theory.
Figures
Forward citations
Cited by 1 Pith paper
-
A Structural Condition on Point Sets with Few Distinct Dot Products
Any point set in the plane with o(n^{3/4}) distinct dot products must contain a line through the origin holding n^{1/2} points whose consecutive distance ratios cluster near 1.
Reference graph
Works this paper leans on
-
[3]
[Du+23b] Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang
arXiv: 2309.04103 [math.CA]. [Du+23b] Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. Weighted refined de- coupling estimates and application to Falconer distance set problem
-
[4]
On Falconer’s distance set conjecture
arXiv: 2309.04501 [math.CA]. [Erd06] M. Burak Erdo˘ gan. “On Falconer’s distance set conjecture”. In: Revista Matem´ atica Iberoamericana 22.2 (2006), pp. 649–662. [Fal03] Kenneth Falconer. Fractal Geometry. John Wiley & Sons, Ltd,
arXiv 2006
-
[9]
Discretized Radial Projections in $\mathbb{R}^d$
arXiv: 2309.04097 [math.CA]. REFERENCES 17 [R W23] Kevin Ren and Hong Wang. Furstenberg sets estimate in the plane
-
[10]
Fourier integral operators, fractal sets, and the regular value theorem
arXiv: 2308.08819 [math.CA]. [ST11] A. Iosevich S. Eswarathasan and K. Taylor. “Fourier integral operators, fractal sets, and the regular value theorem”. In: Adv. in Math. 22 (2011), pp. 2385–2402. [Wol99] Tom Wolff. “Decay of circular means of Fourier transforms of measures”. In: Int. Math. Res. Not. (1999), pp. 547–567. [Zah23] Joshua Zahl. On Maximal F...
arXiv 2011
-
[11]
arXiv: 2307.05894 [math.CA]. Department of Mathematics, University of British Columbia, 1984 Mathematics Road, V ancouver, BC, Canada V6T 1Z2 Email address: paigeb@math.ubc.edu Department of Mathematics, University of British Columbia, 1984 Mathematics Road, V ancouver, BC, Canada V6T 1Z2 Email address: cmarshall@math.ubc.ca Department of Mathematics, Mis...
arXiv 1984
-
[1999]
Regularity of distance measures and sets
[MS99] Pertti Mattila and Per Sj¨ olin”. “Regularity of distance measures and sets”. In: Math. Nachr. 204 (1999), pp. 157–162. [OO15] Daniel Oberlin and Richard Oberlin. “Unit distance problems”. In: Amer. J. Math. 137.1 (2015), pp. 251–270. [Orp19] Tuomas Orponen. “On the dimension and smoothness of radial projections”. In: Analysis & PDE 12.5 (Jan. 2019...
work page 1999
-
[2003]
Hausdorff dimension and the exceptional set of projec- tions
[Fal82] Kenneth J. Falconer. “Hausdorff dimension and the exceptional set of projec- tions”. In: Mathematika 29.1 (1982), pp. 109–115. [Fal85] K. J. Falconer. “On the Hausdorff dimensions of distance sets”. In: Mathematika 32.2 (1985), pp. 206–212. doi: 10.1112/S0025579300010998. [GIT19] Allan Greenleaf, Alex Iosevich, and Krystal Taylor. “Configuration S...
-
[2015]
Hausdorff dimension, orthogonal projections and intersections with planes
[Mat75] Pertti Mattila. “Hausdorff dimension, orthogonal projections and intersections with planes”. In: Ann. Acad. Sci. Fenn. Ser. A I Math. 1 (1975), pp. 227–244. [Mat85] Pertti Mattila. “On the Hausdorff dimension and capacities of intersections”. In: Mathematika 32 (1985), pp. 213–217. [Mat87] Pertti Mattila. “Spherical averages of Fourier transforms ...
work page 1975
Show all 11 references
-
[2022]
[Ren23] Kevin Ren
arXiv: 2207.02259 [math.CA]. [Ren23] Kevin Ren. Discretized Radial Projections inRd
-
[2023]
[Aut+24] Aaron Autry, Slade Gunter, Christopher Housworth, and Steven Senger
arXiv: 2305.06937 [math.CA]. [Aut+24] Aaron Autry, Slade Gunter, Christopher Housworth, and Steven Senger. Bounds on distinct and repeated dot product trees
-
[2024]
On the Erd˝ os-Volkmann and Katz-Tao ring conjectures
arXiv: 2406.09707 [math.CA]. [Bou03] Jean Bourgain. “On the Erd˝ os-Volkmann and Katz-Tao ring conjectures”. In: Geom. Funct. Anal 13 (Apr. 2003), pp. 334–365. [Du+23a] Xiumin Du, Yumeng Ou, Kevin Ren, and Ruixiang Zhang. New improvement to Falconer distance set problem in hig...
2003 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.