{"id":"3ad493e8-f2e8-43a3-88ed-3080f2b12676","arxiv_id":"2608.01145","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A compactification of pyramids of asymmetric metric measure spaces is constructed using one-sided observables and adjoint transport, preserving directed endpoints.","lead":"This paper builds a compact space of pyramids for asymmetric metric measure spaces, where one-way distances keep their order. It extends Gromov's concentration compactification so that directed geometries, such as Funk balls, do not lose their direction.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Compactness of (Π_+, d^M_Π) depends on the unproved refinement lemma [14, Lemma 5.6]; a counterexample would invalidate Theorem 1.1(i).","rationale":"The reader identified the dependence on unproved companion-paper results as the key weakness. I agree with that diagnosis and with the CONDITIONAL verdict. I would sharpen the focus to [14, Lemma 5.6], since it is the single step that guarantees directedness of weak limits and hence compactness of the pyramid space; the reader's weakest_assumption emphasized [14, Lemma 5.4] and [14, Theorem 4.10]. All three are black boxes listed in Section 3.2, and all are used in the proof of Theorem 1.1. The paper is internally coherent and transparent, and no local mathematical error surfaced in Sections 2–5 or the appendices. The concern is not that the statements look wrong; it is that the central compactness result inherits an unverified existence theorem from [14], and the text does not supply enough to check it. The concrete test is a finite-case search for a counterexample to Lemma 5.6, followed by an independent proof or formalization; until then, CONDITIONAL is appropriate.","tokens_in":26816,"tokens_out":16991,"duration_ms":153741,"concrete_test":"Verify [14, Lemma 5.6] in the minimal case actually needed: take L=Lip_1^+(R) (or the smaller T_B family) and finite discrete gd-sets on 2–3 point probability spaces with N ordered features, and exhaustively search for sequences X_n,Y_n,Z̄_n satisfying X_n,Y_n⪯Z̄_n and □-converging to finite X,Y. Check whether the asserted refinements Z_n with X_n,Y_n⪯Z_n⪯Z̄_n always admit a □-convergent subsequence. A counterexample would refute Theorem 1.1(i). If exhaustive small-case search finds none, that is only indicative; a full independent proof or a machine-checked formalization (e.g., Lean) of the lemma is needed to convert 'conditional' into 'accept.'","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new assertion is Theorem 1.1(i): (Π_+, d^M_Π) is compact. The proof transfers sequential compactness of pyramids in Lip_1^+(R)∘D to qm-pyramids in Corollary 5.3, and the gd-set side is Theorem 5.1, proved only in Appendix A.3. That proof's directedness step uses [14, Lemma 5.6] as a black box: given X_n,Y_n⪯Z̄_n with X_n→X, Y_n→Y, it asserts existence of Z_n with X_n,Y_n⪯Z_n⪯Z̄_n and a □-convergent subsequence. This is a substantive mixed domination/subsequence existence statement, and the present manuscript gives no proof, informal justification, or independent check. If Lemma 5.6 fails, a Painlevé–Kuratowski limit of pyramids can fail to be directed; then E in Theorem 5.1 need not be a pyramid, Corollary 5.3 fails, and the sequential-compactness half of Theorem 1.1(i) collapses. The same argument also leans on [14, Lemma 5.4] for downward closedness of weak limits and on [14, Theorem 4.10] for the completeness/separability used to extract subsequences and later for density (Theorem A.13). Section 3.2 is transparent about these dependencies, but transparency does not reduce the correctness risk: the new contribution is precisely the transport of this upstream compactness, so the unproved upstream lemmas are load-bearing. The reader's conditional verdict is therefore the right one; there is no internal contradiction visible, but the central claim is not yet independently supported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces quasi-metric measure spaces (qm-spaces), whose directed distance is retained rather than symmetrized away, and constructs a pyramidal compactification for them. The main theorem (Theorem 1.1) states that every lower set P(X) is a pyramid, that the space (Π_+, d^M_Π) is compact, that the associated-pyramid map is a 1-Lipschitz topological embedding with dense image, and that convergence in the pyramid metric is equivalent to weak convergence of pyramids. The strategy is to transport the known pyramidal compactification for geometric data sets through an adjunction Rep^+ ⊣ Rec^+ between qm-spaces and Lip^+_1(R)-gd-sets. The paper also proves completeness and separability of the box distance on qm-spaces. The proofs are dense and the abstract adjunction framework is coherent, but several essential lemmas are imported from the companion papers [13] and [14], especially [14, Lemma 5.4], [14, Lemma 5.6], and [14, Theorem 4.10]. The manuscript is transparent about these dependencies, but they are not reproduced here, so the main compactness claim cannot be independently verified from the present text alone.","tokens_in":1868,"tokens_out":1936,"duration_ms":41635,"significance":"If the result is correct, it provides the directed analogue of Shioya's pyramidal compactification, preserving the order of directed endpoints that classical symmetrization loses. This is a natural and potentially useful extension for applications such as the forward Funk beta model mentioned in the introduction. The paper's abstract pyramid-transport formalism (Appendix A) is a useful contribution in its own right, and the measurement-based metric in Section 4 gives a concrete, finite-dimensional criterion for pyramid convergence. The manuscript is unusually transparent: Section 3.2 lists every imported result and its first use, and no fitted parameters or self-referential definitions appear. However, the central compactness assertion depends on black-box lemmas from companion papers, and the companion [12] is said to depend mathematically on the present paper. This makes the current submission a high-level transport of an unverified upstream theory rather than a fully self-contained proof of Theorem 1.1.","major_comments":[{"comment":"The directedness of weak limits is proved by invoking [14, Lemma 5.6] as a black box: given X_n, Y_n ⪯ Z̄_n with X_n→X and Y_n→Y, the lemma asserts existence of Z_n with X_n, Y_n ⪯ Z_n ⪯ Z̄_n and a □-convergent subsequence. This is a substantive mixed domination/subsequence existence statement, and the present manuscript gives no proof, informal justification, or even a precise statement beyond the summary in Section 3.2. The directedness step is then used to show that the box-closed limit E in Theorem 5.1 is a pyramid; if Lemma 5.6 fails, Corollary 5.3 fails and compactness in Theorem 1.1(i) collapses. I recommend either proving Lemma 5.6 in an appendix or including the companion paper [14] in full as part of the submission so that the referee can verify this load-bearing step.","section":"Appendix A.3 / Theorem 5.1 / [14, Lemma 5.6]"},{"comment":"Domination refinement is imported from [14, Lemma 5.4] and used in three essential places: to show Lip^+_1(R)∘D has domination refinement after Definition 2.19, to prove Proposition 5.2 (descent to qm-spaces), and inside Theorem 2.20's proof of the transport equivalence. The proof of the outer/inner conditions in Theorem A.7 also relies on domination refinement. Since this lemma underlies both the pyramid property of transported sets and the weak-convergence equivalence, it is not a minor convenience but a load-bearing black box. The manuscript's Section 3.2 lists the statement, but a journal referee normally needs either the statement with proof or a clear indication that the companion is available and accepted. As written, the central claim is not independently supported.","section":"Section 2.4 / Proposition 5.2 / [14, Lemma 5.4]"},{"comment":"The paper's secondary result, completeness and separability of (X^+, □), is derived by pulling back the corresponding fact for Lip^+_1(R)∘D, which is imported from [14, Theorem 4.10]. This is an entire structural property rather than a small technical lemma. The proof in Corollary 3.4 is only a one-line consequence of the imported theorem plus the box-nonexpansiveness of Rep^+∘Rec^+. If [14, Theorem 4.10] is correct, the argument is fine; but the present submission does not allow a referee to check that theorem. Given that the main theorem uses completeness and separability both for subsequence extraction (Theorem 5.1) and for density (Theorem A.13), this dependency is load-bearing. Please supply the missing proof or make the companion paper available for review.","section":"Section 3.1 / Corollary 3.4 / [14, Theorem 4.10]"}],"minor_comments":[{"comment":"There are frequent typos and spacing errors: “SP ACES” in the title line, “W eak” in Section 5.1 heading, “T(rport” in the abstract area, and inconsistent use of “Rec +” with and without a space. These should be corrected in a final revision.","section":"Throughout"},{"comment":"The caption of Figure 1 says “The displayed arrows give d_X(b,a)=d_X(c,a)=0.1,” but the arrowheads in the figure are not visible in the text and the orientation is easy to misread. The remark would be clearer if the arrows were explicitly labeled with values.","section":"Figure 1 / Remark 2.17"},{"comment":"The notation dconc for the qm-space observable distance uses the same symbol as d_conc for gd-sets. This is acceptable because of the pullback definition, but the subscript in the qm-space case is typeset inconsistently (sometimes dconc, sometimes d_conc). Please standardize.","section":"Definitions 2.12 and 2.13"},{"comment":"In the paragraph proving the existence of a one-point object, the text says “If 1/∈ E, then □(1,P_n)=0.” It might be clearer to say that 1∈P_n for every n, so the distance from 1 to P_n is zero; then the outer condition contradicts 1/∈E. The meaning is correct but the phrasing is compressed.","section":"Appendix A.3"},{"comment":"Reference [10] is to a Japanese-language book that may not be readily accessible to all readers; the relevant theorem numbers are cited, but a short statement in the text would help. Also, reference [12] is “Manuscript in preparation” and is not available for checking the claimed three-phase limits.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's heavy reliance on [13] and [14] is not hidden, but the paper that heavily depends on the present one, [12], is listed as “Manuscript in preparation,” and [13] and [14] are only cited as preprints. This creates a triangular dependency that makes independent verification difficult. If the companion papers are already accepted or available in full, the editor may wish to request them as supplementary material. The main mathematical idea is attractive and the abstract transport framework is well-structured, so I would not reject on the basis of the unproved imports alone; however, the current submission does not yet meet the standard of a self-contained journal proof of the central compactness theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe one thing to know: this is a real extension, not a repackaging. Yokota constructs a compact space of pyramids for quasi-metric measure spaces, preserving the order of directed endpoints that Shioya's symmetric compactification discards. The route is a representation functor Rep+ into Lip_1^+(R)-gd-sets with Rec+ as right adjoint, and the associated-pyramid map embeds the concentration space into this pyramid space with dense image. Theorem 1.1 is the directed analog of Shioya's theorem, and the three-point example in §2.4 shows concretely that the directed lower set differs from the symmetric one. The secondary result, completeness and separability of (X^+, □), is also useful.\n\nCredit where due: the adjunction is genuinely new, the paper is unusually transparent about which statements come from [13] and [14], and the proofs actually carried out—box-nonexpansiveness of Rec+, closedness of domination, the appendix transport theorem—are dense but coherent. There are no fitted parameters and no invented objects. The citation pattern is not a red flag by itself.\n\nThe soft spot is exactly where the reader put it, and the stress-test note sharpens it. Theorem 1.1(i), compactness of (Π^+, d^M_Π), ultimately depends on [14, Lemma 5.4], [14, Lemma 5.6], and [14, Theorem 4.10], all imported as black boxes. Lemma 5.6 in particular is a substantive mixed domination/subsequence statement: from X_n, Y_n ⪯ Z̄_n and X_n→X, Y_n→Y it produces refinements Z_n with a □-convergent subsequence. The present paper gives no proof or informal justification, and that lemma is what makes the Painlevé–Kuratowski weak limit of pyramids directed. If it failed, Corollary 5.3 and half of Theorem 1.1(i) collapse. Section 3.2 lists these dependencies honestly, but honesty does not make them less load-bearing. This is not a flaw in the internal logic; it is a gap in independent verifiability. The conditional verdict is the right one.\n\nWho is this for? Someone working in metric measure geometry, concentration of measure, or directed data models who wants the asymmetric counterpart of Shioya's compactification. The paper deserves a serious referee—ideally one who can also read [13] and [14]. I would not rely on Theorem 1.1 in my own work until those lemmas are checked.\n\nRecommendation: send it to peer review, conditional on the companion papers being available to the referee. If [14] is still preprint-only, ask the author to include or state the proof of Lemma 5.6.","headline":"A genuinely new directed pyramidal compactification built on a clean adjunction, but its central compactness rides on unproved companion-paper lemmas; worth refereeing with those papers in hand.","tokens_in":27670,"tokens_out":2343,"would_cite":false,"duration_ms":24602,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","54E35","28A33"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every quasi-metric measure space embeds densely into a compact space of pyramids that keeps forward and reverse directions distinct.","keywords":["pyramidal compactification","quasi-metric measure space","asymmetric metric measure space","adjoint transport","box distance","one-sided Lipschitz functions","concentration topology","pyramid"],"falsifier":"A single counterexample would settle the claim: find a qm-space $X$ whose lower set $P(X)$ is not a pyramid, for instance two elements with no common upper bound inside $P(X)$ or a box-limit outside $P(X)$, or find a sequence of pyramids in $\\Pi^+$ with no weakly convergent subsequence. The paper's three-point example is its smallest confirmation, so a natural search begins with four-point qm-spaces; alternatively, a pair of qm-spaces with identical ordered measurements for all $N,R$ but different directed distances would falsify the separation of $d^{\\mathrm{M}}_{\\Pi}$.","tokens_in":26759,"feed_emoji":"🔺","tokens_out":10102,"duration_ms":89197,"temperature":0.7,"pith_summary":"Classical pyramid compactification records metric measure spaces as lower sets of dominated spaces, but it works with symmetric distances and therefore cannot tell which endpoint carries which potential. This paper removes that limitation by building the same compactification for quasi-metric measure spaces (qm-spaces): spaces whose directed distance has a complete separable symmetrization and which carry a full-support probability measure. Its central claim is that the lower set $P(X) = \\{Y \\mid Y \\preceq X\\}$ is a pyramid for every qm-space $X$, and that the associated-pyramid map $X \\mapsto P(X)$ is a $1$-Lipschitz topological embedding of the concentration-distance space into a compact metric space $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$ of all such pyramids, with dense image. The construction uses functions whose increments are bounded in only one direction, so the order of endpoints is preserved at limits. A secondary result, completeness and separability of the qm-space box-distance space, supplies the closedness and approximation machinery the argument needs.","feed_headline":"Compact pyramids now capture directed metric measure spaces","feed_subtitle":"A new adjunction preserves forward vs. reverse distances, so limits keep which endpoint is which.","key_machinery":"The load-bearing object is the pyramidal adjunction $\\mathrm{Rep}^+ \\dashv \\mathrm{Rec}^+$ between qm-spaces and one-sided-Lipschitz geometric data sets, i.e. an adjunction that transports pyramid structure and weak convergence between box-metrized categories. $\\mathrm{Rep}^+(X) = (X, \\mathrm{Lip}^+_1(X), \\mu_X)$ records the ordered increments of the space, and $\\mathrm{Rec}^+$ reconstructs the directed distance as the supremum of those increments; the adjunction is pyramidal because its unit is an isomorphism, $\\mathrm{Rep}^+$ is box-isometric, $\\mathrm{Rec}^+$ is box-nonexpansive, and the target category has domination refinement. This lets the paper transfer the gd-set pyramid compactific","core_discovery":"The paper's central discovery is a directed analogue of the pyramidal compactification. For every qm-space $X$, the set $P(X)$ of qm-spaces dominated by $X$ belongs to $\\Pi^+$, and there is a metric $d^{\\mathrm{M}}_{\\Pi}$ on $\\Pi^+$ such that $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$ is compact, the map $X \\mapsto P(X)$ is $1$-Lipschitz from $(X^+, d_{\\mathrm{conc}})$ into $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$ and is a topological embedding, and the image is dense. The engine is the representation–reconstruction adjunction $\\mathrm{Rep}^+ \\dashv \\mathrm{Rec}^+$: a qm-space is represented by the family of one-sided $1$-Lipschitz functions it admits, and the directed distance is recovered as $d^+_X(x,x') = \\s","pith_inferences":["The stated Funk-ball motivation implies the three-phase limit diagram of the beta model can be read off as weak limits inside $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$; a natural next step is to identify each phase with an explicit pyramid in $\\Pi^+$.","The transport framework is categorical, so the same pyramidal-adjunction template should produce compact pyramid spaces in any box-metrized category whose right adjoint is box-nonexpansive and whose codomain has domination refinement; the gd-set and qm-space cases are two instances of one recipe.","A testable extension is to compute ordered $(N,R)$-measurements on finite qm-spaces: because ordered measurements detect reverse-distance bounds that symmetric measurements miss, the Hausdorff terms in $d^{\\mathrm{M}}_{\\Pi}$ should distinguish spaces that the classical pyramid metric identifies."],"forward_implications":["Every sequence of qm-space pyramids has a weakly convergent subsequence in $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$, and every pyramid is a weak limit of associated pyramids $P(X_n)$.","One-sided observables keep forward and reverse distances distinct at limits, so the directed compactification carries strictly more information than the symmetrized theory; the paper's three-point example illustrates the bound that symmetric box limits lose.","The box-distance space $(X^+, \\square)$ is complete and separable, providing a Polish background for convergence of directed metric measure spaces.","The associated-pyramid map satisfies $d^{\\mathrm{M}}_{\\Pi}(P(X),P(Y)) \\le d_{\\mathrm{conc}}(X,Y)$, so concentration convergence of qm-spaces implies weak convergence of their pyramids, and conversely weak convergence of the pyramids forces concentration convergence on the image."],"supporting_citations":[{"why":"Base theory of metric measure spaces: concentration and box distances, pyramid definitions, and the Prokhorov and subtransport criteria used in the measurement estimates.","marker":"[8]"},{"why":"Companion geometric-data-set theory; supplies gd-set box and observable distances, isomorphism and domination machinery reused throughout.","marker":"[13]"},{"why":"Companion theory of L-compact gd-sets; source of domination refinement, weak-limit compactness, and the measurement metric on the gd-set side.","marker":"[14]"},{"why":"Shows the box distance is a metric on gd-sets, giving separation and the triangle inequality for the pullback box distance on qm-spaces.","marker":"[13, Proposition 5.13]"},{"why":"Closedness of domination under concentration; used to prove lower sets are box-closed and to carry limiting dominations across the transport.","marker":"[13, Theorem 4.16]"},{"why":"Completeness and separability of the L-compact gd-set box space; used to conclude completeness and separability of the qm-space box space and to extract subsequences for pyramids.","marker":"[14, Theorem 4.10]"},{"why":"Domination refinement for L-compact gd-sets; the key black box that transfers dominated limits and makes the adjunction pyramidal.","marker":"[14, Lemma 5.4]"},{"why":"Establishes the associated-pyramid embedding and compactification on the gd-set side, which the qm-space theorem pulls back.","marker":"[14, Proposition 7.3]"},{"why":"Introduces the one-sided semi-Lipschitz function class that defines the ordered observables preserving endpoint direction.","marker":"[7]"}],"fun_headline_variants":["Compact pyramids capture directed metric measure spaces","Pyramids turn directed distances into compact limits","Adjunction yields dense embedding into compact pyramids","Directed measure spaces get compact pyramid representation","Asymmetric metric spaces now have compact pyramid limits"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The proof rests on unproved companion-paper results about geometric data sets, especially the domination-refinement lemma and the completeness and separability of the box-distance space; if any of those lemmas is false, the pyramid-transport argument and the compactness of $(\\Pi^+, d^{\\mathrm{M}}_{\\Pi})$ collapse.","fun_headline_variants_meta":{"raw":{"variants":["Compact pyramids capture directed metric measure spaces","Pyramids turn directed distances into compact limits","Adjunction yields dense embedding into compact pyramids","Directed measure spaces get compact pyramid representation","Asymmetric metric spaces now have compact pyramid limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000802,"raw_usage":{"total_tokens":3331,"prompt_tokens":686,"completion_tokens":2645,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":2589}},"tokens_in":430,"tokens_out":2645,"duration_ms":16934,"temperature":1.0,"reasoning_tokens":2589,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:25:54.538605+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A single counterexample would settle the claim: find a qm-space $X$ whose lower set $P(X)$ is not a pyramid, for instance two elements with no common upper bound inside $P(X)$ or a box-limit outside $P(X)$, or find a sequence of pyramids in $\\Pi^+$ with no weakly convergent subsequence. The paper's three-point example is its smallest confirmation, so a natural search begins with four-point qm-spaces; alternatively, a pair of qm-spaces with identical ordered measurements for all $N,R$ but different directed distances would falsify the separation of $d^{\\mathrm{M}}_{\\Pi}$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion geometric-data-set theory; supplies gd-set box and observable distances, isomorphism and domination machinery reused throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Companion theory of L-compact gd-sets; source of domination refinement, weak-limit compactness, and the measurement metric on the gd-set side."},{"cited_title":"Romaguera and M","cited_arxiv_id":null,"evidence_quote":"Introduces the one-sided semi-Lipschitz function class that defines the ordered observables preserving endpoint direction."}],"review_version":1}