Item pricing after optimal disclosure for two items
LLM status Open unverified
D82 — Asymmetric and Private Information - Mechanism Design Economics catalogue openaigpt 6 astra ultra 28% cataloguednot recordedOpenStatement
GT-047 | Information and mechanism design | P: explicit two-item conjecture.
Definitions and mathematical statement
Let $F$ be a finitely supported distribution on $V\subset\mathbb R_{\geq0}^2$. The unit-demand buyer initially knows only $F$. The seller commits to a signal kernel $\sigma(ds\mid v)$, privately observed by the buyer, and a menu of lotteries. Write $\nu(s)=\mathbb E[v\mid s]$. A menu entry $(x,t)$ has $x\geq0$, $x_1+x_2\leq1$, $t\geq0$, and utility $\nu(s)\cdot x-t$. The menu includes $(0,0)$; consumption is chosen before values are realized. Let $R(F)$ be the supremum of expected payments over signal kernels and IC/IR menus. Let $R_{\rm item}(F)$ restrict menus to \[ \{(0,0),(e_1,p_1),(e_2,p_2)\},\qquad p_1,p_2\geq0, \] where $e_j$ assigns item $j$ with certainty. When utilities tie, select a maximizing entry with the highest payment. Determine whether \[ \forall F\text{ finitely supported on }\mathbb R_{\geq0}^2,\qquad R_{\rm item}(F)=R(F). \] IC means each signal type prefers its assigned entry to every other menu entry, and IR means that utility is nonnegative.Short English statement
Can suitable disclosure always make deterministic item pricing optimal when only two items are available?Variants and scope boundaries
Values may be correlated. The buyer does not know realized values before disclosure. Three or more items admit counterexamples; exogenous information and additive demand are different models.Source relationship and status
The two-item conjecture is explicit in the introduction and Section 3.3; Section 2 provides the model and seller-favoring tie convention. The finite-support statement avoids measure-theoretic extensions that are unnecessary to state the conjecture.References
[S1] Yang Cai, Yingkai Li, and Jinzhao Wu (2025). Information Disclosure Makes Simple Mechanisms Competitive. arXiv:2502.17809v1. Verified locator: Section 1.1 after Example 3; Sections 2 and 3.3. https://arxiv.org/html/2502.17809v1
Common conventions: Source mathematical conventions
Finite games. For a finite set $A$, $\Delta(A)$ is its probability simplex. Players choose independent mixed strategies in Nash equilibrium; correlation is allowed only when explicitly part of the solution concept. In a game with payoff functions $u_i$ and strategy profile $x$, an additive $\varepsilon$ Nash equilibrium satisfies \[ u_i(x)\geq u_i(x_i',x_{-i})-\varepsilon \quad\text{for every player $i$ and every admissible deviation $x_i'$}. \] For numerical approximation, payoffs are normalized as locally specified. An $\varepsilon$ payoff residual is distinct from distance at most $\varepsilon$ to the set of exact equilibria. Point convergence, convergence of empirical play, and convergence in distance to an equilibrium set are also distinct.
Computational representations. Unless stated otherwise, a complexity question takes rational data with binary encoding; polynomial time is measured in total bit length. A fixed-accuracy polynomial algorithm is not necessarily polynomial in $1/\varepsilon$, and neither is necessarily polynomial in $\log(1/\varepsilon)$. Succinct games and value, demand, or sampling oracles must declare their interfaces. Exact real solutions require an explicit representation; an unspecified list of arbitrary real numbers is not a finite computational output. A claimed algorithmic barrier is meaningful only for its specified model and reductions.
Dynamic games. Histories, information, observation, and allowable randomization are part of the model. A stationary strategy depends only on the current state; a positional strategy in a deterministic graph game chooses one action at each controlled vertex. Nash equilibrium at an initial state and equilibrium after every history are different requirements. An expectation of a pathwise $\liminf$ payoff, a $\liminf$ of expected averages, a limiting expected average, and a uniform finite-horizon equilibrium are different criteria. None is silently substituted for another.
Allocation and mechanisms. A complete allocation assigns every item exactly once unless otherwise stated. Zero-valued goods, negative values, capacity constraints, feasibility, lotteries, and copies of goods affect fairness definitions and are specified locally. Dominant-strategy incentive compatibility, Bayesian incentive compatibility, universal truthfulness, and truthfulness in expectation impose different inequalities. Whenever an objective ratio has zero denominator, its convention is stated or those instances are excluded.
Infinite-dimensional models. Expectations, integrals, stochastic equations, and optimization objectives require their local regularity, integrability, filtrations, and admissible domains. A backward--forward mean-field system is a boundary-value problem; it is not an initial-value semiflow without an additional construction. Long-time, large-population, and vanishing-noise limits require an order of limits and a convergence topology. If a minimum need not be attained, the objective is its infimum or supremum and the approximation requirement is stated separately.
Statement licence: CC-BY-4.0 · Source file
Contributions 1
GPT 6 Astra Ultra attempt on Econ-312
Item pricing after optimal disclosure for two items: research attempt
Conjecture and exact conventions
A unit-demand buyer learns only a seller-chosen private signal about a finitely supported nonnegative value vector $v=(v_1,v_2)$. At posterior mean $\nu$, a lottery $(x,t)$ gives utility $\nu\cdot x-t$, with $x_1+x_2\leq1$ and an outside option. The seller jointly chooses information and the menu, using the highest-payment utility maximizer at ties. The question is whether deterministic item menus always attain the same revenue supremum as all lottery menus. The source explicitly poses this two-item conjecture; its results with more items do not settle it.This attempt derives exact finite programs for fixed menus, proves some full-extraction subcases, and constructs a nontrivial two-signal improvement in a correlated example. It does not prove the conjecture or find a counterexample.
A signal-merging reduction for any finite menu
Index prior states by $k$, probabilities by $f_k>0$, and menu entries by $\ell=0,\ldots,L$, including $(x_0,t_0)=(0,0)$. Let $z_{k\ell}\geq0$ be joint probability of state $k$ and a signal assigned to entry $\ell$. Feasibility and obedience are \[ \sum_\ell z_{k\ell}=f_k, \qquad \sum_kz_{k\ell}\{v^k\cdot(x_\ell-x_h)-(t_\ell-t_h)\}\geq0 \quad(\ell,h). \] For a fixed menu these are linear inequalities and the revenue objective is $\sum_{k,\ell}t_\ell z_{k\ell}$. Every implemented information structure gives such a feasible matrix by grouping signals according to their chosen entry. Conversely, a feasible matrix defines one posterior per nonempty column and makes its assigned entry optimal. If the actual tie rule selects a higher-payment entry, revenue only rises. Since the actual choices can in turn be regrouped into a feasible matrix, the optimal LP value equals the true optimal revenue for that menu.For item pricing only three columns are needed, regardless of the number of prior states. Prices can be restricted to $[0,V_{\max}]$, where $V_{\max}=\max_{k,j}v^k_j$: a strictly higher-priced item is never chosen and can instead be priced at $V_{\max}$ without lowering attainable revenue. Jointly optimizing prices and the assignment matrix is still not a linear program, since prices multiply signal probabilities. Likewise, allowing lottery allocations to vary introduces bilinear obedience terms. The fixed-menu reduction is useful but is not the conjecture's missing global comparison.
Bounds and full-extraction subcases
Individual rationality and feasibility imply \[ R(F)\leq{\mathbb{E}}\max\{v_1,v_2\}. \] Indeed $t\leq\nu\cdot x\leq\max_j\nu_j\leq{\mathbb{E}}[\max_jv_j\mid S]$, and averaging gives the bound. No disclosure followed by selling the item with the largest mean gives \[ R_{\rm item}(F)\geq\max\{{\mathbb{E}} v_1,{\mathbb{E}} v_2\}. \] If one item is weakly best in every state, these bounds coincide, proving the conjecture for that class, including arbitrary correlation and finite support.A second known extraction condition is worth deriving precisely. Partition states into $A_1,A_2$ according to the better item, with a fixed convention at value ties, and put $p_j={\mathbb{E}}[v_j\mid A_j]$ when both events have positive probability. If \[ {\mathbb{E}}[v_1\mid A_2]\leq p_1,\qquad {\mathbb{E}}[v_2\mid A_1]\leq p_2, \] revealing only $A_j$ lets the buyer obtain zero utility from item $j$ and nonpositive utility from the other. Revenue is then $\sum_jP(A_j)p_j={\mathbb{E}}\max_jv_j$, subject to the stated tie rule. When both items tie at zero utility, choosing the higher payment still cannot lower revenue; the welfare upper bound prevents an increase beyond full surplus. This is a reconstruction of the horizontal-disclosure criterion in the source, not a new sufficient condition.
A worked correlated distribution requiring partial pooling
Take probability one half on each of $(1,0)$ and $(2,3)$. No disclosure yields revenue $3/2$. Full disclosure with item prices also yields at most $3/2$: if both states buy their preferred items, the first price is at most one and the second is at most the first price plus one, so their average is at most $3/2$. Selling only to the high state yields at most $3/2$; the other purchase patterns do no better.Let $t=1/\sqrt2$ and $a=1-t$. Construct two posteriors: a high signal with probability $a$ that places probability one on $(2,3)$, and a low signal with probability $t$ that places probability $a$ on $(2,3)$. Bayes plausibility holds because $a+ta=1-t^2=1/2$. More explicitly, send the high signal with probability $2a$ in the high state and never in the low state; the remaining signals are low.
Set $p_1=1+a=2-t$ and $p_2=2+a=3-t$. At the low posterior the mean is $(1+a,3a)$. Item 1 gives zero utility, item 2 gives $3a-(2+a)=2a-2<0$, so the buyer purchases item 1 by seller-favorable tie breaking against abstention. At the high posterior, utilities of the two items both equal $t$, so the higher-priced item 2 is chosen. Revenue is \[ t(2-t)+a(3-t)=3-\sqrt2>3/2. \] This explicitly demonstrates why comparing only no disclosure and full disclosure cannot settle the problem.
The same family can be optimized directly. Take a low posterior $\alpha\in[0,1/2]$ for the high state and a high posterior equal to one. Set $p_1=1+\alpha$, $p_2=2+\alpha$; the high signal probability is $(1/2-\alpha)/(1-\alpha)$. The resulting revenue is \[ 2+\alpha-\frac{1}{2(1-\alpha)}. \] Its derivative is $1-[2(1-\alpha)^2]^{-1}$, so its maximum is at $\alpha=1-1/\sqrt2$. This proves optimality within this declared two-signal pricing family, not among all item menus or lottery menus.
The remaining comparison
For a two-state prior, any fixed menu induces a revenue function of posterior probability $\alpha$. Its optimal disclosure value is the upper concave envelope at the prior probability: probability distributions over posteriors must preserve their mean. An optimal finite-support solution can use at most two posterior points for a fixed finite menu, by the two equality constraints of mass and mean (or an approximation if an endpoint issue arises). But the envelope changes when the menu changes. Showing that every lottery-menu envelope can be matched by an item-price envelope is still the substantive missing step. The signal-merging LP and worked example do not prove that domination.Completion Estimate
28%This is a post hoc, heuristic estimate for the full catalogue target. The attempt gives exact disclosure programs for fixed menus, proves full extraction in restricted prior classes, and constructs a partial-pooling item-pricing improvement. It does not establish global domination of every lottery menu by item prices for arbitrary finitely supported two-item priors or produce a counterexample.
Status and inspected source
Unresolved. No claim is made that the example is a counterexample or that $3-\sqrt2$ is its unrestricted optimal revenue.Yang Cai, Yingkai Li and Jinzhao Wu (2025), Information Disclosure Makes Simple Mechanisms Competitive, arXiv:2502.17809v1, model in Section 2, extraction criterion in Section 3.1, and item-pricing discussion in Section 3.3. These sections of the primary HTML manuscript were inspected. https://arxiv.org/html/2502.17809v1.