Statistically Sufficient Aggregation of Performance Measures under a Normal Distribution ()
1. Introduction
A management accountant may considerably reduce the complexity of performance evaluation systems through aggregation of performance measures. In designing a performance evaluation system, an important question is whether an aggregate measure can carry all information from the basic measures. Statistically sufficient aggregates satisfy this requirement and incur no loss of information in the aggregation process for all agency particulars [1] [2] [3]. Observing statistically sufficient aggregates without observing the basic measures is as useful as observing the basic measures in estimating all levels of a manager’s unobservable action.
Statistically sufficient aggregates provide the highest degree of robustness to a performance evaluation system because no agency particulars are involved in the aggregation process. Statistically sufficient aggregates can be commonly used for all managers without being individually “tailored” for each manager.
This study shows that in a setting with two tasks and joint-normally distributed performance measures, the minimal statistical sufficiency requires at least two aggregate measures. That is, when a one-dimensional aggregate is used for two tasks, information loss is necessarily incurred in the aggregation process. This result implies that a uniform performance evaluation system should use multiple aggregate measures.
Motivating employees for multiple tasks is qualitatively different from a single-task setting as the allocation of effort among tasks should be considered [4] [5] [6]. In multi-task agencies, performance measures can be ranked in terms of statistical properties of performance measures [7]. However, the literature is largely silent on the aggregation side.
This study contributes to the literature by first explicitly analyzing the minimum statistical sufficiency of aggregating performance measures under a normal distribution. [1] discusses the informativeness condition which implies that the concept of sufficient statistics characterizes the optimal aggregation of performance measures. [2] discusses a statistical condition in which all aggregate measures are sufficient statistics. Analyses in [1] and [2] are restricted to a single-task setting. Recently, [3] analyzes sufficient aggregations in multi-task agencies. This study is differentiated from [3] in that whereas [3] uses the exponential family distributions, this study uses a normal distribution for explicit analysis.
2. Model
A principal owns a production technology, which requires two-dimensional action
from an agent. The economic outcome from the agency is not contractible and the compensation for the agent is based on two contractible performance measures y and z.
The agent exerts two-dimensional action
which affects the two basic measures y and z with respective sensitivity vectors
and
. The basic measures are also affected by random error terms
and
and are given as follows:
(1)
(2)
where
,
, and
. The basic measures y and z, conditional on the agent’s action
, are distributed by a joint normal density function:
(3)
where
.
3. Statistical Sufficiency
Statistical sufficiency is defined in terms of aggregate measures being sufficient statistics for the basic measures y and z with respect to the agent’s unobservable action
. Sufficient statistics for the basic measures y and z can be found by analyzing the joint normal density function (3).
[8] discusses the role of a one-dimensional sufficient statistic for inducing the agent’s action. In this study, the concept of statistical sufficiency is not limited to a one-dimensional aggregate but extended to multi-dimensional aggregates. The existence of sufficient statistics is shown by the factorization criterion [9] [10].
Definition 1. (Sufficient statistics; factorization criterion)
Statistics
and
are jointly sufficient for the basic measures y and z if, and only if, the joint density function
(3) is factorized for all actions
:
(4)
where
and
are positive functions. The function
depends on the basic measures y and z only through
and
.
Aggregate measures
and
are jointly sufficient statistics for the basic measures y and z with respect to the agent’s unobservable action
if observing the aggregate measures without observing the basic measures is as useful as observing the basic measures in estimating all levels of the agent’s action. All the information relevant to estimating the agent’s unobservable action
is preserved and passed onto the sufficient statistics
and
from the basic measures y and z.
When an aggregation is statistically sufficient, the aggregates are determined only by the statistical properties of the basic measures. That is, the same aggregates
and
are good enough to substitute for the basic measures y and z regardless of the agency particulars. Statistically sufficient aggregates are robust and can be uniformly used for all agents without being individually tailored.
While preserving all relevant information, sufficient statistics enable a performance evaluation system to work with a simpler set of measures than the basic measures. As the value of sufficient statistics comes from simplicity, the simplest sufficient statistics are of interest. Minimal sufficient statistics are the simplest set of jointly sufficient statistics [9].
Definition 2. (Minimal statistical sufficiency)
A set of sufficient statistics is minimal if it can be represented as a function of any other sufficient statistics.
4. Findings with Analysis
By the factorization criterion (Definition 1), the following two-dimensional jointly sufficient statistics are obtained from the joint normal density function
(3):
(5)
(6)
where
and
. Then, the question is whether the jointly sufficient statistics
(5) and
(6) are minimal such that no one-dimensional sufficient statistic exists. The following lemma shows that the jointly sufficient statistics (5) and (6) are minimal if the two performance measures y and z are not perfectly aligned.
Lemma 1. Assume that the basic measures y and z follow the joint normal distribution
(3) and the basic measures y and z are not perfectly aligned. Then, the jointly sufficient statistics
(5) and
(6) are minimal.
Given Lemma 1, the following proposition shows that a one-dimensional sufficient statistic is infeasible in a two-task setting, unless the two performance measures y and z are perfectly aligned.
Proposition 1. With the same assumptions in Lemma 1, a one-dimensional sufficient statistic of the basic measures y and z is infeasible.
Proposition 1 shows that in general, it is infeasible to achieve statistical sufficiency with a one-dimensional aggregate if the agent’s action is on two tasks. [2] shows in a single-task setting that a one-dimensional statistically sufficient aggregation can be achieved. Proposition 1 shows that the result of [2] does not generally hold in a multi-task setting.
5. Conclusions
This study shows that there is no one-dimensional sufficient statistic in a multi-task setting with joint-normally distributed performance measures. For statistical sufficiency, there should be at least two aggregates when a manager is on two tasks. Any one-dimensional aggregate will incur loss of information on the manager’s unobservable action and depend on the agency particulars such as the manager’s risk attitude and the firm’s economic environment.
For performance evaluation purposes, performance measures are often aggregated into a one-dimensional aggregate while assigned jobs involve multiple tasks. The result of this study implies that a one-dimensional aggregate should not be uniformly implemented without being customized for each manager. A uniform performance evaluation needs the use of multiple aggregates.
Appendix
A1. Proof of Lemma 1
In the proof, following two points are exploited:
Point 1. If a set of maximum likelihood estimators are jointly sufficient statistics, then the maximum likelihood estimators are minimal jointly sufficient statistics [9] ,
Point 2. A one-to-one function of a set of jointly sufficient statistics is also sufficient.
The maximum likelihood estimators
for the agent’s action
are obtained by solving the following maximization problem:
(7)
where
is the joint normal density function (3). For notational convenience, covariance-adjusted sensitivities, which are assumed to be non-negative, are used:
,
,
,
,
where
,
.
The second order conditions are satisfied as the covariance-adjusted sensitivities are non-negative:
. From the first order conditions, the maximum likelihood estimators
for the agent’s action
are given as follows:
(8)
where
and
are as in (5) and (6), and A is a 2 by 2 matrix:
(9)
whose determinant is
.
As the two performance measures y and z are not perfectly aligned
, the maximum likelihood estimators
are one-to-one to the jointly sufficient statistics
. Thus, the maximum likelihood estimators
are sufficient by Point 2. As the maximum likelihood estimators are now sufficient, the maximum likelihood estimators
are minimal jointly sufficient statistics by Point 1.
As there is a one-to-one relation (8) between the jointly sufficient statistics
(5) and
(6) and the maximum likelihood estimators
, there exist two (linear) functions
and
such that:
(10)
(11)
As the maximum likelihood estimators
are minimal jointly sufficient statistics, the function
in (10) is consistent with Definition 2. Because the maximum likelihood estimators
can be represented as a function of any other sufficient statistics, the jointly sufficient statistics
(5) and
(6) can also be represented as a function of any other sufficient statistics by the function
in (11).
A2. Proof of Proposition 1
This proof is by contradiction. Suppose that there exists a one-dimensional sufficient statistic
of the basic measures y and z:
(12)
where
and
are non-zero constants. Given that the jointly sufficient statistics
(5) and
(6) are minimal (Lemma 1), the jointly sufficient statistics
(5) and
(6) must be, by Definition 2, represented as a function of the one-dimensional sufficient statistic
(12). That is, there exist functions
and
such that:
(13)
(14)
As the jointly sufficient statistics
(5) and
(6) and the one-dimensional sufficient statistic
(12) are all linear in the basic measures y and z, (13) and (14) can be, without loss of generality, rewritten for some non-zero constants
and
as follows:
(15)
(16)
where
and
. It follows from (15) and (16):
(17)
which leads to a contradiction:
(18)