{"id":"732e7348-f8b9-4bf5-8056-71aa46fc793f","arxiv_id":"2505.17271","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"In a repeated market where scarce goods require tradable buying rights, a greedy equilibrium cuts asymptotic buyer frustration to at most half of the free-market level.","lead":"The paper studies a repeated market where a central authority hands out tradable buying rights that must accompany each purchase of a scarce good. It proves that under a proposed 'greedy' strategy, this hybrid system cuts the gap between buyers' entitlements and what they actually receive to at most half of the free-market level.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Proposition 3.13 never establishes the contraction inequality, so the asymptotic price convergence and the half-frustration bound of Theorem 3.16 are unsupported as written.","rationale":"The reader's weakest_assumption focuses on the stationarity of inflows, which the paper itself concedes is critical. I agree that is a limitation, but the more immediate obstacle is internal: the proof of Proposition 3.13, the engine of Theorem 3.16, is incomplete at its key contraction step. The displayed Eq. (12) is followed by an unfinished sentence and a case split that establishes only inequalities of the form p_τ>1 or p_τ<1. No argument shows the ratio of successive deviations from 1 is strictly less than 1, so the claimed convergence to the free-market price is not demonstrated. Because Theorem 3.16 explicitly invokes the asymptotic regime p_τ→1 to replace Eq. (7) by the fixed point M_b=(m_b+R_b)/2 and to compare frustration with the free market, the half-frustration bound is unsupported as written. This does not mean the theorem is false; it means the paper has not yet supplied the proof. The same applies, to a lesser extent, to Lemma 3.8's unproven identity (11), which supports the equilibrium claim of Theorem 3.5. These gaps align with the reader's conditional verdict and strengthen it: the paper needs a complete convergence proof (or a corrected statement) before the main claims can be accepted. My recommendation is therefore to keep the verdict CONDITIONAL/UNCHANGED.","tokens_in":23989,"tokens_out":21471,"duration_ms":163496,"concrete_test":"Complete the contraction proof: from Eq. (12) and the two sign cases, derive an explicit bound showing |p_{τ+1}−1|/|p_τ−1| < 1 for all p_τ≠1. As a computational cross-check, simulate the exact Greedy dynamics on a grid of (m_b,R_b) with Σm_b=1 and ΣR_b=1, and compute the maximum ratio over one step; if any state yields ratio ≥1 (excluding p_τ=1), Proposition 3.13 is false. If the bound holds numerically but no proof is supplied, Theorem 3.16 should be flagged as unproven.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.3, proof of Proposition 3.13: after deriving Eq. (12), the text reads 'so the contraction condition is' and then splits into two cases, but it never proves |p_{τ+1}−1|/|p_τ−1| < 1. The case analysis only produces sign conditions such as p_τ>1 or p_τ<1; it does not bound the ratio. Hence p_τ→1 is not established. Theorem 3.16 relies on this convergence: the asymptotic fixed point M_b = (m_b+R_b)/2 and the factor-1/2 frustration comparison both assume p_τ→1. Without the contraction step, the headline fairness result is unproven even under the paper's stationarity assumptions. A second, related gap is Lemma 3.8: Eq. (11) is asserted without derivation, so the claimed equilibrium property of Theorem 3.5 also rests on an unverified accounting identity for seller deviations.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a repeated market with a divisible good, money, and tradable buying rights allocated by a public distribution mechanism. It defines 'Greedy' strategies, claims they form a coalition-proof equilibrium computable in polynomial time, that the price converges to the free-market clearing price, and that asymptotic expected frustration is at most half of the free market's. The theoretical claims are supported by analytic arguments and by simulations for constant and time-varying supply.","tokens_in":24185,"tokens_out":4096,"duration_ms":33387,"significance":"If the equilibrium and convergence results are correct, the paper offers an appealing mechanism-design result: a repeated hybrid market can asymptotically halve the gap between entitlements and realized purchases without changing the limiting price, and the equilibrium is simple enough to compute. The paper is careful to state the stationarity assumptions under which the theory applies and to test robustness empirically, including cases where the theoretical guarantees fail. It also avoids parameter fitting: the half-frustration bound follows from the derived dynamics rather than from calibrated constants, which strengthens the claim.","major_comments":[{"comment":"The proof never establishes the contraction inequality. After Eq. (12) the text reads \"so the contraction condition is\" and then splits into cases, but the case analysis only derives sign conditions such as p_τ > 1 or p_τ < 1; it does not bound |p_{τ+1}−1|/|p_τ−1|. Consequently p_τ → 1 is not proven, and Theorem 3.16, which relies on the asymptotic price being 1 and on the fixed point M_b = (m_b+R_b)/2, is unsupported as written. The proof needs to be completed or the convergence claim weakened.","section":"§3.3, Proposition 3.13"},{"comment":"Equation (11) is asserted without derivation. This identity is used to upper-bound the deviating seller's price and is therefore essential to the seller-deviation argument. Without a proof of Eq. (11), Lemma 3.8 and hence the equilibrium claim of Theorem 3.5 are not fully established. Please supply the missing derivation or an alternative argument.","section":"§3.2, Lemma 3.8"},{"comment":"The coalition-proofness proof is a sketch. For example, in case (2) the claim \"any price change will not decrease Money_{S\\C} get\" is stated without formal support, and in case (3) the assertion that a deviating seller coalition \"cannot get more Money\" is not derived from the mechanism rules. Since coalition-proofness is an explicit part of Theorem 3.5, this needs a rigorous proof or a clear reference to one.","section":"§3.2, Lemma 3.11"},{"comment":"The individual deviation lemmas are also informal in places. In Lemma 3.10, buyer case (1) asserts that selling Right at a lower price gives the buyer less Money in the next Market, but the argument does not account for the simultaneous change in the price of Good in the following Market. These lemmas can likely be made rigorous, but as written they do not constitute a complete proof of the no-deviation conditions.","section":"§3.2, Lemmas 3.9 and 3.10"}],"minor_comments":[{"comment":"The word \"amought\" should be \"amount\".","section":"§2.2, Definition 2.2"},{"comment":"The derivative expression is written as (1+Ñ)/(1+Ñ) with Ñ>0 and 0<\\tilde R<\\tilde N; as typeset this is not meaningful. The denominator should presumably involve \\tilde R. Please correct the notation and the derivation.","section":"§3.2, Lemma 3.6"},{"comment":"Equation (5) defines ΔM_B as a nonnegative amount, but the text later refers to \"useful Money\" and \"useless Money\" without clearly distinguishing the two variables; please use distinct symbols.","section":"§3.2, Eq. (5)"},{"comment":"The statement says the price mapping is non-expansive on R with the L1 norm, but the contraction part is not proved (see major comment). The statement should be adjusted to what is actually shown.","section":"§3.3, Proposition 3.13"},{"comment":"The text says the second scenario \"makes the Claim of each buyer |B|-times smaller\" and later says \"for |B|≥4, there is enough Good...\"; the figures and captions could be more explicit about the normalization of claims and income, since this affects the interpretation of the asymptotic frustration results.","section":"§4.1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses an interesting question and the empirical results are suggestive, but the two main theoretical pillars — the equilibrium proof and the asymptotic price convergence — contain incomplete arguments. I would send the paper back for a major revision rather than reject, because the gaps appear fillable if the authors have the missing derivations. The coalition-proofness proof is also a sketch and needs to be formalized. The paper would benefit from a clear statement of which results are rigorously proven and which are conjectural."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is the first to give an explicit equilibrium analysis for long-horizon strategic traders in a repeated market with buying rights. The Greedy strategy construction is natural, the model is clean, and the half-frustration result is a derived algebraic consequence, not a curve fit. The authors also honestly flag the stationarity assumption as critical and admit in Section 4.2 that Greedy is not an equilibrium under time-varying supply.\n\nThe stress-test note is correct. The proof of Proposition 3.13 breaks off after Eq. (12) with 'so the contraction condition is' and never establishes the contraction ratio. The case analysis that follows yields only sign conditions like p_tau > 1 or p_tau < 1. It does not bound |p_{tau+1}-1|/|p_tau-1| < 1, so p_tau -> 1 is not shown. Theorem 3.16 depends on that convergence, so the half-frustration bound is unsupported as written. This is a load-bearing gap, not a minor omission. Lemma 3.8 is also asserted with an unverified identity (Eq. 11), so the equilibrium proof rests on an under-proved step. The coalition-proofness argument is a sketch, though it does not look obviously wrong.\n\nThat said, the paper is honest about its limitations and positions itself within the authors' prior research program. No code or data is released, but the experiments are illustrative and consistent with the qualitative claims. The free parameter is just the storage cost c, and the frustration metric is a fair benchmark for both systems.\n\nThis paper is for mechanism designers and theorists working on rationing, tradable permits, and repeated markets. The model is a useful starting point, and the result is plausible, but the paper as written does not fully support its headline. A serious referee should engage with it: the flaw may be fixable, and the result is worth having. I recommend sending it to peer review with a clear request that the Prop 3.13 proof be completed or the bound be presented as a conjecture.","headline":"First explicit equilibrium for strategic traders in a repeated buying-rights market, but the proof of the price-convergence theorem breaks off where a contraction bound is needed, leaving the headline half-frustration claim unproven.","tokens_in":24683,"tokens_out":3434,"would_cite":true,"duration_ms":23359,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["91A10","91A20","91B26","91B32"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a repeated market with tradable buying rights has a coalition-proof equilibrium, and that this mechanism asymptotically halves the expected gap between entitlements and actual purchases relative to a free market.","keywords":["buying rights","repeated market","coalition-proof equilibrium","frustration","rationing","resource allocation","market design","Arrow-Debreu market"],"falsifier":"For the smallest nontrivial instance — one seller, two buyers, constant per-round endowments, fixed claims — simulate both the free market and the rights market under the Greedy strategies (Eqs. 2 and 4) for, say, ten thousand rounds. If the price fails to approach 1, or if the average frustration of the rights market exceeds half the free-market average, Theorem 3.16 is false. A second check: enumerate all single-round deviations for a three-trader instance and verify none improves any trader's total utility; a profitable deviation would contradict Theorem 3.5.","tokens_in":23815,"feed_emoji":"🎟️","tokens_out":10343,"duration_ms":75997,"temperature":0.7,"pith_summary":"The paper studies a repeated market for a scarce good in which a central authority distributes tradable buying rights — one right is required to buy each unit of the good — and rights can be traded alongside the good and money. The authors prove that the natural \"Greedy\" strategies (sellers offer exactly their incoming supply at a price that clears the rights-adjusted budget, and buyers trade rights for the same price as the good) form an equilibrium of the repeated game of any length, that the equilibrium is coalition-proof, and that it is computable in polynomial time. They further show that as the number of rounds grows, the price converges to the free-market clearing price, while the expected \"frustration\" — the normalized gap between the rights a buyer was allocated and the good the buyer actually obtains — is at most half of what it would be in a free market. The mechanism works by carrying money from rights sales into the next round, so payments from money-rich to money-poor buyers gradually lift the poor buyers' future purchasing power. The authors also report simulations in which the same qualitative improvement persists under time-varying supply, although the formal guarantees assume constant inflows.","feed_headline":"Tradable buying rights halve the fairness gap in repeated markets","feed_subtitle":"In a repeated market, rationing rights that can be traded cut buyer frustration in half without moving the long-run price.","key_machinery":"The load-bearing object is the buying right, a second commodity that must be held one-for-one with the scarce good at settlement but may itself be traded for money. The two-stage trading rule — first stage: buyers spend rights plus money on good; second stage: buyers trade good and rights in equal volume — combined with the rule that money from selling rights cannot be spent until the next round, creates a \"useless money\" pool that becomes the poor buyers' budget in the following Market. The Greedy price equation (Eq. 3) is the central identity: it equates buyers' useful money to the value of their rights at price $p_\\tau$. The recursive transfer $M_b^{\\tau+1} = m_b + \\max\\{0, p_\\tau R_b^\\tau - M_b^\\tau\\}$ ties each buyer's next-round money to their current frustration, and the contraction argument (Proposition 3.13) forces the price toward 1. The distribution mechanism $\\phi$ matters only through monotonicity and budget balance, so proportional and contested-garment allocations are interchangeable for the theorems.","core_discovery":"The central discovery is that tradable rights do more than reallocate entitlements statically: they turn the rights market into an intertemporal transfer that moves purchasing power toward underfunded buyers. Under the Greedy profile, sellers offer exactly the good they receive each round at price $p_\\tau$ solving $\\sum_{b\\in B} M_b^\\tau - \\max\\{0, p_\\tau R_b^\\tau - M_b^\\tau\\} = p_\\tau \\sum_{b\\in B} R_b^\\tau$, and buyers buy or sell rights at that same price. Theorem 3.5 shows that no trader and no coalition of traders can profitably deviate at any horizon, and the equilibrium is polynomial-time computable. Theorem 3.16 is the fairness result: as $\\tau\\to\\infty$, the expected frustration of the rights-equipped market is at most half that of the free market. The mechanism behind the bound is that each buyer's money stabilizes at $M_b = m_b + \\max\\{0, R_b - M_b\\}$, so a poor buyer with claim $R_b$ and income $m_b$ obtains $(m_b + R_b)/2$ of good instead of $m_b$, exactly halving the shortfall $R_b - m_b$. Because the limiting price is the free-market clearing price (normalized to 1), the fairness gain comes without distorting the price signal.","pith_inferences":["Read as an income-transfer scheme, the mechanism lets cash-poor buyers monetize their entitlements each round, turning a static ration into a repeat-purchase subsidy; the authors do not frame it in welfare terms.","A natural next step is endogenizing claims: since the paper notes buyers have no incentive to report claims truthfully, coupling the mechanism with verification or a scoring rule could restore incentive compatibility.","Under stationary but stochastic inflows, the price-contraction argument would likely be replaced by a martingale or contraction-in-expectation argument, plausibly preserving the half-frustration bound in expectation — a conjecture, not a paper claim.","In cap-and-trade settings, the model suggests that allocating allowances each compliance period and banning same-period use of allowance-sale revenue should halve the gap between allocated and surrendered allowances while keeping allowance prices near market clearing; testing this on allowance-market data would be a direct empirical check."],"forward_implications":["A regulator who introduces tradable rationing rights can guarantee, in the long run, that the average gap between buyers' entitlements and their realized purchases is at most half of the free-market gap, with the price converging to the free-market clearing price.","Because the equilibrium is coalition-proof, no subset of buyers, of sellers, or of both can jointly improve their payoffs by coordinated deviation, making the allocation robust beyond the Nash notion.","The equilibrium is computable in polynomial time — essentially a piecewise-linear solve of one price equation — so the mechanism is implementable at the scale of thousands of traders.","The half-frustration bound holds for any rights-distribution mechanism satisfying the axioms of Definition 2.1, so the regulator is free to choose proportional, contested-garment, or other fair allocations without breaking the theorem.","Empirical evidence in the paper indicates that the price tracks the free-market price and frustration stays near half under time-varying supply, despite the formal requirement of constant inflows."],"supporting_citations":[{"why":"Introduces the iterative two-stage market with buying rights and the frustration measure that this paper generalizes to strategic long-horizon traders.","marker":"[Loebl et al., 2022]"},{"why":"Defines frustration as an adaptation of the Price of Anarchy for systems with buying rights and analyzed equilibria only empirically; this paper supplies the exact analytical equilibrium.","marker":"[Sychrovský et al., 2023]"},{"why":"Supplies the efficiency benchmark of large double auctions that motivates treating the free-market equilibrium as the baseline.","marker":"[Cripps and Swinkels, 2006]"},{"why":"Provides the Price of Anarchy concept that frustration is modeled on as the cost of autonomous trader behavior.","marker":"[Koutsoupias and Papadimitriou, 1999]"},{"why":"Contested garment distribution is used as one of the rights-distribution mechanisms in the empirical evaluation.","marker":"[Aumann and Maschler, 1985]"}],"fun_headline_variants":["Tradable rights halve the fairness gap in repeated markets","Rights trading cuts buyer frustration by half in repeated markets","Fairness doubled: tradable rights halve market frustration","Coalition-proof rights market halves buyer shortfall","Buying rights halve market frustration without price distortion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The mechanism's guarantees stand or fall on the stationarity of per-round inflows — constant good supply $g_s$ and constant money income $m_b$ with fixed claims $D_b$ — since under time-varying supply the Greedy strategies are no longer an equilibrium and the half-frustration bound is not proved.","fun_headline_variants_meta":{"raw":{"variants":["Tradable rights halve the fairness gap in repeated markets","Rights trading cuts buyer frustration by half in repeated markets","Fairness doubled: tradable rights halve market frustration","Coalition-proof rights market halves buyer shortfall","Buying rights halve market frustration without price distortion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000652,"raw_usage":{"total_tokens":3071,"prompt_tokens":1107,"completion_tokens":1964,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":723,"completion_tokens_details":{"reasoning_tokens":1884}},"tokens_in":723,"tokens_out":1964,"duration_ms":11436,"temperature":1.0,"reasoning_tokens":1884,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:49:40.551847+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the smallest nontrivial instance — one seller, two buyers, constant per-round endowments, fixed claims — simulate both the free market and the rights market under the Greedy strategies (Eqs. 2 and 4) for, say, ten thousand rounds. If the price fails to approach 1, or if the average frustration of the rights market exceeds half the free-market average, Theorem 3.16 is false. A second check: enumerate all single-round deviations for a three-trader instance and verify none improves any trader's total utility; a profitable deviation would contradict Theorem 3.5.","supporting_citations":[],"review_version":1}