Partly Verifiable Signals (c.n.)

Slides:



Advertisements
Similar presentations
1+eps-Approximate Sparse Recovery Eric Price MIT David Woodruff IBM Almaden.
Advertisements

The Complexity of Linear Dependence Problems in Vector Spaces David Woodruff IBM Almaden Joint work with Arnab Bhattacharyya, Piotr Indyk, and Ning Xie.
“Comments” on Modeling Bounded Rationality Ariel Rubinstein Tel Aviv and New York Universities Leiden, Nov 14 th, 2014.
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling Håkan L. S. YounesReid G. Simmons Carnegie Mellon University.
1. 2 Strategic Information Transmission A sender observes the true state t in y[0, 1] t is uniformly distributed The sender reports r to the receiver.
Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University.
Ymer: A Statistical Model Checker Håkan L. S. Younes Carnegie Mellon University.
Complexity 26-1 Complexity Andrei Bulatov Interactive Proofs.
TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAA A.
Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler.
Perfect and Statistical Secrecy, probabilistic algorithms, Definitions of Easy and Hard, 1-Way FN -- formal definition.
Mechanism Design. Overview Incentives in teams (T. Groves (1973)) Algorithmic mechanism design (Nisan and Ronen (2000)) - Shortest Path - Task Scheduling.
An Algorithm for Automatically Designing Deterministic Mechanisms without Payments Vincent Conitzer and Tuomas Sandholm Computer Science Department Carnegie.
AGC DSP AGC DSP Professor A G Constantinides© Estimation Theory We seek to determine from a set of data, a set of parameters such that their values would.
Vapnik-Chervonenkis Dimension Part II: Lower and Upper bounds.
Quantal Response Equilibrium APEC 8205: Applied Game Theory Fall 2007.
Visual Recognition Tutorial
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes.
Some 3CNF Properties are Hard to Test Eli Ben-Sasson Harvard & MIT Prahladh Harsha MIT Sofya Raskhodnikova MIT.
Asaf Cohen (joint work with Rami Atar) Department of Mathematics University of Michigan Financial Mathematics Seminar University of Michigan March 11,
Hypothesis Testing – Introduction
Statistical problems in network data analysis: burst searches by narrowband detectors L.Baggio and G.A.Prodi ICRR TokyoUniv.Trento and INFN IGEC time coincidence.
Machine Learning Lecture 23: Statistical Estimation with Sampling Iain Murray’s MLSS lecture on videolectures.net:
Uri Zwick Tel Aviv University Simple Stochastic Games Mean Payoff Games Parity Games TexPoint fonts used in EMF. Read the TexPoint manual before you delete.
Continuous Random Variables Lecture 24 Section Tue, Mar 7, 2006.
Mathematical Induction Digital Lesson. Copyright © by Houghton Mifflin Company, Inc. All rights reserved. 2 Mathematical induction is a legitimate method.
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling Håkan L. S. Younes Carnegie Mellon University.
4.2 Area Definition of Sigma Notation = 14.
Compression for Fixed-Width Memories Ori Rottenstriech, Amit Berman, Yuval Cassuto and Isaac Keslassy Technion, Israel.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
Information Design: A unified Perspective cn
Complexity Classes.
Many Senders L8.
Information Complexity Lower Bounds
Stochastic Streams: Sample Complexity vs. Space Complexity
Information Design: Unobserved types
Visual Recognition Tutorial
Multidimensional Cheap Talk (Quasiconvex preferences)
Arbitration and Mediation
Information Design: A unified Perspective
Information Design: A unified Perspective Prior information
Arbitration and Mediation
Hypothesis Testing – Introduction
Partly Verifiable Signals
Information Design: A unified Perspective
Digital Signature Schemes and the Random Oracle Model
Strategic Information Transmission
Many Senders L8 Gilligan and Khrehbiel (AJPS 1989)
Many Senders (part 2) L9.
Competition in Persuasion
Kamienica and Genzkow (AER 2011)
Bayesian Persuasion cn
Intro to Information Design (and some Basic Bayesian Persuasion)
Rational Decisions and
CSCI B609: “Foundations of Data Science”
Information Design: Unobserved types
Partly Verifiable Signals (c.n.)
Disclosure (Persuasion) games
Pragmatics of Persuasion
Strategic Information Transmission
Multidimensional Cheap Talk
Strategic Information Transmission
} 2x + 2(x + 2) = 36 2x + 2x + 4 = 36 4x + 4 = x =
Comparative Cheap Talk
Continuous Random Variables
Solving Multi Step Equations
Solving Multi Step Equations
MinMax Principle in Game Theory – continued….
Random Variables Binomial and Hypergeometric Probabilities
Continuous Random Variables
Presentation transcript:

Partly Verifiable Signals (c.n.) Glazer and Rubinstein (ECMA 2004)

Glazer and Rubinstein persuasion game State space finite with aspect Action space Sender always prefers Acceptance and rejection region Verification mechanism

Preferences over Verification Mechanism Fix Let R preferences over verification mechanisms Type one error Type two error Optimal mechanism solves

L-principle Assume Consider any three types forming ``L’’ For any mechanism the sum of mistake probabilities is ``Mass of independent ``Ls’’ gives a lower bound for the number of mistakes Easy check of mechanism optimality

Examples Examples - Optimal deterministic mechanism - Optimal bubbling mechanism - Optimal stochastic mechanism We consider finite problems with uniform distributions Number of mistakes

Direct deterministic mechanism Let Number of independent L’s? Mechanism: Accept only if for at least one

No verification Let Number of independent L’s? Mechanism: reject regardless of message

Stochastic vs deterministic mechanism Let Consider three L’s Mechanism: Ask for two highest aspects, verify them with probability 0.5.

Definitions Direct mechanism Conservative direct mechanism Observation: Direct mechanism need not be truthful

Auxiliary result Consider a problem P1: There exist optimal mechanism for which vector solves C: is optimal iff implied solves Structure of the proof Byproduct: exists optimal mechanism that is direct and conservative.

Properties of

Proof

Proof