{"id":"6f863b9f-6447-4b06-84d7-a2983696f9ed","arxiv_id":"2606.10496","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves Hausdorff dimension lower bounds (e.g., 2 for 3-star points w.r.t. LQG metric) for star points and metric nets in LQG and Kendall's Poisson roads via non-constancy sets of Lipschitz functions.","lead":"The paper proves lower bounds on Hausdorff dimensions of sets like 3-star points (at least 2) in the Liouville quantum gravity metric and similar planar length metrics, using topological arguments based on Lipschitz functions. A smart generalist might read it to understand how dimension bounds in random geometry connect to quantum gravity models and metric properties.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Non-constancy sets of Lipschitz functions need not have Hausdorff dimension ≥2; additional metric control is required to transfer the bound to 3-star points.","rationale":"The reader correctly isolated the dimension-preservation step as the weakest link; the topological character of the argument makes this step load-bearing for a metric conclusion. Full text would be needed to see whether extra analytic estimates close the gap, hence CONDITIONAL rather than outright rejection or acceptance.","tokens_in":1713,"tokens_out":348,"duration_ms":21468,"concrete_test":"Take the Euclidean plane (a deterministic planar length metric covered by the theorem). Construct the explicit Lipschitz functions whose non-constancy sets are claimed to be the 3-star points; compute the 2-Hausdorff measure of that set directly via box-counting or Frostman lemma. If the measure is zero while the construction is valid, the dimension transfer fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof strategy reduces the 3-star set (and analogs) to non-constancy sets of Lipschitz functions on the planar length space. For a Lipschitz f, the set {x : f is non-constant in every neighborhood of x} can still have Hausdorff dimension 0 (e.g., a countable dense set or a zero-dimensional Cantor set on which f jumps). The abstract states the argument is “primarily topological,” but Hausdorff dimension is metric; without an explicit lower bound on the modulus of continuity or a covering argument that forces positive 2-dimensional measure in the LQG metric, the reduction does not automatically deliver dim ≥ 2. This is exactly the step flagged in the reader’s weakest_assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves lower bounds on Hausdorff dimensions (w.r.t. the LQG metric and Euclidean metric) for several sets in Liouville quantum gravity and more generally in planar length metrics: the set of 3-star points has dimension at least 2 (conjectured optimal), the set of 2-star points intersected with the boundary and the metric net intersected with the boundary each have dimension at least 1, and the intersection of two metric nets has dimension at least 2. Sharper bounds are obtained in the LQG case. The proofs are primarily topological and proceed by expressing the sets of interest as non-constancy sets of Lipschitz functions.","tokens_in":1859,"tokens_out":524,"duration_ms":22636,"significance":"If the central claims hold, the results supply concrete dimension lower bounds for geometrically natural sets in random planar geometry, with the 3-star bound conjectured to be sharp and the framework applying beyond LQG to metrics such as Kendall's Poisson roads. The topological approach via Lipschitz functions is a methodological strength that avoids heavy analytic estimates.","major_comments":[{"comment":"Abstract and introduction (key idea paragraph): the reduction of the 3-star set (and analogs) to non-constancy sets of Lipschitz functions is asserted to deliver the Hausdorff dimension lower bound of 2 in the LQG metric. However, the non-constancy set of a Lipschitz function on a length space can have Hausdorff dimension 0 (e.g., a countable dense set), so an explicit argument is required showing how the planar length metric and the Lipschitz property force dimension at least 2; this step is load-bearing for all stated dimension claims.","section":"Abstract and introduction"},{"comment":"Main proof (the section containing the topological argument for 3-star points): the manuscript must supply a covering or modulus-of-continuity estimate that transfers the non-constancy property into a positive lower bound on 2-dimensional Hausdorff measure in the LQG metric; without it the topological reduction alone does not establish the claimed dimension.","section":"Main proof section on 3-star points"}],"minor_comments":[{"comment":"The abstract states that sharper bounds are obtained for the LQG metric net and 2-star points with respect to both metrics; a brief comparison table or explicit numerical statements of the Euclidean versus LQG bounds would improve readability.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and insightful comments. We agree that the dimension lower bound step requires more explicit justification and will revise accordingly.","responses":[{"response":"We agree that an explicit argument bridging non-constancy of the Lipschitz function to the dimension lower bound is required, as the general fact alone does not suffice. In the revised manuscript we will expand the key idea paragraph in the abstract and introduction to include a modulus-of-continuity argument specific to planar length metrics: around points of non-constancy the Lipschitz function varies by a definite amount on a set of positive 2-dimensional measure because the underlying space is a length metric on the plane. This will be made load-bearing for all claims.","revision_made":"yes","referee_comment":"[Abstract and introduction] Abstract and introduction (key idea paragraph): the reduction of the 3-star set (and analogs) to non-constancy sets of Lipschitz functions is asserted to deliver the Hausdorff dimension lower bound of 2 in the LQG metric. However, the non-constancy set of a Lipschitz function on a length space can have Hausdorff dimension 0 (e.g., a countable dense set), so an explicit argument is required showing how the planar length metric and the Lipschitz property force dimension at least 2; this step is load-bearing for all stated dimension claims."},{"response":"We agree that the main proof section must supply an explicit covering or modulus-of-continuity estimate. In the revision we will add, immediately after the topological reduction, a covering argument that uses the Lipschitz constant together with the length-space property to produce a Vitali-type cover of the non-constancy set by balls on which the function varies by a fixed positive amount; the resulting lower bound on 2-dimensional Hausdorff measure in the LQG metric follows directly. This completes the dimension claim while preserving the primarily topological character of the argument.","revision_made":"yes","referee_comment":"[Main proof section on 3-star points] Main proof (the section containing the topological argument for 3-star points): the manuscript must supply a covering or modulus-of-continuity estimate that transfers the non-constancy property into a positive lower bound on 2-dimensional Hausdorff measure in the LQG metric; without it the topological reduction alone does not establish the claimed dimension."}],"tokens_in":1439,"tokens_out":470,"duration_ms":37242,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result is a dimension lower bound of 2 for the set of 3-star points (starting points of three disjoint geodesics) in the LQG metric, plus lower bounds of 1 for boundary 2-star points and metric-net intersections, and 2 for intersections of two nets. The same argument applies to other planar length metrics such as Kendall's Poisson roads. In the LQG case they also obtain sharper bounds with respect to both the Euclidean and LQG metrics.\n\nWhat is new is the reduction of these geometric sets to non-constancy sets of Lipschitz functions, which lets the proofs stay mostly topological. Prior LQG dimension work has been more analytic, so this is a useful shift and appears to be the first time the technique has been applied to star points and nets.\n\nThe approach is clean for the class of metrics they consider. The potential soft spot is the step that turns non-constancy into a dimension lower bound. A Lipschitz function can be non-constant on a countable dense set or a zero-dimensional Cantor set, so the length-space structure must supply extra control to force dimension at least 2. The abstract says the argument is primarily topological, which suggests they use the metric properties to close the gap, but that is the part that needs explicit verification.\n\nThis is for specialists in random geometry. It addresses conjectured-optimal bounds with a new method and no obvious circularity, so it deserves a serious referee.","headline":"The paper gives new lower bounds of 2 on Hausdorff dimension for 3-star points and related sets in LQG and other planar length metrics by rewriting them as non-constancy sets of Lipschitz functions.","tokens_in":2354,"tokens_out":379,"would_cite":false,"duration_ms":20221,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The set of 3-star points has Hausdorff dimension at least two in the LQG metric.","keywords":["Hausdorff dimension","Liouville quantum gravity","LQG metric","geodesics","star points","Lipschitz functions","metric nets","planar length metrics"],"falsifier":"An explicit construction or numerical realization of the LQG metric in which the 3-star points have Hausdorff dimension strictly less than two would disprove the lower bound.","tokens_in":2604,"feed_emoji":"","tokens_out":819,"duration_ms":18862,"temperature":0.7,"pith_summary":"The paper proves lower bounds on the Hausdorff dimensions of sets like 3-star points in the Liouville quantum gravity metric and other planar length metrics. It shows that 3-star points, the starting points of three disjoint geodesics, have dimension at least two, which is conjectured to be optimal. The proofs rely on expressing these sets as non-constancy sets of Lipschitz functions and are primarily topological. Additional bounds include dimension one for boundary 2-star points and metric nets, and dimension two for intersections of two metric nets. In LQG, sharper bounds are obtained for 2-star points and the metric net with respect to both Euclidean and LQG metrics.","feed_headline":"3-star points reach dimension two in LQG metric","feed_subtitle":"Lower bounds via Lipschitz non-constancy sets apply to geodesics and metric nets in random planar geometry.","key_machinery":"Non-constancy sets of Lipschitz functions, which preserve Hausdorff dimension lower bounds for the sets of interest under planar length metrics.","core_discovery":"We prove that the set of 3-star points has Hausdorff dimension at least two with respect to the LQG metric, which is conjectured to be optimal. Our proof works for a general class of planar length metrics which also includes, e.g., Kendall's Poisson roads metric. We additionally prove a dimension lower bound of one for the set of 2-star points intersected with the boundary and for the metric net intersected with the boundary, as well as a dimension lower bound of two for the intersection of two metric nets. In the particular setting of LQG, we obtain sharper lower bounds for the Hausdorff dimensions of the set of 2-star points and the LQG metric net, with respect to both the Euclidean metric","pith_inferences":["The lower bounds imply that 3-star points are large enough in the metric to affect the branching structure of geodesics throughout the plane.","The Lipschitz-function representation may allow similar dimension results for other geodesic-defined sets in the same class of metrics.","These bounds could inform models of percolation or connectivity that depend on the size of star-point sets.","The topological approach suggests the bounds remain stable under small changes to the underlying length metric."],"forward_implications":["The conjectured optimal dimension of two for 3-star points holds as a lower bound in the LQG metric.","The dimension results apply to a general class of planar length metrics including Kendall's Poisson roads metric.","The sets of 2-star points on the boundary and the metric net on the boundary each have Hausdorff dimension at least one.","The intersection of two metric nets has Hausdorff dimension at least two.","Sharper lower bounds hold in LQG for the 2-star points and the metric net under both the Euclidean and LQG metrics."],"fun_headline_variants":["3-star points dimension two lower bound in LQG metric","Lipschitz functions bound dimensions in planar length metrics","2-star points boundary dimension one in random geometry","Two metric nets intersection dimension two lower bound","LQG metric net and 2-star points sharper dimension bounds"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The sets of interest can be expressed as non-constancy sets of Lipschitz functions in a way that preserves the Hausdorff dimension lower bounds under the given planar length metrics.","fun_headline_variants_meta":{"raw":{"variants":["3-star points dimension two lower bound in LQG metric","Lipschitz functions bound dimensions in planar length metrics","2-star points boundary dimension one in random geometry","Two metric nets intersection dimension two lower bound","LQG metric net and 2-star points sharper dimension bounds"]},"model":"grok-4.3","cost_usd":0.004749,"raw_usage":{"total_tokens":2361,"prompt_tokens":708,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":47487000,"prompt_tokens_details":{"text_tokens":708,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1579,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":708,"tokens_out":74,"duration_ms":11180,"temperature":1.0,"reasoning_tokens":1579,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T12:02:09.355750+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit construction or numerical realization of the LQG metric in which the 3-star points have Hausdorff dimension strictly less than two would disprove the lower bound.","supporting_citations":[],"review_version":1}