{"id":"2b3bcb9e-7e8e-475f-99ec-af18706f7043","arxiv_id":"2412.10905","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Any gap-free packing of a bag by countably many positive-volume sets that touch on zero-area sets must have infinite total surface area.","lead":"This paper proves that if a bag is filled completely by countably many pieces that touch only on zero-area sets, the total surface area of the pieces must be infinite. The result holds not just in Euclidean space but in a wide class of metric spaces with doubling measures and Poincaré inequalities, including Riemannian and some sub-Riemannian manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.2 is false as stated: pairwise additivity does not imply finite additivity; a four-point example satisfies all hypotheses but has finite nonzero total F.","rationale":"The reader's weakest assumption is exactly right, and the issue is more severe than a missing proof step: Theorem 2.2 is false under its stated hypotheses. The four-point example satisfies properties (0), (C), (T), (L) and pairwise additivity, yet yields a finite nonzero sum, refuting the dichotomy. This is the single most load-bearing concern because Theorem 2.2 is the paper's main technical engine. However, the geometric applications remain defensible: for the actual perimeter functional, finite additivity over finite unions of sets with pairwise H^{-1}-disjoint essential boundaries follows from [4, Lemma 2.3(ii)] by induction, so Theorem 3.1 and Corollary 3.2 can be upheld after adding finite additivity to Theorem 2.2 or replacing its proof. A secondary issue is that Theorem 3.1 does not explicitly verify the tail-finiteness hypothesis m(∪_{i≥1} E_i) < ∞ when X has infinite measure; in the finite-perimeter case this follows from the isoperimetric inequality after isolating at most one infinite-measure set, but the paper should state this. The conditional verdict remains appropriate: the central potato-packing claim is likely correct, but the abstract theorem needs revision.","tokens_in":7151,"tokens_out":18497,"duration_ms":186705,"concrete_test":"Verify the four-point counterexample: take X = {0,1,2,3}, m({i}) = 1, E_i = {i} for i = 0,1,2,3 and E_k = ∅ for k ≥ 4, and define F as above. Check that (0), (C), (T), (L) and pairwise additivity all hold while the total sum is finite and nonzero. If confirmed, Theorem 2.2 requires an explicit finite-additivity hypothesis; then re-check that the perimeter functional in Theorem 3.1 satisfies this stronger hypothesis via [4, Lemma 2.3(ii)].","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2.2's proof uses, at equation (1), F(T^m_n) = Σ_{i=n+1}^m F(E_i) 'by assumption'. The theorem only assumes F(E_i ∪ E_j) = F(E_i) + F(E_j) for individual pairs, which is not enough for arbitrary finite unions. This is not a minor gap: pairwise additivity is consistent with all listed perimeter-like properties but can fail for triple unions. Example: let X = {0,1,2,3} with any positive atom measure, E_0,...,E_3 the singletons and E_k = ∅ for k ≥ 4. Define F(∅) = 0, F(X) = 0, F(singleton) = 1, F(two-point set) = 2, F(three-point set) = 1. Then (0), (C), (T), (L) hold: finite positive atom measures force L-convergence to be eventual equality, and the only F-null sets are ∅ and X, so (T) is checked directly. Pairwise additivity holds, but Σ F(E_i) = 4 is finite and nonzero, contradicting Theorem 2.2's dichotomy. The concrete perimeter in Theorem 3.1 does have finite additivity via [4, Lemma 2.3(ii)] and induction, so the geometric applications are salvageable, but the abstract theorem must be restated with finite additivity or proved differently.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a geometric statement about packings: if an open set ('bag') in Euclidean space, or more generally in a PI-space, is filled up to measure zero by infinitely many positive-volume sets that meet only along boundaries of zero H^{-1}-measure, then the total perimeter (surface area) of the packing is infinite. The proof is organized through an abstract notion of 'perimeter-like evaluation' F satisfying axioms (0), (C), (T), (L), (Z). A general theorem (Theorem 2.2) is first proved for such F under a pairwise additivity hypothesis, and then applied to the perimeter functional on PI-spaces, yielding the packing results in Theorem 3.1 and Corollary 3.2, including a corollary for Euclidean packings and remarks on Riemannian and sub-Riemannian settings.","tokens_in":7416,"tokens_out":12673,"duration_ms":119213,"significance":"If the abstract theorem is repaired, this is a valuable and elegant contribution: it gives a short axiomatic proof of a striking geometric fact, extends earlier work of Maio--Ntalampekos and the sphere-packing papers to general PI-spaces, and covers important examples such as Heisenberg and Carnot groups. The paper is concise, clearly written, and the geometric applications are plausible. The main theorem, however, is false as stated, so the abstract framework needs a local but essential correction before the applications can be regarded as fully proved.","major_comments":[{"comment":"The proof uses the identity F(T_n^m) = Σ_{i=n+1}^m F(E_i) 'by assumption', but the theorem only assumes pairwise additivity F(E_i ∪ E_j) = F(E_i) + F(E_j) for i ≠ j. Pairwise additivity does not imply additivity over arbitrary finite unions, and the axioms (0), (C), (T), (L) do not enforce it. The theorem is false as stated. A counterexample is given by X = {0,1,2,3} with any positive atom measure, E_0,…,E_3 the singletons and E_k = ∅ for k ≥ 4. Define F(∅) = F(X) = 0, F({x}) = 1, F(two-point set) = 2, F(three-point set) = 1. Properties (0) and (C) are immediate; (L) holds because on a finite atom space m(A_n Δ A) → 0 implies A_n = A eventually; and (T) holds because the only F-null sets are ∅ and X, so F(X \\ A_n) → 0 forces the pair (A_n, F(A_n)) to be eventually (∅,0) or (X,0) when A = X, and only (∅,0) when A ≠ X. The pairwise additivity condition is satisfied, but Σ F(E_i) = 4 is finite and nonzero, contradicting the dichotomy. The theorem can be repaired by adding the assumption that F is additive over arbitrary finite unions of the E_i; the concrete perimeter in Theorem 3.1 has that stronger property via [4, Lemma 2.3(ii)] and induction, so the geometric applications are likely salvageable, but Theorem 2.2 must be restated.","section":"§2, Theorem 2.2 and Eq. (1)"},{"comment":"In the second part of Proposition 2.1, the chain 0 = F(∅) = F(X) = F(X \\ ∪E_i) 'by (Z)' is not justified: (Z) can identify F(X) with F(∪E_i), since m((∪E_i) Δ X) = m(X \\ ∪E_i) = 0, but it cannot identify F(X) with F(X \\ ∪E_i) without knowing m(∪E_i) = 0. The intended argument is valid after swapping the roles of (Z) and (C): first F(X) = F(∪E_i) by (Z), then F(X \\ ∪E_i) = F(∪E_i) by (C). This is a local proof error, but it is used in the proof of Theorem 2.2 and should be corrected.","section":"§2, Proposition 2.1"}],"minor_comments":[{"comment":"In the second sentence of Theorem 2.2, the clause 'for all i ≠ j' appears to be a remnant of the pairwise-additivity assumption and is misplaced; the intended statement is that the pairwise additivity holds and that m(X \\ ∪E_i) = 0.","section":"§2, Theorem 2.2"},{"comment":"The line 'm(E_k ∩ E_j) = 0 since H^{d-1}(\\bar E_k ∩ \\bar E_j) = 0' is terse. It is true for Borel sets with positive Lebesgue measure, because a positive-measure subset of R^d has Hausdorff dimension d and hence infinite H^{d-1}, but this fact deserves a short explanation.","section":"§3, Proof of Corollary 3.2"},{"comment":"There are several typographical issues: 'tecnical' in the heading of Section 2, 'P Ispace' in the proof of Theorem 3.1, and intermittent spacing in 'P I spaces'. These should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main geometric content is likely correct, and I expect the paper to be acceptable after Theorem 2.2 is restated with finite additivity over finite unions and the short proof of Proposition 2.1 is fixed. The counterexample in my report shows that the current abstract theorem is false, but it does not affect the intended perimeter application, where finite additivity holds. I would ask the authors to make the repair explicit and to verify that all applications, including the second part of Theorem 2.2, go through under the repaired statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract Theorem 2.2 is false as stated, and the stress-test counterexample is correct: pairwise additivity is not enough for the finite unions used in equation (1). The good news is that the geometric applications only need the concrete perimeter, which does satisfy the stronger finite-additivity property, so the main potato-packing result is probably salvageable with a repaired statement.\n\nWhat is genuinely new: the paper takes the earlier residual-set dimension results for convex packings [14] and extends them to arbitrary finite-perimeter sets and to PI spaces. The abstract 'perimeter-like evaluation' framework is a clean way to isolate exactly which properties drive the dichotomy, and the corollary on Hausdorff dimension of the residual set is a nice payoff. The exposition is elegant and the citations to [4,16] for the perimeter machinery look appropriate.\n\nWhere it goes wrong: Theorem 2.2 assumes F(E_i ∪ E_j)=F(E_i)+F(E_j) only for pairs, but the proof uses F(∪_{i=n+1}^m E_i)=ΣF(E_i) for arbitrary finite unions. These are not the same. A four-point example satisfies all listed properties (0),(C),(T),(L) and pairwise additivity, with sum F(E_i)=4 finite and nonzero, contradicting the dichotomy. This is a load-bearing gap for the abstract statement, not a cosmetic one. The patch is easy – add finite additivity over finite disjoint unions to the assumptions, or prove it from the other properties (which the listed properties do not do). For the perimeter functional in Theorem 3.1, finite additivity does hold via [4, Lemma 2.3(ii)] plus induction, so the applications should survive, but the paper currently does not say this.\n\nMinor issues: the 'potato' language is fine but the abstract overpromises a bit by saying 'touch each other in few points' when the actual condition is zero H^{-1}-measure of boundary intersections; not a problem. The proof of Corollary 3.2 has a small jump from coincidence of reduced boundaries to condition (iii), but that is easily filled.\n\nWho it is for: people working on perimeter theory in metric measure spaces and on geometric packings. The residual-dimension implication is a nice observation. The paper deserves a serious referee because the main geometric result is likely correct and interesting, but the abstract theorem must be fixed before publication. Recommend: send to peer review with a request to revise Theorem 2.2 and adjust the proof accordingly.","headline":"Theorem 2.2 is false as stated (pairwise additivity is insufficient), but the geometric potato-packing result is likely correct and worth publishing after a fix.","tokens_in":7958,"tokens_out":3886,"would_cite":false,"duration_ms":35891,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A75","49Q20","53C23"],"pacs":[],"model":"deepseek-v4-flash","headline":"A gap-free packing of a set by positive-volume pieces that touch only on zero-measure boundaries must have infinite total perimeter.","keywords":["potato packings","total perimeter","sets of finite perimeter","PI spaces","doubling metric measure spaces","Poincaré inequality","Hausdorff dimension of residual set","perimeter-like evaluations"],"falsifier":"A concrete example in the Euclidean plane of an open ball partitioned into countably many positive-area sets whose boundaries meet only at finitely many points, with finite total perimeter, would refute Corollary 3.2. Alternatively, an explicit perimeter-like evaluation satisfying axioms (0), (C), (T), and (L) with pairwise additivity but not finite additivity on a covering family would expose the gap in the proof of Theorem 2.2.","tokens_in":6921,"feed_emoji":"🥔","tokens_out":5544,"duration_ms":50091,"temperature":0.7,"pith_summary":"The paper proves a packing theorem with a whimsical framing: potatoes are positive-volume measurable sets, the bag is an open set in a metric measure space, and the potatoes \"kiss\" only along sets of zero surface measure. If countably many such potatoes fill the bag with no gaps, then the sum of their surface areas must be infinite, unless one potato already occupies the bag up to measure zero. The theorem is proved abstractly for perimeter-like evaluations satisfying four axioms, and then applied to the perimeter in PI spaces, which include Euclidean space, Riemannian manifolds, and Heisenberg groups. A curious reader should care because the result says finite total perimeter is incompatible with a gap-free decomposition into many touching pieces, and it sharpens older results on packings of convex sets and spheres.","feed_headline":"Infinitely many potatoes in a bag force infinite total surface area","feed_subtitle":"Gap-free packings of a ball by positive-volume pieces have unbounded perimeter whenever pieces meet only at zero-area boundaries.","key_machinery":"The engine is the class of perimeter-like evaluations: functions on Borel sets with $F(\\emptyset)=0$, complement symmetry $F(X\\setminus A)=F(A)$, an upper semicontinuity-type property (T), and $L^1$-lower semicontinuity (L). Theorems 2.1 and 2.2 use these axioms together with an additivity assumption $F(E_i\\cup E_j)=F(E_i)+F(E_j)$ to force a dichotomy. In the geometric application, the perimeter of a PI space is known to be such an evaluation, and pairwise disjointness of essential boundaries gives the required additivity; the relative isoperimetric inequality then excludes the zero option.","core_discovery":"The central claim is Theorem 3.1: if a PI space is covered, up to measure zero, by disjoint positive-volume sets whose essential boundaries meet pairwise in sets of zero $H^{-1}$ measure, then the sum of their perimeters is infinite. The proof runs through an abstract dichotomy (Theorem 2.2): for any perimeter-like evaluation satisfying axioms (0), (C), (T), and (L), if a measurable partition displays pairwise additivity of the evaluation, then either the evaluation of the pieces sums to infinity or every piece evaluates to zero. Because the perimeter of a PI space satisfies the axioms and has a relative isoperimetric inequality, the all-zero option is impossible for positive-volume pieces, leaving only infinite total perimeter.","pith_inferences":["The abstract version suggests the phenomenon is a general incompatibility: any cost function with complement symmetry, appropriate semicontinuity, and finite additivity over a partition cannot be both finite and strictly positive on every piece of a gap-free countable decomposition.","A natural quantitative extension, not pursued in the paper, would ask how fast the partial sums of perimeters must diverge in terms of the number of pieces or the sizes of the boundary intersection sets.","One can test the sharpness by constructing near-packings where intersections have small positive $H^{-1}$ measure; the theorem predicts perimeter blow-up, but the blow-up rate is an open question.","The connection with Apollonian packings suggests that infinite perimeter is the geometric signature of fully filling a domain with disjoint bodies that have only point-like contacts."],"forward_implications":["In the Euclidean plane and higher dimensions, any gap-free packing of an open set by regular positive-volume sets whose boundaries meet only at $H^{d-1}$-null sets must have infinite total boundary measure.","A finite total perimeter is possible only if the packing leaves a positive-measure residual set or is trivial up to measure zero.","The residual set of any full packing by such pieces has Hausdorff dimension at least $d-1$; the bound is attained by known examples of smooth-curve packings with residual dimension exactly 1.","The same conclusion holds in any PI space, including smooth Riemannian manifolds and sub-Riemannian spaces such as Heisenberg groups, under local doubling and Poincaré inequalities.","In the abstract setting, the result indicates that a perimeter-like evaluation that is finite on a partition must be trivial on all pieces, isolating why finite-perimeter packings cannot be gap-free."],"supporting_citations":[{"why":"Supplies the additivity lemma (Lemma 2.3(ii)) for the perimeter in PI spaces and the properties (Z), (L), and (C) used in Theorem 3.1.","marker":"[4]"},{"why":"Defines the perimeter functional on good metric measure spaces and provides the relative isoperimetric inequality used to exclude the all-zero option.","marker":"[16]"},{"why":"Defines perimeter as the codimension-one Hausdorff measure of the essential boundary, giving the integral representation of perimeter in PI spaces.","marker":"[3]"},{"why":"Provides the quasi-additivity inequality (T') used to verify the upper semicontinuity property (T) for the perimeter.","marker":"[2]"},{"why":"Provides the known sharp example of packings by strictly convex smooth curves whose residual set has Hausdorff dimension exactly 1, showing the dimension lower bound is attained.","marker":"[14]"}],"fun_headline_variants":["Infinite potatoes, few contacts: total surface area is infinite","No gaps, few touch points: infinite spuds mean infinite skin","Infinite potato packings always have unbounded perimeter","Infinite spuds, finite touches, infinite surface area","The potato packing theorem: infinite surface area is unavoidable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 2.2 assumes the perimeter-like evaluation is additive over arbitrary finite unions of the packing sets, while the theorem states only pairwise additivity; the geometric perimeter has this stronger property through the cited additivity lemma, but the abstract theorem as written relies on an unstated finite-additivity premise.","fun_headline_variants_meta":{"raw":{"variants":["Infinite potatoes, few contacts: total surface area is infinite","No gaps, few touch points: infinite spuds mean infinite skin","Infinite potato packings always have unbounded perimeter","Infinite spuds, finite touches, infinite surface area","The potato packing theorem: infinite surface area is unavoidable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001201,"raw_usage":{"total_tokens":4862,"prompt_tokens":772,"completion_tokens":4090,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":388,"completion_tokens_details":{"reasoning_tokens":4008}},"tokens_in":388,"tokens_out":4090,"duration_ms":25354,"temperature":1.0,"reasoning_tokens":4008,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:29:51.471137+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete example in the Euclidean plane of an open ball partitioned into countably many positive-area sets whose boundaries meet only at finitely many points, with finite total perimeter, would refute Corollary 3.2. Alternatively, an explicit perimeter-like evaluation satisfying axioms (0), (C), (T), and (L) with pairwise additivity but not finite additivity on a covering family would expose the gap in the proof of Theorem 2.2.","supporting_citations":[{"cited_title":"Bonicatto, E","cited_arxiv_id":null,"evidence_quote":"Supplies the additivity lemma (Lemma 2.3(ii)) for the perimeter in PI spaces and the properties (Z), (L), and (C) used in Theorem 3.1."},{"cited_title":"Miranda, Functions of bounded variation on “good” metric spaces , J","cited_arxiv_id":null,"evidence_quote":"Defines the perimeter functional on good metric measure spaces and provides the relative isoperimetric inequality used to exclude the all-zero option."},{"cited_title":"Ambrosio, M","cited_arxiv_id":null,"evidence_quote":"Defines perimeter as the codimension-one Hausdorff measure of the essential boundary, giving the integral representation of perimeter in PI spaces."},{"cited_title":"10 (2002), no","cited_arxiv_id":null,"evidence_quote":"Provides the quasi-additivity inequality (T') used to verify the upper semicontinuity property (T) for the perimeter."},{"cited_title":"Maio and D","cited_arxiv_id":null,"evidence_quote":"Provides the known sharp example of packings by strictly convex smooth curves whose residual set has Hausdorff dimension exactly 1, showing the dimension lower bound is attained."}],"review_version":1}