{"id":"05abb895-b3c6-4928-8fca-0dfc284c494d","arxiv_id":"2607.10510","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":5,"one_line_summary":"Hard l×w rectangles on Z² with two orientations exhibit a nematic phase for aspect ratio k≥10^72 at intermediate fugacity, via a fully quantified two-scale cluster expansion.","lead":"This paper proves that hard rectangles on the square lattice form a nematic phase once their aspect ratio is at least 10^72, giving the first rigorous quantitative threshold. The bound is far above the numerical guess of 7, but it turns an existence argument into an explicit, checkable set of inequalities.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper's central claim is an existence-with-explicit-bound theorem obtained by completing and quantifying the Disertori–Giuliani two-scale expansion. The architecture (contour representation → polymer representation → truncated weights → inductive Peierls estimates → recovery of true weights) is standard and carefully written; the enormous constant 10^{72} is openly attributed to crude hand choices. The only residual risk is ordinary arithmetic error in a long but fully explicit inequality chain. Because that chain is presented as a sufficient (not necessary) condition, and because the paper already flags the evaluation as non-optimized, the risk does not threaten the logical validity of Theorem 2. The reader's ACCEPT / MODERATE / low-correctness-risk assessment is therefore left unchanged. The concrete test above simply makes the numerical verification reproducible by a third party.","tokens_in":44458,"tokens_out":637,"duration_ms":6402,"concrete_test":"Independently recompute the numerical chain of Prop. 25 / §5.1: fix ν=0, K0=150, θ1=θ2=θ3=3/50, θ4=θ5=θ6=1/2, α=K/1000, τ=K/10 and verify that every derived quantity (κ4>1.15K, η1,η2<10^{39}Kϵ, ϕ13<ze^{-0.49K}, the c_n and s_k bounds, and finally the LHS of (201) and (187)) satisfies C1–C20 whenever K>150 and e^{-2K}<ϵ<e^{-K}. If any inequality fails, recompute the minimal K0 that restores them and extract the corresponding k.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption (simultaneous satisfaction of C1–C20 under Prop. 25's crude parameters) is real but not load-bearing against the central claim. Theorem 2 asserts only a sufficient condition: if the listed inequalities hold for some admissible (w,l,z), then nematic order exists for k large enough. Prop. 25 and the explicit arithmetic in §5.1 (K>K0=150, e^{-2K}<ϵ<e^{-K}, the resulting bounds on κ_i, η_i, ϕ_i, and the final comparison k>(16)(1000e)(150e^{150})≈9.09·10^{71}) are written so that each step can be checked by hand or machine; the paper itself labels the evaluation non-optimized and the bound non-physical. Failure of those particular numbers would only force a larger (still finite) threshold or a re-optimization of the free parameters θ_i, α, τ, etc.; it would not invalidate the architecture that converts the two-scale cluster expansion into a finite list of closed inequalities. No internal inconsistency, circularity, or hidden assumption that would make the existence claim collapse was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves that hard l×w rectangles on Z^{2} with two orientations exhibit a nematic phase when the aspect ratio k=l/w is at least 10^{72}. Using a quantitative two-scale cluster expansion (coarse-graining into tiles of side ≈l/2, contour representation of orientational profiles, conversion to a polymer model with multi-body interactions, truncated weights, and inductive Peierls estimates), the authors obtain explicit one- and two-point correlation bounds (Theorem 2) that establish orientational symmetry breaking without translational order on a nonempty intermediate-fugacity interval written with the Lambert W function. The main technical contribution is the complete tracking of all constants and the conversion of the argument into a finite list of closed inequalities (Appendix A.3) whose non-optimized evaluation yields the stated threshold.","tokens_in":44794,"tokens_out":839,"duration_ms":10029,"significance":"This is the first rigorous, quantitative lower bound on the aspect ratio needed for a nematic phase in lattice hard-rectangle systems. Prior mathematical results (Disertori–Giuliani, Disertori–Giuliani–Jauslin) were purely existential; the present work closes that gap by producing an explicit (albeit enormous) sufficient condition and a fully checkable list of inequalities. The architecture is standard but carefully executed, and the explicit bookkeeping is a genuine advance that makes the method usable for future optimization or computer-assisted improvement. Even though 10^{72} far exceeds the numerical prediction k_min=7, the result supplies a concrete, falsifiable benchmark and a transparent optimization program.","major_comments":[{"comment":"The central claim of Theorem 2 rests on the simultaneous satisfaction of the full list C1–C20 under the deliberately crude parameter choices of Proposition 25 (§5.1). While the paper correctly labels the evaluation non-optimized and the arithmetic is written so that each step can be verified by hand or machine, a short independent numerical check (or a machine-readable verification script) of the key intermediate bounds (e.g., (207)–(211), (213), (217), (221), (223)) would substantially strengthen confidence that the claimed threshold is indeed justified by the written estimates. Failure of those particular numbers would only force a larger finite threshold, not invalidate the architecture, but the load-bearing numerical step should be made as transparent as possible.","section":null}],"minor_comments":[{"comment":"The enormous gap between 10^{72} and the numerical value 7 is acknowledged, but a brief remark on which free parameters (the \theta_i, the scale factor 1000 in K=zℓ^{2}/1000, K_0=150, etc.) are the most wasteful would help future optimization efforts.","section":null},{"comment":"Notation for the many derived rates (κ_i, λ_i, η_i, φ_i) is dense; a short “cheat sheet” table early in §4 or in Appendix A would improve readability.","section":null},{"comment":"The open problems in §1.3 are well-posed; a one-sentence pointer to which of them might be approachable with the present polymer technology would be useful.","section":null},{"comment":"Typographical consistency: the manuscript occasionally switches between “smoothing squares” and “6L-tiles”; a uniform term would help.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a solid, carefully written contribution that fills a genuine quantitative gap left by earlier existential results. The only load-bearing concern is the hand-checked numerical closure of C1–C20; once that is confirmed (or the bound modestly enlarged), the paper is ready for publication. Fit for a mathematical-physics journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real news is that He turns the Disertori–Giuliani / Disertori–Giuliani–Jauslin two-scale cluster expansion into an explicit finite list of inequalities and then evaluates them, producing the first rigorous sufficient condition k ≥ 10^72 for a nematic phase of hard rectangles (and rods) on Z^{2}. Prior rigorous work only gave existence for “sufficiently large” aspect ratio; this is the first concrete number.\n\nWhat the paper does well is bookkeeping. The architecture—coarse-graining into tiles of side ~ℓ/2, contours on the 6L smoothing lattice, polymer representation, truncated weights to break the circularity, inductive Peierls estimates, recovery of true weights, and finally one- and two-point correlation bounds—is standard but carefully written. Every constant is tracked; Appendix A lists the free parameters, derived rates, and the twenty closure conditions C1–C20. Proposition 25 and §5.1 give a deliberately crude but hand-checkable choice (K = zℓ^{2}/1000 > 150, \theta_i = 3/50 or 1/2, etc.) that closes the inequalities and yields the Lambert-W interval of fugacities. The extension from unit-width rods to general w \times l rectangles is cleanly handled by adapting the plate strategy rather than relying on one-dimensional factorization.\n\nThe soft spots are exactly the ones the author flags. The bound is non-optimized and non-physical (numerical threshold is 7). The free parameters are chosen by hand to make the inequalities hold rather than optimized; if those particular numbers fail for some (w,l), one simply re-optimizes or accepts a larger finite threshold—the architecture itself is not threatened. The density window remains the intermediate regime zwl ≪ 1 ≪ zl^{2}, so the high-density columnar and re-entrant phases stay open. No circularity, no hidden data selection, no formal verification claim.\n\nThis is for people who work on rigorous liquid-crystal models or Pirogov–Sinai / cluster-expansion methods and want a concrete quantitative template. It deserves a serious referee; the math is self-contained and the claim is modest and checkable. I would engage with it.","headline":"First explicit (if absurdly large) aspect-ratio threshold for lattice hard-rectangle nematic order; solid quantitative completion of the DG/DGJ two-scale expansion.","tokens_in":45436,"tokens_out":569,"would_cite":true,"duration_ms":7956,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B20","82B26","82B05"],"pacs":[],"model":"grok-4.5","headline":"Hard rectangles on the square lattice form a nematic phase once their aspect ratio reaches 10^72, the first rigorous quantitative threshold.","keywords":["hard rectangles","nematic phase","aspect ratio bound","cluster expansion","two-scale coarse-graining","lattice liquid crystals","Pirogov-Sinai","orientational order"],"falsifier":"Either recompute the optimization program of Appendix A with tighter free-parameter choices and obtain a feasible aspect ratio strictly smaller than 10^72, or exhibit a concrete (w,l) with k < 10^72 for which one of the twenty inequalities is violated under every admissible parameter tuple.","tokens_in":45296,"feed_emoji":"📐","tokens_out":728,"duration_ms":7527,"temperature":0.7,"pith_summary":"This paper proves that hard rectangles of length l and width w on the square lattice, allowed only two orientations, spontaneously break orientational symmetry at intermediate densities when the aspect ratio k = l/w is large enough. The proof converts earlier existential cluster-expansion arguments into an explicit list of inequalities on the parameters and then checks that list for a concrete (non-optimized) choice of constants, obtaining the sufficient bound k ≥ 10^72. The resulting nematic phase is characterized by one-point densities that prefer one orientation over the other while the truncated two-point functions still decay, so translational order is absent. Although the numerical value is far larger than the simulation threshold of 7, the work supplies the first rigorous aspect-ratio estimate for lattice hard-rectangle systems and makes the bookkeeping of the two-scale expansion fully trackable.","feed_headline":"Hard rectangles need aspect ratio 10^72 for a nematic phase","feed_subtitle":"First rigorous quantitative threshold, far above the simulation value of 7","key_machinery":"A quantitative two-scale cluster expansion: space is partitioned into tiles of side ≈ l/2, each tile is assigned a spin according to the orientation of rectangles it contains, and the resulting contour model is controlled by Peierls estimates whose constants are tracked all the way to an explicit list of twenty convergence and closure inequalities.","core_discovery":"For every aspect ratio k ≥ 10^72 there exists a nonempty open interval of fugacities, written explicitly with the Lambert W function, on which the one-point densities of l \times w hard rectangles on Z^{2} satisfy liminf \rho^q ≥ (3/4 - e^ϵ)z for the preferred orientation and limsup \rho^{-q} ≤ (1/4 + e^ϵ)z for the opposite orientation, while the truncated two-point function decays exponentially; this establishes orientational symmetry breaking without translational order, uniformly in domain and boundary conditions.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Hard rectangles need aspect ratio ≥10^72 for nematic phase","Nematic phase proven in hard rectangles only for k≥10^72","Rigorous bound sets hard-rectangle nematic threshold at 10^72","Hard rectangles form nematics when aspect ratio reaches 10^72","Aspect ratio 10^72 guarantees lattice hard-rectangle nematics"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The whole numerical bound rests on a deliberately crude hand-chosen set of free parameters that must make every one of the twenty listed inequalities hold simultaneously; if those particular numbers fail for some admissible rectangle size, the claimed threshold of 10^72 is not justified by the written estimates.","fun_headline_variants_meta":{"raw":{"variants":["Hard rectangles need aspect ratio ≥10^72 for nematic phase","Nematic phase proven in hard rectangles only for k≥10^72","Rigorous bound sets hard-rectangle nematic threshold at 10^72","Hard rectangles form nematics when aspect ratio reaches 10^72","Aspect ratio 10^72 guarantees lattice hard-rectangle nematics"]},"model":"grok-4.5","effort":"low","cost_usd":0.00982,"raw_usage":{"total_tokens":2156,"prompt_tokens":779,"num_sources_used":0,"completion_tokens":77,"cost_in_usd_ticks":98200000,"prompt_tokens_details":{"text_tokens":779,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1300,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":779,"tokens_out":77,"duration_ms":12741,"temperature":1.0,"reasoning_tokens":1300,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T11:10:09.654985+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Either recompute the optimization program of Appendix A with tighter free-parameter choices and obtain a feasible aspect ratio strictly smaller than 10^72, or exhibit a concrete (w,l) with k < 10^72 for which one of the twenty inequalities is violated under every admissible parameter tuple.","supporting_citations":[],"review_version":1}