{"id":"b9024fcb-10e4-4277-96a6-95361e45a936","arxiv_id":"2606.00749","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves that quantum parcels in IQM with large effective dimension have expectation intervals concentrating to microcanonical values via Reimann's spectral typicality theorem, including for double parcels separated by a conserved quantity.","lead":"The paper proves that in Interval Quantum Mechanics, expectation intervals of bounded observables in quantum parcels with large effective dimension concentrate around microcanonical values for most late times, with the bound depending only on minimal effective dimension. A smart generalist might read it to see how imprecise finite-precision measurements can still yield thermalization predictions in quantum systems.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Reimann's spectral typicality may require extra steps to apply uniformly to convex parcels rather than individual states","rationale":"The reader's weakest_assumption matches the precise point at which the argument could fail: the direct transfer of a per-state typicality result to the convex-set interval. No other internal inconsistency is visible from the abstract, and the full-text reference does not alter this assessment.","tokens_in":1748,"tokens_out":324,"duration_ms":16705,"concrete_test":"In the single-parcel theorem proof, locate the invocation of Reimann's result and check whether it is applied to an arbitrary state \rho in the parcel or whether an explicit uniform estimate (e.g., via the min effective dimension) is derived for both the upper and lower envelope of the observable interval; recompute the bound if the uniformity step is omitted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim states that if every state in the parcel has large effective dimension then the full expectation interval concentrates around the microcanonical value, with the bound depending only on the minimal effective dimension. Reimann's theorem supplies concentration for individual states (typically pure or with a given density matrix). For the interval result to follow, the proof must establish a uniform bound over the entire convex set without the bound degrading for some convex combinations or boundary states. The abstract invokes the theorem directly on the parcels; if the manuscript only applies it pointwise and then takes sup/inf without controlling the uniformity, the shape-independence claim rests on an unverified extension.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript combines Reimann's spectral typicality theorem with Interval Quantum Mechanics (IQM), representing states as quantum parcels (weak open convex sets of density matrices defined by finitely many expectation intervals). It claims to prove that, for a single parcel in which every state has large effective dimension, the expectation interval of any bounded observable concentrates around the microcanonical value for most late times, with the asymptotic bound depending only on the minimal effective dimension within the parcel (not its detailed shape). A parallel result is stated for double parcels separated by a conserved quantity Q*, including preservation of separation and validity after fuzzy measurement.","tokens_in":1872,"tokens_out":610,"duration_ms":14115,"significance":"If the uniformity of the bound over convex parcels is rigorously established, the work supplies a parameter-free extension of quantum ergodicity results to epistemic representations arising from finite-precision measurements. This is a genuine strength: the central bound is claimed to be independent of parcel shape once the min effective dimension condition holds, and the double-parcel construction preserves exact separation by Q*. The framework is internally consistent with the cited external theorem and introduces no free parameters or ad-hoc fitting.","major_comments":[{"comment":"Abstract and the single-parcel theorem (likely §3–4): the claim that the asymptotic bound depends only on the minimal effective dimension requires an explicit uniformity argument showing that sup_{ρ in parcel} Prob[|Tr(Oρ) - microcanonical| > ε] is controlled by min d_eff rather than degrading for some convex combinations or boundary states. Reimann's theorem supplies pointwise concentration; the manuscript must demonstrate that taking the interval (sup/inf over the convex set) does not introduce additional factors that depend on parcel geometry.","section":"Abstract; single-parcel theorem"},{"comment":"Double-parcel construction (likely §5): the statement that both parcels concentrate near their respective microcanonical values while the separation by Q* is preserved exactly must be shown to survive the fuzzy measurement update without the effective-dimension condition being violated on the updated convex sets. The current sketch invokes the theorem directly on the parcels; an explicit check that the post-measurement sets remain inside the original energy shell and retain large min d_eff is needed.","section":"Double-parcel section"}],"minor_comments":[{"comment":"Notation for quantum parcels: the definition as 'weak open convex sets' should be accompanied by a precise statement of the topology and the finite number of interval constraints in the first paragraph of the IQM section.","section":"IQM framework"},{"comment":"The phrase 'most late times' should be quantified (e.g., measure of the time set in the limit T→∞) to match the standard formulation in Reimann's theorem.","section":"Abstract and main theorems"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thorough review and for recognizing the potential significance of our results. We address each major comment below.","responses":[{"response":"The referee correctly identifies the need for clarity on this uniformity. Reimann's theorem yields, for each fixed ρ, a time-averaged probability bound that is a decreasing function of d_eff(ρ). Given that the parcel condition enforces d_eff(ρ) ≥ D for all ρ in the parcel, where D is the minimal effective dimension, the probability for every ρ is bounded above by the value at D. Hence the supremum over the parcel is likewise bounded solely in terms of D, independent of the specific geometry or boundary states. The interval (sup/inf) does not introduce extra factors because the concentration is established uniformly via this worst-case bound. We will revise the manuscript to include an explicit statement of this argument in the relevant sections.","revision_made":"yes","referee_comment":"[Abstract; single-parcel theorem] Abstract and the single-parcel theorem (likely §3–4): the claim that the asymptotic bound depends only on the minimal effective dimension requires an explicit uniformity argument showing that sup_{ρ in parcel} Prob[|Tr(Oρ) - microcanonical| > ε] is controlled by min d_eff rather than degrading for some convex combinations or boundary states. Reimann's theorem supplies pointwise concentration; the manuscript must demonstrate that taking the interval (sup/inf over the convex set) does not introduce additional factors that depend on parcel geometry."},{"response":"We appreciate this observation. The fuzzy measurement is performed with a projector supported within the energy shell, so the post-update parcels are obtained by conditioning within the same shell. This ensures they remain inside the original energy shell. Since effective dimension is determined by the spectral properties within the shell and the parcel is a convex subset, the minimal effective dimension is preserved or improved. The separation by the conserved Q* is unaffected as the measurement does not couple the two components. We will add an explicit verification of these properties in §5 to address the concern.","revision_made":"yes","referee_comment":"[Double-parcel section] Double-parcel construction (likely §5): the statement that both parcels concentrate near their respective microcanonical values while the separation by Q* is preserved exactly must be shown to survive the fuzzy measurement update without the effective-dimension condition being violated on the updated convex sets. The current sketch invokes the theorem directly on the parcels; an explicit check that the post-measurement sets remain inside the original energy shell and retain large min d_eff is needed."}],"tokens_in":1469,"tokens_out":559,"duration_ms":24839,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper takes Reimann's spectral typicality result and applies it inside the Interval Quantum Mechanics setup, where states are represented as quantum parcels—weak open convex sets of density matrices coming from finite-precision measurements. For a single parcel in which every state has large effective dimension, the expectation interval of any bounded observable concentrates around the microcanonical value at late times, and the bound depends only on the smallest effective dimension inside the parcel rather than its detailed shape. For the double-parcel case with a conserved quantity Q* separating the two components inside an energy shell, both intervals concentrate near their microcanonical values while the separation is preserved exactly, even after a fuzzy measurement.\n\nThis is the actual new material: the single-parcel shape-independent bound and the double-parcel construction that keeps the conserved quantity intact. The framing as epistemic knowledge from macroscopic measurements is consistent and the reliance on Reimann is direct rather than circular.\n\nThe soft spot is exactly the one flagged in the stress-test note. Reimann supplies concentration for individual states; to get the interval result you need the bound to hold uniformly across the whole convex set so that the sup and inf both tighten without the worst-case convex combination degrading the estimate. The abstract states that the bound depends only on the minimal effective dimension, which would follow if the proof controls uniformity properly, but nothing in the provided text shows the extra steps that would confirm this. If the manuscript only invokes the theorem pointwise and then takes sup/inf, the shape-independence claim rests on an unverified extension. The double-parcel argument looks tighter because the conserved quantity supplies an explicit separation mechanism.\n\nThis is niche work aimed at people already working on quantum thermalization and non-standard state representations. A reader interested in epistemic or interval-based formulations would find the specific parcel results useful. It deserves a serious referee because the central claims are motivated and the framework is internally coherent, even though the uniformity argument will need to be checked in detail.","headline":"Extends Reimann's spectral typicality to convex IQM parcels with concentration bounds set by minimal effective dimension, but the uniformity step over the full convex set is the part that still needs verification.","tokens_in":2355,"tokens_out":483,"would_cite":false,"duration_ms":17988,"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":"In interval quantum mechanics, expectation intervals of bounded observables concentrate around microcanonical values for parcels where every state has large effective dimension.","keywords":["quantum ergodicity","thermalization","interval quantum mechanics","quantum parcels","spectral typicality","effective dimension","microcanonical ensemble","density matrices"],"falsifier":"Observation of a single quantum parcel satisfying the uniform large effective dimension condition in which the expectation interval of some bounded observable fails to concentrate around the microcanonical value for most late times.","tokens_in":2617,"feed_emoji":"","tokens_out":760,"duration_ms":14098,"temperature":0.7,"pith_summary":"The paper combines Reimann's spectral typicality theorem with Interval Quantum Mechanics, in which states are represented by quantum parcels rather than single density matrices. These parcels are weak open convex sets of density matrices fixed by finitely many expectation intervals, capturing the epistemic content of finite-precision measurements. It establishes that when every state in a single parcel meets the large effective dimension condition, the interval for any bounded observable narrows to the microcanonical value for most late times. The width of this concentration is controlled solely by the smallest effective dimension present in the parcel. A parallel result holds for double parcels separated by a conserved quantity, where both components concentrate while their separation is preserved exactly.","feed_headline":"Quantum parcels concentrate to microcanonical values","feed_subtitle":"When every state has large effective dimension, observable intervals narrow around the microcanonical value for most late times, bound set b","key_machinery":"Quantum parcels as weak open convex sets of density matrices in Interval Quantum Mechanics, to which Reimann's spectral typicality theorem is applied.","core_discovery":"In Interval Quantum Mechanics, quantum states are represented by quantum parcels: weak open convex sets of density matrices defined by finitely many expectation intervals. For a single parcel in which every state has large effective dimension, the expectation interval of any bounded observable becomes concentrated around the microcanonical value for most late times, with the asymptotic bound depending only on the minimal effective dimension within the parcel and independent of the parcel's detailed shape. For a double parcel with both components inside an energy shell and separated by a conserved quantity supported on the measurement projector range, the expectation intervals of both parcels","pith_inferences":["The shape-independence of the bound may allow thermalization statements to be checked using only the worst-case state inside a parcel rather than the full set.","The preservation of separation under conserved quantities suggests a route to describing thermalization in the presence of additional macroscopic constraints.","The framework could be used to track how finite-precision updates affect the long-time behavior of expectation intervals without requiring point-state descriptions."],"forward_implications":["The concentration bound for any bounded observable depends only on the minimal effective dimension in the parcel and is independent of the parcel's detailed shape.","In a double parcel separated by a conserved quantity, both components concentrate near microcanonical values while their exact separation is preserved.","After a fuzzy measurement on a double parcel, the updated parcel remains a valid representation of the epistemic knowledge.","The results apply to any bounded observable once the parcel meets the uniform large effective dimension requirement."],"fun_headline_variants":["Quantum parcels concentrate near microcanonical in IQM","Single parcels narrow intervals to microcanonical","Double parcels keep separation while concentrating","Parcel bound depends solely on min effective dimension","Fuzzy measurement keeps double parcel valid in IQM"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Reimann's spectral typicality theorem applies directly to the convex sets of density matrices that define the quantum parcels, with the large effective dimension condition holding uniformly for all states in the parcel.","fun_headline_variants_meta":{"raw":{"variants":["Quantum parcels concentrate near microcanonical in IQM","Single parcels narrow intervals to microcanonical","Double parcels keep separation while concentrating","Parcel bound depends solely on min effective dimension","Fuzzy measurement keeps double parcel valid in IQM"]},"model":"grok-4.3","cost_usd":0.006307,"raw_usage":{"total_tokens":2973,"prompt_tokens":685,"num_sources_used":0,"completion_tokens":64,"cost_in_usd_ticks":63074500,"prompt_tokens_details":{"text_tokens":685,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2224,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":685,"tokens_out":64,"duration_ms":14346,"temperature":1.0,"reasoning_tokens":2224,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T18:34:29.024693+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Observation of a single quantum parcel satisfying the uniform large effective dimension condition in which the expectation interval of some bounded observable fails to concentrate around the microcanonical value for most late times.","supporting_citations":[],"review_version":1}