{"id":"b9249de3-9cd5-45c8-b157-9642c418749e","arxiv_id":"1908.06840","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper extends the f-implicit extremal integral from simple functions to all of L^α_+, establishing its distributional, max-linearity, independence, and monotonicity properties.","lead":"This paper builds a new kind of integral for 'implicit' max-stable random measures, where the maximum is selected by a loss function instead of raw values. It proves the integral exists for all integrable nonnegative functions and recovers classical extremal integrals as a special case.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.11 is conditional on unverified results from the unpublished thesis [7]; without independent confirmation of Proposition 2.3 and the simple-function calculus, the extension to L^α_+ is not established.","rationale":"The reader's weakest_assumption identifies the same load-bearing point: the paper inherits existence of M and the simple-function integral calculus from the unpublished thesis [7]. My review confirms that these are not optional, since every major proof—Proposition 3.6, Theorem 3.11, Lemma 4.1, Lemma 4.5, Proposition 4.2—invokes them. The false degenerate case in Lemma 3.3 is an internal defect but does not by itself invalidate the main theorem because the degenerate scenario is avoided in the applications; however, it underscores the need for careful verification of the cited foundations. I did not find an additional internal inconsistency that would force a different verdict. Thus the reader's CONDITIONAL verdict is appropriate and no adjustment is needed.","tokens_in":21617,"tokens_out":18104,"duration_ms":183822,"concrete_test":"Obtain the thesis [7] and verify three statements: (a) Theorem 3.1.12: the constructed M satisfies (RM1)–(RM2) a.s. with M(A)∼Φ^f_{α,κ}(m(A)^{1/α}); (b) Proposition 3.2.4: for simple g, I(g) is well-defined a.s., f(I(g))∼Φ_α(||g||_α), max-linearity holds, and g1g2=0 m-a.e. gives independence; (c) Lemma 3.1.14: f(X_n-Y_n)→0 in probability implies X_n-Y_n→0. An independent partial check of (a) is to construct M explicitly via a Poisson point process on E×S with intensity α r^{-α-1} dr m(ds)κ(dθ) and set M(A) to the point with maximal r in A; confirm (RM2) and the Fréchet margins. If all three hold, Theorem 3.11 stands; if any fails, the integral extension is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim I(M)=L^α_+(m) rests on foundations that the paper neither proves nor makes available. Proposition 2.3 (existence of the f-implicit α-Fréchet sup-measure M) and Proposition 3.2.4 together with Lemma 3.1.14 from [7] are used as black boxes at every critical step: monotonicity of f(I(g_n)) for gn↑g, max-linearity and independence for simple functions, and the implication f(X_n-Y_n)→0 ⇒ X_n-Y_n→0 (in Lemma 4.1 and Lemma 4.5). If any of these cited statements is false or has a hidden hypothesis, the gap argument of Proposition 3.6, the convergence proof of Theorem 3.11, and the properties in Proposition 4.2 collapse. The paper also contains a false degenerate case in Lemma 3.3 (all σ_j=0), which shows that the paper's own auxiliary results are not fully robust; this makes the reliance on unverified external results more concerning. The thesis [7] is not publicly available, so a reader cannot currently certify the basis of the main theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an f-implicit extremal integral for nonnegative deterministic functions with respect to an f-implicit alpha-Frechet sup-measure M. The main result, Theorem 3.11, asserts that the class of M-integrable functions is exactly L^alpha_+(m), that for any g in this class the integral is obtained as the probability limit of I(g_n) for simple g_n increasing to g, and that this limit is almost surely independent of the approximating sequence. Section 4 then derives the main calculus properties: f-implicit alpha-Frechet marginals with scale ||g||_alpha, max-linearity, the independence criterion g1 g2 = 0 m-a.e., monotonicity, and a convergence theorem characterizing convergence of integrals by L1-convergence of g^alpha. The paper also recovers the classical max-stable extremal integral of Stoev and Taqqu as a special case and constructs f-implicit max-stable processes from integrals.","tokens_in":21853,"tokens_out":15022,"duration_ms":135031,"significance":"Assuming the quoted results from [7] are valid, the paper delivers a complete integral calculus for f-implicit sup-measures, solving the open extension problem raised in [7] and closely paralleling the Stoev-Taqqu theory. The proof of Theorem 3.11 is the technical heart of the paper and is carried out in detail through the gap lemmas, Proposition 3.6, Proposition 3.9, and Lemma 3.10; this is an original and non-obvious technique. The paper also gives a clean statement of useful properties (Proposition 4.2) and an application to f-implicit max-stable processes (Proposition 4.9). The main caveat is that several foundational inputs are quoted from an apparently unpublished thesis, so the significance is conditional on the correctness and accessibility of that source.","major_comments":[{"comment":"The central theorem is conditional on several results from [7] that are not proved in the paper and apparently are not publicly available: Proposition 2.3 (existence of the f-implicit sup-measure M, cited as Theorem 3.1.12 of [7]), Proposition 3.2.3/3.2.4 and Lemma 3.1.14 of [7] (unique representation, distribution and monotonicity of the simple-function integral, and the implication f(X_n - Y_n) -> 0 implies X_n - Y_n -> 0). These are used at load-bearing steps in Proposition 3.6, Proposition 3.9, Lemma 3.10, Lemma 4.1, Lemma 4.5, and parts of Proposition 4.2. Since [7] is cited as a PhD thesis with no year and no URL, a reader cannot currently certify these foundations. The author should either provide the missing proofs in an appendix or point to a freely accessible version of [7] where all quoted results appear.","section":"Section 2, Proposition 2.3; Section 3, Theorem 3.11"},{"comment":"Lemma 3.3 is false as stated. If all sigma_j = 0, then each f(X_j) = 0 a.s. and, because f(x) = 0 only for x = 0, each X_j = 0 a.s.; hence f(vee_f X_j) = 0 = f(vee^*_f X_j) a.s., so the left-hand probability is 1, while the right-hand side 1 - (1+gamma)^(-alpha) is strictly less than 1. The proof begins 'Without loss of generality we can assume that sigma_j > 0', which is not a valid reduction. This lemma is used in the proof of Proposition 3.6; in that application the all-zero case is excluded by the positivity of the limit Y^*, so the argument is likely repairable, but the statement and proof need a corrected hypothesis (for example, that not all sigma_j are zero) or a separate treatment of the degenerate case.","section":"Section 3, Lemma 3.3"}],"minor_comments":[{"comment":"In the proof of Lemma 3.7, the displayed line 'the assertion would follow if we could show that f(beta_1 x_1) vee_f ... vee_f f(beta_k x_k) = beta_{j0} x_{j0}' should read 'beta_1 x_1 vee_f ... vee_f beta_k x_k = beta_{j0} x_{j0}', since the operation vee_f is defined on R^d, not on R.","section":"Section 3, Lemma 3.7"},{"comment":"In the proof of Proposition 4.2(ii), the decomposition near the end writes 'g_i = g_i 1_{g1 <= g2} vee 1_{g1 > g2}'; the second indicator should carry the factor g_i, i.e. the term should be g_i 1_{g1 > g2}.","section":"Section 4, Proposition 4.2"},{"comment":"The proof of the first implication in Theorem 4.3 is not self-contained: it says 'we can mostly follow the proof of Theorem 2.1 in [14]' and 'The details are left to the reader.' Since this is a stated theorem, either provide the full argument or state the reduction to Theorem 2.1 of [14] more explicitly, with the modifications needed in the f-implicit setting.","section":"Section 4, Theorem 4.3"},{"comment":"Reference [7] is a PhD thesis with no year and no repository or URL; please add this information so that readers can verify the results quoted from it.","section":"References"},{"comment":"The proof of Lemma 3.10 switches between E_k and E_l in equations (3.18) and (3.19); the subscripts should be consistent. The typesetting of the norms in (3.19) also has an extra alpha that should be cleaned up.","section":"Section 3, Lemma 3.10"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the accessibility of [7]. If the thesis is available in a university repository, the author should provide the link; if not, the edior should request that the key foundational results be reproduced in the paper or a supplement. The false statement in Lemma 3.3 is a straightforward fix, but it should not go to press in its current form. The citation pattern is self-adjacent but not circular; the issue is verifiability rather than circularity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read Kremer's paper on f-implicit max-stable extremal integrals. The short version: it is a real contribution with a nontrivial proof strategy, but the main theorem is only as solid as the unpublished PhD thesis [7], and there is a small false statement in Lemma 3.3.\n\nThe paper defines an integral for all L^α_+ functions with respect to f-implicit sup-measures, extends the simple-function integral from [7], and proves I(M)=L^α_+(m). The tools are not routine: because ∨_f is neither commutative nor continuous, the gap Lemma 3.3, the stability Lemma 3.7, and the truncation argument in Proposition 3.9 require real work. The properties in Proposition 4.2 (max-linearity, independence criterion, monotonicity) are natural and mostly useful, and Example 4.7 correctly recovers the classical extremal integral as a special case.\n\nSoft spots, in proportion. Lemma 3.3 is false when all σ_j = 0: the probability on the left is 1 while the bound is < 1. This is easily fixed by assuming at least one positive scale, and Proposition 3.6 handles the zero-norm case separately, so it is a minor technical blemish, not a crash. The bigger issue is that Proposition 2.3 (existence of f-implicit sup-measures) and the simple-function calculus (Proposition 3.2.4 and Lemma 3.1.14 from [7]) are imported wholesale from a thesis that is not publicly available. The paper does not re-prove them, and they are used at every critical step: monotonicity of f(I(g_n)) for g_n ↑ g, max-linearity and independence for simple functions, and the implication f(X_n−Y_n)→0 ⇒ X_n−Y_n→0 in Lemmas 4.1 and 4.5. A referee cannot fully certify the main theorem without access to [7]. This is not circular—the new results do follow from definitions plus those cited foundations—but it is a serious dependence that should be addressed.\n\nAlso, Theorem 4.3's proof leaves one direction to the reader, and parts of Proposition 4.2 rely on [7] as well. Minor presentation issue: the statement of Theorem 4.3 has a missing '∈' before L^α_+(m).\n\nOverall: if [7]'s results are correct, this is a solid and useful paper. I would send it to peer review, but I would ask the author to make [7] accessible or to include the needed foundational statements as an appendix.\n\nRecommendation: deserves a serious referee, contingent on the foundational material being verified.","headline":"Genuine and mostly well-built extension of extremal integrals to the f-implicit setting, but the central theorem leans heavily on an unpublished thesis and one lemma has a false degenerate case.","tokens_in":22382,"tokens_out":2583,"would_cite":false,"duration_ms":26799,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60G57","60G60","60G70"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper extends the f-implicit extremal integral from simple functions to every nonnegative function with finite L^α norm, proving the limit is almost surely independent of the approximating sequence.","keywords":["implicit max-stable distributions","independently scattered random sup-measures","stochastic integrals","extremal integrals","alpha-Frechet distributions","max-stable processes","loss function","L^alpha integrable functions"],"falsifier":"Take E=[0,1] with Lebesgue measure, f(x)=|x| on R, α=1, and g≡1; approximate g by two different dyadic step-function sequences and check whether the empirical distributions of the integrals coincide with $Φ^{1}$_{1,ε_1}(1) and do not depend on the approximation. A scheme-dependent limit, or a limit whose f-value is not α-Fréchet with scale 1, would refute Theorem 3.11 and Proposition 4.2.","tokens_in":21409,"feed_emoji":"📊","tokens_out":7203,"duration_ms":66995,"temperature":0.7,"pith_summary":"This paper is trying to establish that the f-implicit extremal integral, previously defined only for simple functions with respect to an f-implicit sup-measure, can be extended to every nonnegative measurable function with finite L^α norm. The extension is built as a limit in probability over increasing simple-function approximations, and a main result asserts the limit exists and is almost surely independent of the approximating sequence. If correct, this gives a complete integral calculus for f-implicit max-stable sup-measures: the integral has f-implicit α-Fréchet margins, obeys a max-linearity identity, and is an independence-preserving, monotone map from integrands to random vectors. It also recovers the classical max-stable extremal integral as the special case where the loss function is the absolute value on a one-dimensional space. The motivation is to construct stochastic processes with f-implicit max-stable finite-dimensional margins, which the paper does in Proposition 4.9.","feed_headline":"Implicit max-stable integrals extend to all nonnegative L^α functions","feed_subtitle":"New stochastic integral for f-implicit sup-measures works on all L^α integrands and yields the classical extremal case.","key_machinery":"The load-bearing machinery is the gap behind the attained ∨_f-maximum, quantified in Lemma 3.3: when independent summands have α-Fréchet f-values, the probability that a given component wins but another component comes within a factor 1+γ of it is at most 1-(1+γ)^{-α}. This gap, combined with Lemma 3.7, which turns a uniform gap f(ζ) ≥ (1+δ)f(ζ*) into Lipschitz-type control of the ∨_f-combination under small coefficient perturbations, lets the paper show that approximating integrals form a Cauchy sequence in probability despite the ∨_f operation being neither commutative nor continuous. Egorov's theorem is then used to reduce pointwise convergence of simple integrands to uniform convergence on sets of almost full measure, and a consistency condition on partitions keeps the successive approximations comparable.","core_discovery":"The central claim is Theorem 3.11: for a fixed f-implicit α-Fréchet sup-measure M on a σ-finite measure space (E,E,m), the class of M-integrable nonnegative functions is exactly L^α_+(m), and for every g in that class, any sequence of simple functions g_n ↑ g yields a probability limit I(g) that is almost surely independent of the sequence. The resulting map g ↦ I(g) satisfies f(I(g)) ∼ Φ_α(||g||_α), the max-linearity identity I(a g_1 ∨ b g_2) = a I(g_1) ∨_f b I(g_2), independence of I(g_1) and I(g_2) exactly when g_1 g_2 = 0 m-a.e., and monotonicity in the ≤_f order. The paper also proves a convergence theorem identifying convergence in probability of I(g_n) with L^α-convergence of the integrands. The author presents this as solving the open problem from [7] of extending the simple-function integral, and notes that the classical extremal integrals from [14] are contained as a special case.","pith_inferences":["The gap estimates that make the proof work do not use the particular form of the loss function beyond continuity, zero-set, and 1-homogeneity; the same Cauchy-in-probability argument should therefore survive small perturbations of f, suggesting a stability result the paper does not state.","Because the integral is linear in the ∨_f sense and independent of approximation scheme, it gives a representation toolkit for f-implicit max-stable processes; a natural next step the paper leaves open is a spectral representation converse, showing every such process can be written as I(g_t) for some sup-measure.","Theorem 4.3 suggests that L^α-convergence of integrands is the correct topology for the integral; one could test whether the map g ↦ I(g) is continuous in the stronger sense of convergence in probability with respect to the L^α-norm, extending the stated equivalence.","Remark 4.6 mentions signed or matrix-valued integrands; the difficulties there hint that a ∨_f-based definition using positive and negative parts, rather than subtraction, is the more coherent extension, and the B-homogeneous case would need new estimates because Lemma 3.7 fails."],"forward_implications":["Every function g with ∫ g^α dm < ∞ is M-integrable, and the value I(g) is almost surely the same for every increasing simple-function approximation; the integral is therefore a well-defined map on L^α_+(m).","For each integrand g, I(g) is f-implicit α-Fréchet with scale ||g||_α, so f(I(g)) follows a univariate α-Fréchet law with that scale.","The integral is f-implicit max-linear: I(a g_1 ∨ b g_2) = a I(g_1) ∨_f b I(g_2) almost surely, and I(g_1) and I(g_2) are independent precisely when g_1 g_2 = 0 m-a.e.","For any family of integrands (g_t), the process X(t) = I(g_t) is f-implicit max-stable, with finite-dimensional ∨_f-combinations having the f-implicit α-Fréchet law with scale ||∨_j a_j g_{t_j}||_α.","Taking f = |·| on R, the construction reduces to the classical extremal integral of [14], reproducing its max-linearity and convergence theorems."],"supporting_citations":[{"why":"Supplies the f-implicit α-Fréchet sup-measures, the simple-function integral, and the foundational propositions (2.3, 3.2.4, 3.1.14) on which Theorem 3.11 builds.","marker":"[7]"},{"why":"Provides the classical extremal integral for α-Fréchet sup-measures, whose construction, convergence theorems, and max-linearity the paper extends and recovers.","marker":"[14]"},{"why":"Introduces implicit extreme value distributions and implicit max-stable laws, giving the distributional objects the integral is designed to produce.","marker":"[13]"},{"why":"Establishes the α-stable stochastic integral framework that motivates the approximation-by-simple-functions procedure.","marker":"[12]"},{"why":"Supplies the Egorov theorem used to pass from pointwise convergence to uniform convergence on almost-full-measure sets needed for Proposition 3.9.","marker":"[6]"},{"why":"Provides the probability convergence facts, such as the subsequence characterization, used in Theorem 4.3.","marker":"[2]"},{"why":"Provides the Cauchy-in-probability criterion used to identify the limit in Proposition 3.9.","marker":"[8]"}],"fun_headline_variants":["Implicit max-stable integrals reach full L^α class","All L^α functions integrable for implicit max-stable measures","Implicit extremal integrals: L^α+ is exactly the integrable class","Open problem closed: implicit integrals work on all L^α+"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument inherits from the unpublished thesis [7] the existence of f-implicit α-Fréchet sup-measures and the basic properties of the integral for simple functions; if any of those borrowed results is false or inaccessible, the L^α extension and its properties collapse.","fun_headline_variants_meta":{"raw":{"variants":["Implicit max-stable integrals reach full L^α class","All L^α functions integrable for implicit max-stable measures","Implicit extremal integrals: L^α+ is exactly the integrable class","Open problem closed: implicit integrals work on all L^α+"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000585,"raw_usage":{"total_tokens":2744,"prompt_tokens":933,"completion_tokens":1811,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":1734}},"tokens_in":549,"tokens_out":1811,"duration_ms":14086,"temperature":1.0,"reasoning_tokens":1734,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:33:49.021147+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take E=[0,1] with Lebesgue measure, f(x)=|x| on R, α=1, and g≡1; approximate g by two different dyadic step-function sequences and check whether the empirical distributions of the integrals coincide with $Φ^{1}$_{1,ε_1}(1) and do not depend on the approximation. A scheme-dependent limit, or a limit whose f-value is not α-Fréchet with scale 1, would refute Theorem 3.11 and Proposition 4.2.","supporting_citations":[{"cited_title":"Goldbach","cited_arxiv_id":null,"evidence_quote":"Supplies the f-implicit α-Fréchet sup-measures, the simple-function integral, and the foundational propositions (2.3, 3.2.4, 3.1.14) on which Theorem 3.11 builds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the classical extremal integral for α-Fréchet sup-measures, whose construction, convergence theorems, and max-linearity the paper extends and recovers."},{"cited_title":"Scheffler and S","cited_arxiv_id":null,"evidence_quote":"Introduces implicit extreme value distributions and implicit max-stable laws, giving the distributional objects the integral is designed to produce."},{"cited_title":"Samoradnitsky and M","cited_arxiv_id":null,"evidence_quote":"Establishes the α-stable stochastic integral framework that motivates the approximation-by-simple-functions procedure."},{"cited_title":"Elstrodt","cited_arxiv_id":null,"evidence_quote":"Supplies the Egorov theorem used to pass from pointwise convergence to uniform convergence on almost-full-measure sets needed for Proposition 3.9."},{"cited_title":"Billingsley","cited_arxiv_id":null,"evidence_quote":"Provides the probability convergence facts, such as the subsequence characterization, used in Theorem 4.3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Cauchy-in-probability criterion used to identify the limit in Proposition 3.9."}],"review_version":1}