メカニズム設計において、エージェントが持つ効用は、起こりうる結果に対する評価を単一の数値で表せる場合、単一パラメータであると言われます。例えば、単一のアイテムのオークションでは、すべてのエージェントの効用はアイテムの金銭的評価で表せるため、単一パラメータです。一方、 2つ以上の関連アイテムの組み合わせオークションでは、効用は通常、アイテムのあらゆる組み合わせに対する評価で表されるため、単一パラメータではありません。
セットがあります起こりうる結果の。
がある各結果に対して異なる評価を行うエージェント。
一般的に、各エージェントは、すべての結果に対して異なる無関係な値を割り当てることができます。。
単一パラメータ効用の特殊なケースでは、各エージェントは結果が公に知られている真の部分集合を持つこれらはエージェントにとっての「勝利の結果」である。(例:単一アイテムのオークションでは、エージェントの結果が含まれています(アイテムを獲得する)
エージェントごとに、これは「勝利の価値」を表しますエージェントによる結果の評価以下の2つの値のいずれかを取ることができます:[ 1 ]: 228
すべてのエージェントの勝利値のベクトルは、。
すべてのエージェントに対して他のエージェントのすべての勝利値のベクトルは、で表されます。。 それで。
社会的選択関数は、価値ベクトルを入力として受け取る関数である。結果を返します。それは次のように表されます。または。
弱単調性の性質は、単一パラメータ領域では特別な形式をとる。社会的選択関数は、すべてのエージェントに対して、弱単調である。そしてすべての、 もし:
つまり、エージェントがあるエージェントが特定の値を宣言することで勝利した場合、他のエージェントの宣言が同じであれば、より高い値を宣言することでも勝利することができる。
単調性特性は、空間上の確率分布を返すランダム化メカニズムに一般化できます。[ 1 ] : 334 WMONプロパティは、すべてのエージェントについて次のことを意味します。そしてすべての関数:
は、弱増加関数である。。
弱単調な社会選択関数、すべてのエージェントについてそしてすべてのベクトルに対して臨界値が存在するエージェントが入札額が少なくとも。
例えば、第二価格オークションでは、エージェントの臨界値は他のエージェントの中で最高額の入札額である。
単一パラメータ環境では、決定論的真実メカニズムは非常に特殊な形式を持つ。[ 1 ]: 334決定論的真実メカニズムは、関数の集合cによって完全に指定される。エージェントが勝つのは、入札額が少なくともそしてその場合、彼は正確に支払う。
あらゆる領域において、弱単調性は実装可能性の必要条件であることが知られている。つまり、社会的選択関数は、弱単調である場合に限り、真実性を備えたメカニズムによって実装できる。
単一パラメータ領域においては、弱単調性は実装可能性の十分条件でもある。すなわち、弱単調な社会選択関数には必ず、それを実装する決定論的かつ真実性を備えたメカニズムが存在する。これは、例えば値の二乗和や最小最大値を最大化するなど、様々な非線形社会選択関数を実装できることを意味する。
このメカニズムは次のように機能するはずです。[ 1 ]: 229
このメカニズムは真実である。なぜなら、各エージェントの純効用は次のようになるからである。
したがって、エージェントは次のような場合に勝ちたいそして負ける場合それはまさに彼が真実を語ったときに起こることだ。
ランダム化メカニズムとは、決定論的メカニズム上の確率分布のことである。ランダム化メカニズムは、真実を語ることでエージェントの期待値が最大になる場合、「期待値的に真実」と呼ばれる。
ランダム化されたメカニズムでは、すべてのエージェントが勝つ確率は次のように定義されます。
そして、期待される支払額は次のように定義されます。
単一パラメータ領域において、ランダム化メカニズムが期待値的に真実であるのは、以下の条件を満たす場合に限る。[ 1 ] : 232
決定論的メカニズムでは、が0または1の場合、最初の条件は結果関数の弱単調性に帰着し、2番目の条件は各エージェントに臨界値を割り当てることに帰着します。
効用が単一パラメータでない場合(例えば、組み合わせオークションの場合)、メカニズム設計の問題ははるかに複雑になります。VCGメカニズムは、このような一般的な評価に対して機能する数少ないメカニズムの1つです。