project/main.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

\documentclass[10pt]{article}
\usepackage{fullpage}
\usepackage{amsmath,amsfonts,amsthm}
\usepackage[english]{babel}
\usepackage[capitalize, noabbrev]{cleveref}
\usepackage{paralist} 

% these are compressed lists to help fit into a 1 page limit
\newenvironment{enumerate*}%
  {\vspace{-2ex} \begin{enumerate} %
     \setlength{\itemsep}{-1ex} \setlength{\parsep}{0pt}}%
  {\end{enumerate}}
 
\newenvironment{itemize*}%
  {\vspace{-2ex} \begin{itemize} %
     \setlength{\itemsep}{-1ex} \setlength{\parsep}{0pt}}%
  {\end{itemize}}
 
\newenvironment{description*}%
  {\vspace{-2ex} \begin{description} %
     \setlength{\itemsep}{-1ex} \setlength{\parsep}{0pt}}%
  {\end{description}}

\DeclareMathOperator*{\E}{\mathbb{E}}
\let\Pr\relax
\DeclareMathOperator*{\Pr}{\mathbb{P}}

\newcommand{\inprod}[1]{\left\langle #1 \right\rangle}
\newcommand{\R}{\mathbb{R}}
\newcommand{\eqdef}{\mathbin{\stackrel{\rm def}{=}}}
\newcommand{\llbracket}{[\![}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem*{goal}{Goal}

\author{Thibaut Horel \& Paul Tylkin}
\title{Economics 2099 Project Proposal}

\begin{document}

\maketitle

\section{Motivation and Goals} The motivation for our idea comes from the eBay ascending first-price auction with a \lq\lq Buy It Now\rq\rq option. The auction works as follows:

\begin{itemize}
\item The seller sets a reserve price, a Buy It Now price, and a time duration for the auction.
\item The bidders can submit bids (\$$b_i$) at any time, starting from some minimum bid.
\item At any time during the auction, a buyer can choose to \lq\lq Buy It Now\rq\rq (for $\$B$) and end the auction.
\item At the end of the auction, if none of the bidders have exercised the \lq\lq Buy It Now\rq\rq option, the item is allocated to the bidder with the highest bid, if that bid exceeds the reserve price. If the highest bid does not exceed the reserve price, the item is not allocated.
\item The history of all bids is available to all of the bidders throughout the time of the auction.
\end{itemize}

We believe that this framework, while inspired by eBay auctions, also has applicability to numerous other contexts, such as home buyers bidding for homes (e.g. should they agree to the list price or risk an ascending bid war with other potential buyers), contract negotiations (e.g. should a government contractor agree to a particular value and sacrifice potential additional revenue or engage in negotiations and risk that another contractor will undercut them), etc.

Therefore, our goal is as follows:

\begin{goal} To define a formal model for an eBay-style ascending first-price
auction with a reserve price and a \lq\lq Buy It Now\rq\rq option, relate it to
prior work on dynamic (time-dependent) auctions, analyze its properties and
equilibria, and attempt to find a simpler auction which approximates it.\end{goal}

\section{Desiderata for Model}

In order to formalize the setting we are interested in studying, we need to
make some assumptions on the behaviors of the agents. Finding the right
behavioral axioms is part of the project, but we list a few natural candidates
that we are planning to consider:
\begin{itemize}
    \item each bidder not only has a utility function that expresses his utility at the
        end of the auction, but also maintains a distribution on the
        probability of being allocated.
    \item at each time step, the bidders update their distribution based on
        what has been observed at the previous step (hence the bidders'
        distribution are a function of the past history up to this point)
    \item at each time step, bidders place in order to maximize a function
        which is increasing in the probability of being allocated and their
        utility: contrary to 
\end{itemize}


\section{Relevant Prior Work}

\end{document}